Study on a susceptible–exposed–infected–recovered model with nonlinear incidence rate

Abstract

A stochastic susceptible–exposed–infected–recovered (SEIR) model with nonlinear incidence rate is investigated. Under suitable conditions, existence and uniqueness of a global solution, stationary distribution with ergodicity, persistence in the mean, and extinction of the disease are obtained. Numerical simulations and conclusions are separately carried out at the end of this paper.

1 Model formulation

The spread and control of infectious diseases [1–3] was described by governing the mathematical models, aiming to investigate the dynamical properties. Since the pioneering work was established by Kermack and McKendrick [4], the epidemic models have been paid more attention at present. Usually, epidemic models included three states within a total population: the susceptible S, the infected I, and the recovered R. For instance, Cai et al. [5] introduced an SIS model incorporating media coverage to investigate the effects of environment fluctuations. However, for some diseases, such as Hepatitis B, Hepatitis C, and AIDS, the exposed hosts E took a vital role when dynamical behaviors were expected to be discussed. As mentioned in recent literature, a class of epidemic models was considered by some scholars; it was called susceptible–exposed–infected–recovered model (short for SEIR model, see [6–18]).

During the development of epidemic models, incidence rates which describe the relationship between the susceptible and the infected/the exposed play an important role, and meanwhile change its form ranging from bilinear case to nonlinear case when investigation of epidemic models is conducted. For example, [19–22] governed bilinear incidence rate $\beta SI$ to explore epidemic models with fluctuation in epidemic models. If the number of the infected within a population was large, then three types of saturated incidence rates were usually used in epidemiological models: the mixing standard incidence rate $\frac{\beta SI}{N}$ [23–25], the nonlinear incidence rate $\beta S^{q} I^{p}$ [26, 27], and the saturation incidence rate $\frac{\beta SI}{1+\alpha S}$ [28–30]. Later, some generalized and nonlinear incidence rates were studied in recent literature (see [31–33]).

In this paper, we still use four states of epidemic models, that is, the susceptible S, the exposed E, the infected I, and the recovered R, to describe our model with environmental fluctuations. Motivated by the above-mentioned discussions, we assume that individuals within total population are well mixed and settle in the same environment. Our model goes with the idea that the susceptible and the infected contact with constant rate β; after contacting with the infected, the susceptible turns into the exposed when time exceeds incubation period (also called the latent period, see [8, 11, 18]); that the exposed individuals become the infected and then the recovered; and that part of recovered individuals enter again into the susceptible state. According to this spread cycle, we establish our model by equations, and we start with an equation of the susceptible as follows:

$$ \dot{S}(t)= A-\mu S(t)+\delta R(t)- \frac{\beta S(t)I(t)}{\varphi (I(t))}, $$

where A and μ respectively denote the new recruitment rate and the disease-free death rate, δ is the rate at which the recovered individuals become susceptible, $\frac{\beta S I}{\varphi (I)}$ is a nonlinear incidence rate with property that $\varphi (I)$ is increasing and $\varphi (0)=1$, and that, for some constant $l>0$, the following property is valid:

$$ M_{l}:=\sup_{0< I\leq l}\frac{\varphi (I)}{I}< \infty . $$

For the exposed, we have that

$$ \dot{E}(t)= \frac{\beta S(t)I(t)}{\varphi (I(t))}-(\mu + \sigma ) E(t), $$

where σ is the rate at which exposed individuals become infected individuals. Further, the changes of infected and recovered individuals at time t are assumed to follow two ordinary differential equations:

$$ \dot{I}(t)= \sigma E(t)-(\mu +\rho +\gamma ) I(t) $$

and

$$ \dot{R}(t)= \gamma I(t)-(\mu +\delta ) R(t), $$

where ρ is the death rate caused by diseases and γ is the recovery rate of infected individuals. Now, we derive a system that consists of four ordinary differential equations:

$$ \begin{aligned} &\dot{S}(t)= A-\mu S(t)+\delta R(t)- \frac{\beta S(t)I(t)}{\varphi (I(t))}, \\ &\dot{E}(t)= \frac{\beta S(t)I(t)}{\varphi (I(t))}-(\mu + \sigma ) E(t), \\ &\dot{I}(t)=\sigma E(t)-(\mu +\rho +\gamma ) I(t), \\ &\dot{R}(t)=\gamma I(t)-(\mu +\delta ) R(t). \end{aligned} $$

(1)

It follows from (1) that

$$ \frac{\mathrm{d}}{\mathrm{d}t}(S+E+I+R)=A-\mu (S+E+I+R)-\rho I\leq A-\mu (S+E+I+R). $$

Then $\limsup_{t\rightarrow +\infty }(S(t)+E(t)+I(t)+R(t))\leq \frac{A}{\mu }$. Thus the feasible region for system (1) is

$$ \varOmega = \biggl\{ (S, E, I, R)\Bigm|S+E+I+R\leq \frac{A}{\mu }, S>0, E \geq 0, I\geq 0, R\geq 0 \biggr\} . $$

Let IntΩ denote the interior of Ω. It is easy to verify that the region Ω is positively invariant with respect to system (1) (i.e., the solutions with initial conditions in Ω remain in Ω). Hence, system (1) will be considered mathematically and epidemiologically well posed in Ω.

One concern for further investigation is to find out an expression for the basic reproduction number $R_{0}$ of model (1) by using of the next generation matrix (see [34]). The basic reproduction number, sometimes called basic reproductive rate or basic reproductive ratio, is one of the most useful threshold parameters that characterize mathematical problems concerning infectious diseases. This metric is useful because it helps determine whether or not an infectious disease will spread through a population. Next, we calculate the basic reproduction number of system (1). Let $x=(S,E,I,R)^{T}$, where T denotes the transpose of matrix (or vector). Then model (1) can be written as

$$ \frac{\mathrm{d}x}{\mathrm{d}t}=\mathcal{F}(x)-\mathcal{V}(x), $$

where

$$ \mathcal{F}= \begin{pmatrix} 0 \\ \frac{\beta SI}{\varphi (I)} \\ 0 \\ 0 \end{pmatrix}, \qquad \mathcal{V}= \begin{pmatrix} -A+\mu S-\delta R+\frac{\beta SI}{\varphi (I)} \\ (\mu +\sigma ) E \\ -\sigma E+(\mu +\rho +\gamma ) I \\ -\gamma I+(\mu +\delta ) R \end{pmatrix}. $$

So the infected classes can be referred to as $m=2$, that is, the exposed compartment (E) and the infected compartment (I), and the disease-free equilibrium of model (1) is $x_{0}=(\frac{A}{\mu },0,0,0)^{T}$. Based on the detailed documentations in [34–36], we can easily get

$$ F= \begin{pmatrix} 0& \frac{\beta A}{\mu } \\ 0&0 \end{pmatrix},\qquad V= \begin{pmatrix} \mu +\sigma &0 \\ -\sigma &\mu +\rho +\gamma \end{pmatrix}, $$

and the inverse matrix of V is

$$ V^{-1}= \frac{1}{(\mu +\sigma )(\mu +\rho +\gamma )} \begin{pmatrix} {\mu +\rho +\gamma }&0 \\ \sigma & {\mu +\sigma } \end{pmatrix}. $$

Therefore $FV^{-1}$ is the next generation matrix for model (1). It follows that the spectral radius of matrix $FV^{-1}$ is $\rho (FV^{-1})= \frac{A\beta \sigma }{\mu (\mu +\sigma )(\mu +\rho +\gamma )}$. According to Theorem 2 in [34], the basic reproduction number is

$$ R_{0}= \frac{A\beta \sigma }{\mu (\mu +\sigma )(\mu +\rho +\gamma )}. $$

When diseases attack total population in real circumstances, the effects of comprehensive and external fluctuation are inevitable and distinct. We here assume that the effects are proportional to states of models. For instance, the temperature, air humidity, and other factors normally are regarded as comprehensive and external fluctuations. Therefore we consider the following epidemic model with environmental fluctuations and nonlinear incidence rate:

$$ \begin{aligned} &\mathrm{d}S(t)= \biggl[A-\mu S(t)+ \delta R(t)- \frac{\beta S(t)I(t)}{\varphi (I(t))} \biggr]\,\mathrm{d}t+\sigma _{1} S(t) \,\mathrm{d}B_{1}(t), \\ &\mathrm{d}E(t)= \biggl[\frac{\beta S(t)I(t)}{\varphi (I(t))}-( \mu +\sigma ) E(t) \biggr]\, \mathrm{d}t+\sigma _{2} E(t)\,\mathrm{d}B_{2}(t), \\ &\mathrm{d}I(t)=\bigl[\sigma E(t)-(\mu +\rho +\gamma ) I(t)\bigr]\,\mathrm{d}t+ \sigma _{3} I(t)\,\mathrm{d}B_{3}(t), \\ &\mathrm{d}R(t)=\bigl[\gamma I(t)-(\mu +\delta ) R(t)\bigr]\,\mathrm{d}t+\sigma _{4} R(t) \,\mathrm{d}B_{4}(t), \end{aligned} $$

