Hopf bifurcation analysis in a predator–prey model with two time delays and stage structure for the prey

Abstract

In this paper, a stage-structured predator–prey model with Holling type III functional response and two time delays is investigated. By analyzing the associated characteristic equation, its local stability and the existence of Hopf bifurcation with respect to both delays are studied. Based on the normal form method and center manifold theorem, the explicit formulas are derived to determine the direction of Hopf bifurcation and the stability of bifurcating period solutions. Finally, the effectiveness of theoretical analysis is verified via numerical simulations. This study may be helpful in understanding the behavior of ecological environment.

1 Introduction

The dynamics of predator–prey models is one of important subjects in ecology and mathematical ecology, and many factors, such as time delay, disease, harvesting, functional response, etc., can affect it in the natural world.

In recent years, some researchers have discussed predator–prey models with these factors. Wangersky and Cunningham [1] considered a predator–prey system with time delay and studied the effect of time delay on the system. May [2] also analyzed the stability of vegetation–herbivore and vegetation–herbivore–carnivore systems with time delay. They found that a model with time delay could cause a stable equilibrium to become unstable and cause the population to fluctuate. Hu and Li [3] described a mathematical model dealing with a predator–prey system with disease in the prey, they discussed the properties of Hopf bifurcation. Banshidhar and Swarup [4] proposed a predator–prey model with harvesting where the top predator population is partially supported with alternative food. Their research showed that alternative food can prevent top predator extinction risk at higher harvesting effort. Yang [5] discussed the stability in a delayed diffusive predator–prey model with nonconstant death rate. Zhu et al. [6] studied a predator–prey model with time delay and square root response function. As we all know, non-smooth factor is used in mechanical engineering [7, 8]. In fact, non-smooth factor is also found in a predator–prey model. Chen and Huang [9] investigated a Filippov ratio-dependent predator–prey model to describe the effect on behavioral refuges caused by prey instinct anti-predator behavior. They discussed complete analysis of local and global dynamical behaviors of this model by Filippov qualitative theory. Peng et al. [10] proposed a hybrid control strategy in a predator–prey model. Their numerical simulation results showed that the hybrid controller is efficient in controlling a Hopf bifurcation.

In nature, there are many species whose individuals have a life history that can be divided into two stages: immature and mature. The stage structure reflects the species’ activity ability and the difference about resistance to natural enemies in different growth period. It can affect the persistence and extinction of biological populations to various degree. Therefore, it is more practical to discuss the predator–prey model with this factor. Meng et al. [11] studied the stability and Hopf bifurcation in a three-species system with stage structure for the predator. Ref. [12, 13] also have paid great attention to discussing the effect with stage structure in predator–prey models. In [14], Wang et al. considered a delayed ratio-dependent predator–prey system with Holling type III functional response and stage structure for the predator:

$$ \begin{gathered} \dot{x}(t) = x(t) \biggl(r - ax(t - \tau_{1}) - \frac{a_{1}x(t)y_{2}(t)}{my_{2}^{2}(t) + x^{2}(t)}\biggr), \\ \dot{y}_{1}(t) = \frac{a_{2}x^{2}(t - \tau_{2})y_{2}(t - \tau_{2})}{my_{2}^{2}(t - \tau_{2}) + x^{2}(t - \tau_{2})} - r_{1}y_{1}(t) - Dy_{1}(t), \\ \dot{y}_{2}(t) = Dy_{1}(t) - r_{2}y_{2}(t), \end{gathered} $$

(1.1)

where $x(t)$ represents the density of the prey population at time t, $y_{1}(t)$ and $y_{2}(t)$ describe the densities of the immature and the mature predator population at time t, respectively. The parameters r, a, $a_{1}$, $a_{2}$, m, $r_{1}$, $r_{2}$, and D are positive constants in which r represents the intrinsic growth rate of the prey, a is the intraspecific competition rate of the prey, $a_{1}$ is the capturing rate, $a_{2} / a_{1}$ is the conversion rate of the mature predator, m is the half capturing saturation constant, $r_{1}$ and $r_{2}$ are the death rates of the immature and the mature predator, respectively. D denotes the rate at which the immature predator becomes the mature predator. $\tau_{1}$ is the feedback time delay of the prey, $\tau_{2}$ is the time delay due to the gestation of the mature predator. In [14], Wang et al. investigated the local stability of each of the feasible equilibria of the system and the related properties of Hopf bifurcation.

However, some predator species dislike hunting immature preys, or many immature preys are concealed in the caves or nests to keep from being attacked by the predators in the natural world. In this paper, based on the above discussions and motivated by the work of Wang et al. [14], we consider the following system with stage structure for the prey and two delays:

$$ \begin{gathered} \dot{x}_{1}(t) = ax_{2}(t) - bx_{1}(t) - r_{1}x_{1}(t) - cx_{1}(t)x_{1}(t - \tau_{1}) - \frac{a_{1}x_{1}^{2}(t)y(t)}{1 + mx_{1}^{2}(t)}, \\ \dot{x}_{2}(t) = bx_{1}(t) - r_{2}x_{2}(t), \\ \dot{y}(t) = \frac{a_{2}x_{1}^{2}(t - \tau_{2})y(t - \tau_{2})}{1 + mx_{1}^{2}(t - \tau_{2})} - ry(t), \end{gathered} $$

(1.2)

where $x_{1}(t)$, $x_{2}(t)$ describe the densities of the immature prey and the mature prey at time t, $y(t)$ represents the density of the predator at time t, respectively. a is the birth rate of the immature prey, b is the transformation rate from the immature prey to the mature one, c is the intraspecific competition coefficient of the immature prey, $r_{1}$, $r_{2}$, r denote the death rates of immature prey, mature prey, and predator. $a_{2} / a_{1}$ is the conversion rate of the predator, $\tau_{1}$ is the feedback time delay of the immature prey, and $\tau_{2}$ is the time delay due to the gestation of the predator. The rest of parameters $a_{1}$, m are similar to those of model (1.1).

The organization of this paper is as follows. In Sect. 2, the local stability of the positive equilibrium and the existence of Hopf bifurcation for system (1.2) are studied. The direction of Hopf bifurcation and the stability of bifurcating periodic solutions are derived in Sect. 3. In Sect. 4, numerical simulations are carried out to illustrate the validity of the established results. Finally, a brief conclusion is given.

2 Local stability and Hopf bifurcation

From the viewpoint of biology, we only study the positive equilibrium of system (1.2). In this section, we shall discuss the local stability of a linearized system at the positive equilibrium and the existence of Hopf bifurcations for system (1.2).

It is easy to show that system (1.2) has a unique positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$, where

$$\begin{gathered} x_{1}^{*} = \sqrt{ \frac{r}{a_{2} - rm}}, \\ x_{2}^{*} = \frac{b}{r_{2}}x_{1}^{*}, \\ y^{*} = \frac{(ab - r_{1}r_{2} - br_{2} - cr_{2}x_{1}^{*})(1 + mx_{1}^{*2})}{a_{1}r_{2}x_{1}^{*}} \end{gathered} $$

if the following conditions are satisfied:

$$(\mathrm{H}1)\quad a_{2} - rm > 0, \qquad ab - r_{1}r_{2} - br_{2} - cr_{2}\sqrt{\frac{r}{a_{2} - rm}} > 0. $$

Let $\bar{x}_{1}(t) = x_{1}(t) - x_{1}^{*}$, $\bar{x}_{2}(t) = x_{2}(t) - x_{2}^{*}$, $\bar{y}(t) = y(t) - y^{*}$ and still denote $\bar{x}_{1}(t)$, $\bar{x}_{2}(t)$, $\bar{y}(t)$, respectively. Using Taylor’s expansion to expand system (1.2) at the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$, we have

$$ \begin{gathered} \dot{x}_{1}(t) = a_{11}x_{1}(t) + a_{12}x_{2}(t) + a_{13}y(t) + b_{11}x(t - \tau_{1}) \\ \hphantom{\dot{x}_{1}(t) =}{}+ \sum _{i + j + k + q \ge 2} f_{1}^{(ijkq)} x_{1}^{i}(t)x_{2}^{j}(t)y^{k}x_{1}^{q}(t - \tau_{1}), \\ \dot{x}_{2}(t) = a_{21}x_{1}(t) + a_{22}x_{2}(t) + \sum_{i + j \ge 2} f_{2}^{(ij)} x_{1}^{i}(t)x_{2}^{j}(t), \\ \dot{y}(t) = b_{31}x_{1}(t - \tau_{2}) + a_{33}y(t) + b_{33}y(t - \tau_{2}) + \sum _{i + j + k \ge 2} f_{3}^{(ijk)} y^{i}(t)x_{1}^{j}(t - \tau_{2})y^{k}(t - \tau_{2}), \end{gathered} $$

(2.1)

where

