1 Introduction

Predator–prey interactions are ubiquitous in the biological world, and they are one of the most important topics in ecology and continue to be of widespread interest today. Most existing studies on predator–prey models are focused on interacting species without age structure (see [14]). However, as the importance of age structure in populations has become more widely recognized, there is a rapidly growing literature dealing with various aspects of interacting populations with age structure [519].

In the above age-structured predator–prey population models, age structure is introduced into interactions of multi-species, and population models can quickly become remarkably complex [7, 13]. Hence, it is understandable that many studies in the dynamics of age-structured predator–prey populations assumed that age structure was only employed in one species, either in predators or prey [5, 1316, 20]. When considering the age structure among the prey population, we can assume that predation is dependent on the age of the prey. This allows us to include age-specific predation into the model and to reflect on different possible settings from biology. In [13], a general framework for age-structured predator–prey systems is introduced. However, Mohr et al. [13] assumed that only adult prey is involved in predation. In [11], Li et al. argued that the prey population should have an age structure and they assumed that the functional response is of predator-dependent type.

In this paper, we follow [8, 11, 13, 19, 21, 22] and propose a new predator–prey model with age-structured prey population. We assume that the predator hunts both the immature prey and the adult prey, and that the functional response of predators to prey is of Holling type II. Our primary aim of this paper is to obtain sharp criteria of the global threshold dynamics for the system.

The paper is organized as follows. In Sect. 2, we consider age-structured prey populations, define a threshold age, age-at-maturity, distinguish immature from adult individuals, and some assumption is introduced. In Sect. 3, we investigate the existence and stability of equilibria, and we find persistence. In the following section, we perform numerical simulations to verify our analytical results. At the end of the paper, we give a summary of the results.

2 The model

Throughout this paper, the indices 1 and 2 indicate variables and parameters related to larval and adult individuals, respectively.

  • Let \(P(t)\) denote the total number of the predator at time t. Assume that the predator population is governed by the Lotka–Volterra equation. \(c(a)\) is the conversion efficiency of ingested prey into new predator individuals, and \(m(a)>0\) is the per capita capture rate of prey by a searching predator, \(h(a)>0\) is the handling (digestion) time per unit biomass consumed. In the absence of prey, the predator population, \(P(t)\), decreases exponentially with rate \(\mu_{P}>0\).

  • Let \(u(t,a)\) denote the prey population density of individuals of age a at time t. Biological interpretation suggests that \(\lim_{a\rightarrow+\infty}u(t,a)=0\), and we introduce a threshold age, \(\tau>0\), to distinguish immature individuals \((a<\tau)\) from adult ones \((a\geq\tau)\). Thus, we distinguish immature prey, \(u(t,a)=u_{1}{(t,a)}\), \(a\in[0,\tau)\), from adult prey, \(u(t,a)=u_{2}{(t,a)}\), \(a\in[\tau,+\infty)\). The transition from the immature class to the adult one occurs at age \(\tau>0\), the age-at-maturity of the prey. The total number of prey, \(U(t)\), is given by

    $$U(t)= \int^{+\infty}_{0}u(t,a)\,da= \int^{\tau}_{0}u_{1}(t,a)\,da+ \int ^{+\infty}_{\tau} u_{2}(t,a) \,da=U_{1}(t)+U_{2}(t). $$

    \(\mu:[0,+\infty)\rightarrow[0,+\infty)\) and \(\beta:[0,+\infty )\rightarrow[0,+\infty)\) denote the age-dependent mortality and fertility rate of the prey, respectively. Here \(\beta(\cdot)\in L^{\infty}_{+}((0,+\infty),\mathbb{R})\) clearly describes the effects of the age on the fertility.

Taking all the above into account, we have to study the following model:

$$ \textstyle\begin{cases} \frac{\partial u(t,a)}{\partial a}+\frac{\partial u(t,a)}{\partial t}=-\mu(a)u(t,a)-\frac {m(a)u(t,a)}{1+h(a)m(a)U(t)}P(t),\\ \frac{dP(t)}{dt}= \int^{\infty}_{0}\frac {c(a)m(a)u(t,a)}{1+h(a)m(a)U(t)}P(t)\,da-\mu_{P}P(t),\\ u(0,\cdot)=u_{0}\in L^{1}((0,+\infty),\mathbb{R}), \qquad P(0)=P_{0},\\ u(t,0)=f(U(t)){\int^{+\infty}_{0}}\beta(a)u(t,a)\,da,\\ u(t,a)\rightarrow0\quad \mbox{when } a\rightarrow+\infty. \end{cases} $$
(2.1)

The number of newborns at time t is \(u(t,0)< B^{+}\) for all \(t\geq0\), \(B^{+}\) is a positive constant independent of age, the continuous function \(u_{0}:[0,+\infty)\rightarrow[0,+\infty)\) provides the initial age distribution. The coefficient \(f(U(t))\) measures the effects of the predation on the fertility of the prey, which is dependent on the total number of the prey, and we assume that the prey eggs will not be consumed by predators (see [11]), [18]):

$$\begin{aligned} \begin{aligned}& f(0)=0,\qquad f\bigl(U(t)\bigr)\geq0, \quad \forall U(t)\geq0; \\ &f'\bigl(U(t)\bigr)> 0, \quad\forall U(t)\geq0,\qquad \lim_{{U(t)\rightarrow+\infty}} f\bigl(U(t)\bigr)=\iota; \\ &\exists {{U^{\ast}_{2}}>0}\quad \mbox{such that } \exp(-\mu_{1} \tau)\beta{f\bigl(U^{\ast}_{2}\bigr)}=\mu_{2}. \end{aligned} \end{aligned}$$
(2.2)

