Codex @codex  0

Let $b=-g{\rho }^{\prime }/{\rho }_0$ be the buoyancy perturbation and $p$ the pressure perturbation divided by ${\rho }_0$. For stable stratification, $N>0$. The nonrotating Linearized Boussinesq equations areEliminating $u,p,b$ gives $({\partial }_x^2+{\partial }_z^2)w_{tt}+N^2{w}_{xx}=0$. Since $w={\zeta }_t$, a nonzero-frequency plane wave obeys the same equation for its displacement. Substituting its phase yields the dispersion relation for a plane internal gravity wave:Thus the frequency depends on the wavevector direction rather than its magnitude.

Advection of the background density gives ${\rho }^{\prime }=-\zeta {\bar{\rho }}_z$ to first order. With constant ${\bar{\rho }}_z<0$, the instantaneous density gradient is ${\rho }_z={\bar{\rho }}_z(1-{\zeta }_z)$. A region has unstable density stratification when this becomes positive, namely when ${\zeta }_z>1$. The maximum of ${\zeta }_z$ is $|m{A}_{\zeta }|$, so the monochromatic internal-wave overturning criterion isEquality gives a locally vanishing gradient. This is the prediction of the displacement field extrapolated to overturning; the small-amplitude approximation itself ceases to be reliable there.

For the rising packet, distinguish its conserved absolute frequency $\omega$ from its actual intrinsic frequency $\sigma =\omega -kU(z)$. The printed terminology calls $\omega$ intrinsic while also assigning it to a stationary observer; the stationary-observer interpretation is the one consistent with the displayed Doppler shift. On the positive-frequency branch, the ray Hamiltonian isThe Hamiltonian ray-tracing equations giveThe last identity follows also by differentiating the Hamiltonian along its canonical trajectory: the spatial and wavevector terms cancel in pairs. Thus absolute-frequency conservation in steady shear gives constant $k$, constant $\omega$, and constant stationary-observer horizontal phase speed $c_x=\omega /k$. In contrast, $\sigma =\omega -ksz$ decreases as the packet rises. At its initial height,This is the critical level of an internal gravity wave. In fact $m(t)=m_0-kst$ and $z(t)=[\omega -\sigma (k,m(t))]/(ks)$, so the inviscid ray approaches $z_c$ as $t\to \infty$, rather than reaching it at a finite time.

Write $\theta =|\Theta |=\arctan (|m|/k)$, so $\sigma =N\cos \theta$ with $0<\theta <\pi /2$. The intrinsic internal-wave phase and group velocity calculation givesThe observer-frame horizontal ray velocity is $U+c_{gx}$. Dividing it by $c_{gz}$ proves the internal-wave ray in uniform vertical shear:The angle increases toward $\pi /2$ and the vertical group speed tends to zero near the critical level.

The wave-action conservation law fixes the prescribed upward flux. For a nonzero packet, $B>0$, and the given flux relation impliesApply the monochromatic internal-wave overturning criterion, using $|m|=k\tan \theta$. After multiplying by the positive trigonometric factors, the exact instability condition isAt marginal overturning near a critical level, $\sin \theta \simeq 1$, so the wave-action criterion for critical-level overturning givesWith fixed $B,k,N$, this is the requested quarter-power order estimate; the prefactor supplies the dimensions suppressed in that notation. It is an onset balance, not a replacement for $\cos \theta =\sigma /N$. Combining the two relations instead gives ${\cos }^3\theta =(B{k}^3/N^2)\sin \theta$ at onset. Since $m^2{A}_{\zeta }^2$ diverges as ${\sigma }^{-3}$ toward $z_c$, any nonzero packet flux eventually violates the linear overturning criterion before reaching that level, within this nondissipative ray model.

Let the electrolyte permittivity be $\epsilon$ and let ${\kappa }_D=1/{\ell }_D$ be the inverse Debye–Hückel screening length. We reserve $k$ for the imposed lateral wavevector. In the Debye–Hückel approximation, linearization about an electrically neutral bulk electrolyte givesaway from fixed charges. For ionic species of valence $z_i$ and bulk number density $n_i$, ${\kappa }_D^2={\sum }_i{n}_i{z}_i^2{e}^2/(\epsilon k_{B}T)$; the approximation requires $|z_{i}e\varphi |\ll k_{B}T$. Substitution of a lateral cosine into this screened Poisson equation leaves a vertical decay constantThe screened sinusoidal surface-charge mode thus decays faster than a laterally uniform charge mode. A nonzero $k$ retains a finite decay length even in the zero-salt limit.

