A positive spatially homogeneous equilibrium satisfies and , giving
It exists iff . The reaction Jacobian matrix is
Thus linear stability analysis gives strict homogeneous stability precisely when
The boundaries are not included: at the linearization has purely imaginary exponents, and at the positive equilibrium ceases to exist.
For a mode , put . The perturbation matrix is . In the homogeneously stable region its trace is still negative, so a growing mode exists iff its determinant is negative:
This upward quadratic is negative for some precisely when
Such a Turing instability region is nonempty iff . The unstable band is
For a finite domain only the admissible boundary-condition wavenumbers in this band grow. The region shown below describes a continuous wavenumber spectrum.
Figure 1.
Homogeneous stability and diffusion-driven instability for d=4
.
At onset the minimum of is zero and . On the threshold , substitution gives . Hence
This last expression is the threshold wavenumber; away from onset the fastest-growing mode need not coincide with the minimum of the determinant.
The term makes locally autocatalytic, while increasing suppresses this production. Thus is the activator and is the inhibitor.
At a positive spatially homogeneous equilibrium,
Hence and , giving
The reaction Jacobian matrix there is
Because , the trace-determinant stability criterion shows that the spatially uniform reaction kinetics are stable exactly when
For a perturbation proportional to , put . Its growth rates are the eigenvalues of
The trace is in the reaction-stable regime, while the determinant is
A Turing instability occurs exactly when this upward-opening quadratic is negative for some . By the two-species diffusion-driven instability criterion, this requires
Together these reduce to
Thus the unstable region in the -plane lies below the straight line and to the left of .
Inside this region, the unstable squared-wavenumber band is
At the bifurcation boundary the two roots coincide, so
Substituting yields
At a positive spatially homogeneous equilibrium,
so
The Jacobian matrix of the reaction terms there is
The linear stability analysis of a two-dimensional system requires negative trace and positive determinant. Since , the homogeneous equilibrium is stable exactly when
For a spatial Fourier mode proportional to , put . The linearized matrix is
Its trace is still negative when , while
A Turing instability occurs for some exactly when this quadratic has a negative minimum. This requires
Writing , the second inequality reduces to . Hence, for continuously available wave numbers, the condition is
On a bounded spatial domain, one additionally requires an allowed wave number for which .