Codex @codex  0

Put $u=\epsilon v+O({\epsilon }^2)$. The linearization at the zero solution isThe appropriate Fourier sine series isOrthogonality of the modes givesThus each mode grows or decays exponentially with its own eigenvalue, and the largest growth rate is the $n=1$ value. Strict linear stability analysis, meaning decay of every mode, is equivalent toAt equality the first mode is neutral in the linearization; the nonlinear terms decide its subsequent behavior. Above this length the first mode grows, giving linear instability.

For a spatially homogeneous positive steady state, $\alpha n(n_0^2-n^2)=0$ and $\beta n-\gamma a=0$, givingWrite $n=n_0+\eta$, $a=a_0+\xi$, and define $A=2\alpha n_0^2>0$. Homogeneous linearization givesThe eigenvalues are $-A,-\gamma$, both negative. Hence this steady state is stable to homogeneous disturbances, including the repeated-eigenvalue case, where a possible $t{e}^{-At}$ factor still decays.

The phase plane system is $\dot{x}=y$, $\dot{y}=-cy-\sin x$. Its equilibrium points are $(k\pi ,0)$ for every integer $k$. At such a point the Jacobian matrix and characteristic equation areFor even $k$, the equilibrium point is a stable focus for $0<c<2$, with eigenvalues $-c/2\pm i\sqrt{1-c^2/4}$; it is a stable node for $c>2$, with two distinct negative real eigenvalues. The excluded value $c=2$ gives the repeated critical case.

For odd $k$, the eigenvalues are $(-c\pm \sqrt{c^2+4})/2$. One is positive and one negative, so each is a saddle equilibrium for every $c>0$. These classifications follow from the linearization of a dynamical system, since all the relevant eigenvalues have nonzero real part for $c>0$. The even equilibria remain hyperbolic at $c=2$ too, although their linearization then has a repeated eigenvalue; that critical case is excluded from the requested classification.

At a positive spatially homogeneous equilibrium point, $v=u^2$ and $2+u-v=0$. Hence $(u,v)=(2,4)$. The reaction Jacobian matrix there isThe two-dimensional Routh-Hurwitz stability criterion gives strict linear asymptotic stability for $a>2$, and instability for $0<a<2$.

For a spatial mode with $s=k^2$, the reaction-diffusion linearization is $J_s=J-\mathrm{diag}(s,ds)$. When $a>2$, its trace is negative for every $s\ge 0$, whileA growing mode exists precisely when this quadratic is negative at some $s>0$. Its minimum must occur at positive $s$, and must be strictly negative, givingWith $z=d/a$, the latter inequality becomes $4z^2-28z+1>0$. Selecting the root compatible with $2d>a$ yields the Turing instability thresholdThe unstable band isOn a bounded domain a boundary condition must permit a mode in this band. Equality at the threshold gives a neutral mode, not positive growth.

At $a=2$, the homogeneous linearization has purely imaginary eigenvalues, so it is not strictly linearly asymptotically stable. If “stable” is read as nonlinear stability, the boundary deserves attention. Put $x=u-2$, $y=(v-4-x)/\sqrt{3}$, and $x=r\cos \theta$, $y=r\sin \theta$. The exact equations give $\dot{r}=r^{2}F(\theta )$, $\dot{\theta }=\omega +rG(\theta )$, where $\omega =2\sqrt{3}$,Expanding $dr/d\theta$ through cubic order, ${\int }_0^{2\pi }F=0$ cancels the quadratic displacement. The correction from the quadratic change in $r$ also integrates to zero, because it is proportional to $(\int F{)}^2$. Since ${\int }_0^{2\pi }FG=\pi /(2\sqrt{3})$, the Poincaré return map isThis cubic return-map stability of a weak focus shows that $a=2$ is a weak attracting focus. The strict linear range used in the Turing instability calculation is $a>2$; the positive homogeneous equilibrium is also nonlinearly asymptotically stable at the boundary $a=2$. For that boundary, $\mathrm{tr}{J}_s=-(1+d)s<0$ for every nonzero spatial mode. The same strict Turing instability threshold and unstable band therefore also apply there, with the homogeneous mode understood through nonlinear stability.

