Codex @codex  0

For a slowly varying parallel shear flow $U(y){\mathbf{e}}_x$, the leading WKB method neglects mean-velocity gradients while retaining local advection. The continuity equation and linearized Euler equations then give the displayed acoustic dispersion relation. On the positive intrinsic-frequency branch, $\omega =U{k}_x+c_0|\mathbf{k}|$ and the group velocity is $U{\mathbf{e}}_x+c_0\mathbf{k}/|\mathbf{k}|$. A wavefront normal is parallel to $\mathbf{k}$; the acoustic energy-ray direction generally differs because of the advection term.

In a uniform-density incompressible flow inside a smooth rigid sphere rotating at angular speed $\Omega$, a normal mode with phase $e^{i\sigma t+im\varphi }$ has intrinsic frequency $s=\sigma +m\Omega$. For $s\ne 0,\pm 2\Omega$, eliminating velocity from the linearized Euler equations gives the displayed pressure equation, with $W=p^{\prime }/\rho$. Impermeability gives $R{W}_R+(2m\Omega /s)W+(1-4{\Omega }^2/s^2)z{W}_z=0$ on the sphere. There is no condition $W=0$: the rigid wall supplies variable normal pressure. These inertial waves are restored by Coriolis acceleration, and their pressure equation is hyperbolic for $|s|<2|\Omega |$.

The equilibrium isothermal equation of state is $p=c_s^2\rho$. Hydrostatic equilibrium gives $p_z=-\rho {\Omega }^{2}z$, henceHere $\Omega \ne 0$ is assumed. This is the same local harmonic-gravity balance as isothermal vertical structure in stellar gravity.

For $\gamma >1$, this equilibrium is stably stratified under adiabatic fluid perturbations. Its squared buoyancy frequency isA general perturbation can therefore support acoustic waves restored by compression and internal gravity waves restored by buoyancy, with nonoscillatory entropy or vortical disturbances also possible. The prescribed velocity is purely vertical and horizontally uniform. It describes vertical acoustic waves; it does not contain the horizontally varying circulation required for an oscillatory internal-gravity branch. For zero horizontal wavenumber, that branch has zero frequency. An isothermal equilibrium must not be confused with an isothermal perturbation: the latter would remove the buoyancy restoring force.

Introduce the fluid Lagrangian displacement $\xi (z)e^{i\sigma t}$, so $w=i\sigma \xi$. Use $\delta \rho ,\delta p$ for fluid Eulerian perturbations and $\Delta \rho ,\Delta p$ for fluid Lagrangian perturbations. The continuity equation and the adiabatic relation areThe fixed external gravitational potential is not perturbed. The vertical linearized Euler equations consequently giveSubstituting the preceding relations, and using $p_z=-\rho g$ and $p_{zz}=-{\rho }_{z}g-\rho g_z$, reduces its right-hand side toSince $g={\Omega }^{2}z$ and $g_z={\Omega }^2$, the same equation holds for $w$:The rigid fixed base supplies the essential condition $w(0)=0$. At infinity the condition is finite kinetic energy, not bounded velocity amplitude; a polynomial can grow while the Gaussian mass density makes its energy finite.

Put $x=z/H$ and $\lambda =({\sigma }^2/{\Omega }^2-1)/\gamma$. The equation becomes the Hermite differential equation in its probabilists' convention,For $w={\sum }_{j\ge 0}{a}_j{x}^j$, its recurrence isThe base condition makes $a_0=0$ and therefore every even coefficient zero. An odd series terminates at degree $2n+1$ when $\lambda =2n+1$. It remains to prove that a nonterminating odd solution cannot have finite energy; termination alone would not establish the requested exhaustion of modes.