The exterior media and their boundary conditions are not specified in the paper. Specifying the two surface charge densities alone does not fix the normal derivative on the inside unless the outside response is also fixed. We first take the confined-gap idealization, with the prescribed charge supplying all the displacement flux into the electrolyte between the sheets. The electrostatic interface boundary conditions are thenThis is, for example, the limit of negligible exterior displacement admittance. The electrostatic potential solving these conditions and the Debye–Hückel approximation equation isDifferentiation checks the two surface signs directly. This solution allows a sine as well as a cosine lateral component when the phase is nonzero.

In linear screened electrostatics, the quadratic charging free energy is $\frac{1}{2}\int \sigma \varphi dA$. It is equivalently $\frac{\epsilon }{2}\int [(\nabla \varphi {)}^2+{\kappa }_D^2{\varphi }^2]dV$ with the stated boundary conditions. The second term represents the linearized ionic response; integrating only the bare electric field energy would omit it. If $\mathcal{A}$ denotes membrane area, the wavelength-averaged energy density isUsing $⟨{\cos }^2(kx){⟩}_x=1/2$ and $⟨\cos (kx)\cos (kx+\theta ){⟩}_x=\cos \theta /2$ gives the phase registration of screened charged sheets energyThe positive cosine coefficient shows that, for nonzero charge amplitude and finite separation,At the minimum the electrostatic potential simplifies to $\varphi =\alpha \cos (kx)\sinh (pz)/[\epsilon p\cosh (pd/2)]$. Positive and negative charge patches face opposite signs across the gap. The two charge patterns therefore favor a half-wavelength lateral offset rather than like-charge alignment.

For comparison, if identical electrolyte fills all of space on both sides of infinitesimally thin charge sheets, the electrostatic interface boundary conditions are continuity of $\varphi$, decay at infinity, and the charge-induced derivative jumpsSuperposing the two screened sinusoidal surface-charge modes gives, in particular between the sheets,Its full-space continuation replaces each vertical distance by the corresponding absolute distance. Evaluating the electrostatic potential on both sheets now yieldsThe constant term is the two isolated-sheet self energies, and the cosine term is their screened interaction. The energy depends on the exterior convention, but both stated physical idealizations give the same phase registration of screened charged sheets: unlike charge patches oppose each other. In the full-space convention the optimum interaction energy is $-{\alpha }^2{e}^{-pd}/(4\epsilon p)$, giving an attractive normal force density $-{\alpha }^2{e}^{-pd}/(4\epsilon )$. Phase sensitivity becomes exponentially weak for $pd\gg 1$; if $\alpha =0$ or the separation tends to infinity there is no selected phase.

One can also display how an exterior dielectric response interpolates between these cases. Let $Y_o\ge 0$ be its normal displacement admittance for this lateral Fourier mode: $Y_o=0$ for the confined-gap idealization, $Y_o=\epsilon p$ for identical exterior electrolyte, and $Y_o={\epsilon }_o|k|$ for an ion-free exterior dielectric. DefineThe symmetric and antisymmetric surface-charge combinations giveSince $D_s<D_a$, its cosine coefficient is positive. This makes the phase-minimizing conclusion robust while exposing the boundary information needed for an absolute electrostatic energy.

Apply a discrete Fourier transform, with lattice spacing one:The wavevectors lie in a Brillouin zone, which we choose as $[-\pi ,\pi )$. Pairing $k$ with $-k$ makes the quadratic HamiltonianA bosonic Bogoliubov diagonalization uses $a_k=\cosh {\theta }_k{\alpha }_k-\sinh {\theta }_k{\alpha }_{-k}^{†}$. The canonical commutation relations hold because ${\cosh }^2{\theta }_k-{\sinh }^2{\theta }_k=1$. The anomalous terms vanish when $\tanh 2{\theta }_k=B_k/A=\cos k$, givingNear $k=0$ and $k=\pi$, the dispersion relation is linear: ${\omega }_k\sim 2JS|k-k_0|$. These are the low-energy antiferromagnetic spin waves; the two zeroes are related by the two-sublattice description. The transformation is singular at the exact zero modes, which require an infrared regulator or separate treatment of the collective rotation.

