Abstract
We discuss a stochastic SIR epidemic model with vaccination. We investigate the asymptotic behavior according to the perturbation and the reproduction number . We deduce the globally asymptotic stability of the disease-free equilibrium when and the perturbation is small, which means that the disease will die out. When , we derive that the disease will prevail, which is measured through the difference between the solution and the endemic equilibrium of the deterministic model in time average. The key to our analysis is choosing appropriate Lyapunov functions.
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. Mathematical models are used extensively in the study of epidemiological phenomena. Most models for the transmission of infectious diseases descend from the classical SIR model of Kermack and McKendrick established in 1927; see [1]. In recent years, many researchers have discussed the SIR model allowing vaccination, that is, the SVIR model. In the epidemiology, vaccines are extremely important and widely used in the modern day world and have been proved to be the most effective and cost-efficient method of preventing infectious diseases such as measles, polio, diphtheria, tetanus, pertussis, and tuberculosis. Routine vaccination is now provided in all developing countries against all these diseases. Li and Ma [2] discuss an SIS model with vaccination. The results in [2] show that the system always has the disease-free equilibrium . If the basic reproduction number , then is the unique equilibrium and it is globally stable. If , then is unstable and there is an endemic equilibrium which is globally asymptotically stable under a sufficient condition. In addition, much research has been done on SVIR models; see [3–6]. In light of these results, complete determination of the global dynamics of these models is essential for their application and further development.
In fact, epidemic models are inevitably affected by environmental white noise which is an important component in realism, because it can provide an additional degree of realism in comparison to their deterministic counterparts. Recent advances in stochastic differential equations enable us to introduce stochasticity into the model of biological phenomena, whether it is a random noise in the system of differential equations or environmental fluctuations in parameters. Modeling population dynamics in random environments is a way of studying the fluctuations of population size that has been affected by the stochasticity of external factors. Recently several authors have studied stochastic biological systems; see [7–9]. In addition, some stochastic epidemic models have been studied by many authors; see [10–15]. Parameter perturbations on the transmission rate are considered in [10, 12, 14, 16]. Tornatore et al. [12] study the stability of disease-free equilibrium of a stochastic SIR model with or without distributed time delay, and the same discussion is extended to a SIRS model by Lu [10]. To our knowledge, due to the complexity of stochastic SVIR models, this is the first time that a stability analysis for such system with white noise stochastic perturbations around the transmission rate is performed.
In this paper, we will discuss the stochastic SVIR model as follows: SVIR models are formulated by dividing the population size into four distinct groups, , , , and , where is the numbers of a population susceptible to the disease, is the number of infective members, is the number of vaccinated members, and is the number of who have been removed from the possibility of infection through full immunity. The parameters in the model are summarized in the following list::a constant input of new members into the population per unit time;:transmission coefficient between compartments and ;:natural death rate of compartments;:the proportional coefficient of vaccinated individuals for the susceptible;:recovery rate of infectious individuals;:the rate of losing their immunity for vaccinated individuals;:disease-caused death rate of infectious individuals.
All parameter values are assumed to be nonnegative and . Here is standard Brownian motions with and with intensity of white noise . Since the last equation is independent of other equations, we investigated the following equivalent system: Model (2) always has a disease-free equilibrium . Define a basic reproduction number , which means the average new infections produced by one infected individual during his lifespan when the population is at . By (2), a positive equilibrium satisfies , , and .
In this paper, unless otherwise specified, we let be a complete probability space with a filtration satisfying the usual conditions (i.e., it is increasing and right continuous while contains all P-null sets). Let be the Brownian motions defined on this probability space. Also let .
2. Existence and Uniqueness of the Positive Solution
In this section, we prove that the solution of model (2) is positive and global.
Theorem 1. There is a unique solution of system (2) on for any initial value , and the solution will remain in with probability 1; namely, for all a.s.
Proof. Since the coefficient of the equation is locally Lipschitz continuous, for any given initial value there is a unique local solution on , where is the explosion time [17]. To show that this solution is global, we need to show that a.s.
Since the following argument is similar to that of [17], we here only sketch the proof to point out the difference with it. Let be sufficiently large for , and all lying within the interval . For each integer , define the stopping time
In the sequel, we need to show a.s.
Define a -function as follows:
Let and be arbitrary. Applying the Itô’s formula, we obtain
where is defined by
Let , such that; then substituting this into (6), we get
The remainder of the proof follows that in Mao et al. [17].
Remark 2. From Theorem 1 for any initial value , there is a unique global solution a.s. of system (2). Hence If , then a.s. and so the region is a positively invariant set of system (2).
3. Asymptotic Behavior of the Disease-Free Equilibrium
It is clear that is a solution of system (2), which is called the disease-free equilibrium. As mentioned in the introduction, if is globally asymptotically stable, the disease will die out after some period of time. Obviously, it is interesting to study the disease-free equilibrium for controlling infectious disease. In this section, we obtain the stability of this point mainly by stochastic Lyapunov function.
In general, consider -dimensional stochastic differential equation with initial value . Consider (10), assume and for all . So is a solution to (10), called the trivial solution or equilibrium position. The following theorems give conditions for the stability of the trivial solution of (10) in terms of Lyapunov function (see [18]).
Lemma 3. If there exists a positive definite decrescent radially unbounded function such that is negative definite, then the trivial solution of (10) is stochastically asymptotically stable in the large.
Lemma 4 (strong law of large numbers). Let be a real-value continuous local martingale vanishing at . Then and also
Based on these lemmas, now we give out the main theorems.
Theorem 5. If and , then the disease-free equilibrium of system (2) is stochastically asymptotically stable in the large.
Proof. let , , , and; then Define a -function by where From Itô’s formula, we compute where where is used. Here we choose , such that . Choose and ; substituting this into (17) yields Similarly, applying Itô’s formula to , we get Therefore, we can obtain where , such that . When , is negative definite. By Lemma 3, we conclude that, under the condition , the trivial solution of system (13) is stochastically asymptotically stable in the large; that is, the disease-free equilibrium of system (2) is stochastically asymptotically stable in the large.
4. Asymptotic Behavior around the Endemic Equilibrium of the Deterministic Model
When studying the dynamic of an epidemic system, we are interested in two problems: one is when the disease will die out which has been shown in Section 3 and the other is when the disease will prevail and persist in a population. In the deterministic models, this is 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 in system (2). It is plausible by studying the behavior around to reflect whether the disease will prevail. We get the following result.
Theorem 6. Let be the solution of system (2) with initial value . If , then where is a positive constant defined as (29).
Proof. Define a -function by where By Itô’s formula, we compute where Here we choose , such that . Choose and let ; substituting this into (25) yields Similarly, applying Itô’s formula to , we get Therefore, we can obtain Let us choose such that Therefore, we have Integrating it from 0 to yields Let which is a continuous local martingale and . Moreover, and by (9) then This together with Lemma 4 implies Consequently, combining (36), from (32) we get Thus, the proof of Theorem 6 is completed.
Remark 7. For system (2), if , from Theorem 6, then which implies which also shows that the solution tends to if . Moreover, the result of Theorem 6 tells us the difference between and is proportional to the intensity of the white noise in time average. The smaller the white noise is, the closer the solution getting to is.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The work was supported by Program for Changjiang Scholars and Innovative Research Team in University, NSFC of China (no. 11371085), the Ph.D. Programs Foundation of Ministry of China (no. 200918), and the Scientific and Technological Research Project of Jilin Province’s Education Department (no. 2014526).