- Research
- Open access
- Published:

# Spatiotemporal patterns in the Lengyel-Epstein reaction-diffusion model

*Advances in Difference Equations*
**volume 2016**, Article number: 23 (2016)

## Abstract

In this paper, we continue the mathematical study started in (Jang *et al.* in J. Dyn. Differ. Equ. 16:297-320, 2004; Ni and Tang in Trans. Am. Math. Soc. 357:3953-3969, 2005) on the analytic aspects of the Lengyel-Epstein reaction-diffusion system. First, we further analyze the fundamental properties of nonconstant positive solutions. On the other hand, we continue to consider the effect of the diffusion coefficient *d*. We obtain another nonexistence result for the case of large *d* by the implicit function theory, and investigate the direction of bifurcation solutions from \((u^{*},v^{*})\). These results promote the Turing patterns arising from the Lengyel-Epstein reaction-diffusion system.

## 1 Introduction

In this paper, we continue to consider the Lengyel-Epstein reaction-diffusion system [3, 4]. This system captures the crucial feature of the CIMA reaction in an open unstirred gel reactor which gave the first experimental evidence of a Turing pattern in 1990 [5]. The Lengyel and Epstein model takes the following form:

where \(\Omega\subset R^{n}\) (\(n\geq1\)) is a bounded domain with a smooth boundary *∂*Ω; \(\Delta= {\sum}^{n}_{i=1}\partial^{2}/\partial x_{i}^{2}\) is the Laplace operator carrying the spatial dependence of the reaction; \(u(x,t)\) and \(v(x,t)\), respectively, denote the chemical concentrations of iodide (\(\mathrm{I}^{-}\)) and chlorite (\(\mathrm{ClO}_{2}^{-}\)) at time \(t>0\) and a point \(x\in \Omega\); *a* and *b* are the parameters, which are relative to the feed concentrations; *c* is the ratio of the diffusion coefficients; \(\sigma>1\) is a rescaling parameter, which depends on the concentration of the starch and enlarges the effective diffusion ratio to *σc*. All parameters *a*, *b*, *c*, and *σ* are always assumed to be positive constants. The system (1.1) is based on the chlorite-iodide-malonic acid chemical (CIMA) reaction (see [3, 5, 6]). The more detailed development of the CIMA reaction model and experiments can be found in [5–7] and references therein.

In this paper, we are mostly concerned with the steady-state problem corresponding to (1.1), which takes the form

where \(d=c/b\). It is easy to see that (1.2) has a unique constant positive solution

where \(\alpha={a}/{5}\).

In the past decade, the Lengyel-Epstein reaction-diffusion system (1.1) and (1.2) have been extensively studied by several authors. For example, the authors gave various important experimental and numerical studies in [8, 9] and the references therein. In the one-dimensional case, Yi *et al.* [10], regarding *b* as the bifurcation parameter, studied the Hopf bifurcation for both the ODE and the PDE models. In [11], they further investigated the global asymptotical behavior of constant positive solution for small *a*. Taking *b* as the bifurcation parameter, Du and Wang [12] gave the existence of multiple spatially non-homogeneous periodic solutions though all the parameters of the system are spatially homogeneous. Furthermore, by choosing the different bifurcation parameter, Jin *et al.* [13] considered the same model using similar methods to [12].

On the other hand, Ni and Tang [1, 2] proposed more original and systematic works on mathematical aspects. In [2], for the better description of the structures, they considered the global bifurcation of the nonconstant steady states emanating from the simple bifurcation (*i.e.*, the case \(d_{j}\neq d_{k}\)) by choosing *d* as bifurcation parameter. In [1], they reported some fundamental analytic properties, and investigated the nonexistence of Turing patterns and the Turing instability. Moreover, they showed that if the parameter *a* lies in a suitable range, then the system (1.2) possesses nonconstant steady states for large *d*. In [14], the authors still viewed the effective diffusion rate *d* as the bifurcation parameter, and maintained the basic hypothesis on the system parameters. They studied the Turing structures, especially bifurcating from the double eigenvalue (*i.e.*, the case \(d_{j} = d_{k}\)) by using the Lyapunov-Schmidt technique and singularity theory [15], and they further discussed the stability and multiplicity of the bifurcating solutions.

