Skip to main content

Theory and Modern Applications

Dynamical behavior of stochastic SIRS model with two different incidence rates and Markovian switching


In this paper, we discuss SIRS models with two different incidence rates and Markovian switching. First, we consider that the parameters are perturbed by random environment modulated by Markovian switching. The segment method is used to prove that the model has a unique solution and the estimate of the solution is provided. The threshold values for determining extinction or persistence in mean of diseases are presented by theoretical analysis and some inequalities techniques. Furthermore, some results reveal that stochastic disturbances can suppress the disease outbreak. Because of regime switching, the diseases will be extinct (or persistent) although they might be persistent (or extinct) in some certain environments. Then, the model in which incidence rate functions are perturbed by random environment is also discussed and the values to judge the disease extinction are obtained. At last, a few examples are set to illustrate these interesting phenomena, and their simulations have been carried out to verify our theoretical outcomes.

1 Introduction

The epidemic model plays a significant role in the spread and control of diseases. Owing to its great importance, it attracts great attention of scholars and has been extensively investigated. The SIRS model, in which the infective individual loses immunity and returns to the susceptive one, is one of its extensions. Also, the epidemic model has other extensions based on different mechanisms and incidence functions. Because life is full of randomness and the parameters involved in the models are affected to a greater or lesser extent by random factors, stochastic models with white noise depicted by Brownian motion have been extensively studied, see [1,2,3,4,5,6,7]. In [1], Cai et al. have proved an interesting fact that stochastic fluctuations can suppress disease outbreak, which indicates that stochastic perturbation has an important influence on the behavior of a system.

Thanks to the richness of the research content, epidemic models have been extensively studied in terms of extinction, persistence, stability, stationary distribution, and so on, and a large amount of literature has been published, see [8,9,10,11,12,13,14] and the references therein. For example, Bao and Zhang in [10] studied the extinction, persistence, and stationary distribution of stochastic SIRS models with information intervention, and the study showed that information intervention had a significant influence on the behavior of a disease.

In order to grasp some essential characteristics of life, researchers have studied many different models to fit the reality better. One of them is to turn one disease into two kinds of diseases. Such consideration is reasonable, for instance, children are susceptible to influenza and chickenpox in spring. For this type, epidemic models with two incidence functions have been studied by many researchers, see [13, 15,16,17] and the references therein.

Owing to the above reasons, Chang et al. in [15] investigated a stochastic SIRS model with two different incidence rates with the following forms:

$$ \textstyle\begin{cases} {\overset{.}{S}(t)} = (A-\mu S(t) -\frac{\beta _{1}S(t)I _{1}(t)}{\alpha _{1}+I_{1}(t)}- \frac{\beta _{2}S(t)I_{2}(t)}{\alpha _{2}+S(t)}+\delta R(t) )\,dt\\ \phantom{{\overset{.}{S}(t)}=} -\frac{\sigma _{1}S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t)-\frac{ \sigma _{2}S(t)I_{2}(t)}{\alpha _{2}+S(t)}\,dB_{2}(t),\\ \overset{.}{I} _{1}(t) = (\frac{\beta _{1}S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}- [\mu +d_{1}+r_{1} ]I_{1}(t) )\,dt+\frac{\sigma _{1}S(t)I_{1}(t)}{ \alpha _{1}+I_{1}(t)}\,dB_{1}(t),\\ \overset{.}{I}_{2}(t) = (\frac{ \beta _{2}S(t)I_{2}(t)}{\alpha _{2}+S(t)}- [\mu +d_{2}+r_{2} ]I _{2}(t) )\,dt+\frac{\sigma _{2}S(t)I_{2}(t)}{\alpha _{2}+S(t)}\,dB_{2}(t), \\ \overset{.}{R}(t) = (r_{1}I_{1}(t)+r_{2}I_{2}(t)- [\mu + \delta ]R(t) )\,dt, \end{cases} $$

where \(S(t)\), \(I_{1}(t)\), \(I_{2}(t)\), \(R(t)\) denote the population sizes of the susceptible, the infected caused by disease 1, the infected caused by disease 2, and the removed individuals at time t, respectively. \(N(t)=S(t)+I_{1}(t)+I_{2}(t)+R(t)\) stands for the total population. The meanings of the parameters in model (1) are expressed as follows: A is the recruitment rate of population, μ means the natural mortality rate, \(\beta _{1}\) and \(\beta _{2}\) are contact rates, δ denotes the rate at which the removed individuals lose their immunity and return to the susceptible population, \(d_{1}\) and \(d_{2}\) stand for the death rates caused by disease 1 and disease 2, respectively. \(r_{1}\) and \(r_{2}\) represent the recovery rates of diseases. \(\frac{\beta _{1}S(t)I_{1}(t)}{\alpha _{1}+I _{1}(t)}\) and \(\frac{\beta _{2}S(t)I_{2}(t)}{\alpha _{2}+S(t)}\) are two incidence rates for two diseases. \(B_{i}(t)\) is the standard Brownian motion with the intensity \(\sigma _{i}\), \(i=1,2\). The authors obtained two threshold values \(R_{1}^{*}\) and \(R_{2}^{*}\) which determine the extinction and permanence of two diseases, where \(R_{1}^{*}=\frac{ \beta _{1}A}{\mu \alpha _{1}(\mu +d_{1}+r_{1})}-\frac{\sigma _{1}^{2}A ^{2}}{2\mu ^{2} \alpha _{1}^{2}(\mu +d_{1}+r_{1})}\) and \(R_{2}^{*}=\frac{ \beta _{2}A}{(\mu \alpha _{2}+A)(\mu +d_{2}+r_{2})}-\frac{\sigma _{2} ^{2}A^{2}}{2(\mu \alpha _{2}+A)^{2}(\mu +d_{2}+r_{2})}\).

However, the above stochastic model is investigated in a fixed environment. The reality is that the environment is also changing. Taking the example above into account, the spread of diseases in children is affected by seasons and temperature, the mechanisms of the effects of spring and autumn on disease are obviously different. Such changes of the environment cannot be described by the white noise driven by Brownian motions. Thus, the model containing both dynamics and discrete events in which the events are modulated by continuous time Markov chain is reasonable. The epidemic models with Markovian switching have been investigated by many scholars, see [18,19,20,21,22,23]. There is a lot of literature about other systems modulated by Markovian switching, see [24,25,26,27,28,29]. For more theory and details about Markovian switching, we refer the readers to [30, 31].

To our best knowledge, there is little literature to study a stochastic SIRS model with two incidence rates and Markovian switching. In this paper, we first discuss the model as follows:

