Relativistic Boltzmann Theory
Scrollable formula. Use Left and Right arrow keys to reveal hidden content.
Scrollable table. Use Left and Right arrow keys to reveal additional columns.
Scrollable figure. Use Left and Right arrow keys to inspect hidden content.
A relativistic distribution function resolves matter in position and momentum rather than compressing it immediately into density, temperature, and one velocity. It lives on the future mass shell, is transported by the geodesic flow between interactions, and changes through a collision operator. Integrating that one kinetic equation against collision invariants produces particle-current and stress–energy conservation; higher moments reveal exactly what a fluid closure discards.
Required background. Hilbert Stress–Energy from Metric Variation supplies the stress tensor and conservation laws; Events, Intervals, and Minkowski Geometry supplies the relativistic mass shell; and Differential Equations supplies phase-space transport.
Helpful background. The Einstein Equation provides gravitational backreaction; Relativistic Matter and Compact Objects compares kinetic and continuum descriptions; and Computational Relativity gives numerical contexts for transport equations.
Distribution on the future mass shell
Section titled “Distribution on the future mass shell”Assume uncharged particles with a dilute one-particle description, binary local collisions, and a specified cross section. At each spacetime event , particles of rest mass occupy the future mass shell
In a local orthonormal frame the invariant measure may be written
Some conventions include a spin degeneracy and in ; here those constants are absorbed into the scalar distribution . Physical moments are unchanged provided the same normalization is used consistently. The curved-spacetime mass shell, Liouville operator, invariant measure, and moment definitions are set out in Andréasson 2011, § 2, pp. 11–13, Eqs. (25)–(32).
The particle current and stress–energy tensor are
In an orthonormal frame is number density measured by that observer, and is energy density. The factor in is therefore not optional: it makes the measure invariant while the moment factors supply the measured densities.
Geodesic transport and collisions
Section titled “Geodesic transport and collisions”Using the three independent spatial momentum coordinates on the shell, the relativistic Boltzmann equation is
The left side is the Liouville derivative along the lifted geodesic flow. If , is constant along each particle trajectory. Curvature changes coordinate momentum through the connection term but does not create or destroy phase-space density.
For binary elastic collisions , the collision integral compares gain and loss terms weighted by an invariant transition rate. Its detailed kernel depends on the microscopic cross section. The structural statements needed macroscopically are that collision invariants obey
when reactions conserve particle number and four-momentum. Integrating the Boltzmann equation then gives
If reactions change species number, the first identity is replaced by balanced source terms across species, while the sum of their stress tensors remains conserved. Andréasson writes the special-relativistic binary collision operator and its four-momentum conservation law in Andréasson 2011, § 1.1, pp. 4–7, Eqs. (1)–(10). Rocha et al. derive the invariant collision measure, moment identities, detailed balance, and entropy production in Rocha et al. 2024, § V.A, pp. 24–25, Eqs. (76)–(83). They use signature ; translating the mass-shell and velocity normalizations gives the formulas used here.
Equilibrium and the perfect-fluid limit
Section titled “Equilibrium and the perfect-fluid limit”For a dilute classical gas, local equilibrium has the Maxwell–Jüttner form
Here fixes particle number; apart from the constant normalization absorbed into , it is . In the rest frame, , so high-energy particles are exponentially suppressed. For a number-conserving elastic collision, the two incoming and two outgoing factors contain the same , and four-momentum conservation makes their remaining exponents equal. Gain and loss cancel: . Quantum statistics modifies the occupation factors and replaces the exponential by Fermi–Dirac or Bose–Einstein forms.
Local collision equilibrium does not automatically solve the complete transport equation. Along a geodesic,
Thus constant and a Killing inverse-temperature vector are sufficient for an exact global equilibrium. Arbitrary spatially varying and generally make the right-hand side nonzero even though . In hydrodynamics, small departures from local equilibrium allow collisions to balance that slow transport. This is why a perfect-fluid approximation is a scale-separation statement, not the assertion that the distribution is an exact collision equilibrium everywhere.
Isotropy in the rest frame makes the first two moments
Thus a perfect fluid is a special moment closure, not a different theory of matter. Departures from equilibrium generate heat flux, shear stress, bulk stress, and an infinite hierarchy of higher angular and energy moments. A closure approximates the unresolved moments in terms of a finite set; its validity depends on the Knudsen number, the ratio of mean free path to macroscopic scale.
The classical entropy current
satisfies for a collision kernel with microscopic reversibility. Equality holds at local equilibrium. This is the classical-statistics specialization of the entropy current and H-theorem in Rocha et al. 2024, § V.A, Eqs. (82)–(83). It explains why smooth perfect-fluid flow advects entropy and why dissipative corrections produce it.
Scope and limiting checks
Section titled “Scope and limiting checks”For in the rest frame, gives
Absorbing the constant rest-energy Boltzmann factor into the normalization leaves the Maxwell distribution; there is no oscillating phase to remove. Expanding the transport equation consistently gives the nonrelativistic Boltzmann equation. One may use in a leading-order number moment, but the kinetic correction must be retained to compute internal energy. The massless limit instead uses ; its momentum dependence cannot be dropped from the measure.
Kinetic theory is essential when the mean free path is long, the distribution has multiple beams, or reaction rates compete with dynamics. A one-particle distribution still assumes that correlations entering the collision term can be closed, commonly through molecular chaos. Strong correlations, coherent quantum transport, and pair creation beyond a specified reaction network require a more general description.
Exercises
Section titled “Exercises”Suppose a collision operator conserves four-momentum but allows pair creation, so while . Which macroscopic conservation law survives, and which does not?
Solution
Multiplying the Boltzmann equation by and integrating gives , because the four-momentum moment of the collision term vanishes. Integrating with weight one gives , which is nonzero. Energy–momentum conservation survives, but the chosen particle-number current has a reaction source.
References
Section titled “References”- Andréasson, Håkan. “The Einstein–Vlasov System/Kinetic Theory.” Living Reviews in Relativity 14, 4 (2011). DOI.
- Rocha, Gabriel S., David Wagner, Gabriel S. Denicol, Jorge Noronha, and Dirk H. Rischke. “Theories of Relativistic Dissipative Fluid Dynamics.” Entropy 26, 189 (2024). DOI. Open preprint.