In this paper, we assume that immature individuals are not fertile, so that \(f(U(t))=f(U_{2}(t))\), then \(u(t,0)=f(U_{2}(t))\beta U_{2}(t):=b(U_{2}(t))\), it is clear that \(b(U_{2})\) is increasing, by (2.2), we get \(\exp(-\mu_{1}\tau)b(U^{\ast}_{2})=\mu_{2}{U^{\ast}_{2}}\). Note that (2.2) implies

$$ b'(0)\exp(-\mu_{1}\tau)= \mu_{2}. $$
(2.3)

For the age-structured prey population, we choose \(\beta(a)\), \(m(a)\), \(\mu(a)\), \(c(a)\) and \(h(a)\) in the form that these functions are constant for \(a<\tau\) and for \(a\geq\tau\), respectively. That is,

$$\begin{aligned} &\beta(a)=\textstyle\begin{cases} 0& \text{for } a< \tau,\\ \beta& \text{for } a\geq\tau. \end{cases}\displaystyle \qquad m(a)=\textstyle\begin{cases} m_{1}& \text{for } a< \tau,\\ m_{2}& \text{for } a\geq\tau, \end{cases}\displaystyle \\ &\mu(a)=\textstyle\begin{cases} \mu_{1}& \text{for } a< \tau,\\ \mu_{2}& \text{for } a\geq\tau. \end{cases}\displaystyle \qquad c(a)=\textstyle\begin{cases} c_{1}& \text{for } a< \tau,\\ c_{2}& \text{for } a\geq\tau, \end{cases}\displaystyle \\ &h(a)=\textstyle\begin{cases} h_{1}& \text{for } a< \tau,\\ h_{2}& \text{for } a\geq\tau. \end{cases}\displaystyle \end{aligned}$$

We set up a modified Lotka–Sharpe model (see [23]) for \(u_{1}(t,a), a<\tau\):

$$ \begin{aligned}& \frac{\partial u_{1}(t,a)}{\partial a}+\frac{\partial u_{1}(t,a)}{\partial t}=- \mu_{1}u_{1}(t,a)-\frac {m_{1}u_{1}(t,a)}{1+h_{1}m_{1}U(t)}P(t), \\ &u_{1}(t,0)=f\bigl(U_{2}(t)\bigr) \int^{\infty}_{0}\beta(a)u(t,a)\,da \\ &\phantom{u_{1}(t,0)}=b\bigl(U_{2}(t)\bigr), \\ &u_{1}(0,a)=u^{0}_{1}(a), \end{aligned} $$
(2.4)

with \(u^{0}_{1}(a)\geq0\) for all \(a\in[0,\tau)\). Assuming that no individual dies at the very moment when it becomes adult, \(u_{2}(t,\tau )=u_{1}(t,\tau)\), and that \(\lim_{{a\rightarrow+\infty}}u_{2}(t,a)=0\), we have a similar system for \(u_{2}(t,a)\) with initial age distribution \(u^{0}_{2}(a)\geq0\) for all \(a>\tau\).

The total number of immature individuals satisfies

$$\begin{aligned} {U'_{1}(t)}&=\int^{\tau}_{0}\frac{\partial u_{1}(t,a)}{\partial t}\,da \\ &=-\int^{\tau}_{0} \biggl[\frac{\partial u_{1}(t,a)}{\partial a}+ \mu_{1}u_{1}(t,a)+\frac{m_{1}u_{1}(t,a)}{1+h_{1}m_{1}U(t)}P(t) \biggr]\,da \\ &=u_{1}(t,0)-u_{1}(t,\tau)-\mu_{1}U_{1}(t)- \frac {m_{1}U_{1}(t)}{1+h_{1}m_{1}U(t)}P(t) \end{aligned}$$

and for the adult population we have

$$\begin{aligned} {U'_{2}(t)}&={{ \int^{+\infty}_{\tau}}\frac{\partial u_{2}(t,a)}{\partial t}\,da } \\ &=-{ \int^{+\infty}_{\tau}} \biggl[\frac{\partial u_{2}(t,a)}{\partial a}+ \mu_{2}u_{2}(t,a)+\frac {m_{2}u_{2}(t,a)}{1+h_{2}m_{2}U(t)}P(t) \biggr]\,da \\ &=u_{2}(t,\tau)-\mu_{2}U_{2}(t)-\frac {m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t) \\ &=u_{1}(t,\tau)-\mu_{2}U_{2}(t)-\frac {m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t). \end{aligned}$$
(2.5)

With the method of characteristics (see [24]) one finds the explicit solution of (2.4),

$$ u_{1}(t,a)=\textstyle\begin{cases} u^{0}_{1}(a-t)e^{-\int^{t}_{0}(\mu_{1}+\frac {m_{1}P(s)}{1+h_{1}m_{1}U(s)})\,ds}, & a>t,\\ b(U_{2}(t-a))e^{-\int^{a}_{0}(\mu_{1}+\frac {m_{1}P(t-a+s)}{1+h_{1}m_{1}U(t-a+s)})\,ds},& a\leq t. \end{cases} $$
(2.6)

When \(t<\tau\), we get

$$u_{1}(t,\tau)=u^{0}_{1}(\tau-t)e^{-\mu_{1}t-\int^{t}_{0}\frac {m_{1}P(s)}{1+h_{1}m_{1}U(s)}\,ds}, $$

and for \(t\geq\tau\),

$$u_{1}(t,\tau)=b\bigl(U_{2}(t-\tau) \bigr)e^{-\mu_{1}\tau-\int^{\tau}_{0}\frac {m_{1}P(t-\tau+s)}{1+h_{1}m_{1}U(t-\tau+s)})\,ds}. $$

From the above derivation, for \(t<\tau\), our age-structured prey models are as follows:

$$ \textstyle\begin{cases} U'_{1}(t)=b(U_{2}(t))-\mu_{1}U_{1}(t)\\ \phantom{U'_{1}(t)=}{} -\frac{m_{1}U_{1}(t)}{1+h_{1}m_{1}U(t)}P(t)-u^{0}_{1}(\tau-t)e^{-\mu _{1}t-\int^{t}_{0}\frac{m_{1}P(s)}{1+h_{1}m_{1}U(s)}\,ds},\\ U'_{2}(t)=u^{0}_{1}(\tau-t)e^{-\mu_{1}t-\int^{t}_{0}\frac {m_{1}P(s)}{1+h_{1}m_{1}U(s)}\,ds}-\mu_{2}U_{2}(t)-\frac {m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t),\\ \frac{dP(t)}{dt}=c_{1}\cdot\frac {m_{1}U_{1}(t)P(t)}{1+h_{1}m_{1}U(t)}+c_{2}\cdot\frac {m_{2}U_{2}(t)P(t)}{1+h_{2}m_{2}U(t)}-\mu_{P}P(t). \end{cases} $$
(2.7)