$$\begin{gathered} a_{11} = - r_{1} - cx_{1}^{*} - b - \frac{2a_{1}x_{1}^{*}y^{*}}{[1 + m(x_{1}^{*})^{2}]^{2}},\qquad a_{12} = a,\\ a_{13} = \frac{ - a_{1}(x_{1}^{*})^{2}}{1 + m(x_{1}^{*})^{2}},\qquad b_{11} = - cx_{1}^{*}, \\ a_{21} = b,\qquad a_{22} = - r_{2},\qquad b_{31} = \frac{2a_{2}x_{1}^{*}y^{*}}{[1 + m(x_{1}^{*})^{2}]^{2}},\\ b_{33} = \frac{a_{2}(x_{1}^{*})^{2}}{1 + m(x_{1}^{*})^{2}},\qquad a_{33} = - r. \\ f_{1}^{(ijkq)} = \frac{1}{i!j!k!q!}\frac{\partial^{i + j + k + q}f_{1}}{\partial x_{1}^{i}(t)\,\partial x_{2}^{j}(t)\,\partial y^{k}(t)\,\partial x^{q}(x - \tau_{1})}\bigg\vert \bigl(x_{1}^{*},x_{2}^{*},y^{*} \bigr) , \\ f_{2}^{(ij)} = \frac{1}{i!j!}\frac{\partial^{i + j}f_{2}}{\partial x_{1}^{i}(t)\,\partial x_{2}^{j}(t)} \bigg\vert \bigl(x_{1}^{*},x_{2}^{*},y^{*} \bigr) , \\ f_{3}^{(ijk)} = \frac{1}{i!j!k!}\frac{\partial^{i + j + k}f_{3}}{\partial y^{i}(t)\,\partial x_{1}^{j}(t - \tau_{2})\,\partial y^{k}(t - \tau_{2})} \bigg\vert \bigl(x_{1}^{*},x_{2}^{*},y^{*} \bigr) , \\ f_{1} = ax_{2}(t) - bx_{1}(t) - r_{1}x_{1}(t) - cx_{1}(t)x_{1}(t - \tau_{1}) - \frac{a_{1}x_{1}^{2}(t)y(t)}{1 + mx_{1}^{2}(t)}, \\ f_{2} = bx_{1}(t) - r_{2}x_{2}(t), \qquad f_{3} = \frac{a_{2}x_{1}^{2}(t - \tau_{2})y(t - \tau_{2})}{1 + mx_{1}^{2}(t - \tau_{2})} - ry(t). \end{gathered} $$

Then we obtain the linearized system of system (2.1) as follows:

$$ \begin{gathered} \dot{x}_{1}(t) = a_{11}x_{1}(t) + a_{12}x_{2}(t) + a_{13}y(t) + b_{11}x(t - \tau_{1}), \\ \dot{x}_{2}(t) = a_{21}x_{1}(t) + a_{22}x_{2}(t), \\ \dot{y}(t) = b_{31}x_{1}(t - \tau_{2}) + a_{33}y(t) + b_{33}y(t - \tau_{2}). \end{gathered} $$

(2.2)

Therefore, the corresponding characteristic equation of system (2.2) is given by

$$ \begin{aligned}[b] &\lambda^{3} + m_{2} \lambda^{2} + m_{1}\lambda + m_{0} + \bigl(n_{2}\lambda^{2} + n_{1}\lambda + n_{0}\bigr)e^{ - \lambda \tau_{1}} \\ &\quad {}+ \bigl(p_{2}\lambda^{2} + p_{1}\lambda + p_{0}\bigr)e^{ - \lambda \tau_{2}} + (q_{1}\lambda + q_{0})e^{ - \lambda (\tau_{1} + \tau_{2})} = 0, \end{aligned} $$

(2.3)

where

$$\begin{gathered} m_{0} = a_{12}a_{21}a_{33} - a_{11}a_{22}a_{33},\qquad m_{1} = a_{11}a_{22} + a_{22}a_{33} + a_{11}a_{33} - a_{12}a_{21},\\ m_{2} = - (a_{11} + a_{22} + a_{33}), \\ n_{0} = - b_{11}a_{22}a_{33},\qquad n_{1} = b_{11}(a_{22} + a_{33}),\qquad n_{2} = - b_{11}, \\ p_{0} = a_{13}a_{22}b_{31} + a_{12}a_{21}b_{33} - a_{11}a_{22}a_{33}, \\ p_{1} = a_{11}b_{33} + a_{22}b_{33} - a_{13}b_{31},\qquad p_{2} = - b_{33}, \\ q_{0} = - a_{22}b_{11}b_{33},\qquad q_{1} = b_{11}b_{33}. \end{gathered} $$

In order to investigate the root distribution of the transcendental Eq. (2.3), the result of Ruan and Wei [15] is introduced here.

Lemma 2.1

For the transcendental equation

$$\begin{aligned} p\bigl(\lambda,e^{ - \lambda \tau_{1}}, \ldots,e^{ - \lambda \tau_{m}}\bigr) &= \lambda^{n} + p_{1}^{(0)}\lambda^{n - 1} + \cdots + p_{n - 1}^{(0)}\lambda + p_{n}^{(0)} \\ &\quad {}+ \bigl[p_{1}^{(1)}\lambda^{n - 1} + \cdots + p_{n - 1}^{(1)}\lambda + p_{n}^{(1)} \bigr]e^{ - \lambda \tau_{1}}+ \cdots \\ &\quad {} + \bigl[p_{1}^{(m)}\lambda^{n - 1} + \cdots + p_{n - 1}^{(m)}\lambda + p_{n}^{(m)} \bigr]e^{ - \lambda \tau_{m}} \\ &= 0, \end{aligned} $$

as $( \tau_{1},\tau_{2},\tau_{3}, \ldots,\tau_{m} )$ vary, the sum of orders of the zeros of $p(\lambda,e^{ - \lambda \tau_{1}}, \ldots,e^{ - \lambda \tau_{m}})$ in the open right half plane can change, and only a zero appears on or crosses the imaginary axis.

Next, we will consider the following four cases.

Case 1: $\tau_{1} = \tau_{2} = 0$, the characteristic Eq. (2.3) reduces to

$$ \lambda^{3} + m_{12}\lambda^{2} + m_{11}\lambda + m_{10} = 0, $$

(2.4)

where $m_{10} = m_{0} + n_{0} + p_{0} + q_{0}$, $m_{11} = m_{1} + n_{1} + p_{1}$, $m_{12} = m_{2} + n_{2} + p_{2}$.

It is not difficult to verify that $m_{10} > 0$, $m_{12} > 0$. Thus, all the roots of Eq. (2.4) have negative real parts if the following condition holds:

$$(\mathrm{H}11)\quad m_{11}m_{12} > m_{10}. $$

Namely, the equilibrium point $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ is locally asymptotically stable when condition (H11) is satisfied.

Case 2: $\tau_{1} = 0$, $\tau_{2} > 0$. Equation (2.3) becomes

$$ \lambda^{3} + m_{22}\lambda^{2} + m_{21}\lambda + m_{20} + \bigl(p_{22} \lambda^{2} + p_{21}\lambda + p_{20} \bigr)e^{ - \lambda \tau_{2}} = 0, $$

(2.5)

where $m_{20} = m_{0} + n_{0}$, $m_{21} = m_{1} + n_{1}$, $m_{22} = m_{2} + n_{2}$, $p_{20} = p_{0} + q_{0}$, $p_{21} = p_{1} + q_{1}$, $p_{22} = p_{2}$.

Let $i\omega_{2}$ ($\omega_{2} > 0$) be a root of Eq. (2.5), it follows that

$$ \begin{gathered} p_{21}\omega_{2}\sin \omega_{2}\tau_{2} + \bigl(p_{20} - p_{22} \omega_{2}^{2}\bigr)\cos \omega_{2} \tau_{2} = m_{22}\omega_{2}^{2} - m_{20}, \\ p_{21}\omega_{2}\cos \omega_{2}\tau_{2} - \bigl(p_{20} - p_{21}\omega_{2}^{2} \bigr)\sin \omega_{2}\tau_{2} = \omega_{2}^{3} - m_{21}\omega_{2}, \end{gathered} $$

(2.6)

which leads to

$$ \omega_{2}^{6} + e_{22}\omega_{2}^{4} + e_{21}\omega_{2}^{2} + e_{20} = 0, $$

(2.7)

where $e_{20} = m_{20}^{2} - p_{20}^{2}$, $e_{21} = m_{21}^{2} - 2m_{20}m_{22} - p_{21}^{2} + 2p_{20}p_{22}$, $e_{22} = m_{22}^{2} - 2m_{21} - p_{22}^{2}$.

Let $\omega_{2}^{2} = v_{2}$, then Eq. (2.7) can be written as

$$ v_{2}^{3} + e_{22}v_{2}^{2} + e_{21}v_{2} + e_{20} = 0. $$

(2.8)

Denote

$$ f_{1}(v_{2}) = v_{2}^{3} + e_{22}v_{2}^{2} + e_{21}v_{2} + e_{20}. $$

