Skip to main content

Global stability of a modified Leslie-Gower model with Beddington-DeAngelis functional response

Abstract

A predator-prey model with modified Leslie-Gower and Beddington-DeAngelis functional response is studied. The local stability of the equilibria and the permanence of the system are investigated. By applying the fluctuation lemma, qualitative analysis and Lyapunov direct method, respectively, three sufficient conditions on the global asymptotic stability of a positive equilibrium are obtained.

MSC:34D23, 92D25, 34D20, 34D40.

1 Introduction

As pointed out by Berryman [1], the dynamic relationship between predators and their prey has long been and will continue to be one of the dominant themes in both ecology and mathematical ecology due to its universal existence and importance. Leslie [2, 3] introduced the following famous Leslie predator-prey system:

x ˙ ( t ) = ( r 1 b 1 x ( t ) ) x ( t ) p ( x ( t ) ) y ( t ) , y ˙ ( t ) = ( r 2 a 2 y ( t ) x ( t ) ) y ( t ) ,
(1.1)

where x(t), y(t) stand for the population (the density) of the prey and the predator at time t, respectively. The parameters r 1 and r 2 are the intrinsic growth rates of the prey and the predator, respectively. b 1 measures the strength of competition among individuals of species x. The value r 1 b 1 is the carrying capacity of the prey in the absence of predation. The predator consumes the prey according to the functional response p(x) and carries capacity  x a 2 . The parameter a 2 is a measure of the food quantity that the prey provides converted to predator birth. The term y/x is the Leslie-Gower term which measures the loss in the predator population due to rarity (per capita y/x) of its favorite food. Leslie model is a predator-prey model where the carrying capacity of the predator is proportional to the number of prey, stressing the fact that there are upper limits to the rates of increase in both prey x and predator y, which are not recognized in the Lotka-Volterra model. These upper limits can be approached under favorable conditions: for the predators, when the number of prey per predator is large; for the prey, when the number of predators (and perhaps the number of prey also) is small [4]. For more details of the model, one can see [49] and the references cited therein. Holling [10] suggested three different kinds of functional response for different kinds of species to model the phenomena of predation, which made the standard Lotka-Volterra system more realistic. When p(x)= a 1 x x + k 1 , the functional response p(x) is called Holling-type II.

Recently, Aziz-Alaoui and Daher Okiye [11] pointed out that in the case of severe scarcity, y can switch over to other populations but its growth will be limited by the fact that its most favorite food x is not available in abundance. To solve such a problem, they suggested to add a positive constant d to the denominator and proposed the following predator-prey model with modified Leslie-Gower and Holling-type II schemes:

x ˙ ( t ) = ( r 1 b 1 x ( t ) a 1 y ( t ) x ( t ) + k 1 ) x ( t ) , y ˙ ( t ) = ( r 2 a 2 y ( t ) x ( t ) + k 2 ) y ( t ) ,
(1.2)

where r 1 , b 1 , r 2 , a 2 have the same meaning as in models (1.1). a 1 is the maximum value of the per capita reduction rate of x due to y, k 1 (respectively, k 2 ) measures the extent to which the environment provides protection to prey x (respectively, to the predator y). The authors studied the boundedness and global stability of positive equilibrium of system (1.2). Since then, system (1.2) and its non-autonomous versions have been studied by incorporating delay and impulses, harvesting and so on (see, for example, [1229]). In [12], we studied the structure, linearized stability and the global asymptotic stability of equilibria of (1.2). Nindjin et al. [13] incorporated time delay to system (1.2) and studied the global stability and persistence of the delayed system by using the Lyapunov functional. Yafia et al. [14] and [15] further studied the occurrence of Hopf bifurcation at equilibrium by using the time delay as a parameter of bifurcation. Nindjin and Aziz-Alaoui [16] studied uniform persistence and global stability of three Leslie-Gower-type species food chain system. Gakkhar and Singh [17] studied the dynamic behaviors of a modified Leslie-Gower predator-prey system with seasonally varying parameters. Guo and Song [18], Song and Li [19] further considered the influence of impulsive effect. Zhu and Wang [20] obtained sufficient conditions for the existence and global attractivity of positive periodic solutions of system (1.2) with periodic coefficients. Liu and Wang [21] considered a stochastic predator-prey system with modified Leslie-Gower and Holling-type II schemes with Lévy jumps. The results showed that the Lévy jumps can change the properties of the population systems significantly. Kar and Ghorai [22] obtained local stability, global stability, influence of harvesting and bifurcation of a delayed predator-prey system in the presence of harvesting. Two stage-structured predator-prey models with modified Leslie-Gower and Holling-type II schemes were studied in [2325]. Gupta and Chandra [26] discussed the permanence, stability and bifurcation (saddle-node bifurcation, transcritical, Hopf-Andronov and Bogdanov-Takens) of a modified Leslie-Gower prey-predator model with Michaelis-Menten type prey harvesting. Ji et al. [27, 28] showed there was a stationary distribution of a predator-prey model with modified Leslie-Gower and Holling-type II schemes with stochastic perturbation and it has ergodic property. Lian and Xu [29] discussed the Hopf bifurcation of a predator-prey system with Holling type IV functional response and time delay.

