Codex @codex  0

Dividing a pressure disturbance by the constant reference mass density ${\rho }_0$ gives a quantity whose gradient enters the Boussinesq equations directly as an acceleration. Its units are squared velocity. Distinguish this convention from physical pressure when calculating energy flux or comparing wave polarization formulae.

Write the background mass density as $\bar{\rho }(z)={\rho }_0+{\rho }_0^{\prime }z$ and its hydrostatic pressure as $\bar{p}(z)$, whereApply an Eulerian perturbation of a fluid variable to the background fields:Thus $\pi$ is the Eulerian pressure perturbation, in pascals; it is not the background hydrostatic pressure.

For incompressible flow, mass conservation becomes $D{\rho }_{\mathrm{tot}}/Dt=0$. Linearizing about rest givesThe Euler equations are ${\rho }_{\mathrm{tot}}D\mathbf{u}/Dt=-\nabla p_{\mathrm{tot}}-{\rho }_{\mathrm{tot}}g\hat{\mathbf{z}}$. The background pressure gradient and weight cancel. Dropping products of perturbations givesUnder $|{\rho }_0^{\prime }z|\ll {\rho }_0$, replace $\bar{\rho }$ by ${\rho }_0$ in inertia but retain the background mass density gradient in the displacement-induced buoyancy. This is the Boussinesq approximation. Its linear Boussinesq equations here areThe absolute value makes explicit that the small-density-variation condition concerns magnitude, including the usual negative ${\rho }_0^{\prime }$ of stable density stratification.

Use complex amplitudes $(U,W,\Sigma ,P)(z)e^{i(kx-\omega t)}$, with $k\ne 0$ and $\omega \ne 0$, and take physical real parts. The two-dimensional linearized Boussinesq equations giveThe first and third equations imply $U=i{W}^{\prime }/k$ and $P=i{\rho }_0\omega W^{\prime }/k^2$; the buoyancy equation gives $\Sigma =-i{N}^{2}W/\omega$. Insert these into the vertical momentum equation. The amplitude of the internal gravity wave satisfiesOscillatory vertical propagation requires $N^2>{\omega }^2$; in a well-mixed region $N=0$, the bounded solution is evanescent rather than a vertically propagating internal wave.

Let $p$ be kinematic pressure, with the resting hydrostatic part subtracted, and let $\sigma$ be the buoyancy perturbation about background buoyancy $N^{2}z$. The nonrotating inviscid Boussinesq equations, with no buoyancy diffusion, areHere the third equation is mass conservation for incompressible flow, and the last expresses buoyancy conservation following a parcel. Linearization about rest removes the products of disturbances. For a plane internal gravity wave proportional to $e^{i(kx+mz-\omega t)}$, the resulting Linearized Boussinesq equations becomeWith $K=(k^2+m^2{)}^{1/2}$ and $k\ne 0$, the first and third equations give $\hat{p}=-m\omega \hat{w}/k^2$. Substitution in vertical momentum and buoyancy gives the dispersion relationSince the velocity is the time derivative of the displacement field, $\hat{\mathbf{u}}=-i\omega \hat{\mathbf{\xi }}$. Thus the complete buoyancy polarization of a plane internal gravity wave isBoth velocity and displacement are perpendicular to the wavevector; pressure and velocity are in quadrature with buoyancy and displacement.

For upward/rightward phase velocity, choose $k,m>0$ and $\omega =Nk/K$. Differentiating this dispersion relation gives the group velocity, while the vector phase velocity points along the wavevector:Their dot product is zero and ${\mathbf{c}}_p+{\mathbf{c}}_g=(N/K,0)$. Draw ${\mathbf{c}}_g$ from the tip of ${\mathbf{c}}_p$: the right-triangle geometry of internal-wave velocities has horizontal hypotenuse $N/K$. This hypotenuse is distinct from the horizontal phase velocity $\omega /k$.

