一类具时滞与饱和发生率的HIV-1传染病模型的全局稳定性

提出了一类具时滞与饱和发生率的HIV-1传染病模型,分析讨论了无病平衡点E0(T0,0,0)和正平衡点E+(T*,I*,V*)的全局稳定性。通过构造Lyapunov函数和La Salle不变集原理,证明了当dμsγβ,对任意τ≥0,无病平衡点E0(T0,0,0)是全局渐近稳定的;当dμsγβ,对任意τ≥0,E+(T*,I*,V*)是全局渐近稳定的,并通过数值模拟验证了所得结论。