As we all know, the functional response can be classified into two types: prey-dependent and predator-dependent. Prey-dependent depends on prey density only, while predator-dependent means that the functional response is a function of both the preys and the predators densities. Recently, the prey-dependent functional responses have been challenged by several ecologists. There is a growing explicit biological and physiological evidence [3032] that in many situations, especially when the predator has to search for food (and therefore has to shave or compete for food), a more suitable general predator-prey theory should be predator-dependent. This is supported by numerous fields and laboratory experiments and observations [33, 34]. Starting from this argument and the traditional prey-dependent-only model, Arditi and Ginzburg [33] first proposed the ratio-dependent predator-prey model. Many authors have observed that the ratio-dependent models can exhibit much richer, more complicated and more reasonable or acceptable dynamics, but it has somewhat singular behavior at low densities which has been the source of controversy [35]. For the ratio-dependent predator-prey models, one can refer to [3639].

Beddington-DeAngelis functional response α x a + b x + c y was first proposed by Beddington and DeAngelis [40, 41]. Predator-prey model with Beddington-DeAngelis functional response has rich dynamical features, which can describe the species and the ecological systems more reasonably. Beddington-DeAngelis functional response is similar to the well-known Holling type II functional response but has an extra term cy in the denominator modeling mutual interference among predators and has some of the same qualitative features as the ratio-dependent form but avoids some of the singular behaviors of ratio-dependent models at low densities.

On the other hand, in 2001, Skalski and Gilliam [42] have presented statistical evidence from nineteen predator-prey systems that three predator-dependent functional responses (Beddington-DeAngelis, Crowley-Martin, and Hassell-Varley) can provide better description of predator feeding over a range of predator-prey abundances. In some cases, the Beddington-DeAngelis type preformed even better. Theoretical studies have shown that the dynamics of models with predator-dependent functional responses can differ considerably from those with prey-dependent functional responses. Although much progress has been seen in the study of predator-prey models with modified Leslie-Gower (see [1129]), to the best of the authors’ knowledge, seldom did scholars consider the modified Leslie-Gower model with Beddington-DeAngelis functional response. Stimulated by above reasons, in this paper we will incorporate the Beddington-DeAngelis functional response into model (1.2) and consider the following model which is the generalization of model (1.2):

x ˙ ( t ) = ( r 1 p x ( t ) α y ( t ) a + b x ( t ) + c y ( t ) ) x ( t ) , y ˙ ( t ) = ( r 2 β y ( t ) x ( t ) + k ) y ( t ) ,
(1.3)

with initial conditions x(0)>0 and y(0)>0. The parameters r 1 , p, α, a, b, c, r 2 , β and k are positive constants and have the same meaning as in model (1.2).

It is easy to see that both the first quadrant R + 2 and the positive first quadrant Int R + 2 are invariant for system (1.3). As a result, solutions (x(t),y(t)) to (1.3) with (x(0),y(0))Int R + 2 are all positive solutions.

The rest of this paper is organized as follows. In Section 2, we discuss the structure of nonnegative equilibria to (1.3) and their local stability, which motivates us to study permanence and global stability of (1.3) respectively in Section 3 and Section 4.

For more works on this direction, one could refer to [4351] and the references cited therein.

2 Nonnegative equilibria and their local stability

The Jacobian matrix of system (1.3) is

J= ( r 1 2 p x α y ( a + c y ) ( a + b x + c y ) 2 α x ( a + b x ) ( a + b x + c y ) 2 β y 2 ( x + k ) 2 r 2 2 β y x + k ) .

An equilibrium E of (1.3) is (linearly) stable if the real parts of both eigenvalues of J(E) are negative, and therefore a sufficient condition for stability is

tr ( J ( E ) ) <0anddet ( J ( E ) ) >0.
(2.1)

Obviously, (1.3) has three boundary equilibria, E 0 =(0,0), E 1 =( r 1 p ,0) and E 2 =(0, r 2 k β ), whose Jacobian matrices are

J( E 0 )= ( r 1 0 0 r 2 ) ,
J( E 1 )= ( r 1 α r 1 a p + b r 1 0 r 2 ) ,

and

J( E 2 )= ( r 1 α r 2 k a β + c r 2 k 0 r 2 2 β r 2 ) ,

respectively. As a direct consequence of (2.1), we have the following result.

Proposition 2.1

  1. (i)

    Both E 0 and E 1 are unstable.

  2. (ii)

    E 2 is locally asymptotically stable if α r 2 k>a r 1 β+ r 1 r 2 ck, while it is unstable if α r 2 k<a r 1 β+ r 1 r 2 ck.

Besides the three boundary equilibria, (1.3) may have (componentwise) positive equilibria. Suppose that E ˆ =( x ˆ , y ˆ ) is such an equilibrium. Then

r 1 p x ˆ = α y ˆ a + b x ˆ + c y ˆ , y ˆ = r 2 ( x ˆ + k ) β .
(2.2)

One can easily see that x ˆ satisfies

( r 2 cp+bpβ) x ˆ 2 +B x ˆ +α r 2 ka r 1 β r 1 r 2 ck=0,
(2.3)

where B = α r 2 +p r 2 ck+apβ r 1 r 2 cb r 1 β. Moreover, for convenience, we denote

Δ = B 2 4( r 2 cp+bpβ)(α r 2 ka r 1 β r 1 r 2 ck).

Hence, we have the following result.

Proposition 2.2 Suppose that

( H 0 )α r 2 k<a r 1 β+ r 1 r 2 ck

holds, then system (1.3) has a unique positive equilibrium E ˆ =( x ˆ , y ˆ ), where

x ˆ = B + Δ 2 ( r 2 c p + b p β ) and y ˆ = r 2 ( x ˆ + k ) β .

