泛函微分方程解的有界性和周期性

本文采用了一种新技巧来研究泛函微分方程的有办性，也就是说，代之以运用包含状态变量ｘ所有分量的单一李雅若人－勒茹米辛函数，而是运用若干个包含ｘ的部分分量的函数，以此方法，保证有界性的条件就较少限制且较易检验。作为所得结果的应用，建立了泛池微分方程周期解存在性的改进的判别准则，并且，还给出例子说明所得结果之优越性。     

一类四阶微分方程解的有界性和稳定性

本文分两种情况研究方程(1):(i)P≡0,(ii)P(≠0)满足|P(t,x,y,z,ω)|≤(A+|y|+|z|+|ω|)q(t),这里,q(t)是t的非负函数.对于第一种情况研究了零解的全局渐近稳定性,对于第二种情况得到了方程(1)的有界性结果.这些结果改进并包含了一些已知的结果.     

二阶非齐泛函微分方程解的有界性

本文借助辅助函数和不等式得到了二阶非齐次泛函微分方程(r(t) x′(t) )′+p(t) x′(t) +q1(t) x(t) +q2 (t) x(t-τ) +g(t,x) =f (t)的一切解均有界的判定方法     

二阶非线性泛函微分方程的有界性

本文对二阶非线性泛函微分方程解的有界性进行探讨,得到方程有界的几个新的更简便的判别法则。     

几类三阶微分方程的解的有界性

本文研究了两类三阶微分方程的解的有界性，运用构造李雅普诺夫函数的方法，得到了解的有界性的充分条件。     

无限时滞泛函微分方程解的稳定性与有界性

本文以［１］中定义的Ｃ＿ｈ空间为相空间，利用李雅普诺失泛函的方法研究了具有无限时滞泛函微分方程解的稳定性及有界性问题，得到了新的结果。     

矩阵微分方程的等度有界性

用矩阵李雅普诺夫函数研究了矩阵微分方程的等度有界性,给出了非自治矩阵微分方程等度有界性的几个判定定理,实例说明了主要定理的实用性     

初始时刻不同的奇异系统的稳定性

给出了初始时刻不同的奇异系统实用稳定性的定义,利用比较原理和Lyapunov函数方法研究了初始时刻不同的奇异系统的实用稳定问题,并得到了系统实用稳定性的判定准则.     

泛函微分方程解的指数渐近稳定性与有界性

本研究了具有有限时滞中立型泛函微分方程解的有界性问题，得到了方程解的指数渐近稳定性蕴涵有界解的存在性的新的结果。     

一类非线性方程的有界性

本文讨论具有任意有限个奇点的一类平面非线性微分方程的解的有界性,得到一切解有界的若干充分条件,放宽了[1]-[3]的某些定理的条件,利用有界性可讨论极限环的存在性。     

Differential Inequalities with Initial Time Difference

Some comparison results are obtained for differential inequalities with initial time difference. They are useful to get existence and stability theorems for differential equations.     

初始时刻不同的微分系统的稳定性准则

由于向量Lyapunov函数方法在确定初值问题微分系统的稳定性方面比纯量Lyapunov函数更有效,因此,本文利用向量Lyapunov函数方法研究了初始时刻不同的微分系统的稳定性与实用稳定性准则,并给出了一个简单的例子来说明向量Lyapunov函数的有效性.     

一类四阶非自治微分方程解的有界和一致有界性

获得了一个四阶非线性微分方程的所有解是有界和一致有界的充分条件。     

分数阶微分中立型系统的有限时间镇定性及有界性

讨论了一类分数阶微分中立型系统的有限时间状态反馈镇定性及有界性问题.利用Gronwall 不等式, 获得了使得系统有限时间状态反馈镇定及有限时间有界的充分性条件.     

一类高阶时滞差分方程的有界持久性与全局渐近稳定性

获得一类高阶时滞差分方程解的有界持久性和全局渐近稳定性的充分条件;所得结果部分地解决了G.Ladas的2个公开问题,推广了一些已知结果。     

非线性微分系统解的有界性和周期解的存在性

本文运用了比较新的手法,证明了非线性微分系统(dx)/(dt)=1/(a(x))[c(y)-b(x)];(dy)/(dt)=-a(x)[h(x)-e(t)](1)(其中a(x),b(x),h(x),c(y),e(t)为连续可微函数,x,y∈R,t∈[0,+∞),且a(x)>0)解的有界性及周期解的存在性,并应用该结论讨论了强迫振动方程:x+(f(x)+g(x)x)x+h(x)=e(t)(2)(其中f(x),g(x)为连续可微函数,x∈R,h(x),e(t)同上)解的有界性及周期解的存在性.     

一类二阶泛函微分方程解的平方可积性和有界性

讨论了二阶泛函微分方程x(″t)+p(t)x(′t)+q1(t)x(t)+q2(t)x(t-τ)=f(t)通过构造一类泛函,借助于两个重要不等式建立了其属于L.S或L.S∩L.C(L.S表示解有界,L.C表示平方可积)的充分条件.     

滞后型脉冲泛函微分方程有界性的Lyapunov逆定理

本文通过建立滞后型脉冲泛函微分方程饱和解的存在唯一性定理,在广义常微分方程与滞后型脉冲泛函微分方程等价的基础上,研究了滞后型脉冲泛函微分方程关于一致有界性的Lyapunov逆定理.     

The Conservation and Convergence of Two Finite Difference Schemes for KdV Equations with Initial and Boundary Value Conditions

Korteweg-de Vries equation is a nonlinear evolutionary partial differential equation that is of third order in space. For the approximation to this equation with the initial and boundary value conditions using the finite difference method, the difficulty is how to construct matched finite difference schemes at all the inner grid points. In this paper, two finite difference schemes are constructed for the problem. The accuracy is second-order in time and first-order in space. The first scheme is a two-level nonlinear implicit finite difference scheme and the second one is a three-level linearized finite difference scheme. The Browder fixed point theorem is used to prove the existence of the nonlinear implicit finite difference scheme. The conservation, boundedness, stability, convergence of these schemes are discussed and analyzed by the energy method together with other techniques. The two-level nonlinear finite difference scheme is proved to be unconditionally convergent and the three-level linearized one is proved to be conditionally convergent. Some numerical examples illustrate the efficiency of the proposed finite difference schemes.