具有热储备的可修复平行系统解的稳定性分析

讨论具有热储备的可修复平行系统模型，运用相应算子的谱特征的理论和方法，得到该模型解的渐近稳定性．     

多延迟微分代数方程θ-方法的渐近稳定性

考虑线性多延迟微分代数方程θ-方法的渐近稳定性.通过分析相应的特征方程根的性质,给出多延迟微分代数方程解析解的渐近稳定的一个充分条件.进一步,应用特征方程根的性质,得出一个关于线性θ-方法与新θ-方法对方程解析解的渐近稳定性保持的充分条件当θ∈(1/2,1]时,线性θ-方法与新θ-方法都是渐近稳定的.     

θ-方法求解非线性延迟微分方程的渐近稳定性分析

主要研究非线性延迟微分方程的数值稳定性.文中给出一个充分条件,使得在该条件下,由θ-方法所求的数值解可以保持解析解的渐近稳定性.     

超前型自变量分段连续型微分方程的Runge-Kutta方法的数值稳定性

讨论一类特殊类型的超前型自变量分段连续型微分方程的解析解的稳定性,及应用Runge-Kutta方法于该方程所得数值解的稳定性。应用M.Z.Liu等在1990年证明的结果给出了N2时解析解渐近稳定的充分条件;同时给出了N=2时解析解渐近稳定的充要条件。利用Or-der-Star和Padé逼近理论,给出了当Runge-Kutta方法的稳定函数是ex的Padé逼近时数值解保持解析解渐近稳定的充分必要条件。     

容许空间中无限时滞中立型泛函微分方程零解的稳定性

以相空间B为容许相空间,利用Liapunov泛函、D算子的一致稳定性和一致渐近稳定性,来研究一类无限时滞中立型泛函微分方程零解的稳定性;并在适当的条件下,得到该方程的零解是B一致稳定且B一致渐近稳定的结论.     

非线性脉冲微分方程的Runge-Kutta方法的稳定性分析

考虑了一般的非线性脉冲微分方程,对该方程进行了解析解和数值解的稳定性分析.在不受脉冲影响的原方程满足单边Lipschitz条件,及脉冲项满足相应的Lipschitz条件的情况下,给出了一个容易判别的解析解渐近稳定的充分条件.把脉冲点作为节点,定义了一个收敛的变步长的Runge-Kutta方法.并且证明了如果一个方法是代数稳定的,则该方法的数值解保持解析解的渐近稳定性.     

一类脉冲微分系统的变差稳定性逆定理

利用Kurzweil方程解的变差稳定性有关理论,在固定时刻脉冲微分系统有界变差解变差稳定性和渐近变差稳定性定理的基础上,讨论其变差稳定性逆定理,建立了该类脉冲微分系统有界变差解的变差稳定性和渐近变差稳定性定理的逆定理.     

关于三阶线性时变系统的稳定性的一点注记

本文应用分解系统的方法[1 ,2 ] 讨论了三阶线性时变系统dx dt=A(t)x平凡解的稳定性 .放弃了系数矩阵A(t)的特征值均有负实部的要求 ,给出了保证该系统零解渐近稳定的充分条件 .     

伴随饱和感染率和分布时滞并具有体液免疫的病毒感染模型的全局动力学研究

提出并研究了伴随体液反应且带有两个分布时滞的病毒感染模型.通过构造合适的Lyapunov函数得出了该模型的全局稳定性是由两个基本再生数R0和R1决定的,并且当R0≤1时,无感染平衡点E0是全局渐近稳定的.此时,病毒会被清除.当R1≤11时,携带B细胞感染平衡点E2是全局渐近稳定的.在这种情况下,感染为慢性的且伴随持久的B细胞反应.最后,利用数值仿真来证实以上结论分析的正确性.     

双排斥细胞的Keller-Segel的定性分析

研究Neumann边界条件下两个具有排斥性细胞的Keller-Segel模型,给出了该模型相应的稳定性分析,得到局部渐近稳定性,这是单个细胞(排除或吸引)的Keller-Segel模型不可能发生的现象.     