For \(t\geq\tau\) we have

$$ \textstyle\begin{cases} U'_{1}(t)=b(U_{2}(t))-\mu_{1}U_{1}(t)-\frac{m_{1}U_{1}(t)}{1+h_{1}m_{1}U(t)}P(t)\\ \phantom{U'_{1}(t)=}{} -b(U_{2}(t-\tau))e^{-\mu_{1}\tau-\int^{\tau}_{0}\frac {m_{1}P(t-\tau+s)}{1+h_{1}m_{1}U(t-\tau+s)}\,ds},\\ U'_{2}(t)=b(U_{2}(t-\tau))e^{-\mu_{1}\tau-\int^{\tau}_{0}\frac {m_{1}P(t-\tau+s)}{1+h_{1}m_{1}U(t-\tau+s)}\,ds}\\ \phantom{U'_{2}(t)=}{} -\mu_{2}U_{2}(t)-\frac{m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t),\\ \frac{dP(t)}{dt}=c_{1}\cdot\frac {m_{1}U_{1}(t)}{1+h_{1}m_{1}U(t)}P(t)+c_{2}\cdot\frac {m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t)-\mu_{P}P(t). \end{cases} $$
(2.8)

The meaning of all parameters can be found in Table 1.

Table 1 Variables and parameters used in the model

3 Mathematical analysis

3.1 Positivity and boundedness

From the basic theory of delay differential equations (see, for example, [25]), the system (2.8) with the initial conditions

$$ \varphi(\theta)=\bigl(\varphi_{1}(\theta), \varphi_{2}(\theta),\varphi _{3}(\theta)\bigr),\quad \forall\theta \in[-\tau,0], \varphi_{i}(\theta)\geq 0,\varphi_{i}(0)>0,i=1,2,3, $$
(3.1)

and a unique solution \((U_{1}(t),U_{2}(t),P(t))\) of system (2.8) is defined for all positive time provided that all solutions are bounded.

Throughout this section, we always assume that (2.2) holds.

Proposition 3.1

Suppose that (2.2) holds, then all the solutions of system (2.8) are nonnegative and bounded for all \(t\geq0\) on their respective initial intervals (3.1).

Proof

We suppose that \(u^{0}_{1}(a)\geq0\), \(a\geq0\) is known, we take the solution of (2.7) as history function for (2.8) and we obtain nonnegative solutions if \(u^{0}_{1}(a)\) is not known. Following [13, p. 100], we can obtain positivity of solutions.

It follows from [26, Theorem 5.2.1] that \(U_{2}(t)\geq0\) in its maximal interval of existence. We first show that the variables \(U_{1}(t)\), \(U_{2}(t)\), and \(P(t)\), with nonnegative initial data \(U_{2}(0)>0\), remain nonnegative as long as they exist. In fact, by the second equation of system (2.8), we have

$$ U_{2}(t)=U_{2}(0) \bigl(e^{-\mu_{2}t}+e^{\int^{t}_{0}\frac {m_{2}P(s)}{1+m_{2}h_{2}U(s)}}\bigr)+ \int^{t}_{0}b\bigl(U_{2}(s-\tau)\bigr) \tilde{V}e^{\mu _{2}(s-t)}\,ds, $$
(3.2)

where

$$\exp \biggl[- \int^{s}_{s-\tau} \biggl(\mu_{1}+ \frac{m_{1}P(\eta )}{1+m_{1}h_{1}U(\eta)} \biggr)\,d\eta \biggr]:=\tilde{V}. $$

Thus, \(U_{2}(t)>0\) for all \(t\geq0\) holds, if it is not true, then there exists \(\widetilde{t_{0}}>0\) such that \(U_{2}(\widetilde{t_{0}})=0\), let \(t_{0}=\min\{\widetilde{t_{0}}:U_{2}(\widetilde{t_{0}})=0\}\), so that \(U_{2}(t_{0})=0\) and \(U_{2}(t)>0\) for all \(t\in[0,t_{0})\). On incorporation of the initial conditions, when \(s<\tau\) for \(s\in[0,t_{0}]\), we obtain

$$U_{2}(0) \bigl(e^{-\mu_{2}t_{0}}+e^{\int^{t_{0}}_{0}\frac {m_{2}P(s)}{1+m_{2}h_{2}U(s)}}\bigr)+ \int^{t}_{0}b\bigl(U_{2}(s-\tau)\bigr) \tilde{V}e^{\mu _{2}(s-t_{0})}\,ds>0, $$

next if \(s>\tau\) for \(s\in[0,t_{0}]\), then, by assuming that \(U_{2}(t)>0\) for all \(t\in[0,t_{0})\), we get

