一类具分布时滞的SEIRS传染病模型的阈值动力学分析

【目的】研究一类具有一般非线性发生率、分布时滞和垂直传染的SEIRS传染病模型。【方法】利用时滞泛函微分方程的理论，证明了系统解的正定性和有界性。通过构造合适的Lyapunov泛函和运用LaSalle不变集原理，得到了平衡点全局渐近稳定性的阈值条件。【结果】给出模型基本再生数R0，当R0≤1时，无病平衡点是全局渐近稳定的；当R0>1时，存在一个唯一的地方病平衡点，并且它是全局渐近稳定的。【结论】在对发生率的非线性项进行适当的假设下，模型的全局动力学完全由基本再生数R0决定，分布时滞不会影响模型的全局动力学。     

具有年龄结构的脉冲时滞捕食-被捕食模型的全局吸引和持久性

研究了与害虫管理相关的一类捕食者具有脉冲扰动,食饵具有年龄结构的时滞捕食-被捕食模型,运用脉冲微分方程的比较定理以及时滞微分方程的基本理论,证明了害虫灭绝的周期解全局吸引、系统持久的充分性条件,同时得到了系统所有解的有界性.     

积分-微分方程周期解的存在性(英文)

以(Cg,|.|g)为相空间研究了具有无限时滞积分-微分方程周期解的存在性,利用Schauder-Tychonov不动点定理证明了方程解的g一致有界解有界性和g一致最终有界性蕴含周期解的存在性,推广了已有的一些结论.     

捕食者具脉冲扰动与Ivlev功能性反应的时滞捕食-食

研究了与害虫管理相关的一类捕食者具脉冲扰动与Ivlev功能性反应的时滞捕食-食饵模型;运用脉冲微分方程的比较定理及时滞泛函微分方程的基本理论,证明了该系统在一定条件下害虫灭绝周期解是全局吸引的, 同时也证明了系统持久的充分条件和所有解的一致完全有界性.该模型及结果是对一些已知模型和结论的改进和推广,为现实的生物防治提供了较可靠的策略依据.     

具有免疫反应的时滞HIV感染模型的稳定性

建立了具有免疫反应的时滞HIV感染模型,讨论了系统解的非负性和有界性,得到了确定模型动力学性态的基本再生数。通过构造适当的Lyapunov泛函,利用La Salle不变原理证明了无病平衡点的全局渐近稳定性,并用数值模拟验证了结果。     

具无限时滞非线性中立型泛函微分方程的周期解

证明了具无限时滞非线性中立型泛函微分方程解的一致最终有界性蕴涵周期解的存在性，推广了一些学者的主要结果．     

具有捕获的反应扩散浮游生物模型的动力学行为

研究了一类具有捕获的反应扩散浮游生物模型的动力学行为.首先证明了在无时滞时解的存在性和有界性;其次证明了平衡点渐近稳定的充分条件以及hopf分支的存在条件;最后,通过数值模拟验证所得结论.     

一类二阶非齐次时滞微分方程解的有界性

运用Lyapunov函数方法并借助积分不等式,研究了一类二阶非齐次时滞微分方程解的有界性,得到解的有界性的充分条件.     

一类具有时滞和收获的比率依赖捕食模型的分析

本文研究了一类具有时滞和捕获的比率依赖捕食模型,首先讨论了系统解的正性和有界性,其次给出了模型平衡点的存在性和稳定性分析,证明了时滞可以导致Hopf分支的产生,最后研究了收获的最优控制问题.     

一类多时滞反应扩散HBV病毒模型的动力学分析

研究了一类具有时滞的反应扩散病毒模型。利用抽象泛函微分方程讨论了该模型非负解的存在性和有界性,借助线性化方法获得了无病平衡点的局部渐近稳定性,构造相应的Lyapunov函数分别证明了无病平衡点的全局渐近稳定性和地方病平衡点的全局渐近稳定性,完善了已有的结果。     

具无穷延滞的脉冲泛函微分系统的严格一致有界

严格一致有界性是一种可以给出解的衰减率信息的有界性;利用Lyapunov函数和Razumkhin技巧得到了具无穷延滞的脉冲泛函微分系统的严格一致有界性判别准则。     

无穷时滞泛函微分方程正周期解的存在性与多解性

应用非线性泛函分析理论中的不动点指数定理、算子理论与锥理论,讨论了一类泛函微分方程的正周期解问题,与已往文献结果相比,研究结果不但获得了该类方程正周期解的存在性定理,而且在此基础上获得了该类方程正周期解的多解性定理.最后,利用Hematcpoiesis模型说明了所得结论在研究具有无穷时滞泛函微分方程正周期解的存在性与多解性问题中的有效性.     

具有脉冲效应的非自治捕食者-食饵系统周期正解

讨论了一类具有脉冲效应的非自治捕食者-食饵系统的动力学行为．利用脉冲微分方程的比较定理．证明了系统的有界性,讨论了平凡周期解与半平凡周期解(食饵灭绝周期解)的局部稳定性．进而利用重合度理论证明了系统周期正解的存在性．     

具有双参数扰动的Holling Ⅱ捕食-食饵模型分析

针对一类具有双参数扰动的Holling Ⅱ随机捕食-食饵模型的一些动力学性质问题,利用随机微分方程的一些基本理论和不等式技巧,证明了该系统的正解的存在性和唯一性,随机最终有界性,一致H?lder连续性和随机持久性,并给出了该系统灭绝的充分性条件.最后,通过数值模拟直观表现种群在双参数扰动下的数量变化,并与理论结果一致.     

具有Beddington-DeAngelis功能反应和分布时滞的病毒动力学模型的稳定性

为了更真实地描述细胞被病毒感染的现象, 在常见的病毒时滞模型基础上建立了一类具有Beddington-DeAngelis功能反应和分布时滞的病毒动力学模型.首先，讨论了该模型解的正性和有界性，得到了该模型的基本再生数R₀；然后，证明了该模型的无病平衡点的局部渐近稳定性和全局渐近稳定性；最后，通过数值模拟验证了结论的有效性.     

马尔可夫调制的中立型随机时滞微分方程的弱吸引性

利用Ito公式和局部鞅收敛定理,确立了马尔可夫调制的中立型随机时滞微分方程弱吸引性的充分条件;中立型模型的确立,增强了模型贴合工业实际的能力.通过将条件适当加强,得到了方程更好的吸引性,同时为有界性和稳定性的新准则确立奠定了基础.     

一类随机中立型微分方程数值解的收敛性

通常情况下,大多数随机中立型时滞微分方程没有精确解,因此,数值逼近方法成为研究系数特性的主要工具。本文给出一类随机中立型微分方程的数值方法,应用肠公式,根据Gronwall引理和Dooh不等式,证明了随机中立型微分方程的数值解依概率收敛到解析解。     

Beddington-DeAngelis发生率下具有感染时滞的HIV模型的稳定性及Hopf分支

研究Beddington-DeAngelis发生率下具有感染时滞的HIV模型,通过考虑感染时滞对已有的模型进行修正;利用时滞微分方程的稳定性理论主要研究感染平衡点的稳定性和Hopf分支,通过数值模拟验证所得结论.     

C_g空间中无限时滞随机泛函微分方程解的存在唯一性

选取空间Cg为相空间,考察具有无限时滞随机泛函微分方程解的存在唯一性,利用Picard迭代序列、伊藤公式以及Doob鞅不等式,得到了无限时滞随机泛函微分方程的解在区间[t0,∞)上的存在性与唯一性,进而得到了近似解与精确解之间的误差估计,其中t0为正常数.