1 Introduction

In this paper, we study the dynamics of a Nicholson-Bailey host-parasitoid model which was proposed by Hassel and Varley. In this model the interaction between parasitoids is taken in such a way that the search area per parasitoid is inversely proportional to y n , where y n is the density of parasitoid at year n. The model is given by

x n + 1 =R x n e a y n , y n + 1 = x n ( 1 e a y n ) ,
(1)

where x n and y n represent the densities of the host and parasitoid populations at year n, respectively, R is the number of offspring of an unparasitized host surviving to the next year. Assuming random encounter between hosts and parasitoids, the probability that a host escapes parasitism can be approximated by e a y n , where a is a proportionality constant. The probability to become infected is then given by 1 e a y n .

For basic theory of difference equations, we refer to [14], and for applications of difference equations, we refer to [5, 6]. In literature there are many papers on qualitative behavior of biological models [718].

Our aim is to investigate the necessary and sufficient condition for local asymptotic stability of unique positive equilibrium point of (1).

2 Linearized stability

Let us consider a two-dimensional discrete dynamical system of the form

x n + 1 = f ( x n , y n ) , y n + 1 = g ( x n , y n ) , n = 0 , 1 , ,
(2)

where f:I×JI and g:I×JJ are continuously differentiable functions and I, J are some intervals of real numbers. Furthermore, a solution { ( x n , y n ) } n = 0 of system (2) is uniquely determined by initial conditions ( x 0 , y 0 )I×J. An equilibrium point of (2) is a point ( x ¯ , y ¯ ) that satisfies

x ¯ = f ( x ¯ , y ¯ ) , y ¯ = g ( x ¯ , y ¯ ) .

Definition 1 Let ( x ¯ , y ¯ ) be an equilibrium point of system (2).

  1. (i)

    An equilibrium point ( x ¯ , y ¯ ) is said to be stable if for every ε>0 there exists δ>0 such that for every initial condition ( x 0 , y 0 ), ( x 0 , y 0 )( x ¯ , y ¯ )<δ implies ( x n , y n )( x ¯ , y ¯ )<ε for all n>0, where is the usual Euclidian norm in R 2 .

  2. (ii)

    An equilibrium point ( x ¯ , y ¯ ) is said to be unstable if it is not stable.

  3. (iii)

    An equilibrium point ( x ¯ , y ¯ ) is said to be asymptotically stable if there exists η>0 such that ( x 0 , y 0 )( x ¯ , y ¯ )<η and ( x n , y n )( x ¯ , y ¯ ) as n.

Definition 2 Let ( x ¯ , y ¯ ) be an equilibrium point of a vector map F(x,y)=(f(x,y),g(x,y)), where f and g are continuously differentiable functions at ( x ¯ , y ¯ ). The linearized system of (2) about the equilibrium point ( x ¯ , y ¯ ) is given by

X n + 1 =F( X n )= F J X n ,

where X n = ( x n y n ) and F J is the Jacobian matrix of system (2) about the equilibrium point ( x ¯ , y ¯ ).

Let ( x ¯ , y ¯ ) be an equilibrium point of system (1), then one has

x ¯ =R x ¯ e a y ¯ , y ¯ = x ¯ ( 1 e a y ¯ ) .

Then it follows that

( x ¯ , y ¯ )= ( R R 1 ( 1 a ln ( R ) ) 2 , ( 1 a ln ( R ) ) 2 )

is a unique nontrivial equilibrium point of system (1). Obviously,

( x ¯ , y ¯ )= ( R R 1 ( 1 a ln ( R ) ) 2 , ( 1 a ln ( R ) ) 2 )

is a unique positive equilibrium point of system (1) if and only if R>1.

The Jacobian matrix of the linearized system of (1) about the fixed point ( x ¯ , y ¯ ) is given by