$$U_{2}(0) \bigl(e^{-\mu_{2}t_{0}}+e^{\int^{t_{0}}_{0}\frac {m_{2}P(s)}{1+m_{2}h_{2}U(s)}}\bigr)+ \int^{t}_{0}b\bigl(U_{2}(s-\tau)\bigr) \tilde{V}e^{\mu _{2}(s-t_{0})}\,ds>0, $$

so that

$$U_{2}(0) \bigl(e^{-\mu_{2}t_{0}}+e^{\int^{t_{0}}_{0}\frac {m_{2}P(s)}{1+m_{2}h_{2}U(s)}}\bigr)+ \int^{t}_{0}b\bigl(U_{2}(s-\tau)\bigr) \tilde{V}e^{\mu _{2}(s-t_{0})}\,ds>0. $$

By (3.2), this is a contradiction. Consequently, \(U_{2}(t)>0\) for \(t\geq0\) holds.

The first equation of system (2.8) can be cast into an integral equation form, by differentiation, so that

$$U_{1}(t)= \int^{t}_{t-\tau} b\bigl(U_{2}(\xi)\bigr)\exp \biggl( \int^{t}_{\xi}\biggl(-\mu_{1}- \frac {m_{1}P(\eta)}{1+m_{1}h_{1}U(\eta)}\biggr)\,d\eta\biggr)\,d\xi, $$

by (2.2) and \(U_{2}(t)>0\) for all \(t\geq0\), we have \(U_{1}(t)>0\) for all \(t\geq0\). Next, by the third equation of system (2.8),

$$P(t)=P(0)e^{\int^{t}_{0}(c_{1}\cdot\frac{m_{1}U_{1}(s)}{1+m_{1}h_{1}U(s)}+c_{2}\cdot \frac{m_{2}U_{2}(s)}{1+m_{2}h_{2}U(s)}-\mu_{P})\,ds}, $$

by (3.1), \(U_{1}(t)>0\), \(U_{2}(t)>0\) for all \(t\geq0\), thus \(P(t)>0\) for all \(t\geq0\).

Next, we show that solutions remain bounded. Let

$$V(t)= c_{0}U_{1}(t)+c_{0}U_{2}(t)+P(t), $$

where \(c_{0}=\max\{c_{1},c_{2}\}\), calculating the derivative of \(V(t)\) along trajectories of system (2.8), we obtain

$$\begin{aligned} V'(t)={}& c_{0}b \bigl(U_{2}(t)\bigr)-c_{0}\mu_{2}U_{2}(t)-c_{0} \mu_{1}U_{1}(t)-\mu_{P}P(t) \\ &{}-c_{0}\cdot\frac{m_{2}U_{2}(t)P(t)}{1+m_{2}h_{2}U(t)}-c_{0}\cdot\frac {m_{1}U_{1}(t)P(t)}{1+m_{1}h_{1}U(t)} \\ &{}+c_{1}\cdot\frac{m_{1}U_{1}(t)P(t)}{1+m_{1}h_{1}U(t)}+c_{2}\cdot\frac {m_{2}U_{2}(t)P(t)}{1+m_{2}h_{2}U(t)} \\ \leq{}& c_{0}b\bigl(U_{2}(t)\bigr)-c_{0} \mu_{2}U_{2}(t)-c_{0}\mu_{1}U_{1}(t)- \mu_{P}P(t) \\ &{}-c_{0}\cdot\frac{m_{2}U_{2}(t)P(t)}{1+m_{2}h_{2}U(t)}-c_{0}\cdot\frac {m_{1}U_{1}(t)P(t)}{1+m_{1}h_{1}U(t)} \\ &{}+c_{0}\cdot\frac{m_{1}U_{1}(t)P(t)}{1+m_{1}h_{1}U(t)}+c_{0}\cdot\frac {m_{2}U_{2}(t)P(t)}{1+m_{2}h_{2}U(t)} \\ \leq{}& c_{0}B^{+}-c_{0}\mu_{1}U_{1}(t)-c_{0} \mu_{2}U_{2}(t)-\mu_{P}P(t), \end{aligned}$$
(3.3)

for positive constant σ \((\sigma=\min\{\mu_{1},\mu_{2},\mu _{P}\})\), it follows from (3.3) that

$$ V'(t)+\sigma V(t)\leq c_{0}B^{+}, $$
(3.4)

and this yields

$$\limsup_{t\rightarrow{{+\infty}}}V(t)< \frac{ c_{0}B^{+}}{\sigma}, $$

where \(u(t,0)< B^{+}\) for all \(t\geq0\), \(B^{+}\) is a positive constant independent of age, apparently, \(u(t,0)=b(U_{2}(t))< B^{+}\) for all \(t\geq 0\). Then \(U_{1}(t)\), \(U_{2}(t)\), \(P(t)\) are bounded. Consequently, the solution \((U_{1}(t),U_{2}(t),P(t))\) of system (2.8) with initial condition (3.1) exists for all \(t\geq0\). □

3.2 Existence of the boundary equilibria

The equilibrium \((\overline{U_{1}},\overline{U_{2}},{\overline{P}})\) of system (2.8) satisfies the following system:

