1 Introduction

Biological resources are renewable resources. Economic and biological aspects of renewable resources management have been considered by Clark [1]. In recent years, the optimal management of renewable resources, which has direct relationship to sustainable development, has been studied extensively by many authors [24]. Especially, the predator-prey models with harvesting (or dispersal and competition) are investigated by many articles [58]. In general, the exploitation of population should be determined by the economic and biological value of the population. It is the purpose of this article to analyze the exploitation of the predator-prey model with impulsive releasing and harvesting at different moments.

Impulsive delay differential equations are suitable for the mathematical simulation of the evolutionary process. The application of impulsive delay differential equations to population dynamics is an interesting topic since it is reasonable and correct in modelling the evolution of population, such as pest management [9]. Moreover, impulsive delay differential equations are used in various fields of applied sciences too, for example physics, ecology, pest control and so on. According to the nature of biological resource management, Jiao et al. [10] introduced the stocking on prey at fixed moments, and considering the following impulsive delay differential equation

x 1 ( t ) = x 1 ( t ) ( a - b x 1 ( t ) ) - β x 1 ( t ) 1 + c x 1 ( t ) x 3 ( t ) , x 2 ( t ) = r x 3 ( t ) - r e - w τ 1 x 3 ( t - τ 1 ) - w x 2 ( t ) , x 3 ( t ) = r e - w τ 1 x 3 ( t - τ 1 ) + k β x 1 ( t ) 1 + c x 1 ( t ) x 3 ( t ) - d 3 x 3 ( t ) - E x 3 ( t ) - d 4 x 3 2 ( t ) , t n τ , Δ x 1 ( t ) = μ , Δ x 2 ( t ) = 0 , Δ x 3 ( t ) = 0 , t = n τ , n = 1 , 2 , . . . ( φ 1 ( ζ ) , φ 2 ( ζ ) , φ 3 ( ζ ) ) C + = C [ - τ 1 , 0 ] , R + 3 , φ i ( 0 ) > 0 , i = 1 , 2 , 3 .
(1.1)

The biological meanings of the parameters in (1.1) can be seen in [10]. Jiao and Chen [10] consider the mature predator population is harvested continuously. In fact, the population with economic value are harvested discontinuously. It will be arisen at fixed moments or state-dependent moments, that is to say, the releasing population and harvesting population should be occurred at differential moments in [10]. In this article, in order to model the fact of the biological resource management, we investigate a differential equation with two impulses for the biological resource management.

2 The model

It is well known that the basic Lotka-Volterra predator-prey model can be written as

d x 1 ( t ) d t = x 1 ( t ) ( r - a x 1 - b x 2 ( t ) ) , d x 2 ( t ) d t = x 2 ( t ) ( - d + c x 1 ( t ) ) ,
(2.1)

where x1(t) and x2(t) are densities of the prey population and the predator population, respectively, r > 0 is the intrinsic growth rate of prey, a > 0 is the coefficient of intraspecific competition, b > 0 is the per-capita rate of predation of the predator, d > 0 is the death rate of predator, c > 0 denotes the product of the per-capita rate of predation and the rate of conversing prey into predator. If rc < ad is satisfied, the predator x2(t) will go extinct and the prey will tend to r/a, that is to say, system (2.1) has boundary equilibrium r/a, 0). If rc > ad is satisfied, system (2.1) has globally asymptotically stable unique positive equilibrium (d/c, rc - ad/cb).

System (2.1) is an organic growth model, that is to say, there is no intervention management on system (2.1). Obviously, the dynamical behaviors of system (2.1) is very simple. As a matter of fact, the mankind more and more devote themselves to investigate and empolder the ecosystem with the development of society. Bases on the ideology, we develop (2.1) by introducing releasing the prey and harvesting the predator and prey at different fixed moments, that is, we consider the following impulsive differential equation

d x ( t ) d t = x ( t ) ( a - b x ( t ) ) - β x ( t ) y ( t ) , d y ( t ) d t = k β x ( t ) y ( t ) - d y ( t ) , t ( n + l ) τ , t ( n + 1 ) τ , Δ x ( t ) = - μ 1 x ( t ) , Δ y ( t ) = - μ 2 y ( t ) , t = ( n + l ) τ , n = 1 , 2 , . . . Δ x ( t ) = μ , Δ y ( t ) = 0 , t = ( n + 1 ) τ , n = 1 , 2 , . . .
(2.2)

