-
近年来,越来越多的数学动力学模型被用来研究传染病的传播和控制问题[1-4].特别地,文献[4]研究了如下包括饱和治疗的传染病模型:
其中:S(t),I(t)分别代表易感种群和感染种群的密度;Λ代表易感种群的出生数量;d是自然死亡率;β为易感种群与感染种群的接触率;υ是自然康复率;
$ h\left( I \right)\underline{\underline \Delta } \frac{{\gamma I}}{{1 + \alpha I}}$ 代表考虑医院饱和治疗条件下的康复率.研究发现饱和治疗项的引进将导致后向分支的产生.随着信息时代的来临,人们可以通过媒体、网络等途径快速了解到各种传染病信息.近来越来越多的研究者开始考虑信息对于疾病传播和控制的影响[5-8].其中一种建模方法是假设疾病的相关信息将会减少易感者与感染个体的接触,被称为信息的负反馈效应.
本文在模型(1)的基础上考虑疾病信息传播因素对模型性态的影响,建立如下SISM传染病模型:
其中β(M)代表易感种群与感染种群的接触率,与信息函数M(t)负相关.假设
$ \beta \left( M \right) = \frac{1}{{1 + KM}}$ ,K为非负数.依据文献[6],假设信息的生成与疾病感染数量和历史有关,即有其中:g(I)为信息生成函数,本文假设
$ g\left( I \right) = {w_0} + {a_0}I, {\rm{ }}{w_0}$ 代表日常传播所生成的疾病信息,当疾病爆发时,政府相关部门或个体往往会依据染病者的数量加大宣传的力度,从而可以假设信息的生成与I成比例,a0是比例系数;分布时滞核函数$ {\mathit{\Gamma} _n}\left( t \right) = \frac{{{\theta ^{n + 1}}~~{t^n}~~{{\rm{e}}^{ - \theta t}}}}{{\mathit{\Gamma} \left( {n + 1} \right)}}$ 为伽马分布,满足$\int_0^{ + \infty } {} {\mathit{\Gamma} _n}\left( s \right){\rm{d}}s = 1 $ .当n=0时即为弱核$ {\mathit{\Gamma} _0}\left( t \right) = \theta {{\rm{e}}^{ - \theta t}}$ ,此时平均时滞为:$ \int_0^{ + \infty } {} s{\mathit{\Gamma} _0}\left( s \right){\rm{d}}s = \frac{1}{\theta }$ .对方程(3)两边求导,再与(2)式联立,可得如下模型:
其中:
$w = {w_0}\theta , {\rm{ }}a = {a_0}\theta $ .本文将研究模型(4)信息负反馈对模型后向分支存在性以及无病平衡点与地方病平衡点的稳定性等问题的影响.
全文HTML
-
令(S(t),I(t),M(t))是系统(4)在给定初始条件S(0)>0,I(0)>0,M(0)>0下的任意解.首先证明解(S(t),I(t),M(t))的非负性.
易知I=0满足系统(4)的第二个方程,由自治系统过初始点解的唯一性及I(0)>0知对任意t≥0,有I(t)>0.
若存在t1>0使得S(t1)=0首次成立,则有
$\frac{{{\rm{d}}S({t_1})}}{{{\rm{d}}t}} < 0 $ .但是当t=t1时,由(4)式的第一个方程可知$ \frac{{{\rm{d}}S({t_1})}}{{{\rm{d}}t}} \ge \mathit{\Lambda} > 0$ ,显然与假设矛盾.因此对于任意的t≥0,有S(t)>0.由系统(4)的第3个方程可得
所以
因为M(0)>0,这表明对任意的t≥0,有M(t)>0.
下证其耗散性.依据系统(4)的前两个方程可得:
由比较定理,得到
$ {\rm{lim }}\;{\rm{su}}{{\rm{p}}_{t\infty }}\left( {S + I} \right) \le \frac{\mathit{\Lambda} }{d}$ .当t充分大,由系统(4)的第3个方程可得从而得到
因此,系统(4)有如下有界区域作为正不变集
下面仅仅需要考虑(S,I,M)∈Ω.
-
系统(4)总是存在一个无病平衡点(DFE):
$ {\mathit{\boldsymbol{E}}_0} = \left( {\frac{\mathit{\Lambda} }{d}, 0, \frac{w}{\theta }} \right)$ .下面考虑地方病平衡点的存在性.首先可以得到系统(4)基本再生数为令(4)式右边为0,可以得到
${S^*} = \frac{\mathit{\Lambda} }{d} - {I^*}, {M^*} = \frac{{w + a{I^*}}}{\theta } $ ,这里I*由下面的方程决定其中
如果α=0,则有A=0,B>0,从而下面的结论显然成立.
定理1 假设α=0成立.
(ⅰ) 如果R0>1,系统(4)存在唯一地方病平衡点.
(ⅱ) 如果R0≤1,系统(4)不存在地方病平衡点.
下面总是在假设α>0的情况下考虑(5)式的根的存在性.在一定条件下等式(5)可能存在如下两个根:
相应的地方病平衡点为E1=(S1*,I1*,M1*)和E2=(S2*,I2*,M2*).定义
则可得如下定理.
定理2 假设α>0成立.
$ \bar w, \bar R$ 定义见(7)式.(ⅰ) 如果R0>1,系统(4)存在唯一地方病平衡点E2.
(ⅱ) 如果R0≤1并且w≥
${\bar w} $ ,系统(4)不存在地方病平衡点.(ⅲ) 如果R0=1并且w <
${\bar w} $ ,系统(4)存在唯一地方病平衡点E2.(ⅳ) 如果R0 < 1,并且w <
${\bar w} $ ,则有① 当R0>
${\bar R} $ ,系统(4)存在两个地方病平衡点E1与E2;② 当R0=
${\bar R} $ ,系统(4)存在唯一地方病平衡点E1=E2;③ 当R0 <
${\bar R} $ ,系统(4)不存在地方病平衡点.证 由式(6)可得到如下等价关系:
和
如果R0>1,有C < 0,再由A>0得方程(5)存在唯一正根,知系统(4)存在唯一地方病平衡点,(i)得证.
如果R0≤1并且w≥
$ {\bar w}$ ,则有B≥0,C≥0,再由A>0得方程(5)不存在正根,知系统(4)不存在地方病平衡点,(ⅱ)得证.如果R0=1并且w <
$ {\bar w}$ ,则方程(5)存在唯一正根$ I = \frac{{ - B}}{A}$ ,知系统(4)存在唯一的地方病平衡点,(ⅲ)得证.如果R0 < 1,w <
$ {\bar w}$ ,容易验证有下面的等价关系成立:又因为A>0且当w <
$ {\bar w}$ 时,有B < 0.从而知当R0 <${\bar R} $ ,R0=${\bar R} $ 和R0>${\bar R} $ 时,方程(5)分别存在0,1和2个正根,即相应的系统(4)分别存在0,1和2个正平衡点,(ⅳ)得证.定理3 假设α>0成立.
$ \bar a, \bar R$ 定义见(7)式.(ⅰ) 如果R0>1,系统(4)存在唯一地方病平衡点E2.
(ⅱ) 如果R0≤1并且a≥
$ {\bar a}$ ,系统(4)不存在地方病平衡点.(ⅲ) 如果R0=1并且a <
$ {\bar a}$ ,系统(4)存在唯一地方病平衡点E2.(ⅳ) 如果R0 < 1,并且a <
$ {\bar a}$ ,则有① 当R0>
$ {\bar R}$ ,系统(4)存在两个地方病平衡点E1与E2;② 当R0=
$ {\bar R}$ ,系统(4)存在唯一地方病平衡点E1=E2;③ 当R0 <
$ {\bar R}$ ,系统(4)不存在地方病平衡点.注1 定理3的证明与定理2类似,这里省略.从定理2和定理3可以看到,当疾病的信息不够充分,即有w <
$ {\bar w}$ 或a <$ {\bar a}$ 时,系统可能存在后向分支.由(7)式可得:以及
因此当w <
$ {\bar w}$ 或a <$ {\bar a}$ 时,$\bar R'\left( a \right) $ >0,$ \bar R'\left( w \right)$ >0.从而知后向分支点${\bar R} $ 的取值随着w及a的增加而增加,当w>${\bar w} $ 时,后向分支消失.从实际意义讲,如果有更多的疾病信息存在,则相应发生后向分支的区域将会减小,甚至消失.
-
定理4 当R0 < 1时,无病平衡点E0局部渐进稳定;当R0>1时,E0是个鞍点.
证 系统(4)在平衡点E0处的雅可比矩阵为
易知当R0 < 1时,雅可比矩阵的特征值皆为负,知E0局部渐进稳定;当R0>1时,存在正特征值,知E0是个鞍点.
下面将分析地方病平衡点的稳定性.系统(4)在正平衡点处的雅可比矩阵为:
可得特征多项式:
其中
假设
$\bar R < {R_0} < 1, w < \bar w $ 或$ a < \bar a$ ,则系统(4)存在正平衡点E1和E2.将
$ \mathit{\Lambda} = dS + \frac{{SI}}{{1 + KM}} - \upsilon I - \frac{{\gamma I}}{{1 + \alpha I}}$ 代入(5),(6)式,经计算可得比较(8)和(9)式,可见
${b_3}{|_{{\mathit{\boldsymbol{E}}_1}}} $ 与P′(I1*)符号相同.由I1* < I2*知P′(I1*) < 0,从而有${b_3}{|_{{\mathit{\boldsymbol{E}}_1}}} $ < 0.依据Routh-Hurwitz原理知E1是一个鞍点,从而E1是不稳定的.对于平衡点E2的稳定性,我们知道P′(I2*)>0,因此b3|E2>0.所以依据Routh-Hurwitz原理可得下面的定理5.
定理5 假设
$ \bar R < {R_0} < 1, w < \bar w$ ,正平衡点E1是个鞍点;正平衡点E2局部渐进稳定当且仅当b1>0和b1b2-b3>0成立.
-
基于上述理论分析,取定参数Λ=14,d=0.01,K=8,υ=0.2,α=1,γ=10,w=15,θ=0.5,此时R0=0.569 < 1.以信息生成率a为分支参数,通过Matcont软件可得系统(4)的平衡态分支图 1.图 1表明,当信息生成率a较小时,系统存在两个地方病平衡态E1和E2,且随着a增加,E2中的I值不断降低,说明信息的加快传播使平衡态染病者数量下降,从而有助于疾病的控制;当a=5.712 627时,系统在E2处出现Hopf分支现象;当参数a充分大时,系统不存在地方病平衡态.图 2(a)和(b)为参数a=2时在不同初始条件下染病者种群的时间序列图.可以看到当初始条件为S=1 382,I=10,M=230时,即初始染病者数量较少时,染病者I数量趋于零;当初始条件取S=1 382,I=15,M=230时,染病者I趋于正平衡点,可见系统在此条件下存在两个平衡态的双稳态现象.图 2(c)中取参数a=5.7,系统存在周期解,可见信息的加速传播可能导致染病者I数量呈周期性振荡.图 2(d)中取参数a=6,此时染病者I数量趋于零,说明信息传播速度的进一步增加有助于疾病的控制和消灭.图 2(c)和(d)所取除I值以外的初始条件与图 2(b)相同.