Equation of State of Ideal Quantum Gases
Heat any gas enough and it obeys . But cool it, or squeeze it, and identical quantum particles begin to feel each other — not through any force, but through the bookkeeping of their own indistinguishability. A gas of bosons pushes a little less hard than the ideal law predicts; a gas of fermions pushes a little more. Push the effect far enough and the two gases end up in completely different worlds: the fermions stiffen into the degeneracy pressure that holds up a white dwarf, while the bosons soften until, at a sharp threshold, they collapse into a Bose–Einstein condensate. The equation of state is the single relation that tracks both journeys. The remarkable economy of an ideal quantum gas is that every thermodynamic function — pressure, density, energy, entropy — collapses onto one family of special functions, the polylogarithms (bosons) and their alternating cousins (fermions). The single knob is the fugacity , and the single dimensionless measure of "how quantum" the gas is, is the phase-space density — the number of particles packed into a thermal de Broglie volume. When the gas forgets its statistics and reverts to Maxwell–Boltzmann; as climbs toward unity, bosons and fermions part ways violently. We take from the quantum-statistics track the fugacity and the polylogarithm functions (recalled by name from Fugacity and Chemical Potential in Quantum Gases), and build the closed-form parametric equation of state. Along the way we prove the striking universal relation that holds for any non-relativistic ideal gas — classical, Bose, or Fermi — and extract the leading quantum virial correction whose sign alone tells the two species apart.
- Every thermodynamic quantity of an ideal quantum gas with is a polylogarithm of the fugacity : and for bosons (alternating-sign for fermions).
- Eliminating between those two gives the closed parametric equation of state ; the degeneracy parameter controls how far the gas sits from the classical ideal law.
- A universal relation holds for any non-relativistic ideal gas — classical, Bose, or Fermi — because the exponent comes from the density of states , not from the statistics.
- The leading quantum virial correction is for fermions (statistical repulsion) and for bosons (statistical attraction).
- The degenerate limits recover the Fermi degeneracy pressure and the Bose saturation at that triggers condensation.
- Key idea: one fugacity and the polylogarithm functions collapse the entire thermodynamics of an ideal quantum gas onto a single parametric curve ; its universal backbone and its first correction already split fermions (repulsive) from bosons (attractive).
For a non-relativistic ideal quantum gas, the pressure, density and energy are all polylogarithms of the fugacity ; eliminating yields the parametric equation of state , which obeys the universal and whose first quantum correction distinguishes repulsive fermions from attractive bosons.
Where this lives today
The polylogarithmic equation of state is not a textbook relic — it is the working model for ultracold atomic gases. When experimentalists trap a cloud of K or Li atoms and cool it to nanokelvin, the gas is a nearly ideal Fermi or Bose gas at , exactly the crossover regime this article describes. The measured pressure, released by expanding the cloud and imaging it, is compared directly against or to extract the temperature and chemical potential — the equation of state is the thermometer. At the other extreme, the same relations underpin stellar structure codes: the electron equation of state in a white dwarf, or the neutron equation of state in a neutron star, is the degenerate limit of exactly these functions. And in condensed-matter simulations, the ideal-quantum-gas equation of state is the reference against which interacting corrections — the real virial series with genuine forces — are measured. The one parametric curve built here is the common language of ultracold atoms, dense stars, and the electron liquid in every metal.
The physical picture
Start with the one number that decides everything: the phase-space density , where is the thermal de Broglie wavelength. It counts how many particles sit inside one "quantum blur" of volume . When the blurs almost never overlap, the particles are effectively distinguishable, and the gas is a classical ideal gas: , statistics irrelevant. As you cool the gas, grows like and the blurs begin to touch. Now the symmetry of the many-body wavefunction — symmetric for bosons, antisymmetric for fermions — starts to matter, and it acts like a phantom interaction with no force behind it. The direction of that phantom interaction is fixed by the statistics. Identical bosons are more likely to be found close together (constructive symmetrization), which reduces the pressure a gas of them exerts — a statistical attraction. Identical fermions are forbidden from the same state (the exclusion hole), which raises the pressure — a statistical repulsion. The first figure makes this the headline: pressure divided by the classical value , plotted against . The classical line sits flat at ; the Bose curve peels off below it, the Fermi curve above.
The second picture is the machinery behind that split: the fugacity as a dial. Every occupation number, every thermodynamic function, is a power series in . Small (dilute, hot) means the linear term dominates and the gas is classical. As climbs toward , higher powers switch on — and here the two species diverge. For fermions can grow without bound (in the degenerate limit ); for bosons is capped at exactly , because hits its maximum finite value there. That ceiling is the origin of Bose–Einstein condensation.
Between these two limits lies the whole equation of state. The strategy is now clean: write and each as a polylogarithm of , then eliminate to get . That single elimination carries the gas continuously from the classical law, through the quantum virial series, into either degeneracy pressure (fermions) or condensation (bosons).
The core equations
Everything flows from the grand potential of a set of independent single-particle modes. In the grand canonical ensemble each mode of energy contributes independently, and summing the logarithm of the single-mode grand partition function — then converting the mode sum to an energy integral with the free-particle density of states — gives the pressure directly.
where: is the fugacity; the thermal wavelength; and the polylogarithms are (bosons) and (fermions). Read as a pair of parametric equations: the second fixes from the density, the first then delivers the pressure. The whole equation of state is these two curves with eliminated. The functions and are the entire toolkit. They obey a differentiation ladder that makes the thermodynamics turn like clockwork: applying lowers the index by one.
where: each derivative peels one power of off the denominator. This is why density () is the derivative of pressure () — pressure and density are one rung apart on the same ladder, and heat capacity is one rung further down at . The single most useful exact statement about the whole family is that pressure and energy are locked in a fixed ratio, no matter the temperature, density, or statistics — as long as the dispersion is in three dimensions.
where: is the internal energy. This is not a fermion fact or a boson fact; it is a density-of-states fact. The exponent comes entirely from , so a classical gas, a degenerate Fermi gas, and a Bose gas below all obey it identically. Replace the dispersion with the ultrarelativistic and the same argument gives instead. Expanding equation (1) at small and eliminating it gives the equation of state as a virial series in the degeneracy parameter — the controlled bridge from the classical law into the quantum regime.
where: the upper sign () is for fermions and the lower () for bosons. The first correction is a pure exchange effect: fermions push harder than the classical law (, statistical repulsion), bosons push softer (, statistical attraction). The coefficient is exact, and the correction grows as the gas cools (), which is why quantum statistics is a low-temperature story.
Derivations
The goal is to show that the pressure and density of an ideal quantum gas are the polylogarithms of equation (1), so that the equation of state is fixed the moment we know the density. The route is the grand potential: write it as a sum over independent single-particle modes, convert the mode sum to an energy integral using the free-particle density of states , expand the logarithm in powers of the fugacity, and integrate term by term. What to watch for is where the half-integer index comes from — it is the density of states plus one power of from the integration, and it is the same for both statistics, differing only by the alternating sign.
Step 1. Write the grand potential as a mode sum. For bosons ; for fermions , and . Why: each single-particle mode is an independent grand-canonical subsystem, and its grand partition function is a geometric series (bosons) or a two-term sum (fermions).
Step 2. Convert the sum to an integral. With , , . Why: the modes of a large box are dense, and the free-particle density of states in 3D scales as ; the sign choice () carries the boson/fermion distinction.
Step 3. Expand the logarithm. Using with and integrating gives . Why: each power of contributes an independent Gaussian integral, and the factor from the integral combines with the from the log to give — the polylogarithm (bosons, all ) or (fermions, alternating).
Step 4. Get the density by the ladder. Since , applying lowers the index by one: (bosons) or (fermions). Why: differentiating with respect to gives , and turns into — pressure and density are one rung apart, equation (2).
Step 5. Eliminate . Equations (1) are a parametric pair indexed by ; solving the density equation for and substituting into the pressure equation gives in closed (implicit) form. Why: is not a thermodynamic variable, only a parameter along the equation-of-state curve; eliminating it leaves the physical relation between , , and . *Verified: the and series, the ladder relation , and the classical limit are checked symbolically in verify_equation-of-state-quantum-gases.py against Pathria & Beale §7.1, §8.1.*
Go deeper · Derivation B · 1 minThe universal relation PV equals two-thirds U
The goal is to prove that holds for any non-relativistic ideal gas in three dimensions — classical, Bose, or Fermi, at any temperature — and to trace the factor to its true source. The plan is to write as the density-of-states integral of the previous card and integrate it by parts once. The payoff is conceptual and load-bearing for the whole subject: the is not a statistical accident but a geometric consequence of , which is why the identical relation governs the classical ideal gas, a metal's degenerate electrons, and a Bose gas below its condensation point.
Step 1. Start from . Integrate by parts with and , so . Why: the antiderivative of is — the pure number enters here and nowhere else.
Step 2. The boundary term vanishes at both ends ( at , log at ), leaving . Why: differentiating the log reproduces the Bose/Fermi occupation , converting the pressure integral into an energy-weighted occupation integral.
Step 3. Recognize the internal energy. Since , the integral in Step 2 is exactly . Hence . Why: the extra factor of that integration by parts produced is precisely the energy weight; the pressure integral and the energy integral are the same object up to the factor .
Step 4. Check the classical and relativistic corners. In the classical limit and , so — the ideal gas law. Replacing (linear dispersion) makes and gives . Why: the same one-line integration by parts with a different power of produces instead of — the exponent is set entirely by the density of states, not the statistics. *Verified: the integration-by-parts factor (and for the relativistic contrast) is checked symbolically in verify_equation-of-state-quantum-gases.py; matches Kardar SPP §7.1 and Pathria §7.1.*
Go deeper · Derivation C · 1 minThe leading quantum virial correction and the sign that splits the species
The goal is to extract the first quantum correction to the ideal-gas law, , and to establish that the sign — for fermions, for bosons — is exact and statistics-driven. The strategy is a controlled small- inversion: keep the first two terms of , invert to get , and substitute into . The subtlety to watch is that the density series and the pressure series have the same leading sign but different versus second coefficients, and it is the interplay of the two that fixes the final sign of the correction to the pressure.
Step 1. Write the two series to second order (upper sign fermions, lower bosons): and . Why: these are the first two terms of (fermions, alternating ) and (bosons, all ); I write both with so the fermion case is the upper sign throughout.
Step 2. Invert the density series. Write and demand consistency: , so . Why: substituting the ansatz into Step 1 and matching the coefficient fixes ; the fermion sign flips to on inversion because moving the term to the other side of the equation reverses it.
Step 3. Substitute into the pressure. . The bracket is . Why: the inversion correction () and the direct pressure correction () combine; the arithmetic leaves exactly .
Step 4. Divide by to get the pressure per particle: . Fermions () push harder — a statistical repulsion from Pauli exclusion; bosons () push softer — a statistical attraction from constructive symmetrization. Why: the second virial coefficient is , positive for fermions and negative for bosons, and it enters the pressure through . *Verified: the full symbolic inversion, the exact coefficient , the signs ( fermion, boson), and a numerical spot-check at (Bose , Fermi ) are in verify_equation-of-state-quantum-gases.py; matches Pathria §7.1, §8.1 and Huang §8.*
Limiting cases
The equation of state interpolates smoothly between four regimes, each governed by the degeneracy parameter or, equivalently, the fugacity .
| Case | Result | Meaning |
|---|---|---|
| Classical, () | Blurs don't overlap; statistics irrelevant, Maxwell–Boltzmann law recovered. | |
| Leading quantum correction | First exchange effect: fermion repulsion, boson attraction. | |
| Degenerate Fermi, () | ; the degeneracy pressure. | |
| Bose ceiling, | Density saturates at fixed ; surplus condenses (Bose–Einstein condensation). |
Worked examples
1 · The exchange correction to helium gas at room temperature (confidence builder)
We compute how far a real gas of helium-4 at room temperature and atmospheric pressure sits from the ideal-gas law due to quantum statistics alone (ignoring the real van der Waals interaction).
Step 1. The thermal wavelength of He at K, with kg: . The denominator is , giving (about half an ångström).
Step 2. At atmospheric pressure the number density is .
Step 3. The degeneracy parameter is .
Step 4. Helium-4 is a boson, so the correction is . The statistical attraction lowers the pressure by less than one part in a million — utterly negligible at room temperature, which is exactly why helium behaves classically until you cool it to a few kelvin. The quantum correction is , confirming the gas is deep in the classical regime.
2 · Where does the Fermi correction reach 1%? (exam level)
We find the density at which an electron gas at K departs from the ideal-gas law by 1% due to statistical repulsion.
Step 1. Set the fermion correction to : , so .
Step 2. For electrons at K, kg, . The denominator is , so m ( Å — electrons are light, so their thermal wavelength is large).
Step 3. The density is .
Step 4. Compare with a metal, where — about times denser. A metal is times past the 1% mark, so the virial expansion is hopeless there: metallic electrons are fully degenerate (), and one must use the Sommerfeld limit, not this small- series. The virial expansion is the tool for dilute gases, not for degenerate matter.
Origins · 1 minquantum pressure and how this was discovered
Going further
Standard treatments: Pathria & Beale, Statistical Mechanics, 3rd ed., §7.1 (ideal Bose systems) and §8.1 (ideal Fermi systems); Kardar, Statistical Physics of Particles, §7.1–7.3; Huang, Statistical Mechanics, §8; Landau & Lifshitz, Statistical Physics Part 1, §56. The polylogarithm identities are collected in Robinson's classic tables. Provenance: adapted and upgraded from the AllQFT base article "Equation of State of Ideal Quantum Gases" (ref STAT.IQGAS.EOSQG.1239; Pathria & Beale, 3rd ed., ch. 7–8), with every distribution formula, the exchange sign, and the relation independently python-verified (verify_equation-of-state-quantum-gases.py, 14 checks). Prerequisites: Quantum Statistics of Ideal Gases: Occupation Numbers · Density of States for Free Particles · Grand Canonical Ensemble. Leads to: Degenerate Fermi Gas at Zero Temperature · Degeneracy Pressure of Fermions · Bose-Einstein Condensation in the Ideal Gas · Sommerfeld Expansion.
Why does the same PV = ⅔U hold for a classical gas and a fully degenerate Fermi gas?
Because the factor comes from the density of states , not from the occupation statistics. Integrating the pressure by parts always turns into , and the leftover integral is the energy — regardless of whether the occupation is a Maxwell–Boltzmann exponential, a Fermi step, or a Bose distribution. The statistics change what is (thermal classically, for a degenerate Fermi gas), but the ratio stays pinned at for any 3D non-relativistic gas.
What exactly is the fugacity z, and why not just use the chemical potential μ?
The fugacity is , a repackaging of that makes the grand partition function a clean power series. Each single-mode factor is (bosons) or (fermions), and expanding in powers of gives the polylogarithms directly — the -th power of counts -particle exchange effects. Writing the same expansion in is a mess of nested exponentials. Physically, in the classical limit , so is literally the "how quantum is this gas" number: small is dilute and classical, of order is where statistics takes over.
The Bose pressure is lower than classical, the Fermi pressure higher — but there are no forces. What is pushing?
Nothing is pushing; it is pure statistics. The requirement that the many-body wavefunction be symmetric (bosons) raises the amplitude for two particles to sit close together, so they spend more time near each other than distinguishable particles would — an effective attraction that lowers the pressure. Antisymmetry (fermions) creates an exclusion hole around each particle, keeping them apart — an effective repulsion that raises the pressure. Both effects come from the free-particle wavefunctions alone, with zero interaction potential. The pair correlation is for bosons (bunching) and for fermions (the exclusion hole), and the exchange virial is the thermodynamic face of that difference.
Why can the fugacity of a Bose gas never exceed 1, while a Fermi gas has no such limit?
For bosons the density is , and this series converges only for ; at it reaches its maximum finite value . If you try to add more particles at fixed temperature, cannot rise past — the excited states saturate, and the surplus particles are forced into the single ground state, which is Bose–Einstein condensation. For fermions the series is alternating and converges for all , growing without bound as (the degenerate limit ). No saturation, no condensation — the exclusion principle already spreads the fermions across many states.
The virial expansion works beautifully for a dilute gas but fails for a metal — why?
The virial expansion (4) is a power series in , so it converges only when . For a room-temperature gas that is easily satisfied (). But metallic conduction electrons are light (large ) and dense, giving — the series diverges catastrophically. There the correct tool is the opposite limit, , handled by the Sommerfeld expansion, which is an expansion in rather than in . Virial for dilute gases, Sommerfeld for degenerate matter: they are the two ends of the same equation of state, and neither works in the other's regime.
Does PV = ⅔U mean the pressure of a Bose gas below Tc doesn't depend on volume?
Yes, and it is a genuine signature of the condensation. Below the fugacity is stuck at , so the pressure depends only on temperature, not on volume or total density. Compressing the gas at fixed pushes more particles into the condensate without changing the pressure — the isothermal compressibility diverges, exactly as at a first-order phase coexistence. The relation still holds, but now both and are functions of alone. This volume-independence of the pressure is one of the sharpest thermodynamic fingerprints of the Bose–Einstein transition.