where x(t) denotes the density of the predator population at time t. y(t) denotes the density of the prey population Y at time t. a > 0 denotes the intrinsic growth rate of the prey population X. b > 0 denotes the coefficient of the intraspecific competition in prey population X. β > 0 denotes the per-capita rate predation of the predator population Y. k > 0 denotes product of the per-capita rate and the rate of conversing prey population X into predator population Y. d > 0 denotes the death rate of the predator population Y. 0 < μ1 < 1 denotes the harvesting rate of prey population X at t = (n + l)τ, nZ+. 0 < μ2 < 1 denotes the harvesting rate of predator population Y at t = (n + l)τ, nZ+. μ > 0 denotes the released amount of prey population X at t = (n + 1)τ, nZ+. Δx(t) = x(t+) - x(t), where x(t+) represents the density of prey population X immediately after the impulsive releasing (or harvesting) at time t, while x(t) represents the density of prey population X before the impulsive releasing (or harvesting) at time t. Δy(t) = y(t+) - y(t), where y(t+) represents the density of predator population Y immediately after the impulsive harvesting at time t, while y(t) represents the density of predator population Y before the impulsive harvesting at time t. 0 < l < 1, and τ denotes the period of impulsive effect.

3 The lemmas

Before discussing main results, we will give some definitions, notations and lemmas. Let R+ = [0, ∞), R + 2 = { z R 2 : z > 0 } . Denote f = (f1, f2) the map defined by the right hand of system (2.2). Let V: R + × R + 2 R + , then V is said to belong to class V0, if

(i) V is continuous in ( n τ , ( n + l ) τ ] × R + 2 and ( ( n + l ) τ , ( n + 1 ) τ ] × R + 2 , for each x R + 2 ,n Z + , lim ( t , y ) ( n τ + , z ) V ( t , z ) =V ( n τ + , z ) and lim ( t , z ) ( ( n + l ) τ + , z ) V ( t , z ) =V ( ( n + l ) τ + , z ) exists.

(ii) V is locally Lipschitzian in z.

Definition 3.1. VV0, then for ( t , z ) ( n τ , ( n + l ) τ ] × R + 2 and ( ( n + l ) τ , ( n + 1 ) τ ] × R + 2 , the upper right derivative of V(t, z) with respect to the impulsive differential system (2.2) is defined as

D + V ( t , z ) = lim h 0 sup 1 h [ V ( t + h , z + h f ( t , z ) ) - V ( t , z ) ] .

The solution of system (2.2), denote by z(t) = (x(t), y(t))T, is a piecewise continuous function z: R + R + 2 , z(t) is continuous on ( n τ , ( n + l ) τ ] × R + 2 and ( ( n + l ) τ , ( n + 1 ) τ ] × R + 2 ( n Z + , 0 l 1 ) . Obviously, the global existence and uniqueness of solutions of (2.2) is guaranteed by the smoothness properties of f, which denotes the mapping defined by right-side of system (2.2) (see Lakshmikantham [4]).

Before we have the main results. We need give some lemmas which will be used in the next. Since (dx(t)/dt = 0) whenever x(t) = 0, dy(t)/dt = 0 whenever y(t) = 0, t = , x(+) = (1 - μ1)x(), y(+) = (1 - μ2)y(), and t = (n + l)τ, x((n + l)τ+) = x((n + l)τ) + μ, μ ≥ 0. We can easily have

Lemma 3.2. Suppose z(t) is a solution of system (2.2) with z(0+) ≥ 0, then z(t) ≥ 0 for t ≥ 0. and further z(t) > 0 t ≥ 0 for z(0+) > 0.

Now, we show that all solutions of (2.3) are uniformly ultimately bounded.

Lemma 3.3. There exists a constant M > 0 such that x(t) ≤ M, y(t) ≤ M for each solution (x(t), y(t)) of (2.2) with all t large enough.

Proof. Define V(t) = kx(t) + y(t). When t and t ≠ (n + l)τ, we have

D + V ( t ) + d V ( t ) = k [ ( a + d ) x ( t ) - b x 2 ( t ) ] - k b [ x ( t ) - k ( a + d ) 2 b ] 2 + k ( a + d ) 4 b 2 M 0 ,

where M0 = k(a + d)2/4b. When t = , V(+) = kx(+) + y(+) = (1 - μ1)kx() + (1-μ2)y() ≤ kx() + y() = V(). When t = (n + l)τ, V((n + l)τ+) = kx((n + l)τ+) + y((n + l)τ+) = kx((n + l)τ)+μ + y((n + l)τ) = V((n + l)τ) + μ. From ([[6], Lemma 2.2, p. 23]), for t ∈ (, (n + l)τ] and ((n + l)τ, (n + 1)τ], we have

