Infinite Systems of Hyperbolic Functional Differential Equations

We consider initial-value problems for infinite systems of first-order partial functional differential equations. The unknown function is the functional argument in equations and the partial derivations appear in the classical sense. A theorem on the existence of a solution and its continuous dependence upon initial data is proved. The Cauchy problem is transformed into a system of functional integral equations. The existence of a solution of this system is proved by using integral inequalities and the iterative method. Infinite differential systems with deviated argument and differential integral systems can be derived from the general model by specializing given operators.     

Existence of solutions to Hamilton-Jacobi functional differential equations

This paper deals with the Cauchy problem for nonlinear first order partial functional differential equations. The unknown function is the functional variable in the equation and the partial derivatives appear in a classical sense. A theorem on the local existence of a generalized solution is proved. The initial problem is transformed into a system of functional integral equations for an unknown function and for their partial derivatives with respect to spatial variables. The existence of solutions of this system is proved by using a method of successive approximations. A method of bicharacteristics and integral inequalities are applied.     

Numerical method of lines for parabolic functional differential equations

Initial boundary value problems for nonlinear parabolic functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A comparison theorem for differential difference inequalities is proved. Sufficient conditions for the convergence of the numerical method of lines are given. An explicit Euler method is proposed for the numerical solution of systems thus obtained. This leads to difference scheme for the original problem. A complete convergence analysis for the method is given.     

Monotone iterative methods for infinite systems of parabolic functional differential equations

Two monotone iterative methods for an infinite system of parabolic functional differential equations with initial boundary conditions are constructed: the method of direct iterations and the Chaplygin method. By using the first one the existence theorem is proved. Next, it is shown that the Chaplygin sequences converge quadratically to the unique solution of the original problem.     

HORN-TYPE THEOREM IN PRECHET SPACES AND APPLICATION

This paper establishes a Horn-type fixed point theorem in Frechet spaces which is an answer to Burton's problem [6] in these spaces. As an application of the result, the authors obtain an existence theorem of periodic solutions for functional differential equations with infinite delay.     

Durchmesserabschätzungen für die einheitskugel des sobolev-raumes

Theory of parabolic differential inequalities, flow-invariance of solutions and comparison theorems are discussed relative to a cone.

In this paper we investigate the theory of parabolic differential inequalities in arbitrary cones. After discussing the fundamental results concerning parabolic inequalities in cones, we prove a result on flow-invariance which is then used to obtain a comparison theorem. This comparison result is useful in deriving upper and lower bounds on solutions of parabolic differential equations in terms of the solutions of ordinary differential equations. We treat the Dirichlet problem in this paper since its theory follows the general pattern of ordinary differential equations and requires less restrictive assumptions. The treatment of Neumann problem, on the other hand, demands stronger smoothness assumptions and depends heavily on strong maximum principle. The study of the corresponding results relative to Neumann problem is discussed elsewhere.     

Well-posedness of difference schemes for semilinear parabolic equations with weak solutions

The well-posedness of difference schemes approximating initial-boundary value problem for parabolic equations with a nonlinear power-type source is studied. Simple sufficient conditions on the input data are obtained under which the weak solutions of the differential and difference problems are globally stable for all 0 ⩽ t ⩽ +∞. It is shown that, if the condition fails, the solution can blow up (become infinite) in a finite time. A lower bound for the blow-up time is established. In all the cases, the method of energy inequalities is used as based on the application of the Chaplygin comparison theorem, Bihari-type inequalities, and their difference analogues. A numerical experiment is used to illustrate the theoretical results and verify two-sided blow-up time estimates.     

Generalized solutions of mixed problems for first-order partial functional differential equations

A theorem on the existence of solutions and their continuous dependence upon initial boundary conditions is proved. The method of bicharacteristics is used to transform the mixed problem into a system of integral functional equations of the Volterra type. The existence of solutions of this system is proved by the method of successive approximations using theorems on integral inequalities. Classical solutions of integral functional equations lead to generalized solutions of the original problem. Differential equations with deviated variables and differential integral problems can be obtained from the general model by specializing given operators. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 6, pp. 804–828, June, 2006.     

Comparison theorems for scalar and vector second order nonlinear ordinary differential equations and inequalities

The study of a particular two-dimensional system of second-order ordinary differential equations with nonlinear monotone coefficients led to the results in this paper. Systematic use of the Picone identity is made. The techniques when applied to scalar equations generalize a comparison result of Bobisud and Grimmer and Waltman, and further, can be applied to certain functional differential equations. The natural extension to higher dimensions is given. Finally, a comparison theorem for the original system is given along with its relationship to a corresponding boundary value problem.     

