Volume 2013, Issue 1 454097
Research Article
Open Access

Stability and Bifurcation Analysis for a Predator-Prey Model with Discrete and Distributed Delay

Ruiqing Shi

Corresponding Author

Ruiqing Shi

College of Mathematics and Information Science, Shaanxi Normal University, Xi′an, Shaanxi 710062, China snnu.edu.cn

School of Mathematics and Computer Science, Shanxi Normal University, Linfen, Shanxi 041004, China snnu.edu.cn

Search for more papers by this author
Junmei Qi

Junmei Qi

School of Mathematics and Computer Science, Shanxi Normal University, Linfen, Shanxi 041004, China snnu.edu.cn

Search for more papers by this author
Sanyi Tang

Sanyi Tang

College of Mathematics and Information Science, Shaanxi Normal University, Xi′an, Shaanxi 710062, China snnu.edu.cn

Search for more papers by this author
First published: 25 June 2013
Citations: 2
Academic Editor: Peixuan Weng

Abstract

We propose a two-dimensional predatory-prey model with discrete and distributed delay. By the use of a new variable, the original two-dimensional system transforms into an equivalent three-dimensional system. Firstly, we study the existence and local stability of equilibria of the new system. And, by choosing the time delay τ as a bifurcation parameter, we show that Hopf bifurcation can occur as the time delay τ passes through some critical values. Secondly, by the use of normal form theory and central manifold argument, we establish the direction and stability of Hopf bifurcation. At last, an example with numerical simulations is provided to verify the theoretical results. In addition, some simple discussion is also presented.

1. Introduction

Since the pioneering theoretical works by Lotka [1] and Volterra [2], there were a lot of authors who studied all kinds of predator-prey models modeled by ordinary differential equations (ODEs). To reflect that the dynamical behavior of the models depends on the past history of the system, it is often necessary to incorporate time delays into the models. Therefore, a more realistic predator-prey model should be described by delayed differential equations (DDEs) [311]. In general, delay differential equations exhibit more complicated dynamics on stability, periodic structure, bifurcation, and so on [1226]. In [27, 28], the authors investigated the effect of the discrete delay on the stability of the model. In [29], the effect of the distributed delay on the stability of the model was investigated. In [11], the authors proposed a Logistic model with discrete and distributed delays:
()
where the parameters r, τ, a1, a2 are positive constants. The function f in (1) is called the delayed kernel, which is the weight given to the population t time units ago. And it was assumed that f(t) ≥ 0 for all t ≥ 0, together with the normalization condition
()
which ensures that the steady states of the model (1) are unaffected by the delay. They studied the stability of the positive equilibrium and existence of Hopf bifurcations, and direction and stability of the Hopf bifurcation were also analyzed. In [7], the authors proposed and investigated the following predator-prey model with time delay:
()
where x(t) and y(t) can be interpreted as the population densities of the prey and the predator at time t, respectively. r1 > 0 denotes the intrinsic growth rate of the prey, and r2 > 0 denotes the death rate of the predator. For the convenience of computation, they chose the same τ > 0 as delays; the delay τ represents the feedback time delay of the prey species to the growth of itself in term a11x(tτ), represents the feedback time delay of the predator species to the growth of itself in term a22y(tτ), represents the hunting delay in term a12y(tτ), and represents the time of the predator maturation in term a21x(tτ). The parameters aij  (i, j = 1,2) are all positive constants. They studied the stability of the positive equilibrium and existence of Hopf bifurcations.
Motivated by [7, 11, 2729] and the references cited therein, in the present paper, we will consider the following predator-prey model with discrete and distributed delay:
()
where N(t) and P(t) can be interpreted as the population densities of the prey and the predator at time t, respectively. α1 > 0 denotes the intrinsic growth rate of the prey and α2 > 0 denotes the death rate of the predator; τ > 0 represents the feedback time delay of the prey species to the growth of itself in term a11N(tτ), represents the feedback time delay of the predator species to the growth of itself in term a22P(tτ), and represents the hunting delay in term a12P(tτ); aij > 0  (i, j = 1,2). The function G(t) is the same as the function f(s) in system (1). Following the ideas of Cushing [30], we define G(t) as the following weak kernel function:
()
Next, we define a new variable:
()
then using the linear chain trick technique, system (4) can be transformed into the following equivalent system:
()

