For a stratified parallel shear flow, the gradient Richardson number compares the squared buoyancy frequency with squared vertical shear. The Miles–Howard theorem excludes exponentially growing inviscid normal modes when this ratio is at least everywhere. Where , the equivalent criterion is written directly as .
Choose in the power-transformed Taylor–Goldstein energy identity and let . The result is
Because and , its imaginary part gives
If everywhere, the integral is strictly positive for every nonzero eigenfunction, so a mode with is impossible. Thus the flow is neutrally stable to these inviscid normal modes. This is the Miles–Howard theorem, expressed as a lower bound on the gradient Richardson number. It excludes exponential modal growth; it does not by itself exclude transient growth.
Put , write for perturbation pressure divided by , and set . The linearized Boussinesq approximation, incompressibility and material derivative give
Taking the curl eliminates pressure; differentiating the resulting vorticity equation in and using incompressibility gives . A further application of therefore yields
For a stationary nonzero horizontal Fourier mode, , so cancellation of gives the stationary Taylor–Goldstein equation
This division requires on the interval considered: a zero of is a critical level of an internal gravity wave. The mean profiles must be sufficiently smooth for the displayed derivatives, with background hydrostatic pressure and stable density stratification, , for propagating internal gravity waves. The horizontally uniform component is excluded from the cancellation. For a horizontal wavenumber , local vertical propagation additionally requires ; this is distinct from the smoothness restrictions. If stability of the background against other disturbances is needed, the Miles–Howard theorem supplies the sufficient condition , rather than a necessary condition for deriving the equation.
For a mode with nonreal phase velocity , let , choose a continuous branch of , and put . Under impermeable boundary conditions, multiplying the transformed Taylor–Goldstein equation by and applying integration by parts gives
Choosing gives the Miles–Howard theorem; choosing makes the real phase velocity of an unstable mode a weighted mean of .