In this section, we study the global dynamics of system (1.1) in terms of its basic reproduction number \(R_{0}\). To this end, we first introduce some lemmas for our main results.
For any \(\psi\in C([-\tau,0],\mathbb{R})\), let \(P(t)\psi=u_{t}(\psi)\) be the unique solution of (3.1) satisfying \(u_{0}=\psi\). Then \(P\triangleq P(T)\) is the Poincaré map of (3.1).
Lemma 4.1
([20])
Let
\(r(P)\)
be the spectral radius of
P. Then the following statements are valid:
-
(1)
\(R_{0}=1\)
if and only if
\(r(P)=1\);
-
(2)
\(R_{0}>1\)
if and only if
\(r(P)>1\);
-
(3)
\(R_{0}<1\)
if and only if
\(r(P)<1\).
Consider the following linear equation with time delay:
$$ u'(t)=a(t)u(t)+b(t)u(t-\tau), $$
(4.1)
where \(a(t) \in C_{T}\), and \(b(t)\) is a piecewise left-continuous T-periodic function with discontinuous points of first kind at nT such that \(b(t)>0\), \(t\geq0\). By applying the method of steps it is easy to verify that, for any \(\phi\in C_{+}=C([-\tau, 0], \mathbb{R}_{+})\), system (4.1) has a unique continuous solution \(u(t,\phi)\) on \([-\tau, +\infty)\) with \(u_{0}=\phi\). Let P be the Poincaré map associated with (4.1) on \(C_{+}\), that is, \(P(\phi)=u_{T}(\phi)\). Then we have the following result.
Lemma 4.2
[13]. Let
\(\mu=\ln\frac{r(P)}{T}\). Then there exists a positive
T-periodic function
\(v(t)\)
such that
\(e^{\mu t}v(t)\)
is a solution of (4.1).
For the predator-free periodic solution \((x^{\ast}(t), 0)\) of (1.1), we have the following result.
Theorem 4.1
Assume that
\((1-p)e^{rT}>1\). If
\(R_{0}<1\), then the predator-free periodic solution
\((x^{\ast}(t), 0)\)
of (1.1) is globally attracting, where
\(R_{0}\)
is defined in (3.5).
Proof
Let \(P_{\epsilon}\) be the Poincaré map of the following perturbed linear equation:
$$ y'_{2}(t)= \frac{k\alpha(x^{\ast}(t-\tau)+\epsilon)^{2}}{1+\beta (x^{\ast}(t-\tau)+\epsilon)^{2}}y_{2}(t- \tau)-dy_{2}(t). $$
(4.2)
By Lemma 4.1 we see that \(R_{0}<1\) if and only if \(r(P)<1\), where P is the Poincaré map of (3.1). Since \(\lim_{\epsilon\rightarrow0}r(P_{\epsilon})=r(P)<1\), we may fix a small enough \(\epsilon>0\) such that \(r(P_{\epsilon})<1\). By Lemma 4.2 there is a positive T-periodic function \(v_{\epsilon}(t)\) such that \(e^{\mu_{\epsilon}t}v_{\epsilon}(t)\) is a positive solution of (4.2), where \(\mu_{\epsilon}=\frac{\ln r(P_{\epsilon})}{T}<0\).
According to the proof of Theorem 2.2, for given \(\epsilon >0\), there exists \(T_{3}>0\) such that, for \(t>T_{3}\),
$$ x(t)\leq x^{\ast}(t)+\epsilon, $$
(4.3)
where \(x^{\ast}(t)\) is defined in (2.2).
By the second equation of (1.1), for \(t>T_{3}+\tau\), we get
$$ y'(t)\leq\frac{k\alpha(x^{\ast}(t-\tau)+\epsilon)^{2}}{1+\beta (x^{\ast}(t-\tau)+\epsilon)^{2}}y(t-\tau)-dy(t). $$
Choose a sufficiently large \(A>0\) such that \(y(t)\leq Ae^{\mu_{\epsilon }t}v_{\epsilon}(t)\), \(t\in[T_{3}, T_{3}+\tau]\), where \(Ae^{\mu_{\epsilon}t}v_{\epsilon}(t)\) is a positive solution of (4.2). By the comparison principle we have
$$ y(t)\leq Ae^{\mu_{\epsilon}t}v_{\epsilon}(t),\quad t\geq T_{3}+\tau. $$
Since \(\mu_{\epsilon}<0\), \(\lim_{t\rightarrow+\infty}y(t)=0\).
Then for a sufficiently small \(\epsilon_{1}>0\) (\(\epsilon_{1}<\frac {r}{\alpha M_{1}}\), where \(M_{1}\) is shown in (2.5)), there exists \(T_{4}>0\) such that, for \(t>T_{4}\), we obtain
$$0< y(t)< \epsilon_{1}. $$
From the first and third equations of (1.1), for \(t>\max\{ T_{1}, T_{4}\}\), we have
$$ \textstyle\begin{cases} x'(t)\geq x(t)(r-\alpha M_{1}\epsilon_{1}-\frac{r}{K}x(t)), & t\neq nT, \\ \Delta x(t)=-px(t), & t=nT. \end{cases} $$
Consider the following impulsive comparison system:
$$ \textstyle\begin{cases} z'_{2}(t)= z_{2}(t)(r-\alpha M_{1}\epsilon_{1}-\frac{r}{K}z_{2}(t)), & t\neq nT, \\ \Delta z_{2}(t)=-pz_{2}(t), & t=nT. \end{cases} $$
(4.4)
Since \(\epsilon_{1}<\frac{r}{\alpha M_{1}}\), it is obvious that \(r-\alpha M_{1}\epsilon_{1}>0\). According to Lemma 2.1, we find that system (4.4) has a globally asymptotically stable periodic solution
$$z_{2}^{\ast}(t)=\frac{z_{2}^{\ast}(0+)}{(1-rz_{2}^{\ast }(0+)/(Kr_{1}))e^{-r_{1}(t-nT)}+rz_{2}^{\ast}(0+)/(Kr_{1})}, \quad nT< t\leq(n+1)T, $$
with
$$z_{2}^{\ast}(0+)=\frac{Kr_{1}((1-p)e^{r_{1}T}-1)}{r(e^{r_{1}T}-1)},\quad r_{1}=r- \alpha M_{1}\epsilon_{1}. $$
By the comparison principle, for \(x(0+)\geq z_{2}(0+)\) and \(t>\max\{ T_{1}, T_{4}\}\), we have \(x(t)\geq z_{2}(t)\), and \(z_{2}(t)-z_{2}^{\ast }(t)\rightarrow0\) as \(t\rightarrow+\infty\). Meanwhile, \(z_{2}^{\ast }(t)-x^{\ast}(t)\rightarrow0\) as \(\epsilon_{1}\rightarrow0\). Based on this analysis and (4.3), we see that \(x(t)-x^{\ast}(t)\rightarrow0\) as \(t\rightarrow+\infty\). Therefore the predator-free periodic solution \((x^{\ast}(t), 0)\) of (1.1) is globally attracting. The proof is completed. □
Theorem 4.2
Let
\((1-p)e^{rT}>1\). If
\(R_{0}>1\), then there exists
\(q>0\)
such that every positive solution
\((x(t), y(t))\)
of (1.1) satisfies
\(y(t)\geq q\)
for
t
large enough.
Proof
Let \(M_{\eta}\) be the Poincaré map of the perturbed equation
$$ \bar{y}'(t)= \frac{k\alpha(x^{\ast}(t-\tau)-\eta)^{2}}{1+\beta(x^{\ast }(t-\tau)-\eta)^{2}}\bar{y}(t-\tau)-d \bar{y}(t). $$
(4.5)
Since \(\lim_{\eta\rightarrow0}r(M_{\eta})=r(P)>1\), we can fix a small positive number η such that \(r(M_{\eta})>1\) and \(\eta<\inf_{t\geq0}x^{\ast}(t)\).
By Lemma 4.2 there is a positive T-periodic function \(v_{\eta }(t)\) such that \(e^{\mu_{\eta}t}v_{\eta}(t)\) is a positive solution of (4.5), where \(\mu_{\eta}=\frac{\ln r(M_{\eta})}{T}>0\).
Consider the impulsive comparison system
$$ \textstyle\begin{cases} \bar{x}'(t)= \bar{x}(t)(r-\alpha M_{1}\bar{\epsilon}-\frac{r}{K}\bar {x}(t)), & t\neq nT, \\ \Delta\bar{x}(t)= -p\bar{x}(t), & t=nT. \end{cases} $$
(4.6)
where \(0<\bar{\epsilon}<\frac{r}{\alpha M_{1}}\), and \(M_{1}\) is shown in (2.5).
Using Lemma 2.1, we see that system (4.6) admits a positive periodic solution \(x_{\bar{\epsilon}}^{\ast}(t)\), which is globally asymptotically stable, and \(\lim_{\bar{\epsilon}\rightarrow0}x_{\bar {\epsilon}}^{\ast}(t)=x^{\ast}(t)\). Hence we can fix a small number \(\bar{\epsilon}\in(0, \frac{r}{\alpha M_{1}})\) such that, for \(t\geq0\),
$$ x_{\bar{\epsilon}}^{\ast}(t)> x^{\ast}(t)- \frac{\eta}{2}. $$
(4.7)
Fix a positive number γ such that \(\gamma<\min\{\eta, \bar {\epsilon}\}\). We now claim that, for any \(t_{0}>0\), it is impossible that \(y(t)<\gamma\) for all \(t>t_{0}\). Suppose by contradiction that there is \(t_{0}>0\) such that \(y(t)<\gamma\) for \(t>t_{0}\). It follows from the first equation of (1.1) that, for \(t>t_{0}\),
$$\begin{aligned} x'(t) \geq& rx(t) \biggl(1-\frac{x(t)}{K}\biggr)- \alpha M_{1}\gamma x(t) \\ \geq& x(t) \biggl(r-\alpha M_{1}\bar{\epsilon}-\frac{rx(t)}{K} \biggr). \end{aligned}$$
Therefore we have
$$ \textstyle\begin{cases} x'(t)\geq x(t)(r-\alpha M_{1}\bar{\epsilon}-\frac{rx(t)}{K}), & t\neq nT, \\ \Delta x(t)=-px(t), & t=nT. \end{cases} $$
By system (4.6) and the comparison principle there exists \(t_{1}>t_{0}\) such that, for \(t>t_{1}\) and \(x(0+)\geq\bar{x}(0+)\),
$$ x(t)\geq\bar{x}(t)>x_{\bar{\epsilon}}^{\ast}(t)- \frac{\eta}{2}. $$
(4.8)
Using (4.7) and (4.8), for \(t>t_{1}\), we get
$$ x(t)> x^{\ast}(t)-\eta. $$
(4.9)
From (4.9) and the second equation of (1.1), for \(t>t_{2}\triangleq t_{1}+\tau\), we have
$$ y'(t)\geq \frac{k\alpha(x^{\ast}(t-\tau)-\eta)^{2}}{1+\beta(x^{\ast }(t-\tau)-\eta)^{2}}y(t-\tau)-dy(t). $$
(4.10)
Choose a number \(m_{1}>0\) such that
$$ y(t)\geq m_{1}e^{\mu_{\eta}t}v_{\eta}(t), \quad t\in[t_{1}, t_{2}], $$
(4.11)
and
$$ m_{1}e^{\mu_{\eta}t}v_{\eta}(t)< \gamma,\quad t\in[t_{1}, t_{2}], $$
(4.12)
where \(e^{\mu_{\eta}t}v_{\eta}(t)\) is a positive solution of (4.5) and \(\mu_{\eta}>0\). Using (4.10), (4.11), (4.12), and the comparison theorem, there must be \(t_{3}>t_{2}\) such that \(\gamma< y(t_{3})<\bar{\epsilon}\), which is a contradiction.
From the above claim we discuss the following two possibilities:
-
(H1)
\(y(t)\geq\gamma\) for all large t.
-
(H2)
\(y(t)\) oscillates about γ for all large t.
Let \(q=\min\{\frac{\gamma}{2}, q_{2}\}\), where
$$q_{2}=\frac{q_{1}\min_{t\in[0, T]}v_{\eta}(t)}{e^{\mu_{\eta}\tau}\max_{t\in[0, T]}v_{\eta}(t)} $$
with \(q_{1}=\gamma e^{-d\tau}\).
We hope to show that \(y(t)\geq q\) for t large enough. Obviously, we only need to consider case (H2). Let \(\underline{t}\) and t̄ satisfy
$$ y(\underline{t})=y(\bar{t})=\gamma,\qquad y(t)< \gamma, \quad t \in[\underline{t}, \bar{t}], $$
(4.13)
where \(\underline{t}\) is sufficiently large such that, for \(t\in [\underline{t}, \bar{t}]\),
$$ x(t)> x^{\ast}(t)-\eta. $$
(4.14)
Note that the function \(y(t)\) for \(t\geq0\) is uniformly continuous since its derivative is bounded for all \(t\geq0\). Hence there exists \(T'\) (\(0< T'<\tau\) is independent of the choice of \(\underline{t}\)) such that \(y(t)>\frac{\gamma}{2}\) for \(t\in[\underline{t}, \underline{t}+T']\). Let us consider the following three cases:
Case (\(B_{1}\)) \(\bar{t}-\underline{t}\leq T'\). Then \(y(t)>\frac{\gamma }{2}\) for all \(t\in[\underline{t}, \bar{t}]\).
Case (\(B_{2}\)) \(T'<\bar{t}-\underline{t}\leq\tau\).
By the second equation of (1.1) we have
Using the comparison principle, for \(t\in[\underline{t}, \bar{t}]\), we get
$$\begin{aligned} y(t) \geq& y(\underline{t})e^{-d(t-\underline{t})} \\ \geq& \gamma e^{-d\tau}\triangleq q_{1}. \end{aligned}$$
Therefore, in this case, \(y(t)\geq q_{1}\) for \(t\in[\underline{t}, \bar{t}]\).
Case (\(B_{3}\)) \(\bar{t}-\underline{t}> \tau\).
Similarly to the discussion of case (\(B_{2}\)), we obtain \(y(t)\geq q_{1}\) for \(t\in[\underline{t}, \underline{t}+\tau]\). If \(y(t)\geq q_{1}\) for \(t\in[\underline{t}+\tau, \bar{t}]\), then our aim is reached. Suppose not. Then there exists \(\bar{T}_{1}>0\) such that
$$\begin{aligned} & y(t)\geq q_{1},\quad t\in[\underline{t}, \underline{t}+\tau+ \bar{T}_{1}], \\ & y(\underline{t}+\tau+\bar{T}_{1})=q_{1}, \qquad y(t)< q_{1},\quad 0< t-(\underline {t}+\tau+\bar{T}_{1})\ll1. \end{aligned}$$
By (4.14) and the second equation of system (1.1), for \(t\in[\underline{t}, \bar{t}]\), we have
$$ y'(t)\geq \frac{k\alpha(x^{\ast}(t-\tau)-\eta)^{2}}{1+\beta(x^{\ast }(t-\tau)-\eta)^{2}}y(t-\tau)-dy(t). $$
Choose a number \(m_{2}=q_{1}[e^{\mu_{\eta}(\underline{t}+\tau+\bar {T}_{1})}\max_{t\in[0, T]}v_{\eta}(t)]^{-1}>0\). It is clear that, for \(t\in[\underline{t}+\bar{T}_{1}, \underline{t}+\tau+\bar{T}_{1}]\),
$$m_{2}e^{\mu_{\eta}t}v_{\eta}(t)\leq q_{1}\leq y(t), $$
and for \(t\in[\underline{t}+\bar{T}_{1}, \bar{t}]\),
$$m_{2}e^{\mu_{\eta}t}v_{\eta}(t)\geq m_{2}e^{\mu_{\eta}(\underline {t}+\bar{T}_{1})} \min_{t\in[0, T]}v_{\eta}(t) =\frac{q_{1}\min_{t\in[0, T]}v_{\eta}(t)}{e^{\mu_{\eta}\tau}\max_{t\in [0, T]}v_{\eta}(t)}=q_{2}>0. $$
The comparison theorem implies that, for \(t\in[\underline{t}+\bar {T}_{1}, \bar{t}]\),
Thus \(y(t)\geq q_{2}\) for \(t\in[\underline{t}, \bar{t}]\).
Consequently, we get \(y(t)\geq q\) for \(t\in[\underline{t}, \bar{t}]\). Since this kind of interval \([\underline{t}, \bar{t}]\) is chosen arbitrarily, we get \(y(t)\geq q\) for t large enough. This completes the proof. □