Volume 2013, Issue 1 495072
Research Article
Open Access

Hopf Bifurcation Analysis for a Semiratio-Dependent Predator-Prey System with Two Delays

Ming Zhao

Corresponding Author

Ming Zhao

Software College, Pingdingshan University, Pingdingshan 467000, China pdsu.edu.cn

Search for more papers by this author
First published: 30 September 2013
Citations: 2
Academic Editor: Massimiliano Ferrara

Abstract

This paper is concerned with a semiratio-dependent predator-prey system with nonmonotonic functional response and two delays. It is shown that the positive equilibrium of the system is locally asymptotically stable when the time delay is small enough. Change of stability of the positive equilibrium will cause bifurcating periodic solutions as the time delay passes through a sequence of critical values. The properties of Hopf bifurcation such as direction and stability are determined by using the normal form method and center manifold theorem. Numerical simulations confirm our theoretical findings.

1. Introduction

It is well known that there are many factors which can affect dynamical properties of predator-prey systems. One of the important factors is the functional response describing the number of prey consumed per predator per unit time for given quantities of prey and predators. Numerous laboratory experiment, and observations have shown that a more suitable general predator-prey system should be based on the “ratio-dependent” theory, especially when predators have to search, share, or compete for food [13]. And ratio-dependent predator-prey systems have been investigated by many scholars [411]. In [4], Zhang and Lu considered the following semi-ratio-dependent predator-prey system with the nonmonotonic functional response
()
where x1(t) and x2(t) denote the densities of the prey and the predator, respectively. r1(t) and r2(t) denote the intrinsic growth rates of the prey and the predator, respectively. b1(t) is the intraspecific competition rate of the prey. a1(t) is the capturing rate of the predator. a2(t) is a measure of the food quality that the prey provided for conversion into predator birth. The predator grows logistically with the carrying capacity x1(t)/a2(t) proportional to the population size of the prey.

m ≠ 0,  n ≥ 0, and ai(t),  ri(t),  b1(t),  (i = 1,2) are assumed to be continuously positive periodic functions with period ω. Zhang and Lu [4] established the existence of positive periodic solutions of system (1), and sufficient conditions for the uniqueness and global stability of the positive solutions of system (1) were also obtained by constructing a Lyapunov function.

Time delays of one type or another have been incorporated into predator-prey systems by many researchers since a time delay could cause a stable equilibrium to become unstable and cause the population to fluctuate [5, 6, 1215]. In [5], Ding et al. incorporated the time delay τ(t) ≥ 0 due to negative feedback of the prey into system (1) and got the special case (n = 0) of system (1) with time delay
()
Ding et al. [5] established the existence of a positive periodic solution for system (2) by using the continuation theorem of coincidence degree theory. Sufficient conditions for the permanence of system (2) were obtained by Li and Yang in [6]. But studies on predator-prey systems not only involve the persistence and the periodic phenomenon but also involve many patterns of other behavior such as global attractivity [16, 17] and bifurcation phenomenon [1821]. Starting from this point, we will study the bifurcation phenomenon and the properties of periodic solutions of the following predator-prey system with two delays:
()
Unlike the assumptions in [46], we assume that all the parameters of system (3) are positive constants. τ1 ≥ 0 and τ2 ≥ 0 are the feedback delays of the prey and the predator, respectively.

The rest of this paper is organized as follows. In Section 2, sufficient conditions are obtained for the local stability of the positive equilibrium and the existence of Hopf bifurcation for possible combinations of the two delays in system (3). In Section 3, we give the formula determining the direction of Hopf bifurcation and the stability of the bifurcating periodic solutions. Finally, numerical simulations supporting the theoretical analysis are also included.

2. Stability of the Positive Equilibrium and Local Hopf Bifurcations

It is not difficult to verify that system (2) has at least one positive equilibrium , where and is the root of (4)
()
Let , . Dropping the bars for the sake of simplicity, system (2) can be rewritten in the following system:
()
where
()
The linearized system of (5) is
()
The associated characteristic equation of system (7) is
()
where
()