(2.9)

Since $f_{1}(0) = e_{20}$, $\lim_{v_{2} \to + \infty} f_{1}(v_{2}) = + \infty$, and from Eq. (2.9), we have

$$ f'_{1}(v_{2}) = 3v_{2}^{2} + 2e_{22}v_{2} + e_{21}. $$

(2.10)

After discussion about the roots of Eq. (2.10) similar to that in [16], we have the following lemma.

Lemma 2.2

For the polynomial Eq. (2.8), we have the following results:

• (1) If

  $$(\mathrm{H}21)\quad e_{20} \ge 0, \qquad \Delta = e_{22}^{2} - 3e_{21} \le 0 $$

  holds, then Eq. (2.8) has no positive root;

• (2) If

  $$(\mathrm{H}22)\quad e_{20} \ge 0,\qquad \Delta = e_{22}^{2} - 3e_{21} > 0, \qquad v_{2}^{*} = \frac{ - e_{21} + \sqrt{\Delta}}{3} > 0,\qquad f_{1}\bigl(v_{2}^{*} \bigr) \le 0, $$

  or

  $$(\mathrm{H}23)\quad e_{20} < 0 $$

  holds, then Eq. (2.8) has a positive root.

Suppose that Eq. (2.8) has positive roots. Without loss of generality, we assume that it has three positive roots, which are denoted by $v_{21}$, $v_{22}$, and $v_{23}$. Then Eq. (2.7) has three positive roots $\omega_{2k} = \sqrt{v_{2k}}$, $k = 1,2,3$. The corresponding critical value of time delay $\tau_{2k}^{(j)}$ is

$$ \tau_{2k}^{(j)} = \frac{1}{\omega_{2k}}\arccos \biggl\{ \frac{A_{24}\omega_{2k}^{4} + A_{22}\omega_{2k}^{2} + A_{20}}{B_{24}\omega_{2k}^{4} + B_{22}\omega_{2k}^{2} + B_{20}} \biggr\} + \frac{2\pi j}{\omega_{2k}},\quad k = 1,2,3; j = 0,1,2, \ldots, $$

(2.11)

where $A_{20} = - m_{20}p_{20}$, $A_{22} = m_{22}p_{20} + m_{20}p_{22} - m_{21}p_{21}$, $A_{24} = p_{21} - m_{22}p_{22}$, $B_{20} = p_{20}^{2}$, $B_{22} = p_{21}^{2} - 2p_{20}p_{22}$, $B_{24} = p_{22}^{2}$.

Thus $\pm \omega_{2k}$ is a pair of purely imaginary roots of Eq. (2.5) with $\tau_{2} = \tau_{2k}^{(j)}$, and let $\tau_{20} = \min_{k \in \{1,2,3 \}} \{ \tau_{2k}^{(0)} \}$, $\omega_{20} = \omega_{2k_{0}}$.

Lemma 2.3

Suppose that

$$(\mathrm{H}24) \quad f'_{1}\bigl(\omega_{20}^{2} \bigr) \ne 0, $$

then the following transversality condition holds:

$$\biggl\{ \frac{d(\operatorname{Re} \lambda )}{d\tau_{2}} \biggr\} _{\lambda = i\omega_{20}} \ne 0. $$

Proof

Differentiating Eq. (2.5) with respect to $\tau_{2}$, and noticing that λ is a function of $\tau_{2}$, we obtain

$$ \biggl(\frac{d\lambda}{d\tau_{2}}\biggr)^{ - 1} = - \frac{3\lambda^{2} + 2m_{22}\lambda + m_{21}}{\lambda (\lambda^{3} + m_{22}\lambda^{2} + m_{21}\lambda + m_{20})} + \frac{2p_{22}\lambda + p_{21}}{\lambda (p_{22}\lambda^{2} + p_{21}\lambda + n_{20})} - \frac{\tau_{1}}{\lambda}, $$

(2.12)

which leads to

$$\begin{aligned} \operatorname{Re} \biggl(\frac{d\lambda}{d\tau_{2}}\biggr)^{ - 1} &= \operatorname{Re} \biggl(- \frac{3\lambda^{2} + 2m_{22}\lambda + m_{21}}{\lambda (\lambda^{3} + m_{22}\lambda^{2} + m_{21}\lambda + m_{20})}\biggr)_{\lambda = i\omega_{20}}\\ &\quad {} + \operatorname{Re} \biggl(\frac{2p_{22}\lambda + p_{21}}{\lambda (p_{22}\lambda^{2} + p_{21}\lambda + p_{20})}\biggr)_{\lambda = i\omega_{20}} \\ &= \frac{3\omega_{20}^{4} + 2(m_{22}^{2} - 2m_{21})\omega_{20}^{2} + m_{21}^{2} - 2m_{20}m_{22}}{(\omega_{20}^{3} - m_{21}\omega_{20})^{2} + (m_{20} - m_{22}\omega_{20}^{2})^{2}} - \frac{2p_{22}^{2}\omega_{20}^{2} + p_{21}^{2} - 2p_{20}p_{22}}{(p_{22}\omega_{20}^{2} - p_{20})^{2} + p_{21}^{2}\omega_{20}^{2}}. \end{aligned} $$

From Eq. (2.6), we have

$$ \bigl(\omega_{20}^{3} - m_{21} \omega_{20}\bigr)^{2} + \bigl(m_{20} - m_{22}\omega_{20}^{2}\bigr)^{2} = \bigl(p_{22}\omega_{20}^{2} - p_{20} \bigr)^{2} + p_{21}^{2}\omega_{20}^{2}. $$

(2.13)

Noting that $\{ \frac{d(\operatorname{Re} \lambda )}{d\tau_{1}} \}_{\lambda = i\omega_{20}}$ and $\{ \operatorname{Re} (\frac{d\lambda}{d\tau_{1}})^{ - 1} \}_{\lambda = i\omega_{20}}$ have the same sign, then

