Let be particle number per unit volume in a momentum element, including the spin-state count in . This is the local momentum part of a phase-space distribution function, normalized by the number density . For an isotropic distribution with particle energy , the kinetic pressure of an isotropic gas is the average momentum flux:
The kinetic energy density, explicitly excluding rest mass, is
For , and , giving . For , and , giving . Thus
Neither relation assumes a Maxwellian distribution. At intermediate momenta neither constant ratio is exact, and anisotropic distributions require a pressure tensor rather than this scalar pressure.
For a classical Maxwell-Boltzmann distribution, . Three Gaussian component integrals give , so the ideal gas has
In a fully ionized mixture, sum over independent species to obtain , where the mean molecular weight counts ions and free Electrons. This excludes partial-ionization and interaction corrections. A dilute classical ultrarelativistic gas still has but ; its momentum distribution is proportional to instead of the nonrelativistic Gaussian.
For a thermal photon gas, the two polarization states and zero photon chemical potential give the Planck photon distribution
Use and . The radiation constant and photon equation of state are therefore
Likewise . Unlike a gas with a fixed particle number, photons do not have pressure proportional to baryonic mass density.
For fully degenerate Electrons, the Fermi-Dirac distribution becomes a filled momentum sphere with two spin states. Counting them gives the Fermi momentum
Here is the mean molecular weight per electron. The equation of state of a cold electron gas follows by integrating momentum flux up to :
Its two limits are
The corresponding kinetic energy densities are and , respectively. Thus in the high-density relativistic limit the Electron pressure scales as and is nearly independent of temperature. This is the ideal noninteracting, fixed-composition Electron result, not a universal equation of state at nuclear densities where captures, interactions and the composition change.
The boundaries on a stellar equation-of-state regime diagram concern the Electron component. Define the electron relativistic density threshold and thermal electron relativistic threshold by
A degenerate Electron gas is nonrelativistic well below and ultrarelativistic well above it: this is an approximately vertical division on a log-density plot. A nondegenerate Electron gas instead becomes thermally relativistic near : this is an approximately horizontal division. The regimes have broad crossovers rather than a discontinuity at either line.
The exact electron Fermi temperature, subtracting Electron rest energy, is
For Electrons with negligible thermal pairs, strong degeneracy requires , whereas gives a nondegenerate gas. In the pair-rich regime the actual Electron and Positron distributions must instead be treated with their chemical potentials, as discussed below. The two limiting degeneracy boundaries are
These slopes and explain the bent degeneracy boundary on the logarithmic graph. A thermal-wavelength test gives the same nonrelativistic density/temperature scaling, with an order-one definition of the crossover.
The radiation-to-gas pressure boundary in the nondegenerate fully ionized regime is
Radiation dominates above this line. Once Electrons are strongly degenerate, compare radiation pressure with instead of continuing the ideal-gas comparison into that regime. The radiation-to-degeneracy pressure boundary is , with logarithmic slopes and in the nonrelativistic and ultrarelativistic limits. Degeneracy of the Electrons and dominance of their pressure are distinct criteria.
For the pair curve, distinguish baryonic net Electrons from thermally created Electrons and Positrons. Chemical equilibrium with photons requires opposite Electron/Positron chemical potentials when the one-particle energy includes rest energy, as in the distributions below. At low temperature and low degeneracy the zero-chemical-potential density per charge species is
Charge neutrality gives , while the nondegenerate equilibrium product is . Hence
Pairs become important when is comparable with or exceeds , approximately the electron-positron thermal pair abundance curve . Below its density at a fixed temperature, pairs dominate over the net charge Electrons. The exponential makes the low-temperature portion steep in a log-log plot. For , the full zero-potential integral gives approximate pair-marker densities at and at . At relativistic temperature use the full zero-chemical-potential Fermi-Dirac distribution instead; it gives , so the high-temperature pair curve approaches slope three in log-density versus log-temperature. Strong net-electron degeneracy suppresses Positrons and requires the full chemical-potential-dependent distribution.
Figure 1.
Approximate stellar equation-of-state regimes and thermal pair boundary
.
The original diagram uses fully ionized helium, and , only to set numerical locations. It plots the full curve and the zero-chemical-potential pair integral, rather than extending their asymptotes into the crossover. The pair boundary is deliberately an approximate abundance marker, not a phase transition; at high temperature the nonrelativistic ion approximation and fixed-composition model also have limits. For with abundant nondegenerate pairs, the combined Electron/Positron energy density is , so photons plus pairs have and . Real stellar matter adds Coulomb effects, partial ionization, nuclear reactions and, at sufficiently high density, nuclear-matter physics beyond the ideal regime map.
In the very early universe, assume species is in thermal equilibrium, is ultrarelativistic so that and , and has negligible chemical potential, . Its occupation factor is then the Bose-Einstein distribution for a boson or the Fermi-Dirac distribution for a fermion.
Substitute and set . Since and ,
The chemical potential is the change in internal energy when one particle is added at fixed entropy and volume:
Equivalently, for the Helmholtz free energy.
Let a microstate have energy and particle number . Maximizing the Gibbs entropy subject to normalization and fixed mean values of and is the maximum-entropy derivation of equilibrium ensembles. With Lagrange multipliers , , and , vary
The stationarity equation is . Normalization therefore gives the grand canonical ensemble
Here is the grand canonical partition function and is the Boltzmann constant.
For one fermionic quantum state of energy , the Pauli exclusion principle permits occupation numbers only . Its two grand-canonical weights are and , so its mean occupation is the Fermi-Dirac distribution
For a free nonrelativistic particle, . In a region of area , the number of wave-vector states in the annulus from to , including the two spin angular momentum states, is
Since , the two-dimensional free-electron density of states is constant:
We now use units in which , as in the question. At zero temperature, the Fermi-Dirac distribution is a step function, and hence
At positive temperature the same fixed particle number satisfies the exact relation
Thus
This is the low-temperature particle-number cancellation for constant density of states. Therefore, for , the mean number of particles in the energy interval is
Finally, compare the internal energy with its zero-temperature value. The thermally excited particles above and holes below have equal leading particle numbers, so their terms proportional to cancel. With ,
where the integral follows from the fermion-to-boson thermal integral ratio. Differentiation gives the linear low-temperature heat capacity of a two-dimensional Fermi gas:
The requested power law is therefore linear in , with exponent one.
For equal internal degeneracy, the number density of an isotropic ultrarelativistic species is proportional to
With , compare the Fermi-Dirac distribution and Bose-Einstein distribution using
For , a change of variables in the second term gives the fermion-to-boson thermal integral ratio
Particle number has , so . The energy density contains one further factor , so it has and
For one species with two internal states, the relic-neutrino energy density obtained from the frozen Fermi-Dirac distribution is
In the relativistic limit, set and use the standard Riemann zeta function integral
This gives
For fermions the Pauli exclusion principle permits only . The two-term partition sum gives the Fermi-Dirac distribution
At zero temperature the Fermi-Dirac distribution is the indicator of . Hence
Solving for the Fermi energy gives
The energy density from a phase-space distribution function with internal states is
In the ultrarelativistic limit , set . The Fermi-Dirac distribution then gives
Since ,
When , the Fermi-Dirac distribution approaches the step function for and zero for . For one internal state and negligible mass, the degenerate relic neutrino energy density is therefore
so .
At thermal equilibrium, the antineutrino chemical potential is . Its occupation is approximately , giving
It is exponentially smaller than the neutrino density; this particle-antiparticle imbalance is a cosmological lepton asymmetry.
In the nonrelativistic regime,
The assumption puts the Fermi-Dirac distribution in its Maxwell-Boltzmann limit, so
Therefore the nonrelativistic Maxwell--Boltzmann number density is
For , chemical equilibrium and the vanishing photon chemical potential imply
Applying the number-density formula to each massive species and eliminating the chemical potentials gives
Use charge neutrality, , the mass approximation , and the convention in the question that suppresses the order-one internal-degeneracy ratio . With the Hydrogen binding energy
we obtain the Saha ionization equation
The assumptions are thermal equilibrium and chemical equilibrium before cosmological recombination, a nonrelativistic nondegenerate gas, zero photon chemical potential, charge neutrality, negligible proton-electron mass correction in the translational prefactor, and the stated degeneracy-factor approximation.
A grand canonical ensemble describes a system exchanging both energy and particles with a reservoir at fixed , volume, and chemical potential . For a noninteracting fermion level , occupation is or , so
Factorization over levels gives , and differentiation with respect to yields the Fermi-Dirac distribution
In two dimensions, each allowed wavevector occupies area in -space. Including the two spin states, the number of states in an annulus is
Since
the two-dimensional free-electron density of states is
for . The Fermi-Dirac distribution is