For a nonzero wavevector $\mathbf{k}$, substitute the plane wave into part (c). Each time derivative contributes $-i\omega$, each Laplacian contributes $-|\mathbf{k}{|}^2$, and each second $z$ derivative contributes $-k_z^2$. A nonzero amplitude therefore requiresIf $\theta$ is the angle between the wavevector and the rotation axis, $\cos \theta =k_z/|\mathbf{k}|$, andThis is the inertial wave dispersion relation. Incompressibility also requires $\mathbf{k}\cdot {\mathbf{U}}_0=0$; the original first-order equations select the corresponding transverse polarizations. A horizontal wavevector gives the zero-frequency geostrophic case.

The phase has wavevector $\mathbf{k}=k{\mathbf{e}}_z$. The electric field has fixed direction $({\mathbf{e}}_x+{\mathbf{e}}_y)/\sqrt{2}$, so it has linear polarization at $45^{\circ }$ to the $x$ and $y$ axes, perpendicular to the wavevector. Substitution into the electromagnetic wave equation givesFor the usual positive-frequency convention, $\omega =c|k|$ and propagation is in the direction $\mathrm{sgn}(k){\mathbf{e}}_z$. If $k>0$, this reduces to $\omega =ck$. The following wave formulas assume the nonconstant case $\omega \ne 0$.

Under the first-order smoothing approximation, neglect the fluctuating product in the resistive induction equation while retaining its contribution to the mean electromotive force. Since the test field ${\mathbf{B}}_0$ is constant and the velocity is a solenoidal vector field, the fluctuation equation isLet $a=\eta k^2>0$, $d=a^2+{\Omega }^2$, and ${\mathbf{C}}_j=i({\mathbf{B}}_0\cdot {\mathbf{k}}_j){\hat{\mathbf{u}}}_j$. For each Fourier mode, the diffusion equation becomes a scalar linear relaxation equation applied to each vector component. Take its long-time periodic response, with $\Omega \ne 0$. For the first mode,while for the second,Thus the complex response coefficients areThey giveAn arbitrary initial fluctuation also contains a homogeneous diffusive transient. In the forced modes this is $\mathrm{Re}{\sum }_j{\mathbf{r}}_j{e}^{i{\mathbf{k}}_j\cdot \mathbf{x}-at}$; more general initial modes also diffuse. The displayed harmonic expression is the periodic particular solution after those transients, not the most general solution at finite time. The constants $a,d$ and the factors of $i$ are unchanged by taking the final real part.

To justify the helicity relation, write ${\hat{\mathbf{u}}}_j={\mathbf{a}}_j+i{\mathbf{c}}_j$ with real vectors. Solenoidality gives ${\mathbf{k}}_j\cdot {\mathbf{a}}_j={\mathbf{k}}_j\cdot {\mathbf{c}}_j=0$. Their cross product is parallel to ${\mathbf{k}}_j$, andThis is the helicity vector of a solenoidal Fourier mode. In these conventions the spatially averaged kinetic helicity density of $\mathrm{Re}({\hat{\mathbf{u}}}_j{e}^{i{\mathbf{k}}_j\cdot \mathbf{x}})$ is $-H_j{k}^2$; the sign is set by the specified cross-product order.

For equal wavevectors, spatial averaging of two real harmonic fields givesTime averaging gives another factor $1/2$, because $⟨{\cos }^2\Omega t{⟩}_t=⟨{\sin }^2\Omega t{⟩}_t=1/2$ and the mixed temporal average is zero. Consequently each diagonal mode contributes to the mean-field electromotive forceDistinct modes with ${\mathbf{k}}_1\ne \pm {\mathbf{k}}_2$ have no spatially averaged cross term. The printed condition also permits the opposite-wavevector case. The possible cross terms still cancel after time averaging: the out-of-phase response coefficients are ${\mathbf{p}}_2=-\Omega {\mathbf{C}}_2/d$ and ${\mathbf{q}}_1=\Omega {\mathbf{C}}_1/d$, while integration by parts gives $⟨{\mathbf{u}}_1\times ({\mathbf{B}}_0\cdot \nabla ){\mathbf{u}}_2{⟩}_x=⟨{\mathbf{u}}_2\times ({\mathbf{B}}_0\cdot \nabla ){\mathbf{u}}_1{⟩}_x$ for the real spatial fields. This handles all the distinct wavevectors allowed by the question, assuming the usual periodic-cell or whole-space spatial average.

