具饱和发生率的被修正HIV传染病模型的全局稳定性

提出了一类具有饱和发生率的被修正HIV传染病模型。首先通过分析相应的特征方程,得到了无病平衡点E0(T0,0,0)和正平衡点E*(T*,I*,V*)的局部渐近稳定性。进一步构造Lyapunov函数和利用LaSalle不变集原理,证明了当基本再生数R01时,无病平衡点E0(T0,0,0)是全局渐近稳定的;利用第二加性复合矩阵,证明了当基本再生数R01时,正平衡点E*(T*,I*,V*)是全局渐近稳定的。最后通过数值模拟,验证了所得主要理论结果。