For the local phase , define and . The dispersion relation is the Hamilton-Jacobi equation . Differentiate it in space and follow a ray with group velocity ; symmetry of the phase Hessian cancels the terms involving . Thus the ray-tracing equations are
Here means differentiation along the moving ray; subscripts on mean partial derivatives holding its other independent arguments fixed.
The depth is stationary and independent of , so and are constant. Choose the incident direction with positive ; the other sign reflects the picture. In the far deep water,
Since depends isotropically on the horizontal wavevector, the group-velocity ratio is . Therefore the ray equation is
Near shore, , so the shallow-water dispersion relation gives and . Integrating the ray slope yields
For , the near-shore phase is . A constant-phase wave crest thus has
Its tangent becomes parallel to the shoreline, while rays approach perpendicular to it. The exponent is between zero and one, giving the curved crests sketched below for .
Figure 1.
Near-shore wavecrests bending parallel to the beach and rays approaching normally, for a depth proportional to x
.
These are the formal geometrical optics asymptotics. For fixed and , arbitrarily close to the shore, so the slowly varying wave approximation eventually fails there; the sketch describes the ray-theory regime before that final inner region.
For the self-gravitating incompressible slab, let the fluid occupy , with mass density and a vacuum exterior. Poisson equation and hydrostatic equilibrium give
A constant ambient pressure could be added without changing the result. Choose perturbations proportional to , using rotational symmetry in the horizontal plane to put the wavevector along .
For the fluid displacement, the linearized momentum equation inside the uniform slab is . For it follows that , with . Incompressibility gives , hence
Neutral limits of these surface modes follow by continuity. Stationary vorticity perturbations form a separate zero-frequency sector; the nonzero-frequency surface modes are irrotational by the momentum equation itself, without an extra irrotational-flow assumption.
The Eulerian mass density perturbation vanishes in the bulk because the equilibrium mass density is uniform and the displacement is divergence free. If the two vertical surface displacements are and , the surface density perturbation of a displaced uniform interface gives
Thus Poisson equation reduces to Laplace equation for inside and outside. The potential is continuous, while integrating through each surface gives
The perturbing potential must decay at vertical infinity. The kinematic conditions are . The free surface pressure condition is the vanishing Lagrangian pressure perturbation, ; at the top this gives .
Put . For even scalar-potential symmetry, choose
Then : this is a thickness-changing mode, not a vertical bending mode. Write ; the top derivative jump gives . Since ,
Substitute these values into . Using gives the even-mode dispersion relation for the surface modes of a self-gravitating incompressible slab:
The positive term comes from the restoring hydrostatic free-surface pressure in the background gravitational field. The negative term is the attraction due to the perturbed gravitational potential of the displaced surfaces, which tends to reinforce the disturbance. Both effects ultimately involve the slab's gravity, but enter the boundary condition through different terms.
For odd scalar-potential symmetry, instead take
Now , so the surfaces bend in the same direction. The jump again gives , but and . The same pressure condition yields
The bottom kinematic, jump and pressure conditions follow with the indicated parity and give the same dispersion relation, so no boundary condition has been discarded.
To determine the gravitational instability of an incompressible slab, factor the two dimensionless expressions as
For the even mode the bracket is strictly increasing, with derivative , is negative at zero and tends to positive infinity. It therefore has a unique positive zero
The even mode is unstable for , neutral at , and oscillatory for . Negative gives a growing mode with under the stated time convention. For the odd mode, for every , so the bracket is always positive: all odd modes with positive wavenumber are stable.
Figure 1.
Even and odd surface-mode dispersion relations of a self-gravitating incompressible slab, with the even-mode instability threshold
.
At long wavelengths and : a thickness or column-density disturbance has a gravitational instability, whereas a bending disturbance is restored. At short wavelengths both approach , so both surface branches are stable. The slab equilibrium is therefore linearly unstable overall, because it admits the long-wavelength even modes despite the stability of its odd sector.
Substitute the axisymmetric Fourier mode into the linearized equations. With hats denoting amplitudes,
For a nondegenerate nonzero frequency, eliminate the azimuthal velocity and use
Continuity then gives
Equivalently, taking the determinant of the original four amplitude equations avoids division by zero and gives the full dispersion relation
The two squared frequencies are
The discriminant is . For , both squared frequencies are nonnegative. The high-frequency branch is predominantly acoustic and the low-frequency branch is an inertial wave. Zero-frequency limiting modes, including , are retained by the determinant calculation.
Take , retaining a finite low-frequency branch and a nonzero wavevector. In the dispersion relation, neglect against and neglect against in their coefficient. The inertial wave limit is
Choose the signed branches , . The phase velocity normal to the phase planes and the group velocity are
Therefore , so
The geometric reason is that this limiting dispersion relation is homogeneous of degree zero in : its frequency depends on direction, not magnitude. Euler homogeneous function theorem gives . Exact orthogonality holds for this inertial wave limit; finite compressibility introduces corrections. At a zero-frequency degeneracy the usual propagating-wave interpretation needs a limiting treatment.
Put . The two amplitude equations have coefficient matrix
Its determinant gives the dispersion relation
Writing , its squared growth rates are
and the four growth rates are both square roots of each displayed value. Define
For , the discriminant is positive, the sum of the squared rates is , and their product is ; both squared rates are negative. These modes have purely imaginary . For , the squared rates form a nonreal complex conjugate pair; their square roots include roots with positive real part. This is overstability, meaning growing oscillations. For , at least the plus squared rate is positive because , so a real growing root exists. Consequently every is exponentially unstable.
Take the maximizing mode , so . It is unstable whenever
This is also the threshold for the onset of exponential growth among all lattice modes, since . At equality the maximizing mode has repeated imaginary roots and can have algebraic growth; it is a marginal collision of oscillatory modes, not a strict-decay assertion. The mode has , an epicyclic motion sector and a zero-frequency epicyclic guiding center sector with possible secular shear drift. These neutral or algebraic behaviors are distinct from the strict exponential instability established by the requested inequality.
Consider the permanent stationary topographic internal gravity wave component of a localized source, with constant buoyancy frequency in each layer and positive . A sufficiently broad obstacle spectrum is assumed. The dispersion relation on the upward branch in a uniform layer is
For a stationary wave, . Differentiating before imposing stationarity gives the laboratory group velocity
The vertical component is at most , attained at . The first arrival of a stationary internal wavefront at a layer boundary is thus
If the obstacle spectrum lacks that wavenumber, the first arrival of its actual permanent wave packets is later. This statement concerns the stationary part; arbitrary long-wave startup transients are not bounded by this particular envelope.
In the lower layer an elapsed propagation time gives , . Elimination gives the causal envelope of stationary internal waves
Later-emitted packets fill the interior. At this semicircle just touches at . At its unobstructed continuation would reach , but rays that hit the interface must instead be refracted or reflected.
For a lower-layer ray labelled by , its interface arrival time and point are
The refraction of a stationary internal-wave causal envelope conserves horizontal wavenumber, so . If and , its transmitted front is parametrized by
The reflected front instead has and , until it reaches the ground. At that first return just touches the ground. If the incident ray is evanescent upstairs, upper-layer propagating arrival is delayed until an allowed ray reaches ; this does not change the first lower-layer arrival time .
The stationary phase of topographic internal waves also gives the phase sketch. In a uniform lower layer the Fourier transform integrand has phase . The stationary phase method requires , giving phase . Thus the dominant permanent phase lines are downstream circular arcs centred on the obstacle. Reflected phase arcs have the image source . Upstairs the ray arriving at has phase
which is continuous at the interface and determines refracted constant-phase curves. Individual monochromatic components have straight phase lines of slope instead; the arcs describe their localized-source superposition.
Figure 1.
Permanent internal-wave causal fronts at T and 2T, with refracted and reflected phase curves
.
The schematic uses and . It shows the direct front below , the transmitted front above it and the reflected front below it; dotted arcs are permanent phase curves, not material trajectories.
The dispersion relation gives the zero-group velocity saddle
Thus the absolute growth rate is . More generally the saddle growth rate along a ray is
so a frame travelling at sees the maximal rate .
For , the three open regions are
The line is the temporal marginal boundary; the parabola is the convective-to-absolute boundary. The Green function of the linear complex Ginzburg-Landau equation has the prefactor , so zero exponential rate on the latter boundary still allows algebraic decay of the impulse response. This is the stability diagram of the linear complex Ginzburg-Landau equation.
Figure 1.
Temporal, convective and absolute stability regions for the linear complex Ginzburg-Landau equation with c_d=1
.
For a zonal basic geostrophic flow , take and write . The flat-bottom shallow-water quasi-geostrophic potential vorticity gradient of the basic state is
Linearizing its material conservation gives the Rossby-wave equation for a sheared zonal current,
For a general nonuniform jet, a global two-dimensional plane wave is not an exact normal mode: the coefficients depend on . The exact zonal normal mode problem, , is
with appropriate transverse boundary or radiation conditions. If the jet varies slowly compared with a wavelength, a local plane wave freezes these coefficients at . Its local dispersion relation is
In the nondivergent Barotropic Rossby wave model under a rigid-lid approximation, this becomes . It is exact for uniform and otherwise a local relation. Retaining the free-surface term also requires retaining the basic surface slope in ; simply adding to the denominator while dropping from the numerator would describe a different prescribed-background model.
Take , a uniform eastward , and the nondivergent Barotropic Rossby wave model. Its dispersion relation is . A stationary wave with has
The directional component wavelengths are and when nonzero. Differentiating the full dispersion relation before imposing stationarity gives its ground-frame group velocity:
Writing , shows . Therefore the stationary Rossby-wave ray envelope at time , for wave packets emitted from a localized mountain throughout , is the disk
The circle is the front of the earliest emissions; later emissions fill ray segments back to the source. The sketch represents the geometrical wave packet envelope, not compact support of the full balanced near field. All propagating wave packet energy lies downstream in this model.
Figure 1.
Downstream ray envelope of stationary barotropic Rossby waves emitted by a mountain between zero and the observation time
.
If the finite-depth free-surface model of the preceding part is retained consistently, its basic surface slope adds to the potential-vorticity gradient. Stationarity still gives and the same wavelength, but the group velocity is reduced by ; the disk center and radius become . This tends to the plotted nondivergent result as .
A westward wind has no nontrivial stationary propagating planetary Rossby-wave train in this model: would require . Its advective phase motion and intrinsic westward Rossby wave phase motion cannot cancel. A local forced, evanescent response and time-dependent disturbances can still occur. The degenerate limit is not a propagating wave train from an isolated mountain.
Use the geometrical optics convention
Because and , differentiating gives an order-one physical angular frequency and order-one physical wavenumbers. Absorb a constant leading amplitude phase into and take real; for a complex amplitude the corresponding quadratic density is .
Substitution into the wave equation gives the eikonal equation for a variable-speed wave at leading order:
Choose the positive-frequency branch , ; the negative branch can be treated in exactly the same way. The imaginary first-order terms give
Multiplying by puts this wave-action transport for a variable-speed wave in conservation form:
Its density is and its flux is that density times the group velocity. Independently, equality of mixed wave phase derivatives gives
This phase compatibility in geometrical optics is essential when converting the differentiated dispersion relation into equations along rays.
For completeness let be a general local dispersion relation. Define ray tracing by . Using the chain rule in and the symmetry gives
Likewise cancels its advective term because . Hence the Hamiltonian ray equations for a local dispersion relation are
The derivatives on the right hold the wavevector fixed. For this wave equation they reduce to
When , the ray invariants are and , while . For a monochromatic component with these fixed invariants write , so
Using the stated independence of from , the wave-action transport for a variable-speed wave becomes . Therefore
This is the stationary wave amplitude in a stratified wavespeed; is the constant for that component or ray family.
At the proposed simple turning point of a variable-speed wave, take and . On the chosen positive branch this entails . Define
As the ray approaches from below, and
The amplitude diverges and the vertical group velocity vanishes. The WKB approximation also fails its slow-variation condition when . The turning-point enhancement of wave amplitude shows that this divergence is a failure of the outer ray approximation, rather than an actual infinite solution.
To derive the inner wavefield directly, separate the conserved horizontal wave phase and frequency in the original differential equation:
Dividing by gives . Set . The second derivative is of size , whereas , so the Airy scaling at a variable-speed wave turning point is
The first-derivative term is smaller by , and higher coefficients in the expansion of give the same relative order. Thus the general leading inner profile is a linear combination of the two Airy functions and . For decaying Airy continuation and ray reflection, if the physical continuation is bounded and decays into , its growing coefficient is zero. In that usual evanescent continuation the wavefield has the form
Without a condition in the evanescent region the corresponding term remains admissible locally; the given existence of a wavefield below the turning point alone does not select its coefficient.
Finally, the outer amplitude at distance is for and fixed nonzero . The oscillatory Airy turning-point connection formula has exactly the same envelope on the allowed side. Therefore the inner wavefield has magnitude . The decaying Airy continuation matches an incident and reflected pair of rays, so a single upward branch must be supplemented by its reflected branch near the turning point; no formal coefficient matching is needed to identify this magnitude.
In a source-free vacuum, Maxwell equations are
Taking a curl of the last two equations and using gives the electromagnetic wave equations
Substitution of the complex plane wave amplitudes into Maxwell equations, then taking real parts, gives
For a nonzero propagating wave these imply the dispersion relation . Conversely choose any nonzero transverse complex and set to obtain such a wave. The static uniform-field sector at is separate from propagation.
At a perfect conductor, the oscillatory boundary conditions are and . Surface charge and surface current allow nonzero normal electric and tangential magnetic fields. The magnetic condition here concerns the time-dependent wave field; a perfect conductor can retain a pre-existing static magnetic field.
Let be the orthogonal reflection across the boundary plane, so . The proposed reflected amplitudes are , , and . For an orthogonal reflection, . Hence
Also , so the reflected wave obeys the same dispersion relation. At , the incident and reflected phases coincide because is parallel to . Their summed amplitudes satisfy
The first has zero tangential part and the second zero normal part, proving both boundary conditions. Finally , as required for reflection into the vacuum.
Write and , so the PDF's vector potential vorticity is . The local TeX loses some of this boldface. Taking the vertical curl of the momentum equation gives , while mass conservation gives . Thus
This is the linear perturbation of shallow-water potential vorticity, scaled by ; it should not be confused with the full nonlinear conserved ratio .
Since , taking the divergence of momentum gives . Differentiate mass conservation and use to obtain
For , substitution of the stated plane wave gives the linear rotating shallow-water dispersion relation, with :
The two even branches approach at large and have values at . The original dispersion diagram below also compares the speed magnitudes.
Figure 1. . Rotating shallow-water frequency branches and magnitudes of phase velocities and group velocities, with dimensionless wavenumber.
For , the phase velocity and group velocity magnitudes are
The printed convention means the signed phase velocity is and the signed group velocity is . The speed magnitudes above are independent of that sign convention.
For , longer wavelengths have greater phase velocity but smaller group velocity: individual crests and wave packets therefore answer “faster or slower” differently. At long wavelength, , the frequency is nearly the inertial frequency , , and . Rotation has its largest relative effect here, and the waves are strongly dispersive. At short wavelength, , both speeds tend to and rotation gives only a small, weakly dispersive correction. If , the gravity waves are nondispersive, with speed ; at the phase velocity formula is undefined.
At the absolute wavenumber, the group velocity is zero. The corresponding accessible saddle therefore governs the disturbance seen at a fixed position. Its exponential growth rate is
Saddle accessibility can be checked directly here. With , whose real part is positive, Fourier inversion gives the Green function of the linear complex Ginzburg-Landau equation,
At fixed its exponential rate is , while along the packet centre it is . For real wavenumbers of Fourier modes, the temporal growth rate is , so the flow is temporally unstable exactly when .
Consequently the classifications for a localized disturbance in this laboratory frame are
For convective hydrodynamic instability, a travelling wave packet amplifies but the response at each fixed position decays. For absolute hydrodynamic instability, that fixed-position response amplifies. The equality is the marginal absolute threshold: its exponential rate is zero and the impulse response has a prefactor. For there is no temporal growth; is temporally marginal. When the convective window is empty. These conclusions use the infinite-line impulse problem; a general dispersion relation requires its own spatial-branch or saddle selection.
Take upwards and write , so that the unperturbed interface is , with carbon dioxide above and water below. Use the sharp-interface, incompressible flow version of Darcy's law, with constant porosity and permeability of a porous medium, no capillary pressure, and effectively unbounded layers. The distinction between Darcy flux and interface speed matters: the base flux is , since the printed is the speed of the interface. Thus the base pressure gradients satisfy
The mass density ordering is stabilizing, whereas injection of the less viscous fluid into the more viscous fluid produces the Saffman–Taylor instability.
For linear stability analysis, displace the interface by . Taking the divergence of Darcy's law shows that the perturbation pressure satisfies the Laplace equation. Decay away from the interface gives, for ,
The kinematic boundary condition and continuity of normal Darcy flux give
Meanwhile pressure continuity, evaluated on the displaced interface, gives
Eliminating yields the buoyancy-modified Darcy fingering dispersion relation:
Every nonzero wavenumber decays when , grows when , and is neutral at equality, where
The zero wavenumber is a uniform displacement and is neutral. Without a short-scale regularization such as surface tension, this model has no fastest-growing finite wavenumber: on the unstable side its growth rate increases without bound as increases. Finite layer depths would change the dispersion relation; none are specified here.
Taking and a year of days, the data give
The numerical paragraph supplies no porosity, so it cannot determine a unique numerical interface speed. If were instead intended to mean Darcy velocity, the numerical critical value would be , and the interface would move at . These two velocity conventions must not be conflated.
Linearized mass conservation, momentum balance and the isentropic pressure-density relation are , , and . Differentiate mass conservation in time and take the divergence of momentum balance to eliminate velocity. This gives the acoustic pressure wave equation
For the convention , momentum balance gives the complex velocity amplitude , with . Thus the incident velocity field is in the lower gas.
Let , , , and with nonnegative real or imaginary part. This chooses an outgoing propagating wave or an evanescent wave decaying as . Conservation of tangential wavevector is the acoustic Snell law for elastic and acoustic waves. Write the complex pressures as
Inviscid kinematic matching requires equal normal velocities at the plate, not equal tangential velocities:
Define the normal acoustic impedance ratio , so . For a propagating transmitted wave this is . The dynamic condition gives
which is exactly the printed dimensionless parameter. Solving yields the pressure reflection coefficient and transmission coefficient
At use the preceding velocity equations, or take their limit, rather than substituting an infinite . For real , the reflected energy fraction is , the transmitted fraction is , and these sum to one. An evanescent transmitted wave carries no mean normal energy flux.
When the gases match, , so and . For a nongrazing incident wave of nonzero frequency, perfect transmission means , equivalent to
The plate's inertial and bending terms cancel: the incident frequency and tangential wavevector coincide with its free flexural wave dispersion relation. Then , including its phase. With positive , this condition is possible only at angles and frequencies satisfying that relation; for normal incidence at nonzero frequency it cannot occur unless the mass is zero.
For the rapidly varying wave phase, define and , with the common scaling by absorbed into these local variables. A packet moves with group velocity . Along that trajectory, . Compatibility gives and . Differentiating the local dispersion relation then cancels its implicit derivatives, yielding
The last equality follows also by differentiating along the ray and cancelling the two Hamiltonian cross terms. The partial derivatives of hold its other arguments fixed.
A mean flow adds the Doppler shift: the intrinsic frequency is , so
on the positive-intrinsic-frequency branch launched here. The medium is stationary and independent of , so and are constant. Initially , hence . Moreover , and then . The initial vertical group velocity is zero, but immediately becomes negative and the ray accelerates upwards.
If reaches at a finite height , this is the critical level of an internal gravity wave, with . Below it,
Assuming , put . Then , giving
Thus the ray cannot cross this level in finite time within the geometrical-optics approximation. The hypothesis alone does not guarantee a finite : for example on never reaches . Existence of a finite critical level is an additional assumption. Very close to one, diverging wavenumber can invalidate the inviscid, linear, slowly varying approximation; the result is the formal ray prediction.