We study a vector-borne disease with age of vaccination. A nonlinear incidence rate including mass action and saturating incidence as special cases is considered. The global dynamics of the equilibria are investigated and we show that if the basic reproduction number is less than 1, then the disease-free equilibrium is globally asymptotically stable; that is, the disease dies out, while if the basic reproduction number is larger than 1, then the endemic equilibrium is globally asymptotically stable, which means that the disease persists in the population. Using the basic reproduction number, we derive a vaccination coverage rate that is required for disease control and elimination.

1. Introduction

Many of infections that have the important impact on human health in terms of mortality or morbidity are vector-borne disease. Mosquitoes [1] are perhaps the best known disease vectors, with various species playing a role in the transmission of infections such as malaria, yellow fever, dengue fever, and West Nile virus. One of the effective methods in disease prevention is the vaccination [25]. Several studies in the literature have been carried out to investigate the role of treatment and vaccination of the spread of diseases ([68] and the references therein). An epidemic model with vaccination for measles is derived by Linda [9]. The effect of vaccination on the spread of periodic diseases, using discrete-time model, was studied by Mickens [10].

The impact of vaccination in two SVIR models with permanent immunity is studied by Liu et al. [11]. Xiao and Tang [12] have shown from an SIV model that complex dynamics are induced by imperfect vaccination. Gumel and Moghadas [13] investigated a disease transmission model by considering the impact of a protective vaccine and found the optimal vaccine coverage threshold required for disease control and elimination. The eradicating of an SEIRS epidemic model by using vaccine was studied by Gao et al. [14]. Yang et al. [8] derived a threshold value for the vaccination coverage of an SIVS epidemic model. Many previous studies have shown that the reemergence of some diseases is caused by the waning of vaccine-induced immunity [1517]. A consequence of this is that it is important for health authorities to take into account waning of vaccine-induced immunity in the disease control and elimination campaign.

In this paper, we consider a vector-borne disease model such as malaria that incorporates the waning of vaccine-induced immunity. Additionally, we use incidences with a nonlinear response to the number of infectious individuals and infectious vectors. The incidences take the form and , respectively, for the human and vector populations. We assume that and satisfy the following assumptions:

For with equality if and only if , , and .

For with equality if and only if , , and .

From the above assumptions and the Mean Value Theorem, it follows thatLet , , and denote, respectively, the number of susceptible, infectious, and removed host individuals and , the number of susceptible and infectious vectors. The susceptible individuals are vaccinated at the rate . denotes the population size of the vaccinated compartment at time with the vaccine age . Let be the rate at which the vaccine-induced immunity wanes. We assume that and the following assumption:

is bounded, nondecreasing, and piecewise continuous with possibly many finite jumps.

We consider a relatively isolated community where there is no immigration or emigration. Additionally, we assume that all the newly recruited, including the newborns, are susceptibles. Let, at any time , and be the recruitment rate of host individuals and vectors, respectively. and are, respectively, the natural death rate of host individuals and vectors. Let be the natural recovery rate from the infected population and the disease induced death rate of host individuals. The number of individuals moving from the vaccinated class into the susceptible class at time is . From the above assumptions, we formulate our vector-borne epidemic model in the following way:where is the set of integrable functions from into . Since the removed host individual population does not appear in the remaining equations of system (2), it is sufficient to consider the following system:From [18, 19], we state that system (3) has a unique continuous solution if the initial conditions satisfy the compatibility conditionIn the remaining part of this paper, we always assume that condition (4) is satisfied. The existence and the nonnegativity of the solution of (3) can be reached in Browne and Pilyugin [20]. We next introduce a semiflow solution of system (3).

Defineand consider the linear operator defined bywith , where is a Sobolev space. Then, is not dense in . We consider a nonlinear map which is defined byand letSetBased on the above, we can reformulate system (3) as the following abstract Cauchy problem:By applying the results given in [19, 21], we derive the existence and uniqueness of the semiflow on generated by system (3). By using the theory for dynamical system (see [19]), we can further obtain the following lemma.

Lemma 1. System (3) generates a unique continuous semiflow on that is asymptotically smooth and bounded dissipative. Furthermore, the semiflow has a compact global attractor .

The total population size of human hosts and vectors is, respectively,Then, from the time derivative of and , we getwhich impliesWe hence restrict our attention to solutions of (3) with initial conditions inThe rest of the paper is structured as follows. In Section 2, we study the existence and local stability of equilibria of system (3). In Section 3, we present the results for the global dynamics of equilibria of system (3). In Section 4, the paper closes with conclusion.