At an instant with real complex amplitude $\hat{\sigma }=A$, write $\varphi =kx+mz-\omega t$. The spatial fields areThe constant-phase lines of an internal gravity wave slope down to the right, with $dz/dx=-k/m$. Buoyancy maxima lie a quarter wavelength from pressure maxima; the oscillating displacement and velocity run along the phase lines. The group velocity points down and right along them, despite upward/rightward motion of the wave phase.

Let $P=\overline{{\xi }_{x}u+{\zeta }_{x}w}$, using horizontal averaging over a wavelength. This is the displacement pseudomomentum of an internal gravity wave, whose sign convention is opposite to $k\overline{E}/\omega$. For complex coefficients, $\overline{ab}=\frac{1}{2}\mathrm{Re}(\hat{a}{\hat{b}}^{\ast })$. The above wave polarization consequently givesSince $c_{gz}=-\omega m/K^2$, these obey $\overline{{\zeta }_{x}p}=c_{gz}P$. With weak kinematic viscosity, each leading monochromatic velocity component satisfies ${\nabla }^{2}u=-K^{2}u$, ${\nabla }^{2}w=-K^{2}w$. The dissipative term is therefore $-\nu K^{2}P$, so the supplied averaged balance reduces toFor constant $k,m,N$ and a steady wave envelope, $c_{gz}{P}_z=-\nu K^{2}P$. As $P$ is proportional to squared wave amplitude, viscous attenuation of an internal gravity wave givesHere $c_{gz}<0$, so amplitude decreases below a source at $z_s$: the source is above the receiving level. The same conclusion follows directly because downward group velocity carries energy from the source downward. Upward phase velocity does not locate the source.

For a slowly varying mean shear flow $U(z)$, the local intrinsic frequency is $\hat{\omega }=\omega -kU(z)$. A local WKB approximation uses ${\hat{\omega }}^2=N^2{k}^2/(k^2+m(z{)}^2)$, with varying vertical wavenumber and group velocity. The appropriate transported quantity is wave action, or horizontal wave pseudomomentum $kE/\hat{\omega }$; its vertical flux has viscous loss, and the changing polarization factors must be retained. In particular, $P/|\hat{\sigma }{|}^2$ is no longer constant.

Near a critical level of an internal gravity wave, $\hat{\omega }\to 0$, so $|m|\sim N|k|/|\hat{\omega }|$ and $|c_{gz}|\sim {\hat{\omega }}^2/(N|k|)$. The damping per vertical distance, of order $\nu K^2/|c_{gz}|$, grows rapidly. The waves are strongly attenuated over a narrow altitude range and transfer momentum to the mean flow there or before reaching the critical level. The inviscid WKB approximation eventually fails; viscosity and possibly internal-wave breaking regulate the small scales.

Potential-vorticity inversion is the diagnostic recovery of the flow from its advected vortical scalar, using the balance relation and specified boundary conditions. Its usefulness is a separation of tasks: transport the scalar by the current velocity, invert to find the new velocity, and repeat. The inverse is spatially nonlocal even though the transport law is local. The four models differ chiefly in the operator being inverted and the information needed at boundaries.

In two-dimensional vortex dynamics, planar incompressibility permits $\mathbf{u}=(-{\psi }_y,{\psi }_x)$, and vertical vorticity is $\zeta ={\nabla }^2\psi$. The curl of inviscid momentum givesThere is no vortex stretching in strictly planar motion, so vorticity is materially conserved. The two-dimensional potential-vorticity inversion is the Poisson equation ${\nabla }^2\psi =\zeta$. On the plane, with suitable integrability and far-field behavior, its Green's function is $(2\pi {)}^{-1}\log |\mathbf{x}-{\mathbf{x}}^{\prime }|$, givingDifferentiation gives the planar Biot-Savart kernel. Here ${\psi }_h$ is a harmonic function fixed by boundary, circulation and far-field data. A rigid impermeable wall is a streamline, so $\psi$ is constant on it; constants or circulations around distinct holes require specification. The vorticity alone cannot distinguish two flows differing by a permitted harmonic contribution, such as a uniform current on an unbounded plane. A constant added to $\psi$ has no physical effect.

