Abstract
In this paper, we consider a stochastic SI epidemic model with regime switching. The Markov semigroup theory is employed to obtain the existence of a unique stable stationary distribution. We prove that if \(\mathcal{R}^{s}<0\), then the disease becomes extinct exponentially; whereas if \(\mathcal{R}^{s}>0\) and \(\beta(i)>\alpha(i), i\in\mathbb{S}\), then the densities of the distributions of the solution can converge in \(L^{1}\) to an invariant density.
Similar content being viewed by others
1 Introduction
A deterministic Susceptible-Infective model with standard incidence can be described by
Here \(S(t)\) and \(I(t)\) denote the numbers of susceptible and infected individuals at time t, respectively, Λ is the influx of individuals into the susceptibles, β is the disease transmission coefficient, μ is the natural death rate, and α is the disease-related death rate.
Because of the existence of environmental noises, the parameters appearing in model (1.1) are emphatically not constants. In a simple case, environmental noises manifest themselves as white and color noises. We assume that white noise mainly affects the natural death rates, that is, \(\mu\to\mu+\sigma\dot{B}(t)\), where σ represents the intensity of white noise, \(B(t)\) is a standard Brownian motion defined on a complete probability space \((\Omega, \mathscr{F}, \{\mathscr{F}(t)\}_{t\geq0}, {\mathbb{ P}})\) with filtration \(\{\mathscr{F}(t)\}_{t\geq0}\) satisfying the usual conditions (see [1]).
In real world, color noise can cause the population system to switch from one environmental regime to another. Such a switching is described by a continuous-time Markov chain \(r(t)\), \(t\geq0\), with a finite state space \(\mathbb{S}=\{1,2,\ldots,N\}\) and the generator \(\Gamma =(\gamma_{ij})_{N\times N}\) of \(r(t)\) given by
where \(\gamma_{ij}\geq0\) for \(i,j=1,\ldots,N\) with \(j\neq i\) and \(\gamma_{ii}=-\sum_{j\neq i}\gamma_{ij}\) for \(i=1,\ldots,N\). We assume that the Markov chain \(r(t)\) is independent of Brownian motion. For convenience, throughout this paper, we assume that
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)\) that satisfies \(\pi\Gamma=0\), \(\sum_{i=1}^{N}\pi_{i}=1\), and \(\pi_{i}>0\) for all \(i\in\mathbb{S}\).
Incorporating the two types of noises into system (1.1), we get a regime-switching diffusion model:
where the parameters \(\Lambda(i), \beta(i), \mu(i), \alpha(i)\), and \(\sigma(i)\), \(i\in\mathbb{S}\) are all positive constants.
Recently, the long-time behavior of stochastic epidemic model under regime switching was considered, for example, in [2–4], where the uniform ellipticity condition was needed when proving the ergodicity of a stochastic system. However, in this paper the diffusion matrix of system (1.2) is given by
Since \(A_{i}\) is degenerate, the uniform ellipticity condition is not satisfied, and even a variable substitution cannot improve this situation. To our knowledge, rare works in this direction are known.
Throughout this paper, we denote by \(A'\) the transpose of a vector or matrix A; we 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))\); moreover,
By similar arguments as in Theorem 2.1 of [5] 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 remains 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), i\in \mathbb{S}\), then system (1.2) has a stable stationary distribution. In some sense, \(\mathcal{R}^{s}\) is the threshold of model (1.2).
The rest of this paper is organized as follows. In Section 2, we present a sufficient condition for the extinction of the disease. In Section 3, conditions for the existence of a stable stationary distribution are given, and detailed proofs are presented. Finally, we give a brief discussion.
2 Extinction of the disease
In this section, we present a sufficient condition for the extinction of the disease.
Theorem 2.1
If \(\mathcal{R}^{s}<0\), then the disease \(I(t)\) tends to zero exponentially,
Proof
By the generalized Itó’s formula it follows from (1.2) that
Taking the limit as \(t\to\infty\), we have
The proof is complete. □
3 Existence of stationary distribution and its stability
Let \(x(t)=\ln S(t)\) and \(y(t)=\ln I(t)\). Then system (1.2) becomes
where \(c_{1}(i):=\mu(i)+\frac{\sigma^{2}(i)}{2}\) and \(c_{2}(i):=\alpha {(i)}+\mu{(i)}+\frac{\sigma^{2}(i)}{2}\).
To investigate the existence of a 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), i\in\mathbb{S}\), then there exists a unique density \(u_{*}(x,y,i)\) such that
Next, we prove this theorem by Lemmas 3.1-3.4.
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
Next, we show that, for any \(i\in\mathbb{S}\), the operator \({\mathcal {A}}_{i}\) generates an integral Markov semigroup \(\{{\mathcal {T}}_{i}(t)\} _{t\geq0}\) on the space \(L^{1}(\mathbb{R}^{2},\mathcal{B}(\mathbb {R}^{2}),m)\) and
Lemma 3.1
The semigroup \(\{{\mathcal {T}}_{i}(t)\}_{t\geq0}\) is an integral Markov semigroup.
Proof
If \(a(x)\) and \(b(x)\) are vector fields on \(\mathbb{R}^{d}\), then the Lie bracket \([a,b]\) is a vector field given by
Let
and \(b(x,y)=(\sigma(i),\sigma(i))' \).
By direct calculation, \([a,b]=(\sigma(i)\Lambda(i)e^{-x}, 0)'\). Thus,
which means that b and \([a,b]\) are linearly independent on \(\mathbb{R}^{2}\).
Thus, for every \((x,y)\in\mathbb{R}^{2}\), the vectors \(b(x,y)\) and \([a,b](x,y)\) span the space \(\mathbb{R}^{2}\). By the Hörmander theorem [6] the transition probability function of \((x^{(i)}(t),y^{(i)}(t))\) has a smooth density \(k_{i}\in C^{\infty} ((0,\infty)\times\mathbb{R}^{2}\times\mathbb{R}^{2} )\). Then, for every \(f\in L^{1}(\mathbb{R}^{2},\mathcal{B}(\mathbb {R}^{2}),m)\) satisfying \(f\geq0\) and \(\|f\|=1\),
Hence, the semigroup \(\{{\mathcal {T}}_{i}(t)\}_{t\geq0}\) is an integral Markov semigroup. □
Lemma 3.2
If \(\beta(i)>\alpha(i)\), \(i\in\mathbb{S}\), then, for every \(f\in D\),
where \(D=\{f\in L^{1}(\mathbb{R}^{2}):f\geq0, \|f\|=1\}\).
Proof
For any \((x_{0},y_{0})\in\mathbb{R}^{2}\), consider the following control system:
with initial value \((x_{\phi}(0), y_{\phi}(0))=(x_{0}, y_{0})\).
Let \(D_{x_{0},y_{0};\phi}\) be the Frechét derivative of the function \(h\mapsto{\mathbf{x}}_{\phi+h}(T)\) from \(L^{2}([0,T];\mathbb{R})\) to \(\mathbb {R}^{2}\), where \({\mathbf{x}}_{\phi+h}=(x_{\phi+h}, y_{\phi+h})'\). The derivative \(D_{x_{0},y_{0};\phi}\) can be given by
where \({\mathbf{v}}=(\sigma(i),\sigma(i))'\), and \(Q(t,t_{0})\) (\(T\geq t\geq t_{0}\geq0\)) is a matrix function such that \(Q(t_{0},t_{0})=I\), \(\partial {Q(t,t_{0})}/{\partial t}=\Delta(t)Q(t,t_{0})\), and \(\Delta(t)={\mathbf {f}}'(x_{\phi}(t),y_{\phi}(t))\), where \({\mathbf {f}'}\) is the Jacobian of
Assume that the following two conditions are satisfied:
-
1.
The derivative \(D_{x_{0},y_{0};\phi}\) has rank 2;
-
2.
For any \((x_{0},y_{0})\in\mathbb{R}^{2}\) and \((x_{1},y_{1})\in\mathbb {R}^{2}\), there exist \(T>0\) and a smooth control ϕ such that the solution of system (3.3), (3.4) satisfies \(x(0)=x_{0}, y(0)=y_{0}, x(T)=x_{1}\), and \(y(T)=y_{1}\).
Then \(k_{i}(T,x_{1},y_{1};x_{0},y_{0})>0\) (see [7–9]). If this is the case, we have
So the rest of the proof is checking conditions 1 and 2.
First, we check condition 1. Let \(\varepsilon\in(0,T)\) and \(h=\mathbf{1}_{[T-\varepsilon,T]}\). Since \(Q(T,s)=I+\Delta(T)(T-s)+o(T-s)\), we obtain
where \(x=x_{\phi}(T)\), \(y=y_{\phi}(T)\). Obviously, v and \(\Delta(T){\mathbf{v}}\) are linearly independent for any \((x,y)\in\mathbb{R}^{2}\). This implies \(D_{x_{0},y_{0};\phi}\) has rank 2 for every \((x,y)\in\mathbb{R}^{2}\).
Now we prove that condition 2 is satisfied. In view of (3.3) and (3.4), we obtain
Integrating from 0 to t, we get
In particular,
Choose \(T>0\) large enough such that the left side of this equality is positive. Then take a smooth function \(x(t)\) with \(x(0)=x_{0}\) and \(x(T)=x_{1}\) that satisfies (3.6). Consequently, by (3.5) we can determine a smooth function \(y(t)\) with \(y(0)=y_{0}\) and \(y(T)=y_{1}\). Thus, we can determine a smooth control \(\phi(t)\) from (3.4), which means that condition 2 is satisfied. □
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}\). By Lemma 5.5 in [10], 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 all \(B\in\mathcal{B}(\mathbb{R}^{2})\) and \(i\in\mathbb{S}\). Obviously, \({\mathcal {A}}u\) generates a Markov semigroup \(\{{\mathcal {T}}(t)\}_{t\geq0}\) 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.7) becomes
Obviously, Q is also a Markov operator on \(L^{1}(X,\Sigma,\hat{m})\).
From the Phillips perturbation theorem [11], (3.8) with the initial condition \(u(0,x,y,k)=f(x,y,k)\) generates a Markov semigroup \(\{{\mathcal{P}}(t)\} _{t\geq0}\) on the space \(L^{1}(X)\) given by
where \(S^{(0)}(t)={\mathcal {T}}(t)\), and
Lemma 3.3
If \(\beta(i)>\alpha(i)\), \(i\in\mathbb{S}\), then the semigroup \(\{\mathcal{P}(t)\}_{t\geq0}\) is asymptotically stable or is sweeping with respect to compact sets.
Proof
By Lemma 3.1, \(\{{\mathcal {P}}(t)\}_{t\geq0}\) is a partially integral Markov semigroup. In view of Lemma 3.2, (3.10), and \(Q_{ij}>0\) (\(i\neq j\)), we know that, for every nonnegative \(f\in L^{1}(X)\) with \(\|f\|=1\),
By similar arguments to Corollary 1 in [12] it follows that \(\{{\mathcal {P}}(t)\}_{t\geq0}\) 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\geq0}\) is called asymptotically stable if there is an invariant density \(f_{*}\) such that
where \(D=\{f\in L^{1}(X):f\geq0, \|f\|=1\}\).
A Markov semigroup \(\{\mathcal{P}(t)\}_{t\geq0}\) is called sweeping with respect to a set \(A\in\Sigma\) if, for every \(f\in D\),
Lemma 3.4
If \({\mathcal {R}}^{s}>0\) and \(\beta(i)>\alpha(i)\), \(i\in\mathbb{S}\), then the semigroup \(\{{\mathcal{P}}(t)\}_{t\geq0}\) 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\geq0}\).
Since the matrix Γ is irreducible, there exists a solution \(\varpi=(\varpi_{1},\varpi_{2},\ldots,\varpi_{N})\) of the Poisson system (see [13], 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 fixed \(r>0\) such that
where
We define a \(C^{2}\)-function V as follows:
By direct calculation we obtain
where (3.12) is used. Since
choose \(\kappa>0\) large enough such that
In addition, for any \((x,y)\in[-\kappa, \kappa]\times\mathbb{R}\), we have
Choose \(\epsilon>0\) large enough such that
Obviously, \((\mathbb{R}^{2}-[-\kappa, \kappa]\times\mathbb{R})\cup ([-\kappa, \kappa]\times\mathbb{R}-\mathbb{R}\times[-\epsilon, \epsilon])=\mathbb{R}^{2}-[-\kappa,\kappa]\times[-\epsilon,\epsilon]\). Take \(U:=[-\kappa,\kappa]\times[-\epsilon,\epsilon]\). Then, for any \(i\in\mathbb{S}\),
Such a function V is called a Khasminskiĭ function. By using arguments similar to those in [14], the existence of a Khasminskiĭ function implies that the semigroup is not sweeping from the set U. According to Lemma 3.4, the semigroup \(\{{\mathcal{P}}(t)\} _{t\geq0}\) is asymptotically stable, which completes the proof. □
4 Discussion
In this paper, we consider the existence of a stationary distribution of a stochastic SI epidemic model with regime switching and its stability. We prove that if \(\mathcal{R}^{s}<0\), then the disease becomes extinct exponentially, whereas if \(\mathcal{R}^{s}>0\) and \(\beta(i)>\alpha (i), i\in\mathbb{S}\), then the densities of the distributions of the solution can converge in \(L^{1}\) to an invariant density. Since the diffusion is degenerate, we employ the Markov semigroup theory to study the long-time behavior of system (1.2).
It is known that to obtain the ergodicity, the strong Feller property and irreducibility of a Markov process are needed. However, according to the proof of Lemma 3.2, system (1.2) is not irreducible. This is the reason why we employ the Markov semigroup theory given by Rudnicki [12, 15]. In addition, we assume that \(\gamma_{ij}> 0, i\neq j\), which is a strong condition. This condition is used to ensure that \(r(t)\) is irreducible. In fact, under the condition that \(r(t)\) is irreducible, just spending a little more time, all results obtained in this paper can be reproved.
References
Mao, X: Stochastic Differential Equations and Applications. Horwood, Chichester (1997)
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)
Bell, DR: The Malliavin Calculus. Dover, New York (2006)
Aida, S, Kusuoka, S, Strook, D: On the support of Wiener functionals. In: Elworthy, KD, Ikeda, N (eds.) Asymptotic Problems in Probability Theory: Wiener Functionals and Asymptotic. Pitman Research Notes in Math. Series, vol. 284, pp. 3-34. Longman, Harlow (1993)
Arous, GB, Léandre, R: Décroissance exponentielle du noyau de la chaleur sur la diagonale (II). Probab. Theory Relat. Fields 90, 377-402 (1991)
Stroock, DW, Varadhan, SRS: On the support of diffusion processes with applications to the strong maximum principle. In: Proc. Sixth Berkeley Symposium on Mathematical Statistics and Probability, Vol. III, pp. 333-360. University of California Press, Berkeley (1972)
Xi, F: On the stability of jump-diffusions with Markovian switching. J. Math. Anal. Appl. 341, 588-600 (2008)
Lasota, A, Mackey, MC: In: Chaos, Fractals and Noise. Stochastic Aspects of Dynamics. Springer Applied Mathematical Sciences, vol. 97 (1994) New York
Rudnicki, R: Long-time behaviour of a stochastic prey-predator model. Stoch. Process. Appl. 108, 93-107 (2003)
Khasminskii, RZ, 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)
Rudnicki, R: On asymptotic stability and sweeping for Markov operators. Bull. Pol. Acad. Sci., Math. 43, 245-262 (1995)
Acknowledgements
The work was supported by the Science and Technology Department of Jilin Province (Grant No. 20160101264JC) and 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
Lin, Y., Jin, M. & Guo, L. Long-time behavior of a regime-switching Susceptible-Infective epidemic model with degenerate diffusion. Adv Differ Equ 2017, 341 (2017). https://doi.org/10.1186/s13662-017-1355-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1355-3