F J ( x ¯ , y ¯ )=[ R e a y ¯ a R x ¯ e a y ¯ 2 y ¯ 1 e a y ¯ a x ¯ e a y ¯ 2 y ¯ ].

Lemma 1 [6]

Assume that X n + 1 =F( X n ), n=0,1, , is a system of difference equations and X ¯ is the fixed point of F. If all eigenvalues of the Jacobian matrix J F about X ¯ lie inside the open unit disk |λ|<1, then X ¯ is locally asymptotically stable. If at least one of them has modulus greater than one, then X ¯ is unstable.

Lemma 2 [4, 19]

Consider the second-degree polynomial equation

λ 2 +pλ+q=0,
(3)

where p and q are real numbers.

  1. (i)

    A necessary and sufficient condition for both roots of Equation (3) to lie inside the open disk |λ|<1 is

    |p|<1+q<2.

In this case the locally asymptotically stable equilibrium ( x ¯ , y ¯ ) is also called a sink.

  1. (ii)

    A necessary and sufficient condition for both roots of Equation (3) to have absolute value greater than one is

    |q|>1,|p|<|1+q|.

In this case ( x ¯ , y ¯ ) is a repeller.

  1. (iii)

    A necessary and sufficient condition for one root of Equation (3) to have absolute value greater than one and for the other to have absolute value less than one is

    p 2 4q>0,|p|>|1+q|.

In this case the unstable equilibrium ( x ¯ , y ¯ ) is called a saddle point.

  1. (iv)

    A necessary and sufficient condition for a root of Equation (3) to have absolute value equal to one is

    |p|=|1+q|.

In this case the equilibrium ( x ¯ , y ¯ ) is called a non-hyperbolic point.

3 Main results

The following theorem shows the necessary and sufficient condition for local asymptotic stability of the unique positive equilibrium point of (1).

Theorem 1 Assume that R>1, then the unique positive equilibrium point

( x ¯ , y ¯ )= ( R R 1 ( 1 a ln ( R ) ) 2 , ( 1 a ln ( R ) ) 2 )

of system (1) is locally asymptotically stable if and only if

1<R< R 0 ,
(4)

where R 0 >1 is the root of the function F(R):=Rln(R)2R+2.

Proof The Jacobian matrix of the linearized system of (1) about the fixed point

( x ¯ , y ¯ )= ( R R 1 ( 1 a ln ( R ) ) 2 , ( 1 a ln ( R ) ) 2 )

is given by

F J ( x ¯ , y ¯ )=[ 1 R ln ( R ) 2 ( R 1 ) R 1 R ln ( R ) 2 ( R 1 ) ].

The characteristic polynomial of F J ( x ¯ , y ¯ ) about the unique positive equilibrium point

( x ¯ , y ¯ )= ( R R 1 ( 1 a ln ( R ) ) 2 , ( 1 a ln ( R ) ) 2 )

is given by

P(λ)= λ 2 ( 1 + ln ( R ) 2 ( R 1 ) ) λ+ R ln ( R ) 2 ( R 1 ) .
(5)

Set

p= ( 1 + ln ( R ) 2 ( R 1 ) )

and

q= R ln ( R ) 2 ( R 1 ) .

Then (5) can be written as

P(λ)= λ 2 pλ+q.
(6)

It follows from Lemma 1 that the unique positive equilibrium point of (1) is locally asymptotically stable if and only if | λ 1 |<1 and | λ 2 |<1, where

λ 1 = 1 + ln ( R ) 2 ( R 1 ) + ( 1 + ln ( R ) 2 ( R 1 ) ) 2 2 R ln ( R ) R 1 2

and

λ 2 = 1 + ln ( R ) 2 ( R 1 ) ( 1 + ln ( R ) 2 ( R 1 ) ) 2 2 R ln ( R ) R 1 2

are roots of (5). Moreover, |p|=1+ ln ( R ) 2 ( R 1 ) and 1+q=1+ R ln ( R ) 2 ( R 1 ) . It is easy to see that |p|<1+q for all R>1. Take