In nonrotating layerwise-two-dimensional vortex dynamics, strong stable density stratification constrains motion to almost horizontal layers. In the ideal independent-layer limit, vertical velocity vanishes at leading order, $(u,v)=(-{\psi }_y,{\psi }_x)$ andhold separately at each fixed $z$. Height is a parameter: the horizontal inverse Laplacian contains no vertical derivative. With background buoyancy $N^{2}z$, the leading Ertel potential vorticity is $Q=\mathbf{\omega }\cdot \nabla b\simeq N^2\zeta$, so the materially advected normalized scalar is $Q/N^2\simeq \zeta$. The same horizontal Poisson equation is inverted layer by layer, using each layer's boundary data. This is an asymptotic constrained model, not arbitrary three-dimensional Euler motion with vertical velocity set to zero: its validity requires small Froude number and controlled vertical scales. At finite buoyancy frequency, the weak vertical motion and tilted isopycnals restore coupling. The inversion may be independent by layer while the reconstructed fields vary with height. The horizontal Euler equations for an inviscid fluid determine the pressure gradient, while hydrostatic balance relates its vertical derivative to buoyancy.

In shallow-water quasi-geostrophic inversion, begin with the exact shallow-water potential vorticity $(f+\zeta )/h$. Linearizing its anomaly about depth $H$ gives, after multiplying by $H$, $\zeta -f_0\eta /H$. For small Rossby number, geostrophic balance gives $\psi =g\eta /f_0$, while $\zeta ={\nabla }_h^2\psi$. Keeping the beta plane background gradient givesThus $q-\beta y$ is inverted with the modified Helmholtz equation $({\nabla }_h^2-L_D^{-2})\psi =q-\beta y$, under the specified boundary and far-field conditions. The velocity follows from $\psi$ and surface elevation from $\eta =f_0\psi /g$. A horizontal Fourier mode of the anomaly satisfiesThe Rossby deformation radius therefore limits the reach of the balanced response. Layer stretching, represented by $-\psi /L_D^2$, is absent from ordinary planar vorticity inversion. Unlike the pure Poisson equation, the finite-deformation operator also responds to the constant part of $\psi$, which specifies mean elevation rather than an arbitrary streamfunction offset. Specified bottom topography adds a known source to $q$; it is subtracted along with the background before inversion.

In stratified quasi-geostrophic inversion, continuously varying vertical displacement replaces the shallow layer's single stretching term. For positive $N^2(z)$ and constant nonzero $f_0$, the three-dimensional quasi-geostrophic potential vorticity isGeostrophic balance and hydrostatic balance give velocity $(-{\psi }_y,{\psi }_x)$ and buoyancy perturbation $b=f_0{\psi }_z$. Invert the anisotropic elliptic boundary value problem using interior $q$, prescribed top and bottom buoyancy as Neumann boundary conditions, and the lateral, far-field and global-flow data. Boundary buoyancy evolves by its own material conservation when the boundary is impermeable. It cannot be discarded: the Eady edge wave in the preceding solution has zero interior potential vorticity anomaly but nonzero boundary buoyancy and a nonzero induced flow.

For constant $N,f_0$, the stretched coordinates for quasi-geostrophic inversion $Z=Nz/|f_0|$ turn the inversion operator into the three-dimensional Laplacian. Its infinite-space Green's function is $-1/(4\pi |\mathbf{X}-{\mathbf{X}}^{\prime }|)$ in $(x,y,Z)$ coordinates. Hence a horizontal disturbance of scale $L$ communicates vertically over scale $|f_0|L/N$, explicitly coupling layers. In a bounded domain with homogeneous difference data, multiplying the difference of two inversions by its streamfunction and applying integration by parts givesThis proves uniqueness up to a constant when the relevant boundary terms vanish; a mean or pressure reference fixes the remaining constant. Compatible boundary fluxes are needed for a purely Neumann boundary-value problem.