(2)

where $B_{i}(t)$ are standard one-dimensional independent Wiener processes, $\sigma _{i}$ are the intensities of white noise for $\sigma _{i}>0$ and $i=1,2,3,4$. Throughout the paper, unless otherwise specified, let $(\varOmega , \{\mathcal{F}{_{t}}\}_{t\geq 0}, \mathbb{P})$ be a complete probability space with a filtration ${\{\mathcal{F}}{_{t}}\}_{t\geq 0}$ satisfying the usual conditions, that is, it is increasing and right continuous, while $\mathcal{F}{_{0}}$ contains all $\mathbb{P}$-null sets.

The rest of this paper is organized as follows. In Sect. 2, we show that model (2) admits a unique global positive solution with any initial value. In Sect. 3, we establish sufficient conditions for extinction of the disease. In Sect. 4, we verify the persistence in the mean under some conditions. Finally, we prove that there is an ergodic stationary distribution of model (2) by constructing suitable Lyapunov functions.

2 Existence and uniqueness of positive solution

Theorem 2.1

There is a unique solution$(S(t),E(t),I(t),R(t))$to model (2) on$t\geq 0$for any given initial value$(S(0),E(0),I(0),R(0))$in$\mathbb{R}^{4}_{+}$with probability one.

Proof

Because the coefficients of system (2) satisfy locally Lipschitz continuity, there exists a unique local solution $(S(t),E(t),I(t),R(t))$ on $t\in [0,\tau _{e})$, where $\tau _{e}$ is the explosion time. To show that the solution is global, we just need to prove that $\tau _{e}=\infty$. Let $m_{0}>1$ be a sufficiently large integer such that each component of $(S(0),E(0),I(0),R(0))$ lies within the interval $[\frac{1}{m_{0}},m_{0}]$. For each integer $m\geq m_{0}$, we define the stop** time

$$ \tau _{m}:=\inf \biggl\{ t\in [0,\tau _{e}):\min \bigl\{ S(t),E(t),I(t),R(t)\bigr\} \leq \frac{1}{m} \mbox{ or } \max \bigl\{ S(t),E(t),I(t),R(t)\bigr\} \geq m \biggr\} . $$

Throughout this paper, we set $\inf \emptyset =\infty$. It is obvious that $\tau _{m}$ is increasing as $m\rightarrow \infty$ (details can be seen in [37]). We also denote $\lim_{m\rightarrow \infty }\tau _{m}=\tau _{\infty }$. Obviously, there is $\tau _{\infty }\leq \tau _{e}$. If we confirm that $\tau _{\infty }=\infty$, then we get $\tau _{e}=\infty$ for all $t\geq 0$. The proof goes by contradiction. Assuming that $\tau _{\infty }\neq \infty$, then there exists a pair of constants $T>0$ and $\varepsilon \in (0,1)$ such that $\mathbb{P}\{\tau _{\infty }\leq T\}\geq \varepsilon$. Hence there exists an integer $m_{1}\geq m_{0}$ such that $\mathbb{P}\{\tau _{m}\leq T\}\geq \varepsilon$ for each integer $m\geq m_{1}$. We define a $C^{2}$-function $V:\mathbb{R}^{4}_{+}\rightarrow \mathbb{R}_{+}$ as follows:

$$ V(S,E,I,R)=S-b-b\ln \frac{S}{b}+E-1-\ln E+I-1-\ln I+R-1-\ln R, $$

where b is a positive constant that will be determined later. Then, making use of Itô’s formula on $V(S,E,I,R)$, we obtain that

$$\begin{aligned}& \mathrm{d}V\bigl(S(t),E(t),I(t),R(t)\bigr) \\& \quad = \biggl(1-\frac{b}{S} \biggr)\,\mathrm{d}S+ \biggl(1- \frac{1}{E} \biggr)\,\mathrm{d}E+ \biggl(1-\frac{1}{I} \biggr) \,\mathrm{d}I+ \biggl(1-\frac{1}{R} \biggr) \,\mathrm{d}R \\& \qquad {} +\frac{b}{2S^{2}} (\mathrm{d}S )^{2}+ \frac{1}{2E^{2}} (\mathrm{d}E )^{2}+\frac{1}{2I^{2}} (\mathrm{d}I )^{2}+\frac{1}{2R^{2}} (\mathrm{d}R )^{2} \\& \quad = \biggl[A-\mu S+\delta R-\frac{\beta S I}{\varphi (I)}-\frac{Ab}{S}+\mu b- \frac{b\delta R}{S}+ \frac{\beta b I}{\varphi (I)} \biggr]\,\mathrm{d}t+\sigma _{1}(S-b)\,\mathrm{d}B_{1}(t) \\& \qquad {} + \biggl[\frac{\beta S I}{\varphi (I)}-(\sigma +\mu ) E- \frac{\beta S I}{E\varphi (I)}+\sigma +\mu \biggr]\,\mathrm{d}t+\sigma _{2}(E-1)\,\mathrm{d}B_{2}(t) \\& \qquad {} + \biggl[\sigma E-(\mu +\rho +\gamma )I- \frac{\sigma E}{I}+\mu +\rho + \gamma \biggr]\,\mathrm{d}t+\sigma _{3}(I-1) \,\mathrm{d}B_{3}(t) \\& \qquad {} + \biggl[\gamma I-(\mu +\delta )R-\frac{\gamma I}{R}+ \mu +\delta \biggr] \,\mathrm{d}t+\sigma _{4}(R-1)\,\mathrm{d}B_{4}(t) \\& \qquad {} + \frac{b\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+\sigma ^{2}_{4}}{2} \,\mathrm{d}t \\& \quad = \mathcal{L}V\bigl(S(t),E(t),I(t),R(t)\bigr)\,\mathrm{d}t+ \sigma _{1}(S-b)\,\mathrm{d}B_{1}(t)+\sigma _{2}(E-1)\,\mathrm{d}B_{2}(t) \\& \qquad {} +\sigma _{3}(I-1)\,\mathrm{d}B_{3}(t)+\sigma _{4}(R-1)\,\mathrm{d}B_{4}(t), \end{aligned}$$

where

$$\begin{aligned}& \mathcal{L} V\bigl(S(t),E(t),I(t),R(t)\bigr) \\& \quad = A+\mu b+\frac{\beta b I}{\varphi (I)}+\sigma +3\mu +\rho +\gamma +\delta + \frac{b\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+\sigma ^{2}_{4}}{2} \\& \qquad {} - \biggl[\mu S+\frac{Ab}{S}+\frac{b\delta R}{S}+\mu E+ \frac{\beta S I}{E\varphi (I)}+(\mu +\rho )I+\frac{\sigma E}{I}+\mu R+ \frac{\gamma I}{R} \biggr] \\& \quad \leq \beta b I-(\mu +\rho )I+A+\mu b+\sigma +3\mu + \rho +\gamma +\delta + \frac{b\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+\sigma ^{2}_{4}}{2}. \end{aligned}$$

We choose $b=\frac{\mu +\rho }{\beta }$ and denote $K:=A+\mu b+\sigma +3\mu +\rho +\gamma +\delta + \frac{(\mu +\rho )\sigma ^{2}_{1}+\beta \sigma ^{2}_{2}+\beta \sigma ^{2}_{3}+ \beta \sigma ^{2}_{4}}{2\beta }$, so we have

$$ \mathcal{L} V\bigl(S(t),E(t),I(t),R(t)\bigr)\leq K, $$

where K is a positive constant. Then

$$\begin{aligned}& \mathrm{d}V\bigl(S(t),E(t),I(t),R(t)\bigr) \\& \quad \leq K\,\mathrm{d}t+\sigma _{1}(S-b)\,\mathrm{d}B_{1}(t)+ \sigma _{2}(E-1) \,\mathrm{d}B_{2}(t) \\& \qquad {}+\sigma _{3}(I-1)\,\mathrm{d}B_{3}(t)+\sigma _{4}(R-1)\,\mathrm{d}B_{4}(t). \end{aligned}$$

For any $t\in [0,T]$ and $m\geq m_{1}$, we take integration from 0 to $\tau _{m}\wedge T$, and then take expectation on both sides, which gives

$$ \begin{aligned} &{\mathbb{E}} V\bigl(S(\tau _{m}\wedge T),E(\tau _{m}\wedge T),I(\tau _{m} \wedge T),R(\tau _{m}\wedge T)\bigr) \\ &\quad \leq V\bigl(S(0),E(0),I(0),R(0)\bigr)+K{ \mathbb{E}}({\tau _{m}\wedge T}) \\ &\quad \leq V\bigl(S(0),E(0),I(0),R(0)\bigr)+KT< \infty . \end{aligned} $$