Linearize about the flat interface at rest, $\eta =0$, ${\phi }_j=0$. Both potentials still satisfy Laplace equation, now on the fixed strips $0<y<h_1$ and $-h_2<y<0$, with the same rigid-wall conditions. Discarding products of perturbations and evaluating the interface conditions at $y=0$ givesFor a normal mode proportional to $e^{i(kx-\omega t)}$, the vertical profiles satisfy ${\Phi }_j^{\prime \prime }-k^2{\Phi }_j=0$, the interface velocity is $-i\omega \eta$, and the wall-normal derivatives vanish. Smallness of the amplitude relative to wavelength and layer depths justifies this linearization.

Write $W(\Sigma )=\bar{\nu }\Sigma$. In a small radial patch $r=r_c+\chi$ with disturbance scale much smaller than $r_c$, the leading disk diffusion equation is ${\partial }_t\Sigma \simeq 3{\partial }_{\chi }^{2}W$. Taking the linearization around a uniform surface density ${\Sigma }_c$ givesFor a local Fourier mode $\delta \Sigma \propto e^{st+ik\chi }$,because $W\propto {\Sigma }^{-1}$ has $W^{\prime }<0$. Thus the effective density diffusion coefficient is negative and the disk has a viscous instability of an accretion disk.

A localized overdensity is a maximum of $\Sigma$ but a minimum of $W$. At its center ${\partial }_{\chi }^{2}W>0$, so ${\partial }_t\Sigma >0$: it grows. The local radial mass flux is proportional to $-{\partial }_{\chi }W$, directing matter toward that minimum from both sides. This is the physical feedback: an overdense patch has a smaller viscous torque in an accretion disk and attracts further accumulation. The arbitrarily rapid $k\to \infty$ growth in this ideal negative-diffusion model is not a resolved prediction below the validity scale of the thin-disk and local viscous closure.

Use the complete system in the PDF: the TeX omits $\dot{y}=y(4x-1)/8$. Both coordinate axes are invariant, and the equilibrium points are $(0,0)$, $(1,0)$ and $(1/4,3/4)$. The Jacobian matrix isAt $(0,0)$ its eigenvalues are $1,-1/8$, and at $(1,0)$ they are $-1,3/8$: both points are saddle equilibria. At the coexistence point,Thus the interior point is a stable spiral. The nontrivial nullclines are $x+y=1$ and $x=1/4$: $x$ increases below the first and decreases above it, while $y$ increases to the right of the second and decreases to the left. The rotation near coexistence is counterclockwise.

A local linearization by itself does not prove that every interior solution has the same limit. For this logistic predator-prey model, let $x_{\ast }=1/4,y_{\ast }=3/4$ and use the Lyapunov functionThe inequality $u-1-\log u\ge 0$ makes $V$ nonnegative, with equality only at coexistence. Its sublevel sets are compact inside the positive quadrant, because $V$ diverges both at the axes and at infinity. Direct differentiation cancels the predator-prey cross terms and givesOn $\{\dot{V}=0\}$ one has $x=x_{\ast }$, and remaining there requires $\dot{x}=-x_{\ast }(y-y_{\ast })=0$. The largest invariant subset is therefore the coexistence point. The LaSalle invariance principle provesOn $x=0$, $y$ decays as $e^{-t/8}$ toward the origin. On $y=0$, the logistic differential equation takes every $x(0)>0$ to one. The origin itself stays fixed. These boundary trajectories are the exceptions to the interior convergence statement.

