Abstract
Turing–Hopf bifurcation of the diffusive Brusselator model with homogeneous Neumann boundary conditions is considered in this paper. By stability analysis, the conditions of the Turing instability are obtained and the critical values of the Turing–Hopf bifurcation are also given. In order to better understand the dynamics near the Turing–Hopf bifurcation, the amplitude equations are derived by the method of the multiple time scale. Through the analysis of amplitude equations, complex dynamics are found, such as nonconstant steady state solutions, spatially homogeneous periodic solutions and spatially inhomogeneous periodic solutions, near the Turing–Hopf bifurcation point. The results show that, compared with the codimension-one Turing instability or Hopf bifurcation, the codimension-two Turing–Hopf bifurcation can induce more complex patterns: spatially inhomogeneous periodic solutions, which could be used to explain the phenomenon of spatiotemporal resonance between activators and inhibitors of chemical reactions. For bifurcation illustration of Brusselator model, the neighbourhood of bifurcation point is divided into six regions and various bifurcation solutions corresponding to different regions are presented via numerical simulations, respectively, which verify the theoretical analysis.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 1952, the mechanism to explain the formation of patterns was proposed by Turing. He found that stable equilibria could become unstable through introducing diffusion and developed into a pattern [1]. This phenomenon is called the Turing instability or diffusion-driven instability [2]. As a result, patterns will follow from the bifurcation of system. Since then, more and more scholars studied pattern formation of different reaction diffusion models (see [3,4,5,6,7,8]). Turing patterns can be produced in chemical systems through some reaction–diffusion models, such as the Belousov–Zhabotinsky (BZ) reaction (see [9]), which is a typical example of the formation of chemical reaction patterns. The Brusselator model is a simple model for the Belousov–Zhabotinsky reaction.
In this paper, consider a classical diffusive Brusselator model (see [10]). The reaction steps are as follows
The global reaction is \({\mathcal {A}}+{\mathcal {B}} \rightarrow {\mathcal {D}}+{\mathcal {E}}\), where \({\mathcal {A}}\) and \({\mathcal {B}}\) are input chemicals, \({\mathcal {D}}\) and \({\mathcal {E}}\) are output chemicals, \({\mathcal {X}}\) and \({\mathcal {Y}}\) are intermediates. According to the law of mass action, the following kinetic equations are obtained
Here A, B, X and Y stand for the corresponding concentrations of \({\mathcal {A}}\), \({\mathcal {B}}\), \({\mathcal {X}}\), \({\mathcal {Y}}\), respectively; \(D_x\) and \(D_y\) are the diffusion coefficients of X and Y, respectively; \(k_i(i=1,2,3,4)\) represents the reaction constant. To simplify system (1), one uses scaling transformation (see Ref. [11])
then one obtains the Brusselator model with homogeneous Neumann boundary conditions and the initial conditions as follows
u(x, t) and v(x, t) represent the concentrations of activator and inhibitor at spatial position x and time t, respectively; \(d_1\) and \(d_2\) are the diffusion coefficients of u and v, respectively; a and b are the fixed concentrations; \(\Omega =(0,l\pi )\); \(d_1\), \(d_2\), a, b and l are all positive constants.
The Brusselator model has been extensively employed to explain the formation of Turing patterns. In [12], Peng et al. discussed the non-existence and existence of positive non-constant steady states. Turing instability and pattern formation in a semi-discrete Brusselator model were studied in [13]. Xu et al. also performed a series of numerical simulations of the system in the Turing instability regions, and exhibited various patterns such as spotted patterns, square patterns, labyrinthine patterns. By applying global bifurcation theory, Ma and Hu proved the existence and boundedness of continua of the steady state solutions in [14]. The coexistence of non-constant positive solutions was considered in [15]. Many authors have also studied the phenomenon of Hopf bifurcation for the Brusselator model, which can lead to the formation of temporal patterns (see [9]). By applying the center manifold theory and normal form theorem, the periodic solution from the Hopf bifurcation was discussed in [16,17,18,19,20]. We can refer to references [21, 22] for more details about Brusselator model. As for the Brusselator model, there are very few literatures on the study of high codimension bifurcation, especially the Turing–Hopf bifurcation. It can produce much more complex dynamics behaviors, such as constant steady state solutions, spatially homogeneous periodic solutions, nonconstant steady state solutions and spatially inhomogeneous periodic solutions.
In the chemical reaction between the concentrations of activators and inhibitors, spatially inhomogeneous periodic solutions could not appear when only Turing or Hopf bifurcation is present. Spatially inhomogeneous periodic solutions could be better to explain the chemical oscillation between the concentrations of activators and inhibitors. However, the dynamical phenomena within the Turing–Hopf bifurcation are always formidable and difficult to explore. Since the Turing–Hopf bifurcation means the coexistence of the Turing instability and Hopf bifurcation, two bifurcation parameters are needed and the bifurcation point is just the intersection of Hopf and Turing bifurcation curves in the two-dimensional parametric plane. Note that center manifold theorem and the normal form theory are important methods to study the bifurcation of system (see [23]). Several scholars calculated the normal forms near the Turing–Hopf bifurcation point through the method of the center manifold theorem and the normal form (see [24,25,26]). Now we will employ the multiple time scale analysis (see [27]) to get the spatiotemporal patterns from the bifurcation. To this end, two bifurcation parameters are expanded as perturbation of bifurcation values and time is expanded into multiple scales. A series of substitution calculations are performed to obtain the amplitude equations. Then through the analysis of amplitude equations of the Brusselator model, one gets the spatial and spatiotemporal patterns.
The framework of this paper is organized as follows. Hopf bifurcation, the existence of the Turing–Hopf bifurcation and the Turing instability are demonstrated in Sect. 2. In Sect. 3, by using the multiple time scale method, amplitude equations near the Turing–Hopf bifurcation point are obtained. In Sect. 4, the neighborhood of bifurcation are divided into six regions and numerical simulations are carried out to verify theoretical analysis respectively in each region. Spatially inhomogeneous periodic solutions are produced near the Turing–Hopf bifurcation point. Some conclusions are presented in Sect. 5.
2 Existence of the Turing–Hopf bifurcation
2.1 Stability and bifurcation analysis of ODE system
In this subsection, we would like to study stability and Hopf bifurcation of system (2). Consider the following ODE system
Let
It is not difficult to show that system (3) has a unique positive equilibrium \(E^*:=(u^*,v^*)=(a,b/a)\). \(a^2\) will be denoted as s in the following sections. By calculation, one gets a Jacobian matrix (3) at positive equilibrium \(E^*\)
hence the characteristic equation is
where \(T_0\triangleq b-1-s\), \(D_0\triangleq s\).
Setting \(T_0=0\), it shows \(s=b-1\). Then system (2) can occur Hopf bifurcation when
so Eq. (4) has a pair of pure imaginary roots \(\lambda _{1,2}=\pm iw_0\) with \(w_0^2\triangleq s\).
Selecting s as a bifurcation parameter, it takes
The above calculation presents that the transversality condition is satisfied. Referring to Theorem 2.1 in [18], system (2) has the following results without diffusion.
Lemma 1
For system (3), we have
(i) the positive equilibrium \(E^{*}\) is locally asymptotically stable for \((b,s)\in G_1\) or \(b\le 1\), and unstable for \((b,s)\in G_2,\) where \(G_1\) and \(G_2\) are defined by
(ii) Hopf bifurcation occurs when \(s=s_ {H_0(b)},\, b>1\), so one obtains the Hopf bifurcation straight line in \(b-s\) plane, marked as \({\mathcal {H}}_0(b)\).
2.2 Existence of the Turing–Hopf bifurcation
In this part, we will discuss the Turing instability and the existence conditions of the Turing–Hopf bifurcation. Put \(u=u-u_*, v=v-v_*\), then the linearization of system (2) at the positive equilibrium \(E*\) can be written as follows
System (6) has solution (u, v), which is
here \(\lambda\) is the wavelength and k is the wave number, \(a_k\) and \(b_k\) are constants. Next substituting (7) into (6), we get the following equation
Solving Eq. (8), one gets the following characteristic equation
where
The eigenvalues of Eq. (9) can be shown as
Letting \(D_k=0\), the above equation becomes
one obtains the Turing bifurcation straight line in \(b-s\) plane, marked as \({\mathcal {T}}_k(b)\). Then, assuming the slope of \(s_ {T_k}(b)\) is equal to 1, we derive \(k=\frac{l}{\sqrt{d_2-d_1}}\), \((d_2>d_1)\). In light of equation (10), it is noticed that the slope of straight line \({T}_k(b)\) is increasing with k. Let \([\frac{l}{\sqrt{d_2-d_1}}]\triangleq k_{1*} \quad (d_2>d_1)\), where [.] expresses the part of integer. Furthermore, comparing Eq. (10) with Eq. (9), only when \(k>k_{1*}\), the straight line \({\mathcal {H}}_0(b)\) has intersection points with the straight line \({\mathcal {T}}_k(b).\)
Combining equations (5) and (10), \({\mathcal {H}}_0(b)\) and \({\mathcal {T}}_k(b)\) intersect at
Assuming \(z=(k/l)^2\), we have
then taking the derivative of f(z) with respect to z, one has
Note that the sign of \(f^\prime (z)\) is the same as \(\alpha (z)=d_1d_2z^2(d_2-d_1)-2d_1d_2z\). Clearly, f(z) is monotone decreasing in \((0,\frac{2}{d_2-d_1})\) and monotone increasing in \((\frac{2}{d_2-d_1},+\infty )\), we can assume \(k_{2*}\triangleq \left[ \frac{\sqrt{2}l}{\sqrt{d_2-d_1}}\right]\), \(d_2>d_1.\) Let
From the above analysis, there exists a positive integer \(k_*>k_{1*}\), \(b_* \triangleq b_{ k_{*}}=min_{k>k_{1*}}b_{k}\). When \(k\ne 0\) and \(k\ne k_*\), then \(D_k>0\) for \(k>k_{1*}\). Consequently, we have the following theorem.
Theorem 1
Assuming that \(d_1,d_2>0\), \(s_ {H_0}(b)\) and \(s_ {T_k}(b)\) are defined by Eq. (10). For \(k=k_*\), from Eq. (10), one obtains \(s_ {T_{k_*}}(b)\). Therefore, we have
(I) If \(d_1 \ge d_2\), then the equilibrium \(E^*\) is locally asymptotically stable for \((b,s)\in M_1\), and unstable for \((b,s)\in M_2\), and system (2) has no diffusion driven Turing instability, where
(II) If \(d_2>d_1\), then we have the following conclusions
(i) the equilibrium \(E^*\) is locally asymptotically stable for \((b,s)\in M_{11}\), and unstable when \((b,s)\in M_{21}\cup M_2\), here
with
Therefore, the Turing instability critical line is defined by \(s={\mathcal {N}}(b)\) with \(b>b_{k_*}\). The Turing instability occurs on the curves \(s={\mathcal {N}}(b)\) with \(b>b_{k_*}\).
(ii) system (2) undergoes the codimension-two Turing–Hopf bifurcation at the point \((b,s)=(b_*,s_*).\)
Proof
If \(0<b\le 1\), we obtain \(T_k<0,\, D_k>0,\, k\in {\mathbb {N}}_0\backslash \{0\}\). If \(b>1\), for any \(k\in {\mathbb {N}}_0\), when \(s>s_ {H_0}(b)\), we get \(T_k<0\), and \(D_k>0\) is equivalent to \(s>s_ {T_k}(b)\).
(I) When \(d_1\ge d_2\), \(b>1\), we have
Combined with the above analysis of \(T_k\) and \(D_k\), this shows \(s>s_ {H_0}(b)>s_ {T_k}(b)\) when \(s>s_ {H_0}(b)\), Thus we obtain \(T_k<0,\, D_k>0,\, k\in {\mathbb {N}}_0\backslash \{0\}\). So all roots of Eq. (9) have negative real parts, the equilibrium \(E^*\) is asymptotically stable for \((b,s)\in M_1\). The proof of (I) is completed.
(II) (i) When \(d_2>d_1\). From Eq. (10), it is found that the slope of straight line \({T}_k(b)\) is increasing with k. On the basis of the above analysis, \({H_0}(b)\) has no intersection point with the straight line \(T_k(b)\) for \(k>k_{1*}\). For \(k\ge k_*\), the straight lines \({\mathcal {T}}_k(b)\) and \({\mathcal {T}}_{k+1}(b)\) have an intersection point at \(b={\widetilde{b}}_{k}\) in the first quadrant, where
If \(1<b<b_{k_*}\), then \(s_ {H_0}(b)>s_ {T_{k_*}}(b)\). It is not difficult to get \(T_k<0,\, D_k>0\) only when \(s>s_ {H_0}(b)\).
If \(b_{k_*}<b<{\widetilde{b}}_{k_*}\), then \(s_ {T_{k_*}}(b)>s_ {H_0}(b)\). Therefore, one has \(T_k<0,\, D_k>0\) when \(s>s_ {T_{k_*}}(b)\).
If \(k>{k_*},\, {\widetilde{b}}_{k-1}<b<{\widetilde{b}}_{k}\), then \(s_ {T_{k}}(b)>s_ {H_0}(b)\). One has \(T_k<0,\, D_k>0\) when \(s>s_ {T_{k}}(b)\).
Therefore, the equilibrium \(E^*\) is locally asymptotically stable when \((b,s)\in M_{11}\). What is more, in the first quadrant of the \(b-s\) plane, \(s_ {H_0}(b)\) with \(0<b<b_{k_*}\), \(s_ {T_{k_*}}(b)\) with \(b_{k_*}<b<{\widetilde{b}}_{k_*}\) and \(s_ {T_k}(b)\) with \(k>{k_*},\, {\widetilde{b}}_{k-1}<b<{\widetilde{b}}_{k}\) form the boundaries of stable region of the equilibrium \(E^*\).
(ii) According to the above calculation, one shows
and
Substituting \(k=k_*\) into Eq. (9), one has \(T_{k_*}=-(k_*/l)^2(d_1+d_2)+T_0\). When \(\Gamma _0=0\), system (2) has a pair of purely imaginary roots \(\pm i\sqrt{s_*}\); When \(k=k_*\) and \(\Gamma _k=0\), it has two roots, one is 0 and the other is \(-T_{k^*}\); If \(k\ne 0\) and \(k\ne k_*\), all roots of characteristic equation (9) have negative real parts. Together with the transversality condition of the Hopf bifurcation, so there exists the codimension-two Turing–Hopf bifurcation at \((b,s)=(b_*,s_*)\) of system (2). The conclusion of (ii) of (II) is verified.□
Remark 1
To verify the existence of the Turing–Hopf points, we plot the Turing and Hopf bifurcation curve diagram, see Fig. 1. Here, choosing \(d_1=0.2 \, \text{ and }\, d_2=1.6\), we have \(k_*=7\) from (5), (10) and (12). Furthermore, from (5) and (10), we get
As exhibited in Fig. 1, there exist two intersection points, the Turing–Hopf bifurcation point \(A=(1.6547,0.6547)\) and the Turing–Turing bifurcation point \(B=(2.4668, 2.0447)\). The region above the curve \({\mathcal {H}}_0(b)\), \({\mathcal {T}}_7(b)\) and \({\mathcal {T}}_8(b)\) are the stable region of the unique positive equilibrium \(E^*\).
3 Amplitude equations
In this section, choose \(b=b_*\) and \(s=s_*\) as critical bifurcation values. In what follows, we will use the method of the multiple time scale to derive the amplitude equations near the Turing–Hopf bifurcation point \(S_*\triangleq (b_*,s_*)\) in system (2). Then, letting \(u=u-u_*\), \(v=v-v_*\) and \({\mathbf {U}}=(u,v)^\mathrm {T}\), system (2) becomes
Where L is the linear operator, F is the nonlinear term
with \(f_{1}\triangleq \frac{b}{\sqrt{s}}\), \(f_{2}\triangleq 2\sqrt{s}\). o(3) represents terms of order higher than third. Next expanding the solution \({\mathbf {U}}\) of system (2) in the light of the small parameter \(\varepsilon\), we have
where \(\varepsilon\) is the small parameter. To calculate the amplitude equations near the Turing–Hopf bifurcation point, we expand bifurcation parameters b and s in the small neighborhood. For the Hopf bifurcation parameter s, one gets
and the Turing bifurcation parameter, one derives
Let \(T_0=t,\, T_2=\varepsilon ^2 t\). Taking the derivative of U with respect to time scale, we represent the following form
The linear operator \({\mathbf {L}}\) can be decomposed into the following form
the nonlinear term \({\mathbf {F}}\) is
Next, substitute (16)–(22) into (15). The coefficients of the corresponding terms are equal, and then the perturbations are separated by the power series of \(\varepsilon ^{i}(1=1,2,3)\)
\(\varepsilon :\)
\(\varepsilon ^{2}:\)
\(\varepsilon ^{3}:\)
With regard to the linear equation (23), we obtain the general solution as follows
where \(A_1\triangleq \frac{iw_*-b_*+1}{s_*}\), \(B_1\triangleq \frac{d_1(k_*/l)^{2}-b_*+1}{s_*}\), \(w_*=\sqrt{s_*}\), \(W_1\) and \(W_2\) are the amplitudes of the first order perturbed modes \(e^{iw_*T_0}\) and \(e^{ik_{*}x}\), c.c. denotes the conjugate of the former terms.
From (26), one gets
In what follows, assume that
Substituting \(u_1^{2}\), \(u_1v_1\), \(u_1\) and \(v_1\) into Eq. (24), one shows
where
In order to derive the amplitude equations near the Turing–Hopf bifurcation point, we need to calculate \(u_1u_2,u_1v_2,u_2v_1\),\(u_{1}^2v_1.\)
Substituting \(u_1u_2,u_1v_2,u_2v_1,u_{1}^2v_1\) into Eq. (25), one derives
where
with
In light of the above discussion, the solutions of equation (25) can be rewritten into the following form
where \(\mathbf {NST}\) represents the non-secular terms. According to the Fredholm solvability conditions in [11], one gets the vector function on the right hand side of Eq. (23) should be orthogonal to the zero eigenvectors of the adjoint operator of the operator \(L_{c}\). Then, we apply the orthogonal condition to the equation on the right side of Eq. (25)
where
and the inner product satisfies \(<\mathbf {G^{*}},{\mathbf {P}}_1>=(\bar{\mathbf {G^{*}}})^{T}{\mathbf {P}}_1\), \(<\mathbf {H^{*}},{\mathbf {P}}_2>=(\bar{{\mathbf {H}}^{*}})^{T}{\mathbf {P}}_2.\) Finally, the amplitude equations are
where
Therefore, let \(W_1=\rho _{1}e^{i\theta },W_2=\rho _{2}\), we obtain the Turing–Hopf bifurcation in the real coordinates
Here, \(\kappa _1={{\mathbf {R}}}{{\mathbf {e}}}\{r_1\},\, \kappa _2={{\mathbf {R}}}{{\mathbf {e}}}\{r_2\},\, \kappa _3={{\mathbf {R}}}{{\mathbf {e}}}\{r_3\},\, \zeta _1={{\mathbf {R}}}{{\mathbf {e}}}\{m_1\},\, \zeta _2={{\mathbf {R}}}{{\mathbf {e}}}\{m_2\},\, \zeta _3={{\mathbf {R}}}{{\mathbf {e}}}\{m_3\},\, \xi _1={{\mathbf {I}}}{{\mathbf {m}}}\{r_1\},\, \xi _2={{\mathbf {I}}}{{\mathbf {m}}}\{r_2\},\, \xi _3={{\mathbf {I}}}{{\mathbf {m}}}\{r_3\}\) and remove the azimuthal term, we gain the amplitude equations near the Turing–Hopf bifurcation point
4 Numerical simulations
In this section, some numerical simulations are applied to confirm the theoretical analysis. In Sect. 3, we get the amplitude equations through the multiple time scale method. By direct calculation of Eq. (31), we obtain four kinds of equilibria: constant steady state solutions, nonconstant steady state solutions, spatially homogeneous periodic solutions and spatially inhomogeneous periodic solutions, respectively. Next, we need to find the equilibria of Eq. (31), thereby let \({\dot{\rho }}_1=0\) and \({\dot{\rho }}_2=0\). Notice that \(\rho _{1}>0\) and \(\rho _{2}\) is an arbitrary real number. By computation, one obtains a zero equilibrium
three boundary equilibria
and
and two internal equilibria
with \(\frac{\kappa _1\zeta _2-\kappa _3\zeta _1}{\kappa _3\zeta _3-\kappa _2\zeta _2}>0,\,\) \(\frac{\kappa _2\zeta _1-\kappa _1\zeta _3}{\kappa _3\zeta _3-\kappa _2\zeta _2}>0\). The first equation of (31) represents the amplitude equation corresponding to Hopf bifurcation, and the second equation of (31) represents the amplitude equation to the Turing bifurcation. Hence, \(E_{0}\), \(E_{1}\), \(E_{2}\), \(E_{3}\) correspond to the constant steady state solution, the spatially homogeneous periodic solution, the nonconstant steady state solution and the spatially inhomogeneous periodic solution, respectively.
Choosing \(d_1=0.2\), \(d_2=1.6\) and \(l=6\), according to (5), (10)–(12), we calculate \(k_*=7\), \(b_*=1.6547\), \(s_*=0.6547\) and \(w_*=0.8091\). From Eq. (31), it follows that
Therefore, with these given parameters, Eq. (31) becomes
Furthermore, a zero equilibrium
three boundary equilibria
and
and two internal equilibria
where \(-0.7872b_2<s_2<0.4858b_2\), respectively. Next the critical bifurcation lines
The parameter \((b_2,s_2)\) plane is divided into six regions by the four straight line \({\mathcal {L}}_1\), \({\mathcal {L}}_2\), \({\mathcal {L}}_3\) and \({\mathcal {L}}_4\), which are represented as \({\mathcal {D}}_1\), \({\mathcal {D}}_2\), \({\mathcal {D}}_3\), \({\mathcal {D}}_4\), \({\mathcal {D}}_5\) and \({\mathcal {D}}_6\), respectively, see Fig. 2 a and b. In what follows, we shall analyze the existence and stability of equilibria in six regions, and adopt numerical simulations respectively.
In region \({\mathcal {D}}_1\), system (32) has six equilibria: \(E_{0}\), \(E_{1}\), \(E_{2}^{\pm }\) and \(E_{3}^{\pm }\). The equilibria \(E_{1}\) and \(E_{2}^{\pm }\) are stable, and \(E_{0}\) and \(E_{3}^{\pm }\) are unstable equilibria. This implies that system (2) has an unstable positive constant equilibrium, a stable spatially homogeneous periodic solution, two stable nonconstant steady states and two unstable spatially inhomogeneous periodic solutions. Therefore, system (2) is transformed from two unstable spatially inhomogeneous periodic solutions to the stable spatially homogeneous periodic solution, as shown in Fig. 3, with \((b_2,s_2)=(0.003,0.0013)\) and initial conditions \(u(x,0)=0.8104+0.05cos(7x)\), \(v(x,0)=2.0455+0.05cos(7x)\).
In region \({\mathcal {D}}_2\), system (32) has four equilibria: \(E_{0}\), \(E_{1}\) and \(E_{2}^{\pm }\). The equilibria \(E_{0}\) and \(E_{1}\) are unstable, and \(E_{2}^{\pm }\) are stable equilibria. This indicates that system (2) has an unstable positive constant equilibrium, an unstable spatially homogeneous periodic solution and two stable nonconstant steady states. Hence, system (2) evolves from an unstable spatially homogeneous periodic solution to two stable nonconstant steady states, as shown in Fig. 4, with \((b_2,s_2)=(0.04,0.021)\) and initial conditions \(u(x,0)=0.8301+0.4cos(7x)\), \(v(x,0)=1.9934+0.5cos(7x)\).
In region \({\mathcal {D}}_3\), system (32) has two equilibria: \(E_{0}\) and \(E_{2}^{\pm }\). The equilibrium \(E_{0}\) is unstable, and \(E_{2}^{\pm }\) are stable equilibria. This shows that system (2) has an unstable positive constant equilibrium, and two stable nonconstant steady states, as shown in Fig. 5, with \((b_2,s_2)=(0.032,0.033)\) and initial conditions \(u(x,0)=0.8421+0.05cos(7x)\), \(v(x,0)=2.0030+0.05cos(7x)\).
In region \({\mathcal {D}}_4\), system (32) only has one equilibrium: \(E_{0}\). Moreover, \(E_{0}\) is locally asymptotically stable. Hence, the original system (2) has a stable positive constant equilibrium. This reveals that system (2) evolves from a stable positive constant equilibrium, as shown in Fig. 6, with \((b_2,s_2)=(-0.01,0.02)\) and initial conditions \(u(x,0)=0.8191+0.65cos(7x)\), \(v(x,0)=2.0079+0.65cos(7x)\).
In region \({\mathcal {D}}_5\), system (32) has two equilibria: \(E_{0}\) and \(E_{1}\). \(E_{0}\) is unstable and \(E_{1}\) is stable. This manifests that system (2) has an unstable positive constant equilibrium and a stable spatially homogeneous periodic solution. Therefore, system (2) evolves from an unstable positive constant equilibrium to a stable spatially homogeneous periodic solution, as shown in Fig. 7, with \((b_2,s_2)=(-0.04,-0.05)\) and initial conditions \(u(x,0)=0.7591+0.065cos(7x)\), \(v(x,0)=2.1271+0.065cos(7x)\).
In region \({\mathcal {D}}_6\), system (32) has four equilibria: \(E_{0}\), \(E_{1}\) and \(E_{2}^{\pm }\). The equilibria \(E_{0}\) and \(E_{2}^{\pm }\) are unstable, and \(E_{1}\) is stable. This demonstrates that system (2) has an unstable positive constant equilibrium, two unstable nonconstant steady states and a stable spatially homogeneous periodic solution. Therefore, system (2) evolves from two unstable nonconstant steady states to a stable spatially homogeneous periodic solution, as shown in Fig. 8, with \((b_2,s_2)=(-0.002,-0.008)\) and initial conditions \(u(x,0)=0.8011+0.065cos(7x)\), \(v(x,0)=2.0630+0.065cos(7x)\).
5 Discussion
Spatiotemporal dynamics of system (2) near Turing–Hopf bifurcation point are studied. First, under some conditions, the conditions of Turing instability and Hopf bifurcation are obtained. Then, choosing b and s as the bifurcation parameter, through qualitative calculation, one gets the existence of Turing–hopf bifurcation. Hence, the complex dynamical behaviours will appear.
In order to understand what kind of patterns will appears, the technique of the multiple time scale analysis is adopted to derive amplitude equations. System (2) exhibits rich spatiotemporal patterns, such as constant steady state solutions, nonconstant steady state solutions, spatially homogeneous periodic solutions and spatially inhomogeneous periodic solutions. The parameter plane is divided into six regions by the four straight lines. Within these regions different patterns are simulated, in particular, spatially inhomogeneous periodic solutions, which are generated by Turing–Hopf bifurcation. Note that spatially inhomogeneous periodic solutions only appear in \({\mathcal {D}}_1\) (see Fig. 3). Such spatiotemporal patterns can better explain the chemical oscillation between the concentrations of activators and inhibitors, and can be used for medical testing. In the end, numerical simulations are used to support the theoretical analysis. Actually, the Turing–Hopf bifurcation with two-dimensional spatial domain can produce more complicated spatiotemporal phenomena (see [28]), which will be further studied in the future.
Data availibility
All data generated or analysed during this study are included in this published article or available upon request.
References
A.M. Turing, The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. B 237, 37–72 (1952)
V.V. Castets, E. Dulos, J. Boissonade et al., Experimental evidence of a sustained standing Turing-type nonequilibrium chemical pattern. Phys. Rev. Lett. 64(24), 2953–2956 (1990)
M.X. Chen, R.C. Wu, L.P. Chen, Pattern dynamics in a diffusive Gierer–Meinhardt model. Int. J. Bifurc. Chaos 30(12), 2030035 (2020)
S.X. Yan, D.X. Jia, T.H. Zhang et al., Pattern dynamics in a diffusive predator–prey model with hunting cooperations. Chaos Solitons Fractals 130, 109428 (2020)
D.X. Song, Y.L. Song, C. Li, Stability and Turing patterns in a predator-prey model with hunting cooperation and Allee effect in prey population. Int. J. Bifurc. Chaos 30, 2050137 (2020)
D. Mansouri, S. Abdelmalek, S. Bendoukha, Bifurcations and pattern formation in a generalized Lengyel–Epstein reaction–diffusion model. Chaos Solitons Fractals 132, 109579 (2020)
S. Abdelmalek, S. Bendoukha, B. Rebiai, On the stability and nonexistence of Turing patterns for the generalized Lengyel–Epstein model. Math. Methods Appl. Sci. 40, 6295–6305 (2017)
S.B. Li, J.H. Wu, Y.Y. Dong, Turing patterns in a reaction–diffusion model with the Degn–Harrison reaction scheme. J. Differ. Equ. 259(5), 1990–2029 (2015)
R. Kapral, K. Showalter, Chemical Waves and Patterns (Springer, Netherlands, 1995)
I. Prigogene, R. Lefever, Symmetry breaking instabilities in dissipative systems II. J. Chem. Phys. 48, 1695–1770 (1968)
Q. Ouyang, Pattern Dynamics in the Reaction–Diffusion Systems (Shanghai Scientific and Technologial Eduation Publishing House, Shanghai, 2000)
R. Peng, M.X. Wang, Pattern formation in the Brusselator system. J. Math. Anal. Appl. 309(1), 151–166 (2005)
L. Xu, L.J. Zhao, Z.X. Chang et al., Turing instability and pattern formation in a semi-discrete Brusselator model. Mod. Phys. Lett. B 27(1), 1350006 (2013)
M.J. Ma, J.J. Hu, Bifurcation and stability analysis of steady states to a Brusselator model. Appl. Math. Comput. 236(1), 580–592 (2014)
Y.F. Jia, Y. Li, J.H. Wu, Coexistence of activator and inhibitor for Brusselator diffusion system in chemical or biochemical reactions. Appl. Math. Lett. 53, 33–38 (2016)
M.X. Liao, Q.R. Wang, Stability and bifurcation analysis in a diffusive Brusselator-type system. Int. J. Bifurc. Chaos 26(7), 1650119 (2016)
B. Li, M.X. Wang, Diffusion-driven instability and Hopf bifurcation in Brusselator system. Appl. Math. Mech. 29(6), 825–832 (2008)
Y. Li, Hopf bifurcations in general systems of Brusselator type. Nonlinear Anal. RWA 28, 32–47 (2016)
Q. Din, A novel chaos control strategy for discrete-time Brusselator models. J. Math. Chem. 56, 3045–3075 (2018)
G.H. Guo, B.F. Li, X.L. Lin, Hopf bifurcation in spatially homogeneous and inhomogeneous autocatalysis models. Comput. Math. Appl. 67, 151–163 (2014)
X. Cui, Y. Dong, X. Huang, N. Li, The prediction of wave competitions in inhomogeneous Brusselator systems. Commun. Theor. Phys. 63, 359–366 (2015)
J. Zhou, C. Mu, Pattern formation of a coupled two-cell Brusselator model. J. Math. Anal. Appl. 366, 679–693 (2010)
J.H. Wu, Theory and Applications of Partial Functional Differential Equations (Springer, New York, 1996)
Y.L. Song, T.H. Zhang, Y.H. Peng et al., Turing–Hopf bifurcation in the reaction–diffusion equations and its applications. Commun. Nonlinear Sci. Numer. Simul. 33, 229–258 (2019)
W.H. Jiang, Q. An, J.P. Shi et al., Formulation of the normal form of Turing–Hopf bifurcation in partial functional differential equations. J. Differ. Equ. 268(10), 6067–6102 (2019)
F.Q. Yi, S.Y. Liu, N. Tuncer, Spatiotemporal patterns of a reaction–diffusion substrate-inhibition Seeligmodel. J. Dyn. Differ. Equ. 29(1), 219–241 (2015)
A.H. Nayfeh, Introduction to Perturbation Techniques (Wiley-Interscience, New York, 1981)
W. Wang, S.T. Liu, Z.B. Liu et al., Temporal forcing induced pattern transitions near the Turing–Hopf bifurcation in a plankton system. Int. J. Bifurc. Chaos 30(9), 2050136 (2020)
Acknowledgements
This work was supported by the National Science Foundation of China (Nos. 11971032, 62073114).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there are no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Fu, X., Wu, R., Chen, M. et al. Spatiotemporal complexity in a diffusive Brusselator model. J Math Chem 59, 2344–2367 (2021). https://doi.org/10.1007/s10910-021-01291-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10910-021-01291-x