$$ \begin{aligned}[b] \operatorname{sign} \biggl\{ \frac{d(\operatorname{Re} \lambda )}{d\tau_{1}} \biggr\} _{\lambda = i\omega_{20}} &= \operatorname{sign} \biggl\{ \operatorname{Re} \biggl( \frac{d\lambda}{d\tau_{1}}\biggr)^{ - 1} \biggr\} _{\lambda = i\omega_{20}} = \frac{3(\omega_{20}^{2})^{2} + 2e_{22}\omega_{20}^{2} + e_{21}}{p_{21}^{2}\omega_{20}^{2} + (p_{20} - p_{22}\omega_{20}^{2})^{2}} \\ &= \frac{f'_{1}(\omega_{20}^{2})}{p_{21}^{2}\omega_{20}^{2} + (p_{20} - p_{22}\omega_{20}^{2})^{2}} \\ &\ne 0. \end{aligned} $$

(2.14)

It follows that $\{ \frac{d(\operatorname{Re} \lambda )}{d\tau_{2}} \}_{\lambda = i\omega_{20}} \ne 0$ and the proof is complete. □

By Lemmas 2.1–2.3, and combining the Hopf bifurcation theorem [17–19], we have the following results.

Theorem 2.1

For system (1.2), $\tau_{1} = 0$.

• (1) If (H21) holds, then the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ is asymptotically stable for all $\tau_{2} \ge 0$.

• (2) If (H22) or (H23) and (H24) hold, then the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ is asymptotically stable for all $\tau_{2} \in [0,\tau_{20})$ and unstable for $\tau_{2} > \tau_{20}$. Furthermore, system (1.2) undergoes a Hopf bifurcation at the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ when $\tau_{2} = \tau_{20}$.

Case 3: $\tau_{1} = \tau_{2} = \tau \ne 0$. Equation (2.3) reduces to

$$ \lambda^{3} + m_{32}\lambda^{2} + m_{31}\lambda + m_{30} + \bigl(n_{32} \lambda^{2} + n_{31}\lambda + n_{30} \bigr)e^{ - \lambda \tau} + (q_{31}\lambda + q_{30})e^{ - 2\lambda \tau} = 0, $$

(2.15)

where $m_{30} = m_{0}$, $m_{31} = m_{1}$, $m_{32} = m_{2}$, $n_{30} = n_{0} + p_{0}$, $n_{31} = n_{1} + p_{1}$, $n_{32} = n_{2} + p_{2}$, $q_{30} = q_{0}$, $q_{31} = q_{1}$.

Multiplying by $e^{\lambda \tau}$, Eq. (2.15) becomes

$$ \bigl(\lambda^{3} + m_{32}\lambda^{2} + m_{31}\lambda + m_{30}\bigr)e^{\lambda \tau} + \bigl(n_{32}\lambda^{2} + n_{31}\lambda + n_{30}\bigr) + (q_{41}\lambda + q_{40})e^{ - \lambda \tau} = 0. $$

(2.16)

Let iω ($\omega > 0$) be the root of Eq. (2.16), and separate the real and imaginary parts, we have

$$ \begin{gathered} E_{31}\sin \omega \tau + E_{32} \cos \omega \tau = E_{35}, \\ E_{33}\cos \omega \tau + E_{34}\sin \omega \tau = E_{36}, \end{gathered} $$

(2.17)

where $E_{31} = - m_{31}\omega + \omega^{3} + q_{31}\omega$, $E_{32} = m_{30} - m_{32}\omega^{2} + q_{30}$,

$$\begin{gathered} E_{33} = m_{31}\omega - \omega^{3} + q_{31}\omega,\qquad E_{34} = m_{30} - m_{32}\omega^{2} - q_{30}, \\ E_{35} = n_{32}\omega^{2} - n_{30}, \qquad E_{36} = - n_{31}\omega. \end{gathered} $$

It follows that

$$ \sin \omega \tau = \frac{A_{35}\omega^{5} + A_{33}\omega^{3} + A_{31}\omega}{\omega^{6} + B_{34}\omega^{4} + B_{32}\omega^{2} + B_{30}},\qquad \cos \omega \tau = \frac{A_{34}\omega^{4} + A_{32}\omega^{4} + A_{30}}{\omega^{6} + B_{34}\omega^{4} + B_{32}\omega^{2} + B_{30}}, $$

(2.18)

where

$$\begin{gathered} A_{30} = (q_{30} - m_{30})n_{30},\qquad A_{31} = (m_{31} + q_{31})n_{30} - (m_{30} + q_{30})n_{31}, \\ A_{32} = (m_{30} - q_{30})n_{32} - m_{31}n_{31} + m_{32}n_{30} + q_{31}n_{31},\\\ A_{33} = m_{32}n_{31} - n_{30} - m_{31}n_{32} - q_{31}n_{32}, \\ A_{34} = n_{31} - m_{32}n_{32},\qquad A_{35} = n_{32},\qquad B_{30} = m_{30}^{2} - q_{30}^{2}, \\ B_{32} = m_{31}^{2} - q_{31}^{2} - 2m_{30}m_{32},\qquad B_{34} = m_{32}^{2} - 2m_{31}. \end{gathered} $$

From Eq. (2.18), we get

$$ \omega^{12} + e_{35}\omega^{10} + e_{34} \omega^{8} + e_{33}\omega^{6} + e_{32} \omega^{4} + e_{31}\omega^{2} + e_{30} = 0, $$

(2.19)

where

$$\begin{gathered} e_{30} = B_{30}^{2} - A_{30}^{2}, \qquad e_{31} = 2B_{30}B_{32} - A_{31}^{2} - 2A_{30}A_{32}, \\ e_{32} = B_{32}^{2} + 2B_{30}B_{34} - A_{32}^{2} - 2A_{30}A_{34} - 2A_{31}A_{33}, \\ e_{33} = 2B_{30} + 2B_{32}B_{34} - A_{33}^{2} - 2A_{31}A_{35} - 2A_{32}A_{34}, \\ e_{34} = B_{34}^{2} + 2B_{32} - A_{34}^{2} - 2A_{33}A_{35},\qquad e_{35} = 2B_{34} - A_{35}^{2}. \end{gathered} $$

Let $\omega^{2} = v_{3}$, then Eq. (2.19) can be written as

$$ v_{3}^{6} + e_{35}v_{3}^{5} + e_{34}v_{3}^{4} + e_{33}v_{3}^{3} + e_{32}v_{3}^{2} + e_{31}v_{3} + e_{30} = 0. $$

(2.20)

Suppose that Eq. (2.20) has at least one positive root, and without loss of generality, we assume that it has six positive roots which are denoted by $v_{31}$, $v_{32}$, $v_{33}$, $v_{34}$, $v_{35}$, $v_{36}$, then Eq. (2.19) has six positive roots $\omega_{k} = \sqrt{v_{3k}}$, $k = 1,2,3,4,5,6$. The corresponding critical value of time delay $\tau_{k}^{(j)}$ is

$$ \begin{aligned}[b] &\tau_{k}^{(j)} = \frac{1}{\omega_{k}}\arccos \biggl\{ \frac{A_{34}\omega_{k}^{4} + A_{32}\omega_{k}^{2} + A_{30}}{\omega_{k}^{6} + B_{34}\omega_{k}^{4} + B_{32}\omega_{k}^{2} + B_{30}} \biggr\} + \frac{2\pi j}{\omega_{k}},\\ &\quad k = 1,2,3,4,5,6, j = 0,1,2, \ldots. \end{aligned} $$

(2.21)

Then $\pm \omega_{k}$ is a pair of purely imaginary roots of Eq. (2.16) with $\tau = \tau_{k}^{(j)}$, and let $\tau_{0} = \min_{k \in \{ 1 - 6 \}} \{ \tau_{k}^{(0)} \}$, $\omega_{0} = \omega_{k_{0}}$.

Lemma 2.4

Suppose that

$$(\mathrm{H}31)\quad AC + BD \ne 0 $$

holds, then the following transversality condition is satisfied:

$$\biggl\{ \frac{d(\operatorname{Re} \lambda )}{d\tau} \biggr\} _{\lambda = i\omega_{0}} \ne 0. $$

Proof

Differentiating Eq. (2.16) with respect to τ, we obtain

$$ \biggl(\frac{d\lambda}{d\tau} \biggr)^{ - 1} = \frac{2n_{32}\lambda + n_{31} + (3\lambda^{2} + 2m_{32}\lambda + m_{31})e^{\lambda \tau}}{ - \lambda (\lambda^{3} + m_{32}\lambda^{2} + m_{31}\lambda + m_{30})e^{\lambda \tau} + (q_{31}\lambda^{2} + q_{30})\lambda e^{ - \lambda \tau}} - \frac{\tau}{ \lambda}, $$

(2.22)

substituting $\lambda = i\omega_{0}$ into Eq. (2.22), we get

$$ \operatorname{Re} \biggl(\frac{d\lambda}{d\tau} \biggr)_{\lambda = i\omega_{0}}^{ - 1} = \operatorname{Re} \biggl(\frac{A + Bi}{C + Di}\biggr) = \frac{AC + BD}{C^{2} + D^{2}}, $$

(2.23)

where

$$\begin{gathered} A = \bigl(m_{31} - 3\omega_{0}^{2} \bigr)\cos \omega_{0}\tau_{0} - 2m_{32} \omega_{0}\sin \omega_{0}\tau_{0} + q_{31}\cos \omega_{0}\tau_{0} + n_{31}, \\ B = \bigl(m_{31} - 3\omega_{0}^{2}\bigr)\sin \omega_{0}\tau_{0} + 2m_{32}\omega_{0} \cos \omega_{0}\tau_{0} - q_{31}\sin \omega_{0}\tau_{0} + 2n_{32}\omega_{0}, \\ C = \bigl(m_{31} - q_{31} - \omega_{0}^{2} \bigr)\omega_{0}^{2}\cos \omega_{0} \tau_{0} + \bigl(q_{30} + m_{30} - m_{32} \omega_{0}^{2}\bigr)\omega_{0}\sin \omega_{0}\tau_{0}, \\ D = \bigl(m_{31} + q_{31} - \omega_{0}^{2} \bigr)\omega_{0}^{2}\sin \omega_{0} \tau_{0} + \bigl(q_{30} - m_{30} + m_{32} \omega_{0}^{2}\bigr)\omega_{0}\cos \omega_{0}\tau_{0}. \end{gathered} $$

Noting that $\{ \frac{d(\operatorname{Re} \lambda )}{d\tau} \}_{\lambda = i\omega_{0}}$ and $\{ \operatorname{Re} (\frac{d\lambda}{d\tau} )^{ - 1} \}_{\lambda = i\omega_{0}}$ have the same sign, if condition (H31) holds, we obtain $\{\frac{d(\operatorname{Re} \lambda )}{d\tau} \}_{\lambda = i\omega_{0}} \ne 0$.

This completes the proof. □

By applying Lemma 2.4 to Eq. (2.16), we obtain the existence of a Hopf bifurcation as stated in the following theorem.

Theorem 2.2

For system (1.2), $\tau_{1} = \tau_{2} = \tau \ne 0$. Suppose that condition (H31) holds, then the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ is asymptotically stable for all $\tau \in [0,\tau_{0})$ and unstable for $\tau > \tau_{0}$. Furthermore, system (1.2) undergoes a Hopf bifurcation at the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ when $\tau = \tau_{0}$.

Case 4: $\tau_{1} > 0$, $\tau_{2} \in [0,\tau_{20})$, and $\tau_{1} \ne \tau_{2}$.

We consider Eq. (2.3) with $\tau_{2}$ in its stable interval, and $\tau_{1}$ is regarded as the parameter. Let $i\omega_{1_{*}}$ ($\omega_{1_{*}} > 0$) be the root of Eq. (2.3), then we obtain

$$ \begin{gathered} E_{41}\sin \omega_{1_{*}} \tau_{1} + E_{42}\cos \omega_{1_{*}} \tau_{1} = E_{43}, \\ E_{41}\cos \omega_{1_{*}}\tau_{1} - E_{42}\sin \omega_{1_{*}}\tau_{1} = E_{44}, \end{gathered} $$

(2.24)

where

$$\begin{gathered} E_{41} = n_{1} \omega_{1_{*}} - q_{0}\sin \omega_{1_{*}} \tau_{2} + q_{1}\omega_{1_{*}}\cos \omega_{1_{*}}\tau_{2}, \\ E_{42} = n_{0} - n_{2}\omega_{1_{*}}^{2} + q_{0}\cos \omega_{1_{*}}\tau_{2} + q_{1}\omega_{1_{*}}\sin \omega_{1_{*}}\tau, \\ E_{43} = m_{2}\omega_{1_{*}}^{2} - m_{0} + \bigl(p_{2}\omega_{1_{*}}^{2} - p_{0}\bigr)\cos \omega_{1_{*}}\tau_{2} - p_{1}\omega_{1_{*}}\sin \omega_{1_{*}} \tau_{2}, \\ E_{44} = \omega_{1_{*}}^{3} - m_{1} \omega_{1_{*}} - \bigl(p_{2}\omega_{1_{*}}^{2} - p_{0}\bigr)\sin \omega_{1_{*}}\tau_{2} - p_{1}\omega_{1_{*}}\cos \omega_{1_{*}} \tau_{2}. \end{gathered} $$

From Eq. (2.24), we have

$$ \begin{aligned}[b] &\omega_{1_{*}}^{6} + e_{42} \omega_{1_{*}}^{4} + e_{41}\omega_{1_{*}}^{2} + e_{40} + \bigl(c_{44}\omega_{1_{*}}^{4} + c_{42}\omega_{1_{*}}^{2} + c_{40}\bigr) \cos \omega_{1_{*}}\tau_{2} \\ &\quad {}+\bigl(c_{45}\omega_{1_{*}}^{5} + c_{43}\omega_{1_{*}}^{3} + c_{41} \omega_{1_{*}}\bigr)\sin \omega_{1_{*}}\tau_{2} = 0, \end{aligned} $$

(2.25)

where

$$\begin{gathered} e_{40} = m_{0}^{2} + p_{0}^{2} - n_{0}^{2} - q_{0}^{2}, \qquad e_{41} = m_{1}^{2} + p_{1}^{2} - n_{1}^{2} - q_{1}^{2} + 2n_{0}n_{2} - 2m_{0}m_{2} - 2p_{0}p_{2}, \\ e_{42} = m_{2}^{2} - n_{2}^{2} - 2m_{1} + p_{2}^{2},\qquad c_{40} = 2m_{0}p_{0} - 2n_{0}q_{0}, \\ c_{41} = 2p_{1}m_{0} - 2p_{0}m_{1} + 2n_{1}q_{0} - 2n_{0}q_{1}, \\ c_{42} = 2p_{1}m_{1} - 2p_{0}m_{2} + 2n_{2}q_{0} - 2p_{2}m_{0} - 2n_{1}q_{1},\\ c_{43} = 2p_{0} - 2p_{1}m_{2} + 2p_{2}m_{1} + 2n_{2}q_{1},\qquad c_{44} = - 2p_{1} + 2p_{2}m_{2},\qquad c_{45} = - 2p_{2}. \end{gathered} $$

In order to give the main results, we provide the following assumption.

$$(\mathrm{H}41)\quad \mbox{Eq. (2.25) has at least a finite positive root}. $$

We denote the positive roots of Eq. (2.25) by $\omega_{1_{*}}^{(1)}$, $\omega_{1_{*}}^{(2)}$, $\omega_{1_{*}}^{(3)}$, $\omega_{1_{*}}^{(4)}$, $\omega_{1_{*}}^{(5)}$, and $\omega_{1_{*}}^{(6)}$. For every $\omega_{1_{*}}^{(i)}$ ($i = 1,2,3,4,5,6$), the corresponding critical value of time delay $\tau_{1i}^{(j)}$, $j = 1,2,3 \ldots$ , is

$$ \begin{aligned}[b] &\tau_{1i}^{(j)} = \frac{1}{\omega_{1_{*}}}\arccos \biggl\{ \frac{E_{41}E_{44} + E_{42}E_{43}}{E_{41}^{2} + E_{42}^{2}} + 2\pi j \biggr\} _{\omega_{1_{*}} = \omega_{1_{*}}^{i}},\\ &\quad i = 1,2,3,4,5,6;j = 0,1,2 \ldots. \end{aligned} $$

(2.26)

Let $\tau '_{10} = \min \{ \tau_{1i}^{(0)} \vert i = 1,2, \ldots 6;j = 0,1,2 \ldots \}$, $\omega '_{10}$ is the corresponding root of Eq. (2.25) with $\tau '_{10}$.

Lemma 2.5

Suppose that

$$(\mathrm{H}42)\quad A'C' + B'D' \ne 0 $$

holds, then the following transversality condition holds:

$$\biggl\{ \frac{d(\operatorname{Re} \lambda )}{d\tau_{1}} \biggr\} _{\lambda = i\omega '_{10}} \ne 0. $$

Proof

Taking the derivative of λ with respect to $\tau_{1}$ in Eq. (2.3) and substituting $\lambda = i\omega '_{10}$, we get

$$ \operatorname{Re} \biggl(\frac{d\lambda}{d\tau_{1}}\biggr)_{\lambda = i\omega _{10}}^{\prime - 1} = \operatorname{Re} \biggl(\frac{A' + B'i}{C' + D'i}\biggr) = \frac{A'C' + B'D'}{C^{\prime2} + D^{\prime2}}, $$

(2.27)

where

$$\begin{aligned}& \begin{aligned} A' &= m_{1} - 3\omega _{10}^{\prime2} + 2n_{2}\omega '_{10} \sin \omega '_{10}\tau '_{10} + n_{1}\cos \omega '_{10}\tau '_{10} \\ &\quad {}+\sin \omega '_{10}\tau_{2}\bigl(- p_{1}\omega '_{10}\tau_{2} + 2p_{2}\omega '_{10} + q_{1}\sin \omega '_{10}\tau '_{10}\bigr) \\ &\quad {}+\cos \omega '_{10}\tau_{2} \bigl(p_{2}\tau_{2}\omega _{10}^{\prime2} + p_{1} - p_{0}\tau_{2} + q_{1}\cos \omega '_{10}\tau '_{10}\bigr), \end{aligned} \\& \begin{aligned} B' &= 2m_{2}\omega '_{10} - n_{1}\sin \omega '_{10}\tau '_{10} + 2n_{2}\omega '_{10} \cos \omega '_{10}\tau '_{10} \\ &\quad {}+\sin \omega '_{10}\tau_{2}\bigl(- p_{1} + p_{0}\tau_{2} - p_{2} \tau_{2}\omega _{10}^{\prime2} - q_{1}\cos \omega '_{10}\tau '_{10}\bigr) \\ &\quad {}+\cos \omega '_{10}\tau_{2} \bigl(2p_{2}\omega '_{10} - p_{1} \omega '_{10}\tau_{2} - q_{1}\sin \omega '_{10}\tau '_{10}\bigr), \end{aligned} \\& \begin{aligned} C' &= \bigl(n_{0}\omega '_{10} - n_{2}\omega _{10}^{\prime3} \bigr)\sin \omega '_{10}\tau '_{10} - n_{1}\omega _{10}^{\prime2}\cos \omega '_{10}\tau '_{10} \\ &\quad {}+\bigl(q_{0}\omega '_{10}\cos \omega '_{10}\tau '_{10} + q_{1}\omega _{10}^{\prime2}\sin \omega '_{10}\tau '_{10}\bigr)\sin \omega '_{10}\tau_{2} \\ &\quad {}+ \bigl(q_{0}\omega '_{10}\sin \omega '_{10}\tau '_{10} - q_{1}\omega _{10}^{\prime2}\cos \omega '_{10}\tau '_{10}\bigr)\cos \omega '_{10}\tau_{2}, \end{aligned} \\& \begin{aligned} D' &= \bigl(n_{0}\omega '_{10} - n_{2}\omega _{10}^{\prime3} \bigr)\cos \omega '_{10}\tau '_{10} + n_{1}\omega _{10}^{\prime2}\sin \omega '_{10}\tau '_{10} \\ &\quad {}+\bigl(- q_{0}\omega '_{10}\sin \omega '_{10}\tau '_{10} + q_{1}\omega _{10}^{\prime2}\cos \omega '_{10}\tau '_{10}\bigr)\sin \omega '_{10}\tau_{2} \\ &\quad {}+\bigl(q_{0}\omega '_{10}\cos \omega '_{10}\tau '_{10} + q_{1}\omega _{10}^{\prime2}\sin \omega '_{10}\tau '_{10}\bigr)\cos \omega '_{10}\tau_{2}. \end{aligned} \end{aligned}$$

