具有临时免疫的分布时滞SIRS流行病模型

SIRS Epidemic Model with Temporary Immunity and Distributed Delay

摘要: 本文研究了一种具有临时免疫的随机分布时滞SIRS流行病模型。通过构造合适的李雅普诺夫函数，得到了系统正解的存在性和唯一性。还得到了疾病灭绝的充分条件并给出了阈值。

Abstract: In this paper, we study an epidemic model of random distributed delay SIRS with temporary im-munity. By constructing proper lyapunov functions, the existence and uniqueness of positive solu-tions are obtained. Sufficient conditions for the extinction of the disease are also obtained and thresholds are given.

1. 引言

传染病已经严重的威胁了人类的健康和生命。根据世界卫生组织的调查，世界上近三分之一的人口死于传染病，这对人类来说是个可怕的数字。为了预防和控制传染病的传播，许多学者运用数学模型来研究传染病传播的动力学行为 [1] [2] [3]。传统的传染病模型将整个人群分为三类：易感人群S，受感染的人群I和康复人群R。对于某些疾病，一些从感染中恢复的人对再次感染有短期或长期的免疫力。因此，我们必须在模型中考虑免疫效应，以便更好地反映传染病传播的实际动态，及时预测未来传染病的爆发。免疫可以在一个人从感染中恢复后自然获得，也可以通过母亲的抗体传染给新生儿。由于一些疾病提供终身免疫，而另一些疾病只提供临时免疫，因此免疫的持续时间各不相同。

时滞微分方程已成功地应用于SIR、SIS和SIRS流行病模型。Hethcote和van den Driessche [4] 考虑了一种SIS传染病的模型，该模型具有可变的种群规模和恒定的感染持续时间。研究还得到Hopf分岔可能发生在特有的平衡点上，并导致某些参数值的周期性振荡。Beretta et al. [5] 研究了具有分布时滞的SIR流行病模型的全局稳定性，并且描述了个体失去传染性所需的时间。使用了李亚普诺夫函数来确认无病和地方病平衡点的全局稳定性。最近，Brauer et al. [6] 应用线性发病率研究感染性疾病在双菌斑环境中的传播动态。主要的假设有一个固定的临时免疫期，在此期间恢复的人群返回到易感人群中。Konstantin et al. [7] 主要认为免疫力随着时间的推移而减弱，提出了一种考虑免疫周期变化的分布式时滞微分方程模型，并且证明了无病平衡和地方病平衡的稳定性。这意味着在一个人康复之后，只有在对这种疾病有了一段时间的免疫力之后才会再次变得易感。模型如下：

(1)

这里的所有参数均为正的常数， $S\left(t\right)$ 代表易感者的数量， $I\left(t\right)$ 代表染病者的数量， $R\left(t\right)$ 代表恢复者的数量。 $\Lambda$ 表示招募率， $N\left(t\right)$ 代表总人口， $\mu$ 表示自然死亡率， $\beta$ 表示传染率系数， $\gamma$ 表示恢复率并且有

${\displaystyle {\int }_0^{\infty }g\left(s\right)\text{d}s}=\mathrm{1,}g\left(s\right)\ge 0$。

另一方面，由于传染病在传播过程中受到环境噪声的影响 [8] - [13]。确定性数学微分方程模型在预测传染病传播动态方面具有一定的局限性，因此，在数学模型中考虑随机噪声是必要的。与确定性模型相比，随机微分方程模型能更准确地预测未来传染病的传播。目前，引入随机扰动的方法很多 [14] - [20]。一般情况下，环境波动可以用高斯白噪声来模拟。在这篇论文中，受文献 [21] 的启发，假设 $\beta$ 在平均值附近波动，所以 $\beta$ 可以看作是这样一个随机变量 $\beta \to \beta +\beta \sigma$。因此，随机微分方程描述如下：