V ( t ) V ( 0 + ) e - d t + M 0 d ( 1 - e - d τ ) + μ e - d ( t - τ ) 1 - e d τ  +  μ e - d τ e d τ - 1 M 0 d + μ e d τ e d τ - 1 , as t .

So V(t) is uniformly ultimately bounded. Hence, by the definition of V(t), there exists a constant M > 0 such that x(t) ≤ M, y(t) ≤ M for t large enough. The proof is complete.

If y(t) = 0, we obtain the subsystem of system (2.2)

d x ( t ) d t = x ( t ) ( a - b x ( t ) ) , t ( n + l ) τ , t ( n + 1 ) τ , Δ x ( t + ) = - μ 1 x ( t ) , t = ( n + l ) τ , n Z + , Δ x ( t + ) = μ , t = ( n + 1 ) τ , n Z + , x ( 0 + ) = x ( 0 ) > 0 .
(3.1)

It is easy to solve the first equation of system (3.1) between pulses

x ( t ) = a e a ( t - n τ ) x ( n τ + ) a + b [ e a ( t - n τ ) - 1 ] x ( n τ + ) , t ( n τ , ( n + l ) τ ] , a e a ( t - ( n + l ) τ ) x ( ( n + l ) τ + ) a + b [ e a ( t - ( n + l ) τ ) - 1 ] x ( ( n + l ) τ + ) , t ( ( n + l ) τ , ( n + 1 ) τ ] .
(3.2)

By considering the last two equations of system (3.1), we obtain the following stroboscopic map of system (3.1):

x ( ( n + 1 ) τ + ) = ( 1 - μ 1 ) a e a τ x ( n τ + ) a + b e a l τ [ 1 + ( 1 - μ 1 ) ( e a ( 1 - l ) τ - 1 ) ] x ( n τ + ) + μ .
(3.3)

Taking A = (1 - μ1)ae> 0 and B = bealτ[1 + (1 - μ1) (ea(1-l)τ- 1)] > 0, we can rewrite (3.3) as

x (( n  +  1) τ  +  )  =  A x ( n τ + ) a + B x ( n τ + ) + μ .
(3.4)

Referring to [11], we can easily prove that (3.4) has unique positive fixed point

x * = ( A + μ B - a ) + ( A + μ B - a ) 2 + 4 μ a B 2 B ,
(3.5)

which can be easily proved to be globally asymptotically stable.

Then, we can derive the following lemma:

Lemma 3.4. System (3.1) has a positive periodic solution x ( t ) ~ . For every solution x(t) of system (3.1), we have x(t) → x ( t ) ~ as t → ∞, where

x ( t ) ~ = a e a ( t - n τ ) x * a + b [ e a ( t - n τ ) - 1 ] x * , t ( n τ , ( n + l ) τ ] , ( 1 - μ 1 ) a e a ( t - n τ ) x * a + b [ ( e a l τ - 1 ) + ( 1 - μ 1 ) ( e a ( t - n τ ) - e a l τ ) ] x * , t ( ( n + l ) τ , ( n + 1 ) τ ] .
(3.6)

4 The dynamics

In this article, we will prove that the predator-extinction periodic solution is globally asymptotically stable and system (2.2) is permanent.

4.1 The extinction

From above discussion, we know that (2.2) has a predator-extinction periodic solution ( x ( t ) ~ , 0 ) . Then we have following theorem.

Theorem 4.1. If

ln 1 1 - μ 1 > a τ - 2 ln 1 + b ( e a l τ - 1 ) x * a + ln 1 + b ( 1 - μ 1 ) ( e a τ - e a l τ ) x * a + b ( e a l τ - 1 ) ,
(4.1)

and

ln 1 1 - μ 2 > k β b ln 1 + b ( e a l τ - 1 ) x * a + ln 1 + b ( 1 - μ 1 ) ( e a τ - e a l τ ) x * a + b ( e a l τ - 1 ) - d τ ,
(4.2)

hold, then predator-extinction periodic solution ( x ( t ) ~ , 0 ) of (2.2) is globally asymptotically stable. Where x* is defined as (3.5):

Proof. First, we prove the local stability. Define x 1 ( t ) =x ( t ) - x ( t ) ~ , y(t) = y(t), we have the following linearly similar system of system (2.2):