We set $\varOmega _{m}=\{\tau _{m}\leq T\}$ for $m\geq m_{1}$, then $\mathbb{P}(\varOmega _{m})\geq \varepsilon$. Each component of $(S(\tau _{m}\wedge T),E(\tau _{m}\wedge T),I(\tau _{m}\wedge T),R( \tau _{m}\wedge T))$ equals either m or $\frac{1}{m}$ for all $w\in \varOmega _{m}$. Therefore, we get

$$ \begin{aligned} \infty &>V\bigl(S(0),E(0),I(0),R(0)\bigr)+KT \\ &\geq { \mathbb{P}}\{ \tau _{m}\leq T\}\min \biggl\{ m-1-\ln m, \frac{1}{m}-1+\ln m \biggr\} \\ &\geq \varepsilon \min \biggl\{ m-1-\ln m, \frac{1}{m}-1+ \ln m \biggr\} . \end{aligned} $$

Let $m\rightarrow \infty$, which implies the contradiction

$$ \infty >V\bigl(S(0),E(0),I(0),R(0)\bigr)+KT\geq \infty , $$

as a consequence, we have $\tau _{\infty }=\infty$. The proof is complete. □

3 Extinction of diseases

Extinction and persistence are two most important issues in the study of epidemic models. For the sake of simplicity, we denote

$$ \bigl\langle x(t)\bigr\rangle =\frac{1}{t} \int _{0}^{t}x(s)\,\mathrm{d}s. $$

Lemma 3.1

For any initial value$(S(0),E(0),I(0),R(0))\in \mathbb{R}_{+}^{4}$, the solution$(S(t),E(t),I(t), R(t))$has the following properties:

$$ \lim_{t \to \infty }\frac{S(t)}{t}=0,\qquad \lim_{t \to \infty } \frac{E(t)}{t}=0,\qquad \lim_{t \to \infty } \frac{I(t)}{t}=0,\qquad \lim_{t \to \infty }\frac{R(t)}{t}=0,\quad \textit{a.s.} $$

and

$$\begin{aligned}& \limsup_{t\rightarrow \infty }\frac{\ln S(t)}{t}\leq 0,\qquad \limsup _{t \rightarrow \infty }\frac{\ln E(t)}{t}\leq 0, \\& \limsup _{t \rightarrow \infty }\frac{\ln I(t)}{t}\leq 0,\qquad \limsup _{t \rightarrow \infty }\frac{\ln R(t)}{t}\leq 0, \quad \textit{a.s.} \end{aligned}$$

Moreover, if$\mu > \frac{\sigma ^{2}_{1}\vee \sigma ^{2}_{2}\vee \sigma ^{2}_{3}\vee \sigma ^{2}_{4}}{2}$, then

$$\begin{aligned}& \lim_{t\rightarrow \infty }\frac{1}{t} \int ^{t}_{0}S(s) \,\mathrm{d}B_{1}(s)=0,\qquad \lim_{t\rightarrow \infty }\frac{1}{t} \int ^{t}_{0}E(s) \,\mathrm{d}B_{2}(s)=0, \\& \lim_{t\rightarrow \infty }\frac{1}{t} \int ^{t}_{0}I(s) \,\mathrm{d}B_{3}(s)=0,\qquad \lim_{t\rightarrow \infty }\frac{1}{t} \int ^{t}_{0}R(s) \,\mathrm{d}B_{4}(s)=0. \end{aligned}$$

The proof of Lemma 3.1 is similar to the approach used in [38, 39], and we omit the proof here.

Lemma 3.2

(Strong law of large numbers [37])

Let$M=\{M_{t}\}_{t\geq 0}$be a real-value continuous local martingale vanishing at$t=0$. Then

$$ \lim_{t \rightarrow \infty }\langle M, M\rangle _{t}=\infty ,\quad \textit{a.s.}\quad \Rightarrow \quad \lim_{t \to \infty } \frac{M_{t}}{\langle M, M\rangle _{t}}=0,\quad \textit{a.s.} $$

and also

$$ \limsup_{t \rightarrow \infty }\frac{\langle M, M\rangle _{t}}{t}< \infty ,\quad \textit{a.s.}\quad \Rightarrow\quad \lim_{t \to \infty }\frac{M_{t}}{t}=0, \quad \textit{a.s.} $$

Theorem 3.1

Let$(S(t),E(t),I(t),R(t))$be the solution of model (2) with any initial value in$\mathbb{R}^{4}_{+}$. If the basic reproduction number satisfies

$$ R_{0}= \frac{A\beta \sigma }{\mu (\sigma +\mu )(\mu +\rho +\gamma )}< 1 $$

and

$$ \mu > \frac{\sigma ^{2}_{1}\vee \sigma ^{2}_{2}\vee \sigma ^{2}_{3}\vee \sigma ^{2}_{4}}{2}, $$

then

$$ \lim_{t\rightarrow \infty }I(t)=0 \quad \textit{a.s.}, $$

then the density of the infected individuals reaches extinction.

Proof

Let

$$ N(t)=S(t)+E(t)+I(t)+R(t), $$

we obtain that

$$\begin{aligned} \mathrm{d} N(t) =& \bigl(A-\mu N(t)-\rho I(t) \bigr)\,\mathrm{d}t+ \sigma _{1}S(t) \,\mathrm{d}B_{1}(t)+\sigma _{2}E(t)\,\mathrm{d}B_{2}(t) \\ &{}+\sigma _{3}I(t) \,\mathrm{d}B_{3}(t)+\sigma _{4}R(t)\, \mathrm{d}B_{4}(t). \end{aligned}$$

(3)

Taking integration on both sides of (3) from 0 to t and according to Lemma 3.1, we see that

$$ \limsup_{t\to \infty }\bigl\langle N(t)\bigr\rangle \leq \frac{A}{\mu }. $$

(4)

Now we define a $C^{2}$-function $W:{\mathbb{R}^{2}_{+}}\rightarrow {\mathbb{R}_{+}}$ as follows:

$$ W(E,I)=m_{1}E(t)+m_{2}I(t), $$

where

$$ m_{1}= \frac{\sigma }{(\sigma +\mu )(\mu +\rho +\gamma )},\qquad m_{2}= \frac{\sqrt{R}_{0}}{\mu +\rho +\gamma }. $$

(5)

Making use of Itô’s formula, we have

$$ \begin{aligned} \mathrm{d}\ln W\bigl(E(t),I(t)\bigr)&= \frac{1}{W} (m_{1}\,\mathrm{d}E+m_{2} \, \mathrm{d}I )-\frac{1}{2W^{2}} \bigl[m^{2}_{1}( \mathrm{d}E)^{2}+m^{2}_{2}( \mathrm{d}I)^{2} \bigr] \\ &= \mathcal{L}\bigl(\ln W\bigl(E(t),I(t)\bigr)\bigr)\,\mathrm{d}t+ \frac{m_{1}\sigma _{2}E\,\mathrm{d}B_{2}(t)+m_{2}\sigma _{3}I\,\mathrm{d}B_{3}(t)}{W}. \end{aligned} $$

Based on the fundamental inequality $(a^{2}+b^{2})(c^{2}+d^{2})\geq (ac+bd)^{2}$ for positive a, b, c, and d, we obtain that

$$ (m_{1}E+m_{2}I)^{2}= \biggl(m_{1}\sigma _{2} E \frac{1}{\sigma _{2}}+m_{2} \sigma _{3}I\frac{1}{\sigma _{3}}\biggr)^{2}\leq \bigl(m^{2}_{1} \sigma ^{2}_{2} E^{2}+m^{2}_{2} \sigma ^{2}_{3} I^{2}\bigr) \biggl( \frac{1}{\sigma ^{2}_{2}}+ \frac{1}{\sigma ^{2}_{3}}\biggr). $$

(6)

Therefore, from (5) and (6)

