1. 引言
在过去的几十年里,许多数学模型丰富了具有不同尺度疾病的免疫和流行病的过程,病毒和细菌的动态数学模型有助于我们理解病原体与宿主免疫系统之间的宿主内相互作用 [1] [2] [3],许多疾病的宿主动力学已经被大量的书籍研究 [4] [5] [6]。
将寄主内动态模型嵌入寄主间动态模型中,在病原体的演化中发挥了重要作用 [7] [8]。在1991年,Sasaki和Iwasa开始在概念上联系宿主内部和宿主之间的疾病动态 [9]。在2002年,Gilchrist和Sasaki在易感感染恢复(SIR)流行病模型中嵌套了宿主内模型 [10]。通常应用类似的动力学方法是将宿主内动力学与宿主间动力学联系起来 [10] - [15],在 [11] 中,Maia Martcheva和Xue-Zhi Li分析了一个两株模型,该模型通过流行病学变量的感染年龄结构将免疫学和流行病学动态联系起来。在 [10] 中,Michael A. Gilchristnw和Akira Sasakiz分析了宿主–寄生虫系统并评估了适应度函数。在 [12] 中,Maia Martcheva和Suzanne Lenhart展示了一种连接鸟分枝杆菌的宿主内模型和副结核的流行病学模型的新方法。在 [13] 中,楼老师和周老师建立并分析了HIV/AIDS的宿主内和宿主间耦合动态演化的数学模型。在 [14] 中,沈老师和肖燕妮老师研究了HIV感染在宿主内和宿主间的最优控制。在 [15] 中,Nicole Mideo和Samuel Alizon提出了嵌套模型,强调了宿主内疾病动态对病原体进化的重要性。
疟疾的概念就等同于其最明显的症状:典型的发烧和发冷循环。明显症状和严重疾病大多发生在部分免疫或非免疫的个人,特别是在高传播环境中的儿童和到流行地区的访客。在撒哈拉以南非洲,由恶性疟原虫引起的疟疾仍然是一个重要的公共卫生威胁,每年有271,000多名5岁以下儿童死亡,因此关于疟疾的研究任重而道远 [16] [17] [18]。
[19] [20] 描述并说明了流行病模型中,用下一代矩阵的方法来计算基本再生数。我们通过无病平衡点的稳定性条件和边界平衡点的稳定性来定义基本再生数。对于无病平衡点和边界平衡点,我们是用Routh-Hurwitz准则来证明它们的局部稳定性 [21] [22]。
媒介传播疾病是指病原微生物通过节肢动物或其他媒介从一个受感染的人传染给另一个人,有时脊椎动物作为中间宿主。通过媒介传播疾病传染给人类取决于三个因素:1) 病原体;2) 节肢动物载体;3) 与人体宿主。媒介传播疾病的数学模型通常考虑到病媒的动态以及人的动态,偶尔也考虑到中间动物宿主的动态。
媒介传播的疾病在热带和亚热带流行,在温带相对罕见。莱姆病和落基山斑疹热持续存在于温带地区,包括美国。病媒传播的疾病有不同的发生模式。疟疾和莱姆病等寄生虫和细菌疾病的发病率往往很高,因此研究媒介传播疾病是非常必要的。
本文的其余部分组织如下。在第二节中,我们将建立一个嵌套免疫流行病学模型,然后证明宿主内模型的稳定性。在第三节中,我们得到了宿主流行病模型之间的无病稳态和共存稳态的存在性。最后,在第四节中,我们对我们的成果进行了总结。
2. 宿主内和宿主外的耦合模型
2.1. 宿主内模型
为了解释具有抗体反应的疟疾,我们引出了一个关于疟疾的数学模型。
(2.1)
在系统(2.1)中,
是红细胞的数量,
是疟疾寄生虫,
是感染的红细胞的数量,
是抗体反应。参数
是红细胞的出生率,
是红细胞的死亡率,
是红细胞被疟原虫感染的感染率,
是感染的红细胞的死亡率,
是疟原虫在红细胞内的生长率,
是疟原寄生虫的死亡率,
是清除率(抗体反应清除的疟疾寄生虫),
是抗体反应加强的比率,
是抗体反应减弱的比率。
2.2. 平衡点和稳定性
可以看出系统(2.1)有一个无病平衡点
其中
。我们用
表示抗体反应疟疾的边界平衡点。用
表示抗体反应疟疾的共存平衡点。
基于生物的含义,我们定义了基本再生数,它表示为一个感染的细胞在它的整个感染期可以感染健康红细胞的预期数量,则对应的基本再生数为
(2.2)
(2.3)
定理2.1 如果
,那么无病平衡点
是局部渐近稳定的,否则,它是不稳定的。
证明:
将系统(2.1)在无病平衡点
处线性化,我们得到了雅可比矩阵
因此,我们可以得到特征方程
,即
(2.4)
显然,由方程(2.4)得出
,
,那么它的稳定性取决于
可以看出
可以看出
大于零,而当
时,那么
大于0,由Routh-Hurwitz准则可以得出,当
时,无病平衡点
是局部渐近稳定的。
定理2.2 当
时,边界平衡点
存在。
证明:
由系统(2.1)可得平衡点
满足
(2.5)
由系统(2.5)的第三个式子,可以得到
(2.6)
将(2.6)代入(2.5)的第二个式子,可以得到
(2.7)
将(2.7)代入(2.5)的第一个式子,可以得到
(2.8)
如果
时,那么
,可以得出,边界平衡点
存在。
定理2.3 当
,边界平衡点
是局部渐近稳定的。
证明:
将系统(2.1)在边界平衡点
处线性化,我们得到了雅可比矩阵
因此,我们可以得到特征方程
(2.9)
在这里
从方程(2.9)得出特征根
当
时,我们看出特征根
小于零。
那么边界平衡点
的稳定性就取决于
根实部的符号即
可以看出
,
和
,且
那么由Routh-Hurwitz准则,我们可以得出边界平衡点
是局部渐近稳定的。
定理2.4 如果
,那么共存平衡点
存在。
证明:
由系统(2.1)可得平衡点
满足
(2.10)
由(2.10)的第四个式子,可以得出
(2.11)
由(2.10)的第一个式子,可以得出
(2.12)
将(2.11)代入(2.12),可以得出
(2.13)
由(2.10)的第二个式子,可以得出
(2.14)
将(2.11)和(2.13)代入(2.14),可以得出
(2.15)
由(2.10)的第三个式子,可以得出
(2.16)
将(2.11)和(2.15)代入(2.16),可以得出
(2.17)
可以看出
如果
,那么
大于零,所以共存平衡点
存在。
2.3. 宿主外模型
我们现在引入一个媒介传播疾病模型,模型的结构
(2.18)
初始条件为:
表示易感的个体,
表示感染的个体,
表示易感媒介,
表示感染的媒介,
表示人群的出生率,
表示易感个体的感染率,
表示人群的死亡率,
表示感染个体的死亡率,
表示易感媒介的感染率,
表示易感媒介的死亡率。
2.4. 模型的链接
在这里,我们假设所有易感个体的健康红细胞平衡水平大致相同,且易感媒介通过叮咬感染的个体的感染率
是随疟疾寄生虫数量
的增加而增加,因此
(2.19)
在这里B表示大于零的常数,
表示大于零的常数。
我们知道感染个体的死亡率也与疟疾寄生虫的数量有关,当疟疾寄生虫的数量增加时,感染个体的死亡率则越高,即
(2.20)
在这里
和
是大于零的常数。
基于生物意义,我们定义了基本再生数
(在一个完全易感的人群中,一个被感染的个体在其一生中作为传染者而产生的二次感染的数量)。
(2.21)
3. 稳态和稳定性
定理3.1 当
时,无病稳态
是局部渐近稳定的。
证明:
让
,
,
,
。通过将系统(2.18)在无病稳态
周围线性化,我们有
(3.1)
令
,
,
,
,其中
和
将稍后确定,我们得到下面的特征方程。
(3.2)
由系统(3.2)的第二个和第三个方程得出
(3.3)
代入系统(3.2)的第四个方程和第五个方程,我们得到这个特征方程
(3.4)
在这里
显然,
和
是方程(3.4)的两个根。那么我们只需要考虑下面方程的根
(3.5)
可以写成
(3.6)
定义函数
为方程(3.6)的右边,
(3.7)
它源于基本再生数的表达式(见(2.21),我们有
很明显,
是
的减函数,且
那么,我们可以看出当
,方程(3.5)的根的实部是负的。相反地假设方程(3.5)的根的实部
,我们能得到
这些矛盾表明方程(3.5)的根只有负的实部,因此方程(3.4)根的实部都是负的。所以当
时,无病稳态
是局部渐近稳定的。
定理3.2 当
,存在唯一的共存稳态
。
证明:
为了得到共存稳态
,其应该满足下面的方程
(3.8)
由系统(3.8)的第二个方程和第三个方程得
(3.9)
把
代入系统的第五个方程得
代入系统(3.8)的第一个方程,以及将系统(3.8)的第四和第五个方程相加,我们可以得到下面的系统
(3.10)
系统(3.10)的第二个方程乘以
,与系统(3.10)的第三个方程相减,我们可以解出
我们注意当
,
是大于零。所以当
,存在唯一的共存稳态
。
4. 结论
在本文中,我们建立了一个免疫–媒介传播疾病模型来说明寄生虫进化在疾病传播中的作用。随着感染时间(
)的增加,由于易感个体的感染率
和死亡率
的影响,宿主内部发生变化,宿主间的动态行为变得复杂。
对于宿主内的,我们证明了无病平衡点,边界平衡点和唯一的共存平衡点的存在性和稳定性。即如果
,无病平衡点
是局部渐近稳定的;如果
,那么边界平衡点
存在且局部渐近稳定;如果
,那么共存平衡点
存在。
对于宿主间的模型,我们证明了无病稳态和共存稳态的存在性和稳定性,即当
时,无病稳态
是局部渐近稳定的。当
,存在唯一的共存稳态
。