1. 引言
作为传染病的一种重要类型,周期传染病是指在一定时间间隔内重复爆发的传染病,如流感、麻疹、百日咳、脊髓灰质炎等 [1] [2] [3] 。此类传染病的出现和消退都具有一定的规律性,这种规律性往往与特定因素相关,如季节性气候变化、社会经济因素、人口流动、疫苗接种覆盖率、病毒变异等。理解周期传染病的特性,掌握其病毒的传播规律,对于预防和控制这些疾病的爆发具有重要的意义。
建立周期传染病数学模型可以对疾病传播的生物学和社会机理作清晰描述,且模型的动力学分析是对此类传染病进行理论性定量研究的一种重要方法。针对周期传染病模型的基础理论,Bacaër等 [4] 提出了周期环境中基本再生数的一般定义;Wang等 [5] 建立了基于周期性环境的大隔间传染病模型的基本繁殖比及其计算公式;白振国等 [6] 给出了基于常微分方程、时滞微分方程、偏微分方程、差分方程和脉冲微分方程所描述周期模型的基本再生数的具体定义。在具体的研究应用上,Greenhalgh等 [7] 基于季节性变化的传播率,建立了一类SIRS型传染病模型,研究了四类儿童传染病的周期性;Zhao等 [8] 则建立了周期环境中一大类时滞分隔种群模型的基本再生数理论,并应用于一个具有潜伏期的周期SEIR模型。同样针对时滞问题,Qiang等 [9] 针对一大类概周期和时滞的仓室模型建立了基本再生数理论,数值模拟表明延长潜伏期的长度有利于疾病的控制;纳仁花等 [10] 研究了一类具有阶段结构的时滞周期传染病模型,并讨论了忽略时滞因素对传染病传播的影响。另外,汪金燕等 [11] 考虑固定时刻脉冲式接种策略,建立了具有周期传染率的传染病动力学模型,并分析了疾病消除和一致持久参数阈值。
基于上述理论工作,本文主要考虑疫苗接种的时效性与季节性传染的周期性,建立一类非自治周期传染病模型。另外,模型还考虑了无症状感染者及无症状感染转为有症状感染者等情况,将人群分为易感人群(S)、疫苗接种人群(V)、潜伏人群(E)、无症状感染人群(A)、有症状感染人群(I)和康复人群(R)六个隔间。本文结构如下:在第二节中,我们建立了一类SVEAIR非自治系统用以刻画此类周期传染病的传播动态,并验证了系统的正不变性与解的有界性。在第三节中,首先定义了基本再生数,进而根据这一阈值建立了全局动力学的阈值理论。在第四节中,借助Matlab软件对模型进行数值模拟,并验证了主要理论结果。
2. SVEAIR周期传染病动力学模型
2.1. 系统建立
将t时刻总人口数记为
,分为易感者
、疫苗接种者
、潜伏者
、无症状感染者
、有症状感染者
及康复者
。基于疫苗接种策略与传染病的季节性,作出如下假设:
1) 不考虑人口迁移,t时刻总人数为六个仓室人数之和,即
;
2) 考虑疫苗的时效性,即随着时间推移,疫苗保护力下降甚至失效,接种者
转化为潜伏者
;
3) 考虑季节性传播,传染病传播率随着季节的变化而波动,即传播率表示为周期函数。
基于上述假设,建立了一类SVEAIR周期传染病模型,传a染病仓室转化图如下:
![](//html.hanspub.org/file/4-1252232x20_hanspub.png?20240223083213903)
Figure 1. Warehouse diagram of SVEAIR model
图1. SVEAIR模型的仓室图
根据图1,SVEAIR周期传染病模型的微分方程形式如下:
(1)
假设所有参数为正,易感者与疫苗接种者的传播率系数为周期函数(周期为
),分别记为
和
。另外,
表示人口常数输入;p表示易感者的疫苗接种率;
表示自然死亡率;
表示潜伏者转化为感染者比率;q表示潜伏者经感染转化为无症状感染者的比例;
表示无症状转化为有症状感染者比率;
表示染病者的因病死亡率;
表示无症状感染者的康复率,
表示有症状感染者的康复率。
2.2. 正不变性与解的有界性
由Smith-Waltman不变性原理 [12] 易证系统(1)的正不变性,且可以推知
因此,得到系统(1)的可行域为:
定理1 G是系统(1)的正向不变集。
证明 由系统(1)得,总人口
满足以下方程
考虑方程
,其过初值
的解为
可以推出
,因此由比较定理 [13] 可得
,即证G是系统(1)的正向不变集。
设
是一个
阶的周期的矩阵值函数,且它是连续的、合作的、不可约的,它的周期为
,定义
为线性常微分方程
(2)
的基解矩阵,并记
为的
谱半径。通过Perron-Frobenius定理知,
为
的主特征值,且它是简单的并且只有一个严格正的特征向量。为了便于后文讨论,现给出以下引理。
引理1 [5] 令
,那么存在一个正
-周期函数
,使得
为方程(2)的一个解。
3. 动力学分析
3.1. 基本再生数
通过简单计算,易知系统(1)始终存在无病平衡点:
按照文献 [5] 中的分类方式,将系统仓室重排为
,其中感染仓室为
,未感染仓室为
。定义
为所有无病状态集合,再令:
:第i仓室新感染个体输入率;
:第i仓室个体通过其他方式的输入率(如出生率、移民率);
:第i仓室个体输出率(如死亡率、康复率、移民率)。
因此,周期传染病模型由一个非自治常微分系统控制:
其中
。系统(1)可写为:
其中
定义
其中
令
为线性
-周期系统
的矩阵解,也即对于任意的
,3 × 3的矩阵
都满足
其中I是3 × 3阶的单位矩阵。为了描述基本再生数,引入线性–周期系统
(3)
其中
。令
为系统(3)在
上的演化算子,显然
。
令
为从
到
范围内的所有
-周期函数的有序Banach空间,该空间具有最大范数
和正锥
。由文献 [5] ,定义线性算子
其中,L称为下一代感染算子,定义基本再生数为:
,即L的谱半径。
显然系统(1)满足文献 [5] 中的条件(A1)~(A5),现证明(A6)与(A7)。
先证
。令
为
的基解矩阵,单值矩阵
。矩阵
的特征值为
,
,
,对应的特征向量为:
因此,
故:
进一步,
因为
,即证得
,同理可证
。
引理2 [5] 若条件(A1)~(A7)成立,则有以下论断:
1) 若
有一个正解
,则
仅是L的特征值,且
;
2) 若
,则
是
唯一的解;
3)
当且仅当
。
由上述讨论,结合文献 [5] 中定理2.2,我们得到了系统(1)中无病平衡点
的局部稳定性结果。
定理2 以下论断成立:
1)
当且仅当
;
2)
当且仅当
;
3)
当且仅当
。
其中,
是线性
-周期系统的单值矩阵。因此,系统(1)的无病平衡点
在
时是局部渐近稳定的,在
时是不稳定的。
3.2. 无病平衡点的全局稳定性分析
定理3 当
时,系统(1)的无病平衡点
全局渐近稳定。
证明 当
时,由定理2知
的局部稳定性,现只需证明系统(1)的全局吸引性。由系统(1)的第一、二个方程与解的非负性知:
,
。因而,对
,
,使得当
时,有
成立。进一步,由系统(1)的第三、四、五个方程可得:
(4)
令矩阵
由定理2知,可取得足够小的
,使得
,考虑(4)的辅助系统:
(5)
显然,系统(5)满足引理1中的条件,故存在一个正的
-周期函数
,使得
为系统(5)的一个解,其中
,选取
,以及足够小的
使得:
则当
时,有
。
,
。
根据比较定理 [13] 可得,当
时,有
,
,
。又由
,可证得
进一步,根据极限系统理论 [14] ,容易验证
故
是全局吸引的,结合定理2,当
时
是局部渐近稳定的,进一步得
是全局渐近稳定的。
3.3. 地方病平衡点的一致持久性
为了应用文献 [15] 中给出的周期系统的一致持久性理论,现做出以下说明:
设X是一个度量空间,
是连续映射,
,且是一个开集。定义
其中
是f在
中的最大紧不变集,有限序列
是
的不相交、紧的不变子集,且均是孤立的。
引理3 [15] 若下列条件成立,
1)
且f具有全局吸引子A;
2) f在
中的最大的紧的不变集
具有划分
,满足如下性质
a)
在X中是孤立的;
b)
。
则
关于
是一致持久的。
定理4 当
时,系统(1)是一致持久的,也即存在一个正常数
,使得系统过初值
的任何解满足
证明 定义
,
,
,构造Poincaré映射
,满足
其中
是系统(1)过初值
的唯一解。现证明P对于
是一致持久的。易证
均是系统(1)的正向不变集,且
是X中的一个紧集。且由定理1知G吸引空间
中所有正半轨,因此系统(1)是点耗散的。
令
,下证:
易知
,故只需证
。
考虑逆否命题,利用反证法,即假设
使得
。其中初值有以下六种情况:
1) 当初值满足
中任意一个为零,其余为正。即:
(1)
;(2)
;(3)
2) 当初值满足
中任意两个为零,其余为正。即:
(4)
;(5)
;(6)
现仅验证以下两种情况,其余情况类似可证得。
① 当
时,由系统(1)得
,则存在足够小的
,使得当
时有
。进一步,由系统(1)的第四、五个方程知:
可知此时
,也即
,故矛盾。
② 当
时,由系统(1)的第三个方程可得
,同上述情况可取得
,故有:
此时
,故
,故矛盾。
综上,即得
,且易证得
是
中关于映射P的一个全局吸引子,即若初始值
,则其解满足
显然,当
时,
在
上是孤立的,接下来证明
。
由于方程的解对于初值
有连续依赖性,故对于任意的
,存在
,使得对
,且
时,有
同时,有
成立。若不然,则存在
,使得
为不失一般性,可以假定对
,都有
成立,也即
有
对
,令
,其中
,
,其中m表示不大于
的最大的整数,则
令
,故
时,有
,且:
代入系统(1),有下式成立
(6)
考虑(6)的辅助系统
(7)
取矩阵
由定理2,有
,且存在
-周期函数
,使得
是辅助系统(7)的解,其中
。当
足够大以及
足够小时,有
根据比较定理 [13]
故可得
这与
矛盾,故证得
。综上,系统(1)满足引理3中的条件,故是一致持久的。
为论述系统正周期解的存在性,现引入以下理论:
引理4 [15] 如果一个连续的映射
,
满足下述条件,
1)
是点耗散的;
2) f是紧的;
3) f关于
具有一致持久性。
则f在
中有一个全局吸引子
,使得其在
内是一个强一致有界集,并且f存在一个共存态。
定理5 若
,则系统(1)存在一个正的
-周期解。
证明 结合定理1和定理3易知P在
上是点耗散的,并且
在领域内是紧的,f关于
具有一致持久性。由引理4知P有一个不动点
,进一步,对所有的
,有
。因此,存在系统(1)的
-正周期解
。
4. 数值模拟
上述理论分析表明,基本再生数
是确定疾病是否流行的重要阈值参数,下面将通过数值模拟验证上述结论。系统(1)的初始状态取值为:
,
,
,
,
,
,
,并定义周期函数
,
。部分参考文献 [16] ,具体参数取值如下表1:
![](Images/Table_Tmp.jpg)
Table 1. The parameter values of SVEAIR model
表1. SVEAIR模型参数及取值
借助Matlab软件,计算得到基本再生数
。由定理4和5知,此时疾病是持续存在的,且系统(1)存在唯一的正周期解,图2数值模拟的结果验证了此结论。
此外,若取参数
,且系统初值及其余参数保持不变,通过计算得到
。由定理3知,此时系统(1)不存在正周期解,且疾病最终消亡,图3数值模拟的结果验证了此结论。
![](//html.hanspub.org/file/4-1252232x312_hanspub.png?20240223083213903)
![](//html.hanspub.org/file/4-1252232x311_hanspub.png?20240223083213903)
![](//html.hanspub.org/file/4-1252232x314_hanspub.png?20240223083213903)
![](//html.hanspub.org/file/4-1252232x313_hanspub.png?20240223083213903)
Figure 2. The change trend chart of susceptible population and infected population when
图2.
时易感人群及染病人群数量变化趋势图
![](//html.hanspub.org/file/4-1252232x318_hanspub.png?20240223083213903)
Figure 3. The change trend chart of susceptible population and infected population when
图3.
时易感人群及染病人群数量变化趋势图
5. 结论
本文在流行病学知识的基础上,综合考虑疫苗接种与无症状感染,根据周期性传播规律建立了一类SVEAIR非自治周期传染病模型。首先,通过线性积分算子的谱半径定义了基本再生数,它决定了疾病的消亡和一致持久。主要结果表明,当
时,系统(1)的无病平衡点
是全局渐近稳定的,疾病最终消亡;当
时,疾病是持续存在的,同时系统(1)存在一个正周期解。进一步,借助Matlab软件对系统(1)进行了数值模拟,并验证了模型的主要理论结果。
基金项目
重庆市教委科学技术研究项目(KJQN201801136)。