d x 1 ( t ) d t d y ( t ) d t = a - 2 b x ( t ) ~ - β x ( t ) ~ 0 - d x 1 ( t ) y ( t ) .

It is easy to obtain the fundamental solution matrix

Φ ( t ) = exp ( 0 t ( a - 2 b x ( s ) ~ ) d s ) * 0 exp ( - d t ) .

There is no need to calculate the exact form of (*) as it is not required in the following analysis. The linearization of the third and fourth equations of (2.2) is

x 1 ( ( n + l ) τ + ) y ( ( n + l ) τ + ) = 1 - μ 1 0 0 1 - μ 2 x 1 ( ( n + l ) τ ) y ( ( n + l ) τ ) .

The linearization of the fifth and sixth equations of (2.2) is

x 1 ( ( n + 1 ) τ + ) y ( ( n + 1 ) τ + ) = 1 0 0 1 x 1 ( ( n + 1 ) τ ) y ( ( n + 1 ) τ ) .

The stability of the periodic solution ( x ( t ) ~ , 0 ) is determined by the eigenvalues of

M = 1 - μ 1 0 0 1 - μ 2 1 0 0 1 Φ ( τ ) ,

which are

λ 1 = ( 1 - μ 2 ) exp ( - d τ ) < 1 , λ 2 = ( 1 - μ 1 ) exp 0 τ ( a - 2 b x ( s ) ~ ) d s ,

According to the Floquet theory [6], if | λ2 |< 1, i.e. (4.1) holds, then ( x ( t ) ~ , 0 ) is locally stable.

The following study is to prove the global attraction, choose ε > 0 such that

ρ = ( 1 - μ 2 ) exp 0 τ k β ( x ( t ) ~ + ε ) - d d t < 1 ,
(4.3)

From the first equation of (2.2), we notice that dx(t)/dtx(t)(a - bx(t)), so we consider following impulsive differential equation

d z ( t ) d t = z ( t ) ( a - b z ( t ) ) , t ( n + l ) τ , t ( n + 1 ) τ , Δ z ( t ) = - μ 1 z ( t ) , t = ( n + l ) τ , Δ z ( t ) = μ , t = ( n + 1 ) τ , z ( 0 + ) = z ( 0 + ) ,
(4.4)

From Lemma 3.4 and comparison theorem of impulsive equation (see [[6], Theorem 3.1.1]), we have x(t) ≤ z(t) and z ( t ) z ( t ) ~ as t → ∞, that is

x ( t ) z ( t ) x ( t ) ~ + ε ,
(4.5)

for all t large enough, for convenience, we may assume (4.2) hold for all t ≥ 0. From (2.2) and (4.5), we get.

d y ( t ) d t ( k β ( x ( t ) ~ + ε ) - d ) y ( t ) , t ( n + l ) τ , t ( n + 1 ) τ , Δ y ( t + ) = - μ 2 y ( t ) , t = ( n + l ) τ , n = 1 , 2 , . . . Δ y ( t + ) = 0 , t = ( n + 1 ) τ , n = 1 , 2 , . . .
(4.6)

So y((n + l + 1)τ+) ≤ y((n + l)τ+)(1 - μ2) exp ( n + l ) τ ( n + l + 1 ) τ ( k β ( x ( s ) ~ + ε ) - d ) d s , hence y((n + l)τ+) ≤ y(+) ρn and y((n + l)τ+) → 0 as n → ∞. Since 0 < y(t) ≤ y((n + l)τ+)(1 - μ1) e a e a l τ x a + b ( e a l τ 1 ) x l τ + a ( 1 μ 2 ) e a τ x a + b [ ( e a l τ 1 ) + e a τ e a l τ ) ] x ( 1 l ) τ for (n + l)τ < t ≤ (n + l + 1)τ, therefore y(t) → 0 as t → ∞.

Next we prove that x ( t ) x ( t ) ~ as t → ∞. For ε > 0, there must exist a t0 > 0 such that 0 < y(t) < ε for all tt0. Without loss of generality, we assume that 0 < y(t) < ε for all t ≥ 0, then, for the first equation of system (2.2), we have

x ( t ) [ ( a - β ε ) - b x ( t ) ] d x ( t ) d t x ( t ) ( a - b x ( t ) ) ,
(4.7)

then, we have z1(t) ≤ x(t) ≤ z2(t), and z 1 ( t ) x ( t ) ~ , z 2 ( t ) x ( t ) ~ , as t → ∞. While z1(t) and z2(t) are the solutions of

