Let the equilibrium ideal gas be at rest, with uniform and . This local wave calculation neglects gravity, viscosity and magnetic diffusion. Define the adiabatic sound speed , the Alfvén speed , and a wavevector , where and is its angle to the equilibrium magnetic field. Perturbations have dependence and phase speed .
The linearized ideal magnetohydrodynamic equations for mass conservation, pressure, induction and momentum give
The relation between pressure and mass density follows from eliminating between the two material evolution equations; it applies to the nonzero-frequency wave sector. The induction result automatically has .
The MHD wave polarization is perpendicular to both the field and wavevector. It has and obeys
Thus the transverse Alfvén wave has
In the - plane the two remaining velocity components instead obey the symmetric matrix eigenproblem
Taking its determinant gives . Solving this quadratic equation in derives both magnetoacoustic wave phase speeds,
The plus sign is the fast magnetosonic wave, the minus sign the slow magnetosonic wave. The radicand is nonnegative, since it equals . Both squared speeds are nonnegative. Each nonzero mode has forward and backward propagation; an advected entropy disturbance is a separate zero-frequency mode in this static equilibrium.
Take , and . The transverse ideal magnetohydrodynamic induction equation and magnetohydrodynamic momentum equation are satisfied by , , with constant mass density. However, the longitudinal magnetohydrodynamic momentum equation also requires
Here is not constant. Balancing its gradient would require
The adiabatic pressure equation instead gives , since this velocity is divergence-free and has no component along the spatial variation. No choice of removes the spatially varying time derivative. Thus a nontrivial finite-amplitude linearly polarized sinusoidal Alfvén wave is not an exact pure traveling wave in a compressible ideal fluid. The magnetic-pressure obstruction to a linearly polarized Alfvén wave is quadratic in , so the wave is a valid linear approximation and drives a compressive response at higher order. In an incompressible model pressure is a constraint variable; it is not governed by the same compressible adiabatic evolution law.
Allowing longitudinal flow and varying mass density does not rescue a regular one-dimensional periodic traveling solution with precisely this transverse magnetic field. To see this, let and use the traveling coordinate. Integrated continuity, induction and transverse momentum give
where are constants. Eliminating gives
At any zero of , finite mass density and velocity require the right side to vanish. Wherever , the coefficient then vanishes and fixes , constant; continuity fixes , and adiabatic entropy transport fixes . The longitudinal magnetohydrodynamic momentum equation again contradicts the varying . The alternative makes transverse momentum force constant. Trivial cases such as or are excluded from the nontrivial wave conclusion.
On one poloidal flux surface, the field-line angular velocity is constant. In a frame rotating at that rate the relative velocity is , parallel to the magnetic field. The Lorentz force is perpendicular to this motion, and the Coriolis force also does no work. Centrifugal acceleration comes from the effective potential . Since entropy is constant along the surface, pressure work integrates to specific enthalpy , with along the flow.
Therefore kinetic energy relative to the rotating poloidal flux surface, enthalpy and effective gravitational-plus-centrifugal potential have a constant sum:
This is a corotating energy integral, not the laboratory energy alone: Maxwell stress tensor stresses can transfer energy and angular momentum in the laboratory frame. In fact the expression equals , namely the total magnetohydrodynamic Bernoulli invariant minus . Differential rotation between surfaces does not invalidate the argument, because the chosen angular velocity is fixed along the particular surface being followed.
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.
In the ideal, leading anisotropic system, there are five separately conserved quadratic cascade quantities: the two oppositely propagating Alfvén populations, the two slow-wave populations, and the entropy fluctuation. With the amplitudes of part (b), one convenient normalization is
where . Constant background factors convert the velocity variances into modal energies and the entropy variance into an entropy-related free-energy contribution. These are the five quadratic cascade invariants of anisotropic magnetohydrodynamic turbulence.
To verify conservation rather than just count polarizations, the perpendicular Elsässer variables obey
Dot each equation with and integrate. The propagation and nonlinear terms become surface fluxes of , and the pressure term becomes a surface flux because the corresponding field is solenoidal. For periodic boundaries, or boundaries with vanishing invariant flux, all these terms vanish and . Their sum is proportional to perpendicular kinetic plus magnetic energy, while their difference is proportional to perpendicular cross-helicity; the two Elsässer energy invariants contain both pieces of information.
Likewise the slow-mode equations give
Here is divergence-free and differentiates along the divergence-free vector , so both integrals are boundary fluxes. Finally gives . This proves all five quadratic conservation laws under the same boundary assumptions.
The two Alfvén cascades interact dynamically: each population strains the other and is needed for its nonlinear transfer between scales. Their integrated invariants are nevertheless conserved separately, so this interaction does not transfer one population's invariant into the other. The slow and entropy cascades are driven by the Alfvénic mixing and field-line motion, with no feedback on the perpendicular cascade at the retained order. Their injection rates set independent fluxes; those fluxes need not be equal, even when the resulting perpendicular spectra share the scaling.
The count is a count of independent quadratic modal cascade channels. Ideal passive advection also preserves higher moments, such as for arbitrary smooth , and analogous integrals for the slow characteristic scalars. These are not additional quadratic modal energies. Forcing and dissipative terms make the corresponding invariants source-and-sink balances; a stationary inertial range conserves their flux through scales rather than their total content in a continually forced domain.
Before electron-positron annihilation in cosmology, photons contribute two helicity states; electrons and positrons contribute two spin states each. Each of the three light neutrino flavours contributes one active neutrino helicity and one antineutrino helicity. At a common temperature the effective number of relativistic energy degrees of freedom is therefore
Using and in the scaling formula alone gives . Including the explicit expansion coefficient from (ii), but setting the unknown rate coefficient to one, gives . Thus the warranted conclusion is a freeze-out temperature of order , above the electron mass. The omitted weak-rate coefficient prevents a more precise prediction from this estimate.
Neutrino decoupling occurs before most electron-positron pairs annihilate. Afterwards neutrinos redshift freely, , while the photons receive the pair entropy. For the still-coupled photon-pair gas, cosmological entropy conservation gives . Its entropy degrees of freedom drop from to . Comparing this with the freely cooling neutrinos gives
After annihilation, photon and neutrino temperatures differ. To write the total energy density as , the neutrino contribution must include that temperature ratio:
This is the paper's post-annihilation . Merely deleting the electron term while keeping all species at the same temperature would be incorrect. For comparison the entropy count, normalized to , is . These results assume instantaneous neutrino decoupling and relativistic neutrinos; the two counts represent different thermal moments.
Write the photon energy density as , where by the Stefan–Boltzmann law. The photon gas has pressure and zero photon chemical potential. The first law of thermodynamics therefore gives
Dividing by and integrating gives the entropy density of a photon gas:
The integration constant is fixed to zero at zero temperature, consistently with the third law of thermodynamics.
The inequality says interactions act much faster than the expansion time, maintaining local thermal equilibrium. For adiabatic reversible expansion with no additional source of entropy, cosmological entropy conservation fixes the entropy in a comoving volume. Since that volume scales as , and the relativistic degrees of freedom are fixed here, is constant. Thus
During radiation domination, the Friedmann equation gives , and hence . Fast interactions alone would not exclude an additional entropy-producing process; changing relativistic species likewise changes the simple temperature scaling.
At fixed particle number, expand the entropy differential in . The definition of heat capacity at constant pressure and the Maxwell relation give
Similarly expansion in , using heat capacity at constant volume and , gives
At constant pressure, . Also , so . Equating the two entropy expressions at constant pressure yields
For a mechanically stable system with positive isothermal compressibility, this also gives .
Work in a gas region with and physical adiabatic exponent . With , each time derivative is times differentiation in , and each spatial derivative is times it. The continuity equation, Euler momentum equation and the entropy advection equation for pressure reduce to
Their coefficient determinant is , where the adiabatic sound speed is . If the determinant is nonzero, all derivatives vanish and the solution is uniform.
The apparent third characteristic does not give a smooth fan: on such an interval , whereas continuity requires , impossible for . It cannot support an isolated smooth entropy variation either. Subtracting times the logarithmic density equation from the logarithmic pressure equation gives . A nonzero continuous entropy derivative would force on an interval and give the same contradiction. Thus the specific entropy is constant throughout each smooth branch.
Every nonconstant branch therefore lies in one acoustic characteristic family. Let denote it, with , so . The constant entropy means , , and . Continuity gives . Differentiating then proves
In particular, is a constant Riemann invariant. All nonconstant smooth local solutions have the explicit form
on an interval where . Along the left-going family () sound speed decreases with ; along the right-going family () it increases. These are the two self-similar ideal-gas rarefaction branches. Together with arbitrary uniform positive states they exhaust the smooth local solutions. A global solution can join them piecewise at fan edges, where derivatives generally jump, and can also have discontinuities; those do not constitute additional smooth branches.
A single rarefaction wave enforces two matching equalities: equal specific entropy and one common Riemann invariant. The inequality does not enforce either. If the entropies differ, one smooth isentropic fan cannot connect them; even if they agree, arbitrary end velocities and pressures need not satisfy either acoustic-family invariant.
The general positive-gas Riemann problem has a left acoustic wave, a middle contact discontinuity, and a right acoustic wave. Across the contact the two intermediate states have the same velocity and pressure , but can have different mass densities and entropies. Each acoustic wave is a rarefaction wave or a shock wave, depending on the required intermediate pressure relative to its adjacent initial state. Shocks satisfy the conservative jump conditions and increase entropy. A sufficiently large pressure contrast can produce a shock on one side even when the initial velocities obey .
For sufficiently rapid separation, the two rarefactions instead exhaust the gas and create vacuum between them. Their vacuum-edge velocities are and , so a finite vacuum gap occurs when
Equality is the limiting case in which the vacuum edges meet. Thus the additional features can be two acoustic waves, a contact carrying an entropy jump, shocks, or a vacuum region, rather than one fan joining the two original uniform states.
The initial-value problem is a Riemann problem. Both the one-dimensional Euler equations and the two constant initial states are unchanged under the simultaneous scaling for . There is no imposed length or time scale. Rescaling a physically admissible entropy solution therefore gives another solution with exactly the same initial data. Uniqueness of the physical Riemann solution makes the two coincide, so
The smooth pieces are consequently those in part (a), while shocks and contacts lie on rays . Across shocks one uses the conservative mass, momentum and total-energy equations and the entropy admissibility condition, rather than extending the smooth entropy-advection equation through the discontinuity. Scale invariance by itself, without selecting the unique admissible solution, would not justify the uniqueness step.
For a relativistic species at zero chemical potential, and , so its entropy density is proportional to . The Bose-Einstein distribution gives the bosonic normalization, while the fermionic thermal integral is of it. Species still in thermal equilibrium have ; freely streaming decoupled species can have another temperature and therefore contribute an extra factor when the total is expressed in units of . This gives the two terms and and their stated effective-degree-of-freedom weights.
After neutrino decoupling, the comoving entropy of the photon-electron-positron plasma is conserved separately from the neutrinos. Before electron-positron annihilation its effective entropy count is ; afterwards it is . Consequently
whereas stays equal to its pre-annihilation value. Hence
This is the instantaneous-decoupling, negligible residual-electron approximation used in the question. Heating of the still-coupled plasma, not cooling peculiar to neutrinos, creates the temperature difference.
Characteristics beginning at have and carry the constant value . In the sloping interval, . For the resulting single-valued solution is
It is continuous and piecewise smooth, locally Lipschitz for , but not a classical solution across the two derivative corners. Its weak derivatives satisfy the equation, since the function itself has no jumps there. The sloping gradient is and blows up at , when those characteristics coalesce.
Thus the continuous characteristic description has maximal interval . If “weak solution” is taken literally, it does not cease to exist then: the entropy continuation is a shock with left/right states 1 and 0 and Rankine-Hugoniot speed , situated at for . It is a global entropy weak solution, with the step at as its limiting trace. This distinguishes breakdown of the characteristic parametrization from nonexistence of a weak continuation.
The exterior characteristics give for and for . In the gap put and . The Inviscid Burgers equation becomes . Matching the increasing states selects the rarefaction wave , so
It is continuous and piecewise smooth at positive times and satisfies the entropy condition. A discontinuous shock joining the same increasing states would be nonentropic.
Introduce a constant filament bending modulus , which sets the mechanical force scale. The filament has intrinsic curvature of an elastic filament , and its actual signed curvature in a small-slope Monge representation is . To quadratic order one may identify material arc length with in , while
At fixed positive extension force, the mechanical potential is bending energy minus . Replacing by leaves, up to a force-dependent constant,
Its first variation is
The higher-order Euler-Lagrange equation is therefore
For a Fourier transform relation, take a periodic bulk segment, or a long-filament bulk approximation with negligible endpoint contributions; these are necessary boundary conditions because the question specifies no filament end conditions. Using , every nonzero wavenumber obeys
A zero displacement mode is an arbitrary translation. In a periodic representation a constant intrinsic-curvature mode contributes a constant bending cost but no bulk slope, so it does not contribute to the following deficit. The Parseval identity gives
For clarity about finite normalization, on a periodic interval of length define , . Then the equivalent exact quadratic-order formula is
This is force-extension of an intrinsically curved filament, determined by its particular fixed shape rather than by a thermal orientation entropy.
For an ensemble with quenched intrinsic curvature, first minimize each realization and then average the last expression, replacing by its ensemble mean. For stationary bulk disorder, let be the power spectrum, normalized so that its correlation is . The measurable mean deficit per unit projected length is
If the curvature is smooth enough that the second spectral moment is finite, one can take the large-force limit under this integral, obtaining the smooth-curvature high-force extension law
For a stationary ensemble the integral is . Equivalently, the bulk slope is ; a plot of the mean deficit against measures the mean squared intrinsic-curvature gradient, if is known. The law is a smooth-curvature bulk result, not a universal law for every random filament. For example, ideal white intrinsic-curvature disorder with has an infinite second spectral moment; retaining the full integral instead gives in that ideal continuum model.
Endpoint conditions also matter. If each end is moment-free and has no transverse applied force, the natural conditions from the variation are
at each end. These can produce a free-end curvature boundary layer of width . For a constant intrinsic filament curvature , integration of the higher-order Euler-Lagrange equation with zero transverse force gives and hence
The last formula follows by integrating , and tends to , despite the vanishing bulk curvature gradient. Thus a finite free-ended measurement must include or suppress endpoint bending before interpreting a bulk fit.
For the freely jointed chain, rigid links have independent orientations, so the restoring force is entropic. Let now denote absolute temperature, and with Boltzmann constant . In the usual three-dimensional chain, a segment at polar angle has force energy . Its angular canonical partition function and the full chain partition function are
Differentiating with respect to yields the exact mean projected displacement
Here is the Langevin function; this is force-extension of a three-dimensional freely jointed chain, in the fixed-force canonical ensemble. At high extension, , so
Thus the smooth quenched-curvature bulk deficit falls as , whereas the three-dimensional freely jointed chain deficit falls as and depends explicitly on temperature. The distinction is mechanical straightening of a fixed intrinsic shape versus orientational entropy; thermal bending fluctuations of a stiff filament have not been included in the first calculation.
If the comparison chain is also restricted to two dimensions, it is a planar freely jointed chain rather than the three-dimensional model. In this case,
The last identity follows directly by differentiating the integral defining ; and are Modified Bessel functions of the first kind. At large the angular weight is proportional to , giving . Consequently : the same inverse-force exponent, with half the three-dimensional coefficient. Both versions assume inextensible links and forces below the regime where the links themselves stretch.
The photon number density is obtained by integrating the Planck photon distribution. With ,
The integral converges, since its integrand is of order near zero and decays exponentially at infinity. Hence , with independent of temperature.
For equilibrium radiation undergoing adiabatic expansion, the total entropy in a comoving volume is constant. Since the entropy density is , this means is constant. A comoving volume scales as the cube of the scale factor, so
This agrees with the cosmological redshift of each photon frequency. The conclusion uses entropy conservation during the expansion.
A first-order phase transition exchanges two distinct global minima of the Landau free energy. The equilibrium free energy remains continuous, but a first derivative such as the magnetization or entropy jumps. A temperature-driven transition generically has latent heat; crossing between symmetry-related ordered phases instead has a magnetization jump without requiring latent heat. A continuous phase transition has no such order-parameter jump and usually has a divergent correlation length and nonanalytic higher responses.
For , and crossing zero, minimizing gives for and for . The minima merge continuously at zero. The curvature vanishes there, so the long-distance response becomes singular.
For , put . A nonzero stationary minimum satisfies . Equality with the free energy gives
The finite separation demonstrates the first-order phase transition. Metastability occurs where a nonglobal local minimum persists; its disappearance at a spinodal point is not the equilibrium coexistence criterion.
Use a selected translationally invariant pure thermodynamic phase and define the connected lattice correlation function
Away from criticality its long-distance tail has an exponential factor , possibly multiplied by a power. Equivalently when this limit exists; different directions can have different lengths on an anisotropic lattice. At a thermodynamic critical point the correlation length diverges and the tail becomes algebraic. Differentiate with respect to the physical field appearing in the energy Statistical Hamiltonian. With , the correlation-function susceptibility sum rule is
In physical continuum coordinates the sum becomes . Differentiating with respect to the dimensionless source instead removes the explicit inverse-temperature factor. Below the transition, take a one-sided pure-phase limit rather than a macroscopic symmetric mixture.
A normalized blocking kernel assigns a probability or a delta constraint to a coarse configuration for each microscopic one, with . Define the blocked Boltzmann weight by
Summing over proves exact equality of the partition functions. Repeated real-space renormalization group steps compose the kernels and integrate out shorter-scale variables. To retain equality one must keep all generated interactions and the field-independent constant; a finite truncation is an approximation. Long-distance observables are mapped through the corresponding coarse observables, not identified blindly with microscopic spins. In physical units,
A subsequent coordinate rescaling restores the reference lattice spacing while expressing couplings in cutoff units.
Let be free energy per microscopic site. Invariance of gives
The constant transforms as . Therefore, with , the identity-operator contribution to renormalization-group free energy gives
The second equality follows by substitution and induction. The inhomogeneous term records eliminated-mode entropy, determinants, and normalization factors, all multiplying the identity operator; it is not an interaction with the retained spins. Strictly, this can contain regular background terms. After an analytic subtraction of an inhomogeneous renormalization recursion, the genuinely singular part satisfies the homogeneous scaling equation, except for possible logarithmic resonances.
A renormalization-group fixed point satisfies . Linearize in scaling coordinates : . A relevant operator has , an irrelevant operator has , and a marginal operator has and needs nonlinear analysis. These are logarithmic scaling eigenvalues; the discrete Jacobian eigenvalues are , not . The critical surface is the stable manifold obtained by tuning all relevant coordinates to zero. A repulsive renormalization-group trajectory leaves the fixed point along a relevant direction as the coarse-graining length grows. Stable and unstable manifolds become curved away from linear order.
Figure 1.
Linear renormalization-group flows: attraction along a critical surface and repulsion in two relevant directions
. Details.
The left section has , one irrelevant coordinate and a relevant thermal coordinate . Its critical surface is in that section. With two relevant variables, the full critical surface has codimension two: the second section shows repulsion in the plane at .
Assume an isolated fixed point with two relevant scaling fields, analytic changes from physical controls to , short-range isotropic scaling, no dangerously irrelevant variable in the thermodynamic scaling function, and no marginal or resonant logarithm. Let denote their scaling eigenvalues. The homogeneous singular free-energy density obeys
Choose a stopping scale so the renormalized thermal field is order one. Irrelevant fields vanish at this scale. With and ,
Continuous scale interpolation absorbs the immaterial integer stopping-scale convention. Nonuniversal thermal, field and free-energy metric factors can be included explicitly; the normalized functions depend only on the universality class. The and labels refer to and , which flow to different sides of the critical surface.
For clarity about the additive terms, let solve . If , its analytic coefficients are
provided the denominators do not vanish. Subtracting makes the recursion homogeneous. A vanishing denominator is a resonance and generically produces logarithms, which the simple power-law hypothesis excludes. In a convention where the regular field-dependent background has been subtracted, write and . This yields the requested form
The contain branch-dependent matching contributions; only is physically determined. The are nonsingular functions analytic through the thermodynamic critical point and represent the same regular Taylor background on the two sides, though either branch may be used to describe them. For the full free energy at nonzero field, the regular background is generally , not just . Adding an analytic identity-operator contribution proportional to provides a direct counterexample to an exact unrestricted formula; it changes no singular exponents. The printed expression is justified for the leading singular scaling form with that analytic field background removed. Confluent corrections from irrelevant fields are also omitted in this leading form.
Differentiate the singular scaling form, with one-sided derivatives in the ordered phase. It gives
The length transforms as , so . Thus the Rushbrooke scaling relation and hyperscaling relation follow by direct substitution:
The same reasoning also gives . Hyperscaling relation relies on the assumptions above and can fail above an upper critical dimension because of a stabilizing dangerously irrelevant coupling.
For the universal specific-heat amplitude ratio, write at . Two temperature derivatives multiply both branches by the same dimensional and thermal metric factors. Away from logarithmic resonances and exceptional zero amplitudes, with the same heat-capacity sign convention on both sides. Hence
The functions and their matched branch constants are tied to the fixed-point theory; the constants are not independent arbitrary experimental parameters. If , this means the amplitudes of the subleading singular contribution after subtracting the analytic specific-heat background. A finite background ratio itself need not be universal.
Write and . In this geometry the Lorentz force density is purely longitudinal and equals . The ideal magnetohydrodynamic induction equation becomes . Together with the continuity equation and adiabatic pressure evolution, the four primitive-variable equations are
They have the required quasilinear form with
Here the notation in derivatives means , whereas denotes the longitudinal velocity. Spatial dependence is one-dimensional; time dependence is allowed in the wave problem.
Put , and assume and . Expansion of the characteristic polynomial gives
Two independent eigenvectors for can be chosen as and . For the two propagating branches, useful eigenvectors are
The repeated branch advects an entropy disturbance and a disturbance with unchanged total gas-plus-magnetic pressure. The branches are perpendicular fast magnetosonic waves, with speed relative to the fluid.
On a uniform background, a Fourier amplitude obeys . Thus the eigenvalues are the phase velocities for , and the four dispersion branches are twice and . The reduced geometry retains neither an independent transverse velocity nor an additional propagating Alfvén wave.
To construct each finite-amplitude simple wave in magnetohydrodynamics, trace a state-space curve with tangent , using as its parameter. Integrating the pressure and magnetic components gives
The constants and are the entropy and transverse magnetic flux freezing invariants along this state curve. Hence
Since , substituting this curve into the original system reduces it to . By the chain rule,
Thus the characteristic speed itself satisfies the Inviscid Burgers equation. For initial speed , its smooth solution is along , until the characteristic curves intersect. This derivation supplies genuine state curves for simple waves, not merely a linear dispersion relation.
A kinetic model of a dilute gas. In the Boltzmann equation, is the particle number density in phase space, so counts particles near position and velocity . For unit particle mass in three dimensions, without external forces, the nonlinear equation is
The left side is the free transport equation. The quadratic right side describes binary elastic collisions occurring locally in space. A prescribed acceleration would add ; all conclusions below about energy or entropy must then include the appropriate force terms. Assume enough smoothness, velocity decay and finite moments to justify the calculations, and either periodic space or decay that removes spatial boundary fluxes. These are assumptions on a classical solution, not a general existence theorem.
The dilute-gas approximation neglects simultaneous many-body collisions and treats the interaction region as small relative to macroscopic spatial scales. Molecular chaos for the Boltzmann equation factorizes the distribution of two incoming particles as . It applies to incoming collision pairs; it does not assert that an interacting many-particle system stays exactly independent. This approximation closes the equation at the one-particle level and explains its nonlinearity.
Collision geometry and the gain-loss operator. Let and . A useful parametrization of an equal-mass elastic collision is
The center velocity is unchanged and the relative velocity is reflected in the plane normal to . Consequently
The fixed- pre/post-collision transformation is an involutive orthogonal map of , so it preserves . Take a nonnegative collision kernel invariant under interchange of particles and reversal of the collision; for example . The nonlinear Boltzmann collision operator is
Any convention about counting and is absorbed in . For a hard-sphere gas, this reflection parametrization has , with a positive constant determined by the sphere size and counting convention. Maxwell molecule collision operators instead have a collision frequency independent of after angular integration. A Grad angular cutoff requires a finite angular integral; singular kernels need additional cancellation analysis and cannot be handled by every elementary gain-loss argument below.
Writing , where
makes the physical meaning clear: gain into velocity competes with loss out of . Along a free characteristic curve, put . Then . The integrating factor gives
For finite collision integrals, this representation shows preservation of nonnegativity. It is implicit, because both the gain and damping depend on ; it does not alone prove existence.
The weak collision identity and conserved quantities. The weak Boltzmann collision identity follows from particle interchange and the measure-preserving pre/post-collision substitution: it gives, for a velocity test function ,
The factor comes from averaging the two particle labels. Equivalently the right side is
A collision invariant has zero square-bracketed change in every collision. The functions , the three velocity coordinates, and are collision invariants by the geometric identities above. Hence the collision term conserves particle number, momentum and kinetic energy locally in position. Multiplying the full Boltzmann equation by these functions and integrating in velocity gives local conservation laws; integrating in space yields constant total mass, momentum and energy when boundary fluxes vanish.
The smooth collision invariants are exactly their linear span, provided the kernel allows all scattering directions. Here is a direct proof. If is unchanged by every collision, then for fixed center and relative radius , the sum is independent of the unit vector . Taylor expansion at forces to be independent of , so . Mixed derivatives vanish. Differentiating in a direction and commuting derivatives gives . Thus is constant and
This proof can be read for invariants; weaker regularity is handled distributionally. The multidimensional scattering hypothesis matters: in one dimension equal-mass elastic collisions only exchange the two velocities, and every function is then a collision invariant.
Entropy dissipation and the H theorem. Define the Boltzmann H functional , with . The physical kinetic entropy has the opposite sign, up to constants and the particle-number normalization. Particle-number conservation removes the in the derivative of ; spatial transport contributes only a boundary flux. With and , the symmetrized weak collision identity gives
The sign follows from monotonicity of the logarithm: . Zeros are treated by the usual extended nonnegative limit. This is the Boltzmann H theorem for the present kernel normalization, and is the Boltzmann entropy dissipation.
For a positive smooth and a kernel positive on all collision directions, equality requires in every collision, so is a collision invariant. Finite velocity mass then forces a negative quadratic coefficient and gives a local Maxwellian:
Here is number density, is mean velocity, and is the temperature expressed in velocity-squared units, . Completing the square proves the formula; conservation of momentum and kinetic energy makes , so . Vacuum is another collision equilibrium.
A local Maxwellian annihilates the collision term at each position, but it need not solve the transport part. A spatially uniform time-independent Maxwellian is a full equilibrium on periodic space. On all of it has infinite total mass unless it is vacuum. Spatially varying local Maxwellians must satisfy their additional transport equations; collision equilibrium alone is insufficient.
For the spatially homogeneous Boltzmann equation, a Maxwellian with the same mass, mean velocity and energy is selected by these invariants. The relative entropy is nonnegative. Indeed, writing and using equal mass gives
Moreover is a collision invariant, so the derivative of this relative entropy is . Thus minimizes at fixed conserved moments. Entropy decrease and the characterization of its equality case are structural information; convergence to equilibrium or a decay rate additionally needs compactness or a quantitative coercive estimate.
Moment equations and fluid closure. Let
The tensor is the kinetic pressure tensor and the kinetic heat flux. Put . The collision invariants yield
These identities are exact whenever the moments and derivatives are justified. They are not a closed fluid system: and contain information beyond . For a local Maxwellian, Gaussian integration gives , and . Substitution gives the compressible Euler equations for a monatomic ideal gas, with pressure and ratio of specific heats .
This connection is naturally organized by the Knudsen number , the ratio of the mean free path to a macroscopic length. In an appropriate fluid scaling the equation reads . Formally, as , the dominant collision term imposes , hence local Maxwellian form, and the conserved moments evolve by the Euler equations. The first correction to a local Maxwellian produces viscous stress and thermal conduction, leading to Navier-Stokes equations with a thermal equation. This is a formal hydrodynamic limit of the Boltzmann equation; a rigorous limit requires estimates, preparation of data and treatment of boundaries, and is not justified merely by inserting .
Linearization and its dissipative structure. Around a fixed positive Maxwellian , write . The linearized collision operator on the relative perturbation is
This follows by expanding the two quadratic products to first order and using . In the weighted Hilbert space with inner product , collision symmetrization gives
This dissipation form of the linearized Boltzmann operator and its corresponding polarized identity prove symmetry on a common domain where the integrals converge. Its nullspace is spanned by under the same nondegenerate scattering assumption, exactly the conserved modes. For unbounded collision frequencies, the domain and closed realization must be specified before calling the operator self-adjoint. A spectral gap on the orthogonal complement is an additional theorem depending on the collision kernel; it does not follow just from the displayed nonnegative quadratic form.
Analytic scope and irreversibility. With an angular cutoff and bounded collision kernel, the spatially homogeneous equation has a simple local well-posedness argument in velocity . The pre/post-collision substitution gives , so the quadratic map is locally Lipschitz. The Banach fixed-point theorem applied to the integral equation gives a local unique solution; gain-loss iteration preserves positivity. For nonnegative solutions the conserved mass keeps the norm bounded, allowing continuation for all time. This bounded-kernel homogeneous argument is a precise special case, not a proof of global classical well-posedness for arbitrary inhomogeneous hard-sphere data.
More difficult collision kernels and spatial dependence require different solution frameworks. One should distinguish classical solutions, weak solutions and renormalized solutions rather than infer smoothness from conservation and entropy alone. For instance, a renormalized Boltzmann solution uses nonlinear bounded transforms to make sense of collision and transport terms when their raw integrability is insufficient. No general smooth global existence conclusion for unrestricted large inhomogeneous data follows from the elementary calculations above.
Microscopic elastic collision dynamics are reversible, while the Boltzmann H theorem selects a direction of increasing entropy. The step that introduces this direction is the incoming-pair factorization: time reversal creates correlations in incoming pairs that the same factorization discards. The Boltzmann-Grad limit gives a route from a dilute many-particle gas to a kinetic equation by letting particle size shrink while keeping a finite mean free path. Propagation of an appropriate chaos hypothesis and control of recollisions are substantive parts of that limit; the collision geometry alone is not a derivation.