Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 832701, 18 pages http://dx.doi.org/10.1155/2013/832701 Research Article Stability and Permanence of a Pest Management Model with Impulsive Releasing and Harvesting Jiangtao Yang and Zhichun Yang Department of Mathematics, Chongqing Normal University, Chongqing 400047, China Correspondence should be addressed to Zhichun Yang; zhichy@yahoo.com.cn Received 16 January 2013; Accepted 27 February 2013 Academic Editor: Chuangxia Huang Copyright © 2013 J. Yang and Z. Yang. 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. We formulate a pest management model with periodically releasing infective pests, immature and mature natural enemies, and harvesting pests and crops at two different fixed moments. Sufficient conditions ensuring the locally and globally asymptotical stability of the susceptible pest-eradication period solution are found by means of Floquet theory, small amplitude perturbation techniques, and multicomparison results. Furthermore, the permanence of system is also derived. By numerical analysis, we also show that impulsive releasing and harvesting at two different fixed moments can bring obvious effects on the dynamics of system, which also corroborates our theoretical results. 1. Introduction As is known to all, pest outbreaks often cause serious ecological and economic problems. Therefore, how to effectively control insects and other arthropods has become an increasingly complex issue. Usually, chemical pesticides were taken as a relatively simple way to solve the pest-related problems, and some mathematical models on pest management with toxin (pesticide) input were studied in [1–4]. However, the overuse of chemical pesticides may create new ecological and sociological harm such as pesticide pollution and pesticideresistant pest varieties and inflicts harmful effects on humans and so forth. Therefore, nonchemical use instead for pest control has become a hot topic in order to reduce pest density to tolerable levels and minimize the damage caused. For instance, biological control methods by periodically releasing infective pests or their natural enemies are often taken due to their advantage in the aspects of self-sustainable mechanism, lower environmental impact, and cost effectiveness. Recently, some biocontrol models on pest management described by impulsive differential equation were proposed and the dynamics such as stability, permanence, periodicity, and bifurcation are deeply investigated (see also, e.g., [2–12]). In [5], an impulsive system to model the process of periodic releasing natural enemies and harvesting pest at different fixed time for pest control is considered, and the sufficient conditions on the existence and global stability of the periodic solution are derived for the given model. Georgescu et al. [6, 7] construct an integrated pest management model which relies on the simultaneous periodic release of infective pest individuals and of natural predators with age structure and obtain some sufficient conditions on the local and global stability, permanence, and bifurcation of the systems. However, most of the existing models on pest management scarcely take into account the factor on the relation between pest and its food (e.g., crop). In fact, farmers may harvest crops several times in process of its growth, which should cause a great impact on the density of the pest. Motived by the above discussion, we construct a model of pest control by periodically releasing infective pests, immature and mature natural enemies, and harvesting pests and crops. To account for the discontinuity of release and harvest at different fixed moments, our model is based on impulsive differential equations. We analyze the dynamical behavior of the system by using the theory of impulsive differential equation introduced in [13–15]. The rest of this paper is organized as follows. A pest management model with impulsive releasing and harvesting is introduced in Section 2 and some useful preliminaries are given in Section 3. Section 4 deals with stability and permanence analysis of system. In this section, two sufficient conditions are deduced including the locally and globally asymptotical stability of the susceptible pest-eradication 2 Abstract and Applied Analysis period solution, the permanence of system is also discussed. A simple example and conclusions are given in Section 5. Δπ₯ (π‘) = 0, 2. Model Description ΔπΌ (π‘) = πΏπΌ , In the following, to establish our pest management model, we rely on the following biological assumptions. Δπ¦π½ (π‘) = πΏπ½ , (π΄1) The pest population is divided into two classes, the susceptible and infective. The infective pests neither recover nor reproduce and infective pests cannot damage crops. The disease is transmitted from infective pests to susceptible pests and does not propagate to predators. (π΄2) In the absence of susceptible pests, the crops have a logistic growth rate with intrinsic birth rate π and carrying capacity πΎ. (π΄3) The predators (natural enemies) have an age structure, that is, immature and mature. Only the mature predators have the ability to feed on susceptible pests, but do not prey on infective pests and crops. (π΄4) The functional response of the susceptible pest is described by the abstract function π1 , the functional response of the mature predator is described by the abstract function π2 , and the infection rate is described by the abstract function π, where π1 , π2 , and π satisfy certain assumptions outlined below. On the basis of the above assumptions, we establish the following impulsively controlled system: π₯σΈ (π‘) = ππ₯ (π‘) (1 − π₯ (π‘) ) − π1 (π₯ (π‘)) π (π‘) , πΎ πσΈ (π‘) = π½π1 (π₯ (π‘)) π (π‘) − π (πΌ (π‘)) π (π‘) − π2 (π (π‘)) π¦π (π‘) − ππ π (π‘) , Δπ (π‘) = 0, Δπ¦π (π‘) = πΏπ, π‘ = ππ, π ∈ N, (1) where π₯(π‘) represents the density of the crop at time π‘, π(π‘) represents the density of the susceptible pest at time π‘, πΌ(π‘) represents the density of the infective pest at time π‘, π¦π½ (π‘) and π¦π(π‘) represent the density of the immature and mature predator at time π‘, respectively; π is the logistic intrinsic growth rate of the crop in the absence of the susceptible pest, πΎ is its carrying capacity; 0 < π½, π ≤ 1 represent the conversion rate at which ingested preys in excess of what is needed for maintenance is translated into predator population increase; π is the rate at which the immature predators become the mature predators. ππ , ππΌ , ππ½ , ππ > 0 are the death rates of the susceptible pest population, infective pest population, and of the immature and mature predator population, respectively; Δπ₯(π‘) = π₯(π‘+ ) − π₯(π‘), Δπ(π‘) = π(π‘+ ) − π(π‘), ΔπΌ(π‘) = πΌ(π‘+ ) − πΌ(π‘), Δπ¦π½ (π‘) = π¦π½ (π‘+ ) − π¦π½ (π‘), Δπ¦π(π‘) = π¦π(π‘+ ) − π¦π(π‘); π is the period of the impulsive effect; πΏ (0 ≤ πΏ < (1 − π−ππ )/2) is the harvesting rate of crop population; 0 ≤ ππ , ππΌ , ππ½ , ππ < 1 denote the transfer rate of susceptible pest population, infective pest population, immature and mature predator population at every impulsive period (π + π − 1)π (π ∈ N, 0 < π < 1), respectively; πΏπΌ , πΏπ½ , πΏπ > 0 represents the amount of infective pests, immature and mature predators, respectively, which are released at every impulsive period ππ (π ∈ N), respectively; Also, π1 (⋅), π2 (⋅), π(⋅) ∈ π», here π» = {π : π → π | π(0) = 0, πσΈ (π₯) > 0 and πσΈ σΈ (π₯) ≤ 0 for all π₯ > 0}. Some familiar examples of functions π ∈ π» in the biological literature include πΌσΈ (π‘) = π (πΌ (π‘)) π (π‘) − ππΌ πΌ (π‘) , (πΉ1) π1 (π₯) = ππ₯, with π > 0; π¦π½σΈ (π‘) = ππ2 (π (π‘)) π¦π (π‘) − ππ½ π¦π½ (π‘) − ππ¦π½ (π‘) , (πΉ2) π2 (π₯) = ππ₯/(1 + ππ₯), with π, π > 0; σΈ π¦π (π‘) = ππ¦π½ (π‘) − πππ¦π (π‘) , π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ₯ (π‘) = −πΏπ₯ (π‘) , Δπ (π‘) = −ππ π (π‘) , ΔπΌ (π‘) = −ππΌ πΌ (π‘) , Δπ¦π½ (π‘) = −ππ½ π¦π½ (π‘) , Δπ¦π (π‘) = −πππ¦π (π‘) , π‘ = (π + π − 1) π, (πΉ3) π3 (π₯) = π(1 − π−ππ₯ ), with π, π > 0, where functions (πΉ1) and (πΉ2) are known as Holling type functional responses (see, [16–26]), and (πΉ3) belongs to Ivlev type functional responses (see, [27–30]). 3. Preliminaries In this section, we will give some definitions and lemmas, which will be useful for our main results. Let R+ = [0, ∞) and R5+ = {π = (π₯(π‘), π(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘)) ∈ R5 | π₯(π‘), π(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≥ 0}. Denote π = (ππ₯ , ππ , ππΌ , ππ½ , ππ)π the map defined by the right hand of the first five equations in system (1). Let π : R+ × R5+ → R+ , then π ∈ π0 if Abstract and Applied Analysis 3 (1) π is continuous in ((π − 1)π, (π + π − 1)π] × R5+ , ((π + π − 1)π, ππ] × R5+ and for each π₯ ∈ π +5 , π ∈ N, lim(π‘,π¦) → ((π+π−1)π+ ,π₯) π(π‘, π¦) = π((π + π − 1)π+ , π₯) and lim(π‘,π¦) → (ππ+ ,π₯) π(π‘, π¦) = π(ππ+ , π₯) exist. (2) π is locally Lipschitzian π₯. Definition 1. Letting π ∈ π0 , one defines the upper right derivative of π with respect to the impulsive differential system (1) at (π‘, π₯) ∈ ((π − 1)π, (π + π − 1)π] × R5+ and ((π + π − 1)π, ππ] × R5+ by 1 π·+ π (π‘, π₯) = lim sup [π (π‘ + β, π₯ + βπ (π‘, π₯)) − π (π‘, π₯)] . + β→0 β (2) Definition 2. The system (1) is said to be permanent if there are positive constants π, π > 0 and a finite time π0 such that all solutions of (1) with initial values π₯(0+ ), π(0+ ), πΌ(0+ ), π¦π½ (0+ ), π¦π(0+ ), π ≤ π₯(π‘), π(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≤ π hold for all π‘ ≥ π0 , where π and π are independent of initial value, π0 may depend on initial value. Lemma 5 (see [13, 15]). Consider the following system: VσΈ (π‘) ≤ (≥) π (π‘) V (π‘) + π (π‘) , V (π‘π+ ) ≤ (≥) ππ V (π‘π ) + ππ , π‘ =ΜΈ π‘π , π‘ = π‘π , π ∈ N, V (0+ ) ≤ (≥) V0 , where π, π ∈ ππΆ(R+ , R) and ππ ≥ 0, V0 and ππ are constants. Suppose that (π΄1) the sequence π‘π satisfies 0 ≤ π‘1 ≤ π‘2 < ⋅ ⋅ ⋅ , with limπ‘ → ∞ π‘π = ∞; (π΄2) V ∈ ππΆσΈ (R+ , R) and V(π‘) is left-continuous at π‘π , π ∈ N. Then, for π‘ > 0, π‘ V (π‘) ≤ (≥) V0 π∫0 π(π )ππ ∏ ππ 0<π‘π <π‘ Remark 3. The global existence and uniqueness of system (1) is guaranteed by the smoothness properties of π (for details, see [13, 14]). + ∑ ( ∏ ππ π π‘π Lemma 4 (see [15]). Let π : R+ × Rπ → Rπ + satisfy ππ ∈ π0 , π = 1, 2, . . . , π, and assume that + ∫ ( ∏ ππ ) π∫π π(π)ππ π (π ) ππ . π·+ π (π‘, π₯ (π‘)) ≤ (≥) π (π‘, π (π‘, π₯ (π‘))) , + π (π‘, π₯ (π‘ )) ≤ (≥) πππ (π (π‘, π₯ (π‘))) , π (π‘, π₯ (π‘+ )) ≤ (≥) ππ (π (π‘, π₯ (π‘))) , π‘=ΜΈ (π + π − 1) π, ππ, π‘ = (π + π − 1) π, π‘ = ππ, π ∈ N, + π₯ (0 ) = π₯0 , (3) π where π : R+ × Rπ + → R+ is continuous in ((π − 1)π, (π + π π − 1)π] × R and ((π + π − 1)π, ππ] × Rπ , for each π ∈ Rπ , π = 1, 2, . . ., the limit lim(π‘,π) → ((π+π−1)π+ ,π) π(π‘, π) = π((π+ π − 1)π+ , π) and lim(π‘,π) → ((π−1)π+ ,π) π(π‘, π) = π((π − 1)π+ , π) exists. π(π‘, π) is quasimonotone nondecreasing in π. πππ , ππ : → Rπ Rπ + + is nondecreasing for all π ∈ N. Let π(π‘) be the maximal (πππππππ) solution of the following impulsive differential equation on [0, ∞): π€σΈ (π‘) = π (π‘, π€ (π‘)) , π‘ =ΜΈ (π + π − 1) π, ππ, π€ (π‘+ ) = πππ (π€ (π‘)) , π€ (π‘+ ) = ππ (π€ (π‘)) , π‘ = (π + π − 1) π, π‘ = ππ, π ∈ N, (4) (5) π‘ ∫ π(π )ππ 0<π‘π <π‘ π‘π <π‘π <π‘ π‘ 0 ) ππ (6) π‘ π <π‘π <π‘ Lemma 6. There exists a constant π = max{(1/π)((πΏ/π) + (ππππ /(πππ − 1))), πΎ} > 0, such that π₯(π‘), π(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≤ π for each solution of (1) with π‘ large enough. Proof. Since π₯σΈ (π‘) ≤ ππ₯(1 − (π₯(π‘)/πΎ)), then π₯σΈ (π‘)|π₯(π‘)=πΎ ≤ 0, and π₯((π + π − 1)π+ ) ≤ π₯((π + π − 1)π) (0 < πΏ < 1), so π₯(π‘) ≤ πΎ for π‘ large enough. Let us define π(π‘) ∈ π0 by π(π‘) = ππ½π₯(π‘) + ππ(π‘) + ππΌ(π‘) + π¦π½ (π‘) + π¦π(π‘) and denote π = min{ππ , ππΌ , ππ½ , ππ}. Then, it is obvious that ππ½ππ₯2 (π‘) ππ (π‘) + ππ (π‘) ≤ ππ½ (π + π) π₯ (π‘) − , ππ‘ πΎ (7) π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ. Since the right-hand side (7) is bounded from above by πΏ = πΎππ½(π + π)2 /4π, it follows that ππ (π‘) + ππ (π‘) ≤ πΏ, ππ‘ π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ. (8) When π‘ = (π + π − 1)π and π‘ = ππ, it is easy to obtain that π€ (0+ ) = π€0 . + Then for any solution π₯(π‘) of the system (3), π(0 , π₯0 ) ≤ (≥)π€0 implies that π(π‘, π₯(π‘)) ≤ (≥)π(π‘) for all π‘ ≥ 0. π ((π + π − 1) π+ ) ≤ π ((π + π − 1) π) , π (ππ+ ) = π (ππ) + (ππΏπΌ + πΏπ½ + πΏπ) . (9) 4 Abstract and Applied Analysis Lemma 9. Let one consider the following impulsive control subsystem: Then, by Lemma 5, we can obtain that π‘ π (π‘) ≤ π (0) π−ππ‘ + ∫ πΏπ−π(π‘−π ) ππ π§σΈ (π‘) = π (π‘) − ππ§ (π‘) , 0 + ∑ ππ−π(π‘−ππ) σ³¨→ 0<ππ<π‘ ππ ππ πΏ , + ππ π π −1 Δπ§ (π‘) = −ππ§ (π‘) , π‘ σ³¨→ ∞, Δπ§ (π‘) = πΏ, (10) where π = ππΏπΌ + πΏπ½ + πΏπ. So it follows that π(π‘) is uniformly bounded on [0, ∞). The proof is completed. Lemma 7 (see [31]). Let one consider the following impulsive control subsystem: π₯σΈ (π‘) = ππ₯ (π‘) (1 − π₯ (π‘) ), πΎ π‘ =ΜΈ (π + π − 1) π, (11) π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, π‘ = (π + π − 1) π, π§ (0+ ) = π§0 , where π(π‘) is a π-periodic ππΆ(R+ , R) function. π, π are the positive real constants and π < 1. Then system (14) has a unique T-periodic solution π§∗ (π‘), and for each solution π§(π‘) of (14), π§(π‘) → π§∗ (π‘) as π‘ → ∞, where π§∗ (π‘) = π−π(π‘−(π−1)π) (π§∗ (0+ ) + ∫ π‘−(π−1)π 0 Δπ₯ (π‘) = −πΏπ₯ (π‘) , π‘ = (π + π − 1) π. π§∗ (π‘) = π−π(π‘−(π−1)π) (π§∗ (ππ+ ) ππππ + ∫ (2) If πΏ < πΏ0∗ , then the system (11) has a unique positive periodic solution π₯∗ (π‘), which is globally asymptotically stable, where πΎ (1 − πΏ − π−ππ ) πΎ ((1 − πΏ) π (ππππ − 1) + (1 − π§∗ (0+ ) ππ = = − 1) πΏ) (πππ π‘ ∈ ((π + π − 1) π, ππ] , π [(1 − π) ∫0 π (π ) πππ ππ + ∫ππ π (π ) πππ ππ ] π−ππ + πΏ 1 − (1 − π) π−ππ ππ π‘ ∈ ((π + π − 1) π, (π + π) π] , π ∈ N, π₯∗ (0+ ) = π₯∗ (ππ+ ) = π (π ) πππ ππ ) , , π§∗ (ππ+ ) , 1 − πΏ − π−ππ + πΏπ−π(π‘−(π+π−1)π) ππ π‘−(π−1)π ππ (1) If πΏ > πΏ0∗ , then the trivial periodic solution of system (11) is locally asymptotically stable. π₯ (π‘) = π (π ) πππ ππ ) , π‘ ∈ ((π − 1) π, (π + π − 1) π] , Suppose πΏ0∗ = 1 − π−ππ . Then one has the following results. ∗ (14) π‘ = ππ, π ∈ N, − ππππ) π (1 − π) [∫0 π (π ) πππ ππ + π−ππ ∫ππ π (π ) πππ ππ + πΏ] π−πππ 1 − (1 − π) π−ππ (15) . (12) Proof. First, it is easy to obtain that π‘ π§ (π‘) = π−ππ‘ (π§ (0+ ) + ∫ π (π ) πππ ππ ) , Remark 8. From Lemma 7, we have 0 (1π) if πΏ0∗ > 2πΏ, then π₯∗ (π‘) > πΎ/2 for all π‘ ≥ 0; π‘ ∈ (0, ππ] , π‘ π§ (π‘) = π−π(π‘−ππ) π§ (ππ+ ) + π−ππ‘ ∫ π (π ) πππ ππ , ππ (2π) if π‘ ∈ ((π − 1)π, ππ], π ∈ N, then the periodic solution π₯∗ (π‘) can be rewritten in the form πΎ (1 − πΏ − π−ππ ) { { , { { { 1 − πΏ − π−ππ + πΏπ−π(π−ππ) π−π(π‘−(π−1)π) { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , π₯∗ (π‘) = { { πΎ (1 − πΏ − π−ππ ) { { { , { { { 1 − πΏ − π−ππ + πΏπ−π(π‘−(π+π−1)π) { π‘ ∈ ((π + π − 1) π, ππ] , π ∈ N. { . π‘ ∈ (ππ, π] . (16) Since the T-periodicity requirement, we have (13) π§∗ (ππ+ ) = π−πππ (π§∗ (0+ ) + ∫ ππ 0 ∗ + −π(π−ππ) ∗ π§ (0 ) = π + π (π ) πππ ππ ) (1 − π) , −ππ π§ (ππ ) + π π (17) ππ ∫ π (π ) π ππ + πΏ. ππ Abstract and Applied Analysis 5 π₯σΈ (π‘) = ππ₯ (π‘) (1 − By (17), we can obtain that πΌσΈ (π‘) = −ππΌ πΌ (π‘) , π§∗ (0+ ) ππ = π¦π½σΈ (π‘) = − (ππ½ + π) π¦π½ (π‘) , π [(1 − π) ∫0 π (π ) πππ ππ + ∫ππ π (π ) πππ ππ ] π−ππ + πΏ 1 − (1 − π) π−ππ σΈ π¦π (π‘) = ππ¦π½ (π‘) − πππ¦π (π‘) , , π‘ =ΜΈ (π + π − 1) π, π§∗ (ππ+ ) π‘ =ΜΈ ππ, ππ = π₯ (π‘) ), πΎ ππ −ππ (1 − π) [∫0 π (π ) π ππ + π 1 − (1 − π ππ −πππ ∫ππ π (π ) π ππ + πΏ] π . π) π−ππ (18) Δπ₯ (π‘) = −πΏπ₯ (π‘) , ΔπΌ (π‘) = −ππΌ πΌ (π‘) , Δπ¦π½ (π‘) = −ππ½ π¦π½ (π‘) , Δπ¦π (π‘) = −πππ¦π (π‘) , So, we will obtain the T-periodic solution of (14): π‘ = (π + π − 1) π, Δπ₯ (π‘) = 0, π§∗ (π‘) = π−π(π‘−(π−1)π) (π§∗ (0+ ) + ∫ π‘−(π−1)π 0 ΔπΌ (π‘) = πΏπΌ , π (π ) πππ ππ ) , Δπ¦π½ (π‘) = πΏπ½ , π‘ ∈ ((π − 1) π, (π + π − 1) π] , π§∗ (π‘) = π−π(π‘−(π−1)π) (π§∗ (ππ+ ) ππππ + ∫ π‘−(π−1)π ππ π (π ) πππ ππ ) , π‘ ∈ ((π + π − 1) π, ππ] . (19) Let π(π‘) = π§(π‘) − π§∗ (π‘). Substituting π(π‘) into (14), we have πσΈ (π‘) = −ππ (π‘) , π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ (π‘) = −ππ (π‘) , Δπ (π‘) = 0, π‘ = (π + π − 1) π, π‘ = ππ, π ∈ N, (20) π (0+ ) = π§0 − π§∗ (0+ ) . + −ππ‘ Then, π(π‘) = π(0 )π ∏0<(π+π−1)π<π‘ (1−π) → 0, as π‘ → ∞. The proof is completed. 4. Main Results 4.1. Local and Global Stability. In this section, we will study the existence and stability of the system (1) susceptible pest∗ (π‘)). eradication periodic solution (π₯∗ (π‘), 0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π To this purpose, it is seen first that when π(π‘) = 0, system (1) can be rewritten in the form Δπ¦π (π‘) = πΏπ, π‘ = ππ, (21) which describes the dynamics of system (1) in the absence of the susceptible pest population. So, when π‘ ∈ ((π − 1)π, ππ](π ∈ N), we can calculate the T-periodic solution of (21) by Lemmas 7 and 9. It is seen that πΎ (1 − πΏ − π−ππ ) { { { , { { 1 − πΏ − π−ππ + πΏπ−π(π−ππ) π−π(π‘−(π−1)π) { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , π₯∗ (π‘) = { { πΎ (1 − πΏ − π−ππ ) { { { , { −ππ −π(π‘−(π+π−1)π) { { { 1 − πΏ − π + πΏπ π‘ ∈ ((π + π − 1) π, ππ] , { (22) πΏπΌ π−ππΌ (π‘−(π−1)π) { { , { { 1 − (1 − ππΌ ) π−ππΌ π { { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , πΌ∗ (π‘) = { { πΏπΌ (1 − ππΌ ) π−ππΌ (π‘−(π−1)π) { { , { { −ππΌ π { { { 1 − (1 − ππΌ ) π π‘ ∈ ((π + π − 1) π, ππ] , { (23) πΏπ½ π−(π+ππ½ )(π‘−(π−1)π) { { { , { { { 1 − (1 − ππ½ ) π−(π+ππ½ )π { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , π¦π½∗ (π‘) = { { πΏ (1 − ππ½ ) π−(π+ππ½ )(π‘−(π−1)π) { π½ { { , { { 1 − (1 − ππ½ ) π−(π+ππ½ )π { { { π‘ ∈ ((π + π − 1) π, ππ] , { (24) 6 Abstract and Applied Analysis ∗ π¦π (π‘) −ππ (π‘−(π−1)π) ∗ (π¦π (0+ ) + π΄ (π‘ − (π − 1) π)) , {π { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , = { −ππ (π‘−(π−1)π) ∗ { π (π¦π (ππ+ ) πππ ππ + π΅ (π‘ − (π − 1) π)) , { { π‘ ∈ ((π + π − 1) π, ππ] , { (25) ∗ π¦π (0+ ) = ∗ (ππ+ ) = π¦π [(1 − ππ) π΄ (ππ) + π΅ (π)] π−ππ π + πΏπ , 1 − (1 − ππ) π−ππ π (26) (1 − ππ) [π΄ (ππ) + π−ππ π π΅ (π) + πΏπ] π−ππ ππ 1 − (1 − ππ) π−ππ π In the following, we present two main results with the locally and globally asymptotical stability of the susceptible pest-eradication periodic solution (π₯∗ (π‘), 0, πΌ∗ (π‘), ππ½∗ (π‘), ∗ ππ (π‘)). , (27) π π 0 0 π½ ∫ π1 (π₯∗ (π‘)) ππ‘ − ∫ π (πΌ∗ (π‘)) ππ‘ − (ππ −(π+ππ½ ))π‘ ππΏπ½ (π − 1) (1 − (1 − ππ½ ) π−(π+ππ½ )π ) (ππ − (π + ππ½ )) , ππΏπ½ (1 − ππ½ ) (π(ππ −(π+ππ½ ))π‘ − π(ππ −(π+ππ½ ))ππ ) (1 − (1 − ππ½ ) π−(π+ππ½ )π ) (ππ − (π + ππ½ )) π2σΈ (0) ∫ π 0 ∗ π¦π (π‘) ππ‘ 1 , − ππ π < ln 1 − ππ (30) then the susceptible pest-eradication periodic solution (π₯∗ (π‘), 0, ∗ (π‘)) of system (1) is locally asymptotically stable. πΌ∗ (π‘), π¦π½∗ (π‘), π¦π π‘ ∈ (0, ππ] , π΅ (π‘) = (3) unstable if there is a Floquet multipliers π π (1 ≤ π ≤ π) of (29) such that |π π | > 1. Theorem 11. If where π΄ (π‘) = (2) asymptotically stable if and only if all Floquet multipliers π π (1 ≤ π ≤ π) of (29) satisfy |π π | < 1; Proof. Let (π₯(π‘), π(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘)) be any solution of system (1). We define error π1 (π‘) = π₯(π‘) − π₯∗ (π‘), π2 (π‘) = π(π‘), π3 (π‘) = πΌ(π‘) − πΌ∗ (π‘), π4 (π‘) = π¦π½ (π‘) − π¦π½∗ (π‘), π5 (π‘) = ∗ π¦π(π‘) − π¦π (π‘). The linearized system of (1) at (π₯∗ (π‘), ∗ ∗ ∗ (π‘)) is 0, πΌ (π‘), π¦π½ (π‘), π¦π , π‘ ∈ (ππ, π] . (28) To discuss the locally asymptotical stability of the susceptible pest-eradication periodic solution, we now introduce the Floquet theory for a linear impulsive control system: πσΈ (π‘) = π΄ (π‘) π (π‘) , Δπ (π‘) = π΅π π (π‘) , π‘ =ΜΈ ππ , π‘ = ππ , π ∈ N, (29) under the following conditions: π1σΈ (π‘) = (π − 2π π₯∗ (π‘) ) π1 (π‘) − π1 (π₯∗ (π‘)) π2 (π‘) , πΎ ∗ π2σΈ (π‘) = (π½π1 (π₯∗ (π‘)) − π (πΌ∗ (π‘)) − π2σΈ (0) π¦π (π‘) − ππ ) π2 (π‘) , π3σΈ (π‘) = π (πΌ∗ (π‘)) π2 (π‘) − ππΌ π3 (π‘) , ∗ π4σΈ (π‘) = ππ2σΈ (0) π¦π (π‘) π2 (π‘) − (ππ½ + π) π4 (π‘) , π5σΈ (π‘) = ππ4 (π‘) − πππ5 (π‘) , H1: π΄(⋅) ∈ PC(R, ππ (R)) and π΄(π‘ + π) = π΄(π‘) for π‘ ≥ 0. π‘=ΜΈ (π + π − 1) π, H2: π΅π ∈ ππ , det(πΌπ + π΅π ) =ΜΈ 0, ππ < ππ+1 for π ∈ N, and πΌπ denotes the π × π real identity matrix. H3: There is a π ∈ N such that π΅π+π = π΅π , ππ+π = ππ + π for π ∈ N. Let Ψ(π‘) be a fundamental matrix of (29), then there is a unique reversible matrix π ∈ ππ (R) such that Ψ(π‘ + π) = Ψ(π‘)π for all π‘ ∈ R, which is called the monodromy matrix of (29) corresponding to Ψ. All monodromy matrices of (29) are similar and they have the same eigenvalues π 1 , π 2 , . . . , π π , which are called the Floquet multipliers of (29). Lemma 10 (see [13] (Floquet theory)). Let the conditions H1– H3 hold. Then system (29) have the following properties (1) stable if and only if all Floquet multipliers π π (1 ≤ π ≤ π) of (29) satisfy |π π | ≤ 1 and moreover, to those π π for which |π π | = 1, there correspond simple elementary divisors; π‘ =ΜΈ ππ, Δπ1 (π‘) = −πΏπ1 (π‘) , Δπ2 (π‘) = −ππ π2 (π‘) , Δπ3 (π‘) = −ππΌ π3 (π‘) , Δπ4 (π‘) = −ππ½ π4 (π‘) , Δπ5 (π‘) = −πππ5 (π‘) , π‘ = (π + π − 1) π, Δπ1 (π‘) = Δπ2 (π‘) = Δπ3 (π‘) = Δπ4 (π‘) = Δπ5 (π‘) = 0, π‘ = ππ. (31) Let Ψ(π‘) be the fundamental matrix of (31), then Ψ(π‘) satisfies Abstract and Applied Analysis 7 π₯∗ (π‘) π1 (π₯∗ (π‘)) πΎ ∗ 0 π½π1 (π₯∗ (π‘)) − π (πΌ∗ (π‘)) − π2σΈ (0) π¦π (π‘) − ππ 0 0 0 0 0 0 −ππΌ 0 0 − (ππ½ + π) 0 π π − 2π πΨ (π‘) ( =( ( ππ‘ ∗ 0 π (πΌ (π‘)) ππ2σΈ 0 ∗ (0) π¦π (π‘) 0 ( 0 ) ) 0 ) Ψ (π‘) . (32) 0 −ππ) Then, a fundamental matrix Ψ(π‘) (Ψ(0) = πΌ4 ) of (31) is π‘ π∫0 (π−2π(π₯ ∗ (π )/πΎ))ππ 0 ( ( Ψ (π‘) = ( ( ( π12 (π‘) π‘ ∗ ∫0 (π½π1 (π₯∗ (π ))−π(πΌ∗ (π ))−π2σΈ (0)π¦π (π )−ππ )ππ π 0 0 0 0 ) ) , 0 ) ) 0 0 0 −ππΌ π‘ 0 0 π32 (π‘) 0 π42 (π‘) 0 π−(ππ½ +π)π‘ 0 π52 (π‘) 0 π54 (π‘) where π (33) π−ππ π‘ ) The resetting impulsive condition of (31) becomes π‘ π12 (π‘) = − π− ∫0 (π−2π(π₯ π‘ ∗ ∗ π1 ((π + π − 1) π+ ) π2 ((π + π − 1) π+ ) (π3 ((π + π − 1) π+ )) π4 ((π + π − 1) π+ ) π5 ((π + π − 1) π+ ) (π )/πΎ))ππ 1−πΏ 0 0 0 0 0 0 0 0 1 − ππ 0 0 ) 0 1 − ππΌ =( 0 0 0 0 0 1 − ππ½ 0 0 0 0 1 − ππ π ∗ ∫0 (π½π1 (π₯∗ (π))−π(πΌ∗ (π))−π2σΈ (0)π¦π (π)−ππ )ππ × ∫ π1 (π₯ (π )) π 0 π × π∫0 (π−2π(π₯ ∗ (π)/πΎ))ππ ππ , π32 (π‘) π‘ π = π−ππΌ π‘ ∫ π (πΌ∗ (π )) π∫0 (π½π1 (π₯ ∗ ∗ (π))−π(πΌ∗ (π))−π2σΈ (0)π¦π (π)−ππ )ππ 0 × πππΌ π ππ , π42 (π‘) π‘ π ∗ = π−ππ½ π‘ ∫ ππ2σΈ (0) π¦π (π ) π∫0 (π½π1 (π₯ ∗ ∗ (π))−π(πΌ∗ (π))−π2σΈ (0)π¦π (π)−ππ )ππ π1 ((π + π − 1) π) π2 ((π + π − 1) π) × (π3 ((π + π − 1) π)) , π4 ((π + π − 1) π) π5 ((π + π − 1) π) π1 (ππ+ ) 1 π2 (ππ+ ) 0 (π3 (ππ+ )) = (0 0 π4 (ππ+ ) 0 π5 (ππ+ ) 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 π1 (ππ) π2 (ππ) 0 0) (π3 (ππ)) . π4 (ππ) 0 π5 (ππ) 1 0 ππ½ π × π ππ , Then, it is easy to obtain all eigenvalues of π‘ π52 (π‘) = π−ππ π‘ ∫ ππ42 (π ) πππ π ππ , 0 −(ππ½ +π)π‘ π54 (π‘) = π (π −ππ π‘ −π ππ − (ππ½ + π) ) . (34) 1−πΏ 0 0 0 0 0 0 0 0 1 − ππ 0 0 ) 0 1 − ππΌ π= ( 0 0 0 0 0 1 − ππ½ 0 0 0 0 1 − ππ (35) 8 Abstract and Applied Analysis 1 0 × (0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 σΈ π¦π (π‘) = ππ¦π½ (π‘) − πππ¦π (π‘) , 0 0 0) Ψ (π) . 0 1 π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ₯ (π‘) = −πΏπ₯ (π‘) , (36) π We have π 1 = (1 − πΏ)π∫0 (π−2π(π₯ π ∗ ∗ σΈ ∗ (π )/πΎ))ππ ∗ ΔπΌ (π‘) = −ππΌ πΌ (π‘) , , π 2 = (1 − ππ ) Δπ¦π½ (π‘) = −ππ½ π¦π½ (π‘) , π∫0 (π½π1 (π₯ (π ))−π(πΌ (π ))−π2 (0)π¦π (π )−ππ )ππ , π 3 = (1 − ππΌ )π−ππΌ π < 1, π 4 = (1 − ππ½ )π−(ππ½ +π)π < 1 and π 5 = (1 − ππ)π−ππ π < 1. Since π₯∗ (π‘) > (πΎ/2), so π 1 < 1. By the condition (30), we have π 2 < 1. Therefore, according to Lemma 10, the susceptible pest∗ (π‘)) of eradication periodic solution (π₯∗ (π‘), 0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π system (1) is locally asymptotically stable. The proof is completed. Δπ¦π (π‘) = −πππ¦π (π‘) , π‘ = (π + π − 1) π, Δπ₯ (π‘) = 0, ΔπΌ (π‘) = πΏπΌ , Δπ¦π½ (π‘) = πΏπ½ , Theorem 12. If π Δπ¦π (π‘) = πΏπ, π π½ ∫ π1 (π₯∗ (π‘)) ππ‘ − ∫ π (πΌ∗ (π‘)) ππ‘ 0 0 π ∗ − min π2σΈ (π) ∫ π¦π (π‘) ππ‘ − ππ π < ln 0≤π≤ππ 0 1 , 1 − ππ where ππ is an ultimate boundedness constant for S, then the susceptible pest-eradication periodic solution (π₯∗ (π‘), 0, ∗ (π‘)) of system (1) is globally asymptotically πΌ∗ (π‘), π¦π½∗ (π‘), π¦π stable. (40) From the first equation of system (40), we obtain the following comparison system: ]σΈ (π‘) = π] (π‘) (1 − ] (π‘) ), πΎ Δ] (π‘) = −πΏ] (π‘) , Proof. Since π π π½ ∫ π1 (π₯∗ (π‘)) ππ‘ − ∫ π (πΌ∗ (π‘)) ππ‘ 0 − π‘ = ππ, π ∈ N. (37) 0 min πσΈ 0≤π≤ππ 2 (π) ∫ π 0 ∗ π¦π (π‘) ππ‘ 1 − ππ π < ln , 1 − ππ (38) π₯ (π‘) ≤ π₯∗ (π‘) + π. 0 π ∗ (π‘) − π) ππ‘ − π π − min π2σΈ (π) ∫ (π¦π π 0≤π≤ππ − ln 0 (39) 1 = π < 0, 1 − ππ ∗ (π‘) is defined in the following. According to system where π¦π (1), we have π₯σΈ (π‘) ≤ ππ₯ (π‘) (1 − π₯ (π‘) ), πΎ πΌσΈ (π‘) ≥ −ππΌ πΌ (π‘) , π¦π½σΈ (π‘) ≥ −ππ½ π¦π½ (π‘) − ππ¦π½ (π‘) , (42) Let us define π(π‘) = (π1 (π‘), π2 (π‘))π ∈ πΆ[R+ × R2 , R2+ ] and ππ (π‘) ∈ π0 , (π = 1, 2), where π1 (π‘) = πΌ(π‘), π2 (π‘) = π¦π½ (π‘). Then, we have π π½ ∫ π1 (π₯∗ (π‘) + π) ππ‘ − ∫ π (πΌ∗ (π‘) − π) ππ‘ 0 (41) π‘ = (π + π − 1) π. By Lemma 7, system (41) has a positive periodic solution ]∗ (π‘), and for any solution ](π‘) of (41), ](π‘) → ]∗ (π‘) as π‘ large enough, where ]∗ (π‘) = π₯∗ (π‘). Then, according to Lemmas 4 and 7, there exists a positive constant π∗ such that for all π‘ ≥ π∗ π we can choose an π small enough such that π π‘ =ΜΈ (π + π − 1) π, πσΈ (π‘) ≥ ( −ππΌ πΌ (π‘) −π 0 )=( πΌ ) π (π‘) , − (ππ½ + π) π¦π½ (π‘) 0 − (ππ½ + π) π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, (43) 0 1 − ππΌ ) π ((π + π − 1) π) , π ((π + π − 1) π+ ) = ( 0 1 − ππ½ πΏ 1 0 π (ππ+ ) = ( ) π (ππ) + ( πΌ ) , πΏπ½ 0 1 π (0+ ) = (πΌ (0+ ) , π¦π½ (0+ )) . (44) Abstract and Applied Analysis 9 Then, the multicomparison system of (43) is π€σΈ (π‘) = π΄π€ (π‘) , Therefore, πσΈ (π‘) ≤ [π½π1 (π₯∗ (π‘) + π) − π (πΌ∗ (π‘) − π) π‘ =ΜΈ (π + π − 1) π, ππ, π€ (π‘+ ) = π΅π€ (π‘) , π‘ = (π + π − 1) π, + π€ (π‘ ) = πΌ2 π€ (π‘) + πΆ, ∗ − min π2σΈ (π) (π¦π (π‘) − π) − ππ ] π (π‘) , (45) π‘ = ππ, 0≤π≤ππ π‘ =ΜΈ (π + π − 1) π, π€ (0+ ) = π (0+ ) , −π 0 1−π 0 π‘ =ΜΈ ππ, πΏ where π΄ = ( 0 πΌ −(ππ½ +π) ) , π΅ = ( 0 πΌ 1−ππ½ ), and πΆ = ( πΏπ½πΌ ). By Lemma 9, it is easy to obtain a periodic solution (πΌ∗ (π‘), π¦π½∗ (π‘))π of system (45). Then, according to Lemmas 4 and 9, one may find π0∗ (π0∗ > π∗ ) such that for all π‘ ≥ π0∗ π ∗ πΌ (π‘) ≥ πΌ (π‘) − π, π¦π½ (π‘) ≥ π¦π½∗ (π‘) − π. (46) σΈ (π‘) ≥ From the fourth equation of system (40), we have π¦π ∗ π(π¦π½ (π‘) − π) − πππ¦π(π‘), by Lemmas 4 and 9, there exists π1∗ (π1∗ > π0∗ ) such that for all π‘ ≥ π1∗ π ∗ (π‘) − π, π¦π (π‘) ≥ π¦π (50) (47) where Δπ (π‘) = −ππ π (π‘) , Δπ (π‘) = 0, π‘ = (π + π − 1) π, π‘ = ππ, for π‘ ≥ π1∗ π. Let π ∈ N and (π + π − 1) ≥ π1∗ . Integrating (50) on ((π + π − 1)π, (π + π)π], π ≥ π, we have π ((π + π) π) ≤ π ((π + π − 1) π) (1 − ππ ) (π+π)π ∗ ∗ (π‘)−π)−π(πΌΜ ∗ (π‘)+π)− min πσΈ (π)(π¦ Μ Μ ∫(π+π−1)π (π½π1 (π₯ 2 π (π‘)+π)−ππ )ππ‘ ×π 0≤π≤ππ = π ((π + π − 1) π) ππ . −ππ (π‘−(π−1)π) π { { { ∗ (0+ ) { × (π¦π { { { π‘−(π−1)π { { { { +π ∫ (π¦π½∗ (π‘) − π) πππ π ππ ) , { { { 0 { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , ∗ π¦π (π‘) = { −ππ (π‘−(π−1)π) {π { { { {× (π¦∗ (ππ+ )πππ ππ { { π { { π‘−(π−1)π { { { +π ∫ (π¦π½∗ (π‘) − π) πππ π ππ ) , { { { ππ { π‘ ∈ ((π + π − 1) π, ππ] , { ∗ (0+ ) = (π [(1 − π ) ∫ π¦π π ππ 0 (51) (48) π₯σΈ (π‘) ≥ (π − π1σΈ (0) π0 ) π₯ (π‘) (1 − (π¦π½∗ (π‘) − π) πππ π ππ ππ₯ (π‘) ), πΎ (π − π1σΈ (0) π0 ) πΌσΈ (π‘) ≤ − (ππΌ − πσΈ (0) π0 ) πΌ (π‘) , π + ∫ (π¦π½∗ (π‘) − π) πππ π ππ ] π−ππ π + πΏπ) ππ −ππ π −1 × (1 − (1 − ππ) π Then π(π‘) ≤ π((π+π)π)πππ for π‘ ∈ ((π+π+π)π, (π+π+π+1)π]. Since π < 0, we can easily get π(π‘) → 0, as π‘ → ∞. In the following, we prove π₯(π‘) → π₯∗ (π‘), πΌ(π‘) → πΌ∗ (π‘), π¦π½ (π‘) → ∗ (π‘), as π‘ → ∞. Give π0 > 0 small enough π¦π½∗ (π‘), π¦π(π‘) → π¦π σΈ (π0 < (π/π 1 (0))), there must exist π2∗ (π2∗ > π1∗ ) such that π(π‘) < π0 , for π‘ ≥ π2∗ π. Then, we have ) , π¦π½σΈ (π‘) ≤ ππ2 (π0 ) π − (ππ½ + π) π¦π½ (π‘) , σΈ π¦π (π‘) = ππ¦π½ (π‘) − πππ¦π (π‘) , π‘ =ΜΈ (π + π − 1) π, ∗ (ππ+ ) π¦π π‘ =ΜΈ ππ, = ((1 − ππ) [π ∫ ππ 0 Δπ₯ (π‘) = −πΏπ₯ (π‘) , (π¦π½∗ (π‘) − π) πππ π ππ ΔπΌ (π‘) = −ππΌ πΌ (π‘) , π + ππ−ππ π ∫ (π¦π½∗ (π‘) − π) πππ π ππ + πΏπ] ππ Δπ¦π½ (π‘) = −ππ½ π¦π½ (π‘) , Δπ¦π (π‘) = −πππ¦π (π‘) , × π−ππ ππ ) π‘ = (π + π − 1) π, −1 Δπ₯ (π‘) = 0, × (1 − (1 − ππ) π−ππ π ) . (49) ΔπΌ (π‘) = πΏπΌ , 10 Abstract and Applied Analysis ∗ + π¦Μ π½ (ππ ) Δπ¦π½ (π‘) = πΏπ½ , Δπ¦π (π‘) = πΏπ, ππ = ((1 − ππ½ ) [ππ2 (π0 ) π ∫ 0 π‘ = ππ. π (52) Analyzing (52) with similarity as (40), there exists π3∗ (π3∗ > π2∗ ) such that for all π‘ ≥ π3∗ π ∗ (π‘) − π, Μ π₯ (π‘) ≥ π₯ ∗ (π‘) + π, πΌ (π‘) ≤ πΌΜ ∗ Μ π¦π½ (π‘) ≤ π¦ π½ (π‘) + π, ∗ π¦π (π‘) ≤ π¦Μ π (π‘) + π, (53) where ∗ (π‘) Μ π₯ σΈ πΎ (π − π1σΈ (0) π0 ) (1 − πΏ − π−(π−π1 (0)π0 )π ) { { { σΈ { { × (π [1 − πΏ − π−(π−π1 (0)π0 )π { { { { −1 σΈ σΈ { { { +πΏπ−(π−π1 (0)π0 )(π−ππ) π−(π−π1 (0)π0 )(π‘−(π−1)π) ]) , { { ={ π‘ ∈ ((π − 1) π, (π + π − 1) π] , { { { σΈ −(π−π1σΈ (0)π0 )π { πΎ (π − π ) ) π (0) { 0 (1 − πΏ − π 1 { { { , { { −(π−π1σΈ (0)π0 )π + πΏπ−(π−π1σΈ (0)π0 )(π‘−(π+π−1)π) ] { { { π [1 − πΏ − π π‘ ∈ ((π + π − 1) π, ππ] , { ∗ (π‘) πΌΜ +π−(π+ππ½ )π ππ2 (π0 ) π ∫ π(π+ππ½ )π ππ + πΏπ½ ] ππ −1 ×π−(π+ππ½ )ππ ) (1 − (1 − ππ½ )π−(π+ππ½ )π ) , ∗ π¦Μ π (π‘) −ππ (π‘−(π−1)π) π { { { { ∗ + { × (π¦Μ { π (0 ) { { { π‘−(π−1)π { { ππ π ∗ { (π¦Μ ππ ) , + π ∫ { π½ (π‘) + π) π { { 0 { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , = { −ππ (π‘−(π−1)π) { π { { { { ∗Μ+ ππ ππ { × (π¦π (ππ )π { { { { π‘−(π−1)π { { ππ π ∗ { +π ∫ (π¦Μ ππ ) , { π½ (π‘) + π) π { { ππ { { π‘ ∈ ((π + π − 1) π, ππ] , { ∗ + π¦Μ π (0 ) = (π [(1 − ππ) ∫ ππ 0 π πΏπΌ π { { , { σΈ { { 1 − (1 − ππΌ ) π−(ππΌ −π (0)π0 )π { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , ={ −(ππΌ −πσΈ (0)π0 )(π‘−(π−1)π) { πΏ (1 − π { πΌ πΌ) π { { , { { 1 − (1 − ππΌ ) π−(ππΌ −πσΈ (0)π0 )π { { π‘ ∈ ((π + π − 1) π, ππ] , { ππ −1 × (1 − (1 − ππ)π−ππ π ) , ∗ Μ (ππ+ ) π¦π = ( (1 − ππ) ∗ Μ π¦ π½ (π‘) ππ −(π+ππ½ )(π‘−(π−1)π) π { { π‘−(π−1)π (π+π )π { ∗ + { π½ { × (π¦Μ π ππ ) , { π½ (0 ) + ππ2 (π0 ) π ∫0 { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , { { { {π−(π+ππ½ )(π‘−(π−1)π) ={ { Μ { { × (π¦π½∗ (ππ+ )π(π+ππ½ )ππ { { { { { π‘−(π−1)π (π+π )π { π½ { +ππ2 (π0 ) π ∫ππ π ππ ) , { { { π‘ ∈ + π − 1) π, ππ] , ((π { ∗ + π¦Μ π½ (0 ) ππ 0 ππ π ∗ Μ (π¦ ππ π½ (π‘) + π) π ππ π ∗ Μ ππ ] π−ππ π + πΏπ) + ∫ (π¦ π½ (π‘) + π) π −(ππΌ −πσΈ (0)π0 )(π‘−(π−1)π) = (ππ2 (π0 ) π [(1 − ππ½ ) ∫ π(π+ππ½ )π ππ π π(π+ππ½ )π ππ + ∫ π(π+ππ½ )π ππ ] ππ −1 × π−(π+ππ½ )π + πΏπ½ ) (1 − (1 − ππ½ )π−(π+ππ½ )π ) , × [π ∫ 0 ππ π ∗ (π¦Μ ππ + ππ−ππ π π½ (π‘) + π) π π ππ π ∗ Μ × ∫ (π¦ ππ + πΏπ] π−ππ ππ ) π½ (π‘) + π) π ππ −1 × (1 − (1 − ππ)π−ππ π ) . (54) ∗ (π‘) → π¦∗ (π‘), π₯ ∗ (π‘) → π₯∗ (π‘), Μ Letting π, π0 → 0, we have π¦π π ∗ ∗ ∗ ∗ ∗ (π‘) → πΌ∗ (π‘), π¦ Μ Μ πΌΜ π½ (π‘) → π¦π½ (π‘), π¦π (π‘) → π¦π (π‘). Together with (42), (46), (47), and (53), we get π₯(π‘) → π₯∗ (π‘), πΌ(π‘) → ∗ (π‘) as π‘ → ∞. πΌ∗ (π‘), π¦π½ (π‘) → π¦π½∗ (π‘), π¦π(π‘) → π¦π Therefore, the susceptible pest-eradication periodic solution ∗ (π‘)) is globally attractive. Since (37) (π₯∗ (π‘), 0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π implies (30), it follows from Theorem 11 that (π₯∗ (π‘), 0, πΌ∗ (π‘), Abstract and Applied Analysis 11 π¦π½∗ (π‘)) is locally asymptotically stable. So, the susceptible pest∗ eradication periodic solution (π₯∗ (π‘), 0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π (π‘)) of system (1) is globally asymptotically stable. The proof is completed. 4.2. Permanence. Next, we will discuss the permanence of system (1). In order to facilitate discussion, we give one lemma. Lemma 13. There exists a constant π4 > 0, such that π₯(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≥ π4 for each solution of (1) with π‘ large enough. so π₯(π‘) ≥ π0 for π‘ ≥ π4∗ π. Next, we will discuss the rest of parts. From (46) and (47), we know that there exists π5∗ (π5∗ > max{π1∗ , π4∗ }) such that πΌ(π‘) ≥ πΌ∗ (π‘) − π, π¦π½ (π‘) ≥ π¦π½∗ (π‘) − π, and ∗ (π‘) − π for all π‘ ≥ π∗ π. By (22), (23), and (48), we π¦π(π‘) ≥ π¦π 5 have πΌ(π‘) ≥ (πΏπΌ (1 − ππΌ )π−ππΌ π /(1 − (1 − ππΌ )π−ππΌ π )) − π = π1 > 0, π¦π½ (π‘) ≥ (πΏπ½ (1 − ππ½ )π−(π+ππ½ )π /(1 − (1 − ππ½ )π−(π+ππ½ )π )) − π = π2 > ∗ (π‘). 0, and π¦π(π‘) ≥ ππ −π = π3 > 0, where ππ = min0<π‘≤π π¦π Let π4 = min{π0 , π1 , π2 , π3 }, then π₯(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≥ π4 for π‘ ≥ π5∗ π. The proof is completed. Theorem 14. If Proof . First, we discuss π₯(π‘). Since π(π‘) ≤ π, by the first equation of system (1), we have π₯σΈ (π‘) ≥ (π − π1σΈ (0) π) π₯ (π‘) (1 − Δπ₯ (π‘) = 0, π‘ = (π + π − 1) π, π‘ = ππ. (55) Then, we obtain the following comparison system: πσΈ (π‘) = (π − π1σΈ (0) π) π (π‘) (1 − ππ (π‘) ), πΎ (π − π1σΈ (0) π) π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ (π‘) = −πΏπ (π‘) , Δπ (π‘) = 0, π‘ = (π + π − 1) π, ×∫ 0 1 − ππ π > ln , 1 − ππ ∗ π¦π (π‘) ππ‘ (π−π1σΈ (0)π)π and (1 − πΏ)π > 1, by Lemma 7, Letting π > the system (56) has a positive periodic solution π∗ (π‘), and for any solution π(π‘) of (56), π(π‘) → π∗ (π‘) as π‘ large enough, where σΈ (57) According to Lemmas 4 and 7, one may find π4∗ ∈ N such that π₯(π‘) ≥ π∗ (π‘) − π for π‘ ≥ π4∗ π. Since π∗ (π‘) − π ≥ (πΎ(π − σΈ σΈ π1σΈ (0)π)(1−πΏ−π−(π−π1 (0)π)π )/π(1−π−(π−π1 (0)π)π ))−π = π0 > 0, (58) then system (1) is permanent. Proof. By Lemmas 6 and 13, we have already known that there exist two constants π4 , π > 0, such that π₯(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≥ π4 and π₯(π‘), π(π‘), πΌ(π‘), π¦π½ (π‘), π¦π(π‘) ≤ π for π‘ large enough. Thus, we only need to find π∗ > 0 such that π(π‘) ≥ π∗ for π‘ large enough. We will do this in the following two steps. Step 1. Let π5 > 0 and π1 > 0 small enough, so that π5 < min{(π/π1σΈ (0)), (ππΌ /πσΈ (0)), π} and π π 0 0 ∗ (π‘) − π ) ππ‘ − ∫ π (πΌΜ ∗ (π‘) + π ) ππ‘ − πσΈ (0) Μ π½ ∫ π1 (π₯ 1 1 2 1 ∗ × ∫ (π¦Μ = π > 0, π (π‘) + π1 ) ππ‘ − ππ π − ln 1 − ππ 0 π‘ = ππ. πΎ (π − π1σΈ (0) π) (1 − πΏ − π−(π−π1 (0)π)π ) { { { σΈ { { { × (π [1 − πΏ − π−(π−π1 (0)π)π { { { σΈ { { + πΏπ−(π−π1 (0)π)(π−ππ) { { { −1 σΈ { { { × π−(π−π1 (0)π)(π‘−(π−1)π) ]) , { { π∗ (π‘) = { π‘ ∈ ((π−1) π, (π+π − 1)π] , { σΈ { σΈ { { πΎ (π − π1 (0) π) (1 − πΏ − π−(π−π1 (0)π)π ) { { { σΈ { { × (π [1 − πΏ − π−(π−π1 (0)π)π { { { { −1 σΈ { { { +πΏπ−(π−π1 (0)π)(π‘−(π+π−1)π) ]) , { { π‘ ∈ ((π + π − 1) π, ππ] . { 0 π π (56) π1σΈ (0)π π 0 ππ₯ (π‘) ), πΎ (π − π1σΈ (0) π) π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ₯ (π‘) = −πΏπ₯ (π‘) , π π½ ∫ π1 (π₯∗ (π‘)) ππ‘ − ∫ π (πΌ∗ (π‘)) ππ‘ − π2σΈ (0) where σΈ πΎ (π − π1σΈ (0) π5 ) (1 − πΏ − π−(π−π1 (0)π5 )π ) { { { { σΈ { { × (π [1 − πΏ − π−(π−π 1 (0)π5 )π { { { σΈ { { { +πΏπ−(π−π1 (0)π5 )(π−ππ) { { { −1 σΈ { { { × π−(π−π1 (0)π5 )(π‘−(π−1)π)]) , { { { ∗ (π‘) = π‘ ∈ ((π − 1) π, (π + π − 1) π] , π₯Μ { { { { σΈ −(π−π1σΈ (0)π5 )π { ) { {πΎ (π − π1 (0) π5 ) (1 − πΏ − π { σΈ { { −(π−π (0)π )π 5 1 { × (π [1 − πΏ − π { { { { −1 σΈ { { { +πΏπ−(π−π1 (0)π5 )(π‘−(π+π−1)π) ]) , { { { π‘ ∈ ((π + π − 1) π, ππ] , { σΈ πΏπΌ π−(ππΌ −π (0)π5 )(π‘−(π−1)π) { { , { σΈ { { 1 − (1 − ππΌ ) π−(ππΌ −π (0)π5 )π { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , { ∗ (π‘) = πΌΜ σΈ { { { πΏπΌ (1 − ππΌ ) π−(ππΌ −π (0)π5 )(π‘−(π−1)π) { { { { 1 − (1 − π ) π−(ππΌ −πσΈ (0)π5 )π , { { πΌ { π‘ ∈ ((π + π − 1) π, ππ] , { (59) 12 Abstract and Applied Analysis ∗ π¦Μ π½ (π‘) −1 ×π−ππ π + πΏπ) (1 − (1 − ππ) π−ππ π ) , −(π+ππ½ )(π‘−(π−1)π) π { { π‘−(π−1)π { { { ∗ + { × (π¦Μ π(π+ππ½ )π ππ ) , { π½ (0 ) + ππ2 (π5 ) π ∫ { { 0 { { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , { { { {π−(π+ππ½ )(π‘−(π−1)π) ={ { { { × (π¦π½∗Μ (ππ+ )π(π+ππ½ )ππ { { { { π‘−(π−1)π { { { { +ππ (π ) π π(π+ππ½ )π ππ ) , ∫ { 2 5 { { ππ { { { π‘ ∈ ((π + π − 1) π, ππ] , { ∗Μ+ π¦π (ππ ) = ( (1 − ππ) × [π ∫ 0 = (ππ2 (π5 ) π[(1 − ππ½ )∫ 0 (π+ππ½ )π π ππ π ∗ (π¦Μ ππ π½ (π‘) + π1 ) π π ππ π ∗ ππ + πΏπ] + ππ−ππ π ∫ (π¦Μ π½ (π‘) + π1 ) π ππ −1 ×π−ππ ππ ) (1 − (1 − ππ) π−ππ π ) . ∗ + π¦Μ π½ (0 ) ππ ππ (60) π (π+ππ½ )π ππ +∫ π ππ −1 × π−(π+ππ½ )π + πΏπ½ ) (1 − (1 − ππ½ )π−(π+ππ½ )π ) , π¦π½∗Μ (ππ+ ) ππ ] We shall prove that one cannot have π(π‘) < π5 for all π‘ > 0, otherwise π₯σΈ (π‘) ≥ (π − π1σΈ (0) π5 ) π₯ (π‘) (1 − ππ₯ (π‘) ), πΎ (π − π1σΈ (0) π5 ) πΌσΈ (π‘) ≤ − (ππΌ − πσΈ (0) π5 ) πΌ (π‘) , = ( (1 − ππ½ ) π¦π½σΈ (π‘) ≤ ππ2 (π5 ) π − (ππ½ + π) π¦π½ (π‘) , × [ππ2 (π5 ) π ∫ ππ 0 π(π+ππ½ )π ππ + π−(π+ππ½ )π π π‘ =ΜΈ (π + π − 1) π, (π+ππ½ )π × ππ2 (π5 ) π ∫ π ππ σΈ π¦π (π‘) = ππ¦π½ (π‘) − πππ¦π (π‘) , ππ + πΏπ½ ] −1 ×π−(π+ππ½ )ππ ) (1 − (1 − ππ½ )π−(π+ππ½ )π ) , ∗ Μ π¦ π (π‘) π‘ =ΜΈ ππ, Δπ₯ (π‘) = −πΏπ₯ (π‘) , ΔπΌ (π‘) = −ππΌ πΌ (π‘) , (61) Δπ¦π½ (π‘) = −ππ½ π¦π½ (π‘) , −ππ (π‘−(π−1)π) π { { { π‘−(π−1)π { { { ∗ +) + π ∫ Μ { × ( π¦ (0 { π { { 0 { { { { ππ π ∗ { × (π¦Μ ππ ) , { π½ (π‘) + π1 ) π { { { { { { π‘ ∈ ((π − 1) π, (π + π − 1) π] , ={ −π (π‘−(π−1)π) {π π { { { { ∗ { Μ × (π¦π (ππ+ )πππ ππ { { { { { π‘−(π−1)π { { ππ π { ∗ Μ { + π (π¦ ππ ) , ∫ { π½ (π‘) + π1 ) π { { ππ { { { π‘ ∈ ((π + π − 1) π, ππ] , { ∗ + π¦Μ π (0 ) ππ = (π [(1 − ππ) ∫ 0 π ππ π ∗ (π¦Μ ππ π½ (π‘) + π1 ) π ππ π ∗ ππ ] + ∫ (π¦Μ π½ (π‘) + π1 ) π ππ Δπ¦π (π‘) = −πππ¦π (π‘) , π‘ = (π + π − 1) π, Δπ₯ (π‘) = 0, ΔπΌ (π‘) = πΏπΌ , Δπ¦π½ (π‘) = πΏπ½ , Δπ¦π (π‘) = πΏπ, π‘ = ππ. Analyzing (61) with similarity as (40), it is easy to obtain that ∗ (π‘) − Μ there exists a positive constant π6∗ , such that π₯(π‘) ≥ π₯ ∗ ∗ ∗ Μ Μ (π‘) + π1 , π¦π½ (π‘) ≤ π¦ π1 , πΌ(π‘) ≤ πΌΜ π½ (π‘) + π1 , π¦π (π‘) ≤ π¦π (π‘) + π1 for π‘ ≥ π6∗ π. Therefore, ∗ (π‘) − π ) π (π‘) − π (πΌΜ ∗ (π‘) + π ) π (π‘) Μ πσΈ (π‘) ≥ π½π1 (π₯ 1 1 ∗ − π2σΈ (0) (π¦Μ π (π‘) + π1 ) π (π‘) − ππ π (π‘) , Abstract and Applied Analysis 13 π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ (π‘) = −ππ π (π‘) , π‘ = (π + π − 1) π, Δπ (π‘) = 0, π‘ = ππ, π6∗ π. for π‘ ∈ [π‘2 , π‘2 +π2 π]. Integrating (66) on [π‘2 , π‘2 +π2 π], we have π (π‘2 + π2 π) ≥ π (π‘2+ ) ππ2 ππ = (1 − ππ ) π5 ππ2 ππ (62) π6∗ . for π‘ ≥ Let π0 ∈ N and (π0 + π − 1) ≥ Integrating (62) on ((π + π − 1)π, (π + π)π], π ≥ π0 , we have π ((π + π) π) ≥ π ((π + π − 1) π) (1 − ππ ) (π+π)π ∗ ∗ (π‘)−π )−π(πΌΜ ∗ (π‘)+π )−πσΈ (0)(π¦ Μ Μ 1 1 2 π (π‘)+π1 )−ππ )ππ‘ × π∫(π+π−1)π (π½π1 (π₯ (63) = π ((π + π − 1) π) ππ . Then π((π0 + π + π)π) ≥ π((π0 + π)π)πππ → ∞ as π → ∞, which is a contradiction. So there exists a π‘1 (π‘1 > π6∗ π) such that π(π‘1 ) ≥ π5 . Step 2. If π(π‘) ≥ π5 for all π‘ ≥ π‘1 , then Our purpose is obtained. If not, let π‘2 = inf{π‘ > π‘1 | π(π‘) < π5 }. Then π(π‘) ≥ π5 for π‘ ∈ [π‘1 , π‘2 ) and π(π‘2 ) = π5 . In this step, we consider two possible cases for π‘2 . Case 1. π‘2 = (π1 + π − 1)π, π1 ∈ N. Then π(π‘2+ ) = (1 − ππ )π(π‘2 ) < π5 . Select π2 , π3 ∈ N such that (π2 − 1) ≥ π6∗ and (1 − ππ )π2 ππ3 π+π2 ππ > (1 − ππ )π2 ππ3 π+(π2 +1)ππ > 1, where Μ = (π2 + π3 )π, π = π½π1 (π4 ) − π(π) − π2σΈ (0)π − ππ < 0. Let π Μ such that then we have the claim: there exists π‘3 ∈ (π‘2 , π‘2 + π] π(π‘3 ) ≥ π5 . If the claim is false, we will get a contradiction in the following. ∗ (π‘) − π , πΌ(π‘) ≤ Μ According to Step 1, we have π₯(π‘) ≥ π₯ 1 ∗ ∗ ∗ Μ Μ (π‘) + π1 , π¦π½ (π‘) ≤ π¦ (π‘) + π , π¦ (π‘) ≤ π¦ (π‘) + π πΌΜ 1 π 1 for π‘ ≥ π½ π (π1 + π2 − 1)π. Then, we have ∗ (π‘) − π ) π (π‘) − π (πΌΜ ∗ (π‘) + π ) π (π‘) Μ πσΈ (π‘) ≥ π½π1 (π₯ 1 1 ∗ − π2σΈ (0) (π¦Μ π (π‘) + π1 ) π (π‘) − ππ π (π‘) , π‘ =ΜΈ (π + π − 1) π, π‘ =ΜΈ ππ, Δπ (π‘) = −ππ π (π‘) , (64) π‘ = (π + π − 1) π, Δπ (π‘) = 0, π‘ = ππ, Μ As in Step 1, we have for π‘ ∈ [π‘2 + π2 π, π‘2 + π]. Μ ≥ π (π‘2 + π2 π) ππ3 π . π (π‘2 + π) (65) Since π₯(π‘) ≥ π4 , πΌ(π‘) ≤ π, π¦π(π‘) ≤ π and π2 (π(π‘)) < π2σΈ (0)π(π‘), we have σΈ π (π‘) ≥ (π½π1 (π4 ) − π (π) − π2σΈ (0) π − ππ ) π (π‘) = ππ (π‘) , π‘ =ΜΈ (π + π − 1) π, Δπ (π‘) = −ππ π (π‘) , Δπ (π‘) = 0, π‘ =ΜΈ ππ, π‘ = (π + π − 1) π, (67) π ≥ (1 − ππ ) 2 π5 ππ2 ππ . Μ Thus, by (65) and (67), we have π(π‘2 + π) ≥ (1 − π2 π3 π+π2 ππ ππ ) π5 π > π5 , which is a contradiction. Let π‘4 = inf{π‘ > π‘2 | π(π‘) ≥ π5 }, then for π‘ ∈ [π‘2 , π‘4 ), π(π‘) < π5 and π(π‘4 ) = π5 . So, π(π‘) ≥ π(π‘2+ )ππ(π‘−π‘2 ) = (1 − ππ )π5 ππ(π‘−π‘2 ) ≥ Μ1 for π‘ ∈ [π‘2 , π‘4 ). (1 − ππ )π2 +π3 π5 ππ(π2 +π3 )π = π Case 2 (π‘2 =ΜΈ (π1 + π − 1)π, π1 ∈ N). Suppose that π‘2 ∈ ((π1σΈ + π − 1)π, (π1σΈ + π)π), π1σΈ ∈ N. π(π‘) ≥ π5 for π‘ ∈ [π‘1 , π‘2 ) and π(π‘2 ) = π5 . There are two possible cases for π‘ ∈ (π‘2 , (π1σΈ + π)π). Case 2a. If π(π‘) ≤ π5 for all π‘ ∈ (π‘2 , (π1σΈ + π)π), similar to Case Μ 1, we can prove there exists a π‘3σΈ ∈ ((π1σΈ + π)π, (π1σΈ + π)π + π] such that π(π‘3σΈ ) ≥ π5 . Let π‘4σΈ = inf{π‘ > π‘2 | π(π‘) ≥ π5 }, then for π‘ ∈ [π‘2 , π‘4σΈ ), π(π‘) < π5 and π(π‘4σΈ ) = π5 . So, π(π‘) ≥ π(π‘2 )ππ(π‘−π‘2 ) = Μ1 for all π5 ππ(π‘−π‘2 ) ≥ (1 − ππ )π2 +π3 π5 ππ(π2 +π3 +1)π = π∗ < π π‘ ∈ [π‘2 , π‘4σΈ ). Case 2b. If there exists a π‘ ∈ (π‘2 , (π1σΈ +π)π) such that π(π‘) ≥ π5 . Let π‘4σΈ = inf{π‘ > π‘2 | π(π‘) ≥ π5 }, then for π‘ ∈ [π‘2 , π‘4σΈ ), π(π‘) < π5 and π(π‘4σΈ ) = π5 . So, π(π‘) ≥ π(π‘2 )ππ(π‘−π‘2 ) = π5 ππ(π‘−π‘2 ) ≥ π5 πππ > π∗ for all π‘ ∈ [π‘2 , π‘4σΈ ). Since π(π‘) ≥ π5 for some π‘ ≥ π‘1 , in both cases a similar discussion can be continued. The proof is completed. 5. Numerical Simulations and Conclusions In this section, we will give an example and its simulations to show the efficiency of the criteria derived in Section 4. In system (1), let π1 (π₯(π‘)) = ππ₯(π‘), π(πΌ(π‘)) = ππΌ(π‘), and π2 (π(π‘)) = β(1 − π−ππ(π‘) ), π, π, π, β > 0. Namely, π1 (π₯(π‘)) describes an Holling type-I functional response of the pest, π2 (π(π‘)) describes a Ivlev-type functional response of the pest ’s natural predator. Therefore, we consider the pest management model with impulsive releasing and harvesting at two different fixed moments: π₯σΈ (π‘) = ππ₯ (π‘) (1 − π₯ (π‘) ) − ππ₯ (π‘) π (π‘) , πΎ πσΈ (π‘) = π½ππ₯ (π‘) π (π‘) − ππΌ (π‘) π (π‘) − β (1 − π−ππ(π‘) ) π¦π (π‘) − ππ π (π‘) , πΌσΈ (π‘) = ππΌ (π‘) π (π‘) − ππΌ πΌ (π‘) , π¦π½σΈ (π‘) = πβ (1 − π−ππ(π‘) ) π¦π (π‘) − ππ½ π¦π½ (π‘) − ππ¦π½ (π‘) , σΈ π¦π (π‘) = ππ¦π½ (π‘) − πππ¦π (π‘) , π‘ =ΜΈ (π + π − 1) π, π‘ = ππ, (66) π‘ =ΜΈ ππ, 14 Abstract and Applied Analysis 20 6 15 4 π π₯ 10 2 5 0 0 10 20 30 0 40 0 10 20 π‘ 40 30 40 π‘ (a) (b) 3 2 1.5 2 ππ½ πΌ 1 0 30 1 0.5 0 10 20 30 0 40 0 10 20 π‘ π‘ (c) (d) 4 ππ 3 2 1 0 0 10 20 30 40 π‘ (e) Figure 1: Time series of the system (68) with π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 0.5, π₯(0) = 20, π(0) = 2, πΌ(0) = 2, π¦π½ (0) = 0.5, π¦π (0) = 0.5. Δπ₯ (π‘) = −πΏπ₯ (π‘) , Δπ¦π (π‘) = πΏπ, Δπ (π‘) = −ππ π (π‘) , π‘ = ππ. (68) ΔπΌ (π‘) = −ππΌ πΌ (π‘) , Δπ¦π½ (π‘) = −ππ½ π¦π½ (π‘) , Δπ¦π (π‘) = −πππ¦π (π‘) , π‘ = (π + π − 1) π, Δπ₯ (π‘) = 0, Δπ (π‘) = 0, ΔπΌ (π‘) = πΏπΌ , Δπ¦π½ (π‘) = πΏπ½ , So, by (22), (23), and (25), we have π π½ ∫ π1 (π₯∗ (π‘)) ππ‘ = 0 π½ππΎ (ππ + ln (1 − πΏ)) = π1 , π π ∫ π (πΌ∗ (π‘)) ππ‘ 0 = ππΏπΌ [1 − π−ππΌ ππ + (1 − ππΌ ) (π−ππΌ ππ − π−ππΌ π )] = π2 , ππΌ (1 − (1 − ππΌ ) π−ππΌ π ) Abstract and Applied Analysis 15 4 1.6 3.8 3.6 1.4 3.4 1.2 1 ππ πΌ 3.2 3 2.8 0.8 2.6 2.4 0.6 2.2 0.4 2 5 6 7 8 9 10 0 0.2 0.4 0.6 ππ½ π₯ (a) (b) Figure 2: Phase portrait of the system (68) with π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 0.5, π₯(0) = 20, π(0) = 2, πΌ(0) = 2, π¦π½ (0) = 0.5, π¦π (0) = 0.5. where π ∗ ∫ π¦π (π‘) ππ‘ ∗ (0+ ) = π¦π 0 = ∗ (0+ ) π¦π (1 − π−ππ ππ) ππ + ∗ π¦π (ππ+ ) = ππΏπ½ π΄ (ππ) = (1 − (1 − ππ½ ) π−(π+ππ½ )π ) (ππ − (π + ππ½ )) ×( 1 − π−(π+ππ½ )ππ 1 − π−ππ ππ − ) π + ππ½ ππ π΅ (π) = (1 − (1 − ππ½ ) π−(π+ππ½ )π ) (ππ − (π + ππ½ )) ππΏπ½ (π(ππ −(π+ππ½ ))ππ − 1) (1 − (1 − ππ½ ) π−(π+ππ½ )π ) (ππ − (π + ππ½ )) , ππΏπ½ (1 − ππ½ ) (π(ππ −(π+ππ½ ))π − π(ππ −(π+ππ½ ))ππ ) (1 − (1 − ππ½ ) π−(π+ππ½ )π ) (ππ − (π + ππ½ )) , . (π2) If π1 − π2 − βππ−πππ3 − ππ π < ln(1/(1 − ππ )), then the susceptible pest-eradication periodic solu∗ (π‘)) of system (68) is tion (π₯∗ (π‘), 0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π globally asymptotically stable, where π is defined in Lemma 6. (π3) If π1 − π2 − βππ3 − ππ π > ln(1/(1 − ππ ), then system (68) is permanent. π−(π+ππ½ )ππ − π−(π+ππ½ )π π + ππ½ − 1 − (1 − ππ) π−ππ π (π1) If π1 − π2 − π3 − ππ π < ln(1/(1 − ππ )), then the susceptible pest-eradication periodic solution (π₯∗ (π‘), ∗ (π‘)) of system (68) is locally asymp0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π totically stable. ππΏπ½ (1 − ππ½ ) ×( (1 − ππ) [π΄ (ππ) + π−ππ π π΅ (π) + πΏπ] π−ππ ππ Then, by Theorems 11 and 14, we have the following. π¦∗ (ππ+ ) πππ ππ −ππ ππ ππ π (π −π ) + π ππ + [(1 − ππ) π΄ (ππ) + π΅ (π)] π−ππ π + πΏπ , 1 − (1 − ππ) π−ππ π π−ππ ππ − π−ππ π (ππ −(π+ππ½ ))ππ π ) ππ = π3 , (69) In the following, we analyze the locally asymptotical stability of the susceptible pest-eradication periodic solution and permanence of system (68). 16 Abstract and Applied Analysis 0.4 20 0.3 15 π₯ 0.2 π 10 5 0.1 0 20 40 60 0 80 0 20 40 (a) 2 1.5 1.5 1 1 0.5 0.5 0 80 (b) 2 ππ½ πΌ 60 π‘ π‘ 0 20 40 60 0 80 0 20 40 π‘ 60 80 π‘ (c) (d) 3.5 ππ 3 2.5 2 1.5 0 20 40 60 80 π‘ (e) Figure 3: Time series of the system (68) with π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 1, π₯(0) = 20, π(0) = 0.2, πΌ(0) = 2, π¦π½ (0) = 2, π¦π (0) = 2. Assume that π₯(0) = 20, π(0) = 2, πΌ(0) = 2, π¦π½ (0) = 0.5, π¦π(0) = 0.5, π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 0.5. Obviously, the condition of (T1) is satisfied, then the susceptible pest-eradication periodic solution of system (68) is locally asymptotically stable, which can be seen from the numerical simulation in Figures 1 and 2. Assume that π₯(0) = 20, π(0) = 0.2, πΌ(0) = 2, π¦π½ (0) = 2, π¦π(0) = 2, π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 1. Obviously, the condition of (T3) is satisfied. Then, system (68) is permanent, which can also be seen from Figures 3 and 4. From results of the numerical simulation, we know that there exists an impulsive harvesting(or releasing) periodic threshold π∗ , which satisfies 0.5 < π∗ < 1. If π < π∗ and the other parameters are fixed (π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 0.5.), then the susceptible pest-eradication periodic ∗ (π‘)) of system (68) is locally solution (π₯∗ (π‘), 0, πΌ∗ (π‘), π¦π½∗ (π‘), π¦π ∗ asymptotically stable. If π > π and the other parameters are fixed (π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 0.5.), then system (68) is permanent. The same discussion can be applied to other parameters. In this paper, we proposed a pest management model with impulsive releasing (periodic infective pests, immature and mature natural enemies releasing) and harvesting (periodic crops harvesting) at two different fixed moments. By means Abstract and Applied Analysis 17 0.16 π 3.2 0.18 3 0.16 2.8 0.14 0.14 0.12 0.12 π 0.1 2.6 ππ 0.18 0.2 0.1 2.4 2.2 0.08 0.08 0.06 0.06 2 0.04 0.04 1.8 0.02 0.02 1.6 6 8 π₯ 10 0.2 (a) 0.4 0.6 0 0.2 πΌ (b) 0.4 0.6 ππ½ (c) Figure 4: Phase portrait of the system (68) with π = 8, πΎ = 10, π = 0.8, π½ = 0.5, π = 0.3, β = 8, π = 0.2, π = 0.6, π = 2, ππ = 0.2, ππΌ = 0.5, ππ½ = 0.4, ππ = 0.2, πΏ = 0.4, ππ = ππΌ = ππ½ = ππ = 0.2, πΏπΌ = 0.2, πΏπ½ = 0.3, πΏπ = 0.5, π = 0.3, π = 1, π₯(0) = 20, π(0) = 0.2, πΌ(0) = 2, π¦π½ (0) = 2, π¦π (0) = 2. of Floquet theory and multicomparison results for impulsive differential equations, two sufficient conditions ensuring the locally and globally asymptotical stability of the susceptible pest-eradication period solution and permanence of the system are derived. Acknowledgments This work is supported partially by National Natural Science Foundation of China under Grant no. 10971240 and no. 61004042, Key Project of Chinese Education Ministry under Grant no. 212138, Natural Science Foundation of Chongqing under Grant CQ CSTC 2011BB0117, and Foundation of Science and Technology Project of Chongqing Education Commission under Grant KJ120630. References [1] P. Georgescu and G. MorosΜ§anu, “Pest regulation by means of impulsive controls,” Applied Mathematics and Computation, vol. 190, no. 1, pp. 790–803, 2007. [2] T. Zhang, X. Meng, and Y. Song, “The dynamics of a highdimensional delayed pest management model with impulsive pesticide input and harvesting prey at different fixed moments,” Nonlinear Dynamics, vol. 64, no. 1-2, pp. 1–12, 2011. [3] Y. Ma, B. Liu, and W. Feng, “Dynamics of a birth-pulse singlespecies model with restricted toxin input and pulse harvesting,” Discrete Dynamics in Nature and Society, vol. 2010, Article ID 142534, 20 pages, 2010. [4] S. Cai, “A stage-structured single species model with pulse input in a polluted environment,” Nonlinear Dynamics, vol. 57, no. 3, pp. 375–382, 2009. [5] B. Liu, L. Chen, and Y. Zhang, “The dynamics of a preydependent consumption model concerning impulsive control strategy,” Applied Mathematics and Computation, vol. 169, no. 1, pp. 305–320, 2005. [6] P. Georgescu, H. Zhang, and L. Chen, “Bifurcation of nontrivial periodic solutions for an impulsively controlled pest management model,” Applied Mathematics and Computation, vol. 202, no. 2, pp. 675–687, 2008. [7] P. Georgescu and H. Zhang, “An impulsively controlled predator-pest model with disease in the pest,” Nonlinear Analysis. Real World Applications, vol. 11, no. 1, pp. 270–287, 2010. [8] C. Wei and L. Chen, “Eco-epidemiology model with age structure and prey-dependent consumption for pest management,” Applied Mathematical Modelling, vol. 33, no. 12, pp. 4354–4363, 2009. [9] J. Jiao, S. Cai, and L. Chen, “Analysis of a stage-structured predatory-prey system with birth pulse and impulsive harvesting at different moments,” Nonlinear Analysis. Real World Applications, vol. 12, no. 4, pp. 2232–2244, 2011. [10] J. Jiao, G. Pang, L. Chen, and G. Luo, “A delayed stage-structured predator-prey model with impulsive stocking on prey and continuous harvesting on predator,” Applied Mathematics and Computation, vol. 195, no. 1, pp. 316–325, 2008. [11] Z. Liu and R. Tan, “Impulsive harvesting and stocking in a Monod-Haldane functional response predator-prey system,” Chaos, Solitons and Fractals, vol. 34, no. 2, pp. 454–464, 2007. [12] L. Nie, Z. Teng, L. Hu, and J. Peng, “The dynamics of a LotkaVolterra predator-prey model with state dependent impulsive harvest for predator,” Biosystems, vol. 98, no. 2, pp. 67–72, 2009. [13] D. BaΔ±Μnov and P. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications, John Wiley & Sons, New York, NY, USA, 1993. 18 [14] V. Lakshmikantham, D. D. BaΔ±Μnov, and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific, Singapore, 1989. [15] T. Yang, Impulsive Control Theory, vol. 272, Springer, Berlin, Germany, 2001. [16] C. S. Holling, “The functional response of predators to prey density and its role in mimicry and population regulation,” Memoirs of the Entomological Society of Canada, vol. 45, pp. 5– 60, 1965. [17] Y. Wang and M. Zhao, “Dynamic analysis of an impulsively controlled predator-prey model with Holling type IV functional response,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 141272, 18 pages, 2012. [18] C. Shen, “Permanence and global attractivity of the foodchain system with Holling IV type functional response,” Applied Mathematics and Computation, vol. 194, no. 1, pp. 179–185, 2007. [19] X. Song and Y. 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. [20] B. Liu, Z. Teng, and L. Chen, “Analysis of a predator-prey model with Holling II functional response concerning impulsive control strategy,” Journal of Computational and Applied Mathematics, vol. 193, no. 1, pp. 347–362, 2006. [21] B. Liu, Y. Zhang, and L. Chen, “Dynamic complexities of a Holling I predator-prey model concerning periodic biological and chemical control,” Chaos, Solitons and Fractals, vol. 22, no. 1, pp. 123–134, 2004. [22] X. Liu and L. Chen, “Complex dynamics of Holling type II Lotka-Volterra predator-prey system with impulsive perturbations on the predator,” Chaos, Solitons and Fractals, vol. 16, no. 2, pp. 311–320, 2003. [23] X. Song and Y. Li, “Dynamic complexities of a Holling II twoprey one-predator system with impulsive effect,” Chaos, Solitons & Fractals, vol. 33, no. 2, pp. 463–478, 2007. [24] S. Zhang, D. Tan, and L. Chen, “Chaos in periodically forced Holling type IV predator-prey system with impulsive perturbations,” Chaos, Solitons and Fractals, vol. 27, no. 4, pp. 980–990, 2006. [25] S. Zhang, F. Wang, and L. Chen, “A food chain model with impulsive perturbations and Holling IV functional response,” Chaos, Solitons and Fractals, vol. 26, no. 3, pp. 855–866, 2005. [26] L.-L. Wang and W.-T. Li, “Periodic solutions and permanence for a delayed nonautonomous ratio-dependent predator-prey model with Holling type functional response,” Journal of Computational and Applied Mathematics, vol. 162, no. 2, pp. 341–357, 2004. [27] V. S. Ivlev, Experimental Ecology of the Feeding of Fishes, Yale University Press, New Haven, Conn, USA, 1961. [28] H. K. Baek, S. D. Kim, and P. Kim, “Permanence and stability of an Ivlev-type predator-prey system with impulsive control strategies,” Mathematical and Computer Modelling, vol. 50, no. 9-10, pp. 1385–1393, 2009. [29] H. Wang and W. Wang, “The dynamical complexity of a Ivlev-type prey-predator system with impulsive effect,” Chaos, Solitons & Fractals, vol. 38, no. 4, pp. 1168–1176, 2008. [30] Z. Xiang and X. Song, “The dynamical behaviors of a food chain model with impulsive effect and Ivlev functional response,” Chaos, Solitons & Fractals, vol. 39, no. 5, pp. 2282–2293, 2009. [31] X. Song, M. Hao, and X. Meng, “A stage-structured predatorprey model with disturbing pulse and time delays,” Applied Mathematical Modelling, vol. 33, no. 1, pp. 211–223, 2009. Abstract and Applied Analysis 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