Obviously, if condition (H42) holds, then we have $\{\frac{d(\operatorname{Re} \lambda )}{d\tau_{1}} \}_{\lambda = i\omega '_{10}} \ne 0$. This completes the proof of the lemma. □

By the above analysis, we have the following theorem.

Theorem 2.3

For system (1.2), $\tau_{1} > 0$, $\tau_{2} \in [0,\tau_{20})$, and $\tau_{1} \ne \tau_{2}$. Suppose that conditions (H41) and (H42) hold, then the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ is asymptotically stable for all $\tau_{1} \in [0,\tau '_{10})$ and unstable for $\tau_{1} > \tau '_{10}$. Furthermore, system (1.2) undergoes a Hopf bifurcation at the positive equilibrium $E^{*}(x_{1}^{*},x_{2}^{*},y^{*})$ when $\tau_{1} = \tau '_{10}$.

3 Direction and stability of Hopf bifurcation

In the previous section, we have shown that system (1.2) undergoes a Hopf bifurcation for different combinations of $\tau_{1}$ and $\tau_{2}$. In this section, we shall study the direction of Hopf bifurcation and the stability of bifurcating periodic solutions of system (1.2) with respect to $\tau_{1}$ and $\tau_{2} \in [0,\tau_{20})$. The theoretical approach we apply is based on the normal form theory and center manifold theorem [18]. Throughout this section, we assume that system (1.2) undergoes a Hopf bifurcation at $\tau_{1} = \tau '_{10}$, $\tau_{2} \in [0,\tau_{20})$.

Without loss of generality, we assume that $\tau '_{10} > \tau '_{2}$. Let $\tau_{1} = \tau '_{10} + \mu$, $\mu \in R$, $t = s\tau_{1}$, $x_{1}(s\tau_{1}) = \hat{x}_{1}(s)$, $x_{2}(s\tau_{1}) = \hat{x}_{2}(s)$, $y(s\tau_{1}) = \hat{y}(s)$. Denote $x_{1} = \hat{x}_{1}$, $x_{2} = \hat{x}_{2}$, $y = \hat{y}$, and $t = s$, then system (1.2) can be written as a functional differential equation (FDE) in $C = C([ - 1,0],R^{3})$:

$$ u'(t) = L_{\mu} (u_{t}) + F( \mu,u_{t}), $$

(3.1)

where $u(t) = (x_{1}(t),x_{2}(t),y(t))^{T} \in C$, and

$$\begin{aligned} &u_{t}(\theta ) = u(t + \theta ) = \bigl(x_{1}(t + \theta ),x_{2}(t + \theta ),y(t + \theta )\bigr)^{T} \in C,\quad \mbox{and}\\ & L_{\mu}:C \to R^{3},\qquad F:R \times C \to R^{3} \end{aligned} $$

are given by

$$ L_{\mu} (\phi ) = \bigl(\tau '_{10} + \mu \bigr)\tilde{A}\phi (0) + \bigl(\tau '_{10} + \mu \bigr) \tilde{B}\phi \biggl(- \frac{\tau '_{2}}{\tau '_{10}}\biggr) + \bigl(\tau '_{10} + \mu \bigr)\tilde{C}\phi (- 1), $$

(3.2)

and

$$ F(\mu, \phi ) = \bigl(\tau '_{10} + \mu \bigr) (F_{1},F_{2},F_{3})^{T}, $$

(3.3)

where

$$\begin{gathered} \phi (\theta ) = \bigl(\phi _{1}( \theta ),\phi _{2}(\theta ),\phi _{3}(\theta ) \bigr)^{T} \in C, \\ \tilde{A} = \left ( \begin{matrix} a_{11} &a_{12} &a_{13} \\ a_{21} &a_{22}& 0 \\ 0& 0& a_{33} \end{matrix} \right ), \qquad \tilde{B} = \left ( \begin{matrix} 0 &0 &0 \\ 0& 0& 0 \\ b_{31}& 0 &b_{33} \end{matrix} \right ), \qquad \tilde{C} = \left ( \begin{matrix} b_{11} &0 &0 \\ 0 &0& 0 \\ 0 &0 &0 \end{matrix} \right ), \\ F_{1} = k_{11}\phi _{1}^{2}(0) + k_{12}\phi _{1}(0)\phi _{1}(- 1) + k_{13}\phi _{1}(0)\phi _{3}(0) + k_{14}\phi _{1}^{2}(0)\phi _{3}(0) + k_{15}\phi _{1}^{3}(0) + \cdots, \\ F_{2} = 0, \\ F_{3} = k_{31}\phi _{1}^{2}\biggl(- \frac{\tau '_{2}}{\tau '_{10}}\biggr) + k_{32}\phi _{1}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)\phi _{3}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)\\ \hphantom{F_{3} =}{}+ k_{33}\phi _{1}^{2}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)\phi _{3}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr) + k_{34}\phi _{1}^{3}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr) + \cdots, \\ k_{11} = \frac{ - 2a_{1}y^{*} + 6a_{1}m(x_{1}^{*})^{2}y^{*}}{(1 + m(x_{1}^{*})^{2})^{3}},\qquad k_{12} = - c,\qquad k_{13} = \frac{ - 2a_{1}x_{1}^{*}}{(1 + m(x_{1}^{*})^{2})^{2}},\\ k_{14} = \frac{ - 2a_{1} + 6a_{1}m(x_{1}^{*})^{2}}{(1 + m(x_{1}^{*})^{2})^{3}}, \qquad k_{15} = \frac{24a_{1}mx_{1}^{*}y^{*}(1 - m(x_{1}^{*})^{2})}{(1 + m(x_{1}^{*})^{2})^{4}},\\ k_{31} = \frac{2a_{2}y^{*} - 6a_{2}m(x_{1}^{*})^{2}y^{*}}{(1 + m(x_{1}^{*})^{2})^{3}},\qquad k_{32} = \frac{2a_{2}x_{1}^{*}}{(1 + m(x_{1}^{*})^{2})^{2}}, \\ k_{33} = \frac{2a_{2} - 6a_{2}m(x_{1}^{*})^{2}}{(1 + m(x_{1}^{*})^{2})^{3}},\qquad k_{34} = \frac{24a_{2}mx_{1}^{*}y^{*}( - 1 + m(x_{1}^{*})^{2})}{(1 + m(x_{1}^{*})^{2})^{4}}. \end{gathered} $$

