 Research
 Open Access
 Published:
Spatiotemporal dynamics for a diffusive mussel–algae model near a Hopf bifurcation point
Advances in Difference Equations volume 2021, Article number: 182 (2021)
Abstract
In this paper, the Hopf bifurcation and Turing instability for a mussel–algae model are investigated. Through analysis of the corresponding kinetic system, the existence and stability conditions of the equilibrium and the type of Hopf bifurcation are studied. Via the center manifold and Hopf bifurcation theorem, sufficient conditions for Turing instability in equilibrium and limit cycles are obtained, respectively. In addition, we find that the strip patterns are mainly induced by Turing instability in equilibrium and spot patterns are mainly induced by Turing instability in limit cycles by numerical simulations. These provide a comprehension on the complex pattern formation of a mussel–algae system.
1 Introduction
As early as 1952s, Turing [1] found that the pattern formation in biological systems can be expressed by the coupled reactiondiffusion equations. Turing theory shows that pattern formation is possible if two substances interact differently in their diffusion range. Since then, the dynamics of pattern formation has attracted wide attention in biology [2–4], chemistry [5], aquatic ecosystem [6, 7], embryogenesis [8–10], and so on. With the application of spatial patterns in multifarious ecosystems systems, the stability of pattern solutions [11, 12], the stability of the positive equilibrium solutions, the Hopf bifurcation at the critical point, the Turing bifurcation in different reactiondiffusion systems, and the dynamical properties in Turing–Hopf bifurcation point have been getting a significant progress on the stability of pattern formation [13]. As well as implication of the mussel–algae bed patterns, Van De Koppel [14] proposed a simple mathematical model to illustrate the pattern formation process, and they investigated the influences of selforganization on the emergent properties of nature systems. The reactiondiffusion equations for the original mussel–algae model with weakly nonlinear diffusive instability have the following form:
where M is the density of mussel, A is the density of algae, \(\Delta = \frac{{{\partial ^{2}}}}{{\partial {X^{2}}}}\), c is the consumption constant, e is a conversion constant relating ingested algae to mussel production, \(d_{M}\) is the maximal per capita mussel mortality rate, \(k_{M}\) is the saturation rate of mussel, \(A_{UP}\) describes the concentration of algae in the upper water layer, ρ is the exchange rate between the lower and upper water layers, H is the height of the lower water layer, V is the advection constant, \(D_{M}\) and \(D_{A}\) are the diffusion coefficients of the mussel and algae, respectively. Based on the dimensionless variables in literature [15] \(x = X\sqrt{\frac{c{k_{M} }}{D_{A} H}}\), \(t = {sd_{M}}\), \(m = \frac{M}{k_{M}}\), \(a = \frac{A}{A_{UP}}\), \(r = \frac{{ec{A_{UP}}}}{{{d_{M}}}}\), \(\alpha = \frac{\rho H}{c{k_{M}} }\), \(\gamma = \frac{{{d_{M} H}}}{c{k_{M}} }\), \(\nu = V\sqrt{\frac{H }{c K_{M} D_{A}}}\), and \(\mu = \frac{{{D_{M}}}}{{\gamma {D_{A}}}}\), then system (1) becomes
Although algae are considered advection of tidal currents on a large scale, they are actually dispersed in the fluid in the form of Brownian particles on a small scale [13]. Numerous laboratory results show that mussels can actively move both within and between clusters, the influence of advection with tidal flow at a smallscale space on the mussel bed is very small. These imply that advection and diffusion are two different ecological processes; in real mussel bed ecosystems, these processes normally coexist and share the same activatorinhibitor mechanism [13, 16]. Advection and diffusion are equivalent due to the emergence of spatial selforganizing patterns. Therefore, we study system (2) with selfdiffusion and Neumann boundary conditions in onedimensional space x, which has the following form:
Models (1)–(3) have been investigated by scholars. Wang et al. [17] derived the conditions for differentialflow instability that causes the formation of spatial patterns, and then systematically investigated the influence of parameters on pattern formation. Liu et al. [16] verified that the dimensionless model is an extension of the original model and in exact accordance with their laboratory experiment. Ghazaryan and Manukian [15] used the geometric singular perturbation theory to study the nonlinear mechanisms of pattern and wave formation. Sherratt and Mackenzie [18] considered the influence of advection of algae for pattern formation. Song et al. [13] applied the normal form method to study the Turing–Hopf bifurcation with Neumann boundary conditions. Based on the previous research, it has been observed that (3) possesses a spatially homogeneous periodic solution for some parameter ranges, and the interaction between Hopf bifurcation and Turing bifurcation may be the driving force for more complex spatiotemporal phenomena for (3) [13].
For the Hopf bifurcation of a reactiondiffusion system, Yi et al. [19] determined the direction of Hopf bifurcation and the stability of bifurcating periodic solutions for a reactiondiffusion Lengyel–Epstein model. Particularly, they showed the existence of multiple spatially nonhomogeneous periodic orbits while the system parameters are all spatially homogeneous. Early, Yi et al. [20, 21] considered a reactiondiffusion Lengyel–Epstein system, they investigated the global asymptotic behavior and gave Turing instability conditions for the spatially homogeneous equilibrium solution and the spatially homogeneous periodic solution. Similarly, Liu and Yi et al. worked along this line and have done the Gierer–Meinhardt model and the bimolecular model [22]. Recently, Wang and Hou et al. [23, 24] developed this method and have done the Gierer–Meinhardt model and the tussock wedge model. They showed sufficient conditions for Turing instability in the spatially homogeneous equilibrium solution and the spatially homogeneous periodic solution, respectively.
The purpose of this paper is to study the stability of the stable positive equilibrium as a spatial homogeneous steady solution, and the stability of the periodic orbit as a spatial homogeneous periodic solution of the reactiondiffusion mussel–algae model. In this article, we analyze the stability and Hopf bifurcation of the positive equilibrium in both ODE (the corresponding ordinary differential equation model of system (3)) and PDE (the partial differential equation system (3)) models and determine the conditions for the direction of bifurcation and the stability of the bifurcating periodic solution. For PDE system (3), we also derive the precise conditions on the parameters so that the spatially homogeneous steady solution and the spatially homogeneous periodic solution become Turing unstable. By both theoretical analysis and numerical simulations, we show the coexistence of an unstable equilibrium point and a stable limit cycle for ODE, and a Turing unstable periodic solution is attracted by a stable nonconstant steady state for PDE. The discussion of the pattern formation mechanism in equation (3) mainly concerns the dynamics of the corresponding ODE system and the spatial diffusion system.
The paper is organized as follows: In Sect. 2, the existence and stability of the positive equilibrium and Hopf bifurcation are analyzed. In Sect. 3, sufficient conditions for Turing instability in equilibrium and spatial homogeneous periodic solutions are given theoretically, respectively. In Sect. 4, some simulations are given to illustrate the theorems in Sects. 2 and 3.
2 Local stability analysis and Hopf bifurcation for the ODE system
For the reactiondiffusion mussel–algae system (3), the local system is an ordinary differential equation, which has the following form:
The dynamics of the ODE system mainly includes the stability of the equilibrium and Hopf bifurcation. In the following, we analyze these dynamics in detail.
2.1 Local stability analysis of the equilibria
The equilibria of system (4) satisfy the following equation:
About the analysis of the equilibria of system (5), we have the following proposition.
Proposition 2.1