$\{\begin{array}{l}\text{d}S=\left[\Lambda -\beta S\left(t\right)I\left(t\right)-\mu S\left(t\right)+\gamma {\displaystyle {\int }_0^{\infty }I\left(t-s\right)g\left(s\right){\text{e}}^{-\mu s}\text{d}s}\right]\text{d}t-\sigma S\left(t\right)I\left(t\right)\text{d}B\left(t\right),\\ \text{d}I=\left[\beta S\left(t\right)I\left(t\right)-\left(\mu +\gamma \right)I\left(t\right)\right]\text{d}t+\sigma S\left(t\right)I\left(t\right)\text{d}B\left(t\right),\\ \text{d}R=\left[\gamma I-\gamma {\displaystyle {\int }_0^{\infty }I\left(t-s\right)g\left(s\right){\text{e}}^{-\mu s}\text{d}s}-\mu R\left(t\right)\right]\text{d}t,\end{array}$ (2)

$B\left(t\right)$ 是独立的标准布朗运动，表示标准高斯白噪声强度。由于系统(2)中的前两个方程与第三个方程无关，所以系统可以等价地写成：

$\{\begin{array}{l}\text{d}S=\left[\Lambda -\beta S\left(t\right)I\left(t\right)-\mu S\left(t\right)+\gamma {\displaystyle {\int }_0^{\infty }I\left(t-s\right)g\left(s\right){\text{e}}^{-\mu s}\text{d}s}\right]\text{d}t-\sigma S\left(t\right)I\left(t\right)\text{d}B\left(t\right),\\ \text{d}I=\left[\beta S\left(t\right)I\left(t\right)-\left(\mu +\gamma \right)I\left(t\right)\right]\text{d}t+\sigma S\left(t\right)I\left(t\right)\text{d}B\left(t\right).\end{array}$ (3)

2. 全局正解的存在唯一性

引理2.1 任何初始值 $S\left(0\right)>0$ 和 $I\left(\zeta \right)\ge 0$ 对于 $\zeta \in \left[-\tau \mathrm{,0}\right)$ 有 $I\left(0\right)>0$。当 $t\ge 0$ 时，系统(3)存在唯一的正解 $S\left(t\right)>0,I\left(t\right)>0$ 且该解以1为概率几乎处处。

证明：因为系统(3)的系数满足局部Lipschitz条件，因此，对于任意给定的初值 $\left(S\left(0\right)\mathrm{,}I\left(0\right)\right)\in R_{+}^2$，系统(3) 存在唯一的局部解 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)$， $t\in \left[\mathrm{0,}{\tau }_e\right)$，其中 ${\tau }_e$ 表示爆破时间 [22]。为了证明 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)$ 是全局的，我们只需要证明 ${\tau }_e=\infty$ 几乎处处成立。令 $m_0\ge 0$ 是一个足够大的数使得 $\left(S\left(0\right)\mathrm{,}I\left(0\right)\right)$ 位于区间

$\left[\frac{1}{m_0}\mathrm{,}{m}_0\right]$ 中。对每一个整数 $m\ge 0$，定义停时

${\tau }_m=\inf \left\{t\in \left[0,{\tau }_e\right):S\left(t\right)\le 0或I\left(t\right)\ge 0\right\}.$

在这篇文章中，记 $\varnothing =\infty$ (通常 $\varnothing$ 表示空集)。明显，当 $m\to \infty$ 时， ${\tau }_m$ 是单调递增的。令 ${\tau }_{\infty }=\underset{m\to \infty }{lim}{\tau }_m$，

有 ${\tau }_{\infty }\le {\tau }_e$ 几乎处处。因此我们只需要证明 ${\tau }_{\infty }=\infty$ 几乎处处。利用反证法，假设 ${\tau }_{\infty }\ne \infty$，则存在常数 $T\ge 0$ 和使得

$P\left\{{\tau }_{\infty }\le T\right\}>\epsilon .$

因此，存在一个整数 $m_1\ge m_0$ 使得

$\begin{array}{l}P\left\{{\tau }_m\le T\right\}\ge \epsilon ,\mathrm{<mi>\; </mi>}\mathrm{<mi>\; </mi>}\forall m\ge m_1\mathrm{.}\hfill \end{array}$ (4)

定义 $C^2$ -函数 $V\mathrm{<mo>\; :\; </mo>}{R}_{+}^2\to R$

$V\left(S\left(t\right),I\left(t\right)\right)=\ln \left(S\left(t\right)I\left(t\right)\right).$ (5)

给系统(3)应用Itô’s公式，对于所有的 $t\in \left[-\tau \mathrm{,}{\tau }_e\right)$ 时有 $\omega \in \left({\tau }_m<T\right)$。也可以得到

