1. 引言
前几年新冠病毒在全球流行,传染病模型研究受到了前所未有的关注[1]-[3]。传染病传播过程中有着很多随机波动[4] [5],如环境变化、个体行动的随机性以及病原体自身的变异进化。这些因素使得传染病传播过程中存在随机性,而确定性模型无法充分体现这种特性,所以考虑随机扰动下的传染病模型可以更真实地接近现实情况。Malen [6]提出了一种考虑新生儿疫苗接种率的SEIR模型:
(1)
其中
、
、
、
分别代表易感者比例、暴露者比例、感染者比例、康复者比例,
、
、
、
、
、
、
分别代表传染率、自然死亡率、潜伏期的倒数、康复率、感染导致的死亡率、出生率、接种疫苗新生儿的比例,式中所有参数都是正的。事实上,在病毒传播过程中,有着许多不可预测的因素比如天气的变化、人群活动的随机性等。本文中我们考虑系统(1)受到随机扰动,提出了一类非线性微分方程组成的SEIR传染病随机模型,应用线性矩阵不等式(Linear Matrix Inequalities, LMI)等方法,结合MATLAB找到符合矩阵不等式的矩阵,得到了随机系统平衡点的概率稳定性。
2. 平衡点
系统(1)中存在两个平衡点,分别是无病平衡点和地方性平衡点,根据平衡点的定义导出了相应的代数方程:
(2)
根据(2)可以得到系统的无病平衡点处
,其中:
系统的地方性平衡点处
,其中:
3. 线性化
设
是完备概率空间,
为
的非递减子
-代数族,
,
为对于测度
的数学期望。病毒在传播过程中,会受到多种随机因素的影响,为了使模型更加符合实际传播情况,我们假设系统暴露在白噪声类型的随机扰动下,该扰动是系统与平衡点偏离程度成正比的随机扰动[7],当系统状态
与平衡点偏离程度增大,随机扰动也随之增大;
是标准维纳过程。因此我们提出了随机扰动下的系统:
(3)
下面我们对随机微分方程进行平移变换,令
由(3)可得:
(4)
易见系统(4)零点的稳定性等价于系统(3)平衡点
的稳定性。系统(4)是高于一阶的非线性方程,结合平衡点进行线性化得到:
(5)
由Ito随机微分方程理论可以把系统(5)写成矩阵形式:
其中
注1 [8]对于非线性阶数大于1的系统,线性部分零解渐近均方稳定的充分条件可以证明非线性系统的零解依概率稳定。对于系统(5),如果得到零解渐近均方稳定的充分条件,那么在这个条件下,系统(4)的零解是依概率稳定的,系统(3)在平衡点处也是依概率稳定的。
4. 平衡点的概率稳定性
定义1 如果对于任意的
,
,存在
使得系统的
满足
时,有
,系统(4)的零解是依概率稳定的。
定义2 对于任意的
,存在
,当
时,有
,则系统(5)是均方稳定的。
定义3 在系统均方稳定的条件下,当
时,有
,则系统(5)是渐近均方稳定的。
引理1 [9]若存在
是二次可微分函数,有正数
下面条件成立:
系统(5)是渐近均方稳定的。
根据Ito公式[10]定义
的扩散算子:
定理:如果存在一个正定矩阵P,满足下面的线性不等式:
则系统(3)在平衡点
上是依概率稳定的。
证明:对于
,因为P是正定矩阵,由引理1可知前面两个不等式满足,对于第三个,我们考虑:
引理1的条件满足,得到了系统(5)渐近均方稳定的充分条件,根据注1可以得到系统(3)在平衡点
上依概率稳定,所以定理得证。
由于满足LMI条件可以得到渐近均方稳定性,而对于系统(5)而言,那么它的系数矩阵必须是Hurwitz矩阵,而Hurwitz矩阵必须满足[11]:
,其中:
下面我们根据Hurwitz矩阵的性质用代数方法,先对系统的两个平衡点进行分析,得到一些稳定性的必要条件:
1)
对于无病平衡点
,有:
可以用矩阵表示
,其中:
矩阵B是Hurwitz矩阵,所以有:
我们考虑
,
,
,
,
,
,
,
,
,
,
,
,
,
满足
,又通过MATLAB计算这些参数也满足(Linear Matrix Inequalities, LMI)条件,存在正定矩阵P使得
,满足系统(3)在平衡点概率稳定的条件,系统解的50个轨迹如图1所示。
2)
对于地方平衡点
Figure 1. Disease-Free equilibrium trajectory
图1. 无病平衡点轨迹
可以用矩阵表示
,其中:
矩阵B是Hurwitz矩阵,所以有:
我们考虑
,
,
,
,
,
,
,
,
,
,
,
,
,
(考虑对新生儿没有进行育苗接种)满足
,又通过MATLAB计算这些参数也满足(Linear Matrix Inequalities, LMI)条件,存在正定矩阵P使得
,满足系统(3)在平衡点概率稳定的条件,系统解的50个轨迹如图2所示。
图1、图2对比可以看出对新生儿进行疫苗接种可以有效抑制传染病的传播。图1中传染病在疫苗接种的情况下考虑随机扰动,在满足(Linear Matrix Inequalities, LMI)条件下,传染病经过一段时间传播后收敛到无病平衡点,通过多个轨迹模拟,验证了传染病模型在无病平衡点处的概率稳定性。图2考虑同类型传染病在没有对新生儿进行疫苗接种情况下的传播轨迹,在满足(Linear Matrix Inequalities, LMI)条件下,传染病经过一段时间传播后收敛到地方性平衡点,通过多个轨迹模拟,验证了传染病模型在地方性平衡点处的概率稳定性。图1、图2表明通过(Linear Matrix Inequalities, LMI)方法得到平衡态概率稳定条件是可靠的,这种方法还可以用于更加一般的随机微分方程平衡点概率稳定性的研究。
Figure 2. Local equilibrium point trajectory
图2. 地方性平衡点轨迹
5. 结论
本文提出一类随机扰动下的SEIR传染病模型,假设随机扰动与系统偏离平衡点程度成正比。在平衡点通过对系统进行线性化,利用引理1结合线性矩阵不等式方法得到系统(5)渐近均方稳定的充分条件,从而得到系统(3)平衡点概率稳定的充分条件。通过进行数值模拟,验证了结论的正确性。
NOTES
*通讯作者。