For that purpose, set $y=e^{-x^2/4}w$. The finite-energy condition is $y\in L^2(0,\infty )$, and its equation isBecause the coefficients are even and the solution is odd at the base, extend $y$ oddly to the whole real line. Define lowering and raising operatorsIntegration by parts gives $\Vert ay{\Vert }^2=\lambda \Vert y{\Vert }^2$, so $\lambda \ge 0$. These identities apply to the square-integrable solution: multiplying its equation by a compactly cut off conjugate and taking larger cutoffs bounds $y^{\prime }$ and $xy$ in $L^2$, and removes the endpoint terms. The same argument applies to each lowered eigenfunction.

If $\lambda$ is not a nonnegative integer, repeatedly apply $a$. Each application lowers $\lambda$ by one and remains nonzero whenever its current value is positive, by the norm identity. After finitely many applications it would yield a nonzero square-integrable eigenfunction with negative $\lambda$, contradicting that identity. Thus $\lambda =N$ is a nonnegative integer. At $N=0$, $ay=0$ gives $y\propto e^{-x^2/4}$, which is even. Lowering reverses parity, so an initially odd eigenfunction can reach this even ground state only if $N$ is odd. Consequently $N=2n+1$. The recurrence then terminates and uniquely determines the odd solution from $a_1$.

The complete adiabatic vertical modes of a Gaussian atmosphere are thereforeHere ${\mathrm{He}}_j$ is the Probabilists' Hermite polynomial. For example the first shapes are $x$, $x^3-3x$, and $x^5-10x^3+15x$, with frequencies squared ${\Omega }^2(1+\gamma )$, ${\Omega }^2(1+3\gamma )$, and ${\Omega }^2(1+5\gamma )$. Either sign of each real frequency gives a time-harmonic solution. Gaussian moments make every displayed polynomial have finite kinetic energy. Without the fixed-base condition, finite energy alone would also admit even polynomials, which is why that condition is necessary.

Let $p_1(z)$ denote the Eulerian perturbation of a fluid variable that is the pressure amplitude, and keep $\rho$ constant. The linearized Euler equations and incompressible flow constraint areThe last equation gives $u=i{w}^{\prime }/k$. Substituting it into the first yieldsDifferentiating this formula and using the vertical momentum equation produces the Rayleigh equation for inviscid shear flow:For a growing normal mode, $c$ is nonreal, so $U-c$ never vanishes on the real $z$ axis. In each open region the base velocity is constant or linear and $U^{\prime \prime }=0$; therefore $w^{\prime \prime }-k^{2}w=0$. Decay away from the layer selects $e^{-kz}$ above and $e^{kz}$ below, while both exponentials are retained inside. Conveniently normalize these asThese are the spatially localized discrete modes relevant to instability, rather than all possible generalized neutral disturbances at a critical layer in a shear flow.

At each corner $U$ is continuous and $U^{\prime }$ jumps. The two sides have the same normal velocity and normal stress: there is no membrane, density jump or singular external force supplying a pressure jump. Thus $w$ and $p_1$ must be continuous. The pressure formula proves the required continuity of $(c-U)w^{\prime }+U^{\prime }w$. This is pressure matching at a piecewise-linear shear interface; it does not require $w^{\prime }$ to be continuous. Equivalently integrating the Rayleigh equation for inviscid shear flow through a corner gives $(U-c)[w^{\prime }]=[U^{\prime }]w$.

Write $\alpha =kd$, $y=c/U_0$, and $E=e^{2\alpha }$. Continuity of normal velocity givesAt $z=d$, the outside derivatives are $w_{+}^{\prime }=-kA$, $U_{+}^{\prime }=0$, while the inside derivatives are $w_{-}^{\prime }=-kB+kEC$, $U_{-}^{\prime }=U_0/d$. Hence pressure matching reduces toSimilarly at $z=-d$, the outside derivative is $kD$ and the inside derivative is $-kEB+kC$. Matching givesThe two equations can be written asA nonzero mode therefore requiresThis is the dispersion relation for the unbounded piecewise-linear shear layer.