Φ(R)=1+ ln ( R ) 2 ( R 1 ) ,Ψ(R)=1+ R ln ( R ) 2 ( R 1 ) .

It is enough to show that Ψ(R)=1+ R ln ( R ) 2 ( R 1 ) <2, and this holds true if and only if

F(R)=Rln(R)2R+2<0.

By simple computations one can show that the function F(R) has a unique root in (1,). Furthermore, it follows from Figure 1 and Figure 2 that F(R)<0, and equivalently Φ(R)<Ψ(R)<2, if and only if 1<R< R 0 , where R 0 is the unique root of F(R) in (1,), and with mathematica the unique root of function F(R) can be approximated as R 0 4.921553634567504. Hence, it follows from (i) of Lemma 2 that the unique positive equilibrium point

( x ¯ , y ¯ )= ( R R 1 ( 1 a ln ( R ) ) 2 , ( 1 a ln ( R ) ) 2 )

of system (1) is locally asymptotically stable if and only if 1<R< R 0 .  □

Figure 1
figure 1

Plot of F(R) for 1<R<10 .

Figure 2
figure 2

Plots of Φ(R) and Ψ(R) for 1<R< R 0 .

Theorem 2 Assume that R>1, then the following statements are true.

  1. (i)

    The unique positive equilibrium point of (1) is a repeller if and only if R> R 0 , where R 0 >1 is the root of the function F(R)=Rln(R)2R+2.

  2. (ii)

    The unique positive equilibrium point of (1) cannot be a saddle point for all R>1.

  3. (iii)

    The unique positive equilibrium point of (1) cannot be non-hyperbolic for all R>1.

Proof (i) Assume that R>1, then |q|= R ln ( R ) 2 ( R 1 ) >1 if and only if

F(R)=Rln(R)2R+2>0.

It follows from Theorem 1 that F(R)>0 if and only if R 0 <R<, where R 0 4.921553634567504 is the unique root of F(R) in (1,). Moreover,

|p|=1+ ln ( R ) 2 ( R 1 ) <1+ R ln ( R ) 2 ( R 1 ) =|1+q|

for all R>1. Hence, from (ii) of Lemma 2 the unique positive equilibrium point of (1) is a repeller if and only if R> R 0 .

(ii) It follows from the fact that

|p|=1+ ln ( R ) 2 ( R 1 ) <1+ R ln ( R ) 2 ( R 1 ) =|1+q|

for all R>1. Therefore, the proof of (ii) follows from (iii) of Lemma 2.

(iii) Obviously, one can prove (iii). □

4 Examples

In order to verify our theoretical results, we consider some interesting numerical examples in this section. These examples represent different types of qualitative behavior of system (1). First four examples show that the unique positive equilibrium point of system (1) is locally asymptotically stable. Meanwhile, the last two examples show that the positive equilibrium point of system (1) is unstable.

Example 1 Consider system (1) with initial conditions x 0 =3.2, y 0 =2.8. Moreover, choose the parameters R=3.99, a=1.5. Then system (1) can be written as

x n + 1 =3.99 x n e 1.5 y n , y n + 1 = x n ( 1 e 1.5 y n ) ,n=0,1,,
(7)

with initial conditions x 0 =3.2, y 0 =2.8.

Moreover, in Figure 3 the plot of x n is shown in Figure 3(a), the plot of y n is shown in Figure 3(b) and the phase portrait of system (7) is shown in Figure 3(c).

Figure 3
figure 3

Plots for system ( 7 ).

Example 2 Consider system (1) with initial conditions x 0 =1.7, y 0 =1.5. Moreover, choose the parameters R=4.8, a=1.3. Then system (1) can be written as

x n + 1 =4.8 x n e 1.3 y n , y n + 1 = x n ( 1 e 1.3 y n ) ,n=0,1,,
(8)

with initial conditions x 0 =1.7, y 0 =1.5.

