脉冲时滞系统的严格φ_0-稳定性

本文研究了脉冲时滞系统的严格φ_0-稳定性,利用锥值Lyapunov函数法和比较原理得到了脉冲时滞系统零解的严格一致φ_0-稳定,严格一致渐近φ_0-稳定的充分条件。

非线性微分系统的等度积分φ_0-相对稳定性

利用锥值Lyapunov函数方法和比较原理,研究了2个不同微分系统的等度积分φ0-相对稳定性,并得到了相应的结论.

脉冲微分系统的等度积分φ_0-稳定

利用锥值Lyapunov函数和比较方法,研究了脉冲微分系统零解的等度积分φ0-稳定性,并得到了相应的结果.

严格渐近Φ-拟伪压缩映像不动点的迭代逼近

在任意实Banach空间中,研究一致L-Lipschitz严格渐近Φ-拟伪压缩映像不动点的Ishikawa迭代逼近问题,并进一步讨论了该迭代过程的稳定性,文中结论扩展了近期一些文献的相关结果.

五种群捕食—被捕食Lotka-Volterra周期系统的全局渐近稳定性

本文考虑五种群捕食—被捕食Lotka Volterra周期模型,得到了一组容易检验、保证存在全局渐近稳定的正周期解的充分条件.

M/G/1排队论系统的渐近稳定性

通过M/G/1算子的谱分析得到了M/G/1排队论系统的渐近稳定性.首先,将系统方程转化为某一合适Banach空间上的抽象Cauchy问题,从而引入M/G/1算子.其次,分析了M/G/1算子的谱分布,得到了0是M/G/1算子的简单本征值且M/G/1算子的谱分布在左半平面的结果.最后,利用谱分析结果和算子半群理论得到了M/G/1排队论系统的渐近稳定性.

非线性中立型时滞微分方程线性多步法的渐近稳定性

研究线性多步法求解R_(α,β)类非线性中立型时滞微分方程的数值稳定性.在适当条件下,获得了G(c,p,0)—代数稳定的线性多步法的稳定性及渐近稳定性的充分条件.

一类强身型食饵—捕食者模型的渐近性态

研究了一类带阶段结构的食饵—捕食模型的渐近性态 ,建立了种群一致持续生存和灭绝的条件 ,通过构造V函数证明了正平衡点的全局稳定性 .

时变脉冲时滞微分系统的严格稳定性

考虑了时变脉冲时滞微分系统的严格稳定性,利用Lyapunov函数和比较原理,得到了时变脉冲时滞微分系统的严格一致稳定,严格一致渐近稳定和严格一致Lipschitz稳定的充分条件。

具有阶段结构和HollingⅢ型功能反应的捕食-食饵系统持久性和全局稳定性

研究一类具有HollingⅢ型功能反应函数的捕食-食饵系统模型,通过建立适当的Lyapunov泛函,对模型进行定性分析,给出了系统的持久性、全局渐近稳定性的充分条件.

种间作用的二维非线性时滞动力系统模型的持久性和稳定性

从生物动力学的角度扩展了传统的Lotka-Voltera捕食-被捕食模型,以Holling-II型和修改的Leslie-Gower型功能反应为基础,建立了包括密度制约、功能反应和时滞效应的二维非线性时滞动力系统模型;分析了该动力系统的持久性、稳定性及时滞效应对系统动力学性质的影响;证明了系统在一定的条件下是一致持久的;通过构造适当的Lyapunov函数,得到了系统的正平衡点全局渐近稳定性的充分条件;讨论了诸时滞参数值变化对系统正平衡点稳定性的影响。

非均质Timoshenko梁在局部耦合反馈下的指数稳定性(英文)

研究了非均质Timoshenko梁在局部耦合反馈下的指数稳定性.首先利用有界C0-半群渐近稳定性判据,证明了闭环系统是渐近稳定的,然后用频域乘子方法证明了闭环系统也是指数稳定的.

差分方程的两度量稳定和扰动锥值Lyapunov函数(英文)

将扰动锥值Lyapunov函数方法引入差分方程;在较弱的条件下讨论了差分方程两度量稳定((h_0,h)-稳定)和两度量渐近稳定((h_0,h)-渐近稳定)等性质。

具依赖状态脉冲的泛函微分系统的稳定性

利用Lyapunov函数结合Razumikhin技巧给出了在解曲线与每个脉冲面可连续碰撞有限次的情况下具依赖状态脉冲的无穷延滞型泛函微分系统稳定性的直接结果,改进和推广了文献[15-17]的结论.

脉冲混合系统的稳定性分析

作为最近的结果[1 ] 的推广 ,借助摄动Lyapunov函数 。

有限时滞差分方程基于两种测度的稳定性分析

通过 Liapunov泛函讨论有限时滞差分方程零解的渐近稳定性 ,这里只须要求 Liapunov泛函的差分在一区间序列上负定 ,并引入两种测度下稳定性的概念 ,使所得结果更具一般性 .在验证零解的渐近稳定性时 ,指出要求

脉冲比较微分系统解的φ_(0)-稳定性

本文主要利用分段连续的Lyapunov函数得到脉冲比较微分系统(2)的(?)-稳定性,并且通过比较方程,得到脉冲微分系统(1)的稳定性.

时间尺度上泛函微分方程的严格Ф_0稳定性

利用李雅普诺夫函数和比较原理讨论了时间尺度上泛函微分方程的严格Ф0稳定性问题.

由软件和硬件构成的串联可修计算机系统的适定性及渐近稳定性

讨论由软件和硬件构成的串联可修计算机系统的时间依赖解,运用C_0-半群理论及算子理论,证明系统的适定性和时间依赖非负解的存在唯一性.通过研究系统相应算子的谱特征,得到系统时间依赖解的渐近稳定性.

一类年龄依赖的流行病模型的动力学行为(英文)

对一类年龄依赖的流行病模型进行了系统的定性分析 .运用泛函分析中的线性算子理论和C0 -半群理论等 ,首先得到相应的流行病算子的谱特征 ,其次 ,证明了该模型非负解的存在惟一性 ,最后讨论了系统的稳定性 .