 Research
 Open Access
 Published:
Persistence and Turing instability in a crossdiffusive predator–prey system with generalist predator
Advances in Difference Equations volume 2018, Article number: 260 (2018)
Abstract
In this paper, we propose and investigate persistence and Turing instability of a crossdiffusion predator–prey system with generalist predator. First, by virtue of the comparison principle, we obtain sufficient conditions of persistence for a corresponding reaction–diffusion system without self and crossdiffusion. Second, by using the linear stability analysis, we prove that under some conditions the unique positive equilibrium solution is locally asymptotically stable for the corresponding ODE system and the corresponding reaction–diffusion system without crossdiffusion and selfdiffusion. Hence it does not belong to the classical Turing instability. Third, under some appropriate sufficient conditions, we obtain that the uniform positive equilibrium solution is linearly unstable for the crossreaction–diffusion and partial selfdiffusion system. The results indicate that crossdiffusion and partial selfdiffusion play an important role in the study of Turing instability about reaction–diffusion systems with generalist predator. Fourth, we elaborate on the relations between the theoretical results and the crossdiffusion predator–prey system by relying on some examples. In the end, we conclude our findings and give a brief discussion.
1 Introduction
It is well known that ecosystems are characterized by the interaction of species with a wide range of spatial and temporal scales natural environment. From the early beginning of this discipline, one of the most important interactions that affect the dynamics of all species is predation. Therefore, predator–prey models have become the key to population system investigation. Predator–prey dynamic has been one of the main research topics in mathematical ecology since the pioneering work of Lotka [1] and Volterra [2]. The main purpose of mathematical ecology is to investigate the relationship between different species and their living environment. As one of the most important interactions, the interaction between the predator and the prey has aroused great concern and predator–prey models with selfdiffusion and crossdiffusion have been extensively investigated by many specialist and scholars [3–10]. More and more evidence indicates that in many cases where predators must search, share, and compete for food, ratiodependent predator–prey models are considered reasonable. To put it briefly, the reaction functions have important effect on the dynamical behavior of predator–prey modes, the functional response is classified into four types: Lotka–Volterra type, Holling type II (Michaelis–Menten type), generalized Holling type III (Sigmoidal), and IV functional response. In [3], Zhang et al. performed Hopf and steady state bifurcation analysis in a ratiodependent predator–prey model and derived explicit conditions for the existence of nonconstant steady states that emerged through steady state bifurcation from related constant steady states. Li [4] studied stability and bifurcation of a ratiodependent predator–prey model with crossdiffusion by virtue of Fourier decomposition, fixed index theory, bifurcation theory, energy estimates, and the differential method of implicit function and inverse function, and obtained the asymptotic stabilities of nonnegative constant solutions, the existence and nonexistence of nonconstant positive steady states, the bifurcation and multiplicity of positive solutions. For more works on predator–prey systems with ratiodependent functional response, we refer to [11–13].
The formation of spatial patterns is one of the important fields in biological research. The pioneering work of pattern formation was conducted and investigated by Turing [14], who derived the appropriate conditions under which the spatially homogeneous steady state is stable in the absence of diffusion but becomes unstable in the presence of diffusion, yielding a spatially heterogeneous steady state. This process is well known as diffusiondriven instability, and the associated spatial pattern is usually named the Turing pattern. Since the seminal work of Turing in 1952, the most widely investigated model for spatial pattern formation is the reaction–diffusion model [15–22]. It is worth noticing that Yan and Zhang investigated a diffusion twospecies predator–prey system with the Beddington–DeAngelis functional response and subject to homogeneous Neumann boundary conditions by means of the upper and lower solutions method and the monotone iteration principle in [11]. Sun et al. [23] studied pattern formation in a predator–prey diffusion model with stage structure for the predator by using the bootstrap technique and higherorder energy estimates. Sebestyén et al. [18] analyzed stability of patterns and of constant steady states for a crossdiffusion system with two dependent variables by virtue of numerical simulations and numerical models. Lacitignola et al. [24] studied Turing pattern formation on the sphere for a morphochemical reaction–diffusion model for electrodeposition by means of the lumped surface finite element method and the systematic numerical simulations and numerical method. In [25], Song et al. investigated pattern dynamics in a Gierer–Meinhardt model with a saturating term by the linear stability analysis, the multiple scales methods, and the numerical simulations. Peng and Zhang [26] investigated Turing instability and pattern induced by crossdiffusion in a predator–prey system with Allee effect by the multiple time scales and the weakly nonlinear analysis. For more research on Turing instability in a crossdiffusive system, please refer to [27–30] and relevant references therein.
It is worth pointing out that the above results show that it has been known that stable equilibrium solutions of ordinary differential equations can be destabilized by the introduction of diffusion for different species. Mathematically speaking, Turing pattern arising from the reaction–diffusion ecological system admits at least one nonconstant steady state. Therefore, we are particularly interested in a class of reaction–diffusion predator–prey models which account for predator–prey–mutualist and generalist predator [5, 31–33].
In this paper, motivated by the recent papers [9, 31–34], we will investigate a class of threespecies predator–prey crossdiffusion systems with generalist predator. The aim of this paper is to construct a mathematical model to describe ecosystems with mutualist interaction and generalist predator, and further investigate Turing instability of the predator–prey ecosystem by virtue of mathematical analysis and numerical examples. The rest of the paper is organized as follows. The reaction–diffusion predator–prey model with generalist is introduced in Sect. 2. In Sect. 3, we demonstrate that the unique positive equilibrium is persistence for predator–prey reaction–diffusion system with no self and crossdiffusion by virtue of the comparison principle. In Sect. 4, we give linear stability analysis of uniform positive state for ODES by means of the Routh–Hurwitz criterion. We prove that a uniform equilibrium solution is also linearly asymptotically stable under the same conditions for the predator–prey system with generalist predator without self and crossdiffusion in Sect. 5. Section 6 is devoted to deriving the conditions on the parameter values such that the positive equilibrium solution is Turing unstable for a strongly coupled reaction–diffusion system. In Sect. 7, by some numerical examples we illustrate correctness of our results. Finally, we give some conclusions and biological discussions in Sect. 8.
2 The mathematical model
In this section, in order to establish the mathematical model, we will base on the following three assumptions on biological background: The prey growth is logistic and independent of the mutualist; The mutualist is independent of the predator; Predation in the absence of mutualism is Lotka–Volterra predation. To take into account the intraspecific and interspecific population pressures between the generalist predator and the competitor–mutualist, we introduce selfdiffusion and crossdiffusions. To account for this scenario, we obtain the following strongly coupled predator–prey reaction–diffusion system with generalist predator:
where Ω is a bounded and connected domain in \(\mathbf{R}^{n}\) with smooth boundary ∂Ω. Here \(u_{2}\), \(u_{1}\), and \(u_{3}\) represent the population densities of the predator, the prey, and the mutualist, respectively. Ω represents the domain in which three species inhabit. \(\partial_{n}\) is the directional derivative normal to ∂Ω. Δ denotes the usual Laplacian operator in space Ω. \(k_{ii}\) (\(i=1,2,3\)), \(k_{12}, k_{13}, k_{21}, k_{23}\), and \(k_{31}\) are nonnegative constants. \(k_{ii}\) is the selfdiffusion rate of ith species and \(k_{ij}\) (\(i\neq j\)) is the crossdiffusion rate of ith species due to the pressure of the presence of jth species. a, b, c, α, γ, μ, η, δ, m, and β are all positive constants. In diffusion terms, the positive constant \(d_{i}\) (\(i=1,2,3\)), which is usually termed selfdiffusion coefficient, represents the natural dispersive force of movement of an individual. a, b, c are intrinsic growth rates of the three species, respectively, while α, μ, η, δ describe interspecies interactions. The homogeneous Neumann boundary condition indicates that the model is selfcontained and there is zero population flux across the boundary. This system with crossdiffusion represents a model which involves interacting and migration in the same habitat Ω among generalist predator \(u_{2}\), prey \(u_{1}\), and \(u_{3}\), while \(u_{3}\) and \(u_{1}\) are of symbiotic mutualist. For more biological meaning of the parameters, we refer to [17, 31–33].
In this model, predator \(u_{2}\) diffuses with flux
As \(k_{21}u_{2} <0\), the part \(k_{21}u_{2} \nabla u_{1}\) of the flux is directed toward the decreasing population density of prey \(u_{1}\). When the predator is chasing the prey, the flux should be directed toward the increasing population density of the prey as in [35]. However, in a natural ecosystem, a great number of prey species congregate and form a huge group to protect themselves from the attack of predator.
The first prey \(u_{1}\) diffuses with flux
The second prey \(u_{3}\) diffuses with flux
We observe that, as \(k_{12}u_{1}<0\) and \(\frac{k_{31}u_{3}}{m+u_{1}}<0\), the parts \(k_{12}u_{1}\nabla u _{2}\) and\(\frac{k_{31}u_{3}}{m+u_{1}}\nabla u_{2}\) of the flux are directed toward the decreasing population density of predator \(u_{2}\). While \(\frac{k_{13}u_{1}}{(\beta + u_{3})^{2}}>0\) (or \(\frac{k_{31}u_{2} u_{3}}{(m+u_{1})^{2}}>0 \)) implies that the flux of \(u_{1}\)(or \(u_{3}\)) is directed toward the increasing population density of \(u_{3}\)(or \(u_{1}\)), that is, the two mutualist chase each other.
After adding these items, the crossdiffusion predator–prey system (1) means that in addition to the dispersive force, the diffusion also depends on species pressure from other species. Hence, the species in (1) are not homogeneously distributed based on the reason of selfdiffusion and crossdiffusions.
In the above system (1), when \(a=1, b=2, c=1, \eta =0\), and \(k_{11}=k_{12}=k_{13}=k_{22}=k_{23}=k_{31}=k_{33}=0\), \(d_{1}=d_{3}=0\), Tian et al. [31] investigated Turing pattern formation in a predator–prey–mutualist system by using the stability analysis and the Leray–Schauder degree theory. However, Tian et al. only studied the effects of diffusion and crossdiffusion between predator \(u_{2}\) and prey \(u_{1}\). Wen and Fu [33] investigated Turing instability for a competitor–competitor–mutualist model with nonlinear crossdiffusion effects by using a comparison method and a linearization technique when \(k_{23}=0, \eta =0, \mu =\mu \), but they did not research the effects of crossdiffusion between predator \(u_{2}\) and prey \(u_{3}\). Therefore, in this work we will study Turing instability of the more complex crossdiffusion predator–prey with generalist predator (1).
3 Persistence for the PDES without selfdiffusion and crossdiffusion
By solving the equations \(au_{1} \frac{\alpha u_{2}}{1+\gamma u_{3}}=0\), \(bu_{2}+\mu u_{1}+\eta u _{3}=0\), \(c\frac{u_{3}}{1+\delta u_{1}}=0\), it is easy to know that model (1) has a unique constant positive equilibrium \(\mathbf{u}^{*}=(u_{1}^{*},u_{2}^{*},u_{3}^{*})^{T}=(u_{1}^{*}, b+c \eta +(\mu +c\eta \delta )u_{1}^{*}, c(1+\delta u_{1}^{*}))^{T}\) provided that \(a(1+\gamma )>(b+c\eta )\alpha \), where \(u_{1}^{*}=\frac{[c\eta \delta \alpha +\mu \alpha +\alpha +1c a\delta \gamma ]+\sqrt{(c\eta \delta \alpha +\mu \alpha +\alpha +1c a\delta \gamma )^{2}4 c \delta \gamma [(b+c\eta )\alpha a(1+\gamma )]}}{2c \delta \gamma }\).
From the viewpoint of ecology, the constant positive steadystate solution implies the coexistence of both the predator and the prey.
In this section, we always assume that \(k_{ij}=0\). We will show that system (1) without selfdiffusion and crossdiffusion is persistent.
Theorem 1
Assume that the inequalities
hold, then system (1) is persistent.
Proof
By using the maximum principle of the parabolic type equation, we easily know that all the solutions of (1) are nonnegative since the initial value is nonnegative. By virtue of the first equation in (1), we can obtain
By use of the comparison principle for parabolic equation, we get \(u_{1}\leq w\), where w is the solution of
Since \(\lim_{t\rightarrow \infty }{w(x,t)}=a\), we have \(\lim_{t\rightarrow \infty }{u_{1}(x,t)}\leq a\), then for arbitrary \(\varepsilon >0\), there exists \(t_{1}>0\) such that when \(t>t_{1}\), \(u_{1}(x,t)\leq \bar{c}_{1}\), where \(\bar{c}_{1}=a+\varepsilon \). This implies that
Similarly,
for \(t>t_{1}\). Thus, for the above ε, there exists \(t_{3}>t_{1}\) such that when \(t>t_{3}\), \(u_{3}(x,t)\leq \bar{c}_{3}\), where \(\bar{c}_{3}=c[1+\delta (a+\varepsilon )]+\varepsilon \). Therefore,
Consequently, from the second equation in (1) we furthermore have
So, for \(\varepsilon >0\), there exists \(t_{2}>0\) such that when \(t>t_{2}\), \(u_{2}(x,t)\leq \bar{c}_{2}\), where \(\bar{c}_{2}=b+a\mu +c \eta +a\eta \delta +\mu \varepsilon +\eta \delta \varepsilon +\eta \varepsilon +\varepsilon \). Thus, we can obtain
On the other hand, according to the third equation in (1), we have
Thus, for the above \(\varepsilon >0\), there exists \(t_{4}>0\) such that when \(t>t_{4}\), \(u_{3}(x,t)\geq \underline{c}_{3}\), where \(\underline{c}_{3}=c\varepsilon \). Further, we can get
Similar to the above argument, we can deduce that
and
This implies that for \(\varepsilon >0\), there exist \(t_{5}>max\{t_{1},t _{4}\}\) and \(t_{6}>max\{t_{2},t_{4}\}\) such that when \(t>t_{5}\), \(u_{2}\geq \underline{c}_{2}\) and when \(t\geq t_{6}\), \(u_{1}\geq \underline{c}_{1}\), where \(\underline{c}_{2}=b+\eta (c\varepsilon ) \varepsilon \), \(\underline{c}_{1}=\frac{a+a\delta (c\varepsilon ) \alpha (b+a\mu +c\eta +a\eta \delta +\mu \varepsilon +\eta \delta \varepsilon +\eta \varepsilon +\varepsilon )}{1+\delta (c\varepsilon )}\varepsilon \). Therefore, we can obtain
It is worth noticing that since \(c\delta >\gamma +(\mu +\eta \delta ) \alpha \), we have \(1+c\delta >1+\gamma +(\mu +\eta \delta )\alpha \). Further, we can have \(a(1+c\delta )>a(1+\gamma )+a(\mu +\eta \delta ) \alpha \). By virtue of the condition \(a(1+\gamma )>(b+\eta c)\alpha \), we can obtain \(a(1+c\delta )>(b+c\eta )\alpha +a(\mu +\eta \delta ) \alpha \), therefore the above inequality holds.
It is well known that a system of several species is said to be persistent if all species are persistent, while a species with density \(u(x,t)~(x\in \Omega, t>0)\) is said to be persistent if \(u(x,t)>0\) for all \(x\in \Omega, t>0\) and
According to the definition of persistence for species and the above results of proof, we can conclude that system (1) is persistent. The proof is completed. □
4 Stability of the positive equilibrium solution of the ODE system
In this section, we mainly research the stability for the ODE system by virtue of the stability theory. It is easy to know that the ODE system of (1) is as follows:
Theorem 2
Suppose that the conditions of the parameters satisfy
Then the stationary uniform solution of system (9) is locally asymptotically stable.
Proof
For simplicity, throughout this paper, we denote
Noticing \(\mathbf{F(u^{*})}=0\), a direct calculation yields
The linearization of problem (9) at positive equilibrium \(\mathbf{u}^{*}\) is
The characteristic polynomial of \(\mathbf{F_{u}(u^{*})}\) is given by \(\phi (\lambda )=\lambda^{3}+A_{2} \lambda^{2}+A_{1} \lambda +A_{0}\), where
It is evident that if conditions (10) hold, then it is not hard to verify that \(A_{2}\), \(A_{1}\), \(A_{0}\) are positive, and \(A_{2} A_{1}A_{0}>0\). Hence, according to the Routh–Hurwitz criterion for stability, we can conclude that \(\phi (\lambda )=0\) only has roots with negative real parts. Therefore \(\mathbf{u^{*}}\) is locally asymptotically stable. □
5 Steady state solution of the PDE system without selfdiffusion and crossdiffusion
In this section, our main objective is to search for the conditions on the parameter values such that the positive stationary uniform solution is linearly stable in the absence of selfdiffusion and crossdiffusion. We now consider system (1) with no selfdiffusion and crossdiffusion of the following form:
In order to research the local asymptotic stability of the parabolic system, we set up the following notation.
Notation
Let \(0=\mu_{1}<\mu_{2}<\mu_{3}< \cdots \rightarrow \infty \) be the eigenvalues of −Δ on Ω with the homogeneous Neumann boundary condition and \(E(\mu_{i})\). We define the following space decomposition:

