常微分方程x=Q(x,y),y=P(x)全局渐近稳定性的条件

在常微分方程的定性理论中，研究一个系统的全局渐近稳定性是一项困难且有意义的课题，通常采用构造Ｌｉａｐｕｎｏｖ函数并利用稳定性理论中的有关定理来解这一难题。本文利用Ｄｕｌａｃ函数法，首先判定了不存在绕平衡点的闭轨线，然后利用Ｆｉｌｉｐｐｏｖ变换和比较定理，证明了系统所有轨线的有界性，进而得到了平衡点是全局渐近稳定的。所研究的方程比前人研究的更一般，得到了两个判定定理。     

一类具有饱和发生率和潜伏期的SEIR模型的稳定性

对一类具有饱和发生率和潜伏期的SEIR传染病模型进行研究,确定决定疾病灭绝或者持续存在的基本再生数,分析模型平衡点的存在性。首先,通过构造适当的Lyapunov函数,证明了无病平衡点的全局稳定性;另外,运用复合矩阵判定定理分析了地方病平衡点的渐近稳定性;最后,利用竞争系统定理,证明了地方病平衡点的全局稳定性。     

一类中立型时滞微分大系统的渐近稳定性

ＷａｎｇＷ．Ｊ．（１９９１）利用Ｌｙａｐｕｎｏｖ函数的方法。研究了一类大型滞后系统的渐近稳定性。本文利用Ｍ－矩阵及不等式技巧首先讨论一类泛函积分方程的零解的渐近稳定性，得到了其零解渐近稳定的判定定理，并利用它来判定一类中立型大系统的渐近稳定性。     

一类食饵-捕食系统的定性分析

文章研究一类食饵具常数投放且增长率含h(x)的食饵-捕食系统。利用常微分方程定性和稳定性理论分析了平衡点的性态,借助Dulac函数法得到了正平衡点全局渐近稳定的充分条件,最后利用Poincare-Bendixson环域定理和张芷芬唯一性定理,证明了极限环存在唯一的充分条件,并给出了数值模拟结果。     

一类被开发的Kolmogorov系统的定性分析

讨论一类食饵种群被开发的捕食系统平衡点的行为和系统的稳定性．应用向量场分析和解有界但闭轨不存性，讨论了平衡点全局稳定的条件；应用Dulac函数法得到闭轨不存在的充分条件；应用Poincare—Bendixson环域定理及张芷芬惟一性定理证明了极限环的存在惟一性。     

一类含时滞具有垂直传染的SIR传染病模型

研究了一类含时滞具有垂直传染的SIR传染病模型,得到了系统的基本再生数R0,利用特征理论分析了系统的局部渐近稳定性,证明了R0〉1时系统是持久的;通过构造Lyapunov函数讨论了R0〉1时地方病平衡点的全局渐近稳定性,并且利用比较定理讨论了R0〈1时无病平衡点的全局渐近稳定性;最后利用MATLAB软件分析了时滞在SI...     

一类具有信息变量和饱和恢复率的SIR传染病模型的研究

本文讨论了一类具有信息变量和饱和恢复率的SIR传染病模型的稳定性.当基本再生数R0≤1时,存在无病平衡点,当R0>1时,得到了存在地方病平衡点的充分条件;利用Routh-Hurwitz判据和特征根方法得到了平衡点的局部渐近稳定性,并通过构造Lyapunov函数讨论了无病平衡点的全局渐近稳定和利用自治收敛定理证明了地方病平衡点的全局渐近稳定性.     

一类具有信息变量和等级治愈率的SI传染病模型的稳定性分析

本文研究了一类SI传染病模型,并简单地讨论了它的稳定性.通过研究发现无病平衡点E0=(1,0,1)当R0≤1时存在,且该平衡点是局部渐近稳定的.而它的全局渐近稳定通过构造Lyapunov函数被证明了.地方病平衡点E*=(S*,I*,Z*)存在的充分条件当R0 1时被得到,并且在本文中利用自治收敛定理得到了它的全局渐近稳定性.     

一类扩散的食饵-捕食模型

研究一类扩散并具有比率依赖功能反应函数的Leslie-Gower模型。运用比较原理得到了系统的持久性。应用谱理论,探讨正平衡点的局部渐近稳定性。利用李雅普诺夫函数研究了正平衡点的全局稳定性。     

具有Michaelis-Menten功能反应捕食系统的征税模型

研究了一类具有Michaelis-Menten功能反应捕食系统的征税模型,对收获函数进行了更合理的修正.讨论了该系统的平衡点的性态,得到正平衡点的局部渐近稳定性和全局渐近稳定性的充分条件,利用Pontrjagin最大值原理得到了最优税收策略.最后通过计算机模拟,验证了其平衡点稳定性和最优税收策略的理论结果.     