$$\begin{aligned}& \mathcal{L} \ln W\bigl(E(t),I(t)\bigr) \\& \quad = \frac{1}{W} \biggl[\frac{m_{1}\beta S I}{\varphi (I)}-m_{1}(\sigma +\mu )E+m_{2}\sigma E-m_{2}(\mu +\rho + \gamma )I \biggr]- \frac{m^{2}_{1}\sigma ^{2}_{2}E^{2}+m^{2}_{2}\sigma ^{2}_{3}I^{2}}{2(m_{1}E+m_{2}I)^{2}} \\& \quad \leq \frac{1}{W} \biggl[ \frac{m_{1}\beta S I}{\varphi (I)}+m_{1} \frac{\beta AI}{\mu }-m_{1}( \sigma +\mu )E+m_{2}\sigma E-m_{2}(\mu +\rho +\gamma )I \biggr] \\& \qquad {}- \bigl[2\bigl( \sigma {^{-2}_{2}}+\sigma {^{-2}_{3}} \bigr) \bigr]^{-1} \\& \quad \leq \frac{m_{1}\beta S}{m_{2}}+\frac{1}{W} \biggl\{ \frac{\sigma }{(\sigma +\mu )(\mu +\rho +\gamma )} \biggl[ { \frac{\beta AI}{\mu }}-(\sigma +\mu )E \biggr] \\& \qquad {}+ \frac{\sqrt{R}_{0}}{\mu +\rho +\gamma } \bigl[\sigma E-(\mu +\rho + \gamma )I \bigr] \biggr\} - \bigl[2\bigl(\sigma {^{-2}_{2}}+\sigma {^{-2}_{3}}\bigr) \bigr]^{-1} \\& \quad = \frac{m_{1}\beta S }{m_{2}}+\frac{1}{W} \biggl(R_{0} I- \frac{\sigma }{\mu +\rho +\gamma }E+ \frac{\sqrt{R}_{0}\sigma E}{\mu +\rho +\gamma }-\sqrt{R}_{0} I \biggr)- \bigl[2\bigl(\sigma {^{-2}_{2}}+\sigma {^{-2}_{3}}\bigr) \bigr]^{-1} \\& \quad = \frac{m_{1}\beta S }{m_{2}}+\frac{1}{W}(\sqrt{R}_{0}-1) \biggl(\frac{\sigma }{\mu +\rho +\gamma }E+\sqrt{R}_{0} I \biggr)- \bigl[2\bigl( \sigma {^{-2}_{2}}+\sigma {^{-2}_{3}} \bigr) \bigr]^{-1} \\& \quad = \frac{m_{1}\beta S}{m_{2}}+\frac{1}{W}(\sqrt{R}_{0}-1) \bigl[(\sigma +\mu )m_{1}E+(\mu +\rho +\gamma )m_{2}I \bigr]- \bigl[2\bigl( \sigma {^{-2}_{2}}+\sigma {^{-2}_{3}}\bigr) \bigr]^{-1} \\& \quad \leq \frac{m_{1}\beta S }{m_{2}}+\min\{\sigma +\mu ,\mu +\rho +\gamma \}( \sqrt{R}_{0}-1)- \bigl[2\bigl(\sigma {^{-2}_{2}}+ \sigma {^{-2}_{3}}\bigr) \bigr]^{-1}, \end{aligned}$$

therefore

$$ \begin{aligned}[b] &\mathrm{d}\ln W\bigl(E(t),I(t) \bigr) \\ &\quad \leq \biggl\{ \frac{m_{1}\beta S}{m_{2}}+\min\{\sigma +\mu ,\mu +\rho + \gamma \}(\sqrt{R}_{0}-1)- \bigl[2\bigl(\sigma {^{-2}_{2}}+ \sigma {^{-2}_{3}}\bigr) \bigr]^{-1} \biggr\} \,\mathrm{d}t \\ &\qquad {} +\frac{m_{1}\sigma _{2}E\,\mathrm{d}B_{2}(t)}{W}+ \frac{m_{2}\sigma _{3}I\,\mathrm{d}B_{3}(t)}{W}. \end{aligned} $$

(7)

Now we take integration on both sides of (7) and divide it by t, which then implies the following expression:

$$ \begin{aligned}[b] &\frac{\ln W(E(t),I(t))}{t} \\ &\quad \leq \frac{\ln W(E(0),I(0))}{t} +\frac{1}{t} \int ^{t}_{0} \frac{m_{1}\beta S(s)}{m_{2}}\, \mathrm{d}s+\min\{\sigma +\mu ,\mu + \rho +\gamma \}(\sqrt{R}_{0}-1) \\ &\qquad {} - \bigl[2\bigl(\sigma {^{-2}_{2}}+\sigma {^{-2}_{3}}\bigr) \bigr]^{-1}+ \frac{M_{1}(t)}{t}+\frac{M_{2}(t)}{t}, \end{aligned} $$

(8)

where

$$ M_{1}(t)= \int ^{t}_{0}\frac{m_{1}\sigma _{2}E(s)}{W(s)} \, \mathrm{d}B_{2}(s),\qquad M_{2}(t)= \int ^{t}_{0} \frac{m_{2}\sigma _{3}I(s)}{W(s)}\, \mathrm{d}B_{3}(s), $$

are local martingales, whose quadratic variations are $\langle M_{1}(t),M_{1}(t) \rangle \leq \sigma ^{2}_{2}t$, $\langle M_{2}(t),M_{2}(t) \rangle \leq \sigma ^{2}_{3}t$ respectively. Applying Lemma 3.2, we conclude that

$$ \limsup_{t\rightarrow \infty }\frac{M_{i}(t)}{t}=0,\quad i=1,2, \mbox{a.s.} $$

(9)

Then taking the upper limit on both sides, from (7), (8), and (9), we can get

$$ \begin{aligned} &\limsup_{t\rightarrow \infty } \frac{\ln W(E(t),I(t))}{t} \\ &\quad \leq \frac{m_{1}\beta A}{m_{2}\mu } +\min\{\sigma +\mu ,\mu +\rho + \gamma \}(\sqrt{R}_{0}-1)- \bigl[2\bigl(\sigma {^{-2}_{2}}+ \sigma {^{-2}_{3}}\bigr) \bigr]^{-1} := \nu ,\quad \mbox{a.s}. \end{aligned} $$

If $\nu <0$, we obtain that

$$ \limsup_{t\rightarrow \infty }\frac{\ln I(t)}{t}< 0, \quad \mbox{a.s.}, $$

which suggests that $\lim_{t\rightarrow \infty }I(t)=0$. This indicates that the disease would tend to extinction. The proof is complete. □

4 Persistence in the mean

In this section, we will demonstrate some useful results about the persistence of the diseases.

Theorem 4.1

Let$(S(t),E(t),I(t),R(t))$be a solution of system (2) with any initial value in$\mathbb{R}^{4}_{+}$. If

$$ \widetilde{R_{0}}= \frac{2A\beta \sigma }{(\mu +\frac{\sigma ^{2}_{1}}{2}) (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2})(2\mu +\delta +\frac{\sigma ^{2}_{4}}{2} +M_{l}+\rho +\gamma +\frac{\sigma ^{2}_{3}}{2} )}>1, $$

then system (2) has the following property:

$$ \liminf_{t\rightarrow \infty }\langle I\rangle _{t}\geq \frac{1}{\bar{\gamma }}\biggl(2\mu +\delta +\frac{\sigma ^{2}_{4}}{2}+M_{l}+ \rho +\gamma +\frac{\sigma ^{2}_{3}}{2} \biggr) (\widetilde{R}_{0}-1)>0, $$

where

$$ \bar{\gamma }= \frac{A\beta ^{2}\sigma +A\beta \sigma (\mu +\rho +\gamma ) (\mu +\frac{\sigma ^{2}_{1}}{2})}{(\mu +\frac{\sigma ^{2}_{1}}{2})^{2} (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2})}. $$

That is to say, the disease will be prevalent.

Proof

In order to testify the persistence, we establish a $C^{2}$-function ${V_{1}}:\mathbb{R}^{4}_{+}\rightarrow \mathbb{R}$ as follows:

$$ {V_{1}}(S,E,I,R)=-c_{1}\ln S-c_{2}\ln E-c_{3}I-\ln R-\ln I, $$

(10)

where $c_{1}$, $c_{2}$, $c_{3}$ are positive constants to be determined later. Next we apply Itô’s formula to (10). Then we get the following result:

$$\begin{aligned}& \mathrm{d}V_{1} \bigl(S(t),E(t),I(t),R(t)\bigr) \\& \quad = -\frac{c_{1}}{S}\,\mathrm{d}S-\frac{c_{2}}{E}\, \mathrm{d}E-c_{3} \,\mathrm{d}I-\frac{1}{R}\,\mathrm{d}R+ \frac{c_{1}}{2S^{2}}(\mathrm{d}S)^{2} \\& \qquad {}+ \frac{c_{2}}{2E^{2}}( \mathrm{d}E)^{2}+\frac{1}{2R^{2}}(\mathrm{d}R)^{2}{ - \frac{1}{I}\,\mathrm{d}I+\frac{1}{2I^{2}}(\mathrm{d}I)^{2}} \\& \quad = -\frac{c_{1}}{S} \biggl[A-\mu S+\delta R- \frac{\beta SI}{\varphi (I)} \biggr]\,\mathrm{d}t-c_{1}\sigma _{1}\, \mathrm{d}B_{1}(t)- \frac{c_{2}}{E} \biggl[ \frac{\beta SI}{\varphi (I)}-(\mu +\sigma )E \biggr] \,\mathrm{d}t \\& \qquad {} -c_{2} \sigma _{2}\,\mathrm{d}B_{2}(t)-c_{3} \bigl[\sigma E-(\mu +\rho +\gamma )I \bigr] \, \mathrm{d}t-c_{3}\sigma _{3}I\,\mathrm{d}B_{3}(t)- \frac{1}{R} \bigl[\gamma I-( \mu +\delta )R \bigr]\,\mathrm{d}t \\& \qquad {} -\sigma _{4}\,\mathrm{d}B_{4}(t) + \biggl(\frac{c_{1}\sigma ^{2}_{1}}{2}+ \frac{c_{2}\sigma ^{2}_{2}}{2}+\frac{\sigma ^{2}_{4}}{2} \biggr)\,\mathrm{d}t { + \biggl(-\frac{\sigma E}{I}+\mu +\rho +\gamma + \frac{\sigma ^{2}_{3}}{2} \biggr)\,\mathrm{d}t-\sigma _{3}\, \mathrm{d}B_{3}(t)} \\& \quad = \biggl[-\frac{c_{1}A}{S}+c_{1}\mu - \frac{c_{1}\delta R}{S}+ \frac{c_{1}\beta I}{\varphi (I)}- \frac{c_{2}\beta S I}{E\varphi (I)}+c_{2}(\mu +\sigma )-c_{3}\sigma E+c_{3}(\mu +\rho + \gamma )I \\& \qquad {} - \frac{\gamma I}{R}+\mu +\delta+\frac{c_{1}\sigma ^{2}_{1}}{2}+ \frac{c_{2}\sigma ^{2}_{2}}{2}+\frac{\sigma ^{2}_{4}}{2} {- \frac{\sigma E}{I}+\mu +\rho +\gamma +\frac{\sigma ^{2}_{3}}{2} \biggr] \, \mathrm{d}t} \\& \qquad {} -c_{1}\sigma _{1}\,\mathrm{d}B_{1}(t)-c_{2} \sigma _{2} \,\mathrm{d}B_{2}(t)-c_{3}\sigma _{3}I\,\mathrm{d}B_{3}(t)-\sigma _{4}\, \mathrm{d}B_{4}(t)-{ \sigma _{3}\,\mathrm{d}B_{3}(t)}, \end{aligned}$$