d z 1 ( t ) d t = z 1 ( t ) [ ( a - β ε ) - b z 1 ( t ) ] , t ( n + l ) τ , t ( n + 1 ) τ , Δ z 1 ( t + ) = - μ 1 z 1 ( t ) , t = ( n + l ) τ , Δ z 1 ( t + ) = μ , t = ( n + 1 ) τ , z 1 ( 0 + ) = x ( 0 + ) ,
(4.8)

and

d z 2 ( t ) d t = z 2 ( t ) [ a - b z 2 ( t ) ] , t ( n + l ) τ , t ( n + 1 ) τ , Δ z 2 ( t + ) = - μ 2 z 2 ( t ) , t = ( n + l ) τ , Δ z 2 ( t + ) = μ , t = ( n + 1 ) τ , z 2 ( 0 + ) = I ( 0 + ) ,
(4.9)

respectively. And

z 1 ( t ) ~ = ( a - β ε ) e ( a - β ε ) ( t - n τ ) z 1 * ( a - β ε ) + b [ e ( a - β ε ) ( t - n τ ) - 1 ] z 1 * , t ( n τ , ( n + l ) τ ] , ( 1 - μ 1 ) ( a - β ε ) e ( a - β ε ) ( t - n τ ) z 1 * ( a - β ε ) + b [ ( e ( a - β ε ) l τ - 1 ) + ( 1 - μ 1 ) ( e ( a - β ε ) ( t - n τ ) - e ( a - β ε ) l τ ) ] z 1 * , t ( ( n + l ) τ , ( n + 1 ) τ ] .
(4.10)

where

z 1 * = ( A 1 + μ B 1 - ( a - β ε ) ) + ( A 1 + μ B 1 - ( a - β ε ) ) 2 + 4 μ ( a - β ε ) B 1 2 B 1 ,
(4.11)

and A1 = (1-μ1)(a - βε)e(a-βε)τ> 0 and B1 = be(a - βε)[1 + (1 - μ1)(e(a - βε)(1-l)τ- 1)] > 0.

Therefore, for any ε1 > 0. there exists a t1, t > t1 such that

z 1 ( t ) ~ - ε 1 < x ( t ) < z 2 ( t ) ~ + ε ,

Let ε → 0, so we have

x ( t ) ~ - ε 1 < x ( t ) < x ( t ) ~ + ε 1 ,

for t large enough, which implies x ( t ) x ( t ) ~ as t → ∞. This completes the proof.

4.2 The permanence

The following study is to investigate the permanence of system (2.2). Before starting this study, we should give the following definition.