一类三阶非线性时滞系统的全局渐近稳定性

运用类比法构造Lyapunov函数,讨论了一类三阶非线性时滞系统的稳定性,给出了其零解全局渐近稳定的充分性准则.在证明过程中,去掉了一般要求Lyapunov函数具有无穷大这个较强的条件,只要求系统的正半轨线有界,对于正半轨线的有界性是利用了类似构造Poincare-Bendix-son环域外边界的方法来判定.最后,给出了一些具有一般意义的三阶非线性系统推广而成的时滞系统的全局渐近稳定的结果.     

一类病毒动力学模型的全局稳定性分析

在病毒能影响未感染细胞产生的假设下,研究了一类被感染细胞具有潜伏和活性两阶段的动力学模型,给出病毒存在与否的阈值,并讨论了平衡点的存在性.通过微分方程稳定性理论得到病毒灭绝平衡点的全局渐近稳定性,利用自治收敛定理证明了病毒存在平衡点的全局渐近稳定性.     

具时滞阶段结构和非线性发生率的SIS模型

研究了一类具有时滞、阶段结构和非线性发生率的SIS传染病模型;讨论了平衡点的存在性,并利用Routh-Hurwits判据和超越函数零点判别法探究了平衡点的局部渐近稳定性,给出了此类传染病平衡点的局部渐近稳定性的判定定理,结论为卫生部门的疾病防控工作提供了一定的理论支持.     

一类在幼年时期传播的SIS传染病模型分析

利用微分方程的稳定性理论与传染病模型的理论知识,研究了一类仅在幼年时期传播的SIS传染病模型,讨论了系统在平衡点处的稳定性态.并通过构造Liapunov函数,得到了系统在无病平衡点与地方病平衡点处全局渐近稳定的阈值.     

一类总人数变化的SEIR和SEIS组合传染病模型

研究了具有指数出生和标准发生率的SEIR和SEIS组合传染病模型,给出了疾病流行与否的阈值并讨论了平衡点的存在性.在考虑因病死亡率的条件下,利用微分方程稳定性理论及定性分析的方法得到了无病平衡点的全局渐近稳定性;当不考虑因病死亡率时,用自治收敛定理证明了地方病平衡点的全局渐近稳定性.     

一类具有信息变量和等级治愈率的SIR传染病模型的研究

研究了一类具有信息变量,饱和发生率和等级治愈率的SIR传染病模型。首先给出基本再生数R0,利用Routh-Hurw itz判据和特征根方法得到当R01时,无病平衡点局部渐近稳定;当R01时,地方病平衡点局部渐近稳定;模型出现两种分支,分别为跨临界分支和Hopf分支。其次通过构造Lyapunov函数证明了无病平衡点的全局稳定性,利用自治收敛定理证明了地方病平衡点的全局稳定性。最后用数值模拟验证了理论结果的正确性。     

一类SEIS流行病传播数学模型的渐近分析

研究了具有Michaelis-Menten接触率SEIS非线性流行病传播数学模型的渐近性态，得到了决定疾病绝灭和持续的阈值一基本再生数．利用Hurwitz判据、Lasalle不变集原理和Bendixon-Dulac判别法等，证明了无病平衡点的全局渐近稳定性和地方病平衡点的局部渐近稳定性，以及无因病死亡情形极限方程地方病平衡点的全局渐近稳定性．     

有密度制约的Holling I类捕食系统的定性分析

讨论一类被捕食者种群有密度制约的Holling I类捕食系统, 当功能反应函数为φ(x)时, 采用定性分析方法, 研究了系统平衡点的性态、 解的有界性和正平衡点的全局渐近稳定性, 得到了极限环不存在的条件, 并利用Poincare-Bendixson环域定理和构造Liapunov函数方法, 得到了极限环存在的充分条件.     

具有阶段传染的SIVR流行病模型的稳定性

利用常微分方程的定性理论以及传染病模型的研究方法讨论具有急性和慢性两个阶段的SIVR流行病模型,得到了模型在无病平衡点和地方病平衡点再生数R0的阈值.当R0＜1时,利用构造Dulae函数的方法证明模型在无病平衡点的全局渐近稳定性;当R0＞1时,用构造Liapunov函数方法得到地方病平衡点的全局渐近稳定性的充分条件,并从生物学的角度给以解释.     

一类潜伏期具有传染性的流行病模型的稳定性

研究一类潜伏期和染病期均具有传染性和康复可能的SEIQ流行病模型,确定了疾病流行与否的阈,利用Routh-Hurwitz判据和LaSalle不变集原理得到无病平衡点的全局渐近稳定性,并借助广义Bendixson-Dulac定理得到地方病平衡点的全局渐近稳定性,最后将隔离率作为控制变量,用范数指标函数作为衡量控制变量的标准,得出该模型最优控制元的存在惟一性.