Diffusion Instability Domains for Systems of Parabolic Equations.

We consider a system of two reaction-diffusion equations in a bounded domain of the -dimensional space with Neumann boundary conditions on the boundary for which the reaction terms and depend on two parameters and . Assume that the system has a spatially homogeneous solution , with and , where is the Jacobian of the corresponding linearized system in the diffusionless approximation and is a smooth monotonically increasing function. We propose some method for the analytical description of the domain of necessary and sufficient conditions of Turing instability on the plane of system parameters for a fixed diffusion coefficient . Also, we show that the domain of necessary conditions of Turing instability on the plane is bounded by the zero-trace curve, the discriminant curve, and the locus of points . Explicit expressions are found for the curves of sufficient conditions and we prove that the discriminant curve is the envelope of the family of these curves. It is shown that one of the boundaries of the Turing instability domain consists of the fragments of the curves of sufficient conditions and is expressed in terms of the function and the eigenvalues of the Laplace operator in the domain under consideration. We find the points of intersection of the curves of sufficient conditions and show that their abscissas do not depend on the form of and are expressed in terms of the diffusion coefficient and the eigenvalues of the Laplace operator. In the special case . For this case, the range of wave numbers at which Turing instability occurs is indicated. We obtain some partition of the semiaxis into half-intervals each of which corresponds to its own minimum critical wave number. The points of intersection of the curves of sufficient conditions lie on straight lines independent of the diffusion coefficient . By way of applications of the statements proven, we consider the Schnakenberg system and the Brusselator equations. [ABSTRACT FROM AUTHOR]