Definition 4.2. System (2.2) is said to be permanent if there are constants m, M > 0 (independent of initial value) and a finite time T0 such that for all solutions (x(t), y(t)) with all initial values x(0+) > 0, y(0+) > 0, mx(t) ≤ M, my(t) ≤ M holds for all tT0. Here T0 may depends on the initial values (x(0+), (y(0+)).

Theorem 4.3. If

ln 1 1 - μ 2 < k β b ln 1 + b ( e a l τ - 1 ) x * a + ln 1 + b ( 1 - μ 1 ) ( e a τ - e a l τ ) x * a + b ( e a l τ - 1 ) - d τ ,
(4.12)

holds, then, system (2.2) is permanent. Where x* is defined as (3.5).

Proof. Let (x(t), y(t)) be a solution of (2.2) with x(0) > 0, y(0) > 0. By Lemma 3.3, we have proved there exists a constant M > 0 (βM < a) such that x(t) ≤ M, y(t) ≤ M for t large enough. We may assume x(t) ≤ M, y(t) ≤ M for t ≥ 0.

In this view, for the first equation of system (2.2), we have

d x ( t ) d t > x ( t ) [ ( a - β M ) - b x ( t ) ] ,
(4.13)

then, we obtain the following comparative impulsive differential equation

d n ( t ) d t = n ( t ) [ ( a - β M ) - b n ( t ) ] , t ( n + l ) τ , t ( n + 1 ) τ , Δ n ( t + ) = - μ 1 n ( t ) , t = ( n + l ) τ , Δ n ( t + ) = μ , t = ( n + 1 ) τ , n ( 0 + ) = x ( 0 + ) .
(4.14)

Analyzing (4.14) with similarity as (4.8), we have n ( t ) n ( t ) ~ , and

n ( t ) ~ = ( a - β M ) e ( a - β M ) ( t - n τ ) n * ( a - β M ) + b [ e ( a - β M ) ( t - n τ ) - 1 ] n * , t ( n τ , ( n + l ) τ ] , ( 1 - μ 1 ) ( a - β M ) e ( a - β M ) ( t - n τ ) n * ( a - β M ) + b [ ( e ( a - β M ) l τ - 1 ) + ( 1 - μ 1 ) ( e ( a - β M ) ( t - n τ ) - e ( a - β M ) l τ ) ] n * , t ( ( n + l ) τ , ( n + 1 ) τ ] ,
(4.15)

where

n * = ( A 2 + μ B 2 - ( a - β M ) ) + ( A 2 + μ B 2 - ( a - β M ) ) 2 + 4 μ ( a - β M ) B 2 2 B 2 ,
(4.16)

and A2 = (1 - μ1)(a - βM)e(a - βM)τ> 0 and B2 = be(a-βM)[1 + (1 - μ1)(e(a - βM)(1-l)τ- 1)] > 0. Following comparative theory of impulsive differential equation [6], we know there exists a ε2 such that x ( t ) > n ( t ) ~ - ε2 for all t large enough, and ε2 > 0. So x(t) > [n* + (1 - μ1)(a - βM)e(a-βM)/(a - βM) + b(e(a - βM)- 1)] - ε2 = m2 for t large enough. Thus, we only need to find m1 > 0 such that y(t) ≥ m1 for t large enough. We will do it in the following two steps.

  1. (1)

    By the condition of Theorem 2, we can select m3 > 0, ε1 > 0 small enough such that 0< m 3 < a β , and

    σ = k β b ln 1 + b e ( a - β m 3 ) l τ - 1 z * a - β m 3 + ln 1 + b 1 - μ 1 e ( a - β m 3 ) τ - e ( a - β m 3 ) l τ z * a - β m 3 + b ( e a l τ - 1 ) - k β ε 1 τ - d τ > 0 .

where z* is defined as (4.20). We will prove that y(t) < m3 cannot hold for t ≥ 0.

Otherwise,

d x ( t ) d t x ( t ) [ ( a - β m 3 ) - b x ( t ) ] , t ( n + l ) τ , t ( n + 1 ) τ , Δ x ( t ) = - μ 1 x ( t ) , t = ( n + l ) τ , Δ x ( t ) = x ( t ) + μ , t = ( n + 1 ) τ ,
(4.17)

By Lemma 3.4, we have x(t) ≥ z(t) and z ( t ) z ( t ) ¯ , t → ∞, where z(t) is the solution of

d z ( t ) d t z ( t ) [ ( a - β m 3 ) - b z ( t ) ] , t ( n + l ) τ , t ( n + 1 ) τ , Δ z ( t ) = - μ 1 z ( t ) , t = ( n + l ) τ , Δ z ( t ) = z ( t ) + μ , t = ( n + 1 ) τ ,
(4.18)

and

z ( t ) ¯ = ( a - β M ) e ( a - β m 3 ) ( t - n τ ) n * ( a - β m 3 ) + b [ e ( a - β m 3 ) ( t - n τ ) - 1 ] z * , t ( n τ , ( n + l ) τ ] , ( 1 - μ 1 ) ( a - β m 3 ) e ( a - β m 3 ) ( t - n τ ) z * ( a - β m 3 ) + b [ ( e ( a - β m 3 ) l τ - 1 ) + ( 1 - μ 1 ) ( e ( a - β m 3 ) ( t - n τ ) - e ( a - β m 3 ) l τ ) ] z * , t ( ( n + l ) τ , ( n + 1 ) τ ] ,
(4.19)

where

z * = ( A 3 + μ B 3 - ( a - β m 3 ) ) + ( A 3 + μ B 3 - ( a - β m 3 ) ) 2 + 4 μ ( a - β m 3 ) B 3 2 B 3 ,
(4.20)

and A 3 = ( 1 - μ 1 ) ( a - β m 3 ) e ( a - β m 3 ) τ >0 and B 3 =b e ( a - β m 3 ) l τ 1 + ( 1 - μ 1 ) e ( a - β m 3 ) ( 1 - l ) τ - 1 >0.

Therefore, there exists a T1 > 0 such that

x ( t ) z ( t ) z ( t ) ¯ - ε 1 ,

and

d y ( t ) d t y ( t ) [ k β ( z ( t ) ¯ - ε 1 ) - d ] , t ( n + l ) τ , Δ y ( t ) = - μ 2 y ( t ) , t = ( n + l ) τ , n = 1 , 2 , . . .
(4.21)

for tT1. Let N1N and N1τ > T1, integrating (4.21) on ((n + l - 1)τ, (n + l)τ), nN1, we have

y ( ( n + l ) τ ) ( 1 - μ 2 ) y ( ( n + l - 1 ) τ ) exp ( n + l - 1 ) τ ( n + l ) τ k β ( z ( t ) ¯ - ε 1 ) - d d t = ( 1 - μ 2 ) y ( ( n + l - 1 ) τ ) e σ ,

then, y((N1 + k + l)τ) ≥ (1 - μ2)ky((N1 + l)τ)e → ∞, as k → ∞, which is a contradiction to the boundedness of y(t). Hence there exists a t1 > 0 such that y(t) ≥ m3.

  1. (2)

    If y(t) ≥ m3 for tt1, then our aim is obtained. Hence, we only need to consider those solutions which leave region R= { ( x ( t ) , y ( t ) ) R + 2 : y ( t ) < m 3 } and reenter it again. Let t * = inf t t 1 { y ( t ) < m 3 } , there are two possible cases for t*.

Case 1. t* = (n + l - 1)τ, n1Z + , then x(t) ≥ m3 for t ∈ [t1, t*) and y(t*) = m3, and y(t*+) = y(t*) ≤ m3. Select n2, n3N, such that

( n 2 - 1 ) τ > T 2 = ln ε 1 M k β m 3 - d , ( 1 - μ 2 ) n 2 e n 3 σ e n 2 σ 1 τ > ( 1 - μ 2 ) n 2 e n 3 σ e ( n 2 + 1 ) σ 1 τ > 1 ,

where σ1 = kβm2 - d < 0, Let T = n1τ + n2τ. We claim that there must be a t2 ∈ [t*, t* + T] such that y(t2) > m3, otherwise, consider (4.21) with z(t*+) = y(t*+). We have

z ( t ) = z ( n 1 + ) e ( k β m 3 - d ) t + z ( t ) ¯ , t ( ( n - 1 ) τ , ( n + l - 1 ) τ ] ,
(4.22)

and n1 + 1 ≤ nn2 + n3, then

| z ( t ) - z ( t ) ¯ | < M e ( k β m 3 - d ) ( t - n 1 τ ) < ε 1 ,

and y ( t ) z ( t ) z ( t ) ¯ + ε 1 , (n1 + n2 - 1)τtt* + T, which implies (4.22) holds for t* + n2τtt* + T. As in step 1, we have

y ( t * + T ) y ( t * + n 2 ) τ ) e n 3 σ ,

