Advances in Applied Mathematics
Vol. 10  No. 05 ( 2021 ), Article ID: 42837 , 10 pages
10.12677/AAM.2021.105193

基于T细胞和巨噬细胞的HIV感染模型研究

张雨婷,刘超艺,黄永学,王艳

中国石油大学(华东)理学院,山东 青岛

收稿日期:2021年4月27日;录用日期:2021年5月11日;发布日期:2021年5月31日

摘要

本文在HIV感染过程中,考虑两类靶细胞:整合速度快的CD4+ T细胞和整合速度慢的巨噬细胞,建立基于两类靶细胞的HIV感染模型。该模型主要包括感染细胞转化成正常细胞的恢复阶段。首先,定义模型的基本再生数,进而得到无病平衡点E0以及感染平衡点E*,并理论推导得到模型在两类平衡点的局部渐近稳定性。进一步地,通过利用Lasalle不变原理以及构造Lyapunov函数,得出,当R0 < 1时,无病平衡点E0是全局渐近稳定的。最后,通过查阅文献确定参数的实际范围,对模型进行数值模拟,验证稳定性理论的正确性。

关键词

HIV病毒,T细胞,巨噬细胞,Lyapunov函数,恢复阶段,稳定性分析

Study on the HIV Infection Model Based on T-Cell and Macrophage

Yuting Zhang, Chaoyi Liu, Hongxue Huang, Yan Wang

Science Department, China University of Petroleum (East China), Qingdao Shandong

Received: Apr. 27th, 2021; accepted: May 11th, 2021; published: May 31st, 2021

ABSTRACT

During the infection process, we consider two types of target cells: CD4+ T cells with a fast integration rate and macrophages with a slow integration rate, and establish an HIV infection model based on the two types of target cells. The main features of this model include the recovery phase of the transformed cells from infected cells into normal cells. We obtain the basic reproduction number R0, disease-free equilibrium point E0 and infection equilibrium point E* of the model, and theoretically derive the local asymptotic stability of the model at the two types of equilibrium points. Furthermore, by using Lasalle’s invariance principle and the Lyapunov function, we obtain that when R0 < 1, the disease-free equilibrium point E0 is globally asymptotically stable. Finally, the actual range of parameters is determined by consulting the literature, and the model is numerically simulated to verify the correctness of the stability theory.

Keywords:HIV Virus, T Cells, Macrophages, Lyapunov Function, Recovery Phase, Stability Analysis

Copyright © 2021 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

自1981年第一位艾滋病患者出现以来,艾滋病已在全世界传播,成为全球重大公共卫生问题。根据联合国艾滋病规划署数据 [1],全球范围内艾滋病病毒携带者和艾滋病患者人数从2013年末的3430万人增至2018年末的3790万人,携带者数量仍逐年增长。而截至2019年底,我国现存HIV/AIDS患者约129万,2019年新增感染者15万人,死亡4.2万人。

艾滋病,即获得性免疫缺陷综合征(Acquired Immuno Deficiency Syndrome, AIDS)。它是由艾滋病病毒(Human Immunodeficiency Virus, HIV)感染引起的慢性传染病疾病,HIV破坏人体免疫系统后,使人体缺乏对各种病原体的抵抗力,表现出复杂的免疫缺陷性疾病,严重时出现各种机会感染,甚至恶性肿瘤,自然病程中致死率高。

HIV侵入人体后,通过与细胞表面的受体结合,在辅助受体(fusin, CCR5等的)参与并相互作用下,主要感染CD4+ T淋巴细胞,并在其内增殖复制,使CD4+ T细胞大量损耗,病毒释放出至血液形成HIV血症,致使感染向全身扩散;更多的CD4+ T细胞被感染和破坏。HIV还通过其他受体,如Fc及补体受体、脑细胞及肠上皮细胞的半乳糖神经氢酸酶等感染其他细胞,HIV可侵入巨噬细胞,并随该细胞至体内许多组织,造成多脏器损伤。所以,除CD4+ T细胞外,HIV还感染单核巨噬细胞、滤泡树突状细胞、脑星状细胞、少突胶质细胞、血管内皮细胞、肠上皮细胞和肾脏组织细胞等,引起不同程度病理损害,而机体免疫系统首当其冲,损害也最严重。由于体内大量CD4+ T细胞被破坏和功能障碍,最终导致机体免疫缺陷。