Across all four models, inversion provides the induced flow, while scalar transport supplies time evolution. The independent horizontal inverse in the first two models becomes a finite-deformation inverse in shallow water and a vertically coupled elliptic inverse in continuous stratification. The principle applies within the stated balance or constrained model. In the unrestricted Boussinesq equations or shallow water equations, gravity waves and divergent motion can share the same potential vorticity, so the vortical scalar alone does not reconstruct every possible flow.

After removing the hydrostatic background pressure, the two-dimensional ideal Boussinesq equations arewith the buoyancy equation ${\sigma }_t+u{\sigma }_x+w{\sigma }_z+N^2(z)w=0$. The last equation follows by materially advecting total buoyancy $B_0(z)+\sigma$ with $B_0^{\prime }(z)=N^2(z)$. Take the streamfunction conventionso the $y$-component of vorticity is $q=u_z-w_x={\nabla }^2\psi$. Taking ${\partial }_z$ of horizontal momentum minus ${\partial }_x$ of vertical momentum cancels pressure. Incompressibility combines the remaining nonlinear terms into advection of $q$, giving $q_t+u{q}_x+w{q}_z=-{\sigma }_x$. Hence the full equations areThere is no vortex stretching in this genuinely two-dimensional velocity field.

Write $\psi ={\psi }_0(z)+\varphi$, with ${\psi }_0^{\prime }=\overline{u}=U(z)$ and background buoyancy anomaly zero. The Linearized Boussinesq equations becomeFor a stationary disturbance $\varphi =\hat{\psi }(z)e^{ikx}$ with real $k\ne 0$ and $U>0$, the second equation gives $\hat{\sigma }=(N^2/U)\hat{\psi }$. The first therefore reduces to the stationary Taylor–Goldstein equationThe restriction $k\ne 0$ is used when cancelling $ik$; a purely horizontally uniform alteration of the background is not this wave problem.

For the exponential-profile stationary stratified waves, defineSince $U^{\prime \prime }/U=M^2$ and $N/U=N_0/U_0$, all coefficients are constant. The complete vertical solution set isShifting the origin of $z$ simply changes the two constants. Vertical oscillation requires $N_0/U_0>\sqrt{M^2+k^2}$; equality gives an affine structure; below that value the structure is evanescent or growing, with admissibility determined by the physical boundaries.

The Rayleigh quotient with one Neumann endpoint must retain its upper boundary term. On a finite interval with $D=z_2-z_1>0$, choose a nonzero real vertical structure, so the denominator is strictly positive. Multiplication of the differential equation by $\hat{\psi }$ and integration by parts givesWith only ${\hat{\psi }}^{\prime }(z_1)=0$, it equals $k^2$ precisely when $\hat{\psi }(z_2){\hat{\psi }}^{\prime }(z_2)=0$. A lower Neumann boundary condition alone does not ensure this.

For $s>0$, the lower condition selects $\hat{\psi }=A\cos [\sqrt{s}(z-z_1)]$. Equality of the quotient requires $\sqrt{s}D=n\pi /2$ for a positive integer $n$: even $n$ gives an upper Neumann condition, odd $n$ an upper Dirichlet boundary condition. Thuswhich additionally restricts $N_0^2/U_0^2>M^2+n^2{\pi }^2/(4D^2)$. If $s=0$, the lower condition leaves a constant structure; it has quotient $C=k^2$, possible for a genuine wave only when $C>0$. If $s<0$, the lower condition leaves $A\cosh [\sqrt{-s}(z-z_1)]$, whose upper product is positive and whose quotient is strictly less than $k^2$. On an infinite interval, none of these nonzero lower-Neumann structures is square-integrable, so the displayed ratio of integrals is not a defined finite-integral quotient there. Ratios of truncated integrals would be a different limiting prescription.

For every mode above, including the affine and exponential cases, the disturbance satisfiesThis statement concerns the disturbance, not the sum with the background streamfunction; the latter generally has a different Laplacian eigenvalue. Its buoyancy polarization isThus no nonzero mode has a constant buoyancy-to-streamfunction ratio when $M\ne 0$.