The second equation of system (2.1) gives

d y ( t ) d t y ( t ) ( k β m 2 - d ) = σ 1 y ( t ) , t ( n + l - 1 ) τ , Δ y ( t ) = - μ 2 y ( t ) , t = ( n + l - 1 ) τ ,
(4.23)

Integrating (4.23) on [t*, t* + n2τ], we have

y ( t * + n 2 τ ) ( 1 - μ 2 ) n 2 m 3 e σ 1 n 2 τ ,

thus we have

y ( t * + T ) ( 1 - μ 2 ) n 2 m 3 e σ 1 n 2 τ e n 3 σ > m 3 ,

which is a contradiction. Let t ̄ = inf t t * { y ( t ) m 3 } , thus y ( t ̄ ) m 3 for t [ t * , t ̄ ] , we have y ( t ) y ( t * ) e σ 1 ( t - t * ) ( 1 - μ 2 ) n 2 + n 3 m 3 e σ 1 ( n 2 + n 3 ) = m 1 for t t ̄ . So we have y(t) ≥ m1. The same arguments can be continued since y ( t ̄ ) m 3 . Hence y ( t ) m 1 for all t t ̄ .

Case 2. t ≠ (n + l - 1)τ, nZ+, then y(t) ≥ m3 for t ∈ [t1, t*), and y(t*) = m3. Suppose t * ( ( n 1 + l - 1 ) τ , ( n 1 + l ) τ ) , ( t Z + ) , then there are two possible cases for t ( t * , ( n 1 + l ) τ ) .

Case 2(a). y(t) ≤ m3 for all t ( t * , ( n 1 ) τ ) . Similar to case 1., we can prove that there must be a t 2 [ ( n 1 + l ) τ , ( n 1 + l ) τ + T ] such that y ( t 2 ) > m 3 . Here we omit it.