(11)

where

$$\begin{aligned}& \mathcal{L} V_{1}\bigl(S(t),E(t),I(t),R(t) \bigr) \\& \quad = -\frac{c_{1}A}{S}+c_{1}\mu -\frac{c_{1}\delta R}{S}+ \frac{c_{1}\beta I}{\varphi (I)}-\frac{c_{2}\beta S I}{E\varphi (I)}+c_{2}(\mu +\sigma )-c_{3}\sigma E+c_{3}(\mu +\rho + \gamma )I \\& \qquad {} - \frac{\gamma I}{R}+\mu +\delta+\frac{c_{1}\sigma ^{2}_{1}}{2}+ \frac{c_{2}\sigma ^{2}_{2}}{2}+\frac{\sigma ^{2}_{4}}{2} {- \frac{\sigma E}{I}+\mu +\rho +\gamma +\frac{\sigma ^{2}_{3}}{2}} \\& \quad < -\frac{c_{1}A}{S}+c_{1}\mu + \bigl[c_{1}\beta +c_{3}( \mu +\rho +\gamma ) \bigr]I-\frac{c_{2}\beta S I}{E\varphi (I)}+c_{2}( \mu +\sigma )-c_{3}\sigma E+\mu +\delta \\& \qquad {} + \frac{c_{1}\sigma ^{2}_{1}+c_{2}\sigma ^{2}_{2}+\sigma ^{2}_{4}}{2}- \frac{\varphi (I)}{I}+\frac{\varphi (I)}{I} +\mu + \rho + \gamma +\frac{\sigma ^{2}_{3}}{2} \\& \quad \leq -\frac{c_{1}A}{S}- \frac{c_{2}\beta S I}{E\varphi (I)}-c_{3}\sigma E-\frac{\varphi (I)}{I}+c_{1} \biggl(\mu + \frac{\sigma ^{2}_{1}}{2} \biggr)+ \bigl[c_{1}\beta +c_{3}(\mu +\rho + \gamma ) \bigr]I \\& \qquad {} +c_{2} \biggl(\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} \biggr) +\mu +\delta +\frac{\sigma ^{2}_{4}}{2}+M_{l}{ +\mu +\rho +\gamma + \frac{\sigma ^{2}_{3}}{2}} \\& \quad \leq -4(c_{1}c_{2}c_{3}A\beta \sigma )^{\frac{1}{4}}+c_{1} \biggl(\mu +\frac{\sigma ^{2}_{1}}{2} \biggr)+ \bigl[c_{1}\beta +c_{3}(\mu + \rho +\gamma ) \bigr]I+c_{2} \biggl(\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} \biggr) \\& \qquad {} +2\mu +\delta +\frac{\sigma ^{2}_{4}}{2}+M_{l}+ \rho +\gamma + \frac{\sigma ^{2}_{3}}{2}. \end{aligned}$$

Let

$$\begin{aligned}& c_{1}= \frac{A\beta \sigma }{(\mu +\frac{\sigma ^{2}_{1}}{2})^{2}(\mu +\sigma +\frac{\sigma ^{2}_{2}}{2})}, \qquad c_{2}= \frac{A\beta \sigma }{(\mu +\frac{\sigma ^{2}_{1}}{2})(\mu +\sigma +\frac{\sigma ^{2}_{2}}{2})^{2}}, \\& c_{3}= \frac{A\beta \sigma }{(\mu +\frac{\sigma ^{2}_{1}}{2})(\mu +\sigma +\frac{\sigma ^{2}_{2}}{2})}. \end{aligned}$$

Then

$$\begin{aligned}& \mathcal{L} V_{1} \bigl(S(t),E(t),I(t),R(t)\bigr) \\& \quad \leq \frac{-4A\beta \sigma }{ (\mu +\frac{\sigma ^{2}_{1}}{2} ) (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} )} + \frac{A\beta \sigma }{ (\mu +\frac{\sigma ^{2}_{1}}{2} ) (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} )}+ \bigl[c_{1} \beta +c_{3}(\mu +\rho +\gamma ) \bigr]I \\& \qquad {} + \frac{A\beta \sigma }{ (\mu +\frac{\sigma ^{2}_{1}}{2} ) (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} )}{ +2\mu +\delta +\frac{\sigma ^{2}_{4}}{2}+M_{l}+ \rho + \gamma +\frac{\sigma ^{2}_{3}}{2}} \\& \quad = \frac{-2A\beta \sigma }{ (\mu +\frac{\sigma ^{2}_{1}}{2} ) (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} )}{ +2\mu +\delta +\frac{\sigma ^{2}_{4}}{2}+M_{l}+ \rho + \gamma +\frac{\sigma ^{2}_{3}}{2}}+ \bigl[c_{1}\beta +c_{3}(\mu +\rho + \gamma ) \bigr]I \\& \quad = - \biggl({2\mu +\delta + \frac{\sigma ^{2}_{4}}{2}+M_{l}+\rho + \gamma + \frac{\sigma ^{2}_{3}}{2}} \biggr) \\& \qquad {}\times\biggl[ \frac{2A\beta \sigma }{ (\mu +\frac{\sigma ^{2}_{1}}{2} ) (\mu +\sigma +\frac{\sigma ^{2}_{2}}{2} ) ({2\mu +\delta +\frac{\sigma ^{2}_{4}}{2}+M_{l}+\rho +\gamma +\frac{\sigma ^{2}_{3}}{2}} )}-1 \biggr] \\& \qquad {} + \bigl[c_{1}\beta +c_{3}(\mu +\rho +\gamma ) \bigr]I \\& \quad = - \biggl({2\mu +\delta + \frac{\sigma ^{2}_{4}}{2}+M_{l}+\rho + \gamma + \frac{\sigma ^{2}_{3}}{2}} \biggr) (\widetilde{R_{0}}-1)+ \bigl[c_{1} \beta +c_{3}(\mu +\rho +\gamma ) \bigr]I \\& \quad \leq -\lambda +\bar{\gamma } I, \end{aligned}$$

(12)

where

$$ \lambda =\biggl({2\mu +\delta + \frac{\sigma ^{2}_{4}}{2}+M_{l}+\rho + \gamma + \frac{\sigma ^{2}_{3}}{2}} \biggr) (\widetilde{R_{0}}-1), \qquad \bar{ \gamma }= c_{1}\beta +c_{3}(\mu +\rho +\gamma ). $$

Hence, from (11) and (12) we get

$$ \begin{aligned} &\mathrm{d}V_{1}\bigl(S(t),E(t),I(t),R(t) \bigr) \\ &\quad \leq (-\lambda +\bar{\gamma }I)\,\mathrm{d}t-c_{1}\sigma _{1} \,\mathrm{d}B_{1}(t)-c_{2}\sigma _{2}\,\mathrm{d}B_{2}(t)-c_{3}\sigma _{3}I \,\mathrm{d}B_{3}(t)-\sigma _{4}\, \mathrm{d}B_{4}(t)-\sigma _{3}\, \mathrm{d}B_{3}(t), \end{aligned} $$

where