In the present paper, based on the results of Ni *et al.*, we continue the analytic works of [1, 2] with the goal of achieving a deeper understanding of the Turing patterns operating in the system (1.2). This paper is organized as follows. In Section 2, by the implicit function theory, we consider the nonexistence result for the case of large *d*. In Section 3, we continue to analyze the fundamental properties of nonconstant positive solutions. These two sections complete the work of [1]. Finally, in Section 4, we investigate the direction of bifurcation solutions from simple eigenvalue (*i.e.*, the case \(d_{j}\neq d_{k}\)), which promotes the results in [2].

## 2 The nonexistence of nonconstant steady states

In this section, we shall verify the nonexistence of nonconstant steady states for the case of large *d*. To this end, we recall some results in [1]. First, we state *a priori* estimates of upper and lower bounds for positive solutions to the problem (1.2).

### Lemma 2.1

[1]

*Suppose that*
\((u,v)=(u(x),v(x))\)
*is a positive solution to the problem* (1.2). *Then*

The following theorem gives the nonexistence of nonconstant steady states to the problem (1.2) when *d* is not large.

### Theorem 2.1

[1]

*There is a positive constant*
\(d_{0}=d_{0}(a,\lambda_{1})\)
*such that the problem* (1.2) *does not admit a nonconstant solution for*
\(0< d< d_{0}\), *where*

*Here*
\(\lambda_{1}>0\)
*is the first positive eigenvalue of* −Δ *on* Ω *subject to the Neumann boundary condition*.

We remark that it is very involved to derive a good estimate for the positive constant \(d_{0}\) obtained above for a given *a*. However, Ni and Tang obtained a much simpler estimate in a different way when *a* is not very large.

### Theorem 2.2

[1]

*Suppose that*
\(a^{2}\leq75\). *Then the problem* (1.2) *does not admit a nonconstant solution provided that*

*In particular*, *there is no nonconstant solution for all*
\(d > 0\)
*if*
\(a^{2} \leq125/8\).

Theorem 2.1 and Theorem 2.2 give the nonexistence results for the case of not large *d*. In the following, we continue to analyze the effect of the parameter *d* on the nonexistence of nonconstant steady states to the problem (1.2). To obtain the nonexistence result for the case of large *d*, we first give the asymptotic behavior of positive solutions to (1.2) when *d* is sufficiently large.

### Lemma 2.2

*Suppose that*
\((u,v)=(u(x),v(x))\)
*is any positive solution of* (1.2). *Then*
\((u,v)\rightarrow(u^{*},v^{*})\)
*in*
\([C^{2}(\overline{\Omega})]^{2}\)
*as*
\(d\rightarrow\infty\).

### Proof

Suppose that *a* and Ω are fixed. By Lemma 2.1 and the standard elliptic regularity theory, we may assume that for any positive solution sequence \((u, v)\) of (1.2) with respect to *d*, there exists a subsequence \(\{(u_{i} , v_{i})\}_{i=1}^{\infty}\) corresponding to \(d = d_{i}\) with \(d_{i}\rightarrow\infty\) as \(i\rightarrow\infty\), such that \((u_{i} , v_{i})\rightarrow(\tilde{u},\tilde{v})\) in \([C^{2}(\overline{\Omega})]^{2}\) as \(i\rightarrow\infty\).

Obviously, according to Lemma 2.1, we see that \((\tilde {u},\tilde{v})\) is a positive solution to

where *ṽ* is a positive constant. By Lemma 2.1 again, we easily find that

in Ω̅. Integrating the first and second equations in (1.2) over Ω by parts, respectively, we obtain

By (2.2), we have

Hence, by Lemma 2.1, together with (2.2) and (2.3), we see that \((\tilde{u},\tilde{v})\) satisfies

Apparently, \((u^{*}, v^{*})\) is the unique positive constant solution of (2.1) and (2.4). To show the claimed result, it remains to prove \((\tilde {u},\tilde{v})=(u^{*}, v^{*})\).

