1. 引言
感染人类免疫缺陷病毒(HIV-1)的细胞大多是活化的CD4+T细胞。一旦感染,病毒就会在这些细胞上开始复制,从而延长感染时间。只要检测到了这种感染,免疫系统就会相应地做出反应,在有限的范围内控制病毒数量。
抗逆转录病毒药物可以进一步协助控制病毒数量,通常有两类抗逆转录病毒药物用于降低病毒载量和限制受感染的T细胞数量。其中一类被称为逆转录酶抑制剂(RTIs),可以降低活化的CD4+T细胞的感染率。另一类是蛋白酶抑制剂(PIs),可阻止HIV-1蛋白酶将HIV多聚蛋白裂解为功能单元,从而使受感染细胞产生不具感染性的未成熟病毒颗粒,减少新产生的传染性病毒的数量。如果长期以足够的频率服用这些药物,病毒的数量就会受到很大的抑制。
但是抗逆转录病毒治疗并不能完全根除病毒,因为一旦中断治疗,病毒数量就会反弹。研究学者们提出了许多思路来解释这种反弹。部分研究学者认为,HIV可以作为前病毒在静息记忆CD4+T细胞中持续存在。这些潜伏感染的细胞数量比正常的易感T细胞少得多,在受相关抗原激活前不会产生新的病毒[1] [2]。但是它们的寿命周期相对较长,并且可以为病毒提供一个藏身之处以逃避免疫系统或抗逆转录病毒药物的控制,因此成为了一个可以长期产生病毒的贮存库。人们已经建立了包含潜伏感染的数学模型来研究病毒和CD4+T细胞在感染过程中的动态变化,分析抗逆转录病毒疗法的影响、耐药性的出现等问题[3] [4]。
其中T代表初始易感染的靶细胞,L代表潜伏感染细胞,I代表已感染靶细胞,VI和VNI分别代表具有感染性和不具感染性的病毒颗粒。
然而,HIV病毒除了入侵CD4+T细胞,还可能攻击巨噬细胞以及树突状细胞等。因此,考虑病毒粒子与多类靶细胞的互相作用是合理并且必要的。从生物学角度来看,HIV感染人体的靶细胞可以分为两类,分别为整合速度快的和整合速度慢的。其中整合速度快的以CD4+T细胞为代表,而整合速度慢的则以巨噬细胞为代表。人们已经根据这一病毒感染机制提出了考虑两种靶细胞的HIV感染模型[5] [6]。
其中,T1和T2分别代表了初始易感染的两种靶细胞:CD4+T细胞和巨噬细胞,I1和I2代表已感染靶细胞,VI和VNI分别代表具有感染性和不具感染性的病毒颗粒。
2. 包含潜伏感染阶段的具有两种靶细胞的HIV感染模型
在前人研究的基础上,我们提出一种具有两种靶向细胞和潜伏感染阶段的HIV感染模型,并考虑两类抑制剂(逆转录酶抑制剂和蛋白酶抑制剂)对HIV病毒的治疗效果。建立的模型如下:
(2-1)
其中,T1和T2分别代表了初始易感染的两种靶细胞:CD4+T细胞和巨噬细胞,L1和L2代表潜伏感染细胞,I1和I2代表已感染靶细胞,VI和VNI分别代表具有感染性和不具感染性的病毒颗粒。其余参数含义见表1。
Table 1. Meaning of parameters
表1. 参数含义
参数 |
含义 |
参数 |
含义 |
|
未感染靶细胞的产生速率 |
|
潜伏感染细胞的激活率 |
|
未感染靶细胞死亡率 |
|
潜伏感染细胞的死亡率 |
|
感染率 |
|
感染细胞的死亡率 |
|
逆转录酶抑制剂疗效 |
|
两种靶细胞内病毒的裂解量 |
|
转为潜伏感染细胞比例 |
|
病毒清除速率 |
|
蛋白酶抑制剂疗效 |
|
|
为了方便书写,我们令
,
,
,
。
正解的存在唯一性及有界性
定理1: 当模型(2-1)的初始条件满足
,
,
,
,
,
,
,
时,模型(2-1)存在唯一有界的正解。
证明 根据非线性微分方程组解的存在唯一性定理[7],在
,
,
,
,
,
,
,
的初始条件下,模型(2-1)存在唯一解。
接下来证明解是非负的。
假设
,并且满足
,
,这就使得
,
,这与
,
矛盾,故
,
。
假设
,并且满足
,
,这就使得
,
,故
,
。因为
,所以
使得
,故
。
不失一般性,假设
。因为
,所以
,使得
,故
。而
,故
,出现矛盾,故
(
),同理
(
),这与
矛盾,故
(
,
),这又与
,
矛盾,故不存在这样的
,
。因此,在
时
,
,
,
,
。
假设
,并且满足
,故
,这与
,
矛盾,故
。
综上,解的非负性得证。下面证明解的有界性。我们定义
不妨记
,
则可得
因此
是有界的,故
,
,
,
,
,
,
,
是有界的。
综上,当模型(2-1)的初始条件满足
,
,
,
,
,
,
,
时,模型存在唯一有界的正解。
3. 模型平衡点
下面我们来求解模型(2-1)的无病平衡点和感染平衡点,由于
代表不具感染性的病毒颗粒,所以不会对模型的稳定性产生影响,所以在本节稳定性分析的过程中我们暂不考虑
。先考虑无病平衡点,我们令模型(2-1)的右边都等于0,并假设
,得到以下方程:
(3-1)
由此得到
,
,
,
,所以无病平衡点
。
接着我们定义基本再生数
,它表示每个HIV病毒的存活期间所能感染健康T细胞和健康巨噬细胞的平均数量:
(3-2)
下面求解感染平衡点,此时
,表示为
,通过化简求解方程组(3-1)得到:
;
;
;
;
;
;
其中
为方程:
(3-3)
的解。
记
下面证明当
时模型(2-1)在
仅有一个感染平衡点
:
所以当
时,有
,又
所以
时,在
内
有唯一解,即当
时模型(2-1)在
仅有一个感染平衡点
。
所以当
时,模型(2-1)的感染平衡点为:
。
4. 平衡点稳定性分析
4.1. 无病平衡点的局部稳定性
定理2: 当
时,无病平衡点
是局部渐近稳定的。当
时无病平衡点
是不稳定的。
证明:模型(2-1)在无病平衡点
处的Jacobi矩阵为:
令
得到特征方程:
整理得:
其中
显然特征方程的根取决于
的根,由此确定
的局部稳定性。
1) 当
时
又
,故
在
上至少有一个正根,从而特征方程存在正实部的根,所以
在
时是不稳定的。
2) 当
时
假设存在
,且满足
,则
与
矛盾,由此可以得到
,其中
。所以当
时无病平衡点
是局部渐近稳定的[23]。
综上得出
时,无病平衡点
是局部渐近稳定的;当
时无病平衡点
是不稳定的。
4.2. 感染平衡点的局部稳定性
定理3:
时,感染平衡点
局部渐近稳定。
证明:模型(2-1)在感染平衡点
处的Jacobi矩阵为:
令
得到特征方程:
整理得:
其中
下面特征方程的根取决于
的根,假设存在
,令
,由前面计算得到的感染平衡点
,
;代入整理得:
再根据(3-1)的第六个式子得到:
(4-1)
而感染平衡点
,
带入(4-1)得:
即推出
,产生矛盾,因此有
,从而定理3得证。
综上,当
时,感染平衡点
局部渐近稳定。
5. 数值模拟
在进行了相关理论证明后,为了更直观地观察模型的动力学特征,本节对模型(2-1)进行数值模拟实验。模型中相关参数的取值如表2所示
Table 2. Parameter table
表2. 参数表
参数 |
含义 |
单位 |
取值 |
参考 |
|
未感染T细胞产生速率 |
mm−3 day−1 |
10 |
[8] -[10] |
|
未感染巨噬细胞产生速率 |
mm−3 day−1 |
0.04 |
[11] [12] |
|
未感染T细胞死亡率 |
day−1 |
0.01 |
[10] [13] [14] |
|
未感染巨噬细胞死亡率 |
day−1 |
0.01 |
[11] [12] |
|
T细胞病毒感染率 |
mm3 day−1 |
10−5~0.5 |
[15] |
|
巨噬细胞病毒感染率 |
mm3 day−1 |
10−5~0.5 |
[15] [16] |
|
感染的T细胞转为潜伏感染的比例 |
day−1 |
0.1 |
[17] |
|
感染的巨噬细胞转为潜伏感染的比例 |
day−1 |
0.1 |
[17] |
|
潜伏感染T细胞激活率 |
day−1 |
0.2 |
[18] |
|
潜伏感染巨噬细胞激活率 |
day−1 |
0.05 |
[19] |
|
潜伏感染T细胞死亡率 |
day−1 |
0.02 |
[9] [19] |
|
潜伏感染巨噬细胞死亡率 |
day−1 |
0.1 |
[19] |
|
感染T细胞死亡率 |
day−1 |
0.5 |
[20][22] - |
|
感染巨噬细胞死亡率 |
day−1 |
0.1 |
[22] |
|
T细胞内病毒裂解量 |
virions cells−1 |
15 |
[19] |
|
巨噬细胞内病毒裂解量 |
virions cells−1 |
10 |
[19] |
|
病毒清除速率 |
day−1 |
3 |
[10] |
|
逆转录酶抑制剂抑制率 |
— |
(0, 1) |
— |
|
蛋白酶抑制剂抑制率 |
— |
(0, 1) |
— |
本章所选取不同的初值如下所示:
第一组初值:
第二组初值:
第三组初值:
第四组初值:
在上述初值条件下,选择不同的
,
,
,
,
,
会得到不同的数值结果。
5.1. 平衡点稳定性的数值模拟
为验证模型(2-1)的无病平衡点
与感染平衡点
,首先不考虑抑制剂的作用,即取
。
当取
,
时,
,如图1所示,四组不同初值开始的曲线轨迹最后均趋于无病平衡点
。
当取
,
时,
,如图2所示,四组不同初值开始的曲线轨迹最后均趋于点
。
将
代入方程(3-3)左侧,结果为−3.8943*10−4,接近为0,可以说明VI是方程(3-3)的解,即
。将
进一步代入其余变量的感染平衡点计算式计算,并与数值稳定点结果对比,验证得四组不同初值开始的曲线轨迹最后趋于感染平衡点
。
Figure 1. Local stability of the equilibrium point when β1 = 0.0001, β2 = 0.015
图1. β1 = 0.0001,β2 = 0.015时平衡点的局部稳定性
Figure 2. Local stability of the equilibrium point when β1 = 0.0006, β2 = 0.001
图2. β1 = 0.0006,β2 = 0.001时平衡点的局部稳定性
5.2. 不同抑制剂效能的数值模拟
由式(3-2),抑制剂的抑制效能也会影响R0的大小,故接下来考虑逆转录酶抑制剂和蛋白酶抑制剂的抑制效能对R0的影响。在取
,
的情况下,R0的取值随
与
的变化如图3所示。其中
与
不同取值所形成的红色等高线为使
的边界线。
Figure 3. The value of R0 varies with the changes in εRT and εPI
图3. R0的取值随εRT与εPI的变化
如图3,四种
与
的取值组合如表3所示:
Table 3. Nhibitor efficacy values
表3. 抑制剂效能取值
序号 |
逆转录酶抑制剂εRT |
蛋白酶抑制剂εPI |
R0 |
A |
|
|
1.9998 |
B |
|
|
1.5401 |
C |
|
|
1.1400 |
D |
|
|
0.7997 |
在
的初值条件下,VI,T1和T2在四种抑制剂效能取值的轨迹如图4所示。
从数值结果可以发现,在同样的初值条件下,当
时,随着R0的减小,VI的感染平衡点逐渐降低;当
时,VI的轨迹最终稳定在0,即代表着在该抑制剂效能的组合下,病毒可以被完全清除。对于靶向细胞CD4+T细胞T1和巨噬细胞T2,随着R0的减小,T1和T2轨迹的稳定值越高,即代表着健康的靶细胞数量越多,当R0减小到小于1时,T1和T2的轨迹最终都回归到无病平衡点的状态。
数值结果表明,只要取在
边界线右侧的不同
与
组合,各细胞和病毒就能够回归到无病平衡点的状态。
Figure 4. Trajectory plot of the four types of inhibitor efficacy values
图4. 四种抑制剂效能取值的轨迹图
6. 结论
在本研究中,我们从HIV的传播动力学出发,构建了一个包含潜伏感染的多维度常微分方程组模型,覆盖了健康和感染的CD4+T细胞及巨噬细胞。第一部分详细介绍了构建HIV动力学模型所需的生物学背景和数学理论,并回顾了相关研究成果,为模型的理解和后续开发奠定了基础。在第二部分中,模型通过引入非线性感染率和细胞恢复概念,对HIV的传播及其在药物治疗影响下的行为进行了深入分析,计算了无病和感染平衡点,并引出了基本再生数这一关键参数。第三部分通过求解平衡点处的Jacobi矩阵和特征方程,对模型的稳定性进行了严格的数学证明,确认了在不同基本再生数条件下,无病和感染平衡点的稳定性。第四部分使用MATLAB进行数值模拟,验证了理论分析的准确性,并根据模拟结果探讨了不同药物治疗策略的影响,突出了在有感染细胞可能恢复为健康细胞的情况下,药物治疗对抑制病毒传播的重要性。
整体而言,本文的研究不仅增进了对HIV传播动力学的理解,还为未来的研究提供了新的视角和方法,特别是在改进模型以包括更多类型的治疗策略,以期更全面地反映实际治疗场景中的HIV感染与控制过程。通过这种综合性的研究方法,可以为制定更有效的HIV预防和治疗策略提供更为科学的依据。
在未来的研究中,应更全面地考虑模型的拓展与改进,特别是纳入多种药物治疗策略,如新型抗病毒药物的影响,以更精确地模拟HIV在不同治疗条件下的传播动力学。此外,为了使模型更贴合实际治疗场景,将病人的经济状况和身体承受能力整合入模型也显得尤为重要。长期的临床数据收集与分析将有助于调整和验证模型,确保其预测结果的准确性和实用性。这样的综合研究不仅能深化我们对HIV传播机制的理解,还能为制定更有效的预防和治疗策略提供科学依据,从而在全球范围内更有效地控制HIV的传播。
NOTES
*通讯作者。