Use linearization around Minkowski spacetime after constant rescaling of $x,y$: set $A=1+\epsilon a(u)$, $B=1+\epsilon b(u)$, $u=t-z$. To first order,Hence $s=a+b$ is affine in $u$, while $h=a-b$ is the freely propagating profile. The affine transverse trace in a diagonal linearized plane wave is pure gauge: it has zero linearized curvature and is locally a coordinate artifact. To see this without imposing extra boundary conditions, use a first-order linearized coordinate gauge transformation $h_{\mu \nu }\mapsto h_{\mu \nu }-{\partial }_{\mu }{\xi }_{\nu }-{\partial }_{\nu }{\xi }_{\mu }$, withThe $tx,ty,zx,zy$ changes cancel and the remaining time/longitudinal changes are proportional to $s^{\prime \prime }=0$. The transverse perturbation becomeswith all time and longitudinal components zero. It is a transverse-traceless gauge plane gravitational wave travelling in the positive $z$-direction, with plus polarization and no cross polarization in these transverse axes.

For freely falling nearby particles, geodesic deviation gives opposite transverse tidal accelerations, since $R_{txtx}=-\epsilon a^{\prime \prime }$ and $R_{tyty}=-\epsilon b^{\prime \prime }=+\epsilon a^{\prime \prime }$ in vacuum. Thus the transverse geodesic deviation eigenvalues have opposite signs; the stretching and compressing roles interchange when the curvature profile changes sign. If $h^{\prime \prime }=0$ as well, there is no linearized tidal wave: that special profile is also locally flat to this order. The exact diagonal metric describes a fixed transverse polarization through its opposite vacuum curvature eigenvalues; the linearized calculation identifies it as plus relative to the chosen axes.

Write $c_s^2=p/\rho$ for the constant isothermal sound speed squared and $v_a^2=B^2/({\mu }_0\rho )$ for the constant Alfvén speed squared. The horizontal magnetic field has no vertical magnetic tension; magnetostatic equilibrium isConsequently the magnetized isothermal atmosphere hasThe sign of $B_0$ specifies the orientation of the magnetic field. The adiabatic sound speed is $v_s^2=\gamma p/\rho =\gamma c_s^2$, also constant.

For the proposed normal mode, let $A=\exp (i\mathbf{k}\cdot \mathbf{x}+z/(2H)-i\omega t)$, $a=1/(2H)$, and temporarily write $\mathbf{\xi }$ for its constant complex amplitude. The divergence amplitude is $\Delta =i{k}_x{\xi }_x+i{k}_y{\xi }_y+(i{k}_z+a){\xi }_z$. Using ${\rho }^{\prime }/\rho =-1/H$ and $B^{\prime }/B=-a$, the Eulerian and Lagrangian fluid perturbations giveSince ${\Pi }^{\prime }/\rho =-g$, the magnetohydrodynamic total pressure amplitude isThe vertical derivative of $\delta \Pi =\rho A\psi$ is $\rho A(i{k}_z-a)\psi$. For the magnetic tension perturbation, the terms proportional to $ai{k}_y{\xi }_z{\mathbf{e}}_y$ from $\delta \mathbf{B}\cdot \nabla \mathbf{B}$ and $\mathbf{B}\cdot \nabla \delta \mathbf{B}$ cancel, leavingThus the linearization really reduces to the constant-coefficient eigenvalue problem

For a static ideal magnetohydrodynamics equilibrium with conservative gravitational acceleration, the magnetohydrodynamic energy principle gives a Hermitian operator for the restoring force in the mass density weighted inner product, provided the surface terms vanish. The factor $e^{z/(2H)}$ removes the exponential mass density weight. This can be checked directly, without assuming stability: set $s=v_s^2$, $b=v_a^2$, and $q=s+b$. Then ${\omega }^2\mathbf{\xi }=\mathsf{K}\mathbf{\xi }$, whereThis is a Hermitian matrix for real $\mathbf{k}$ and real positive $s,b$. Therefore every squared frequency ${\omega }^2$ is real; negative values give exponential growth, rather than an oscillation with a complex squared frequency. In an infinite atmosphere these are generalized plane waves, not finite-total-energy global modes.

