 Research
 Open Access
 Published:
Permanence, stability, and coexistence of a diffusive predator–prey model with modified Leslie–Gower and B–D functional response
Advances in Difference Equations volume 2018, Article number: 314 (2018)
Abstract
This paper investigates a diffusive predator–prey system with modified Leslie–Gower and B–D (Beddington–DeAngelis) schemes. Firstly, we discuss stability analysis of the equilibrium for a corresponding ODE system. Secondly, we prove that the system is permanent by the comparison argument of parabolic equations. Thirdly, sufficient conditions for the global asymptotic stability of the unique positive equilibrium of the system are proved by using the method of Lyapunov function. Finally, by using the maximum principle, Poincare inequality, and Leray–Schauder degree theory, we establish the existence and nonexistence of nonconstant positive steady states of this reactiondiffusion system, which indicates the effect of large diffusivity.
1 Introduction and model formulation
Population ecology is an important branch of ecology. Due to the complexity of ecological relations, mathematical methods and results have been increasingly used in ecology and population ecology, which is the most widely used indepth in mathematical ecology. In recent years, because of the widespread application of biological models, such as a predator–prey model in population ecology, the research on them has aroused the attention of many scientists and biologists. Moreover, the predator–prey model is an important branch of reactiondiffusion equations. The dynamic relationship between predators and their prey is one of the dominant themes in ecology and mathematical ecology. During these thirty years, the investigation on the predator–prey models has been developed [1–10], and more realistic models have been derived in view of laboratory experiments. In particular, the research on the predator–prey models has been conducted from various views and many good results have been obtained (see [11–17] and the references therein).
Functional response is a reaction term in which the predation rate of each predator varies with the density of prey, that is, the predator’s predation effect on prey. Many scholars have studied predator–prey models with different functional responses from different views. For example, Wang et al. [18] and Cheng et al. [19] considered the Holling I type functional response in a predator–prey model, Ko and Ryu [20] focused on the Holling II type functional response, Zhuo and Zhang [21], Pang and Wang [22], and Wang [23] investigated the ratiodependent predator–prey system, and other functional response, please see [24–29].
In references [30] and [31], the authors considered a predator–prey model incorporating a modified version of the Leslie–Gower functional response as well as the Hollingtype II functional response:
Model (1) describes a prey population x which serves as food for a predator with population y. The parameters a, d, b, \(c_{1}\), \(c _{2}\), \(k_{1}\), \(k_{2}\) are assumed to be only positive constants. In this paper, for model (1), we take into account the inhomogeneous distribution of predators and prey in different spatial locations with B–D functional response within a fixed bounded domain \(\Omega \subset R^{N}\) with smooth boundary at any given time, and the natural tendency of each species to diffuse to areas of smaller population concentration [32–34]. Hence, we will investigate the reactiondiffusion system under the homogeneous Neumann boundary conditions [35] as follows:
where n is the outward unit normal vector of the boundary ∂Ω, the positive constants \(d_{1}\), \(d_{2}\) are the diffusion coefficients, \(u_{0}\), \(v_{0}\) are continuous functions of x. u and v stand for the densities of prey and predator, respectively. The parameters a, b, d, m, \(c_{1}\), \(c_{2}\), \(k_{1}\), \(k_{2}\) are assumed to be only positive constants. a and d denote the intrinsic growth rate of prey \(u\triangleq u(x,t)\) and predator \(v\triangleq v(x,t)\), respectively. \(c_{1}\) and \(c_{2}\) stand for a capturing rate to predator and a conversion rate of prey captured by predator, respectively. \(f(u,v)=\frac{uv}{u+mv+k_{1}}\) stands for Beddington–DeAngelis functional response [36, 37]. For more biological background of system (2), one could refer to [38–42] and the references cited therein. Thus, this response function can better simulate the transformation law of two species.
The rest of this paper is arranged as follows. In Sect. 2, we discuss stability analysis of the equilibrium of ODE system corresponding to system (2). In Sect. 3, the permanence of the system is obtained by the comparison principle of parabolic equations. In Sect. 4, by using the method of Lyapunov function, we get sufficient conditions for the global asymptotic stability of the unique positive equilibrium of the system. In Sect. 5, the existence and nonexistence of nonconstant positive steady states of this reactiondiffusion system are established by using the Leray–Schauder degree theory, which demonstrates the effect of large diffusivity.
2 Stability analysis of ODE model
The goal of this section is to discuss stability analysis of ODE model for the reactiondiffusion predator–prey system (2).
Firstly, we give the ordinary differential equation of system (2) as follows:
We can easily get the three trivial equilibria of system (3) as follows: \(P_{1}=(0,0)\), \(P_{2}=(0,\frac{a}{b})\), \(P_{3}=(0,\frac{dk _{2}}{c_{2}})\). Moreover, we can establish the existence and uniqueness of the positive nontrivial equilibrium by the following proposition.
Lemma 2.1
If \(c_{1}< ma\), then system (3) has an interior equilibrium \(P_{4}=(\tilde{u},\tilde{v})\).
Proof
Let
by calculating, we get the following equation:
Consider the following quadratic function on u:
Since \(b(1+\frac{md}{c_{2}})>0\), and \(F(0)=\frac{dk_{2}(c_{1}ma)}{c _{2}}ak_{1}<0\) if \(c_{1}< ma\). \(F(u)=0\) has a unique positive solution denoted by ũ, and \(\tilde{v}=\frac{d(\tilde{u}+k_{2})}{c _{2}}\). Thus, the existence of the interior equilibrium is demonstrated. The proof is completed. □
It is easy to see that the equilibria of system (3) consist of three trivial critical points \(P_{1}=(0,0)\), \(P_{2}=(\frac{a}{b},0)\), \(P _{3}=(0,\frac{dk_{2}}{c_{2}})\) on the boundary of \(\Omega =\{(u,v):u\geq 0, v\geq 0\}\), and (4) has a nontrivial critical point \(P_{4}=(\tilde{u},\tilde{v})\). Firstly, we give the Jacobian matrix of system (3) at some point \((u,v)\):
Next, by using the ODE stability theory, we establish the following results of the stability on four points \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), respectively.

