Use an upward vertical coordinate , constant mass density , and a positive Coriolis parameter ; the square-root formulas below assume the Northern Hemisphere. For a slab of thickness , the net force per unit horizontal area is . Dividing by its mass and including the Coriolis acceleration gives
Here are the vertical shear stress components of the viscous stress tensor, so their boundary values require a signed traction convention. Linearization removes advective acceleration. Decompose the horizontal velocity into an exterior pressure response and an Ekman layer correction. On an f-plane these satisfy
and
The exterior pressure response is in geostrophic balance when steady. For a surface Ekman layer with negligible stress at its base, its Ekman transport is
Integrating the continuity equation and imposing zero vertical boundary-layer velocity at the surface gives . Thus the base velocity, positive upward, is
The PDF prints the opposite sign. Its negative formula is correct for a velocity defined positive downward, but its stated momentum equations with use the upward-coordinate shear convention above. This sign must be accounted for when interpreting the subsequent pumping equation.
For constant kinematic viscosity, write and . The steady Ekman layer equation is . Taking the surface at and the ocean below it, the bounded surface Ekman layer solution is
The total velocity is . Prescribed wind stress determines the coefficient of this Ekman layer correction; it does not determine a relation between the wind and the independent pressure-driven velocity. An additional boundary condition is necessary for a laminar Ekman boundary stress law in terms of .
The two printed laminar stress formulas and the positive pressure-Laplacian pumping formula are instead the standard Bottom Ekman layer relations. To derive them consistently, put a stationary no-slip boundary condition at , with water at . Then
Consequently
These are shear stress values; the actual bottom traction on the fluid has the opposite sign. Integrating this Bottom Ekman layer gives and . Since the exterior geostrophic flow is horizontally nondivergent, the upward velocity above the bottom is . Using , yields
This recovers the requested magnitude and pressure dependence with a consistent bottom interpretation. The surface version would require its own specified boundary velocity and corresponding signs.
For Ekman spin-down in a shallow-water layer, let , , and . Upward bottom pumping enters the exterior linearized shallow water equations through . Taking the curl of their momentum equations gives , hence
Slow geostrophic balance gives and . Therefore the intended damping equation is
The slow-adjustment assumption is , not the printed . The printed negative pumping term in continuity can alternatively describe downward extraction at the upper boundary, but it cannot be combined unchanged with the upward bottom pumping just derived. A literal use of the positive printed and negative continuity source would reverse the damping sign and produce growth.
For a Fourier mode with , substitution gives
For scales small compared with the Rossby deformation radius, and , independent of wavenumber. For scales large compared with the Rossby deformation radius, the equation becomes , where
The zero wavenumber mode does not decay. A thin Ekman layer, , makes , so the derived decay time satisfies the corrected slow-time assumption.
Use the time convention . The free-space Helmholtz equation, with , gives the exact reduced equation
For a forward plane wave at angle , and , whereas . Thus the paraxial approximation neglects relative to . The reduced field satisfies the parabolic wave equation
With the Fourier transform convention used below and its inverse, this becomes an ordinary differential equation for each transverse wavenumber:
Consequently the initial-value solution is
Equivalently, evaluating the oscillatory Gaussian integral gives the one-dimensional transverse Fresnel propagation formula
The square-root branch has . The formula is an oscillatory integral for general data, or the Fresnel propagator acting on square-integrable functions. It approaches the initial field as . A plane wave has transverse wavenumber ; the reduced axial phase agrees with through order . This also checks the sign. The paraxial approximation applies to .
Put . The random phase screen produces
Interpret the normality assumption as a jointly Gaussian process, not merely Gaussian one-point marginal distributions. Write its normalized autocorrelation as . The difference is a zero-mean Gaussian random variable with variance . Its characteristic function therefore gives the Gaussian phase-screen correlation
Without joint Gaussianity the autocorrelation alone does not determine this expectation.
For an acoustic pressure amplitude , with background mass density , the time-averaged acoustic energy flux is
An acoustic potential convention changes the dimensional prefactor. The physical field includes the carrier : a transverse Fourier transform mode has axial wavenumber in the parabolic wave equation. Thus its spectral acoustic flux is proportional to , or to at leading paraxial order. Differentiating the reduced field alone would omit the carrier contribution.
The infinite stationary illumination has a spectral measure of a stationary random field, rather than a finite ordinary value of at each . To specify the normalization, truncate the screen to an aperture of length , propagate this truncated initial field, and set
The propagation multiplier has modulus one. Using the Gaussian phase-screen correlation and the overlap of the two aperture intervals gives
Multiplication by gives the ensemble-averaged pressure-normalized modal acoustic energy flux for this finite-aperture convention.
The infinite-aperture spectral normalization consistent with the specified Fourier transform is
The integral and limit are understood as spectral measures of a stationary random field when necessary. By Parseval's identity, this is power per unit transverse length: . The ensemble-averaged axial spectral acoustic flux is independent of :
Here the notation includes Dirac delta distributions in the spectral measure of a stationary random field; the leading-order total flux is . The correction is meaningful within , the range of the paraxial approximation.
If and is integrable, the stationary phase-screen power spectrum separates into coherent and diffuse wave fields:
The coherent fraction is and the diffuse fraction is . If additionally , the stationary phase-screen power spectrum is with the same Fourier transform convention. Small alone does not imply small accumulated phase .
At each point the Gaussian process has a standard normal marginal distribution. Its characteristic function gives the coherent screen field
It is constant in , so its Fourier transform is . Applying the Fresnel propagator to this zero-transverse-wavenumber component gives the ensemble-averaged reduced spectrum
Thus the reduced mean is independent of . The physical mean still has its carrier phase. The coherent attenuation by a Gaussian phase screen takes place at the screen, with no further coherent attenuation in homogeneous space.
The full spectral acoustic flux depends on the second moment, not the square of this mean. For a stationary process, the generalized cross-spectral correlation is
Indeed its propagation factors cancel on . This explains why the ensemble-averaged spectral acoustic flux in (b) is also independent of , even for nonzero transverse wavenumbers whose individual complex amplitudes change phase. The coherent atom has weight ; the full stationary phase-screen power spectrum also contains fluctuations. Under the decay assumptions in (b), their integrated weight is . One must use these weights in a spectral measure of a stationary random field, rather than square a Dirac delta distribution. A phase-only screen preserves the leading-order total acoustic energy flux, although it reduces its coherent part.
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.
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.
The Mészáros effect suppresses the growth of modes which enter the horizon during radiation domination. Modes with comoving wavenumber enter earlier, but gain only a logarithmic growth factor until matter-radiation equality; modes entering during matter domination grow as after entry. Consequently small-scale amplitudes are reduced relative to an extrapolation of the unsuppressed large-scale cosmological density power spectrum, creating a turnover near the matter-radiation equality scale in units .
More quantitatively, for adiabatic primordial fluctuations with scalar spectral index , the late-time linear spectrum can be written, up to a time-dependent normalization,
The cold-dark-matter transfer function approaches a constant at , whereas logarithmic small-scale matter transfer gives at large . Thus
For approximately scale-invariant initial curvature fluctuations, , the large- scaling is , rather than . This discussion ignores baryonic acoustic structure and nonlinear clustering. The Mészáros equation solution basis includes both a constant and a logarithmic branch during radiation domination; the physical logarithmic growth is selected by matching the earlier radiation forcing, so not every mathematical solution grows logarithmically.
On a length scale , pressure communicates support over a sound-crossing time , whereas self-gravity acts over a time of order . When the former is longer, gravity can amplify an overdensity before pressure smooths it. Thus Jeans instability occurs at scales of order ; the precise numerical factor depends on whether scale means wavelength or inverse wavenumber.
Take a uniform static background, small perturbations, an inviscid barotropic fluid, and with . An infinite Newtonian homogeneous density cannot itself have zero background gravitational acceleration while satisfying the unmodified Poisson equation for Newtonian gravity. Specify the Jeans swindle: subtract the homogeneous field, or regard an external prescription as balancing it, and apply Poisson's equation only to perturbations. The linearized continuity equation and Euler equations for an inviscid fluid are
Taking a time derivative of the first equation and substituting the second yields . A plane wave therefore gives
For there is exponential growth at rate . At the density mode is neutral to this linear order, and above it there are acoustic oscillations. The critical wavelength is . Transverse velocity perturbations decouple as zero-frequency vortical modes in this idealization.
For the attractive Yukawa potential, assume a real screening parameter . Its Green function obeys , including the delta source. Thus . The same fluid elimination gives Jeans instability with Yukawa gravity:
There exists a growing nonzero-wavenumber mode precisely when
Equality gives no exponentially growing nonzero mode. If screening exceeds this threshold, the finite-range gravitational response is too weak to overcome pressure at any wavelength. Otherwise all sufficiently long but nonconstant waves remain unstable, with a longer minimum unstable wavelength than in Newtonian gravity. For the long-wave gravitational contribution also scales as , so the growth rate tends to zero as ; screening does not produce a second positive lower cutoff in wavenumber. A homogeneous screened background can have the constant gravitational potential , with zero force, so no Newtonian background subtraction is needed for nonzero screening. The limits and are nonuniform. An exact density change is not one of the growing finite-wavelength modes. In the pressureless edge case , every finite is unstable for positive density and finite screening.
Separate the uniform stream and an arbitrary time-dependent gauge from each velocity potential: . Only gradients of the velocity potential determine the velocity field. The remote fluid must remain in its unperturbed uniform stream, so
After fixing the harmless gauge, the nonzero-wavenumber perturbation velocity potentials themselves vanish at the corresponding infinities. Incompressible flow and irrotational flow give the Laplace equation for each perturbation. For a normal mode with , the vertical amplitude solves , hence
The opposite exponentials are excluded because they make the perturbation grow at infinity. It is the perturbation, rather than the total potential , that decays.
For an odd velocity potential, choose
At the two kinematic conditions give and . The dynamic condition is . Eliminating gives, with ,
The lower interface gives the same equation by odd parity of the velocity potential. The interior vertical velocity is even, so : the displacement is a sinuous mode of a planar jet even though the potential is odd.
For , and , and one root has . Thus every nonzero wavenumber is unstable in this ideal top-hat planar jet. The phrase “all choices” is understood with these assumptions: has no exponential wave growth, and has no shear.
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 the physical coefficients real. Substitution of into the linear complex Ginzburg-Landau equation gives , hence
Let . Completing the square yields . Therefore the absolute wavenumber and absolute frequency are
Their explicitly separated parts are
Thus vanishes at . The complex saddle describes the localized Green function response; it is different from selecting a real wavenumber for a Fourier mode for temporal amplification.
When , the ratio of cubic damping to linear amplification is . The cubic amplitude saturation equation therefore gives
while the small-amplitude regime lasts. With , the matching real-wavenumber normal mode of the linear complex Ginzburg-Landau equation has and hence amplitude proportional to . Thus
This is the temporal growth rate of the same Fourier component. It is not the fixed-position absolute frequency rate of a localized impulse. Nonlinear damping becomes important when is comparable with and then arrests exponential amplification.
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.
Eliminate the instantaneous Stokes flow velocity in favour of temperature. On a horizontal Fourier mode , the Stokes temperature-slaving operator maps to , where and . The temperature evolution has linear operator and bilinear map . Under the homogeneous thermal Dirichlet boundary conditions, is self-adjoint. Normalize its critical eigenfunction as and set ; the critical vertical velocity is .
At order , the critical eigenfunction equation gives . At order , the weakly nonlinear expansion contains the imposed second harmonic and the quadratic products of the critical mode: a horizontally uniform temperature correction proportional to and, in a general vertical-mode calculation, a second harmonic proportional to . These corrections are found by solving the noncritical boundary value problems, with homogeneous thermal data except for the imposed forcing.
At order , the method of multiple scales produces the slow derivative , the detuning term , and the two cross-advection terms involving first- and second-order fields. Project the component onto the adjoint eigenfunction using the vertical inner product. This is the solvability condition in the method of multiple scales: divide each resonant projection by . The detuning supplies with ; interactions of horizontal wavenumbers and permit with ; self-interaction through the slaved mean and second harmonic supplies . Other products have the wrong horizontal wavenumber. Reflection permits real coefficients with this cosine forcing. Thus the symmetry-allowed spatially forced convection amplitude equation is
There is a useful specialization that should not be silently missed. For the literal one-vertical-mode Stokes flow problem, the vanishing two-to-one forcing coefficient for Stokes convection makes at this order. To see this, write a positive second-harmonic forcing component as , incorporating the cosine's factor . Its coupling to the negative critical harmonic has projected integrand, apart from sign and its factor ,
The integral vanishes because at both plates, even though is nonzero. This proves the cancellation without solving the forced profiles. The permitted coefficient is therefore zero times ; symmetry alone does not establish nonzero phase pinning for the equations actually supplied.
The same normalization makes the remaining coefficients explicit. Since , . The quadratic second harmonic cancels for , while the uniform correction is . Projecting gives . Thus for the literal model and this temperature normalization,
A generic nonzero would require a nonvanishing projection in an amended physical model or a different forcing structure. It is still meaningful to classify the real-coefficient amplitude equation requested independently.
Write . Then and . These are a gradient flow for , so local minima give stable equilibrium points. At the origin the two eigenvalues are and . The origin has exponential asymptotic stability if , retains asymptotic stability with algebraic decay at , and is unstable if . At equality, obeys , since both linear coefficients are nonpositive. Integrating this inequality proves attraction even in the zero-eigenvalue direction.
For the stable nonzero equilibrium points are real; for they are imaginary:
The real branch has Jacobian matrix eigenvalues ; the imaginary branch has . The oppositely aligned branch, when it exists, is a saddle equilibrium. No mixed real-imaginary nonzero equilibrium is possible when .
For , the origin is stable for , with algebraic decay at zero. If , the circle is radially attracting. Each point has Lyapunov stability but has a neutral phase direction, so it does not have individual asymptotic stability; the circle has orbital stability. This is the literal model's unpinned family. The general nonzero- branches instead exhibit phase locking to one of two phases separated by .