Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 154387, 15 pages http://dx.doi.org/10.1155/2013/154387 Research Article Dynamical Analysis of SIR Epidemic Models with Distributed Delay Wencai Zhao,1 Tongqian Zhang,1 Zhengbo Chang,1 Xinzhu Meng,2 and Yulin Liu2 1 2 College of Science, Shandong University of Science and Technology, Qingdao 266590, China College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China Correspondence should be addressed to Tongqian Zhang; zhangtongqian@sdust.edu.cn Received 16 December 2012; Revised 18 June 2013; Accepted 23 June 2013 Academic Editor: Han H. Choi Copyright © 2013 Wencai Zhao 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. SIR epidemic models with distributed delay are proposed. Firstly, the dynamical behaviors of the model without vaccination are studied. Using the Jacobian matrix, the stability of the equilibrium points of the system without vaccination is analyzed. The basic reproduction number R is got. In order to study the important role of vaccination to prevent diseases, the model with distributed delay under impulsive vaccination is formulated. And the sufficient conditions of globally asymptotic stability of “infectionfree” periodic solution and the permanence of the model are obtained by using Floquet’s theorem, small-amplitude perturbation skills, and comparison theorem. Lastly, numerical simulation is presented to illustrate our main conclusions that vaccination has significant effects on the dynamical behaviors of the model. The results can provide effective tactic basis for the practical infectious disease prevention. 1. Introduction Infectious diseases have always been the problem that people have to face. Emerging diseases pose a continual threat to public health such as SARS and avian influenza. It is very necessary to establish and study mathematical models which can reflect the spread of the infectious diseases. A famous model in which the population is partitioned into three classes, the susceptible, infectious and recovered, with sizes denoted by π, πΌ, and π , respectively, that could be used to describe an influenza epidemic was developed early in the 20th century by Kermack and McKendrick [1]. This model known as the susceptible-infectious-recovered (SIR) model is as follows: πσΈ (π‘) = Λ − π½π (π‘) πΌ (π‘) − ππ (π‘) , πΌσΈ (π‘) = π½π (π‘) πΌ (π‘) − ππΌ (π‘) − ππΌ (π‘) , (1) σΈ π (π‘) = ππΌ (π‘) − ππ (π‘) , where π(π‘) denotes the number of members of a population susceptible to the disease, πΌ(π‘) denotes the total population of infectives with some virus at time π‘, π (π‘) denotes the number of members who have been removed from the possibility of infection through a temporal immunity. In the model, parameters π, π½, π, and Λ are positive constants, where π represents the death rates of susceptibles, infectives, and recovered. π½ is the contact rate and π is the recovery rate from the infected compartment. Λ is the recruitment rate of the susceptible population. The SIR infectious disease model is a basic but important biologic model and has been studied by many authors [1–17]. Many diseases have the incubation period, such as rabies; the incubation period in rabies ranges from about two weeks to several months, and rarely even to years [18–21]. Diseases with incubation period always lead to time delay in the epidemic models, so delay differential equation is widely used in the epidemic mathematical model, such as [2, 7, 8, 10, 12–16, 22]. Based on model (1), a new epidemic model with distributed delay is as follows: π‘ πσΈ (π‘) = Λ − π½πΌ (π‘) ∫ −∞ π‘ πΌσΈ (π‘) = π½πΌ (π‘) ∫ −∞ σΈ πΉ (π‘ − π) π (π) ππ − ππ (π‘) , πΉ (π‘ − π) π (π) ππ − ππΌ (π‘) − ππΌ (π‘) , π (π‘) = ππΌ (π‘) − ππ (π‘) , +∞ where the function πΉ(π‘) = ππ−ππ‘ , π > 0, ∫0 πΉ(π)ππ = 1. (2) 2 Journal of Applied Mathematics As is known to all, one of strategies to control infectious diseases is vaccination. Then a number of epidemic models in ecology can be formulated as dynamical systems of differential equations with vaccination [23–26]. Based on ODE, systems with sudden perturbations lead to impulsive differential equations. The theory of impulsive differential equations has been studied intensively and systematically in [27–34]. Compared to continuous constant vaccination, pulse vaccination seems more reasonable in the real world. Pulse vaccination, the repeated application of vaccine over a defined age range, is gaining prominence as a strategy for the elimination of childhood viral infections such as measles hepatitis, parotitis, smallpox, and phthisis. Under the pulse vaccination strategy (PVS) [9, 11, 17, 28, 35–41], what we are interested is how large a fraction of the population should we keep vaccinated in order to prevent the agent from establishing; that is, it is very important for us to investigate the conditions under which a given agent can invade a partially vaccinated population. Thus, we also need to consider the following epidemic model with distributed delay and pulse vaccination strategy at fixed moments, which is more realistic as πσΈ (π‘) = Λ − π½πΌ (π‘) ∫ π‘ −∞ πΌσΈ (π‘) = π½πΌ (π‘) ∫ π‘ −∞ πΉ (π‘ − π) π (π) ππ − ππ (π‘) , π σΈ (π‘) = ππΌ (π‘) − ππ (π‘) , π (π‘+ ) = (1 − πΏ) π (π‘) , + πσΈ (π‘) = Λ − π½πΌ (π‘) ∫ π‘ πΌσΈ (π‘) = π½πΌ (π‘) ∫ −∞ π‘ =ΜΈ ππ, ∫ π‘ πΉ (π‘ − π) π (π) ππ − ππΌ (π‘) − ππΌ (π‘) . (4) π‘ −∞ πΉ (π‘ − π) ππ = lim ∫ ππ−π(π‘−π) ππ = 1 π΄ → −∞ π΄ (5) π‘ and ∫−∞ πΉ(π‘ − π)π(π)ππ is convergent, then π‘+ −∞ πΉ (π‘ − π) π (π) ππ − ∫ π‘ −∞ πΉ (π‘ − π) π (π) ππ = 0. (6) Hence, system (4) becomes πσΈ (π‘) = Λ − π½πΌ (π‘) π (π‘) − ππ (π‘) , π‘ = ππ, πΌσΈ (π‘) = π½πΌ (π‘) π (π‘) − ππΌ (π‘) − ππΌ (π‘) , π‘ = ππ, π (π‘ ) = π (π‘) + πΏπ (π‘) , πΉ (π‘ − π) π (π) ππ − ππ (π‘) , In order to study the system, we can use the chain transforπ‘ mation π(π‘) = ∫−∞ πΉ(π‘ − π)π(π)ππ. Since π‘ =ΜΈ ππ, π‘ =ΜΈ ππ, π‘ −∞ Δπ (π‘) = ∫ πΉ (π‘ − π) π (π) ππ − ππΌ (π‘) − ππΌ (π‘) , πΌ (π‘+ ) = πΌ (π‘) , π· = {(π, πΌ, π ) ∈ π +3 | π(π‘) + πΌ(π‘) + π (π‘) ≤ (Λ/π) + π}. Note that the variable π does not appear in the first and second equations of system (2); hence, we only need to consider the subsystem of (2) as follows: π‘ = ππ, πσΈ (π‘) = π (π (π‘) − π (π‘)) . (3) where πΏ (with 0 < πΏ < 1) is the proportion of those vaccinated successfully to all of the susceptibles and π is a fixed positive constant and denotes the period of the impulsive effect, π = {1, 2, . . .}. The organization of this paper is as follows. In Section 2, we will show the boundedness of the SIR system and give the transformation of models and some lemmas. In Section 3, we will analyze the local stability of equilibrium of system (7) and give the basic reproduction number. In Section 4.1, we will prove the existence and globally asymptotical stability of the periodic solution of the “infection-free” model. In Section 4.2, we obtain sufficient condition for the permanence of the epidemic model with pulse vaccination. Finally, we give numerical analysis and biological conclusions to show our main results. 2. Transformation of Models and Prerequisites For system (2), the total population size π(π‘) = π(π‘) + πΌ(π‘) + π (π‘) satisfies πσΈ (π‘) = Λ − ππ(π‘) and limπ‘ → ∞ π(π‘) = Λ/π. Hence it is sufficient to consider system (2) with respect to (7) We understand the relationship between the two systems as follows. If (π, πΌ) : [0, +∞) → π 2 is the solution of system (4) corresponding to continuous and bounded initial function π(0) = π0 , πΌ(0) = πΌ0 , then (π, πΌ, π) : [0, +∞) → π 3 is a solution of system (7) with π(0) = π0 , πΌ(0) = πΌ0 , π(0) = π0 , 0 0 and π(0) = ∫−∞ πΉ(−π)π(π)ππ = ∫−∞ ππππ π(π)ππ. Conversely, if (π, πΌ, π) is any solution of system (7) defined on the entire real line and bounded on (−∞, 0], then π is given by π(π‘) = π‘ ∫−∞ πΉ(π‘ − π)π(π)ππ, and so (π, πΌ) satisfies system (4). System (7) will be analyzed with the following initial conditions π(0) = π0 > 0, πΌ(0) = πΌ0 > 0, π(0) = π0 > 0. By the mean value theorem of integrals, there exists π ∈ (−∞, π‘), such that π (π‘) = ∫ π‘ −∞ πΉ (π‘ − π) π (π) ππ = π (π) ∫ π‘ −∞ π‘ πΉ (π‘ − π) ππ. (8) We know that π(π‘) < (Λ/π) + π and ∫−∞ πΉ(π‘ − π)ππ = 1; hence we get π(π‘) < (Λ/π) + π. Journal of Applied Mathematics 3 By the same transformation, from system (3), we have πσΈ (π‘) = Λ − π½πΌ (π‘) π (π‘) − ππ (π‘) , π‘ =ΜΈ ππ, πΌσΈ (π‘) = π½πΌ (π‘) π (π‘) − ππΌ (π‘) − ππΌ (π‘) , πσΈ (π‘) = π (π (π‘) − π (π‘)) , Lemma 3. Consider the following system: π₯σΈ (π‘) = Λ − ππ₯ (π‘) , π‘ =ΜΈ ππ, π¦σΈ (π‘) = π (π₯ (π‘) − π¦ (π‘)) , πΌ (π‘+ ) = πΌ (π‘) , + π (π‘ ) = π (π‘) , + π₯ (π‘ ) = (1 − πΏ) π₯ (π‘) , π‘ = ππ, π¦ (π‘+ ) = π¦ (π‘) , π‘ = ππ, Motivated by the application of systems (9) to population dynamics (refer to [27]), we assume that solutions of systems (9) satisfy the initial conditions π ∈ πΆβ+ , and π(0) ≥ 0 lie in πΆβ+ = {π = (π1 (π ), π2 (π ), π3 (π )) ∈ πΆβ : ππ (0) ≥ 0 (π = 1, 2, 3)}, where ππ (π ) is positive, bounded, and continuous function for π ∈ [0, +∞). We would like to have the following definitions first. Definition 1. Let π + = [0, ∞). The map π : π + × π +3 → π + is said to belong to class π0 if (i) π is continuous in (ππ, (π + 1)π] × π +3 , π ∈ π, and for each π₯ ∈ π +3 , lim(π‘,π§) → (ππ+ ,π₯) π(π‘, π§) = π(ππ+ , π₯) exist, (ii) π is locally Lipschitzian in π₯. π₯∗ (π‘) = π‘ = ππ. Lemma 2 (see [31]). Let π : π + × π +3 → π + , and π ∈ π0 . Assume that π·+ π (π‘, π§ (π‘)) ≤ (≥) π (π‘, π (π‘, π§ (π‘))) , π‘ =ΜΈ ππ, π‘ = ππ, Λ πΏπ−π(π‘−ππ) ), (1 − π 1 − (1 − πΏ) π−ππ π¦∗ (π‘) π−π(π‘−ππ) (1 − π−ππ ) − π−π(π‘−ππ) (1 − π−ππ ) Λ = (1 + ππΏ ), π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) π₯∗ (0+ ) = Λ πΏ ), (1 − π 1 − (1 − πΏ) π−ππ ππΏ (π−ππ − π−ππ ) Λ ), (1 − π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) (13) π¦∗ (0+ ) = Also we have the following lemmas. and for each solution, π₯(π‘) → π₯∗ (π‘), π¦(π‘) → π₯∗ (π‘) as π‘ → ∞. Proof. Solving the first equation of system (12), we have (10) π₯ (π‘) = π₯ (ππ+ ) π−π(π‘−ππ) where π : π + × π + → π is continuous in (ππ, (π + 1)π] × π + and for each π₯ ∈ π + , π ∈ π, lim(π‘,π¦) → ((ππ)+ ,π₯) π(π‘, π¦) = π((ππ)+ , π₯) exist; Ψπ : π + → π + is nondecreasing. Let π(π‘) = π(π‘, 0, π’0 ) be the maximal (minimal) solution of the scalar impulsive differential equation π’σΈ = π (π‘, π’) , π‘ = ππ, Then system (12) has a unique positive π-periodic solution π₯∗ (π‘), π¦∗ (π‘) as π‘ = ππ. π (π‘, π§ (π‘+ )) ≤ (≥) Ψπ (π (π‘, π§ (π‘))) , π‘ =ΜΈ ππ, (12) π‘ =ΜΈ ππ, (9) π (π‘+ ) = (1 − πΏ) π (π‘) , π‘ =ΜΈ ππ, + Λ (1 − π−π(π‘−ππ) ) , π (14) ππ < π‘ ≤ (π + 1) π. Substituting π₯(π‘) into the second equation of (12), we integrate both sides in interval (ππ, (π + 1)π], and we get π‘ =ΜΈ ππ, π’ (π‘+ ) = Ψπ (π’ (π‘)) , π‘ = ππ, (11) π¦ (π‘) = π¦ (ππ+ ) π−π(π‘−ππ) π’ (0+ ) = π’0 , + π Λ (π₯ (ππ+ ) − ) (π−π(π‘−ππ) − π−π(π‘−ππ) ) π−π π existing on [0, ∞). Then π(0+ , π§0 ) ≤ (≥) π’0 implies that π(π‘, π§(π‘)) ≤ (≥)π(π‘), π‘ ≥ 0, where π§(π‘) = π§(π‘, 0, π§0 ) is any solution of (9) existing on [0, ∞). + Λ (1 − π−π(π‘−ππ) ) . π (15) 4 Journal of Applied Mathematics By using stroboscopic map of difference equation, we have Thus π₯ (ππ+ ) = (1 − πΏ)π π−πππ π₯ (0+ ) π₯ ((π + 1) π+ ) = (1 − πΏ) π₯ ((π + 1) π) = (1 − πΏ) π₯ (ππ+ ) π−ππ + + [1 + (1 − πΏ) π−ππ + ⋅ ⋅ ⋅ + (1 − πΏ)π−1 π−(π−1)ππ ] Λ (1 − πΏ) (1 − π−ππ ) , π × (16) π¦ ((π + 1) π+ ) = π¦ ((π + 1) π) = π¦ (ππ+ ) π−ππ + = (1 − πΏ)π π−πππ π₯ (0+ ) π Λ (π₯ (ππ+ ) − ) π−π π × (π−ππ − π−ππ ) + Λ (1 − πΏ) (1 − π−ππ ) π + Λ (1 − π−ππ ) . π 1 − (1 − πΏ)π π−πππ Λ (1 − πΏ) (1 − π−ππ ) π 1 − (1 − πΏ) π−ππ σ³¨→ π₯∗ (π σ³¨→ ∞) , (21) The fixed point of the above mapping is and then we have π₯(π‘) → π₯∗ (π‘) (π → ∞). On the other hand, Λ πΏ ), π₯∗ = (1 − π 1 − (1 − πΏ) π−ππ ππΏ (π−ππ − π−ππ ) Λ π¦∗ = (1 − ). π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) (17) π¦ ((π + 1) π+ ) = π¦ ((π + 1) π) = π¦ (ππ+ ) π−ππ + Therefore, we can get the following π-periodic solution (π₯∗ (π‘), π¦∗ (π‘)) of system (12): π₯∗ (π‘) = πΏπ−π(π‘−ππ) Λ ), (1 − π 1 − (1 − πΏ) π−ππ ππ < π‘ ≤ (π + 1) π, π¦∗ (π‘) = (1 − π−ππ ) π−π(π‘−ππ) − (1 − π−ππ ) π−π(π‘−ππ) Λ ), (1 + ππΏ π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) × (π−ππ − π−ππ ) + and limπ → ∞ π₯(ππ+ ) = π₯∗ , for π large enough we have the following approximate recursive formula: π¦ ((π + 1) π+ ) = π¦ (ππ+ ) π−ππ + ∗ −π(π‘−ππ) π₯ (π‘) = π₯ (π‘) + (π₯ (ππ ) − π₯ ) π π Λ (π₯∗ − ) π−π π × (π−ππ − π−ππ ) + Next, we will prove the attractivity of periodic solutions. Let (π₯(π‘), π¦(π‘)) be an any solution of the system (12); then, for π‘ ∈ (ππ, (π + 1)π], we have + Λ (1 − π−ππ ) , π (22) ππ < π‘ ≤ (π + 1) π. (18) ∗ π Λ (π₯ (ππ+ ) − ) π−π π = π¦ (ππ+ ) π−ππ + + , Λ (1 − π−ππ ) π ππΏΛ (π−ππ − π−ππ ) π (π − π) (1 − (1 − πΏ) π−ππ ) Λ (1 − π−ππ ) . π (23) π¦ (π‘) = π¦∗ (π‘) + (π¦ (ππ+ ) − π¦∗ ) π−π(π‘−ππ) + π (π₯ (ππ+ ) − π₯∗ ) (π−π(π‘−ππ) − π−π(π‘−ππ) ) . π−π (19) On the one hand, by the recurrence formula, we have π₯ ((π + 1) π+ ) = (1 − πΏ) π−ππ π₯ (ππ+ ) + Λ (1 − πΏ) (1 − π−ππ ) . π (20) Thus, for any π ∈ π+ , we get π¦ ((π + π) π+ ) = π¦ (ππ+ ) π−πππ + [1 + π−ππ + ⋅ ⋅ ⋅ + π−(π−1)ππ ] ×( ππΏΛ (π−ππ − π−ππ ) π (π − π) (1 − (1 − πΏ) π−ππ ) + Λ (1 − π−ππ )) π Journal of Applied Mathematics 5 = π¦ (ππ+ ) π−πππ + −π −π½π∗ −π½πΌ∗ 0 π½πΌ∗ ) . π½ (πΈ ) = ( 0 π 0 −π 1 − π−πππ 1 − π−ππ ×( σ³¨→ Proof. The Jacobian matrix of system (7) evaluated at πΈ∗ is ∗ ππΏΛ (π−ππ − π−ππ ) π (π − π) (1 − (1 − πΏ) π−ππ ) + Λ (1 − π−ππ )) π ππΏ (π−ππ − π−ππ ) Λ ) (1 − π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) (π σ³¨→ ∞) . (24) Then we have limπ → ∞ π¦(ππ+ ) = π¦∗ , thus π¦(π‘) → π¦∗ (π‘) (π‘ → ∞). The proof is completed. 3. The Stability of Equilibrium of System (7) and the Basic Reproduction Number Let π π (π = 1, 2, 3) be its eigenvalues with Re π 1 ≤ Re π 2 ≤ Re π 3 . After a simple calculation, it follows that det π½ (πΈ∗ ) = −ππ½2 πΌ∗ π∗ < 0. Theorem 4. System (7) always has a disease-free equilibrium πΈ0 . If and only if π > 1, system (7) has an endemic equilibrium πΈ∗ . 3.1. Local Stability of Disease-Free Equilibrium πΈ0 . We calculate the Jacobian matrix of system (7) evaluated at πΈ0 ; one gets the following matrix: −π −π½ Λ π 0 π½ (πΈ0 ) = ( 0 π½ Λ − π − π 0 ) . π π 0 −π (25) Obviously, πΈ0 is locally asymptotically stable if π½(Λ/π) − π − π < 0 which implies that π < 1, and unstable if π > 1. Then π = π½Λ/π(π + π) can be used as the basic reproductive number. Thus, we obtain the following result. Theorem 5. If π < 1, then disease-free equilibrium πΈ0 of system (7) is locally asymptotically stable and unstable if π > 1. 3.2. Local Stability of Endemic Equilibrium πΈ∗ . About the local stability of endemic equilibrium πΈ∗ , we have the following theorem. Theorem 6. If π > 1 and π ≥ π or 1 < π < (π + π)/(π − π), the equilibrium πΈ∗ of system (7) is locally asymptotically stable. (27) For det π½(πΈ∗ ) = π 1 π 2 π 3 < 0, there are two cases as follows: (i) Re π π < 0 for π = 1, 2, 3; (ii) Re π 1 < 0 ≤ Re π 2 ≤ Re π 3 . Now we prove that the case (ii) is not true. Note that det π½(πΈ∗ ) = −ππ½2 πΌ∗ π∗ < 0; one gets tr π½(πΈ∗ ) < 0, that is, π 1 + π 2 + π 3 < 0. If the case (ii) is true, we have that Re(π 1 + π 2 ) < 0 and Re(π 1 + π 3 ) < 0. The second additive compound matrix [6] of π½(πΈ∗ ) (see the Appendix) is as follows: [2] In this section, we will consider the local stability of equilibrium of system (7) and give the basic reproduction number. Obviously, the system (7) has a disease-free equilibrium πΈ0 (Λ/π, 0, Λ/π) and an endemic equilibrium πΈ∗ (π∗ , πΌ∗ , π∗ ), where π∗ = (π + π)/π½, πΌ∗ = (π½Λ − π(π + π))/π½(π + π), π∗ = (π+π)/π½. Let π = π½Λ/π(π+π); we have the following theorem. (26) π½ −π π½πΌ∗ π½πΌ∗ (πΈ ) = ( 0 −π − π −π½π∗ ) , −π 0 −π ∗ det π½[2] (πΈ∗ ) = −π ((π½πΌ∗ + π) (π + π) − π½2 πΌ∗ π∗ ) (28) = −ππ (π (π − π) + (π + π)) , where π∗ = (π + π)/π½, πΌ∗ = (π½Λ − π(π + π))/π½(π + π), and π∗ = (π + π)/π½ is used. Notice that π > 1, and two cases will happen as follows: (a) if π ≥ π, then det π½[2] (πΈ∗ ) < 0; (b) if π < π, but 1 < π < (π+π)/(π−π), then det π½[2] (πΈ∗ ) < 0. According to the property of the second additive compound matrix [6], the eigenvalues of π½[2] (πΈ∗ ) are π π + π π , 1 ≤ π < π ≤ 3. Then, we have (π 1 + π 2 ) (π 1 + π 3 ) (π 2 + π 3 ) < 0. (29) Notice that Re(π 1 + π 2 ) < 0 and Re(π 1 + π 3 ) < 0, then we get Re(π 2 + π 3 ) < 0, which contradicts with case (ii). Therefore, Re π π < 0 for π = 1, 2, 3. So πΈ∗ is locally asymptotically stable for π > 1 and π ≥ π or 1 < π < (π + π)/(π − π). This completes the proof. 3.3. Analysis at π = 1. In this section, we consider the stability of system (7) under π = 1 using the center manifold theory, as described in [42, Theorem 4.1] . To apply this method, the following simplification and change of variables are made first. Let π = π₯1 , πΌ = π₯2 , π = π₯3 , and the system (7) becomes π₯1Μ = Λ − π½π₯2 π₯3 − ππ₯1 = π1 , π₯2Μ = π½π₯2 π₯3 − ππ₯2 − ππ₯2 = π2 , π₯3Μ = π (π₯1 − π₯3 ) = π3 , (30) 6 Journal of Applied Mathematics with π = 1 corresponding to π½ = π½∗ = π(π + π)/Λ. The virusfree equilibrium is πΈ0 (Λ/π, 0, Λ/π). The linearization matrix of system (7) around the infection-free equilibrium πΈ0 when π½ = π½∗ is −π π½ (π) = ( 0 π − π½∗ Λ π π∗ (π‘) = πΏπ−π(π‘−ππ) Λ ), (1 − π 1 − (1 − πΏ) π−ππ (31) π−π(π‘−ππ) (1 − π−ππ ) − π−π(π‘−ππ) (1 − π−ππ ) Λ = (1 + ππΏ ), π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) ππ < π‘ ≤ (π + 1) π, −π − (π + π) 0 0 0 ). =(0 π 0 −π π∗ (0+ ) = π The matrix π½(π) has eigenvalues (0, −π, −π) , which meets the requirement of a simple zero eigenvalue and others having negative real part. A right eigenvector π corresponding to the zero eigenvalue is π = (−(π + π)/π, 1, −(π + π)/π)π and the left eigenvector satisfying ππ = 1 is π = (0, 1, 0). For the system (7), we can get π2 ππ Λ Λ 2 2 ( , 0, ) = − (π + π) < 0, π = ∑ ππ ππ ππ ππ₯ ππ₯ π π Λ π π π,π,π=1 (32) 3 π,π=1 π2 ππ Λ Λ Λ ( , 0, ) = > 0. ππ₯π ππ½ π π π Thus, π < 0, π > 0, by item (iv) of Theorem 4.1 in [42]; we can give the following result. Theorem 7. The disease-free equilibrium πΈ0 for system (7) is locally asymptotically stable for π near 1. 4. Disease Impulsive Control for System (9) 4.1. The Existence and Globally Asymptotical Stability of the “Infection-Free” Periodic Solution of System (9). We demonstrate the expression of the infectives-free solution of the system (9) firstly, in which the infectives are entirely absent from the population permanently. Consider the infectivesfree subsystem of system (9) in the form πσΈ (π‘) = Λ − ππ (π‘) , π‘ =ΜΈ ππ, πσΈ (π‘) = π (π (π‘) − π (π‘)) , π (π‘ ) = (1 − πΏ) π (π‘) , + π (π‘ ) = π (π‘) , π‘ = ππ, π‘ = ππ. ππΏ (π−ππ − π−ππ ) Λ ), (1 − π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) (34) and for each solution, π(π‘) → π∗ (π‘), π(π‘) → π∗ (π‘) as π‘ → ∞. Hence, we have Theorem 8. In next section, we will prove that “infection-free” periodic solution (π∗ (π‘), 0, π∗ (π‘)) is globally asymptotically stable. Theorem 9. Let (π(π‘), πΌ(π‘), π(π‘)) be any solution of (9), and then (π∗ (π‘), 0, π∗ (π‘)) is globally asymptotically stable provided R < 1, where R = ((π½Λ/π)(π − πΏ(1 − π−ππ )/π(1 − (1 − πΏ)π−ππ )))/(π + π)π. Proof. Firstly, we will prove the local stability. The local stability of periodic solution (π∗ (π‘), 0, π∗ (π‘)) may be determined by considering the behavior of small amplitude perturbations of the solution. This may be written as π’ (π‘) π’ (0) ( V (π‘) ) = Φ (π‘) ( V (0) ) , π€ (π‘) π€ (0) 0 ≤ π‘ < π, (35) −π −π½π∗ (π‘) 0 πΦ (π‘) = ( 0 π½π∗ (π‘) − π − π 0 ) Φ (π‘) , ππ‘ π 0 −π (36) where Φ satisfies and Φ(0) = πΈ, the identity matrix. Hence, the fundamental solution matrix is π‘ =ΜΈ ππ, (33) + π∗ (0+ ) = Λ πΏ ), (1 − π 1 − (1 − πΏ) π−ππ Theorem 8. The system (9) has an “infection-free” periodic solution (π∗ (π‘), 0, π∗ (π‘)) for π‘ ∈ (ππ, (π + 1)π], π ∈ π. 3 π = ∑ ππ ππ ππ < π‘ ≤ (π + 1) π, π∗ (π‘) 0 π½∗ Λ ) − (π + π) 0 π 0 −π By Lemma 3, system (33) has a unique positive π-periodic solution (π∗ (π‘), π∗ (π‘)) given by π−ππ‘ Φ (π‘) = ( 0 πΆ π‘ π΄ 0 0 −ππ‘ ∫0 (π½π∗ (π )−π−π)ππ π π 0 ). (37) Journal of Applied Mathematics 7 There is no need to calculate the exact form of π΄, πΆ as it is not required in the analysis that follows. The linearization of the fourth, fifth, and sixth equations of system (9) becomes π (π‘) < π∗ (π‘) + π, where π (π‘) is the periodic solution of the following equation: (38) The stability of the periodic solution (π∗ (π‘), 0, π∗ (π‘)) is determined by the eigenvalues of 1−πΏ 0 0 π = ( 0 1 0) Φ (π) , 0 0 1 (39) πσΈ (π‘) = π (π∗ (π‘) + π − π (π‘)) , π (π‘+ ) = π (π‘) , π ∗ π 3 = π∫0 (π½π (40) . According to Floquet theory (see [43]), (π∗ (π‘), 0, π∗ (π‘)) is locally stable if |π 3 | < 1. Denote (π½Λ/π) (π − πΏ (1 − π−ππ ) /π (1 − (1 − πΏ) π−ππ )) (π + π) π = π−π(π‘−ππ) (1 − π−ππ ) − π−π(π‘−ππ) (1 − π−ππ ) Λ ) (1 + ππΏ π (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) πΌσΈ (π‘) ≤ π½πΌ (π‘) (π∗ (π‘) + π) − ππΌ (π‘) − ππΌ (π‘) , πΌ (π‘+ ) = πΌ (π‘) , ≤ πΌ (ππ+ ) exp ∫ (π+1)π ππ ∗ ∫ (π½π (π‘) − π − π) ππ‘ < 0, 0 (42) which leads to |π 3 | < 1. Thus the periodic solution (π∗ (π‘), 0, π∗ (π‘)) is locally stable. In the following, we prove the global attractivity. Since R < 1 holds, we have πΏ (1 − π−ππ ) π½Λ ) − (π + π) π < 0. (π − π π (1 − (1 − πΏ) π−ππ ) (43) We can choose a π > 0 small enough such that πΏ (1 − π−ππ ) Λ ) ((1 + 2π) π − π π (1 − (1 − πΏ) π−ππ ) (44) − (π + π) π < 0. Note that πσΈ (π‘) ≤ Λ−ππ(π‘), by impulsive differential inequalities, we have ∗ π (π‘) < π (π‘) + π (45) for all π‘ large enough. For simplification, we may assume that (45) holds for all π‘ ≥ 0. From the third equation of system (9) and (45), we get σΈ From the second and fifth equations of the system (9), we have ∗ π (π‘) ≤ π (π (π‘) + π − π (π‘)) , π (π‘+ ) = π (π‘) , π‘ = ππ. π‘ =ΜΈ ππ, π‘ =ΜΈ ππ, π‘ = ππ, (49) πΌ ((π + 1) π) For R < 1, we have π=π½ ππ < π‘ ≤ (π + 1) π. which leads to , (41) π π‘ = ππ, (48) π 2 = π−ππ < 1, (π‘)−π−π)ππ‘ π‘ =ΜΈ ππ, π∗ (π‘) + π, which are π 1 = (1 − πΏ) π−ππ < 1, (47) ∗ π’ (ππ+ ) 1−πΏ 0 0 π’ (ππ) ( V (ππ+ ) ) = ( 0 1 0) ( V (ππ) ) . π€ (ππ) 0 0 1 π€ (ππ+ ) R= By impulsive differential inequalities, we have = πΌ (ππ) exp ∫ ππ (50) ∗ (π½ (π (π‘) + π) − (π + π)) ππ‘ = πΌ (ππ) ππ . Hence πΌ(ππ) ≤ πΌ(0)πππ and πΌ(ππ) → 0 as π → +∞. Therefore, πΌ(π‘) → 0 as π‘ → +∞, since πΌ(π‘) ≤ πΌ(ππ) for ππ < π‘ ≤ (π + 1)π. Next, we prove that π(π‘) → π∗ (π‘), π(π‘) → π∗ (π‘) as π‘ → +∞. For all π > 0, there must exist a π1 > 0 such that 0 ≤ πΌ(π‘) < π for π‘ > π1 . Without loss of generality, we may assume that 0 ≤ πΌ(π‘) < π for all π‘ ≥ 0, and then from system (9), we have Λ− π½Λπ − ππ (π‘) ≤ πσΈ (π‘) ≤ Λ − ππ (π‘) . π (51) Then we have π(π‘) < π(π‘) < π∗ (π‘) + π1 and π(π‘) → π∗ (π‘) as π‘ → +∞, where π(π‘) is the solution of πσΈ (π‘) = Λ − π½Λπ − ππ (π‘) , π π (π‘+ ) = (1 − πΏ) π (π‘) , π‘ =ΜΈ ππ, π‘ = ππ, π (0+ ) = π (0+ ) , π∗ (π‘) = (46) (π+1)π (π½ (π∗ (π‘) + π) − (π + π)) ππ‘ Λ (π − π½π) πΏπ−π(π‘−ππ) (1 − ), π2 1 − (1 − πΏ) π−ππ ππ < π‘ ≤ (π + 1) π. (52) 8 Journal of Applied Mathematics Therefore, for any π1 > 0, there exists a π2 > 0 such that π∗ (π‘) − π1 < π(π‘) < π∗ (π‘) + π1 . Let π → 0; we have π∗ (π‘) − π1 ≤ π(π‘) ≤ π∗ (π‘) + π1 for π‘ large enough, which implies π(π‘) → π∗ (π‘) as π‘ → +∞. Similarly, π(π‘) → π∗ (π‘) as π‘ → +∞ can be analyzed by the same method as the above, so we omit it. This completes the proof. 4.2. Permanence of System (9) Theorem 10. If R > 1, then system (9) is permanent, that is, there exist three positive constants π1 , π2 , and π3 such that π(π‘) ≥ π1 , πΌ(π‘) ≥ π2 , and π(π‘) ≥ π3 for π‘ large enough. Next, we prove that there exists a constant π2 > 0 such that πΌ(π‘) ≥ π2 for π‘ large enough. We will do it in the following two steps. Step (I). Since R > 1, we can choose π4 , π > 0 small enough such that π = π½ (( − (π + π) π > 0. (60) We will prove that πΌ(π‘) < (π/Λ)π4 cannot hold for all π‘ ≥ 0. Otherwise, Proof. Suppose that the π(π‘) = (π(π‘), πΌ(π‘), π(π‘)) is any positive solution of system (9). From system (9), we can get πσΈ (π‘) ≥ Λ − 2 π½Λ − ππ (π‘) , π2 π (π‘+ ) = (1 − πΏ) π (π‘) , π‘ =ΜΈ ππ, πσΈ (π‘) ≥ Λ − π½π4 − ππ (π‘) , π (π‘+ ) = (1 − πΏ) π (π‘) , (53) π‘ = ππ. π½Λ2 − ππΊ (π‘) , π2 πΊ (π‘+ ) = (1 − πΏ) πΊ (π‘) , π (π‘+ ) = (1 − πΏ) π (π‘) , π∗ (π‘) = (54) π∗ = Then, we have π(π‘) ≥ πΊ(π‘) > πΊ∗ (π‘) − π, where Λ − π½Λ2 /π2 πΏπ−π(π‘−ππ) ), (1 − π 1 − (1 − πΏ) π−ππ ππ < π‘ ≤ (π + 1) π, πΊ0∗ = (Λ − π½Λ2 /π2 ) (1 − πΏ) (1 − π−ππ ) π (1 − (1 − πΏ) π−ππ ) π (π‘+ ) = π (π‘) , π (π‘+ ) = π (π‘) , π‘ = ππ. (56) (57) ×( π‘ =ΜΈ ππ, π‘ = ππ. (58) Obviously, π»(π‘) → π1 as π‘ → ∞, Then there exists π > 0 such that π (π‘) > π1 − π = π3 > 0. π‘ =ΜΈ ππ, π‘ = ππ, (1 − π−ππ ) π−π(π‘−ππ) − (1 − π−ππ ) π−π(π‘−ππ) (π − π) (1 − π−ππ ) (1 − (1 − πΏ) π−ππ ) (64) (59) ) − π. (65) So we have πΌσΈ (π‘) ≥ (π½ (β∗ (π‘) − π) − π − π) πΌ (π‘) , πΌ (π‘+ ) = πΌ (π‘) , π»σΈ (π‘) = π (π1 − π» (π‘)) , (63) Λ − π½π4 Λ − π½π4 + ππΏ π π Consider the following system: π» (π‘+ ) = π (π‘) , Λ − π½π4 πΏπ−π(π‘−ππ) ), (1 − π 1 − (1 − πΏ) π−ππ and π(π‘) > β∗ (π‘) − π, where for π‘ large enough. From (56) and the third and sixth equations of the system (9), we have π‘ =ΜΈ ππ, (62) Λ − π½π4 πΏ ). (1 − π 1 − (1 − πΏ) π−ππ (55) β∗ (π‘) = π (π‘) > π (π1 − π (π‘)) , π‘ = ππ, πσΈ (π‘) ≥ π (π∗ (π‘) − π − π (π‘)) , . π (π‘) ≥ πΊ (π‘) > πΊ∗ (π‘) − π > πΊ0∗ − π = π1 > 0 (61) From the third and sixth equations of the system (9), we have So we have σΈ π‘ =ΜΈ ππ, ππ < π‘ ≤ (π + 1) π, πΊ (0+ ) = π (0+ ) . πΊ∗ (π‘) = π‘ = ππ. πσΈ (π‘) = Λ − π½π4 − ππ (π‘) , π‘ =ΜΈ ππ, π‘ = ππ, π‘ =ΜΈ ππ, So we have π(π‘) ≥ π(π‘) > π∗ (π‘) − π for π‘ large enough, where π(π‘) is the solution of Consider the following impulsive differential equation: πΊσΈ (π‘) = Λ − πΏ (Λ − π½π4 ) (1 − π−ππ ) Λ − π½π4 ) − 2π) π − π π2 (1 − (1 − πΏ) π−ππ ) π‘ =ΜΈ ππ, π‘ = ππ. (66) Integrating (66) on (ππ, (π + 1)π], we have πΌ (π + 1) π ≥ πΌ (ππ+ ) exp ∫ (π+1)π ππ = πΌ (ππ) ππ . (π½ (β∗ (π‘) − π) − π − π) ππ‘ (67) Journal of Applied Mathematics 9 Then πΌ(ππ) ≥ πΌ(0)πππ → ∞ as π → ∞, which is a contradiction to the boundedness of πΌ(π‘). Hence, there exists a π‘1 > 0 such that πΌ(π‘1 ) ≥ (π/Λ)π4 . For the sake of simplification, we let (π/Λ)π4 be π4 . Step (II). If πΌ(π‘) ≥ π4 for all π‘ ≥ π‘1 , and we let π2 = π4 , then our aim is obtained. Otherwise, let π‘∗ = inf π‘>π‘1 {π‘ | πΌ(π‘) < π4 }, there are two possible case for π‘∗ . Case (I). π‘∗ = π1 π, π1 ∈ π+ . Then πΌ(π‘) ≥ π4 for π‘ ∈ [π‘1 , π‘∗ ) and πΌ(π‘∗ ) = π4 . Choose π2 , π3 ∈ π+ , such that π2 π > 1 1 + π∗ ln , π π π−(π2 +1)(π+π)π ππ3 π > 1. (68) σΈ Let π = (π2 + π3 )π, we claim that there exists a π‘2 ∈ (π‘∗ , π‘∗ + πσΈ ] such that πΌ(π‘2 ) > π4 . Otherwise, consider (62) with π(π1 π+ ) = π(π1 π+ ) for π‘ ∈ (ππ, (π + 1)π] and π1 ≤ π ≤ π1 + π2 + π3 . We have σ΅¨ σ΅¨σ΅¨ ∗ ∗ −π(π‘−π‘∗ ) <π σ΅¨σ΅¨π (π‘) − π (π‘)σ΅¨σ΅¨σ΅¨ ≤ (1 + π ) π (69) for (π1 + π2 )π < π‘ ≤ (π1 + π2 + π3 )π. So as in the above step (I), we have πΌ (π‘∗ + πσΈ ) ≥ πΌ (π‘∗ + π2 π) ππ3 π . (70) From system (9), we get πΌσΈ (π‘) ≥ (−π − π) πΌ (π‘) , πΌ (π‘+ ) = πΌ (π‘) , ∗ π‘ =ΜΈ ππ, (71) π‘ = ππ, ∗ for π‘ ∈ (ππ, (π + 1)π] and π4 + 1 ≤ π ≤ π4 + 1 + π2 + π3 . By a similar argument as in step II case (I), we get πΌ ((π4 + 1 + π2 + π3 ) π) ≥ πΌ ((π4 + 1 + π2 ) π) ππ3 π . Since πΌ(π‘) ≤ π4 for π‘ ∈ (π‘∗ , (π4 + 1)π), (71) holds on [π‘∗ , (π4 + 1 + π2 )π], so we have πΌ ((π4 + 1 + π2 ) π) ≥ π4 π(π2 +1)(−π−π)π . ∗ for π‘ ∈ [π‘ , π‘ + π2 π]. Integrating (71) on [π‘ , π‘ + π2 π], we have πΌ (π‘∗ + π2 π) ≥ π4 π(−π−π)π2 π . (72) πΌ (π‘∗ + πσΈ ) ≥ π4 π(−π−π)π2 π ππ3 π > π4 , (73) (77) Thus πΌ ((π4 + 1 + π2 + π3 ) π) ≥ π4 π(π2 +1)(−π−π)π ππ3 π > π4 , (78) which is a contradiction. Let π‘ = inf π‘>π‘∗ {π‘ | πΌ(π‘) > π4 }, and then for ∈ (π‘∗ , π‘), πΌ(π‘) ≤ π4 and πΌ(π‘) = π4 . For π‘ ∈ (π‘∗ , π‘), suppose π‘ ∈ (π4 π + (πσΈ − 1)π, π4 π + πσΈ π], πσΈ ∈ π+ , πσΈ ≤ 1 + π2 + π3 , we have πΌ (π‘) ≥ π4 π(1+π2 +π3 )(−π−π)π . (79) Let π2 = π4 π(1+π2 +π3 )(−π−π)π < π2σΈ , so πΌ(π‘) ≥ π2 for π‘ ∈ (π‘∗ , π‘). For π‘ > π‘, the same arguments can be continued since πΌ(π‘) ≥ π4 . Case (IIb). There exists a π‘ ∈ (π‘∗ , (π4 + 1)π) such that πΌ(π‘) > π4 . Let π‘∗∗ = inf π‘>π‘∗ {π‘ | πΌ(π‘) > π4 }, and then for π‘ ∈ (π‘∗ , π‘∗∗ ), πΌ(π‘) ≤ π4 and πΌ(π‘∗∗ ) = π4 . For π‘ ∈ (π‘∗ , π‘∗∗ ), integrating (71) on (π‘∗ , π‘∗∗ ), we have ∗ ∗ (76) πΌ (π‘) ≥ πΌ (π‘∗ ) π(−π−π)(π‘−π‘ ) ≥ π4 π(−π−π)π > π2 . (80) So, πΌ(π‘) ≥ π2 for π‘ ∈ (π‘∗ , π‘∗∗ ). Since πΌ(π‘∗∗ ) ≥ π4 , for π‘ > π‘∗∗ , the same arguments can be continued. Hence, πΌ(π‘) ≥ π2 for all π‘ ≥ π‘1 . The proof is completed. Thus, we have which is a contradiction. Let Μπ‘ = inf π‘>π‘∗ {π‘ | πΌ(π‘) > π4 }, and then for π‘ ∈ (π‘∗ , Μπ‘), πΌ(π‘) ≤ π4 and πΌ(Μπ‘) = π4 , since πΌ(π‘) is continuous and πΌ(π‘+ ) = πΌ(π‘) when π‘ = ππ. For π‘ ∈ (π‘∗ , Μπ‘), suppose Μπ‘ ∈ (π‘∗ + (π − 1)π, π‘∗ + ππ], π ∈ π+ , π ≤ π2 + π3 ; from (71), we have ∗ πΌ (π‘) ≥ πΌ (π‘∗ ) π(−π−π)(π‘−π‘ ) ≥ π4 π(π2 +π3 )(−π−π)π . (74) Let π2σΈ = π4 π(π2 +π3 )(−π−π)π , hence; we have πΌ(π‘) ≥ π2σΈ for π‘ ∈ (π‘∗ , Μπ‘). For π‘ > Μπ‘, the same arguments can be continued since πΌ(Μπ‘) ≥ π4 . Case (II). π‘∗ =ΜΈ ππ, π ∈ π+ . Then πΌ(π‘) ≥ π4 for π‘ ∈ [π‘1 , π‘∗ ] and πΌ(π‘∗ ) = π4 ; suppose π‘∗ ∈ (π4 π, (π4 + 1)π), π4 ∈ π+ . There are two possible cases for π‘ ∈ (π‘∗ , (π4 + 1)π), π4 ∈ π+ . Case (IIa). πΌ(π‘) ≤ π4 for all π‘ ∈ (π‘∗ , (π4 + 1)π). We claim that there must be a π‘2σΈ ∈ [(π4 + 1)π, (π4 + 1)π + πσΈ ] such that πΌ(π‘2σΈ ) > π4 . Otherwise, consider (62) with π((π4 + 1)π+ ) = π((π4 + 1)π+ ); we have σ΅¨ σ΅¨σ΅¨ ∗ ∗ −π(π‘−(π4 +1)π) σ΅¨σ΅¨π (π‘) − π (π‘)σ΅¨σ΅¨σ΅¨ ≤ (1 + π ) π (75) 5. Numerical Analysis and Conclusion To verify the theoretical results obtained in this paper, we will give some numerical simulations. We consider the hypothetical set of parameter values as Λ = 0.2, π = 0.2, π½ = 0.1, π = 0.3, and π = 0.1 with (π0 , πΌ0 , π0 ) = (0.7, 0.3, 0.3). By calculation, we know that π = 0.2 < 1, and according to Theorem 5, and we know that the disease-free equilibrium πΈ0 (1, 0, 1) of system (7) is locally asymptotically stable for this case (see Figure 1). We set the hypothetical set of parameter values as Λ = 1.8, π = 0.2, π½ = 0.08, π = 0.3, π = 0.1 with (π0 , πΌ0 , π0 ) = (0.7, 0.3, 0.3). By calculation, we know that π = 1.44 > 1, and according to Theorem 6, we know that the endemic equilibrium πΈ∗ (6.25, 1.1, 6.25) of system (7) is locally asymptotically stable for this case (see Figure 2). On the other hand, we consider the hypothetical set of parameter values as Λ = 1, π = 0.2, π½ = 0.5, π = 0.6, π = 3, and π = 1 with (π0 , πΌ0 , π0 ) = (0.7, 0.3, 0.3). If πΏ = 0.8, by calculation, we know that R = 0.4155 < 1. According to Theorem 9, we know that the “infection-free” periodic solution of system (9) is globally asymptotically stable for this case (see Figure 3). We can explain this in the epidemiology that if we take such a strategy by improving vaccination 10 Journal of Applied Mathematics 1 0.3 0.8 0.2 0.6 I 0.4 0.1 0.2 0 0 10 20 30 40 50 60 70 80 90 100 0.7 0.8 S I Z 1.0 (b) Phase portrait of π(π‘), πΌ(π‘) (a) Time series of π(π‘), πΌ(π‘), π(π‘) 1.0 1.0 0.9 0.9 0.8 0.8 0.7 0.7 Z 0.9 S Z 0.6 0.6 0.5 0.5 0.4 0.4 0.3 0.3 0.7 0.8 0.9 1.0 0 0.1 (c) Phase portrait of π(π‘), π(π‘) 1 0.9 0.8 0.7 0.6 Z 0.5 0.4 0.3 0.2 0.4 0.2 0.3 I S 0.3 I 0.2 (d) Phase portrait of πΌ(π‘), π(π‘) 0.1 0 0.95 0.85 0.9 0.8 0.75 S 0.65 0.7 (e) Phase portrait of π(π‘), πΌ(π‘), π(π‘) Figure 1: Illustration of basic behavior of system (7) on the threshold values π = 0.2 < 1, where Λ = 0.2, π = 0.2, π½ = 0.1, π = 0.3, π = 0.1, the initial value is (π0 , πΌ0 , π0 ) = (0.7, 0.3, 0.3), and πΈ0 = (1, 0, 1). Journal of Applied Mathematics 11 8 2 7 6 1.5 5 I 4 1 3 2 0.5 1 100 200 300 400 500 1 2 3 4 5 7 8 S S I Z (b) Phase portrait of π(π‘), πΌ(π‘) (a) Time series of π(π‘), πΌ(π‘), π(π‘) 8 6.25004 7 6.25002 6 5 Z 6 Z 4 6.25000 6.24998 3 6.24996 2 1 6.24994 1 2 3 4 5 S 6 7 1.09997 8 1.09999 1.10001 1.10003 1.10005 I (c) Phase portrait of π(π‘), π(π‘) (d) Phase portrait of πΌ(π‘), π(π‘) 10 8 6 Z 4 2 0 2.5 2 1.5 I 1 0.5 0 0 2 4 6 S 8 10 (e) Phase portrait of π(π‘), πΌ(π‘), π(π‘) Figure 2: Illustration of basic behavior of system (7) on the threshold values π = 1.44 > 1, where Λ = 1.8, π = 0.2, π½ = 0.08, π = 0.3, π = 0.1, the initial value is (π0 , πΌ0 , π0 ) = (0.7, 0.3, 0.3), and πΈ∗ = (6.25, 1.1, 6.25). 12 Journal of Applied Mathematics ×10−21 1.2 2 1 1.5 0.8 0.6 I 1 0.4 0.5 0.2 0 20 40 60 80 0 100 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0 S S I Z (b) Phase portrait of π(π‘), πΌ(π‘) (a) Time series of π(π‘), πΌ(π‘), π(π‘) 0.85 0.85 0.80 0.80 0.75 0.75 Z 0.70 Z 0.70 0.65 0.65 0.60 0.60 0.3 0.4 0.5 0.6 0.7 0.8 0.9 0 1.0 0.5 1 S 1.5 I (c) Phase portrait of π(π‘), π(π‘) 2 ×10−21 (d) Phase portrait of πΌ(π‘), π(π‘) 1.2 1 0.8 Z 0.6 0.4 0.2 0.4 0.3 I 0.2 0.1 0 0 0.5 1 1.5 S (e) Phase portrait of π(π‘), πΌ(π‘), π(π‘) Figure 3: Illustration of basic behavior of system (9) on the threshold values R = 0.4155 < 1, where Λ = 1, π = 0.2, π½ = 0.5, π = 0.6, π = 3, π = 1, and πΏ = 0.8. Journal of Applied Mathematics 13 2.0 0.4085 1.8 1.6 0.4080 1.4 0.4075 1.2 I 1.0 0.4070 0.8 0.4065 0.6 0.4 0.4060 0.2 20 40 60 80 1.45 100 1.50 1.55 1.60 1.65 1.70 1.75 S S I Z (b) Phase portrait of π(π‘), πΌ(π‘) (a) Time series of π(π‘), πΌ(π‘), π(π‘) 1.66 1.66 1.64 1.64 Z 1.62 Z 1.62 1.60 1.60 1.58 1.58 1.56 1.56 1.45 1.50 1.55 1.60 S 1.65 1.70 0.4060 0.4065 0.4070 0.4075 0.4080 0.4085 1.75 I (c) Phase portrait of π(π‘), π(π‘) (d) Phase portrait of πΌ(π‘), π(π‘) 2 1.5 Z 1 0.5 0 0.5 0.4 I 0.3 0.2 0.1 0.5 1 1.5 2 2.5 S (e) Phase portrait of π(π‘), πΌ(π‘), π(π‘) Figure 4: Illustration of basic behavior of system (9) on the threshold values R = 1.4831 > 1, where Λ = 1, π = 0.2, π½ = 0.5, π = 0.6, π = 3, π = 1, and πΏ = 0.2. 14 Journal of Applied Mathematics proportion of susceptible persons in practice, as a result, the infectious population vanishes; that is, diseases eliminate. Figures 3(b), 3(c), 3(d), and 3(e) show the “infection-free” periodic solution under R = 0.4155 < 1. In contrast, if we decrease vaccination proportion of susceptible persons to 0.2, the diseases will be permanent (in this case R = 1.4831.) (see Figure 4). Comparing Figure 1 with Figure 3 and Figure 2 with Figure 4, we find that the impulse vaccination proportion of susceptible persons has played a very important role in the actual epidemic prevention. In this paper, a SIR epidemic model with distributed delay is proposed. The dynamics behavior of the model without vaccination or under impulsive vaccination is studied, respectively. By using the Jacobian matrix, the stability of the equilibrium points of the system without vaccination is analyzed and by using Floquet’s theorem, small-amplitude perturbation skills and comparison theorem the sufficient conditions of globally asymptotic stability of “infection-free” periodic solution and the permanence of the model under impulsive vaccination are obtained. Lastly, we give some numerical simulation to illustrate our main conclusions. We think our mathematical results would be helpful in diseases control. Appendix [4] [5] [6] [7] [8] [9] [10] [11] The Second Additive Compound Matrix Let π΄ = (πππ ) be a 3 × 3 matrix. Then its second additive compound matrix is as follows: π11 + π22 π23 −π13 π11 + π33 π12 ) . π΄[2] = ( π32 −π31 π21 π22 + π33 [12] (A.1) [13] Proposition. Let ππ΄ = π π : π = 1, 2, 3 be the spectrum of π΄. Then the spectrum of π΄[2] is ππ΄[2] = π π + π π : 1 ≤ π < π ≤ 3. [14] Acknowledgments The authors would like to thank the referees and the editor for their careful reading of the paper and many valuable comments and suggestions that greatly improved the presentation of this paper. This work is supported by Shandong Provincial Natural Science Foundation, China (no. ZR2012AM012), a Project of Shandong Province Higher Educational Science and Technology Program, China (no. J13LI05), and the SDUST Research Fund (no. 2011KYTD105). References [1] W. Kermack and A. G. McKendrick, “Contributions to the mathematical theory of epidemics,” Proceedings of the Royal Society A, vol. 115, pp. 700–721, 1927. [2] E. Beretta and Y. Takeuchi, “Global stability of an SIR epidemic model with time delays,” Journal of Mathematical Biology, vol. 33, no. 3, pp. 250–260, 1995. [3] E. Beretta and Y. Takeuchi, “Convergence results in SIR epidemic models with varying population sizes,” Nonlinear [15] [16] [17] [18] [19] [20] Analysi: Theory, Methods & Applications, vol. 28, no. 12, pp. 1909–1921, 1997. K. L. Cooke, “Stability analysis for a vector disease model,” The Rocky Mountain Journal of Mathematics, vol. 9, no. 1, pp. 31–42, 1979. W. M. Liu, S. A. Levin, and Y. Iwasa, “Influence of nonlinear incidence rates upon the behavior of SIRS epidemiological models,” Journal of Mathematical Biology, vol. 23, no. 2, pp. 187– 204, 1986. M. Y. Li, J. R. Graef, L. Wang, and J. Karsai, “Global dynamics of a SEIR model with varying total population size,” Mathematical Biosciences, vol. 160, no. 2, pp. 191–213, 1999. W. B. Ma, Y. Takeuchi, T. Hara, and E. Beretta, “Permanence of an SIR epidemic model with distributed time delays,” The Tohoku Mathematical Journal, vol. 54, no. 4, pp. 581–591, 2002. W. B. Ma, M. Song, and Y. Takeuchi, “Global stability of an SIR epidemic model with time delay,” Applied Mathematics Letters, vol. 17, no. 10, pp. 1141–1145, 2004. P. Yongzhen, L. Shuping, L. Changguo, and S. Z. Chen, “The effect of constant and pulse vaccination on an SIR epidemic model with infectious period,” Applied Mathematical Modelling, vol. 35, no. 8, pp. 3866–3878, 2011. M. Song, W. B. Ma, and Y. Takeuchi, “Permanence of a delayed SIR epidemic model with density dependent birth rate,” Journal of Computational and Applied Mathematics, vol. 201, no. 2, pp. 389–394, 2007. B. Shulgin, L. Stone, and Z. Agur, “Pulse vaccination strategy in the SIR epidemic model,” Bulletin of Mathematical Biology, vol. 60, no. 6, pp. 1123–1148, 1998. Y. Takeuchi, W. B. Ma, and E. Beretta, “Global asymptotic properties of a delay ππΌπ epidemic model with finite incubation times,” Nonlinear Analysis: Theory, Methods & Applications, vol. 42, pp. 931–947, 2000. Y. N. Xiao, L. S. Chen, and F. ven den Bosch, “Dynamical behavior for a stage-structured SIR infectious disease model,” Nonlinear Analysis: Real World Applications, vol. 3, no. 2, pp. 175–190, 2002. H. Zhang, L. Chen, and J. J. Nieto, “A delayed epidemic model with stage-structure and pulses for pest management strategy,” Nonlinear Analysis: Real World Applications, vol. 9, no. 4, pp. 1714–1726, 2008. T. Zhang and Z. Teng, “Global behavior and permanence of SIRS epidemic model with time delay,” Nonlinear Analysis: Real World Applications, vol. 9, no. 4, pp. 1409–1424, 2008. T. L. Zhang and Z. D. Teng, “Permanence and extinction for a nonautonomous SIRS epidemic model with time delay,” Applied Mathematical Modelling, vol. 33, no. 2, pp. 1058–1071, 2009. T. Q. Zhang, X. Z. Meng, T. H. Zhang, and Y. Song, “Global dynamics for a new high-dimensional SIR model with distributed delay,” Applied Mathematics and Computation, vol. 218, no. 24, pp. 11806–11819, 2012. K. M. Charlton, S. Nadin-Davis, G. A. Casey, and A. I. Wandeler, “The long incubation period in rabies: delayed progression of infection in muscle at the site of exposure,” Acta Neuropathologica, vol. 94, no. 1, pp. 73–77, 1997. D. B. Fishbein, “Rabies in humans,” in The Natural History of Rabies, G. M. Baer, Ed., pp. 519–549, CRC Press, Boca Raton, Fla, USA, 2nd edition, 1991. M. Fekadu, “Canine rabies,” in The Natural History of Rabies, G. M. Baer, Ed., pp. 267–278, CRC Press, Boca Raton, Fla, USA, 2nd edition, 1992. Journal of Applied Mathematics [21] P. J. Grattan-Smith, W. J. O’Regan, P. S. J. Ellis, S. J. O’Flaherty, P. B. McIntyre, and C. J. Barnes, “Rabies: a second Australian case, with a long incubation period,” Medical Journal of Australia, vol. 156, no. 9, pp. 651–654, 1992. [22] H.-F. Huo and Z.-P. Ma, “Dynamics of a delayed epidemic model with non-monotonic incidence rate,” Communications in Nonlinear Science and Numerical Simulation, vol. 15, no. 2, pp. 459–468, 2010. [23] C. A. de Quadros, J. K. Andrus, J.-M. Olive et al., “Eradication of poliomyelitis: progress in the Americas,” Pediatric Infectious Disease Journal, vol. 10, no. 3, pp. 222–229, 1991. [24] M. de la Sen, A. Ibeas, and S. Alonso-Quesada, “On vaccination controls for the SEIR epidemic model,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 6, pp. 2637–2658, 2012. [25] M. Ramsay, N. Gay, E. Miller et al., “The epidemiology of measles in England and Wales: rationale for the 1994 national vaccination campaign,” Communicable Disease Report, vol. 4, no. 12, pp. R141–R146, 1994. [26] A. B. Sabin, “Measles, killer of millions in developing countries: strategy for rapid elimination and continuing control,” European Journal of Epidemiology, vol. 7, no. 1, pp. 1–22, 1991. [27] D. Bainov and P. Simeonov, System With Impulsive Effect: Stability, Theory and Applications, John Wiley & Sons, New York, NY, USA, 1989. [28] S. J. Gao, L. S. Chen, J. J. Nieto, and A. Torres, “Analysis of a delayed epidemic model with pulse vaccination and saturation incidence,” Vaccine, vol. 24, no. 35-36, pp. 6037–6045, 2006. [29] B. Liu, Z. D. Teng, and W. B. Liu, “Dynamic behaviors of the periodic Lotka-Volterra competing system with impulsive perturbations,” Chaos, Solitons and Fractals, vol. 31, no. 2, pp. 356–370, 2007. [30] Z. X. Li, Z. Zhao, and L. S. Chen, “Bifurcation of a three molecular saturated reaction with impulsive input,” Nonlinear Analysis: Real World Applications, vol. 12, no. 4, pp. 2016–2030, 2011. [31] V. Lakshmikantham, D. D. BaΔ±Μnov, and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific, Singapore,, 1989. [32] J. J. Nieto and R. RodrΔ±Μguez-LoΜpez, “Hybrid metric dynamical systems with impulses,” Nonlinear Analysis: Theory, Methods & Applicationss, vol. 64, no. 2, pp. 368–380, 2006. [33] J. J. Nieto and R. RodrΔ±Μguez-LoΜpez, “New comparison results for impulsive integro-differential equations and applications,” Journal of Mathematical Analysis and Applications, vol. 328, no. 2, pp. 1343–1368, 2007. [34] X. Y. Song and Y. F. Li, “Dynamic behaviors of the periodic predator-prey model with modified Leslie-Gower Holling-type II schemes and impulsive effect,” Nonlinear Analysis: Real World Applications, vol. 9, no. 1, pp. 64–79, 2008. [35] S. J. Gao, Z. D. Teng, and D. H. Xie, “Analysis of a delayed SIR epidemic model with pulse vaccination,” Chaos, Solitons & Fractals, vol. 40, no. 2, pp. 1004–1011, 2009. [36] J. Hui and L.-S. Chen, “Impulsive vaccination of SIR epidemic models with nonlinear incidence rates,” Discrete and Continuous Dynamical Systems B, vol. 4, no. 3, pp. 595–605, 2004. [37] Z. H. Lu, X. B. Chi, and L. S. Chen, “The effect of constant and pulse vaccination on SIR epidemic model with horizontal and vertical transmission,” Mathematical and Computer Modelling, vol. 36, no. 9-10, pp. 1039–1057, 2002. 15 [38] X. Z. Meng, L. S. Chen, and H. D. Cheng, “Two profitless delays for the SEIRS epidemic disease model with nonlinear incidence and pulse vaccination,” Applied Mathematics and Computation, vol. 186, no. 1, pp. 516–529, 2007. [39] X. Z. Meng and L. S. Chen, “The dynamics of a new SIR epidemic model concerning pulse vaccination strategy,” Applied Mathematics and Computation, vol. 197, no. 2, pp. 582–597, 2008. [40] A. D’Onofrio, “On pulse vaccination strategy in the SIR epidemic model with vertical transmission,” Applied Mathematics Letters, vol. 18, no. 7, pp. 729–732, 2005. [41] X. Y. Song, Y. Jiang, and H. M. Wei, “Analysis of a saturation incidence SVEIRS epidemic model with pulse and two time delays,” Applied Mathematics and Computation, vol. 214, no. 2, pp. 381–390, 2009. [42] C. Castillo-Chavez and B. J. Song, “Dynamical models of tuberculosis and their applications,” Mathematical Biosciences and Engineering, vol. 1, no. 2, pp. 361–404, 2004. [43] D. BaΔ±Μnov and P. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications, vol. 66 of Pitman Monographs and Surveys in Pure and Applied Mathematics, 1993. 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