(i)
For \(P_{1}=(0,0)\), the corresponding Jacobian matrix is
{J}_{{P}_{1}}=\left(\begin{array}{cc}a& 0\\ 0& d\end{array}\right),it follows that \(J_{P_{1}}\) has two eigenvalues \(\lambda_{1}=a>0\), \(\lambda_{2}=d>0\), then \(P_{1}=(0,0)\) is an unstable node.

(ii)
For \(P_{2}=(\frac{a}{b}, 0)\), the corresponding Jacobian matrix is
{J}_{{P}_{2}}=\left(\begin{array}{cc}a& \frac{{c}_{1}a}{a+b{k}_{1}}\\ 0& d\end{array}\right),it follows that \(J_{P_{2}}\) has two eigenvalues \(\lambda_{1}=a<0\), \(\lambda_{2}=d>0\), then \(P_{2}=(\frac{a}{b}, 0)\) is a saddle point.

(iii)
For \(P_{3}=(0,\frac{dk_{2}}{c_{2}})\), the corresponding Jacobian matrix is
{J}_{{P}_{3}}=\left(\begin{array}{cc}a& 0\\ \frac{{d}^{2}}{{c}_{2}}& d\end{array}\right),by (ii), obviously, \(J_{P_{3}}\) is a saddle point.