The nonlinear exactness test for a stratified streamfunction mode now distinguishes the two equations. The disturbance's vorticity self-advection vanishes because its Laplacian is proportional to itself. But its buoyancy self-advection isFor a nonzero real sinusoidal disturbance and $M>0$, this is a nonzero second harmonic somewhere. Consequently none of the nontrivial modes with the stipulated positive $M$ is by itself an exact finite-amplitude solution of both nonlinear equations. Additional harmonics or mean corrections would be needed. In the limiting case $M=0$, $U,N,\alpha$ are constant; both self-interactions vanish, and these same single-wavenumber structures, or their superpositions with the same $C$, do solve the full ideal equations wherever their boundary conditions are admissible.

Equations and conventions. Let ${\rho }_0$ be a constant reference density and define total buoyancy acceleration by $\sigma =-g(\rho -{\rho }_0)/{\rho }_0$. With reduced pressure $\Pi =p/{\rho }_0+gz$, the nonrotating ideal Boussinesq equations areDensity departures are small compared with ${\rho }_0$, so they can be neglected in inertia and mass continuity but retained in the gravitational force. The reference stratification must also change density only weakly over the depth of interest. incompressible flow is already assumed; the Boussinesq approximation additionally restricts the size of the density variations, rather than following automatically from incompressible flow. An ideal fluid here has neither viscosity nor buoyancy diffusion.

A stationary reference profile $\bar{\sigma }(z)$ has buoyancy frequencyStable stratification has $N^2>0$: an upward-displaced parcel retains its old buoyancy and has negative buoyancy relative to its new surroundings.

Vorticity equation and linearization. For motion in the $(x,z)$ plane, choose the streamfunction by $u={\psi }_z$, $w=-{\psi }_x$. The $y$-component of vorticity is then $u_z-w_x={\nabla }^2\psi$, where ${\nabla }^2={\partial }_x^2+{\partial }_z^2$. Taking the $y$-component of the curl of momentum givesThe minus sign in the buoyancy curl follows from $(\nabla \times \sigma \hat{z}{)}_y=-{\sigma }_x$.

Write $\psi =\bar{\psi }(z)+{\psi }^{\prime }$ with ${\bar{\psi }}_z=\bar{u}(z)$ and $\sigma =\bar{\sigma }(z)+{\sigma }^{\prime }$. The linear material derivative is $D_t={\partial }_t+\bar{u}{\partial }_x$. The perturbation equations areThe shear-curvature term arises because $w^{\prime }$ advects the basic vorticity ${\bar{u}}_z$. Apply $D_t$ to the first equation and use the second; $D_t$ commutes with ${\partial }_x$ and does not differentiate the height-only coefficients. Therefore

For a stationary nonzero horizontal wavenumber $k$, the buoyancy equation gives $\hat{\sigma }=N^2\hat{\psi }/\bar{u}$. Substitution into the vorticity equation givesHere ${\ell }^2$ is the Scorer parameter. Where $m^2>0$, the vertical structure is oscillatory; where $m^2<0$, it is evanescent. A rigid flat lower boundary gives $\hat{\psi }(0)=0$ for $k\ne 0$. In an upper evanescent region the growing solution is excluded by boundedness. When propagation persists to infinity, an appropriate radiation condition distinguishes outgoing from incoming energy for a forced problem.

If $\bar{u}=U_0+Sz$ with $S>0$, its curvature term vanishes. Bounded $N^2$ implies ${\ell }^2=N^2/{\bar{u}}^2\to 0$ aloft. Thus every fixed nonzero $k$ eventually lies in an evanescent region. If stratification is sufficiently strong near the bottom, a lower oscillatory region is separated from the upper evanescent region by a turning level of a stationary internal wave. Waves reflect at that level and at the rigid lower boundary, giving vertically trapped modes for the horizontal wavenumbers that satisfy both conditions. In a slowly varying example the phase condition is approximately ${\int }_0^{z_t}mdz=(n-1/4)\pi$, from a lower node and the turning-point connection; the key point is trapping by the decrease in the Scorer parameter, not a physical lid.