The organization of this paper is as follows. In Section 2, we will consider the existence and stability of equilibria of system (7). The existence of Hopf bifurcation is also discussed. In Section 3, by use of normal form theory and central manifold argument, we illustrate the direction and stability of Hopf bifurcation. In Section 4, we provide an example with some numerical simulations to verify the theoretical results, and we also give some brief discussion.

2. Local Stability of Equilibria and the Existence of Hopf Bifurcations

In this section, we will finish two tasks: (a) investigating the existence and stability of equilibriums of system (7) and (b) studying the effect of time delay on the system (7); that is, we will choose τ as bifurcating parameter to analyze Hopf bifurcation.

Let the right equations of system (7) equal zero; we get the following algebraic equations:
()
By simple computation, we know that the trivial equilibrium and boundary equilibrium of system (7) always exist with values E0 = (0,0, 0) and E1 = (α1/a11, 0, α1/a11), respectively. In addition, we have the following results.
  • (i)

    The eigenvalues of characteristic equations at the trivial equilibrium E0 are λ1 = α1 > 0, λ2 = −α2 < 0, and λ3 = −α < 0, which means that this equilibrium is always unstable.

  • (ii)

    The eigenvalues of characteristic equations at the boundary equilibrium E1 are λ1 = 0 and λ2 = −α < 0, and other eigenvalues are determined by λ + α1eλτ = 0. When τ = 0, it is easy to see that λ3 = −α1 < 0, which means that this equilibrium is locally stable; whereas when τ > 0, the sign of the real part of the eigenvalues can not be determined, which means that this equilibrium may be locally stable or unstable.

In fact, there exists a unique positive equilibrium E2 = (N*, u*, P*) for system (7) provided that α1a21α2a11 > 0, holds. Here
()
Next, we always assume that
  • (H1)

    α1a21α2a11 > 0 holds.

The characteristic equation for system (7) at the equilibrium E2 takes the form
()
where
()
Multiplying eλτ on both sides of (10), we obtain equivalent characteristic equation as
()
When τ = 0, characteristic equation (10) or (12) becomes
()
It is easy to confirm that d1 + d2 > 0, d4 + d6 > 0 and (d1 + d2)(d3 + d5) > d4 + d6. By the Routh-Hurwitz criterion we know that all the roots of (13) have negative real parts. Thus, the positive equilibrium E2 is locally asymptotically stable for τ = 0.
Next, we will consider the eigenvalues of (12) for τ > 0. Suppose that there is a pure imaginary root λ = iω, ω > 0, then we get
()
Separating the real and imaginary parts, we have
()
By simple calculation, we can obtain the following equations:
()
Let
()
then sinωτ, cos ωτ can be written as
()
()
By adding the square of (18) and (19), we obtain
()
where
()
Denote z = ω2, then (20) becomes
()
Let
()
then the following assumption holds true.
  • (H2)

    Equation (22) has at least one positive real root.

In fact, if all the parameters of system (7) are given, it is easy to calculate the root of (22) by using a computer. Since lim zG(z) = +, we conclude that if f6 < 0, then (22) has at least one positive real root. Without loss of generality, we assume that (22) has six positive roots, defined by z1, z2, z3, z4, z5, and z6, respectively. Then (20) has six positive roots:
()
By (19), we get
()
If we denote
()
where k = 1,2, …, 6   and   j = 0,1, 2, …, then ±iωk is a pair of purely imaginary roots of (12). Define
()
Here, we use the method by [2527], which is different from [31].
In order to obtain the main result, it is necessary to make the following assumption.
  • (H3)

    .

Taking the derivative of λ with respect to τ in (12), it is easy to obtain
()
which is equivalent to
()
By (12), we have
()
()
Take λ = iω into the above equation, we get
()
Let
()
Then we get
()
Note that
()

Now, we can use the following lemma to get our result.

Lemma 1 (see [32].)Consider the exponential polynomial

()
where τi ≥ 0  (i = 1,2, …, m) and are constants. As (τ1, τ2, …, τm) vary, the sum of the order of the zeros of on the open right half plane can change only if a zero appears on or crosses the imaginary axis.

