1. 引言
水痘是一种由带状疱疹病毒引发的呼吸道传染病,具有较强的传染性,严重时会引起肺炎、病毒性脑炎等疾病。水痘病毒主要通过空气飞沫、直接接触进行传播,它的平均潜伏期约两周。水痘一直是我国儿童发病率居前列的传染病,常在儿童学校或儿童集体场所爆发或流行 [1],但目前没有较好的应对措施,因此受到全社会的共同关注。
疫苗接种可以降低水痘的发生率,目前中国陆续有城市将水痘疫苗的接种范围进行扩大,对儿童实现了更好的预防保护。由于水痘具有潜伏期,且潜伏期末具有传染性,传播途径较多以及传播性较强,更重要的是没有针对性的药物,只能依靠自身的自愈性以及服用抗病毒的药物得以痊愈,从而使得水痘疾病的治疗工作进展缓慢,对健康儿童的威胁较大。另外有一些病人在痊愈之后,由于机体免疫能力下降,潜伏在机体内的水痘病毒经过重新活化之后会导致再次发病。人群中一旦发现水痘病人,要尽快将病人进行隔离,避免病人与健康人群进行接触。
对于水痘传染病,国内外已经有一些关于水痘模型的研究,但是仅有少量关于水痘传播的动力学研究。文献 [2] 对连续水痘模型进行离散化处理,根据水痘的潜伏期长短和传染期状况建立离散模型,对比不同控制措施的发病人数进行控制效果的评价。文献 [3] 建立了浙江省水痘传播动力学模型,预测未来水痘病例发生情况,比较水痘疫苗不同免疫策略的成本和效益。文献 [4] 考虑了人口流动、季节性等诸多因素,讨论了水痘长期的流行趋势。基于以上的一些原因,本文考虑了潜伏期具有传染性、疫苗接种、隔离以及复发等因素,建立一个水痘动力学模型,通过应用李雅普诺夫第二方法构造李雅普诺夫函数分析模型的动力学性态。
2. 建立模型
在本文中,总人口由六类人构成:t时刻的易感者类
,t时刻的疫苗接种者类
,t时刻的潜伏者类
,t时刻的水痘病人
,t时刻的隔离者类
和t时刻的恢复者类
。
描述的是幼儿接种疫苗后的变化情况,疫苗有效接种者获得抗体保护后,随着时间的流逝抗体会逐渐衰减,直至消失,然后疫苗接种者进入易感者类;易感者类
的个体被水痘患者感染后,会转化为水痘病毒携带者,进入潜伏者类,且具有传染性;潜伏者类
的个体渡过潜伏期,会出现临床症状,转化为水痘病人;病人康复后获得免疫力,进入恢复者类;但是随着时间的流逝以及恢复者自身免疫力的降低,恢复者会复发而重新成为水痘病人。
是描述被隔离的水痘病人,发现水痘病人时,把水痘病人进行隔离治疗。这六类人相互转移的转移框图如图1所示。
表示t时刻的所有人,则有
。
人口的输入率用A表示,p是输入人口接种水痘疫苗的比例,而
表示输入人口未接种水痘疫苗的比例,自然死亡率和因病死亡率分别用
和d表示,
表示接种疫苗者转化为易感者的转移率,
,
分别表示水痘病人和潜伏者类的传染率系数,k为潜伏者转化为水痘病人的转移率,
是将水痘病人隔离的比率,
,
是水痘病人和隔离者的治愈率,
为复发率。根据图1可知,这个模型可以表述为下面的微分方程组:
(1)
表示系统(1)没有进行水痘疫苗的接种,
表示完全进行水痘疫苗接种,本文考虑一般情况,
所以p取
[5]。由模型(1)的第二个式子显然有:当
时,
,
,由于S,E,I,Q,R未在V的方程中出现,所以可以得到以下的等价系统:
(2)
Figure 1. The schematic diagram of a varicella model with infectious force in latent period
图1. 潜伏期具有传染性的水痘模型的转移框图
其中
。
因为微分方程组(2)的等号右端关于因变量是连续并且可微的,所以由微分方程组解的存在唯一性定理可知:经过初始值点
的解是存在且唯一的;进一步由定理5.2.1 [6] 可知:经过初始值点
的解是非负的。利用模型(1)有
即有
,其中
,所以
是最终有界的,从而
,
,
,
,
都是有界函数,且模型(2)在区域
中是正不变的,其中
。
3. 基本再生数及平衡点的稳定性
模型(2)总是存在无病平衡点
。由文献 [7] 可知染病仓室为E, I, Q, R,故可得
利用文献 [8] 中再生矩阵的方法可以计算系统(2)的基本再生数
,即得
,其中
为矩阵
的谱半径,所以求得基本再生数为:
(3)
接下来说明地方病平衡点的存在性。
定理1 如果基本再生数大于1,微分方程组(2)仅有一个地方病平衡点
,
,
,
,
,
。
证明:显然系统(2)的地方病平衡点满足以下的代数方程组
(4)
由(4)的第四式可得
(5)
将(5)式代入(4)的第五式得
(6)
将(6)式代入(4)的第三式,整理得
(7)
将(7)式代入(4)的第二式,经过简单计算得
(8)
将(8)代入(4)式可得
,
,
,
,因为
,所以可以判断
,
,
,
,所以系统(2)仅有一个地方病平衡点。
接下来通过李雅普诺夫第二方法说明平衡点的稳定性。
定理2 如果基本再生数小于1,系统(2)的无病平衡点是全局渐近稳定的,且吸引从
中出发的所有解并且水痘病毒将从人群中消失。
证明:当基本再生数
时,构造如下的李雅普诺夫函数
其中
,
,
。
沿着系统(2)的解求全导数得
将模型(2)各分量代入上式并整理可得
将B,C,D代入上面的式子可求得
当且仅当
,等号才成立。文献 [9] 表明:系统(2)的每个解的极限集都包含在集合
的最大不变集中,此时最大不变集是
,从而
是全局渐近稳定的,吸引从
中出发的所有解,并且经过时间的流逝水痘病毒会从人群中根除。
定理3 如果基本再生数大于1,无病平衡点
是不稳定的。
证明:令
代入(2)的前两式可求得
(9)
(10)
模型(2)在无病平衡点
处的线性化系统 [10] 为
(11)
由(10)式的微分方程组可得其系数矩阵为
系数矩阵A对应的特征多项式为
现令
,代入特征多项式
可得
显然当
,
,因为特征多项式
关于
是连续函数。因为
,由介值定理可知至少存在一个
,使得
,所以
至少存在一个正根
,故当
时,
是不稳定的。
定理4 如果基本再生数大于1,系统(2)的地方病平衡点是全局渐近稳定的,水痘病毒不能从人群中消失从而形成地方病。
证明:给出以下形式的李雅普诺夫函数
其中
,
,
。
沿着(2)的解求全导数,整理可得
(12)
在地方病平衡点
处有
(13)
将(13)式代入(12)式,整理可得
(14)
令
,
,
,
,
代入(14)可得
(15)
设
由
,
,
的值可知
,(15)式等于(16)式与T之和,故
(16)
将
,
,
代入(16)式整理可得
利用算术–几何平均值不等式知
只有当
与
时,等号才成立,也即当
,
时,有
。
[9] 表明与
的内部相交的系统(2)的解的极限集都包含在集合
的最大不变集中,此最大不变集是
,所以此时
是全局渐近稳定的,吸引从
中出发的所有解,水痘病毒不能在人群中消失,同时形成地方病。
4. 结语
本文考虑疫苗接种,潜伏期具有传染性,恢复者复发,水痘病人隔离这些重要因素,建立了一个水痘动力学模型,说明了模型的解的适定性和有界性。得到了基本再生数,证明了地方病平衡点的存在性并给出显示表达式。其次,通过利用李雅普诺夫第二方法证明了平衡点的稳定性,可以看出水痘病毒的消失与否完全由基本再生数确定:如果基本再生数小于1,水痘病毒在人群中消失;然而如果基本再生数大于1,水痘病毒在人群中存在且形成地方病。
基金项目
河南科技大学大学生研究训练计划(SRTP)项目(项目编号:2019202);河南科技大学青年学术带头人科研项目(项目编号:13490002)。