We now want to study the stability of the positive equilibrium E ˆ =( x ˆ , y ˆ ). It follows from the Jacobian matrix of systems (1.3) and (2.2) that

tr ( J ( E ˆ ) ) = ( r 1 b a p ) x ˆ 2 p b x ˆ 2 p c x ˆ y ˆ a + b x ˆ + c y ˆ r 2 = ( 2 p b β + p c r 2 ) x ˆ 2 + ( r 1 b β a p β r 2 b β r 2 2 c ) x ˆ r 2 2 c k p c r 2 k a r 2 β a β + ( b β + c r 2 ) x ˆ + c r 2 k ,

and

det ( J ( E ˆ ) ) = r 2 ( 2 p b x ˆ 2 ( r 1 b a p ) x ˆ + p c x ˆ y ˆ ) a + b x ˆ + c y ˆ + r 2 2 x ˆ ( a + b x ˆ ) ( r 1 p x ˆ ) β ( a + b x ˆ + c y ˆ ) y ˆ = r 2 x ˆ a + b x ˆ + c y ˆ ( 2 p b x ˆ ( r 1 b a p ) + p c r 2 ( x ˆ + k ) β + ( a + b x ˆ ) ( r 1 p x ˆ ) ( x ˆ + k ) ) = r 2 x ˆ β ( a + b x ˆ + c y ˆ ) ( x ˆ + k ) ( ( p b β + p c r 2 ) x ˆ 2 + 2 ( p c r 2 k + p b k β ) x ˆ + p c r 2 k 2 + a r 1 β + a p k β r 1 b k β ) .

Thus, if r 1 b<ap, we have

tr ( J ( E ˆ ) ) <0anddet ( J ( E ˆ ) ) >0.

Hence, the following proposition follows from (2.1).

Proposition 2.3 Assume that

( H 1 ) r 1 b<ap

holds, then the positive equilibrium E ˆ is locally asymptotically stable.

Proposition 2.1 and Proposition 2.3 naturally motivate us to seek sufficient conditions on the global stability of E 2 and the unique positive equilibrium to (1.3). To achieve it, we need the bounds for positive solutions.

3 Boundedness and permanence

The following result can be proved by slightly modifying the proof of Lemma 3.2 of Chen [52] and it will play an important role in finding the bounds for positive solutions to (1.3).

Lemma 3.1 If a>0, b>0 and x ˙ x(bax), when t t 0 and x( t 0 )>0, we have

lim inf t + x(t) b a .

If a>0, b>0 and x ˙ x(bax), when t t 0 and x( t 0 )>0, we have

lim sup t + x(t) b a .

Proposition 3.1 Let (x(t),y(t)) be any positive solution of (1.3). Then

lim sup t + x(t) r 1 p = M 1 ,
(3.1)

and

m 2 lim inf t + y(t) lim sup t + y(t) M 2 ,

where m 2 = r 2 k β and M 2 = r 1 r 2 + p r 2 k p β .

Proof Since (x(t),y(t)) is a positive solution of (1.3), we have

x ˙ ( r 1 p x ) x , y ˙ ( r 2 β y k ) y .
(3.2)

Then (3.1) and lim inf t + y(t) m 2 follow directly from Lemma 3.1. Thus, for any ε>0, there exists T>0 such that

x(t) r 1 p +εfor tT.

This combined with the second equation of (1.3) leads to

y ˙ ( r 2 β y r 1 p + ε + k ) yfor tT.

Using Lemma 3.1 again, one has

lim sup t + y(t) r 2 ( r 1 p + ε + k ) β .

Thus lim sup t y(t) M 2 by letting ε0. □

Proposition 3.2 Suppose that

( H 2 )a r 1 pβ>α( r 1 r 2 +p r 2 k).

If (x(t),y(t)) is a positive solution to system (1.3), then

lim inf t + x(t) a r 1 p β α ( r 1 r 2 + p r 2 k ) a p 2 β = m 1 .

Proof Denote

ε 0 = a r 1 p β α ( r 1 r 2 + p r 2 k ) α p β .

Then, for ε(0, ε 0 ), we have

a r 1 pβ>α( r 1 r 2 +p r 2 k+pβε).

According to Proposition 3.1, there exists T>0 such that

y(t) r 1 r 2 + p r 2 k p β +εfor tT.

This, combined with the first equation of (1.3), produces

x ˙ ( r 1 p x α ( r 1 r 2 + p r 2 k + p β ε ) a p β ) xfor tT.

It follows from Lemma 3.1 that

lim inf t + x(t) r 1 α ( r 1 r 2 + p r 2 k + p β ε ) a p β p .

This gives lim inf t + x(t) m 1 by letting ε0. □

Combing Proposition 3.1 with Proposition 3.2 gives the permanence of (1.3).

Theorem 3.1 Suppose that (H2) holds, then (1.3) is permanent.

4 Global asymptotic stability

The goal of this section is to establish sufficient conditions on the global asymptotic stability of equilibrium to (1.3). The first two results are proved by employing the fluctuation lemma, which is cited below for the convenience of the readers. See Hirsch et al. [53] or Tineo [54] for more details on the fluctuation lemma.

Lemma 4.1 (Fluctuation lemma)

Let x(t) be a bounded differentiable function on [α,). Then there exist sequences τ n and σ n such that

  1. (i)

    x ˙ ( τ n )0 and x( τ n ) lim sup t x(t)= x ¯ as n;

  2. (ii)

    x ˙ ( σ n )0 and x( σ n ) lim inf t x(t)= x ̲ as n.

