Abstract
In this article, a classical predator–prey system with linear cross-diffusion and Holling-II type functional response and subject to homogeneous Neuamnn boundary condition is considered. The spatially homogeneous Hopf bifurcation curve and Turing bifurcation curve of the constant coexistence equilibrium are established with the help of the linearized analysis. When the bifurcation parameters are restricted to the Turing instability region and near the Turing bifurcation curve, the associated amplitude equations of the original system near the constant coexistence equilibrium are obtained by means of multiple-scale time perturbation analysis. According to the obtained amplitude equations, the stability and classification of spatiotemporal patterns of the original system near the constant coexistence equilibrium are determined. It is shown that the cross-diffusion in the classical predator–prey system plays an important role in formation of spatiotemporal patterns. Also, the theoretical results are verified numerically.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well known that patterns in the nature are ubiquitous and they constitute the colorful world we live. Understanding the formation of patterns is great significant to the research of biological invasion and epidemic diffusion. In his seminal work [23], Turing explained successfully the changes of some animal surface patterns by means of a reaction–diffusion system coupled by two parabolic partial differential equations with homogeneous Neumann boundary conditions. Turing’s findings revealed that different random diffusions of two substances may lead to that a stable spatially uniform steady state loses its stability and then arises the spatially nonuniform patterns. This is called as Turing instability (or diffusion-driven instability). Since Turing’s pioneering work, Turing instability or Turing bifurcation for various reaction–diffusion ecosystems has attracted great interest of lots of researchers [4, 6, 8, 10, 11, 13, 15, 16, 21, 22, 25, 27, 28, 30,31,32].
In the real world, the interactions among species are various and the one of predator–prey type between two species is of great importance. Assume that there exist only predator and prey species in the same habitat and in the absence of predator species, the growth rate of prey species follows the Logistic growth law and the functional response of predator to prey is of Holling-II type. Then the normalized growth dynamics between two species can be described by the following reaction–diffusion system [20, 29]
where \(\Omega \subset R^{N}(N\ge 1)\) is a bounded domain with a smooth boundary \(\partial \Omega \) and \(\pmb {n}\) is the outside unit normal vector on \(\partial \Omega \); the Laplace operator \(\Delta \) implies that the spatial diffusion of prey and predator species are random and free; the variables u(x, t) and v(x, t) represent respectively the population densities of prey and predator species at space location \(x\in \Omega \) and time \(t>0\); \(d_{11},d_{22}>0\) are separately the diffusion coefficients of prey and predator species; \(c>0\) is the maximum environment carrying capacity of prey species; \(\theta >0\) is the natural death rate of the predator species in the absence of prey species; \(m>0\) is the maximum capture rate of the predator to prey and the function \(u/(1+u)\) is the functional response function of predator species to prey species. The homogenous Neumann boundary condition imposed in (1.1) is to guarantee that system (1.1) is self-contained.
Under the assumption that the distribution in space of prey and predator species is homogeneous, namely, in the case when there is no the effect on spatial diffusion, model (1.1) can take the corresponding ordinary differential equation (ODE) model
It is easy to reveal that when the condition
-
(H)
\(c,m>0\) and \(0<\theta <\frac{cm}{c+1}\)
holds, system (1.2) has the unique positive equilibrium \(E_*=(u_{*},v_{*})\), where
The asymptotical stability of the unique positive equilibrium \(E_*\) of ODE system (1.2) has been investigated extensively by several authors and the following main result has been obtained [7, 12]:
Theorem 1.1
Assume that the condition (H) holds.
-
(i)
If \((c-1)/2<u_{*}<c\), then the unique positive equilibrium \(E_*\) of (1.2) is globally asymptotically stable;
-
(ii)
If \(c>1\) and \(0<u_{*}<(c-1)/2\), then the unique positive equilibrium \(E_*\) of (1.2) is unstable and (1.2) has a globally asymptotically stable periodic orbit surrounding \(E_*\);
-
(iii)
When \(c>1\), \(u_{*}=(c-1)/2\) is the subcritical Hopf bifurcation value of system (1.2) at \(E_*\).
On the other hand, dynamics of reaction–diffusion system (1.1) has been also investigated deeply by several researchers [20, 29]. For example, under the condition (H), Yi et al. [29] analyzed in detail the spatiotemporal dynamics of (1.1) near the constant coexistence equilibrium \(E_*\) including Hopf bifurcation and steady state bifurcation. Peng and Shi [20] further gave some results regarding equilibrium of (1.1) and they obtained that when m is sufficiently large, system (1.1) has no nonconstant positive equilibrium. Meanwhile, it has been found that spatial diffusion in (1.1) does not affect the stability of the constant coexistence equilibrium \(E_*\). Therefore, Turing instability and Turing bifurcation of (1.1) at the constant coexistence equilibrium are impossible and the associated Hopf bifurcation and spatially heterogeneous steady-state solution bifurcation of (1.1) at \(E_*\) occur only in the instability regime of the ODE system (1.2). For the dynamics of system (1.1) with delay, see [5, 26]. Also, one can refer to references [1,2,3, 9] for Hopf bifurcation and steady state bifurcation of the constant coexistence equilibrium in some reaction–diffusion epidemic models.
It should be pointed out that the diffusive system (1.1) can predict more accurately the development of some species than the associated ODE system. However, in modelling (1.1) it is assumed that the diffusion of prey and predator species depends only upon gradients of the concentration of species but not on the spatial distribution of any other species [17]. Therefore, system (1.1) incorporates only the diffusion terms \(\Delta u\) and \(\Delta v\). In practice, in addition to the self-diffusion in the interior of species, there should also exist cross-diffusion effect among different species [14, 24]. As a result, reaction–diffusion systems with cross-diffusion effect can more practically describe the interactions between different species. Following the idea in [24], the flux of a species should be also induced by a gradient of the other species and according to the Fickian interpretation of the diffusion process, the cross-diffusion term of predator to prey species should take the form \(d_{12}v\) and the one of prey to predator species should take the form \(d_{21}u\), where \(d_{12},d_{21}\ge 0\) are respectively referred to as the cross-diffusion coefficients of predator to prey and prey to predator. Based on these considerations and model (1.1), a more reasonable predator–prey system should be described by the following reaction–diffusion system with the linear cross-diffusion
If we restrict the spatial domain \(\Omega \) to the planar rectangle domain \(\Omega _L=(0,L_{x})\times (0,L_{y})\) with \(L_x,L_y>0\), then model (1.4) can be read as the following form
Recently, Wang and Peng [25] investigated numerically the spatiotemporal dynamics of the unique constant coexistence equilibrium \(E_*\) of system (1.5) and they found that the linear cross-diffusion effect in (1.5) can induce more complicated spatiotemporal dynamics such as Turing instability and Turing patterns. Since the work in [25] is only numerical but not analytical, the classification and stability of Turing patterns of (1.5) near the unique constant coexistence equilibrium \(E_*\) cannot be determined. However, it is more important and interesting to analyze theoretically the classification and stability of Turing patterns of reaction–diffusion systems. Based on these reasons, the main aim of this paper is to explore in detail the classification and stability of Turing patterns of (1.5) near the unique constant coexistence equilibrium \(E_*\).
The layout of this paper is organized as follows. In Sect. 2, we determine the spatially homogeneous Hopf bifurcation curve and Turing bifurcation curve of system (1.5) at the unique constant coexistence equilibrium \(E_*\). In Sect. 3, through multiple-scale time analysis and successive approximations, the amplitude equations of system (1.5) near the unique constant coexistence equilibrium \(E_*\) are obtained. In Sect. 4, the existence and stability for different types of patterns arising near the Turing threshold are discussed in detail with the help of the amplitude equations obtained in the previous section. Some numerical simulations are carried out in Sect. 5 to verify the obtained theoretical predictions. Finally, some important conclusions are included also in Sect. 6.
2 Spatially Homogeneous Hopf and Turing Bifurcation Curves
In this section, we obtain the spatial homogeneous Hopf curve and Turing bifurcation curve of the unique constant coexistence equilibrium \(E_*\) of system (1.5) and determine the parameter range in which system (1.5) possesses Turing patterns near the constant coexistence equilibrium \(E_*\).
It is easy to see that under the condition (H), system (1.5) has the unique constant coexistence equilibrium \(E_*=(u_{*},v_{*})\), where \(u_{*}\) and \(v_{*}\) are given by (1.3). The Jacobian matrix of system (1.5) at \(E_*\) is
Let
Then the linearized form of system (1.5) at \(E_*\) can be written as
It follows from [17, 26] that all the eigenvalues of the eigenvalue problem
are nonnegative and hence they can be written into \(k^2\) such that they are usually said to be the wavenumbers. For a certain wavenumber \(k^2\) and \(0<\theta <\frac{cm}{c+1}\), define \(T_{k}(\theta )\) and \(D_{k}(\theta )\) by
Then the characteristic equation of the linear system (2.1) has the form
If Eq. (2.2) with \(k=0\) has a pair of purely imaginary roots and the associated transversality condition holds, then system (1.5) has a spatially homogeneous Hopf bifurcation at the coexistence equilibrium \(E_*\). When \(c>1\), let
Then one can see that when \(c>1\),
and
In addition, when \(c>1\) and \(k^2>0\),
Therefore, we can obtain that when \(c>1\), the spatially homogeneous Hopf bifurcation curve of (1.5) at \(E_*\) is
Now we deduce the Turing bifurcation curve of (1.5) at \(E_*\). To achieve this end, we need that the unique positive equilibrium \(E_*\) of the ODE system (1.2) is stable, that is,
In fact, we can see easily that (2.5) holds when \(c>1\) and
Under the condition (2.6), if for some \(k>0\), (2.2) has a root \(\lambda _k\) such that
then (1.5) has a Turing bifurcation at \(E_*\). It follows from [22] that under (2.6), if \(d_{11}d_{22}-d_{12}d_{21}>0\), the wave number \(k^2\) takes the critical value \(k_{T}^{2}=\sqrt{\frac{a_{11}a_{22}-a_{12}a_{21}}{d_{11}d_{22}-d_{12}d_{21}}}\) and
then system (1.5) has Turing bifurcation at \(E_*\). Therefore, when (2.6) holds and \(d_{11}d_{22}-d_{12}d_{21}>0\), the Turing bifurcation curve of (1.5) at \(E_*\) is given by
In addition, if (2.6) holds and \(d_{11}d_{22}-d_{12}d_{21}>0\), then the constant coexistence equilibrium \(E_*\) of system (1.5) is Turing unstable when
and hence the Turing patterns exist. However, when
the constant coexistence equilibrium \(E_*\) of system (1.5) is locally asymptotically stable.
Summarize the above analysis, we have the following result.
Theorem 2.1
Suppose that \(c > 1\) the condition (2.6) holds, \(d_{11}d_{22}-d_{12}d_{21}>0\) and \(\theta =\theta _T(m)\) is defined by Eq. (2.7). Then the constant coexistence equilibrium \(E_*\) of system (1.5) is locally asymptotically stable when \(\theta >\max \left\{ \theta _H,\theta _T(m)\right\} \), is Turing unstable as \(\theta _H<\theta <\theta _T(m)\) and system (1.5) can undergo a Turing bifurcation at \(E_*\) when \(\theta \) crosses through decreasingly \(\theta _T\) from up to down. In addition, the constant coexistence equilibrium \(E_*\) of system (1.5) is always unstable when \(c>1\) and \(0<\theta <\theta _H\), see Figs. 1 and 2.
Remark 2.2
Under the conditions (2.6) and \(d_{11}d_{22}-d_{12}d_{21}>0\). If \(d_{12}=d_{21}=0\), then we can see that the left hand side of (2.7) becomes
This implies that for all \(k^2\in [0,+\infty )\), all the roots of (2.2) have negative real parts and therefore the constant coexistence equilibrium \(E_*\) of system (1.5) is locally asymptotically stable. Thus, the Turing pattern cannot appear in (1.5) and this shows as well that the cross-diffusion plays an important role in the Turing pattern formation of (1.5).
Remark 2.3
If \(c>1\), \(0<\theta <\theta _H\) and \(\theta _{T}(m)\) is defined by the Eq. (2.7), then system (1.5) can bifurcate the spatially heterogeneous steady states from the constant coexistence equilibrium \(E_*\) when \(\theta \) passes through \(\theta _{T}(m)\) from up to down.
3 Amplitude Equations
This section is mainly devoted to obtaining the amplitude equations of system (1.5) at the constant coexistence equilibrium \(E_*\) when \(0<\theta _{T}-\theta \ll 1\) by using multi-scale time analysis.
Assume that \(0<\theta _{T}-\theta \ll 1\) and let \(\hat{u}=u-u_{*}\), \(\hat{v}=v-v_{*}\). Still denote \(\hat{u}\) and \(\hat{v}\) by u and v. Then system (1.5) is transformed into the following system
It is easy to see that the constant coexistence equilibrium \(E_*\) of system (1.5) corresponds to zero solution of system (3.1).
Define the real-valued Sobolev space X by
and
Then system (3.1) can be further expressed in view of Taylor expansion of f(u, v) and g(u, v) at (0, 0) as
where \(U=(u,v)^{T}\in X^{2}\), the linear operator \(L(\theta ): X^2\rightarrow [L^2(\Omega )]^2\) is defined by
with
and the nonlinear mapping \(N(\theta ;\cdot ,\cdot ): X^2\times X^2\rightarrow [L^2(\Omega )]^2\) is given by
here
Since the calculation is only limited to the case when \(0<\theta _{T}-\theta \ll 1\), it follows that \(\theta \) can be expressed as
where \(\epsilon \) is a very small positive number. Making use of the expansion (3.4), U can be expanded as the following power series
Thus the nonlinear mapping \(N(\theta ;U,U)\) defined by (3.3) has the form
where
as well as
here all the partial derivatives with the superscript stars represent the values of the corresponding partial derivatives when \(\theta =\theta _{T}\). Set
and
Define the second order matrices \(M_1\) and \(M_2\) by
Then the linear operator \(L(\theta )\) can be approximately decomposed into the following form:
where
Now we let
Substitute the decomposition formulas (3.4)–(3.8) into (3.2), and compare the coefficients of different orders of \(\epsilon \), it is obtained that
and
Define respectively \(\Phi \) and \(\Psi \) by and
and
Then the general solution of the linear homogeneous Eq. (3.9) can be expressed as the form
where \(W_{j}\) are the amplitudes corresponding to the modes of \(e^{\text {i}\pmb {k}_{j}\cdot \pmb {r}}(j=1,2,3)\). Here \(\pmb {k}_{j}(j=1,2,3)\) are called as wave vectors such that \(|\pmb {k}_{j}|=k_T\) and \(\pmb {k}_{1}+\pmb {k}_{2}+\pmb {k}_{3}=\pmb {0}\), see [18, 32].
According to the Fredholm solvability condition [19], Eq. (3.10) has a nontrivial solution if the vector function at the right end of Eq. (3.10) is orthogonal to the eigenfunction of operator \(L_{T}^{+}\) corresponding to zero eigenvalue, where
Notice that the zero eigenvector of \(L_{T}^{+}\) is
Let
Then when \((F_{u},F_{v})^{T}\) and (3.13) are orthogonal, we have
where \(F_{u}^{j}\) and \(F_{v}^{j}\) are the coefficients of \(e^{\text {i}\pmb {k}_{j}\cdot \pmb {r}}(j=1,2,3)\) in \(F_{u}\) and \(F_{v}\). Denote
and
where
and
Then from (3.14) we can get the equations about amplitudes \(W_{j}\) are
where \(H_{2}^{*}\) denotes the value of \(H_{2}\) at \(\theta =\theta _{T}\).
In the next, we need to solve Eq. (3.10). To ensure the convergence of \(W_{j}(j=1,2,3)\) in (3.17), the higher order terms like \(e^{2\textbf{i}\textbf{k}_{j}\cdot \textbf{r}}\) and \(e^{\textbf{i}(\textbf{k}_{i}-\textbf{k}_{j})\cdot \textbf{r}}\) should be considered in \(u_2\) and \(v_2\). Let
Then the solution of Eq. (3.10) is given by
in which
and
here \(A_{i}^{*}\) and \(B_{i}^{*}(j=0,1,2)\) denote the values of \(A_{i}\) and \(B_{i}(j=0,1,2)\) when \(\theta =\theta _{T}\).
Set
and \(\widetilde{F}_{u}^{j}\) and \(\widetilde{F}_{v}^{j}\) denote separately the coefficients of \(e^{\text {i}\pmb {k}_{j}\cdot \pmb {r}}(j=1,2,3)\) in \(\widetilde{F}_{u}\) and \(\widetilde{F}_{v}\). Then, the orthogonality of \((\widetilde{F}_{u},\widetilde{F}_{v})^{T}\) and (3.13) gives
Let
where
Furthermore, define \(G_1(\theta )\) and \(G_2(\theta )\) by
and
Then putting (3.12) and (3.18) into (3.11), we can obtain the equations about amplitudes \(V_{j}\) and \(W_{j}\) are as follows:
where \(G_{1}^{*}=G_{1}(\theta _{T})\) and \(G_{2}^{*}=G_{2}(\theta _{T})\).
Now in system (3.1) let
Then it follows from [18, 30] that \(A_{j}=\Phi B_{j}(j=1,2,3)\) and the amplitudes \(A_{j}\) can be expanded as
According to the decomposition (3.8), the partial derivative of amplitudes \(A_{j}(j=1,2,3)\) with respect to time t has the form
Let \(H(\theta )\) be given by
and
where \(H_{2}(\theta )\), \(G_{1}(\theta )\) and \(G_{2}(\theta )\) are given respectively by (3.16) and (3.21). It follows from (3.17) and (3.22) that the amplitude equations of model (1.4) near \((u_{*},v_{*})\) are
4 Classification and Stability of Turing Patterns
In the present section, we discuss the existence and stability of Turing patterns arising near the Turing threshold in system (1.5) through the amplitude equations obtained in the previous section. A stable Turing pattern corresponds to a stable steady state solution of Eq. (3.23). Since each amplitude in (3.23) can be expressed into the function of a mode \(\rho _{i}=|A_{i}|\) and a phase angle \(\varphi _{i}\), one can know that \(A_j\) can be written into \(A_{j}=\rho _{j}e^{\text {i}\varphi _{j}}(j=1,2,3)\). Putting \(A_{j}=\rho _{j}e^{\text {i}\varphi _{j}}(j=1,2,3)\) into Eq. (3.23) and separating the real and the imaginary parts, we have the following equations
where \(\varphi =\varphi _{1}+\varphi _{2}+\varphi _{3}\). According to [18, 19], we know that system (4.1) has the following four kinds of stationary solutions when \(g_1,g_2>0\).
-
(1)
The stationary state
$$\begin{aligned} \rho _{1}=\rho _{2}=\rho _{3}=0 \end{aligned}$$is stable if \(\mu <0\triangleq \mu _{2}\) and unstable for \(\mu >\mu _{2}\).
-
(2)
The stripe pattern solution
$$\begin{aligned} S: \rho _{1}=\sqrt{\frac{\mu }{g_{1}}}, \rho _{2}=\rho _{3}=0 \end{aligned}$$exists when \(\mu >0\). The stripe solution \((\sqrt{\frac{\mu }{g_{1}}},0,0)\) is stable for
$$\begin{aligned} \mu >\frac{h^{2}g_{1}}{(g_{2}-g_{1})^{2}}\triangleq \mu _{3} \end{aligned}$$and unstable for \(0<\mu <\mu _{3}\).
-
(3)
The hexagon pattern solutions
$$\begin{aligned} H_{0}: \rho _{1}=\rho _{2}=\rho _{3}=\frac{\mid h\mid + \sqrt{h^{2}+4(g_{1}+2g_{2})\mu }}{2(g_{1}+2g_{2})},\\ H_{\pi }: \rho _{1}=\rho _{2}=\rho _{3}=\frac{\mid h\mid - \sqrt{h^{2}+4(g_{1}+2g_{2})\mu }}{2(g_{1}+2g_{2})}, \end{aligned}$$exist when
$$\begin{aligned} \mu >\frac{-h^{2}}{4(g_{1}+2g_{2})}\triangleq \mu _{1}. \end{aligned}$$The solution \(H_{0}\) is stable only for
$$\begin{aligned} \mu <\frac{h^{2}(2g_{1}+g_{2})}{(g_{2}-g_{1})^{2}}\triangleq \mu _{4}, \end{aligned}$$while \(H_{\pi }\) is always unstable.
-
(4)
The mixed state
$$\begin{aligned} \rho _{1}=\frac{\mid h\mid }{g_{2}-g_{1}}, \rho _{2}=\rho _{3}=\sqrt{\frac{\mu -g_{1}\rho _{1}^{2}}{g_{1}+g_{2}}}, \end{aligned}$$exists when \(g_{2}>g_{1}\), \(\mu >g_{1}\rho _{1}^{2}\) and it is always unstable.
It is easy to know that under the condition \(g_{1},g_{2}>0\), the critical value \(\mu _k(k=1, 2, 3, 4)\) have the relationship \(\mu _1<\mu _2<\mu _3<\mu _4\). The curves of \(S, H_0\) and \(H_\pi \) against \(\mu \) are demonstrated in Fig. 3 and we can see that when \(\mu _{1}<\mu <\mu _{2}\), both the uniform stationary solution and the hexagonal pattern \(H_{0}\) are stable; when \(\mu _{2}<\mu <\mu _{3}\), only the hexagonal pattern \(H_{0}\) is stable; when \(\mu _{3}<\mu <\mu _{4}\), both the stripe pattern S and hexagonal pattern \(H_{0}\) are stable; when \(\mu >\mu _{4}\), only the stripe is stable. In addition, when \(\mu >\mu _{4}\), the hexagonal pattern \(H_{\pi }\) is always unstable.
5 Numerical Simulations for Pattern Formations
In this section, we shall give some numerical simulations in order to verify the theoretical results obtained in Sects. 2 and 3. To carry out our numerical simulations, initial conditions in system (1.5) is taken as the random ones, \(L_x=L_y=200\), and system (1.5) is numerically integrated by using the finite difference approximation of spatial derivatives and the explicit Euler method of time derivative, in which the time step is 1/100. Set the parameters in system (1.5) as \(d_{11}=0.5, d_{12}=0.5, d_{21}=1.45, d_{22}=1.5, m=0.8, c=2\). Then in this case \(\theta _H=0.2667\) and \(\theta _T=0.3892\). Take \(\theta =0.345\), \(\theta =0.36\) and \(\theta =0.376\) respectively. Then the values for \(\mu _k(k=1,2,3,4)\) and \(\mu \) are set in the Table 1.
When \(\theta =0.345\), \(\mu \) is between \(\mu _{2}\) and \(\mu _{3}\). According to the previous theoretical analysis, system (1.5) will have a stable spot pattern and the stable \(H_{0}\) hexagon pattern, see Fig. 4. According to Fig. 4d, except for the yellow spots, the prey population is mainly distributed in the blue square area. The numerical simulation shows that the numerical results are consistent with the theoretical ones.
When \(\theta =0.36\), it can be seen that \(\mu \in (\mu _{3},\mu _{4})\) and hence the stripe and \(H_{0}\) hexagon patterns of system (1.5) are stable, see Fig. 5. It is shown that spot patterns and stripe patterns occur simultaneously and they compete each other. The dynamics of the model shows the transition from spot patterns to stripe patterns growth, that is, spot patterns decay and stripe patterns occur.
When \(\theta \) is selected as 0.376, one can find from Table 1 that \(\mu >\mu _{4}\) and so only the stripe patterns are stable. The numerical results show that the final pattern is the stripe pattern, see Fig. 6. It can be found that the labyrinth pattern occupies the entire spatial area.
6 Conclusions
Although reaction–diffusion systems with self-diffusion can more reasonably predict the development of some species than the associated ODE models, under some particular situations cross-diffusion among species cannot still be omitted. Consequently, we regarded a classical two-species predator–prey reaction–diffusion system with the linear self-diffusion and cross-diffusion and subject to homogeneous Neumann boundary condition on a planar rectangle domain in this paper.
It has been found in [29] that only random freedom diffusion in the classical predator–prey system with the Holling-II type functional response and subject to homogeneous Neumann boundary condition on a bounded domain with a smooth boundary doesn’t affect the stability of the constant coexistence equilibrium. Whether or not the cross-diffusion can bring out more complicated dynamical behaviors in reaction–diffusion systems is an important and interesting subject. Here, we explored mainly the effect of cross-diffusion on dynamical behaviors of system in [29] and it was shown that the occurrence of linear cross-diffusion can arise more complicated dynamical behaviors such as various Turing patterns.
The effect of linear cross-diffusion on dynamical behaviors of model (1.5) have been concerned in [25], however, they gave only numerical simulations for the associated phenomena but not the detailed theoretical analysis. Therefore, the classification and stability of Turing patterns of system (1.5) near the unique constant coexistence equilibrium cannot be determined. The main contribution of this paper is that the classification and stability of Turing patterns of (1.5) near the unique constant coexistence equilibrium were gave in detail.
References
Bentout, S., Djilali, S., Atangana, A.: Bifurcation analysis of an age-structured prey–predator model with infection developed in prey. Math. Methods Appl. Sci. 45, 1189–1208 (2022)
Bentout, S., Djilali, S., Ghanbari, B.: Backward, Hopf bifurcation in a heroin epidemic model with treat age. Int. J. Model. Simul. Sci. Comput. 12, 2150018 (2021)
Bentout, S., Djilali, S., Kuniya, T., Wang, J.-L.: Mathematical analysis of a vaccination epidemic model with nonlocal diffusion. Math. Methods Appl. Sci. 46, 10970–10994 (2023)
Boudjema, I., Djilali, S.: Turing-Hopf bifurcation in Gauss-type model with cross diffusion and its application. Nonlinear Stud. 25, 665–687 (2018)
Chen, S.-S., Shi, J.-P., Wei, J.-J.: The effect of delay on a diffusive predator-prey system with Holling type-II predator functional response. Commun. Pure Appl. Anal. 12, 481–501 (2013)
Chen, M.-X., Wu, R.-C., Chen, L.-P.: Spatiotemporal patterns induced by Turing and Turing-Hopf bifurcations in a predator-prey system. Appl. Math. Comput. 380, 125300 (2020)
Cheng, K.-S.: Uniqueness of a limit cycle for a predator–prey system. SIAM J. Math. Anal. 12, 541–548 (1981)
Djilali, S.: Pattern formation of a diffusive predator–prey model with herd behavior and nonlocal prey competition. Math. Methods Appl. Sci. 43, 2233–2250 (2020)
Djilali, S.: Threshold asymptotic dynamics for a spatial age-dependent cell-to-cell transmission model with nonlocal disperse. Discrete Contin. Dyn. Syst. Ser. B 28, 4108–4143 (2023)
Djilali, S., Bentout, S.: Pattern formations of a delayed diffusive predator–prey model with predator harvesting and prey social behavior. Math. Methods Appl. Sci. 44, 9128–9142 (2021)
Guin, L.-N.: Spatial patterns through Turing instability in a reaction–diffusion predator-prey model. Math. Comput. Simul. 109, 174–185 (2015)
Hsu, S.-B.: On global stability of a predator–prey system. Math. Biosci. 39, 1–10 (1978)
Hu, G.-P., Li, X.-L.: Turing patterns of a predator–prey model with a modified Leslie-Gower term and cross-diffusions. Int. J. Biomath. 5, 1250060 (2012)
Iida, M., Mimura, M., Ninomiya, H.: Diffusion, cross-diffusion and competitive interaction. J. Math. Biol. 53, 617–641 (2006)
Li, Y.-X., Liu, H., Wei, Y.-M., Ma, M.: Turing pattern of a reaction–diffusion predator-prey model with weak Allee effect and delay. J. Phys. Conf. Ser. 1707, 012025 (2020)
Mezouaghi, A., Djilali, S., Bentout, S., Biroud, K.: Bifurcation analysis of a diffusive predator–prey model with prey social behavior and predator harvesting. Math. Methods Appl. Sci. 45, 718–731 (2022)
Murray, J.-D.: Mathematical Biology II. Springer, Heidelberg (1993)
Ouyang, Q., Gunaratne, G.H., Swinney, H.L.: Rhombic patterns: broken hexagonal symmetry. Chaos 3, 707–711 (1993)
Ou, Y.-X.: Nonlinear Science and the Pattern Dynamics Introduction. Peking University Press, Beijing (2010)
Peng, R., Shi, J.-P.: Non-existence of non-constant positive steady states of two Holling type-II predator-prey systems: Strong interaction case. J. Differ. Equ. 247, 866–886 (2009)
Song, Y.-L., Tang, X.-S.: Stability, steady-state bifurcations, and Turing patterns in a predator–prey model with herd behavior and prey-taxis. Stud. Appl. Math. 139, 371–404 (2017)
Tang, X.-S., Song, Y.-L.: Cross-diffusion induced spatiotemporal patterns in a predator–prey model with herd behavior. Nonlinear Anal. Real World Appl. 24, 36–49 (2015)
Turing, A.-M.: The chemical basis of morphogenesis. Bull. Math. Biol. 237, 37–72 (1952)
Vanag, V., Epstein, I.: Cross-diffusion and pattern formation in reaction–diffusion systems. Phys. Chem. Chem. Phys. 11, 897–912 (2009)
Wang, Q.-F., Peng, Y.-H.: Turing instability and pattern induced by cross-diffusion in a predator-prey system. J. Shanghai Normal Univ. (Nat. Sci.) 47, 331–337 (2018)
Wu, J.-H.: Theory and Applications of Partial Functional Differential Equations. Springer, New York (1996)
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)
Yang, B.: Pattern formation in a diffusive ratio-dependent Holling–Tanner predator–prey model with Smith growth. Discrete Dyn. Nat. Soc. 1, 87–118 (2013)
Yi, F.-Q., Wei, J.-J., Shi, J.-P.: Bifurcation and spatio-temporal patterns in a homogeneous diffusive predator–prey system. J. Differ. Equ. 246, 1944–1977 (2009)
Yuan, S.-L., Xu, C.-Q., Zhang, T.-H.: Spatial dynamics in a predator–prey model with herd behavior. Chaos 23, 33102–33102 (2013)
Zhang, J.-F., Li, W.-T., Yan, X.-P.: Hopf bifurcation and Turing instability in spatial homogeneous and inhomogeneous predator-prey models. Appl. Math. Comput. 218, 1883–1893 (2011)
Zhou, Y., Yan, X.-P., Zhang, C.-H.: Turing patterns induced by self-diffusion in a predator–prey model with schooling behavior in predator and prey. Nonlinear Dyn. 105, 3731–3747 (2021)
Acknowledgements
We would like to express our grateful thanks to the reviewers for their careful reading and helpful comments of the manuscript
Author information
Authors and Affiliations
Contributions
Xiang-Ping Yan and Tong-Jie Yang wrote the manuscript text and completed all the computations in the manuscript. Xiang-Ping Yan checked the correction of all the formula and revised all the problems like grammas, computations etc. Cun-Hua Zhang completed all the figures in the manuscript. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by the National Natural Science Foundation of China (12261054) and Natural Science Foundation of Gansu Province of China (22JR5RA346).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Yan, XP., Yang, TJ. & Zhang, CH. Turing Patterns Induced by Cross-Diffusion in a Predator–Prey System with Functional Response of Holling-II Type. Qual. Theory Dyn. Syst. 23, 168 (2024). https://doi.org/10.1007/s12346-024-01031-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-024-01031-x