Assume that \((\tilde{u},\tilde{v})\) is a nonconstant solution and we shall look for a contradiction in the following. To this end, we let \(\omega=\tilde{u}-u^{*}\). Then \(\omega\not\equiv0\) in Ω. By some calculations, we find that *ω* satisfies

where

By the second equality in (2.4), we derive

which suggests that *ω* must change sign in Ω.

On the other hand, by Lemma 2.1 again, it is easy to find that \((\tilde{u},\tilde{v})\) satisfies the following estimates:

As a result, we find that

is equivalent to

This inequality is true for all \(a>0\). Hence, \(f(x)>0\) holds for all \(x\in\overline{\Omega}\). Note that *g* is a constant. Thus, by the strong maximum principle for elliptic equations, we see that *ω* must be positive or negative on Ω̅. This contradicts (2.6). Hence, the claim \((\tilde{u},\tilde{v})=(u^{*}, v^{*})\) follows. □

Now, by Lemma 2.2, we can apply the implicit function theorem to obtain the nonexistence result for the case of large *d*.

### Theorem 2.3

*If*
\(a^{2}< 125/3\), *then there exists a large constant*
\(d^{*}=d^{*}(a,\Omega)\), *such that the problem* (1.2) *does not admit a nonconstant solution provided that*
\(d>d^{*}\).

### Proof

First, for any positive solution \((u, v)\) of the problem (1.2), we make the following decomposition on *v*:

For later purposes, we state the following function spaces:

Then we consider the following system:

where \(\rho={1}/{d}\). We can define the operator *F* by

with

where \(\mathcal{P}\) is a projection operator from \(L^{2}(\Omega)\) to \(L^{2}_{0}(\Omega)\), which satisfies

Then, for any fixed \(\rho> 0\),

is a well-defined mapping. For any given \(\rho> 0\), \((u, v_{1}, v_{2})\) is a solution of (2.7) if and only if \(F(\rho, u, v_{1}, v_{2}) = (0, 0, 0)\). Apparently, for all \(\rho\geq0\), \((u, v_{1}, v_{2}) = (u^{*}, 0, v^{*})\) is a solution of (2.7). In addition, by the standard elliptic regularity theory, we easily check that the positive solutions \((u, v)\) of (1.2) are equivalent to the roots of \(F(\rho, u, v_{1}, v_{2}) = (0, 0, 0)\).

It is obvious that *F* is a continuously differentiable mapping. By some calculations, we see that the partial derivative of *F* at the point \((0, u^{*}, 0, v^{*})\) with respect to \((u, v_{1}, v_{2})\) is provided by

where

with

In the following, we verify that \(\mathcal{L}\) is an isomorphism. First of all, we claim that \(\mathcal{L}\) is injective. Assume that \(\mathcal{L}(\omega,z,\tau)=(0,0,0)\). Since the operator −Δ, subject to the homogeneous Neumann boundary condition over *∂*Ω, is invertible from \(W^{2,2}_{n}(\Omega)\cap L^{2}_{0}(\Omega)\) to \(L^{2}_{0}(\Omega)\), we have \(z=0\). Thus, we obtain

When \(a^{2}<125/3\), we can observe that \(5-3\alpha^{2}>0\). Hence, for any given constant *τ*, for equation (2.9) there exists a unique solution,

On the other hand, in Lemma 2.2, we have proved that *ω* satisfies

Combining this with (2.10), we can derive \(\omega=\tau=0\). So \(\mathcal{L}\) is injective.

On the other hand, we need to prove that \(\mathcal{L}\) is surjective. To see that \(\mathcal{L}\) is surjective, we just need an elementary fact from [16]: for any given function \(g \in L^{2}_{0}(\Omega)\) and constant \(\tau_{0}\), the elliptic equation

has a unique solution \(\omega\in W^{2,2}_{n}(\Omega)\). As before, together with the previous fact, it is not hard to show that \(\mathcal{L}\) is surjective.