2. Existence and Local Stability of Equilibria

In this part, we state the result about the existence and local stability of equilibria of the model (3). We first start by the existence of equilibria. We defineasThen,Let be an equilibrium of (3). This impliesFrom the third and the sixth equations of (18), we deduce thatBy the first equation of (18), we getFrom the fourth equation of (18), we haveSubstituting and into the second and the fifth equations of (18) givesFrom the second equation of (22), we obtainReplacing in the first equation of (22) yieldsBy and , is a solution of the above equation. Thus, system (3) has a disease-free equilibriumFollowing the same method as [22], the basic reproduction number for model (3) is describes a threshold for endemic persistence/spread of the disease, the rate of increase in the number of cases during an epidemic. Its magnitude allows determining the effort necessary either to prevent an epidemic or to eliminate an infection from a population.

Let be an endemic equilibrium. Then, and , whereThe function is continuous with and .

Moreover, for ,The sufficient condition for to have a zero in is that is increasing at . Thus, there is an endemic equilibrium ifwhich is equivalent to . Let be a unique solution in of . Then, system (3) admits a unique endemic equilibrium , whereWe summarize the above analysis in the following result.

Theorem 2 (consider system (3)). If , then there is a unique equilibrium, which is the disease-free equilibrium .
If , then there are two equilibria, the disease-free equilibrium and the endemic equilibrium .

We now deal with the local stability of the disease-free equilibrium. We show the stability of by linearizing system (3) about . The result is stated as follows.

Theorem 3 (consider system (3)). If , the disease-free equilibrium is locally asymptotically stable.
If , the unique endemic equilibrium is locally asymptotically stable.

Proof. From the linearization of system (3) at , we deduce the following characteristic equation:whereFrom (31), the eigenvalues are and solutions ofAll roots of (33) and (34) have negative real parts; otherwise let be a root of (33) with . Then, we haveThis leads to a contradiction.
Now, let be a root of (34) with . From (26), we haveThis also leads to a contradiction by using (34) and then proves that is locally asymptotically stable.
The characteristic equation at isBy using and , we getWe show that the characteristic equation has no eigenvalues with nonnegative real parts. The eigenvalues are and solutions ofBy way of contradiction, assume that there is one eigenvalue with . Then,From (1), it follows thatSince we haveThis leads to a contradiction.

3. Global Stability Analysis of Equilibria

In this section, we prove the global stability of the equilibria of model (3). We first start by the global stability of the disease-free equilibrium . To attend this, we need the Fluctuation Lemma [23].

Let us introduce the notationsThe Fluctuation Lemma is stated as follows.

Lemma 4 (See [23]). Let be a bounded and continuously differentiable function. Then, there exist sequences and such that , , , , , and as .

We also need the following lemma for establishing the global stability of .

Lemma 5 (See [18]). Suppose that is a bounded function and . Then,

We state the stability result of the disease-free equilibrium as follows.

Theorem 6. If , then the disease-free equilibrium is globally asymptotically stable.

Proof. Using Theorem 3, it is sufficient to show that is attractive in .
Let be a solution of (3) with . We integrate the third equation of (3) with the boundary conditions to obtainUsing the Fluctuation Lemma 4, we deriveFrom (1) and (3), we getFrom (48), we haveIt is evident that all eigenvalues of the matrix have negative real parts when . This leads toFrom Lemma 4, it follows that there exists a sequence such that , , , and , as .
Note thatThus,Let ; thenwhich givesSince and , we obtainThat is,From (46), it follows thatTherefore, in as .

We now deal with the global stability of the endemic equilibrium .

A total trajectory of is a function such that for all and all .

We define by . has a strict global minimum at with and , .

Lemma 7 (see [24]). DefineIf assumptions and are satisfied, then , .

The result of the global stability of the endemic equilibrium is stated as follows.

Theorem 8. If , then the endemic equilibrium is globally asymptotically stable in .

Proof. Evaluating both sides of (3) at givesLetThen,LetDefineWe study the behavior of the Lyapunov functional given by (68). is bounded and with equality if and only if .
For clarity, the derivatives of will be calculated separately and then combined to obtain . We first haveUsing (60) to replace in (69) givesNext, we calculate .Using (61) to replace in (71) givesWe now calculate the derivative of .Using (62) to replace in (73) givesDifferentiating with respect to yieldsUsing (63) to replace in (75) givesThe derivative of iswhere .
Using and integration by parts, we getFrom , we getCombining (70), (72), (74), (76), and (79) and multiplying appropriately by coefficients determined by (68), we obtain