2. 基于T细胞和巨噬细胞的HIV动力学模型

近年来,随着对感染动力学模型研究的愈发深入,模型的建立也越来越精确多样。在这里建立的模型如下 [2]:

{ x ˙ 1 = λ 1 d 1 x 1 β 1 x 1 v + a 1 y 1 y ˙ 1 = β 1 x 1 v δ 1 y 1 a 1 y 1 x ˙ 2 = λ 2 d 2 x 2 β 2 x 2 v + a 2 y 2 y ˙ 2 = β 2 x 2 v δ 2 y 2 a 2 y 2 v ˙ = k 1 y 1 + k 2 y 2 c v (2-1)

其中,CD4+ T细胞 x 1 ( t ) 以输入率 λ 1 产出, d 1 表示其死亡率,感染CD4+ T细胞浓度为 y 1 ( t ) ,感染系数为 β 1 。感染CD4+ T细胞的死亡率为 δ 1 ,感染CD4+ T细胞转化为正常T细胞的转化率为 a 1 。巨噬细胞 x 2 ( t ) 以输入率 λ 2 产出, d 2 表示其死亡率,感染巨噬细胞浓度为 y 2 ( t ) ,感染系数为 β 2 。感染巨噬细胞的死亡率为 δ 2 ,感染巨噬细胞转化为正常巨噬细胞的转化率为 a 2 。病毒颗粒的浓度为 v ( t ) ,其中,感染CD4+ T细胞死亡后释放产生病毒,病毒释放率为 k 1 ,感染巨噬细胞死亡后释放产生病毒,病毒释放率为 k 2 ,病毒移除率为c,模型(2-1)的示意图如图1所示,模型中所有参数假定都是正的。

Figure 1. A schematic representation of the model system

图1. 模型系统的示意图

该模型考虑了两类靶细胞的影响以及感染细胞以一定比例恢复为正常细胞的生物学机理。

3. 模型平衡点

首先,通过平衡点的求解方法,令中各个方程右端为0,我们得到以下方程:

{ λ 1 d 1 x 1 β 1 x 1 v + a 1 y 1 = 0 β 1 x 1 v δ 1 y 1 a 1 y 1 = 0 λ 2 d 2 x 2 β 2 x 2 v + a 2 y 2 = 0 β 2 x 2 v δ 2 y 2 a 2 y 2 = 0 k 1 y 1 + k 2 y 2 c v = 0 (3-1)

对于无病平衡点的求解,不妨设 ν = 0 ,那么 y 1 0 = y 2 0 = 0 ν 0 = 0 。通过化简,得出 x 1 0 = λ 1 d 1 x 2 0 = λ 2 d 2

我们可以得到无病平衡点 E 0 = ( x 1 0 , 0 , x 2 0 , 0 , 0 )

接着,定义基本再生数 R 0 ,它表示每个HIV病毒的存活期间所能感染健康T细胞和健康巨噬细胞的平均数量 [3]。

R 0 = 1 c ( k 1 β 1 x 1 0 δ 1 + a 1 + k 2 β 2 x 2 0 δ 2 + a 2 )

对于感染平衡点的求解,此时 ν 0 ,由第一个式子和第二个式子可以得到 x 1 = ( δ 1 + a 1 ) λ 1 d 1 ( δ 1 + a 1 ) + β 1 ν δ 1 y 1 = β 1 ν λ 1 d 1 ( δ 1 + a 1 ) + β 1 ν δ 1 。同理,由第三个式子和第四个式子可以得到 x 2 = ( δ 2 + a 2 ) λ 2 d 2 ( δ 2 + a 2 ) + β 2 ν δ 2 y 2 = β 2 ν λ 2 d 2 ( δ 2 + a 2 ) + β 2 ν δ 2 。将 y 1 y 2 的表达式代入第五个式子整理得到方程

k 1 β 1 ν λ 1 d 1 ( δ 1 + a 1 ) + β 1 ν δ 1 + k 2 β 2 ν λ 2 d 2 ( δ 2 + a 2 ) + β 2 ν δ 2 c v = 0 ,由于 ν 0 ,所以可以将分子上的 ν 消去,由此可以得到

感染平衡点 E *

E * = ( ( δ 1 + a 1 ) λ 1 d 1 ( δ 1 + a 1 ) + β 1 v * δ 1 , β 1 v * λ 1 d 1 ( δ 1 + a 1 ) + β 1 v * δ 1 , ( δ 2 + a 2 ) λ 2 d 2 ( δ 2 + a 2 ) + β 2 v * δ 2 , β 2 v * λ 2 d 2 ( δ 2 + a 2 ) + β 2 v * δ 2 , v * )

其中 v * 满足

F ( v * ) = k 1 β 1 λ 1 d 1 ( δ 1 + a 1 ) + β 1 v * δ 1 + k 2 β 2 λ 2 d 2 ( δ 2 + a 2 ) + β 2 v * δ 2 c = 0

那么,假设当 v * = 0 时,

F ( 0 ) = k 1 β 1 λ 1 d 1 ( δ 1 + a 1 ) + k 2 β 2 λ 2 d 2 ( δ 2 + a 2 ) c = c [ 1 c ( k 1 β 1 x 1 0 δ 1 + a 1 + k 2 β 2 x 2 0 δ 2 + a 2 ) 1 ] ,

由基本再生数的定义,得到 F ( 0 ) = c ( R 0 1 ) ,而 lim v F ( v ) = c < 0 ,,并且

F ( v ) = δ 1 k 1 β 1 2 λ 1 [ d 1 ( δ 1 + a 1 ) + β 1 ν δ 1 ] 2 δ 2 k 2 β 2 2 λ 2 [ d 2 ( δ 2 + a 2 ) + β 2 ν δ 2 ] 2 < 0 ,可以知道 F ( v ) 是单调递减的,所以对于方程

F ( v ) = 0 ,当 R 0 > 1 时有唯一的正解,当 R 0 < 1 时没有正解。

4. 平衡点的稳定性

4.1. 无病平衡点的局部稳定性

定理1 当 R 0 < 1 时,无病平衡点 E 0 是局部渐近稳定的。

R 0 > 1 时,无病平衡点 E 0 是不稳定的。

证明:模型(3-1)在无病平衡点 E 0 处的Jacobi矩阵为,令 | ξ E J ( E 0 ) | = 0 ,即

| d 1 β 1 v a 1 0 0 β 1 x 1 β 1 v δ 1 a 1 0 0 β 1 x 1 0 0 d 2 β 2 v a 2 β 2 x 2 0 0 β 2 v δ 2 a 2 β 2 x 2 0 k 1 0 k 2 c | = 0

得到特征方程:

( ξ + d 1 ) ( ξ + d 2 ) { ( ξ + δ 1 + a 1 ) [ ( ξ + δ 2 + a 2 ) ( ξ + c ) k 2 β 2 x 2 0 ] k 1 β 1 x 1 0 ( ξ + δ 2 + a 2 ) } = 0

整理得:

( ξ + d 1 ) ( ξ + d 2 ) ( ξ + c ) ( ξ + δ 1 + a 1 ) ( ξ + δ 2 + a 2 ) [ 1 k 1 β 1 x 1 0 ( ξ + c ) ( ξ + δ 1 + a 1 ) k 2 β 2 x 2 0 ( ξ + c ) ( ξ + δ 2 + a 2 ) ] = 0

其中 q 1 ( ξ ) = 1 k 1 β 1 x 1 0 ( ξ + c ) ( ξ + δ 1 + a 1 ) k 2 β 2 x 2 0 ( ξ + c ) ( ξ + δ 2 + a 2 )

那么 E 0 的局部渐近稳定性就取决于 q 1 ( ξ ) = 0 的根。

(1) 当 R 0 > 1 时, q 1 ( 0 ) = 1 k 1 β 1 x 1 0 c ( δ 1 + a 1 ) k 2 β 2 x 2 0 c ( δ 2 + a 2 ) = 1 R 0 q 1 ( 0 ) < 0 ,且 lim ξ + q 1 ( ξ ) = 1 > 0 。所以

由零点定理得 q 1 ( ξ ) ( 0 , + ) 上至少有一个根,所以 E 0 R 0 > 1 上是不稳定的。

(2) 当 R 0 < 1 时,假设 R e ( ξ ) 0 ,那么 ξ 满足 q 1 ( ξ ) = 0 就可以得到

1 = k 1 β 1 x 1 0 ( ξ + c ) ( ξ + δ 1 + a 1 ) + k 2 β 2 x 2 0 ( ξ + c ) ( ξ + δ 2 + a 2 )

1 = | k 1 β 1 x 1 0 ( ξ + c ) ( ξ + δ 1 + a 1 ) + k 2 β 2 x 2 0 ( ξ + c ) ( ξ + δ 2 + a 2 ) | | k 1 β 1 x 1 0 ( ξ + c ) ( ξ + δ 1 + a 1 ) | + | k 2 β 2 x 2 0 ( ξ + c ) ( ξ + δ 2 + a 2 ) | | k 1 β 1 x 1 0 c ( δ 1 + a 1 ) | + | k 2 β 2 x 2 0 c ( δ 2 + a 2 ) | = R 0

R 0 1 R 0 < 1 相矛盾,那么就可以得到 R e ( ξ ) < 0 ,其中 q 1 ( ξ ) = 0 。所以当 R 0 < 1 时, R e ( ξ ) < 0 ,无病平衡点 E 0 是局部稳定的。

综上得出,当 R 0 < 1 时,无病平衡点 E 0 是局部渐近稳定的;当 R 0 > 1 时,无病平衡点 E 0 是不稳定的。

4.2. 无病平衡点的全局稳定性

定理2 当 R 0 < 1 且满足 d 1 + δ 1 k 1 = d 2 + δ 2 k 2 时,无病平衡点 E 0 是全局渐近稳定的。

证明:通过定理1,当 R 0 < 1 时,无病平衡点 E 0 是局部渐近稳定的,那么证明它是全局吸引的。

不难看出对于所有的 t > 0 ,每一个解都有 x 1 ( t ) > 0 x 2 ( t ) > 0 。因此不失一般性,可以构造出Lyapunov方程 [4] [5]

U ( t ) = d 1 + δ 1 δ 1 + a 1 ( x 1 x 1 0 x 1 0 ln x 1 x 1 0 ) + a 1 2 ( δ 1 + a 1 ) x 1 0 ( x 1 x 1 0 + y 1 ) 2 + d 2 + δ 2 δ 2 + a 2 ( x 2 x 2 0 x 2 0 ln x 2 x 2 0 ) + a 2 2 ( δ 2 + a 2 ) x 2 0 ( x 2 x 2 0 + y 2 ) 2 + d 1 + δ 1 δ 1 + a 1 y 1 + d 2 + δ 2 δ 2 + a 2 y 2 + d 1 + δ 1 k 1 v

计算 U ( t ) 导数,并带入 λ = d x 0 ,得到如下:

U = d 1 + δ 1 δ 1 + a 1 [ d 1 x 1 0 d 1 x 1 β 1 x 1 v + a 1 y 1 x 1 0 x 1 ( d 1 x 1 0 d 1 x 1 β 1 x 1 v + a 1 y 1 ) ] + a 1 ( δ 1 + a 1 ) x 1 0 ( x 1 x 1 0 + y 1 ) ( d 1 x 1 0 d 1 x 1 β 1 x 1 v + a 1 y 1 + β 1 x 1 v δ 1 y 1 a 1 y 1 ) + d 2 + δ 2 δ 2 + a 2 [ d 2 x 2 0 d 2 x 2 β 2 x 2 v + a 2 y 2 x 2 0 x 2 ( d 2 x 2 0 d 2 x 12 β 2 x 2 v + a 2 y 2 ) ] + a 2 ( δ 2 + a 2 ) x 2 0 ( x 2 x 2 0 + y 2 ) ( d 2 x 2 0 d 2 x 2 β 2 x 2 v + a 2 y 2 + β 2 x 2 v δ 2 y 2 a 2 y 2 ) + d 1 + δ 1 δ 1 + a 1 ( β 1 x 1 v δ 1 y 1 a 1 y 1 ) + d 2 + δ 2 δ 2 + a 2 ( β 2 x 2 v δ 2 y 2 a 2 y 2 ) + d 1 + δ 1 k 1 ( k 1 y 1 + k 2 y 2 c v )

= d 1 ( d 1 + δ 1 ) ( x 1 x 1 0 ) 2 ( δ 1 + a 1 ) x 1 + a 1 y 1 ( d 1 + δ 1 ) δ 1 + a 1 ( 1 x 1 0 x 1 ) + d 1 + δ 1 δ 1 + a 1 β 1 x 1 0 v a 1 d 1 ( x 1 x 1 0 ) 2 ( δ 1 + a 1 ) x 1 0 a 1 δ 1 y 1 2 ( δ 1 + a 1 ) x 1 0 + a 1 y 1 ( d 1 + δ 1 ) δ 1 + a 1 ( 1 x 1 x 1 0 ) d 2 ( d 2 + δ 2 ) ( x 2 x 2 0 ) 2 ( δ 2 + a 2 ) x 2 + a 2 y 2 ( d 2 + δ 2 ) δ 2 + a 2 ( 1 x 2 0 x 2 ) + d 2 + δ 2 δ 2 + a 2 β 2 x 2 0 v a 2 d 2 ( x 2 x 2 0 ) 2 ( δ 2 + a 2 ) x 2 0 a 2 δ 2 y 2 2 ( δ 2 + a 2 ) x 2 0 + a 2 y 2 ( d 2 + δ 2 ) δ 2 + a 2 ( 1 x 2 x 2 0 ) d 1 + δ 1 k 1 c v

= ( d 1 + δ 1 x 1 + a 1 x 1 0 ) d 1 ( x 1 x 1 0 ) 2 δ 1 + a 1 ( d 2 + δ 2 x 2 + a 2 x 2 0 ) d 2 ( x 2 x 2 0 ) 2 δ 2 + a 2 + a 1 y 1 ( d 1 + δ 1 ) δ 1 + a 1 ( 2 x 1 0 x 1 x 1 x 1 0 ) + a 2 y 2 ( d 2 + δ 2 ) δ 2 + a 2 ( 2 x 2 0 x 2 x 2 x 2 0 ) a 1 δ 1 y 1 2 ( δ 1 + a 1 ) x 1 0 a 2 δ 2 y 2 2 ( δ 2 + a 2 ) x 2 0 + c ( d 1 + δ 1 ) k 1 ( R 0 1 ) v

因此易得,当 R 0 < 1 时, d d t U ( t ) = 0 。此外, d d t U ( t ) = 0 当且仅当 x 1 ( t ) = x 1 0 x 2 ( t ) = x 2 0 成立。由

Lasalle不变集原理 [6],能够证明在 E 0 是全局吸引的。

所以,当 R 0 < 1 时,无病平衡点 E 0 是全局渐近稳定的。

4.3. 感染平衡点的局部稳定性

定理3当 R 0 > 1 时,感染平衡点 E * 是局部渐近稳定的。

证明:模型(3-1)在感染平衡点 E * 处的Jacobi矩阵为 J ( E * ) ,令 | ξ E J ( E * ) | = 0 ,即:

| d 1 β 1 v * a 1 0 0 β 1 x 1 * β 1 v * δ 1 a 1 0 0 β 1 x 1 * 0 0 d 2 β 2 v * a 2 β 2 x 2 * 0 0 β 2 v * δ 2 a 2 β 2 x 2 * 0 k 1 0 k 2 c | = 0

整理得:

1 ( ξ + d 1 ) k 1 β 1 x 1 * ( ξ + c ) [ ( ξ + d 1 + β 1 v * ) ( ξ + δ 1 ) + a 1 ( ξ + d 1 ) ] ( ξ + d 2 ) k 2 β 2 x 2 * ( ξ + c ) [ ( ξ + d 2 + β 2 v * ) ( ξ + δ 2 ) + a 2 ( ξ + d 2 ) ] = 0

假设 R e ( ξ ) 0 ,其中 ξ 满足 | ξ E J ( E * ) | = 0 ,则可得到

1 = ( ξ + d 1 ) k 1 β 1 x 1 * ( ξ + c ) [ ( ξ + d 1 + β 1 v * ) ( ξ + δ 1 ) + a 1 ( ξ + d 1 ) ] + ( ξ + d 2 ) k 2 β 2 x 2 * ( ξ + c ) [ ( ξ + d 2 + β 2 v * ) ( ξ + δ 2 ) + a 2 ( ξ + d 2 ) ] = ( ξ + d 1 ) k 1 β 1 x 1 * ( ξ + c ) [ ( ξ + d 1 ) ( ξ + δ 1 + a 1 ) + β 1 v * ( ξ + δ 1 ) ] + ( ξ + d 2 ) k 2 β 2 x 2 * ( ξ + c ) [ ( ξ + d 2 ) ( ξ + δ 2 + a 2 ) + β 2 v * ( ξ + δ 2 ) ] < | k 1 β 1 x 1 * ( ξ + c ) ( ξ + δ 1 + a 1 ) + k 2 β 2 x 2 * ( ξ + c ) ( ξ + δ 2 + a 2 ) | < | k 1 β 1 x 1 * c ( δ 1 + a 1 ) + k 2 β 2 x 2 * c ( δ 2 + a 2 ) |

由模型方程组的第五个式子: k 1 y 1 * + k 2 y 2 * c v * = 0 ,即 k 1 β 1 x 1 * c ( δ 1 + a 1 ) + k 2 β 2 x 2 * c ( δ 2 + a 2 ) = 1 ,可以推出1 < 1,

产生矛盾,则 R e ( ξ ) < 0

综上得出,当 R 0 > 1 时,感染平衡点 E * 是局部渐近稳定的。

5. 数值模拟

在本部分中,将继续利用表1中给出的参数值对系统进行一些数值模拟,验证本文定理的正确性。根据参考文献 [7] 所给的范围,并结合文献 [8] 中的数据,将参数的含义,单位及其取值范围以及参数值列表1所示。

Table 1. The meaning and value of the parameters in the system (3-1)

表1. 系统(3-1)中参数含义与取值

使用多组初始数据进行数值模拟,且每组初始值的含义,单位和取值如表2所示。

Table 2. The initial value

表2. 初始值表

5.1. 数值模拟无病平衡点E0的稳定性

研究无病平衡点 E 0 的稳定性。首先将参数表1中的数据1代入系统(3-1)中,计算基本再生数 R 0 = 0.0546 < 1 ,符合定理1与定理2条件,因此对于表1中的数据1的参数,系统在无病平衡点 E 0 处是全局渐近稳定的。选取表2中的多组数据进行模拟,如图2所示。

Figure 2. The local asymptotic stability of the uninfected equilibrium point of the system (3-1)

图2. 系统(3-1)的无病平衡点的局部渐近稳定性

图2可以看出,所得到的数值模拟的结果趋近于无病平衡点 E 0 ,经过软件计算可以得到健康T细胞的值最终趋向于 x 1 = 933.333 ,感染T细胞趋向于 y 1 = 1.0698 e 09 ,健康巨噬细胞的值趋向于 x 2 = 800 ,感染巨噬细胞趋向于 y 2 = 4.5310 e 10 ,以及自由病毒趋向于 v = 2 .0310 e 0 7 。而通过参数计算的平衡状

态是 E 0 = ( x 1 0 , 0 , x 2 0 , 0 , 0 ) ,其中 x 1 0 = λ 1 d 1 = 933.333 x 2 0 = λ 2 d 2 = 800 ,对于感染T细胞、感染巨噬细胞以及

自由病毒均可看作趋向于0,因此可以认为系统在无病平衡点 E 0 处是局部渐近稳定的,而通过多组初值进行模拟,发现其最终结果都是一样的,所以可以认为 E 0 是全局吸引的,由此可以说,系统在无病平衡点 E 0 处是全局渐近稳定的。

5.2. 数值模拟感染平衡点E*的稳定性

对于系统(3-1)中各个参数使用表1中数据2,并计算基本再生数 R 0 = 7.6149 > 1 ,符合定理3的条件,因此对于表1中的数据2的参数,系统在感染平衡点 E * 处是全局渐近稳定的。使用表2中的几组数据进行多次实验,如图3所示。

Figure 3. The local asymptotic stability of the infected equilibrium point of the system (3-1)

图3. 系统(3-1)的感染平衡点的局部渐近稳定性

图3可以得出,数值模拟的结果趋近于感染平衡点 E * ,经过Matlab计算得到健康T细胞浓度 x 1 趋近于151.5492,感染T细胞浓度 y 1 趋近于187.0053,健康巨噬细胞浓度 x 2 趋近于80.4896,感染巨噬细胞浓度 y 2 趋近于180.9427,自由病毒v趋近于3579.681。通过

E * = ( ( δ 1 + a 1 ) λ 1 d 1 ( δ 1 + a 1 ) + β 1 v * δ 1 , β 1 v * λ 1 d 1 ( δ 1 + a 1 ) + β 1 v * δ 1 , ( δ 2 + a 2 ) λ 2 d 2 ( δ 2 + a 2 ) + β 2 v * δ 2 , β 2 v * λ 2 d 2 ( δ 2 + a 2 ) + β 2 v * δ 2 , v * )

这里 v * = 3579.681 。将参数与 v * 代入,得出健康T细胞浓度 x 1 = 151.6031 ,感染T细胞浓度 y 1 = 187.0992 ,健康巨噬细胞浓度 x 2 = 88.4222 ,感染巨噬细胞浓度 y 2 = 197.7889 ,并且

F ( v * ) = k 1 β 1 λ 1 d 1 ( δ 1 + a 1 ) + β 1 v * δ 1 + k 2 β 2 λ 2 d 2 ( δ 2 + a 2 ) + β 2 v * δ 2 c ,把 v * 代入,得到值为−0.001436,几乎为0。因此可

以得到系统(2-2)在感染平衡点处是局部渐近稳定的。

6. 结语

本文首先建立基于CD4+ T细胞和巨噬细胞的HIV感染模型,该模型考虑了两类靶细胞的影响以及感染细胞以一定比例恢复为正常细胞的生物学机理。

其后,求出两类平衡点,即无病平衡点与感染平衡点,并定义基本再生数 R 0 。进一步通过特征方程模的思想证明出当 R 0 < 1 时,无病平衡点 E 0 是局部渐近稳定的,当 R 0 > 1 时,感染平衡点 E * 是局部渐近稳定的。而对于无病平衡点的全局稳定性,本文通过Lyapunov方法建立方程,并通过Lasalle不变集原理加以证明。最后,本文通过两组参数模拟无病平衡点和感染平衡点,通过多组初始数据进行数值模拟,验证得到理论分析的正确性,从而为相关医学工作者提供理论依据与数据支持。

基金项目

中国石油大学(华东)大学生创新创业训练计划资助项目(202012071)。

文章引用

张雨婷,刘超艺,黄永学,王 艳. 基于T细胞和巨噬细胞的HIV感染模型研究
Study on the HIV Infection Model Based on T-Cell and Macrophage[J]. 应用数学进展, 2021, 10(05): 1834-1843. https://doi.org/10.12677/AAM.2021.105193

参考文献

  1. 1. 联合国艾滋病规划署. 2019年全球艾滋病最新情况[EB/OL]. http://hkb980dd.pic44.websiteonline.cn/upload/0ezt.pdf, 2019-07-16.

  2. 2. Wang, X., Ge, Q. and Chen, Y. (2020) Threshold Dynamics of an HIV Infection Model with Two Distinct Cell Subsets. Applied Mathematics Letters, 103, Article ID: 106242. https://doi.org/10.1016/j.aml.2020.106242

  3. 3. Wang, W. and Zhao, X.Q. (2008) Threshold Dynamics for Compartmental Epidemic Models in Periodic Environments. Journal of Dynamics & Differential Equations, 20, 699-717. https://doi.org/10.1007/s10884-008-9111-8

  4. 4. 刘春美. Lyapunov方法在系统稳定性理论上的应用[D]: [硕士学位论文]. 长春: 东北师范大学, 2011.

  5. 5. Lv, C., Huang, L.H. and Yuan, Z.H. (2014) Global Stability for an HIV-1 Infection Model with Beddington-DeAngelis Incidence Rate and CTL Immune Response. Communications in Nonlinear Science and Numerical Simulation, 19, 121-127. https://doi.org/10.1016/j.cnsns.2013.06.025

  6. 6. Lasalle, J. (1976) The Stability of Dynamical Systems. SIAM, Philadelphia.

  7. 7. Yan, W., Zhou, Y., Brauer, F., et al. (2013) Viral Dynamics Model with CTL Immune Response Incorporating Antiretroviral Therapy. Journal of Mathematical Biology, 67, 901-934. https://doi.org/10.1007/s00285-012-0580-3

  8. 8. Hill, A.L., Rosenbloom, D., Nowak, M.A., et al. (2018) Insight into Treatment of HIV Infection from Viral Dynamics Models. Immunological Reviews, 285, 9-25. https://doi.org/10.1111/imr.12698

期刊菜单