Hence, by the Riesz representation theorem, there exists a $3 \times 3$ matrix function $\eta (\theta,\mu )$ of bounded variation for $\theta \in [ - 1,0]$ such that

$$ L_{\mu} \phi = \int_{ - 1}^{0} d\eta (\theta,\mu ) \phi (\theta ) \quad \mbox{for } \phi \in C. $$

(3.4)

In fact, we can choose

$$ \eta (\theta,\mu ) = \textstyle\begin{cases} (\tau '_{10} + \mu )(\tilde{A} + \tilde{B} + \tilde{C}), &\theta = 0, \\ (\tau '_{10} + \mu )(\tilde{B} + \tilde{C}),& \theta \in [ - \frac{\tau '_{2}}{\tau_{10}},0), \\ (\tau_{1_{0}} + \mu )\tilde{C},& \theta \in ( - 1, - \frac{\tau '_{2}}{\tau_{10}}), \\ 0, &\theta = - 1. \end{cases} $$

(3.5)

For $\phi \in C([ - 1,0],R^{3})$, define

$$ A(\mu )\phi = \textstyle\begin{cases} \frac{d\phi (\theta )}{d\theta}, &- 1 \le \theta < 0, \\ \int_{ - 1}^{0} d\eta (\theta,\mu )\phi (\theta ), &\theta = 0. \end{cases} $$

(3.6)

and

$$ R_{\mu} (\phi ) = \textstyle\begin{cases} 0, &- 1 \le \theta < 0, \\ F(\mu, \phi ),& \theta = 0. \end{cases} $$

(3.7)

Then Eq. (3.1) can be transformed into the following operator equation:

$$ u'_{t} = A(\mu )u_{t} + R(\mu )u_{t}. $$

(3.8)

For $\varphi \in C'([ - 1,0],(R^{3})^{ *} )$, where $(R^{3})^{ *}$ is the three-dimensional space of row vectors, we further define the adjoint operator $A^{ *}$ of $A(0)$:

$$ A^{ *} \varphi (s) = \textstyle\begin{cases} - \frac{d\varphi (s)}{ds},& s \in (0,1], \\ \int_{ - 1}^{0} d\eta^{T}(t,0)\varphi ( - t),& s = 0. \end{cases} $$

(3.9)

For $\phi \in C([ - 1,0],R^{3})$ and $\varphi \in C'([ - 1,0],(R^{3})^{ *} )$, define the bilinear form