$$ \textstyle\begin{cases} b(\overline{U_{2}})-\mu_{1}\overline{U_{1}}-\frac{m_{1}\overline {U_{1}}}{1+m_{1}h_{1}\overline{U}}\overline{P}-b(\overline{U_{2}})e^{-\mu _{1}\tau-\int^{\tau}_{0}\frac{m_{1}\overline{P}}{1+m_{1}h_{1}\overline {U}}\,ds}=0,\\ b(\overline{U_{2}})e^{-\mu_{1}\tau-\int^{\tau}_{0}\frac{m_{1}\overline {P}}{1+m_{1}h_{1}\overline{U}}\,ds}-\mu_{2}\overline{U_{2}}-\frac {m_{2}\overline{U_{2}}}{1+m_{2}h_{2}\overline{U}}\overline{P}=0,\\ c_{1}\cdot\frac{m_{1}\overline{U_{1}}}{1+m_{1}h_{1}\overline{U}}\overline {P}+c_{2}\cdot\frac{m_{2}\overline{U_{2}}}{1+m_{2}h_{2}\overline{U}}\overline {P}-\mu_{P}\overline{P}=0. \end{cases} $$
(3.5)

It is easy to see that the equilibrium point \(E_{0}=(0,0,0)\) always exists for all parameter values. If (2.2) holds, there is an equilibrium with \(P=0\); in the predator-free equilibrium, the \({U_{1}}\) and \({U_{2}}\) components are \({U^{\ast}_{1}}\) and \({U^{\ast}_{2}}\) with \({U^{\ast}_{2}}>0\) from (2.2), which satisfy

$$ \exp(-\mu_{1}\tau)b\bigl({{U^{\ast}_{2}}} \bigr)=\mu_{2}{{U^{\ast}_{2}}},\qquad {{U^{\ast}_{1}}}= \frac{b({{U^{\ast}_{2}}})(1-\exp(-\mu_{1}\tau))}{\mu _{1}}. $$
(3.6)

3.3 Persistence and stability analysis

In this section, we study the global stability of the predator-free equilibrium \(E_{1}\) of (2.8). Our principal result in this section can be stated as follows.

Theorem 3.1

Let \(\Re_{P}:= \frac{1}{\mu_{P}} \{\frac {c_{1}m_{1}{{U^{\ast}_{1}}}(t)}{1+h_{1}m_{1}U^{\ast}(t)}+\frac{c_{2}m_{2}{{U^{\ast}_{2}}}(t)}{1+h_{2}m_{2}U^{\ast}(t)} \}\), where \(U^{\ast}(t)={{U^{\ast}_{1}}(t)+{U^{\ast}_{2}}(t)}\). The predator-free equilibrium \(E_{1}\) of (2.8) is globally asymptotically stable if \(\Re_{P}<1\).

Proof

We use the variant of system that involves the first and second equations of system (2.8). From the second equation of system (2.8), and using positivity of solutions,

$$ \frac{dU_{2}(t)}{dt}\leq-\mu_{2}U_{2}(t)+ \exp(-\mu_{1}\tau )b\bigl(U_{2}(t-\tau)\bigr). $$
(3.7)

Since \(b(\cdot)\) is increasing, we may use a comparison argument (for example see [26]) to conclude that \(U_{2}(t)\) is bounded by the solution of the corresponding differential equation obtained from (3.7) by changing ≤ to =. Since \(b(\cdot)\) is increasing, positive solutions of that differential equation approach \({{U^{\ast}_{2}}}\) (see [27]). Therefore,

$$\limsup_{t\rightarrow\infty}U_{2}(t)\leq{{U^{\ast}_{2}}} $$

and, from the first equation of system (2.8), we have

$$\limsup_{t\rightarrow\infty}U_{1}(t)\leq \frac {b({{U^{\ast}_{2}}})(1-\exp\{-\mu_{1}\tau\})}{\mu_{1}}={U^{\ast}_{1}}. $$

Since \(\Re_{P}<1\) holds, there exists a positive small constant ϵ such that

$$ \mu_{P}> \biggl\{ \frac{c_{1}m_{1}({{U^{\ast}_{1}}}+\epsilon )}{1+h_{1}m_{1}(U^{\ast}+\epsilon)}+ \frac{c_{2}m_{2}({{U^{\ast}_{2}}}+\epsilon )}{1+h_{2}m_{2}(U^{\ast}+\epsilon)} \biggr\} . $$
(3.8)

With this ϵ, ∃ T, such that \(U_{1}(t)\leq{{U^{\ast}_{1}}}+\epsilon\) for \(t>T\). From the third equation of system (2.8) and for t sufficiently large we obtain

$$ \frac{dP(t)}{dt}\leq\frac{c_{1}m_{1}({{U^{\ast}_{1}}}+\epsilon)P(t)}{1+h_{1}m_{1}(U^{\ast}+\epsilon)}+ \frac {c_{2}m_{2}({{U^{\ast}_{2}}}+\epsilon)P(t)}{1+h_{2}m_{2}(U^{\ast}+\epsilon )}-\mu_{P}P(t). $$
(3.9)

We introduce the following auxiliary equation:

$$ \frac{dV(t)}{dt}=\frac{c_{1}m_{1}({{U^{\ast}_{1}}}+\epsilon )V(t)}{1+h_{1}m_{1}(U^{\ast}+\epsilon)}+ \frac{c_{2}m_{2}({{U^{\ast}_{2}}}+\epsilon)V(t)}{1+h_{2}m_{2}(U^{\ast}+\epsilon)}-\mu_{P}V(t), $$
(3.10)

with \(V(0)=P(0)\). By the comparison theorem, we have

$$ P(t)\leq V(t),\quad t\geq0. $$
(3.11)

Rearranging \(\Re_{P}<1\), thus

$$\biggl\{ \frac{c_{1}m_{1}({{U^{\ast}_{1}}}+\epsilon )}{1+h_{1}m_{1}(U^{\ast}+\epsilon)}+\frac{c_{2}m_{2}({{U^{\ast}_{2}}}+\epsilon )}{1+h_{2}m_{2}(U^{\ast}+\epsilon)} \biggr\} < \mu_{P}. $$

By [28, Lemma 2], this implies \(\lim_{t\rightarrow{+\infty }}V(t)=0\). Combining Proposition 3.1 and (3.11), we therefore have

$$ \lim_{t\rightarrow{+\infty}}P(t)=0. $$
(3.12)

With the above analysis, we get \(\lim_{t\rightarrow{+\infty }}(U_{1}(t),U_{2}(t),P(t))=({{U^{\ast}_{1}},{U^{\ast}_{2}},0})\). so that the predator-free equilibrium \(E_{1}\) of (2.8) is globally asymptotically stable if \(\Re_{P}<1\). This completes the proof of Theorem 3.1. □

Theorem 3.2

Suppose (2.2)(2.3) hold. If \(\Re_{P}>1\), the predator P is uniformly persists. Namely, there exists \(\delta>0\), which is independent of the initial conditions, such that

$$\liminf_{t\rightarrow\infty}P(t)>\delta. $$

Proof

Next we apply [29, Theorem 1.3.2] to prove and establish population persistence. Let \({C}^{+}([-\tau,0],R^{3}_{+})\) denote the space of continuous functions mapping \([-\tau,0]\) into \(R^{3}_{+}\). Denote

$$M:={C}^{+}\bigl([-\tau,0],R^{3}_{+}\bigr),\qquad M^{0}:=\bigl\{ \varphi\in M:\varphi _{i}(0)>0,i=1,2,3\bigr\} , $$

and

$$\partial{M^{0}}=M\setminus M^{0}. $$

Clearly, \(M^{0}\) is an open set relative to M. Define T to be a continuous semiflow on M, i.e., for any \(t\geq0\), \(T(t)\) is a \(C^{0}\)-semigroup on M satisfying

$$T(t):M^{0}\rightarrow M^{0},\qquad T(t):\partial M^{0} \rightarrow\partial M^{0}, $$

and

$$T(t)\varphi(\theta)=\bigl(U_{1}(t+\theta),U_{2}(t+ \theta),P(t+\theta)\bigr), $$

where \((U_{1}(t),U_{2}(t),P(t))\) is the solution of system (2.8) with initial conditions (3.1). By the definitions of \(M^{0}\) and \(\partial M^{0}\) and Theorem 3.1, it is easy to see that a constant \(t_{0}\geq0\) exists such that \(T(t)\) is compact for all \(t>t_{0}\); \(T(t)\) is point dissipative. Let \(\omega(\varphi)\) be the omega limit set of the orbit

$$\gamma^{+}(\varphi)=\bigl\{ T(t)\varphi:\forall t\geq0\bigr\} , $$

and define \(M_{\partial}\) the particular invariant set, i.e.,

$$M_{\partial}=\bigl\{ \varphi\in\partial{M^{0}}:T(t)\varphi\in \partial {M^{0}},\forall t\geq0\bigr\} . $$

From the proof of Proposition 3.1, we know that

$$M_{\partial}=\bigl\{ \varphi\in\partial{M^{0}}: \varphi_{2}=0\cup\varphi_{3}=0\bigr\} . $$

Therefore,

$$\omega(\varphi)=\bigl\{ (0,0,0),\bigl({U^{\ast\ast}_{1},U^{\ast\ast}_{2},0} \bigr)\bigr\} , \quad\forall\varphi\in M_{\partial}. $$

By Theorem 3.1, we can see that the flow in \(M_{\partial}\) is isolated and acyclic.

To complete the proof of Theorem 3.2, we now need to prove the following two claims.

Claim 1

\(W^{s}(E_{0})\cap M^{0}=\emptyset\). Assume \(W^{s}(E_{0})\cap M^{0}\neq\emptyset\), i.e., there exists a positive solution \((U_{1}(t),U_{2}(t),P(t))\) satisfying \(\lim_{t\rightarrow{+\infty }}(U_{1}(t),U_{2}(t),P(t))=(0,0,0)\). For sufficiently small positive constant η, there exists \(T_{1}\) such that

$$U_{1}(t)< \eta,\qquad U_{2}(t)< \eta,\qquad P(t)< \eta\quad \textit{for all } t\geq T_{1}. $$

From the second equation of system (2.8) and (2.2), this implies that

$$\begin{aligned} U_{2}'(t)>{}& b \bigl(U_{2}(t-\tau)\bigr)e^{-\mu_{1}\tau-m_{1}\eta\tau}-(\mu _{2}+m_{2} \eta) U_{2}(t) \\ ={}&\beta f\bigl(U_{2}(t-\tau)\bigr)e^{-\mu_{1}\tau-m_{1}\eta\tau}U_{2}(t- \tau )-(\mu_{2}+m_{2}\eta) U_{2}(t), \end{aligned}$$
(3.13)

for all \(t\geq T_{1}\), by (2.2)(2.3), \(\mu_{2}<\beta f (U_{2}(t-\tau))e^{-\mu_{1}\tau}\), for sufficiently small positive constant η, then

$$\beta f\bigl(U_{2}(t-\tau)\bigr) e^{-\mu_{1}\tau-m_{1}\eta\tau}> \mu_{2}+m_{2}\eta. $$

Consider the equation

$$ \textstyle\begin{cases} \psi'(t)=\beta f(\psi(t-\tau))e^{-\mu_{U,1}\tau-m_{1}\eta\tau}\psi (t-\tau)-(\mu_{U_{2}}+m_{2}\eta) \psi(t),\quad t\geq T_{1},\\ \psi(t)=U_{2}(t), \quad t\in[T_{1},T_{1}+\tau]. \end{cases} $$
(3.14)

By (3.13) the comparison theorem, we have \(U_{2}(t)\geq\psi (t)\) for all \(t>T_{1}\). On the other hand, using [27, Theorem 4.9.1], we have \(\lim_{t\rightarrow{+\infty}}\psi (t)=\psi^{\ast}\) for all solutions to system (3.14), where \(\psi ^{\ast}>\eta\) is the unique positive equilibrium of system (3.14). Hence we obtain \(\limsup_{t\rightarrow{+\infty}}U_{2}(t)\geq \psi^{\ast}>\eta\), contradicting \(P(t)<\eta\) as \(t\geq T_{1}\). We therefore conclude that \(W^{s}(E_{0})\cap M^{0}=\emptyset\).

Claim 2

Now we verify \(W^{s}(E_{1})\cap M^{0}=\emptyset\). Assume this is not true, i.e., \(W^{s}(E_{1})\cap M^{0}\neq\emptyset\), then there exists a positive solution \((U_{1}(t),U_{2}(t),P(t))\) of system (2.8) such that \(\lim_{t\rightarrow{+\infty }}(U_{1}(t), U_{2}(t),P(t))=({{U^{\ast}_{1}}},{{U^{\ast}_{2}}},0)\), where \(U^{\ast }={{U^{\ast}_{1}}+{U^{\ast}_{2}}}\). For the same value of η as that in Claim 1, there exists a positive constant \(T_{2}\geq T_{1}\) such that

$$U_{1}(t)>{{U^{\ast}_{1}}}-\eta,\qquad {{U^{\ast}_{2}}}- \eta< U_{2}(t)< {{U^{\ast}_{2}}}+\eta,\qquad P(t)< \eta, \quad\textit{for all }t\geq T_{2}. $$

From the third equation of system (2.8) we have

$$ P'(t)> \frac{c_{1}m_{1}({U^{\ast}_{1}}-\eta )}{1+m_{1}h_{1}({U}^{\ast}-\eta)}P(t)+ \frac{c_{2}m_{2}({U^{\ast}_{2}}-\eta )}{1+m_{2}h_{2}({U}^{\ast}-\eta)}P(t)-\mu_{P}P(t), $$
(3.15)

for all \(t>T_{2}+\tau\). Integrating both sides of (3.15) yields

$$P(t)>p_{0}\exp\biggl\{ \int^{t}_{0}\biggl[ \frac{c_{1}m_{1}({{U^{\ast}_{1}}}-\eta )}{1+m_{1}h_{1}({U}^{\ast}-\eta)}+ \frac{c_{2}m_{2}({{U^{\ast}_{2}}}-\eta )}{1+m_{2}h_{2}({U}^{\ast}-\eta)}-\mu_{P}\biggr]\,ds\biggr\} , $$

by \(\Re_{P}>1\), we get

$$\frac{c_{1}m_{1}({{U^{\ast}_{1}}}-\eta)}{1+m_{1}h_{1}({U}^{\ast }-\eta)}+\frac{c_{2}m_{2}({{U^{\ast}_{2}}}-\eta)}{1+m_{2}h_{2}({U}^{\ast}-\eta )}>\mu_{P}, $$

which contradicts with \(P(t)<\eta\) as \(t\geq T_{2}+\tau\). So that we conclude that \(W^{s}(E_{1})\cap M^{0}=\emptyset\).

The above two claims show that \(E_{0}\), \(E_{1}\) are uniform weak repellers for \(M^{0}\) in the sense that

$$\limsup_{t\rightarrow{+\infty}} \bigl\Vert T(t)\varphi -E_{i} \bigr\Vert \geq\eta, \quad\forall\varphi\in M^{0}, i=0,1, $$

with the maximum norm \(\Vert \cdot \Vert \). Thus, from [29, Theorem 1.3.2], we find that there exists a constant \(\delta>0\) such that

$$\liminf_{t\rightarrow{+\infty}}P(t)>\delta $$

uniformly for all solutions of system (2.8), which implies that the system (2.8) is uniformly persistent if \(\Re_{P}>1\) holds. This completes the proof of Theorem 3.2.  □

4 Numerical simulations

In this section we conduct numerical simulations to illustrate our analytical results. Parameter values are taken from Table 1. In all of the simulations we measure the time in months. We choose the effects of the predation on the fertility of prey to be \(f(U_{2}(t))=\frac{\theta U_{2}(t)}{1+\theta U_{2}(t)}\), we choose parameters \(\theta=2\), \(U_{1}(0)=5\), \(U_{2}(0)=5\), \(P(0)=5\), other parameters values are listed in caption of each figure, and system (2.8) becomes

$$ \textstyle\begin{cases} U'_{1}(t)= \frac{\beta\theta(U_{2}(t))^{2}}{1+\theta U_{2}(t)}-\mu_{1}U_{1}(t)-\frac{m_{1}U_{1}(t)}{1+h_{1}m_{1}U(t)}P(t)\\ \phantom{U'_{1}(t)=}{} - \frac{\beta\theta(U_{2}(t-\tau))^{2}}{1+\theta U_{2}(t-\tau)}e^{-\mu_{1}\tau-\int^{\tau}_{0}\frac{m_{1}P(t-\tau +s)}{1+h_{1}m_{1}U(t-\tau+s)}\,ds},\\ U'_{2}(t)= \frac{\beta\theta(U_{2}(t-\tau))^{2}}{1+\theta U_{2}(t-\tau)}e^{-\mu_{1}\tau-\int^{\tau}_{0}\frac{m_{1}P(t-\tau +s)}{1+h_{1}m_{1}U(t-\tau+s)}\,ds}\\ \phantom{U'_{2}(t)= }{} -\mu_{2}U_{2}(t)-\frac{m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t),\\ \frac{dP(t)}{dt}=c_{1}\cdot\frac {m_{1}U_{1}(t)}{1+h_{1}m_{1}U(t)}P(t)+c_{2}\cdot\frac {m_{2}U_{2}(t)}{1+h_{2}m_{2}U(t)}P(t)-\mu_{P}P(t). \end{cases} $$
(4.1)

The boundary equilibria are

$$E_{0}=(0,0,0), \qquad E_{1}= \biggl( \frac{\mu^{2}_{2}e^{\mu_{1}\tau }(e^{\mu_{1}\tau}-1)}{\mu_{1}\theta(\beta-\mu_{2}e^{\mu_{1}\tau })}, \frac{\mu_{2}e^{\mu_{1}\tau}}{\theta(\beta-\mu _{2}e^{\mu_{1}\tau})},0 \biggr). $$

The predator’s net reproductive number \(\Re_{P}\) is

$$\Re_{P}:=\frac{1}{\mu_{P}} \{Q_{1}+Q_{2} \}, $$

where

$$\begin{aligned} &Q_{1}=\frac{c_{1}m_{1}\mu^{2}_{2}e^{\mu_{1}\tau}(e^{\mu_{1}\tau}-1)}{\mu _{1}\theta(\beta-\mu_{2}e^{\mu_{1}\tau}) +h_{1}m_{1}\mu^{2}_{2}e^{\mu_{1}\tau}(e^{\mu_{1}\tau}-1)}, \\ &Q_{2}=\frac{c_{2}m_{2}\mu_{2}e^{\mu_{1}\tau}}{\theta(\beta-\mu_{2}e^{\mu _{1}\tau})+h_{2}m_{2}\mu_{2}e^{\mu_{1}\tau}}. \end{aligned}$$

Figure 1 shows that the predator P is uniformly persists if \(\Re_{P}>1\) (see Theorem 3.2).

Figure 1
figure 1

Density of the predator P of system (2.8) as \(\Re_{P}=1.0901>1\). The other parameters are as follows: \(\mu_{1}=0.092\), \(\mu_{2}=0.23\), \(\mu_{P}=0.9\), \(\beta=0.99\), \(h_{1}=0.009\), \(m_{1}=0.09\), \(h_{2}=0.0095\), \(m_{2}=0.15\), \(c_{1}=1\), \(c_{2}=1\), \(\tau=12\)

Figure 2 shows that if the predator hunts juvenile prey increasingly large, the size of the predator and mature prey to be expanded, this capture strategy will accelerate the extinction of juvenile prey.

Figure 2
figure 2

Solutions to the system (2.8) with different capture rates. (a): \(m_{1}=0.08\), \(m_{2}=0.15\); (b): \(m_{1}=0.13\), \(m_{2}=0.15\); (c): \(m_{1}=0.147\), \(m_{2}=0.15\). The other parameters are as follows: \(\mu_{1}=0.005\), \(\mu_{2}=0.13\), \(\mu _{P}=0.55\), \(\beta=0.85\), \(m_{1}h_{1}=m_{2}h_{2}=0.0001\), \(c_{1}=0.12\), \(c_{2}=0.40\), \(\tau=6\)

From Fig. 3, we see that if \(\tau\in(0, 8) or (12,15.5)\), approximately, the vertical amplitudes of \(P(t)\), \(U_{1}(t)\) and \(U_{2}(t)\) are as small as a point, suggesting that they are asymptotically stable; if τ increases in the interval \([8, 12]\) or \([15.5,18.5]\), approximately, the vertical amplitudes of \(P(t)\), \(U_{1}(t)\) and \(U_{2}(t)\) will become larger and larger, showing that they become more and more unstable.

Figure 3
figure 3

The ultimate oscillation interval of the solution to system (2.8) when τ increases from 0 to 20, here \(t\in [10,2000]\). \(\mu_{1}=0.005\); \(\mu_{2}=0.13\); \(\mu_{P}=0.85\); \(m_{1}=0.08\); \(c_{1}=0.11\); \(c_{2}=0.125\); \(m_{1}h_{1}=m_{2}h_{2}=0.0001\); \(m_{2}=0.15\); \(\beta=0.85\)

5 Summary and discussion

In this paper, we study a predator–prey system with stage structured on the prey. The predator hunts both the immature prey and the adult prey. We have developed a rigorous analysis of the model by applying the comparison theory of differential equations and uniform persistence theory. Global dynamics of the model are obtained and threshold dynamics determined by the predator’s net reproductive number \(\Re_{P}\) are established: the predators go extinct if \(\Re_{P}<1\); and predators persist if \(\Re _{P}>1\). Theorem 3.1 shows that the predator-free equilibrium \(E_{1}\) of (2.8) is globally asymptotically stable if \(\Re_{P}<1\). That the predator P is uniformly persistent is also obtained in Theorem 3.2.

First, we have constructed the predator’s net reproductive number \(\Re _{P}\), and by applying the comparison theory of differential equations, we get the predator-free equilibrium \(E_{1}\) of (2.8) is globally asymptotically stable if \(\Re_{P}<1\) (see Theorem 3.1).

Second, by applying the uniform persistence theory, the predator P is uniformly persistent is also obtained in Theorem 3.2 (see Fig. 1).

Besides the above systematic theoretical results for model (2.8), we also perform careful numerical simulations to support the theoretical results. The prey have stage structure and the highlights of this paper are the effects by delay τ. It is shown that of the immature prey τ largely determines stability of the immature prey and the predator, in addition τ increases from 8 to 12/15.5 to 18.5, and the predator may lose its stability and becomes increasingly unstable by enlarging the amplitude of the oscillation interval (see Fig. 3). Biologically, this means that a shorter immature prey maturation period is helpful to stabilize the system.

In this paper, the stability of the predator–prey coexistence equilibrium remains unclear, which we leave as our future work.