By virtue of the implicit function theorem, we see that there exist two positive constants \(\rho_{0} \) and \(r_{0}\), which are sufficiently small, such that for any \(\rho\in(0,\rho_{0}]\), \((u^{*}, 0, v^{*})\) is the unique solution of \({F}(\rho, u, v_{1}, v_{2}) = 0\) in \(B_{r_{0}} (u^{*}, 0, v^{*})\), where \(B_{r_{0}} (u^{*}, 0, v^{*})\) denotes the open ball in \(W^{2,2}_{n}(\Omega)\times(W^{2,2}_{n}(\Omega)\cap L^{2}_{0}(\Omega ))\times R_{+}^{1}\) centered at \((u^{*}, 0, v^{*})\) with radius \(r_{0}\).

For any positive constant sequence \(\{\rho_{i}\}^{\infty}_{i=1}\) satisfying \(\rho_{i}\rightarrow0\) as \(i\rightarrow\infty\), we let \((u_{i} , v_{i})\) be a corresponding solution sequence of (1.2) for \(d_{i} ={1}/{\rho _{i}}\) with the decomposition

Obviously, \((\rho_{i} , u_{i} , v_{i,1},v_{i,2})\) is a root of

By virtue of Lemma 2.2 and our decomposition, we have

It follows from (2.11) that for all large *i*,

In view of the implicit function theorem, we obtain

that is, if *d* is sufficiently large, then \((u^{*}, v^{*})\) is the unique positive solution of (1.2). □

## 3 Properties of nonconstant positive solutions

In the section, based on the results of Ni and Tang [1], we continue to investigate the basic properties of nonconstant positive solutions to the Lengyel-Epstein reaction-diffusion system.

For any given positive solution \((u,v)=(u(x),v(x))\) to the problem (1.2), we denote their averages over Ω by

where \(|\Omega|\) is the volume of Ω. Let \(\phi=u-\bar {u}\), \(\psi=v-\bar{v}\). Then

Lemma 2.1 guarantees that there exist two positive constants \(M_{1}\) and \(M_{2}\), which depend, respectively, only on *a*, such that

This enables us to derive the following two lemmas.

### Lemma 3.1

*There exists a constant*
\(M_{2}\)
*depending only on*
*a*, *such that*

### Proof

By means of Lemma 2.1 and the Hölder inequality, we get

By the Poincaré inequality

where \(\lambda_{1}\) (>0) is the first positive eigenvalue of −Δ subject to the Neumann boundary condition, we obtain

This implies

Applying the Poincaré inequality again, we derive

We complete the proof of the lemma. □

### Lemma 3.2

*There exists a constant*
\(M_{1}\)
*depending only on*
*a*, *such that*

### Proof

By means of Lemma 2.1 and the Hölder inequality, we obtain

By the Poincaré inequality

where \(\lambda_{1}\) (>0) is the first positive eigenvalue of −Δ subject to the Neumann boundary condition, we derive

This suggests

Applying the Poincaré inequality again, we have

The proof is complete. □

By (3.1) and (3.2), we have the following theorem.

### Theorem 3.1

*Suppose that*
\((u,v)\)
*is a nonconstant solution of the problem* (1.2). *Then the following estimates hold*:

Next, we promote the relationship of the gradients of *u* and *v* based on the work of Ni and Tang. It is to be found that our proof does not depend on the previous estimates. For this purpose, we need to introduce some results.

### Lemma 3.3

[1]

*Suppose that*
\((u,v)\)
*is a nonconstant solution of the problem* (1.2). *Then*

### Lemma 3.4

[1]

*Suppose that*
\((u,v)\)
*is a nonconstant solution of the problem* (1.2). *Then*

Now, by Lemma 3.3 and Lemma 3.4, our purpose is to obtain a new result on the relationship of the gradients of *u* and *v*.

### Theorem 3.2

*Suppose that*
\((u,v)\)
*be a nonconstant solution of the problem* (1.2). *Then*

*where*
\(0\leq c\leq10\).

### Proof

Let

Then \(w(x)\) satisfies

Multiplying *ϕ* and integrating by parts in the above equation, we obtain

which suggests that

By (3.5), we get

Hence

By the Poincaré inequality, we have

By the first inequality of (3.3), we have

On the other hand, by (3.6), we have