(iv)
For \(P_{4}=(\tilde{u},\tilde{v})\), the corresponding Jacobian matrix is
\begin{array}{c}{J}_{{P}_{4}}=\left(\begin{array}{cc}b\tilde{u}+\frac{{c}_{1}\tilde{u}\tilde{v}}{{(\tilde{u}+m\tilde{v}+{k}_{1})}^{2}}& \frac{{c}_{1}\tilde{u}(\tilde{u}+{k}_{1})}{{(\tilde{u}+m\tilde{v}+{k}_{1})}^{2}}\\ \frac{{d}^{2}}{{c}_{2}}& d\end{array}\right),\hfill \\ det(\mu I{J}_{{P}_{4}})={\mu}^{2}\mu \cdot trac({J}_{{P}_{4}})+det{J}_{{P}_{4}},\hfill \end{array}where
$$\begin{aligned}& \det J_{P_{4}}=\biggl(b\tilde{u}+ {\frac{c_{1}\tilde{u}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}\biggr) (d)+ \frac{d ^{2}}{c_{2}}\cdot \frac{c_{1}\tilde{u}(\tilde{u}+k_{1})}{(\tilde{u}+m \tilde{v}+k_{1})^{2}}, \\& \operatorname{trac} (J_{P_{4}})= db\tilde{u}+ {\frac{c_{1}\tilde{u}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}. \end{aligned}$$
It is easy to get that \(\det J_{P_{4}}> 0\), and \(\operatorname{trac} (J_{P _{4}}) < 0\), if \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}<0\). Then two eigenvalues of the matrix \(J_{P_{4}}\) have negative real parts, therefore, the equilibrium \(P_{4}=(\tilde{u},\tilde{v})\) is locally asymptotically stable.
From (i)–(iv), we obtained the type of stability on four equilibria points \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\), which indicates the law of long time change on the solutions of ODE system.
3 Permanence
The goal of this section is to show that any nonnegative solution \((u(x, t), v(x, t))\) of system (2) lies in a certain bounded region as \(t\rightarrow \infty \) for all \(x \in \Omega \).
Firstly, a wellknown conclusion on the logistic equation is given as follows.
Lemma 3.1
([43])
Suppose that \(u(x, t)\) is determined by the following problem:
then \(\lim_{t\rightarrow \infty }u(x,t)=K\).
Theorem 3.1
Any solution of system (2) is nonnegative and defined for all \(t > 0\) when \(c_{1}< am\). Moreover, the nonnegative solution \((u(x, t), v(x, t))\) of system (2) yields
Proof
Since the initial value is nonnegative, it is easy to see that any solution of system (2) is nonnegative. (For the specific proof process, we refer to Theorem 2.2 in [40], Theorem 2.1 in [44], and Theorem 2.1 in [45].) Now we mainly discuss the remaining part of the theorem. It follows from the first equation of system (2) that
Hence, by the comparison argument of parabolic equations [46] and Lemma 3.1, we know that, for any arbitrary \(\epsilon > 0\), there exists \(T_{1}> 0\) such that, for any \(t > T_{1}\),
It follows that
According to the second equation of system (2) and system (8), we deduce
Hence, by the comparison argument of parabolic equations [46] and Lemma 3.1, we know that, for any arbitrary \(\epsilon > 0\), there exists \(T_{2}>T_{1}\) such that, for any \(t > T_{2}\),
It follows that
The proof is completed. □
Theorem 3.2
If \(c_{1}< am\), then the nonnegative solution \((u(x, t), v(x, t))\) of system (2) meets
Proof
It follows from the first equation of system (2) and system (10) that
Hence, by the comparison argument of parabolic equations [46] and Lemma 3.1, it is easy to see that
According to the second equation of system (2), we deduce
Hence, by the comparison argument of parabolic equations [46] and Lemma 3.1, we know that, for any arbitrary \(\epsilon > 0\), there exists \(T_{3}>T_{2}\) such that, for any \(t > T_{3}\),
It follows that
The proof is completed. □
From Theorem 3.1 and Theorem 3.2, we can easily establish the following conclusion.
Theorem 3.3
Suppose \(c_{1}< am\). The permanence of system (2) is valid.
Remark 3.1
According to Theorem 3.3, if \(c_{1}< am\), we can easily deduce that there exist positive constants \(\underline{u}\), u̅, \(\underline{v}\), v̅ which satisfy \(\underline{u}\leq u(x,t) \leq \overline{u}\), \(\underline{v}\leq v(x,t)\leq \overline{v}\) with t large enough.
This section established that any nonnegative solution \((u(x, t), v(x, t))\) of system (2) lies in a certain bounded region as \(t\rightarrow \infty \) for all \(x \in \Omega \) when \(c_{1}< am\), which demonstrates the density of the two species is in a bounded interval when the system parameters meet certain conditions.
4 Stability on the constant equilibrium of system (2)
The goal of this section is to investigate the local and global stability of the positive constant steady state \((\tilde{u},\tilde{v})= \tilde{U}\).
Now, we give some notations for developing our result.

(i)
Let \(0 = \mu_{1} < \mu_{2}< \mu_{3}< \cdots <\cdots < \infty \) be the eigenvalues of −Δ on Ω with the homogeneous Neumann boundary condition.

(ii)
Set \(S(\mu_{i})\) be the space of eigenfunctions corresponding to \(\mu_{i}\) with \(i = 0, 1, 2,\ldots \) .

(iii)
\(X_{ij}:=\{c:\phi_{ij}: c\in R^{2}\}\), where \(\phi_{ij}\) is an orthonormal basis of \(S(\mu_{i})\) for \(i = 0, 1, 2,\ldots \) , \(\dim[S( \mu_{i})]\).