Theorem 2. Suppose that (H1), (H2), and (H3) hold; then the following results hold.

  • (i)

    The positive equilibrium E2 of system (7) (or the positive equilibrium (N*, P*) of system (4)) is asymptotically stable for τ ∈ [0, τ0).

  • (ii)

    The positive equilibrium E2 of system (7) or system (4) undergoes a Hopf bifurcation when τ = τ0. That is, system (7) has a branch of periodic of solutions bifurcating from the positive equilibrium E2 near τ = τ0.

3. Direction and Stability of the Hopf Bifurcation

In this section, following the ideas of [33], we derive the explicit formulae for determining the properties of the Hopf bifurcation at critical value of τ0 by using the normal form and the center manifold theory. Throughout this section, we always assume that system (7) undergoes Hopf bifurcation at the positive equilibrium E2 for τ = τ0, and then ±iω0 is the corresponding purely imaginary roots of the characteristic equation at the positive equilibrium E2.

Let , τ = τ0 + μ, dropping the bars for simplification of notations; then system (7) is transformed into functional differential equations in C = C([−1,0], R3) as
()
where x(t) = (x1(t), x2(t), x3(t)) TR3, Lμ : CR, f : R × CR3, and
()
()
where ϕ(θ) = (ϕ1(θ), ϕ2(θ), ϕ3(θ)) TC. By the Riesz representation theorem, there exists a function η(θ, μ) of bounded variation for θ ∈ [−1,0], such that
()
In fact, we can choose
()
where δ is the Dirac delta function. For ϕC1([−1,0], R3), define
()
Then system (37) is equivalent to
()
where xt = x(t + θ),  θ ∈ [−1,0]. For ψC1([0,1], (R3) *), define
()
and a bilinear inner product
()
where η(θ) = η(θ, 0). Then A(0) and A* are adjoint operators. By the discussion in Section 2, we know ±iω0τ0 are eigenvalues of A(0). Thus, they are also eigenvalues of A*. We need to compute the eigenvector of A(0) and A* corresponding to iω0τ0 and −iω0τ0, respectively.
Suppose that is the eigenvalues of A(0) corresponding to iω0τ0: then A(0)q(θ) = iω0τ0q(θ). It follows from the definition of A(0) and η(θ, μ) that
()
because ; then we get
()
where
()
Similarly, let be the eigenvalues of A* corresponding to −iω0τ0; according to the definition of A* we get
()
where , from which we obtain
()
By (45) we get
()
then we choose
()
such that 〈q*(s), q(θ)〉 = 1, .
Next, we will use the ideas in [33] to compute the coordinates describing center manifold C0 at μ = 0. Define
()
On the center manifold C0, we have
()
where z and are local coordinates for center manifold C0 in the direction of q*(s) and . Note that W is real if xt is real. We consider only real solutions. For the solution xtC0 of (43), since μ = 0, we have
()
where
()
From (53) and (54), we have
()
then we can obtain
()
From the definition of f(μ, xt), we have
()
Comparing the coefficients with (56), we obtain
()
In order to determine g21 we need to compute W20(θ) and W11(θ). From (43) and (53), we have
()
where
()
Note that on the center manifold C0 near to the origin,
()
thus we obtain
()
By (62) we know that for θ ∈ [−1,0),
()
Comparing the coefficients with (62), we get that
()
From (64), (66), and the definition of A, we have
()
Noting , hence
()
where is a constant vector. Similarly, we have
()
where is a constant vector. In the following, we will find out E1 and E2. From the definition of A and (64), we can obtain
()
()
where η(θ) = η(θ, 0). From (61) and (62) we have
()
That is,
()
By (39) and (53) we have
()
Thus,
()
()
Since iω0τ0 is the eigenvalues of A(0) and q(0) is the corresponding eigenvector, we obtain
()
Thus, substituting (68) and (75) into (70), we have
()
or
()
From which we can get
()
Similarly, substituting (69) and (76) into (71), we can get
()
or
()
Thus, we can determine W20(θ) and W11(θ) from (68) and (69). Furthermore, g21 can be expressed by the parameters and delay. Thus, we can compute the following values:
()
which determine the qualities of bifurcating periodic solution in the center manifold at critical value τ0; that is, μ2 determine the direction of the Hopf bifurcation: if μ2 > 0    (μ2 < 0), then the Hopf bifurcation is supercritical (subcritical) and the bifurcating periodic solution exists for τ > τ0  (τ < τ0); β2 determines the stability of the bifurcating periodic solution: the bifurcating periodic solution is stable (unstable) if β2 < 0  (β2 > 0); and T2 determines the period of the bifurcating periodic solution: the period increases (decreases) if T2 > 0  (<0).