$$ \textstyle\begin{cases} {\overset{.}{S}(t)} = (A({\varLambda _{t}})-\mu ({\varLambda _{t}}) S(t)-\frac{\beta _{1}({\varLambda _{t}})S(t)I_{1}(t)}{\alpha _{1}+I _{1}(t)}-\frac{\beta _{2}({\varLambda _{t}})S(t)I_{2}(t)}{\alpha _{2}+S(t)}+ \delta ({\varLambda _{t}})R(t) )\,dt\\ \phantom{{\overset{.}{S}(t)}=}{} -\frac{\sigma _{1}({\varLambda _{t}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}\,dB _{1}(t)-\frac{\sigma _{2}({\varLambda _{t}})S(t)I_{2}(t)}{\alpha _{2}+S(t)}\,dB _{2}(t),\\ \overset{.}{I}_{1}(t) = (\frac{\beta _{1}({\varLambda _{t}})S(t)I _{1}(t)}{\alpha _{1}+I_{1}(t)}- [\mu ({\varLambda _{t}})+d_{1}({\varLambda _{t}})+r_{1}({\varLambda _{t}}) ]I_{1}(t) )\,dt+\frac{\sigma _{1}( {\varLambda _{t}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t),\\ \overset{.}{I}_{2}(t) = (\frac{\beta _{2}({\varLambda _{t}})S(t)I_{2}(t)}{ \alpha _{2}+S(t)}- [\mu ({\varLambda _{t}})+d_{2}({\varLambda _{t}})+r_{2}( {\varLambda _{t}}) ]I_{2}(t) )\,dt+\frac{\sigma _{2}({\varLambda _{t}})S(t)I _{2}(t)}{\alpha _{2}+S(t)}\,dB_{2}(t),\\ \overset{.}{R}(t) = (r_{1}( {\varLambda _{t}})I_{1}(t)+r_{2}({\varLambda _{t}})I_{2}(t)- [\mu ({\varLambda _{t}})+\delta ({\varLambda _{t}}) ]R(t) )\,dt, \end{cases} $$

where \((\varLambda _{t})\) is a continuous-time Markov chain, taking values in a finite state space \(\mathcal{N}=\{1,2,\ldots, N\}\) and with generator \(Q=(q_{ij})_{N\times N}\), which means that

$$ \mathbb{P}(\varLambda _{t+\theta }=j|\varLambda _{t}=i)=\textstyle\begin{cases} q_{ij}\theta +o(\theta ) & \text{if }i\neq j,\\ 1+q_{ii}\theta +o(\theta )& \text{if }i= j, \end{cases} $$

supposing that \(\theta \downarrow 0\). Throughout this paper, we assume that the Q matrix is conservative and irreducible. Then, according to the theory of Markov chain, we obtain that \((\varLambda _{t})\) has a unique stationary distribution \((\pi _{i})\) satisfying the equations

$$ \pi Q=0, \qquad\sum_{i=1}^{N}\pi _{i}=1. $$

On the other hand, the incidence functions may also be affected in different environments besides the influence of parameters in the above model. Hence, a new SIRS model in which the incidence functions vary depending on different environments is proposed as follows:

$$ \textstyle\begin{cases} {\overset{.}{S}(t)} = (A({\varLambda _{t}})-\mu ({\varLambda _{t}}) S(t)-\frac{\beta _{1}({\varLambda _{t}})S(t)I_{1}(t)^{\varLambda _{t}}}{ \alpha _{1}+I_{1}(t)}-\frac{\beta _{2}({\varLambda _{t}})S(t)I_{2}(t)^{ \varLambda _{t}}}{\alpha _{2}+S(t)}+\delta ({\varLambda _{t}})R(t) )\,dt\\ \phantom{{\overset{.}{S}(t)} =}{} -\frac{\sigma _{1}({\varLambda _{t}})S(t)I_{1}(t)^{\varLambda _{t}}}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t)-\frac{\sigma _{2}({\varLambda _{t}})S(t)I_{2}(t)^{ \varLambda _{t}}}{\alpha _{2}+S(t)}\,dB_{2}(t),\\ \overset{.}{I}_{1}(t) = (\frac{\beta _{1}({\varLambda _{t}})S(t)I_{1}(t)^{\varLambda _{t}}}{\alpha _{1}+I_{1}(t)}- [\mu ({\varLambda _{t}})+d_{1}({\varLambda _{t}})+r_{1}( {\varLambda _{t}}) ]I_{1}(t) )\,dt\\ \phantom{\overset{.}{I}_{1}(t) =}{}+\frac{\sigma _{1}({\varLambda _{t}})S(t)I _{1}(t)^{\varLambda _{t}}}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t),\\ \overset{.}{I} _{2}(t) = (\frac{\beta _{2}({\varLambda _{t}})S(t)I_{2}(t)^{\varLambda _{t}}}{\alpha _{2}+S(t)}- [\mu ({\varLambda _{t}})+d_{2}({\varLambda _{t}})+r _{2}({\varLambda _{t}}) ]I_{2}(t) )\,dt\\ \phantom{\overset{.}{I} _{2}(t) ={}}+\frac{\sigma _{2}({\varLambda _{t}})S(t)I_{2}(t)^{\varLambda _{t}}}{\alpha _{2}+S(t)}\,dB_{2}(t),\\ \overset{.}{R}(t) = (r_{1}({\varLambda _{t}})I_{1}(t)+r_{2}({\varLambda _{t}})I_{2}(t)- [\mu ({\varLambda _{t}})+\delta ({\varLambda _{t}}) ]R(t) )\,dt. \end{cases} $$

Although there are some epidemic models with two incidence functions or Markovian switching, and some methods are used to solve different problems, for example, Markov semigroup theory was used in [23] to obtain the existence of stationary distribution, the stochastic SIRS model (2), which combines two non-linear incidence functions and Markov switching, has rarely been proposed and studied. In order to overcome the difficulties caused by two factors, some new inequality techniques are utilized to study the asymptotic behavior of diseases. In addition, model (4), in which the incidence functions are affected by Markov chain, has rarely been studied. The methods and results of these models can enrich epidemiological theories and help control the spread of diseases.

The rest of the paper is arranged as follows. Section 2 provides some background knowledge and proves that model (2) has a unique positive solution. Section 3 focuses on the conditions under which the two diseases will be extinct and presents the threshold values for judging disease extinction. Section 4 proceeds with the threshold values to determine the disease persistence. Section 5 studies the influence of Markovian switching upon incidence functions in model (4) and gives the conditions to judge disease extinction. Section 6 presents some examples and their figures to illustrate our theoretical results; and finally, Sect. 7 gives the conclusions and future research of current work.

2 Background knowledge

In this section, we present a number of definitions, notations, and lemmas which will be used later in the article.

Let \(\check{A}=\max_{i\in \mathcal{N}} A(i)\), \(\hat{A}= \min_{i\in \mathcal{N}} A(i)\), \(\check{\beta _{1}}=\max_{i\in \mathcal{N}} \beta _{1}(i)\), and \(\hat{\beta _{1}}=\min_{i\in \mathcal{N}} \beta _{1}(i)\). Similarly, for the parameters μ̌, μ̂, \(\check{\beta _{2}}\), \(\hat{\beta _{2}}\), δ̂, \(\check{r_{1}}\), \(\check{r_{2}}\), \(\hat{\sigma _{1}}\), we define them in the same way.

Throughout this paper, let \((\varOmega, \mathcal{F},\{\mathcal{F}\}_{t\ge 0},\mathbb{P})\) be a complete probability space with a filtration \(\{\mathcal{F}\}_{t\ge 0}\) satisfying the usual conditions. Take into account the SDEs of the following form:

$$ dX(t)=b(X,\varLambda _{t})\,dt+\sigma (X,\varLambda _{t})\,dB(t), $$

where \(b:\mathbb{R}^{n} \times {\mathcal{N}} \to \mathbb{R}^{n}\), \(\sigma: \mathbb{R}^{n} \times {\mathcal{N}} \to \mathbb{R}^{n\times m}\), and \(B(t)=(B_{t} ^{1},\ldots,B_{t}^{m})^{T}\) is m-dimensional standard Brownian motion defined on the complete probability space. For \(i \in {\mathcal{N}}\) and any twice continuous-differentiable function \(V(X,i)\), define the operator \(\mathcal{L}\) by

$$ \mathcal{L}V(X,i)=V_{x}(X,i)b(X,i)+\frac{1}{2}\operatorname{tr} \bigl[\sigma ^{T}(X,t)V _{xx}\sigma (X,t)\bigr]+\sum _{j=1}^{N}q_{ij}V(X,j). $$

To proceed, we give the definitions for describing the behavior of the diseases. Let \(\mathbb{R}_{+}^{4}=\{x_{i}>0,i=1,2,3,4\}\), and for an integrable function f, define the notation \(\langle f(t) \rangle \) by \(\langle f(t) \rangle = \frac{1}{t}\int _{0}^{t}f(r)\,dr\).

Definition 2.1

  • The disease \(I(t)\) is called extinct if \(\lim_{t\to \infty }I(t)=0\);

  • The disease \(I(t)\) is called persistent if there exists a positive constant λ such that \(\liminf_{t\to \infty } \langle f(t) \rangle \ge \lambda \).

Lemma 2.1

For any initial value \((S(0),I_{1}(0),I_{2}(0),R(0))\in \mathbb{R}_{+}^{4}\), and \(i_{0}\in \mathcal{N}\), model (2) has a unique solution \((S(t),I_{1}(t),I_{2}(t),R(t))\) for \(t>0\), and the solution remains in \(R_{+}^{4}\) with probability 1. Moreover, the solution satisfies the inequality

$$ N(t)\leq N(0)e^{-\int _{0}^{t}\mu (\varLambda _{s})\,ds}+ \int _{0}^{t}A( \varLambda _{s})e^{-\int _{s}^{t}\mu (\varLambda _{r})\,dr} \,ds,\quad \textit{a.s.}, $$

then, obviously,

$$ N(t)\leq N(0)e^{-\hat{\mu }t}+\frac{\check{A}}{\hat{\mu }}\leq N(0)+ \frac{ \check{A}}{\hat{\mu }},\quad \textit{a.s.}, $$



The existence and uniqueness of the solution to model (2) can be obtained by the segment method. Precisely, let \(0=t_{0}< t_{1}<\cdots <t_{n}<\cdots \) be the set of all jumping times of the Markov chain \((\varLambda _{t})\). Then, for \(t\in [0,t_{1})\), \(\varLambda _{t}=i_{0}\). The model is simplified as follows:

$$ \textstyle\begin{cases} {\overset{.}{S}(t)} = (A({i_{0}})-\mu ({i_{0}}) S(t)-\frac{ \beta _{1}({i_{0}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}-\frac{\beta _{2}( {i_{0}})S(t)I_{2}(t)}{\alpha _{2}+S_{1}(t)}+\delta ({i_{0}})R(t) )\,dt \\ \phantom{{\overset{.}{S}(t)}=}{}-\frac{\sigma _{1}({i_{0}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t)-\frac{ \sigma _{2}({i_{0}})S(t)I_{2}(t)}{\alpha _{2}+S(t)}\,dB_{2}(t),\\ \overset{.}{I}_{1}(t) = (\frac{\beta _{1}({i_{0}})S(t)I_{1}(t)}{ \alpha _{1}+I_{1}(t)}- [\mu ({i_{0}})+d_{1}({i_{0}})+r_{1}({i_{0}}) ]I_{1}(t) )\,dt+\frac{\sigma _{1}({i_{0}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t),\\ \overset{.}{I}_{2}(t) = (\frac{\beta _{2}({i_{0}})S(t)I_{2}(t)}{\alpha _{2}+S(t)}- [\mu ({i_{0}})+d_{2}( {i_{0}})+r_{2}({i_{0}}) ]I_{2}(t) )\,dt+\frac{\sigma _{2}({i_{0}})S(t)I _{2}(t)}{\alpha _{2}+S(t)}\,dB_{2}(t),\\ \overset{.}{R}(t) = (r_{1}( {i_{0}})I_{1}(t)+r_{2}({i_{0}})I_{2}(t)- [\mu ({i_{0}})+\delta ( {i_{0}}) ]R(t) )\,dt. \end{cases} $$

With regard to model (8), the existence and uniqueness of a positive solution can be obtained by constructing the Lyapunov function \(V(S,I_{1},I_{2},R)=-\ln \frac{S}{h_{1}}-\ln \frac{I_{1}}{h _{1}}-\ln \frac{I_{2}}{h_{1}}-\ln \frac{R}{h_{1}}\), where the constant \(h_{1}=\max {\{N(0),\frac{A}{\mu }\}}\). For more details, please refer to the literature [15]. Then, for \(t\in [t _{1},t_{2})\), \(\varLambda _{t}=\varLambda _{t_{1}}\in {\mathcal{N}}\), we use the same Lyapunov function above to acquire the positive solution. Repeating this procedure, we can arrive at the conclusion that the model has the unique positive solution with the initial value \((S(0),I_{1}(0),I _{2}(0),R(0))\).

Then we prove inequality (6). Adding up all formulas of (2) yields that

$$\begin{aligned} dN(t) &= \bigl[A(\varLambda _{t})-\mu ( \varLambda _{t})N(t)-d_{1}(\varLambda _{t})I _{1}(t)-d_{2}(\varLambda _{t})I_{2}(t) \bigr]\,dt \\ &\leq \bigl[A(\varLambda _{t})- \mu (\varLambda _{t})N(t) \bigr]\,dt. \end{aligned}$$

The last equality holds thanks to \(I_{i}(t)\ge 0, i=1,2\). Hence, we can obtain that

$$ \frac{dN(t)}{dt}\leq A(\varLambda _{t_{k}})-\mu (\varLambda _{t_{k}})N(t), \quad t\in [t_{k},t_{k+1}). $$

Using the method of variation of constant, we can get the following formula:

$$\begin{aligned} N(t) &\leq N(t_{k})e^{-\mu (\varLambda _{t_{k}})(t-t_{k})}+ \int _{t_{k}} ^{t}A(\varLambda _{s})e^{-\mu (\varLambda _{t_{k}})(t-s)} \,ds \\ &=N(t_{k})e ^{-\int _{t_{k}}^{t}\mu (\varLambda _{s})\,ds}+ \int _{t_{k}}^{t}A(\varLambda _{s})e ^{-\int _{s}^{t}\mu (\varLambda _{r})\,dr}\,ds. \end{aligned}$$

By the recursive rule, letting \(t=t_{k}\), we get that

$$ N(t_{k})\leq N(t_{k-1})e^{-\int _{t_{k-1}}^{t_{k}}\mu (\varLambda _{s})\,ds}+ \int _{t_{k-1}}^{t_{k}}A(\varLambda _{s})e^{-\int _{s}^{t}\mu (\varLambda _{r})\,dr} \,ds. $$

Inserting (11) into (10) and repeating this calculation yield that

$$\begin{aligned} N(t) &\leq N(t_{k-1})e^{-\int _{t_{k-1}}^{t}\mu (\varLambda _{s})\,ds}+ \int _{t_{k-1}}^{t}A(\varLambda _{s})e^{-\int _{s}^{t}\mu (\varLambda _{r})\,dr} \,ds \\ & \leq \cdots \\ & \leq N(0)e^{-\int _{0}^{t}\mu (\varLambda _{s})\,ds}+ \int _{0}^{t}A(\varLambda _{s})e^{-\int _{s}^{t}\mu (\varLambda _{r})\,dr} \,ds \end{aligned}$$


$$\begin{aligned} N(t) &\leq N(0)e^{-\int _{0}^{t}\hat{\mu }\,ds}+ \int _{0}^{t}\check{A}e ^{-\int _{s}^{t}\hat{\mu }\,dr}\,ds \\ &=N(0)e^{-\hat{\mu }t}+\frac{ \check{A}}{\hat{\mu }}\bigl(1-e^{-\hat{\mu }t}\bigr). \end{aligned}$$

Hence, (6) and (7) are verified. □

3 Extinction of diseases

In this section, we study some sufficient conditions to justify the extinction of the diseases of model (2). To begin with, we present some lemmas which will be used in the paper.

Lemma 3.1

For the solution of model (2) with any initial value, it holds that

$$ \limsup_{t \to \infty }R(t)\leq \frac{\check{r_{1}}+\check{r_{2}}}{ \hat{\mu }+\hat{\delta }}\limsup _{t\to \infty }\bigl(I_{1}(t)+I_{2}(t)\bigr). $$


From the fourth equation of model (2), we deduce that

$$ \frac{dR(t)}{dt}\leq (\check{r_{1}}+\check{r_{2}}) \bigl(I_{1}(t)+I_{2}(t)\bigr)-( \hat{\mu }+\hat{\delta })R(t). $$

Then integrating the above formula and letting \(I(t)=I_{1}(t)+I_{2}(t)\) yield that

$$\begin{aligned} R(t) &\leq R(0)e^{-(\hat{\mu }+\hat{\delta })t}+(\check{r_{1}}+ \check{r_{2}}) \int _{0}^{t}e^{-(\hat{\mu }+\hat{\delta })(t-s)} \bigl(I_{1}(s)+I _{2}(s)\bigr)\,ds \\ &=R(0)e^{-(\hat{\mu }+\hat{\delta })t}+(\check{r_{1}}+ \check{r_{2}}) \int _{0}^{t}e^{-(\hat{\mu }+\hat{\delta })u}I(t-u)\,du \\ & \leq R(0)e^{-(\hat{\mu }+\hat{\delta })t}+(\check{r_{1}}+ \check{r_{2}}) \int _{0}^{\infty }e^{-(\hat{\mu }+\hat{\delta })u}I(t-u)\,du. \end{aligned}$$

By Fatou’s lemma, we can get

$$\begin{aligned} \limsup_{t\to \infty } R(t) &\leq \limsup _{t\to \infty } R(0)e^{-( \hat{\mu }+\hat{\delta })t}+\limsup_{t\to \infty }( \check{r_{1}}+ \check{r_{2}}) \int _{0}^{\infty }e^{-(\hat{\mu }+\hat{\delta })u}I(t-u)\,du \\ &\leq (\check{r_{1}}+\check{r_{2}}) \int _{0}^{\infty } \limsup_{t\to \infty }I(t-u)e^{-(\hat{\mu }+\hat{\delta })u} \,du \\ &=( \check{r_{1}}+\check{r_{2}})\limsup _{t\to \infty }I(t) \int _{0}^{ \infty }e^{-(\hat{\mu }+\hat{\delta })u}\,du \\ &=\frac{\check{r_{1}}+ \check{r_{2}}}{\hat{\mu }+\hat{\delta }}\limsup_{t\to \infty }\bigl(I_{1}(t)+I _{2}(t)\bigr). \end{aligned}$$


Lemma 3.2

For the solution of model (2) with any initial value, the following formulas hold:

$$\begin{aligned} &\lim_{t \to \infty }\frac{1}{t} \int _{0}^{t}\frac{\sigma _{1}(\varLambda _{s})S(s)}{\alpha _{1}+I_{1}(s)} \,dB_{1}(s)=0, \qquad \lim_{t \to \infty } \frac{1}{t} \int _{0}^{t} \frac{\sigma _{2}(\varLambda _{s})S(s)}{\alpha _{2}+S(s)} \,dB_{2}(s)=0, \\ &\lim_{t \to \infty }\frac{1}{t} \int _{0}^{t}\sigma _{1}(\varLambda _{s})S(s)\,dB _{1}(s)=0,\qquad \lim_{t \to \infty } \frac{1}{t} \int _{0}^{t}\frac{\sigma _{1}(\varLambda _{s})S(s)I_{1}(s)^{\varLambda _{s}-1}}{\alpha _{1}+I_{1}(s)}\,dB _{1}(s)=0, \\ & \lim_{t \to \infty }\frac{1}{t} \int _{0}^{t}\frac{\sigma _{2}(\varLambda _{s})S(s)I_{2}(s)^{\varLambda _{s}-1}}{\alpha _{2}+S(s)} \,dB_{2}(s)=0, \quad\textit{a.s.} \end{aligned}$$


We only give the proof of the first formula and the fourth one above, the other three formulas can be proved in a similar way.

Let \(M(t)=\int _{0}^{t}\frac{\sigma _{1}(\varLambda _{s})S(s)}{\alpha _{1}+I _{1}(s)}\,dB_{1}(s)\), \(A(t)=\int _{0}^{t}\frac{\sigma _{1}^{2}(\varLambda _{s})S^{2}(s)}{(\alpha _{1}+I_{1}(s))^{2}}\,ds\), and \(p>2\). Making use of the BDG inequality, one can get

$$ \mathbb{E}\Bigl[\sup_{0\leq s\leq t} \bigl\vert M(s) \bigr\vert ^{p} \Bigr]\leq C _{p}\mathbb{E}\bigl[A(t) \bigr]^{\frac{p}{2}}\leq C_{p}\mathbb{E}\biggl[\sup_{0\leq s\leq t} \frac{ \sigma _{1}^{2}(\varLambda _{s})S^{2}(s)}{(\alpha _{1}+I_{1}(s))^{2}}\biggr]^{ \frac{p}{2}}t^{\frac{p}{2}}\leq \tilde{C_{p}}t^{\frac{p}{2}}, $$

where \(\tilde{C_{p}}=C_{p} (\frac{\check{\sigma _{1}}(N(0) \hat{\mu }+\check{A})}{\alpha _{1}\hat{\mu }} )^{p} \).

Let \(k\ge 1\) be a positive integer and ϵ be an arbitrarily small positive constant. By Chebyshev’s inequality, one has

$$\begin{aligned} \mathbb{P}\Bigl\{ \sup_{k\theta \leq t\leq (k+1)\theta } \bigl\vert M(t) \bigr\vert ^{p}>(k\theta )^{1+\epsilon +\frac{p}{2}} \Bigr\} &\leq \frac{\mathbb{E}\vert M((k+1)\theta ) \vert ^{p}}{(k\theta )^{1+\epsilon + \frac{p}{2}}} \\ &\leq \frac{\tilde{C_{p}}[(k+1)\theta ]^{\frac{p}{2}}}{(k \theta )^{1+\epsilon +\frac{p}{2}}}\leq \frac{\tilde{C_{p}}(2k\theta )^{\frac{p}{2}}}{(k\theta )^{1+\epsilon +\frac{p}{2}}}=\frac{ \tilde{C_{p}}2^{\frac{p}{2}}}{(k\theta )^{1+\epsilon }}. \end{aligned}$$

Since \(\sum_{k=0}^{\infty }\frac{\tilde{C_{p}}2^{\frac{p}{2}}}{(k \theta )^{1+\epsilon }}\) converges, the Borel–Cantelli lemma yields that, for almost all \(\omega \in \varOmega \), there exists a positive integer \(n_{0}=n_{0}(\omega )\) such that

$$ \sup_{k\theta \leq t\leq (k+1)\theta } \bigl\vert M(t) \bigr\vert ^{p} \leq (k \theta )^{1+\epsilon +\frac{p}{2}}, \quad\text{when } n\ge n_{0}. $$

For \(k\theta \leq t\leq (k+1)\theta \) and \(n\ge n_{0}\), we have

$$ \ln \bigl\vert M(t) \bigr\vert ^{p}\leq \biggl(1+\epsilon + \frac{p}{2}\biggr)\ln t, \quad\text{a.s.} $$

Because ϵ is arbitrary, letting \(\epsilon \to 0\), we can obtain

$$ \limsup_{t\to \infty } \frac{\ln \vert M(t) \vert }{\ln t}\leq \frac{1}{2}+ \frac{1}{p},\quad \text{a.s.} $$

Then, for a sufficiently small constant \(\epsilon\ (\epsilon < \frac{1}{2}-\frac{1}{p})\), there exists a constant \(N(\omega )\), for \(t\ge N(\omega )\), one has

$$ \ln \bigl\vert M(t) \bigr\vert \leq \biggl(\frac{1}{2}+ \frac{1}{p}+\epsilon \biggr)\ln t, \quad\text{a.s.} $$


$$ \limsup_{t\to \infty }\frac{ \vert M(t) \vert }{t}\leq \limsup _{t\to \infty } \frac{t ^{(\frac{1}{2}+\frac{1}{p}+\epsilon )}}{t}=0, \quad \text{a.s.} $$

The first formula of (13) has been established.

Next, we prove that the fourth formula holds. We use the strong law of large numbers to prove it.

Assume that \(M_{1}(t)=\int _{0}^{t}\frac{\sigma _{1}(\varLambda _{s})S(s)I _{1}(s)^{\varLambda _{s}-1}}{\alpha _{1}+I_{1}(s)}\,dB_{1}(s)\), then one has

$$ \limsup_{t\to \infty }\frac{ \langle M_{1}, M_{1} \rangle _{t}}{t}\leq \limsup _{t\to \infty }\frac{1}{t} \int _{0}^{t} \biggl(\frac{ \check{\sigma _{1}}(N(0)+\frac{\check{A}}{\hat{\mu }})^{N}}{\alpha _{1}} \biggr)\,dt< \infty,\quad \text{a.s.} $$

Thus, we get that \(\limsup_{t\to \infty }\frac{M_{1}(t)}{t}=0 \). □

Lemma 3.3

(Strong ergodicity theorem, cf. [31])

Assume that \((X_{t},\varLambda _{t})\) is positive recurrent and π is the stationary distribution of \((X_{t},\varLambda _{t})\), then for any bounded measurable function f defined on \(\mathbb{R}_{+}\times \mathcal{N}\), it holds

$$ \lim_{t\to \infty }\frac{1}{t} \int _{0}^{t}f(X_{s},\varLambda _{s})\,ds= \sum_{i\in \mathcal{N}} \int _{\mathbb{R}_{+}}f(x,i)\pi (dx,i). $$

After introducing several lemmas above, we provide a sufficient condition to judge the extinction of diseases.

Theorem 3.1


$$ \hat{\sigma }_{1}^{2}> \frac{\frac{1}{2}\sum_{i\in \mathcal{N}}\pi _{i}\beta _{1}^{2}(i)}{\sum_{i\in \mathcal{N}}\pi _{i}(\mu (i)+d_{1}(i)+r_{1}(i))} $$


$$ \hat{\sigma }_{2}^{2}> \frac{\frac{1}{2}\sum_{i\in \mathcal{N}}\pi _{i}\beta _{2}^{2}(i)}{\sum_{i\in \mathcal{N}}\pi _{i}(\mu (i)+d_{2}(i)+r_{2}(i))}, $$

then the two diseases of model (2) will be extinct almost surely, i.e.,

$$ \lim_{t\to \infty }I_{i}(t)=0,\quad i=1,2, \textit{ a.s.} $$


Applying Itô’s formula to \(V_{1}(t)=\ln I _{1}(t)\) and the chain rule to the second equation of model (2) yields that

$$ d\ln I_{1}(t)=\mathcal{L}V_{1}(t)\,dt + \frac{\sigma _{1}({\varLambda _{t}})S(t)}{ \alpha _{1}+I_{1}(t)}\,dB_{1}(t), $$

where \(\mathcal{L}V_{1}(t)=\frac{\beta _{1}({\varLambda _{t}})S(t)}{\alpha _{1}+I _{1}(t)}- [\mu ({\varLambda _{t}})+d_{1}({\varLambda _{t}})+r_{1}({\varLambda _{t}}) ]-\frac{\sigma _{1}^{2}(\varLambda _{t})S^{2}(t)}{2(\alpha _{1}+I _{1}(t))^{2}}\). Thus,

$$\begin{aligned} \mathcal{L}V_{1}(t) &\leq \frac{\beta _{1}({\varLambda _{t}})S(t)}{\alpha _{1}+I _{1}(t)}- \bigl[\mu ({ \varLambda _{t}})+d_{1}({\varLambda _{t}})+r_{1}({ \varLambda _{t}}) \bigr]- \frac{\hat{\sigma }_{1}^{2}S^{2}(t)}{2(\alpha _{1}+I_{1}(t))^{2}} \\ &=-\frac{ \hat{\sigma }_{1}^{2}}{2} \biggl(\frac{S(t)}{\alpha _{1}+I_{1}(t)}-\frac{ \beta _{1}(\varLambda _{t})}{\hat{\sigma }_{1}^{2}} \biggr)^{2}+\frac{\beta _{1}^{2}(\varLambda _{t})}{2\hat{\sigma }_{1}^{2}}-\bigl[\mu ({\varLambda _{t}})+d _{1}({\varLambda _{t}})+r_{1}({ \varLambda _{t}})\bigr] \\ &\leq \frac{\beta _{1}^{2}( \varLambda _{t})}{2\hat{\sigma }_{1}^{2}}-\bigl[\mu ({\varLambda _{t}})+d_{1}( {\varLambda _{t}})+r_{1}({\varLambda _{t}}) \bigr]. \end{aligned}$$

Integrating from 0 to t for (16) and dividing both sides by t, one has

$$\begin{aligned} \frac{\ln I_{1}(t)}{t}\leq{}& \frac{1}{t} \int _{0}^{t} \biggl(\frac{\beta _{1}^{2}(\varLambda _{s})}{2\hat{\sigma }_{1}^{2}}- \bigl[\mu ({\varLambda _{s}})+d _{1}({\varLambda _{s}})+r_{1}({\varLambda _{s}})\bigr] \biggr)\,ds \\ &{} +\frac{1}{t} \int _{0}^{t}\frac{\sigma _{1}({\varLambda _{s}})S(s)}{\alpha _{1}+I_{1}(s)} \,dB_{1}(s)+\frac{\ln I_{1}(0)}{t}. \end{aligned}$$

Letting \(t\to \infty \), using Lemmas 3.2 and 3.3, we get that

$$ \limsup_{t\to \infty }\frac{\ln I_{1}(t)}{t}\leq \sum _{i\in \mathcal{M}}\pi _{i} \biggl(\frac{\beta _{1}^{2}(i)}{2\hat{\sigma }_{1}^{2}}- \bigl[\mu (i)+d _{1}(i)+r_{1}(i)\bigr] \biggr). $$

Under the condition of (14), we can obtain that \(\lim_{t\to \infty }I_{1}(t)=0, a.s\). The proof of (15) is the same as that of the first one, we omit it here to avoid repetition.

From conditions (14) and (15), we can see that when the intensities of white noise in each environment are sufficiently large, the two diseases will go to extinction almost surely as time goes on. This reveals the effect of white noise on diseases. Next, we will consider the situation of small intensities of white noise and provide the sufficient condition for extinction of diseases. □

Theorem 3.2

For the solution \(S(t),I_{1}(t),I_{2}(t),R(t)\) to model (2) with the initial value \(S(0),I_{1}(0),I_{2}(0),R(0)\in R_{+}^{4}\), if \(\frac{\check{A}}{\alpha _{1}\hat{\mu }}\leq \min_{i\in \mathcal{N}}\{\frac{ \beta _{1}(i)}{\sigma _{1}^{2}(i)}\}\), \(\frac{\check{A}}{\alpha _{2} \hat{\mu }+\check{A}}\leq \min_{i\in \mathcal{N}}\{\frac{\beta _{2}(i)}{\sigma _{2}^{2}(i)}\}\), and

$$\begin{aligned} & \Delta _{1}:=\frac{\sum_{i\in \mathcal{N}}\pi (i)\beta _{1}(i)\frac{\check{A}}{ \alpha _{1}\hat{\mu }}}{\sum_{i\in \mathcal{N}}\pi (i) [\mu ({i})+d_{1}(i)+r _{1}(i) +\frac{\sigma _{1}^{2}(i)\check{A}^{2}}{2\alpha _{1}^{2} \hat{\mu }^{2}} ]}< 1, \end{aligned}$$
$$\begin{aligned} &\Delta _{2}:=\frac{\sum_{i\in \mathcal{N}}\pi (i)\beta _{2}(i)\frac{\check{A}}{ \alpha _{2}\hat{\mu }+\check{A}}}{\sum_{i\in \mathcal{N}}\pi (i) [\mu ( {i})+d_{2}(i)+r_{2}(i) +\frac{\sigma _{2}^{2}(i)\check{A}^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}} ]}< 1, \end{aligned}$$


$$ \lim_{t\to \infty }I_{i}(t)=0, \quad i=1,2, \textit{ a.s.}, $$

which means that the two diseases will go to extinction.


$$\begin{aligned} & \lim_{t\to \infty }R(t)=0,\quad \textit{a.s.} \end{aligned}$$
$$\begin{aligned} & \lim_{t\to \infty }\frac{1}{t} \int _{0}^{t}\mu (\varLambda _{s})S(s)\,ds= \sum_{i\in \mathcal{N}}\pi (i)A(i),\quad \textit{a.s.} \end{aligned}$$


Applying Itô’s formula to \(V_{1}=\ln I_{1}(t)\), one has

$$ d\ln I_{1}(t)=\mathcal{L}V_{1}\,dt + \frac{\sigma _{1}({\varLambda _{t}})S(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t), $$

where \(\mathcal{L}V_{1}= \frac{\beta _{1}({\varLambda _{t}})S(t)}{\alpha _{1}+I_{1}(t)}- [\mu ( {\varLambda _{t}})+d_{1}({\varLambda _{t}})+r_{1}({\varLambda _{t}}) ]-\frac{ \sigma _{1}^{2}(\varLambda _{t})S^{2}(t)}{2(\alpha _{1}+I_{1}(t))^{2}}\).

Let \(x(t)=\frac{S(t)}{\alpha _{1}+I_{1}(t)}\), then \(x(t)\leq \frac{1}{ \alpha _{1}} (N(0)e^{-\hat{\mu } t}+\frac{\check{A}}{\hat{\mu }} )\), and \(\mathcal{L}V_{1}\) can be regarded as a combination of N quadratic functions. Each function is increasing in the interval \([0, \frac{\beta _{1}(\varLambda _{t})}{\sigma _{1}^{2}(\varLambda _{t})}]\). Therefore, when \(\frac{\check{A}}{\alpha _{1}\hat{\mu }}\leq \min_{i\in \mathcal{N}}\{\frac{\beta _{1}(i)}{\sigma _{1}^{2}(i)}\}\), it holds

$$\begin{aligned} \mathcal{L}V_{1}\leq {}&\beta _{1}(\varLambda _{t}) \biggl(\frac{N(0)e^{-\hat{\mu }t}}{ \alpha _{1}}+\frac{\check{A}}{\alpha _{1}\hat{\mu }} \biggr)- \bigl[\mu ( {\varLambda _{t}})+d_{1}({\varLambda _{t}})+r_{1}({\varLambda _{t}}) \bigr] \\ &{} -\frac{\sigma _{1}^{2}(\varLambda _{t})}{2} \biggl(\frac{N(0)e^{-\hat{\mu }t}}{ \alpha _{1}}+\frac{\check{A}}{\alpha _{1}\hat{\mu }} \biggr)^{2} \\ \leq{}& \frac{\beta _{1}(\varLambda _{t})\check{A}}{\alpha _{1}\hat{\mu }}- \bigl[\mu ({\varLambda _{t}})+d_{1}({ \varLambda _{t}})+r_{1}({\varLambda _{t}}) \bigr] -\frac{\sigma _{1}^{2}(\varLambda _{t})}{2} \biggl(\frac{\check{A}}{ \alpha _{1}\hat{\mu }} \biggr)^{2}+ce^{-\hat{\mu }t} \end{aligned}$$

for a certain constant c. Substituting it into (22), integrating for the both sides from 0 to t and dividing by t, we can obtain that

$$\begin{aligned} \frac{\ln I_{1}(t)}{t}\leq{} &\frac{1}{t} \int _{0}^{t} \biggl\{ \frac{\beta _{1}(\varLambda _{s})\check{A}}{\alpha _{1}\hat{\mu }}- \bigl[\mu ({\varLambda _{s}})+d_{1}({\varLambda _{s}})+r_{1}({\varLambda _{s}}) \bigr] - \frac{\sigma _{1}^{2}(\varLambda _{s})}{2} \biggl(\frac{\check{A}}{\alpha _{1}\hat{\mu }} \biggr)^{2} \biggr\} \,ds \\ &{}+\frac{1}{t} \int _{0}^{t}ce^{-\hat{\mu }s}\,ds+ \frac{M(t)}{t}+\frac{\ln I_{1}(0)}{t}. \end{aligned}$$

This, along with Lemmas 3.2 and 3.3, yields

$$\begin{aligned} \limsup_{t\to \infty }\frac{\ln I_{1}(t)}{t}\leq \sum _{i\in \mathcal{N}} \pi (i) \biggl[\frac{\beta _{1}(i)\check{A}}{\alpha _{1}\hat{\mu }}- \bigl[ \mu ({i})+d_{1}(i)+r_{1}(i) \bigr] -\frac{\sigma _{1}^{2}(i)}{2} \biggl(\frac{\check{A}}{\alpha _{1}\hat{\mu }} \biggr)^{2} \biggr], \end{aligned}$$

where we use the result that

$$ \limsup_{t\to \infty }\frac{1}{t} \int _{0}^{t}ce^{-\hat{\mu }s}\,ds= \limsup _{t\to \infty }\frac{c}{\hat{\mu }t} \bigl(1-e^{-\hat{\mu }t} \bigr)=0. $$

Under the assumption of condition (17), we can get that the disease \(I_{1}(t)\) will go to extinction.

Applying Itô’s formula to \(V_{2}=\ln I_{2}(t)\), one has

$$ d\ln I_{2}(t)=\mathcal{L}V_{2}\,dt + \frac{\sigma _{2}({\varLambda _{t}})S(t)}{\alpha _{2}+S(t)}\,dB_{2}(t), $$

where \(\mathcal{L}V_{2}=\frac{\beta _{2}({\varLambda _{t}})S(t)}{\alpha _{2}+S(t)}- [\mu ({\varLambda _{t}})+d_{2}({\varLambda _{t}})+r_{2}({\varLambda _{t}}) ]- \frac{\sigma _{2}^{2}(\varLambda _{t})S^{2}(t)}{2(\alpha _{2}+S(t))^{2}}\).

According to the similar calculation above, and using the inequality \(\frac{a}{a+b}\leq \frac{a+x}{a+b+x}\) for \(a,b,x>0\), we get that, for some constant \(c_{2}\),

$$\begin{aligned} \mathcal{L}V_{2}\leq {}& \beta _{2}(\varLambda _{t}) \biggl(\frac{N(0)e^{-\hat{\mu }t}+\frac{ \check{A}}{\hat{\mu }}}{\alpha _{2}+N(0)e^{-\hat{\mu }t}+\frac{ \check{A}}{\hat{\mu }}} \biggr) - \bigl[\mu ({\varLambda _{t}})+d_{2}({\varLambda _{t}})+r_{2}({ \varLambda _{t}}) \bigr] \\ &{} -\frac{\sigma _{2}^{2}(\varLambda _{t})}{2} \biggl(\frac{N(0)e^{-\hat{\mu }t}+\frac{ \check{A}}{\hat{\mu }}}{\alpha _{2}+N(0)e^{-\hat{\mu }t}+\frac{ \check{A}}{\hat{\mu }}} \biggr)^{2} \\ \leq{} &\frac{\beta _{2}(\varLambda _{t}) \check{A}}{\alpha _{2}\hat{\mu }+\check{A}}- \bigl[\mu ({\varLambda _{t}})+d _{2}({\varLambda _{t}})+r_{2}({\varLambda _{t}}) \bigr] -\frac{\sigma _{2}^{2}( \varLambda _{t})}{2} \biggl( \frac{\check{A}}{\alpha _{2}\hat{\mu }+\check{A}} \biggr)^{2}+c_{2}e^{- \hat{\mu }t} \end{aligned}$$


$$\begin{aligned} \frac{\ln I_{2}(t)}{t}\leq{} &\frac{1}{t} \int _{0}^{t} \biggl\{ \frac{\beta _{2}(\varLambda _{s})\check{A}}{\alpha _{2}\hat{\mu }+\check{A}}- \bigl[ \mu ({\varLambda _{s}})+d_{2}({\varLambda _{s}})+r_{2}({\varLambda _{s}}) \bigr] - \frac{ \sigma _{2}^{2}(\varLambda _{s})\check{A}^{2}}{2(\alpha _{2}\hat{\mu }+ \check{A})^{2}} \biggr\} \,ds \\ &{}+\frac{1}{t} \int _{0}^{t}ce^{-\hat{\mu }s}\,ds+ \frac{M _{1}(t)}{t}+\frac{\ln I_{2}(0)}{t}. \end{aligned}$$

Therefore, we can obtain that

$$\begin{aligned} \limsup_{t\to \infty }\frac{\ln I_{2}(t)}{t}\leq \sum _{i\in \mathcal{N}} \pi (i) \biggl[\frac{\beta _{2}(i)\check{A}}{\alpha _{2}\hat{\mu }+ \check{A}}- \bigl[ \mu ({i})+d_{2}(i)+r_{2}(i) \bigr] -\frac{\sigma _{2} ^{2}(i)\check{A}^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}} \biggr]. \end{aligned}$$

Owing to assumption (18), one has \(\lim_{t\to \infty }I _{2}(t)=0\), a.s. These complete the proof of (19).

Thanks to (19), we have \(\limsup_{t\to \infty }(I_{1}(t)+I _{2}(t))=0\), a.s. Then, by Lemma 3.1, (20) holds.

As a result of (9), one has

$$\begin{aligned} \frac{1}{t} \int _{0}^{t}\mu (\varLambda _{s})S(s)\,ds= {}&\frac{1}{t} \int _{0} ^{t}\bigl[A(\varLambda _{s})-\bigl(\mu (\varLambda _{s})+d_{1}( \varLambda _{s})\bigr)I_{1}(s)- \mu (\varLambda _{s})R(s)\bigr]\,ds \\ &{}-\frac{1}{t} \int _{0}^{t}\bigl(\mu (\varLambda _{s})+d _{2}(\varLambda _{s}) \bigr)I_{2}(s)\,ds-\frac{N(t)-N(0)}{t}. \end{aligned}$$

This, together with (19), (20), and Lemma 3.3, implies that conclusion (21) holds.

The proof is completed. □

4 Persistence of diseases

In this section, we proceed to studying the conditions for persistence of diseases. Because there are two kinds of disease, we will discuss them respectively.

Theorem 4.1

Let \((S(t),I_{1}(t),I_{2}(t),R(t))\) be the solution of model (2).

  • Case 1. If \(\frac{\check{A}}{\alpha _{2}\hat{\mu }+\check{A}}\leq \min_{i\in \mathcal{N}}\{\frac{\beta _{2}(i)}{\sigma _{2}^{2}(i)}\}\), \(\Delta _{2}<1\), and

    $$ \Delta _{3}:=\frac{\sum_{i\in \mathcal{N}}\pi (i)A(i)}{\kappa _{1} \sum_{i \in \mathcal{N}}\pi (i)[\mu (i)+d_{1}(i)+r_{1}(i)+\frac{\sigma _{1}^{2}(i) \check{A}^{2}}{2\alpha _{1}^{2}\hat{\mu }^{2}}]}>1, $$

    where \(\kappa _{1}=\alpha _{1}\max_{i\in \mathcal{N}}\{\frac{\mu (i)}{\beta _{1}(i)}\}\), then the infected individuals \(I_{1}\) caused by disease 1, or the disease \(I_{1}\) for short, will be persistent in mean and the infected individuals \(I_{2}\) caused by disease 2, or the disease \(I_{2}\) for short, will go to extinction.

  • Case 2. If \(\frac{\check{A}}{\alpha _{1}\hat{\mu }}\leq \min_{i\in \mathcal{N}} \{\frac{\beta _{1}(i)}{\sigma _{1}^{2}(i)}\}\), \(\Delta _{1}<1\), and

    $$ \Delta _{4}:=\frac{\sum_{i\in \mathcal{N}}\pi (i)A(i)}{\kappa _{2} \sum_{i \in \mathcal{N}}\pi (i)[\mu (i)+d_{2}(i)+r_{2}(i)+\frac{\sigma _{2}^{2}(i) \check{A}^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}}]}>1, $$

    where \(\kappa _{2}=\frac{\hat{\mu }\alpha _{2}+\check{A}}{\hat{\mu }} \max_{i\in \mathcal{N}}\{\frac{\mu (i)}{\beta _{2}(i)}\}\), then the disease \(I_{1}\) will go to extinction and disease \(I_{2}\) will be persistent in mean.

  • Case 3. If \(\Delta _{3}>1\) and \(\Delta _{4}>1\), then the diseases \(I_{1},I_{2}\) will be persistent in mean. Moreover,

    $$ \liminf_{t\to \infty }\bigl( \bigl\langle I_{1}(t) \bigr\rangle + \bigl\langle I _{2}(t) \bigr\rangle \bigr)\ge \frac{1}{2C}(N_{1}+N_{2}), $$

    where \(N_{1}=\sum_{i\in \mathcal{N}}\pi (i)[A(i)-\kappa _{1} (\mu (i)+d _{1}(i)+r_{1}(i)+\frac{\sigma _{1}^{2}(i)\check{A}^{2}}{2\alpha _{1} ^{2}\hat{\mu }^{2}} )]\), \(N_{2}=\sum_{i\in \mathcal{N}}\pi (i)[A(i)- \kappa _{2} (\mu (i)+d_{2}(i)+r_{2}(i)+\frac{\sigma _{2}^{2}(i)\check{A} ^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}} )]\).


Case 1: We have proved the former part in Theorem 3.2, i.e., \(\lim_{t\to \infty }I_{2}(t)=0\). Then, for t sufficiently large and arbitrarily small ϵ, \(I_{2}(t)< \epsilon \). We just need to prove the second half, that is, \(\frac{1}{t}\int _{0}^{t}I_{1}(s)\,ds>0\), when \(\Delta _{3}>1\).

First, we prove that, for sufficiently large constant \(C_{1}\),

$$ f(I,S,i):= \biggl[(\kappa _{1}-I) \frac{\beta _{1}(i)}{\alpha _{1}+I}- \mu (i) \biggr]S+C_{1}I\ge 0 $$


$$ g(I,S,i):= \biggl[(\kappa _{2}-I)\frac{\beta _{2}(i)}{\alpha _{2}+S}- \mu (i) \biggr]S+C_{2}I\ge 0, $$

where \(\kappa _{1}=\alpha _{1}\max_{i\in \mathcal{N}}\{\frac{\mu (i)}{\beta _{1}(i)}\}\), \(\kappa _{2}=\frac{\hat{\mu }\alpha _{2}+\check{A}}{ \hat{\mu }}\max_{i\in \mathcal{N}}\{\frac{\mu (i)}{\beta _{2}(i)}\}\), \(I, S\in [0, N(0)+\frac{\check{A}}{\hat{\mu }}], i\in \mathcal{N}\).

Obviously, \(f(0,S,i)= [\kappa _{1}\frac{\beta _{1}(i)}{\alpha _{1}}- \mu (i) ]S\) and

$$\begin{aligned} \frac{\partial f}{\partial I} &= \biggl[- \frac{\beta _{1}(i)}{\alpha _{1}+I}-(\kappa _{1}-I)\frac{\beta _{1}(i)}{( \alpha _{1}+I)^{2}} \biggr]S+C_{1} \\ &\ge C_{1}- \biggl[\frac{ \check{\beta _{1}}}{\alpha _{1}}+\kappa _{1} \frac{\check{\beta _{1}}}{ \alpha _{1}^{2}} \biggr]\biggl(N(0)+\frac{\check{A}}{\hat{\mu }}\biggr). \end{aligned}$$

For \(\kappa _{1}=\alpha _{1}\max_{i\in \mathcal{N}}\{ \frac{\mu (i)}{\beta _{1}(i)}\}\) and large constant \(C_{1}\), \(f(0,S,i)\ge 0\), and \(\frac{\partial f}{\partial I}>0\). Hence, according to the continuity and monotonicity of f, \(f(I,S,i)\ge 0\) for \(I\in [0, I_{0}], S\in [0,N(0)+\frac{\check{A}}{\hat{\mu }}], i\in \mathcal{N}\).

We move forward to proving that \(f(I,S,i)\ge 0\) when \(I\in [I_{0}, N(0)+\frac{ \check{A}}{\hat{\mu }}]\). From (27), we obtain that, for a sufficiently large constant \(C_{1}\),

$$ f(I,S,i)\ge C_{1}I- \biggl[\frac{\beta _{1}(i)I}{\alpha _{1}+I}+\mu (i) \biggr]S \ge C_{1}I_{0}-(\check{\beta _{1}}+\check{A}) \biggl(N(0)+\frac{\check{A}}{ \hat{\mu }}\biggr)\ge 0. $$

We have proved that (27) holds.

The proof of \(g(I,S,i)\ge 0\) is similar to that of f. We omit it here.

Let \(C=\max {\{C_{1},C_{2}\}}\), then, for constant C, both \(f\ge 0\) and \(g\ge 0\) hold.

Next, from the first formula of (2) and utilizing the fact that \(R(t)\ge 0\) and \(I_{2}(t)<\epsilon \), we get that

$$\begin{aligned} dS(t)&\ge \biggl(A({\varLambda _{t}})-\mu ({\varLambda _{t}}) S(t)- \frac{ \beta _{1}({\varLambda _{t}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}- \check{\beta _{2}}\epsilon \biggr)\,dt-c(t) \,dB(t) \\ &= \biggl(A({\varLambda _{t}})-\frac{\kappa _{1} \beta _{1}({\varLambda _{t}})S(t)}{ \alpha _{1}+I_{1}(t)}-CI_{1}(t)- \check{\beta _{2}}\epsilon +f(I_{1},S, \varLambda _{t}) \biggr)\,dt-c(t)\,dB(t) \\ &\ge \biggl(A({\varLambda _{t}})-\frac{\kappa _{1} \beta _{1}({\varLambda _{t}})S(t)}{ \alpha _{1}+I_{1}(t)}-CI_{1}(t)- \check{\beta _{2}}\epsilon \biggr)\,dt-c(t)\,dB(t), \end{aligned}$$

where \(c(t)\,dB(t)=c_{1}(t)\,dB_{1}(t)+c_{2}(t)\,dB_{2}(t)\), \(c_{1}(t)=\frac{ \sigma _{1}({\varLambda _{t}})S(t)I_{1}(t)}{\alpha _{1}+I_{1}(t)}\), \(c_{2}(t)= \frac{\sigma _{2}({\varLambda _{t}})S(t)I_{2}(t)}{\alpha _{2}+S(t)}\).

As a result of (22) and utilizing the result (28), one has

$$\begin{aligned} &d\bigl(\kappa _{1}\ln I_{1}(t)\bigr)= \kappa _{1}\mathcal{L}V_{1}\,dt + \kappa _{1}\frac{ \sigma _{1}({\varLambda _{t}})S(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t) \\ & \quad\ge \bigl(A(\varLambda _{t})-CI_{1}(t)-\check{\beta }_{2}\epsilon -\kappa _{1}\bigl[\mu (\varLambda _{t})+d_{1}(\varLambda _{t})+r_{1}( \varLambda _{t})\bigr] \bigr)\,dt-dS(t) \\ &\qquad{} -\frac{\kappa _{1}\sigma _{1}^{2}(\varLambda _{t})\check{A}^{2}}{2\alpha _{1}^{2}\hat{\mu }^{2}}\,dt-c_{3}e^{-\hat{\mu }t}\,dt+ \frac{\kappa _{1} \sigma _{1}(\varLambda _{t})S(t)}{\alpha _{1}+I_{1}(t)}\,dB_{1}(t)-c(t)\,dB(t) \end{aligned}$$

for a certain constant \(c_{3}\).

Integrating for both sides of (29) from 0 to t and dividing by t, we can obtain that

$$\begin{aligned} C \bigl\langle I_{1}(t) \bigr\rangle \ge{}& \frac{1}{t} \int _{0}^{t} \biggl\{ A(\varLambda _{s})-\kappa _{1} \biggl[\mu (\varLambda _{s})+d_{1}(\varLambda _{s})+r_{1}( \varLambda _{s})+\frac{\sigma _{1}^{2}(\varLambda _{s})\check{A} ^{2}}{2\alpha _{1}^{2}\hat{\mu }^{2}} \biggr] \biggr\} \,ds \\ &{} -\check{\beta }_{2}\epsilon - \frac{c_{3}\int _{0}^{t}e^{-\hat{\mu }s}\,ds}{t}- \frac{S(t)-S(0)}{t}- \kappa _{1}\frac{\ln I_{1}(t)-\ln I_{1}(0)}{t} \\ &{} +\frac{1}{t} \int _{0}^{t}\bigl(\kappa _{1}-I_{1}(s) \bigr)\frac{\sigma _{1}(\varLambda _{s})S(s)}{\alpha _{1}+I_{1}(s)}\,dB_{1}(s)-\frac{1}{t} \int _{0}^{t}c_{2}(s)\,dB _{2}(s). \end{aligned}$$

Taking the inferior limit of the above formula and taking Lemma 3.2, Lemma 3.3, and (7) into account, one has

$$ \liminf_{t\to \infty } \bigl\langle I_{1}(t) \bigr\rangle \ge \frac{1}{C}\sum_{i\in \mathcal{N}}\pi (i) \biggl[A(i)-\kappa _{1} \biggl(\mu (i)+d _{1}(i)+r_{1}(i)+ \frac{\sigma _{1}^{2}(i)\check{A}^{2}}{2\alpha _{1} ^{2}\hat{\mu }^{2}} \biggr) \biggr]-\check{\beta }_{2}\epsilon. $$

Letting \(\epsilon \to 0\) and with the help of (24), thus, the conclusion that \(I_{1}(t)\) is persistent is available.

Case 2: To proceed, we refer to the above methods and procedures to obtain that

$$\begin{aligned} dS(t) \ge {}& \biggl(A({\varLambda _{t}})-\mu ({\varLambda _{t}}) S(t)- \frac{\beta _{2}({\varLambda _{t}})S(t)I_{2}(t)}{\alpha _{2}+S(t)}-c_{4}\epsilon \biggr)\,dt-c(t)\,dB(t) \\ ={}& \biggl(A({\varLambda _{t}})-\frac{\kappa _{2} \beta _{2}({\varLambda _{t}})S(t)}{ \alpha _{2}+S(t)}-C_{2}I_{2}(t)-c_{4} \epsilon +g(I_{2},S,\varLambda _{t}) \biggr)\,dt-c(t) \,dB(t) \\ \ge{} & \biggl(A({\varLambda _{t}})-\frac{\kappa _{2} \beta _{2}({\varLambda _{t}})S(t)}{ \alpha _{2}+S(t)}-C_{2}I_{2}(t)-c_{4} \epsilon \biggr)\,dt-c(t)\,dB(t), \end{aligned}$$

where \(c_{4}=\frac{\check{\beta _{1}}(N(0)+\frac{\check{A}}{ \hat{\mu }})}{\alpha _{1}}\).

From the result of (23) and exploiting (30), we get that

$$\begin{aligned} &d\bigl(\kappa _{2}\ln I_{2}(t)\bigr)\\ &\quad=\kappa _{2}\mathcal{L}V_{2}\,dt +\kappa _{2} \frac{ \sigma _{2}({\varLambda _{t}})S(t)}{\alpha _{2}+S(t)}\,dB_{2}(t) \\ &\quad\ge \biggl[A(\varLambda _{t})-C_{2}I_{2}(t)- \kappa _{2}\bigl[\mu (\varLambda _{t})+d_{2}( \varLambda _{t})+r_{2}(\varLambda _{t}) \bigr]-\frac{\kappa _{2}\sigma _{2}^{2}( \varLambda _{t})\check{A}^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}} \biggr]\,dt \\ &\qquad{} -c_{4}\epsilon \,dt-c_{5}e^{-\hat{\mu }t} \,dt-dS(t)-c_{1}(t)\,dB_{1}(t)+\bigl( \kappa _{2}-I_{2}(t)\bigr) \frac{\sigma _{2}(\varLambda _{t})S(t)}{\alpha _{2}+S(t)} \,dB_{2}(t) \end{aligned}$$

for some constant \(c_{5}\).

Then integrating from 0 to t and dividing by t for both sides yield

$$\begin{aligned} C_{2} \bigl\langle I_{2}(t) \bigr\rangle \ge{}& \frac{1}{t} \int _{0} ^{t} \biggl\{ A(\varLambda _{s})-\kappa _{2} \biggl[\mu (\varLambda _{s})+d_{2}( \varLambda _{s})+r_{2}( \varLambda _{s})+\frac{\sigma _{2}^{2}(\varLambda _{s}) \check{A}^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}} \biggr] \biggr\} \,ds \\ & {}-c_{4}\epsilon -\frac{c_{5}\int _{0}^{t}e^{-\hat{\mu }s}\,ds}{t}- \frac{S(t)-S(0)}{t}- \kappa _{2}\frac{\ln I_{2}(t)-\ln I_{2}(0)}{t} \\ &{} -\frac{1}{t} \int _{0}^{t}c_{1}(s) \,dB_{1}(s)+\frac{1}{t} \int _{0}^{t}\bigl( \kappa _{2}-I_{2}(s) \bigr) \frac{\sigma _{2}(\varLambda _{s})S(s)}{\alpha _{2}+S(s)}\,dB_{2}(s). \end{aligned}$$

Taking the inferior limit of the above formula, along with the result of (6), Lemma 3.2, Lemma 3.3, deduces that

$$ \liminf_{t\to \infty } \bigl\langle I_{2}(t) \bigr\rangle \ge \frac{1}{C _{2}}\sum_{i\in \mathcal{N}}\pi (i) \biggl[A(i)-\kappa _{2} \biggl(\mu (i)+d_{2}(i)+r _{2}(i)+\frac{\sigma _{2}^{2}(i)\check{A}^{2}}{2(\alpha _{2}\hat{\mu }+ \check{A})^{2}} \biggr) \biggr]-c_{4} \epsilon. $$

Due to the arbitrariness of ϵ and the assumption of (25), we can obtain that \(\liminf_{t\to \infty } \frac{1}{t}\int _{0}^{t}I_{2}(s)\,ds>0\), i.e., the disease \(I_{2}\) is persistent in mean.

Case 3: At last, we discuss the situation of \(\Delta _{3}>1\) and \(\Delta _{4}>1\). Due to \(\Delta _{3}>1\) and \(\Delta _{4}>1\), we have \(N_{1}>0\), \(N_{2}>0\). From the first formula of (2), we have

$$\begin{aligned} dS\ge{} & \biggl(A({\varLambda _{t}})-2\mu ({\varLambda _{t}}) S-\frac{\beta _{1}( {\varLambda _{t}})SI_{1}}{\alpha _{1}+I_{1}}-\frac{\beta _{2}({\varLambda _{t}})SI _{2}}{\alpha _{2}+S} \biggr) \,dt-c(t)\,dB(t) \\ ={}& \biggl(A({\varLambda _{t}})-\frac{ \kappa _{1} \beta _{1}({\varLambda _{t}})S}{\alpha _{1}+I_{1}}- \frac{\kappa _{2}\beta _{2}({\varLambda _{t}})S}{\alpha _{2}+S}-CI_{1}(t)-CI_{2}(t) \biggr)\,dt \\ &{} +\bigl[f(I_{1},S,\varLambda _{t})+g(I_{2},S, \varLambda _{t})\bigr]\,dt-c(t)\,dB(t) \\ \ge{}& \biggl(A({\varLambda _{t}})-\frac{\kappa _{1} \beta _{1}({\varLambda _{t}})S}{ \alpha _{1}+I_{1}}- \frac{\kappa _{2}\beta _{2}({\varLambda _{t}})S}{\alpha _{2}+S}-C(I_{1}+I_{2}) \biggr)\,dt-c(t) \,dB(t). \end{aligned}$$

Then applying Itô’s formula to \(V(t)=\kappa _{1}\ln I_{1}(t)+ \kappa _{2}\ln I_{2}(t)\) yields

$$\begin{aligned} C(I_{1}+I_{2})\,dt\ge{}& \biggl\{ \frac{1}{2}A(\varLambda _{t})-\kappa _{1} \biggl[\mu (\varLambda _{t})+d_{1}(\varLambda _{t})+r_{1}(\varLambda _{t})+ \frac{ \sigma _{1}^{2}(\varLambda _{t})\check{A}^{2}}{2\alpha _{1}^{2}\hat{\mu } ^{2}} \biggr] \biggr\} \,dt \\ &{} + \biggl\{ \frac{1}{2}A(\varLambda _{t})-\kappa _{2} \biggl[\mu (\varLambda _{t})+d _{2}( \varLambda _{t})+r_{2}(\varLambda _{t})+ \frac{\sigma _{2}^{2}(\varLambda _{t}) \check{A}^{2}}{2(\alpha _{2}\hat{\mu }+\check{A})^{2}} \biggr] \biggr\} \,dt \\ &{} -dV(t)-dS(t)-c_{3}e^{-\hat{\mu }t}\,dt-c_{5}e^{-\hat{\mu }t} \,dt \\ &{} +\bigl(\kappa _{1}-I_{1}(t)\bigr)\frac{\sigma _{1}(\varLambda _{t})S(t)}{\alpha _{1}+I _{1}(t)} \,dB_{1}(t)+\bigl(\kappa _{2}-I_{2}(t)\bigr) \frac{\sigma _{2}(\varLambda _{t})S(t)}{ \alpha _{2}+S(t)}\,dB_{2}(t). \end{aligned}$$

Integrating on both sides, dividing by t, and taking the inferior limit, then (26) can be obtained.

Next, we will compare the values given in Theorem 3.2 and Theorem 4.1 to show that the conclusions are compatible, that is to say, there is no contradiction between the conclusions. □

Theorem 4.2

For the \(\Delta _{1}\), \(\Delta _{2}\), \(\Delta _{3}\), \(\Delta _{4}\) presented in Theorem 3.2 and Theorem 4.1, \(\Delta _{1} \ge \Delta _{3}\) and \(\Delta _{2}\ge \Delta _{4}\) hold. Especially, \(\Delta _{1}= \Delta _{3}\) is established if and only if \(\check{A}= \hat{A}\), \(\check{\mu }=\hat{\mu }\), \(\check{\beta _{1}}= \hat{\beta _{1}}\), i.e., \(A(i),\mu (i),\beta _{1}(i)\), \(i\in \mathcal{N}\) are fixed constants. Also, \(\Delta _{2}= \Delta _{4}\) holds if and only if \(\check{A}=\hat{A}\), \(\check{\mu }=\hat{\mu }\), \(\check{\beta _{2}}= \hat{\beta _{2}}\), i.e., \(A(i),\mu (i),\beta _{2}(i)\), \(i\in \mathcal{N}\) are fixed constants.


From (17) and (24), one has

$$\begin{aligned} \frac{\Delta _{1}}{\Delta _{3}} &=\frac{\sum_{i\in \mathcal{N}}\pi _{i}\beta _{1}(i)\frac{ \check{A}}{\hat{\mu }}\max_{i\in \mathcal{N}}\{\frac{\mu (i)}{\beta _{1}(i)} \}}{\sum_{i\in \mathcal{N}}\pi _{i}A(i)} \\ &=\frac{\sum_{i\in \mathcal{N}}\pi _{i} \beta _{1}(i)\max_{i\in \mathcal{N}}\{\frac{\mu (i)}{{\hat{\mu }}}\frac{1}{ \beta _{1}(i)}\}}{\sum_{i\in \mathcal{N}}\pi _{i}(\frac{A(i)}{\check{A}})} \\ & \ge \frac{\sum_{i\in \mathcal{N}}\pi _{i}(\frac{\beta _{1}(i)}{ \hat{\beta _{1}}})}{\sum_{i\in \mathcal{N}}\pi _{i}(\frac{A(i)}{\check{A}})} \ge 1. \end{aligned}$$

It is obvious that \(\Delta _{1}= \Delta _{3}\) holds when \(\check{A}= \hat{A}\), \(\check{\mu }=\hat{\mu }\), \(\check{\beta _{1}}= \hat{\beta _{1}}\). Next, we demonstrate that the converse is true. From the result of (31), we can see if \(\Delta _{1}= \Delta _{3}\), then \(\beta _{1}(i)=\hat{\beta _{1}}\) and \(A(i)=\check{A}\), \(i\in \mathcal{N}\), that is, \(\beta _{1}(i)\equiv \beta _{1}\), \(A(i)\equiv A\). Consequently, it holds \(\max_{i\in \mathcal{N}}\{\mu (i)\}=\hat{\mu }\), which means \(\mu (i)\equiv \mu \).

The proof of \(\Delta _{2}\ge \Delta _{4}\) resembles that of the above. We omit it to avoid duplication. □

Remark 4.1

  1. 1.

    We say that Theorem 3.2 and Theorem 4.1 are compatible when \(\Delta _{1}\ge \Delta _{3}\) holds, i.e., if \(\Delta _{1}<1\), then \(\Delta _{3}<1\) and the disease \(I_{1}\) will be extinct by Theorem 3.2. If \(\Delta _{3}>1\), then \(\Delta _{1}>1\) and the disease \(I_{1}\) will be extinct according to Theorem 4.1. The situation of \(I_{2}\) when \(\Delta _{2}\ge \Delta _{4}\) holds is similar to \(I_{1}\).

  2. 2.

    Suppose that there is no switching, i.e., \(N=1\), then

    $$ \Delta _{1}=\Delta _{3}=\frac{\frac{\beta _{1} A}{\alpha _{1}\mu }}{ \mu +d_{1}+r_{1} +\frac{\sigma _{1}^{2}A^{2}}{2\alpha _{1}^{2}\mu ^{2}}},\qquad \Delta _{2}=\Delta _{4}=\frac{\frac{A\beta _{1}}{\mu \alpha _{2}+A}}{ \mu +d_{2}+r_{2}+\frac{\sigma _{1}^{2}A^{2}}{2(\alpha _{2}\mu +A)^{2}}}. $$

    Obviously, \(\Delta _{1}>1\) is equivalent to \(R_{1}^{*}>1\) and \(\Delta _{2}>1\) is equivalent to \(R_{2}^{*}>1\), where \(R_{1}^{*}\), \(R_{2}^{*}\) can be seen in [15]. Our results are consistent with theirs. Therefore, we generalize the model with multiple environments and obtain more general results.

5 Influence of Markovian switching upon incidence rate functions

This section proceeds to studying the influence of Markovian switching upon incidence functions in model (4) and gives the conditions to judge disease extinction.

Lemma 5.1

For any initial value \((S(0),I_{1}(0),I_{2}(0),R(0))\in \mathbb{R}_{+}^{4}\), and \(i_{0}\in \mathcal{N}\), there is a unique solution \((S(t),I_{1}(t),I_{2}(t),R(t))\) for \(t>0\) to model (4), and the solution lies in \(R_{+}^{4}\) with probability 1. Furthermore, the solution satisfies the inequality

$$ N(t)\leq N(0)e^{-\hat{\mu }t}+\frac{\check{A}}{\hat{\mu }}\leq N(0)+ \frac{ \check{A}}{\hat{\mu }}, \quad\textit{a.s.} $$

The proof is similar to that of Lemma 2.1. We omit here.

Theorem 5.1

For the solution \(S(t),I_{1}(t),I_{2}(t),R(t)\) to model (4) with the initial value \(S(0),I_{1}(0),I_{2}(0),R(0)\in R_{+}^{4}\), if

$$\begin{aligned} &\Delta _{5}:=\frac{\sum_{i\in \mathcal{N}}\pi (i)\beta _{1}(i)(\frac{\check{A}}{ \hat{\mu }})^{i}}{\alpha _{1}\sum_{i\in \mathcal{N}}\pi (i) [\mu ({i})+d _{1}(i)+r_{1}(i) ]}< 1, \end{aligned}$$
$$\begin{aligned} & \Delta _{6}:=\frac{\sum_{i\in \mathcal{N}}\pi (i)\beta _{2}(i)(\frac{\check{A}}{ \hat{\mu }})^{i}}{\alpha _{2}\sum_{i\in \mathcal{N}}\pi (i) [\mu ({i})+d _{2}(i)+r_{2}(i) ]}< 1, \end{aligned}$$


$$ \lim_{t\to \infty }I_{i}(t)=0,\quad i=1,2, \textit{ a.s.} $$


We prove the first equality. Let \(V_{3}(t)=\ln I _{1}(t)\), then one has

$$\begin{aligned} \mathcal{L}V_{3}(t) &=\frac{\beta _{1}(\varLambda _{t})SI_{1}^{\varLambda _{t}-1}}{ \alpha _{1}+I_{1}}-\bigl[\mu ( \varLambda _{t})+d_{1}(\varLambda _{t})+r_{1}( \varLambda _{t})\bigr]-\frac{\sigma _{1}^{2}(\varLambda _{t})S^{2}I_{1}^{\varLambda _{t}-2}}{2( \alpha _{1}+I_{1})^{2}} \\ &\leq \frac{\beta _{1}(\varLambda _{t})N(t)^{ \varLambda _{t}}}{\alpha _{1}+I_{1}}-\bigl[\mu (\varLambda _{t})+d_{1}( \varLambda _{t})+r _{1}(\varLambda _{t}) \bigr] \\ &\leq \sum_{i=1}^{N} \frac{\beta _{1}(i)N(t)^{i}}{ \alpha _{1}}\mathbf{1}_{\{\varLambda _{t}=i\}}-\bigl[\mu (\varLambda _{t})+d_{1}( \varLambda _{t})+r_{1}( \varLambda _{t})\bigr] \\ &\leq \sum_{i=1}^{N} \frac{\beta _{1}(i)(N(0)e^{-\hat{\mu }t}+\frac{\check{A}}{\hat{\mu }})^{i}}{\alpha _{1}}\mathbf{1}_{\{\varLambda _{t}=i\}}-\bigl[\mu (\varLambda _{t})+d_{1}(\varLambda _{t})+r_{1}( \varLambda _{t})\bigr] \\ &=\sum_{i=1}^{N}\frac{\beta _{1}(i)(\frac{ \check{A}}{\hat{\mu }})^{i}}{\alpha _{1}} \mathbf{1}_{\{\varLambda _{t}=i\}}+c _{6}e^{-\hat{\mu }t}-\bigl[\mu ( \varLambda _{t})+d_{1}(\varLambda _{t})+r_{1}( \varLambda _{t})\bigr] \\ &=\frac{\beta _{1}(\varLambda _{t})(\frac{\check{A}}{ \hat{\mu }})^{\varLambda _{t}}}{\alpha _{1}} +c_{6}e^{-\hat{\mu }t}-\bigl[ \mu ( \varLambda _{t})+d_{1}(\varLambda _{t})+r_{1}( \varLambda _{t})\bigr] \end{aligned}$$

for a constant \(c_{6}\). Then

$$ d\ln I_{1}(t)\leq \mathcal{L}V_{3}(t)+\frac{\sigma _{1}(\varLambda _{t})SI^{ \varLambda _{t}-1}}{\alpha _{1}+I_{1}} \,dB_{1}(t). $$

With the help of Lemma 3.2 and (33), we arrive at the conclusion \(\lim_{t\to \infty }I_{1}(t)=0\). The proof of the second equality resembles that of the first one.

The proof is completed. □

6 Examples and simulations

In this section, we present some examples and numerical simulations to reveal some different phenomena which are not available without switching.

Let \((\varLambda _{t})_{t\ge 0}\) be a continuous time Markov chain with state space \(\mathcal{N}=\{1,2\}\), and its Q-matrix is

$$ Q_{1}= \begin{pmatrix} -p & p \\ q & -q \end{pmatrix}. $$

Hence, its stationary distribution \(\pi =(\pi _{1},\pi _{2})=( \frac{q}{p+q},\frac{p}{p+q})\).

Example 1

In order to prove the result of Theorem 3.1, we assume that \(p=1\), \(q=2\), \(\alpha _{1}=1\), and \(\alpha _{2}=1\). The values of other parameters are presented as follows:

$$\begin{aligned} &\textstyle\begin{cases} A(1) =0.3\\ A(2)=0.4, \end{cases}\displaystyle \quad \textstyle\begin{cases} \mu (1) =0.1\\ \mu (2)=0.08, \end{cases}\displaystyle \qquad \textstyle\begin{cases} d_{1}(1) =0.3\\ d_{1}(2)=0.2, \end{cases}\displaystyle \qquad \textstyle\begin{cases} r_{1}(1) =0.4\\ r_{1}(2)=0.5, \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned} \begin{aligned} &\textstyle\begin{cases} \beta _{1}(1) =0.15\\ \beta _{1}(2)=0.3, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \beta _{2}(1) =0.84\\ \beta _{2}(2)=0.57, \end{cases}\displaystyle \\ &\textstyle\begin{cases} \sigma _{1}(1) =1\\ \sigma _{1}(2)=0.7, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \sigma _{2}(1) =0.8\\ \sigma _{2}(2)=1. \end{cases}\displaystyle \end{aligned} \end{aligned}$$

Then (14) and (15) are satisfied, the diseases \(I_{1}\) and \(I_{2}\) will die out according to results of Theorem 3.1. Its simulation can be seen in Fig. 1(a).

Figure 1
figure 1

The trajectory of stochastic SIRS model (2) with parameters in Example 3 and the initial value \(S(0)=1.2\), \(I_{1}(0)=0.7\), \(I_{2}(0)=0.5\), \(R(0)=0.8\)

Example 2

Next, we explain the results of Theorem 3.2. Assume that \(p=1\), \(q=3\), let \(\sigma _{1}(1)=0.1\), \(\sigma _{1}(2)=0.2\), \(\sigma _{2}(1)=0.3\), and \(\sigma _{2}(2)=0.2\), and other values of parameters are the same as those in (38). Then, by formulas 1 and (17), we obtain that \({}_{(1)}R_{1} ^{*}=0.5062<1\) in subsystem 1, \({}_{(2)}R_{1}^{*}=1.2821>1\) in subsystem 2, and \(\Delta _{1}=0.9585<1\), which means that the disease \(I_{1}\) in subsystem 1 goes to extinction and the disease \(I_{1}\) in subsystem 2 is persistent, while owing to Markovian switching, the overall behavior of \(I_{1}\) in model (2) will die out.

Let \(d_{2}(1)=0.2\), \(d_{2}(2)=0.35\), \(r_{2}(1)=0.25\), \(r_{2}(2)=0.4\), thus, by simple calculation, we get that \({}_{(1)}R_{2}^{*}=1.0994>1\) in subsystem 1, \({}_{(2)}R_{2}^{*}=0.5556<1\) in subsystem 2, and \(\Delta _{2}=0.9345<1\), which means that the disease \(I_{2}\) in subsystem 1 is persistent and the disease \(I_{2}\) in subsystem 2 goes to extinction, while due to Markovian switching, the overall behavior of \(I_{2}\) in model (2) will die out. Its trajectory can be seen in Fig. 1(b).

Example 3

To proceed, we give an example to illustrate the results of Case 1 in Theorem 4.1. Assume \(p=8\), \(q=1\). Let the values of parameters be given in the following form:

$$\begin{aligned} \begin{aligned}& \textstyle\begin{cases} A(1) =0.3\\ A(2)=0.4, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \mu (1) =0.1\\ \mu (2)=0.08, \end{cases}\displaystyle \qquad \textstyle\begin{cases} d_{1}(1) =0.15\\ d_{1}(2)=0.1, \end{cases}\displaystyle \\ &\textstyle\begin{cases} r_{1}(1) =0.3\\ r_{1}(2)=0.15, \end{cases}\displaystyle \qquad \textstyle\begin{cases} d_{2}(1) =0.2\\ d_{2}(2)=0.35, \end{cases}\displaystyle \end{aligned} \end{aligned}$$
$$\begin{aligned} \begin{aligned} & \textstyle\begin{cases} r_{2}(1)=0.25\\ r_{2}(2)=0.4, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \beta _{1}(1) =0.2\\ \beta _{1}(2)=0.1, \end{cases}\displaystyle \\ & \textstyle\begin{cases} \beta _{2}(1) =0.84\\ \beta _{2}(2)=0.57, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \sigma _{1}(1) =0.12\\ \sigma _{1}(2)=0.1, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \sigma _{2}(1) =0.3\\ \sigma _{2}(2)=0.2. \end{cases}\displaystyle \end{aligned} \end{aligned}$$

Then, by formula (24), we can obtain that \({}_{(1)}R_{1}^{*}=0.9731<1\), \({}_{(2)}R_{1}^{*}=1.1364>1\), \(\Delta _{3}=1.0011>1\), \({}_{(1)}R_{2}^{*}=1.0994>1\), \({}_{(2)}R_{2}^{*}=0.5556<1\), and \(\Delta _{2}=0.6137<1\). These values indicate that the disease of \(I_{1}\) will become extinct in subsystem 1 and be persistent in subsystem 2, while the overall behavior of \(I_{1}\), taking advantage of the results of Theorem 4.1, will be persistent. For the disease of \(I_{2}\), it will continue in subsystem 1 and go to extinction in subsystem 2, and the whole behavior, under the effect of Markovian switching, will die out. Its simulation can be seen in Fig. 2.

Figure 2
figure 2

The trajectory of stochastic SIRS model (2) with parameters in Example 3 and the initial value \(S(0)=1.2\), \(I_{1}(0)=0.7\), \(I_{2}(0)=0.5\), \(R(0)=0.8\)

Case 2 and Case 3 can be verified similarly.

Example 4

At last, we verify the results in Theorem 5.1. Assume \(p=2\), \(q=1\). Take the values of parameters as follows:

$$\begin{aligned} \begin{aligned} &\textstyle\begin{cases} A(1) =0.3\\ A(2)=0.25, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \mu (1) =0.2\\ \mu (2)=0.15, \end{cases}\displaystyle \qquad \textstyle\begin{cases} d_{1}(1) =0.05\\ d_{1}(2)=0.03, \end{cases}\displaystyle \\ & \textstyle\begin{cases} r_{1}(1) =0.3\\ r_{1}(2)=0.4, \end{cases}\displaystyle \qquad \textstyle\begin{cases} d_{2}(1) =0.1\\ d_{2}(2)=0.05, \end{cases}\displaystyle \end{aligned} \end{aligned}$$
$$\begin{aligned} \begin{aligned} & \textstyle\begin{cases} r_{2}(1) =0.4\\ r_{2}(2)=0.5, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \beta _{1}(1) =0.4\\ \beta _{1}(2)=0.1, \end{cases}\displaystyle \\ &\textstyle\begin{cases} \beta _{2}(1) =0.45\\ \beta _{2}(2)=0.13, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \sigma _{1}(1) =0.12\\ \sigma _{1}(2)=0.1, \end{cases}\displaystyle \qquad \textstyle\begin{cases} \sigma _{2}(1) =0.3\\ \sigma _{2}(2)=0.2. \end{cases}\displaystyle \end{aligned} \end{aligned}$$

Then (33) and (34) are satisfied. According to the result of Theorem 5.1, (35) holds. We can see its simulation in Fig. 3.

Figure 3
figure 3

The trajectory of stochastic SIRS model (4) with parameters in Example 4 and the initial value \(S(0)=1.2\), \(I_{1}(0)=0.7\), \(I_{2}(0)=0.5\), \(R(0)=0.8\)

7 Conclusions and future research

In this paper, we have studied a stochastic SIRS model with two incidence rates and Markovian switching. We obtain that when the intensities of stochastic perturbation are large enough, the diseases will be extinct. Then the thresholds for judging the extinction or persistence of diseases are established by adopting appropriate inequality techniques when the intensities are small. We also prove that our conclusions are compatible. At last, we present some examples and simulations to verify our analytical results.

In addition, some other issues deserve to be further investigated. In this paper, the model with saturated incidence rates is studied, we can change the specific incidence functions into general ones in the future. Moreover, the models with state-dependent Markovian switching instead of state-independent regime switching in this paper can be further discussed. We leave these questions for our future work.


  1. Cai, Y., Yun, K., Wang, W.: A stochastic SIRS epidemic model with nonlinear incidence rate. Appl. Math. Comput. 305, 221–240 (2017)

    MathSciNet  MATH  Google Scholar 

  2. Guo, W., Zhang, Q., Li, X., Wang, W.: Dynamic behavior of a stochastic SIRS epidemic model with media coverage. Math. Methods Appl. Sci. 41(14), 5506–5525 (2018)

    Article  MathSciNet  Google Scholar 

  3. Lahrouz, A., Settati, A.: Necessary and sufficient condition for extinction and persistence of SIRS system with random perturbation. Appl. Math. Comput. 233(3), 10–19 (2014)

    MathSciNet  MATH  Google Scholar 

  4. Liu, Q., Chen, Q., Jiang, D.: The threshold of a stochastic delayed SIR epidemic model with temporary immunity. Physica A 450, 115–125 (2016)

    Article  MathSciNet  Google Scholar 

  5. Liu, Z.: Dynamics of positive solutions to SIR and SEIR epidemic models with saturated incidence rates. Nonlinear Anal., Real World Appl. 14(3), 1286–1299 (2013)

    Article  MathSciNet  Google Scholar 

  6. Xu, C.: Global threshold dynamics of a stochastic differential equation SIS model. J. Math. Anal. Appl. 447(2), 736–757 (2016)

    Article  MathSciNet  Google Scholar 

  7. Zhao, Y., Jiang, D.: The threshold of a stochastic SIRS epidemic model with saturated incidence. Appl. Math. Lett. 34(1), 90–93 (2014)

    Article  MathSciNet  Google Scholar 

  8. Li, D., Liu, S., Cui, J.: Threshold dynamics and ergodicity of an SIRS epidemic model with Markovian switching. J. Differ. Equ.

  9. Guo, X., Luo, J.: Stationary distribution and extinction of SIR model with nonlinear incident rate under Markovian switching. Physica A 505, 471–481 (2018)

    Article  MathSciNet  Google Scholar 

  10. Bao, K., Zhang, Q.: Stationary distribution and extinction of a stochastic SIRS epidemic model with information intervention. Adv. Differ. Equ. 2017, 352 (2017)

    Article  MathSciNet  Google Scholar 

  11. Lahrouz, A., Omari, L.: Extinction and stationary distribution of a stochastic SIRS epidemic model with non-linear incidence. Stat. Probab. Lett. 83(4), 960–968 (2013)

    Article  MathSciNet  Google Scholar 

  12. Liu, Q., Jiang, D.: Stationary distribution and extinction of a stochastic SIR model with nonlinear perturbation. Appl. Math. Lett. 73, 8–15 (2017)

    Article  MathSciNet  Google Scholar 

  13. Meng, X.: Stability of a novel stochastic epidemic model with double epidemic hypothesis. Appl. Math. Comput. 217(2), 506–515 (2010)

    MathSciNet  MATH  Google Scholar 

  14. Zhang, X., Jiang, D., Alsaedi, A., Hayat, T.: Stationary distribution of stochastic SIS epidemic model with vaccination under regime switching. Appl. Math. Lett. 59, 87–93 (2016)

    Article  MathSciNet  Google Scholar 

  15. Chang, Z., Meng, X., Lu, X.: Analysis of a novel stochastic SIRS epidemic model with two different saturated incidence rates. Physica A 472, 103–116 (2017)

    Article  MathSciNet  Google Scholar 

  16. Miao, A., Wang, X., Zhang, T., et al.: Dynamical analysis of a stochastic SIS epidemic model with nonlinear incidence rate and double epidemic hypothesis. Adv. Differ. Equ. 2017, 226 (2017)

    Article  MathSciNet  Google Scholar 

  17. Meng, X., Zhao, S., Tao, F., Zhang, T.: Dynamics of a novel nonlinear stochastic SIS epidemic model with double epidemic hypothesis. J. Math. Anal. Appl. 433(1), 227–242 (2015)

    Article  MathSciNet  Google Scholar 

  18. Bao, J., Shao, J.: Asymptotic behavior of SIRS models in state-dependent random environments (2018) arXiv:1802.02309

  19. Economou, A., Lopez-Herrero, M.J.: The deterministic SIS epidemic model in a Markovian random environment. J. Math. Biol. 73(1), 91–121 (2016)

    Article  MathSciNet  Google Scholar 

  20. Gray, A., Greenhalgh, D., Mao, X., Pan, J.: The SIS epidemic model with Markovian switching. J. Math. Anal. Appl. 394(2), 496–516 (2012)

    Article  MathSciNet  Google Scholar 

  21. Greenhalgh, D., Liang, Y., Mao, X.: Modelling the effect of telegraph noise in the SIRS epidemic model using Markovian switching. Physica A 462, 684–704 (2016)

    Article  MathSciNet  Google Scholar 

  22. Settati, A., Lahrouz, A., Jarroudi, M.E., Jarroudi, M.E.: Dynamics of hybrid switching diffusions SIRS model. J. Appl. Math. Comput. 52, 101–123 (2016)

    Article  MathSciNet  Google Scholar 

  23. Jin, M., Lin, Y., Pei, M.: Asymptotic behavior of a regime-switching SIR epidemic model with degenerate diffusion. Adv. Differ. Equ. 2018, 84 (2018)

    Article  MathSciNet  Google Scholar 

  24. Hou, T., Shao, J.: Heavy tail and light tail of Cox-Ingersoll-Ross processes with regime-switching (2017) arXiv:1709.01691v1

  25. Dang, N.H., Du, N.H., Yin, G.: Existence of stationary distributions for Kolmogorov systems of competitive type under telegraph noise. J. Differ. Equ. 257(6), 2078–2101 (2014)

    Article  MathSciNet  Google Scholar 

  26. Bao, J., Shao, J.: Permanence and extinction of regime-switching predator-prey models. SIAM J. Math. Anal. 48(1), 725–739 (2015)

    Article  MathSciNet  Google Scholar 

  27. Li, X., Gray, A., Jiang, D., Mao, X.: Sufficient and necessary conditions of stochastic permanence and extinction for stochastic logistic populations under regime switching. J. Math. Anal. Appl. 376(1), 11–28 (2011)

    Article  MathSciNet  Google Scholar 

  28. Li, X., Yin, G.: Logistic models with regime switching: permanence and ergodicity. J. Math. Anal. Appl. 441(2), 593–611 (2016)

    Article  MathSciNet  Google Scholar 

  29. Liu, M., Wang, K.: The threshold between permanence and extinction for a stochastic logistic model with regime switching. J. Appl. Math. Comput. 43(1–2), 329–349 (2013)

    Article  MathSciNet  Google Scholar 

  30. Mao, X., Yuan, C.: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)

    Book  Google Scholar 

  31. Yin, G.G., Zhu, C.: Hybrid Switching Diffusions: Properties and Applications. Springer, New York (2010)

    Book  Google Scholar 

Download references


This work was supported by the National Natural Science Foundation of China (Nos: 11671404, 11661065) and the Fundamental Research Funds for the Central South University under grant No. 2018zzts099.

Author information

Authors and Affiliations



Authors read and approved the final manuscript.

Corresponding author

Correspondence to Zaiming Liu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, F., Liu, Z. Dynamical behavior of stochastic SIRS model with two different incidence rates and Markovian switching. Adv Differ Equ 2019, 322 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: