- Research
- Open access
- Published:
Stability of a diffusive predator–prey model with modified Leslie–Gower and Holling-type II schemes and time-delay in two dimensions
Advances in Difference Equations volume 2018, Article number: 177 (2018)
Abstract
Our investigation deals with the stability and permanence of diffusive predator–prey model with modified Leslie–Gower and Holling-type II schemes and time-delay in two dimensions. Firstly, we prove that the solutions of this model are globally bounded and remain permanently in the positive quadrant. From this system, we obtain three trivial equilibrium points of which, under certain conditions, one is locally stable and the others unstable. We show that the unique point of positive internal equilibrium is locally stable. Then, by constructing an appropriate Lyapunov’s functional, we establish the main result which is the global and asymptotic stability of this model. Finally, a numerical simulation is run to illustrate all these different theoretical results.
1 Model
In recent decades, diffusion reaction systems with prey–predator interactions have been extensively studied by the authors such as Camara et al. [1]. They were interested in the following model of Leslie–Gower and Holling II modified in two dimensions:
H denotes the density of the prey and P is the density of the predator at time T, \(\frac{dH}{dT}\) and \(\frac{dP}{dT}\) respectively represent the rate of prey increase and of predators at time T which depend on the following ecological parameters: \(a_{1}\) the prey birth rate, \(b_{1}\) the mortality rate due to internal prey competition, \(c_{1}\) the maximum predation rate, \(k_{1}\) the rate of prey protection by nature, \(a_{2}\) the predator birth rate, \(c_{2}\) the maximum predator mortality rate, \(k_{2}\) the protection rate of predators by nature, \(\delta_{2}\) the predator diffusion coefficient, Δ is the Laplace operator.
In their work, they proved the existence, roundedness, and permanence of solutions in the positive quadrant. Then they showed that the dynamics studied are locally, globally, and asymptotically stable. Few years ago, Nindjin et al. [2] were interested in this model but with several constant arguments delayed and without the term of diffusion. Other authors such as Yanling Tian and Peixuan Weng [3], Yanling Tian and Guangzhou [4] looked at the model [1] with introduction of delays in Leslie–Gower terms. They used the method of upper and lower solution to show the global and asymptotic stability around the equilibrium points. In these works [2–4], the delays are in most cases put in the predator’s functional response to prey or in the negative feedback of predator density. The delays used in these papers are often due to the hunting of the predator and the gestation of the prey.
In our paper, we study the impact of internal competition between prey on species dynamics in the presence. For this, we consider the model (studied in [1]) of Leslie–Gower and Holling II modified in two dimensions with diffusion in which we introduce a delay. Taking into account the fact that the internal competition between the individuals of the prey species for the search for food involves the individuals having reached an appropriate maturity, we introduce a delay \(r_{1}\) into the prey equation, precisely in the negative feedback of the prey. This delay defines a time of recruitment, that means the necessary time for the immature prey to move into the class of mature prey participating in hunting, procreation, in a word, to the dynamics of the species present and in interaction.
Thus, taking into account the following variable changes:
we obtain the following model:
In the study of (2), we were inspired by the method used in [4], to show the existence and global boundedness of solutions. Then we study the local stability and permanence of the system. Our goal in this article is to find natural conditions on the control parameters, realistic and easily verifiable, under which the overall stability of our system exists, when the length of the delay \(r_{1}\) is small enough. To reach this goal, we have developed a method which is a combination of the one used in [2] and [1] to build an appropriate Lyapunov’s functional. Definitely, a numerical simulation is run to illustrate all these different theoretical results.
2 Global boundedness
2.1 Existence of solution
The existence of solutions of the model is done by referring to Theorem 2.1 of [5].
2.2 Global boundedness
Theorem 2.1
If
then the system is globally bounded and, for every positive ϵ very small, any solution to problem (2) remains in the following domain of \(\mathbb{R}^{*}_{+}\times\mathbb{R}^{*}_{+}\):
Proof
Let us consider the first equation of (2). We obtain the following majoration:
Then we add the Neumann condition \(\frac{\partial u}{\partial n}=0\) on \([-r_{1};+\infty[\times\partial\Omega\).
Let us consider the following differential equation:
By solving (5), we show that \(\ln\frac{u_{1}(t)}{ u_{1}(t-r_{1})}=\int _{0}^{r_{1}}(1-u_{1}(t-s-r_{1}))\,ds\leq r_{1}\).
So, \(e^{-r_{1}}u_{1}(t)\leq u_{1}(t-r_{1})\), which leads to \(\frac{du_{1}(t)}{dt}\leq(1-e^{-r_{1}}u_{1}(t))u_{1}(t)\). Thus, by applying one of the consequences of the Gronwall lemma, we have \(u_{1}(t)\leq \frac{e^{r_{1}}}{1+(\frac{e^{r_{1}}}{u_{1}(0)}-1)e^{-t}}\). Hence \(\limsup_{t\rightarrow+\infty}(\max_{x\in\bar{\Omega}}u(t,x))\leq e^{r_{1}}\).
Therefore, \(\forall \epsilon_{1} > 0\), there is \(T_{1}>0 \) such that \(u(t,x)\leq e^{r_{1}} +\epsilon_{1}\) for \(t>T_{1}\) and \(x \in\Omega\). From the second equation of (2), we have \(\frac{\partial v(t, x)}{\partial t}-\delta\Delta v(t, x) \leq bv(t, x)(1-\frac{v(t, x)}{ e^{r_{1}} +\epsilon+e_{2}})\). Let us consider the following problem \(\frac{dv_{2}(t)}{dt}=b v_{2}(t)(1-\frac{v_{2}(t)}{\epsilon _{1}+e^{r_{1}}+e_{2}}) \) with \(v_{2}(s)=\max_{x\in\bar{\Omega}}v(s,x)\) \(\forall s\in[-r_{1};0]\).
So, \(v_{2}(t)=\frac{1}{\frac{1}{\epsilon_{1}+e^{r_{1}}+e_{2}}+ke^{-bt}}\), \(k \in\mathbb{R}^{+}\). Hence \(\limsup_{t\rightarrow+\infty}\max_{\bar{\Omega}}v(t,x))\leq \epsilon_{1}+e^{r_{1}}+e_{2}\).
When \(\epsilon_{1}\) tends to zero, we get \(\limsup_{t\rightarrow+\infty}\max_{\bar{\Omega}}v(t,x))\leq e^{r_{1}}+e_{2}\).
Therefore, \(\forall\epsilon_{2}> 0 \) there is \(T_{2}>T_{1}\) such that
Determination of the lower limit of u and v.
We have \(bv(t, x)(1-\frac{v(t, x)}{e_{2}})\leq\frac{\partial v(t, x)}{\partial t}-\delta\Delta v(t, x)\).
Let us consider the following problem:
Solving this problem, we have \(v_{3}(t)=\frac{1}{\frac {1}{e_{2}}+ke^{-bt}}\), so, \(\lim_{t\rightarrow+\infty}v_{3}(t)=e_{2}\).
Hence \(\forall\epsilon_{3}>0, \exists T_{3}>0\) so that \(\forall t >T_{3}\), \(v_{3}(t)\geq e_{2}-\epsilon_{3}\).
Thus, \(\liminf_{t\rightarrow+\infty}\ \min_{\bar{\Omega}}v(t,x))\geq e_{2}\).
Let us show that u is greater than a strictly positive real.
We know that \(\limsup_{t\rightarrow+\infty}\max_{\bar{\Omega}}v(t,x))\leq e^{r_{1}}+e_{2}=\eta\) and \(\limsup_{t\rightarrow+\infty}\max_{\bar{\Omega}}u(t,x))\leq e^{r_{1}}\).
Therefore, \(\forall\epsilon_{3} >0\) there is \(T_{3}> T_{2}\) such that \(v(t,x))\leq\eta+\epsilon_{3}\), \(\forall t>T_{3}\).
Using this relation, we show that
and consider the following system:
We know that \(\forall t>T_{3}\), \(u(t,x)\leq e^{r_{1}}+\epsilon\), so \(\forall t>T_{3}+r_{1}\), \(u(t-r_{1},x)\leq e^{r_{1}}+\epsilon\), hence \(u_{2}(t-r_{1})\leq e^{r_{1}}+\epsilon\).
By injecting into system (8), we have \(\frac{d u_{2}(t)}{u_{2}(t} \geq \beta \,dt\), with \(\beta=K-e^{r_{1}}-\epsilon\).
Taking the integral in this inequality between t and \(t-r_{1}\), we have \(u_{2}(t-r_{1})\leq e^{-\beta r_{1}} u_{2}(t)\). Taking into account system (8), we obtain
When we pass to the integral in (9) between \(s\in[-r;0]\) and \(t> 0\), we have \(u_{2}(t)\geq\frac{K}{\gamma e^{-Kt}+e^{-\beta r_{1}}}\). Thus,
Finally, we have
Therefore, this ensures the global boundedness. □
Remark 2.1
We note that hypothesis (3) of the theorem is equivalent to
Thus, condition (10) has the advantage of giving the delay interval. So, the values taken by the parameters \(e_{1}, e_{2} \), and a determine the existence and the length of the delay \(r_{1} \) able to ensure the boundedness of the solutions.
3 The study of the local stability of the system
Let us recall that the delay system has the same equilibrium points as the system without delay in [1]. It is clear that the trivial equilibrium points are: \(S_{0} = (0,0)\), \(S_{1} = (0,e_{2}), S_{2} = (1,0)\). As for the existence of the positive internal fixed point \(S_{3} = (u^{*}, v^{*})\), we have the following theorem.
Theorem 3.1
If \(e_{1}> ae_{2}\), then the system admits a unique interior fixed point \(S_{3} = (u^{*}, v^{*})\), \(u^{*} =\frac{1-a-e_{1}+\sqrt{(a-1+e_{1})^{2}+4(e_{1}-ae_{2})}}{2}\) and \(v^{*} = u^{*} + e_{2}\).
Proof
System (2) admits a constant internal equilibrium point \(S_{3} = (u^{*}, v^{*})\) only if \((u^{*}, v^{*} )\) is the solution of the following system:
Considering the first equation of system (11), we obtain
Replacing \(v^{*}\) by \(\frac{1}{a}(-u^{*2}+(1-e_{1})u^{*}+e_{1})\) in the second equation, we obtain \(u^{*2}+(a-1+e_{1})u^{*}+e_{2}a-e_{1} = 0\) whose resolution gives
and
We show that \(u^{*}_{1}> 0 \) as well as \(v^{*}_{1}=u^{*}_{1}+e_{2}\) is. □
We study the local stability in the neighborhood of \(S_{i} \) where \(i = 0, 1, 2, 3\). Let us consider the functional
Thus, the Jacobian matrix of F is
with \(A_{11}=1-u(t-r_{1},x)-\frac{av(t,x)}{u(t,x)+e_{1}}+au(t,x) \frac{v(t,x)}{(u(t,x)+e_{1})^{2}}\), \(A_{12} =-\frac{au(t,x)}{u(t,x)+e_{1}}\), \(A_{13}= - u(t,x)\), \(A_{21}=\frac{bv^{2}(t,x)}{(u(t,x)+e_{2})^{2}}\) and \(A_{22}=b(1-2\frac{v(t,x)}{u(t,x)+e_{2}})\).
System (2) can be written in the form
Let us pose: \(w=\bigl ({\scriptsize\begin{matrix}{} w_{1} \cr w_{2} \end{matrix}} \bigr )=\bigl ({\scriptsize\begin{matrix}{} u \cr v \end{matrix}} \bigr )-S_{i}\). Let us note \(S^{*}_{i}\) the fixed point taking into account the delay corresponding to \((u(t,x), v(t,x),u(t-r_{1},x),v(t-r_{1},x))\).
So, the system linearized around \(S_{i} \) becomes
which is equivalent to the following system:
3.1 Local stability of \(S_{0}\) and \(S_{1}\)
For the points \(S_{0}=(0;0)\) and \(S_{1}=(0;e_{2})\), we have \(A_{13}=0\). Then everything happens as if we are in the case of a model without delay. Now, for the model without delay studied in [2], we have the following conclusions:
-
(i)
\(S_{0}=(0;0)\) is unstable.
-
(ii)
\(S_{1}=(0;e_{2})\) is stable if \(e_{1}< ae_{2}\), and unstable if \(e_{1} > ae_{2}\).
It can be concluded that the delay \(r_{1}\) had no influence on the stability of the equilibrium points \(S_{0}\) and \(S_{1}\).
3.2 Local stability of \(S_{2}\) and \(S_{3}\)
For the equilibria points \(S_{2}\) and \(S_{3}\), we have \(A_{13}\neq0\).
In order to determine the characteristic equation of model (2), we consider \((\mu_{i},\varphi_{i})^{\infty}_{i=0}\) the set of value and eigenvector pairs of the −Δ operator on \(\overline{\Omega }=[0;M_{x}]\times[0;M_{y}]\) with homogeneous Neumann type boundary conditions such as
Let \(X=\{(u,v)\in C^{2}(\bar{\Omega})\times C^{2}(\bar{\Omega})/\frac {\partial u}{\partial n}=\frac{\partial v}{\partial n}=0 \}\) be a set that can be decomposed as a direct sum \(\bigoplus^{\infty}_{i=0}X_{i}\), where \(X_{i} \) is the space of the eigenvectors corresponding to the eigenvalue \(\mu_{i}\) for all \(i=0;1;2;\ldots\) .
For each \(i=0;1;2;\ldots\) , the set \(X_{i}\) is invariant under operator of (13). So, the characteristic equation of the linearized system of (2) is
where \(P(\lambda)=(\lambda+\delta\mu_{i}-A_{22})(\lambda+\mu_{i}-A_{11})-A_{12}A_{21}\) and \(Q(\lambda)=-A_{13}(\lambda+\delta\mu_{i}-A_{22})\).
For all \(i=0;1;2;\ldots\) , we have
-
1.
\(P(\lambda)\) and \(Q(\lambda)\) have no common imaginary roots because \(Q(\lambda)\) has only one root that is real.
-
2.
If \(\mu_{i}\neq\frac{b}{\delta} \), then around \(S_{2}\) we have \(P(0)+Q(0)\neq0\). If \(e_{1}> 1\), then around \(S_{3}\) one has \(P(0)+Q(0)\neq0\).
-
3.
It is clear that \(\overline{P(-i\omega)}=P(i\omega)\) and \(\overline{Q(-i\omega)}=Q(i\omega)\).
-
4.
One has \(\limsup\{|\frac{Q(\lambda)}{P(\lambda)}|/ |\lambda|\rightarrow+\infty\text{ and } \operatorname{Re}(\lambda) \geq0 \} =0\). Then
\(\limsup\{|\frac{Q(\lambda)}{P(\lambda)}|/ |\lambda|\rightarrow +\infty \text{ and } \operatorname{Re}(\lambda) \geq0 \} < 1 \).
-
5.
Let us pose \(F(\omega) = |P(i\omega)|^{2} - |Q(i\omega)|^{2}\). The function F can be put in the form \(F(\omega)=\omega^{4}+m_{1}\omega^{2}+m_{0}\), where \(m_{0}\) and \(m_{1}\) are the real numbers \(\omega^{*}\).
-
6.
Let us consider \(\omega^{*}= \omega(r^{*}) \) a possible positive root of \(F(\omega)\) and its associated delay \(r_{0} = [\frac{1}{\omega^{*}}\arctan \{-\frac{ \operatorname{Im} (\frac{P(i\omega^{*})}{Q(i\omega^{*})})}{\operatorname{Re} (\frac{P(i\omega ^{*})}{Q(i\omega^{*})})} \}+\frac{ 2n\pi}{\omega^{*}} ],n\in\mathbb {N}\). So, there are \(\operatorname{Sgn} (\frac{d\operatorname{Re}(\lambda)}{dr} )_{\lambda =i\omega^{*}}=\operatorname{Sgn}(F'(\omega^{*}))\).
3.2.1 Around \(S_{2}=(1;0)\)
One has \(A_{11}= 0\), \(A_{12}= -\frac{a}{1+e_{1}} \), \(A_{13}= -1\), \(A_{21}=0\), \(A_{22}=b\), \(m_{0}=(\mu_{i}^{2}-1)(\delta\mu_{i}-b)^{2}\) and \(m_{1}=\mu_{i}^{2}-1+(\delta\mu_{i}-b)^{2}\). Therefore:
If \(m_{0}>0\), then \(m_{1}>0\). So, F does not admit a positive solution. So, we have no stability change. In this case, as at \(r_{1} = 0 \), the system is unstable, it remains so.
If \(m_{0}<0\), then F has exactly one positive solution \(\omega^{*}\). Now
So, it does not have any change of stability. In a way similar to the previous case, the system is unstable.
3.2.2 Around \(S_{3}=(u^{*},v^{*})\)
One has \(A_{11}=\frac{au^{*}v^{*}}{(u^{*}+e_{1})^{2}}\), \(A_{12}=-\frac{au^{*}}{u^{*}+e_{1}}\), \(A_{13}= - u^{*}\), \(A_{21}=b\), \(A_{22}=-b\), \(m_{0}=[A_{21}A_{12}-(\mu_{i}-A_{11})(\delta\mu _{i}-A_{22})]^{2}-A^{2}_{13}(\delta\mu_{i}-A_{22})^{2}\), and \(m_{1}=-A^{2}_{13}+2A_{21}A_{12}-2(\mu_{i}-A_{11})(\delta\mu _{i}-A_{22})+(\mu_{i}-A_{11}-A_{22}+\delta\mu_{i})^{2}\).
-
If \(m_{1}> 0 \) and \(m_{0}> 0 \), then F does not admit any positive root. In this case, there is no change in stability. Now at \(r_{1} = 0 \), in [1], if \(a\geq\frac{1}{2}\) and \(e_{1}>-(a+1)+\sqrt{(a+1)^{2}+2a(1+2e_{2})-1}\), then the equilibrium point \(S_{3}=(u^{*},v^{*})\) is stable. Therefore, it remains so.
-
If \(m_{0} <0 \), then F has a single positive root. There is a positive real \(r_{0} \) beyond which there is a change of stability.
Remark 3.1
Considering certain conditions, we can come up with very practical cases. So, to have \(m_{1}> 0 \) and \(m_{0}> 0 \), just take for example \(\mu_{i}>\max\{1+e_{1};\sqrt{\frac{2abu^{*}}{u^{*}+e_{1}}}+ \frac{(1-u^{*})u^{*}}{u^{*}+e_{1}};\frac{1}{\delta}(u^{*}-b)\}\) for each \(i=1, 2, 3,\ldots \) .
Similarly, taking \(e_{1}>1\) and \([-A_{22}+\delta(A_{13}-A_{11})]^{2}+4(A_{13}-A_{11})A_{22}+4A_{21}A_{12}>0\), we can find \(\mu_{i} \) which allow us to have \(m_{0} <0 \).
4 Permanence
Theorem 4.1
If \(e_{1}>ae_{2}\), then the system is permanent.
Proof
The trivial points \((0,0) \) and \((1,0) \) are unstable. And if \(e_{1}> ae_{2} \), then \((0, e_{2}) \) is unstable. Thus, the points of equilibrium situated on the axes are all unstable; they cannot attract the other solutions of the system. In addition to this, the solutions of the system are bounded globally, that is to say,
for ϵ smallest. So, the system is permanent. □
5 Global stability
In this section, we are interested in the study of global stability. Using the results of Lyapunov’s functional construction in [2], we construct an appropriate Lyapunov’s functional to study the global stability of the unique interior equilibrium point \(S_{3}\). For this, we state the following lemma.
Lemma 5.1
Let f be a continuous function on \(\mathbb{R}\). The function \(g: t\mapsto\int_{t-r_{1}}^{t}\int_{y}^{t}f(s)\,ds\,dy\) is differentiable on \(\mathbb{R}\), and
Proof
Let F be a primitive of f.
We know that \(\forall t \in\mathbb{R}, g(t)=\int_{t-r_{1}}^{t}\int_{y}^{t}f(s)\,ds\,dy\).
Thus, \(g(t)=\int_{t-r_{1}}^{t}(F(t)-F(y))\,dy\). So, \(g(t)= r_{1}F(t)-\int_{t-r_{1}}^{t}F(y)\,dy\). When we pass to the derivative of g, we get
□
Theorem 5.1
(Main theorem)
Suppose that the bounding condition (3) and the hypothesis
are verified. Then, for all \(r_{1}\) sufficiently small, the interior equilibrium point \(S_{3} \) is globally asymptotically stable in \(\mathbb{R}^{2}\).
Proof
When the condition \(1- \frac{a}{e_{1}}(e^{r_{1}}+e_{2})>0\) is satisfied, then \(e_{1}>ae_{2}\). Thus, the conditions of global bounding imply those of the existence of the point of interior equilibrium.
-
1.
The solutions of model (2) are bounded, and we have
$$\begin{aligned} &m^{\epsilon}_{u}\leq u(t,x)\leq M^{\epsilon}_{u} \quad \mbox{and}\quad m^{\epsilon}_{v} \leq v(t,x)\leq M^{\epsilon}_{v} \quad \mbox{with} \\ &m^{\epsilon}_{u}=\biggl[1- \frac{a}{e_{1}} \bigl(e^{r_{1}}+e_{2}\bigr)\biggr]e^{r_{1}[1- \frac{a}{e_{1}} (e^{r_{1}}+e_{2}) ]-r_{1}e^{r_{1}}-r_{1}\epsilon} ; \\ & M^{\epsilon}_{u}=e^{r_{1}} +\epsilon; \qquad m^{\epsilon}_{v}=e_{2}- \epsilon;M^{\epsilon}_{v}= \epsilon+e^{r_{1}}+e_{2}. \end{aligned}$$ -
2.
Model (2) has a unique interior fixed point \((u^{*}, v^{*})\) verifying (11).
Let us consider the function l so that \(\forall\ \epsilon\geq0, \exists T>0 \) such as \(\forall t\geq T\) and \(x \in\Omega\),
with
and
The function \(l_{1} \) admits zero for the global minimum reached in \((u^{*},v^{*})\). So, \(l(u(t,x), v(t,x))\geq0\) with \(l(u^{*},v^{*})=0\). Posing
Let us show that the function L as constructed is a Lyapunov’s functional for system (2).
-
(i)
We have \(L(u^{*}, v^{*})=0\).
-
(ii)
For any solution \((u, v)\) of (2) of which the initial condition \((u_{0}(x), v_{0}(x))\) in the positive quadrant that solution is positive. Therefore, \(L(u, v)\) is positive.
-
(iii)
We have to prove the following inequality: \(\frac{dL}{dt}<0\).
Using relation (11), for all u and v sufficiently regular and bounded, system (2) becomes
We have
Let us pose \(\int_{\Omega}\frac{\partial l_{1}(u(t,x),v(t,x))}{\partial t}\,dx=T_{1}+T_{2} \) with
and
Transform \(T_{2} \). From Green’s formula and taking into account the condition from Neumann (\(\frac{\partial u}{\partial\eta}=\frac{\partial v}{\partial\eta}=0\)), we have
By the relation: \(u(t-r_{1},x)=u(t,x)-\int_{t-r_{1}}^{t}\frac{\partial u(s,x)}{\partial s}\,ds\), \(T_{1}\) becomes
So, \(T_{1}\) must be decomposed into a sum of two large terms which we denote by \(T_{11}\) and \(T_{12}\), where
and \(T_{12}=\int_{\Omega}\frac{v^{*}}{M^{\epsilon}_{v}}(u(t,x)-u^{*}) \int_{t-r_{1}}^{t}\frac{\partial u(s,x)}{\partial s}\,ds\,dx\).
Using (11), let us compute the supremum value of \(T_{11}\) and \(T_{12}\). So,
Hence
From (11) and considering that \(u (s; x)\) is a solution (2), one obtains, by adapting the writings, an expression of \(\frac{\partial u(s,x)}{\partial s}\) similar to the first equation of (21). Therefore, \(T_{12}\) becomes
So,
Let us pose \(T_{12}=\Upsilon+\Theta\), with \(\Upsilon =\int_{\Omega}\frac{v^{*}}{M^{\epsilon}_{v}} (u(t,x)-u^{*})\int_{t-r_{1}}^{t}\Delta u(s,x)\,ds\,dx\) and
From Green’s formula ϒ becomes
So, \(\Upsilon=-\frac{v^{*}}{M^{\epsilon}_{v}}\int_{\Omega}\int _{t-r_{1}}^{t}\nabla u(s,x)\cdot\nabla(u(t,x)-u^{*})\,ds\,dx \) because \(\frac{\partial u(s,x)}{\partial n}=0\). Therefore, \(\Upsilon =-\frac{v^{*}}{M^{\epsilon}_{v}}\int_{t-r_{1}}^{t}\int_{\Omega}\nabla u(s,x)\cdot\nabla u(t,x)\,dx\,ds \) because \(\nabla u^{*}=0\). Consequently, \(\Upsilon\leq\frac{v^{*}}{M^{\epsilon}_{v}} \int_{t-r_{1}}^{t} \int_{\Omega}\frac{ \vert \nabla u(t,x) \vert ^{2}}{2}+\frac{ \vert \nabla u(s,x) \vert ^{2}}{2}\,dx\,ds\). So,
Let us compute the upper value of Θ. One has
So, by using the boundary of the solution \((u (s, x); v (s, x)) \), one obtains
Finally,
We use inequalities (22), (23), and (24) to complete the highest value of \(\int_{\Omega}\frac{\partial l_{1}(u(t,x),v(t,x))}{\partial t}\,dx\). Because, as said earlier, \(\int_{\Omega}\frac{\partial l_{1}(u(t,x),v(t,x))}{ \partial t}\,dx=T_{11}+\Upsilon+\Theta+T_{2}\). Then posing \(\Gamma= \int_{\Omega}\frac{\partial l_{1}(u(t,x),v(t,x))}{\partial t}\,dx\), we have
Hence
Now let us focus on \(\frac{\partial\Sigma(t)}{\partial t}=\int_{\Omega}\frac{\partial \Sigma_{1}(t,x)}{\partial t}\,dx\). From Lemma 5.1 we have
Consequently, taking into account the highest value of \(\frac {\partial\Sigma(t, x)}{\partial t} \) and \(\int_{\Omega}\frac{\partial l_{1}(u(t,x),v(t,x))}{ \partial t}\,dx\), we obtain
So,
That is why
with
Under the conditions and assumptions of Theorem 5.1 and for a sufficiently small \(r_{1}\) delay, \(K_{1}\), \(K_{2}\), and \(K_{3}\) are all inferior to zero. Indeed, by making ϵ tend towards 0, \(M_{v}^{\epsilon}\) tend towards \(M_{v}=e^{r_{1}}+e_{2}\). Since \(r_{1}\) is smallest, there is \(r_{0}\) from which \(K_{1}<0\). However, by hypothesis one has \(e_{1}<\frac{2ae_{2}}{e_{2}+1}\), which implies
So, \(K_{3}\) is negative. By multiplying inequalities (30) by \(e_{2}\), one has \(\frac{e_{2}}{ 2}+\frac{1}{2}<\frac{e_{2}}{M_{v}^{\epsilon}}\). Yet, by hypothesis, one has \(\frac{2e_{2}}{e_{2}^{2}-1}< e_{1}\).
So, \(\frac{1}{e_{1}}+\frac{1}{2}+\frac{1}{2e_{2}}<\frac{e_{2}}{2}+\frac {1}{2}<\frac{e_{2}}{M_{v}^{\epsilon}}\). Consequently, \(K_{2}\) is negative. In this case,
Hence the interior equilibrium point \((u^{*}, v^{*})\) of system (1) is globally asymptotically stable. □
Remark 5.1
Let \(r_{0} \) be the only solution of the equation \(r_{1} - \frac{u ^{*}}{e ^{2r_{1}}} = 0 \).
If \(e_{ 1} -ae_{2}> a \) and (15) is verified then, for all \(r_{1} <\min\{r_{0}; \ln(\frac{e_{1} -ae_{2}}{ a}) \} \), the interior equilibrium point \((u ^{*}, v ^{*}) \) is globally asymptotically stable.
6 Numerical simulations
Let us consider the space \(\bar{\Omega}=[0; 8.4]\times[0; 8.4]\), the period \(T=60\), and the following control parameters: \(a=0.69\), \(b=0.2\), \(\delta=1\), \(e_{1} =3.5\), \(e_{2} =4\), \(\mu_{i}=\frac{2\pi^{2}}{(8.4)^{2}}\).
For the graphic illustration, let us consider the initial conditions \((u_{0}, v_{0}) =(0.5;0.3) \), the step \(dt=h=0.1\), \(dx=dy=0.4\), and the number iterations of time \(N=600\). From condition (3) of Theorem 2.1, the system is permanent if \(0< r_{1}< r_{\mathrm{lim}}=0.3254\). For \(r_{1}=0.3\), one obtains the maximum and minimum values of u and v: \(u_{\mathrm{min}} =0.0043\), \(u_{\mathrm{max}} =1.3499\), \(v_{\mathrm{min}} =4\), \(v_{\mathrm{max}} = 5.3499\). The trivial equilibrium points of the model are \(S_{0}=(0;0 )\), \(S_{1}=(0;4 )\), \(S_{2}=(1;0)\). In addition, \(S_{3}=( 0.2636; 4.2636)\) is the unique interior equilibrium point verifying condition 15 of Theorem 5.1. Then \(S_{3}\) is globally stable. Hence, illustrating figure (Fig. 1) for the space position \(x=1.2\) and \(y=0.8\).
• Interpretation: The trajectories of prey u and predators v stabilize respectively around 0.2636 and 4.2636 when t is greater than 40. As for the orbits, they are moving away from trivial equilibrium points and converge towards \(S_{3}=( 0.2636; 4.2636)\). Hence, \(S_{3}\) is globally stable, which is illustrated by the second and the third figure. It is noticed that for values x and y in Ω, and for all initial conditions \(u_{0}\) and \(v_{0}\) strictly positive, the orbits and trajectories are similar to those of Fig. 1. That is in line with the theoretical results.
7 Conclusion
In this article, we have shown that the solutions of the model considered are globally bounded. The local stability study revealed that the delay introduced in the feedback of the equation prey, which is essentially due to internal competition between preys, has a real impact on the stability of the indoor fixed point \((u^{*},v^{*})\). In effect, from a certain threshold of delay \(r_{1} \), noted \(r^{*}_{1}\), a change of stability of this unique positive internal fixed point is observed. We have built an appropriate Lyapunov’s functional to study the global stability of the fixed point \((u^{*}, v^{*})\). We retain that for a smallest length of the delay \(r_{1}\) and for an internal competition raised between the preys, this fixed point is globally asymptotically stable. This conclusion seems to be in line with reality. The faster preys reach maturity, the better they participate in the internal competition between their species. This competition makes the interactions of all the species involved more dynamic.
For future works, we will firstly extend the method used for studying the global stability to a food chain better accomplished with several species in interaction. Secondly we will not only introduce many delays in this model, but also study its impact on the analysis of dynamic stability. Finally we will study other problems of the dynamic which includes diffusive terms with the same methods.
References
Camara, B.I., Aziz-Alaoui, M.A.: Complexity in a prey predator model. ARIMA 9, 109–122 (2008)
Nindjin, A.F., Aziz-Alaoui, M.A., Cadivel, M.: Analysis of predator-prey model with modified Leslie–Gower and Holling-type II schemes with time delay. Nonlinear Anal., Real World Appl. 7, 1104–1118 (2006)
Tian, Y., Weng, P.: Asymptotic stability of diffusive predator-prey model with modified Leslie–Gower and Holling-type II schemes and nonlocal time delays. IMA J. Math. Control Inf. 31, 1–14 (2013). https://doi.org/10.1093/imamci/dns041
Tian, Y.: Stability for a diffusive delayed predator-prey model with modified Leslie–Gower and Holling-type II schemes. Appl. Math. 2, 217–240 (2014)
Pao, C.V.: Dynamics of nonlinear parabolic systems with time delay. J. Math. Anal. Appl. 198, 751–779 (1996)
Meng, X., Wang, L., Zhang, T.: Global dynamics analysis of a nonlinear impulsive stochastic chemostat system in a polluted environment. J. Appl. Anal. Comput. 6(3), 865–875 (2016)
Meng, X., Zhao, S., Feng, T.: Dynamics of a novel nonlinear stochastic SIS epidemic model with double epidemic hypothesis. J. Math. Anal. Appl. 433(1), 227–242 (2016)
Zhang, T., Ma, W., Meng, X., Zhang, T.: Periodic solution of a prey-predator model with nonlinear state feedback control. Appl. Math. Comput. 266, 95–107 (2015)
Menga, X., Zhao, S., Zhang, W.: Adaptive dynamics analysis of a predator-prey model with selective disturbance. Appl. Math. Comput. 266, 946–958 (2015)
Acknowledgements
The authors wish to thank in advance the editor and the referees who will read this manuscript.
Author information
Authors and Affiliations
Contributions
The author AFN is the head of the group “Dynamic of Population” to which Messrs. KTT, HO, and AT belong. Messrs KTT and AT are his students, while Mr HO is his assistant. As such, it is AFN who guides, animates the research and validates the results obtained. In this framework, he helped to improve some results like those of local stability and the sufficient conditions that give the global stability. The author KTT proposed and justified the basic model of this paper. The authors HO and KTT conducted all the calculations of this paper; at the level of the global boundedness, local and global stability and permanence. Author AT inspired the coupled use of Lyapunov functional Sects. 1 and 2. This method allowed KTT, AT, and HO to make the calculations and estimates in order to identify sufficient conditions leading to overall stability. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Nindjin, A.F., Tia, K.T., Okou, H. et al. Stability of a diffusive predator–prey model with modified Leslie–Gower and Holling-type II schemes and time-delay in two dimensions. Adv Differ Equ 2018, 177 (2018). https://doi.org/10.1186/s13662-018-1621-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1621-z