(i)
\(\mathbf{X_{ij}}:=\{\mathbf{c}\cdot \phi_{ij}: \mathbf{c}\in \mathbf{R}^{3}\}\), where \(\{\phi_{ij}\}\) are orthonormal basis of \(E(\mu_{i})\) for \(j=1,\ldots,\operatorname{dim} E(\mu_{i})\);

(ii)
\(\mathbf{X}:=\{\mathbf{u}\in [C^{1}(\overline{\Omega })]^{3} : \partial_{n} u_{1}=\partial_{n} u_{2}=\partial_{n} u_{3}=0\mbox{ on }\partial \Omega \}\) and so \(\mathbf{X}=\bigoplus^{\infty }_{i=1}\mathbf{X_{i}}\), where \(\mathbf{X_{i}}= \bigoplus^{\operatorname{dim} E(\mu_{i})}_{j=1}\mathbf{X}_{ij}\).
Theorem 3
Assume that the conditions of (10) hold, then the stationary uniform solution \(\mathbf{u^{*}}\) of system (12) is locally asymptotically stable.
Proof
The linearization of (12) at \(\mathbf{u^{*}}\) can be expressed by
where
It is well known that if, for each \(i\ge 1\), Xi is invariant under the operator \(D\Delta +\mathbf{F_{u}({u^{*}})}\), then problem (12) has a nontrivial solution of the form \(\boldsymbol{\psi }=\mathbf{c}\phi \exp (\lambda t)\) if and only if \((\lambda,\mathbf{c})\) is an eigenpair for the matrix \(\mu_{i} D+ \mathbf{F_{u}(u^{*})}\), where c is a constant vector. Therefore the equilibrium \(\mathbf{u^{*}}\) is locally asymptotically stable if all eigenvalues λ have negative real parts for all \(\mu_{i}\).
The characteristic polynomial of \(\mu_{i} D+\mathbf{F_{u}({u^{*}})}\) is given by
where
Let \(\lambda_{1i}\), \(\lambda_{2i}\), \(\lambda_{3i}\) be the three roots of \(\rho_{i}(\lambda )=0 \). In order to obtain the linear stability of \(\mathbf{u^{*}}\), we need to prove that there exists a positive constant ζ such that
In fact, assume that \(\lambda_{1i}\), \(\lambda_{2i}\), \(\lambda_{3i}\) all have negative real parts, that is, \(\operatorname{Re}\{\lambda_{1i}\}\), \(\operatorname{Re}\{\lambda_{2i}\}\), \(\operatorname{Re}\{\lambda_{3i}\}<0\). Let \(\lambda =\mu_{i} \tau \), then
Notice that \(\mu_{i}\to \infty \) as \(i\to \infty \), we can calculate that
Since \(d_{1} d_{2}+d_{1} d_{3}+d_{2} d_{3}>0 \mbox{ and } d_{1} d _{2} d_{3}>0\) hold, by the Routh–Hurwitz criterion, the three roots \(\tau_{1i}\), \(\tau_{2i}\), \(\tau_{3i}\) of \(\widetilde{\rho }_{i}(\tau )=0\) have negative real parts. Therefore we can conclude that there exists a positive constant ζ̃ such that \(\operatorname{Re}\{\tau_{1i}\}, \operatorname{Re} \{\tau_{2i}\}, \operatorname{Re}\{\tau_{3i}\}\leq \widetilde{\zeta }\). According to continuity, we see that there exists a positive constant \(i_{0}\) such that the three roots of \(\widetilde{\rho }_{i}(\tau )=0\) satisfy \(\operatorname{Re}\{\tau_{1i}\}, \operatorname{Re}\{\tau_{2i}\}, \operatorname{Re}\{\tau_{3i}\}\leq  \widetilde{\zeta }/2\) for all \(i\geq i_{0}\). Then \(\operatorname{Re}\{\lambda_{1i}\}, \operatorname{Re}\{\lambda_{2i}\}, \operatorname{Re}\{\lambda_{3i}\}\leq \frac{\mu_{i} \widetilde{\zeta }}{2}\leq \frac{\widetilde{\zeta }}{2}\) for all \(i\geq i_{0}\). Let \(\zeta =\min \{\frac{\widetilde{\zeta }}{2}, \max_{1\leq i\leq i_{0}} \operatorname{Re}\{\lambda_{1i}\}, \operatorname{Re}\{\lambda_{2i}\}, \operatorname{Re}\{ \lambda_{3i}\}\}\), then we can obtain that (13) holds. Applying the Routh–Hurwitz criterion for stability, the three roots of \(\rho_{i}(\lambda )\) all have negative real parts. Thus the proof is completed. □
6 Turing instability induced by selfdiffusion and crossdiffusion
According to Theorem 3, we can easily find that if only free diffusion is introduced to the ODE system (9), the uniform positive stationary solution is also locally stable, which means that under conditions (10), only the PDE with no selfdiffusion and crossdiffusion cannot induce Turing instability. In this section, we will mainly discuss the case which is a wellknown phenomenon of crossdiffusion driven instability. Now let us investigate the effects of selfdiffusion and crossdiffusion for system (1).
For simplicity, we denote that \(\mathbf{K(u)}=(d_{1} u_{1} +k_{11}u _{1}^{2}+k_{12}u_{1} u_{2}+\frac{k_{13}u_{1}}{\beta + u_{3}}, d_{2} u _{2}+k_{21}u_{1} u_{2}+k_{22}u_{2}^{2}+k_{23}u_{2} u_{3}, d_{3} u_{3}+\frac{k _{31}}{m+u_{1}}u_{2} u_{3}+k_{33}u_{3}^{2} )^{T}\). Linearizing system (1) at \(\mathbf{u^{*}}\), we have
where
It is well known that if for each \(i\ge 1\), X is invariant under the operator \(\mathbf{K_{u}(u^{*})}\Delta + \mathbf{F_{u}(u^{*})}\), then problem (1) has a nontrivial solution of the form \(\boldsymbol{\psi }=\mathbf{c}\phi \exp (\lambda t)\) if and only if \((\lambda,\mathbf{c})\) is an eigenpair for the matrix \(\mu_{i} \mathbf{K_{u}(u^{*})}+\mathbf{F_{u}(u^{*})}\), where c is a constant vector. Therefore the equilibrium \(\mathbf{u^{*}}\) is unstable if at least one eigenvalue λ has a positive real part for some \(\mu_{i}\).
By some computations, the characteristic polynomial of \(\mu_{i} \mathbf{K_{u}(u^{*})}+\mathbf{F_{u}(u^{*})}\) is given by
where
While
Let \(\lambda_{1}(\mu_{i})\), \(\lambda_{2} (\mu_{i})\), \(\lambda_{3} (\mu _{i})\) be the three roots of \(\psi_{i} (\lambda )=0\), then \(\lambda _{1}(\mu_{i})\lambda_{2}(\mu_{i})\lambda_{3}(\mu_{i})=C_{0}\). In order to have at least one \(\operatorname{Re}\lambda_{j}(\mu_{i})>0\), it is sufficient that \(C_{0}<0\).
In the following we shall find out the conditions such that \(C_{0}<0\). In fact \(C_{0}=\operatorname{det}(\mu_{i}\mathbf{K_{u}(u^{*})} \mathbf{F_{u}(u^{*})})\). By simple computation, it follows that
where
Let \(\tilde{P}(\nu )=P_{3} \nu^{3}+P_{2} \nu^{2}+P_{1}\nu \operatorname{det}(\mathbf{F_{u}(u^{*})})\), and let \(\tilde{\mu _{1}}\), \(\tilde{\mu _{2}}\), and \(\tilde{\mu _{3}}\) be the three roots of \(\tilde{P}(\nu )=0\) with \(\operatorname{Re}(\tilde{\mu }_{1})\leq \operatorname{Re}(\tilde{\mu }_{2})\leq \operatorname{Re}(\tilde{\mu } _{3})\). Then \(\tilde{\mu }_{1} \tilde{\mu }_{2}\tilde{\mu }_{3}=\operatorname{det}( \mathbf{F_{u}(u^{*})})=A_{0}<0\). Notice that direct calculations show that \(P_{3}>0\), thus one of \(\tilde{\mu }_{1}\), \(\tilde{\mu }_{2}\), \(\tilde{\mu }_{3}\) is real and negative and the product of the other two is positive.
Our following discussion will cover five cases.
Case 1
\(k_{21}\) is a variation parameter and other parameters are fixed.
Consider the following limits:
Note that \(\lim_{k_{21}\to \infty }{\tilde{P}(\nu )=\nu (h_{3} \nu^{2}+h_{2} \nu +h_{1})}\). Thus, when \(u_{1}^{*}<\frac{\alpha \gamma \delta u_{1}^{*} u_{2}^{*} u_{3}^{*}}{(1+\delta u_{1}^{*})(1+ \gamma u_{3}^{*})^{2}}+\frac{\alpha u_{2}^{*}}{1+\gamma u_{3}^{*}}\), we show that \(h_{1}<0<h_{3} \). A continuity argument shows that there exists a positive constant \(k_{21}^{*}\) such that, for \(k_{21}\geq k _{21}^{*}\), the three roots \(\tilde{\mu }_{1}\), \(\tilde{\mu }_{2}\), and \(\tilde{\mu }_{3}\) of \(\tilde{P}(\nu )=0\) are all real and satisfy
and we can conclude that \(\infty <\tilde{\mu }_{1}<0<\tilde{\mu } _{2}<\tilde{\mu }_{3}\). Furthermore, we can obtain
It is well known that since at least one eigenvalue \(\mu_{i}\) of −Δ satisfies \(\mu_{i}\in (\tilde{\mu }_{2}, \tilde{\mu }_{3})\) for some i, we have \(C_{0}<0\) and the number of sign changes for the characteristic polynomial \(\psi (\lambda )\) is either one or three. By using Descartes’ rule, \(\psi (\lambda )\) has at least one positive root. Therefore, we can conclude the following theorem.
Theorem 4
Suppose that
and (10) hold. Then there exists a positive constant \(k_{21}^{*}\) such that, for \(k_{21}\geq k_{21}^{*}\), the uniform stationary solution \(\mathbf{u^{*}}\) of system (1) is unstable.
Case 2
\(k_{23}\) is a variation parameter and other parameters are fixed.
Consider the following limits:
Noticing \(\lim_{k_{23}\to \infty }{\tilde{P}(\nu )=\nu (e_{3} \nu^{2}+e_{2} \nu +e_{1})}\). If the parameters satisfy \(\frac{\alpha \delta u_{2}^{*}}{(1+\gamma u_{3}^{*})(1+\delta u_{1}^{*})}+\frac{ \alpha \gamma \delta u_{2}^{*} u_{3}^{*}}{(1+\delta u_{1}^{*})(1+ \gamma u_{3}^{*})^{2}}>1\), then \(e_{1}<0<e_{3} \). A continuity argument shows that there exists a positive constant \(k_{23}^{*}\) such that, for \(k_{23}\geq k_{23}^{*}\), the three roots \(\tilde{\mu }_{1}\), \(\tilde{\mu }_{2}\), and \(\tilde{\mu }_{3}\) of \(\tilde{P}(\nu )=0\) are all real and satisfy
and we can conclude that \(\infty <\tilde{\mu }_{1}<0<\tilde{\mu } _{2}<\tilde{\mu }_{3}\). Furthermore, we can obtain
It is worth noting that since at least one eigenvalue \(\mu_{i}\) of −Δ satisfies \(\mu_{i}\in (\tilde{\mu }_{2}, \tilde{\mu }_{3})\) for some i, therefore \(C_{0}<0\) and the number of sign changes for the characteristic polynomial \(\psi (\lambda )\) is either one or three. By using Descartes’ rule, \(\psi (\lambda )\) has at least one positive root. Hence, we have the following theorem.
Theorem 5
If the condition
and (10) are fulfilled, then there exists a positive constant \(k_{23}^{*}\) such that the uniform stationary solution \(\mathbf{u^{*}}\) of system (1) is unstable provided \(k_{23}\geq k_{23}^{*}\).
Case 3
\(k_{31}\) is a variation parameter and other parameters are fixed.
Consider the following limits:
It is worth mentioning that \(\lim_{k_{31}\to \infty }{\tilde{P}( \nu )=\nu (f_{3}\nu^{2}+f_{2} \nu +f_{1})}\). Thus, when \(u_{2}^{*}+ \eta u_{3}^{*}+\frac{\alpha \eta u_{2}^{*} u_{3}^{*}}{(1+\gamma u_{3} ^{*})(m+u_{1}^{*})}+\frac{\mu \alpha u_{2}^{*}+2\alpha \gamma \mu u _{2}^{*} u_{3}^{*}}{(1+\gamma u_{3}^{*})^{2}}<\frac{\alpha \gamma {u_{2}^{*}}^{2} u_{3}^{*}}{(m+ u_{1}^{*})(1+\gamma u_{3}^{*})^{2}}\), we show that \(f_{1}<0<f_{3} \). A continuity argument shows that there exists a positive constant \(k_{31}^{*}\) such that, for \(k_{31}\geq k _{31}^{*}\), the three roots \(\tilde{\mu }_{1}\), \(\tilde{\mu }_{2}\), and \(\tilde{\mu }_{3}\) of \(\tilde{P}(\nu )=0\) are all real and satisfy
and we can conclude that \(\infty <\tilde{\mu }_{1}<0<\tilde{\mu } _{2}<\tilde{\mu }_{3}\). Furthermore, we can obtain
It is well known that since at least one eigenvalue \(\mu_{i}\) of −Δ satisfies \(\mu_{i}\in (\tilde{\mu }_{2}, \tilde{\mu }_{3})\) for some i, thus \(C_{0}<0\) and the number of sign changes for the characteristic polynomial \(\psi (\lambda )\) is either one or three. By using Descartes’ rule, \(\psi (\lambda )\) has at least one positive root. Therefore, we can conclude the following theorem.
Theorem 6
Suppose that
and (10) are satisfied. Then there exists a positive constant \(k_{31}^{*}\) such that, for \(k_{31}\geq k_{31}^{*}\), the uniform stationary solution \(\mathbf{u^{*}}\) of crossdiffusion predator–prey system (1) is unstable.
Case 4
\(k_{13}\) is a variation parameter and other parameters are fixed.
Perform the following limits:
Also notice that \(\lim_{k_{13}\to \infty }{\tilde{P}(\nu )= \nu (g_{3}\nu^{2}+g_{2} \nu +g_{1})}\). Thus, when \(\frac{k_{31}\eta (1+ \delta u_{1}^{*})}{m+ u_{1}^{*}}+1<\delta u_{1}^{*}u_{3}^{*}\), we show that \(g_{1}<0<g_{3} \). A continuity argument shows that there exists a positive constant \(k_{13}^{*}\) such that, for \(k_{13}\geq k_{13}^{*}\), the three roots \(\tilde{\mu }_{1}\), \(\tilde{\mu }_{2}\), and \(\tilde{\mu }_{3}\) of \(\tilde{P}(\nu )=0\) are all real and satisfy
and we can conclude that \(\infty <\tilde{\mu }_{1}<0<\tilde{\mu } _{2}<\tilde{\mu }_{3}\). Furthermore, we can obtain
It is remarkable that since at least one eigenvalue \(\mu_{i}\) of −Δ satisfies \(\mu_{i}\in (\tilde{\mu }_{2}, \tilde{\mu }_{3})\) for some i, hence \(C_{0}<0\) and the number of sign changes for the characteristic polynomial \(\psi (\lambda )\) is either one or three. By using Descartes’ rule, \(\psi (\lambda )\) has at least one positive root. Therefore, we can obtain the following instability theorem.
Theorem 7
Assume that the parameters satisfy
and (10). Then there exists a positive constant \(k_{13}^{*}\) such that, for \(k_{13}\geq k_{13}^{*}\), the uniform stationary solution \(\mathbf{u^{*}}\) of crossdiffusion system with generalist (1) is unstable.
Case 5
\(k_{22}\) is a variation parameter and other parameters are fixed.
Perform the following limits:
It is worth pointing out that \(\lim_{k_{22}\to \infty }{\tilde{P}( \nu )=\nu (s_{3}\nu^{2}+s_{2} \nu +s_{1})}\). Thus, when \(\frac{\alpha \gamma \delta u_{2}^{*} u_{3}^{*}}{ (1+\delta u_{1}^{*})(1+\gamma u _{3}^{*})^{2}}>1\), we show that \(s_{1}<0<s_{3} \). A continuity argument shows that there exists a positive constant \(k_{22}^{*}\) such that, for \(k_{22}\geq k_{22}^{*}\), the three roots \(\tilde{\mu }_{1}\), \(\tilde{\mu }_{2}\), and \(\tilde{\mu }_{3}\) of \(\tilde{P}(\nu )=0\) are all real and satisfy
and we can conclude that \(\infty <\tilde{\mu }_{1}<0<\tilde{\mu } _{2}<\tilde{\mu }_{3}\). Furthermore, we can obtain
It is clear that since at least one eigenvalue \(\mu_{i}\) of −Δ satisfies \(\mu_{i}\in (\tilde{\mu }_{2}, \tilde{\mu }_{3})\) for some i, therefore \(C_{0}<0\) and the number of sign changes for the characteristic polynomial \(\psi (\lambda )\) is either one or three. By using Descartes’ rule, \(\psi (\lambda )\) has at least one positive root. So, we can get the following instability theorem.
Theorem 8
Suppose that
and (10) are fulfilled. Then there exists a positive constant \(k_{22}^{*}\) such that, for \(k_{22}\geq k_{22}^{*}\), the uniform stationary solution \(\mathbf{u^{*}}\) of (1) is unstable.
Remark

