Abstract
In this paper, we discuss a stochastic SIS epidemic model with vaccination. We investigate the asymptotic behavior according to the perturbation and the reproduction number \(R_{0}\). When the perturbation is large, the number of infected decays exponentially to zero and the solution converges to the disease-free equilibrium regardless of the magnitude of \(R_{0}\). Moreover, we get the same exponential stability and the convergence if \(R_{0}<1\). When the perturbation and the disease-related death rate are small, we derive that the disease will persist, which is measured through the difference between the solution and the endemic equilibrium of the deterministic model on average in time if \(R_{0}>1\). Furthermore, we prove that the system is persistent in the mean. Finally, the results are illustrated by computer simulations.
Similar content being viewed by others
1 Introduction
Epidemiology is the study of the spread of diseases with the objective to trace factors that are responsible for or contribute to their occurrence. Significant progress has been made in the theory and application of epidemiology modeling by mathematical research. In a simple epidemic model, there is generally a threshold, \(R_{0}\). If \(R_{0} \leq1\), the disease-free equilibrium is a unique equilibrium in this type of epidemic model and it is globally asymptotically stable; if \(R_{0}>1\), this type of model has also a unique endemic equilibrium, which is globally asymptotically stable. Therefore, the threshold \(R_{0}\) determines the extinction and persistence of the epidemic.
Controlling infectious diseases has been an increasingly complex issue in recent years. Vaccination is an important strategy for the elimination of infectious diseases [1–3]. The vaccination enables the vaccinated to acquire a permanent or temporary immunity. When the immunity is temporary, the immunity can be lost after a period of time. It is used in many references [4–7] where one assumes the process of losing immunity is in the exponential form.
Li and Ma [7] discussed a SIS model with vaccination. The system has following form:
Here \(S(t)\) denotes the number of susceptible individuals at time t, \(I(t)\) denotes the number of infected individuals at time t and \(V(t)\) denotes the number of members who are immune to an infection as the result of vaccination at time t. The parameters in the model are summarized in the following list:
A: the constant input of new members into the population per unit time;
q: the fraction of vaccinated new-borns;
β: transmission coefficient between compartments S and I;
μ: the natural death rate of the S, I, V compartments;
p: the proportionality coefficient of vaccinated cases for the susceptible;
γ: the recovery rate of infectious individuals;
ε: the rate of losing their immunity for vaccinated individuals;
α: the disease-caused death rate of infectious individuals.
All parameter values are assumed to be nonnegative and \(\mu,A> 0\).
According to the theory in Li and Ma [7], system (1.1) always has the disease-free equilibrium \(P_{0}=(S_{0},I_{0},V_{0})=({A(\mu(1-q)+\varepsilon)}/{\mu(\mu+\varepsilon +p)}, 0, {A(\mu q+p)}/{\mu(\mu+\varepsilon+p)})\). If \(R_{0} \leqslant1\), then \(P_{0}\) is the unique equilibrium of (1.1) and it is globally stable in the invariant set Γ, where \(\Gamma=\{(S,I,V):S>0, I\geq0, V\geq0, S+I+V\leq{A}/{\mu}\}\). If \(R_{0}>1\), then \(P_{0}\) is unstable and there is an endemic equilibrium \(P^{*}=(S^{*},I^{*},V^{*})=((\mu+\gamma+\alpha)/{\beta}, \mu(\mu+\gamma +\alpha)(\mu+\varepsilon+p)(R_{0}-1)/{\beta(\mu+\alpha)(\mu +\varepsilon)}, {(qA+{p}(\mu+\gamma+\alpha)/\beta)}/{(\mu+\varepsilon)})\) of system (1.1), which is globally asymptotically stable under a sufficient condition in Γ. The reproduction number of system (1.1)
However, the deterministic approach has some limitations in the mathematical modeling of the transmission of an infectious disease and it is quite difficult to predict the future dynamics of a system accurately. This happens due to the fact that deterministic models do not incorporate the effect of a fluctuating environment. Stochastic differential equation models play a significant role in various branches of applied sciences including infectious dynamics, as they provide some additional degree of realism compared to their deterministic counterpart. In reality, parameters involved in the modeling approach of ecological systems are not absolute constants, and they always fluctuate around some average value due to continuous fluctuations in the environment. As a result, parameters in the model never attain a fixed value with the advancement of time and rather exhibit a continuous oscillation around some average values. Many authors have introduced parameters of random perturbation into epidemic models and have studied their dynamics.
Parameter perturbations on the transmission rate β are considered in [8–12]. Tornatore et al. in [9] studied the following stochastic SIR model with no delay:
They proved that \(0<\beta<\min\{\gamma+\mu-{\sigma^{2}}/{2}, 2\mu\}\) was a sufficient condition for the asymptotic stability of the disease-free equilibrium. Using only computer simulations they showed that if \(\min\{\gamma+\mu-{\sigma^{2}}/{2}, 2\mu\}<\beta<\gamma+\mu +{\sigma^{2}}/{2}\), the disease-free equilibrium was stable and the disease does not occur. If \((\gamma+\mu)(R_{0}-1)>{\sigma^{2}}/{2}\), the disease-free equilibrium was unstable. The same discussion was extended to a SIRS model by Liu [10]. By using Lyapunov functions, in [11] was shown the asymptotic behavior of a multigroup SIR epidemic model with fluctuations around parameter β. When \(R_{0}\leq1\), one deduced the globally asymptotic stability of the disease-free equilibrium \(P_{0}\), which meant the disease would die out. When \(R_{0}>1\) and the perturbation was small, by measuring through the difference between the solution and the endemic equilibrium of the deterministic model in time average, they derived that the disease would persist. However, the authors did not consider the case when the perturbation would be large. Besides, Gray et al. in [12] discussed the following stochastic SIS model:
They proved that this model had a unique global positive solution and established conditions for extinction and persistence of \(I(t)\) according to the perturbation and the reproductive number \(R_{0}\). In the case of persistence they showed the existence of a stationary distribution and derived expressions for its mean and variance. Besides the parameters with the stochastic perturbation, there are other types of stochastic perturbations; see [13–19].
Jing Fu et al. introduced stochasticity into a multigroup SIS model in [25]. They presented the sufficient condition for the exponential extinction of the disease and proved that the noises significantly raise the threshold of a deterministic system. In the case of persistence, they proved that there exists an invariant distribution which is ergodic.
In [26], Golmankhaneh et al. applied the homotopy analysis method (HAM) successfully for solving second-order random differential equations, homogeneous or inhomogeneous. Expectation and variance of the approximate solutions were computed. Several numerical examples were presented to show the ability and efficiency of this method. Jafarian et al. in [27] solved linear second kind Fredholm and Volterra integral equations systems by applying the Bernstein polynomials expansion method. Illustrative examples were provided to demonstrate the preciseness and effectiveness of the proposed technique.
Another approach to include stochastic perturbations in a biological model was considered by Imhof and Walcher in [23]. Applying this method, Zhao and Jiang [24] discussed the stochastic system
where \(B_{i}(t)\) are independent Brownian motions, and \(\sigma_{i}\) (\(i = 1, 2, 3\)) are their intensities. When the perturbations and the disease-related death rate α are small, they showed that there is a stationary distribution and it is ergodic as \(R_{0} > 1\) and the asymptotic behavior of the solution around the disease-free equilibrium \(P_{0}\) as \(R_{0} \leq1\). Here \(R_{0}\) is the reproductive number of the deterministic model.
In this paper, taking into account the effect of a randomly fluctuating environment, we assume that fluctuations in the environment will manifest themselves mainly as fluctuations in the parameter β, as in [12],
where \(B(t)\) is standard Brownian motions with \(B(0) = 0\), and with the intensity of the white noise \(\sigma^{2}>0\). The stochastic version corresponding to the deterministic model (1.1) takes the following form:
The main objective of this paper is to study not only when the disease will die out and but also when it will persist according to the perturbation and the threshold \(R_{0}\).
This paper is organized as follows. In Section 2, we show there is a unique positive solution of system (1.3) for any positive initial value. In Section 3, we show that the positive solution of system (1.3) converges to \(P_{0}\) exponentially as the perturbation is large. In Section 4, we get the same exponential stability and the convergence when \(R_{0}<1\). On the other hand we investigate the asymptotic behavior of the solution of the system (1.3) according to \(R_{0} > 1\) although the solution of system (1.3) does not converge to \(P^{*}\). When the perturbation is not large, we consider the disease to persist. Moreover, we show system (1.3) is persistent in the mean. The key to our analysis is choosing appropriate Lyapunov functions. In Section 5, we make simulations to conform our analytical results. In Section 6, we give a short conclusion. Finally, in order to be self-contained, we have an Appendix containing a lemma used in the previous sections.
2 Existence and uniqueness of positive solution
To investigate the dynamical behavior, the first concern is whether the solution has a global existence. Moreover, for a population dynamics model, whether the value is positive is also considered. Hence in this section we first show that the solution of system (1.3) is global and positive. As we know, in order to get a stochastic differential equation which has a unique global (i.e. no explosion in finite time) solution for any given initial value, the coefficients of the equation are generally required to satisfy the linear growth condition and local Lipschitz condition (cf. [20]). However, the coefficients of system (1.3) do not satisfy the linear growth condition, though they are locally Lipschitz continuous, so the solution of system (1.3) may explode at a finite time. In this section, using the Lyapunov analysis method (mentioned in [11–13]), we show the solution of system (1.3) is positive and global.
Theorem 2.1
There is a unique solution \((S(t),I(t),V(t))\) of system (1.3) on \(t\geqslant0\) for any initial value \((S(0),I(0),V(0))\in\mathbb{R}_{+}^{3}\), and the solution will remain in \(\mathbb{R}_{+}^{3}\) with probability 1, namely, \((S(t),I(t),V(t))\in\mathbb{R}_{+}^{3}\) for all \(t\geqslant0\) almost surely.
Proof
Since the coefficients of the equation are locally Lipschitz continuous for any given initial value \((S(0),I(0),V(0))\in\mathbb{R}_{+}^{3}\), there is a unique local solution \((S(t),I(t),V(t))\) on \(t\in[0,\tau_{e})\), where \(\tau_{e}\) is the explosion time (in the Appendix). To show that this solution is global, we need to show that \(\tau_{e} =\infty\) a.s. Let \(k_{0}\geq0\) be sufficiently large so that \(S(0)\), \(I(0)\) and \(V(0)\) all lie within the interval \([1/{k_{0}}, k_{0}]\). For each integer \(k\geqslant k_{0}\), define the stopping time
where, as throughout this paper, we set \(\inf\emptyset= \infty\) (as usual ∅ denotes the empty set). According to the definition, \(\tau_{k}\) is increasing as \(k\rightarrow\infty\). Set \(\tau_{\infty} = \lim_{k\rightarrow\infty}\tau_{k}\), whence \(\tau_{\infty}\leqslant\tau_{e}\) a.s. If we can show that \(\tau_{\infty}= \infty\) a.s., then \(\tau_{e} = \infty\) and \((S(t),I(t),V(t))\in \mathbb{R}_{+}^{3}\) a.s. for all \(t \geqslant0\). In other words, to complete the proof all we need to show is that \(\tau _{\infty}= \infty\) a.s. If this statement is false, then there exist a pair of constants \(T>0\) and \(\varepsilon\in(0,1)\) such that
Hence there is an integer \(k_{1}\geqslant k_{0}\) such that
For \(t\leq\tau_{k}\), we can see, for each k,
and so
Define a \(C^{2}\)-function \(W: \mathbb{R}_{+}^{3}\rightarrow\bar {\mathbb{R}}_{+}\) by
Let \(k\geqslant k_{0}\) and \(T>0\) be arbitrary. Applying the Itô formula, we obtain
where \(\mathit{LW}: \mathbb{R}_{+}^{3}\rightarrow\mathbb{R}_{+}\) is defined by
Moreover, substituting this into (2.2), we obtain
We can now integrate both sides of (2.3) from 0 to \(\tau_{k} \wedge T\) and then take the expectations,
Set \(\Omega_{k}=\{ \tau_{k}\leqslant T\}\) for \(k\geqslant k_{1}\) and by (2.1), \(P(\Omega_{k})\geqslant\varepsilon\). Note that for every \(\omega\in\Omega_{k}\), there is at least one of \(S(\tau_{k},\omega)\), \(I(\tau_{k},\omega)\), and \(V(\tau_{k},\omega)\) that equals either k or \(1/k\), and hence \(W(S(\tau_{k},\omega),I(\tau _{k},\omega),V(\tau_{k},\omega))\) is not less than
Consequently,
It then follows from (2.1) and (2.4) that
where \(1_{\Omega_{k}(\omega)}\) is the indicator function of \({\Omega _{k}}\). Letting \(k \rightarrow\infty\) leads to the contradiction \(\infty>W(S(0),I(0),V(0))+KT=\infty\). So we must therefore have \(\tau _{\infty}=\infty\) a.s. □
Remark 2.1
From Theorems 2.1 for any initial value \((S(0),I(0),V(0))\in\mathbb{R}_{+}^{3}\), there is a unique global solution \((S(t),I(t),V(t))\in\mathbb {R}_{+}^{3}\) almost surely of system (1.3). Hence
and
If \(S(0)+I(0)+V(0)\leq{A}/{\mu}\), then \(S(t)+I(t)+V(t)\leq{A}/{\mu }\) a.s. so the region
is a positively invariant set of system (1.3) on \(\Gamma^{*}\), which is similar to system (1.1).
From now on, we always assume that \((S(0),I(0),V(0))\in\Gamma^{*}\).
3 Exponential stability in large perturbation
In this section, we show that the large perturbation forces the number of infected cases to zero exponentially regardless of the magnitude of \(R_{0}\).
Theorem 3.1
Let \((S(t),I(t),V(t))\) be the solution of system (1.3) with initial value \((S(0),I(0), V(0))\in \Gamma^{\ast}\). If \(\sigma^{2}>{\beta^{2}}/{2(\mu+\gamma+\alpha)}\), then
Moreover,
(namely, \(I(t)\) tends to zero exponentially a.s. i.e., the disease dies out with probability 1).
Proof
Applying the Itô formula to system (1.3) leads to
Integrating this from 0 to t and dividing t on the both sides, we have
where \(M(t):=\sigma\int_{0}^{t} S(r)\,dB(r)\), which is a local continuous martingale and \(M(0)=0\). Moreover
By Lemma A.1 (in the Appendix), we obtain
It follows from (3.2), taking the limit superior of both sides, that
If \(\sigma^{2}>{\beta^{2}}/{2(\mu+\gamma+\alpha)}\), then
which implies
Now we show that \(V(t)\) and \(S(t)\) converge a.s. to \(V_{0}\) and \(S_{0}\) as \(t\rightarrow\infty\), respectively. According to system (1.3), we obtain
According to (3.6), the last equation of the system (1.3) is an asymptotically differential system with limit system
So we obtain
Therefore, by (3.6), we have
This finishes the proof of Theorem 3.1. □
Remark 3.1
When the perturbation is very large, the number of infected decays exponentially to zero. It makes sense in the point that the extinction of epidemics can be caused by the occurrence of a large perturbation.
4 Asymptotic behavior around \(P_{0}\) and \(P^{*}\)
When studying epidemic dynamical systems, we are interested in two problems. One is when the disease will die out, and the other is when the disease will persist. In the section, we shall investigate the two problems according to the threshold \(R_{0}\).
4.1 Asymptotic behavior around \(P_{0}\)
When \(R_{0}\leqslant1\), \(P_{0}\) of system (1.1) is globally stable, which means the disease will die out. We shall show in Theorem 4.1 below, the same exponential stability of system (1.3), obtained in Theorem 3.1, continues valid when \(R_{0} < 1\). Moreover, in this case, we prove the solution to (1.3) converges to \(P_{0}\), a.s.
For convenience we introduce the following notation: Let
Theorem 4.1
Let \((S(t),I(t),V(t))\) be the solution of system (1.3) with initial value \((S(0),I(0), V(0))\in\Gamma ^{\ast}\). If \(R_{0}<1\), then
Moreover,
Proof
An integration of the system (1.3) yields
According to (4.1), we have
We compute that
where \(\varphi(t)\) is defined by
Obviously \(\varphi(t)\rightarrow0\), \(t\rightarrow\infty\). Substituting (4.2) into the first equation of (3.1), we have
and hence
where \(M(t):=\sigma\int_{0}^{t}S(r)\,dB(r)\). By (3.3) and Lemma A.1 (in the Appendix), we obtain \(\lim_{t\rightarrow\infty} \frac{M(t)}{t}=0\) a.s. Taking the limit superior of both sides of (4.3), if \(R_{0}<1\), we get
The remainder of the proof follows that in Theorem 3.1, so we have
This finishes the proof of Theorem 4.1. □
4.2 Asymptotic behavior around \(P^{*}\)
In the deterministic models, the second problem is usually solved by showing that the endemic equilibrium to the corresponding model is a global attractor or is globally asymptotically stable under some conditions. But there is no endemic equilibrium of system (1.3). How can one measure whether the disease will persist? In this section, we show that the difference between the solution of system (1.3) and \(P^{*}\) is small if white noise is weak, reflecting that the disease is prevalent.
Theorem 4.2
Assume \(R_{0}>1\). Let \((S(t),I(t),V(t))\) be the solution of system (1.3) with initial value \((S(0),I(0),V(0))\in\Gamma^{*}\). If \(\alpha^{2}<4\mu(\mu+\alpha )(1+{2\mu}/{\varepsilon})\), then
where \(P^{*}=(S^{*},I^{*},V^{*})\) is the endemic equilibrium of system (1.1), ρ is positive constant satisfied \({\alpha}/{4(\mu+\alpha )(1+{2\mu}/{\varepsilon})}<\rho<{\mu}/{\alpha}\).
Proof
Since \(P^{*}\) is the endemic equilibrium of system (1.1), we have
Define a \(C^{2}\)-function \(W: \mathbb{R}^{3}_{+}\rightarrow\mathbb{R}_{+}\) by
where \(c_{1}\) and \(c_{2}\) are positive constants to be determined later. Let L be the generating operator of system (1.3). Then we get
and
where (4.5) is used. Therefore
Choose \(c_{1}=({2\mu}(2\mu+p+\alpha)/{\varepsilon}+(2\mu+\alpha))/{\beta}\) and \(c_{2}={2\mu}/{\varepsilon}\) such that
Then
where ρ is positive constant to be specified later and Young’s inequality is used. If
we choose ρ such that \({\alpha}/{4(\mu+\alpha)(1+{2\mu}/{\varepsilon})}<\rho<{\mu }/{\alpha}\). This implies
Therefore,
Integrating both sides from 0 to t yields
Let \(M(t):=\int_{0}^{t}\sigma S(I-I^{*})\,dB(s)\), which is a local continuous martingale and \(M(0)=0\). Moreover,
By Lemma A.1 (in the Appendix), we obtain
which together with (4.6) implies
Consequently,
Thus, Theorem 4.2 is proved. □
Remark 4.1
Theorem 4.2 shows that, under some conditions, the distance between the solution \(X(t)=(S(t),I(t),V(t))\) and the endemic equilibrium \(P^{*}=(S^{*},I^{*},V^{*})\) of system (1.1) has the following form:
where C is a positive constant. Although the solution of system (1.3) does not have stability as the deterministic system, we can think there is approximate stability, provided \(\|\sigma \|^{2}\) is sufficiently small. In this situation, we consider the disease to persist.
From the result of Theorem 4.2, we conclude system (1.3) is persistent, which also reflects that the disease is prevalent. Chen et al. in [21] proposed the definition of persistence in the mean for the deterministic system. Here, we also use this definition for the stochastic system.
Definition 4.1
System (1.3) is said to be persistent in the mean, if
Theorem 4.3
Assume \(R_{0}>1\). Let \((S(t),I(t),V(t))\) be the solution of system (1.3) with initial value \((S(0),I(0),V(0))\in\Gamma^{\ast}\). If \(\alpha^{2}<4\mu(\mu+\alpha )(1+{2\mu}/{\varepsilon})\) and
where ρ is a positive constant satisfying \({\alpha}/{4(\mu+\alpha)(1+{2\mu }/{\varepsilon})}<\rho<{\mu}/{\alpha}\), then system (1.3) is persistent in the mean.
Proof
Obviously, (4.4) is true. That is to say, we have
Besides,
i.e.
Together with (4.7) and (4.8), we get
Similarly,
and
Consequently, system (1.3) is persistent in the mean. □
Remark 4.2
When the disease-related death rate is small, Theorem 4.3 shows that if the perturbation is so small that it satisfies the condition (4.7), system (1.3) is persistent in the mean.
5 Numerical simulations
In order to conform the results above, we numerically simulate the solution of system (1.3) with the initial value \((S(0), I(0), V(0)) = (0.8, 0.4,0.5)\). Using Milstein’s higher order method mentioned in [22], we get the discretization equation of system (1.3):
where \(\xi_{k}\), \(k = 1, 2, \ldots , n\), are the independent Gaussian random variables \(N(0, 1)\).
By Theorem 3.1, we expect that the disease-free equilibrium \(P_{0}\) of system (1.3) is exponentially stable under \(\sigma^{2}>{\beta^{2}}/{2(\mu +\gamma+\alpha)}\). In Figure 1, we choose parameters \(A=0.9\); \(q=0.1\); \(\beta=0.8\); \(\mu=0.4\); \(p=0.1\); \(\gamma=0.1\); \(\varepsilon =0.2\); \(\alpha=0.1\); \(\sigma=0.9\), such that \(R_{0} = 2.4> 1\) and \(\sigma^{2}=0.81>{8}/{15}={\beta^{2}}/{2(\mu +\gamma+\alpha)}\). Then the disease-free equilibrium \(P_{0}\) of system (1.3) is exponentially stable. But when \(R_{0} >1\), there is an endemic equilibrium \(P^{*}\) of system (1.1), and it is globally asymptotically stable under the sufficient condition \((\mu+\varepsilon)(2\mu+\alpha)^{2}=0.486>0.007=\alpha^{2}(\mu +\varepsilon+p)\) (see Li and Ma [7]). Figure 1 illustrates this visually.
By Theorem 4.1, we expect that the disease-free equilibrium \(P_{0}\) of system (1.3) is exponentially stable under \(R_{0} <1\). In Figure 2, we choose parameters \(A=0.2\); \(q=0.5\); \(\beta=0.5\); \(\mu=0.2\); \(p=0.3\); \(\gamma=0.2\); \(\varepsilon =0.1\); \(\alpha=0.3\); \(\sigma=0.3\), such that \(R_{0}=5/21<1\). Then the disease-free equilibrium \(P_{0}\) of systems (1.3) is exponentially stable and the disease-free equilibrium \(P_{0}\) of system (1.1) is globally asymptotically stable. Figure 2 illustrates this visually.
Next, we consider the effect of stochastic fluctuations of environment to the endemic equilibrium of the corresponding deterministic system. Theorem 4.2 tells us that the difference between the perturbed solution and \(P^{*}\) is only related with white noise under the condition \(R_{0} >1\) and \(\alpha^{2}<4\mu(\mu+\alpha)(1+{2\mu}/{\varepsilon})\). In Figure 3, we choose the same parameters as in Figure 1 except for the sigma values \(\sigma=0.03\), such that \(R_{0} = {87}/{35}>1\) and \(\alpha^{2}=0.01<4=4\mu(\mu+\alpha)(1+{2\mu}/{\varepsilon})\). As expected, the solution is oscillating around the endemic equilibrium \(P^{*}\) for a long time (see Figure 3). Besides, the parameters of the middle plot in Figure 3 are the same but with different white noise \(\sigma= 0.01\). Obviously, we can observe that, with white noise getting weaker, the fluctuation around \(P^{*}\) gets smaller, which supports the result of Theorem 4.2.
Finally, we keep the system parameters the same as in Figure 3 but we let \(\sigma=0.04\). It is easy to verify that the system parameters obey the condition (4.7), \(\sigma^{2}=0.0016< l\min\{\mu({2(\mu+p)}/{\varepsilon}+1){(S^{*})}^{2}, ((\mu+\alpha)(1+{2\mu}/{\varepsilon})-{\alpha}/{4\rho}){(I^{*})}^{2}, (\mu-\rho\alpha){(V^{*})}^{2}\}\approx0.0019\), where \(l={2\beta}/({2\mu}/{\varepsilon}(2\mu+p+\alpha) +(2\mu+\alpha))({A}/\mu)^{2}I^{*}=0.0658 \). We can therefore conclude system (1.3) is persistent in the mean. The computer simulation shown in Figure 4 clearly supports this result.
6 Conclusions
This paper studies the extinction and persistence in the mean of a stochastic SIS epidemic model with vaccination. When the perturbation is very large, the number of infected decays exponentially to zero, which means the disease will die out. A similar conclusion to the system (1.2) is obtained in Theorem 4.3 in [12], but there one simplified system (1.2) into a single equation without vaccination and \(\alpha=0\). The present paper is the first attempt, to the best of our knowledge, of such a study of a large perturbation that surpasses the effect of \(R_{0}\) as a threshold value in a high-dimensional system. Theorem 4.1 showed \(P_{0}\) is exponentially stable if \(R_{0}<1\). The result is better than the asymptotic stability of \(P_{0}\) in Theorem 3.1 in [11]. From Theorems 4.2 and 4.3, when the perturbation and the disease-related death rate are small, if \(R_{0}>1\), we see that the disease will persist in the mean. In such a case, \(R_{0}\) plays a role similar to the threshold of the deterministic model. Hence, a large perturbation surpasses the effect of \(R_{0}\) as a threshold value, and a small perturbation retains some role of \(R_{0}\) in a stochastic sense. Also, it is interesting to study the threshold \(\tilde{R}_{0}\) of a stochastic SIR model, and these investigations are in progress.
References
Chen, FH: A susceptible-infected epidemic model with voluntary vaccinations. J. Math. Biol. 53, 253-272 (2006)
Shim, E, Feng, Z, Martcheva, M, Castillo-Chavez, C: An age-structured epidemic model for rotavirus with vaccination. J. Math. Biol. 53, 719-749 (2006)
Moneim, IA, Greenhalgh, D: Threshold and stability results for an SIRS epidemic model with a general periodic vaccination strategy. J. Biol. Syst. 13, 131-150 (2005)
Greenhalgh, D: Hopf bifurcation in epidemic models with a latent period and nonpermanent immunity. Math. Comput. Model. 25, 85-107 (1997)
Greenhalgh, D: Some results for an SEIR epidemic model with density dependence in the death rate. Math. Med. Biol. 9, 67-68 (1992)
Li, J, Ma, Z: Qualitative analyses of SIS epidemic model with vaccination and varying total population size. Math. Comput. Model. 35, 1235-1243 (2002)
Li, J, Ma, Z: Global analysis of SIS epidemic models with variable total population size. Math. Comput. Model. 39, 1231-1242 (2004)
Deng, C, Gao, H: Stability of SVIR system with random perturbations. Int. J. Biomath. 5, 1250025 (2012)
Tornatore, E, Buccellato, SM, Vetro, P: Stability of a stochastic SIR system. Physica A 354, 111-126 (2005)
Liu, Q: Stability of SIRS system with random perturbations. Physica A 388, 3677-3686 (2009)
Ji, C, Jiang, D, Shi, N: Multigroup SIR epidemic model with stochastic perturbation. Physica A 390, 1747-1762 (2011)
Gray, A, Greenhalgh, D, Hu, L, Mao, X, Pan, J: A stochastic differential equation SIS epidemic model. SIAM J. Appl. Math. 71(3), 876-902 (2011)
Dalal, N, Greenhalgh, D, Mao, X: A stochastic model of AIDS and condom use. J. Math. Anal. Appl. 325, 36-53 (2007)
Bandyopadhyay, M, Chattopadhyay, J: Ratio-dependent predator-prey model: effect of environmental fluctuation and stability. Nonlinearity 18, 913-936 (2005)
Beretta, E, Kolmanovskii, V, Shaikhet, L: Stability of epidemic model with time delays influenced by stochastic perturbations. Math. Comput. Simul. 45, 269-277 (1998)
Carletti, M: On the stability properties of a stochastic model for phage-bacteria interaction in open marine environment. Math. Biosci. 175, 117-131 (2002)
Yu, J, Jiang, D, Shi, N: Global stability of two-group SIR model with random perturbation. J. Math. Anal. Appl. 360, 235-244 (2009)
Beddington, JR, May, RM: Harvesting natural populations in a randomly fluctuating environment. Science 197, 463-465 (1977)
Imhof, L, Walcher, S: Exclusion and persistence in deterministic and stochastic chemostat models. J. Differ. Equ. 217, 26-53 (2005)
Mao, X: Stochastic Differential Equations and Applications. Horwood, Chichester (1997)
Chen, L, Chen, J: Nonlinear Biological Dynamical System. Science Press, Beijing (1993)
Higham, DJ: An algorithmic introduction to numerical simulation of stochastic differential equations. SIAM Rev. 43, 525-546 (2001)
Imhof, L, Walcher, S: Exclusion and persistence in deterministic and stochastic chemostat models. J. Differ. Equ. 217, 26-53 (2005)
Zhao, Y, Jiang, D: Dynamics of stochastically perturbed SIS epidemic model with vaccination. Abstr. Appl. Anal. 2013, Article ID 517439 (2013)
Fu, J, Han, Q, Lin, Y, Jiang, D: Asymptotic behavior of a multigroup SIS epidemic model with stochastic perturbation. Adv. Differ. Equ. 2015, 84 (2015)
Golmankhaneh, AK, Porghoveh, NA, Baleanu, D: Mean square solutions of second-order random differential equations by using homotopy analysis method. Rom. Rep. Phys. 65, 350-362 (2013)
Jafarian, A, Measoomy Nia, SA, Golmankhaneh, AK, Baleanu, D: Numerical solution of linear integral equations system using the Bernstein collocation method. Adv. Differ. Equ. 2013, 123 (2013)
Acknowledgements
The work was supported by Program for NSFC of China (No: 11371085,11426060), and the Fundamental Research Funds for the Central Universities (No: 15CX08011A), the Scientific and Technological Research Project of Jilin Province’s Education Department (No: 2012244) and the Education Science Research Project of Jilin Province (No: GH150104).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have contributed to the manuscript on an equal basis. All authors read and approved the final manuscript.
Appendix
Appendix
Next, we give some basic theory in stochastic differential equations (see [20]).
Throughout this paper, unless otherwise specified, let \((\Omega, \{ {\mathcal {F}}_{t}\}_{t\geq0}, P)\) be a complete probability space with a filtration \(\{{\mathcal {F}}_{t}\}_{t\geq0}\) satisfying the usual conditions (i.e. it is right continuous and \({\mathcal {F}}_{0}\) contains all P-null sets). Let
In general, consider the n-dimensional stochastic differential equation
with initial value \(x(t_{0}) = x_{0} \in R^{d}\). \(B(t)\) denotes the n dimensional standard Brownian motion defined on the above probability space. Define the differential operator L associated with (A.1) by
If L acts on a function \(V\in C^{2,1}(\mathbb{R}^{d}\times\bar{\mathbb{R}}_{+}; \bar{\mathbb {R}}_{+})\), then
where \(V_{t}=\frac{\partial V}{\partial t}\), \(V_{x}=(\frac{\partial V}{\partial x_{1}},\ldots,\frac{\partial V}{\partial x_{d}})\), \(V_{xx}=(\frac{\partial^{2} V}{\partial x_{i}\,\partial x_{j}})_{d \times d}\). By Itô’s formula, if \(x(t)\in R^{d}\), then
Consider (A.1), assume \(f(0,t)=0 \) and \(g(0,t)=0\) for all \(t\geq t_{0}\). So \(x(t)\equiv0\) is a solution of (A.1), called the trivial solution or the equilibrium position.
Let \(D_{n}=(-n,n)\) for \(n=1,2,\ldots \) . \(\tau_{n}=\tau_{D_{n}}\) be the first time the process has absolute value n. Since a diffusion process is continuous, it must reach level n before it reaches level \(n+1\). Therefore \(\tau _{n}\) are non-decreasing, hence they converge to a limit \(\tau_{\infty}=\lim_{n\rightarrow\infty}\tau_{n}\). Explosion occurs on the set \(\{\tau_{\infty}<\infty\}\), because on this set, by continuity of \(x(t)\), \(x(\tau_{\infty})=\lim_{n\rightarrow\infty}x(\tau_{n})\). Thus \(| x(\tau_{\infty})| =\lim_{n\rightarrow\infty}| x(\tau_{n})|=\lim_{n\rightarrow \infty}n=\infty\), and infinity is reached in a finite time on this set.
Definition A.1
Diffusion started from x explodes if \(P_{x}(\tau_{\infty}<\infty)>0\).
Definition A.2
A random variable \(\tau :\Omega\rightarrow[0,\infty]\) (it may take the value ∞) is called an \(\{{\mathcal {F}}_{t}\}\)-stopping time (or simply, stopping time) if \(\{\omega:\tau(\omega)\leq t\}\in{ \mathcal {F}}_{t}\) for any \(t\geq0\).
Lemma A.1
(Strong Law of Large Numbers)
Let \(M=\{M_{t}\}_{t\geq0}\) be a real-value continuous local martingale vanishing at \(t=0\). Then
and also
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
Zhao, Y., Zhang, Q. & Jiang, D. The asymptotic behavior of a stochastic SIS epidemic model with vaccination. Adv Differ Equ 2015, 328 (2015). https://doi.org/10.1186/s13662-015-0592-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0592-6