Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 405258, 17 pages http://dx.doi.org/10.1155/2013/405258 Research Article Mathematical Analysis of a Malaria Model with Partial Immunity to Reinfection Li-Ming Cai,1 Abid Ali Lashari,2 Il Hyo Jung,3 Kazeem Oare Okosun,4 and Young Il Seo5 1 Department of Mathematics, Xinyang Normal University, Xinyang 464000, China Centre for Advanced Mathematics and Physics, National University of Sciences and Technology, H-12, Islamabad 44000, Pakistan 3 Department of Mathematics, Pusan National University, Busan 609-735, Republic of Korea 4 Department of Mathematics, Vaal University of Technology, Andries Potgieter Boulevard, X021, Vanderbijlpark 1900, South Africa 5 National Fisheries Research and Development Institute, Busan 619-705, Republic of Korea 2 Correspondence should be addressed to Li-Ming Cai; lmcai06@yahoo.com.cn Received 5 October 2012; Accepted 7 December 2012 Academic Editor: Sanyi Tang Copyright © 2013 Li-Ming Cai et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. A deterministic model with variable human population for the transmission dynamics of malaria disease, which allows transmission by the recovered humans, is first developed and rigorously analyzed. The model reveals the presence of the phenomenon of backward bifurcation, where a stable disease-free equilibrium coexists with one or more stable endemic equilibria when the associated reproduction number is less than unity. This phenomenon may arise due to the reinfection of host individuals who recovered from the disease. The model in an asymptotical constant population is also investigated. This results in a model with mass action incidence. A complete global analysis of the model with mass action incidence is given, which reveals that the global dynamics of malaria disease with reinfection is completely determined by the associated reproduction number. Moreover, it is shown that the phenomenon of backward bifurcation can be removed by replacing the standard incidence function with a mass action incidence. Graphical representations are provided to study the effect of reinfection rate and to qualitatively support the analytical results on the transmission dynamics of malaria. 1. Introduction Malaria is a mosquito-borne disease caused by a parasite. It is endemic and widespread in tropical and subtropical regions, including much of sub-Saharan Africa, Asia, and the Americas. Malaria is still a public health problem today. Every year, there are more than 225 million cases of malaria, killing around 781,000 people according to the World Health Organization’s 2010 World Malaria Report [1]. In humans, malaria is caused due to infection by one of four Plasmodium species [2, 3]. Transmission from mosquito to human occurs during a bite by an infectious mosquito. A mosquito becomes infected when it takes a blood meal from an infected human. Once ingested, the parasite gametocytes taken up in the blood will further differentiate into gametes and then fuse in the mosquito’s gut. Gametocytes are responsible for transmission of the parasite from humans by mosquitoes bite. Fertilization of the parasite occurs in the mosquito gut, and after a short period of replication and development, the cycle of transmission may begin anew. One of the most complex features of the epidemiology of malaria is the dynamic interaction between infection and immunity. A better understanding of this interaction is important for evaluating the impact of malaria control activities. An important phenomenon is noticed that the changes with age reflect the slow acquisition of an immunity that reduces illness but does not completely block infection [4, 5]. In endemic areas, children younger than five years have repeated and often serious attacks of malaria. The survivors 2 develop and maintain partial immunity that reduces the severity of the disease but does not prevent subsequent infections. Thus, in these areas older children and adults often have become asymptomatic carriers of infection [6]. In areas of low malaria transmission, immunity develops slowly and may take years or decades and probably never results in sterile immunity [7]. Therefore, humans are susceptible to reinfections. Incomplete immunity to malaria complicates disease control strategies [8, 9] as the partially immune individuals suffer only mild infections, and might not seek medical attention but continue to transmit the parasite in the community. The enormous public health burden inflicted by malaria disease necessitates the use of mathematical modeling and analysis to gain insights into its transmission dynamics, and to determine effective control strategies. The earliest malaria transmission models can be traced to the model formulated by Ross in 1911 [9]. He used a mathematical model and showed that bringing a mosquito population below a certain threshold was sufficient to eliminate malaria. This threshold naturally depended on biological factors such as the biting rate and vectorial capacity. To estimate infection and recovery rates, MacDonald extended the Ross model in 1957 [9]. Macdonald’s model shows that reducing the number of mosquitoes is an inefficient control strategy. Moreover, this would have little effect on the epidemiology of malaria in areas of intense transmission. Since then, the emergence and reemergence of malaria diseases have promoted many author’s interest in mathematical modeling to describe and to predict the transmission dynamics of malaria in the literature (see, e.g., [10–16] and the references therein). In paper [12], Dietz et al. applied the Garki model to show that the duration of acquired immunity in humans in malaria depends on repeated exposure. In paper [13], Niger and Gumel constructed a mathematical model that includes multiple infected and recovered classes, to assess the role of the partial immunity on the transmission dynamics of malaria in a human population. Their results reveals the presence of the phenomenon of backward bifurcation in the standard incidence model with the disease-induced death in the human population. Recently, a transmission model of human malaria in a partially immune population is formulated in Wan and Cui’s paper [14]. They established the basic reproduction number and explicit subthreshold conditions for the model, and showed that if the disease induced death rate is large enough, the model undergoes a backward bifurcation. Li [15] formulated a malaria transmission model with partial immunity in humans and showed that the established model having the same reproductive number but different numbers of progression stages can exhibit different transient dynamics. Thus, the above mentioned models always let the recovered individuals return into the susceptible class to explore the transmission dynamics of diseases. But this only takes states of complete immunity and full susceptibility in consideration. In addition, various vector-borne disease model concerning malaria transmission have been established and discussed [17–20]. For example, in paper [17], Yang et al have investigated global stability of an epidemic model for vector-borne disease, however, they Abstract and Applied Analysis assumed that the immunity of the recovered population have never lose. Motivated by the recent work of [13, 15], in this paper, we shall continue to construct a malaria transmission model with partial immunity to reinfection in the recovered human population. Our purpose is to explore the transmission dynamics of the malaria and to assess the role of partial immunity to reinfection on the transmission dynamics of malaria in a human population. The organization of this paper is as follows: in the next section, the standard incidence malaria model, which incorporates the partial immunity to reinfection, is formulated. The existence and stability of the equilibria, and the phenomena of the backward bifurcation are, respectively, explored in Sections 2.2 and 2.3. Graphical representations are provided to study the effect of reinfection rate in Section 2.4. In Section 3, the associated mass action incidence model is formulated, and mathematical results such as existence and local stability of equilibria are provided in Section 3.2. Our main theorems for the global stability of equilibria for the mass action model and the proofs are given in Section 3.3. The paper ends with a conclusion in Section 4. 2. Model Formulation We formulate a model for the spread of malaria in the human and mosquito population, with the total population size at time π‘ given by πβ (π‘) and ππ£ (π‘), respectively. The total human population is divided into three epidemiological classes: πβ (π‘), πΌβ (π‘), and π β (π‘), which denote, respectively, the number of the susceptible, infective, and immune class at time π‘. Thus, πβ (π‘) = πβ (π‘) + πΌβ (π‘) + π β (π‘). The susceptible human population is generated by the recruitment of humans (assumed susceptible) into the community at a rate Λ β , πβ , and πΎβ are, respectively, the natural death rate and recovery rate in human hosts population. Also, some disease-induced death in human population contributes to an additional population decrease at the constant rate πΏβ . Due to its short life, a mosquito never recovers from the infection, and we may not consider the recovered class in this population. Thus, the total vector population ππ£ (π‘) is divided into the susceptible class, ππ£ (π‘), and infective class, πΌπ£ (π‘), so that ππ£ (π‘) = ππ£ (π‘) + πΌπ£ (π‘). Susceptible mosquitoes vectors are generated at a rate Λ π£ by birth, ππ£ is the per capita mortality rate of mosquitoes. Let π½β be the transmission probability from vector to human, and π½π£ be the transmission probability from human to vector. The parameter π is the average number of bites per mosquito per day. This rate depends on a number of factors, in particular, climatic ones, but for simplicity in this paper we assume π to be a constant. The parameter π (0 ≤ π ≤ 1) determines the degree of partial protection for the recovered individuals given by a primary infection: π = 0 implies complete protection, and π = 1 implies no protection. Taking into account the assumptions made above, the interaction between human hosts and the mosquito vector population with partial immunity to reinfection in Abstract and Applied Analysis 3 host population is described by the following system of equations: ππ½ π πΌ ππβ = Λ β − β β π£ − πβ πβ , ππ‘ πβ Ω = {(πβ , πΌβ , πβ , πΌπ£ ) ∈ π +4 : ππΌβ ππ½β πβ πΌπ£ πππ½β π β πΌπ£ + − (πΎβ + πΏβ + πβ ) πΌβ , = ππ‘ πβ πβ 0 ≤ πβ + πΌβ ≤ πβ ≤ 1, 0 ≤ πΌπ£ ≤ 1} πππ½β π β πΌπ£ ππ β − πβ π β , = πΎβ πΌβ − ππ‘ πβ ππΌπ£ ππ½π£ ππ£ πΌβ − ππ£ πΌπ£ . = ππ‘ πβ (1) The total humans host and mosquitoes vector populations πβ = πβ + πΌβ + π β and ππ£ = ππ£ + πΌπ£ are governed, respectively, by ππβ = Λ β − πβ πβ − πΏβ πΌβ , ππ‘ (2) πππ£ = Λ π£ − ππ£ ππ£ . ππ‘ It is easily seen that for the mosquitoes vector population the corresponding total population size is asymptotically constant: lim π‘π‘ → ∞ ππ£ (π‘) = Λ π£ /ππ£ . This implies that in our model we assume without loss of generality that ππ£ (π‘) = Λ π£ /ππ£ , for all π‘ ≥ 0, provided that ππ£ (0) + πΌπ£ (0) = Λ π£ /ππ£ . Let πβ , Λ β /πβ ππ£ ππ£ = , Λ π£ /ππ£ πΌβ = πΌβ , Λ β /πβ πΌπ£ πΌπ£ = , Λ π£ /ππ£ (5) is positively invariant with respect to system (4). Thus, every solution of the model (4), with initial conditions in Ω remains there for π‘ > 0. Therefore, it is sufficient to consider the dynamics of the flow generated by (4) in Ω. In this region, the model can be considered as been epidemiologically and mathematically well posed. ππ½ π πΌ πππ£ = Λ π£ − π£ π£ β − ππ£ ππ£ , ππ‘ πβ πβ = 2.1. Basic Properties of the Model. Since the model (4) monitors humans host and mosquitoes vector populations, it is plausible to assume that all its state variables and parameters are nonnegative for all π‘ ≥ 0. Further, it can be shown that the region Ω given by π β = π β , Λ β /πβ πβ πβ = . Λ β /πβ (3) 2.2. Stability of Disease-Free Equilibria. The stability of the disease-free equilibrium state can be obtained from studying the eigenvalues of the Jacobian matrix evaluated at the equilibrium point. If all the eigenvalues have negative real parts, then the equilibrium point is stable. The disease-free equilibrium for the system (4) is πΈ0 (1, 0, 1, 0). The Jacobian matrix at the disease-free equilibrium πΈ0 is 0 −πππ½β −πβ 0 0 −πΌ1 0 πππ½β ). π½=( 0 −πΏβ −πβ 0 −ππ£ 0 ππ½π£ 0 (6) The characteristic equation of the above matrix is (π − πβ ) (π − πβ ) (π2 + (πΌ1 + ππ£ ) π + πΌ1 ππ£ (1 − ℜ0 )) = 0, (7) where ℜ0 = π2 ππ½β π½π£ /ππ£ πΌ1 . There are four eigenvalues corresponding to (7). Two of the eigenvalues π 1 , π 2 = −πβ have negative real parts. The other two eigenvalues can be obtained from the equation π2 + (πΌ1 + ππ£ ) π + πΌ1 ππ£ (1 − ℜ0 ) = 0. (8) πππ½β πβ πΌπ£ ππβ − πβ πβ , = πβ − ππ‘ πβ Applying the Routh-Hurwitz criteria for a quadratic polynomial. It is easy to see that both the coefficients of (8) are positive if an only if ℜ0 < 1. Thus, all roots of (8) are with negative real parts if ℜ0 < 1, and one of its roots is with positive real part if ℜ0 > 1. Therefore, the disease-free equilibrium (DFE) πΈ0 is locally asymptotically stable if ℜ0 < 1 and unstable if ℜ0 > 1. Thus, we have the following result. ππΌβ πππ½β πβ πΌπ£ ππππ½β (πβ − πβ − πΌβ ) πΌπ£ + − πΌ1 πΌβ , = ππ‘ πβ πβ Theorem 1. The uninfected equilibrium πΈ0 is locally asymptotically stable if ℜ0 < 1 and unstable if ℜ0 > 1 in Ω. Since πβ = πβ +πΌβ +π β and ππ£ +πΌπ£ = 1. Using π β = πβ −πβ −πΌβ and ππ£ = 1 − πΌπ£ , system (1) is reduced to the following fourdimensional nonlinear system of ODEs: ππΌπ£ ππ½π£ (1 − πΌπ£ ) πΌβ − ππ£ πΌπ£ , = ππ‘ πβ ππβ = πβ − πβ πβ − πΏβ πΌβ , ππ‘ (4) where π = (Λ π£ /ππ£ )/(Λ β /πβ ) and πΌ1 = πΎβ + πβ + πΏβ . From Theorem 1, the threshold quantity ℜ0 , is called the basic reproduction number of system (4). The basic reproduction number, ℜ0 measures the average number of new malaria infections generated by a single infected individual in a completely susceptible population [21]. Theorem 1 also implies that malaria can be eliminated from the community (when ℜ0 < 1) if the initial sizes of the subpopulations of 4 Abstract and Applied Analysis the model are in the basin of attraction of the disease-free equilibrium (DFE) (πΈ0 ). To ensure that disease elimination is independent of the initial sizes of the subpopulations, it is necessary to show that the DFE is globally asymptotically stable (GAS) if ℜ0 < 1. This is explored for a special case in Section 3.2. 2.3. The Existence of Endemic Equilibria and Backward Bifurcation. In this section, conditions for the existence of endemic equilibria and phenomenon of backward bifurcation in system (4) will be determined. In order to do this, we let πΈ∗ = (πβ∗ , πΌβ∗ , πβ∗ , πΌπ£∗ ) (9) represent an arbitrary endemic equilibrium of the model (4). Setting the right-hand sides of the equations in (4) to zero and solving them in terms of πΌβ∗ gives the following expressions for the state variables of the model πβ∗ = (πβ − πΏπΌβ∗ ) (πΌ2 πΌβ∗ + πβ ππ£ ) , π2 ππβ π½β π½π£ πΌβ∗ + (πβ − πΏπΌβ∗ ) (πΌ2 πΌβ∗ + πβ ππ£ ) πβ∗ = πβ − πΏβ πΌβ∗ , πβ πΌπ£∗ = πβ ππ½π£ πΌβ∗ , πΌ2 πΌβ∗ + πβ ππ£ (10) (11) where πΌ2 = πβ ππ½π£ − πΏβ ππ£ , and πΌβ∗ is determined from the following equation: πΎ1 πΌβ∗4 + πΎ2 πΌβ∗3 + πΎ3 πΌβ∗2 + πΎ4 πΌβ∗ + πΎ5 = 0, (12) possibilities for the roots of π(πΌβ∗ ) are tabulated in Table 1. We have the following result from the various possibilities enumerated in Table 1. Theorem 2. The system (4) has a unique endemic equilibrium πΈ∗ if ℜ0 > 1 and Cases 1–3 and 6 are satisfied; it could have more than one endemic equilibrium if ℜ0 > 1 and Cases 4, 5, 7, and 8 are satisfied; it could have 2 or more endemic equilibria if ℜ0 < 1 and Cases 2–8 are satisfied. The existence of multiple endemic equilibria when ℜ0 < 1 (is shown in Table 1). Table 1 suggests the possibility of backward bifurcation (see [22–24]), where the stable DFE coexists with a stable endemic equilibrium, when the reproduction number is less than unity. Thus, the occurrence of a backward bifurcation has an important implications for epidemiological control measures, since an epidemic may persist at steady state even if ℜ0 < 1. This is explored below by using Centre Manifold Theory (see, e.g., [25] and the references therein). Now, we shall establish the conditions on parameter values that cause a backward bifurcation to occur in system (4), based on the use of Center Manifold theory, of the paper in Castillo-Chavez and Song [25]. Theorem 3. Let one consider the following general system of ordinary differential equations with a parameter π: ππ₯ = π (π₯, π) , ππ‘ π : Rπ × R σ³¨→ Rπ , π ∈ πΆ2 (R × R) . (14) where Without loss of generality, it is assumed that π₯ = 0 is an equilibrium for system (14) for all values of the parameter π. Assume that πΎ1 = πΏβ2 πΌ1 πΌ22 , πΎ2 = πΌ1 (−2πΏβ πΌ2 (πβ πΌ2 − πΏβ πβ ππ£ ) − πΏβ πΌ2 πβ π2 ππ½β π½π£ ) (π΄1) π΄ = π·π₯ π(0, 0) is the linearized matrix of system (14) around the equilibrium π₯ = 0 with π evaluated at 0. Zero is a simple eigenvalues of π΄ and all other eigenvalue of π΄ have negative real parts; − πβ πΏβ πΌ2 πΌ3 ππ2 ππ½β π½π£ , 2 πΎ3 = πΌ1 ((πβ πΌ2 − πΏβ πβ ππ£ ) − 2πβ2 ππ£ πΏβ πΌ2 (π΄2) Matrix π΄ has a nonnegative right eigenvector w and a left eigenvector v corresponding to the zero eigenvalue. +πβ π2 ππ½β π½π£ (πβ πΌ2 − πΏβ πβ ππ£ )) + πβ2 πΏβ πΌ2 π2 ππ½β π½π£ + πβ πΌ3 ππ2 ππ½β π½π£ (13) 2 × ((πβ πΌ2 − πΏβ πβ ππ£ ) + πβ π ππ½β π½π£ ) , πΎ4 = πΌ1 (2πβ2 ππ£ (πβ πΌ2 − πΏβ πβ ππ£ ) + πβ3 ππ£ π2 ππ½β π½π£ ) − πβ2 π2 ππ½β π½π£ (πβ πΌ2 − πΏβ πβ ππ£ ) − ππβ3 π2 ππ½β π½π£ (π2 ππ½β π½π£ − πΌ3 ππ£ ) πΎ5 = πΌ1 πβ4 ππ£2 (1 − ℜ0 ) , and πΌ3 = πβ + πΏβ . It follows from (13) that πΎ1 > 0. Further, πΎ5 > 0 whenever ℜ0 < 1. Thus, the number of possible positive real roots for (12) depends on the signs of πΎ2 , πΎ3 and πΎ4 . This can be analyzed using the Descartes Rule of Signs on the quartic π(πΌβ∗ ) = πΎ1 πΌβ∗4 + πΎ2 πΌβ∗3 + πΎ3 πΌβ∗2 + πΎ4 πΌβ∗ + πΎ5 . The various Let ππ be the kth component of π and 5 π1 = ∑ π£π π€π π€π π,π,π=1 5 π2 ππ (0, 0) , ππ₯π ππ₯π π2 ππ (0, 0) π1 = ∑ π£π π€π . ππ₯π ππ½β π,π=1 (15) The local dynamics of system (14) around 0 are totally determined by π1 and π1 . (i) In the case where π1 > 0, π1 > 0, one has that when π < 0 with |π| close to zero, π₯ = 0 is unstable; when 0 < π βͺ 1, π₯ = 0 is unstable and there exists a negative and locally asymptotically stable equilibrium; (ii) In the case where π1 < 0, π1 < 0, one has that when π < 0 with |π| close to zero, π₯ = 0 is locally asymptotically Abstract and Applied Analysis 5 Table 1: Number of possible positive real roots of π(πΌβ∗ ) for ℜ0 > 1 and ℜ0 < 1. Cases 1 2 3 4 5 6 7 8 πΎ1 + + + + + + + + + + + + + + + + πΎ2 + + − − + + − − − − + + + + − − πΎ3 + + − − − − + + − − + + − − + + πΎ4 + + − − − − − − + + − − + + + + πΎ5 + − + − + − + − + − + − + − + − ℜ0 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 ℜ0 < 1 ℜ0 > 1 stable and there exists a positive unstable equilibrium; when 0 < π βͺ 1, π₯ = 0 is locally asymptotically stable, and there exists a positive unstable equilibrium; (iii) In the case where π1 > 0, π1 < 0, one has that when π < 0 with |π| close to zero, π₯ = 0 is unstable and there exists a locally asymptotically stable negative equilibrium; when 0 < π βͺ 1, π₯ = 0 is stable and a positive unstable equilibrium appears; (iv) In the case where π1 < 0, π1 > 0, one has that when π < 0 changes from negative to positive, π₯ = 0 changes its stability from stable to unstable. Correspondingly π1 negative unstable equilibrium becomes positive and locally asymptotically stable. Particularly, if π1 > 0 and π1 > 0, then a backward bifurcation occurs at π = 0. To apply the center manifold method, the following simplification and change of variables are made on the model (4). First of all, let π₯1 = πβ , π₯2 = πΌβ , π₯3 = π β , π₯4 = ππ£ , and π₯5 = πΌπ£ , so that πβ = π₯1 +π₯2 +π₯3 and ππ£ = π₯4 +π₯5 . Further, by using the vector notation π = (π₯1 , π₯2 , π₯3 , π₯4 , π₯5 )π , the system (4) can be written in the form (ππ/ππ‘) = (π1 , π2 , π3 , π4 , π5 )π as follows: πππ½β π₯1 π₯5 ππ₯1 − πβ π₯1 , = π1 = πβ − ππ‘ π₯1 + π₯2 + π₯3 πππ½β π₯1 π₯5 ππππ½β π₯3 π₯5 ππ₯2 + − πΌ1 π₯2 , = π2 = ππ‘ π₯1 + π₯2 + π₯3 π₯1 + π₯2 + π₯3 ππππ½β π₯3 π₯5 ππ₯3 − πβ π₯3 , = π3 = πΎβ π₯2 − ππ‘ π₯1 + π₯2 + π₯3 ππ½π£ π₯4 π₯2 ππ₯4 − ππ£ π₯4 , = π4 = ππ£ − ππ‘ π₯1 + π₯2 + π₯3 ππ½π£ π₯4 π₯2 ππ₯5 − ππ£ π₯5 . = π5 = ππ‘ π₯1 + π₯2 + π₯3 Number of sign change 0 1 2 1 2 1 4 3 2 3 2 1 2 3 2 3 Number of positive real roots 0 1 0, 2 1 0, 2 1 0, 2, 4 1, 3 0, 2 1, 3 0, 2 1 0, 2 1, 3 0, 2 1, 3 Choose π½β as a bifurcation parameter and solving ℜ0 = 1 gives π½β = π½β∗ = ππ£ πΌ1 . π2 ππ½π£ (17) The Jacobian matrix evaluated at disease-free equilibrium (1, 0, 0, 1, 0) with π½β = π½β∗ is −πβ 0 0 0 −πππ½β 0 −πΌ1 0 0 πππ½β πΎβ −πβ 0 0 ). π½=( 0 0 0 −ππ½π£ 0 −ππ£ 0 −ππ£ 0 ππ½π£ 0 (18) It can be easily seen that the Jacobian π½ of the linearized system has a simple zero eigenvalue and all other eigenvalues have negative real parts. Hence, the center manifold theory can be used to analyze the dynamics of the system (16). For the case when π 0 = 1, it can be shown that the Jacobian matrix π½ has a right eigenvector (corresponding to the zero eigenvalue) given by w = [π€1 π€2 π€3 π€4 π€5 ]π , where π€1 = −πππ½β π€5 , πβ π€4 = π€2 = πππ½β π€5 , πΌ1 −π2 ππ½β π½π£ π€5 , ππ£ πΌ1 π€3 = πΎβ πππ½β π€, πβ πΌ1 5 π€5 = π€5 > 0. (19) (16) Similarly, the components of the left eigenvector of π½ (corresponding to the zero eigenvalue), denoted by v = [π£1 π£2 π£3 π£4 π£5 ], are given by π£1 = π£3 = π£4 = 0, π£2 = ππ½π£ π£, πΌ1 5 π£5 = π£5 > 0. (20) 6 Abstract and Applied Analysis 0.03 Computation of π1 : for the transformed system (16), the associated non-zero partial derivatives of π (evaluated at the DFE) which we need in the computation of π1 are given by πΌβ π2 π2 π2 π2 = = −πππ½β + ππππ½β , ππ₯3 ππ₯5 ππ₯5 ππ₯3 π2 π5 π2 π5 = = −ππ½π£ , ππ₯2 ππ₯3 ππ₯3 ππ₯2 Stable endemic equilibrium 0.02 π2 π2 π2 π2 = = −πππ½β , ππ₯2 ππ₯5 ππ₯5 ππ₯2 π2 π5 π2 π5 = = −ππ½π£ , ππ₯1 ππ₯2 ππ₯2 ππ₯1 0.025 0.015 Unstable endemic equilibrium Stable 0.005 disease free equilibrium 0 0.9 0.95 1 1.05 0.01 π2 π5 = −2ππ½π£ , ππ₯22 π2 π5 π2 π5 = = ππ½π£ . ππ₯2 ππ₯4 ππ₯4 ππ₯2 (21) Unstable disease free equilibrium 1.1 1.15 1.2 1.25 π 0 Figure 1: Simulations of the model (4) illustrating the phenomenon of backward bifurcation. Direct calculations shows that π1 = 2π (−ππ½β π£2 π€2 π€5 − ππ½β π£2 π€3 π€5 + πππ½β π£2 π€3 π€5 − π½π£ π£5 π€1 π€2 − π½π£ π£5 π€22 (22) −π½π£ π£5 π€2 π€3 + π½π£ π£5 π€2 π€4 ) . Computation of π1 : Substituting the vectors v and w and the respective partial derivatives (evaluated at the DFE ) into the expression 5 π1 = ∑ π£π π€π π,π=1 π2 ππ (0, 0) ππ₯π ππ½β (23) gives π1 = πππ£2 π€5 > 0. Since the coefficient π1 is automatically positive, it follows that the sign of the coefficient π1 decides the local dynamics around the disease-free equilibrium for π½β = π½β∗ . Based on Theorem 3, system (4) will undergo backward bifurcation if the coefficient π1 is positive. The coefficient π1 is positive if and only if π> 1 (π (πΎ + πβ ) + ππβ π½π£ − ππ£ πΏβ ) . πΎβ ππ£ π£ β (24) Thus, we have the following result. Theorem 4. The system (4) exhibits backward bifurcation whenever the condition (24) holds. The backward bifurcation phenomenon is illustrated by simulating the system (4) with the following set of parameter values πβ = 0.00004, ππ£ = 0.015, Λ π£ = 4, Λ β = 3, π½π£ = 0.2, π = 0.4, πΏβ = 0.0011, πΎβ = 0.0005 (so that, π1 > 0 and ℜ0 < 1). Figure 1 depicts the associated backward bifurcation diagram. 2.4. The Effect of the Reinfection. We further investigate the effect of the reinfection parameter π and the transmission probability from an infectious human to a susceptible vector π½β on the associated backward bifurcation region, as a function of the average life span of mosquitoes (1/ππ£ ). The backward bifurcation region is illustrated (Figures 2–4) by simulating the model (4) with the following set of parameter values (note that the parameters are chosen in order to illustrate the backward bifurcation region, and may not all be realistic epidemiologically), Λ β = 30, Λ π£ = 24, π½π£ = 0.09, πΏβ = 0.2, πΎβ = 0.0005, πβ = 0.00004, π = 0.4, ππ£ = 0.2. Also to be noted is, the parameter values are chosen such that π1 > 0, π1 > 0 and ℜ0 < 1 (so that backward bifurcation occurs). Solving for π1 > 0 in terms of 0 β©½ π β©½ 1 and π½β > 0 (i.e., fixing all parameters in the expression for π1 except π½β and π) we obtained the backward bifurcation region for π½β . Figure 2 depicted the results obtained for π = 0.5, it shows that the region for backward bifurcation (for π½β ) increases as the average life span of vectors (1/ππ£ ) decreases. For instance, when the average life span of vectors is 20 days (ππ£ = 0.05), the backward bifurcation region for π½β is π½β ∈ [0.10381, 0.35556], as shown in Figure 2(a). When the average life span of vectors is decreased to 10 days (ππ£ = 0.1), the backward bifurcation region for π½β increases to π½β ∈ [0.2077, 0.71083] (Figure 2(b)). Furthermore, when the average life span of vectors is decreased to 5 days (ππ£ = 0.2), the backward bifurcation region for π½β increases to π½β ∈ [0.4153, 1.4217] (Figure 2(c)). Similar results are obtained for the cases π = 0.6 (Figures 3(a), 3(b), and 3(c)) and π = 1 (Figures 4(a), 4(b), and 4(c)), from which it is evident that the backward bifurcation regions for π½β increase with increasing values of the reinfection rate π. These results are tabulated in Table 2 (1/ππ£ represents average life span of vectors.) 3. The Mass Action Model In this section, we shall investigate the dynamics of system (1) if mass action incidence is used instead of the standard incidence function. Thus the resulting (mass action) model is πβσΈ (π‘) = Λ β − ππ½β πβ (π‘) πΌπ£ (π‘) − πβ πβ (π‘) , πΌβσΈ (π‘) = ππ½β πβ (π‘) πΌπ£ (π‘) + πππ½β π β (π‘) πΌπ£ (π‘) − (πβ + πΎβ + πΏβ ) πΌβ (π‘) , Abstract and Applied Analysis 7 0.107 0.212 0.1065 π1 > 0, backward bifurcation region for π½β ∈ [0.1038, 0.33556] 0.106 π1 = 0 0.21 0.1055 π½β π1 > 0, backward bifurcation region for π½β ∈ [0.2077, 0.71038] 0.211 π1 = 0 0.105 π½β 0.209 0.1045 0.208 0.104 π½β = 0.2077 0.207 0.1035 π½β = 0.1038 π1 < 0, no backward bifurcation 0.103 0.1025 0 0.2 0.4 π1 < 0, no backward bifurcation 0.206 0.6 0.8 0.205 1 0 0.2 0.4 0.6 0.8 1 π π (a) (b) 0.424 π1 > 0, backward bifurcation region for π½β ∈ [0.4153,1.4217] 0.422 0.42 π1 = 0 π½β 0.418 0.416 π½β = 0.4153 0.414 π1 < 0, no backward bifurcation 0.412 0.41 0 0.2 0.4 0.6 0.8 1 π (c) Figure 2: Backward bifurcation regions for the model (4) in the π-π½β parameter space corresponding to π = 0.5 and various ranges of π½β . Parameter values used are: Λ β = 30, Λ π£ = 24, πΏβ = 0.2, πΎβ = 0.0005, πβ = 0.00004, π = 0.4, ππ£ = 0.0.015, π½π£ = 0.09. In (a) ππ£ = 0.05, ℜ0 = 0.0014046 (backward bifurcation region for π½β is π½β ∈ [0.1038, 0.35556]), (b) ππ£ = 0.1, ℜ0 = 0.00035113 (backward bifurcation region for π½β is π½β ∈ [0.2077, 0.71083]), and (c) ππ£ = 0.2, ℜ0 = 0.0000087788 (backward bifurcation region for π½β is π½β ∈ [0.4153, 1.9468]). With the above set of parameter values, π1 > 0, π1 > 0, and ℜ0 < 1. π βσΈ (π‘) = πΎβ πΌβ (π‘) − πππ½β π β (π‘) πΌπ£ (π‘) − πβ π β (π‘) , Thus, we have Λβ Λβ + (πβ (0) − ) π−(πβ +πΏβ )π‘ πβ + πΏβ πβ + πΏβ ππ£σΈ (π‘) = Λ π£ − ππ½π£ πΌβ (π‘) ππ£ (π‘) − ππ£ ππ£ (π‘) , πΌπ£σΈ (π‘) = ππ½π£ πΌβ (π‘) ππ£ (π‘) − ππ£ πΌπ£ (π‘) , (25) where the prime (σΈ ) stands for the derivative with respect to time π‘ and initial conditions πβ (0) ≥ 0, πΌβ (0) ≥ 0, π β (0) ≥ 0, and ππ£ (0) ≥ 0, πΌπ£ (0) ≥ 0. 3.1. Basic Properties: Positivity and Invariant Regions. The dynamics of the total human population, obtained by adding first three equations in the model (25), is given by πβσΈ (π‘) = Λ β − πβ πβ (π‘) − πΏβ πΌβ (π‘) . (26) Λ Λ ≤ πβ (π‘) ≤ β + (πβ (0) − β ) π−πβ π‘ . πβ πβ (27) Thus, for a low level of disease induced death rate (πΏβ ≈ 0) total human population could eventually assume a steadystate value. Motivated by this, we consider a human population which assumes a steady-state value Λ β /πβ stationary. Similarly, the dynamics of the total mosquito population, obtained by adding last two equations in the model (25), is given by, ππ£σΈ (π‘) = Λ π£ − ππ£ ππ£ (π‘), so that, ππ£ (π‘) = Λ π£ /ππ£ as π‘ → ∞. 8 Abstract and Applied Analysis 0.212 0.107 π1 > 0, backward bifurcationregion for π½β ∈ [0.1036, 0.35556] 0.1065 0.106 π1 = 0 0.1055 π½β 0.211 π1 > 0, backward bifurcation region for π½β ∈ [0.2071, 0.71038] 0.21 π1 = 0 0.105 π½β 0.209 0.1045 0.208 0.104 0.207 0.1035 π1 < 0, no backward bifurcation 0.103 π½β = 0.2071 π½β = 0.1036 0.206 π1 < 0, no backward bifurcation 0.205 0.1025 0 0.2 0.4 0.6 0.8 0 1 0.2 0.4 0.6 0.8 1 π π (a) (b) 0.424 π1 > 0, backward bifurcation region for π½β ∈ [0.4142, 1.4217] 0.422 0.42 π1 = 0 π½β 0.418 0.416 0.414 π1 < 0, no backward bifurcation 0.412 π½β = 0.4142 0.41 0 0.2 0.4 0.6 0.8 1 π (c) Figure 3: Backward bifurcation regions for the model (4) in the π-π½β parameter space corresponding to π = 0.6 and various ranges of π½β . Parameter values used are: Λ β = 30, Λ π£ = 24, πΏβ = 0.2, πΎβ = 0.0005, πβ = 0.00004, π = 0.4, ππ£ = 0.0.015, π½π£ = 0.09. In (a) ππ£ = 0.05, ℜ0 = 0.0014046 (backward bifurcation region for π½β is π½β ∈ [0.1036, 0.35556]), (b) ππ£ = 0.1, ℜ0 = 0.00035113 (backward bifurcation region for π½β is π½β ∈ [0.2071, 0.71083]), and (c) ππ£ = 0.2, ℜ0 = 0.0000087788 (backward bifurcation region for π½β is π½β ∈ [0.4142, 1.4217]). With the above set of parameter values, π1 > 0, π1 > 0, and ℜ0 < 1. Let π»(π‘) = (πβ (π‘), πΌβ (π‘), π β (π‘)) and π(π‘) = (ππ£ (π‘), πΌπ£ (π‘)). Based on the above discussion, we define a region Γ = {(π» (π‘) , π (π‘)) ∈ π +3 × π +2 | 0 ≤ π» (π‘) ≤ Λ Λβ , 0 ≤ π (π‘) ≤ π£ } . πβ ππ£ 0 (Λ β /πβ , 0, 0, Λ π£ /ππ£ , 0). Let a disease-free equilibrium πΈmass ∗ ∗ ∗ ∗ ∗ ∗ πΈmass (πβ , πΌβ , π β , ππ£ , πΌπ£ ) represents any arbitrary endemic equilibrium of the model (25). Solving the equations in (25) at steady state gives (28) It is easy to verify that Γ is positively invariant with respect to the system (25). In this part, it is sufficient to consider the dynamics of the flow generated by (25) in Γ. 3.2. Equilibrium and Local Stability. In this section, we investigate the existence and local stability of equilibria of system (25). Obviously, the system (25) always has πβ∗ = Λ β ππ£ (ππ½π£ πΌβ∗ + ππ£ ) , π2 Λ π£ π½β π½π£ πΌβ∗ + πβ ππ£ (ππ½π£ πΌβ∗ + ππ£ ) π β∗ = πΎβ ππ£ (ππ½π£ πΌβ∗ + ππ£ ) πΌβ∗ , π2 Λ π£ ππ½β π½π£ πΌβ∗ + πβ ππ£ (ππ½π£ πΌβ∗ + ππ£ ) ππ£∗ = Λπ£ , ππ½π£ πΌβ∗ + ππ£ πΌπ£∗ = πΛ π£ π½π£ πΌβ∗ , ππ£ (ππ½π£ πΌβ∗ + ππ£ ) (29) Abstract and Applied Analysis 0.107 0.1065 9 0.212 π1 > 0, backward bifurcation region for π½β ∈ [0.1025,0.35556] π1 > 0, backward bifurcation region for π½β ∈ [0.2051,0.71038] 0.211 0.106 0.21 π1 = 0 0.1055 π½β 0.105 π½β 0.209 0.1045 0.208 0.104 0.1035 0.103 0.1025 0 π1 = 0 0.207 π1 < 0, no backward bifurcation 0.205 0.2 π1 < 0, no backward bifurcation 0.206 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1 π π (a) (b) 0.424 π1 > 0, backward bifurcation region for π½β ∈ [0.4101,1.4217] 0.422 0.42 π1 = 0 π½β 0.418 0.416 0.414 π1 < 0, no backward bifurcation 0.412 0.41 0 0.2 0.4 0.6 0.8 1 π (c) Figure 4: Backward bifurcation regions for the model (4) in the π-π½β parameter space corresponding to π = 1 and various ranges of π½β . Parameter values used are: Λ β = 30, Λ π£ = 24, πΏβ = 0.2, πΎβ = 0.0005, πβ = 0.00004, π = 0.4, ππ£ = 0.0.015, π½π£ = 0.09. In (a) ππ£ = 0.05, ℜ0 = 0.0014046 (backward bifurcation region for π½β is π½β ∈ [0.1025, 0.35556]), (b) ππ£ = 0.1, ℜ0 = 0.00035113 (backward bifurcation region for π½β is π½β ∈ [0.2051, 0.71083]), and (c) ππ£ = 0.2, ℜ0 = 0.0000087788 (backward bifurcation region for π½β is π½β ∈ [0.4101, 1.4217]). With the above set of parameter values, π1 > 0, π1 > 0, and ℜ0 < 1. where πΌβ∗ is the positive root of the following quadratic equation, π1 πΌβ∗2 + π2 πΌβ∗ + π3∗ = 0, − π3 Λ π£ Λ β π½β π½π£2 (ππΛ π£ π½β + ππ£ πβ ) , π3 = (πβ + πΎβ + πΏβ ) πβ2 ππ£4 (1 − (30) π2 Λ β Λ π£ π½β π½π£ ). (πβ + πΎβ + πΏβ ) πβ ππ£2 (31) The dynamics of the model (25) are analyzed by ℜmass given by with π1 = π2 π½π£2 (πβ + πΏβ ) (ππΛ π£ π½β + πβ ππ£ ) (πΛ π£ π½β + πβ ππ£ ) + πΎβ π2 π½π£2 πβ ππ£ (πΛ π£ π½β + πβ ππ£ ) > 0, π2 = ππ½π£ πβ ππ£2 (πβ + πΎβ + πΏβ ) (πΛ π£ π½β + πβ ππ£ ) + ππ½π£ πβ ππ£2 (πβ + πΏβ ) (ππΛ π£ π½β + πβ ππ£ ) + πΎβ ππ½π£ πβ2 ππ£3 ℜmass = π2 Λ β Λ π£ π½β π½π£ . (πβ + πΎβ + πΏβ ) πβ ππ£2 (32) The threshold quantity ℜmass is the basic reproduction number of the system (25). It can be derived from the Jacobian 0 matrix of the system (25) at the disease-free equilibrium πΈmass together with the assumption of local asymptotical stability 10 Abstract and Applied Analysis Table 2: Backward Bifurcation Ranges for π½β for Various Values of 1/ππ£ and π. Average life span of vectors (1/ππ£ ) 20 days 10 days 5 days π = 0.5 π = 0.6 π=1 π½β ∈ [0.1038, 0.35556] π½β ∈ [0.2077, 0.71083] π½β ∈ [0.4153, 1.4217] π½β ∈ [0.1036, 0.35556] π½β ∈ [0.2071, 0.71083] π½β ∈ [0.4142, 1.4217] π½β ∈ [0.1025, 0.35556] π½β ∈ [0.2051, 0.71083] π½β ∈ [0.4101, 1.4217] 0 of πΈmass [21]. From (31), we see that ℜmass > 1 if and only if, π3 < 0. Since π1 > 0, (30) has a unique positive root in feasible region Ω. If ℜmass < 1, then π3 > 0. Also π2 Λ β Λ π£ π½β π½π£ < (πβ + πΎβ + πΏβ )πβ ππ£ , is equivalent to ℜmass < 1. Hence, π2 > 0. Thus, by considering the shape of the graph π(πΌβ ) = π1 πΌβ2 +π2 πΌβ +π3 (and noting that π1 > 0), we have that there will be zero endemic equilibria in this case. Therefore, we can conclude that if ℜmass < 1, (30) has no positive root in the feasible region Γ. If, ℜmass = 1, (30) has a unique positive root in the feasible region Γ. This result is summarized below. Theorem 5. System (25) always has the infection-free equi0 librium πΈmass = ((Λ β /πβ ), 0, 0, (Λ π£ /ππ£ ), 0). If ℜmass > ∗ = 1, system (25) has a unique endemic equilibrium πΈmass ∗ ∗ ∗ ∗ ∗ (πβ , πΌβ , π β , ππ£ , πΌπ£ ) defined by (29) and (30). Linearizing the system (25) around the disease-free equi0 librium πΈmass yields the following characteristic equation: × πΌπ£ (π‘) − (πβ + πΎβ + πΏβ ) πΌβ (π‘) , πΌπ£σΈ (π‘) = ππ½π£ πΌβ (π‘) (ππ£ − πΌπ£ (π‘)) − ππ£ πΌπ£ (π‘) . (34) Now, linearization of system (34) about an endemic equilib∗ rium πΈmass gives the following characteristic equation: σ΅¨σ΅¨π + π + ππ½ πΌ∗ σ΅¨σ΅¨ 0 ππ½β πβ∗ β β π£ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ ∗ σ΅¨σ΅¨ σ΅¨σ΅¨ πΌ πΌ 1 β σ΅¨σ΅¨ ππ½ (π − 1) πΌ∗ π + πΌ + πππ½ πΌ∗ σ΅¨σ΅¨ − ∗ σ΅¨σ΅¨ 1 β π£ π£ σ΅¨σ΅¨σ΅¨ β σ΅¨σ΅¨ = 0, πΌ σ΅¨σ΅¨ π£ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ ∗ σ΅¨σ΅¨ σ΅¨σ΅¨ πΌ π σ΅¨σ΅¨ 0 − π£∗π£ π + ππ½π£ πΌβ∗ + ππ£ σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ πΌβ (35) 2 (π + πβ ) [π2 + (πβ + πΎβ + πΏβ + ππ£ ) π Λ Λ + (πβ + πΎβ + πΏβ ) ππ£ − π π½β π½π£ β π£ ] = 0. πβ ππ£ (33) where, πΌ1 = πβ + πΎβ + πΏβ . Expanding (35) gives 2 Two of the roots of the characteristic equation (33) π 1,2 = −πβ , have negative real parts. The other two roots can be determine from the quadratic term in (33) and have negative real parts if and only if ℜmass < 1. Therefore, the disease-free equilibrium 0 πΈmass is locally asymptotically stable for ℜmass < 1. When 0 ℜmass > 1, πΈmass becomes an unstable equilibrium point, and ∗ emerges in Γ. This result is the endemic equilibrium πΈmass summarized below. 0 of system (25) Theorem 6. The disease-free equilibrium πΈmass is locally asymptotically stable if ℜmass < 1 and unstable if ℜmass > 1. In order to discuss the stability of the endemic equilib∗ and to simplify our calculations, we assume both rium πΈmass humans and mosquitoes populations are at steady state. Thus, using ππ£ = πβ + πΌβ + π β = π π£ /πβ , and ππ£ = ππ£ + πΌπ£ = π π£ /ππ£ , system (25) in the invariant space Γ can be written as the following equivalent three dimensional nonlinear system of ODEs: πβσΈ (π‘) = Λ β − ππ½β πβ (π‘) πΌπ£ (π‘) − πβ πβ (π‘) , πΌβσΈ (π‘) = ππ½β πβ (π‘) πΌπ£ (π‘) + πππ½β (πβ − πβ (π‘) − πΌβ (π‘)) π3 + π1 π2 + π2 π + π3 = 0, (36) where π1 = πβ + ππ½β πΌπ£∗ + πΌ1 + πππ½β πΌπ£∗ + ππ£ + ππ½π£ πΌβ∗ > 0, π2 = (πβ + ππ½β πΌπ£∗ ) (πΌ1 + πππ½β πΌπ£∗ + ππ£ + ππ½π£ πΌβ∗ ) + ππ½π£ πΌβ∗ (πΌ1 + πππ½β πΌπ£∗ ) + ππ£ πππ½β πΌπ£∗ > 0, π3 = (πβ + ππ½β πΌπ£∗ ) [ππ½π£ πΌβ∗ + π2 π½β2 (1 − π) πΌπ£∗ πβ∗ (πΌ1 + πππ½β πΌπ£∗ ) + ππ£ πππ½β πΌπ£∗ ] (37) ππ£ πΌπ£∗ > 0. πΌβ∗ From the second equation of system (34) at steady state πΈ∗ , we have πΌ1 = ππ½β πβ∗ πΌπ£∗ (1 − π) + πππβ π½β πΌπ£∗ − πππ½β πΌπ£∗ . πΌβ∗ (38) Abstract and Applied Analysis 11 = (πβ + πΎβ + πΏβ ) ππ£ Using (37), direct calculations show that π1 π2 − π3 ×[ ∗ ∗ ∗ = (π βββββββββββββββββββββ β + ππ½β πΌπ£ +πΌ1 + πππ½β πΌπ£ + ππ£ + ππ½π£ πΌβ ) × (πβ (π‘) + π (πβ − πβ (π‘) − πΌβ (π‘))) − 1] πΌπ£ (π‘) × [ βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ ππ½π£ πΌβ∗ (πΌ1 + πππ½β πΌπ£∗ ) + ππ£ πππ½β πΌπ£∗ − π (πβ + πΎβ + πΏβ ) π½π£ πΌβ (π‘) πΌπ£ (π‘) , + (πβ + ππ½β πΌπ£∗ ) (πΌ1 + πππ½β πΌπ£∗ + ππ£ + ππ½π£ πΌβ∗ )] ≤ (πβ + πΎβ + πΏβ ) ππ£ πΌπ£ (π‘) (π mass − 1) − [ βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ (πβ + ππ½β πΌπ£∗ ) [ππ½π£ πΌβ∗ (πΌ1 + πππ½β πΌπ£∗ ) + ππ£ πππ½β πΌπ£∗ ] π πΌ∗ + π2 π½β2 (1 − π) πΌπ£∗ πβ∗ π£∗π£ ] . πΌβ (39) ∗ of the reduced Theorem 7. The endemic equilibrium πΈmass model (34) is locally asymptotically stable if ℜmass > 1. 3.3. Global Stability of the Equilibria. In this section, the global stability of the equilibria of system (34) will be explored. First, we claim the following theorem. Theorem 8. If ℜmass ≤ 1, then the infection-free-equilibrium 0 πΈmass of system (34) is globally asymptotically stable in Γ. Proof. To establish the global stability of the disease-free 0 equilibrium πΈmass , we construct the following Lyapunov function (40) Calculating the derivative of πΏ (where a dot represents differentiation with respect to π‘) along the solutions of (34) we obtain πΏσΈ (π‘) = ππ½π£ πΌβσΈ (π‘) + (πβ + πΎβ + πΏβ ) πΌπ£σΈ (π‘) , = ππ½π£ [ππ½β πβ (π‘) πΌπ£ (π‘)+πππ½β (πβ −πβ (π‘)−πΌβ (π‘)) πΌπ£ (π‘) − (πβ + πΎβ + πΏβ ) πΌβ (π‘)] + (πβ + πΎβ + πΏβ ) [ππ½π£ (ππ£ − πΌπ£ (π‘)) πΌβ (π‘) − ππ£ πΌπ£ (π‘)] , = π2 π½π£ π½β (πβ (π‘) + π (πβ − πβ (π‘) − πΌβ (π‘))) × πΌπ£ (π‘) − (πβ + πΎβ + πΏβ ) ππ£ πΌπ£ (π‘) − π (πβ + πΎβ + πΏβ ) π½π£ πΌβ (π‘) πΌπ£ (π‘) , − π (πβ + πΎβ + πΏβ ) π½π£ πΌβ (π‘) πΌπ£ (π‘) . (41) Obviously, the term (πβ + ππ½β πΌπ£∗ ) in first bracket times the term (ππ½π£ πΌβ∗ (πΌ1 +πππ½β πΌπ£∗ )+ππ£ πππ½β πΌπ£∗ ) in the second bracket is (πβ +ππ½β πΌπ£∗ )[ππ½π£ πΌβ∗ (πΌ1 +πππ½β πΌπ£∗ )+ππ£ πππ½β πΌπ£∗ ]. Multiplying the terms under straight line and using (30), we have ππ£ ππ½β πΌπ£ (πΌ1 + πππ½β πΌπ£∗ ) > π2 π½β2 (1 − π)πΌπ£∗ πβ∗ (ππ£ πΌπ£∗ /πΌβ∗ ). Hence, π1 π2 − π3 > 0. Thus, by Routh Hurwitz criteria, the following result is established. πΏ (π‘) = ππ½π£ πΌβ (π‘) + (πβ + πΎβ + πΏβ ) πΌπ£ (π‘) . π2 π½π£ π½β (πβ + πΎβ + πΏβ ) ππ£ Thus, πΏσΈ (π‘) ≤ 0 if π mass ≤ 1 with πΏσΈ (π‘) = 0 if and only if πΌπ£ (π‘) = 0. Thus, from the second and the first equation of system (34), we have limπ‘ → ∞ πΌβ (π‘) = 0, and limπ‘ → ∞ πβ (π‘) = Λ β /πβ . Therefore, the largest compact invariant set in {(πβ (π‘), πΌβ (π‘), πΌπ£ (π‘)) ∈ πΌ : πΏσΈ (π‘) = 0} is the singleton {(Λ β /πβ , 0, 0)} in Γ. Using the LaSalle’s 0 invariant principle [26], the infection-free equilibrium πΈmass is globally asymptotically stable for π mass ≤ 1 in Γ. The epidemiological implication of the above result is that malaria will be eliminated from the population if π mass can be brought to (and maintained at) a value less than unity. Thus, the substitution of standard incidence with mass action incidence in the model (1) removes the phenomenon of backward bifurcation. The result of Theorem 8 is illustrated numerically by simulating the model (30), for the case π mass < 1, using various initial conditions. The solution profiles obtained shows convergence to the DFE, as depicted in Figure 5. Now, we investigate the global stability of the endemic ∗ . We notice that when the incomplete equilibrium πΈmass immunity term 0 < π < 1, system (30) is no longer ∗ , competitive. To investigate the global stability of πΈmass we adopted a general approach of Li and Muldowney [27, 28], which is developed for higher dimensional systems irrespective if they are competitive. While the approach of Li and Muldowney has been successfully applied to many classes of epidemic models, we demonstrated in the present paper, for the first time, that this approach is also applicable to vector-host model which is non-competitive. We briefly state the approach developed recently in Li and Muldowney as follows: Let πΊ ⊂ π π be an open set and π : π₯ σ³¨→ π(π₯) ∈ π π be 1 a πΆ function for π₯ ∈ πΊ. Consider the following differential equation: π₯σΈ = π (π₯) . (42) Let π₯(π‘, π₯0 ) denote the solution of (42) satisfying π₯(0, π₯0 ) = π₯0 . We make the following two assumptions. (π»1 ) There exists a compact absorbing set πΎ ⊂ πΊ. (π»2 ) Eqution (42) has a unique equilibrium π₯ in πΊ. 12 Abstract and Applied Analysis 1000 1000 900 900 800 700 Infected humans πΌβ Susceptible humans πβ 800 600 500 400 300 200 600 500 400 300 200 100 0 700 100 0 10 20 30 40 50 60 70 80 0 0 Time (π‘) 10 20 (a) 30 40 50 Time (π‘) 60 70 80 (b) 1600 1400 Infected mosquito πΌπ£ 1200 1000 800 600 400 200 0 0 20 40 60 80 100 Time (π‘) (c) Figure 5: Simulations of the model (5) showing (a) the number of susceptible humans, (b) the number of infected humans, (c) the number of infected mosquitoes, as a function of time using the parameters: π = 0.5, Λ β = 25, Λ π = 500, π½1 = 0.00001, π½2 = 0.005, πβ = 0.5 ππ£ = 0.06, π = 0.8, πΏβ = 0.0001, and πΎβ = 0.6 (so that ℜ0 = 0.0789 < 1). Let π : π₯ σ³¨→ π(π₯) be an ( π2 )×( π2 ) matrix-valued function, that is, it is πΆ1 and π−1 (π₯) exists for π₯ ∈ πΊ. Let π be a LozinskππΜ measure on π π×π , where π = ( π2 ). Define a quantity π2 as 1 ∫ π (π (π₯ (π , π₯0 ))) ππ , π₯0 ∈πΈ π‘ 0 π2 = lim sup sup π‘→∞ π‘ (43) where π = ππ π−1 + ππ½[2] π−1 , the matrix ππ is obtained by replacing each entry πππ of π by its derivative in the direction of π, (πππ )π , and π½[2] is the second additive compound matrix of the Jacobian matrix π½ of system (42). The following results have been established in Li and Muldowney [27, 28]. Theorem 9. For system (42), assume that πΊ is a simple connected and that the assumptions (π»1 ) and (π»2 ) hold. Then, the unique equilibrium π₯ is globally asymptotically stable in πΊ if there exist a function π(π₯) and a Lozinskiπ Μ measure π such that π2 < 0. From the above discussion, we know that Γ is simply ∗ is the unique positive equilibrium for connect and πΈmass ℜmass > 1 in Γ. To apply the result of Theorem 9 to investigate the global ∗ , we first state and stability of the infective equilibrium πΈmass prove the following result. Theorem 10. If ℜmass > 1, then system (34) is uniformly persistent, that is, there exists π > 0 (independent of initial conditions), such that lim inf π‘ → ∞ πβ (π‘) > π, lim inf π‘ → ∞ πΌβ (π‘) > π, and lim inf π‘ → ∞ πΌπ£ (π‘) > π. Proof. Similar to the proof of Theorem 3.4 in [29], we choose π = Γ, π1 = int Γ, π2 = ππ(Γ). It is easy to obtain that Abstract and Applied Analysis 13 π2 = {(π, 0, 0) : 0 < π ≤ 1}, Γ2 = βπ¦∈π2 Γ(π¦) = {πΈ0 }, and {πΈ0 } is an isolated compact invariant set in π. Furthermore, let π = {πΈ0 }, thus, π is an acyclic isolated covering of Γ2 . Now, we only need to show that {(Λ β /πβ , 0, 0)} is a weak repeller for π1 . Suppose that there exists a positive orbit (πβ , πΌβ , πΌπ£ ) of (34) such that Λ lim π (π‘) = β , π‘ → +∞ β πβ lim πΌ π‘ → +∞ β lim πΌ π‘ → +∞ π£ (π‘) = 0, eigenvector π£ = (π£1 , π£2 ) for the maximum eigenvalue π∗ of ππ . From (45), we see that the maximum eigenvalue π∗ is positive. Let us consider the following system: π’1σΈ (π‘) = ππ½β (1 − π) π’2σΈ (π‘) = 0. πΛ β Λ π£ π½β π½π£ (1 − π)2 > (πβ + πΎβ + πΏβ ) πβ ππ£2 . (48) Let π’(π‘) = (π’1 (π‘), π’2 (π‘)) be a solution of (48) through (ππ£1 , ππ£2 ) at π‘ = π‘0 , where π > 0 satisfies ππ£1 < πΌβ (π‘0 ), ππ£2 < πΌπ£ (π‘0 ). Since the semiflow of (48) is monotone and ππ π£ > 0, it follows that π’π (π‘) are strictly increasing and π’π (π‘) → +∞ as π‘ → +∞, contradicting the eventual boundedness of positive solutions of system (48). Thus, πΈ0 is weak repeller for π1 . The proof is completed. (45) From (34), we choose π‘0 > 0 large enough such that when π‘ ≥ π‘0 , we have Λβ πΌ (π‘) − (πβ + πΎβ + πΏβ ) πΌβ (π‘) , πβ π£ Λ πΌπ£σΈ (π‘) > ππ½π£ (1 − π) π£ πΌβ (π‘) − ππ£ πΌπ£ (π‘) . ππ£ From Theorem 10 and the boundedness of solutions, it follows that a compact set π ⊂ Γ exists in system (34). Therefore, in Theorem 9, both assumptions (π»1 ) and (π»2 ) are satisfied for ℜmass > 1. Now, we apply Theorem 9 to investigate the global ∗ in the feasible stability of the endemic equilibrium πΈmass region Γ. For the global stability of the endemic equilibrium ∗ , we have the following theorem. πΈmass (46) Consider the following matrix ππ defined by − (πβ + πΎβ + πΏβ ) ππ½β (1 − π) ππ = ( Λ (π‘) = ππ½π£ (1 − π) π£ π’1 (π‘) − ππ£ π’2 (π‘) . ππ£ (44) Since ℜmass > 1, there exists a small enough π > 0, such that πΌβσΈ (π‘) > ππ½β (1 − π) Λβ π’ (π‘) − (πβ + πΎβ + πΏβ ) π’1 (π‘) , πβ 2 ππ½π£ (1 − π) Λπ£ ππ£ Λβ πβ ππ£ ). (47) ∗ Theorem 11. If ℜmass > 1, then the infective equilibrium πΈmass of system (48) is globally asymptotically stable in int Γ. Proof. The Jacobian matrix π½ evaluated at a general solution (πβ , πΌβ , πΌπ£ ) of system (34) is Since ππ admits positive off-diagonal element, the PerronFrobenius Theorem [26] implies that there is a positive − (πβ + ππ½β πΌπ£ ) 0 −ππ½β πβ ππ½β πβ (1 − π) π½ = ( ππ½β (1 − π) πΌπ£ − (πβ + πΎβ + πΏβ ) − πππ½β πΌπ£ +πππ½ (π − πΌ ) ) , β β β ( 0 ππ½π£ (ππ£ − πΌπ£ ) (49) − (ππ½π£ πΌβ + ππ£ ) ) and its corresponding second compound matrix π½[2] takes the form − (πβ + ππ½β πΌπ£ + πβ +πΎβ + πππ½β πΌπ£ ) π½[2] = ( ( ππ½π£ (ππ£ − πΌπ£ ) 0 ππ½β πβ (1 − π) +πππ½β (πβ − πΌβ ) − (πβ + ππ½β πΌπ£ +ππ½π£ πΌβ + ππ£ ) ππ½β (1 − π) πΌπ£ ππ½β πβ −πΏβ ). (50) − (π + ππ£ + ππ½π£ πΌβ +πππ½β πΌπ£ ) ) Set the function π(π₯) = π(πβ , πΌβ , πΌπ£ ) = diag(1, πΌβ /πΌπ£ , πΌβ /πΌπ£ ). Then ππ π−1 = diag(0, πΌβσΈ /πΌβ − πΌπ£σΈ /πΌπ£ , πΌβσΈ /πΌβ − πΌπ£σΈ /πΌπ£ ) . Moreover, 14 Abstract and Applied Analysis π΅ = ππ π−1 + ππ½[2] π−1 ( ( ( ( ( =( ( ( ( ( ( (ππ½β πβ (1 − π) − (πβ + ππ½β πΌπ£ + πβ +πΎβ + πΏβ + πππ½β πΌπ£ ) ππ½π£ (ππ£ − πΌπ£ ) +πππ½β (πβ − πΌβ )) πΌβσΈ πΌπ£σΈ − − (πβ + ππ£ πΌβ πΌπ£ + ππ½β πΌπ£ +ππ½π£ πΌβ ) πΌβ πΌπ£ 0 πΌπ£ πΌβ ππ½β πβ πΌπ£ πΌβ 0 πΌβσΈ πΌπ£σΈ ) ) ) ) ) ) ), ) ) ) ) (51) − − πβ πΌβ πΌπ£ −πΎβ − πΏβ − ππ£ −ππ½π£ πΌβ − πππ½β πΌπ£ ) ππ½β (1 − π) πΌπ£ ( π΅ π΅ = ( 11 12 ) , π΅21 π΅22 where π΅11 = −(πβ + ππ½β πΌπ£ + πβ + πΎβ + πΏβ + πππ½β πΌπ£ ), π΅12 = [(ππ½β πβ + πππ½β (πβ − πβ − πΌβ ))πΌπ£ /πΌβ , ππ½β πβ πΌπ£ /πΌβ ], π΅21 = [ππ½π£ (ππ£ − πΌπ£ )(πΌβ /πΌπ£ ), 0]π , and According to paper [28], π1 (π΅22 ) can be evaluated as follows: π1 (π΅22 ) = max { π΅22 πΌβσΈ πΌπ£σΈ − −(πβ +πΏβ +ππ£ ) πΌβ πΌπ£ −ππ½β πΌπ£ − ππ½π£ πΌβ ( =( ππ½β πΌπ£ (1 − π) , ( πΌβσΈ πΌπ£σΈ − − (πβ + ππ£ + ππ½π£ πΌβ + πππ½β πΌπ£ ) , πΌβ πΌπ£ πΌβσΈ πΌπ£σΈ − − πππ½β πΌπ£ − ππ½π£ πΌβ πΌβ πΌπ£ 0 ) ). πΌβσΈ πΌπ£σΈ − −(+πβ +πΎβ +πΏβ +ππ£ ) πΌβ πΌπ£ −πππ½β πΌπ£ − ππ½π£ πΌβ ) −πβ − πΏβ − πΎβ − ππ£ } , (52) Let (π’, π£, π€) be the vectors in π 3 . We choose a norm in π 3 as |(π’, π£, π€)| = max{|π’|, |π£| + |π€|}, and let π be the corresponding Lozinskiπ Μ measure. From the paper [28], we have the following estimate: π (π΅) ≤ sup {π1 , π2 } , = πΌβσΈ πΌπ£σΈ − − (πβ + ππ£ + ππ½π£ πΌβ + πππ½β πΌπ£ ) . πΌβ πΌπ£ Thus, π1 = − (πβ + ππ½β πΌπ£ + πβ + πΏβ + πΎβ + πππ½β πΌπ£ ) (53) + (ππ½β πβ + πππ½β (πβ − πβ − πΌβ )) where σ΅¨ σ΅¨ π1 = π1 (π΅11 ) + σ΅¨σ΅¨σ΅¨π΅12 σ΅¨σ΅¨σ΅¨ , σ΅¨ σ΅¨ π2 = π1 (π΅22 ) + σ΅¨σ΅¨σ΅¨π΅21 σ΅¨σ΅¨σ΅¨ . (54) Here, |π΅12 |, |π΅21 | are matrix norm with respect to the π1 vector norm, and π1 is the Lozinskiπ Μmeasure with respect to π1 norm. Thus, we have π1 (π΅11 ) = − (πβ + ππ½β πΌπ£ + πβ + πΎβ + πΏβ + ππππ½β πΌπ£ ) , πΌ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π΅12 σ΅¨σ΅¨ = (ππ½β πβ + πππ½β (πβ − πβ − πΌβ )) π£ , πΌ β πΌ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π΅21 σ΅¨σ΅¨ = ππ½π£ (ππ£ − πΌπ£ ) β . πΌ π£ (56) πΌσΈ πΌσΈ πΌ π2 = ππ½π£ (ππ£ − πΌπ£ ) β + β − π£ πΌπ£ πΌβ πΌπ£ πΌπ£ , πΌβ (57) − (πβ + ππ£ + ππ½π£ πΌβ + πππ½β πΌπ£ ) . From system (34), we have πΌβσΈ πΌ = (ππ½β πβ + πππ½β (πβ − πβ − πΌβ )) π£ − (πβ + πΏβ + πΎβ ) , πΌβ πΌβ (55) πΌπ£σΈ πΌ = ππ½π£ (ππ£ − πΌπ) β − ππ£ . πΌπ£ πΌπ£ (58) 15 10000 10000 9000 9000 8000 8000 7000 7000 Infected humans πΌβ Susceptible humans πβ Abstract and Applied Analysis 6000 5000 4000 3000 6000 5000 4000 3000 2000 2000 1000 1000 0 0 10 20 30 40 50 Time (π‘) 60 70 0 80 0 10 20 30 40 50 60 70 80 Time (π‘) (a) (b) Infected mosquito πΌπ£ 15000 10000 5000 0 0 10 20 30 40 50 60 70 80 Time (π‘) (c) Figure 6: Simulations of the model (5) showing (a) the number of susceptible humans, (b) the number of infected humans, (c) the number of infected mosquitoes, as a function of time using the parameters: π = 0.5, Λ β = 25, Λ π£ = 500, π½1 = 0.00001, π½2 = 0.005, πβ = 0.03, ππ£ = 0.03, π = 0.8, πΏβ = 0.0001, and πΎβ = 0.6 (so that ℜ0 = 9.1843 > 1). for π‘ > π. Thus, from (59) and (60), we get Using (58) in (57) gives π1 = πΌβσΈ − (πβ + ππ½β πΌπ£ + πππ½β πΌπ£ ) , πΌβ πΌσΈ π2 = β − (πβ + ππ½π£ πΌβ + πππ½β πΌπ£ ) . πΌβ π1 ≤ (59) πΌσΈ π2 ≤ β − (πβ + ππ½π£ π + πππ½β π) . πΌβ From Theorem 9 we know that for the uniform persistence constant π > 0, there exists a time π > 0 independent of π₯(0) ∈ Γ, the compact absorbing set, such that πΌβ (π‘) > π, πΌπ£ (π‘) > π πΌβσΈ − (πβ + πππ½β π + ππππ½β π) , πΌβ (60) (61) Therefore, from (61), we have π(π΅) ≤ (πΌβσΈ /πΌβ ) − π for π‘ > π, where π = min {πβ + ππ½β π + ππππ½β π, πβ + ππ½π£ π + πππ½β π} . (62) 16 Abstract and Applied Analysis Then along each solution (πβ (π‘), πΌβ (π‘), πΌπ£ (π‘)) such that (πβ (0), πΌβ (0), πΌπ£ (0)) ∈ Γ for π‘ > π, give the following: 1 π‘ π‘−π 1 π 1 πΌ (π‘) −π , (63) ∫ π (π΅) ππ ≤ ∫ π (π΅) ππ + ln β π‘ 0 π‘ 0 π‘ πΌπ£ (π‘) π‘ which implies that π2 ≤ −π/2 < 0. This proves that the unique ∗ is globally asymptotically stable infective equilibrium πΈmass whenever it exists. This completes the proof. Remark 12. The epidemiological implication of Theorem 11 is that malaria would persist in the population if π mass > 1. Theorem 11 is illustrated numerically by simulating the model (25), for the case π mass > 1 using various initial conditions. ∗ for the case π mass > The convergence of the solutions to πΈmass 1, is depicted in Figure 6. 4. Conclusions This paper presents a deterministic model for the transmission dynamics of malaria with partial immunity to reinfection. The basic reproduction number of the model is obtained. The proposed model with standard incidence rate, undergoes the phenomenon of backward bifurcation, where the stable disease-free equilibrium coexists with one or more stable endemic equilibrium as the basic reproduction number (ℜ0 ) is less than unity. In comparison with the corresponding results of the model with mass action incidence, we can conclude that this phenomenon arises due to the use of standard incidence rate. This study suggests that in some regions where malaria is inducing the varying total populations, it is difficult to control malaria due to the occurrence of backward bifurcation phenomenon. If we ignore the disease-induced rate, and consider an asymptotical constant host population, the standard incidence model results in a model with mass action incidence. In this case, the dynamics of the model are relatively simple. That is, the global dynamics of malaria disease with reinfection is completely determined by the associated reproduction number ℜmass . If ℜmass < 1, the disease-free equilibrium is globally asymptotically stable, so the disease always dies out. If ℜmass > 1, the disease-free equilibrium becomes unstable while the endemic equilibrium emerges as the unique positive equilibrium and it is globally asymptotically stable in the interior of the feasible region, and once the disease appears, it eventually persists at the unique endemic equilibrium level. Therefore, we have shown that the backward bifurcation property can be removed by replacing the standard incidence function in the model with a mass action incidence. The numerical simulations suggest also that the region of backward bifurcation increases with increasing rate of partial protection (π) of recovered individuals. The region of backward bifurcation for the model increases with decreasing average life span of mosquitoes. Acknowledgments The authors are very grateful to the anonymous referees and the handling editor for their careful reading, helpful comments, and suggestions, which have helped them to improve the presentation of this work significantly. I. H. Jung was supported by the National Fisheries Research and Development Institute (RP-2012-FR-041). A. A. Lashari is very grateful to Mini Ghosh for her help in numerical results. Partially, this research was supported by the National Natural Science Foundation of China (no.11271314), University Key Teacher Foundation of He’nan Province (2009GGJS-076). References [1] WHO, “Malaria,” http://www.who.int/malaria/world-malariareport2010/en/index.html. [2] NIAID, “Malaria,” http://www.niaid.nih.gov/topics/malaria/ Pages/default.aspx. [3] http://www.cdc.gov/Malaria/. [4] J. L. Aron, “Mathematical modeling of immunity to malaria,” Mathematical Biosciences, vol. 90, no. 1-2, pp. 385–396, 1988. [5] N. T. J. Bailey, The Biomathematics of Malaria, Charles Griffin, London, UK, 1982. [6] G. A. Ngwa, “Modelling the dynamics of endemic malaria in growing populations,” Discrete and Continuous Dynamical Systems B, vol. 4, no. 4, pp. 1173–1202, 2004. [7] P. Hviid, “Natural acquired immunity to Plasmodium falciparum malaria in Africa,” Acta Tropica, vol. 95, pp. 265–269, 2005. [8] G. Macdonald, The Epidemiology and Control of Malaria, Oxford University Press, London, UK, 1957. [9] R. Ross, The Prevention of Malaria, Murry, London, UK, 1911. [10] R. M. Anderson and R. M. May, Infectious Diseases of Humans, Oxford University Press, London, UK, 1991. [11] Z. Ma, Y. Zhou, W. Wang, and Z. Jin, Mathematical Models and Dynamics of Infectious Diseases, China Sciences Press, Beijing, China, 2004. [12] K. Dietz, L. Molineaux, and A. Thomas, “A malaria model tested in the African Savannah,” Bulletin of the World Health Organization, vol. 50, pp. 347–357, 1974. [13] A. M. Niger and A. B. Gumel, “Mathematical analysis of the role of repeated exposure on malaria transmission dynamics,” Differential Equations and Dynamical Systems, vol. 16, no. 3, pp. 251–287, 2008. [14] H. Wan and J.-A. Cui, “A model for the transmission of malaria,” Discrete and Continuous Dynamical Systems B, vol. 11, no. 2, pp. 479–496, 2009. [15] J. Li, “A malaria model with partial immunity in humans,” Mathematical Biosciences and Engineering, vol. 5, no. 4, pp. 789– 801, 2008. [16] Y. Lou and X.-Q. Zhao, “A climate-based malaria transmission model with structured vector population,” SIAM Journal on Applied Mathematics, vol. 70, no. 6, pp. 2023–2044, 2010. [17] H. Yang, H. Wei, and X. Li, “Global stability of an epidemic model for vector-borne disease,” Journal of Systems Science & Complexity, vol. 23, no. 2, pp. 279–292, 2010. [18] B. Nannyonga, J. Y. T. Mugisha, and L. S. Luboobi, “Does coinfection with malaria boost persistence of trypanosomiasis?” Nonlinear Analysis: Real World Applications, vol. 13, no. 3, pp. 1379–1390, 2012. [19] Y. Wang, Z. Jin, Z. Yang, Z.-K. Zhang, T. Zhou, and G.Q. Sun, “Global analysis of an SIS model with an infective vector on complex networks,” Nonlinear Analysis: Real World Applications, vol. 13, no. 2, pp. 543–557, 2012. Abstract and Applied Analysis [20] L.-M. Cai and X.-Z. Li, “Global analysis of a vector-host epidemic model with nonlinear incidences,” Applied Mathematics and Computation, vol. 217, no. 7, pp. 3531–3541, 2010. [21] P. van den Driessche and J. Watmough, “Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission,” Mathematical Biosciences, vol. 180, pp. 29–48, 2002. [22] W. Wang, “Backward bifurcation of an epidemic model with treatment,” Mathematical Biosciences, vol. 201, no. 1-2, pp. 58– 71, 2006. [23] F. Brauer, “Backward bifurcations in simple vaccination models,” Journal of Mathematical Analysis and Applications, vol. 298, no. 2, pp. 418–431, 2004. [24] H. Wan and H. Zhu, “The backward bifurcation in compartmental models for West Nile virus,” Mathematical Biosciences, vol. 227, no. 1, pp. 20–28, 2010. [25] C. Castillo-Chavez and B. Song, “Dynamical models of tuberculosis and their applications,” Mathematical Biosciences and Engineering, vol. 1, no. 2, pp. 361–404, 2004. [26] J. K. Hale, Ordinary Differential Equations, Krierer Basel, 2nd edition, 1980. [27] J. S. Muldowney, “Compound matrices and ordinary differential equations,” The Rocky Mountain Journal of Mathematics, vol. 20, no. 4, pp. 857–872, 1990. [28] M. Y. Li and J. S. Muldowney, “Global stability for the SEIR model in epidemiology,” Mathematical Biosciences, vol. 125, no. 2, pp. 155–164, 1995. [29] H. R. Thieme, “Persistence under relaxed point-dissipativity (with application to an endemic model),” SIAM Journal on Mathematical Analysis, vol. 24, no. 2, pp. 407–435, 1993. 17 Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014