Spatiotemporal Patterns of a Reaction-Diffusion Substrate-Inhibition Seelig Model

In this paper, the spatiotemporal patterns of a reaction-diffusion substrate-inhibition chemical Seelig model are considered. We first prove that this parabolic Seelig model has an invariant rectangle in the phase plane which attracts all the solutions of the model regardless of the initial values. Then, we consider the long time behaviors of the solutions in the invariant rectangle. In particular, we prove that, under suitable lumped parameter assumption conditions, these solutions either converge exponentially to the unique positive constant steady states or to the spatially homogeneous periodic solutions. Finally, we study the existence and non-existence of Turing patterns. To find parameter ranges where system does not exhibit Turing patterns, we use the properties of non-constant steady states, including obtaining several useful estimates. To seek the parameter ranges where system possesses Turing patterns, we use the techniques of global bifurcation theory. These two different parameter ranges are distinguished in a delicate bifurcation diagram. Moreover, numerical experiments are also presented to support and strengthen our analytical analysis.