At ${\omega }^2=0$ and $k_y\ne 0$, the $y$ equation, after cancelling its magnetic terms, gives $s\Delta =g{\xi }_z$. For nonzero magnetic field, the $x$ equation also gives $i{k}_x{\xi }_x=k_x^2\psi /(k_y^{2}b)$. Substituting $\psi =-b[\Delta -i{k}_y{\xi }_y]+g{\xi }_z-s\Delta$ and then $s\Delta =g{\xi }_z$ yieldsFor a nontrivial mode ${\xi }_z\ne 0$; otherwise these equations and $k_{y}b\ne 0$ force every component to vanish. Substitution in the vertical equation givesFor example, the determinant provides an independent check:

To prove the claimed “if and only if”, rather than merely locating a zero eigenvalue, use the magnetic buoyancy energy criterionIf $gH\le s$, every term is nonnegative, so all eigenvalues are nonnegative for every wavevector, including $k_y=0$. If $gH>s$, choose $k_z=0$, any fixed $k_x\ne 0$, and ${\xi }_z=1$, ${\xi }_x=-a/(i{k}_x)$, ${\xi }_y=g/(si{k}_y)$. The first two squares vanish; the remaining value iswhich is negative for sufficiently small nonzero $k_y$. The Rayleigh quotient of this displacement is therefore negative, proving a negative eigenvalue and an unstable normal mode. This uses precisely the assumption that boundary conditions do not exclude the chosen wavelengths. Equality is a neutral threshold, not exponential growth.

Finally the plasma beta is $\beta =p/[B^2/(2{\mu }_0)]=2c_s^2/v_a^2$. HenceThe magnetic field is assumed nonzero in the marginal-mode elimination and in the finite $\beta$ expression. The positive-sound-speed, nonmagnetic limit remains covered by the energy identity; for the usual $\gamma >1$ it is stable. Parker instability occurs because magnetic pressure supports part of the atmosphere's weight while the gas can drain along gently bent magnetic field lines. The resulting buoyant displacement can release Newtonian gravitational potential energy; choosing long wavelengths along the magnetic field makes the stabilizing magnetic tension small. The completed-square calculation quantifies this competition, including the adiabatic process restoring force.

The separation of the two bodies is $a$, as is fixed by the supplied Kepler third law ${\omega }_o^2=G(M_1+M_2)/a^3$. The phrase “orbit of radius $a$” cannot denote the first body's distance from the center of mass in that formula.

Expand the companion's Newtonian potential of a point mass about the first body's center. The constant term produces no force; the linear term produces the uniform acceleration of the center and disappears in the translating frame. The leading differential acceleration therefore comes from the quadrupolar tidal forcingwhere $\mathbf{n}(t)$ points toward the companion. It is a degree-two solid spherical harmonic. For a circular nonrotating-frame orbit, its time-dependent components have $m=\pm 2$ and frequency $2{\omega }_o$, because the squared direction cosines repeat twice per orbit. There is also a static $m=0$ component. The real part of one complex harmonic represents the pair of time-dependent components; its normalization and orientation are absorbed into the order-one coefficient $\psi$. This gives $\Psi =\psi (G{M}_2/a^3)r^2{Y}_2^m$ and $\omega =2{\omega }_o$. The expansion is the leading term for $R_1/a$ small; spin is being neglected.

For a forced potential flow with the same temporal frequency, the Euler momentum equation becomesUse $U=A{r}^2{Y}_2^m$. The surface gravity perturbation of a uniform-density sphere is unchanged, as is the vanishing Lagrangian pressure perturbation boundary condition. Integrating the equation and applying that condition givesSince ${\xi }_r(R_1)=2A{R}_1{Y}_2^m$, the real surface displacement isIndeed $ϵ{\omega }_2^2=2G{M}_2/a^3$, so the normalization is consistent. This is a particular forced response away from the resonance; arbitrary free normal modes can be added.

