1. 引言
在HIV/AIDS传播动力学的研究中,研究者们分别从微观和宏观动力学角度建立了一系列数学模型,如宿主内HIV病毒感染CD4+T淋巴细胞的免疫动力学模型 [1] [2],和宿主之间AIDS传播的传染病动力学模型 [3] [4],来研究宿主与病原体之间的相互关系,推动了人们对宿主与病原体相互作用的了解,这对预防和控制艾滋病具有重要的理论价值与实际意义。目前多尺度免疫流行病学建模是研究HIV在个体和人群水平协同动力学下的一种新兴方法,它能够直观有效的建立起微观动力学系统与宏观动力学系统之间的联系。对于HIV感染等病毒感染,人们对其多尺度模型动力学的研究很少,大多数通过放宽免疫系统的稳态假设,来分析多尺度模型的性质。如Gilchrist,Coombs等在文献 [5] 中考虑SI模型和常用的HIV病毒模型参数之间的函数关系,进而建立多尺度模型,用于分析毒性演化的相互依赖、约束和最优选择之间的关系。在文献 [6] 中,Feng等在文献 [5] 中两个子系统的基础上,通过平均的方法建立了新的宿主与病原体相互作用的耦合动力学模型。2018年,Alexis等 [7] 考虑了一个单方向嵌套模型,将病毒动力学模型耦合到SI传染病模型中。
在免疫流行病学模型中,CPL是一个新概念,被作为一种新的公共卫生措施被采用,它是一个特定时间段内一个社区病原体负担的聚合生物标志物。CVL是指社区病毒载量 [8],其定义为一个特定时间段内社区病毒负担的总体人口水平的生物标志物,具有如下特征:一个社区感染水平和传播概率的指标;艾滋病毒预防、护理和治疗干预相结合的有效性的量度;艾滋病毒发病率和潜在流行传播的近距离标记。在文献 [9] 中,Garira和Mafunda提出使用社区病原体负载(CPL)作为一种新的评估社区传染性和公共卫生措施有效性的一项指标,以艾滋病传播动力学的多尺度模型为例,使用社区病毒负载(CVL)作为衡量社区感染水平的新指标,建立直接传播传染病系统嵌套多尺度模型,更加准确地模拟艾滋病的传播。
本文结合文献 [3] 中的HIV病毒动力学系统,在文献 [10] 的AIDS流行病动力学模型基础上,使用CVL作为衡量社区感染水平的新指标,假设AIDS感染率是个体内病毒浓度的增函数,建立疾病的流行程度与宿主内病毒动力学过程之间的联系,提出了包含两个子系统的多尺度嵌套模型。
2. 模型的建立
2.1. 宿主内子系统
考虑下面描述HIV病毒感染CD4+T细胞的微观病毒动力学模型 [3]
(1)
其中,
分别表示健康CD4+T细胞、感染的CD4+T细胞和游离病毒颗粒的浓度,参数
均为正常数,其含义如表1所示:
Table 1. Parameter explanation of Model (1)
表1. 模型(1)参数解释
通过再生矩阵计算方法得到系统(1)的基本再生数:
,
易知系统(1)的可行域
为:
,
且系统(1)恒存在一个无病平衡点
,其中
。当
时,系统存在唯一正平衡点
,其中
。
定理2.1在可行域
内,系统(1)的无病平衡点
始终存在,且
1) 当
时,
全局渐近稳定;当
时,
不稳定;
2) 当
时,系统(1)的唯一正平衡点
全局渐近稳定。
2.2. 宿主内HIV病毒与宿主间感染的多尺度动力学模型
基于霍海峰等 [10] 提出的带有治疗仓室的SIART传染病模型,我们引入社区病毒载量CVL对艾滋病在社区水平传播的影响。根据HIV感染特性,作如下假设:
(H1) 假设
分别表示t时刻的易感者、艾滋病阳性携带者、未接受治疗的典型艾滋病感染者、接受治疗的艾滋病携带者、移出者及t时刻的社区病毒载量。记t时刻的人数总可表示为
,
。
(H2) 假设社区病毒载量
表示总的传染源,可以写成个体宿主内病毒载量
和所有HIV感染者包括艾滋病阳性携带者
、未接受治疗的典型艾滋病感染者
及接受治疗的艾滋病携带者
(即
)的乘积:
。
进一步,假设整个区域的病毒载量
以速率
增加,此时
可理解为受感染个体中病毒粒子从个体细胞和组织进入血浆中的速度。
(H3) 假设宿主间传播动力学模型中的社区病毒载量对易感者的感染能力是
。
(H4) 假设社区总传染库
的清除率是
,
是关于单个感染宿主体内病毒载量
和健康CD4+T细胞
的函数:
。
对于特定的社区,从HIV病毒流行到社区中每个人血浆中的病毒含量被抑制到低于一定检测限,平
均需要
天;
因此,
。
根据以上假设建立如下动力学模型:
(2)
其中
均为正常数,其含义如表2所示:
Table 2. Parameter explanation of Model (2)
表2. 模型(1)参数解释
令
,
无限小,宿主内系统(1)可化为:
由上述系统平衡点的稳定性知,
时,
,
;
时,
,
,
;
令
,
,
。
则系统(2)的极限系统为:
(3)
3. 耦合系统稳定性分析
3.1. 平衡点的存在性
根据基本再生数的定义,
,其中
为系统的下一代矩阵:
,
;
计算得到耦合的宿主间子系统(3)的基本再生数
,
这里
。
由于
,
因此,耦合系统的基本再生数
是宿主内子系统基本再生数
的函数,耦合系统平衡点的存在性由两个系统的基本再生数决定。当
,系统(3)最多存在两个平衡点。当
,
时,恒存在无病平衡点
,其中
。当
时,系
统(3)存在唯一正平衡点
,其中
定理3.1
是系统(3)的正不变集。
证明:记
是系统(3)的解,
,
令
任意的
,对于
,当第i个变量为零,其余变量大于等于零时,
。因此由文献 [11] 的命题B.7知:
是系统(3)的正不变集。即当:
时,对任意的
,系统(3)的解
。
因此系统(3)的任意具有非负初值的解是非负的,且我们有如下定理。
定理3.2 如果
,系统(3)的解最终一致有上界。即存在一个正常数
,使得系统(3)的解满足,对任意
,有
,
,
,
,
,
。
证明:下面讨论系统(3)解的有界性,得到系统的可行域
。
又因
,则
沿着系统(3)求导可得:
,
由比较定理可得,
,
存在
,当
时,
。
由系统(3)的最后一个方程得:
,
同理可得:
。
存在
,当
时,
。
综上所述,取
,当
时,有
,
,
,
,
,
。
故系统(3)最终一致有界。基于定理3.2证明可知:
,
是系统(3)的正不变集。
3.2. 无病平衡点的局部稳定性分析
定理3.3设
,当
时,系统(3)的无病平衡点
全局渐近稳定;当
时,
不稳定。
证明:在可行域
内,无病平衡点
始终存在,系统(3)在无病平衡点
处的Jacobian矩阵
:
,
令
,
,
,将系统(3)写成如下形式:
(4)
(5)
满足
,当
时,(4)式可以写成
(6)
显然当
时,
,因此系统(6)的无病平衡点全局渐近稳定;
又(5)式满足
,
其中,
,
,
对于
,
,且A是非对角线元素非负的M-矩阵;因此;由文献 [12] 的引理3.5知,当
时,系统(3)的无病平衡点
全局渐近稳定。
3.3. 地方病平衡点全局稳定性分析
定理3.4设
,当
,系统(3)的唯一正平衡点
全局渐近稳定。
证明:构造Lyapunov函数,
则
沿着系统(3)求导可得
设
,
令上式中
的系数为零,得
,
是下边的方程的解:
因此
当
时,
,当且仅当
,即
时,
。所以
的最大不变集是
。由LaSalle不变性原理可知
内所有解都收敛到
,
全局吸引。故
时,正平衡点
全局渐近稳定。
4. 结论
基于HIV病毒动力学知识和AIDS流行病模型研究现状,本文考虑宿主内系统与种群水平的传播动力学无关,放宽稳态假设,借助稳定性知识分析了宿主内HIV病毒与宿主间艾滋病感染的耦合模型的动力学行为,并利用LaSalle不变性原理,得到了病毒感染平衡点全局渐近稳定的条件。但对于艾滋病的研究,这是远远不够的,还需进一步联系流行病学动态与宿主细胞内的过程,分析HIV分子网络与艾滋病在人群中的传播的相互作用,寻找免疫–传染病多尺度嵌套模型更加确切的耦合方式,更加精确的预测我国艾滋病的传播规律,进而给出相应的预防措施。
基金项目
重庆市教委科学技术研究(KJQN201801136);重庆理工大学教学改革研究项目(2014YB17)。