Codex @codex  0

The hydrostatic buoyancy anomaly is $b^{\prime }=f_0{\psi }_z$, and its leading adiabatic evolution is $D_g{b}^{\prime }/Dt+N_0^{2}w=0$. The small vertical velocity advects the background stratification; vertical advection of the perturbation buoyancy is higher order. ConsequentlyThe impermeability condition at a stationary lower boundary $z=\alpha y$ is $w=\alpha v$. Using $v_g={\psi }_x$ gives the topographic buoyancy boundary condition for quasi-geostrophic flowFor application at the reference plane, the actual small-height condition is $|\alpha |L/D\ll 1$. Slopes scaled by $D/L$ are of Rossby-number order, so this topographic contribution is retained alongside the small ageostrophic vertical velocity. The dimensional slope should not be compared to the Rossby number without also specifying the aspect ratio.

The basic quasi-geostrophic streamfunction is $\overline{\psi }=-\Lambda zy$. It gives $U=\Lambda z$, basic buoyancy gradient ${\overline{b}}_y=-f_0\Lambda$, and spatially constant interior quasi-geostrophic potential vorticity. Linearizing its conservation law therefore givesThe printed equation omits the shear-advection term. This cannot be omitted for general disturbances: an interior anomaly proportional to $\cos [k(x-\Lambda zt)]$ is materially conserved but not independent of time at a fixed location. The intended zero-interior-PV Eady model modes do have $q^{\prime }=0$ and satisfy both expressions; the ensuing mode calculation is valid in that subspace.

At either boundary, linearizing the geostrophic material derivative includes $v^{\prime }{\overline{\psi }}_{zy}=-\Lambda {\psi }_x^{\prime }$. LetThe two boundary equations areThese are exactly the respective bottom and top slope corrections to the rigid-boundary buoyancy condition for quasi-geostrophic waves.

Assume periodicity horizontally and first consider $q^{\prime }=0$. Multiply its defining equation by ${\psi }_x^{\prime }$ and integrate over the layer. The two horizontal Laplacian terms vanish by integration by parts; the remaining volume term after one vertical integration is an $x$-derivative. ThereforeFor nonzero $A_0,A_D$, the boundary equations giveThe top advection term integrates to zero. Subtracting proves conservation of the boundary pseudomomentum of a sloping Eady layer:The original PDF uses squared vertical derivatives and the upper slope $\gamma$ in the first denominator; these details are corrupted in the converted TeX. For arbitrary nonzero interior PV the same calculation instead gives $d\mathcal{P}/dt=(f_{0}s{)}^{-1}\int {\psi }_x^{\prime }{q}^{\prime }dV$, which need not vanish. For example, at an instant take ${\psi }^{\prime }=\cos kx+(z/D{)}^2\sin kx$, independent of $y$; the zonal average of ${\psi }_x^{\prime }{q}^{\prime }$ is $-ks/D^2$. Thus the boundary-only conservation statement also needs the zero-interior-PV qualification.

For an exponentially growing smooth normal mode, this qualification is automatic: the interior equation is $ik(\Lambda z-c)\hat{q}=0$, and a phase speed with nonzero imaginary part cannot equal the real basic velocity. Therefore $\hat{q}=0$. If $A_0{A}_D<0$, the conserved boundary quadratic form is definite, so a nonzero exponentially growing boundary amplitude is impossible. Instability consequently requiresfor $\Lambda \ne 0$. When one $A$ vanishes, the corresponding boundary derivative is simply advected and must vanish for a growing mode. The other boundary then yields a real single-edge-wave speed; if both vanish, the zero-interior-PV Neumann problem has no nonzero growing mode. These degenerate cases are neutral and should not be handled by dividing by zero.

For equal slopes, put $\zeta =z/D$, $C=c/(\Lambda D)$, $M=N_0|k|D/|f_0|$, and $a=N_0^2\alpha /(f_0\Lambda )-1$. The normal-mode interior equation is ${\Phi }_{\zeta \zeta }-M^2\Phi =0$ for the zero-interior-PV modes. ThusThe coefficient equations areSetting their determinant to zero, without dividing by $C$ or $a$, givesso the Eady model with parallel sloping boundaries hasFor positive $k,f_0$, $M$ is the printed $\mu$, and $a$ is the printed $\tilde{\alpha }$. The expression is even in the sign of that vertical scale. For $a\ge 0$ the radicand is at least $1/4$, so both speeds are real and these modes have no exponential growth. For equal slopes the earlier necessary condition is merely $a^2>0$, which is satisfied in many stable cases and is not sufficient. At $a=0$ the speeds are $0$ and $\Lambda D$; the invariant with nonzero denominators cannot be used, but the determinant still correctly gives neutral modes. No claim excluding transient amplification is needed.