(1)
The equilibrium \((m_{0},a_{0})=(0,1)\) always exists;

(2)
There exists a unique positive equilibrium \((m_{*},a_{*}) = ( {\frac{{\alpha (r  1)}}{{1  \alpha r}}, \frac{{1  \alpha r}}{{r(1  \alpha )}}} )\) if (H1) or (H2) holds, where
The stability of the equilibria can be analyzed by the Jacobian matrix of (4). The Jacobian matrix associated with \((m_{*},a_{*})\) is
and the corresponding characteristic equation of (5) is
where
It is easy to verify that the characteristic equation (5) has two eigenvalues
We can easily verify that \((m_{*},a_{*})\) is unstable when condition \({\mathrm{(H1)}}\) holds because \({\mathrm{D}}<0\). If \({\mathrm{(H2)}}\) holds, \({\mathrm{D}}>0\). Thus equilibrium \((m_{*},a_{*})\) is asymptotically stable when \({\mathrm{T}}<0\).
Theorem 2.1
The equilibrium \((0,1)\) is asymptotically stable if \(r<1\) holds. The positive equilibrium \((m_{*}, a_{*})\) is asymptotically stable if (H3) holds and unstable if (H4) holds.
Furthermore,

(i)
\((m_{*},a_{*})\) is a stable node if \(\gamma \leq\gamma _{1}\),

(ii)
\((m_{*},a_{*})\) is an unstable node if \(\gamma \geq\gamma _{2}\),

(iii)
\((m_{*},a_{*})\) is a stable focus if \(\gamma _{1}<\gamma <\gamma _{H}\),