Theorem 4.1 Assume that

( H 3 )α r 1 pβ+b r 1 2 β+c r 1 r 2 kp<αp r 2 k.

Then E 2 =(0, r 2 k β ) is globally asymptotically stable for system (1.3).

Proof Let (x(t),y(t)) be any positive solution of (1.3). According to (H3), we can choose ε(0, r 2 k β ) such that

α r 1 pβ+b r 1 2 β+c r 1 r 2 kp<αp r 2 k+(c r 1 b r 1 α)pβε.
(4.1)

It follows from Proposition 3.1 that there exists T>0 such that

x(t) r 1 p +εandy(t) r 2 k β εfor tT.

These inequalities combined with the first equation of (1.3) give us

x ˙ ( r 1 α p ( r 2 k β ε ) a p β + b r 1 β + c r 2 k p + ( b c ) p β ε ) for tT,

or

x ˙ x ( r 1 α p ( r 2 k β ε ) a p β + b r 1 β + c r 2 k p + ( b c ) p β ε ) for tT.
(4.2)

Integrating both sides of (4.2) on interval [T,t] leads to

x(t)x(T)exp { ( r 1 α p ( r 2 k β ε ) a p β + b r 1 β + c r 2 k p + ( b c ) p β ε ) ( t T ) } .

Due to (4.1), one has lim sup t + x(t)0. Hence

lim t + x(t)=0.
(4.3)

Proposition 3.1 again tells us that y(t) is bounded and y ¯ = lim sup t + y(t) y ̲ = lim inf t + y(t)>0. By Lemma 4.1, there exist sequences τ n , σ n such that y ˙ ( τ n )0, y ˙ ( σ n )0, y( τ n ) y ¯ , and y( σ n ) y ̲ , as n.

It follows from the second equation of (1.3) and lim t + x(t)=0 that

0= ( r 2 β y ¯ k ) y ¯ or y ¯ = r 2 k β .
(4.4)

Similarly, one can show that

y ̲ = r 2 k β .
(4.5)

Equation (4.4) combined with (4.5) implies that

lim t + y(t)= r 2 k β .
(4.6)

It follows from (4.3) and (4.6) that E 2 =(0, r 2 k β ) is globally asymptotically stable. □

Theorem 4.2 In addition to (H2), further suppose that

( H 4 ) r 1 bβ+α r 2 2bpβ m 1 +apβ+cp r 2 k+c r 1 r 2 ,

where m 1 is defined in Proposition  3.2. Then system (1.3) has a unique positive equilibrium which is globally asymptotically stable.

Proof Note that (H2) implies (H0), thus (1.3) has a unique positive equilibrium according to Proposition 2.2. Let (x(t),y(t)) be any positive solution of (1.3). By the results in Section 3, x ¯ = lim sup t x(t) x ̲ = lim inf t x(t) m 1 (>0) and y ¯ = lim sup t y(t) y ̲ = lim inf t y(t)>0.

We claim that x ¯ = x ̲ . Suppose that x ¯ > x ̲ . According to Lemma 4.1, there exist sequences ξ n , η n , τ n and σ n , such that x ˙ ( ξ n )0, x ˙ ( η n )0, x( ξ n ) x ¯ and x( η n ) x ̲ , y ˙ ( τ n )0, y ˙ ( σ n )0, y( τ n ) y ¯ and y( σ n ) y ̲ , as n. First, it follows from the second equation of (1.3) that

y ˙ ( τ n ) ( r 2 β y ( τ n ) sup t τ n x ( τ n ) + k ) y( τ n )

and

y ˙ ( τ n ) ( r 2 β y ( τ n ) inf t τ n x ( τ n ) + k ) y( τ n ).

Letting n gives us

0 ( r 2 β y ¯ x ¯ + k ) y ¯

and

0 ( r 2 β y ¯ x ̲ + k ) y ¯ .

Hence

r 2 ( x ̲ + k ) β y ¯ r 2 ( x ¯ + k ) β .
(4.7)

Similar arguments as above also produce

r 2 ( x ̲ + k ) β y ̲ r 2 ( x ¯ + k ) β .
(4.8)

Second, from the first equation of (1.3), we have

x ˙ ( ξ n )= ( r 1 p x ( ξ n ) α y ( ξ n ) a + b x ( ξ n ) + c y ( ξ n ) ) x( ξ n ).
(4.9)

Equation (4.9) implies

x ˙ ( ξ n ) ( r 1 p x ( ξ n ) α inf t ξ n y ( ξ n ) a + b x ( ξ n ) + c inf t ξ n y ( ξ n ) ) x( ξ n ).

Taking limit as n, one obtains

0 ( r 1 p x ¯ α y ̲ a + b x ¯ + c y ̲ ) x ¯ .

This, combined with (4.8), gives us

0 ( r 1 p x ¯ α r 2 ( x ̲ + k ) a β + b β x ¯ + c r 2 ( x ̲ + k ) ) x ¯ .

It follows that

( r 1 bβapβ) x ¯ bpβ x ¯ 2 cp r 2 x ¯ ( x ̲ +k)+c r 1 r 2 x ̲ +a r 1 β+c r 1 r 2 kα r 2 ( x ̲ +k).
(4.10)

Similarly, one can show that

( r 1 bβapβ) x ̲ bpβ x ̲ 2 cp r 2 x ̲ ( x ¯ +k)+c r 1 r 2 x ¯ +a r 1 β+c r 1 r 2 kα r 2 ( x ¯ +k).
(4.11)