Moreover, in Figure 4 the plot of x n is shown in Figure 4(a), the plot of y n is shown in Figure 4(b) and the phase portrait of system (8) is shown in Figure 4(c).

Figure 4
figure 4

Plots for system ( 8 ).

Example 3 Consider system (1) with initial conditions x 0 =1.9, y 0 =1.7. Moreover, choose the parameters R=4.7, a=1.7. Then system (1) can be written as

x n + 1 =4.7 x n e 1.7 y n , y n + 1 = x n ( 1 e 1.7 y n ) ,n=0,1,,
(9)

with initial conditions x 0 =1.9, y 0 =1.7.

Moreover, in Figure 5 the plot of x n is shown in Figure 5(a), the plot of y n is shown in Figure 5(b) and the phase portrait of system (9) is shown in Figure 5(c).

Figure 5
figure 5

Plots for system ( 9 ).

Example 4 Consider system (1) with initial conditions x 0 =4.9, y 0 =2.9. Moreover, choose the parameters R=4.2, a=0.8. Then system (1) can be written as

x n + 1 =4.2 x n e 0.8 y n , y n + 1 = x n ( 1 e 0.8 y n ) ,n=0,1,,
(10)

with initial conditions x 0 =4.9, y 0 =2.9.

Moreover, in Figure 6 the plot of x n is shown in Figure 6(a), the plot of y n is shown in Figure 6(b) and the phase portrait of system (10) is shown in Figure 6(c).

Figure 6
figure 6

Plots for system ( 10 ).

Example 5 Consider system (1) with initial conditions x 0 =2.9, y 0 =4.5. Moreover, choose the parameters R=4.99, a=0.5. Then system (1) can be written as

x n + 1 =4.99 x n e 0.5 y n , y n + 1 = x n ( 1 e 0.5 y n ) ,n=0,1,,
(11)

with initial conditions x 0 =2.9, y 0 =4.5.

Moreover, in Figure 7 the plot of x n is shown in Figure 7(a), the plot of y n is shown in Figure 7(b) and the phase portrait of system (11) is shown in Figure 7(c).

Figure 7
figure 7

Plots for system ( 11 ).

Example 6 Consider system (1) with initial conditions x 0 =5.8, y 0 =6.5. Moreover, choose the parameters R=5.2, a=0.7. Then system (1) can be written as

x n + 1 =5.2 x n e 0.7 y n , y n + 1 = x n ( 1 e 0.7 y n ) ,n=0,1,,
(12)

with initial conditions x 0 =5.8, y 0 =6.5.

Moreover, in Figure 8 the plot of x n is shown in Figure 8(a), the plot of y n is shown in Figure 8(b) and the phase portrait of system (12) is shown in Figure 8(c).

Figure 8
figure 8

Plots for system ( 12 ).

5 Conclusion and future work

This work is related to the qualitative behavior of a discrete-time Nicholson-Bailey model. We proved that system (1) has a unique positive equilibrium point which is locally asymptotically stable. The method of linearization is used to prove the local asymptotic stability of the unique equilibrium point. Linear stability analysis shows that the steady states of system (1) are stable under the condition (4) of Theorem 1, i.e., 1<R< R 0 , where R 0 4.921553634567504 is the root of the function F(R)=Rln(R)2R+2. Particularly, the condition for local asymptotic stability in population biology is a very interesting mathematical problem. Usually the biologists believe that a unique, positive, locally asymptotically stable equilibrium point in an ecological system is very important in biological point of view. Therefore, it is very important to find conditions which may guarantee the local asymptotic stability of the unique positive equilibrium point of the given system. In the paper, we prove the necessary and sufficient condition for the local asymptotic stability of the unique positive equilibrium point of system (1). Some numerical examples are provided to support our theoretical results. These examples are experimental verifications of theoretical discussions. The Neimark-Sacker bifurcation of system (1) is our next aim to study.