$$ M_{3}(t)= \int ^{t}_{0}c_{1}\sigma _{1}\,\mathrm{d}B_{1}(s)+ \int ^{t}_{0}c_{2}\sigma _{2}\,\mathrm{d}B_{2}(s) + \int ^{t}_{0}c_{3} \sigma _{3}I(s)\,\mathrm{d}B_{3}(s)+ \int ^{t}_{0}\sigma _{4}\, \mathrm{d}B_{4}(s)+ \int ^{t}_{0}\sigma _{3}\, \mathrm{d}B_{3}(s) $$

is a local martingale. Using Lemma 3.2 yields

$$ \lim_{t\rightarrow \infty }\frac{M_{3}(t)}{t}=0. $$

Therefore

$$\begin{aligned}& \liminf_{t\rightarrow \infty }\bar{\gamma }\langle I\rangle _{t} \\& \quad \geq \biggl({2\mu +\delta + \frac{\sigma ^{2}_{4}}{2}+M_{l}+ \rho +\gamma + \frac{\sigma ^{2}_{3}}{2}} \biggr) (\widetilde{R_{0}}-1)+ \liminf_{t \rightarrow \infty }\frac{{V_{1}}(S(t),E(t),I(t),R(t))}{t} \\& \qquad {} -\limsup_{t\rightarrow \infty } \frac{{V_{1}}(S(0),E(0),I(0),R(0))}{t}+\liminf _{t\rightarrow \infty } \frac{M_{3}(t)}{t} \\& \quad \geq \biggl({2\mu +\delta + \frac{\sigma ^{2}_{4}}{2}+M_{l}+\rho + \gamma + \frac{\sigma ^{2}_{3}}{2}} \biggr) (\widetilde{R}_{0}-1)>0. \end{aligned}$$

The proof is complete. □

5 Stationary distribution

In this section, we will establish sufficient conditions for the existence of a unique ergodic stationary distribution. First of all, we present a lemma which will be used later.

Let $x(t)$ be a homogeneous Markov process in $E_{l}$ ($E_{l}$ denotes an l-dimensional Euclidean space) and be described by the following stochastic differential equation:

$$ \mathrm{d}x(t)= b(x)\,\mathrm{d}t+\sum^{k}_{r=1}g_{r}(x) \,\mathrm{d}B_{r}(t). $$

The diffusion matrix is defined as follows:

$$ \widetilde{A}(x)=\bigl(a_{ij}(x)\bigr)=\sum ^{k}_{r=1}g^{i}_{r}(x)g^{j}_{r}(x). $$

Lemma 5.1

([40])

The Markov process$x(t)$has a unique ergodic stationary distribution$\mu (\cdot )$if there exists a bounded domain$U\subset E_{l}$with regular boundaryΓand

• (A1) There is a positive numberMsuch that$\sum^{l}_{i,j=1}a_{ij}(x)\xi _{i}\xi _{j}\geq M|\xi |^{2}$, $x\in U$, $\xi \in {\mathbb{R}}^{l}$.

• (A2) There exists a nonnegative$C^{2}$-functionVsuch that$\mathcal{L}V$is negative for any$E_{l}\setminus U$.

Then

$$ {P}_{x} \biggl\{ \lim_{T\rightarrow \infty } \frac{1}{T} \int ^{T}_{0}f\bigl(x(t)\bigr)\,\mathrm{d}t= \int _{E_{l}}f(y)\mu (\mathrm{d}y) \biggr\} =1 $$

for all$x\in E_{l}$, where$f(\cdot )$is a function integrable with respect to the measureμ.

Theorem 5.1

Assume that$\widetilde{R}_{0}>1$. Then, for any initial value$(S(0),E(0),I(0),R(0))\in {\mathbb{R}}^{4}_{+}$, there is a stationary distribution$\mu (\cdot )$for system (2) and the ergodicity holds.

Proof

The diffusion matrix of system (2) is given by $\widetilde{A}= \operatorname{diag}(\sigma ^{2}_{1}S^{2},\sigma ^{2}_{2}E^{2}, \sigma ^{2}_{3}I^{2},\sigma ^{2}_{4}R^{2})$. We choose $M=\min_{(S,E,I,R)\in D_{k}\subset {\mathbb{R}}^{4}_{+}}\{\sigma ^{2}_{1}S^{2}, \sigma ^{2}_{2}E^{2},\sigma ^{2}_{3}I^{2},\sigma ^{2}_{4}R^{2}\}$. We get

$$ \begin{aligned} \sum^{4}_{i,j=1}a_{ij}(S,E,I,R) \xi _{i}\xi _{j} &= (\xi _{1},\xi _{2},\xi _{3},\xi _{4})\widetilde{A}(\xi _{1}, \xi _{2},\xi _{3},\xi _{4})^{T} \\ &= \sigma ^{2}_{1}S^{2}\xi ^{2}_{1}+\sigma ^{2}_{2}E^{2} \xi ^{2}_{2}+\sigma ^{2}_{3}I^{2} \xi ^{2}_{3}+\sigma ^{2}_{4}R^{2} \xi ^{2}_{4} \\ &\geq M\| \xi \| ^{2} \end{aligned} $$

for any $(S,E,I,R)\in D_{k}$, $\xi =(\xi _{1},\xi _{2},\xi _{3},\xi _{4})\in {\mathbb{R}}^{4}_{+}$, where $D_{k}=[\frac{1}{k},k]\times [\frac{1}{k},k]\times [\frac{1}{k},k] \times [\frac{1}{k},k]$ and $k>1$ is a sufficiently large integer. Then condition (A1) holds, where $E_{l}=\mathbb{R}^{4}_{+}$, $U=D_{k}$.

Next we construct a nonnegative $C^{2}$-function $\bar{V}: {\mathbb{R}}^{4}_{+} \rightarrow {\mathbb{R}}$ in the following form:

$$ \begin{aligned} \widetilde{V}(S,E,I,R) &= M(-c_{1}\ln S-c_{2} \ln E-c_{3}I-\ln R-\ln I) \\ &\quad {} -\ln S-\ln R-\ln (S+E+I+R)+ \frac{(S+E+I+R)^{n+1}}{n+1}. \end{aligned} $$

It is easy to check that

$$ \liminf_{k\rightarrow \infty ,(S,E,I,R)\in {\mathbb{R}}^{4}_{+} \setminus U_{k}}\widetilde{V}(S,E,I,R)=+\infty , $$

where $U_{k}=(\frac{1}{k},k)\times (\frac{1}{k},k)\times (\frac{1}{k},k) \times (\frac{1}{k},k)$. Besides, $\widetilde{V}(S,E,I,R)$ is a continuous function. Hence, $\widetilde{V}(S,E,I,R)$ must admit a minimum point $(S^{*},E^{*},I^{*},R^{*})$ in the interior of ${\mathbb{R}}^{4}_{+}$. Then we define a nonnegative $C^{2}$-function V̄ as follows:

$$ \begin{aligned} \bar{V}(S,E,I,R)&=\widetilde{V}(S,E,I,R)- \widetilde{V}\bigl(S^{*},E^{*},I^{*},R^{*} \bigr) \\ &= M{V_{1}}+V_{2}+V_{3}+V_{4}+V_{5}- \widetilde{V}\bigl(S^{*},E^{*},I^{*},R^{*} \bigr), \end{aligned} $$

where $V_{1}$ is presented in (10), and

$$ V_{2}=-\ln S, \qquad V_{3}=-\ln R,\qquad V_{4}=-\ln (S+E+I+R),\qquad V_{5}= \frac{(S+E+I+R)^{n+1}}{n+1}, $$

where n is a sufficiently small constant and $M>0$ satisfying the following condition:

$$\begin{aligned}& \eta = \mu - \frac{n(\sigma ^{2}_{1}\vee \sigma ^{2}_{2}\vee \sigma ^{2}_{3}\vee \sigma ^{2}_{4})}{2}>0, \\& -M\lambda +5\mu +\delta +\rho + \frac{2\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+2\sigma ^{2}_{4}}{2}+B \leq -2, \end{aligned}$$

where

$$ B= \sup_{(S,E,I,R)\in \mathbb{R}^{4}_{+}}\biggl\{ A(S+E+I+R)^{n}- \frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)\biggr\} . $$

According to similar discussions as shown in Theorem 4.1, we have

$$\begin{aligned}& \mathcal{L} {V_{2}} = - \frac{A}{S}+\mu -\frac{\delta R}{S}+\frac{\beta I}{\varphi (I)}+ \frac{\sigma ^{2}_{1}}{2} < -\frac{A}{S}+\mu +\beta I+ \frac{\sigma ^{2}_{1}}{2}, \\& \mathcal{L} {V_{3}} = - \frac{\gamma I}{R}+\mu +\delta + \frac{\sigma ^{2}_{4}}{2}, \\& \begin{aligned} \mathcal{L} {V_{4}} &= - \frac{1}{S+E+I+R} \bigl[A-\mu S-\mu E-(\mu +\rho )I-\mu R \bigr]+ \frac{\sigma ^{2}_{1}S^{2}+\sigma ^{2}_{2}E^{2}+\sigma ^{2}_{3}I^{2} +\sigma ^{2}_{4}R^{2}}{2(S+E+I+R)^{2}} \\ &< \frac{\mu S+(\mu +\rho )I+\mu R}{S+E+I+R}+ \frac{\mu E}{S+E+I+R} + \frac{\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+\sigma ^{2}_{4}}{2} \\ &\leq 3\mu +\rho +\frac{\mu E}{S+E+I+R}+ \frac{\sigma ^{2}_{1}+\sigma ^{2}_{2} +\sigma ^{2}_{3}+\sigma ^{2}_{4}}{2} \end{aligned} \end{aligned}$$