With the phase convention $e^{ik(x-ct)}$, positive $\mathrm{Im}c$ gives exponential temporal growth. Since the displayed $c^2$ is real, a growing/decaying pair occurs precisely whenFor $0<\alpha \le 1/2$, $e^{-2\alpha }>1-2\alpha$ by the strict exponential tangent inequality, so every such mode is unstable. For $\alpha \ge 1/2$, define $f(\alpha )=2\alpha -1-e^{-2\alpha }$. Its derivative $2+2e^{-2\alpha }$ is positive, while $f(1/2)<0$ and $f(1)>0$. There is consequently exactly one root in that interval, andAt the cutoff the discrete roots merge at $c=0$; above it the roots are real and have no exponential growth. The physical wavelengths in the unstable band satisfy ${\lambda }_x=2\pi /k>2\pi d/{\alpha }_s\simeq 9.83d$.

This is a finite-thickness Kelvin-Helmholtz instability: long disturbances roll up the layer and draw kinetic energy from its shear. The off-diagonal $e^{-2kd}$ terms describe coupling of the two vorticity discontinuities. Short disturbances decay across the layer before strongly coupling its edges and are neutral. Indeed at $kd\to \infty$ the two phase speeds approach the velocities $\pm U_0$ of the separated edges. At $kd\to 0$, expansion of the numerator gives $c^2/U_0^2\to -1$, recovering the vortex sheet result $c=\pm i{U}_0$; the growth rate then behaves as $k|U_0|$.

Write $\mathbf{X}=ϵ\mathbf{x}$, $\mathbf{k}={\nabla }_{\mathbf{X}}\theta$, and denote the slow density and velocity field amplitudes by $a_{\rho }$ and ${\mathbf{a}}_u$. Acting on the rapid phase, ${\partial }_t+\mathbf{U}\cdot \nabla$ gives $i\Omega$, where $\Omega =\omega -\mathbf{U}\cdot \mathbf{k}$. Spatial differentiation gives $-i\mathbf{k}$, while derivatives of the amplitudes and the mean shear flow are $O(ϵ)$. The leading continuity equation and linearized Euler equations therefore becomeEliminating ${\mathbf{a}}_u$ on the nonzero acoustic branch gives the acoustic eikonal equation in a shear flow:The mean-shear term is small here because $\nabla \mathbf{U}=O(ϵ)$; retaining advection does not require retaining that gradient in the leading phase equation. The positive intrinsic-frequency acoustic dispersion relation is $\omega =U{k}_x+c_0|\mathbf{k}|$, with group velocity ${\mathbf{v}}_g=U{\mathbf{e}}_x+c_0\mathbf{k}/|\mathbf{k}|$.

In a stationary wall boundary layer, horizontal homogeneity preserves $\omega$ and $k_x$ along a Hamiltonian ray-tracing equations trajectory. For a two-dimensional ray,Suppose $U$ increases from zero at the wall to a positive free-stream value. For a downstream-directed wave normal, $k_x>0$, increasing $U$ decreases $\Omega$ and $k_y$. The wave normal bends towards the wall, and the ray becomes more nearly parallel to it. If $U$ reaches $\omega /k_x-c_0$, then $k_y=0$: the ray turns and returns towards the wall rather than reaching the free stream. With launch angle ${\beta }_0$ above the wall and free-stream Mach number $M_{\infty }=U_{\infty }/c_0$, the escape condition isFor upstream-directed wave normals, $k_x<0$, $\Omega$ and $|k_y|$ increase through the layer; there is no such downstream turning barrier on this branch. A wavefront normal is parallel to $\mathbf{k}$, while the energy ray follows the group velocity: advection makes their directions different. In particular, a wall-normal wave normal with $k_x=0$ can still have a ray drifting downstream. The ordinary WKB method needs a local turning-point continuation at $k_y=0$; the ray sketch depicts that qualitative continuation.