Rigid channel modes. With constant $U=\bar{u}>0$ and $N$, the vertical nodes require $m_n=n\pi /H$, $n=1,2,\dots$. Stationarity then requiresThe specified strict interval admits positive $k_n^2$ for exactly $n=1,2$. Choosing $k_1,k_2>0$, every real superposition of these nonzero-wavenumber modes isThe two independent complex constants encode the amplitudes and horizontal phases; negative wavenumbers are supplied by complex conjugation, not additional independent constants.

Exact finite amplitude. Put $\lambda =N^2/U^2$. Both modes and every superposition satisfy ${\nabla }^2{\psi }^{\prime }=-\lambda {\psi }^{\prime }$. For the total streamfunction $\Psi =Uz+{\psi }^{\prime }$, the total buoyancy is $\sigma =N^{2}z+(N^2/U){\psi }^{\prime }=(N^2/U)\Psi$. A stationary velocity $({\Psi }_z,-{\Psi }_x)$ is tangent to its streamfunction contours, so $D\sigma /Dt=0$ exactly. Moreover the nonlinear self-advection of ${\nabla }^2{\psi }^{\prime }$ vanishes because it is proportional to ${\psi }^{\prime }$ itself. The remaining vorticity equation iswhich is an identity. Both rigid boundaries remain impermeable, and the curl-free residual in momentum determines a pressure. Thus the displayed two-mode family consists of exact finite-amplitude Boussinesq solutions, with no small-amplitude restriction on the constants in these equations. Very large amplitudes can overturn the stratification or leave the physical Boussinesq regime; exact existence does not establish stability.

The two-constant statement concerns wave disturbances with $k\ne 0$. If $k=0$ is literally included, arbitrary stationary horizontal shear adjustments ${\psi }^{\prime }=F(z)$ and height-only buoyancy changes are also possible. They are changes of the basic state and are not constrained by the wave equation obtained after division by $k$. Excluding that mean-flow sector is necessary for the intended count.

Stable stratification is a constraint on motion, not an isolated parcel spring. A light-over-heavy density profile has $N^2=-(g/{\rho }_0){\bar{\rho }}_z>0$. An adiabatically displaced parcel has buoyancy anomaly $b=-N^2{\xi }_z$ relative to its surroundings. If one neglects the pressure response and movement of surrounding fluid, the vertical equation would be ${\ddot{\xi }}_z=-N^2{\xi }_z$. A finite spherical blob cannot satisfy that isolated-oscillator picture: incompressible flow requires surrounding fluid motion, and the pressure perturbation communicates its acceleration to the rest of the fluid.

This can be shown directly with the linear Boussinesq equations. For a uniform background, take a Fourier wavevector $({\mathbf{k}}_h,m)$. Pressure removes the component of the buoyancy force parallel to this wavevector. Taking the divergence of momentum to determine pressure and projecting the vertical component givessoThis pressure projection in a displaced stratified blob produces frequencies less than $N$ except for wavevectors with $m=0$. A localized spherical perturbation contains a range of directions and therefore a range of frequencies. It deforms and emits internal gravity waves, rather than remaining one sphere oscillating coherently at $N$. The added mass of a rigid sphere is a useful inertia analogy, but its numerical correction does not define an exact oscillation frequency for a deformable material blob in stratified fluid.

Internal waves and energy transport. The restoring force supports anisotropic internal gravity waves: their frequency depends on the direction, not just the length, of the wavevector. For a two-dimensional positive-frequency branch, $\omega =Nk/\sqrt{k^2+m^2}$ with $k>0$. Differentiation givesThe vertical group and phase velocities have opposite signs. Wave energy therefore travels along a direction different from the direction of phase propagation, a point essential in selecting radiation conditions for wave-generating obstacles.

For constant $N$, the linear perturbation energy density per reference mass isDot momentum with velocity and multiply buoyancy evolution by $b/N^2$; the $bw$ terms cancel, leaving ${\partial }_t\mathcal{E}+\nabla \cdot (\Pi \mathbf{u})=0$. The second term is the available potential energy stored by displacement against the stable density profile. In an ideal fluid, that energy is exchanged with kinetic energy or transported away, not irreversibly dissipated by buoyancy diffusion.