(iv)
\((m_{*},a_{*})\) is an unstable focus if \(\gamma _{H}<\gamma <\gamma _{2}\).
Here
2.2 Hopf bifurcation analysis
From Theorem 2.1, we can find that the stable equilibrium \((m_{*},a_{*})\) becomes unstable when γ increases from the left to the right of \(\gamma _{H}\). Hence, let γ be the main bifurcation parameter, the direction and the stability of Hopf bifurcation will be investigated in the following. Mathematically, this parameter shows an equal role to other parameters in system (4), which can also be chosen to make similar demonstration. Firstly, we transform equilibrium from \((m_{*},a_{*})\) to \((0,0)\), namely let \(w = m  m_{*}\) and \(z = a  a_{*}\), then equation (4) becomes
where
Based on [25, 26], the occurrence of Hopf bifurcation needs the nonzero transversality condition \(d= \frac{{d \vert {\operatorname{Re} ({\lambda _{1,2}})} \vert }}{{d\gamma }} \vert {_{\gamma = {\gamma _{H}}}} \). Through computation, we have \(d= \frac{{r\alpha {{(1  r)}^{2}}{{(r\alpha  1)}^{3}}}}{{r{{(\alpha  1)}^{5}}}} > 0\). Next, we study the stability and direction of the Hopf bifurcation near the critical value \(\gamma =\gamma _{H}\). When \(\gamma =\gamma _{H}\), we obtain that \({\lambda _{1,2}} = \pm i{\omega _{0}}\), and \({\omega _{0}} = \frac{(r  1)\sqrt{\alpha }{(1  r\alpha )}^{3/2}}{\sqrt{2}r (\alpha  1)^{2}}>0\). Moreover, we can get the eigenvector for \(i{\omega _{0}}\), i.e., \(\xi = { ( {  \frac{{\alpha {r^{2}}{{(\alpha  1)}^{2}}}}{{{{(r\alpha  1)}^{2}}}} + \frac{{\alpha r(r  1)}}{{{\omega _{0}}}}i,1} )^{T}}\). The corresponding general eigenvectors of \(\pm i{\omega _{0}}\) are \(\xi _{1} = ( \frac{\alpha r(r  1)}{\omega _{0}},0 )^{T}\) and \(\xi _{2} = (  \frac{{\alpha r^{2}}{(\alpha  1)}^{2}}{(r\alpha  1)^{2}},1 )^{T}\). Let \((w,z)^{T}= (\xi _{1},\xi _{2} )(u,v)^{T}\), then system (9) will transform to the following form:
where
In order to determine the type of Hopf bifurcation at \((m_{*},a_{*})\), we should determine the sign of discriminatory quantity σ. According to [26, 27], σ has the following form:
By further computation, we have \(\sigma = \frac{{\alpha {r^{2}}}}{{8(1  r\alpha )}} [ { ( {1  r} ) + r ( {r\alpha  1} )} ] < 0\). Through the above analysis, we can get the following theorem.
Theorem 2.2
System (4) undergoes Hopf bifurcation at \((m_{*},a_{*})\) for \(\gamma =\gamma _{H}\) if \({\mathrm{(H2)}}\) holds. The Hopf bifurcation is supercritical due to \(\sigma <0\) and the stable limit cycle will bifurcate from \((m_{*},a_{*})\) at the right of \(\gamma _{H}\).
3 Turing instability analysis
In this section, we study the impact of diffusion term on the stability of \((m_{*},a_{*})\) and the limit cycle of system (3), respectively. It should be noted that the solution to system (4) is also a solution of the reaction diffusion system (3) [28, 29].
3.1 Turing instability in equilibrium
System (4) possesses the constant equilibrium of (3) as a spatially homogeneous steady state. If \((m_{*},a_{*})\) is an unstable equilibrium of (4), then it is clearly also unstable for (3). While if the constant equilibrium is stable for (4), it could be unstable for (3) because of diffusion [30]. Firstly, we suppose that conditions \(\mathrm{{(H2)}}\) and \({\mathrm{(H3)}}\) are established, so \((m_{*},a_{*})\) is a stable equilibrium for system (4). With Neumann boundary conditions, we consider the reaction diffusion system (3) in the Banach space \({H^{2}} ( {(0,\pi )} ) \times {H^{2}} ( {(0,\pi )} )\), where
We can easily obtain that \((m_{*},a_{*})\) is stable for system (3). The equilibrium \((m_{*},a_{*})\) is nonlinearly unstable for (3) if it is linearly unstable in \({H^{2}} ( {(0,\pi )} ) \times {H^{2}} ( {(0,\pi )} )\).
Let \({u_{1}} = m  m_{*}\) and \({u_{2}} = a  a_{*}\), then system (3) is transformed into
with the boundary conditions
The solution of (11)–(12) in \({H^{2}} ( {(0,\pi )} ) \times {H^{2}} ( {(0,\pi )} )\) has the following form [3, 4]:
where \(\lambda _{k} \in \mathbb{C}\) is the temporal spectrum, k is the spatial spectrum, \(M_{k}\) and \(A_{k}\) are complex numbers for \(k=0,1,2, \ldots \) . Substituting (13) into (11), then
Collecting items of the same powers about k, then
where
The characteristic equation of \(J_{k}\) is
where
If \(\operatorname{Tr}(J_{k})<0\) or \(\operatorname{Det}(J_{k})>0\) does not hold for some k, Turing instability will occur in equilibrium [8, 31–33]. In the following, we give conditions for the occurrence of Turing instability in \((m_{*},a_{*})\). If \(\operatorname{Det}(J_{k})>0\) for all \(k=0,1,2,\ldots \) , \((m_{*},a_{*})\) is stable for system (3), and there are no Turing patterns occurring. If \(\operatorname{Det}(J_{k})<0\) for at least one \(k \in N\), \((m_{*},a_{*})\) is unstable for system (3), and Turing patterns occur. Through the above analysis, we can get the following theorem.
Theorem 3.1
Assume that conditions (H2) and (H3) are satisfied. Let
then \((m_{*},a_{*})\) is asymptotically stable for system (3) if \(\mathrm{{(H5)}}\) or \(\mathrm{{(H6)}}\) holds. Otherwise unstable one if \(\mathrm{{(H7)}}\) holds, where

(H5)
\({\mu } \ge \frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2}}}}\),

(H6)
\({m^{2}} < \frac{(r  1)\alpha (1  r\alpha )}{(\alpha  1)^{2} \mu } \le { ( {m + 1} )^{2}}\), \({\mu } > {D_{m}}\),

