1. 引言
1.1. 研究背景
艾滋病是危害人类身体的一种慢性传染病,它逐步毁坏人体的免疫系统,使患者受到一系列威胁到生命的传染病、神经系统疾病等。艾滋病的传播 [1] 可以理解为一定体量的体液交换。在体内的流动的液体甚至能在分泌物中进行传播。其需要满足三个条件:液体交换主要是身上有开放性伤口,同时也可能是和HIV患者发生有液体交换的行为,包括性行为、输血、纹身等;液体交换必须达到一定的量,才能感染。人们熟知的性、血液、母婴传播其根本的原因就是:同时满足了体液交换量大、时间够长、交换环境够隐秘三个条件。但是若在没有及时采取有效的干预措施的前提下,将会有15%~30%的HIV,也就是一种能攻击人体免疫系统的病毒所引起慢性传染病,使孕妇不管是在分娩前还是分娩期间甚至能通过产后母乳喂养的形式将艾滋病传染给下一代 [2]。
1.2. 国内外研究成果
2007年Rong等人研究了HIV-1感染基本模型的推广:
(1)
模型(1)中
、
、
和
分别表示是未感染CD4+ T细胞、生产性感染细胞和游离病毒
在t时刻的密度。b表示未受感染的细胞以速度b产生,
表示游离的病毒的速率,k表示非生产性感染细胞的速率以k的速率生产性感染细胞。
近年来,分数阶微积分是微积分其中的一类,其主要研究任意阶积分和导数的理论和应用,其概念最早是由Leiblilz在1695年提出。分数阶模型逐渐切合实际情况,能进行更深入的研究。
1.2. 模型的建立及其意义
我们考虑了Rong等人 [3] 中介绍的HIV-1病毒动力学的数学模型(1)。其模型只能反映随着时间变化的流行病学和人口学过程。但在实际实验中,由于我们无法确认病毒所产生的速率是多少,还需要考虑和病毒有一定关系的其他因素,增强模型的可行性。因此,在原模型(1)上考虑一个感染单元的逃逸阶段,这个阶段中的单元可能还原为未感染的类。
本文引入HIV感染CD4+ T细胞模型:
(2)
,
,
,
,其中
表示方程的阶数,变量
、
、
和
分别表示是未感染CD4+ T细胞、生产性感染细胞、逃逸阶段感染细胞和游离病毒的浓度。并且为了解释这些参数,我们记
为未感染CD4+ T细胞的补充率,
表示CD4+ T细胞的自然死亡率。而
表示健康CD4+ T细胞感染HIV的发生率,其中
是感染率。参数
表示在逃逸阶段受感染细胞变成有生产力的受感染细胞的速率,这些细胞以速度
死亡,
表示Caputo型
阶的分数阶导数。
2. 模型有界性、基本再生数和平衡点存在性
2.1. 分数阶导数的定义
(3)
函数
的
阶Riemann-Liouville分数阶导数定义为:
(4)
其中
函数
的
阶Caputo分数阶导数定义为:
(5)
其中
由于
更贴合实际,所以接下来采用定理2.3。
定理2.2 设
是列向量
的连续空间,其中
的分量
,则任意的
,其范数定义 [5] 如下:
定理2.3 设矩阵
,列向量
。
2.2. 模型的有界性
证明 首先,证明非负轨道
是正不变的。由模型(2)有
由推论
且
,
。
若
,
,则对
,
;
若
,
,则对
,
。
可知模型(2)的解在
中,进一步有:
其中
,由感染的CD4+ T细胞发生的死亡快于自然死亡,有
有:
这就完成了证明。
2.3. 模型平衡点的存在性
定义系统(1)的可行域(3)。应用类似文献 [6] 的方法,计算模型的基本再生数为
,
经过计算,模型(2)有如下平衡点。
定理2.3 对于系统(2),考虑其中复杂的生物过程的情况易得到以下平衡点:
为了得到模型(2)的平衡点,根据文献 [7] 计算平衡点的方法,令
解方程组(3),易得模型(2)的平衡点。若
,则有平衡点
若
,则有平衡点
。
(1) 如果
,则存在未感染平衡点
(2) 如果
,则存在感染免疫平衡点
,
其中
证明 (1)
,即可得证。
(2)
时,平衡点
可由方程(3)所确定。
由上面方程的第四个式子得到
将
的值代入上式子化简可得到
所以
,则存在感染免疫平衡点
。
3. 平衡点的稳定性分析
3.1. 无病毒平衡的全局稳定性
作为推论,该区域将吸引方程(2)开始的所有解,并且它在方向上也是正不变的系统。我们通过观察模型(2),方程的解
称为模型的平衡点。
通常,在宿主种群中持续存在感染的一个充分条件是
,这个条件对于大量的传染病模型(没有出现向后分叉现象的模型 [8],对于
低于单位数的模型也可能存在传染病传播)也是必要的。因此
通常是介于流行病和疾病根除之间的一个阈值。正如我们将要展示的,这是模型(2)的情况。观察如果
,那么存在一个唯一的感染均衡,即一个含有正成分的均衡:
,且
在这一节中,我们证明如果
,那么无病毒平衡是全局稳定的。因此,都在
范围内求平衡点
。
定理3.1 如果
,那么无病毒平衡
在
中是全局渐近稳定的。
证明 定义全局李雅普诺夫函数
且W是
内部的
,
是
上W的全局最小值,
,其中
。
很明显,如果
,对所有
都有
。因此,无病毒平衡
是稳定的 [9]。更进一步,
,当
和
。设M是集合中最大的不变集
从(1)的第四个方程得出
,根据LaSalle的不变性原理 [10],无病毒平衡
是全局渐近稳定的。
3.2. 感染平衡点的全局稳定性
接下来讨论感染病平衡点
的全局渐近稳定性。首先构造函数,证明
全局渐近稳定定理3.2。
定理3.2
,如果
那么唯一的感染平衡
在
内部是全局渐近稳定的。
证明 定义全局李雅普诺夫函数 [11]:
。这样:
如果
那么所有
都是
。因此,受感染的平衡点
是稳定的,有
,只有
成立,其中最大的不变集
是单独的
。因此,受感染的平衡点
是全局渐近稳定的,当
时,LaSalle不变性原理 [12] 内部得到了验证。
4. 数值模拟4.1纸型、页边距与版式
在这一部分,用MATLAB数值模拟来验证系统(2)平衡点处的渐近稳定性。因此,令参数
,
,
,初始条件设
;
;
;
;
,则基本再生数
取初值
,
,
,。用MATLAE软件进行数值模拟,得到系统的解的渐近状态,表明无病平衡点是全局渐近稳定的,如图1。
同理,带入不同的初值,得到系统的解的渐近状态,表明地方平衡点是全局渐近稳定的。如图2。数值模拟如下:
Figure 1. Global asymptotic stability of (2) disease-free equilibrium
图1. 系统(2)无病平衡点的全局渐近稳定性
Figure 2. Global asymptotic stability of the endemic equilibrium of the system (2)
图2. 系统(2)地方病平衡点的全局渐近稳定性
5. 结束语
本文得到了两个主要结果。首先,建立了带有HIV感染CD4+ T细胞的分数阶微分方程,证明模型存在正解。其次,证明了无病毒和感染平衡点全局渐近稳定的充分条件。感染平衡点的全局稳定性给出了以系统参数表示的条件,在此条件下病毒不能被消灭。通过李雅普诺夫函数,可以证明病毒自由平衡在基本再生数大于1时是全局渐近稳定的,并且在不等式存在的情况下,病毒自由平衡是全局渐近稳定的,我们确信确保被感染平衡的全局稳定性的参数值的范围比我们的条件所表明的要大。事实上,进行了一些数值模拟,表明被感染者当HIV感染模型存在时,它的平衡点是全局渐近稳定的。
项目编号
项目编号是X2018053。
参考文献