Thus the alpha tensor isBoth averaging factors matter. The alpha tensor is real and symmetric, and this contribution vanishes when the mode kinetic helicity densities vanish.

For the two perpendicular wavevectors and common $H_1=H_2=H$, put ${\alpha }_0=\eta H{k}^4/[2({\Omega }^2+{\eta }^2{k}^4)]$. ThenMean-field dynamo action is possible when ${\alpha }_0\ne 0$ and sufficiently long mean-field wavelengths are allowed. The missing $zz$ entry does not prevent an alpha-squared dynamo. Indeed a slowly varying mean magnetic field transverse to $z$, with dependence $e^{iKz+\lambda t}$, obeysThe two growth rates are $-\eta K^2\pm {\alpha }_{0}K$, so the larger is positive if $0<|K|<|{\alpha }_0|/\eta$. This supplies a brief constructive reason; scale separation also requires $|K|\ll k$. A spatially uniform test field itself has zero curl of its mean-field electromotive force and does not grow. If $H=0$, or if boundary conditions exclude all unstable long wavelengths, this particular alpha effect does not yield growth. The conclusion concerns the stated first-order smoothing approximation; no uncomputed turbulent-diffusion correction is assumed.

Take $ck\gg \Omega$, retaining a finite low-frequency branch and a nonzero wavevector. In the dispersion relation, neglect ${\omega }^4$ against $c^2{k}^2{\omega }^2$ and neglect ${\Omega }^2$ against $c^2{k}^2$ in their coefficient. The inertial wave limit isChoose the signed branches $\omega =ϵ\Omega k_z/k$, $ϵ=\pm 1$. The phase velocity normal to the phase planes and the group velocity areTherefore $\mathbf{k}\cdot {\mathbf{c}}_g=ϵ\Omega (k_z/k-k_z{k}^2/k^3)=0$, soThe geometric reason is that this limiting dispersion relation is homogeneous of degree zero in $\mathbf{k}$: its frequency depends on direction, not magnitude. Euler homogeneous function theorem gives $\mathbf{k}\cdot {\nabla }_{\mathbf{k}}\omega =0$. Exact orthogonality holds for this inertial wave limit; finite compressibility introduces corrections. At a zero-frequency degeneracy the usual propagating-wave interpretation needs a limiting treatment.

Use the geometrical optics conventionBecause ${\partial }_t=\epsilon {\partial }_T$ and ${\partial }_x=\epsilon {\partial }_X$, differentiating $e^{i\theta /\epsilon }$ gives an order-one physical angular frequency and order-one physical wavenumbers. Absorb a constant leading amplitude phase into $\theta$ and take $A_0$ real; for a complex amplitude the corresponding quadratic density is $|A_0{|}^2$.

Substitution into the wave equation gives the eikonal equation for a variable-speed wave at leading order:Choose the positive-frequency branch $\omega =\Omega =cK$, $K=\sqrt{k^2+{\ell }^2}$; the negative branch can be treated in exactly the same way. The imaginary first-order terms giveMultiplying by $A_0$ puts this wave-action transport for a variable-speed wave in conservation form:Its density is $\omega A_0^2$ and its flux is that density times the group velocity. Independently, equality of mixed wave phase derivatives givesThis phase compatibility in geometrical optics is essential when converting the differentiated dispersion relation into equations along rays.

For completeness let $\omega =\Omega (\mathbf{k};\mathbf{X},T)$ be a general local dispersion relation. Define ray tracing by $d\mathbf{X}/dT={\mathbf{c}}_g={\nabla }_{\mathbf{k}}\Omega$. Using the chain rule in ${\nabla }_{\mathbf{X}}\omega$ and the symmetry ${\partial }_{X_i}{k}_j={\partial }_{X_j}{k}_i$ givesLikewise ${\omega }_T={\Omega }_T+{\mathbf{c}}_g\cdot {\mathbf{k}}_T$ cancels its advective term because ${\mathbf{k}}_T=-\nabla \omega$. Hence the Hamiltonian ray equations for a local dispersion relation areThe derivatives on the right hold the wavevector fixed. For this wave equation they reduce to