Multiplying (4.10) by −1 and adding it to (4.11), we have

bpβ ( x ¯ 2 x ̲ 2 ) +(apβ r 1 bβ+cp r 2 k+c r 1 r 2 α r 2 )( x ¯ x ̲ )0.

Due to x ¯ > x ̲ , one gets

bpβ( x ¯ + x ̲ )+(apβ+cp r 2 k+c r 1 r 2 r 1 bβα r 2 )0.
(4.12)

On the other hand,

b p β ( x ¯ + x ̲ ) + ( a p β + c p r 2 k + c r 1 r 2 r 1 b β α r 2 ) > 2 b p β m 1 + ( a p β + c p r 2 k + c r 1 r 2 r 1 b β α r 2 ) 0 by  ( H 4 ) ,

which contradicts with (4.12). Therefore, x ¯ = x ̲ and the claim is proved. The claim implies that lim t + x(t) exists and we denote it by x . Then it follows from (4.7) and (4.8) that lim t + y(t) exists and lim t + y(t) = y = r 2 ( x + k ) β >0. Letting n in (4.9) gives us

( r 2 cβ+bpβ) x 2 +(α r 2 +p r 2 ck+apβ r 1 r 2 cb r 1 β) x +α r 2 ka r 1 β r 1 r 2 ck=0.

Thus ( x , y ) satisfies

r 1 p x = α y a + b x + c y , y = r 2 ( x + k ) β .

That is, ( x , y ) is a positive equilibrium of (1.3). This completes the proof as the positive equilibrium is unique and so the unique equilibrium point is globally asymptotically stable. □

The following results in this section are proved by qualitative method and applying the Lyapunov direct method with the Lyapunov function.

Theorem 4.3 Assume that (H0) and (H1) hold, then (1.3) has a unique positive equilibrium which is globally asymptotically stable.

Proof According to Proposition 2.2, (1.3) has a unique positive equilibrium E ˆ =( x ˆ , y ˆ ). Taking Dulac function D(x,y)= x 1 (a+bx+cy) y 2 , we obtain

( D P ) x + ( D Q ) y = ( r 1 b a p ) 2 p b x p c y y 2 r 2 ( a + b x ) x y 2 β c x ( x + k ) ,

where (P,Q) is the vector field of (1.3). By the positivity of x, y, it is easy to obtain that ( D P ) x + ( D Q ) y <0 if (H1) holds. Then, by the Dulac criteria, (1.3) admits no limit cycles or separatrix cycles. Proposition 2.3 shows that E ˆ =( x ˆ , y ˆ ) is locally asymptotically stable when (H1) holds. On the other hand, (1.3) admits only four equilibria E i (i=0,1,2) and E ˆ . Also, Proposition 2.1 shows that E i (i=0,1,2) are all unstable when α r 2 k<a r 1 β+ r 1 r 2 ck holds. So, according to Proposition 3.1 and the Poincaré-Bendixson theorem, E ˆ is globally asymptotically stable. □

Theorem 4.4 Suppose that (H0) holds, further assume that

( H 5 ) α b y ˆ a + α M 2 2 k + α ( a + b x ˆ ) 2 a <p(a+b x ˆ +c y ˆ )and M 2 a<k(ab x ˆ )

hold, then (1.3) has a unique positive equilibrium E ˆ =( x ˆ , y ˆ ) which is globally asymptotically stable.

Proof Let (x(t),y(t)) be any positive solution of (1.3). According to Proposition 2.2, (1.3) has a unique positive equilibrium E ˆ =( x ˆ , y ˆ ). From (H5), we can choose an ε>0 such that

α b y ˆ a + α ( M 2 + ε ) 2 k + α ( a + b x ˆ ) 2 a <p(a+b x ˆ +c y ˆ )and M 2 + ε 2 k + a + b x ˆ 2 a <1.
(4.13)

Moreover, it follows from Proposition 3.1 that there exists T>0 such that

0<y(t) M 2 +εfor tT.
(4.14)

Let V(x,y)= V 1 (x,y)+ V 2 (x,y), where V 1 (x,y)=(a+b x ˆ +c y ˆ )(x x ˆ x ˆ ln( x x ˆ )) and V 2 (x,y)= α ( x ˆ + k ) β (y y ˆ y ˆ ln( y y ˆ )). Calculating the derivative of V along the solution of system (1.3), we have

V ˙ ( x , y ) = ( a + b x ˆ + c y ˆ ) ( x x ˆ ) ( r 1 p x α y a + b x + c y ) + α ( x ˆ + k ) β ( y y ˆ ) ( r 2 β y x + k ) = ( a + b x ˆ + c y ˆ ) ( x x ˆ ) ( p ( x x ˆ ) + α y ˆ a + b x ˆ + c y ˆ α y a + b x + c y ) + α ( x ˆ + k ) β ( y y ˆ ) ( β y ˆ x ˆ + k β y x + k ) = ( α b y ˆ a + b x + c y p ( a + b x ˆ + c y ˆ ) ) ( x x ˆ ) 2 α ( y y ˆ ) 2 + ( α y x + k α ( a + b x ˆ ) a + b x + c y ) ( x x ˆ ) ( y y ˆ ) ( α b y ˆ a + b x + c y p ( a + b x ˆ + c y ˆ ) ) ( x x ˆ ) 2 α ( y y ˆ ) 2 + ( α y x + k + α ( a + b x ˆ ) a + b x + c y ) ( x x ˆ ) 2 + ( y x ˆ ) 2 2 ( α b y ˆ a p ( a + b x ˆ + c y ˆ ) ) ( x x ˆ ) 2 α ( y y ˆ ) 2 + ( α y k + α ( a + b x ˆ ) a ) ( x x ˆ ) 2 + ( y x ˆ ) 2 2 = ( α b y ˆ a p ( a + b x ˆ + c y ˆ ) + α y 2 k + α ( a + b x ˆ ) 2 a ) ( x x ˆ ) 2 + ( α y 2 k + α ( a + b x ˆ ) 2 a α ) ( y y ˆ ) 2 ( α b y ˆ a p ( a + b x ˆ + c y ˆ ) + α ( M 2 + ε ) 2 k + α ( a + b x ˆ ) 2 a ) ( x x ˆ ) 2 + α ( M 2 + ε 2 k + a + b x ˆ 2 a 1 ) ( y y ˆ ) 2 .

