- Research
- Open Access
- Published:
Supercritical Hopf bifurcation and Turing patterns for an activator and inhibitor model with different sources
Advances in Difference Equations volume 2018, Article number: 241 (2018)
Abstract
We study the pattern generating mechanism of a generalized Gierer–Meinhardt model with diffusions. We show the existence and stability of the Hopf bifurcation for the corresponding kinetic system under certain conditions. With spatial uneven diffusions, the obtained stable Hopf periodic solution may become unstable, which results in Turing instability. We derive conditions for the existence of Turing instability. Numerical simulations reveal that the Turing patterns are of stripe and spot shapes. In the analysis, we use bifurcation analysis, center manifold reduction for ordinary differential equations and partial differential equations. Though the Gierer–Meinhardt system is classical, our system with more general settings has yet to be analyzed in the literature.
1 Introduction
Pattern formation can be induced by uneven diffusions. It was first discovered by Turing [1] in the 1950s. Under given conditions, chemical compounds can interact with each other and spread in space in some ways, which result in heterogeneous spatial patterns of chemical compound or morphogen concentration [2]. This means that without diffusions, the homogenous equilibrium maintains stability to small perturbations, whereas with diffusions, the homogenous equilibrium may lose its stability, and spatial inhomogeneous patterns can emerge due to the unequal spatial diffusions. Reaction–diffusion equations and systems can characterize a substantial number of pattern-related biology phenomena. In 1972, Gierer and Meinhardt [3] constructed a prototypical activator and inhibitor model of the form
with the following assumptions: an activator a and an inhibitor h acting on sources of activators and inhibitors have distributions \(\rho (x)\) and \(\rho'(x)\), respectively. At time \(t>0\) and spatial position x, the concentrations of the activator and inhibitor are expressed by \(a=a(x,t)\) and \(h=h(x,t)\). The terms \(a^{r}/h^{s}\) and \(a^{T}/h^{u}\) represent the activation and inhibition of sources. The terms μa and νh represent the leakage, reuptake by source, enzyme degradation, or any of their combinations. So μa and νh are removed from a and h, and \(D_{a}\) and \(D_{h}\) denote the spatial diffusion coefficients. Taking into account the actual biological significance, all the parameters are positive constants. Furthermore, to form a gradient, r, s, T, and u must satisfy \(\frac{sT}{u+1}>r-1>0\), which means that r must be at least 2 if it is an integer [3]. Reaction–diffusion system ( 1 ) is seen as one of the most important systems characterizing the formation of patterns [4, 5].
Over the years, system (1) has attracted considerable attention. In [6], the author investigated system (1), subjected to Neumann boundary conditions on the interval \((0,\pi )\), by taking \(r=T=2,s=1,u=0\) and showed that if the diffusion coefficients are selected suitably, then the homogeneous steady state and the time-dependent periodic solution can undergo Turing instability. The same system was considered but subjected to Dirichlet boundary conditions on the interval \((0,l\pi)\), \(l\in\mathbb{R}^{+}\). We refer to [7] for more detail. Furthermore, many researchers studied the system by considering the saturation of activator production. In this situation, the activated area and the total structure size are proportional [8], since the activator concentration has a maximum value. In [9], the authors investigated the same system but with saturated activator production under Neumann boundary conditions in the interval \((0,\pi)\) and showed the existence of Turing instabilities of the positive spatial homogeneous equilibrium and homogenous periodic solution. They found that there are at least two limit cycles. Spectral analysis and Floquet exponent as in [10, 11] are significant in analyzing the dynamical behavior of reaction–diffusion systems. In [12], the authors studied the global attractivity of equilibrium and gene expression time delays in the same system with production saturation. In [13], the authors investigated system (1) with \(r=s=2,T=1,u=0\) and obtained the parameter range for the system to become diffusively unstable. By taking \(u=s=4\) and \(r=T=2\) system (1) can be extended to the generalized or modified Gierer–Meinhardt model as in [14–17]. A meaningful result of the generalized system is the spike solutions for the related elliptic system in regions in \(\mathbb{R}^{n}\). When \(r=T,s=u\), and \(\rho =\rho'\), system (1) is called the general form of activator–inhibitor system with common sources [3], which was studied in [18]. They obtained a precise parametric condition for the presence of Turing instability. For more results about reaction diffusion systems of activator–inhibitor type, see [19–21]. See [22–24] and the references therein for more real-world models on Turing instability.
So far, most work on Turing instability of system (1) has been carried out by taking specific parameter values. In contrast, few work is done directly from the general system (1). The increasing number of parameters in the general system (1) make the mechanism of spatial pattern formation more difficult to understand. System (1) with \(s \neq u\) is called the general form of activator–inhibitor system with different sources [3]. In comparison with the activator–inhibitor system with common sources, a system with different sources has stronger nonlinearity. Therefore, the analysis is more involved.
If \(r\geq2, r\in\mathbb{N}^{+}\), \(r=s=T\), and \(u=0\), then we obtain a class of activator–inhibitor models with different sources:
In this paper, we are interested in deriving the precise parametric ranges for pattern formation. We want to understand the dynamics responsible for the spot and stripe patterns.
For simplicity, set
We drop the asterisks and use lowercase letters for algebraic convenience. Then system (2) becomes
where c, r, μ, ν, \(d>0\), \(a\geq0\), \(h>0\), and \(r\geq2, r \in\mathbb{N}^{+}\). We also impose the Neumann boundary conditions
to system (3).
The remaining parts of the paper are organized as follows. In Sect. 2, we proceed with a detailed study on the dynamical behavior of the corresponding kinetic system, such as the existence and stability of positive homogeneous solutions and a steady-state and time-dependent periodic solution bifurcated from Hopf bifurcation. In Sect. 3, we derive sufficient analytic conditions for homogeneous solutions to undergo diffusion-driven instability. Numerical examples to illustrate the analytic results are presented in Sect. 4. From the simulations we see spot and stripe spatial patterns.
2 Homogeneous equilibria and stability
In this section, we investigate the existence and uniqueness of positive equilibrium for system (3) with no diffusions. System (3) with no diffusions is
For latter reference, we set
Then the equilibrium of system (5) satisfies
The following lemma is needed for equilibrium analysis.
Lemma 2.1
For \(c, \mu, \nu>0\) and \(r\geq2, r\in\mathbb{N}^{+}\), the auxiliary function \(\phi(a)=c-a\mu+a^{r-r^{2}}\nu^{r}\), \(a \in(0,+\infty )\) has the following properties:
-
(1)
\(\phi(a)\) is a decreasing function in \((0,+\infty)\);
-
(2)
\(\lim_{a \to0}{\phi(a)}=+\infty\), \(\lim_{a \to+\infty}{\phi (a)}=-\infty\);
-
(3)
\(\phi(a)\) is a concave function in \((0,+\infty)\);
-
(4)
\(\phi(a)\) has a unique zero point in \((\frac{c}{\mu},+\infty)\).
Proof
Conclusions (1), (2), and (3) are obvious. The fact that \(\phi(\frac{c}{\mu})=(\frac{c}{\mu})^{r-r^{2}}\nu^{r}>0\), along with (1) and (2), leads to (4). □
The following proposition gives the existence and uniqueness of the positive equilibrium for system (5).
Proposition 2.1
For \(a \geq0, h > 0\), system (5) has a unique positive equilibrium \((a_{*},h_{*})\) with \(\phi(a_{*})=0\), \(h_{*}=a_{*}^{r}/{\nu}\), and \(a_{*}\in(\frac{c}{\mu},+\infty)\).
Proof
The equilibrium \((a_{*},h_{*})\) of system ( 5 ) is the solution of equation ( 7 ). Then \(a_{*}>0\) and \(h_{*}>0\). The remaining conclusions follow from Lemma 2.1. □
On the stability of the equilibrium \((a_{*},h_{*})\), we have the following:
Proposition 2.2
The unique positive equilibrium \((a_{*},h_{*})\) of system (5) is stable if one of the following conditions holds:
-
(H1)
\(0< (r-1)\mu\leq\nu\), \(c>0\);
-
(H2)
\((r-1)\mu> \nu>0\), \(c > c_{h}\).
It is unstable if
-
(H3)
\((r-1)\mu>\nu>0\), \(0< c < c_{h}\),
where \(c_{h}=\frac{a_{0}}{r}[(r-1)\mu-\nu]\) and \(a_{0}= ( \frac{r\nu ^{r}}{\mu+\nu} )^{\frac{1}{1-r+r^{2}}}\).
Proof
Evaluated at \((a_{*},h_{*})\), the Jacobian matrix of (5) is
so the determinant and the trace are \(\operatorname{Det}J(c)=\mu\nu+(r-1)r\nu ^{1+r}a^{-1+r-r^{2}}_{*}>0\) and \(\operatorname{Tr}J(c)=-\mu-\nu+r\nu^{r} a^{-1+r-r^{2}}_{*}\). The corresponding eigenvalues are
Denote \(a_{0}= (\frac{r\nu^{r}}{\mu+\nu} )^{\frac{1}{1-r+r^{2}}}>0\). Then \(\phi(a_{0})=c-a_{0}\mu+a_{0}^{r-r^{2}}\nu^{r}=c+\frac{a_{0}}{r}[\nu-(r-1)\mu ]\). If (H1) holds, then \(\phi(a_{0})\geq c>0\). From Lemma 2.1 and Proposition 2.1 we have \(a_{*}>a_{0}\). Since \(-1+r-r^{2}<0\), we have \(a_{*}^{-1+r-r^{2}}< a_{0}^{-1+r-r^{2}}=\frac{\mu+\nu}{r\nu^{r}}\), which implies that \(\operatorname{Tr}J(c)<-\mu-\nu+r\nu^{r} a_{0}^{-1+r-r^{2}}=0\). Since \(\operatorname{Det}J(c)>0\), the real parts of both eigenvalues are negative. This implies that the equilibrium is stable. If (H2) holds, we have \(\phi(a_{0})>c_{h}+\frac {a_{0}}{r}[\nu-(r-1)\mu]=0\). From Lemma 2.1 and Proposition 2.1 we have \(a_{*}>a_{0}\). Following the same analysis process as for condition (H1), we verify that the real parts of both eigenvalues of \(J(c)\) are negative. Therefore, the equilibrium is stable. If (H3) holds, then from Lemma 2.1 and Proposition 2.1 we have \(\phi (a_{0})<0\) and \(0< a_{*}< a_{0}\), which implies that \(\operatorname{Tr} J(c)>0\). Since \(\operatorname{Det}J(c)>0\), then one or more eigenvalues have a positive real part. This implies that the equilibrium is unstable. □
The next corollary gives detailed information about the equilibrium.
Corollary 2.1
Suppose \(r \geq2\) and let
-
(1)
For \(\mu\neq\nu\), the equilibrium \((a_{*},h_{*})\) of system (5) is a stable node if one of the following conditions holds:
-
(SN1)
\(0< \mu\leq\mu_{01}, c > 0\);
-
(SN2)
\(\mu>\mu_{01},c>\bar {M}_{01}\).
It is an unstable node if
-
(UN)
\(\mu>\mu_{02},0< c<\bar{M}_{02}\).
-
(SN1)
-
(2)
For \(\mu\neq\nu\), the equilibrium \((a_{*},h_{*})\) of system (5) is a stable focus if one of the following conditions holds:
-
(SF1)
\(\mu_{01}<\mu\leq\frac{\nu}{r-1},0<c<\bar{M}_{01}\);
-
(SF2)
\(\mu>\frac{\nu}{r-1}, c_{h}< c<\bar{M}_{01}\).
It is an unstable focus if one of the following conditions holds:
-
(UF1)
\(\frac{\nu}{r-1}<\mu\leq\mu_{02},0<c<c_{h}\);
-
(UF2)
\(\mu>\mu _{02},\bar{M}_{02}< c< c_{h}\).
-
(SF1)
-
(3)
For \(\mu=\nu\), the equilibrium \((a_{*},h_{*})\) of system (5) can only be a focus. It is stable if
-
(SF3)
\(c>c_{h}\)
and is unstable if
-
(UF3)
\(0< c< c_{h}\).
-
(SF3)
From the analysis we can deduce from Proposition 2.2 that, for \((r-1)\mu>\nu>0\), \(J(c_{h})\) has a pair of conjugate pure imaginary eigenvalues, which implies the existence of conjugate complex eigenvalues for c close to \(c_{h}\). This is a necessary condition for the occurrence of the Hopf bifurcation. We further prove this and analyze the direction and stability of the Hopf bifurcation. Suppose that \((r-1)\mu>\nu>0\) and c close to \(c_{h}\), and let \(x=a-a_{*}\), \(y=h-h_{*}\). Then system (5) becomes
where \(J(c)\) is defined as before, and
the terms with order greater than or equal to four are represented by \(O(4)\). For \(c=c_{h}\), we have \(\lambda_{1,2}(c_{h})=\pm i\omega_{0}\), and the eigenvector corresponding to \(i\omega_{0}\) is \(\xi=(\nu(\mu+\nu )a_{0}^{1-r}, \nu-i\omega_{0})^{T}\), where \(\omega_{0}= \sqrt{\nu(r\mu-\nu+r\nu )}\). Furthermore, since \(r \geq2, r \in\mathbb{N}^{+} \), we have
Set \(x=\nu(\mu+\nu)a_{0}^{1-r} u\), \(y=-\omega_{0} u+\nu v\). Then system (8) becomes
where
with \(P=\frac{a_{0}^{r^{2}}}{\omega_{0} r \nu^{r+1}}\bigl( {\scriptsize\begin{matrix}{} \nu & \frac{-r\nu^{r+1}}{a_{0}^{r^{2}}}\cr \omega_{0} & 0 \end{matrix}} \bigr)\).
Denote
where all the partial derivatives are evaluated at the bifurcation point \((u,v,c)=(0,0,c_{h})\). The stability of the periodic solution bifurcated from the equilibrium through Hopf bifurcation for system (5) depends on whether η is positive or negative [25, 26]. We calculate:
and thus
since \(0<\nu<(r-1)\mu\). A detailed information about the Hopf bifurcation is given in the following theorem.
Theorem 2.1
For \(0<\nu<(r-1)\mu\), system (5) undergoes a supercritical Hopf bifurcation [27] at \((a_{*},h_{*})\) with \(c=c_{h}\) and the periodic solution bifurcated from Hopf bifurcation is stable.
3 Analysis on the full reaction–diffusion model
From [1] we know that the diffusion can influence the stability of the homogeneous solutions. Turing instability occurs when the homogeneous solutions, which should be stable for system (5), become unstable due to diffusions. In this section, we focus on the full reaction–diffusion model ( 3 )–( 4 ) to obtain the parametric ranges in which the homogeneous solutions undergo Turing instability. The analysis of Turing instabilities for the equilibrium \((a_{*},h_{*})\) and the periodic solution bifurcated from Hopf bifurcation is carried out respectively in Sects. 3.1 and 3.2.
3.1 Turing instability of the equilibrium for the full reaction–diffusion model
In this section, we follow the standard treatment for this type of problems as in [9]. First, we assume that one of conditions (H1) and (H2) holds and study system (3) with the Neumann boundary conditions (4) in the Banach space \(\mathbb {H}^{2}((0,\pi))\times\mathbb {H}^{2}((0,\pi))\), where \(\mathbb {H}^{2}((0,\pi ))=\{w(\cdot)\mid\frac{\partial^{i}w}{\partial x^{i}}(\cdot)\in\mathbb {L}^{2}((0,\pi)),i=0,1,2\}\). Obviously, \((a_{*},h_{*})\) is a steady state for system (3)–(4).
Let \(a=u_{1}+a_{*},h=u_{2}+h_{*}\). The linearized system of (3) at the equilibrium \((a_{*},h_{*})\) is
Here the boundary conditions are:
Considering the boundary conditions, the solution \((u_{1},u_{2})\in\mathbb {H}^{2}((0,\pi))\times\mathbb {H}^{2}((0,\pi))\) of system (10) can formally be written as
where \(\lambda_{k} \in\mathbb {C}\) is the temporal spectrum, k is the wave number, and \(A_{k},H_{k} \in\mathbb{R}\) for \(k=0,1,2 ,\ldots\) . Substituting (12) into system (10), we have
where
Equating the like powers of k, we have
Equation (14) has a nonzero solution \((A_{k},H_{k})^{T}\) if and only if
for some \(k=0,1,2,\ldots \) . Namely,
where
and
We will be concerned with the requirement \(\operatorname{Re}(\lambda_{k})>0\) on the solutions of (16).
For any wave number k, there exists a pair of temporal eigenvalues \(\lambda_{k}^{\pm}= \frac{\operatorname{Tr}(J_{k}(c))\pm\sqrt{\operatorname {Tr}^{2}(J_{k}(c))-4\operatorname{Det}(J_{k}(c))}}{2}\). If (H1) or (H2) holds, then, for \(k=0\), \(\operatorname{Tr}(J_{k}(c))=\operatorname{Tr}J(c)<0\) and \(\operatorname {Det}(J_{k}(c))=\operatorname{Det}J(c)>0\), which implies that the real parts of the related temporal spectra \(\lambda_{0}^{\pm}\) are negative. Since \(\operatorname{Tr}(J_{k}(c))=\operatorname{Tr}J(c)-(1+d)k^{2} < 0\) for \(k=1,2,\ldots \) , we need further consider the sign of \(\operatorname{Det}(J_{k}(c))\). If \(r\nu^{r}a_{*}^{-1+r-r^{2}}-\mu\leq1\), then we have \(a_{*} \geq(\frac{r\nu ^{r}}{\mu+1})^{\frac{1}{1-r+r^{2}}}\) since \(-1+r-r^{2} <0\). Denoting \(\bar {a}= (\frac{r\nu^{r}}{\mu+1})^{\frac{1}{1-r+r^{2}}}\), from Lemma 2.1 and Proposition 2.1 we have \(\phi(\bar{a}) \geq0\), that is, \(c \geq\frac{\bar{a}}{r}[\mu(r-1)-1]\). Therefore \(k^{2}-(r\nu ^{r}a_{*}^{-1+r-r^{2}}-\mu)\geq0\), which means that \(\operatorname{Det}(J_{k}(c)) >0\). Moreover, if \(m^{2} < r\nu^{r}a_{*}^{-1+r-r^{2}}-\mu\leq(m+1)^{2}, m \in \mathbb {N}^{+}\), then we have \([\frac{r\nu^{r}}{\mu+(m+1)^{2}}]^{\frac {1}{1-r+r^{2}}} \leq a_{*} < (\frac{r\nu^{r}}{\mu+m^{2}})^{\frac{1}{1-r+r^{2}}}\) since \(-1+r-r^{2} <0\). Denoting \(a_{m+1}=[\frac{r\nu^{r}}{\mu +(m+1)^{2}}]^{\frac{1}{1-r+r^{2}}}\) and \(a_{m}=(\frac{r\nu^{r}}{\mu+m^{2}})^{\frac {1}{1-r+r^{2}}}\), from Lemma 2.1 and Proposition 2.1 we have \(\phi(a_{m})<0\leq\phi(a_{m+1})\), that is, \(\frac{a_{m+1}}{r}[\mu (r-1)-(m+1)^{2}] \leq c < \frac{a_{m}}{r}[\mu(r-1)-m^{2}]\). In this case, for any \(k=m+1,m+2,\ldots \) , we have \(k^{2}-(r\nu^{r}a_{*}^{-1+r-r^{2}}-\mu)\geq0\), which indicates that \(\operatorname{Det}(J_{k}(c)) >0\), whereas for any \(k=1,2,\ldots,m\), we have \(k^{2}-(r\nu^{r}a_{*}^{-1+r-r^{2}}-\mu)<0\). Further computations reveal that if \(0< d < \min_{1\leq k \leq m}\frac{(k^{2}+\mu )\nu+(r-1)r\nu^{1+r}a_{*}^{-1+r-r^{2}}}{k^{2}(r\nu^{r}a_{*}^{-1+r-r^{2}}-\mu -k^{2})}\), then \(\operatorname{Det}(J_{k}(c))>0\).
The above discussion implies that, for any spatial spectrum \(k=1,2,\ldots \) , the real parts of the corresponding temporal spectrum \(\lambda_{k}^{\pm}\) are negative. This means the real parts of the solutions of (16) are negative for all \(k=0,1,2,\ldots \) , so that \((a_{*},h_{*})\) is asymptotically stable for (3). According to [28], because of the sectorial of L, \((a_{*},h_{*})\) is also locally uniformly stable, and therefore there is no Turing pattern for system (3) under the above conditions. However, if \(d > \min_{1\leq k \leq m}\frac{(k^{2}+\mu)\nu+(r-1)r\nu ^{1+r}a_{*}^{-1+r-r^{2}}}{k^{2}(r\nu^{r}a_{*}^{-1+r-r^{2}}-\mu-k^{2})}\), then at least one of \(\operatorname{Det}(J_{1}(c)), \operatorname{Det} (J_{2}(c)), \ldots, \operatorname{Det}(J_{m}(c))\) is negative. Thus the equilibrium is unstable for (3). In this case, Turing patterns will occur. Summarizing the discussion, we have the following:
Theorem 3.1
Let (H1) or (H2) hold. Denote
Then the equilibrium \((a_{*},h_{*})\) of system (3) persists the stability if one of the following conditions holds:
-
(H4)
\(c\geq\frac{\bar{a}}{r}[\mu(r-1)-1]\),
-
(H5)
\(A_{m+1}\leq c < A_{m},0<d < \hat{d}\).
It is unstable if
-
(H6)
\(A_{m+1}\leq c < A_{m}, d>\hat{d}\),
where \(\bar{a}=(\frac{r\nu^{r}}{\mu+1})^{\frac{1}{1-r+r^{2}}}\), \(A_{j}=\frac {a_{j}}{r}[\mu(r-1)-j^{2}]\), \(a_{j}=(\frac{r\nu^{r}}{\mu+j^{2}})^{\frac {1}{1-r+r^{2}}}, j=m, m+1, m \in\mathbb {N}^{+}\).
Remark 3.1
It is worth pointing out that in Theorem 3.1 if \(d=\hat{d}\), then from the discussion it follows that there exists at least one \(k, k=1,2,\ldots,m\), \(m \in\mathbb {N}^{+}\), such that the linearized system of (3) at \((a_{*},h_{*})\) has a zero eigenvalue. At this time, the stability of \((a_{*},h_{*})\) for system (3) cannot be determined by the linearized system.
3.2 Turing instability of the limit cycle for the full reaction–diffusion model
From Theorem 2.1 note that if \(0<\nu<(r-1)\mu\), then there is a limit cycle bifurcated from \((a_{*},h_{*})\) for c sufficiently close to \(c_{h}\). We investigate the stability of the limit cycle obtained in Theorem 2.1. Throughout this section, we assume condition (H3), so that the limit cycle is stable to homogeneous perturbation.
Let \(a=u_{1}+a_{*}, h=u_{2}+h_{*}, c=c_{h}\), \(U=(u_{1},u_{2})^{T}\), \(V=(v_{1},v_{2})^{T}\), and \(W=(w_{1},w_{2})\). Then system (3)–(4) can be rewritten as [29, 30]
where
\(\tilde{F}(U,c_{h})=(f_{2}(u_{1},u_{2},c_{h}),g_{2}(u_{1},u_{2},c_{h}))^{T}\), and \(f_{2}\) and \(g_{2}\) are defined in (9). We write \(\tilde{F}(U,c_{h})=\frac{1}{2}Q(U,U)+\frac {1}{6}C(U,U,U)+O(\lvert U \rvert^{4})\), where \(Q(U,V)=(Q_{1}(U,V),Q_{2}(U,V))^{T}\), \(C(U,V,W)=(C_{1}(U,V,W),C_{2}(U,V,W))^{T}\) with
and \(U,V,W \in\mathbb{H}^{2}((0,\pi))\times\mathbb{H}^{2}((0,\pi))\).
For \(c=c_{h}\), the linear operator L defined in (10) is
and the corresponding adjoint operator, denoted by \(L^{*} \), is
where
The inner product in \(\mathbb{H}^{2}((0,\pi))\times\mathbb{H}^{2}((0,\pi ))\) is given by \(\langle U,V\rangle=\frac{1}{\pi}\int_{0}^{\pi}\overline {U}^{T} V\,\mathrm{d}x\) for \(U,V \in\mathbb{H}^{2}((0,\pi))\times\mathbb {H}^{2}((0,\pi))\). Note that \(\langle L^{*}U,V\rangle= \langle U,LV\rangle \). The linearized system of (17) evaluated at \((0,0)\) is
with the Neumann boundary conditions
System (18) with boundary conditions (19) has a solution, which can be formally written as
where \(\lambda(k) \in\mathbb{C}\) are the temporal eigenvalues, k is the wave number, and \(a_{k},h_{k} \in\mathbb{R}\) for \(k=0,1,2,\ldots\) . Substituting (20) into (18) and comparing the like terms about k, we have
where
For some k, a sufficient and necessary condition for (21) to have a nonzero solution \((a_{k},h_{k})^{T}\) is \(\operatorname{Det}(\lambda(k) I-L_{k})=0\), that is,
where \(\operatorname{Tr}(L_{k})=-(1+d)k^{2}\) and \(\operatorname{Det}(L_{k})=k^{2}\nu+\nu (r\mu-\nu+r\nu)+k^{2}(k^{2}-\nu)d\). We are interested in the solutions \(\lambda(k)\) such that \(\operatorname{Re}(\lambda(k))>0\).
With \(0<\nu<(r-1)\mu\) and \(c=c_{h}\), we have \(\operatorname{Tr}(L_{0})=0\), \(\operatorname{Det}(L_{0})=\nu(r\mu-\nu+r\nu)>0\), and \(\operatorname{Tr}(L_{k})<0\) for \(k=1,2,\ldots \) . This means that, for \(k=0\), the real parts of the eigenvalues of L are zero. We then have to do the center manifold reduction.
First of all, for \(k=1,2,\ldots \) , if \(0<\nu\leq1\), then \(\operatorname {Det}(L_{k})>0\). Furthermore, if \(m^{2}<\nu\leq(m+1)^{2}\) and \(0< d<\bar {d}\), where \(\bar{d}=\min_{1 \leq k\leq m} \frac{k^{2}\nu+\nu(r\mu-\nu +r\nu)}{-k^{2}(k^{2}-\nu)}, m \in\mathbb{N}^{+}\), then we have \(\operatorname {Det}(L_{k})>0\) for \(k=1,2,\ldots \) , and if \(m^{2}<\nu\leq(m+1)^{2}\) and \(d>\bar{d}\), then at least one of \(\operatorname{Det}(L_{1}),\operatorname {Det}(L_{2}),\ldots,\operatorname{Det}(L_{m})\) is negative.
Letting \(\xi=(\nu(\mu+\nu)a_{0}^{1-r},\nu-i\omega_{0})^{T}\) and \(\xi^{*}=\frac {1}{2\omega_{0}} (\frac{\omega_{0}+i\nu}{r\nu^{r+1}}a_{0}^{r^{2}},-i )^{T}\), we have \(L\xi=i\omega_{0}\xi\), \(L^{*}\xi^{*}=-i\omega_{0}\xi^{*}\), \(\langle\xi ^{*},\bar{\xi}\rangle=0\), and \(\langle\xi^{*},\xi\rangle=1\). Let \(U=z\xi +\bar{z}\bar{\xi}+w\), \(z=\langle\xi^{*},U\rangle\), \(w=(w_{1},w_{2})^{T}\). Then
In \((z,w)\) coordinates, system (17) is
where \(\tilde{f}=\tilde{F}(z\xi+\bar{z}\bar{\xi}+w,c_{h})\) and \(\tilde {H}(z,\bar{z},w)=\tilde{f}-\langle\xi^{*},\tilde{f}\rangle\xi-\langle \bar{\xi}^{*},\tilde{f}\rangle\bar{\xi}\). From further calculation we have
So \(\tilde{H}(z,\bar{z},w)=\frac{1}{2}z^{2}\tilde{H}_{20}+z\bar{z}\tilde {H}_{11}+\frac{1}{2}\bar{z}^{2}\tilde{H}_{02}+O(\vert z\vert^{3},\vert z \vert\cdot\vert w \vert,\vert w \vert^{2})\), where
Then we have \(\tilde{H}(z,\bar{z},w)=O(\vert z\vert^{3},\vert z \vert \cdot\vert w \vert,\vert w \vert^{2})\). System (23) has a center manifold of the form \(w=\frac {w_{20}}{2}z^{2}+w_{11}z\bar{z}+\frac{w_{02}}{2}\bar{z}^{2}+O(\vert z\vert^{3})\). With \(Lw+\tilde{H}(z,\bar{z},w)=\frac{dw}{dt}=\frac{\partial w}{\partial z}\frac{dz}{dt}+\frac{\partial w}{\partial\bar{z}}\frac {d\bar{z}}{dt}\), we obtain \(w_{20}=[2i\omega_{0}-L]^{-1}\tilde {H}_{20}=(0,0)^{T}\), \(w_{11}=-L^{-1}\tilde{H}_{11}=(0,0)^{T}\), \(w_{02}=[-2i\omega_{0}-L]^{-1}\tilde{H}_{02}=(0,0)^{T}\). Therefore, on the center manifold, the reaction–diffusion system is
where
We rewrite (17) into the Poincaré normal form in a neighborhood of \(c_{h}\):
where the variable \(z \in\mathbb{C}\), \(M\geq1\), and the coefficients \(\delta_{j}(c)\) are complex. Direct computation shows that
and thus \(\operatorname{Re}(\delta_{1}(c_{h}))=\operatorname{Re}[\frac {g_{20}g_{11}}{2\omega_{0}}i+\frac{g_{21}}{2}]\). Since \(\alpha(c_{h})=0 \), \(\omega(c_{h})=\omega_{0}>0\), and \(0<\nu<(r-1)\mu\), we then have
Therefore, the supercritical Hopf bifurcation occurs at \(c=c_{h}\). The following theorem is a summary of the preceding analysis.
Theorem 3.2
Let (H3) hold, and let
Then the spatially homogenous periodic solution for (3) is stable if either (H7) or (H8) holds and is unstable if (H9) holds, where
-
(H7)
\(0<\nu\leq1 \),
-
(H8)
\(m^{2} <\nu\leq(m+1)^{2}\), \(0< d< \bar{d}\), and
-
(H9)
\(m^{2} <\nu\leq(m+1)^{2}\), \(d>\bar{d}\).
Remark 3.2
Theorem 3.1 and 3.2 show that system (3) subjected to (4) undergoes Turing instability under either of assumptions (H1) and (H6), or (H2) and (H6), or (H3) and (H9), which is responsible for the patterns of stripe and spot types. We will see these patterns numerically in the next section.
4 Numerical simulation
In this section, numerical examples are used to illustrate the main conclusions in Sects. 2 and 3. In this section, we assume that \(r=2\), \(c>0\), \(\nu>0\), and \(\mu>0\).
First of all, we illustrate the results in Proposition 2.2 and Theorem 2.1. For the dynamics of the equilibrium of the temporal model (5), we just show the simulations when (H2) and (H3) are satisfied. The simulations when condition (H1) is satisfied are omitted since the dynamic behavior is similar with the case where condition (H2) holds.
Set \(\nu=0.5\) and \(\mu=3\). Then \(c_{h}=0.6534\). Let \(c=0.75\), so that condition (H2) holds. The equilibrium \((a_{*},h_{*})\) of system (5) is \((0.538,0.5788)\). We choose the initial state \((a_{0},h_{0})=(0.588,0.6288)\). From the simulation we find that the orbit starting from \((a_{0},h_{0})=(0.588,0.6288)\) converges to the equilibrium \((a_{*},h_{*})=(0.538,0.5788)\). The equilibrium is asymptotically stable. See Fig. 1.
The stable equilibrium of (5) under condition (H2)
Set \(\nu=1.5\) and \(\mu=3\). Then \(c_{h}=0.75\). We take \(c=0.74\), so that condition (H3) holds. The equilibrium \((a_{*},h_{*})\) of system (5) is \((0.9987,0.6649)\). The initial state \((a_{0},h_{0})\) we choose is \((1.0487,0.7149)\). From the simulation we find that the phase orbit represented by the blue solid line in Figs. 2 and 3, starting from \((a_{0},h_{0})=(1.0487,0.7149)\) goes counterclockwise away from the equilibrium \((a_{*},h_{*})=(0.9987,0.6649)\), so the equilibrium \((a_{*},h_{*})=(0.9987,0.6649)\) is unstable. Furthermore, we choose another initial state \((a_{0},h_{0})=(1.25,0.75)\). From the simulation we find that the phase orbit represented by the red solid line in Fig. 3, starting from \((a_{0},h_{0})=(1.25,0.75)\) goes counterclockwise inward. Since the orbits cannot intersect each other, there must be a limit cycle, and it is stable. The stable limit cycle is shown in Fig. 4. Our simulations support Proposition 2.2 and Theorem 2.1.
The unstable equilibrium of (5) under condition (H3)
The stable limit cycle of (5)
In addition, the supercritical Hopf bifurcation surface \(c=c_{h}\) of system (5) in the parameter space \((\nu,\mu,c)\) and the supercritical Hopf bifurcation diagram of (5) for \(\mu=3\) in parameter coordinates \((\nu,c)\) are shown respectively in Figs. 5 and 6.
The supercritical Hopf bifurcation (SHB) surface of (5) in parameter space \((\nu,\mu,c)\)
The Hopf bifurcation diagram of (5) for \(\mu=3\) in parameter coordinates \((\nu,c)\)
In the following, we illustrate the results obtained in Theorem 3.1.
Let \(c=0.75\), \(\nu=0.5\), \(\mu=3\), and \(d=2\). Then \(\bar{a}=0.5\) and \(\frac{\bar{a}}{r}[\mu(r-1)-1]=0.5\), which supports conditions (H2) and (H4). The initial state we choose is \((0.53801,0.57879)\), which is a small perturbation of the equilibrium \((a_{*},h_{*})=(0.538,0.5788)\). The dynamics are shown in Fig. 7. The simulation shows that the stable equilibrium \((a_{*},h_{*})\) does not change its stability under diffusions.
Let \(c=0.76\), \(\nu=1.5\), \(\mu=3\), and \(m=1\). Then \(a_{1}=1.04\), \(a_{2}=0.863\), \(A_{1}=1.04\), \(A_{2}=-0.4315\), and \(\hat{d}=26.3949\). Set \(d=\hat{d}-1=25.3949\). Then (H2) and (H5) hold. The equilibrium is \((a_{*},h_{*})=(1.0013,0.6684)\), and the initial condition is \((1.00129,0.66839)\). The corresponding dynamics are shown in Fig. 8 . The equilibrium \((a_{*},h_{*})\) is stable for system ( 3 ).
In both cases the equilibrium is locally uniformly stable, and hence Turing patterns do not occur.
Subsequently, let \(c=0.76\), \(\nu=1.5\), \(\mu=3\), and \(m=1\) and set \(d=\hat{d}+1=27.3949\). Then (H2) and (H6) hold. The stable equilibrium \((a_{*},h_{*})=(1.0013,0.6684)\) for system (5) becomes unstable for system (3) due to the influence of the diffusions. The initial condition is \((a_{*}-0.00001\cos(x),h_{*}-0.00001\sin(x)), x\in (0,300)\). The dynamics are shown in Fig. 9. In this case, Turing patterns occur. From the projections of the dynamics for the activator a and inhibitor h, respectively, shown in Fig. 10, we see the stripe patterns. These stripe patterns are formed because the equilibrium \((a_{*},h_{*})\) undergoes Turing instability.
Turing instability of the equilibrium \((a_{*},h_{*})=(1.0013,0.6684)\) of (3)
The projection of Fig. 9 in \((x,t)\) coordinates
We next illustrate the results in Theorem 3.2. In the simulation, we use the criterion in [31] for the choice of the space-time scaling parameter. From Theorem 3.2 we find that the stable limit cycle does not undergo Turing instability under (H3) and (H7) or under (H3) and (H8). Here we just illustrate the case where (H3) and (H8) hold.
Let \(c=0.74\), \(\nu=1.5\), and \(\mu=3\), which implies that (H3) holds. Then \(m=1\) and \(\bar{d}=25.5\). Set \(d=\bar{d}-0.5\). Then (H8) holds. According to the simulation about the limit cycle, we find a point \((0.8614,0.7902)\) on it. The initial condition is a small spatial heterogeneous perturbation of this point, namely \((0.8614+0.000001\sin (x),0.7092+0.00001\cos(x)),x\in(0,150)\). The dynamics are shown in Fig. 11 which implies that the stable limit cycle of kinetic system ( 5 ) is still stable for the spatial temporal system ( 3 ). Figure 12 is the projection of Fig. 11 in \((x,t)\) coordinates. In this case the limit cycle does not undergo Turing instability.
The projection of Fig. 11 in \((x,t)\) coordinates
Let \(c=0.74\), \(\nu=1.5\), and \(\mu=3\), which implies that (H3) holds. Then \(m=1\) and \(\bar{d}=25.5\). Set \(d=\bar{d}+1.5\). Then (H9) holds. The initial condition is also \((0.8614+0.000001\sin (x),0.7092+0.00001\cos(x)),x\in(0,150)\). We can see that the stable limit cycle of system ( 5 ) becomes unstable for the spatial temporal system ( 3 ) because of the diffusions. In this case, the Turing instability of the limit cycle takes place; see Fig. 13 . Figure 14 is a local enlargement of the projection of Fig. 13 . Moreover, from the simulation we can easily see the spot patterns. These spot patterns are formed because the limit cycle undergoes Turing instability.
Turing instability of the limit cycle of (3)
The local enlargement of the projection of Fig. 13 in \((x,t)\) coordinates for \((290< t<305)\)
Furthermore, we obtain the regions where Turing patterns may occur in the parameter space \((D_{h}, c)\) by setting \(r=2, \mu=3, \nu=1.5\); see Fig. 15. From the above simulations we know that \(c_{h}=0.75\). The regions above the line \(c=c_{h}\) are divided into two parts. The pink region in which no Turing patterns are formed is for the stable equilibrium. The blue one is the region in which the equilibrium may undergo Turing bifurcation. The regions below the line \(c=c_{h}\) are also divided into two parts. In the orange region, no Turing patterns will occur. It is the region where the equilibrium is unstable and bifurcates a stable periodic solution through Hopf bifurcation. In the green one, the equilibrium is also unstable, whereas the limit cycle experiences a Turing bifurcation and becomes unstable. Turing patterns for the limit cycle may occur in this region.
The regions for Turing patterns of system (3)
References
Turing, A.M.: The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. B 237(641), 37–72 (1952)
Murray, J.D.: Mathematical Biology II: Spatial Models and Biomedical Applications. Springer, New York (2001)
Gierer, A., Meinhardt, H.: A theory of biological pattern formation. Kybernetik 12(1), 30–39 (1972)
Murray, J.D.: Mathematical Biology I: An Introduction. Springer, Berlin (2002)
Edelstein, K.L.: Mathematical Models in Biology. SIAM, Berlin (1988)
Ruan, S.: Diffusion-driven instability in the Gierer–Meinhardt model of morphogenesis. Nat. Resour. Model. 11(2), 131–141 (1998)
Liu, J., Yi, F., Wei, J.: Multiple bifurcation analysis and spatiotemporal patterns in a 1-D Gierer–Meinhardt model of morphogenesis. Int. J. Bifurc. Chaos 20(4), 1007–1025 (2010)
Chen, S., Shi, J., Wei, J.: Bifurcation analysis of the Gierer–Meinhardt system with a saturation in the activator production. Appl. Anal. 93(6), 1115–1134 (2014)
Li, Y., Wang, J., Hou, X.: Stripe and spot patterns for the Gierer–Meinhardt model with saturated activator production. J. Math. Anal. Appl. 449(2), 1863–1879 (2017)
Maginu, K.: Stability of spatially homogeneous periodic solutions of reaction–diffusion equations. J. Differ. Equ. 31(1), 130–138 (1979)
Maginu, K.: Stability of periodic travelling wave solutions with large spatial periods in reaction–diffusion systems. J. Differ. Equ. 39(1), 73–99 (1981)
Chen, S., Shi, J.: Global attractivity of equilibrium in Gierer–Meinhardt system with activator production saturation and gene expression time delays. Nonlinear Anal., Real World Appl. 14(4), 1871–1886 (2013)
Wang, J., Hou, X., Jing, Z.: Stripe and spot patterns in a Gierer–Meinhardt activator-inhibitor model with different sources. Int. J. Bifurc. Chaos 25(08), 15501081 (2015)
Ni, W.: Diffusion, cross-diffusion and their spike-layer steady states. Not. Am. Math. Soc. 45(1), 9–18 (1998)
Ward, M.J., Wei, J.: Hopf bifurcation of spike solutions for the shadow Gierer–Meinhardt model. Eur. J. Appl. Math. 14(6), 677–711 (2003)
Ward, M.J., Wei, J.: Hopf bifurcations and oscillatory instabilities of spike solutions for the one-dimensional Gierer–Meinhardt model. J. Nonlinear Sci. 13(2), 209–264 (2003)
Veerman, F., Doelman, A.: Pulses in a Gierer–Meinhardt equation with a slow nonlinearity. SIAM J. Appl. Dyn. Syst. 12(1), 28–60 (2013)
Li, Y., Wang, J., Hou, X.: Stripe and Spot Patterns for General Gierer–Meinhardt Model with Common Sources. Int. J. Bifurc. Chaos 27(02), 1750018 (2017)
Takagi, I.: Stability of bifurcating solutions of the Gierer–Meinhardt system. Tohoku Math. J. 31(2), 221–246 (1979)
Takagi, I.: Point-condensation for a reaction–diffusion system. J. Differ. Equ. 61(2), 208–249 (1986)
Ni, W., Suzuki, K., Takagi, I.: The dynamics of a kinetic activator-inhibitor system. J. Differ. Equ. 229(2), 426–465 (2006)
Li, X., Jiang, W., Shi, J.: Hopf bifurcation and Turing instability in the reaction–diffusion Holling–Tanner predator-prey model. IMA J. Appl. Math. 78(2), 287–306 (2013)
Yi, F., Wei, J., Shi, J.: Diffusion-driven instability and bifurcation in the Lengyel–Epstein system. Nonlinear Anal., Real World Appl. 9(3), 1038–1051 (2008)
Yi, F., Wei, J., Shi, J.: Bifurcation and spatiotemporal patterns in a homogeneous diffusive predator-prey system. J. Differ. Equ. 246(5), 1944–1977 (2009)
Marsden, J.E., McCracken, M.: The Hopf Bifurcation and Its Applications. Springer, New York (1976)
Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Springer, New York (2003)
Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory. Springer, New York (1998)
Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Springer, Berlin (1981)
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)
Dilao, R., Sainhas, J.: Validation and calibration of models for reaction–diffusion systems. Int. J. Bifurc. Chaos 8(06), 1163–1182 (1998)
Acknowledgements
The authors are grateful to the anonymous reviewers for the helpful suggestions and comments.
Funding
This work was supported by the National Natural Science Foundation of China (Grant Nos. 10971009, 10771196, 11771033), the National Scholarship Fund (Grant Nos. 201303070222, 201706020203, 201706020094), and the Fundamental Research Funds for the Central Universities.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, J., Li, Y. & Hou, X. Supercritical Hopf bifurcation and Turing patterns for an activator and inhibitor model with different sources. Adv Differ Equ 2018, 241 (2018). https://doi.org/10.1186/s13662-018-1697-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1697-5
Keywords
- Supercritical
- Hopf bifurcation
- Turing instability
- Spatial pattern