and

$$ \begin{aligned} \mathcal{L} {V_{5}} &= (S+E+I+R)^{n} \bigl[A-\mu (S+E+I+R)-\rho I \bigr] \\ &\quad {} +\frac{n(S+E+I+R)^{n-1}}{2} \bigl[\sigma ^{2}_{1}S^{2}+ \sigma ^{2}_{2}E^{2}+\sigma ^{2}_{3}I^{2}+\sigma ^{2}_{4}R^{2} \bigr] \\ &< A(S+E+I+R)^{n}- \biggl[\mu - \frac{n(\sigma ^{2}_{1}\vee \sigma ^{2}_{2}\vee \sigma ^{2}_{3}\vee \sigma ^{2}_{4})}{2} \biggr](S+E+I+R)^{n+1} \\ &\leq B-\frac{\eta }{2}(S+E+I+R)^{n+1} \\ &< B-\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr). \end{aligned} $$

Therefore

$$ \begin{aligned} \mathcal{L} {\bar{V}} &\leq -M \lambda +M\bar{ \gamma }I-\frac{A}{S}+\mu +\beta I+ \frac{\sigma ^{2}_{1}}{2}- \frac{\gamma I}{R}+\mu +\delta + \frac{\sigma ^{2}_{4}}{2}+3\mu +\rho + \frac{\mu E}{S+E+I+R} \\ &\quad {} + \frac{\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+\sigma ^{2}_{4}}{2}+B- \frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr) \\ &= -M\lambda +(M\bar{\gamma }+\beta )I-\frac{A}{S}- \frac{\gamma I}{R}+\frac{\mu E}{S+E+I+R}-\frac{\eta }{2} \bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr) \\ &\quad {} +5\mu +\delta +\rho + \frac{2\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+2\sigma ^{2}_{4}}{2}+B \\ &\leq -M\lambda +(M\bar{\gamma }+\beta )I-\frac{A}{S}- \frac{\gamma I}{R}+\frac{\mu E}{S+E+I+R} \\ &\quad {}-\frac{\eta }{2} \bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N, \end{aligned} $$

where $N=5\mu +\delta +\rho + \frac{2\sigma ^{2}_{1}+\sigma ^{2}_{2}+\sigma ^{2}_{3}+2\sigma ^{2}_{4}}{2}+B$.

Now we are in a position to construct a compact subset D such that condition (A2) in Lemma 5.1 holds. Define the bounded closed set

$$ D=\biggl\{ (S,E,I,R)\in {\mathbb{R} ^{4}_{+}}: \varepsilon _{1}\leq S\leq \frac{1}{\varepsilon _{1}},\varepsilon _{2}\leq E\leq \frac{1}{\varepsilon _{2}},\varepsilon _{3} \leq I\leq \frac{1}{\varepsilon _{3}},\varepsilon _{4}\leq R\leq \frac{1}{\varepsilon _{4}}\biggr\} , $$

where $\varepsilon _{i}>0$ ($i=1,2,3,4$) are sufficiently small constants satisfying the following conditions:

$$\begin{aligned}& -\frac{A}{\varepsilon _{1}}+P\leq -1, \end{aligned}$$

(13)

$$\begin{aligned}& -M\lambda +(M\bar{\gamma }+\beta )\varepsilon _{2}+Q \leq -1, \end{aligned}$$

(14)

$$\begin{aligned}& -M\lambda + \frac{\mu \varepsilon _{3}}{\varepsilon _{1}+\varepsilon _{2}}+T \leq -1, \end{aligned}$$

(15)

$$\begin{aligned}& -\frac{\gamma \varepsilon _{2}}{\varepsilon _{4}}+P \leq -1, \end{aligned}$$

(16)

$$\begin{aligned}& -\frac{\eta }{4\varepsilon ^{n+1}_{1}}+F\leq -1, \end{aligned}$$

(17)

$$\begin{aligned}& -\frac{\eta }{4\varepsilon ^{n+1}_{2}}+G\leq -1, \end{aligned}$$

(18)

$$\begin{aligned}& -\frac{\eta }{4\varepsilon ^{n+1}_{3}}+H\leq -1, \end{aligned}$$

(19)

$$\begin{aligned}& -\frac{\eta }{4\varepsilon ^{n+1}_{4}}+L\leq -1, \end{aligned}$$

(20)

where P, Q, T, F, G, H, L are presented in (21), (22), (23), (24), (25), (26), (27), respectively. For convenience, we divide ${\mathbb{R}^{4}_{+}}\setminus D$ into eight domains:

$$ \begin{aligned} &D_{1}=\bigl\{ (S,E,I,R)\in { \mathbb{R}^{4}_{+}}:0< S< \varepsilon _{1} \bigr\} , \qquad D_{2}= \bigl\{ (S,E,I,R)\in {\mathbb{R}^{4}_{+}}:0< I< \varepsilon _{2}, S\geq \varepsilon _{1}\bigr\} , \\ &D_{3}=\bigl\{ (S,E,I,R)\in {\mathbb{R}^{4}_{+}}:S \geq \varepsilon _{1}, I \geq \varepsilon _{2}, 0< E< \varepsilon _{3}\bigr\} , \\ &D_{4}=\bigl\{ (S,E,I,R)\in { \mathbb{R}^{4}_{+}}:0< R< \varepsilon _{4}, I \geq \varepsilon _{2}\bigr\} , \\ &D_{5}=\biggl\{ (S,E,I,R)\in {\mathbb{R}^{4}_{+}}: S> \frac{1}{\varepsilon _{1}}\biggr\} , \qquad D_{6}=\biggl\{ (S,E,I,R)\in { \mathbb{R}^{4}_{+}}: E> \frac{1}{\varepsilon _{2}}\biggr\} , \\ &D_{7}=\biggl\{ (S,E,I,R)\in {\mathbb{R}^{4}_{+}}: I> \frac{1}{\varepsilon _{3}}\biggr\} ,\qquad D_{8}=\biggl\{ (S,E,I,R)\in { \mathbb{R}^{4}_{+}}: R > \frac{1}{\varepsilon _{4}}\biggr\} . \end{aligned} $$

Obviously, $D^{C}=D_{1}\cup D_{2}\cup \cdots \cup D_{8}$. Next we only need to show that $\mathcal{L}\bar{V}(S,E,I,R)\leq -1$ on $D^{C}$.

Case 1. If $(S,E,I,R)\in D_{1}$, by (13) we get that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&\leq -M \lambda +(M\bar{ \gamma }+\beta )I-\frac{A}{S}-\frac{\gamma I}{R}+ \frac{\mu E}{S+E+I+R} \\ &\quad {}-\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &< (M\bar{\gamma }+\beta )I-\frac{A}{S}+\mu - \frac{\eta }{2} \bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &\leq -\frac{A}{\varepsilon _{1}}+P \leq -1, \end{aligned} $$

where

$$ P=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ (M\bar{\gamma }+\beta )I+ \mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N\biggr\} . $$

(21)

Case 2. If $(S,E,I,R)\in D_{2}$, by (14) we have that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< -M\lambda +(M \bar{\gamma }+ \beta )I+\mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &\leq -M\lambda +(M\bar{\gamma }+\beta )I+Q \\ &\leq -M\lambda +(M\bar{\gamma }+\beta )\varepsilon _{2}+Q \leq -1, \end{aligned} $$

where

$$ Q=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ \mu - \frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \biggr\} . $$

(22)

Case 3. If $(S,E,I,R)\in D_{3}$, by (15) we have that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< -M\lambda + \frac{\mu E}{S+I}+(M\bar{\gamma }+\beta )I -\frac{\eta }{2} \bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &\leq -M\lambda +\frac{\mu E}{S+I}+T \\ &\leq -M\lambda + \frac{\mu \varepsilon _{3}}{\varepsilon _{1}+\varepsilon _{2}}+T \leq -1, \end{aligned} $$

where

$$ T=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ (M\bar{\gamma }+\beta )I - \frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N\biggr\} . $$

(23)

Case 4. If $(S,E,I,R)\in D_{4}$, by (16) we get that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< (M \bar{\gamma }+\beta )I- \frac{\gamma I}{R}+\mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &\leq -\frac{\gamma I}{R}+P \\ &\leq - \frac{\gamma \varepsilon _{2}}{\varepsilon _{4}}+P \leq -1. \end{aligned} $$

