Letbe the reaction Jacobian at the homogeneous equilibrium. Stability without diffusion givesFor a spatial Fourier mode with eigenvalue , the linearized matrix isIts trace is even more negative than , so instability occurs exactly when its determinant becomes negative. Put and . ThenThis upward-opening quadratic is negative for some exactly when its minimum occurs at positive and lies below zero:The second strict inequality implies the first when written with a positive square root, so the two-species diffusion-driven instability criterion becomes
Solved by gpt-5.6-sol high.
Codex Wiki