(A)
By using the arguments similar to above, we can easily know that if the other constants are fixed, whereas selfdiffusion coefficient \(k_{11}\) or \(k_{33}\) is sufficiently large, then the selfdiffusion predator–prey system cannot induce Turing instability.

(B)
\(k_{13}\), \(k_{21}\), \(k_{22}\), \(k_{23}\), \(k_{31}\) can be chosen as variation parameters since the number of sign changes for the polynomial (16) could be bigger than one for large values of \(k_{13}\), \(k _{21}\), \(k_{22}\), \(k_{23}\), \(k_{31}\). By using Descartes’ rule, polynomial (16) could have at least a positive root, which leads to linear instability.
7 Examples
In this section, we will illustrate the correctness of our results by five examples. In order to facilitate the reading for crossdisciplinary readers, we need to point out that persistence means that all populations are persistent; symbiotic mutualism is a form of symbiosis, in which both sides in symbiosis are able to derive some kind of living benefit from each other; selfdiffusion means that the per capita diffusion of each species is influenced only by its own density; crossdiffusion refers to the per capita diffusion rate of each species which is influenced by the other ones; and a generalist predator indicates a population that can feed on multiple species. The parameter values a, b, c are intrinsic growth rates of the three species, respectively, while α, μ, η, γ, δ describe interspecies interactions.
Example 1
This example is for Theorems 2, 3, and 4 for Case 1. Let \(a=3\), \(b=2\), \(c=1\), \(\alpha =1\), \(\gamma =1\), \(\delta =\frac{1}{2}\), \(\eta =2\), \(\mu =3\). Then \(u_{1}^{*}=\frac{9+ \sqrt{97}}{2}, u_{2}^{*}=14+2\sqrt{97}, u_{3}^{*}=\frac{5+ \sqrt{97}}{4}\). Using direct calculation, it is easy to see that conditions (10) and (17) all hold. Therefore the positive equilibrium \(\mathbf{u^{*}}\) is linearly stable for ODEs (9) and reaction–diffusion system (12), whereas unstable for crossreaction–diffusion system (1).
Example 2
This example is for Theorems 2, 3, and 5 for Case 2. Let \(a=4\), \(b=1\), \(c=1\), \(\alpha =2\), \(\gamma =1\), \(\delta =\frac{1}{2}\), \(\eta =1\), \(\mu =2\). Then \(u_{1}^{*}=6+2 \sqrt{11}, u_{2}^{*}=13+5\sqrt{11}, u_{3}^{*}=2+\sqrt{11}\). By using direct calculation, it is easy to find that conditions (10) and (18) all hold. Therefore the positive equilibrium \(\mathbf{u^{*}}\) is linearly stable for ODEs (9) and reaction–diffusion system (12), whereas unstable for crossreaction–diffusion system (1).
Example 3
This example is for Theorems 2, 3, and 6 for Case 3. Let \(a=\frac{2}{5}\), \(b=\frac{1}{10}\), \(c=1\), \(\alpha =2\), \(\gamma =1\), \(\delta =\frac{1}{2}\), \(\eta =\frac{1}{10}\), \(\mu = \frac{1}{10}\), \(m=\frac{1}{10\text{,}000}\). Then \(u_{1}^{*}=\frac{31+ \sqrt{1041}}{10}\), \(u_{2}^{*}=\frac{51+3\sqrt{1041}}{200}\), \(u_{3}^{*}=\frac{11+ \sqrt{1041}}{20}\). By virtue of direct computation, it is easy to verify that conditions (10) and (19) all hold. Therefore the positive equilibrium \(\mathbf{u^{*}}\) is linearly stable for ODEs (9) and reaction–diffusion system (12), whereas unstable for cross reaction–diffusion system (1).
Example 4
This example is for Theorems 2, 3, and 7 for Case 4. Let \(a=3\), \(b=1\), \(c=1\), \(\alpha =2\), \(\gamma =1\), \(\delta =1\), \(\eta =1\), \(\mu =2\), \(k_{31}=8\), \(m=1\). Then \(u_{1}^{*}=3+ \sqrt{11}, u_{2}^{*}=7+3\sqrt{11}, u_{3}^{*}=2+\sqrt{11}\). By direct calculation, it is easy to prove that conditions (10) and (20) all hold. Therefore the positive equilibrium \(\mathbf{u^{*}}\) is linearly stable for ODEs (9) and reaction–diffusion system (12), whereas unstable for crossreaction–diffusion system (1).
Example 5
This example is for Theorems 2, 3, and 8 for Case 5. Let \(a=4\), \(b=1\), \(c=2\), \(\alpha =2\), \(\gamma =1\), \(\delta =1\), \(\eta =1\), \(\mu =3\). Then \(u_{1}^{*}=\frac{5+\sqrt{41}}{4}, u_{2}^{*}=\frac{13+5\sqrt{41}}{4}, u_{3}^{*}= \frac{1+\sqrt{41}}{2}\). By use of direct calculation, it is easy to know that conditions (10) and (21) all hold. Therefore the positive equilibrium \(\mathbf{u^{*}}\) is linearly stable for ODEs (9) and reaction–diffusion system (12), whereas unstable for crossreaction–diffusion system (1).
8 Conclusions and discussions
In this paper, we investigate a strongly coupled crossdiffusion predator–prey system with generalist predator (1). By virtue of the comparison principle and mathematical analysis, we derive sufficient conditions of persistence of system (1) without self and crossdiffusion. By linear stability analysis we obtain that a unique positive equilibrium is locally asymptotically stable for ODE and PDE systems without selfand crossdiffusion under certain conditions. Furthermore, we also get Turing instability emergence conditions for crossdiffusion and selfdiffusion (only as \(k_{22}\) is sufficiently large) predator–prey system. We illustrate the roles of diffusion, selfreaction diffusion, and nonlinear crossdiffusions in formation of stationary patterns. The above five instability theorems further show that selfdiffusion and crossdiffusion can drive the development of spatially homogeneous density distribution and play an important role in driving Turing patterns in our predator–prey crossdiffusion system with generalist predator. We explain the correctness of the important results by virtue of numerical examples.
From a biological point of view, under parameter condition (2), we first prove that the predator–prey reaction–diffusion system (1) with no self and crossdiffusion is persistent, and verify that its uniform positive steady state \(\mathbf{u^{*}}\) is asymptotically stable for ODEs and PDEs of system (1) under condition (10). Hence, the system does not belong to the classical Turing instability scheme. Next, by a linear stability method, the results show that selfdiffusions \(k_{11}\), \(k_{33}\) and crossdiffusion \(k_{12}\) cannot produce instability for the predator–prey system with generalist and create Turing instability. Finally, we investigate the roles of crossdiffusions and selfdiffusion in the stability of positive equilibrium \(\mathbf{u^{*}}\) and find that most of them may be helpful to create Turing instability under certain parameter conditions. Actually, the corresponding uniform steady state of the system with crossdiffusions \(k_{21}\), \(k_{23}\), \(k_{31}\), \(k_{13}\) or only selfdiffusion \(k_{22}\) can be made unstable by increasing these crossdiffusion coefficients or selfdiffusion to sufficiently large values, namely Turing instability can occur.
So selfdiffusion and crossdiffusion can destabilize a uniform positive equilibrium which is stable for system (9) and for weakly coupled reaction–diffusion system (12), whereas Turing instability and the stationary patterns arise from the effect of crossdiffusion and partial selfdiffusion. Our results obtained show not only that system (1) is capable of producing much more complex dynamics than the corresponding weakly coupled system (12) or single crossdiffusion system (1) with \(k_{12}>0\), \(k_{13}= k_{23}= k_{21}= k_{31}=0\), but also some interesting combining effects of intraspecies competitions, crossdiffusion, and interspecies interactions.
References
Lotka, A.J.: Elements of Physical Biology. Williams and Wilkins, Baryland (1925)
Volterra, V.: Variazioni e fluttuazini del numero d’individui in specie animali conviventi. Mem. R. Accad. Naz. dei Lincei Ser. VI 2(2), 31–113 (1926)
Zhang, L., Liu, J., Banerjee, M.: Hopf and steady state bifurcation analysis in a ratiodependent predator–prey model. Commun. Nonlinear Sci. Numer. Simul. 44, 52–73 (2017)
Li, C.L.: Stability and bifurcation of a ratiodependent prey–predator system with crossdiffusion. Comput. Math. Appl. 73, 565–575 (2017)
Bhowmich, S., Quansah, E., Basheer, A., Upadhyay, R.K.: Predator interference effects on biological control: the “paradox” of the generalist predator revisited. Commun. Nonlinear Sci. Numer. Simul. 39, 169–184 (2016)
Chattopadhyay, J., Chatterjee, S.: Cross diffusional effect in a Lotka–Volterra competitive system. Nonlinear Phenom. Complex Syst. 4(4), 364–369 (2001)
Pang, P.Y.H., Wang, M.X.: Strategy and stationary pattern in a threespecies predator–prey model. J. Differ. Equ. 20(2), 245–273 (2004). https://doi.org/10.1016/j.jde.2004.01.004
Guin, L.N.: Existence of spatial patterns in a predator–prey model with self and crossdiffusion. Appl. Math. Comput. 226, 320–335 (2014)
Guin, L.N., Haque, M., Mandal, P.K.: The spatial patterns through diffusiondriven instability in a predator–prey model. Appl. Math. Model. 36(5), 1825–1841 (2012)
Guin, L.N., Acharya, S.: Dynamic behaviour of a reactiondiffusion predator–prey model with both refuge and harvesting. Nonlinear Dyn. 88(2), 1501–1533 (2017)
Yan, X.P., Zhang, C.H.: Stability and Turing instability in a diffusive predator–prey system with Beddington–DeAngelis functional response. Nonlinear Anal., Real World Appl. 20, 1–13 (2014). https://doi.org/10.1016/j.nonrwa.2014.04.001
Shi, H.B., Li, Y.: Global asymptotic stability of a diffusive predator–prey model with ratiodependent functional response. Appl. Math. Comput. 250, 71–77 (2015)
Zeng, X.Z., Gu, Y.G.: Persistence and the global dynamics of the positive solutions for a ratiodependent predator–prey system with a crowding term in the prey equation. Acta Math. Sci. 36B(3), 689–703 (2016)
Turing, A.M.: The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. B, Biol. Sci. 237(641), 37–72 (1952)
Abdelmalek, S., Bendoukha, S.: On the global asymptotic stability of solutions to a generalised Lengyel–Epstein system. Nonlinear Anal., Real World Appl. 35, 397–413 (2017)
Han, Y.Z., Li, Z.F., Tao, J.C., Ma, M.J.: Pattern formation for a volumefilling chemotaxis model with logistic growth. J. Math. Anal. Appl. 448(2), 885–907 (2017)
Thrall, P.H., Hochberg, M.E., Burdon, J.J., Bever, J.D.: Coevolution of symbiotic mutualists and parasites in a community context. Trends Ecol. Evol. 22, 120–126 (2007)
Sebestyén, G.S., Faragó, I., Horváth, R., Kersner, R., Klincsik, M.: Stability of patterns and of constant steady states for a crossdiffusion system. J. Comput. Appl. Math. 293, 208–216 (2016)
Tian, C.R., Lin, Z.G., Pedersen, M.: Instability induced by crossdiffusion in reactiondiffusion systems. Nonlinear Anal., Real World Appl. 11(2), 1036–1045 (2010)
Fang, L.T., Wang, J.F.: The global stability and pattern formations of a predator–prey system with consuming resource. Appl. Math. Lett. 58, 49–55 (2016)
Ghorai, S., Poria, S.: Turing patterns induced by crossdiffusion in a predator–prey system in presence of habitat complexity. Chaos Solitons Fractals 91, 421–429 (2016)
Ling, Z., Zhang, L., Lin, Z.G.: Turing pattern formation in a predator–prey system with cross diffusion. Appl. Math. Model. 38, 5022–5032 (2014)
Sun, L.L., Fu, S.M., Ma, W.J.: Pattern formation in a predator–prey diffusion model with stage structure for the predator. Comput. Math. Appl. 70, 2988–3000 (2015)
Lacitignola, D., Bozzini, B., Frittelli, M., Sgura, I.: Turing pattern formation on the sphere for a morphochemical reactiondiffusion model for electrodeposition. Commun. Nonlinear Sci. Numer. Simul. 48, 484–508 (2017)
Song, Y.L., Yang, R., Sun, G.Q.: Pattern dynamics in a Gierer–Meinhardt model with a saturation term. Appl. Math. Model. 46, 476–491 (2017)
Peng, Y.H., Zhang, T.H.: Turing instability and pattern induced by crossdiffusion in a predator–prey system with Allee effect. Appl. Math. Comput. 275, 1–12 (2016)
Sun, G.Q., Jin, Z., Zhao, Y.G., Li, L.: Spatial pattern in a predator–prey system with both selfand crossdiffusion. Int. J. Mod. Phys. C 20(1), 71–84 (2009)
Guin, L.N.: Spatial patterns through Turing instability in a reactiondiffusion predator–prey model. Math. Comput. Simul. 109, 174–185 (2015)
Guin, L.N., Mondal, B., Chakravaty, S.: Stationary patterns induced by selfand crossdiffusion in a Beddington–DeAngelis predator–prey model. Int. J. Dyn. Control 5(4), 1051–1062 (2017)
Guin, L.N., Mandal, P.K.: Effect of prey refuge on spatiotemporal dynamics of the reactiondiffusion system. Comput. Math. Appl. 68(10), 1325–1340 (2014)
Tian, C.R., Ling, Z., Lin, Z.G.: Turing pattern formation in a predator–prey–mutualist system. Nonlinear Anal., Real World Appl. 12(6), 3224–3237 (2011)
Lv, Y.F., Yuan, R., Pei, Y.Z.: Turing pattern formation in a three species model with generalist predator and crossdiffusion. Nonlinear Anal. 85, 214–232 (2013)
Wen, Z.J., Fu, S.F.: Turing instability for a competitorcompetitormutualist model with nonlinear crossdiffusion effects. Chaos Solitons Fractals 91, 379–385 (2016)
Xie, Z.F.: Crossdiffusion induced Turing instability for a three species food chain model. J. Math. Anal. Appl. 388, 539–547 (2012)
Kareiva, P., Odell, G.: Swarms of predators exhibit “preytaxis” if individual predators use arearestricted search. Am. Nat. 130(2), 233–270 (1987)
Acknowledgements
The author is grateful to the anonymous referees for their excellent suggestions and making some useful corrections that have improved the presentation of the paper.
Funding
The author declares that the work is supported by the Natural Science Foundation of Henan Province (No. 142300410103). The author also declares that the funding body played a certain supervisory role in the design of the study and in writing the manuscript. Collection, analysis, and interpretation of data are not involved in this paper.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors of the manuscript have read and agreed to its content and are accountable for all aspects of the accuracy and integrity of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of 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
Miao, B. Persistence and Turing instability in a crossdiffusive predator–prey system with generalist predator. Adv Differ Equ 2018, 260 (2018). https://doi.org/10.1186/s136620181676x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620181676x
MSC
 35B36
 35B51
Keywords
 Crossdiffusion
 Turing instability
 Predator–prey models
 Linear stability
 Persistence