Therefore, we finish the proof of this theorem. □

## 4 Direction of the bifurcation solutions

In [2], Ni *et al.* derived the local and global bifurcation from \((u^{*},v^{*})\) in one-dimensional spatial domain \(\Omega=(0,l)\). That is, they obtained the local and global bifurcation from \((u^{*},v^{*})\) to the following problem:

In this section, we follow the idea of Shi [17] to determine the bifurcation direction of the steady-state bifurcation from simple eigenvalue. To this end, we translate (1.2) into the following system by the transition \(\hat{u}=u-u^{*}\) and \(\hat{v}=v-v^{*}\). For the sake of convenience, we still denote \((\hat{u},\hat{v})\) by \((u,v)\), then we have

where we denote \(l=\pi\). Let

A direct calculation yields

Denote \(U=(u,v)\). We define the map \(\widetilde{F}:R^{+}\times X\rightarrow Y\) by

where *X* is a Banach space with usual \(C^{2}\) norm and \(Y=L^{2}(0,\pi )\times L^{2}(0,\pi)\). By virtue of Theorem 3 in [2], we see that \(\operatorname{dim} \ker\widetilde{F}_{U}(d_{j},(0,0))=\operatorname{codim} R(\widetilde{F}_{U}(d_{j},(0,0)))=1\) and \(\ker\widetilde{F}_{U}(d_{j},(0,0))=\operatorname{span}\{\Phi_{j}\}\), where

with

Hence, we can decompose *X* and *Y* as