4. Numerical Investigations and Discussion

In this paper, we propose a two-dimensional predatory-prey model with discrete and distributed delay. Then, by introducing a new variable, the original system is transformed into an equivalent three-dimensional system. In Section 2, we analyze the existence and local stability of the equilibria of the three-dimensional system. The condition for the existence of a Hopf bifurcation is also obtained. In Section 3, by the use of normal form theory and central manifold argument, we establish the formulae for the direction and the stability of the Hopf bifurcation.

In order to confirm our main results obtained in this work, we consider the following special system:
()
By simple calculation, it is easy to see that model (84) exists a unique positive equilibrium E2 and E2 = (50/37, 6/37, 50/37). Note that the parameter set provided in model (84) satisfies the conditions of Theorem 2. When τ = 1.1, the positive equilibrium E2 is asymptotically stable, as shown in Figures 1(a) and 1(c). It follows from the discussion in Section 2 that ω0 ≈ 0.7246, τ0 ≈ 1.1746, and λ(τ0) = 0.09345 − 0.07497i. Thus, E2 is stable when 0 ≤ τ < τ0, as indicated in Figures 1(a) and 1(c).
Details are in the caption following the image
The stability of unique positive equilibrium E2. (a), (c) The equilibrium E2 is stable for τ = 1.1. (b), (d) The equilibrium E2 is unstable and a stable periodic solution appears for τ = 1.4.
Details are in the caption following the image
The stability of unique positive equilibrium E2. (a), (c) The equilibrium E2 is stable for τ = 1.1. (b), (d) The equilibrium E2 is unstable and a stable periodic solution appears for τ = 1.4.
Details are in the caption following the image
The stability of unique positive equilibrium E2. (a), (c) The equilibrium E2 is stable for τ = 1.1. (b), (d) The equilibrium E2 is unstable and a stable periodic solution appears for τ = 1.4.
Details are in the caption following the image
The stability of unique positive equilibrium E2. (a), (c) The equilibrium E2 is stable for τ = 1.1. (b), (d) The equilibrium E2 is unstable and a stable periodic solution appears for τ = 1.4.

When τ passes through the critical value τ0, E2 loses its stability and a Hopf bifurcation occurs, that is, a family of periodic solutions bifurcate from E2, as shown in Figures 1(b) and 1(d). Since μ2 > 0 and β2 < 0, the Hopf bifurcation is supercritical and the direction of the bifurcation is τ > τ0 and these bifurcating periodic solutions from E2 are stable; please see Figures 1(b) and 1(d) and Figure 2(a) for τ = 1.5. Note that the model (84) may have very complex dynamics if we choose the time delay τ as a bifurcation parameter. It follows from Figure 2 that the period of periodic solution is doubled as τ increase, and around τ = 1.6 (Figure 2(b)). If the time delay τ is increasing further, a periodic solution with 4-time period appears around τ = 1.75 (Figure 2(c)). Finally, the chaotic solution exists once the time delay reaches around τ = 1.8 (Figure 2(d)).

Details are in the caption following the image
Bifurcation of model (84) with bifurcation parameter τ.
Details are in the caption following the image
Bifurcation of model (84) with bifurcation parameter τ.
Details are in the caption following the image
Bifurcation of model (84) with bifurcation parameter τ.
Details are in the caption following the image
Bifurcation of model (84) with bifurcation parameter τ.

Both our theoretical and numerical results show that the positive equilibrium is asymptotically stable if τ < τ0, which indicates that the dynamical behavior is simple for the considered system. However, if τ > τ0, bifurcation and chaos may occur, which means that the considered system can take on very complex dynamics, and this may explain some complex phenomenon in the natural world.

Acknowledgments

The authors would like to thank the referees for their helpful suggestions, which improved the quality of this paper greatly. The first author is supported by the Postdoctoral Science Foundation of China (no. 2011M501428) and Young Science Funds of Shanxi (no. 2013021002-2). The third author is supported by the National Natural Science Foundation of China (nos. 11171199 and 81161120403).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.