$\begin{array}{l}\text{d}V\left(S\left(t\right),I\left(t\right)\right)\\ =\frac{1}{S\left(t\right)}\left\{\left[\Lambda -\beta S\left(t\right)I\left(t\right)-\mu S\left(t\right)+\gamma {\displaystyle {\int }_0^{\infty }I\left(t-s\right)g\left(s\right){\text{e}}^{-\mu s}\text{d}s}\right]\text{d}t-\sigma S\left(t\right)I\left(t\right)\text{d}B\left(t\right)\right\}\\ +\frac{1}{I\left(t\right)}\left\{\left[\beta S\left(t\right)I\left(t\right)-\left(\mu +\gamma \right)I\left(t\right)\right]\text{d}t+\sigma S\left(t\right)I\left(t\right)\text{d}B\left(t\right)\right\}-\frac{{\sigma }^2{S}^2\left(t\right)}{2}\text{d}t-\frac{{\sigma }^2{I}^2\left(t\right)}{2}\text{d}t\\ =\left[\frac{\Lambda }{S\left(t\right)}-\beta I\left(t\right)-\mu +\frac{\gamma {\displaystyle {\int }_0^{\infty }I\left(t-s\right)g\left(s\right){\text{e}}^{-\mu s}\text{d}s}}{S\left(t\right)}-\frac{{\sigma }^2{I}^2\left(t\right)}{2}\right]\text{d}t\\ -\sigma I\left(t\right)\text{d}B\left(t\right)+\left[\beta S\left(t\right)-\left(\mu +\gamma \right)-\frac{{\sigma }^2{S}^2\left(t\right)}{2}\right]\text{d}t+\sigma S\left(t\right)\text{d}B\left(t\right)\\ \ge \left[-\beta I\left(t\right)-\mu -\left(\mu +\gamma \right)-\frac{{\sigma }^2{I}^2\left(t\right)}{2}-\frac{{\sigma }^2{S}^2\left(t\right)}{2}\right]\text{d}t-\sigma I\left(t\right)\text{d}B\left(t\right)+\sigma S\left(t\right)\text{d}B\left(t\right),\end{array}$

由此得出

$\text{d}V\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)\ge H\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)dt-\sigma I\left(t\right)\text{d}B\left(t\right)+\sigma S\left(t\right)\text{d}B\left(t\right).$ (6)

其中

$H\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)=-\beta I\left(t\right)-\mu -\left(\mu +\gamma \right)-\frac{{\sigma }^2{I}^2\left(t\right)}{2}-\frac{{\sigma }^2{S}^2\left(t\right)}{2}.$

对(6)两边从0到t积分，得到

$V\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)\ge V\left(S\left(0\right)\mathrm{,}I\left(0\right)\right)+{\displaystyle {\int }_0^{t}H\left(S\left(u\right),I\left(u\right)\right)\text{d}u}-\sigma I\left(t\right)\text{d}B\left(t\right)+\sigma S\left(t\right)\text{d}B\left(t\right).$ (7)

因为 $\left(S\left({\tau }_m\right)\mathrm{,}I\left({\tau }_m\right)\right)$ 等于0，所以可以得到

$\underset{t\to {\tau }_m}{\lim }V\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)=-\infty .$

对于(7)，令 $t\to {\tau }_m$，可以得到

$-\infty =V\left(S\left(0\right)\mathrm{,}I\left(0\right)\right)+{\displaystyle {\int }_0^{{\tau }_m}Z\left(S\left(u\right),I\left(u\right),R\left(u\right)\right)\text{d}u}+{\sigma }_1{B}_1\left({\tau }_m\right)+{\sigma }_2{B}_2\left({\tau }_m\right)>-\infty$，这就产生了矛盾。

因此有 ${\tau }_m=\infty$ a.s.因此，上述证明就完成了。

引理2.2 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)$ 是模型(3)的解， $S\left(0\right)>0$ 和 $I\left(\zeta \right)\ge 0$ 对于所有的 $\zeta \in \left[-\tau \mathrm{,0}\right)$ 有 $I\left(0\right)>0$ 是解的初值，则有

