- Research
- Open Access
- Published:

# Asymptotic behavior of a regime-switching SIR epidemic model with degenerate diffusion

*Advances in Difference Equations*
**volumeÂ 2018**, ArticleÂ number:Â 84 (2018)

## Abstract

In this paper, we consider a stochastic SIR epidemic model with regime switching. The Markov semigroup theory will be employed to obtain the existence of a unique stable stationary distribution. We prove that, if \(\mathcal{R}^{s}<0\), the disease becomes extinct exponentially; whereas if \(\mathcal{R}^{s}>0\) and \(\beta(i)>\alpha(i)(\varepsilon(i)+\gamma(i))\), \(i\in\mathbb{S}\), the densities of the distributions of the solution can converge in \(L^{1}\) to an invariant density.

## 1 Introduction

Infectious disease population dynamics is often influenced by different types of environmental noise, in which white noise is the most typical one. The effects of white noise on epidemic models have already been considered by many authors (*e.g.* [1â€“4]). In this literature the extinction and persistence of the disease were discussed. In reference [4], the authors assumed that the environmental white noises mainly influence the natural death rates *Î¼* of the populations. That is, \(\mu \to \mu +\sigma \dot{B}(t)\), where \(B(t)\) is a standard Brownian motion, \(\sigma^{2}\) represents the intensity of white noise. By replacing \(\mu \,{\mathrm{d}}t\) by \(\mu \,{\mathrm{d}}t+ \sigma\, {\mathrm{d}}B(t)\) in the deterministic SIR model with saturated incidence, the authors obtained a stochastic SIR model, which takes the form of

In this model, \(S(t)\) and \(I(t)\) denote the number of susceptible and infected individuals at time *t*, respectively. The influx of individuals into the susceptibles is given by a constantÂ Î›. The natural death rate is denoted by constant *Î¼* and individuals in \(I(t)\) suffer an additional death due to disease with rate constant *Îµ*; *Î²* and *Î³* represent the disease transmission coefficient and the rate of recovery from infection, respectively; *Î±* is the saturated coefficient. Since the dynamics of compartment *R* has no effect on the disease transmission dynamics, it was omitted from the classical SIR model. In [4] the authors analyzed the long-time behavior of densities of the distributions of the solution and proved that the densities can converge in \(L^{1}\) to an invariant density.

In reality, except for white noise there is another important environmental noise: color noise, which can cause the population system to switch from one environmental regime to another. Such a switching is usually described by a continuous-time Markov chain \(r(t)\), \(t\geq 0\) with a finite state space \(\mathbb{S}=\{1,2,\ldots,N\}\). And the generator \(\Gamma =(\gamma_{ij})_{N\times N}\) of \(r(t)\) is given by

where \(\gamma_{ij}\geq 0\) for \(i,j=1,\ldots,N\) with \(j\neq i\) and \(\gamma_{ii}=-\sum_{j\neq i}\gamma_{ij}\) for each \(i=1,\ldots,N\). Assume Markov chain \(r(t)\) is independent of Brownian motion. For convenience, throughout this paper we assume

This assumption ensures that the Markov chain \(r(t)\) is irreducible. Consequently, there exists a unique stationary distribution \(\pi =\{\pi_{1},\pi_{2},\ldots,\pi_{N}\}\) of \(r(t)\) which satisfies \(\pi \Gamma =0\), \(\sum_{i=1}^{N}\pi_{i}=1\) and \(\pi_{i}>0\), \(\forall i \in \mathbb{S}\).

Incorporating color noise into system (1.1), we get a regime-switching diffusion model:

where \(\Lambda (i)\), \(\beta (i)\), \(\mu (i)\), \(\varepsilon (i)\), \(\gamma (i)\), \(\alpha (i)\) and \(\sigma (i)\), \(i\in \mathbb{S}\), are all positive constants.

In the earlier literature, regime switching was introduced into population models; see *e.g.* [5â€“8]. Due to the important effect of color noise on disease transmission, many author considered deterministic epidemic model with Markovian switching [9, 10].

Recently, much literature considered asymptotic behavior of stochastic epidemic model under regime switching, *e.g.* [11â€“14]. In this literature the uniform ellipticity condition is necessary when proving the ergodicity of stochastic system. But for system (1.2) the diffusion matrix of system (1.2) is given by \(A_{i}=\sigma^{2}(i) \bigl ( {\scriptsize\begin{matrix}{} S^{2} & SI \cr SI & I^{2}\end{matrix}} \bigr ) \), \(i\in \mathbb{S}\). Obviously \(A_{i}\) is degenerate, the uniform ellipticity condition is no longer satisfied. System (1.2) with \(\alpha =\varepsilon =\gamma =0\) has been considered by Liu [12], but the author ignored the fact that a degenerate diffusion matrix cannot ensure uniform ellipticity.