$$ \bigl\langle \varphi (s),\phi (s) \bigr\rangle = \bar{\varphi } (0)\phi (0) - \int_{ - 1}^{0} \int_{\xi = 0}^{\theta} \bar{\varphi } (\xi - \theta )\,d\eta ( \theta ) \phi (\xi )\,d\xi, $$

(3.10)

where $\eta (\theta ) = \eta (\theta,0)$, $A = A(0)$ and $A^{ *}$ are adjoint operators. From Sect. 2, we know that $\pm i\omega '_{10}\tau '_{10}$ are eigenvalues of $A(0)$. Thus they are also the eigenvalues of $A^{ *}$.

Suppose that $q(\theta ) = (1,q_{2},q_{3})^{T}e^{i\omega '_{10}\tau '_{10}\theta}$ is the eigenvector of $A(0)$ corresponding to $i\omega '_{10}\tau '_{10}$ and $q^{*}(s) = 1/\rho (1,q_{2}^{*},q_{3}^{*})e^{i\omega '_{10}\tau '_{10}s}$ is the eigenvector of $A^{ *}$ corresponding to $- i\omega '_{10}\tau '_{10}$. By the direct calculation, we obtain

$$ \begin{gathered} q_{2} = \frac{a_{21}}{i\omega '_{10} - a_{22}},\qquad q_{3} = \frac{b_{31}e^{ - i\omega '_{10}\tau '_{2}}}{i\omega '_{10} - a_{33} - b_{33}e^{ - i\omega '_{10}\tau '_{2}}}, \\ q_{2}^{*} = - \frac{a_{12}}{i\omega '_{10} + a_{22}},\qquad q_{3}^{*} = - \frac{a_{13}}{i\omega '_{10} + a_{33} + b_{33}e^{ - i\omega '_{10}\tau '_{2}}}. \end{gathered} $$

(3.11)

Then, from Eq. (3.10), we get

$$ \begin{aligned}[b] \bigl\langle q^{*}(s),q(\theta ) \bigr\rangle &= \bar{q}^{*}(0)q(0) - \int_{ - 1}^{0} \int_{\xi = 0}^{\theta} \bar{q}^{*}(\xi - \theta )\,d \eta (\theta ) q(\xi )\,d\xi \\ &= \frac{1}{\bar{\rho}} \biggl[1 + q_{2}\bar{q}_{2}^{*} + q_{3}\bar{q}_{3}^{*} - \int_{ - 1}^{0} \bigl(1,\bar{q}_{2}^{*}, \bar{q}_{3}^{*}\bigr) \theta e^{i\omega '_{10}\tau '_{10}\theta} \,d\eta (\theta ) (1,q_{2},q_{3})^{T}\biggr] \\ &= \frac{1}{\bar{\rho}} \bigl[1 + q_{2}\bar{q}_{2}^{*} + q_{3}\bar{q}_{3}^{*} + b_{11}\tau '_{10}e^{ - i\omega '_{10}\tau '_{10}} + \tau '_{2}e^{ - i\omega '_{10}\tau '_{2}} \bar{q}_{3}^{*}(b_{31} + b_{33}q_{3}) \bigr]. \end{aligned} $$

(3.12)

Therefore, we can choose

$$ \bar{\rho} = 1 + q_{2}\bar{q}_{2}^{*} + q_{3}\bar{q}_{3}^{*} + b_{11}\tau '_{10}e^{ - i\omega '_{10}\tau '_{10}} + \tau '_{2}e^{ - i\omega '_{10}\tau '_{2}} \bar{q}_{3}^{*}(b_{31} + b_{33}q_{3}) $$

(3.13)

such that $\langle q^{ *} (s),q(\theta ) \rangle = 1$, $\langle q^{ *} (s),\bar{q}(\theta ) \rangle = 0$.

In the remainder of this section, by using the algorithms in [18] and using a similar calculation process to that in [10], we obtain the coefficients used in determining the direction of Hopf bifurcation and the stability of the bifurcation periodic solutions:

$$ \begin{gathered} g_{20} = \frac{2\tau '_{10}}{\bar{\rho}} \bigl[k_{11} + k_{12}e^{ - i\omega '_{10}\tau '_{10}} + k_{13}q_{3} + \bar{q}_{3}^{*}\bigl(k_{31}e^{ - 2i\omega '_{10}\tau '_{2}} + k_{32}q_{3}e^{ - 2i\omega '_{10}\tau '_{2}}\bigr)\bigr], \\ g_{11} = \frac{\tau '_{10}}{\bar{\rho}} \bigl[2k_{11} + k_{12} \bigl(e^{ - i\omega '_{10}\tau '_{10}} + e^{i\omega '_{10}\tau '_{10}}\bigr) + k_{13}(q_{3} + \bar{q}_{3}) + \bar{q}_{3}^{*}(2k_{31} + k_{32}(q_{3} + \bar{q}_{3})\bigr], \\ g_{02} = \frac{2\tau '_{10}}{\bar{\rho}} \bigl[k_{11} + k_{12}e^{i\omega '_{10}\tau '_{10}} + k_{13}\bar{q}_{3} + \bar{q}_{3}^{*}\bigl(k_{31}e^{2i\omega '_{10}\tau '_{2}} + k_{32}\bar{q}_{3}e^{2i\omega '_{10}\tau '_{2}}\bigr)\bigr], \\ g_{21} = \frac{2\tau '_{10}}{\bar{\rho}} \biggl[k_{11}\bigl(W_{20}^{(1)}(0) + 2W_{11}^{(1)}(0) \bigr) + k_{12}\biggl(W_{11}^{(1)}( - 1) + \frac{1}{2}W_{20}^{(1)}( - 1) \\ \hphantom{g_{21} = } {}+\frac{1}{2}W_{20}^{(1)}(0)e^{i\omega '_{10}\tau '_{10}} + W_{11}^{(1)}(0)e^{ - i\omega '_{10}\tau '_{10}}\biggr)\\ \quad {} + k_{13} \biggl(W_{11}^{(3)}(0) + \frac{1}{2}W_{20}^{(3)}(0) + \frac{1}{2}W_{20}^{(1)}(0)\bar{q}_{3}+W_{11}^{(1)}(0)q_{3}\biggr) + k_{14}(2q_{3} + \bar{q}_{3}) \\ \hphantom{g_{21} = } {} + \bar{q}_{3}^{*}\biggl[k_{31}\biggl(2W_{11}^{(1)} \biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)e^{- i\omega '_{10}\tau '_{2}} + W_{20}^{(1)} \biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)\bar{q}_{3}e^{i\omega '_{10}\tau '_{2}}\biggr) \\ \hphantom{g_{21} = } {}+ k_{32}\biggl( W_{11}^{(3)}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)e^{ - i\omega '_{10}\tau '_{2}} + \frac{1}{2}W_{20}^{(3)} \biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)e^{i\omega '_{10}\tau '_{2}}\\ \hphantom{g_{21} = } {}+ \frac{1}{2} \bar{q}_{3}W_{20}^{(1)}\biggl(- \frac{\tau '_{2}}{\tau '_{10}} \biggr)e^{i\omega '_{10}\tau '_{2}}+q_{3}W_{11}^{(1)}\biggl( - \frac{\tau '_{2}}{\tau '_{10}}\biggr)e^{ - i\omega '_{10}\tau '_{2}}\biggr) \\ \hphantom{g_{21} = } {} + k_{33} \bigl(2q_{3}e^{ - i\omega '_{10}\tau '_{2}} + \bar{q}_{3}e^{ - i\omega '_{10}\tau_{2}} \bigr) + k_{34}\bigl(3e^{ - i\omega '_{10}\tau '_{2}}\bigr)\biggr]\biggr]. \end{gathered} $$

(3.14)

However,

$$ \begin{gathered} W_{20}(\theta ) = \frac{ig_{20}}{\omega '_{10}\tau '_{10}}q(0)e^{i\omega '_{10}\tau '_{10}\theta} + \frac{i\bar{g}_{02}}{3\omega '_{10}\tau '_{10}}\bar{q}(0)e^{ - i\omega '_{10}\tau '_{10}\theta} + E_{1}e^{2i\omega '_{10}\tau '_{10}\theta}, \\ W_{11}(\theta ) = - \frac{ig_{11}}{\omega '_{10}\tau '_{10}}q(0)e^{i\omega '_{10}\tau '_{10}\theta} + \frac{i\bar{g}_{11}}{\omega '_{10}\tau '_{10}}\bar{q}(0)e^{ - i\omega '_{10}\tau '_{10}\theta} + E_{2}, \end{gathered} $$

(3.15)

where $E_{1} = (E_{1}^{(1)},E_{1}^{(2)},E_{1}^{(3)})^{T} \in R^{3}$ and $E_{2} = (E_{2}^{(1)},E_{2}^{(2)},E_{2}^{(3)})^{T} \in R^{3}$ are also constant vectors and can be determined by the following equations, respectively:

$$ \begin{gathered} \left ( \begin{matrix} 2i\omega '_{10} - a_{11} - b_{11}e^{ - 2i\omega '_{10}\tau '_{10}} & - a_{12} & - a_{13} \\ 0 & 2i\omega '_{10} - a_{22} & 0 \\ - b_{31}e^{ - 2i\omega '_{10}\tau '_{2}} & 0 & 2i\omega '_{10} - a_{33} - b_{33}e^{ - 2i\omega '_{10}\tau '_{2}} \end{matrix} \right )E_{1} \\ \quad = 2\left ( \begin{matrix} H_{1} \\ H_{2} \\ H_{3} \end{matrix} \right ), \\ \left ( \begin{matrix} - a_{11} - b_{11} & - a_{12} & - a_{13} \\ 0 & - a_{22} & 0 \\ - b_{31} & 0 & - a_{33} - b_{33} \end{matrix} \right )E_{2} = \left ( \begin{matrix} P_{1} \\ P_{2} \\ P_{3} \end{matrix} \right ), \end{gathered} $$

(3.16)

with

$$\begin{gathered} H_{1} = k_{11} + k_{12}e^{ - i\omega '_{10}\tau '_{10}} + k_{13}q_{3}, \\ H_{2} = 0, \\ H_{3} = k_{31}e^{ - 2i\omega '_{10}\tau '_{2}} + k_{32}q_{3}e^{ - 2i\omega '_{10}\tau '_{2}}, \\ P_{1} = 2k_{11} + k_{12}\bigl(e^{ - i\omega '_{10}\tau '_{10}} + e^{i\omega '_{10}\tau '_{10}}\bigr) + k_{13}(q_{3} + \bar{q}_{3}), \\ P_{2} = 0, \\ P_{3} = 2k_{31} + k_{32}(q_{3} + \bar{q}_{3}). \end{gathered} $$

Therefore, we can calculate $g_{21}$ and compute the following values:

$$ \begin{gathered} c_{1}(0) = \frac{i}{2\omega '_{10}\tau '_{10}}\biggl(g_{20}g_{11} - 2 \vert g_{11} \vert ^{2} - \frac{ \vert g_{02} \vert ^{2}}{3}\biggr) + \frac{g_{21}}{2}, \\ \mu_{2} = - \frac{\operatorname{Re} \{ c_{1}(0)\}}{\operatorname{Re} \{\lambda '(\tau '_{10})\}}, \\ \beta_{2} = 2\operatorname{Re} \bigl(c_{1}(0)\bigr), \\ T_{2} = - \frac{\operatorname{Im} \{ c_{1}(0)\} + \mu_{2}\operatorname{Im} \{ \lambda '(\tau_{10})\}}{\omega '_{10}\tau '_{10}}, \end{gathered} $$

(3.17)

which determine the properties of bifurcating periodic solutions at $\tau = \tau '_{10}$ on the center manifold. From the discussion above, we have the following result.

Theorem 3.1

For system (1.2), the direction of Hopf bifurcation is determined by the sign of $\mu_{2}$: if $\mu_{2} > 0$ ($\mu_{2} < 0$), then the Hopf bifurcation is supercritical (subcritical). The stability of the bifurcating periodic solutions is determined by the sign of $\beta_{2}$: if $\beta_{2} < 0$ ($\beta_{2} > 0$), the bifurcating periodic solutions are stable (unstable). The period of the bifurcating periodic solutions is determined by the sign of $T_{2}$: if $T_{2} > 0$ ($T_{2} < 0$), the bifurcating periodic solutions increase (decrease).

4 Numerical examples

In this section, we give some numerical simulations by using matlab to illustrate the analytical results in the previous section.

Let $a = 8$, $b = 1$, $c = 1$, $a_{1} = 3$, $r_{1} = 0.5$, $a_{2} = 2$, $r_{2} = r = 1$, $m = 1$. Then we have the following particular example of system (1.2):

$$ \begin{gathered} \dot{x}_{1}(t) = 8x_{2}(t) - 0.5x_{1}(t) - x_{1}(t) - x_{1}(t)x_{1}(t - \tau_{1}) - \frac{3x_{1}^{2}(t)y(t)}{1 + x_{1}^{2}(t)}, \\ \dot{x}_{2}(t) = x_{1}(t) - x_{2}(t), \\ \dot{y}(t) = \frac{2x_{1}^{2}(t - \tau_{2})y(t - \tau_{2})}{1 + x_{1}^{2}(t - \tau_{2})} - y(t). \end{gathered} $$

(4.1)

It is not difficult to verify that condition (H1) holds, we obtain the positive equilibrium $E^{*}(1, 1, \frac{11}{3})$.

For $\tau_{1} = 0$, $\tau_{2} > 0$, we obtain $w_{20} \approx 0.4609$, $\tau_{20} \approx 1.9387$. From Theorem 2.1, we know that the positive equilibrium $E^{*}$ is asymptotically stable when $\tau_{2} \in [0,\tau_{20})$, when the time delay $\tau_{2}$ passes through the critical value $\tau_{20}$, the interior equilibrium $E^{*}$ will lose its stability and a Hopf bifurcation occurs, and a family of periodic solutions bifurcate from the interior equilibrium $E^{*}$. The corresponding waveform and the phase plots are depicted in Fig. 1 and Fig. 2.

Figure 1

When $\tau_{1} = 0$, $E^{*}$ is asymptotically stable for $\tau_{2} = 1.46 < \tau_{20} = 1.9387$

Figure 2

When $\tau_{1} = 0$, $E^{*}$ undergoes a Hopf bifurcation for $\tau_{2} = 1.98 > \tau_{20} = 1.9387$

For $\tau_{1} = \tau_{2} = \tau$, we get $\omega_{0} = 0.5385$, $\tau_{0} = 1.7889$. By Theorem 2.2, we know that, when τ increases from zero to the critical value $\tau_{0}$, the equilibrium point $E^{*}$ is asymptotically stable. Once the time delay τ passes through the critical value $\tau_{0}$, the positive equilibrium $E^{*}$ will lose its stability and a Hopf bifurcation occurs, which can be depicted in Fig. 3 and Fig. 4.

Figure 3

When $\tau_{1} = \tau_{2} = \tau$, $E^{*}$ is asymptotically stable for $\tau = 1.1 < \tau_{0} = 1.7889$

Figure 4

When $\tau_{1} = \tau_{2} = \tau$, $E^{*}$ undergoes a Hopf bifurcation for $\tau = 1.8 > \tau_{0} = 1.7889$

For $\tau_{1} > 0$, $\tau '_{2} = 1.5 \in [0,\tau_{20})$, we have $\omega '_{10} = 0.5974$, $\tau '_{10} = 2.3522$. According to Theorem 2.3, $E^{*}$ is asymptotically stable when $\tau_{1} \in [0,\tau '_{10})$ and unstable when $\tau_{1} > \tau '_{10}$. After the computation of Eq. (3.17), we obtain $c_{1}(0) = - 22.3543 + 6.0903i$, $\mu_{2} = 444.4195$, $\beta_{2} = - 44.7086$, $T_{2} = - 11.6715$. From Theorem 3.1, the Hopf bifurcation is supercritical, the bifurcating periodic solutions are stable, which is shown in Fig. 5 and Fig. 6.

Figure 5

$E^{*}$ is asymptotically stable for $\tau_{1} = 1.4 < \tau '_{10} = 2.3522$ and $\tau '_{2} = 1.5$

Figure 6

$E^{*}$ undergoes a Hopf bifurcation for $\tau_{1} = 2.4 > \tau '_{10} = 2.3522$ and $\tau '_{2} = 1.5$

Numerical simulations illustrate our theoretical analysis. Owing to the bifurcation periodic solutions being stable, the species in system (1.2) can coexist in an oscillatory mode from the viewpoint of biology.

5 Conclusions

In this paper, we have studied the problem of Hopf bifurcation analysis in a delayed predator–prey model with stage structure for the prey. By setting the same group of parameter values, according to the existing two time delays and discussing four different cases, we know that the interior equilibrium will lose its original stability and a Hopf bifurcation occurs, and a family of periodic solutions bifurcate $E^{*}$ when the time delay passes though some critical values. By using the normal form theory and center manifold theorem, the explicit formulas which determine the direction of Hopf bifurcation and the stability of the bifurcating periodic solution are derived. The numerical results that the Hopf bifurcation is supercritical and the bifurcation periodic solutions are stable are in excellent agreement with theoretical analysis, that is, the number of predators and prey implies stability and coexistence. Therefore, the research about this kind of model has certain ecological significance and provides a powerful theoretical basis for the sustainable survival of natural populations.

In addition, stage structure for the prey is investigated in this paper due to the predator feeding only on the immature prey. If we were concerned with the combined effects of stage structure for both the predator and the prey, what will the dynamical behavior of the system be? This issue is left as our future research.