The function of graphs and gestures in algorithmatization

The purpose of this paper is to present evidence supporting the conjecture that graphs and gestures may function in different capacities depending on whether they are used to develop an algorithm or whether they extend or apply a previously developed algorithm in a new context. I illustrate these ideas using an example from undergraduate differential equations in which students move through a sequence of Realistic Mathematics Education (RME)-inspired instructional materials to create the Euler method algorithm for approximating solutions to differential equations. The function of graphs and gestures in the creation and subsequent use of the Euler method algorithm is explored. If students’ primary goal was algorithmatizing ‘from scratch’, they used imagery of graphing and gesturing as a tool for reasoning. However if students’ primary goal was to make predictions in a new context, they used their previously developed Euler algorithm to reason and used graphs and gestures to clarify their ideas.     

OSCILLATION OF A FORCED SECOND ORDER NONLINEAR EQUATION

ＯＳＣＩＬＬＡＴＩＯＮ ＯＦ Ａ ＦＯＲＣＥＤ ＳＥＣＯＮＤ ＯＲＤＥＲ ＮＯＮＬＩＮＥＡＲ ＥＱＵＡＴＩＯＮ ￥ＫＯＮＧＱＩＮＧＫＡＩ；ＺＨＡＮＧＢＩＮＧＧＥＮＡｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒｇｉｖｅｓｓｅｖｅｒａｌｃｒｉｔｅｒｉａｏｎｔｈｅｏ...     

FIXED POINTS AND COUPLED FIXED POINTS FOR INCREASING OPERATORS WITH APPLICMIONS TO DIFFERENTIAL INCLUSIONS IN BANACH SPACES

ＦＩＸＥＤＰＯＩＮＴＳＡＮＤＣＯＵＰＬＥＤＦＩＸＥＤＰＯＩＮＴＳＦＯＲＩＮＣＲＥＡＳＩＮＧＯＰＥＲＡＴＯＲＳＷＩＴＨＡＰＰＬＩＣＭＩＯＮＳＴＯＤＩＦＦＥＲＥＮＴＩＡＬＩＮＣＬＵＳＩＯＮＳＩＮＢＡＮＡＣＨＳＰＡＣＥＳＺＨＡＮＧＳＨＩＳＨＥＮＧＡＮＤＨＵ...     

Hamiltonian circle actions on symplectic manifolds and the signature

Let M be a symplectic manifold with a Hamiltonian circle action with isolated fixed points. We prove that σ (M) = b₀(M) − b₂(M) + b₄(M) − b₆(M) + … where σ (M) is the signature of M and b_i(M) is the ith Betti number of M.     

Two differential equation systems for equality-constrained optimization

This paper presents two differential systems, involving first and second order derivatives of problem functions, respectively, for solving equality-constrained optimization problems. Local minimizers to the optimization problems are proved to be asymptotically stable equilibrium points of the two differential systems. First, the Euler discrete schemes with constant stepsizes for the two differential systems are presented and their convergence theorems are demonstrated. Second, we construct algorithms in which directions are computed by these two systems and the stepsizes are generated by Armijo line search to solve the original equality-constrained optimization problem. The constructed algorithms and the Runge–Kutta method are employed to solve the Euler discrete schemes and the differential equation systems, respectively. We prove that the discrete scheme based on the differential equation system with the second order information has the locally quadratic convergence rate under the local Lipschitz condition. The numerical results given here show that Runge–Kutta method has better stability and higher precision and the numerical method based on the differential equation system with the second information is faster than the other one.     

Differential Conditions for Constrained Nonlinear Programming via Pareto Optimization

We deal with the differential conditions for local optimality. The conditions that we derive for inequality constrained problems do not require constraint qualifications and are the broadest conditions based on only first-order and second-order derivatives. A similar result is proved for equality constrained problems, although the necessary conditions require the regularity of the equality constraints.     

Perturbed recurrence relations II the general case

In this paper, we give some new explicit relations between two families of polynomials defined by recurrence relations of all order. These relations allow us to analyze, even in the Sobolev case, how some properties of a family of orthogonal polynomials are affected when the coefficients of the recurrence relation and the order are perturbed. In a paper we have already given a method which allows us to study the polynomials defined by a three-term recurrence relation. Also here some generalizations are given.     

Solution bundle for a class of impulsive differential inclusions on Banach spaces

In this paper a class of impulsive differential inclusions is investigated. The existence of solution bundle is proved. And we also construct a nonlinear semigroup of operators on cb(E) (closed-bounded subset of E) to describe the set of attainable states.     

Some inequalities for characteristic functions. II

Recently we established Matysiak and Szablowski's conjecture [V. Matysiak, P.J. Szablowski, Theory Probab. Appl. 45 (2001) 711-713] about a lower bound of real-valued characteristic functions. In this paper, applying an alternative approach we are able to give explicitly the ranges of argument for which the obtained inequalities hold true for general characteristic functions.     

Spatial decay in a double diffusive convection problem in Darcy flow

This paper deals with a model of time-dependent double diffusive convection in Darcy flow. In particular it is concerned with the spatial decay of solutions when the flow is confined to a semi-infinite cylinder. Decay bounds for an energy expression are derived.