(iv)
\(X := \{W = (u, v)\in [C^{1}(\bar{\Omega })]^{2}: \partial_{n}u = \partial_{n}v=0\}\), and so \(X =\bigoplus_{i=1}^{\infty }X_{i}\), where \(X_{i}=\bigoplus_{j=1}^{\dim[S(\mu_{i})]}X_{ij}\).
We first discuss the local stability of Ũ.
Theorem 4.1
Assume that \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}<0\), then the positive constant steady state \((\tilde{u},\tilde{v})=\tilde{U}\) of system (2) is locally asymptotically stable.
Proof
The linearization of system (2) at the positive constant solution \((\tilde{u},\tilde{v})=\tilde{W}\) can be written as
here \(W=(u(x,t),v(x,t))^{T}\), \(D=\operatorname{diag} (d_{1}, d_{2})\),
For each \(i = 0, 1, 2,\ldots \) , \(X_{i}\) is invariant under the operator \(D\Delta +F_{W}(\tilde{W})\), and λ is an eigenvalue of this operator on \(X_{i}\) if and only if it is an eigenvalue of the matrix
where
It follows that \(\det A_{i} > 0\), and \(\operatorname{trac} A_{i} < 0\) if \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}<0\). Then two eigenvalues of the matrix \(A_{i} \) have negative real parts. Thus, the equilibrium \(\tilde{W}=(\tilde{u},\tilde{v})\) is locally asymptotically stable. □
Next, we present the result of global stability of the unique positive equilibrium \(\tilde{W}=(\tilde{u},\tilde{v})\) of system (2) by using the method of Lyapunov function.
Theorem 4.2
The unique positive equilibrium \(\tilde{W}=(\tilde{u},\tilde{v})\) of system (2) is globally asymptotically stable if
Proof
Set \((u(x, t), v(x, t))\) be the solution of system (2). To demonstrate our claim, we construct a Lyapunov function defined as follows:
Obviously, we know that \(V(t)\geq 0\) with all \(t>0\). Differentiating \(V(t)\) along the solutions of system (2), we get
For \(N_{1}(t)\), according to the Neumann boundary condition of system (2), we obtain
For \(N_{2}(t)\), according to Remark 3.1, we know that there exist \(\underline{u}\), u̅, \(\underline{v}\), v̅, and \(\underline{u}\leq u(x,t)\leq \overline{u}\), \(\underline{v}\leq v(x,t) \leq \overline{v}\) with t large enough. It follows that
Observe that from our assumption in system (14), we get \(N_{2}(t)<0\), it follows that
Thus, \(\tilde{W}=(\tilde{u},\tilde{v})\) is globally asymptotically stable, the whole proof is completed. □
5 Nonconstant positive steady states of system (2)
The main purpose of this section is to provide some sufficient conditions for the existence and nonexistence of a nonconstant positive solution of the steady states of system (2) by using the maximum principle, Poincaré inequality, and Leray–Schauder degree theory. The corresponding steadystate problem of system (2) is the elliptic system as follows:
Firstly, we establish a priori positive upper and lower bounds for the positive solution of system (17). For this goal, we cite a known result which is due to Lou and Ni [47].
Proposition 5.1
(Maximum principle [47], Proposition 2.2)
Let \(g\in C(\bar{\Omega }\times R)\).

(i)
If \(\omega \in C^{2}(\Omega )\times C^{1}(\bar{\Omega })\) satisfies
$$ \Delta \omega (x) +g\bigl(x,\omega (x)\bigr) \geq 0, \quad x\in \Omega ,\quad\quad \frac{ \partial \omega }{\partial n} \leq 0, \quad x\in \partial \Omega , $$and \(\omega (x_{0})=\max_{\bar{\Omega }}\omega \), then \(g(x_{0}, \omega (x_{0})) \leq 0\).