According to (4.13) and (4.14), V ˙ (x,y)<0 strictly for all x,y>0 except the positive equilibrium E ˆ =( x ˆ , y ˆ ), where V ˙ (x,y)=0. Thus, V(x,y) satisfies Lyapunov’s asymptotic stability theorem, and the positive equilibrium E ˆ of system (1.3) is globally asymptotically stable. This ends the proof of Theorem 4.4. □

Conclusion

In this paper, we consider a predator-prey model with modified Leslie-Gower and Beddington-DeAngelis functional response. We discuss the structure of nonnegative equilibria and their local stability. Also, the permanence of the system is investigated. By applying the fluctuation lemma, qualitative analysis and Lyapunov direct method, respectively, three sufficient conditions on the global asymptotic stability of a positive equilibrium are obtained. Compare Theorem 4.2 with Theorem 4.3. Since (H2) contains (H0), what will happen when (H0) and (H4) hold? This is a further problem, which can be studied in the future.

References

  1. Berryman AA: The origins and evolution of predator-prey theory. Ecology 1992, 75: 1530–1535.

    Article  Google Scholar 

  2. Leslie PH: Some further notes on the use of matrices in population mathematics. Biometrika 1948, 35: 213–245. 10.1093/biomet/35.3-4.213

    MathSciNet  Article  Google Scholar 

  3. Leslie PH: A stochastic model for studying the properties of certain biological systems by numerical methods. Biometrika 1958, 45: 16–31. 10.1093/biomet/45.1-2.16

    MathSciNet  Article  Google Scholar 

  4. Korobeinikov A: A Lyapunov function for Leslie-Gower predator-prey models. Appl. Math. Lett. 2001, 14: 697–699. 10.1016/S0893-9659(01)80029-X

    MathSciNet  Article  Google Scholar 

  5. Hsu SB, Hwang TW: Global stability for a class of predator-prey systems. SIAM J. Appl. Math. 1995, 55: 763–783. 10.1137/S0036139993253201

    MathSciNet  Article  Google Scholar 

  6. Hsu SB, Hwang TW: Uniqueness of limit cycles for a predator-prey system of Holling and Leslie type. Can. Appl. Math. Q. 1998, 6: 91–117.

    MathSciNet  Google Scholar 

  7. Hsu SB, Hwang TW: Hopf bifurcation analysis for a predator-prey system of Holling and Leslie type. Taiwan. J. Math. 1999, 3: 35–53.

    MathSciNet  Google Scholar 

  8. Yuan S, Song Y: Bifurcation and stability analysis for a delayed Leslie-Gower predator-prey system. IMA J. Appl. Math. 2009, 74: 574–603. 10.1093/imamat/hxp013

    MathSciNet  Article  Google Scholar 

  9. May RM: Stability and Complexity in Model Ecosystems. Princeton University Press, Princeton; 2001.

    Google Scholar 

  10. Holling CS: The functional response of predator to prey density and its role in mimicry and population regulation. Mem. Entomol. Soc. Can. 1965, 45: 1–60.

    Article  Google Scholar 

  11. Aziz-Alaoui MA, Daher Okiye M: Boundedness and global stability for a predator-prey model with modified Leslie-Gower and Holling-type II schemes. Appl. Math. Lett. 2003, 16: 1069–1075. 10.1016/S0893-9659(03)90096-6

    MathSciNet  Article  Google Scholar 

  12. Yu SB: Global asymptotic stability of a predator-prey model with modified Leslie-Gower and Holling-type II schemes. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 208167

    Google Scholar 

  13. Nindjin AF, Aziz-Alaoui MA, Cadivel M: Analysis of a predator-prey model with modified Leslie-Gower and Holling-type II schemes with time delay. Nonlinear Anal., Real World Appl. 2006, 7: 1104–1118. 10.1016/j.nonrwa.2005.10.003

    MathSciNet  Article  Google Scholar 

  14. Yafia R, El Adnani F, Talibi Alaoui H: Stability of limit cycle in a predator-prey model with modified Leslie-Gower and Holling-type II schemes with time delay. Appl. Math. Sci. 2007, 1: 119–131.

    MathSciNet  Google Scholar 

  15. Yafia R, El Adnani F, Talibi Alaoui H: Limit cycle and numerical similations for small and large delays in a predator-prey model with modified Leslie-Gower and Holling-type II schemes. Nonlinear Anal., Real World Appl. 2008, 9: 2055–2067. 10.1016/j.nonrwa.2006.12.017

    MathSciNet  Article  Google Scholar 

  16. Nindjin AF, Aziz-Alaoui MA: Persistence and global stability in a delayed Leslie-Gower type three species food chain. J. Math. Anal. Appl. 2008, 340: 340–357. 10.1016/j.jmaa.2007.07.078

    MathSciNet  Article  Google Scholar 

  17. Gakkhar S, Singh B: Dynamics of modified Leslie-Gower-type prey-predator model with seasonally varying parameters. Chaos Solitons Fractals 2006, 27: 1239–1255. 10.1016/j.chaos.2005.04.097

    MathSciNet  Article  Google Scholar 

  18. Guo HJ, Song XY: An impulsive predator-prey system with modified Leslie-Gower and Holling type II schemes. Chaos Solitons Fractals 2008, 36: 1320–1331. 10.1016/j.chaos.2006.08.010

    MathSciNet  Article  Google Scholar 

  19. Song XY, Li YF: Dynamic behaviors of the periodic predator-prey model with modified Leslie-Gower Holling-type II schemes and impulsive effect. Nonlinear Anal., Real World Appl. 2008, 9: 64–79. 10.1016/j.nonrwa.2006.09.004

    MathSciNet  Article  Google Scholar 

  20. Zhu Y, Wang K: Existence and global attractivity of positive periodic solutions for a predator-prey model with modified Leslie-Gower Holling-type II schemes. J. Math. Anal. Appl. 2011, 384: 400–408. 10.1016/j.jmaa.2011.05.081

    MathSciNet  Article  Google Scholar 

  21. Liu M, Wang K: Dynamics of a Leslie-Gower Holling-type II predator-prey system with Lévy jumps. Nonlinear Anal. 2013, 85: 204–213.

    MathSciNet  Article  Google Scholar 

  22. Kar TK, Ghorai A: Dynamic behaviour of a delayed predator-prey model with harvesting. Appl. Math. Comput. 2011, 217: 9085–9104. 10.1016/j.amc.2011.03.126

    MathSciNet  Article  Google Scholar 

  23. Huo H, Wang X, Chavez C: Dynamics of a stage-structured Leslie-Gower predator-prey model. Math. Probl. Eng. 2011., 2011: Article ID 149341

    Google Scholar 

  24. Li Z, Han M, Chen F: Global stability of a stage-structured predator-prey model with modified Leslie-Gower and Holling-type II schemes. Int. J. Biomath. 2012., 5: Article ID 1250057

    Google Scholar 

  25. Liu C, Zhang Q, Huang J: Stability analysis of a harvested prey-predator model with stage structure and maturation delay. Math. Probl. Eng. 2013., 2013: Article ID 329592 10.1155/2013/329592

    Google Scholar 

  26. Gupta RP, Chandra P: Bifurcation analysis of modified Leslie-Gower predator-prey model with Michaelis-Menten type prey harvesting. J. Math. Anal. Appl. 2013, 398: 278–295. 10.1016/j.jmaa.2012.08.057

    MathSciNet  Article  Google Scholar 

  27. Ji CY, Jiang DQ, Shi NZ: Analysis of a predator-prey model with modified Leslie-Gower and Holling-type II schemes with stochastic perturbation. J. Math. Anal. Appl. 2009, 359: 482–498. 10.1016/j.jmaa.2009.05.039

    MathSciNet  Article  Google Scholar 

  28. Ji CY, Jiang DQ, Shi NZ: A note on a predator-prey model with modified Leslie-Gower and Holling-type II schemes with stochastic perturbation. J. Math. Anal. Appl. 2011, 377: 435–440. 10.1016/j.jmaa.2010.11.008

    MathSciNet  Article  Google Scholar 

  29. Lian F, Xu Y: Hopf bifurcation analysis of a predator-prey system with Holling type IV functional response and time delay. Appl. Math. Comput. 2009, 215: 1484–1495. 10.1016/j.amc.2009.07.003

    MathSciNet  Article  Google Scholar 

  30. Arditi R, Saiah H: Empirical evidence of the role of heterogeneity in ratio-dependent consumption. Ecology 1992, 73: 1544–1551. 10.2307/1940007

    Article  Google Scholar 

  31. Arditi R, Ginzburg LR, Akcakaya HR: Variation in plankton densities among lakes: a case for ratio-dependent models. Am. Nat. 1991, 138: 1287–1296. 10.1086/285286

    Article  Google Scholar 

  32. Gutierrez AP: The physiological basis of ratio-dependent predator-prey theory: A metabolic pool model of Nicholson’s blowflies as an example. Ecology 1992, 73: 1552–1563. 10.2307/1940008

    Article  Google Scholar 

  33. Arditi R, Ginzburg LR: Coupling in predator-prey dynamics: ratio-dependence. J. Theor. Biol. 1989, 139: 311–326. 10.1016/S0022-5193(89)80211-5

    Article  Google Scholar 

  34. Arditi R, Perrin N, Saiah H: Functional response and heterogeneities: an experiment test with cladocerans. Oikos 1991, 60: 69–75. 10.2307/3544994

    Article  Google Scholar 

  35. Yao Z, Xie S, Yu N: Dynamics of cooperative predator-prey system with impulsive effects and Beddington-DeAngelis functional response. J. Egypt. Math. Soc. 2013, 21: 213–223. 10.1016/j.joems.2013.04.008

    MathSciNet  Article  Google Scholar 

  36. Beretta E, Kuang Y: Global analysis in some delayed ratio-dependent predator-prey systems. Nonlinear Anal. 1998, 32: 381–408. 10.1016/S0362-546X(97)00491-4

    MathSciNet  Article  Google Scholar 

  37. Liang Z, Pan H: Qualitative analysis of a ratio-dependent Holling-Tanner mode. J. Math. Anal. Appl. 2007, 334: 954–964. 10.1016/j.jmaa.2006.12.079

    MathSciNet  Article  Google Scholar 

  38. Saha T, Chakrabarti C: Dynamical analysis of a delayed ratio-dependent Holling-Tanner predator-prey model. J. Math. Anal. Appl. 2009, 358: 389–402. 10.1016/j.jmaa.2009.03.072

    MathSciNet  Article  Google Scholar 

  39. Liu J, Zhang Z, Fu M: Stability and bifurcation in a delayed Holling-Tanner predator-prey system with ratio-dependent functional response. J. Appl. Math. 2012., 2012: Article ID 384293

    Google Scholar 

  40. Beddington JR: Mutual interference between parasites or predators and its effect on searching efficiency. J. Anim. Ecol. 1975, 44: 331–340. 10.2307/3866

    Article  Google Scholar 

  41. DeAngelis DL, Goldstein RA, O’Neill RV: A model for trophic interaction. Ecology 1975, 56: 881–892. 10.2307/1936298

    Article  Google Scholar 

  42. Skalski GT, Gilliam JF: Functional responses with predator interference: viable alternatives to the Holling type II model. Ecology 2001, 82: 3083–3092. 10.1890/0012-9658(2001)082[3083:FRWPIV]2.0.CO;2

    Article  Google Scholar 

  43. Lu Z, Liu X: Analysis of a predator-prey model with modified Holling-Tanner functional response and time delay. Nonlinear Anal., Real World Appl. 2008, 9: 641–650. 10.1016/j.nonrwa.2006.12.016

    MathSciNet  Article  Google Scholar 

  44. Zhang J: Bifurcation analysis of a modified Holling-Tanner predator-prey model with time delay. Appl. Math. Model. 2012, 36: 1219–1231. 10.1016/j.apm.2011.07.071

    MathSciNet  Article  Google Scholar 

  45. Cantrell R, Cosner C: On the dynamics of predator-prey models with the Beddington-DeAngelis functional response. J. Math. Anal. Appl. 2001, 257: 206–222. 10.1006/jmaa.2000.7343

    MathSciNet  Article  Google Scholar 

  46. Liu ZH, Yuan R: Stability and bifurcation in a delayed predator-prey system with Beddington-DeAngelis functional response. J. Math. Anal. Appl. 2004, 296: 521–537. 10.1016/j.jmaa.2004.04.051

    MathSciNet  Article  Google Scholar 

  47. Dimitrov DT, Kojouharov HV: Complete mathematical analysis of predator-prey models with linear prey growth and Beddington-DeAngelis functional response. Appl. Math. Comput. 2005, 162: 523–538. 10.1016/j.amc.2003.12.106

    MathSciNet  Article  Google Scholar 

  48. Lin G, Hong Y: Delay induced oscillation in predator-prey system with Beddington-DeAngelis functional response. Appl. Math. Comput. 2007, 190: 1296–1311. 10.1016/j.amc.2007.02.012

    MathSciNet  Article  Google Scholar 

  49. Chen WY, Wang MX: Qualitative analysis of predator-prey models with Beddington-DeAngelis functional response and diffusion. Math. Comput. Model. 2005, 42: 31–44. 10.1016/j.mcm.2005.05.013

    Article  Google Scholar 

  50. Xiao HB: Positive equilibrium and its stability of the Beddington-DeAngelis’s type predator-prey dynamical system. Appl. Math. J. Chin. Univ. Ser. B 2006, 21: 429–436. 10.1007/s11766-006-0007-2

    Article  Google Scholar 

  51. Hwang T: Uniqueness of limit cycles of the predator-prey system with Beddington-DeAngelis functional response. J. Math. Anal. Appl. 2004, 290: 113–122. 10.1016/j.jmaa.2003.09.073

    MathSciNet  Article  Google Scholar 

  52. Chen FD: On a nonlinear non-autonomous predator-prey model with diffusion and distributed delay. J. Comput. Appl. Math. 2005, 180: 33–49. 10.1016/j.cam.2004.10.001

    MathSciNet  Article  Google Scholar 

  53. Hirsch W, Hanisch H, Gabriel J: Differential equation models of some parasitic infection: methods for the study of asymptotic behavior. Commun. Pure Appl. Math. 1985, 38: 733–753. 10.1002/cpa.3160380607

    MathSciNet  Article  Google Scholar 

  54. Tineo A: Asymptotic behaviour of positive solutions of the nonautonomous Lotka-Volterra competition equations. Differ. Integral Equ. 1993, 6: 419–457.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The author would like to thank the two anonymous referees for their constructive suggestions on improving the presentation of the paper. This research is supported by the Foundation of Fujian Education Bureau (JA13365).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shengbin Yu.

Additional information

Competing interests

The author declares that he has no competing interests.

Author’s contributions

The author wrote the manuscript carefully, read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Yu, S. Global stability of a modified Leslie-Gower model with Beddington-DeAngelis functional response. Adv Differ Equ 2014, 84 (2014). https://doi.org/10.1186/1687-1847-2014-84

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2014-84

Keywords

  • Leslie-Gower
  • permanence
  • global asymptotic stability
  • Lyapunov function
  • Dulac function
  • fluctuation lemma