(H7)
\({m^{2}} < \frac{(r  1)\alpha (1  r\alpha )}{(\alpha  1)^{2} \mu } \le { ( {m + 1} )^{2}}\), \({\mu } < {D_{m}}\).
Proof
If conditions (H2) and (H3) hold, \(\operatorname{Tr}(J_{k})<0\) for all \(k=0,1,2,\ldots \) , and \(\operatorname{Det}(J_{0})={\mathrm{D}}>0\). Note that \(\operatorname{Det}({J_{k}}) = {\frac{{k^{2}}}{\gamma }} ( {{\mu }{k^{2}}  \frac{{(r  1)(1  r\alpha )\alpha }}{{{{(\alpha  1)}^{2}}}}} ) + \frac{{r(1  \alpha )\alpha {\mu }}}{{(1  r\alpha )\gamma }}{k^{2}} + { \mathrm{D}}\), and we find that if \({{\mu } \geq \frac{{(r  1)(1  r\alpha )\alpha }}{{{{(\alpha  1)}^{2}}}}}>0\), then we have \(\operatorname{Det}(J_{k})\geq {\mathrm{D}}>0\) for \(k=1,2,\ldots \) , in such a case the equilibrium \((m_{*},a_{*})\) is asymptotically stable for system (3). If \({m^{2}} < \frac{{(r  1)\alpha (1  r\alpha )}}{\mu (\alpha  1)^{2}} < {(m + 1)^{2}}\), \(m \in N^{+}\) and \({\mu }> {D_{m}}\), then \(\operatorname{Det}(J_{k})>\operatorname{Det}(J_{0})=D>0\) for \(k=1,2,\ldots \) , and \((m_{*},a_{*})\) is stable for (3). However, if \({m^{2}} <\frac{{(r  1)\alpha (1  r\alpha )}}{\mu (\alpha  1)^{2}} < {(m + 1)^{2}}\), \(m\in N^{+}\) and \({\mu }< {D_{m}}\), then there exists at least one of \(\operatorname{Det}(J_{1}),\ldots ,\operatorname{Det}(J_{m})\) to be negative, and \((m_{*},a_{*})\) is unstable for (3). □
3.2 Turing instability of limit cycle
In this subsection, we investigate the stability of limit cycle with spatially heterogenous perturbations. The reactiondiffusion system (3) possesses any periodic solution of system (4) as a spatially homogeneous periodic solution, including the ones bifurcating from Hopf bifurcation. We can also perform a Hopf bifurcation for system (3) at the same bifurcation point in (4), and bifurcating spatially homogeneous periodic solutions exist near \(\gamma =\gamma _{H}\) [28, 29]. But the stability of these periodic solutions with respect to (3) could be different from that for (4). That is, if \(\phi (t)\) is an unstable periodic solution of (4), then it is clearly also unstable for (3). While if \(\phi (t)\) is a stable periodic solution of (4), it could be unstable for (3) because of diffusion. For example, if \((m_{*},a_{*})\) is an unstable equilibrium solution of (4) but stable for (3), then the nearby bifurcating periodic solutions through Hopf bifurcation are also unstable, which illustrates the interaction of Hopf instability and Turing instability [20].
Suppose that \({\mathrm{(H2)}}\) and \({\mathrm{(H3)}}\) are satisfied, so the supercritical Hopf bifurcation appears at \(\gamma =\gamma _{H}\). It can be confirmed that the limit cycle is stable under spatially homogeneous perturbation.
We adopt the framework of [29]. We rewrite system (4) in the abstract form. According to [28, 29], let \({u_{1}} = m  m_{*}\), \({u_{2}} = a  a_{*}\), \(\gamma = {\gamma _{H}}\), and \(U = { ( {{u_{1}},{u_{2}}} )^{T}}\), then system (3) with boundary condition (4) becomes
where
As stated in [29], \(F(U,\gamma _{H})\) has the following form:
where
and
for any \(U = { ( {{u_{1}},{u_{2}}} )^{T}}\), \(V = { ( {{v_{1}},{v_{2}}} )^{T}}\), \(W = { ( {{w_{1}},{w_{2}}} )^{T}}\), and \(U,V,W \in {H^{2}} ( { ( {0,\pi } )} ) \times {H^{2}} ( { ( {0,\pi } )} )\).
The linear operator L defined in (11) for \(\gamma =\gamma _{H}\) is
Let \(L^{*}\) be the conjugate adjoint operator of L defined in \({H^{2}} ( { ( {0,\pi } )} ) \times {H^{2}} ( { ( {0,\pi } )} )\), then
where \(J^{*}({\gamma _{H}})\) is a conjugate transpose of \(J({\gamma _{H}})\).
Let \(\langle { \cdot , \cdot } \rangle \) be the complexvalued \(L^{2}\) inner product on a Banach space, defined as
for any \(U, V \in {H^{2}} ( {(0,\pi )} ) \times {H^{2}} ( {(0, \pi )} )\). We can easily find that \(\langle {L^{*}U,V} \rangle = \langle {U,LV} \rangle \).
The linearized system of (17) at the equilibrium \((0,0)\) is
with the boundary conditions
The solutions of (18) in \({H^{2}} ( {(0,\pi )} ) \times {H^{2}} ( {(0,\pi )} )\) have the following form:
where \(\lambda (k) \in \mathbb{C}\) is the temporal spectrum, k is the spatial spectrum, \(m_{k}\) and \(a_{k}\) are complex numbers for \(k=0,1,2,\ldots \) . Plugging \((\mu _{1},\mu _{2})\) into (18), then
Collecting terms with the same powers about k, we get
where
The corresponding characteristic equation of \(L_{k}\) has the following form:
where
If conditions \({\mathrm{(H2)}}\) and \(\gamma =\gamma _{H}\) are established, we have \(\operatorname{Tr}(L_{0})=0\), \(\operatorname{Det}(L_{0})=\omega _{0}^{2}>0\) and \(\operatorname{Tr}(L_{k})<0\) for \(k=1,2, \ldots \) . Then it follows that, for \(k=0\), \(L_{0}\) has eigenvalues with zero real parts. We need to proceed to the center manifold reduction.
To begin with, if \({\mu } \ge \frac{(r  1)\alpha (1  r\alpha )}{(1\alpha )^{2}}\), we have \(\operatorname{Det}({L_{k}}) \ge {\omega _{0}}^{2}\) for \(k = 1,2,3, \ldots \) . Next, if \({m^{2}} < \frac{{(r  1)\alpha (1  r\alpha )}}{\mu ( 1  \alpha )^{2}} \le {(m + 1)^{2}}\), \(m\in N^{+}\), and \({\mu } < \overline{D}_{m}\), we have \(\operatorname{Det}(L_{k})>0\) for \(k=1,2,\ldots \) . Furthermore, if \({m^{2}}< \frac{{(r  1)\alpha (1  r\alpha )}}{\mu ( 1  \alpha )^{2}} \le {(m + 1)^{2}}\), \(m\in N^{+}\), and \({\mu } > \overline{D}_{m}\), then there exists one of \(\operatorname{Det}(L_{1}),\ldots ,\operatorname{Det}(L_{m})\) to be negative, where \(\overline{D}_{m} = \min_{1 \le k \le m} \frac{(r  1)\alpha (\alpha 1+k^{2})(1  r\alpha )^{2}}{k^{2}(1\alpha )^{2}(r(1  \alpha )\alpha +k^{2}(1  r\alpha ))}\), \(m \in N^{+}\).
Let \(Lq = i{\omega _{0}}q\) and \(L^{*}q^{*} =  i{\omega _{0}}q^{*}\), then we have \(q^{*} =\frac{\omega _{0}}{2r\alpha (r  1)}{ ( {i, \frac{{\alpha r(1r)}}{\omega _{0}}+ \frac{r^{2}(1  \alpha )^{2}\alpha }{(1  r\alpha )}^{2}i} )^{T}}\) and \(q ={ ({ \frac{{\alpha r^{2}(1  \alpha )}^{2}}{(1  r\alpha )^{2}} \frac{\alpha r(r  1)}{\omega _{0}}i,1} )^{T}}\), respectively. According to the inner product defined in this paper, we can easily confirm that \(\langle {q^{*},q} \rangle = 1\) and \(\langle {q^{*},\bar{q}} \rangle = 0\).
As stated in [29], we have \(U = zq + \bar{z}\bar{q} + w\), \(z = \langle {q^{*},U} \rangle \) and \(w = {({w_{1}},{w_{2}})^{T}}\), i.e.,
System (17) in \((z,w)\) coordinates can be rewritten to the following:
where \(\tilde{f} = F(zq + \bar{z}\bar{q} + w,{\omega _{0}})\), \(H(z,\bar{z},w) = \tilde{f}  \langle {q*,\tilde{f}} \rangle q  \langle {\bar{q}*,\tilde{f}} \rangle \bar{q}\), and
So \(H(z,\bar{z},w) = \frac{1}{2}{z^{2}}{H_{20}} + z\overline{z} {H_{11}} + \frac{1}{2}{\overline{z} ^{2}}{H_{02}} + O({ \vert z \vert ^{3}}, \vert z \vert \vert w \vert ,{ \vert w \vert ^{2}})\), where
Further calculations show that
Similarly, we have \({H_{11}} = {H_{02}} = {(0,0)^{T}}\). So \(H(z,\bar{z},w) = O({ \vert z \vert ^{3}}, \vert z \vert \vert w \vert ,{ \vert w \vert ^{2}})\).
As stated in [29], system (23) has a center manifold in the following form:
Due to \(Lw + H(z,\bar{z},w) = \dot{w} = \frac{{\partial w}}{{\partial z}} \dot{z} + \frac{{\partial w}}{{\partial \overline{z} }}\dot{\bar{z}}\), then
then \(w = O({ \vert z \vert ^{3}})\).
Therefore, the reactiondiffusion system restricted to the center manifold is
where
The dynamics of (23) is determined by that of (24). Note that, as in page 28 of [29], \(g_{ij}=0\) for \(i=j+1\), hence the Pioncaré normal form can be rewritten as follows:
So we can write the Poincaré normal form of (17) in the following form:
where \(z \in \mathbb{C}\), \(\lambda =\beta (\gamma ) + iw(\gamma )\), \(M\geq 1\), and \({c_{j}}(\gamma )\in \mathbb{C}\) are coefficients of \((z\bar{z})^{j}\). Then from page 47 of [29], we have
Thus
because \(\beta ({\gamma _{H}}) = 0\) and \(\omega ({\gamma _{H}}) = {\omega _{0}}\), then \(\operatorname{Re} ({c_{1}}(\gamma )) = \operatorname{Re} [ {\frac{{{g_{20}}{g_{11}}}}{{2{\omega _{0}}}}i + \frac{{{g_{21}}}}{2}} ]\).
By further computation, we obtain
and \(\operatorname{Re} [ {{c_{1}} ( {{\gamma _{H}}} )} ] = \frac{{{r^{2}}\alpha ( {1  2r + \alpha {r^{2}}} )}}{{2(1  r\alpha )}} < 0\). Therefore, the supercritical Hopf bifurcation occurs at \(\gamma =\gamma _{H}\).
Theorem 3.2
When conditions \({\mathrm{{(H2)}}}\) and \({{\mathrm{(H3)}}}\) are established, the spatially homogeneous periodic solution bifurcating from the equilibrium \((m_{8},a_{*})\) of system (5) is stable. Let
then the spatially homogeneous periodic solution for system (3) is stable if condition \({\mathrm{{(H8)}}}\) or \({\mathrm{{(H9)}}}\) holds. The spatially homogeneous periodic solution for system (3) is unstable if condition \({\mathrm{{(H10)}}}\) holds, where