where *Z* is the complement of \(\ker\widetilde{F}_{U}(d,(0,0))\) in *X* and \(Z'\) is the complement of \(R(\widetilde{F}_{U}(d,(0, 0)))\) in *Y*. Due to \(\operatorname{codim} R(\widetilde{F}_{U}(d_{j},(0,0)))=1\), there exists \(l\in Y^{*}\) such that

Moreover, \(\Phi^{*}_{j}\) satisfies \(\widetilde{F}_{U}^{*}(d_{j},(0,0))\Phi ^{*}_{j}=0\) by Theorem 3 in [2] again, where

Thus, we can define

Since \(\widetilde{F}_{dU}(d_{j},(0,0))\Phi_{j}\notin R(\widetilde {F}_{U}(d_{j},(0,0)))\), we find that

According to (4.5) in [17], we see that

By some calculations, we obtain

where

By (4.2), we obtain

Hence, \(d'(0)=0\).

Also from [17], we see that the bifurcation is supercritical (resp. subcritical) provided that

where *θ* is the solution of the following problem:

Let \(\theta=(\theta_{1},\theta_{2})\). Then *θ* satisfies

By direct calculation, we obtain

where

By (4.2) again, we have

Hence

On the other hand, we have

where

In the following, we shall compute

Multiplying (4.3) by \(\cos^{2} jx\) and integrating by parts, we derive

where

Furthermore, integrating (4.3) by parts, we have

By (4.4), it is not hard to check that

Therefore, it follows that

Hence

From the above analysis, we obtain the following results.

### Theorem 4.1

*Under the same hypothesis as Theorem *3 *in* [2], *there exists a smooth bifurcation branch from*
\((d_{j}, (0,0))\). *Furthermore*, *the bifurcation is supercritical* (*resp*. *subcritical*) *provided that*
\(d''(0)>0\) (<0), *where*
\(d''(0)\)
*is given by* (4.5).

## 5 Conclusion

In this paper, we have studied the Lengyel-Epstein reaction-diffusion system which is proposed by Lengyel and Epstein in [3, 4]. Based on the results of Ni *et al.* [1, 2], we further study the steady-state problem (1.2). By the implicit function theory, we have shown that if the feed concentration is not large (\(a^{2}< 125/3\)), then the chemical concentrations of iodide (\(\mathrm{I}^{-}\)) and chlorite (\(\mathrm{ClO}_{2}^{-}\)) remain unchanged (*i.e.*, \((u^{*},v^{*})\)) when *d* is sufficiently large (see Theorem 2.3). For the chemical concentrations of iodide (\(\mathrm{I}^{-}\)) and chlorite (\(\mathrm{ClO}_{2}^{-}\)), we have obtained better estimates (see Theorem 3.1 and Theorem 3.2). Furthermore, by using the work of Shi [17], we have determined the change of the chemical concentrations of iodide (\(\mathrm{I}^{-}\)) and chlorite (\(\mathrm{ClO}_{2}^{-}\)) close to \((u^{*},v^{*})\) (see Theorem 4.1).

## References

Ni, WM, Tang, MX: Turing patterns in the Lengyel-Epstein system for the CIMA reaction. Trans. Am. Math. Soc.

**357**, 3953-3969 (2005)Jang, J, Ni, WM, Tang, M: Global bifurcation and structure of Turing patterns in the 1-D Lengyel-Epstein model. J. Dyn. Differ. Equ.

**16**, 297-320 (2004)Lengyel, I, Epstein, IR: Modeling of Turing structures in the chlorite-iodide-malonic acid-starch reaction system. Science

**251**, 650-652 (1991)Lengyel, I, Epstein, IR: A chemical approach to designing Turing patterns in reaction-diffusion system. Proc. Natl. Acad. Sci. USA

**89**, 3977-3979 (1992)Castets, V, Dulos, E, Boissonade, J, De Kepper, P: Experimental evidence of a sustained Turing-type equilibrium chemical pattern. Phys. Rev. Lett.

**64**, 2953-2956 (1990)De Kepper, P, Castets, V, Dulos, E, Boissonade, J: Turing-type chemical patterns in the chlorite-iodide-malonic-acid reaction. Physica D

**49**, 161-169 (1991)Epstein, IR, Pojman, JA: An Introduction to Nonlinear Chemical Dynamics. Oxford University Press, London (1998)

Callahan, TK, Knobloch, E: Pattern formation in three-dimensional reaction-diffusion systems. Physica D

**132**, 339-362 (1999)Judd, SL, Silber, M: Simple and superlattice Turing patterns in reaction-diffusion systems: bifurcation, bistability, and parameter collapse. Physica D

**136**, 45-65 (2000)Yi, FQ, Wei, JJ, Shi, JP: Diffusion-driven instability and bifurcation in the Lengyel-Epstein system. Nonlinear Anal., Real World Appl.

**9**, 1038-1051 (2008)Yi, FQ, Wei, JJ, Shi, JP: Global asymptotical behavior of the Lengyel-Epstein reaction-diffusion system. Appl. Math. Lett.

**22**, 52-55 (2009)Du, LL, Wang, MX: Hopf bifurcation analysis in the 1-D Lengyel-Epstein reaction-diffusion model. J. Math. Anal. Appl.

**366**, 473-485 (2010)Jin, JY, Shi, JP, Wei, JJ, Yi, FQ: Bifurcations of patterned solutions in the diffusive Lengyel-Epstein system of CIMA chemical reactions. Rocky Mt. J. Math.

**43**, 1415-1746 (2013)Wei, MH, Wu, JH, Guo, GH: Turing structures and stability for the 1-D Lengyel-Epstein system. J. Math. Chem.

**50**, 2374-2396 (2012)Golubitsky, M, Schaeffer, D: Singularities and Groups in Bifurcation Theory. Springer, New York (1985)

Peng, R, Wang, MX: Spatiotemporal patterns in a reaction-diffusion model with the Degn-Harrison reaction scheme. J. Differ. Equ.

**254**, 2465-2498 (2013)Shi, JP: Persistence and bifurcation of degenerate solutions. J. Funct. Anal.

**169**, 494-531 (1999)

## Acknowledgements

The work is supported by the Natural Science Foundation of China (11371293). The authors would like to express their sincere thanks to the anonymous referees for their valuable suggestions which led to the improved presentation of the paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors have made equal contributions to each part of this article. All authors read and approved the final manuscript.

## 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

Dong, Y., Zhang, S. & Li, S. Spatiotemporal patterns in the Lengyel-Epstein reaction-diffusion model.
*Adv Differ Equ* **2016**, 23 (2016). https://doi.org/10.1186/s13662-016-0757-y

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-016-0757-y