Put , , and . Let the area and velocity perturbations have amplitudes and . Linearizing mass conservation and momentum, and using , gives
For nonzero , eliminate to obtain the friction-induced instability of a collapsible-tube flow relation
At the stated threshold , it factors as
Therefore one mode has real , while the other has and decays. The PDF's real-frequency statement is valid for the neutral branch, not for both roots. The Fourier convention makes positive imaginary frequency mean growth.
Use a time-harmonic wave with time dependence and let the same symbols denote phasors. The wave amplitude vector obeys
At fixed material contrast, the stated low-frequency condition permits neglecting the diagonal frequency term to zeroth order. All remaining coefficient matrices are scalar multiples of the same exchange matrix, so they commute. With
the transfer relation is
Solve the second row for the outgoing left wave amplitude and substitute in the first. Since , this gives the zero-frequency scattering through an elastic layer coefficients
Thus the zero-frequency limit depends only on the endpoint seismic impedances. Monotonicity supports the given scale comparison but is not needed to integrate the zero-frequency equation. If in a monotone profile, seismic impedance is constant: there is no directional coupling, with only wave phase accumulation at nonzero frequency.
At a sharp interface, continuity of velocity and traction gives, for unit incident velocity from the left,
Thus and . Normalizing the transmitted velocity by its elastic-wave energy flux gives , exactly the result above. Right incidence gives the reversed reflection sign and the same flux-normalized transmission. A stress reflection coefficient has the opposite sign to the velocity reflection coefficient; the convention matters.
Put and . The incoming-to-outgoing matrix is , with . Therefore , proving equality of incoming and outgoing time-averaged flux for arbitrary coherent incident wave amplitudes, not just incidence from one side.
For all real frequencies the harmonic equations instead give
Their right sides are equal; the diagonal terms have zero real contribution. Consequently
The mean flux for real-part phasors is . Evaluating it at the two endpoints proves exactly that total outgoing flux equals total incoming flux at every real frequency. This relies on real lossless moduli and mass density; absorption would change the identity.
At , the half-space decay exponent tends to zero and the dispersion relation requires . These are the Love-wave cutoff frequencies,
An overtone exists strictly above its cutoff. At the cutoff its half-space field is constant in depth rather than decaying, so it is a limiting nonlocalized state, not a trapped finite-energy eigenfunction. The fundamental has cutoff zero and exists for every positive frequency. Each fixed branch approaches from above at high frequency. The half-space penetration depth diverges on approach to cutoff.
Figure 1.
Love-wave dispersion branches above their cutoffs and an overtone displacement profile across the layer interface
. Details.
Choose depth positive downwards, the free surface at and the interface at . A Love wave has only transverse displacement field . Take , , and define
A trapped mode requires , so both are positive. The SH equations are in the layer and in the half-space. Zero shear traction at the free surface and decay at large depth select
Continuity of displacement field and shear traction at gives and . Consequently
Substituting the definitions of yields the requested speed-frequency dispersion relation. For negative frequency use in both vertical wavenumbers; the real displacement field has conjugate frequency partners. Neither equality in the trapped-speed interval gives a strictly localized finite-frequency Love mode.
In the bilinear identity choose field to be the complex conjugate of the field at frequency , equivalently its partner, and field to be the field itself. The squared frequencies are equal, so the mass density terms cancel:
Multiply by and use , to obtain
For the real fields defined in this question as the sum of positive and negative frequency components, time averaging cancels the terms. Their mean body-force work mass density is exactly , and their outward mean elastic-wave energy flux is . Thus mean body-force power equals mean outward boundary power. Mean stored energy does not accumulate in a periodic steady field.
There is no extra factor here: the specified real field is , not . For the latter phasor convention, both averages instead have the usual factor . At velocity and both powers vanish.
Choose field to be at frequency , and field to be at . Zero body forces and zero boundary tractions make all source and surface terms vanish. Therefore
For distinct squared frequencies this proves weighted orthogonality,
Assume positive mass density bounded above and below and finite-energy fields in the ordinary bounded domain. The weighted space is a separable Hilbert space. Select one unit eigenfunction for each distinct squared frequency. They form an orthonormal set. Let be a countable dense subset of ; assign to each eigenfunction a point within distance . Two orthogonal unit eigenfunctions have distance , so the same cannot be assigned to both. This gives an injection into a countable set.
Hence there are at most countably many squared eigenfrequencies, and at most twice that many signed frequencies. Multiplicity at one frequency does not change the argument. A zero frequency associated with rigid translations or rotations is included. This proves the countability of elastic eigenfrequencies directly; proving discreteness or finite multiplicity would require additional spectral regularity arguments.
If two harmonic solutions have the same body force and prescribed boundary traction, their difference has no body force and is traction-free. A nonzero difference would therefore be a free eigenfunction at that frequency. For any frequency outside the countable exceptional set found above, the difference must vanish, so the forced boundary-value solution, when it exists, is unique. At an eigenfrequency, a free eigenfunction can be added to any existing solution, and a resonant forcing may fail to admit a steady harmonic response. This distinguishes uniqueness from existence.
For the full time-dependent problem, let be the difference between two fields with identical forces, tractions and initial displacement field and velocity. It obeys , zero boundary traction, and zero initial data. Its energy uniqueness for traction-driven elasticity follows by direct integration:
Multiply the equation by and integrate by parts. Major symmetry turns the strain term into the derivative of elastic energy, giving . Stable elasticity makes , and gives . Thus equals its initial value zero. Even rigid zero-strain motions cannot survive these initial conditions.
The PDF correctly specifies zero initial displacement field and zero initial velocity; the TeX duplicates displacement field in the second condition. The complete causal displacement field is unique, including when its Fourier representation contains resonant modal contributions fixed by the initial data.
For a photon, and the null displacement along the ray is parallel to . Consequently , and the first term of the momentum law vanishes. Write with an appropriate path parameter. Then
For a static potential, a photon emitted and received by laboratories at rest in the background frame has energy proportional to . Using , the scalar-force gravitational redshift is
Restoring , the leading fractional shift is , where is the dimensional Newtonian gravitational potential. Near Earth's surface, an upward displacement has , hence : the receiver sees a redshift.
Thus yes: the predicted weak-field frequency shift agrees with the Pound-Rebka experiment. The calculation concerns stationary emitter and receiver, with identical local transition-energy standards; it does not add a Doppler shift due to their relative motion. Agreement with this gravitational redshift measurement alone does not establish the tensor theory of general relativity.
Let be a constant reference density and define total buoyancy acceleration by . Absorb the reference hydrostatic pressure into a kinematic pressure . The ideal nonrotating Boussinesq equations are
For a resting density profile , the background satisfies and the squared buoyancy frequency is
Stable stratification has . The Boussinesq approximation requires fractional density variations to be small over the domain and parcel excursions, so density can be replaced by in inertia while its small variation is retained in the gravitational force. For an approximately uniform density gradient over height , this requires . The stipulated incompressibility alone does not justify neglecting density variation in inertia.
Put and . To linear order the two-dimensional internal gravity wave equations are
The exact impermeability condition on is the kinematic boundary condition
Taylor expansion about permits at leading order if the boundary slope and its displacement relative to the vertical wave scale are small: and . The second condition controls both the omitted evaluation correction and the product , since continuity gives . Hence for the harmonic forcing,
The propagating calculation assumes and ; a time-independent boundary does no oscillatory work on fluid initially at rest. If but , 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 , let be its complex amplitudes. The linear equations give
Substituting into gives the dispersion relation
No 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 is
The displacement is , consistent with times the displacement. For a right-moving boundary choose , without loss of generality. Then , and the constant-phase lines of an internal gravity wave have slope : the crests rise toward the right. Their acute angle with the horizontal is
The group velocity is along these crests in the upward-right direction, whereas the wavevector and phase propagation point downward-right.
Figure 1.
Rising wave crests with upward group velocity and downward phase propagation above a right-moving boundary
. Details.
The physical pressure perturbation is . 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. Therefore
As an independent energy check, the wave's mean kinetic-plus-buoyancy energy density is , and multiplication by gives exactly this upward energy flux.
For the exact horizontal mean-momentum equation, incompressibility writes the horizontal momentum equation as
Average 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. Then
Horizontal averaging also makes ; the zero mean boundary displacement rate gives . 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 , using for . The outgoing internal-wave envelope radiation condition is . Replace in the oscillatory fields by . A modulation time must satisfy and , with a frequency bandwidth sufficiently narrow to linearize the dispersion relation. The exact boundary derivative also contains ; it is smaller by the slow-modulation parameter and is beyond this leading envelope approximation.
To leading slow-modulation order, the wave momentum flux is
Since , integrating the mean-momentum equation from rest gives the internal-wave momentum deposition
This 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 . The initial uniform relative flow is , with infinite total energy in the unbounded column. Its finite mean-energy change is instead
At finite time the envelope is absent sufficiently far above, so integrating the momentum equation gives
This 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.
Here write for the buoyancy perturbation about the resting constant- stratification; the total buoyancy also includes its background gradient . Use kinematic perturbation pressure . The weak-forcing Linearized Boussinesq equations are
Weakness means that perturbation advection is small compared with the retained linear terms. With the specified streamfunction convention, the transverse vorticity is
Differentiate the horizontal momentum equation in and subtract the derivative of vertical momentum. The pressure derivatives cancel, giving
The second equation uses and is the forced internal-wave equation.
For free waves at frequency , the internal gravity wave dispersion relation gives . Thus the horizontal response scale is much larger than the vertical scale. Vertical acceleration is small in the vertical momentum equation, leaving the hydrostatic approximation . Correspondingly the transverse vorticity is predominantly : neglect relative to in the inertial vorticity term. The restoring term must still be retained, since it balances the small time derivatives.
For put , and interpret physical fields as real parts. The reduced equation is
One can solve it while obtaining the buoyancy simultaneously. Define and . The first-order hydrostatic equations become
Hence and obey
Apply the method of characteristics with zero fields in the past. With
the solution is . Consequently the hydrostatic response to a localized horizontal force is
These are exactly the required two characteristic integrals, derived with their relative sign fixed by the buoyancy equation. Quiet-past initial conditions exclude additional freely propagating solutions.
For the consistency check, set , so both integrals run over the fixed range . Differentiation at fixed now gives
This change of variable is important: it includes the time dependence of both the sampled forcing and the moving integration geometry without omitting a term. Each straight path intersects for a time interval of length at most . If , then
The characteristic size of the hydrostatic buoyancy and pressure-gradient balance is , as follows from the analogous bound on in its integral formula. Thus the omitted acceleration has relative scale at most a constant times
Together with the low-frequency assumption, this verifies the requested hydrostatic consistency. It is a comparison of characteristic magnitudes, rather than division by a buoyancy value at a node where both terms may vanish. The capital here is the buoyancy frequency, as printed in the PDF.
For , only contributes. If , every point lies outside the source interval, so both integrals vanish:
This finite propagation cone belongs to the reduced hydrostatic wave equation.
The hypotheses do not require an even forcing, so no single symmetric graph follows for every permitted . For an illustrative smooth even nonnegative profile, is even and is odd. At late time and fixed , if , then
Thus the streamfunction develops a broad nearly level interior response with outgoing fronts, while the buoyancy changes sign across the source and approaches opposite interior plateaus to its left and right. Both vanish beyond the fronts. For , a vertical phase with gives real fields and . The figure plots those profiles up to positive normalization factors, for an even compact forcing increasing slowly from zero.
Figure 1.
Causal streamfunction and buoyancy profiles for a slowly established even localized horizontal force
. Details.
Put , , and take a compactly supported Lighthill stress tensor. The isotropic term in that tensor is : the Kronecker delta is implicit in the printed shorthand. Convolving the Lighthill acoustic analogy with the retarded acoustic Green function and integrating twice by parts in the source coordinates gives
The boundary terms vanish because of compact support. For source size , the acoustic compact-source approximation requires . At , we may therefore replace the denominator by and the retarded argument by in the leading source integral. Define . In the radiation region , the leading two spatial derivatives act on the retarded time rather than on or :
Thus the leading acoustic quadrupole density is
For the compact acoustic quadrupole Mach-number scaling, let be the source fluctuation speed, , and use the advective source time . With , one has and . Consequently
The fourth power refers to the radiation coefficient with geometric spreading separated. It assumes that the source frequency scales as ; an independently imposed frequency or an independently strong thermal source would change that Mach number estimate.
For the reflection of a P-wave from a rigid plane, use the displacement convention , , where is the P potential and the SV potential. Put , , , and . The reflected waves must share the tangential wavenumber and frequency and propagate towards negative , so write
The rigid barrier requires both displacement components to vanish. On this gives and . Solving,
The total P potential is the given incident wave plus , and the S potential is . Reversing the sign convention for reverses but leaves the displacement unchanged. At normal incidence .
An evanescent reflected S wave would require , or . In a stable isotropic elastic solid , so this is impossible for real incidence angles: . The reflected S wave is never evanescent in the physical isotropic case. The inequality identifies the hypothetical critical-angle case if the speed ordering were reversed; it is S-to-P conversion, not this P-to-S conversion, that can become evanescent in an ordinary solid.
Use geometrized units, and denote the beacon's proper time by to distinguish it from the short emitted duration . Take at release. The period , the duration , and the wavelength are measured by the beacon's own clock. Its radial timelike geodesic has conserved Killing energy per unit rest mass , where . Initially at , so . Normalization of the four-velocity gives
For the Schwarzschild radial fall from rest at a finite radius, introduce
Indeed and reproduce the inward radial equation. At the Schwarzschild event horizon, and . Hence
This is the finite falling-clock time to the event horizon. By contrast, Schwarzschild time obeys and diverges at crossing. Near the horizon , so and .
Every outward optical pulse emitted while can reach a distant observer, and no pulse emitted after entry into the future black-hole region can do so. The infinite coordinate crossing time does not produce infinite emissions, because the pulse clock runs in proper time. If there is a pulse at release, the escape times are for . Thus 24 pulses are received, counting the pulse at release; 23 are emitted subsequently during the fall. More generally the PDF does not specify the phase of the pulse clock. For a first emission at with , the finite pulse count for a falling Schwarzschild beacon is
The ceiling handles a pulse scheduled exactly at crossing correctly: it cannot escape. This count concerns pulses associated with the fall, not any pulses emitted before release, and assumes an ideal observer able to detect arbitrarily redshifted signals.
To find the stretching of an optical pulse, use the Schwarzschild tortoise coordinate . An outward radial null geodesic has constant Schwarzschild retarded null coordinate . At an observer's fixed large radius , its arrival time is ; therefore only the varying emission value of contributes to the interval between arriving wavefronts. Differentiating along the falling source gives
The outgoing pulse redshift from a radial Schwarzschild infaller includes both gravitational redshift and the emitter's inward Doppler shift. A short pulse emitted at radius has, to leading order in its duration,
For a finite receiver radius, replace by to measure the receiver's proper time and frequency; this correction is negligible for . The inverse scaling of frequency follows because the number of carrier cycles is unchanged when the pulse is stretched. Here is ordinary frequency, not angular frequency, in units with light speed one.
Under the release-phase convention, the last emission is at . Solve to obtain , , and . Because and this pulse begins before crossing, the local short-pulse approximation applies. Thus its approximate observed duration and frequency are
Without fixing that phase, these numerical coefficients are not unique: put , find from the parameterization, and use the boxed general formulas. For a last pulse close to crossing, with but , the horizon redshift of a Schwarzschild infaller gives the useful estimates
If a phase instead places the pulse within one pulse-duration of crossing, , a single constant stretching factor is inappropriate. The received extent of a complete escaping pulse is exactly ; a pulse straddling crossing has an escaping tail extending to arbitrarily late arrival times, whose instantaneous frequency tends to zero. The finite count remains valid, while its last-pulse duration then has no finite constant multiple of . This identifies precisely what the unspecified pulse phase can change.
For the strong-collision ion-neutral Alfvén modes, put and assume . Rewrite the cubic as
The two slow roots obey , so the first approximation is . Set and retain the next order, of size :
Consequently
These are weakly damped Alfvén waves. Their phase speed is , since collisions make the neutral mass participate in the oscillation. Their ambipolar damping rate is , with .
For the remaining root, at the cubic is , so start from . Denote the cubic by . Its value and derivative at this root are
The first correction is therefore , giving
This branch is purely damped. Indeed, the real growth-rate polynomial for is , and its simple real root near stays real for sufficiently small real . It represents rapid decay of ion-neutral relative motion. In the limit, the other two frequencies tend to zero; all three branches are accounted for.
At leading anisotropic order, perpendicular Alfvénic turbulence evolves independently of the compressive fluctuations. The slow modes and the entropy mode are transported by that turbulence. The fast magnetosonic frequency is of order , much larger than the reduced Alfvén frequency; the low-frequency reduced magnetohydrodynamics ordering filters out that fast-wave sector.
The passive evolution can be made explicit for a uniform ideal adiabatic plasma. Let , , , and define the normalized entropy perturbation
Use and . Perpendicular force balance makes the leading total-pressure perturbation vanish:
The ideal entropy equation gives . The leading continuity and parallel-induction equations have the same compressive divergence term; subtracting them gives . Parallel momentum gives . Put
The two compressive equations therefore become
Let be the tube speed and . Then
Thus the slow and entropy fluctuations in reduced magnetohydrodynamics have characteristic amplitudes obeying
The two slow-wave populations propagate in opposite directions along the bent field lines while being mixed across them by . The entropy perturbation is carried by the fluid without a restoring-wave frequency. A pure entropy perturbation has and , so its density variation is accompanied by a temperature change with no leading pressure variation.
The coefficients and advecting fields in these three scalar equations come from the Alfvénic cascade; the scalars do not enter the leading perpendicular Alfvén equations. They therefore develop small perpendicular scales through passive mixing. If a scalar has constant variance flux and is mixed on the Goldreich–Sridhar time , then
The flux and amplitude need not equal the Alfvénic energy flux. This passive-spectrum statement uses the same locality and stationary inertial-range assumptions as part (a), and ignores additional damping. If a passive mode is absent initially and is not forced, its homogeneous leading equation keeps it absent; the Alfvénic cascade does not have to generate every compressive mode.
For , the dispersion relation gives . Put . Boundedness as selects , rather than the exponentially growing root. The internal-wave polarization relations now yield
Again take real parts and set . This is an evanescent wave, decaying over distance ; there is no propagating far-field internal gravity wave at this frequency. The pressure amplitude is in quadrature with the horizontal velocity, so the time-averaged horizontal pressure-work flux vanishes. The equality is a singular limiting case and is outside the two frequency ranges considered here.
In the Boussinesq approximation, density departures from a constant reference density are small enough to neglect in inertia and mass continuity, but their gravitational effect is retained. Write the total buoyancy acceleration as , choose a hydrostatic background , and set . Thus is the buoyancy perturbation, positive for a parcel lighter than the background at its present height. The squared buoyancy frequency is
Stable stratification has . A small vertical displacement of a parcel conserving its buoyancy gives , explaining the restoring acceleration and the name of .
Let be pressure with the background hydrostatic pressure removed, , and the material derivative. The ideal, nonrotating Boussinesq equations are
The last equation is equivalent to . There is neither viscosity nor buoyancy diffusion. The reference density occurs in the pressure normalization, while the small density anomaly occurs only through buoyancy.
For the two-dimensional disturbance, linearization about rest gives
A plane internal gravity wave proportional to therefore satisfies
These internal-wave polarization relations and the dispersion relation determine the individual responses in parts i and ii. A radiating response has no incoming internal gravity wave from ; an evanescent response is bounded there. The harmonic solutions describe the response after excluding arbitrary initial transients.
For the localized oscillatory boundary, define and . Both signs of vertical wavenumber must radiate into . Their horizontal wavenumber is , so the positive- contribution involves and the negative- contribution involves . Consequently the complex horizontal velocity is
Taking its real part proves
The positive- internal-wave polarization has and the negative- one has . Hence
In particular, , so the boundary condition is recovered exactly. This is two-beam radiation from a localized oscillating boundary.
Take a smooth localized profile, for example . Its effective support is a neighbourhood of width a few ; increasing that neighbourhood makes the tails arbitrarily small. The boundary displacement is to first order, so at it is flat and moving at maximum speed. At that instant,
There are two narrow oblique beams centered on and . Away from their overlap, the velocity is parallel to the relevant beam, in the directions and . The figure uses and measures velocities in units of .
Figure 1.
Velocity in two internal-wave beams when the oscillating boundary is flat and moving fastest
. Details.
At other phases the terms contribute. For the positive-frequency convention above, is the Hilbert transform of ; it generally has longer tails than . Thus even when the boundary is nearly stationary, the interior need not be stationary or confined to the bright cores shown here. Half a period later all velocities reverse. The beam directions remain the same, but the instantaneous velocity profile and its quadrature component change.
A short pulse has a broad frequency spectrum. Frequencies below produce outgoing internal gravity wave packets with frequency-dependent ray slopes ; frequencies above contribute an evanescent near-boundary response. Moreover the group velocity depends on wavelength as well as direction. The radiated packet therefore spreads into a dispersive fan or wake, with different frequencies traveling at different angles and different scales separating along those directions. After the forcing ends the propagating packet travels away, rather than maintaining the two permanently driven monochromatic beams.
Use the streamfunction convention , , and take . With , the material derivative is . This convention differs from the horizontal quasi-geostrophic streamfunction convention used below. The nonlinear Boussinesq equations are
The component of vorticity is . Differentiate the first momentum equation in and subtract the derivative of the second. The pressure terms cancel; the derivatives of the advecting velocity cancel by . Thus , or
Conservation of total buoyancy, with background gradient , gives
Both equations retain the nonlinear advection terms.
Write , with , and take the background buoyancy anomaly to be zero. The linear equations for are
For a normal mode , the second equation gives . Substitute this into the first to obtain the Taylor–Goldstein equation
Here and the calculation is initially away from critical levels . The first term is the restoring effect of stable buoyancy on vertically displaced parcels. The second comes from advection of the background vorticity gradient : a displacement creates a vorticity anomaly, whose induced velocity acts back on the displacement. This is the shear-flow counterpart of a Rossby wave restoring mechanism; its sign can also permit instability, so it is not invariably stabilizing.
Rigid boundaries imply , hence . For a real, regular normal mode, multiply the Taylor–Goldstein equation by , integrate, and integrate its second derivative by parts. The endpoint term vanishes, leaving
For a smooth real dispersion branch, differentiate this identity with respect to . The stated stationarity of removes the term involving , so . Direct differentiation at fixed gives
Since the frequency is , the group velocity is , and therefore
This is variational group velocity of a Taylor-Goldstein mode. Singular critical levels or a vanishing denominator require separate limiting analysis; no stationarity proof is needed here.
For the sinusoidal profiles, choose . In the interior,
The profile ratios extend to the endpoints in this reduced equation. Thus always gives a nonzero real , with . For this normal mode,
The denominator in the group velocity expression is . It follows that
Although vanishes at the endpoints, this weighted integral is finite; the vanishing of supplies the required cancellation. The formula is the limiting derivative approached from the regular real branch with , before any interior critical level is encountered.
If instead and are constant, still take . The same vertical eigenfunctions satisfy the Taylor–Goldstein equation, now with
There is no value of guaranteed to give real for arbitrary positive parameters: if , all these squared wavenumbers are negative. A nonzero real exists exactly when ; equality gives only the degenerate , limit. For a real branch the same group velocity calculation gives .
To test exact nonlinear validity, take a real normal mode and its corresponding buoyancy perturbation , where . Because
the quadratic vorticity self-advection is zero: . The quadratic buoyancy self-advection, however, is
This nonlinear exactness test for a stratified streamfunction mode distinguishes the cases. For constant , is constant, so both quadratic terms vanish. The background-mode terms already satisfy the linear equations, hence the constant-profile modes are exact finite-amplitude solutions of the ideal Boussinesq equations. Pressure can be recovered from the momentum equations: the vorticity equation supplies their compatibility condition in this simply connected strip.
For the sinusoidal profiles, has a nonzero derivative in the interior. For every nonzero and nonzero real , is not identically zero; it produces a second horizontal harmonic that is absent from the proposed solution. Thus none of these nontrivial sinusoidal-profile modes is an exact finite-amplitude solution. A field is merely an added horizontal shear with no vertical motion and is a degenerate exception to the wave calculation, not a propagating member of it.
Define the quasi-geostrophic streamfunction by . Leading horizontal geostrophic balance, , gives . The hydrostatic approximation gives , hence
Thus is the material derivative along the leading geostrophic flow, and the vertical derivative of pressure determines the buoyancy perturbation. This also gives thermal wind: and .
The balanced regime is favored by small Rossby number, a shallow aspect ratio, and a Burger number of order one. Equivalently the stratified Froude number is small. On a beta plane, require , and take slow, initially balanced motion away from the equator. Under the traditional approximation, the horizontal Coriolis force generated by vertical velocity is small because vertical velocity is small, while the vertical rotational force is small compared with the leading hydrostatic pressure and gravity terms. Strong stratification and small aspect ratio justify retaining only the vertical component of Earth's rotation in this regime; this argument is not uniform near the equator.
Put . The buoyancy equation gives . Substitution into the vertical vorticity equation yields
There is an important commutator cancellation. With ,
Also for . Adding terms therefore proves potential-vorticity conservation:
This is the three-dimensional quasi-geostrophic potential vorticity.
At an impermeable stationary lower boundary , the kinematic condition is . For small elevation and slope, evaluate this at the reference level to leading order. Combining it with the buoyancy equation gives the rigid-boundary buoyancy condition for quasi-geostrophic waves
The quantity in parentheses is the boundary displacement plus its buoyancy-equivalent displacement.
Now take constant and the mean quasi-geostrophic streamfunction . Its mean buoyancy perturbation is , consistent with thermal wind, and its interior potential vorticity is constant. In the boundary condition, the perturbation velocity advects the mean boundary buoyancy gradient. Keeping this contribution gives
In particular the term must not be omitted.
The linear interior potential-vorticity equation is . Starting with zero interior perturbation potential vorticity, and with forcing only through the boundary, it remains zero. For a steady solution this is also the regular zero-interior-PV choice, continued through any isolated zero of . The inversion equation for a horizontal mode is
The printed convention takes ; for either hemisphere the decay rate is defined using . Boundedness aloft selects the decaying mode. Write
with real part understood. The linear boundary condition becomes
For , a steady quasi-geostrophic mountain wave is therefore
On , its real meridional velocity is
For the positive-parameter convention and , the velocity minimum lies one quarter wavelength downstream of each topographic maximum; its maximum lies one quarter wavelength downstream of each topographic minimum. If the velocity prefactor changes sign, maxima and minima interchange. The condition alone does not fix that prefactor if is allowed to be negative. The upper panel shows the positive-current convention.
Figure 1.
Meridional velocity relative to topography for a steady mountain wave and a resonantly growing edge wave
. Details.
At , the free boundary Eady edge wave has zero frequency in the ground frame. If , a steady amplitude cannot satisfy the forced amplitude equation. With , integration gives
Consequently
The symbol multiplying here is the horizontal wavenumber , as in the PDF. Taking the real part and differentiating in gives
For , positive , and , the meridional-velocity minima coincide with topographic maxima, and its maxima with topographic minima. This is the lower panel. The change from quadrature to opposition is the phase of a resonantly forced topographic edge wave.
The stationary relief continuously excites a boundary Rossby wave whose intrinsic propagation exactly cancels mean advection. The forcing therefore remains coherent with that wave; with no damping or radiation loss for this trapped mode, its linear amplitude grows secularly. This is a resonant topographic quasi-geostrophic wave. Unlimited growth is a conclusion of the linear idealization: eventually the small-disturbance approximation fails.
The assertion that resonance must be unsteady needs nonzero forcing. If , then and the boundary current does not cross the relief; if , the forcing also vanishes. In either case the zero disturbance is a steady solution even if . For example, choose , , and ; this is a concrete exception to an unconditional resonance claim. When both horizontal wavenumbers vanish, and the stated decaying-wave ansatz itself does not apply.