Throughout this paper, if *A* is a vector or matrix, we use \(A'\) to denote its transpose; set \(\hat{g}=\min_{k\in \mathbb{S}}\{g(k)\}\) and \(\check{g}=\max_{k\in \mathbb{S}}\{g(k)\}\) for any vector \(g=(g(1),\ldots,g(N))\); set

where \(\boldsymbol{\nu} =(\nu_{1},\ldots,\nu_{N})'\) is the unique positive solution of linear equation

### Remark 1.1

The existence of the unique solution of (1.3) is given by LemmaÂ 2.1 in [12].

By using similar arguments to TheoremÂ 2.1 of [14], it follows that, for any \((S(0),I(0), r(0))\in \mathbb{R}^{2}_{+} \times \mathbb{S}\), system (1.2) has a unique global solution, which remain in \(\mathbb{R}^{2}_{+}\) with probabilityÂ 1.

The aim of this paper is to consider the long-time behavior of system (1.2). We prove that the disease becomes extinct exponentially if \(\mathcal{R}^{s}<0\); whereas if \(\mathcal{R}^{s}>0\) and \(\beta (i)>\alpha (i)(\varepsilon (i)+ \gamma (i))\), \(i\in \mathbb{S}\), system (1.2) has a stable stationary distribution.

The rest of this paper is organized as follows. In SectionÂ 2, we present the sufficient condition for the extinction of the disease. In SectionÂ 3 the conditions for the existence of a stable stationary distribution are given. Finally, we draw a conclusion.

## 2 Extinction of the disease

In this section, we present the sufficient condition for the extinction of the disease.

### Theorem 2.1

*If*
\(\mathcal{R}^{s}<0\), *the disease*
\(I(t)\)
*tends to zero exponentially*.

### Proof

Consider the following system:

By the stochastic comparison theorem, it follows that \(S(t)\leq X(t)\) a.s. if \(S(0)=X(0)>0\). According to CorollaryÂ 4.1 in [12], we have

By using the generalized ItÃ³ formula, it follows from (1.2) that

Taking \(t\to \infty \), in view of (2.1), it follows that

The proof is complete.â€ƒâ–¡

## 3 Existence of stationary distribution and its stability

Let \(x(t)=\ln S(t)\) and \(y(t)=\ln I(t)\), system (1.2) becomes

where \(c_{1}(i):=\mu (i)+\frac{\sigma^{2}(i)}{2}\), \(c_{2}(i):=\mu {(i)}+\varepsilon (i)+\gamma (i)+\frac{\sigma^{2}(i)}{2}\).

In order to investigate the existence of stationary distribution of system (1.2) and its stability, it suffices to consider the corresponding property for system (3.1).

### Theorem 3.1

*Let*
\((x(t),y(t))\)
*be a solution of system* (3.1) *with initial value*
\((x(0),y(0),r(0))\in \mathbb{R}^{2}\times \mathbb{S}\). *Then for every*
\(t>0\)
*the distribution of*
\((x(t),y(t),r(t))\)
*has a density*
\(u(t,x,y,i)\). *If*
\(\mathcal{R}^{s}>0\)
*and*
\(\beta (i)>\alpha (i)(\varepsilon (i)+\gamma (i))\), \(i\in \mathbb{S}\), *then there exists a unique density*
\(u_{*}(x,y,i)\)
*such that*

Next, we will prove this theorem by Lemmas 3.1â€“3.2.

Let \((x^{(i)}(t),y^{(i)}(t))\) be a solution of system

Denote by \({\mathcal{A}}_{i}\) the differential operators

where \(\mathcal{B}(\mathbb{R}^{2})\) is the *Ïƒ*-algebra of Borel subsets of \(\mathbb{R}^{2}\), *m* is the Lebesgue measure on \((\mathbb{R}^{2},\mathcal{B}(\mathbb{R}^{2}))\) and

According to LemmaÂ 3.3 and LemmaÂ 3.5 in [4], we know that for any \(i\in \mathbb{S}\) the operator \({\mathcal{A}}_{i}\) generates an integral Markov semigroup \(\{{\mathcal{T}}_{i}(t)\}_{t \geq 0}\) on the space \(L^{1}(\mathbb{R}^{2},\mathcal{B}(\mathbb{R} ^{2}),m)\) and

Let \((x(t),y(t))\) be the unique solution of system (3.1) with \((x(0),y(0),r(0))\in \mathbb{R}^{2}\times \mathbb{S}\), then \((x(t),y(t),r(t))\) constitutes a Markov process on \(\mathbb{R}^{2} \times \mathbb{S}\). In view of LemmaÂ 5.5 in [15], for \(t>0\) the distribution of the process \((x(t),y(t), r(t))\) is absolutely continuous and its density \(u=(u_{1},u_{2},\ldots,u_{N})\) (where \(u_{i}:=u(t,x,y,i)\)) satisfies the following master equation:

where \({\mathcal{A}}u=({\mathcal{A}}_{1}u_{1},{\mathcal{A}}_{2}u_{2},\ldots,{\mathcal{A}}_{N}u_{N})'\).

Let \(X=\mathbb{R}^{2}\times \mathbb{S}\), Î£ be the *Ïƒ*-algebra of Borel subsets of *X*, and *mÌ‚* be the product measure on \((X,\Sigma )\) given by \(\hat{m}(B\times {i})=m(B)\) for each \(B\in \mathcal{B}(\mathbb{R}^{2})\) and \(i\in \mathbb{S}\). Obviously, \({\mathcal{A}}u\) generates a Markov semigroup \(\{{\mathcal{T}}(t)\} _{t\geq 0}\) on the space \(L^{1}(X,\Sigma ,\hat{m})\), which is given by

Let *Î»* be a constant such that \(\lambda >\max_{1\leq i\leq N} \{-\gamma_{ii}\}\) and \(Q=\lambda^{-1}\Gamma '+I\). Then (3.4) becomes

Obviously, *Q* is also a Markov operator on \(L^{1}(X,\Sigma ,\hat{m})\).

From the Philips perturbation theorem [16], (3.5) with the initial condition \(u(0,x,y,k)=f(x,y,k)\) generates a Markov semigroup \(\{\mathcal{{P}}(t)\} _{t\geq 0}\) on the space \(L^{1}(X)\) given by

where \(S^{(0)}(t)={\mathcal{T}}(t)\) and

### Lemma 3.1

*If*
\(\beta (i)>\alpha (i)(\varepsilon (i)+\gamma (i))\), \(i\in \mathbb{S}\), *then the semigroup*
\(\{\mathcal{P}(t)\}_{t\geq 0}\)
*is asymptotically stable or is sweeping with respect to compact sets*.

### Proof

Since \(\{\mathcal{T}(t)\}_{t\geq 0}\) is an integral Markov semigroup, \(\{\mathcal{P}(t)\}_{t\geq 0}\) is a partially integral Markov semigroup. In view of (3.3), (3.7) and \(Q_{ij}>0\) (\(i \neq j\)), we know that, for every nonnegative \(f\in L^{1}(X)\) with \(\Vert f \Vert =1\),

By using similar arguments to CorollaryÂ 1 in [17], it follows that \(\{\mathcal{P}(t)\}_{t\geq 0}\) is asymptotically stable or is sweeping with respect to compact sets.â€ƒâ–¡

### Remark 3.1

A density \(f_{*}\) is called invariant if \(\mathcal{{P}}(t)f_{*}=f_{*}\) for each \(t>0\). The Markov semigroup \(\{\mathcal{{P}}(t)\}_{t\geq 0}\) is called asymptotically stable if there is an invariant density \(f_{*}\) such that

where \(D=\{f\in L^{1}(X):f\geq 0, \Vert f \Vert =1\}\).

AÂ Markov semigroup \(\{\mathcal{{P}}(t)\}_{t\geq 0}\) is called sweeping with respect to a set \(A\in \Sigma \) if for every \(f\in D\)

### Lemma 3.2

*If*
\({\mathcal{R}}^{s}>0\)
*and*
\(\beta (i)>\alpha (i)(\varepsilon (i)+ \gamma (i))\), \(i\in \mathbb{S}\), *then the semigroup*
\(\{\mathcal{{P}}(t)\} _{t\geq 0}\)
*is asymptotically stable*.

### Proof

We will construct a nonnegative \(C^{2}\)-function *V* and a closed set \(U\in \mathcal{B}(\mathbb{R}^{2})\) (which lies entirely in \(\mathbb{R}^{2}\)) such that, for any \(i\in \mathbb{S}\),

where

and

In fact, \(\mathscr{A}^{*}\) is the adjoint operator of the infinitesimal generator of the semigroup \(\{\mathcal{{P}}(t)\}_{t\geq 0}\).

Since the matrix Î“ is irreducible, there exists \(\varpi =( \varpi_{1},\varpi_{2},\ldots,\varpi_{N})\) that is a solution of the Poisson system (see [18], LemmaÂ 2.3) such that

where \({\mathcal{R}}=({\mathcal{R}}_{1},{\mathcal{R}}_{2},\ldots, {\mathcal{R}}_{N})'\) and \(\mathbf{{1}}=(1,1,\ldots,1)'\). That is, for any \(i\in \mathbb{S}\),

Take \(\theta \in (0,1)\) and \(r>0\) such that

where the function \(f(x)\) is given in (3.11).

Define a \(C^{2}\)-function *V* as follows:

Next we will find a closed set \(U\subset \mathbb{R}^{2}\) such that \(\mathscr{A}^{*}V(x,y,i)\leq -1\), \((x,y)\in \mathbb{R}^{2}-U\).

Denote

Then

Direct calculation implies that

and

where equations (1.3) and (3.9) are used. Hence,

where

In view of (3.10), we can obtain

Take \(\kappa \in (0,\infty )\) large enough such that

where \(U_{1}=\{(x,y)\in \mathbb{R}^{2}:x\in [-\kappa ,\kappa ]\}\).

For \((x,y)\in U_{1}\), according to (3.10) we have

and

Taking \(\rho \in (0,\infty )\) large enough such that

where \(U_{2}=\{(x,y)\in \mathbb{R}^{2}:x\in [-\kappa ,\kappa ], y \in [-\rho ,\rho ]\}\). Noting \(U_{2}\subset U_{1}\), we obtain \((\mathbb{R}^{2}-U_{1})\cup (U_{1}-U_{2})=\mathbb{R}^{2}-U_{2}\). Combining (3.12) and (3.13), it follows that, for any \(i\in \mathbb{S}\),

Such a function *V* is called a KhasminskiÄ function. By using similar arguments to those in [19], the existence of a KhasminskiÄ function implies that the semigroup is not sweeping from the set \(U_{2}\). According to LemmaÂ 3.1, the semigroup \(\{\mathcal{{P}}(t)\}_{t\geq 0}\) is asymptotically stable, which completes the proof.â€ƒâ–¡

## 4 Conclusion

In this paper, we consider the long-time behavior of a regime-switching SIR epidemic model. Since the diffusion is degenerate we employ the Markov semigroup theory to study the long-time behavior of system (1.2). We prove that if \(\mathcal{R}^{s}<0\), the disease becomes extinct exponentially; whereas if \(\mathcal{R}^{s}>0\) and \(\beta (i)>\alpha (i)(\varepsilon (i)+ \gamma (i))\), \(i\in \mathbb{S}\), the densities of the distributions of the solution can converge in \(L^{1}\) to an invariant density. In some sense, \(\mathcal{R}^{s}\) is the threshold determining that the disease does or does not occur.

Let \(\mathbb{S}=\{1,2\}\), \(\Gamma = \bigl [{\scriptsize\begin{matrix}{} -2 & 2 \cr 1 & -1 \end{matrix}} \bigr ] \). Obviously, \(\pi =(1/3, 2/3)\). Take \(S(0)=2\), \(I(0)=1\) and

It is easy to check that the disease persists and becomes extinct in fixed environments 1 andÂ 2, respectively. However, in the regime-switching case, we get \(\mathcal{R}^{s}=0.1042>0\). According to TheoremÂ 3.1, the disease is persistent (see FigureÂ 1). In fact, the condition \(\beta (i)>\alpha (i)(\varepsilon (i)+\gamma (i))\), \(i\in \mathbb{S}\) is not necessary (see FigureÂ 2). In the proof of TheoremÂ 3.1, such a condition is mainly used to ensure that the support of the invariant measure (if it exists) in each fixed environment is \(\mathbb{R}^{2}_{+}\), which can make the proof of the main result easier.

References [20, 21] provided another skeleton to prove the ergodicity of stochastic population systems and rates of convergence can also be estimated. In the future, we may continue our research in this direction. In addition, delay is a common phenomenon in the natural world; then it is interesting to consider stochastic models with delay (see *e.g.* [22, 23]), which can lead to further investigation of along the line of the present paper.

## References

Tornatore, E., Buccellato, S., Vetro, P.: Stability of a stochastic SIR system. PhysicaÂ A

**354**, 111â€“126 (2005)Gray, A., Greenhalgh, D., Hu, L., et al.: A stochastic differential equation SIS epidemic model. SIAM J. Appl. Math.

**71**, 876â€“902 (2011)Ji, C., Jiang, D., Yang, Q., Shi, N.: Dynamics of a multigroup SIR epidemic model with stochastic perturbation. Automatica

**48**, 121â€“131 (2012)Lin, Y., Jiang, D., Jin, M.: Stationary distribution of a stochastic SIR model with saturated incidence and its asymptotic stability. Acta Math. Sci.

**35B**, 619â€“629 (2015)Luo, Q., Mao, X.: Stochastic population dynamics under regime switching. J.Â Math. Anal. Appl.

**334**, 69â€“84 (2007)Li, X., Jiang, D., Mao, X.: Population dynamical behavior of Lotkaâ€“Volterra system under regime switching. J.Â Comput. Appl. Math.

**232**, 427â€“448 (2009)Zhu, C., Yin, G.: On hybrid competitive Lotkaâ€“Volterra ecosystems. Nonlinear Anal.

**71**, e1370â€“e1379 (2009)Liu, M., He, X., Yu, J.: Dynamics of a stochastic regime-switching predatorâ€“prey model with harvesting and distributed delays. Nonlinear Anal. Hybrid Syst.

**28**, 87â€“104 (2018)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)Li, D., Liu, S., Cui, J.: Threshold dynamics and ergodicity of an SIRS epidemic model with Markovian switching. J.Â Differ. Equ.

**263**, 8873â€“8915 (2017)Zhang, X., Jiang, D., Alsaedib, A., et al.: Stationary distribution of stochastic SIS epidemic model with vaccination under regime switching. Appl. Math. Lett.

**59**, 87â€“93 (2016)Liu, Q.: The threshold of a stochastic susceptible-infective epidemic model under regime switching. Nonlinear Anal. Hybrid Syst.

**21**, 49â€“58 (2016)Settati, A., Lahrouz, A.: Asymptotic properties of switching diffusion epidemic model with varying population size. Appl. Math. Comput.

**219**, 11134â€“11148 (2013)Han, Z., Zhao, J.: Stochastic SIRS model under regime switching. Nonlinear Anal., Real World Appl.

**14**, 352â€“364 (2013)Xi, F.: On the stability of jump-diffusions with Markovian switching. J.Â Math. Anal. Appl.

**341**, 588â€“600 (2008)Lasota, A., Mackey, M.C.: Chaos, Fractals and Noise. Stochastic Aspects of Dynamics. Springer Applied Mathematical Sciences, vol.Â 97. New York (1994)

Rudnicki, R.: Long-time behaviour of a stochastic preyâ€“predator model. Stoch. Process. Appl.

**108**, 93â€“107 (2003)Khasminskii, R.Z., Zhu, C., Yin, G.: Stability of regime-switching diffusions. Stoch. Process. Appl.

**117**, 1037â€“1051 (2007)PichÃ³r, K., Rudnicki, R.: Stability of Markov semigroups and applications to parabolic systems. J.Â Math. Anal. Appl.

**215**, 56â€“74 (1997)Dieu, N.T., Nguyen, D.H., Du, N.H., Yin, G.: Classification of asymptotic behavior in a stochastic SIR model. SIAM J. Appl. Dyn. Syst.

**15**(2), 1062â€“1084 (2016)Hening, A., Nguyen, D.H.: Coexistence and extinction for stochastic Kolmogorov systems. Ann. Appl. Probab. To appear (2017). https://arxiv.org/abs/1704.06984

Liu, M., Fan, M.: Stability in distribution of a three-species stochastic cascade predatorâ€“prey system with time delays. IMA J. Appl. Math.

**82**, 396â€“423 (2017)Liu, M., Bai, C., Jin, Y.: Population dynamical behavior of a two-predator one-prey stochastic model with time delay. Discrete Contin. Dyn. Syst.

**37**, 2513â€“2538 (2017)

## Acknowledgements

The authors thank the anonymous referees for valuable suggestions, which led to improvement of the original manuscript. The work was supported by the Education Department of Jilin Province (Grant No: [2016]47).

## Author information

### Authors and Affiliations

### Contributions

All authors contributed equally in this article. They read and approved the final manuscript.

### Corresponding author

## 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 (http://creativecommons.org/licenses/by/4.0/), 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.

## About this article

### Cite this article

Jin, M., Lin, Y. & Pei, M. Asymptotic behavior of a regime-switching SIR epidemic model with degenerate diffusion.
*Adv Differ Equ* **2018**, 84 (2018). https://doi.org/10.1186/s13662-018-1505-2

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-018-1505-2

### MSC

- 47D07
- 60J60
- 60H10
- 92D30

### Keywords

- Stationary distribution
- Markov semigroups
- Asymptotic stability