Put $\mu =M_2/M_1$ and $q=(R_1/a{)}^3$. The tidal resonance of a stellar oscillation condition is $4{\omega }_o^2={\omega }_2^2$, henceThe resonance gives $0\le ϵ<1/2$ for finite nonnegative $\mu$, with actual forcing requiring $M_2>0$. At exact resonance the undamped linearization has no bounded response at the forcing frequency: the time-domain particular solution grows proportionally to $t$ times a sinusoid. Thus the frequency-response formula has a pole, rather than describing a finite resonant displacement. Away from that pole, linearization requires the displayed surface displacement to be small compared with $R_1$; the leading quadrupolar tidal forcing approximation separately requires $R_1/a$ small.

Choose the positive-frequency branch and real radial amplitude $u$. The azimuthal amplitude of the inertial-acoustic wave is $U_y=-i\Omega u/(2\omega )$, so taking real parts givesFor $|k|c_s/\Omega \ll 1$, $\omega =\Omega [1+O((k{c}_s/\Omega {)}^2)]$. Thus, to leading long-wavelength order,The quarter-cycle phase shift and the factor $1/2$ are the epicyclic motion relation in a Keplerian shearing sheet. This approximation drops the small frequency detuning; over times $|\omega -\Omega |t\gtrsim 1$ that phase approximation is not uniform. The associated fractional surface density of a disk perturbation is $\sigma /{\Sigma }_0=(ku/\omega )\cos (kx-\omega t)$, so linearization also requires $|ku/\omega |\ll 1$. The source's arbitrary real $u$ sets the wave phase/amplitude within that small-perturbation regime.

Use $\nu =R{e}^{-1}>0$, $\kappa =P{e}^{-1}>0$, $\mathbf{U}=\overline{\mathbf{u}}+\mathbf{u}$, and $\Theta =\overline{\theta }+\theta$. Work along a sufficiently regular direct trajectory satisfying the given constraints. The zero spatial mean of the scalar field is conserved by incompressible flow, impermeable walls and zero scalar flux, so minimizing $J=(\Theta (T),\Theta (T))$ is equivalent to minimizing scalar variance, up to the fixed domain volume.

The printed functional fixes the initial state to a candidate ${\mathbf{u}}_0$; it contains no term that enforces its kinetic energy. For the optimization over that candidate, add the real Lagrange multiplier constraintEquivalently, one can restrict all control variations to the sphere in a normed vector space of fixed kinetic energy. This term changes the initial-control optimality condition, not the interior adjoint equations.

Let $\mathbf{v}=\delta \mathbf{u}$, $\sigma =\delta \theta$ and $\pi =\delta p$. Linearization of the momentum and scalar transport residuals givesBoth appearances of the perturbation velocity in the nonlinear momentum term have been differentiated. In particular, the coefficient is the gradient of the total velocity, not just the base shear.

For the negative-constraint convention of the functional, integration by parts gives the interior coefficients of $\mathbf{v},\sigma ,\pi$ asThus the adjoint equations for Boussinesq scalar mixing areThe transpose is essential: the $j$th component of $(\nabla \mathbf{U}{)}^T{\mathbf{u}}^{†}$ is ${\sum }_i{u}_i^{†}{\partial }_j{U}_i$. The coupling $-{\theta }^{†}\nabla \Theta$ transposes advection of the scalar by a velocity perturbation; $-R{i}_B{u}_y^{†}$ transposes buoyancy feedback. Dropping the latter would give a passive scalar adjoint, not the active scalar problem.

These equations are integrated backward, not forward. If $\tau =T-t$, they readwith direct coefficients evaluated at $t=T-\tau$. Both terms from the diffusion equation now have the usual forward sign in $\tau$. A direct-adjoint looping method stores or reconstructs the forward trajectory, solves these equations backward, and uses the initial adjoint as the control gradient. The endpoint and fixed-energy conditions below give necessary conditions for a local optimizer, not a global optimality theorem.

