Assume a cold, unmagnetized, weakly collisional plasma, a small fractional bandwidth and . The dispersion relation is , with . The group velocity and propagation time are
The lower frequencies arrive later. Taking the magnitude of the frequency derivative over gives
For a nonuniform line of sight, replace by the dispersion measure . The light travels at the group velocity, not at the phase velocity.
Let the interface be , with glass at and water at , and choose parallel to the incident beam's tangential component. Define as the vacuum wavenumber, with glass and water refractive indices and . Continuity of phase along the interface fixes . In water, the dispersion relation is , so above the critical angle,
Choose the positive imaginary part because a field growing exponentially into the water would be unphysical. The evanescent field in total internal reflection is therefore
It propagates in phase parallel to the interface but decays normally. Here is the transmitted field amplitude at the interface; relating it to the incident amplitude requires the appropriate polarization-dependent Fresnel equations. If the symbol instead denotes the incident glass wavenumber, replace every vacuum in the formula by ; equivalently and . This states the wavenumber convention left implicit in the source.
When over the populated velocities, expand the denominator in powers of . Odd Gaussian moments vanish. The first two nonzero terms use and , yielding . Solving consistently to order gives
This is a long-wavelength/high-phase-speed approximation, not an exact Maxwellian dispersion relation at arbitrary .
The phase velocity is the speed of a constant-phase surface, . The group velocity is the envelope speed of a narrow packet, , requiring a local dispersion relation rather than only a single monochromatic wave. In an isotropic transparent medium with ,
For a vacuum wave, over the packet bandwidth, so both speeds are and . No superluminal signalling is implied by a phase speed in a dispersive material.
Strictly, the value at one frequency alone does not prove the product identity. For example gives but . The vacuum interpretation, or an equivalent nondispersive assumption, is necessary.
For a vector described in axes rotating at constant angular velocity , the rotating-axes theorem is . Inertial particle velocity is . Applying the theorem once more gives inertial acceleration . Thus the rotating momentum equation is
If and density is constant, the centrifugal term can be absorbed into the reduced pressure in a rotating fluid:
For small disturbances with , linearize to , , , together with incompressibility. Put . Taking the vertical curl gives . Taking divergence gives . Applying the Laplacian to the vertical momentum equation therefore gives . Another time derivative yields
All three velocity components are retained, even for fields independent of ; rotation produces the transverse component.
Set and seek . The rigid-wall conditions are then automatic and the scalar equation gives
For , define . The two possible oscillatory factors are distinguished by energy propagation. With horizontal wavenumber , the dispersion relation is and . An outgoing wave in must have , giving
For , define . Reject the exponentially growing branch, leaving the evanescent response
The real part is the physical velocity. The radiation or bounded-decay condition is needed in addition to the wavemaker boundary value to pick a unique half-channel response. Steady forcing () is a singular limit: with nonzero rotation a steady geostrophic balance and impermeable top/bottom require , incompatible with a nonzero imposed sine profile. At the cutoff equality, the bounded outgoing polarization also degenerates. These exceptional cases cannot be obtained by blindly substituting into the two strict-inequality formulas. The propagating sign is the radiation sign for an inertial wave.
Along , the phase is , with . Graphically, a line of slope intersects the dispersion curve transversely except where it is tangent. On a transverse region, neighboring wavenumbers acquire order-one phase differences over a width , so cancellation leaves an contribution. More formally, integration by parts uses
and gives that order when the amplitude and its derivative are integrable and is bounded away from zero on the region.
At a nondegenerate tangent point , , equivalently , and . Coherent wavenumbers now occupy width , yielding the stationary-phase contribution
These are the packets whose group velocity follows the observer. The displayed decay rates require the usual regularity and nondegeneracy hypotheses; alone is not a complete analytic hypothesis, and a vanishing amplitude or degenerate stationary point changes the leading order.
Figure 1.
A tangent of slope V selects the gravity-wave packet that remains near the moving observer
. Details.
For deep water take a velocity potential satisfying Laplace's equation below the undisturbed surface and decaying with depth. A Fourier mode has vertical factor . The linearized kinematic and dynamic surface conditions are and at . Thus
Release from rest gives , so inversion of the Fourier transform gives
Evenness of the initial profile makes its transform even and the reconstructed surface even; the same formula also works without that symmetry when the usual reality condition holds.
Split the cosine into its two time phases. Along the moving observer, their stationary conditions are , where . Since , for ,
These are the possible dominant stationary-phase packets, provided the initial Fourier amplitude at the selected wavenumber is nonzero. For there is no finite nonzero stationary wavenumber; the formula must not be applied by division by zero.
Let , . Completing the square in the dispersion relation gives
The coefficients are real. There is an exponentially growing temporal mode exactly when the right side is negative, because one root then has positive imaginary part in . Rearrangement gives
Equality is the marginal threshold rather than exponential growth.
At long wavelength,
This is the sound-like Goldstone mode of the broken global continuous symmetry. A spatially uniform infinitesimal phase change is , entirely in the direction, and costs no potential energy. Slow spatial variations acquire gradient energy and propagate as sound. Thus the dispersion relation realizes Goldstone's theorem through a gapless excitation; it is not a massive phase oscillation.
The amplitude and phase are canonically paired by the first-order time derivative in the quadratic condensate fluctuation Lagrangian. There is one positive-frequency branch, rather than an additional independent amplitude branch of a relativistic second-order-time theory. At high momentum,
so the same branch becomes particle-like. The healing length sets the crossover scale.
Figure 1.
Gapless Bogoliubov dispersion and its sound and particle limits
. Original dimensionless curves with and . The exact curve is , the sound asymptote is , and the large-momentum asymptote is . Details.
The dispersion relation shows that an infinite rod has unstable long-wave modes. A finite rod excludes sufficiently long wavelengths, so stability depends on its length and the precise end conditions. The fourth spatial derivative requires two conditions at each end; fixing transverse positions alone does not specify whether slopes are constrained.
First take displacement-fixed ends with free rotation. Setting leaves slope variations free; the bending boundary term in the first variation then gives the corresponding natural boundary conditions on the slope, . The spatial normal modes are , and
The first mode destabilizes first. Consequently
At equality, the first mode has zero restoring force and is marginal, with a static component and a possible linear-in-time component in the linear theory. Every integer gives an exponentially growing mode.
If "fixed" instead means clamped, the clamped boundary condition is at both ends. The critical compression is then
For example, the static critical shape obeys the four clamp conditions and the zero-frequency equation at this load. To establish that it is the first threshold, write : it has zero endpoints and zero mean, and periodic extension gives by the zero-mean periodic Poincaré inequality, with equality at . This proves the critical Rayleigh quotient. Both cases are instances of the compressed Euler-Bernoulli beam and its endpoint-dependent buckling threshold. The source does not specify the endpoint rotation, so both interpretations are stated explicitly.
The velocity coupling changes the momenta and the undifferentiated field terms. Variation with respect to gives the equation for :
so the two Euler-Lagrange field equations are
They describe damped and antidamped fields from an antisymmetric velocity coupling. With the convention , their characteristic equations are
Thus the dispersion relations and modes are
For each spatial Fourier mode, the general solution is the linear combination of its two temporal branches; spatial superposition gives the general field. Take real parts or suitable complex conjugate pairs to obtain the required real fields. At the repeated-root threshold, the independent second temporal solution contains an extra factor , as detailed next.
Choose the positive- reference ground state and use the cyclic rotation
This is a right-handed permutation, so it preserves the spin commutation relations. It puts the ordered direction along the Holstein–Primakoff transformation's quantization axis. To the required order,
The longitudinal exchange contributes . The transverse terms contribute
Dropping the constant and all terms of order or smaller gives the stated linear spin-wave approximation, with
The anomalous pair terms are present because the two transverse couplings differ. A different right-handed choice of transverse axes can change the sign of by a boson phase convention, while leaving the dispersion relation unchanged.
Use the unitary discrete Fourier transform , where . Then
with and . The factor accounts for the duplicated pair in the full momentum sum.
Make a bosonic Bogoliubov transformation . Its coefficients preserve the canonical commutation relation because . The coefficient of the pair term vanishes when . Thus
The dropped constant is in addition to the classical ground-state energy. Since , at every , so the bosonic Bogoliubov diagonalization is stable. The minimum occurs at and gives the energy gap . In the isotropic limit the pair coefficient vanishes and the familiar quadratic small- ferromagnetic dispersion relation is recovered.
For nonzero field, the spin-wave ground state is the vacuum of all . The inverse Bogoliubov transformation gives and vanishing one-point oscillator averages. Translational invariance therefore gives the depletion
Rotating back to the physical axes yields, to the retained spin-wave order,
The zero transverse components also follow from rotation by about the physical axis in a symmetry-preserving ground state. The nonzero depletion describes zero-point quantum fluctuations: the original boson vacuum is not the ground state because the anomalous terms create pairs. It is nonnegative and must satisfy for the expansion to be reliable. At strong field it tends to zero, with in the infinite-chain limit.
For fixed , the momentum sum has a finite thermodynamic limit obtained by . At zero field the uniform mode already has no oscillator vacuum, as explained in part d. Even after removing that mode, the nonzero modes behave as
Thus assigning a finite ordered moment by simply setting in the infinite momentum sum is invalid. The divergence indicates failure of this expansion about a fixed planar orientation; it is not a negative physical magnetization. At finite size an exact zero-field state chosen to have definite total has zero planar one-point magnetization by the continuous rotation symmetry. Establishing its full correlations requires a treatment beyond the divergent ordered-state approximation.
Goldstone's theorem states that a spontaneously broken continuous internal global symmetry in field theory of a local relativistic quantum field theory produces massless Goldstone bosons. For a Lorentz invariance vacuum breaking to its stabilizer , there are independent symmetry-required massless directions. Additional accidentally massless modes are possible. A gauge redundancy does not obey this physical-state counting, and nonrelativistic systems need not have one independent mode per broken generator.
For the classical proof, consider real scalar fields with a positive canonical kinetic term and an invariant smooth scalar potential . An infinitesimal generator satisfies
Let be a stationary vacuum and differentiate this identity with respect to . At , the term proportional to vanishes, leaving
The Hessian matrix is the scalar mass matrix. An unbroken generator has ; broken generators span the tangent space of the vacuum manifold . Each independent nonzero tangent vector is a zero eigenvector of . The quadratic Euler-Lagrange equations in these directions are , giving the massless dispersion relation . This proves the classical result and explains why the Goldstone bosons describe motion along the degenerate minima rather than against a restoring curvature.
Choose the unitary discrete Fourier transform
The finite-sum orthogonality identity gives . It also gives . Substituting from solution therefore gives the dispersion relation
Using the opposite sign in the Fourier transform reverses and the sine term together, without changing the spectrum.
For every , so the ground state of this quadratic Hamiltonian is the bosonic vacuum, for every . In the original spin variables it is the fully polarized product state. Its energy is zero after the constant subtraction. Repeating the construction about the fully polarized state describes the other easy-axis sector of the original Hamiltonian.
A one-magnon excitation has energy above the reference ground state. A normalized many-magnon Fock state with occupations has excitation energy , within the dilute regime of the linear spin-wave approximation. The lowest excitation in this sector has the minimum allowed .
Let and . Since , the continuum minimum of the dispersion relation is
For , the energy gap closes at a positive , at wave vector . Below it, the quadratic expansion about the polarized state has a negative mode and is no longer a stable ground state approximation; higher-order terms and a different ordered reference state are needed.
Two qualifications are required by the actual assumptions. First, is permitted, in which case ; it is a concrete counterexample to the printed strict inequality . Second, a finite ring only has discrete momenta. Its finite-ring spin-wave threshold with antisymmetric exchange is
This approaches in the thermodynamic limit and equals it when is allowed. For example, and give , since the maximum of is one. Thus the continuum formula and its positive threshold require the large-ring interpretation. The two symmetry-related polarized ground states already have equal exact energy; the calculated energy gap refers to excitations about one chosen orientation.
For a single-particle state of energy , put . The equilibrium mean occupancies are
The Maxwell-Boltzmann distribution is the dilute classical limit. The Fermi-Dirac distribution applies to identical fermions with at most one particle in each complete single-particle state by the Pauli exclusion principle. The Bose-Einstein distribution applies to identical bosons with no such upper occupation bound. The chemical potential fixes total particle number; these are mean state occupancies, not three separately normalized single-particle probability densities. For a number-conserving ideal Bose gas, cannot exceed the lowest single-particle energy.
Take to be a wavevector and count periodic-box states with cell volume in momentum space, parameterized by . Write for internal degeneracy. The number of states in a spherical shell is . Since ,
Thus the one-particle canonical partition function is
Here , for one nondegenerate branch, and for the spin-half case below. The integral uses . For classical indistinguishable particles, , giving
The factor three in the energy arises from the linear dispersion relation and three-dimensional state counting; the usual nonrelativistic quadratic-dispersion value does not apply.
For spin-half fermions at , all states up to the Fermi energy are occupied. With ,
Integrating the occupied energy states gives
These are the corresponding ultrarelativistic ideal Fermi gas formulae with general slope . The nonzero ground-state internal energy and degeneracy pressure reflect the Pauli exclusion principle: particles cannot all occupy the lowest-momentum state. Formally extrapolating the classical equations gives , but Maxwell–Boltzmann statistics is not valid at fixed positive as .
At large , the number equation gives , so expanding the Fermi-Dirac distribution recovers the Maxwell-Boltzmann distribution. A convenient crossover scale is the Fermi temperature,
For , both gases have . At fixed , the Fermi curve begins at , has zero initial slope, lies above the classical line, and approaches it at high temperature. For example its low-temperature expansion is . The plot evaluates the finite-temperature occupation integrals at fixed number density.
Figure 1.
Pressure of classical and spin-half Fermi gases with linear dispersion
. Original fixed-density calculation. The Fermi curve is obtained by solving the number equation for the chemical potential at each temperature; its positive zero-temperature pressure and the shared classical limit are marked. Details.
If the source's symbol is interpreted literally as momentum rather than a wavevector, the state-space cell is . In that convention replace in the wavevector-based coefficients and energy scales above by . The dimensionless thermodynamics and the relation are unchanged.
Chemotaxis supplies positive feedback: a local increase in bacterial density produces more attractant, whose gradient draws in more bacteria. Ordinary cell diffusion opposes aggregation. Chemical diffusion spreads the signal and removes very sharp gradients, while decay and logistic growth stabilize the uniform kinetics.
The dispersion relation from the preceding matrix makes the competition quantitative: the positive term stabilizes sufficiently short wavelengths, whereas the negative chemotactic contribution can destabilize intermediate wavelengths. Increasing cell diffusivity or chemical decay raises the attraction threshold. A growing allowed spatial mode produces correlated patterns in cell density and chemical concentration; the eigenvector relation puts their peaks in phase for the growing real mode.
This predicts initial pattern formation. Nonlinear saturation and stability of the eventual pattern require the nonlinear equations, beyond the linear instability test.
Define . The linearization about gives
The Galilean transformation , has and . It removes the leading advection, leaving
For a normal mode proportional to , the second and fourth derivatives contribute and . The dispersion relation is therefore
For and , the unstable wavenumbers satisfy . In the laboratory coordinates, the temporal exponent is , so this linear stability calculation predicts growth together with downslope transport at dimensionless speed .
Choose the rightgoing signed dispersion relation . The horizontal phase velocity and group velocity are
The leftgoing branch has their negatives. For a convention using positive frequency at both signs of , multiply each displayed speed by . For every nonzero , on the rightgoing branch; the horizontal group-speed bound for a confined internal wave is , approached as .