(ii)
If \(\omega \in C^{2}(\Omega )\times C^{1}(\bar{\Omega })\) satisfies
$$ \textstyle\begin{cases} \Delta \omega (x) +g(x,\omega (x)) \leq 0, \quad x\in \Omega , \\ \frac{\partial \omega }{\partial n} \geq 0, \quad x\in \partial \Omega , \end{cases} $$and \(\omega (x_{0})=\min_{\bar{\Omega }}\omega \), then \(g(x_{0}, \omega (x_{0})) \leq 0\).
In the rest of this paper, we say the positive solution of system (17) belongs to \(C^{2}(\bar{\Omega })\times C^{2}(\bar{ \Omega })\) by the standard regularity theory for elliptic equations [46, 48]. For notational convenience, we shall define \(\Lambda = \Lambda (a, d, b, c_{1}, c_{2}, k_{1}, k_{2}, m) \) in the last part.
Theorem 5.1
(Upper bound)
Any positive solution \((u,v)\) of system (17) satisfies
Proof
Applying Proposition 5.1 to the first equation of system (17) meets the first inequality of system (18). For the second equation of system (17), by Proposition 5.1, we similarly get
□
Theorem 5.2
(Lower bound)
Any positive solution \((u,v)\) of system (17) satisfies
Proof
Set \(u(x_{0})=\min_{x\in \bar{\Omega }}u(x)\), applying Proposition 5.1 to the first equation of system (17), we have
For the second equation of system (17), let \(v(y_{0})= \min_{x\in \bar{\Omega }}v(x)\), by Proposition 5.1, we similarly get
The proof is completed. □
In the following, we provide some sufficient conditions for the existence and nonexistence of a nonconstant positive solution of the steady states of system (17) by dividing into the following two subsections.
5.1 Nonexistence of nonconstant positive solutions
The goal of this part is to provide the nonexistence of nonconstant positive solutions of system (17) by the effect of large diffusivity. For some related research on the effect of small/large diffusivity on reactiondiffusion equations, we can refer to [46, 48]. For ease of notation, we set
Theorem 5.3
Assume that \(\tilde{d}_{2}>\frac{d}{\mu_{1}}\) is a fixed positive constant. Then there exists a positive constant \(\tilde{d}_{1} = \tilde{d}_{1}(\tilde{d}_{2}, \Lambda )\) such that system (17) has no nonconstant positive solution for \(d_{1}\geq \tilde{d}_{1}\), \(d_{2}\geq \tilde{d}_{2}\).
Proof
Suppose that \((u, v)\) is a positive solution of system (17). Set \(\bar{u}=\frac{1}{ \vert \Omega \vert }\int_{\Omega }u\,dx\) and \(\bar{v}=\frac{1}{ \vert \Omega \vert }\int_{\Omega }v\,dx\). Multiplying the first equation of system (17) by \(u\bar{u}\), and integrating over Ω by parts, by calculating, we obtain
For the second equation of system (17), by the similar method, we have
Adding system (20) and system (21), we get
where \(\hbar =c_{1}+\frac{c_{2}\bar{v}^{2}}{2(\ell +k_{2})(\bar{u}+k _{2})}\), and ϵ is an arbitrary small positive constant, the last inequality of system (22) can be deduced from the following fact:
It follows from the Poincare inequality that
Since \(d_{2}\mu_{1}>d\), we may choose \(\epsilon_{0}\), (\(\epsilon_{0} \ll 1\)) such that \(d_{2}>\tilde{d}_{2}\doteq \frac{1}{\mu_{1}} (d+\epsilon _{0}\hbar )\). Consequently, by (23),
which implies that \(u=\bar{u}=\mathrm{constant}\), and in turn \(v=\bar{v}=\mathrm{constant}\), if \(d_{1}\mu_{1}>a+\frac{2c_{1}}{m}+\frac{ \hbar }{\epsilon_{0}}\), i.e., \(d_{1}>\tilde{d}_{1}\doteq \frac{1}{\mu _{1}}(a+\frac{2c_{1}}{m}+\frac{\hbar }{\epsilon_{0}})\). The proof is completed. □
Theorem 5.3 obtained the sufficient condition on the nonexistence of nonconstant positive solutions of system (17) by the effect of large diffusivity, which shows that the two species cannot coexist in the bounded region Ω when the diffusivity is large enough.
5.2 Global existence of nonconstant positive solutions
The goal of this subsection is to establish the global existence of nonconstant positive solutions to system (17) when the diffusion coefficients \(d_{1}\) and \(d_{2}\) vary while the parameters a, d, b, \(c_{1}\), \(c_{2}\), \(k_{1}\), \(k_{2}\), and m are kept fixed.
Theorem 4.1 indicates that system (17) has no nonconstant positive solutions when \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}\leq 0\). In view of this reason, we shall restrict this discussion to the case \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}} > 0\).
For simplicity, we write \(W=(u,v)\) and \(\tilde{W}=(\tilde{u}, \tilde{v})\). Let θ, β, δ be defined as follows:
We note that system (17) can be written as
Furthermore, W̃ solves system (24) if and only if it satisfies
where \((I\Delta )^{1}\) is the inverse of \(I\Delta \) with the homogeneous Neumann boundary condition. Direct computation gives
As in the proof of Theorem 4.2, we note that γ is an eigenvalue of \(D_{W}f(d_{1},d_{2}; W)\) for each \(X_{i}\) if and only if \(\gamma (1+\mu_{i})\) is an eigenvalue of the matrix
It follows that
Write
Then \(G(d_{1},d_{2}; \mu )=d_{1}d_{2}\det M_{i}\). If
then \(G(d_{1},d_{2}; \mu )=0\) has two real roots, namely
Let
and set \(m(\mu_{i})\) be the multiplicity of \(\mu_{i}\). Next we will calculate the index of \(f(d_{1},d_{2}; \cdot )\) at W̃, we firstly state a lemma whose proof can be found in [22].
Lemma 5.1
Suppose \(G(d_{1},d_{2}; \mu )\neq 0\) for all \(\mu_{i}\in S_{q}\), then
where
Moreover, if \(G(d_{1},d_{2}; \mu )> 0\) for all \(\mu_{i}\geq 0\), then \(\tau =0\).
According to Lemma 5.1, we are going to calculate the index of \(f(d_{1},d_{2}; \cdot )\) at W̃, but the key step is to determine the range of μ for which \(G(d_{1},d_{2}; \mu )< 0\).
Theorem 5.4
If \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}>0\), \(\varrho /d_{1}\in (\mu_{l},\mu_{l+1})\) for some \(l\geq 1\), and \(\tau_{l}=\sum_{i=1}^{l}m(\mu_{i})\) is odd, then there exists a positive constant d̂ such that system (17) has at least one nonconstant positive solution for all \(d_{2}\geq \hat{d}\).
Proof
Since \(b+ {\frac{c_{1}\tilde{v}}{(\tilde{u}+m\tilde{v}+k_{1})^{2}}}>0\), it is easy to know \(\varrho >0\). Thus, we can deduce that if \(d_{2}\) is large enough then system (27) holds and \(\mu_{+}(d_{1},d_{2})>\mu _{}(d_{1},d_{2}) > 0\). Furthermore,
Notice that \(\varrho /d_{1}\in (\mu_{l},\mu_{l+1})\), we get that there exists \(d_{0} \gg 1\) such that
Thanks to Theorem 5.3, we obtain that there exists \(\bar{d} \geq d_{0} \) such that system (17) with \(d_{1}=\bar{d}\) and \(d_{2}\geq \bar{d}\) has no nonconstant positive solution. Moreover, we can choose d̄ so large that \(\varrho /\bar{d} < \mu_{1}\). It follows that there exists \(\hat{d} > \bar{d}\) such that
We shall prove that, for any \(d_{2}\geq \hat{d}\), system (17) has at least one nonconstant positive solution. By the method of contradiction, suppose that this claim is not true for some \(\hat{d}_{2}\geq \hat{d}\). Thanks to the homotopy argument, we can demonstrate a contradiction as follows.
Let \(d_{2}=\hat{d}_{2}\) be fixed, for \(t\in [0,1]\), we define
and investigate the following problem:
Note that W is a nonconstant positive solution of system (17) if and only if it is such a solution of system (32) for \({t = 1}\). It is obvious that W̃ is the unique positive constant solution of system (32). For any \(0 < t < 1\), W is a nonconstant positive solution of system (32) if and only if it is such a solution of the problem
Our above arguments have shown that system (33) has no nonconstant positive solution for \(t=0\), and we have assumed that there is no such solution for \(t=1\) at \(d_{2}= \hat{d}_{2}\). It is easy to see that
and
with \(\hat{D}=\operatorname{diag} \{\bar{d}, \hat{d} \}\). According to system (30) and system (31), we get
Observe that \(\tau_{l}\) is odd, Lemma 5.1 gives
Now, by Theorem 4.2 and Theorem 5.1, there exist positive constants \(\underline{B}\) and B̅ such that, for all \(t\in [0,1]\), the positive solution of system (33) satisfies \(\underline{B}\leq u(x),v(x)\leq \overline{B}\) on Ω̄. Set
It follows that \(\aleph (W; t)\neq 0\) for all \(W\in \partial \Gamma \) and \(t\in [0,1]\). By the homotopy invariance of the Leray–Schauder degree [49], we obtain
Since both equations \(\aleph (W ; 1) = 0\) and \(\aleph (W ; 0) = 0\) have the unique positive solution W̃ in Γ, it follows that
This contradicts system (36) and our proof is completed. □
By the similar method, we establish the following conclusion whose proof was omitted.
Theorem 5.5
Suppose that the pair \((d_{1},d_{2})\) yields
for some \(r\geq 1\) and \(l\geq 1\). If \(\tau_{l}=\sum_{j=0}^{l}m(\mu _{r+j})\) is odd, then there exists at least one nonconstant positive solution.
Remark 5.1
For system (28), it is easy to see that
If all \(\mu_{i}\), \(i = 0, 1, 2,\ldots \) , are simple and \((\beta \delta  \varrho d)/(\varrho d_{2}) \in S_{q}\), Theorem 5.5 implies that there exists a sequence of intervals \(\{(d_{}^{j}, d_{+}^{j})\}_{j=1} ^{\infty }\), with \(d_{+}^{j+1}< d_{}^{j}\) and \(d_{}^{j}\searrow 0^{+}\) as \(j\rightarrow \infty \), such that system (17) has at least one nonconstant positive classical solution for every \(d_{1}\in (d_{}^{j}, d_{+}^{j}) \).
Theorem 5.4 and Theorem 5.5 established the global existence of nonconstant positive solutions to system (17) when the diffusion coefficients \(d_{1}\) and \(d_{2}\) satisfy a suitable condition while the parameters a, d, b, \(c_{1}\), \(c_{2}\), \(k_{1}\), \(k_{2}\), and m are kept fixed. This shows that the two species can globally coexist in the bounded region Ω when the parameters of system (17) meet some suitable conditions.
6 Conclusion
This paper investigates the diffusive predator–prey system with modified Leslie–Gower and B–D (Beddington–DeAngelis) schemes under homogeneous Neumann boundary conditions. We have come to the following conclusions. Firstly, we discussed stability analysis of the equilibrium of ODE system corresponding to system (2) and obtained the results of the stability on four critical points \(P_{1}\), \(P_{2}\), \(P_{3}\), \(P_{4}\). Secondly, the permanence of system was obtained by the comparison principle of parabolic equations (see Theorem 3.1, Theorem 3.2, and Theorem 3.3). Thirdly, by using the method of Lyapunov function, we got sufficient conditions for the global asymptotic stability of the unique positive equilibrium of the system (see Theorem 4.2). Finally, by using the maximum principle, Poincaré inequality, and the Leray–Schauder degree theory, we have established the existence and nonexistence of nonconstant positive steady states of this reactiondiffusion system, which demonstrates the effect of large diffusivity (see Theorem 5.3, Theorem 5.4, and Theorem 5.5). The research result shows that the coexistence states of two species of organisms depend on certain ranges of the parameters.
References
Wang, J., Cheng, H., Li, Y., Zhang, X.: The geometrical analysis of a predator–prey model with multistate dependent impulsive. J. Appl. Anal. Comput. 8(2), 427–442 (2018)
Wang, J., Cheng, H., Liu, H., Wang, Y.: Periodic solution and control optimization of a prey–predator model with two types of harvesting. Adv. Differ. Equ. 2018(1), 41 (2018)
Zhuo, X.: Global attractability and permanence for a new stagestructured delay impulsive ecosystem. J. Appl. Anal. Comput. 8(2), 457–470 (2018)
Zhang, T., Meng, X., Song, Y., Zhang, T.: A stagestructured predator–prey SI model with disease in the prey and impulsive effects. Math. Model. Anal. 18(4), 505–528 (2013)
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)
Liu, G., Wang, X., Meng, X., Gao, S.: Extinction and persistence in mean of a novel delay impulsive stochastic infected predator–prey system with jumps. Complexity 2017(3), 1–15 (2017)
Zhang, S., Meng, X., Feng, T., Zhang, T.: Dynamics analysis and numerical simulations of a stochastic nonautonomous predator–prey system with impulsive effects. Nonlinear Anal. Hybrid Syst. 26, 19–37 (2017)
Meng, X., Liu, R., Zhang, T.: Adaptive dynamics for a nonautonomous Lotka–Volterra model with sizeselective disturbance. Nonlinear Anal., Real World Appl. 16, 202–213 (2014)
Meng, X., Zhang, L.: Evolutionary dynamics in a Lotka–Volterra competition model with impulsive periodic disturbance. Math. Methods Appl. Sci. 39(2), 177–188 (2016)
Bai, Y., Zhang, P.: On a class of Volterra nonlinear equations of parabolic type. Appl. Math. Comput. 216(1), 236–240 (2010)
Holling, C.S.: The functional response of invertebrate predators to prey density. Mem. Entomol. Soc. Can. 45, 3–60 (1965)
Shi, H.B., Li, W.T., Lin, G.: Positive steady states of a diffusive predator–prey system with modified Holling–Tanner functional response. Nonlinear Anal., Real World Appl. 11(5), 3711–3721 (2010)
Meng, X., Zhao, S., Zhang, W.: Adaptive dynamics analysis of a predator–prey model with selective disturbance. Appl. Math. Comput. 266, 946–958 (2015)
Dai, F., Feng, X., Li, C.: Existence of coexistent solution and its stability of predator–prey with Monod–Haldane functional response. J. Xian Technol. Univ. 34(11), 861–865 (2014)
Jiang, Z., Wang, L.: Global Hopf bifurcation for a predator–prey system with three delays. Int. J. Bifurc. Chaos 27(07), 1750108 (2017)
Feng, T., Meng, X., Liu, L., Gao, S.: Application of inequalities technique to dynamics analysis of a stochastic ecoepidemiology model. J. Inequal. Appl. 2016(1), 327 (2016)
Liu, H., Cheng, H.: Dynamic analysis of a prey–predator model with statedependent control strategy and square root response function. Adv. Differ. Equ. 2018(1), 63 (2018)
Wang, J., Cheng, H., Meng, X., Pradeep, B.S.A.: Geometrical analysis and control optimization of a predator–prey model with multi statedependent impulse. Adv. Differ. Equ. 2017(1), 252 (2017)
Cheng, H., Wang, F., Zhang, T.: Multistate dependent impulsive control for Holling I predator–prey model. Discrete Dyn. Nat. Soc. 2012(12), 30–44 (2012)
Ko, W., Ryu, K.: Qualitative analysis of a predator–prey model with Holling type II functional response incorporating a prey refuge. J. Differ. Equ. 231(2), 534–550 (2006)
Zhuo, X., Zhang, F.: Stability for a new discrete ratiodependent predator–prey system. Qual. Theory Dyn. Syst. 17(1), 189–202 (2018)
Yan, X., Wang, M.: Qualitative analysis of a ratiodependent predator–prey system with diffusion. Proc. R. Soc. Edinb. 133, 919–942 (2003)
Wang, M.: Stationary patterns for a prey–predator model with preydependent and ratiodependent functional responses and diffusion. Phys. D: Nonlinear Phenom. 196(1), 172–192 (2004)
Ling, Z., Zhang, L., Zhu, M., Banerjee, M.: Dynamical behaviour of a generalist predator–prey model with free boundary. Bound. Value Probl. 2017(1), 139 (2017)
Peng, R., Wang, M.: Note on a ratiodependent predator–prey system with diffusion. Nonlinear Anal., Real World Appl. 7(1), 1–11 (2006)
Yang, W., Li, Y.: Dynamics of a diffusive predator–prey model with modified Leslie–Gower and Hollingtype III schemes. Comput. Math. Appl. 65(11), 1727–1737 (2013)
Tian, Y., Weng, P.: Stability analysis of diffusive predator–prey model with modified Leslie–Gower and Hollingtype II schemes. Appl. Math. Comput. 218(7), 3733–3745 (2011)
Zhang, X., Liu, L., Wu, Y., Cui, Y.: Entire blowup solutions for a quasilinear pLaplacian Schrodinger equation with a nonsquare diffusion term. Appl. Math. Lett. 74, 85–93 (2017)
Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017)
AzizAlaoui, M.A., Okiye, M.D.: Boundedness and global stability for a predator–prey model with modified Leslie–Gower and Hollingtype II schemes. Appl. Math. Lett. 16(7), 1069–1075 (2003)
Nindjin, A.F., AzizAlaoui, M.A., Cadivel, M.: Analysis of a predator–prey model with modified Leslie–Gower and Hollingtype II schemes with time delay. Nonlinear Anal., Real World Appl. 7(5), 1104–1118 (2006)
Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016)
Wang, W., Zhang, T.: Caspase1mediated pyroptosis of the predominance for driving CD4^{+} T cells death: a nonlocal spatial mathematical model. Bull. Math. Biol. 80(3), 540–582 (2018)
Miao, A., Wang, X., Zhang, T., Wang, W., Sampath Aruna Pradeep, B.G.: Dynamical analysis of a stochastic SIS epidemic model with nonlinear incidence rate and double epidemic hypothesis. Adv. Differ. Equ. 2017(1), 226 (2017)
Li, F., Li, J.: Global existence and blowup phenomena for nonlinear divergence form parabolic equations with inhomogeneous Neumann boundary conditions. J. Math. Anal. Appl. 385(2), 1005–1014 (2012)
Beddington, J.R.: Mutual interference between parasites or predators and its effect on searching efficiency. J. Anim. Ecol. 44(1), 331–340 (1975)
Deangelis, D.L., Goldstein, R.A., O’Neill, R.V.: A model for trophic interaction. Ecology 56, 881–892 (1975)
Cantrell, R.S., Cosner, C.: On the dynamics of predator–prey models with the Beddington–DeAngelis functional response. J. Math. Anal. Appl. 257(1), 206–222 (2001)
Hwang, T.W.: Global analysis of the predator–prey system with Beddington–DeAngelis functional response. J. Math. Anal. Appl. 281(1), 395–401 (2003)
Chen, W., Wang, M.: Qualitative analysis of predator–prey models with Beddington–DeAngelis functional response and diffusion. Math. Comput. Model. 42(1), 31–44 (2005)
Bai, Y., Zhang, X.: Stability and Hopf bifurcation in a diffusive predator–prey system with Beddington–DeAngelis functional response. Abstr. Appl. Anal. 2011, Article ID 463721 (2011)
Bian, F., Zhao, W., Song, Y., Yue, R.: Dynamical analysis of a class of prey–predator model with Beddington–DeAngelis functional response, stochastic perturbation, and impulsive toxicant input. Complexity 2017, Article ID 3742197 (2017)
Ye, Q., Li, Z.: Introduction to ReactionDiffusion Equations. Foundations of Modern Mathematics Series. Science Press, Beijing (1990) [In Chinese]
Zhang, T., Liu, X., Meng, X., Zhang, T.: Spatiotemporal dynamics near the steady state of a planktonic system. Comput. Math. Appl. 75(12), 4490–4504 (2018)
Liu, X., Zhang, T., Meng, X., Zhang, T.: TuringHopf bifurcations in a predator–prey model with herd behavior, quadratic mortality and preytaxis. Phys. A, Stat. Mech. Appl. 496, 446–460 (2018)
Smoller, J.: Shock Waves and ReactionDiffusion Equations. Springer, New York (1983)
Yuan, L., Ni, W.M.: Diffusion, selfdiffusion and crossdiffusion. J. Differ. Equ. 131(1), 79–131 (1996)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, New York (2001)
Nirenberg, L.: Topics in Nonlinear Functional Analysis. Am. Math. Soc., Providence (1974)
Funding
The work was partially supported by the National Natural Science Youth Fund of China (61102144); the Shandong Provincial Natural Science Foundation of China (No.ZR2015AQ001); the Shaanxi Province Department of Education Fund (18JK1353); and the Principal Fund of Xi’an Technological University(XAGDXJJ17028).
Author information
Authors and Affiliations
Contributions
All authors participated in every phase of research conducted for this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there are no competing interests regarding the publication of this paper.
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
Feng, X., Song, Y., Liu, J. et al. Permanence, stability, and coexistence of a diffusive predator–prey model with modified Leslie–Gower and B–D functional response. Adv Differ Equ 2018, 314 (2018). https://doi.org/10.1186/s1366201817353
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201817353
Keywords
 Predator–prey model
 Positive solutions
 Stability
 Coexistence