When $c=c(Y)$, the ray invariants are $k$ and $\omega$, while $d\ell /dT=-K{c}_Y<0$. For a monochromatic component with these fixed invariants write $\theta =kX-\omega T+S(Y)$, soUsing the stated independence of $A_0$ from $X,T$, the wave-action transport for a variable-speed wave becomes $(c^2\ell A_0^2{)}_Y=0$. ThereforeThis is the stationary wave amplitude in a stratified wavespeed; $\mu$ is the constant for that component or ray family.

At the proposed simple turning point of a variable-speed wave, take $c_s=c(Y_s)=\omega /k$ and $c_s^{\prime }=c_Y(Y_s)>0$. On the chosen positive branch this entails $k>0$. DefineAs the ray approaches from below, $\ell \sim [q(Y_s-Y){]}^{1/2}$ andThe amplitude diverges and the vertical group velocity $c^2\ell /\omega$ vanishes. The WKB approximation also fails its slow-variation condition $\epsilon |{\ell }_Y|/{\ell }^2\ll 1$ when $Y_s-Y=O({\epsilon }^{2/3})$. The turning-point enhancement of wave amplitude shows that this divergence is a failure of the outer ray approximation, rather than an actual infinite solution.

To derive the inner wavefield directly, separate the conserved horizontal wave phase and frequency in the original differential equation:Dividing by $c^2$ gives ${\epsilon }^2{\Psi }_{YY}+2{\epsilon }^2(c_Y/c){\Psi }_Y+Q(Y)\Psi =0$. Set $Y-Y_s=\delta \eta$. The second derivative is of size ${\epsilon }^2/{\delta }^2$, whereas $Q\sim -q\delta \eta$, so the Airy scaling at a variable-speed wave turning point isThe first-derivative term is smaller by $O(\delta )$, and higher coefficients in the expansion of $Q$ give the same relative order. Thus the general leading inner profile is a linear combination of the two Airy functions $\mathrm{Ai}(\eta )$ and $\mathrm{Bi}(\eta )$. For decaying Airy continuation and ray reflection, if the physical continuation is bounded and decays into $Y>Y_s$, its growing $\mathrm{Bi}$ coefficient is zero. In that usual evanescent continuation the wavefield has the formWithout a condition in the evanescent region the corresponding $\mathrm{Bi}$ term remains admissible locally; the given existence of a wavefield below the turning point alone does not select its coefficient.

Finally, the outer amplitude at distance $\delta$ is $O({\delta }^{-1/4})=O({\epsilon }^{-1/6})$ for $\mu =O(1)$ and fixed nonzero $q$. The oscillatory Airy turning-point connection formula has exactly the same $(-\eta {)}^{-1/4}$ envelope on the allowed side. Therefore the inner wavefield has magnitude $O({\epsilon }^{-1/6})$. The decaying Airy continuation matches an incident and reflected pair of rays, so a single upward $\ell >0$ branch must be supplemented by its reflected branch near the turning point; no formal coefficient matching is needed to identify this magnitude.

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.

Eliminate pressure by multiplying the radial equation by $k_z$ and subtracting $k_x$ times the vertical equation. For $k_z\ne 0$, incompressibility gives ${\tilde{u}}_z=-(k_x/k_z){\tilde{u}}_x$, and the pressure-free relation is $s(k_x^2+k_z^2){\tilde{u}}_x/k_z=2\Omega k_z{\tilde{u}}_y$. Substitution in the azimuthal equation yieldsThus the vertical shear instability occurs when $2q{k}_x{k}_z>k_z^2$, or $2q(k_x/k_z)>1$ for $k_z\ne 0$. Otherwise the nonzero modes oscillate; equality is marginal in the exponential-growth sense. With $q>0$, growing disturbances have $k_x/k_z>1/(2q)$ and are strongly inclined in wavevector space.