Global solutions of initial problems for hyperbolic functional differential systems

A generalized Cauchy problem for almost linear hyperbolic functional differential systems is considered. A theorem on the global existence of classical solutions is proved. It is shown a result on the differentiability of solutions with respect to initial functions. A method of characteristics and integral functional inequalities are used.     

Khasminskii-type theorems for stochastic functional differential equations with infinite delay

The classical Khasminskii-type theorem gives a powerful tool to examine the global existence of solutions for stochastic differential equations without the linear growth condition by the use of the Lyapunov functions. However, there is no such result for stochastic functional equations with infinite delay. The main aim of this paper is to establish the existence-and-uniqueness theorems of global solutions for stochastic functional differential equations with infinite delay.     

一类具有无穷时滞中立型非稠定脉冲随机泛函微分方程积分解的存在性

本文讨论了一类具有无穷时滞中立型非稠定脉冲随机泛函微分方程,利用Sadovskii不动点原理等工具得到了其积分解的存在性,给出其在一类二阶无穷时滞中立型非稠定脉冲随机偏微分方程积分解的存在性中的应用.     

二阶无穷时滞泛函微分方程的正周期解

应用Krasnoselskii不动点定理讨论二阶无穷时滞泛函微分方程(t)+a(t)x(t)=f(t,xt)的正ω-周期解的存在性.     

Classification of stability-like concepts and their study using vector Lyapunov functions

In the first section, stability-like definitions for ordinary differential equations are derived from a general qualitative concept. It is shown that the classical definitions of stability in the sense of Lyapunov, and their extensions can easily be deduced from this general formulation. A classification of all the definitions which may be derived is proposed.The second section contains the main results of this paper. It deals with the “comparison method” based upon one of T. Wazewski's theorems on differential inequalities. Several authors have used this method in order to investigate stability-like properties. We display the structure of this method, in order to state and prove some general comparison principles. These apply to the class of concepts considered earlier.In the last section some new results about stability and attractivity of sets are obtained as examples for the comparison principles. A theorem on stability in tube-like domains is proved in order to emphasize the generality and the flexibility of the comparison method.     

具无穷时滞中立型高维非线性系统的周期解

通过构造算子利用Krasnoselskii不动点定理和线性系统的指数二分性讨论了一类具有无穷时滞非线性中立型高维周期微分系统的周期解存在性问题．得到保证系统存在周期解的新的充分条件．     

Classical solutions of hyperbolic functional differential systems

The paper deals with a generalized Cauchy problem for quasi-linear hyperbolic functional differential systems. The unknown function is the functional variable in the system of equations and the partial derivatives appear in the classical sense. A theorem on the local existence of a solution is proved. The initial problem is transformed into a system of functional integral equations for an unknown function and for their partial derivatives with respect to spatial variables. A method of bicharacteristics and integral inequalites are applied.     

无限滞后测度泛函微分方程的平均化

本文研究了无限滞后测度泛函微分方程的平均化.利用广义常微分方程的平均化方法,在无限滞后测度泛函微分方程可以转化为广义常微分方程的基础上,获得了这类方程的周期和非周期平均化定理,推广了一些相关的结果.     

具有超抛物型极限方程的非线性奇摄动反应扩散问题

讨论了一类具有超抛物型方程的反应扩散问题.首先,证明了比较定理.其次,构造了形式渐近解.然后,利用微分不等式方法,研究了问题解的存在、唯一性和渐近性态.最后得到了原问题解的渐近展开式.     

基于比率依赖Beddington-DeAngelis功能反应的离散n-种群竞争-捕食系统的持久性

研究一类基于比率依赖Beddington—DeAngelis功能反应的离散竞争-捕食系统．利用差分方程比较原理，得出了该系统一致持久的充分条件．推广了已有文献的相关结果．     

Higher order conservation laws and a higher order Noether's theorem

Consider a general variational problem of a functional whose domain of definition consists of integral manifolds of an exterior differential system. In particular, this induces classical variational problems with constraints. With the assumption of existence of enough admissable variations the Euler-Lagrange equations associated to this problem are obtained. By studying a spectral sequence associated to the infinite prolongation of them, we extend the classical notion of infinitesimal Noether symmetries to what we shall call the “higher order Noether symmetries,” and a higher order Noether's theorem identifying the higher order conservation laws and the higher order Noether symmetries is obtained. These in turn are isomorphic to the solution space of certain linear differential operator. From these we also get a systematic method of computing the higher order conservation laws of certain determined PDE systems.