Case 1 (τ1 = τ2 = 0). Equation (8) becomes

()
All the roots of (10) have negative real parts if and only if
  • (H1) A + B + C > 0 and D + E > 0.

Thus, the positive equilibrium is locally stable when the condition (H1) holds.

Case 2 (τ1 > 0, τ2 = 0). Equation (8) becomes

()
Let λ = iω1  (ω1 > 0) be the root of (11), and we have
()
It follows that
()
If condition (H2)DE < 0 holds, then (13) has only one positive root
()
Now, we can get the critical value of τ1 by substituting ω10 into (12). After computing, we obtain
()
Then, when τ = τ1k, the characteristic equation (11) has a pair of purely imaginary roots ±iω0.

Next, we will verify the transversality condition. Differentiating (11) with respect to τ1, we get
()
Thus,
()
Obviously, if condition (H2) holds, then . Note that = .

Therefore, if condition (H2) holds, the transversality condition is satisfied. From the analysis above, we have the following results.

Theorem 1. If conditions (H1) and (H2) hold, then the positive equilibrium of system (3) is asymptotically stable for τ1 ∈ [0, τ10) and unstable when τ1 > τ10. System (3) undergoes a Hopf bifurcation at the positive equilibrium when τ1 = τ10.

Case 3 (τ1 = 0, τ2 > 0). Equation (8) becomes

()
Let λ = iω2  (ω2 > 0) be the root of (18), and then we have
()
which leads to
()
Obviously, if the condition (H1) holds, and then (20) has only one positive root
()
The corresponding critical value of τ2 is
()
Similar to Case 2, differentiating (18) with respect to τ2, we get
()
Then we can get
()

Obviously, if condition (H1) holds, then . Namely, if condition (H1) holds, then the transversality condition is satisfied. Thus, we have the following results.

Theorem 2. If condition (H1) holds, then the positive equilibrium of system (3) is asymptotically stable for τ2 ∈ [0, τ20) and unstable when τ2 > τ20. System (3) undergoes a Hopf bifurcation at the positive equilibrium when τ2 = τ20.

Case 4 (τ1 = τ2 = τ > 0). Equation (8) can be transformed into the following form:

()
Multiplying eλτ on both sides of (25), we get
()
Let λ = iω  (ω > 0) be the root of (26), then we obtain
()
which follows that
()
Then, we have
()
where
()
Denote ω2 = v, and then (29) becomes
()
Next, we give the following assumption.
  • (H3) Equation (31) has at least one positive real root.

Suppose that (H3) holds. Without loss of generality, we assume that (31) has four real positive roots, which are denoted by v1,  v2,  v3, and v4. Then (29) has four positive roots , k = 1,2, 3,4.

For every fixed ωk, the corresponding critical value of time delay is
()
Let
()
Taking the derivative of λ with respect to τ in (26), we obtain
()
Thus,
()
with
()

It is easy to see that if condition (H4)PRQR + PIQI ≠ 0, then . Therefore, we have the following results.

Theorem 3. If conditions (H1) and (H4) holds, then the positive equilibrium of system (3) is asymptotically stable for τ ∈ [0, τ0) and unstable when τ > τ0. System (3) undergoes a Hopf bifurcation at the positive equilibrium when τ = τ0.

Case 5 (τ1 ≠ τ2, τ1 > 0 and τ2 > 0). Considered the following:

()

We consider (8) with τ2 in its stable interval and regard τ1 as a parameter.

Let () be the root of (8), and then we can obtain

()
Then we get
()
Define
()

If condition (H1)  D + E > 0 and (H2)  DE < 0 hold, then F(0) = D2E2 < 0. In addition, F(+) = +. Therefore, (39) has at least one positive root. We suppose that the positive roots of (39) are denoted as . For every fixed , the corresponding critical value of time delay

()
with
()
Let , i = 1,2, 3, …k. When τ1 = τ1*, (8) has a pair of purely imaginary roots ±iω1* for τ2 ∈ (0, τ20).

