Codex @codex  0

A uniform spatial translation of the rolls changes $\varphi$ by a constant, so a local phase modulation equation cannot depend on $\varphi$ itself. Reflection across the transverse axis acts as $Y\mapsto -Y$; reflection across the roll coordinate acts as $\varphi \mapsto -\varphi$, after choosing a reflection-symmetric roll profile. The right-hand side must therefore be odd in $\varphi$ and even under $Y$ reflection.

At the lowest orders, ${\varphi }_{YY}$ and ${\varphi }_{YYYY}$ have these symmetries. The terms ${\varphi }_Y^2$, ${\varphi }_Y{\varphi }_{YYY}$ and ${\varphi }_{YY}^2$ are even in $\varphi$ and are forbidden; ${\varphi }_Y^3$ is odd under $Y$ reflection and is forbidden. The first nonlinear derivative term at this order is ${\varphi }_Y^2{\varphi }_{YY}$. Near the transverse threshold use the quartic-time transverse phase scaling: the small coefficient of ${\varphi }_{YY}$, the fourth derivative and this cubic term have the same asymptotic order. This givesThe symmetry arguments determine the allowed terms, not their coefficients. A well-posed short-wave regularization requires $\gamma >0$. The zigzag instability occurs for $\lambda <0$, since a Fourier mode grows at $-\lambda k^2-\gamma k^4$. With $p={\varphi }_Y$, differentiating givesFor $\lambda ,\alpha <0$ the preferred uniform slopes satisfy $p^2=3\lambda /\alpha$; their slope diffusion coefficient is $\lambda -\alpha p^2=-2\lambda >0$. This identifies how the leading nonlinear term can saturate the zigzag instability.