等离子体中法流体动力学模型整体光滑解的大时间行为

通过引入热力学能量,研究了等离子体中多维等熵流体动力学模型Cauchy问题在Rd中当初始密度接近常数时,整体光滑解的大时间行为.该模型由电子密度和电流密度的守恒律方程组耦合上关于静电位势的Poisson方程而组成.运用经典的和高阶的能量方法证明了该模型的解当时间t→∞时指数地快速衰减到(常数的)稳态解,这个结果对非等熵的情形也是正确的.     

一类具M-P型非线性神经网络模型的渐近性与指数稳定

研究了二元非线性时滞神经网络模型.获得了大阈值及临界阈值情形的渐近行为与全局指数稳定.特别是对临界情形建立了解趋于各平衡点的充要条件,其结果对相关文献的结论作了较大推广.     

具有年龄结构的单种群模型同时捕获问题的定性分析

研究了一个具有年龄结构 (成年和幼年 )的单种群模型 ,对同时捕获幼年种群和成年种群的模型的平衡点进行了定性分析 ,并且通过构造Lyapunov函数 ,得到了该模型正平衡点全局渐近稳定的结果     

Banach空间中一阶初值问题的整体解

在紧型条件下讨论了一般Banach空间中一阶常微分方程初值问题整体解的存在性，利用饱和解的性质，用局部延拓的方法，获得了整体解的存在性结果。     

一类四阶有理差分方程的振动规律和全局稳定性

主要讨论了一类四阶有理差分方程x_(n+1)=x_(n-2)x_(n-3)/x_(n-2)+x_(n-3)+1,n=0,1,2,…,初始值x_(-3),x_(-2),x_(-1),X_0 ∈(0,∞)的振动规律和全局稳定性,即描述了其解的振动周期为15,且正、负半环长的规律为:4~+,3~-,1~+,2~-,2~+,1~-,1~+,1~-;又指出了解之间存在x_(n+k)△(C(x_(n+k))x_n(C(x_(n+k)C(x_n))(n≥-3)的大小关系;并得到了方程的平衡点是全局渐近稳定的.     

一类非线性发展方程解的长时间行为

研究一类非线性发展方程整体弱解的长时间行为,首先利用算子分解方法证明了系统整体弱解的渐近正则性,由此得到了整体弱解对应的解半群在H1(R3)×H1(R3)的全局吸引子A的存在性,然后证得A在H2(R3)×H2(R3)有界, 其中非线性项满足临界指数增长.     

带有两个时滞的不确定神经网络的渐近稳定性分析

研究一类具有两个时滞和不确定性神经网络的全局渐近稳定性问题,通过构造新的Lyapunov函数,运用线性矩阵不等式理论将T-S模糊模型扩展到带有两个时滞的含有不确定项模糊神经网络,并给出系统稳定的充分条件。仿真实例验证了结论的有效性。     

具有连续预防接种和垂直传染的SIR流行病模型的稳定性分析

研究一类具有垂直传染和双线性发生率的连续预防接种的SIR模型,得到决定疾病持续生存的阈值.当阈值小于1时,仅存在无病平衡点;当闽值大于1时,除存在无病平衡点外,还存在唯一的地方病平衡点.利用Hurwitz判据得到了地方病平衡点的局部渐近稳定性.利用Lasalle不变原理和Liapunov函数得到了无病平衡点和地方病平衡点全局渐近稳定.     

三维Stokes近似系统弱解的全局存在性

研究了三维有界光滑区域上的Stokes近似系统弱解的全局存在性.利用Galerkin格式构造逼近方程组,进而通过取极限得到原系统的解,证明了三维Stokes近似系统弱解的全局存在性.     

强阻尼非线性波动方程解的渐近性质

研究一类带有Dirichlet边界条件的强阻尼非线性波动方程的初边值问题。关于该方程整体强解的存在性研究已经得到了很好的结果,因此仅对解的渐近性质进行讨论。对该问题进行简化,并对非线性项给予适当的约束条件,利用乘子法和积分估计的方法研究该问题解的渐近性质,并得到较好的结果,即解以指数形式趋于零。