Next, in order to give the main results, we give the following assumption
  • (H5) .

Therefore, we have the following results on the stability and bifurcation in system (3).

Theorem 4. If the conditions (H1) and (H5) hold and τ2 ∈ (0, τ20), then the positive equilibrium of system (3) is asymptotically stable for τ1 ∈ [0, τ1*) and unstable when τ1 > τ1*. System (3) undergoes a Hopf bifurcation at the positive equilibrium when τ1 = τ1*.

3. Direction and Stability of the Hopf Bifurcation

In this section, we will investigate the direction of Hopf bifurcation and stability of the bifurcating periodic solutions of system (3) with respect to τ1 for τ2 ∈ (0, τ20). We assume that τ2* < τ1* where τ2* ∈ (0, τ20).

Let τ1 = τ1* + μ,  μR so that μ = 0 is the Hopf bifurcation value of system (3). Rescale the time delay by t → (t/τ1). Let , , and then system (3) can be rewritten as an PDE in C = C([−1,0], R2) as
()
where
()
are given, respectively, by
()
with
()
By the Riesz representation theorem, there is a 2 × 2 matrix function with bounded variation components η(θ, μ), θ ∈ [−1,0] such that
()
In fact, we have chosen
()
For ϕC([−1,0]),  R2, we define
()
Then system (43) is equivalent to the following operator equation:
()
where ut = u(t + θ) for θ ∈ [−1,0].
For φC([−1,0]), (R2) *, we define the adjoint operator A* of A as
()
and a bilinear inner product
()
where η(θ) = η(θ, 0).

Then, A(0) and A*(0) are adjoint operators. From the discussion above, we can know that ±iω1*τ1* are the eigenvalues of A(0) and they are also eigenvalues of A*(0).

Let be the eigenvector of A(0) corresponding to iω1*τ1*, and q*(θ) = be the eigenvector of A*(0) corresponding to −iω1*τ1*. Then we have
()
By a simple computation, we can get
()
Then,
()
Following the algorithms explained in the work of Hassard et al. [22] and using a computation process similar to that in [18], we can get the following coefficients which can determine the properties of Hopf bifurcation:
()
with
()
where E1 and E2 can be determined by the following equations, respectively:
()
with
()
Then, we can get the following coefficients:
()

In conclusion, we have the following results.

Theorem 5. If μ2 > 0 (μ2 < 0), then the Hopf bifurcation is supercritical (subcritical); if β2 < 0  (β2 > 0), then the bifurcating periodic solutions are stable (unstable); if T2 > 0 (T2 < 0), then the period of the bifurcating periodic solutions increases (decreases).

4. Numerical Simulation and Discussions

To demonstrate the algorithm for determining the existence of Hopf bifurcation in Section 2 and the properties of Hopf bifurcation in Section 3, we give an example of system (3) in the following form:
()
which has a positive equilibrium E*(3.8298,7.6596). By calculation, we have A + B + C = 6.5788, D + E = 11.2470, and DE = −11.7318. Namely, conditions (H1) and (H2) hold.

For τ1 > 0, τ2 = 0. We can get ω10 = 3.9074, τ10 = 0.3788. By Theorem 1, we know that when τ1 ∈ [0, τ10), the positive equilibrium E*(3.8298,7.6596) is locally asymptotically stable and is unstable if τ1 > τ10. As can be seen from Figure 1, when we let τ1 = 0.35 ∈ [0, τ10), the positive equilibrium E*(3.8298,7.6596) is locally asymptotically stable. However, when τ1 = 0.395 > τ10, the positive equilibrium E*(3.8298,7.6596) is unstable and a Hopf bifurcation occurs and a family of periodic solutions bifurcate from the positive equilibrium E*(3.8298,7.6596), which can be illustrated by Figure 2. Similarly, we can get ω20 = 3.0827,  τ20 = 0.4912. The corresponding waveform and the phase plots are shown in Figures 3 and 4.

