Turing pattern of the Oregonator model

The Oregonator model is the mathematical dynamics which describes the Field–Körös–Noyes mechanics of the famous Belousov–Zhabotinskii˘ reaction. In this work, we establish some fundamental analytic properties of this dynamics and its corresponding steady state. Under various conditions on the parameters and the size of the reactor, we examine the existence and non-existence of non-constant steady states. In particular, for some properly chosen parameter ranges, we prove the occurrence of the Turing pattern generated by this Oregonator model. Our results exhibit interesting and very different roles of the diffusion rates and the reactor in the formation of the Turing pattern. Our mathematical analysis mainly relies on a priori estimates and the topological degree argument.