1. 引言
一直以来,传染病都是危害人类身体健康的大敌,从公元1519出现的麻疹与黑死病到1985年出现的艾滋病,再到2019年出现的新型肺炎都对人类的生命安全与健康造成了极大的威胁。而近年来随着世界各国交往频繁,全球环境发生巨大改变,一些病原体发生变异导致一些传染病变得越来越不可控,也说明了传染病一直会与人类共存,因此,人们需要对传染病的流行和持久性进行更深入的探索研究,并对其构建数学模型,确定基本再生数从而得出疾病是否会灭亡的临界点,从而在最短的时间内以有效的方法控制疾病的传播。
前人主要研究SIRS传染病模型,当基本再生数大于1时,计算出传染性个体的最终下限从而得出传染病的永久性,并对传染病的局部与全局稳定性进行分析。但是这种模型已经不符合我们国家对传染病的治理措施,通常国家在面对某种传染病爆发时会对感染者进行隔离或者提前对易感者进行疫苗接种等方法。为对前人模型进行完善,本文主要在过往传染病模型的基础上引入了隔离人群,也就是说,在感染者恢复之前对其进行隔离处理,完善后的传染病模型也更加符合现实生活中国家的应对政策。
刚开始,人们研究常微分方程的流行病模型 [1] [2],其目的是研究阈值的存在,从而确定流行病是否会灭亡。之后人们考虑到疾病具有潜伏期,所以逐渐在模型中加入时滞,并研究模型无病平衡点和地方病平衡点的局部及全局稳定性,其中时滞效应在传染病传播过程中扮演着重要的角色,具有时滞效应的传染病动力学模型能更准确地描述传染病的传播机制。最后会考虑系统的持久性,在生物学中,许多论文对系统的持久性进行研究 [3] [4],因此,持久性对有关于传染病的系统起着至关重要的作用。
由(Hethcote 1976)给出的无时滞的SIR模型 [5]:
2002年,马万彪等人研究了带有分布时滞的SIR流行病模型 [6]:
该文章得出了对于任意时滞h,该模型是永久的当且仅当地方病平衡点存在。之后他们还提出了经典的SIR模型,并求出了传染性个体
的最终下限 [7]。上述两种模型都是把总人口N看成是变化的,但是这种模型只对于某些传染病是有效的,例如2009年的甲型H1N1。但是随着某些病毒的变异,这种模型对于那种只有暂时免疫力的传染病来说已经不适用,例如血吸虫病。之后张太雷等人在上述基础上,考虑到传染病只有暂时的免疫力,即研究了带有分布时滞的SIRS流行病模型 [8]:
该文章说明了当基本再生数
时,该传染病在人群中是永久的,并得到了无病平衡点的全局稳定性和地方病平衡点的局部稳定性。但是在实际生活中,当某种病毒爆发时,为减少感染人群,通常会对感染人群进行隔离处理,例如我国应对近几年的新冠肺炎疫情,除了进行疫苗接种,主要对传染者采取隔离措施以防进一步传染。所以本文在上述模型的基础上引入了隔离人群
。
以下是SIQR传染病仓室模型(图1):
根据仓室模型,得到如下数学模型:
(1)
下面对系统(1)涉及参数做出相应释义,见表1:
是单位时间的发病率且形式为
,其中
是正连续函数且存在
,使得
在区间
是不减的。函数
是不减的且有
成立。
本文组织如下:第二节包含一些需要的定义定理,如:系统的初始条件、系统永久性的定义、平衡点的存在以及基本再生数的计算;第三节主要证明了系统的永久性;第四节主要对平衡点的稳定性进行分析。
2. 预备知识
首先,在SIQR传染病模型中,假设
,换句话说,传染病会增加人口的死亡率。系统(1)的初始条件如下:
(2)
其中
且
。而C指的是连续函数从区间
的Banach空间
。且
。
定义2.1 若存在正数
,使得
对于带有初始条件(2)的系统(1)的任意解
都成立,其中
和
和初始条件(2)无关,则称系统(1)是永久的。
当
为常数时,可以求得系统(1)的无病平衡点
,即
,同理,可求系统(1)的地方病平衡点
。
其中
,
,
,
。
基本再生数表示发病初期,所有人均为易感者时,一个染病者在一个病程所传染的全部病人数。对于本文的系统(1)来说,基本再生数等于再生矩阵的谱半径 [9],即
。
定理2.1 假设
为常数,当
时,系统(1)只存在无病平衡点,当
,系统(1)存在地方病平衡点。
考虑一个延迟微分方程的自治系统:
(3)
引理2.1 [10] 设
,
是非负连续标量函数,当且仅当
时,满足
。
若
,
。其中
是连续可微标量函数,对于一特殊集
,(3)的解满足:
,
,则
在集合
是渐近稳定的。
3. 永久性
首先本文给出三个命题:
命题3.1 系统(1)带有初始条件的解
对所有的
是正的且有
. (4)
证明:因为系统(1)右侧完全连续,且在C上是局部Lipschitzian的,所以具有初始条件的解在区间
上存在且唯一,其中
。当
,我们有
。
反之,存在
使得
,
,同时当
时,
。
所以
时,有
。如若不成立,存在
,使得
,同时
在区间
成立。
将系统(1)第二个等式从0到
积分,有:
与前面的
矛盾。
所以当
时,
成立。
将系统(1)的第三个等式进行积分,有
,
。
同理,将系统(1)的第四个等式积分,有
,
。
由上述,可得
与假设
矛盾,
所以当
时,有
。因此前半部分已证。
下面求
的极限,首先,根据系统(1)有:
(5)
从而
,证毕。
命题3.2 系统(1)带有初始条件的解
满足
(6)
证明:由命题1可知,对任意的
,有足够大的
,使得
,
令
,由系统(1)的第一个的等式,当
时,有
,即
。
命题3.3 设
,对于系统(1)的任意正解
,有
(7)
证明:
,意味着存在
,
满足
,
令
。
下面考虑可微函数
, (8)
沿系统(1)的解的导数是
对
,
不可能成立。
反证法,若成立,则当
时,有
上式从
到t积分,得:
所以当
时,
(9)
由上述不等式,当
时,有:
(10)
取
,
下证当
时,
。
若上式不成立,则存在
,使得当
时,有
。
又因为
,所以
,而
,所以
。
当
时,由系统(1)的第二个等式,有
与上式
矛盾。
所以当
时,
。
上面(10)式提到
即
单调递增,当
时,
这
有界矛盾。所以对
,
不可能成立。
因此,以下将讨论
的两种情况:
1)
2)
随着b动荡
当t足够大时,
,所以只需考虑第二种情况,当
足够大且满足
,当
时,
。
当
时,有
,所以
。
则
,
。
当
时,
,
在区间
同样成立。
若不成立,则存在
,使得在区间
上。
且
. (11)
当
时,
(12)
可以看出(11)式与(12)式矛盾。
所以
,
,进而
,证毕。
命题3.4 由系统(1.1)的系统的第三个等式,可得带有初始条件的解
满足
。
命题3.5 由系统(1.1)的第四个等式,可得带有初始条件的解
满足
。
由命题3.1—命题3.4,存在以下定理:
定理3.1 当
,系统(1)是永久的。
4. 平衡点的渐近稳定性
本节将讨论系统(1)平衡点的渐近稳定性,首先假设是一个常数,所以系统(1)改写成如下形式:
(13)
以下内容将在不变集
进行研究。
引理4.1 当
,若
,则
,
。
证明:在先前证明中,可知当
时,带有初始条件的解
是正的,
即
。因此,只需证明
。
因为系统(13)等式右边是完全连续且在C上是局部Lipschitzian,所以当
时,
系统(13)的解在区间
上唯一存在。
下面说明对于所有的
,有
。
当
时,由于
是连续的,所以当
时,有
。
当
时,因为
,所以当
时,有
。
若
在
不成立,则存在
使得
,
成立,且当
,
。
所以
,实际上,若
,由系统(13)的第二个等式,有
,
。
即
在区间
上成立。由归纳法可得当
时,有
。
由系统(13)的第三个等式,有
,
,则
,
。
同样地,由系统(13)的第四个等式,有
,
,则
,
。因此,
与上面假设
矛盾。因此,证明了
在区间
成立。
由上述证明,可得当
时,
,
,
。
因此当
,而
,
,
由上述不等式有
,
。因此,
在
有界,令b趋向于正无穷,有
,
。
定理4.1 当
时,系统(13)的无病平衡点
是全局渐近稳定的,当
时,无病平衡点
是不稳定的且地方病平衡点
是局部渐近稳定的当且仅当下列条件成立:
;
;
. (14)
1) 当
时,构造下列Lyapunov函数:
其中
,
。
则
选择
,满足条件:
(i)
;
(ii)
。
首先
时意味着
,选择
,其中
为任意小正数,使得
。选择
满足条件(ii),进一步选择
,满足条件(i)。
所以在
上,有
(15)
(15)式是负定的当且仅当
,由引理2.1,可得到无病平衡点是局部渐近稳定的。
2) 当
时,作变换:
,
,
,
系统(13)改写为下列形式:
(16)
系统(16)的线性部分为:
(17)
系统(17)有形如指数形式的解:
(18)
将(18)代入(17)可得:
因此,可得到以下特征方程:
若
,则在
处的特征方程为:
(19)
令
,
,且当
时,
,所以存在
使得
。
所以(19)式至少有一正实部的解,即当
时,
不稳定。
下面通过分析新系统(17)在
的全局稳定性来讨论系统(13)的地方病平衡点的局部渐近稳定性。下面考虑Lyapunov函数
(20)
取
,
,
,
,则
(21)
进一步,将(21)式拆分,上式可得:
由条件(14)可知(20)式右端是负定的,进一步知
是负定的,由引理2.1可得系统(15)的平衡点
是全局渐近稳定的,即系统(1)的地方病平衡点
是局部渐近稳定的,证毕。
本文在构建传染病模型后,计算出基本再生数、无病平衡点以及地方病平衡点。之后本文得出了当基本再生数大于1时,易感者、感染者、隔离者、恢复者是有下限的,进而得出传染病是永久的,也是本文的一个创新点。之后本文又对无病平衡点和地方病平衡点的稳定性进行了分析。虽然在本模型中加入了隔离人群,但是实际生活中面对某种传染病爆发时,除了对感染者进行隔离处理,还通常会对易感者进行疫苗接种来减少感染人数,所以接下来也可以在本文模型的基础上加上疫苗接种人群进行分析。
致谢
感谢孙小淇老师对本文的悉心指导以及文本中所引用文献的所有作者,他们卓有成效的研究成果是本论文研究的基础。
参考文献