1. 模型建立的背景
登革热是一种由登革热病毒引起虫媒传播的传染病,病毒有四种血清型,由埃及伊蚊和白纹伊蚊叮咬传播 [1] ,从20世纪50年代起,登革热已成为世界公共卫生问题,是世界上分布最广、患者最多的虫媒传染病 [2] 。学者Esteva和Vargas [3] 第一次建立登革热在恒定人群和可变媒介种群中传播的模型。此后有许多学者对登革热的传播进行建模研究,文献 [4] 是2012年之前关于登革热建模研究的框架。文献 [5] [6] 考虑了抗体依赖性增强和登革热疫苗以及交叉免疫对登革热传染病的影响。文献 [7] 考虑了具有隐形感染的登革热传染病模型。文献 [8] 考虑了疫苗接种的两个年龄段的登革热传播模型。文献 [9] 考虑了儿童户外活动时间比成年人长,造成了虫媒的叮咬率不同,但是忽略了虫媒的外潜伏期。文献 [10] 建立传染病模型时考虑了虫媒的外潜伏期对虫媒传染病的影响。
于是,我们结合上述文献 [9] 考虑了成年个体与幼年个体因叮咬率不同造成的不同的疾病发生率以及媒介个体的外潜伏期 [10] ,建立了如下传染病模型。分析了模型平衡点的存在性和稳定性,并给出了模型在地方病平衡点处产生Hopf分支的条件。
2. 模型的建立
2.1. 建立如下模型
建立如下模型:
(1)
其中
代表t时刻幼年(成年)易感者的数量,
代表t时刻幼年(成年)感染者的数量,
代表t时刻幼年(成年)康复者的数量。T、V分别代表t时刻易感、感染的蚊子。
是成年个体被蚊子叮咬的概率与儿童被蚊子叮咬的概率之间的比值:它是相对风险,假设
。
表示易感者(幼年或者成年)与感染蚊子接触后开始携带病毒的速率,
表示易感蚊子与感染者(幼年或者成年)接触后开始携带病毒的速率,
表示幼年个体向成年个体的转化速率,
表示感染者(幼年或者成年)康复的速率,
表示幼年个体(蚊子)的出生率,
表示人群(蚊子)的死亡率,
表示蚊子的外潜伏期,
代表外潜伏期内蚊子的存活率,其中各系数均为正数。
2.2. 模型的可行性
模型的建立考虑了下列假设:人群组忽略感染的幼年个体向感染成年个体的转化,不考虑康复个体变为易感个体的情况;只考虑了蚊子的外潜伏期;蚊子组感染个体不会康复,不考虑垂直传播。
令
是
到
上的连续映射全体构成的Banach空间,且定义范数,任意的
有
。
系统(1)的初始条件如下:
(2)
,其中
,
、
。
根据泛函微分方程的基本理论,可知满足初始条件(2)的系统(1)有唯一解。
由系统(1)有:
(3)
其中
,
代表人群的总数量,
代表蚊子的总数量。
由(3)得
(4)
其中
。
由(4)得
(5)
其中
。
由极限理论 [11] 以及
、
与其他变量是解耦的,故系统(1)等价与下列系统(6)。
(6)
系统(6)可以在下列正不变集中研究:
.
3. 基本再生数和平衡点存在性
利用下一代矩阵法 [12] [13] 计算出系统(6)的基本再生数为
定理1系统(6)始终存在一个无病平衡点
;当
时,系统(6)存在唯一的地方病平衡点
。
证明:令系统(6)的右边等于0得:
(9)
当
,有
,由系统(9)的前两个方程得:
,
;
当
,由系统(9)得:
,
,
,
;
其中
满足下列方程:
(10)
其中
(11)
其中
。
由各参数大于0,可知
;当且仅当
时,
,方程(10)存在唯一的正实根
。
因此,系统(6)始终存在一个无病平衡点
;当时
,系统(6)存在唯一的地方病平衡点
。
4. 平衡点的稳定性
本节将讨论系统(6)无病平衡点E0和地方病平衡点E*的稳定性。
4.1. 无病平衡点的稳定性
定理2对任意
,当
时,无病平衡点E0是局部渐进稳定的;当
时,E0是不稳定的。
证明系统(6)在无病平衡点E0处的雅可比矩阵为:
因此系统(6)在无病平衡点E0处的特征方程为
(12)
方程
满足下列条件
其中
由特征方程(12)可知有负实部特征根
,
,
,其余特征根实部的正负则取决与方程
根实部的正负,下列讨论方程
根实部的正负。
当
时,
其中
,
,显然,若
方程
根实部都为负的。
当
时,方程
根可以随着时滞
的增加通过穿过虚轴进入复平面的右半平面 [14] 。
令
是方程
的一个纯虚根,
得:
分离实部、虚部得:
将等式两边分别平方并相加得:
令
得:
计算可得:
显然,若
,方程(13)无正实根,即方程
无纯虚根,所以
的根都具有负实部。
综上对任意的
,当
时,
的特征方程(12)的根都具有负实部,所以无病平衡点
是局部渐进稳定的;当
时,
是不稳定的。
定理3对任意的
,当
时,系统(6)的无病平衡点
在
内是全局渐进稳定的。
证明参考文献 [9] [15] 构造如下lyapunov泛函。
其中
的形式为:
且
的导数为:
沿着系统(6)的全导数为
(14)
将
,
代入方程(14)整理得:
综上,当
时,对所有
,有
,并且
当且仅当
,
,
;
的最大不变集是
,根据
Lyapunov-Lasalle不变性原理,当
时,
是全局渐进稳定的。
4.2. 地方病平衡点的稳定性
定理4 若
,当
时,系统(6)的地方病平衡点
在
内是全局渐进稳定的。
证明. 参考文献 [9] 构造Lyapunov泛函
参考无病平衡点的证明以及文献 [9] 即可证明,这将不在赘述。
下面讨论若
时,地方病平衡点
的稳定性。
系统(6)在地方病平衡点
进行线性化得到
结合方程(9)最后一个等式关于地方病平衡点之间的关系
在地方病平衡点
处的特征方程为:
(15)
其中
的表达式为:
其中
各项系数的表达式为:
由方程(15)知地方病平衡点
处的特征方程的特征根
其余特征根的实部的正负取决于方程
根实部的正负,由定理(4)可知,若
,当
时,系统(6)的地方病平衡点
是全局渐进稳定的,所以地方病平衡点
是局部渐进稳定的,所以方程
的根都具有负实部。
方程
的根连续依赖
[16] ,当
时,因为地方病平衡点是稳定的,所以方程
的根都位于虚轴的左侧,当
增大时,方程
的根可以穿过虚轴进入右侧。
是临界情况,因为当根位于虚轴上时,在很小的扰动下可以进入右侧或左侧 [10] 。所以当
方程
若有正实部的根,则该方程存在纯虚根。
假设
是方程
的一个纯虚根,代入方程
并分离实部、虚部得
(16)
将上式(16)两边分别平方并相加得
(17)
其中
令
,式(17)变为
(18)
由cardon公式以及文献 [17] ,首先进行如下条件的定义
(H1) 当
时,若
,有
或
,则方程(17)、(18)无正根。
(H2) 当
时,若
,有
,满足
或
,则方程(17)、(18)无正根。
定理5 当
,
若方程(18)满足条件(H1)或(H2),则地方病平衡点
是局部渐进稳定的。
证明由地方病平衡点
的特征方程(15)知,特征根
为负的,若满足条件(H1)或(H2),方程(18)则无正根,即方程
不存在纯虚根,即特征方程(15)其余的特征根都具有负实部,故地方病平衡点
是局部渐进稳定的。
4.3. Hopf分支的存在性
本节讨论系统(6)在地方病平衡点
处以时滞
为参数出现Hopf分支的情况。
由cardon公式以及文献 [17] 定义如下条件:
(H3)
;
(H4) 当
,若
,有
,且
;
(H5) 当
,若
,其中
,有
,且
;
由cardon公式以及文献 [17] 知,若方程(18)满足条件(H3)、(H4)、(H5)之一,方程(18)至少存在一个正实根,即方程
存在纯虚根。
假设方程(18)的正实根为
,则方程(17)的j个正实根分别设为
,对于每一个
根据方程(16)定义时滞临界值:
其中
。
定义
,
,所以当
时,方程
会存在一对纯虚根
。
下面求解系统(6)在
产生Hopf分支的横截条件。
(19)
将方程
关于时滞
求导得
由式(16)得
由
若
,则横截条件(19)成立,即系统(6)在地方病平衡点
处存在Hopf分支。
定理6 当
时,若方程(18)满足(H3)、(H4)、(H5)之一,且
则
时,地方病平衡点
局部渐进稳定;
时,地方病平衡点
不稳定,且
时,系统(6)在地方病平衡点
处存在Hopf分支。
5. 数值模拟
使用matlab软件对数值模拟以验证理论分析的结果。
首先讨论无病平衡点的全局稳定性。参考论文 [15] 的数据取值,参数选取下列数值。
计算得
。由图1(a)知,此时无病平衡点
是全局渐进稳定的。
下面讨论
时,系统(6)的地方病平衡点的全局稳定性,参数选取下列数值。
,
计算得
。由图1(b)知,地方病平衡点是全局渐进稳定的。
(a) (b)
Figure 1. (a)
,
Global asymptotic stability; (b)
,
,
Global asymptotic stability
图1. (a)
时
全局渐进稳定;(b)
,
时
全局渐进稳定
接下来讨论
时,系统(6)以时滞
为分支参数出现Hopf分支的情况。讨论系统(6)的地方病平衡点的稳定性,参数选取下列数值:
计算得
,
。取
得图2(a),此时地方病平衡点是局部渐进稳定的;取
得图2(b),此时地方病平衡点是不稳定的。
(a) (b)
Figure 2.
(a)
Local asymptotic stability; (b)
instability
图2.
(a)
局部渐进稳定;(b)
不稳定
最后讨论成年个体被蚊子叮咬的概率与儿童被蚊子叮咬的概率之间的比值
对各组室数量变化的影响。参数选取下列数值:
;
取
得图3(a),取
得图3(b)。
(a) (b)
Figure 3.
,
, (a)
; (b)
图3.
,
,(a)
;(b)
通过理论证明与数值模拟,发现当
的情况,如果不考虑疾病的外部潜伏期则系统(6)的地方病平衡点是全局渐进稳定的,但是当考虑疾病外部潜伏期的时候,在一定的条件下存在
,当
时,地方病平衡点
是局部渐进稳定的,当
并且
在一定的范围内时,地方病平衡点
是不稳定的并出现周期振荡现象,并产生Hopf分支,说明疾病会反复爆发。通过对比图3(a),图3(b)发现参数
对成年易感个体和成年染病个体的影响较大,在参数
较高的情况下,发现成年染病个体人数先增加后减少,在参数
较低的情况下,成年染病个体人数呈下降趋势,并维持在一定的水平,但是
的变化对幼年感染个体影响较低。因此减少蚊子的叮咬是控制虫媒传染病的一种有效途径,亦为研究登革热疾病最优控制的后续工作提供思路。通过对比成年个体与幼年个体的染病情况,发现人们减少户外活动也是预防登革热传染病的一种有效手段。
6. 结论
本章假设幼年个体与成年个体被蚊子叮咬的概率不同,以及增加对媒介个体蚊子的潜伏期(疾病的外潜伏期)的考虑,在论文 [9] [10] 的基础上建立了系统(6),并计算了基本繁殖数,计算了无病平衡点和地方病平衡点,并讨论了它们的稳定性。通过数值模拟验证了理论结果。