1. 引言
自2019年12月初在中国武汉出现首例新冠病例以来,新冠肺炎疫情一直影响着我们的工作和生活。由于新冠肺炎具有无症状传播的特点,所以新冠肺炎疫情十分严重。截止2023年3月7日,全球累计感染约7.5亿人,累计死亡约686万人。因此,研究和控制COVID-19的传播显得尤为迫切。另一方面,传染病动力学模型是研究疾病传播规律的重要工具之一,能够定量描述传染病的传播规律,预测其发展趋势。为了更好地了解COVID-19的传播情况,制定有效的控制策略,学者们建立了大量的数学模型。例如,Song等人[1]提出了一类具有标准发生率的SEIS传染病模型并确定了模型的基本再生数。Huo等人[2]提出了一类受媒体传播影响的SEIS模型并证明了模型的平稳分布。Xu[3]提出了一类具有时滞的SEIS传染病模型,Fan等人[4]等人提出了一类具有常出生率的SEIS传染病模型。Kamrujjaman等人[5]提出了如下具有无症状感染的SEIR传染病模型:
(1.1)
其中
表示易感者,表示
无症状感染者,表示
感染者,
表示恢复者,
表示出生率,
表示易感者与无症状感染者的感染率,
表示易感者与感染者之间疾病的传播率,
表示自然死亡率,
表示感染者的因病死亡率,
表示无症状感染者出现症状的平均时间,
表示感染者的恢复率率,
分别易感者,无症状感染者和感染者患有恐慌性焦虑症的速率。
对于模型系统(1.1),Kamrujjaman等人[5]确定了模型的无病平衡
和地方病平衡点
,其中
,
,
,
并且Kamrujjaman等人利用下一代矩阵方法[6],通过
得到了模型的基本再生数
.
在文献[5]中,Kamrujjaman等人证明了当
时,系统(1.1)的无病平衡点是全局渐进稳定的;当
时,模型(1.1)的地方病平衡点是全局渐进稳定的。
由于环境和人类行为的随机性,传染病的传播也必然具有一定的随机性。随之而来的问题是,这些随机性是否影响传染病的传播?为了回答这一问题,许多学者利用随机微分方程建立了大量的随机传染病模型并发现了环境的随机性对传染病模型动力学行为存在影响。例如:Yang等人[7]提出了一类随机SEIR传染病模型。Zhu等人[8]提出了一类具有标准发生率的随机SEI模型。Zhang等人[9]提出了一类总人口规模变化的随机SIQS传染病模型。Shi等人[10]提出了一类多斑块的随机SEIRS模型。此外,还有许多学者也研究了受到环境噪声影响的传染病模型[11]-[15]。
在模型(1.1)的基础上,假设随机扰动为白噪声类型且与变量
成正比。因此对应于模型(1.1)的随机模型的形式如下:
(1.2)
其中
表示相互独立的标准布朗运动,
表示随机扰动强度。
文章剩余内容如下。第二部分,给出本文用到的基本定义和公式。第三部分,证明模型(1.2)在空间
上全局正解的存在唯一性。第四部分,首先构造了决定疾病持久的参数
,然后通过构造合适的V函数来证明当
时,模型(1.2)在空间
上存在唯一一个的平稳分布
。第五部分,对本文主要结论进行了总结并对将来的研究进行了展望。
2. 预备知识
在本文中,除非另有说明,否则设
是一个完全概率空间,其中
满足通常条件,即它是右连续的,且
包含所有
-null集。记
和
。
定义1[16]
设
是Itô过程,并且满足下面的随机微分
其中
,
。令
,则
仍是Itô过程,其随机微分具有如下形式
其中
称上式为Itô公式。
3. 全局正解的存在唯一性
这一节,通过构造合适的函数V来分析模型(1.2)正解的存在唯一性。首先,定义空间
。下面证明模型(1.2)的解在
中的概率为1。
定理3.1.
对任意给定的初始值
,系统(1.2)在
上存在唯一的解
,且解
中的概率为1,即对任意的
,有
a.s.。
证明由于模型(1.2)的系数是局部Lipschitz连续的,则对任意的初值
和
,模型(1.2)存在唯一的局部解,其中
表示爆破时间。要证解是全局的,只需证明
a.s。令
,使得
在区间
。对于任意的整数
,定义停时:
,
本文中,令
。显然,当
时,
是单增的。记
,则
a.s.。如果
a.s.,那么
a.s.。下面运用反证法证明
。设
,则存在
和任意的
使得
.
因此存在整数
使得
,
其中
。
考虑
-函数
,
其中a是待定常数。令
和T是任意的。使用Itô公式,得到
其中
令
,故
,
。因此
且
其中
。因此
对于任意的
,得到
则
令
,显然有
,则
可知
至少有一个等于k或
。则
所以
令
,可知
,显然矛盾。因此
。
4. 平稳分布的存在性
这一部分,首先确定了参数
,然后根据文献[17]中的引理证明了当参数
时,模型(1.2)在空间
中存在唯一一个平稳分布
。引理内容如下。
引理4.1.[17]
如果存在一个具有正则边界的有界开域
,使得以下条件成立:
(i) 在定义域U及其邻域内,扩散矩阵
的最小特征值非零。
(ii) 对任意的
从x出发到达U的平均时间
是有限的,且对每个紧子集
满足
。
那么马尔科夫过程
有唯一的平稳分布
。
定理4.1.
假设
那么对任意的初值
,系统(1.2)在
上存在一个唯一的平稳分布
。
证明为了证明定理4.1,仅需要证明引理4.1的条件(i)和(ii)均成立即可。首先证明条件(i)。由模型(1.2)可知其扩散矩阵为
.
显然,矩阵M对于
的任意紧子集都是正定的,因此引理4.1的条件(i)成立。
下面,将证明引理4.1的条件(ii)。定义
其中
为待定正常数。使用Itô公式,得到
(4.1)
令
然后,将
代入到(4.1),进一步得到
(4.2)
其中
.
接下来,定义
,根据(4.2)式,得到
(4.3)
定义
,
其中
充分小且
。根据Itô公式,得到
(4.4)
且
(4.5)
其中
。
考虑
-函数
,
,其中K是充分大的一个正常数且满足
(4.6)
其中
(4.7)
此外,由于
在
上是连续的,并且当
趋向于0或
时,均可得
因此
在
内部可以取到最小值,设最小值点为
。
定义
-函数
,
。根据(4.3),(4.4)和(4.5),可以得到
(4.8)
下面,证明引理4.1中的条件(2)成立,首先定义一个有界开域
,
其中
且充分小。在集合
中,为了证明引理4.1中的条件(ii)成立,因此选择充分小的
使
得下式成立
,(4.9)
,(4.10)
,(4.11)
,(4.12)
,(4.13)
,(4.14)
其中
将
划分成8个区域,
则
.下面证明对任意
有
成立,即证明在上述8个区域中,均有
成立。
(1) 对任意的
,根据(4.8)和(4.9),有
(4.15)
(2) 对任意的
,根据(4.6),(4,7),(4.8)和(4.10),有
(4.16)
(3) 对任意的
,根据(4.8)和(4.11),有
(4.17)
(4) 对任意的
,根据(4.8)和(4.12),有
(4.18)
(5) 对任意的
,根据(4.8)和(4.13),有
(4.19)
(6) 对任意的
,根据(4.8)和(4.13),有
(4.20)
(7) 对任意的
,根据(4.8)和(4.14),有
(4.21)
(8) 对任意的
,根据(4.8)和(4.14),有
(4.22)
因此,根据(4.15)~(4.22),对充分小的
使得当
时,均有
所以引理4.1的条件(ii)成立。根据引理4.1,系统(1.2)在
上存在唯一的平稳分布
。定理4.1证明完成。
5. 结论与展望
本文研究了一类具有无症状感染的随机SEIR传染病模型的平稳分布并通过构建合适的V函数证明了模型正解的存在唯一性。然后,利用Lyapunov方法建立了参数
,并且证明了当
时,模型的解在
上存在唯一一个的平稳分布。此外,通过确定性模型的基本再生数
和随机性模型的
之间的对比,可以发现
,进一步,当
时,
,这表明了当白噪声的随机扰动较小时,随机模型在
上存在唯一一个平稳分布,这一结果也是对Kamrujjaman等人[5]提出的确定型SEIR模型研究结论的一个扩展。最后,本文所研究的内容并不完整,有许多问题仍值得进一步讨论。例如,疾病灭绝的充分条件以及当用电报噪声或Levy噪声来模拟非连续性随机扰动时,随机性对疾病传播的影响。