Case 5. If $(S,E,I,R)\in D_{5}$, by (17) we get that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< (M \bar{\gamma }+\beta )I+ \mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &= -\frac{\eta }{4}S^{n+1}+(M\bar{\gamma }+\beta )I+ \mu - \frac{\eta }{4}S^{n+1}-\frac{\eta }{2}\bigl(E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &\leq -\frac{\eta }{4\varepsilon ^{n+1}_{1}}+F \leq -1, \end{aligned} $$

where

$$ F=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ (M\bar{\gamma }+\beta )I+ \mu -\frac{\eta }{4}S^{n+1}-\frac{\eta }{2} \bigl(E^{n+1}+I^{n+1}+R^{n+1}\bigr)+N \biggr\} . $$

(24)

Case 6. If $(S,E,I,R)\in D_{6}$, by (18) we get that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< (M \bar{\gamma }+\beta )I+ \mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &= -\frac{\eta }{4}E^{n+1}+(M\bar{\gamma }+\beta )I+ \mu - \frac{\eta }{4}E^{n+1}-\frac{\eta }{2}\bigl(S^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &\leq -\frac{\eta }{4\varepsilon ^{n+1}_{2}}+G \leq -1, \end{aligned} $$

where

$$ G=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ (M\bar{\gamma }+\beta )I+ \mu -\frac{\eta }{4}E^{n+1}-\frac{\eta }{2} \bigl(S^{n+1}+I^{n+1}+R^{n+1}\bigr)+N \biggr\} . $$

(25)

Case 7. If $(S,E,I,R)\in D_{7}$, by (19) we get that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< (M \bar{\gamma }+\beta )I+ \mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &= -\frac{\eta }{4}I^{n+1}+(M\bar{\gamma }+\beta )I+ \mu - \frac{\eta }{4}I^{n+1}-\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+R^{n+1} \bigr)+N \\ &\leq -\frac{\eta }{4\varepsilon ^{n+1}_{3}}+H \leq -1, \end{aligned} $$

where

$$ H=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ (M\bar{\gamma }+\beta )I+ \mu -\frac{\eta }{4}I^{n+1}-\frac{\eta }{2} \bigl(S^{n+1}+E^{n+1}+R^{n+1}\bigr)+N \biggr\} . $$

(26)

Case 8. If $(S,E,I,R)\in D_{8}$, by (20) we get that

$$ \begin{aligned} \mathcal{L} {\bar{V}}&< (M \bar{\gamma }+\beta )I+ \mu -\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1}+R^{n+1} \bigr)+N \\ &= -\frac{\eta }{4}R^{n+1}+(M\bar{\gamma }+\beta )I+ \mu - \frac{\eta }{4}R^{n+1}-\frac{\eta }{2}\bigl(S^{n+1}+E^{n+1}+I^{n+1} \bigr)+N \\ &\leq -\frac{\eta }{4\varepsilon ^{n+1}_{4}}+L \leq -1, \end{aligned} $$

where

$$ L=\sup_{(S,E,I,R)\in {\mathbb{R}^{4}_{+}}}\biggl\{ (M\bar{\gamma }+\beta )I+ \mu -\frac{\eta }{4}R^{n+1}-\frac{\eta }{2} \bigl(S^{n+1}+E^{n+1}+I^{n+1}\bigr)+N \biggr\} . $$

(27)

The proof is complete. □

6 Examples and simulations

For the numerical simulation, we use Milstein’s higher order method mentioned in [41] to obtain the following discretization transformation of system (2):

$$\begin{aligned}& S(j+1) = S(j) + \biggl[ A-\mu S(j)+\delta R(j)- \frac{\beta S(j)I(j)}{\varphi (I(j))} \biggr]\Delta t + \sigma _{1}S(j) \xi _{1}\sqrt{\Delta t} +\frac{\sigma ^{2}_{1}}{2}S(j) \bigl(\xi _{1}^{2}-1\bigr) \Delta t, \\& E(j+1) = E(j) + \biggl[ \frac{\beta S(j)I(j)}{\varphi (I(j))}-(\mu +\sigma ) E(j) \biggr] \Delta t + \sigma _{2}E(j)\xi _{2}\sqrt{\Delta t} + \frac{\sigma ^{2}_{2}}{2}E(j) \bigl(\xi _{2}^{2}-1\bigr)\Delta t, \\& I(j+1) = I(j) +\bigl[\sigma E(j)-(\mu +\rho +\gamma )I(j) \bigr] \Delta t + \sigma _{3}I(j)\xi _{3}\sqrt{\Delta t} + \frac{\sigma _{3}^{2}}{2}I(j) \bigl(\xi _{3}^{2}-1\bigr) \Delta t, \\& R(j+1) = R(j)+\bigl[\gamma I(j)-(\mu +\delta ) R(j)\bigr]\Delta t+ \sigma _{4}R(j)\xi _{4}\sqrt{\Delta t} + \frac{\sigma ^{2}_{4}}{2}R(j) \bigl( \xi _{4}^{2}-1\bigr)\Delta t , \end{aligned}$$

where the time increment $\Delta t>0$, $\sigma ^{2}_{i}>0$ ($i=1,2,3,4$) are the intensities of the white noise, $\xi _{i}$ ($i=1,2,3,4$) are independent Gaussian random variables which follow the distribution $N(0,1)$ for $j=0,1,2, \ldots, n$.

We take the parameters of model (2) as follows: $A=0.7$, $\beta =0.055$, $\mu =0.1$, $\gamma =0.2$, $\rho =0.15$, $\sigma =0.3$, $\Delta t=0.001$, $\varphi (I)=1+0.6I$, $\delta =0.04$, $\sigma _{1}=0.009$, $\sigma _{2}=0.1$, $\sigma _{3}=0.1$, $\sigma _{4}=0.1$, $S(0)=0.8$, $E(0)=0.7$, $I(0)=0.6$, $R(0)=0.5$. By condition of Theorem 3.1, we have

$$ R_{0}=0.6417< 1, \qquad \mu =0.1> \frac{\sigma ^{2}_{1}\vee \sigma ^{2}_{2}\vee \sigma ^{2}_{3} \vee \sigma ^{2}_{4}}{2}=0.005, $$

which indicates the extinction of infected individuals. The corresponding realizations of model (2) demonstrate their properties in Fig. 1, when $n=25\text{,}000$. At the same time, we get that the disease will reach extinction faster as the environmental disturbance increases. For example, when $\sigma _{1}=0.054$, $\sigma _{2}=0.6$, $\sigma _{3}=0.6$, $\sigma _{4}=0.6$, for the corresponding dynamics see Fig. 2, when $n=5000$.

Figure 1

A realization of extinction of the exposed and infected to model (2)

Figure 2

A realization of extinction of the exposed and infected to model (2)

We further assume that the parameters of model (2) are $A=0.5$, $\beta =0.1$, $\mu =0.01$, $\gamma =0.2$, $\rho =0.1$, $\sigma =0.2$, $\sigma _{1}=0.008$, $\sigma _{2}=0.06$, $\sigma _{3}=0.008$, $\sigma _{4}=0.006$, $\delta =0.08$, $\varphi (I)=1+0.15I$. By the condition of Theorem 4.1 and Theorem 5.1, we have $\widetilde{R_{0}}=6.0725>1$, and $\liminf_{t\rightarrow \infty }\langle I\rangle _{t}\geq 0.1625$, model (2) admits a unique stationary distribution as shown in Fig. 3, and the solution of model (2) is persistent in the mean as shown in Fig. 4, when $n=200\text{,}000$.

Figure 3

Histogram of the susceptible, the exposed, the infected, and the recovered to model (2)

Figure 4

A realization of persistence in the mean for the susceptible, the exposed, the infected, and the recovered to model (2)

7 Conclusions

In this paper, we intend to investigate an epidemic model of having four stages: the susceptible, the exposed, the infected, and the recovered. And we focus on extinction, persistence, and stationary distribution of a positive solution to epidemic model with nonlinear incidence rate and independent environmental fluctuations.

We firstly, by constructing an appropriate function, show that model (2) admits a unique global positive solution with any initial value. Moreover, we also find that the extinction of disease depends on the basic reproduction number $R_{0}$ (a threshold for its corresponding deterministic model). When $R_{0}<1$ and $\nu <0$, the disease under independent environmental fluctuations dies out as demonstrated in Theorem 3.1, and its corresponding dynamics could be found in Fig. 1. While, by constructing several $C^{2}$-functions, under the condition $\widetilde{R_{0}}>1$, we derive sufficient conditions for persistence and existence of a unique ergodic stationary distribution to model (2), the corresponding realizations could be found in Fig. 2 and Fig. 3, respectively.

We further present numerical simulations on ergodicity of model (2) at the end of this paper and point out that extinction time of infected individuals decreases when intensities of environmental fluctuations $\sigma _{i}$ ($i=1,2,3,4$) increase. These results provide readers a biological perspective when understanding an epidemic model with fluctuated environments.