Second order parabolic equations in Banach spaces with dynamic boundary conditions

In this paper, we exhibit a unified treatment of the mixed initial boundary value problem for second order (in time) parabolic linear differential equations in Banach spaces, whose boundary conditions are of a dynamical nature. Results regarding existence, uniqueness, continuous dependence (on initial data) and regularity of classical and strict solutions are established. Moreover, several examples are given as samples for possible applications.

     

氯柱硼镁石在氯化镁水溶液中相转化平衡液相的红外光谱分析

采用差示FTIR光谱技术,研究了氯柱硼镁石在30℃下浓度为0.5,12和18％MgCl_2水溶液中溶解及相转化平衡饱和水溶液中硼氧配阴离子的FTIR光谱。给出了溶液中硼氧配阴离子的FTIR光谱振动频率的归属,515cm~(-1)为单和二硼氧配阴离子特征峰,630cm~(-1)为三硼氧配阴离子特征峰,550cm~(-1)为四硼氧配阴离子特征峰。对饱和水溶液中硼氧配阴离子的存在形式及其相互作用以及与相转化析出固相的关系进行了讨论。     

Second order three boundary value problem in Banach spaces via Henstock and Henstock-Kurzweil-Pettis integral

Existence theorems and some properties of solutions set of three boundary value second order differential equations and inclusions in Banach spaces are obtained under Henstock, respectively Henstock-Kurzweil-Pettis integrability assumptions. Our results extend those obtained by Azzam, Castaing and Thibault in the Bochner integrability setting and in the Pettis integrability one. The continuity of the (unique) solution with respect to a parameter in the single-valued case is also studied.     

ON THE GROWTH OF SOLUTIONS OF A CLASS OF HIGHER ORDER DIFFERENTIAL EQUATIONS

In this paper, authors investigate the order of growth and the hyper order of solutions of a class of the higher order linear differential equation, and improve results of M. Ozawa^[6], G. Gundersen^[7] and J.K. Langley^[8], Li Chun-hong^[11].     

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.