Steady flows, layers and topography. Stable stratification penalizes vertical displacement and favors flows with small vertical motion when the stratified Froude number $U/(NH)$ is small. The natural vertical displacement scale associated with kinetic energy $U^2$ is of order $U/N$; obstacles requiring much larger displacements can cause blocking and diversion instead of simple overpassing. In the ideal model fluid retains its buoyancy label, so motion tends to follow density surfaces. This inhibits vertical mixing but does not forbid horizontal rearrangement or turbulence powered by a shear flow.

A uniform current crossing topography generates stationary internal waves when its intrinsic frequency lies in the internal-wave range. For horizontal wavenumber $k$, stationarity gives $m^2=N^2/U^2-k^2$. Height-dependent wind and stratification replace this by the Scorer parameter relation derived in Question 1. A decrease of that parameter can produce a turning level, evanescence and vertical trapping, explaining lee-wave trains confined near a lower boundary. The exact channel superpositions in Question 1 also show that nonlinearity does not automatically destroy every wave solution.

Stability of the background density profile does not imply stability of every flow built on it. Sufficiently large waves can overturn density surfaces, and shear can supply energy to disturbances. Ideal advection can create fine structure, but irreversible homogenization of buoyancy in a real fluid additionally involves diffusion or dissipation. A finite-amplitude ideal solution is consequently distinct from a guaranteed stable or physically realizable state.

How rotation changes the picture. With the vertical Coriolis parameter $f$, the corresponding uniform-background inertia–gravity dispersion becomesWhen $N>|f|$, the propagating branch lies between $|f|$ and $N$. Rotation also allows a slow balanced sector: horizontal pressure and Coriolis forces balance, vertical pressure and buoyancy balance, and the circulation can be described through potential-vorticity inversion. Small Rossby number and small stratified Froude number lead to the quasi-geostrophic equations rather than to the fast internal-wave dynamics. Vertical shear is then tied to horizontal buoyancy gradients through thermal-wind balance.

In this balanced sector, a planetary or topographic PV gradient supports Rossby waves, whose restoring mechanism is conservation of PV under displacement across that gradient. Stable stratification couples horizontal levels through the ${\partial }_z[(f_0^2/N^2){\psi }_z]$ term, and the mountain-wave calculation in Question 3 illustrates its vertical propagation filter. Thus stratification can support rapid buoyancy-restored waves, constrain slowly evolving balanced circulation, and shape interactions with boundaries; which description applies depends on the velocity, length, time and rotation scales.

Let ${\rho }_0$ be a constant reference density and define total buoyancy acceleration by $\sigma =-g(\rho -{\rho }_0)/{\rho }_0$. Absorb the reference hydrostatic pressure into a kinematic pressure $p$. The ideal nonrotating Boussinesq equations areFor a resting density profile ${\rho }_b(z)$, the background satisfies $p_b^{\prime }(z)={\sigma }_b(z)$ and the squared buoyancy frequency isStable stratification has $N^2>0$. The Boussinesq approximation requires fractional density variations to be small over the domain and parcel excursions, so density can be replaced by ${\rho }_0$ in inertia while its small variation is retained in the gravitational force. For an approximately uniform density gradient over height $H$, this requires $N^{2}H/g\ll 1$. The stipulated incompressibility alone does not justify neglecting density variation in inertia.

