Work on an interval where the change of variables is smooth and invertible, with . If , the chain rule gives and . Eliminating using the original second-order linear differential equation gives
For the real transformation as printed, take . Set , which is the Liouville transformation of a second-order equation. Differentiating twice makes the coefficient of cancel. Dividing by leaves
The additional term is exactly , as required.
On an interval with , choose and therefore up to a constant. Primes in the following expression mean derivatives with respect to . We have and , giving the WKB correction term
Neglecting gives . Since , the WKB approximation is
Changing the lower integration limit only rescales the constants. Small is the stated local approximation criterion; rapid variation or a turning point can invalidate it, and small local residual alone need not imply uniform accuracy over an arbitrarily long interval.
The printed hypothesis only says . If real on the interval, the printed square roots require a consistent complex branch. Equivalently a real WKB approximation is
This supplies the oscillatory interpretation for the negative- case instead of silently assuming that the original nonzero hypothesis means positive. Smoothness through the derivatives used above and absence of zeros are required locally.
For a two-dimensional internal gravity wave with fixed horizontal wave number , the vertical velocity amplitude satisfies
This follows from the Linearized Boussinesq equations just as in part (a), allowing the background buoyancy frequency to vary. The WKB approximation gives locally
It requires slowly varying stratification compared with the local vertical wavelength, in particular , and a small-amplitude wave in the inviscid, nonrotating regime. Propagation requires ; where , the local vertical wave number is imaginary and the solution is evanescent. Turning levels and abrupt changes need a separate connection calculation. Finite viscosity, background flow, rotation or nonlinear effects require modifications of this model.
The ray tracing equations use the local dispersion relation as a Hamiltonian:
The stationary, horizontally uniform background conserves the frequency and horizontal wave number. In two dimensions the group velocity gives . For the specified buoyancy frequency and , . Hence for the two geometric internal-wave rays through the specified point are
Each curve has both directed propagation senses, giving four local directed rays. Their formal intersections with are and .
At , and : this is a double-zero internal-wave turning level, since touches zero without changing sign. The ray becomes vertical geometrically, but its group velocity tends to zero. Taking without loss of generality, the downward branch has
The formal travel time diverges logarithmically as . Meanwhile grows, so the WKB approximation fails before that limit; its predicted amplitude cannot be extrapolated to infinity. The spatial ray reaches a finite limiting position, but finite-wavelength behaviour near the zero must be found beyond WKB. There is no evanescent half-space supplied by this particular , so ordinary simple-turning-point reflection cannot be assumed solely from the local ray construction.
Use the spatial internal-wave ray tracing model, with , and reflect the rays so that the frequency and tangential wave number are preserved. At a vertical wall the horizontal energy direction reverses; at a horizontal wall the vertical energy direction reverses. On the sloping wall the reflection depends on internal-wave slope criticality. The three-reflection orbit below encounters that wall at a height above , so the wall reverses the horizontal energy direction there.
First take the packet to leave the bottom upward and to the left, with . The four segments of the loop are
The left-wall reflection is at and the top reflection at . The slope intersection solves , giving the internal-wave ray return map
Thus the next formal bottom reflection is at . On , the slope heights are between approximately and , consistent with the assumed reflection type.
An internal-wave attractor is a stable periodic ray, so solve . This gives , and therefore
The successive vertices are
This is clockwise circulation in the plane. Differentiating the internal-wave ray return map shows
Neighbouring bottom intersections converge to the periodic orbit, geometrically focusing the energy beam.
For completeness, the opposite upward launch direction has the reversed three-reflection itinerary: slope, top, left. In the interval where this itinerary is valid, put
The three-reflection reverse map is , with domain . Its fixed point is the same, but . Counterclockwise packets defocus from that orbit. Except for the exactly periodic reverse ray, they eventually leave this itinerary. In the full geometric reflection construction, omitted-side or additional-slope reflections redirect generic rays into the clockwise attracting branch. Tangency and exactly critical reflections are singular exceptions requiring finite-wavelength or dissipative treatment.
Figure 1.
Clockwise spatial internal-wave attractor and convergence of neighbouring ray loops in the trapezoidal basin
.
The bottom reflection is a formal spatial-ray idealization: part (b) shows that the WKB approximation itself fails near , so the diagram does not imply arrival and reflection there in finite WKB travel time. In a real fluid, viscous attenuation of an internal-wave beam, finite wavelength, internal-wave breaking and ensuing turbulence and mixing limit the beam width and energy density. Unlimited focusing is a property of the ideal geometric model, not a prediction for the resolved physical wave.
The WKB approximation treats the vertical wavenumber as locally constant over one vertical wavelength. Write , with and . For the stationary internal-wave WKB solution, away from singular or turning levels. A small terrain slope and small perturbations are also needed for Linearized Boussinesq equations.
Let be the perturbation fluid pressure divided by reference mass density, and the buoyancy perturbation. The steady Linearized Boussinesq equations and incompressibility condition are
For an component, elimination gives , and . Substitution into vertical momentum gives the exact stationary Taylor–Goldstein equation
The leading WKB approximation therefore identifies
The kinematic boundary condition fixes the horizontal wavenumber to for the sinusoidal forcing.
For explicit heights assume a constant positive buoyancy frequency , , and . The latter is a large gradient Richardson number. The linear shear flow has , so the propagation condition is .
For , the first obstruction is the critical level of an internal gravity wave at
As , . The critical-height approach of a stationary wave in linear shear has upward group velocity , so the travel time to diverges: the height is a supremum, approached in the ideal ray model. Here , which can remain small; it would be incorrect to say that the short-wavelength WKB approximation necessarily fails solely because diverges. Nevertheless and displacement , so a finite disturbance eventually violates linearity. Dissipation and overturning also matter near this singular level.
For , the turning height of a stationary wave in linear shear is
At , and the WKB approximation fails. An Airy function matching region describes reflection and an upper evanescent wave. Thus is the highest height of vertical propagation, rather than a sharp cut-off of every disturbance.
The problem initially allows to vary. Without the extra constant- assumption, replace the explicit turning height by the first root of encountered on a propagating branch. A declining can cause a turning level before the negative-shear critical level. The two closed-form heights require the stated constant-stratification assumption.
Take a common constant buoyancy frequency and put . Define to be vertical parcel displacement; the kinematic boundary condition is . In either uniform region the exact Taylor–Goldstein equation gives
No WKB approximation is needed. If the earlier is genuinely nonconstant, the exact regional equation is instead ; its fundamental solutions, not plane exponentials, must be used. For example, let , , , , and let be an outgoing upper solution. Then , , with determined by and . This gives the exact arbitrary-profile field implicitly, while a simple angle-only coefficient requires further stratification assumptions.
Under the common constant- assumption, propagating incident internal gravity waves require
For co-directed upper flow, the outgoing propagating branch exists for and has . The radiation condition chooses because the laboratory vertical group velocity is positive on the negative intrinsic frequency branch. Define , so .
At the velocity jump, the material-interface jump conditions for stratified inviscid shear flow require continuity of displacement and of fluid pressure. Vertical velocity itself is generally discontinuous: . In terms of displacement the pressure is . The displacement impedance for an internal wave at a velocity jump is . An upward incident component of complex displacement amplitude at , a reflected component and a transmitted component therefore obey
Consequently
For a one-pass incident displacement , a real wave field is the imaginary part of
The incident vertical-displacement amplitude is , the reflected amplitude is and the transmitted amplitude is ; the sign of encodes a phase reversal. The other fields follow from , , and . If a perfectly reflecting terrain boundary is enforced after the return wave arrives, replace the incident coefficient by . The one-pass amplitudes use the permitted neglect of repeated terrain reflections.
For common , . The physical vertical-displacement transmission coefficient is therefore
The printed coefficient has a different denominator and cannot be obtained for this standard displacement convention. For example, when , there is no interface scattering and the vertical amplitude stays , whereas the printed expression gives . A total displacement magnitude would instead be the vertical amplitude divided by ; with unequal velocities it still does not give the printed expression. The transmission formula needs an explicit correction or a different, presently unspecified amplitude/interface model.
For , choose with : the transmitted response decays as and the same impedance equations give a complex , with . At the steady equation is singular. Oppositely directed upper flow formally supports propagating waves when , but upward radiation then requires and signed ; the positive-angle co-directed formula is not valid there. A real velocity jump can also have Kelvin-Helmholtz instability, which is excluded from this formal steady scattering calculation.
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.
The transition equation reduces to the Bessel differential equation because and . Thus becomes .
The Bessel function of the first kind has at zero, while the Bessel function of the second kind has . Since , these yield a constant and a linear function of , explaining the late-time behavior. At large positive ,
Matching to fixes and . The large- and small-argument asymptotic expansions thereby connect the oscillatory WKB approximation to the nonoscillatory late-time solution through one Bessel transition for an exponentially decaying oscillator.
First remove the small damping term by writing
The transformed linear ordinary differential equation is
The leading frequency is . Its WKB approximation has amplitude and phase . The initial conditions select
This leading expression has and . Its WKB approximation for a slowly varying oscillator requires , so it fails around .
To resolve the Bessel transition for an exponentially decaying oscillator, shift to , put and rescale . The exact transformed equation is
For fixed its leading form is . The substitution turns it into the order-zero Bessel differential equation, so . In the overlap , matching the large-argument Bessel functions to gives, with ,
Here and are the Bessel function of the first kind and Bessel function of the second kind; the symbol in this question is unrelated to the leading inner function in the preceding question.
At late times , the small-argument expansions give
where is the Euler--Mascheroni constant. The solution becomes asymptotically linear rather than maintaining the exponentially growing WKB envelope. Its leading late-time slope is . These are leading asymptotic coefficients as : near a zero of , higher-order phase corrections determine the small actual slope. The formula is not an absolute-error estimate uniform to arbitrarily late times. The exact late slope of an exponentially damped oscillator, obtained from a Kummer function and a Wronskian, provides a separate check even near those exceptional phases.
Take and assume an initially propagating mode, . Put and . Neglecting as stipulated, the Scorer parameter and stationary internal-wave WKB solution are
The positive root selects upward group velocity for the negative intrinsic frequency branch . The WKB approximation needs a slowly varying background relative to the local vertical wavelength, in particular and , away from a turning level or singular mean profile.
The local dispersion relation is . Its intrinsic and laboratory group velocities are, with ,
Thus intrinsic energy propagation is upstream and upward, while laboratory energy propagation is downstream and upward, parallel to . Constant-phase lines of an internal gravity wave have slope and normal spacing ; the horizontal spacing remains .
If , grows with height. The wavevector and laboratory energy ray become more vertical; phase lines become flatter and closer together. For finite nonzero , the height
is a critical level of an internal gravity wave: and the vertical wavenumber diverges. The laboratory group velocity tends to zero. Importantly, , so the formal WKB condition need not deteriorate before this level if that ratio is small. Nevertheless the stationary equation is singular at the level, the phase has no finite limit, and the horizontal perturbation velocity grows as ; the inviscid linear wave cannot be continued uniformly through it without additional physics.
If , decreases to zero at
The wavevector and laboratory ray become horizontal, the phase lines become vertical, and the normal spacing increases. Above , and the disturbance is an evanescent wave. Here diverges, so the WKB approximation fails in a turning region and must be replaced by a local connection solution.
Figure 1.
Rays of a stationary wave pattern
. Original WKB phase contours for decreasing and increasing . Red curves and arrows show laboratory energy rays; blue arrows show the local wavevector. The dashed levels mark the critical level and turning level, where a propagating WKB description cannot be continued unchanged.
Between the classical turning points, , while boundedness selects exponentially decaying WKB approximation solutions in the forbidden regions and . The Airy turning-point connection formula at the left turning point matches the left decaying solution to
in the allowed region. Matching the right decaying solution across gives
For these expressions to be proportional throughout , their phases must be compatible. Each simple turning point contributes a phase shift , giving the two-turning-point WKB quantization condition
Write the normal-form equation as
For sufficiently small positive , . Moreover,
and the corresponding higher derivative condition also tends to zero, so the amplitude varies slowly relative to the exponential phase and the Liouville-Green approximation applies.
The phase and amplitude have expansions
Hence two independent Liouville-Green solutions satisfy
In particular, after choosing the signs according to growth and decay,
Assume a small Rossby number, a beta plane, and small fractional changes
At leading order, geostrophic balance gives
Expanding the reciprocal depth in the shallow-water potential vorticity gives
This is the stated shallow-water quasi-geostrophic potential vorticity . The term is the parcel's relative vorticity, while is vortex stretching caused by free-surface displacement, where
is the barotropic deformation radius.
For , omit the irrelevant constant factor . The active PV anomaly is
Linearizing about rest and using gives the Topographic Rossby-wave dispersion relation
A northward displacement raises planetary PV when and raises topographic PV when the bottom rises northward, . PV conservation then requires anticyclonic relative vorticity, producing westward phase propagation. A negative slope opposes and reverses propagation when .
Under a rigid lid, is fixed but need not be close to . With , linearization of gives
For and over a region where , plane waves obey
The planetary-vorticity gradient dominates when , while exponential depth variation dominates when . If the variation of across the region is retained, this is the corresponding local WKB approximation with effective gradient .
For a ridge-fixed disturbance, . If the Scorer parameter varies on a height scale much longer than the vertical wavelength, the local WKB approximation gives
where . The disturbance is vertically oscillatory there and can carry wave activity upward. Where , is imaginary and the solution is vertically evanescent.
A rigid ridge supplies the lower boundary condition and an upper radiation or decay condition selects the physical solution. If decreases through , the crossing is a turning level: the wave is reflected or decays above it and is trapped beneath it. Increasing normally reduces , while decreasing reduces it directly; subject to the curvature term , either change therefore promotes vertical trapping of an atmospheric gravity wave.
The coefficient changes sign where , so the single turning point is
Put and . The WKB approximation satisfying the boundary condition at is
while decay at infinity selects