几类HIV传染病模型的全局稳定性分析-应用数学专业论文.docxVIP

曲阜师范大学硕士学位论文 曲阜师范大学硕士学位论文 几类 HIV 传染病模型的全局稳定性分析 摘 要 本文主要利用李雅普诺夫函数法和 LaSalle 不变原理, 研究了几类 HIV 传 染病模型的全局动态性质, 推广了已有文献中的结果, 得到了若干新的结论. 本篇文章共分四章. 第一章 介绍了问题研究的背景和这篇文章的主要内容. 第二章 研究了一类具有非线性发病率和 CTL 免疫反应的双时滞 HIV 传 染病模型 ?? x′(t) = μ ? kx(t) ? αx(t)f (v(t)), ? ??? y′(t) = αe?m1τ1 x(t ? τ1)f (v(t ? τ1)) ? ry(t) ? βy(t)h(z(t)), ? ? v′(t) = pe?m2τ2 y(t ? τ2) ? dv(t), ?? ? z′(t) = δy(t) ? qz(t), 的动力学性质. 通过应用特征方程和李雅普诺夫函数法, 研究了无病平衡点和有 病平衡点的全局渐近稳定性: 若 R0 1, 则无病平衡点 E0 是全局渐近稳定的; 若 R0 1, ?i(0) 0 (i = 1, 2, 3), 则有病平衡点 E1 是全局渐近稳定的. 第三章 研究了一类具有一般发病率和 CTL 免疫反应的时滞 HIV-1 传染 病模型 ?? x′ = λ ? dx(t) ? f (x(t), v(t))v(t), ? ??? y′ = e?m1τ1 f (x(t ? τ1), v(t ? τ1))v(t ? τ1) ? ay(t) ? py(t)z(t), ? ? v′ = ke?m2τ2 y(t ? τ2) ? uv(t), ?? ? z′ = gy(t)z(t) ? cz(t), 的全局稳定性. 通过构造合适的李雅普诺夫函数和运用 LaSalle 不变原理, 得 到三个平衡点的稳定性: 当 R0 ≤ 1 时无病平衡点 E0 是全局渐近稳定的; 当 R0 1 且 R1 ≤ 1 时无 CTL 免疫的有病平衡点 E1 是全局渐近稳定的; 当 R1 1 时具有 CTL 免疫的有病平衡点 E2 是全局渐近稳定的. 万方数据 i 第四章 研究了一类具有药物治疗和年龄结构的 HIV 传染病模型 ? d ?? dt T (t) = s ? dT (t) ? (1 ? ?EI )kVI (t)T (t), ? ? ?? ? i(a, t) + ? ?  i(a, t) = ?δ(a)i(a, t), ? ?t d ?? dt VI (t) = ? ? ?a ∫ ∞ (1 ? ?P I )(1 ? β(a))p(a)i(a, t)da ? cVI (t), 0 ? d ∫ ∞ ? 0? dt VN I (t) = 0 ?P I (1 ? β(a))p(a)i(a, t)da ? cVN I (t), 的全局稳定性. 通过构造合适的 Lyapunov 函数, 证明了无病平衡点 E0 和有病 平衡点 E? 的全局渐近稳定性: 若 R0 ≤ 1, 则无病平衡点 E0 是全局渐近稳定的; 如果 R0 1, 则有病平衡点 E? 是全局渐近稳定的. 关键词： HIV模型; 全局稳定; 李雅普诺夫函数; 发病率; 时滞. 万方数据 ii 万方数据 PAGE 万方数据 PAGE iii Global stability analysis of some categories HIV infection models Abstract In this paper, we investigate global stability for several kinds of HIV viral infection models. Using the Lyapunov function method and LaSalles invariance principle, we extend the results in the past and obtain several new conclusions. The paper includes four sections. Chapter 1 we introduce the background of problems and the main work of this thesis. Chapter 2 we study the global stability of two delayed HIV infection model with CTL immunity response ? x′(t) = μ ? kx(t) ? αx(t)f (v(t)), ? ? y (t) = αe x(t ? τ1)f (v(