Introduce specific heat capacity $c_p$, latent heat per unit mass $L_f$, and $\Delta T=T_m-T_s>0$. Write the prescribed convective heat flux as $F=K(\overline{T}-T_m)$, whereThere is a dimensional convention to specify: with $Q$ measured in $\mathrm{W}\mathrm{k}{\mathrm{g}}^{-1}$ and dimensionless $\lambda$, this printed expression makes $K$ a heat transfer coefficient only if $\mu$ is kinematic viscosity. If $\mu$ denotes dynamic viscosity, the numerator needs ${\rho }_0^{2}g\alpha Q$ instead. The question says only “viscosity”; use the consistent kinematic interpretation, or equivalently the corrected dynamic formula. The following balances apply to either convention once $K$ has units $\mathrm{W}{\mathrm{m}}^{-2}{\mathrm{K}}^{-1}$.

For a thin lava lake crust with a linear temperature profile, Fourier's law gives the outward conductive flux $k\Delta T/a$. The Stefan condition balances it against upward thermal convection and freezing, while the well-mixed liquid loses the convective flux and gains radiogenic heating. To leading order in $a/H$ the radiogenically heated lava-lake crust model isThe fixed surface temperature already incorporates radiative cooling, so no extra radiative loss is added to the interior balance. The linear conductive profile is interpreted as a quasi-steady approximation, so sensible-heat storage within the crust is not evolved. Thinness alone does not establish this approximation: rapid thermal adjustment in the crust is also needed, for example a small Stefan number during the initial conduction-driven growth. Replacing the liquid depth by $H-a$ and retaining the moving liquid-volume enthalpy would introduce thin-crust corrections: the requested constant-temperature branch refers to the leading model above. A transient thermal profile in a thick or newly nucleating crust would require the full Stefan problem, rather than this linear-profile closure.

Using the thermal diffusion time $H^2/\kappa$, defineThe three independent dimensionless parameters are the convective-conductive coefficient $B$, the heating parameter $R$, and the Stefan number $S$. For positive $B,R,S$ the evolution equations becomewhere prime denotes $d/d\tau$. Temperature has the exact solutionConsequently the unique constant-temperature initial condition isAt this temperature, the convective flux equals the column's radiogenic heat production. Starting with no crust, the constant-temperature lava-crust growth law is obtained by separating $h^{\prime }=S(1/h-R)$:The crust grows towards $h_{\ast }=1/R$, or $a_{\ast }=k\Delta T/({\rho }_{0}QH)$, where conduction carries all the radiogenic input. The logarithm makes reaching this equilibrium take infinite time. For an initial thickness $h_0>0$, subtract $[-R{h}_0-\log (1-R{h}_0)]/(S{R}^2)$ on the same side of the equilibrium; the corresponding antiderivative uses $\log |1-Rh|$ on either branch. The thin-crust description through equilibrium requires $R\gg 1$.

For general initial temperature, the full early and intermediate history is specified by the exact temperature above and one scalar ordinary differential equation. A particularly convenient integral formulation for an initially bare surface isThis removes the infinite initial derivative of $h$. The right-hand side points into $y>0$ at zero, and is decreasing in $y$ when ${\theta }_0\ge 0$; two nonnegative solutions therefore cannot separate, which gives uniqueness. Its solution, together with the temperature formula, determines the entire model evolution and can be computed without a phase-boundary search. The early expansion follows by substitution:The dimensional leading crust thickness is $a\sim \sqrt{2k\Delta Tt/({\rho }_0{L}_f)}$. Thus hotter liquid reduces the first correction to conductive crust growth, whereas colder liquid permits more rapid thickening.