$\underset{t\ge 0}{\sup }\left(S\left(t\right)+I\left(t\right)\right)<\infty \mathrm{<mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$ (8)

证明：

$\underset{t\ge 0}{\sup }\left(S\left(t\right)+I\left(t\right)\right)<\infty \mathrm{<mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$ (9)

首先需要证明

$\mathbb{P}\left\{\underset{t\to \infty }{\lim }\sup \left(S\left(t\right)+I\left(t\right)\right)<\infty \right\}=1,$

用假设方法来证明

$\mathbb{P}\left\{\underset{t\to \infty }{\lim }\sup \left(S\left(t\right)+I\left(t\right)\right)<\infty \right\}<1,$

因此，我们得到

$\mathbb{P}\left\{\underset{t\to \infty }{\lim }\sup \left(S\left(t\right)+I\left(t\right)\right)=\infty \right\}>0,$

因此，有 $\xi >0$ 和 $t_n$ 满足

$\underset{n\to \infty }{\lim }{t}_n=\infty \mathrm{<mi>\; </mi>\; <mi>\; </mi>}\text{and}\mathrm{<mi>\; </mi>\; <mi>\; </mi>}\mathbb{P}\left\{\underset{n\to \infty }{\lim }\left(S\left(t_n\right)+I\left(t_n\right)\right)=\infty \right\}>\xi .$

存在一个足够大的常数M使得 $N\in N^{+}$，当 $n>N$ 时有

$\mathbb{P}\left\{\left(S\left(t_n\right)+I\left(t_n\right)\right)>M\right\}>\frac{\xi }{2}.$

显然，当 $n>N$ 有

$\mathbb{E}\left(S\left(t_n\right)+I\left(t_n\right)\right)>\frac{\xi M}{2},$

因此，

$\underset{n\to \infty }{\lim }\sup \mathbb{E}\left(S\left(t_n\right)+I\left(t_n\right)\right)\ge \frac{\xi M}{2}.$

令 $M\to \infty$，可以得到

$\underset{n\to \infty }{\lim }\sup \mathbb{E}\left(S\left(t_n\right)+I\left(t_n\right)\right)=\infty .$ (10)

此外，当 $t\ge 0$，我们可以得到以下方程

$\begin{array}{l}\mathbb{E}\left[{\text{e}}^{\mu t}\left(S\left(t\right)+I\left(t\right)\right)\right]\\ =S\left(0\right)+I\left(0\right)+\mathbb{E}\left[{\displaystyle {\int }_0^t{\text{e}}^{\mu \kappa }\left[\Lambda +\gamma {\displaystyle {\int }_0^{\infty }I\left(\kappa -s\right)g\left(s\right){\text{e}}^{-\mu s}\text{d}s}-\gamma I\left(\kappa \right)\right]\text{d}\kappa }\right]\\ \le S\left(0\right)+I\left(0\right)+\frac{\Lambda \left({\text{e}}^{\mu t}-1\right)}{\mu }+\gamma {\displaystyle {\int }_{-\tau }^0{\displaystyle {\int }_0^{\infty }I\left(\kappa -s\right){\text{e}}^{\mu \left(\kappa -s\right)}g\left(s\right)\text{d}s\text{d}\kappa }}\\ \le S\left(0\right)+I\left(0\right)+\frac{\Lambda {\text{e}}^{\mu t}}{\mu }+\gamma {\displaystyle {\int }_{-\tau }^0{\displaystyle {\int }_0^{\infty }I\left(\kappa -s\right){\text{e}}^{\mu \left(\kappa -s\right)}g\left(s\right)\text{d}s\text{d}\kappa }},\end{array}$

因此，可以得到

$\mathbb{E}\left[S\left(t\right)+I\left(t\right)\right]\le \frac{\Lambda }{\mu }+{\text{e}}^{-\mu t}\left[S\left(0\right)+I\left(0\right)+\gamma {\displaystyle {\int }_{-\tau }^0{\displaystyle {\int }_0^{\infty }I\left(\kappa -s\right){\text{e}}^{\mu \left(\kappa -s\right)}g\left(s\right)\text{d}s\text{d}\kappa }}\right]\mathrm{,}$

进一步，可以得到

$\underset{t\to \infty }{\lim }\sup \mathbb{E}\left[S\left(t\right)+I\left(t\right)\right]\le \frac{\Lambda }{\mu },$

这就产生了矛盾，因为上面不等式的右边是有限的。于是，我们得到

$\mathbb{P}\left\{\underset{t\to \infty }{\lim }\sup \left(S\left(t\right)+I\left(t\right)\right)<\infty \right\}=1.$ (11)

由于 $S\left(t\right)$ 和 $I\left(t\right)$ 是连续的，结合(9)有

$\underset{t\ge 0}{\sup }\left(S\left(t\right)+I\left(t\right)\right)<\infty \mathrm{<mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$

因此，我们完成了上述证明。

显然，我们可以由引理2.1和引理2.2得到以下定理：

定理2.3 令 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)$ 是系统(3)带有任意初值 $\left(S\left(0\right)\mathrm{,}I\left(0\right)\right)\in {ℝ}_{+}^2$ 的解，那么系统(3)存在唯一的全局解 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)$，且该解以概率1停留在 $R_{+}^2$ 中，即当 $t\ge 0$ 时，系统(3)的解 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)\in R_{+}^2$。