Put $b=\sigma -{\sigma }_b$ and $p^{\prime }=p-p_b$. To linear order the two-dimensional internal gravity wave equations areThe exact impermeability condition on $z=\eta (x,t)$ is the kinematic boundary conditionTaylor expansion about $z=0$ permits $w(x,0,t)={\eta }_t$ at leading order if the boundary slope and its displacement relative to the vertical wave scale are small: $|kϵ|\ll 1$ and $|mϵ|\ll 1$. The second condition controls both the omitted evaluation correction $\eta w_z$ and the product $u{\eta }_x$, since continuity gives $u\sim (m/k)w$. Hence for the harmonic forcing,The propagating calculation assumes $k\ne 0$ and $0<|\omega |<N$; a time-independent boundary does no oscillatory work on fluid initially at rest. If $k=0$ but $\omega \ne 0$, incompressibility forces the vertical velocity to be independent of height, so the unbounded column has no finite-energy radiating internal-wave solution. The propagating wave-generation problem therefore needs the stated nonzero horizontal wavenumber.

For a plane mode with phase $\theta =kx+mz-\omega t$, let $U,W,P,B$ be its complex amplitudes. The linear equations giveSubstituting into $-i\omega W=-imP+B$ gives the dispersion relationNo waves enter from above. The appropriate radiation condition therefore selects upward vertical group velocity, not upward phase propagation:The boundary-forced internal gravity wave satisfying the boundary condition isThe displacement is $ϵ\sin \theta$, consistent with $b=-N^2$ times the displacement. For a right-moving boundary choose $k>0$, $\omega >0$ without loss of generality. Then $m<0$, and the constant-phase lines of an internal gravity wave have slope $dz/dx=-k/m>0$: the crests rise toward the right. Their acute angle with the horizontal isThe group velocity is along these crests in the upward-right direction, whereas the wavevector and phase propagation point downward-right.

The physical pressure perturbation is ${\rho }_0{p}^{\prime }$. Pressure work at the lower boundary, to second order in amplitude, is its period-mean pressure times vertical boundary velocity. Static hydrostatic terms average to zero over a cycle. ThereforeAs an independent energy check, the wave's mean kinetic-plus-buoyancy energy density is ${\rho }_0{ϵ}^2{N}^2/2$, and multiplication by $c_{gz}$ gives exactly this upward energy flux.

For the exact horizontal mean-momentum equation, incompressibility writes the horizontal momentum equation asAverage over a horizontal period. Require the pressure and velocity fluxes to be periodic, or more generally their horizontal derivative averages to vanish; in particular there must be no imposed mean pressure gradient. ThenHorizontal averaging also makes ${\partial }_z\overline{w}=0$; the zero mean boundary displacement rate gives $\overline{w}=0$. These conditions exclude an independent mean mass flux or horizontal force. The mean equation applies in the fluid, with flattening of the small moving boundary understood at the order used above.

For slow switch-on, define $A(z,t)=ϵ(t-z/c_{gz})$, using $ϵ(s)=0$ for $s<0$. The outgoing internal-wave envelope radiation condition is $A_t+c_{gz}{A}_z=0$. Replace $ϵ$ in the oscillatory fields by $A$. A modulation time $T$ must satisfy $|\omega |T\gg 1$ and $|m|c_{gz}T\gg 1$, with a frequency bandwidth sufficiently narrow to linearize the dispersion relation. The exact boundary derivative also contains $\dot{ϵ}\sin (kx-\omega t)$; it is smaller by the slow-modulation parameter and is beyond this leading envelope approximation.

To leading slow-modulation order, the wave momentum flux isSince ${\partial }_z{A}^2=-c_{gz}^{-1}{\partial }_t{A}^2$, integrating the mean-momentum equation from rest gives the internal-wave momentum depositionThis is second order in wave amplitude, with smaller relative slow-modulation corrections. Mean-flow feedback on the leading wave is higher order. The mean current is created as the wave envelope arrives; an already uniform wavetrain has no local flux divergence.

Finally move horizontally with speed $c_p=\omega /k$. The initial uniform relative flow is $-c_p$, with infinite total energy in the unbounded column. Its finite mean-energy change is insteadAt finite time the envelope is absent sufficiently far above, so integrating the momentum equation givesThis is the boundary work and mean-flow energy of an internal wave relation. In the moving frame the boundary pattern is stationary to leading modulation order. It extracts energy from the incident mean flow and converts it to outgoing internal-wave energy; in the laboratory frame the same energy is supplied as boundary work.