If ${\theta }_0>{\theta }_{\ast }$, the temperature decreases and the instantaneous stationary lava-crust thickness $h_e(\tau )=1/[B\theta (\tau )]$ increases towards $h_{\ast }$. Starting from zero, the crust always remains below this rising curve: at a first contact $h^{\prime }=0$ but $h_e^{\prime }>0$, so it cannot cross from below. Hence hot-start crust grows monotonically. It also stays thinner than the constant-temperature solution: the early expansion puts it below, and at a proposed first crossing their derivative difference is $-SB({\theta }_0-{\theta }_{\ast })e^{-B\tau }<0$, preventing crossing from below. If $0\le {\theta }_0<{\theta }_{\ast }$, the temperature increases and the instantaneous stationary lava-crust thickness decreases. The crust stays thicker than the constant-temperature solution by scalar comparison, but it may cross the decreasing $h_e$, reach a maximum and subsequently melt back towards $h_{\ast }$. Such overshoot is possible, not inevitable; the two relevant relaxation rates are $B$ and $S{R}^2$. The numerical plot uses $B=4$, $R=20$, $S=0.1$, so crust adjustment is faster than temperature relaxation and the cool-start example does overshoot:

The curves use ${\theta }_0/{\theta }_{\ast }=0.5,1,1.5$ and initially $h=0$. They solve the complete reduced time-dependent equations, rather than replacing the moving stationary thickness by the actual crust. At late times, set $h=h_{\ast }+v$, $\delta ={\theta }_0-{\theta }_{\ast }$; linearization gives $v^{\prime }=-S{R}^{2}v-SB\delta e^{-B\tau }$. For $S{R}^2\ne B$,At equal rates the forced term is $-SB\delta \tau e^{-B\tau }$. In particular, slow warming with $B<S{R}^2$ approaches equilibrium from a thicker crust, explaining the plotted remelting. These long-time expressions describe the linearized response; nonlinear corrections can have their own faster exponential rates. All predictions are restricted to $a/H\ll 1$, nonnegative liquid superheat, and the assumed vigorous-convection flux law. If crust growth violates those conditions, the reduced model must be replaced rather than extrapolated to total freezing.

Assume $R^2=1-q^2>0$. The symbol $R$ in this part is the convection roll amplitude, not the Rayleigh number of the previous part. Set $r=R^2$ for the algebra. The periodic boundary condition requires $qL\in 2\pi \mathbb{Z}$ and modulation wavenumbers $lL\in 2\pi \mathbb{Z}$. The conserved-field equation preserves the imposed zero mean of $B$, since the integral of an $X$ derivative over a period vanishes.

Equating the $e^{ilX+\lambda T}$ coefficients after linearization of the convection amplitude coupled to a conserved field givesThe conjugate sideband is needed because the variation of $|A{|}^{2}A$ couples a perturbation to its complex conjugate. Put $S=a_1+a_2$, $D=a_1-a_2$. The linear operator on $(S,D,b)$ isIts characteristic polynomial, expressed conveniently without expanding every coefficient, isAt $l=0$ it has roots $-2r,0,0$. The phase root is neutral; the uniform $B$ root is excluded by the prescribed zero-flux-perturbation mean. Nonzero arbitrarily long-wave modes remain allowed on a sufficiently large domain. For fixed $r>0$, the two roots tending to zero have $\lambda =l^2\nu +O(l^4)$ at simple limiting roots. Dividing the polynomial by $2l^4$ yieldsRepeated limiting roots may require a further expansion, but do not affect the strict instability criterion. If $(\mu -\sigma )r+2\sigma q^2>0$, the constant term is negative and the two real roots have opposite signs. The positive root gives a growing long-wave sideband instability. Using $r=1-q^2$ givesThis is sufficient for instability when a sufficiently small nonzero allowed $l$ is available. It is not an unconditional instability theorem for every fixed finite period. For example $q=0$, $\mu =2$, $\sigma =1$, $L=1$ satisfy the inequality, but the nonzero allowed $l$ obey $l^2\ge 4{\pi }^2$. Their roots are $-l^2$ and $-l^2-1\pm \sqrt{1+4l^2}$, all negative. The prescribed zero mean removes the uniform flux root and the remaining uniform phase is merely neutral. The corrected conclusion is the long-wave instability with a conserved mean field, with domain size and mode availability stated.