(H8)
\({\mu } \ge \frac{{(r  1)\alpha (1  r\alpha )}}{{{{( 1  \alpha )}^{2}}}}\),

(H9)
\({m^{2}} < \frac{(r  1)\alpha (1  r\alpha )}{( 1  \alpha )^{2} \mu } \le {(m + 1)^{2}}\), \({ \mu } >\overline{D}_{m}\),

(H10)
\({m^{2}} < \frac{(r  1)\alpha (1  r\alpha )}{( 1  \alpha )^{2} \mu } \le {(m + 1)^{2}}\), \({ \mu } < \overline{D}_{m}\).
Remark 3.1
Theorem 3.2 shows that system (3) undergoes Turing instability if \({\mathrm{{(H2)}}}\), \(\gamma >\gamma _{H}\), \({m^{2}}< \frac{(r  1)\alpha (1  r\alpha )}{\mu ( 1  \alpha )^{2}} \le {(m + 1)^{2}}\), and \({\mu } < \overline{D}_{m}\) hold, which illustrates that the spot patterns will occur. We show these results in the following section.
Remark 3.2
In [28, 29], authors considered the existence and stability of positive steady state solutions and investigated asymptotic behavior of timedependent solutions by utilizing degree theory. They mainly investigated the direction of Hopf bifurcation and the stability of the bifurcation periodic solution for a reactiondiffusion system. In this subsection, except for the research on direction and stability of Hopf bifurcation as stated in [28, 29], we also derive the precise conditions on the parameters so that the spatially homogeneous equilibrium solution and the spatially homogeneous periodic solution become Turing unstable. Turing instability in a stable coexistence equilibrium is determined by \(\operatorname{Tr}(J_{k})>0\) or \(\operatorname{Det}(J_{k})<0\), and Turing instability in a stable limit cycle is determined by \(\operatorname{Tr}(L_{k})>0\) or \(\operatorname{Det}(L_{k})<0\).
Compared with the former research works, we find that system (3) with the Neumann boundary condition can also induce very interesting dynamical behaviors. For example, (i) system (3) can undergo supercritical Hopf bifurcation under certain parameter conditions. There exists a stable limit cycle when γ is greater than \(\gamma _{H}\) slightly. (ii) Interestingly, we find that Turing instability can occur in the equilibrium and stable limit cycle, respectively.
Compared with the research for reactiondiffusion in twodimensional \((x,y)\), the theoretical analyses for the stability of equilibria, the type of Hopf bifurcation, and the homogeneous periodic solutions for the corresponding ODE system are valid. However, the theoretical analysis methods used in this paper are not enough for Turing instability in equilibria or homogenous periodic solutions in twodimensional \((x,y)\). For example, Song and Liu et al. [3, 6, 7, 31–34] used the amplitude equation and multiscale analysis method to analyze Turing instability in equilibrium. In the twodimensional space \((x,y)\), Turing instability in equilibrium will induce more complex and rich dynamics than that in a onedimensional space x. For example, there may exist a hexagon pattern, a mixed pattern (spotstripe pattern), and a stripe pattern [3, 6, 7, 33]. Note that, in the onedimensional space x, we rigidly show how the stable homogeneous periodic solutions can become unstable. But in the twodimensional space \((x,y)\), as far as we know, it needs more knowledge and methods to analyze this dynamic behaviors.
4 Numerical simulations
In this section, we use numerical simulations to illustrate the results in Theorems 2.1–3.2.
Firstly, we show the critical surface for the occurrence of Hopf bifurcation in a parameter space \((\alpha , r, \gamma )\), as shown in Fig. 1(a). Particularly, taking \(\alpha =\frac{2}{3}\), the critical curve for the occurrence of Hopf bifurcation is shown in Fig. 1(b). From Theorem 2.1, we know that the equilibrium \((m_{*},a_{*})\) is stable if \((r,\gamma )\) is above the blue curve, while unstable if \((r,\gamma )\) is below the curve.
In the following, let \(\alpha =\frac{2}{3}\) and \(r=1.0901\), we have \(\gamma _{H}=6.00074\) and \((m_{*},a_{*})=(0.2198,0.7520)\). In order to show the dynamic behavior near the Hopf bifurcation points \(\gamma _{H}\), the bifurcation diagram in a threedimensional space \((\gamma , m, a)\) is shown in Fig. 2(a). The bifurcation diagram shows the stable equilibrium, the unstable equilibrium, and the limit cycles. The equilibrium is stable if \(\gamma <\gamma _{H}\), which is represented by the black curve. The stable equilibrium becomes unstable and stable limit cycles occur if \(\gamma >\gamma _{H}\) slightly. Here the unstable equilibrium is represented by the red curve, and stable limit cycles are represented by the blue surface. Particularly, let \(\gamma =5.95<\gamma _{H}\), so condition \({{\mathrm{(H3)}}}\) holds, we have that the equilibrium \((m_{*},a_{*})\) is asymptotically stable. Set initial values \((m_{0},a_{0})=(0.3198,0.8520)\), we find that the orbit starting from \((m_{0},a_{0})\) converges to \((m_{*},a_{*})\), which shows that \((m_{*},a_{*})\) is asymptotically stable, as shown in Fig. 2(b).
The supercritical Hopf bifurcation occurs for \(\gamma =\gamma _{H}\), and a stable limit cycle bifurcates from \((m_{*},a_{*})\) at the right side of \(\gamma _{H}\). Let \(\gamma =6.1>\gamma _{H}\), then condition \({{\mathrm{(H4)}}}\) holds, we have that the equilibrium \((m_{*},a_{*})\) is unstable. Set initial values \((m_{0},a_{0})=(0.2298,0.7620)\), we find that the green orbit starting from \((m_{0},a_{0})\) goes clockwise away from \((m_{*},a_{*})\), which shows that \((m_{*},a_{*})\) is an unstable one, as shown in Fig. 3(a). Set initial value \((m_{0},a_{0})=(0.2498,0.7820)\), the blue orbit starting from \((m_{0},a_{0})\) goes clockwise inside, as shown in Fig. 3(a). Since the blue orbit disjoints the green orbit, there exists a stable limit cycle. We show the stable limit cycle in Fig. 3(b). The above analyses support Theorem 2.1.
Next, we show the effect of diffusion on the stability of equilibrium and limit cycles. In this part, we perform the simulations to illustrate the results in Theorem 3.1. Fixed \(\alpha =\frac{2}{3}\), \(r=1.0901\), and \(\gamma =5.8\), then \(\frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2}}}} = 0.14473\) and condition (H3) holds.
Particularly, taking \(\mu =5>0.144728\), we have \(\operatorname{Det}(J_{k})=1.60929>0\) and condition \({\mathrm{{(H5)}}}\) holds, so the stable equilibrium \((m_{*},a_{*})\) of system (4) is still stable for system (3). Please see Fig. 4(a) and Fig. 4(b). Taking \(\mu =0.06\), then \(\frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2}\mu }}} = 2.4621\), we have \(D_{m} = 0.05221\) (\(m=1\)), \(\operatorname{Det}(J_{k})=0.00254>0\) and condition (H6) holds, so the stable equilibrium \((m_{*},a_{*})\) is still stable for system (3). Please see Fig. 5(a) and Fig. 5(b).
Taking \(\mu =0.04\), then \(\frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2}\mu }}} = 3.6932\), we have \(D_{m} = 0.05221\) (\(m=1\)), \(\operatorname{Det}(J_{k})=0.00400<0\) and condition \({\mathrm{{(H7)}}}\) holds, so the stable equilibrium \((m_{*},a_{*})\) of system (4) becomes unstable for system (3). Please see Fig. 6(a) and Fig. 6(b), we can find the stripe patterns, which is the spatially homogeneous periodic orbit [34–36].
Furthermore, we show the influence of diffusion on the stability of homogeneous periodic solutions. In this part, we perform the simulations to illustrate the results in Theorem 3.2. Fixed \(\alpha =\frac{2}{3}\), \(r=1.0901\), and \(\gamma =6.2\), we have \(\frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2}}}} = 0.14473\) and condition (H4) holds.
Taking \(\mu =10>0.14473\), we have \(\operatorname{Det}(L_{k})=3.12733>0\) and condition \({\mathrm{{(H8)}}}\) holds, so the stable limit cycle of system (4) is still stable for system (3). Please see Fig. 7(a) and Fig. 7(b). Taking \(\mu =0.06\), then \(\frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2} \mu }}} = 2.4621\), we have \(D_{m} = 0.05221\) (\(m=1\)), \(\operatorname{Det}(L_{k})=0.00245>0\) and condition \({\mathrm{{(H9)}}}\) holds, so the stable limit cycle of system (4) is still stable for system (3). Please see Fig. 8(a) and Fig. 8(b). The patterns in Fig. 7 and Fig. 8 are the spatially homogeneous periodic orbit [34–36].
Taking \(\mu =0.05\), then \(\frac{{(r  1)\alpha (1  r\alpha )}}{{{{(\alpha  1)}^{2} \mu }}} = 3.6932\), we have \(D_{m} = 0.05221\) (\(m=1\)), \(\operatorname{Det}(L_{k})=0.00069<0\) and condition \({\mathrm{{(H10)}}}\) holds, so the stable limit cycle of system (4) becomes unstable for system (3). Please see Fig. 9(a) and Fig. 9(b). In order to observe the spot patterns clearly, we amplitude Fig. 9(a) and Fig. 9(b) in Fig. 10(a) and Fig. 10(b), respectively. These “dots” are the collision of the transverse spatially unstable inhomogeneous periodic solution and the longitudinal spatially stable homogeneous periodic solution [34–36].
5 Discussion and conclusion
In this paper, we investigate the spatiotemporal dynamics for a diffusive mussel–algae model. Spot and stripe patterns can be generated by a small disturbance on a homogeneous steady state. The results of pattern formation agree with many biological phenomena [11, 12, 17].
In order to determine the sufficient conditions for Turing instability, we firstly analyze the stability conditions for equilibrium and the critical parameter conditions for Hopf bifurcation. Then, using the center manifold theorem and normal form theory, we show sufficient conditions for the occurrence of Turing instability in equilibrium and limit cycle, respectively. Moreover, we illustrate the theoretic results by a series of numerical simulations. We show abundant dynamical behavior, such as bifurcations, phase trajectory, and patterns. Finally, we find that Turing instability in equilibrium will occur in a stripe pattern and that in limit cycles will occur in a spot pattern.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Turing, A.M.: The chemical basis of morphogenesis. Philos. Trans. R. Soc. B 237(641), 37–72 (1952)
Li, X., Jiang, W.: Hopf bifurcation and Turing instability in the reactiondiffusion Holling–Tanner predatorprey model. IMA J. Appl. Math. 78(2), 287–306 (2011)
Jia, D., Zhang, T., Yuan, S.: Pattern dynamics of a diffusive toxin producing phytoplanktonzooplankton model with threedimensional patch. Int. J. Bifurc. Chaos 29(4), 193011 (2019)
Zhang, T., Liu, X., Meng, X., Zhang, T.: Spatiotemporal dynamics near the steady state of a planktonic system. Comput. Math. Appl. 75, 4490–4504 (2018)
Yi, F., Wei, J., Shi, J.: Diffusiondriven instability and bifurcation in the Lengyel–Epstein system. Nonlinear Anal., Real World Appl. 9(3), 1038–1051 (2008)
Han, R., Dai, B.: Crossdiffusion induced Turing instability and amplitude equation for a toxicphytoplanktonzooplankton model with nonmonotonic functional response. Int. J. Bifurc. Chaos 27(6), 1750088 (2017)
Han, R., Dai, B.: Spatiotemporal pattern formation and selection induced by nonlinear crossdiffusion in a toxicphytoplanktonzooplankton model with Allee effect. Nonlinear Anal., Real World Appl. 45, 822–853 (2019)
Yang, R., Song, Y.: Spatial resonance and Turing–Hopf bifurcations in the Gierer–Meinhardt model. Nonlinear Anal., Real World Appl. 31(4), 356–387 (2016)
Song, Y., Yang, R., Sun, G.: Pattern dynamics in a Gierer–Meinhardt model with a saturating term. Appl. Math. Model. 46, 476–491 (2017)
Mai, F., Qin, L., Zhang, G.: Turing instability for a semidiscrete Gierer–Meinhardt system. Physica A 391(5), 2014–2022 (2012)
Sherratt, J.A.: Pattern solutions of the Klausmeier model for banded vegetation in semiarid environments I. Nonlinearity 23, 2657–2675 (2010)
Sherratt, J.A.: Periodic traveling waves in integro differential equations for nonlocal dispersal. SIAM J. Appl. Dyn. Syst. 13(4), 1517–1541 (2014)
Song, Y., Jiang, H., Liu, Q.X., Yuan, Y.: Spatiotemporal dynamics of the diffusive musselalgae model near Turing–Hopf bifurcation. SIAM J. Appl. Dyn. Syst. 16(4), 2030–2062 (2017)
van de Koppel, J., Rietkerk, M., Dankers, N., Herman, P.M.J.: Scale dependent feedback and regular spatial patterns in young mussel beds. Am. Nat. 165(3), 66–77 (2017)
Ghazaryan, A., Manukian, V.: Coherent structures in a population model for musselalgae interaction. SIAM J. Appl. Dyn. Syst. 14(2), 893–913 (2015)
Liu, Q., Rietkerk, M., Herman, P.M.J., Piersma, T., Fryxell, J.M., van de Koppel, J.: Phase separation driven by densitydependent movement: a novel mechanism for ecological patterns. Arch. Ration. Mech. Anal. 16(1), 53–72 (2016)
Wang, R., Liu, Q., Sun, G., Jin, Z., van de Koppel, J.: Nonlinear dynamic and pattern bifurcations in a model for spatial patterns in young mussel beds. J. R. Soc. Interface 6(37), 705–718 (2009)
Sherratt, J.A., Mackenzie, J.J.: How does tidal flow affect pattern formation in mussel beds? J. Theor. Biol. 406, 83–92 (2016)
Yi, F., Wei, J., Shi, J.: Bifurcation and spatiotemporal patterns in a homogeneous diffusive predatorprey system. J. Differ. Equ. 246(5), 1944–1977 (2009)
Yi, F., Wei, J., Shi, J.: Diffusiondriven instability and bifurcation in the Lengyel–Epstein system. Nonlinear Anal., Real World Appl. 9(3), 1038–1051 (2008)
Yi, F., Wei, J., Shi, J.: Global asymptotical behavior of the Lengyel–Epstein reactiondiffusion system. Appl. Math. Lett. 22, 52–55 (2009)
Yi, F., Liu, J., Wei, J.: Spatiotemporal pattern formation and multiple bifurcations in a diffusive bimolecular model. Nonlinear Anal., Real World Appl. 11(5), 3770–3781 (2010)
Wang, J., Hou, X., Jing, Z.: Stripe and spot patterns in a Gierer–Meinhart activatorinhibitor model with different sources. Int. J. Bifurc. Chaos 25(8), 1550108 (2015)
Wang, J., Hou, X., Li, Y.: Patterns in a fresh water tussock sedge model with two limit cycles. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 26, 231–260 (2019)
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer, New York (1983)
Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Springer, New York (2003)
Marsden, J.E., McCracken, M.: The Hopf Bifurcation and Its Applications. Springer, New York (1976)
Crandall, M.G., Rabinowitz, P.H.: The Hopf bifurcation theorem in infinite dimensions. Arch. Ration. Mech. Anal. 67(1), 53–72 (1977)
Hassard, B.D., Kazarinoff, N.D., Wan, Y.H.: Theory and Applications of Hopf Bifurcation. Cambridge University Press, New York (1981)
Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Springer, Berlin (1981)
Liu, B., Wu, R., Chen, L.: Turing patterns in the Lengyel–Epstein system with superdiffusion. Int. J. Bifurc. Chaos 27(8), 1730026 (2017)
Liu, B., Wu, R., Iqbal, N., Chen, L.: TuringHopf bifurcation analysis in a superdiffusive predatorprey model. Chaos 28(11), 113118 (2018)
Song, Y., Zhang, T., Peng, Y.: Turing–Hopf bifurcation in the reactiondiffusion equations and its applications. Commun. Nonlinear Sci. Numer. Simul. 33, 229–258 (2016)
Cao, X., Song, Y., Zhang, T.: Hopf bifurcation and delayinduced Turing instability in a diffusive lac operon model. Int. J. Bifurc. Chaos 26(10), 1650167 (2016)
Yan, X.P., Zhang, C.H.: Turing instability and formation of temporal patterns in a diffusive bimolecular model with saturation law. Nonlinear Anal., Real World Appl. 43, 54–77 (2018)
Li, X., Jiang, W., Shi, J.: Hopf bifurcation and Turing instability in the reactiondiffusion Holling–Tanner predatorprey model. IMA J. Appl. Math. 2, 1–20 (2011)
Acknowledgements
The authors would like to thank the referee and the editor for their valuable comments which led to improvement of this work. This work was supported by the Scientific Research Foundation of Anhui Provincial Education Department (No. KJ2020A0483) and PhD Research Startup Fund for Anhui Jianzhu University (No. 2019QDZ25).
Funding
This work was supported by the Scientific Research Foundation of Anhui Provincial Education Department (No. KJ2020A0483) and PhD Research Startup Fund for Anhui Jianzhu University (No. 2019QDZ25).
Author information
Authors and Affiliations
Contributions
All authors participated in drafting and checking the manuscript, read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhong, S., Cheng, X. & Liu, B. Spatiotemporal dynamics for a diffusive mussel–algae model near a Hopf bifurcation point. Adv Differ Equ 2021, 182 (2021). https://doi.org/10.1186/s13662021033384
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662021033384
Keywords
 Hopf bifurcation
 Turing instability
 Spatial pattern
 Mussel–algae model