3. 疾病的灭绝性

在这一节中，我们将讨论疾病的灭绝，定义

$\begin{array}{l}\hat{R}=\frac{\beta N_0}{\mu +\gamma }-\frac{{\sigma }^2{N}_0^2}{2\left(\mu +\gamma \right)}.\hfill \end{array}$

定理3.1 令 $S\left(t\right)>0,I\left(t\right)>0$ 是系统(3)的解，其中 $S\left(0\right)>0$ 和 $I\left(\zeta \right)\ge 0$ 对于 $\zeta \in \left[-\tau \mathrm{,0}\right)$ 有 $I\left(0\right)>0$ 是解的初值，则

1) 如果 $\sigma >0$，则

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le \frac{{\beta }^2}{2{\sigma }^2}-\left(\mu +\gamma \right)\mathrm{<mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}.$

2) 如果 $\beta \ge {\sigma }^2{N}_0$，则

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le \left(\mu +\gamma \right)\left(\hat{R}-1\right)\mathrm{<mi>\; </mi>\; <mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$

证明：根据文献 [23] 和定理2.1，当所有的数 $t\ge T_0$ 时，对于任意的数 $\eta >0$，存在一个常数 $T_0$ 满足

$S\left(t\right)+I\left(t\right)\le N_0+\eta$，应用Itô’s公式，其中 $N_0=\max \left\{N\left(0\right),\frac{\Lambda }{\mu }\right\}$，那么可以得到

$\text{d}\ln I\left(t\right)=\left[\beta S\left(t\right)-\left(\mu +\gamma \right)-\frac{{\sigma }^2{S}^2\left(t\right)}{2}\right]\text{d}t+\sigma S\left(t\right)\text{d}B\left(t\right).$ (12)

先证明上述定理的结论(2)。如果，可以得到

$\text{d}\ln I\left(t\right)\le \left[\beta \left(N_0+\eta \right)-\left(\mu +\gamma \right)\right]\text{d}t,$

对于所有的 $t\ge T_0$，显然有

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le \left(\mu +\gamma \right)\left[\frac{\beta \left(N_0+\eta \right)}{\mu +\gamma }-1\right],$

由于 $\eta$ 的任意性，可以得到

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le \left(\mu +\gamma \right)\left[\frac{\beta N_0}{\mu +\gamma }-1\right].$

根据方程(12)，如果 $\sigma >0$，那么对于任意的 $ϵ>0$ 有

$\frac{\ln I\left(t\right)}{t}\le \frac{\ln I\left(0\right)}{t}+\frac{\beta +ϵ}{t}{\displaystyle {\int }_0^{t}S\left(s\right)\text{d}s}-\left(\mu +\gamma \right)-\frac{{\sigma }^2}{2t}{\displaystyle {\int }_0^t{\left(S\left(s\right)\right)}^2\text{d}s}+\frac{\sigma }{t}{\displaystyle {\int }_0^{t}S\left(s\right)\text{d}B\left(s\right)},$

接下来构造一个函数

$J\left(x\right)=\left(\beta +ϵ\right)x-\frac{{\sigma }^2{x}^2}{2}-\left(\mu +\gamma \right)\mathrm{.}$

当 $x\in \left[\mathrm{0,}\frac{\beta +ϵ}{{\sigma }^2}\right)$ 时， $J\left(x\right)$ 是单调递增函数，当 $x\in \left[\frac{\beta +ϵ}{{\sigma }^2}\mathrm{,}\infty \right)$ 时， $J\left(x\right)$ 是单调递减函数。根据条件 $\beta \ge {\sigma }^2{N}_0$ 就可以得到 $N_0\le \frac{\beta }{{\sigma }^2}$。因此，选择一个常数 $\eta >0$ 使得 $\eta \le ϵ$ 和 $N_0+\eta \le \frac{\beta +ϵ}{{\sigma }^2}$。 对于所有的 $t\ge T_0$，因为 $S\left(t\right)\in \left(\mathrm{0,}{N}_0+\eta \right)$，所以有

$J\left(S\left(t\right)\right)\le J\left(N_0+\eta \right)\mathrm{.}$

因此，如果 $t\ge T_0$ 时有

$\begin{array}{c}\frac{\ln I\left(t\right)}{t}\le \frac{\ln I\left(0\right)}{t}+\frac{1}{t}{\displaystyle {\int }_0^{t}J\left(s\right)\text{d}s}+\frac{\sigma }{t}{\displaystyle {\int }_0^{t}S\left(s\right)\text{d}B\left(s\right)}\\ \le \frac{\ln I\left(0\right)}{t}+\frac{1}{t}{\displaystyle {\int }_0^{T_0}J\left(s\right)\text{d}s}+\frac{1}{t}J\left(N_0+\eta \right)\left(t-T_0\right)+\frac{\sigma }{t}{\displaystyle {\int }_0^{t}S\left(s\right)\text{d}B\left(s\right)},\end{array}$ (13)

根据强大数定理有

$\underset{t\to \infty }{\lim }\sup \frac{1}{t}{\displaystyle {\int }_0^{t}S\left(s\right)\text{d}B\left(s\right)}=\mathrm{0\; <mi>\; </mi>\; <mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$

根据(13)可以得到

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le J\left(N_0+\eta \right)\mathrm{<mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}.$

由于 $ϵ$ 和 $\eta$ 的任意性，可以得到

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le \beta N_0-\frac{{\sigma }^2{N}_0^2}{2}-\left(\mu +\gamma \right)=\left(\mu +\gamma \right)\left(\hat{R}-1\right)\mathrm{<mi>\; </mi>\; <mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$

接下来证明定理3.1的结论(1)。如果 $\sigma >0$，则 $J\left(x\right)$ 在 $x=\frac{\beta +ϵ}{{\sigma }^2}$ 时有一个最大值 $\frac{{\left(\beta +ϵ\right)}^2}{2{\sigma }^2}-\left(\mu +\gamma \right)$。因此，对所有的 $t\ge 0$ 时有

$J\left(x\right)\le \frac{{\left(\beta +ϵ\right)}^2}{2{\sigma }^2}-\left(\mu +\gamma \right)\mathrm{.}$

然后

$\frac{\ln I\left(t\right)}{t}\le \frac{\ln I\left(0\right)}{t}+\frac{{\left(\beta +ϵ\right)}^2}{2{\sigma }^2}-\left(\mu +\gamma \right)+\frac{\sigma }{t}{\displaystyle {\int }_0^{t}S\left(s\right)\text{d}B\left(s\right)}.$

与上述方法相似，我们还可以得到

$\underset{t\to \infty }{\lim }\sup \frac{\ln I\left(t\right)}{t}\le \frac{{\beta }^2}{2{\sigma }^2}-\left(\mu +\gamma \right)\mathrm{<mi>\; </mi>\; <mi>\; </mi>\; <mi>\; </mi>}\text{a}\text{.s}\text{.}$

因此，上述证明已完成。

注3.2 由定理3.1表明，如果条件(1) ${\sigma }^2>\frac{{\beta }^2}{2\left(\mu +\gamma \right)}$ 或者(2) ${\sigma }^2\le \frac{\beta }{N_0}$ 和 $\hat{R}<1$ 满足，则对于系统(3)的任意一个解 $\left(S\left(t\right)\mathrm{,}I\left(t\right)\right)$ 总是有 $\underset{t\to \infty }{\lim }I\left(t\right)=0$。这意味着疾病灭绝。

4. 结论

本文研究了具有分布时滞的参数扰动下的SIRS传染病模型，并证明了系统(3)解的唯一性和存在性，

并且通过构造合适的李雅普诺夫函数得到疾病灭绝的条件，即 ${\sigma }^2>\frac{{\beta }^2}{2\left(\mu +\gamma \right)}$ 或者 ${\sigma }^2\le \frac{\beta }{N_0}$ 和 $\hat{R}<1$ 满足时

疾病灭绝。

另一方面，本文考虑的内容还不全面，还有许多问题值得进一步的考虑，例如，我们只考虑由白噪声描述的连续随机扰动。事实上，还有一些随机扰动可以用电报噪声和Lévy噪声来模拟。我们只考虑了疾病灭绝和持续的充分条件，疾病灭绝和持续的必要条件并没有得到。本文所考虑的发生率是双线性和标准发生率，今后的工作还可以研究其他形式发生率(如饱和发生率)下传染病模型的稳定性问题。