传染病是严重危害人类健康的一类疾病.传染病数学模型的动力学行为是生物数学研究的一个热点问题.根据疾病的传播特点, 建立传染病传播的数学模型, 对模型进行理论分析, 有助于理解疾病的传播规律和传播途径.研究传染病是否会消失或者成为地方病, 已经成为传染病学和数学相结合的一个重要的具有理论和现实意义的研究课题.通常根据传染病的传染机制, 一般将人群分为易感者类 $S$ , 潜伏者类 $E$ , 染病者类 $I$ , 恢复者类R[1].很多学者利用常微分方程建模, 根据现实传染病的特点如疾病的周期性, 潜伏性等特点, 研究了确定型 $SIR, SIRS, SEIR, SEIRS$ 模型[1-5].这些模型具有不同的疾病发生率, 即每一个病人平均对易感者的有效接触率.近年来, 大量工作研究了更为复杂的、具有非单调发生率的确定型传染病模型[2-4]. Huo[3]研究了具有非单调发生率的时滞 $SIRS$ 模型, 通过构造不同的Lyapunov函数, 证明了无病平衡点是全局渐近稳定的. Muroya[4]在此基础上, 利用单调迭代法, 得到了地方病平衡点全局渐近稳定的充分性条件.
然而在现实中, 生物系统易受内外随机因素的影响.近年来, 以随机微分方程建模的随机传染病模型已受到了学者们的广泛关注.人们通常在确定型模型基础之上, 考虑环境白噪声这一随机因素, 研究在随机扰动下, 系统的动力学行为是否发生变化, 以及随机因素对疾病消亡和流行的影响情况等.其中, 研究较多的是考虑相应的确定型模型无病平衡点及地方病平衡点的稳定性问题[6-11].文献[6-7]中, 考虑随机因素对疾病传染率的扰动, 研究了随机 $SIR$ , $SIRS$ 模型无病平衡点的随机稳定性问题.另一方面, Beretta[8]考虑随机因素对相应的确定型模型地方病平衡点的扰动, 研究了具有分布时滞的随机传染病 $SIRS$ 模型. Yu[9]亦用Lyapunov方法, 考虑了随机两种群 $SIR$ 模型, 得到了相应的确定型模型地方病平衡点随机稳定的充分性条件.
本文提出一类新的具有非单调发生率的时滞随机 $SIRS$ 传染病模型.在第二节, 对问题进行描述, 并简要叙述了与本文相关的随机微分方程的基础知识.第三节, 通过构造不同的Lyapunov函数或Lyapunov泛函, 证明系统模型全局正解的存在唯一性, 同时得到疾病灭亡的条件, 并且考虑相应的确定型模型地方病平衡点在随机扰动下的渐近性质.第四节, 通过数值仿真对理论结果进行了验证.
文献[3-4]讨论了下列具有非单调发生率的时滞 $SIRS$ 传染病模型
其中, $S$ , $I$ , $R$ 分别为易感者, 染病者, 恢复者.参数 $b, d, k, \alpha, \mu$ 为正常数, $\gamma$ 为非负常数. $b$ 为总人口输入率, $d$ 为自然死亡率, $k$ 为有效接触率, $\mu$ 为染病者的恢复率系数, $\gamma$ 为免疫力丧失系统, $\gamma>0$ 意味着恢复者具有暂时免疫力, $\gamma=0$ 意味着永久免疫, $\tau$ 为潜伏期, $\frac{kSI}{1+\alpha I^2}$ 为非单调疾病发生率, 系统 $(2.1)$ 表示 $t-\tau$ 时刻的染病者经过 $\tau$ 时刻后具有传染力, 则在 $t$ 时刻的非单调传染率是 ${\frac{k \exp(-{\rm d}\tau)S(t)I(t-\tau)}{1+\alpha I^2(t-\tau)}}$ , $\exp(-{\rm d}\tau)$ 表示时滞.
系统(2.1)的初值为
其中, ${\cal C}$ 表示所有的连续映射 $\phi: [-\tau, 0]\rightarrow{\Bbb R}^3$ , $\phi=(\phi_1, \phi_2, \phi_3)$ , ${\Bbb R}_{+0}^3=\{(x_1, x_2, x_3): x_i\geqslant0, $ $ i=1, 2, 3\}$ .
文献[3]中作者已经证明, 当基本再生数 $R_0={\frac{bk\exp(-{\rm d}\tau)}{d(d+\mu)}}<1$ 时, 系统 $(2.1)$ 只有一个无病平衡点 $E_0=(\frac{b}{d}, 0, 0)$ , 且是全局渐近稳定的.当 $R_0>1$ 时, 系统 $(2.1)$ 有唯一地方病平衡点 $P^*=(S^*, I^*, R^*)$ , 其中
本文, 考虑随机因素的扰动, 在系统 $(2.1)$ 中引入环境白噪声.由于疾病的有效接触率的改变, 对传染病的传播规律影响非常大, 因此, 类似于参考文献[5-6], 我们也主要考虑有效接触率的随机扰动
其中, $\dot{B}(t)$ 为环境白噪声, $B(t)$ 是标准的布朗运动, $B(0)=0$ , $\sigma$ 是随机扰动强度.我们得到如下具有非单调发生率的时滞随机 $SIRS$ 传染病模型
初始函数仍记为 $(2.2)$ 式.
为研究系统 $(2.3)$ , 首先我们介绍关于随机时滞微分方程的相关基础知识.考虑以下随机时滞系统
其中, $B(t)=(B_1(t), \cdots, B_m(t))^T\in{\Bbb R}^m$ 是定义在带一自然滤子族 $\{{\cal F}_t\}_{t\geqslant0}$ 的完备概率空间 $(\Omega, {\cal F}, \{{\cal F}_t\}_{t\geqslant0}, P)$ 上的 $m$ 维布朗运动, ${\cal C}_{{\cal F}_0}$ 表示所有 ${\cal F}_0$ 可测的取值于 ${\cal C}([-\tau, 0]; {\Bbb R}^n)$ 上的随机变量 $\varphi=\{\varphi(t): t\in[-\tau, 0]\}$ 的全体, $\tau\geqslant0$ , 且 $\|\varphi\|=\sup\limits_{-h\leqslant \theta\leqslant0}|\varphi(\theta)|$ . $f:{\Bbb R}^+\times{\Bbb R}^n\rightarrow{\Bbb R}^n$ , $g: {\Bbb R}^+\times{\Bbb R}^n\rightarrow{\Bbb R}^{n\times m}$ 都是Borel可测函数, $f, g$ 满足局部Lipschtiz条件和线性增长条件.对任意 $s\leqslant0$ , $x_t=x(t+s)$ .初始函数 $x_0=\varphi\in{\cal C}_{{\cal F}_0}([-\tau, 0], {\Bbb R}^n)$ . $x=0$ 是系统 $(2.4)$ 的零解, 即对 $t\geqslant t_0$ 满足 $f(t, 0)=0$ , $g(t, 0)=0$ .
定义2.1[12] 若对任意的 $\epsilon_1\in(0, 1)$ , $\epsilon_2>0$ , 存在 $\delta>0$ , 当对任意的 $\varphi\in{\cal C}_{{\cal F}_0}$ , $P\{\|\varphi\|\leqslant\delta\}=1$ , 使得系统 $(2.4)$ 的解 $x$ 满足
则称系统 $(2.4)$ 的零解是随机稳定的或是依概率稳定.
引理2.1[12] (强大数定律)若 $M=\{M_t\}_{t\geqslant0}$ 是一实值连续局部鞅, $M(0)=0$ , 则
且
几乎处处成立(a.s.).
全文中, 除非特别说明, 设 $(\Omega, {\cal F}, \{{\cal F}_t\}_{t\geqslant0}, P)$ 是完备的概率空间, 流 $\{{\cal F}_t\}_{t\geqslant0}$ 满足通常条件, 即单调递增且右连续, ${\cal F}_0$ 包含所有零测集[12-13].
对系统 $(2.3)$ , 我们一般要考虑系统全局解的存在性.且由生物意义, 还需要考虑此全局解非负.我们知道, 要使随机微分方程对任意给定的初始函数有唯一全局解, 即在有限时间内不爆破, 方程的系数需满足线性增长条件和局部Lipschitz条件[12].然而, 系统 $(2.3)$ 的系数是局部Lipschitz连续的, 不满足线性增长条件.因此, 系统 $(2.3)$ 的解将有可能在有限时间内爆破.本节, 将利用Lyapunov方法, 讨论系统 $(2.3)$ 存在唯一的正全局解.
令
定理3.1 对任意的初始条件 $(2.2)$ , 若 $(\phi_1(0), \phi_2(0), \phi_3(0))\in{\Bbb R}_+^3$ , 则系统 $(2.3)$ 有唯一解, 且此解依概率1位于 ${\Bbb R}_+^3$ 中, 即 $(S(t), I(t), R(t))\in{\Bbb R}_+^3(t\geqslant0)$ , 几乎处处成立(a.s.).
证 因为系统 $(2.3)$ 满足局部Lipschitz条件, 则对任意的初始条件 $(2.2)$ , 且 $(\phi_1(0), \phi_2(0), $ $\phi_3(0))\in {\Bbb R}_+^3$ , 在 $t\in[0, \tau_e)$ 上, 系统有唯一局部解 $(S(t), I(t), R(t))$ , 其中, $\tau_e$ 是爆破时间[12].首先, 我们证明对 $t\in(0, \tau_e)$ , 局部解 $(S(t), I(t), R(t))$ 是正的, 几乎处处成立.定义以下停时
则需证 $t_+=\tau_e$ a.s..若此式不成立, 则 $P\{t_+<\tau_e\}>0$ .因此, 对几乎所有的 $\omega\in\{t_+<\tau_e\}$ , $t\in[0, t_+)$ , 由伊藤公式[12]可得
取期望可得
因为对所有的 $\omega\in\{t_+<\tau_e\}$ , $S(t)$ , $I(t)$ 和 $R(t)$ 是正的, $S(t_+)I(t_+)R(t_+)=0$ , 则 $\lim\limits_{t\rightarrow t_+}{\Bbb E}(\ln S(t)+\ln I(t)+ \ln R(t))=-\infty$ .因此
因为由系统 $(2.3)$ 可知
则对 $t\in[0, t_+)$ , 若 $\sum\limits_{i=1}^3\phi_i(0)\leqslant\frac{b}{d}$ , 有
若 $\sum\limits_{i=1}^3\phi_i(0)>\frac{b}{d}$ , 有
所以
因此, $(3.1)$ 式的右端是有限的.则 $t_+=\tau_e$ a.s..
其次, 我们证明此正解是全局的.对每个大于或者等于 $\sum\limits_{i=1}^3\phi_i(0)$ 的整数 $k$ , 定义停时
显然, 当 $k\rightarrow\infty$ 时, $\tau_k$ 是递增的.令 $\tau_{\infty}=\lim\limits_{k\rightarrow\infty}\tau_k$ , $\tau_{\infty}\leqslant\tau_e$ a.s.若我们能证明 $\tau_{\infty}=\infty$ a.s..则 $\tau_e=\infty$ a.s..且对 $t\geqslant0$ , 解 $(S(t), I(t), R(t))$ 是正的.换言之, 我们只需要证明 $\tau_{\infty}=\infty$ a.s.若此式不成立, 则存在常数 $T>0$ 和 $\epsilon\in(0, 1)$ 使得 $ P\{\tau_{\infty}\leqslant T\}>\epsilon. $ 因此亦存在一整数 $k_1$ , 当 $k\geqslant k_1$ 时, $P\{\tau_k\leqslant T\}>\epsilon$ .对函数 $\exp(dt)(S(t)+I(t)+R(t))$ 应用伊藤公式而后取期望可得
令 $\Omega_k=\{\tau_k\leqslant T\}$ , $k\geqslant k_1$ 时, $P\{\Omega_k\}\geqslant\epsilon$ .对所有的 $\omega\in\Omega_k$ , 有 $S(\tau_k, \omega)+I(\tau_k, \omega)+R(\tau_k, \omega)=k$ .则 $(3.3)$ 式左端
其中, $1_{\{\cdot\}}$ 是示性函数.令 $k\rightarrow\infty$ , 则
此式矛盾.所以可得 $\tau_{\infty}=\infty$ , a.s..
本节考虑无病平衡点的稳定性问题.易知, 系统 $(2.1)$ 的无病平衡点 $E_0=(\frac{b}{d}, 0, 0)$ 仍是系统 $(2.3)$ 的无病平衡点.若我们能证明此平衡点稳定, 则说明疾病在一定条件下可消除.首先通过以下变换
可将系统 $(2.3)$ 转换为
初值为: $(\xi_1, \xi_2, \xi_3)$ , $\xi_j\in C([-\tau, 0], {\Bbb R})$ , $j=1, 2, 3.$
定理3.2 若定理 $3.1$ 条件满足,且
则系统 $(3.4)$ 的零解是随机稳定的, 即系统 $(2.3)$ 的无病平衡点是随机稳定的或依概率稳定.
证 设 $a>0$ , 令
对系统 $(3.4)$ , 由伊藤公式得
因为
则将(3.6)-(3.9)式代入(3.5)式可得
其中
则
构造Lyapunov泛函为
定义停时
对任意 $t\geqslant0$ , 由伊藤公式可得
因
则对任意小 $\epsilon_1>0$ , 存在 $\delta_1>0$ , 若 $x^2(s)+y^2(s)\leqslant \delta_1^2$ , 使得
因此对任意 $0<\epsilon_2<1$ , $0<\epsilon<\delta_1$ , 取
当 $\|\xi_1\|^2+\|\xi_2\|^2+\|\xi_3\|^2<\delta^2$ 时, 可知
由定理 $3.2$ 条件成立, 可知存在 $a>0$ , 使得
所以对充分小的 $\epsilon_1>0$ , 可得
另一方面
因此, 当 $t\rightarrow\infty$ , 可得
即对 $t\geqslant0$ , 有
由定义 $2.1$ 可知, 系统 $(2.3)$ 的无病平衡点是随机稳定的.
对于确定型传染病模型, 人们通常除考虑无病平衡点的稳定性外, 还通过分析地方病平衡点的稳定性, 来讨论是否会形成地方病, 疾病是否流行等.易知, 系统 $(2.1)$ 的地方病平衡点 $P^*=(S^*, I^*, R^*)$ 已不是系统 $(2.3)$ 的平衡点.因此, 本节通过以下定理来讨论 $P^*$ 在随机绕动下的渐近性质,从而讨论疾病的流行情况.
定理3.3 若定理 $3.1$ 条件满足, 且 $R_0={\frac{bk\exp(-{\rm d}\tau)}{d(d+\mu)}}>1$ , 则
证 令 $x=S-S^*$ , $y=I-I^*$ , $z=R-R^*$ , 则系统 $(2.3)$ 可化为
其中 $a_1$ , $a_2$ , $a_3$ 分别由(3.10), $(3.12)$ 和 $(3.11)$ 式给出, $a_i>0, i=1, 2, 3$ .由伊藤公式可得
由 $(3.10)$ , $(3.11)$ 式知 $4a_1d=2k\exp(-{\rm d}\tau)f(I^*)$ 且 $2a_3\mu=4a_1d$ .又因为
由系统 $(2.1)$ 的第二个方程知
又由 $(3.12)$ 式可得
所以对任意小 $\epsilon_3>0$ , 存在 $\delta_2>0$ , 当 $x^2(t)+y^2(t)\leqslant\delta_2^2$ 时, 有
又因为
因此, 构造Lyapunov泛函为
由以上讨论可知
则其是一局部连续鞅, $H(0)=0$ , 由 $(3.2)$ 和 $(3.13)$ 式知
由引理 $2.1$ 强大数定理可知
因此
所以, 对充分小的 $\epsilon_3$ , 有
证毕.
注3.1 由定理 $3.3$ 知, 对系统 $(2.1)$ 的地方病平衡点 $P^*=(S^*, I^*, R^*)$ , 存在正常数 $K$ 使得
其中 $X=(S, I, R)$ 是系统 $(2.3)$ 的解.因此, 定理 $3.3$ 可近似看做是讨论地方病平衡点的稳定性.当随机扰动强度 $\sigma$ 减小时, 系统 $(2.3)$ 的解趋于 $P^*$ , 传染病流行.另外, 从此定理可推出, 传染病的流行, 受环境白噪声随机扰动强度的影响.
本节根据以上定理的理论结果, 我们选取适当的参数, 利用Matlab仿真.为简便, 始终选取初值为 $(0.1, 0.6, 0.2)$ .
首先, 选取参数 $b=1, d=1, k=0.8, \alpha=0.3, \gamma=0.4, \mu=0.5, \tau=0.6$ .当 $\sigma=0$ 时, 基本再生数 $R_0=0.2927<1$ , 由文献[3]知系统 $(2.1)$ 的无病平衡点 $(1, 0, 0)$ 是稳定的, 如图 1.当 $\sigma=0.6$ 时, 定理 $3.2$ 中条件成立, 则无病平衡点 $(1, 0, 0)$ 是稳定的, 如图 2.
其次, 依据文献[4]中参数, 选取 $b=4, k=6, \alpha=0.1, d=\gamma=\mu=1, \tau=1$ .则系统 $(2.1)$ 的地方病平衡点 $P^*=(1.2178, 1.8547, 0.9273)$ .当 $\sigma=0$ 时, 地方病平衡点 $P^*$ 是稳定的, 如图 3.当选取 $\sigma=0.1$ 时, 由图 4可知, 系统 $(2.3)$ 的解在 $P^*$ 处震荡.当环境白噪声强度增大, 取 $\sigma=0.8$ 时, 系统解在 $P^*$ 附件的扰动越强烈, 如图 5.因此, 可推出定理 $3.3$ 的理论结果是合理的.
本文研究了一类具有非单调发生率的随机传染病模型.首先考虑了系统模型的解在有限时间内不爆破, 是正的全局解.其次, 证明了模型无病平衡点是随机稳定的, 疾病在一定条件下将消除.由定理 $3.2$ 中得到的稳定性条件与文献[3]中结论比较, 可将 $\frac{S_0^2\sigma^2}{2}$ , 其中 $S_0=\frac{b}{d}$ , 看作是环境白噪声对无病平衡点的扰动强度.另外, 本文还讨论了相应的确定型模型的地方病平衡点在随机绕动下的渐近性质, 得到了疾病的流行规律.最后, 通过数值仿真, 对本文结论进行了验证.