Details are in the caption following the image
E* is asymptotically stable for τ1 = 0.350 < τ10 = 0.3788.
Details are in the caption following the image
E* is asymptotically stable for τ1 = 0.350 < τ10 = 0.3788.
Details are in the caption following the image
E* is asymptotically stable for τ1 = 0.350 < τ10 = 0.3788.
Details are in the caption following the image
E* is unstable for τ1 = 0.395 > τ10 = 0.3788.
Details are in the caption following the image
E* is unstable for τ1 = 0.395 > τ10 = 0.3788.
Details are in the caption following the image
E* is unstable for τ1 = 0.395 > τ10 = 0.3788.
Details are in the caption following the image
E* is asymptotically stable for τ2 = 0.450 < τ20 = 0.4912.
Details are in the caption following the image
E* is asymptotically stable for τ2 = 0.450 < τ20 = 0.4912.
Details are in the caption following the image
E* is asymptotically stable for τ2 = 0.450 < τ20 = 0.4912.
Details are in the caption following the image
E* is unstable for τ2 = 0.505 > τ20 = 0.4912.
Details are in the caption following the image
E* is unstable for τ2 = 0.505 > τ20 = 0.4912.
Details are in the caption following the image
E* is unstable for τ2 = 0.505 > τ20 = 0.4912.

For τ1 = τ2 = τ > 0. We can obtain ω0 = 3.4601,  τ0 = 0.3361. By Theorem 3, we know that when the time delay τ increases from zero to the critical value τ0 = 0.3361, the positive equilibrium E*(3.8298,7.6596) is locally asymptotically stable. It will lose its stability and a Hopf bifurcation occurs once τ > τ0 = 0.3361. This property can be illustrated by Figures 5 and 6.

Details are in the caption following the image
E* is asymptotically stable for τ = 0.320 < τ0 = 0.3361.
Details are in the caption following the image
E* is asymptotically stable for τ = 0.320 < τ0 = 0.3361.
Details are in the caption following the image
E* is asymptotically stable for τ = 0.320 < τ0 = 0.3361.
Details are in the caption following the image
E* is unstable for τ = 0.355 > τ0 = 0.3361.
Details are in the caption following the image
E* is unstable for τ = 0.355 > τ0 = 0.3361.
Details are in the caption following the image
E* is unstable for τ = 0.355 > τ0 = 0.3361.

Finally, consider τ1 as a parameter and let τ2 = 0.3 ∈ (0, τ20). We can get ω1* = 2.3761,  τ1* = 0.3490,  λ(τ1*) = 8.2230 + 2.6054i. From Theorem 4, the positive equilibrium E*(3.8298,7.6596) is locally asymptotically stable for τ1 ∈ [0,0.3490) and unstable when τ1 > τ1* = 0.3490, which can be seen from Figures 7 and 8.

Details are in the caption following the image
E* is asymptotically stable for τ1 = 0.325 < τ1* = 0.3490 at τ2 = 0.3.
Details are in the caption following the image
E* is asymptotically stable for τ1 = 0.325 < τ1* = 0.3490 at τ2 = 0.3.
Details are in the caption following the image
E* is asymptotically stable for τ1 = 0.325 < τ1* = 0.3490 at τ2 = 0.3.
Details are in the caption following the image
E* is unstable for τ1 = 0.360 > τ1* = 0.3490 at τ2 = 0.3.
Details are in the caption following the image
E* is unstable for τ1 = 0.360 > τ1* = 0.3490 at τ2 = 0.3.
Details are in the caption following the image
E* is unstable for τ1 = 0.360 > τ1* = 0.3490 at τ2 = 0.3.

In addition, from (60), we can get C1(0) = −41.5020 − 17.8366i. Furthermore, we have μ2 = 5.0471 > 0, β2 = −83.0040 < 0,  T2 = 5.6519 > 0. Therefore, from Theorem 5, we know that the Hopf bifurcation is supercritical. The bifurcating periodic solutions are stable and increase. If the bifurcating periodic solutions are stable, then the prey and the predator may coexist in an oscillatory mode. Therefore, the two species in system (3) may coexist in an oscillatory mode under certain conditions.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

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