Let t ̄ = inf t > t * { y ( t ) > m 3 } , then y(t) ≤ m3 for t ( t * , t ̄ ) and y ( t ̄ ) = m 3 . For t ( t * , t ̄ ) , we have

y ( t ) ( 1 - p 1 ) n 2 + n 3 m 3 e ( n 2   +  n 3 + 1 ) σ 1 τ .

Let m 1 = ( 1 - μ 2 ) n 2 + n 3 m 3 e ( n 2 + n 3 + 1 ) σ 1 τ < m 1 , so y(t) ≥ m1 for t ( t * , t ̄ ) . For t> t ̄ , the same arguments can be continued since y(t) ≥ m1.

Case 2(b). There exists a t ( t * , ( n 1 ) τ ) such that y(t) > m3. Let t ^ = inf t > t * { y ( t ) > m 3 } , then y(t) ≤ m3 for t ( t * , t ^ ) and y ( t ^ ) = m 3 . For t ( t * , t ^ ) , (4.23) holds true, integrating (4.23) on ( t * , t ^ ) , we derive

y ( t ) y ( t * ) e σ 1 ( t ^ - t * ) m 3 e σ 1 τ > m 1 ,

Since y ( t ^ ) m 3 for t > t ^ , the same arguments can be continued. Hence y(t) ≥ m3 for tt1. This completes the proof.

5 Discussion

In this article, according to the fact of biological resource management, we proposed and investigated a predator-prey model with impulsive releasing prey population and impulsive harvesting predator population and prey population at different fixed moment. We analyze that the predator-extinction periodic solution of this system is globally asymptotic stability. If it is assumed that x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ1 = 0.2, μ2 = 0.6, μ = 3, l = 0.25, τ = 1, obviously, the condition of predator-extinction are satisfied, then the predator-extinction periodic solution of system (2.1) is globally asymptotically stable (the numerical simulation can be seen in Figures 1, 2, and 3). We also obtain the condition of the permanence of system (2.2). If it is assumed that x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ1 = 0.2, μ2 = 0.4, μ = 3, l = 0.25, τ = 1, obviously, the permanent condition of system (2.2) is satisfied, then, system (2.1) is permanent (the numerical simulation can also be seen in Figures 4, 5, and 6). From results of the numerical simulation, we know that there exists an impulsive harvesting predator population threshold μ 2 * * , which satisfies 0.4< μ 2 * * <0.6. If μ 2 > μ 2 * * , the predator-extinction periodic solution ( x ( t ) ~ , 0 ) of system (2.2) is globally asymptotically stable. If μ 2 < μ 2 * * , system (2.2) is permanent.

Figure 1
figure 1

Time-series of x ( t ) of globally asymptotic stability predator-extinction periodic solution of system (2.2) with x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ 1 = 0.2, μ 2 = 0.6, μ = 3, l = 0.25, τ = 1.

Figure 2
figure 2

Time-series of y ( t ) of globally asymptotic stability predator-extinction periodic solution of system (2.2) with x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ 1 = 0.2, μ 2 = 0.6, μ = 3, l = 0.25, τ = 1.

Figure 3
figure 3

Phase diagram of globally asymptotic stability predator-extinction periodic solution of system (2.2) with x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ 1 = 0.2, μ 2 = 0.6, μ = 3, l = 0.25, τ = 1.

Figure 4
figure 4

Time-series of x ( t ) of permanence of system (2.2) with x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ 1 = 0.2, μ 2 = 0.4, μ = 3, l = 0.25, τ = 1.

Figure 5
figure 5

Time-series of y ( t ) of permanence of system (2.2) with x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ 1 = 0.2, μ 2 = 0.4, μ = 3, l = 0.25, τ = 1.

Figure 6
figure 6

Phase diagram of permanence of system (2.2) with x(0) = 2, y(0) = 2, a = 2, b = 1, d = 1, β = 0.6, k = 0.9, μ 1 = 0.2, μ 2 = 0.4, μ = 3, l = 0.25, τ = 1.

From Theorems 4.1 and 4.3, we can easily guess that there must exist an impulsive harvesting predator population threshold μ 2 * . If μ 2 > μ 2 * , the predator-extinction periodic solution ( x ( t ) ~ , 0 ) of system (2.2) is globally asymptotically stable. If μ 2 > μ 2 * , system (2.2) is permanent. The same discussion can be applied to parameters μ1 and τ. These results show that the impulsive effect plays an important role for the permanence of system (2.2). Our results provide reliable tactic basis for the practically biological resource management.