Codex @codex  0

The discriminant of the Eady model with a sloping lower boundary isFor any $a<1$, choose the unique $M>0$ satisfying $M\tanh M=2-a$. Then $\Delta <0$, proving existence of an unstable band even when $a<0$. For large negative $a$, resonance occurs at large $M$ and the exponentially weak boundary-wave coupling makes the unstable band narrow.

In an adiabatic quasi-geostrophic approximation, hydrostatic approximation and geostrophic balance give $b^{\prime }=f_0{\psi }_z$. The leading buoyancy equation is $D_g{b}^{\prime }+N^{2}w=0$; hence $w=-D_g(f_0{\psi }_z/N^2)$. At the rigid surface $z=\alpha y$, the no-normal-flow condition is $D_g(z-\alpha y)=0$, so $w=\alpha v_g=\alpha {\psi }_x$. The small boundary slope allows the disturbance condition to be evaluated at the flattened boundary $z=0$ to the retained order.

For thermal wind $U=\Lambda z$, choose the basic quasi-geostrophic streamfunction $\overline{\psi }=-\Lambda zy$. Its buoyancy anomaly is $\overline{b}=-f_0\Lambda y$, and its interior quasi-geostrophic potential vorticity is constant. Therefore the linear disturbance equations areThe term $-\Lambda {\psi }_x^{\prime }$ is the advection of the basic meridional buoyancy gradient. Since $q^{\prime }$ is simply advected at each fixed height, $q^{\prime }=0$ initially implies $q^{\prime }=0$ forever. At the lower boundary define $a=\alpha N^2/f_0$; thenThe PDF uses $\alpha$ for the lower-boundary slope throughout; the TeX's isolated $z=cy$ is a transcription error.

For nonzero zonal wavenumber let $\mu =N|k|/|f_0|>0$. The zero-interior-potential vorticity condition gives ${\hat{\psi }}_{zz}-{\mu }^2\hat{\psi }=0$. In the semi-infinite domain choose decay as $z\to \infty$. Writing $B_0(t)={\hat{\psi }}_z(0,t)$, potential-vorticity inversion then givesThis sloping-boundary Eady edge wave has all its time dependence in the boundary buoyancy equation; the interior responds instantaneously through elliptic potential-vorticity inversion. A single boundary wave oscillates without exponential growth. Vertical shear and topography contribute oppositely to its propagation. The contributions cancel when $\alpha =f_0\Lambda /N^2$, the slope of a background isopycnal. For $f_0>0$, positive $\Lambda$ without slope gives eastward propagation, while a positive slope without shear gives westward propagation. The phase velocity varies as $1/|k|$, and the trapping depth is $1/\mu$. Its frequency is independent of $|k|$ on each signed branch, so its zonal group velocity is zero in this ideal semi-infinite model.

With a rigid horizontal upper boundary, put $B_D(t)={\hat{\psi }}_z(D,t)$ and $M=\mu D$. Solving the same second-order inversion problem with both derivative data givesDifferentiation at $0$ and $D$ checks the prescribed values. At the upper boundary $w^{\prime }=0$, so $({\partial }_t+ik\Lambda D)B_D=ik\Lambda \hat{\psi }(D)$. Combining this with the lower-boundary condition givesThus two Boundary Rossby waves interact across the layer. For normal modes proportional to $e^{-ikct}$ their dimensional wave-speed matrix isFor $\Lambda \ne 0$, define $C=c/(\Lambda D)$ and $\tilde{\alpha }=a/\Lambda$. Its characteristic polynomial is the Eady model with a sloping lower boundary dispersion relationThe source writes $\tilde{\mu }=NkD/f_0$; for $k,f_0>0$ this is $M$, and the dispersion relation is unchanged by replacing that signed quantity by its absolute value. Its two roots areIf $\tilde{\alpha }>1$, the second term is positive, so $\Delta >0$ for every $M>0$: all modes are spectrally stable. If $\tilde{\alpha }<1$, the increasing function $M\tanh M$ runs from zero to infinity, so there is a unique $M$ withThere the squared term is zero and $\Delta <0$, giving an exponentially growing member of the complex conjugate pair. By continuity it lies in an unstable band. This proves both the requested instability for $0\le \tilde{\alpha }<1$ and instability for negative slopes in the sloping-boundary Eady model. It does not assert that every wavelength is unstable. Strongly negative slopes move the resonant band to large $M$, where the coupling is exponentially weak.

At $\tilde{\alpha }=1$ the speeds are real, but their crossing at $M=\coth M$ can give a defective neutral mode and algebraic growth; absence of exponential instability is weaker than boundedness of every initial disturbance. The nondimensional slope is undefined when $\Lambda =0$; the dimensional matrix remains valid and then has two real speeds. The instability for $\tilde{\alpha }<1$ is the counterpropagating wave instability mechanism: lower and upper boundary waves can match their laboratory phase speeds and exchange energy with the vertical shear.