Equation of State of Ideal Quantum Gases

Heat any gas enough and it obeys PV=NkBTPV=Nk_BT. 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 P=P(n,T)P=P(n,T) 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 gν(z)=∑k≥1zk/kνg_\nu(z)=\sum_{k\ge1}z^k/k^\nu (bosons) and their alternating cousins fν(z)f_\nu(z) (fermions). The single knob is the fugacity z=eμ/kBTz=e^{\mu/k_BT}, and the single dimensionless measure of "how quantum" the gas is, is the phase-space density nλ3n\lambda^3 — the number of particles packed into a thermal de Broglie volume. When nλ3≪1n\lambda^3\ll1 the gas forgets its statistics and reverts to Maxwell–Boltzmann; as nλ3n\lambda^3 climbs toward unity, bosons and fermions part ways violently. We take from the quantum-statistics track the fugacity zz 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 PV=23UPV=\tfrac23U that holds for any non-relativistic ideal gas — classical, Bose, or Fermi — and extract the leading quantum virial correction P/nkBT=1±nλ3/25/2P/nk_BT=1\pm n\lambda^3/2^{5/2} whose sign alone tells the two species apart.

Key takeaways
  • Every thermodynamic quantity of an ideal quantum gas with ε=p2/2m\varepsilon=p^2/2m is a polylogarithm of the fugacity z=eμ/kBTz=e^{\mu/k_BT}: nλ3=g3/2(z)n\lambda^3=g_{3/2}(z) and Pλ3/kBT=g5/2(z)P\lambda^3/k_BT=g_{5/2}(z) for bosons (alternating-sign fνf_\nu for fermions).
  • Eliminating zz between those two gives the closed parametric equation of state P=P(n,T)P=P(n,T); the degeneracy parameter nλ3n\lambda^3 controls how far the gas sits from the classical ideal law.
  • A universal relation PV=23UPV=\tfrac23U holds for any non-relativistic ideal gas — classical, Bose, or Fermi — because the exponent comes from the density of states g(ε)∝ε1/2g(\varepsilon)\propto\varepsilon^{1/2}, not from the statistics.
  • The leading quantum virial correction is PVNkBT=1+nλ325/2\dfrac{PV}{Nk_BT}=1+\dfrac{n\lambda^3}{2^{5/2}} for fermions (statistical repulsion) and 1−nλ325/21-\dfrac{n\lambda^3}{2^{5/2}} for bosons (statistical attraction).
  • The degenerate limits recover the T=0T=0 Fermi degeneracy pressure P∝n5/3P\propto n^{5/3} and the Bose saturation at z→1z\to1 that triggers condensation.
  • Key idea: one fugacity zz and the polylogarithm functions collapse the entire thermodynamics of an ideal quantum gas onto a single parametric curve P(n,T)P(n,T); its universal PV=23UPV=\tfrac23U backbone and its ±nλ3/25/2\pm n\lambda^3/2^{5/2} first correction already split fermions (repulsive) from bosons (attractive).
The core insight

For a non-relativistic ideal quantum gas, the pressure, density and energy are all polylogarithms of the fugacity z=eμ/kBTz=e^{\mu/k_BT}; eliminating zz yields the parametric equation of state P(n,T)P(n,T), which obeys the universal PV=23UPV=\tfrac23U and whose first quantum correction 1±nλ3/25/21\pm n\lambda^3/2^{5/2} 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 40^{40}K or 6^6Li atoms and cool it to nanokelvin, the gas is a nearly ideal Fermi or Bose gas at nλ3∼1n\lambda^3\sim1, exactly the crossover regime this article describes. The measured pressure, released by expanding the cloud and imaging it, is compared directly against f5/2(z)f_{5/2}(z) or g5/2(z)g_{5/2}(z) 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 P(n,T)P(n,T) 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 nλ3n\lambda^3, where λ=h/2πmkBT\lambda=h/\sqrt{2\pi mk_BT} is the thermal de Broglie wavelength. It counts how many particles sit inside one "quantum blur" of volume λ3\lambda^3. When nλ3≪1n\lambda^3\ll1 the blurs almost never overlap, the particles are effectively distinguishable, and the gas is a classical ideal gas: PV=NkBTPV=Nk_BT, statistics irrelevant. As you cool the gas, λ\lambda grows like T−1/2T^{-1/2} 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 NkBTNk_BT, plotted against nλ3n\lambda^3. The classical line sits flat at 11; the Bose curve peels off below it, the Fermi curve above.

Figure
Equation of state PV/NkT versus the degeneracy parameter nλ³ — classical line at 1, Fermi curve rising above (statistical repulsion), Bose curve dipping below (statistical attraction)
PV / NkT nλ³ (degeneracy parameter) → classical PV = NkT Fermi: +nλ³/2^5/2 (repulsion) Bose: −nλ³/2^5/2 (attraction) Bose branch ends at z = 1 → condensation 0 ›1 ‹1

The second picture is the machinery behind that split: the fugacity zz as a dial. Every occupation number, every thermodynamic function, is a power series in zz. Small zz (dilute, hot) means the linear term dominates and the gas is classical. As zz climbs toward 11, higher powers switch on — and here the two species diverge. For fermions zz can grow without bound (in the degenerate limit z∼eεF/kBT→∞z\sim e^{\varepsilon_F/k_BT}\to\infty); for bosons zz is capped at exactly 11, because g3/2(z)g_{3/2}(z) hits its maximum finite value ζ(3/2)=2.612\zeta(3/2)=2.612 there. That ceiling is the origin of Bose–Einstein condensation.

Figure
Fugacity z as the master dial — for fermions z runs to infinity (degenerate limit), for bosons z is capped at z = 1 where g₃⁄₂ saturates at ζ(3⁄2) = 2.612 and condensation begins
nλ³ = g₃⁄₂(z) fugacity z = e^μ/kT → z = 1 (Bose ceiling) Bose: g₃⁄₂(1) = ζ(3⁄2) = 2.612 → condense Fermi: f₃⁄₂(z) climbs on, z → ∞ classical: z ≈ nλ³ ≪ 1

Between these two limits lies the whole equation of state. The strategy is now clean: write nλ3n\lambda^3 and Pλ3/kBTP\lambda^3/k_BT each as a polylogarithm of zz, then eliminate zz to get P(n,T)P(n,T). 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 ε\varepsilon 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 g(ε)∝ε1/2g(\varepsilon)\propto\varepsilon^{1/2} — gives the pressure directly.

Pλ3kBT={  g5/2(z),bosons  f5/2(z),fermionsnλ3={  g3/2(z),bosons  f3/2(z),fermions(1)\frac{P\lambda^3}{k_BT} = \begin{cases} \; g_{5/2}(z), & \text{bosons}\\[4pt] \; f_{5/2}(z), & \text{fermions}\end{cases} \qquad n\lambda^3 = \begin{cases}\; g_{3/2}(z),&\text{bosons}\\[4pt]\; f_{3/2}(z),&\text{fermions}\end{cases}\qquad (1)

where: z=eμ/kBTz=e^{\mu/k_BT} is the fugacity; λ=h/2πmkBT\lambda=h/\sqrt{2\pi mk_BT} the thermal wavelength; and the polylogarithms are gν(z)=∑k≥1zk/kνg_\nu(z)=\sum_{k\ge1}z^k/k^\nu (bosons) and fν(z)=∑k≥1(−1)k−1zk/kνf_\nu(z)=\sum_{k\ge1}(-1)^{k-1}z^k/k^\nu (fermions). Read as a pair of parametric equations: the second fixes zz from the density, the first then delivers the pressure. The whole equation of state is these two curves with zz eliminated. The functions gνg_\nu and fνf_\nu are the entire toolkit. They obey a differentiation ladder that makes the thermodynamics turn like clockwork: applying z d/dzz\,d/dz lowers the index by one.

z∂∂z gν(z)=gν−1(z),z∂∂z fν(z)=fν−1(z)(2)z\frac{\partial}{\partial z}\,g_\nu(z) = g_{\nu-1}(z), \qquad z\frac{\partial}{\partial z}\,f_\nu(z) = f_{\nu-1}(z) \qquad (2)

where: each derivative peels one power of kk off the denominator. This is why density (g3/2g_{3/2}) is the z d/dzz\,d/dz derivative of pressure (g5/2g_{5/2}) — pressure and density are one rung apart on the same ladder, and heat capacity is one rung further down at g1/2g_{1/2}. 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 ε∝p2\varepsilon\propto p^2 in three dimensions.

PV=23 U(3)PV = \frac{2}{3}\,U \qquad (3)

where: UU is the internal energy. This is not a fermion fact or a boson fact; it is a density-of-states fact. The exponent 2/32/3 comes entirely from g(ε)∝ε1/2g(\varepsilon)\propto\varepsilon^{1/2}, so a classical gas, a degenerate Fermi gas, and a Bose gas below TcT_c all obey it identically. Replace the dispersion with the ultrarelativistic ε∝p\varepsilon\propto p and the same argument gives PV=13UPV=\tfrac13U instead. Expanding equation (1) at small zz 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.

PVNkBT=1  ±  nλ325/2  +  (18−235/2)(nλ3)2  +  ⋯(4)\frac{PV}{Nk_BT} = 1 \;\pm\; \frac{n\lambda^3}{2^{5/2}} \;+\; \Big(\tfrac18 - \tfrac{2}{3^{5/2}}\Big)(n\lambda^3)^2 \;+\;\cdots \qquad (4)

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 2−5/2=0.17682^{-5/2}=0.1768 is exact, and the correction grows as the gas cools (λ3∝T−3/2\lambda^3\propto T^{-3/2}), which is why quantum statistics is a low-temperature story.

Derivations

Derivation AThe parametric equation of state from the grand potential

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 P(n,T)P(n,T) 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 g(ε)=AVε1/2g(\varepsilon)=AV\varepsilon^{1/2}, expand the logarithm in powers of the fugacity, and integrate term by term. What to watch for is where the half-integer index ν=5/2\nu=5/2 comes from — it is the ε1/2\varepsilon^{1/2} density of states plus one power of ε\varepsilon 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 −βΩ=−∑iln⁡(1−ze−βεi)-\beta\Omega = -\sum_i\ln(1-ze^{-\beta\varepsilon_i}); for fermions −βΩ=+∑iln⁡(1+ze−βεi)-\beta\Omega=+\sum_i\ln(1+ze^{-\beta\varepsilon_i}), and PV=−ΩPV=-\Omega. 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 g(ε)=AVε1/2g(\varepsilon)=AV\varepsilon^{1/2}, A=2π(2m)3/2h3A=\frac{2\pi(2m)^{3/2}}{h^3}, PV=∓kBT AV ⁣∫0∞ ⁣ε1/2ln⁡(1∓ze−βε) dεPV=\mp k_BT\,AV\!\int_0^\infty\!\varepsilon^{1/2}\ln(1\mp ze^{-\beta\varepsilon})\,d\varepsilon. Why: the modes of a large box are dense, and the free-particle density of states in 3D scales as ε1/2\varepsilon^{1/2}; the sign choice (∓\mp) carries the boson/fermion distinction.

Step 3. Expand the logarithm. Using ∓ln⁡(1∓x)=∑k≥1(±1)k−1xk/k\mp\ln(1\mp x)=\sum_{k\ge1}(\pm1)^{k-1}x^k/k with x=ze−βεx=ze^{-\beta\varepsilon} and integrating ∫0∞ε1/2e−kβεdε=π2(kβ)−3/2\int_0^\infty\varepsilon^{1/2}e^{-k\beta\varepsilon}d\varepsilon=\tfrac{\sqrt\pi}{2}(k\beta)^{-3/2} gives Pλ3kBT=∑k≥1(±1)k−1zkk5/2\frac{P\lambda^3}{k_BT}=\sum_{k\ge1}\frac{(\pm1)^{k-1}z^k}{k^{5/2}}. Why: each power of zz contributes an independent Gaussian integral, and the factor k−3/2k^{-3/2} from the integral combines with the 1/k1/k from the log to give k−5/2k^{-5/2} — the polylogarithm g5/2g_{5/2} (bosons, all ++) or f5/2f_{5/2} (fermions, alternating).

Step 4. Get the density by the ladder. Since n=1V z ∂∂z(βPV)n=\frac1V\,z\,\frac{\partial}{\partial z}(\beta PV), applying z d/dzz\,d/dz lowers the index by one: nλ3=g3/2(z)n\lambda^3=g_{3/2}(z) (bosons) or f3/2(z)f_{3/2}(z) (fermions). Why: differentiating ln⁡Ξ\ln\Xi with respect to μ\mu gives ⟨N⟩\langle N\rangle, and z d/dzz\,d/dz turns k−5/2k^{-5/2} into k−3/2k^{-3/2} — pressure and density are one rung apart, equation (2).

Step 5. Eliminate zz. Equations (1) are a parametric pair (nλ3,Pλ3/kBT)(n\lambda^3, P\lambda^3/k_BT) indexed by zz; solving the density equation for z(nλ3)z(n\lambda^3) and substituting into the pressure equation gives P=P(n,T)P=P(n,T) in closed (implicit) form. Why: zz is not a thermodynamic variable, only a parameter along the equation-of-state curve; eliminating it leaves the physical relation between PP, nn, and TT. *Verified: the k−5/2k^{-5/2} and k−3/2k^{-3/2} series, the ladder relation z d/dz gν=gν−1z\,d/dz\,g_\nu=g_{\nu-1}, and the classical limit z→0⇒PV=NkBTz\to0\Rightarrow PV=Nk_BT 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
Derivation BThe universal relation PV equals two-thirds U

The goal is to prove that PV=23UPV=\tfrac23U holds for any non-relativistic ideal gas in three dimensions — classical, Bose, or Fermi, at any temperature — and to trace the factor 2/32/3 to its true source. The plan is to write PVPV 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 2/32/3 is not a statistical accident but a geometric consequence of g(ε)∝ε1/2g(\varepsilon)\propto\varepsilon^{1/2}, 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 PV=∓kBT AV∫0∞ε1/2ln⁡(1∓ze−βε) dεPV=\mp k_BT\,AV\int_0^\infty\varepsilon^{1/2}\ln(1\mp ze^{-\beta\varepsilon})\,d\varepsilon. Integrate by parts with u=ln⁡(1∓ze−βε)u=\ln(1\mp ze^{-\beta\varepsilon}) and dv=ε1/2dεdv=\varepsilon^{1/2}d\varepsilon, so v=23ε3/2v=\tfrac23\varepsilon^{3/2}. Why: the antiderivative of ε1/2\varepsilon^{1/2} is 23ε3/2\tfrac23\varepsilon^{3/2} — the pure number 2/32/3 enters here and nowhere else.

Step 2. The boundary term vanishes at both ends (ε3/2→0\varepsilon^{3/2}\to0 at 00, log →0\to0 at ∞\infty), leaving PV=23 AV∫0∞ε3/2 1z−1eβε∓1 dεPV=\tfrac23\,AV\int_0^\infty\varepsilon^{3/2}\,\frac{1}{z^{-1}e^{\beta\varepsilon}\mp1}\,d\varepsilon. Why: differentiating the log reproduces the Bose/Fermi occupation ⟨n(ε)⟩=1/(z−1eβε∓1)\langle n(\varepsilon)\rangle=1/(z^{-1}e^{\beta\varepsilon}\mp1), converting the pressure integral into an energy-weighted occupation integral.

Step 3. Recognize the internal energy. Since U=∫0∞ε g(ε)⟨n(ε)⟩ dε=AV∫0∞ε3/2⟨n⟩ dεU=\int_0^\infty\varepsilon\,g(\varepsilon)\langle n(\varepsilon)\rangle\,d\varepsilon=AV\int_0^\infty\varepsilon^{3/2}\langle n\rangle\,d\varepsilon, the integral in Step 2 is exactly UU. Hence PV=23UPV=\tfrac23U. Why: the extra factor of ε\varepsilon 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 2/32/3.

Step 4. Check the classical and relativistic corners. In the classical limit ⟨n⟩→ze−βε\langle n\rangle\to ze^{-\beta\varepsilon} and U=32NkBTU=\tfrac32Nk_BT, so PV=23⋅32NkBT=NkBTPV=\tfrac23\cdot\tfrac32Nk_BT=Nk_BT — the ideal gas law. Replacing ε1/2→ε2\varepsilon^{1/2}\to\varepsilon^2 (linear dispersion) makes v=13ε3v=\tfrac13\varepsilon^3 and gives PV=13UPV=\tfrac13U. Why: the same one-line integration by parts with a different power of ε\varepsilon produces 13\tfrac13 instead of 23\tfrac23 — the exponent is set entirely by the density of states, not the statistics. *Verified: the integration-by-parts factor ∫ε1/2dε=23ε3/2\int\varepsilon^{1/2}d\varepsilon=\tfrac23\varepsilon^{3/2} (and ∫ε2dε=13ε3\int\varepsilon^2d\varepsilon=\tfrac13\varepsilon^3 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
Derivation CThe 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, PV/NkBT=1±nλ3/25/2PV/Nk_BT=1\pm n\lambda^3/2^{5/2}, and to establish that the sign — ++ for fermions, −- for bosons — is exact and statistics-driven. The strategy is a controlled small-zz inversion: keep the first two terms of nλ3=z±z2/23/2n\lambda^3=z\pm z^2/2^{3/2}, invert to get z(nλ3)z(n\lambda^3), and substitute into Pλ3/kBT=z±z2/25/2P\lambda^3/k_BT=z\pm z^2/2^{5/2}. The subtlety to watch is that the density series and the pressure series have the same leading sign but different 2−3/22^{-3/2} versus 2−5/22^{-5/2} 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): nλ3=z∓z223/2+⋯n\lambda^3=z\mp\frac{z^2}{2^{3/2}}+\cdots and Pλ3kBT=z∓z225/2+⋯\frac{P\lambda^3}{k_BT}=z\mp\frac{z^2}{2^{5/2}}+\cdots. Why: these are the first two terms of f3/2,f5/2f_{3/2},f_{5/2} (fermions, alternating −-) and g3/2,g5/2g_{3/2},g_{5/2} (bosons, all ++); I write both with ∓\mp so the fermion case is the upper sign throughout.

Step 2. Invert the density series. Write z=nλ3+a(nλ3)2+⋯z=n\lambda^3+a(n\lambda^3)^2+\cdots and demand consistency: a=±2−3/2a=\pm2^{-3/2}, so z=nλ3±(nλ3)223/2z=n\lambda^3\pm\frac{(n\lambda^3)^2}{2^{3/2}}. Why: substituting the ansatz into Step 1 and matching the (nλ3)2(n\lambda^3)^2 coefficient fixes aa; 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. Pλ3kBT=z∓z225/2=nλ3±(nλ3)223/2∓(nλ3)225/2=nλ3±(nλ3)2(123/2−125/2)\frac{P\lambda^3}{k_BT}=z\mp\frac{z^2}{2^{5/2}}=n\lambda^3\pm\frac{(n\lambda^3)^2}{2^{3/2}}\mp\frac{(n\lambda^3)^2}{2^{5/2}}=n\lambda^3\pm(n\lambda^3)^2\big(\frac{1}{2^{3/2}}-\frac{1}{2^{5/2}}\big). The bracket is 123/2−125/2=2−125/2=125/2\frac{1}{2^{3/2}}-\frac{1}{2^{5/2}}=\frac{2-1}{2^{5/2}}=\frac{1}{2^{5/2}}. Why: the inversion correction (2−3/22^{-3/2}) and the direct pressure correction (2−5/22^{-5/2}) combine; the arithmetic 2/25/2−1/25/2=1/25/22/2^{5/2}-1/2^{5/2}=1/2^{5/2} leaves exactly 2−5/22^{-5/2}.

Step 4. Divide by nλ3n\lambda^3 to get the pressure per particle: PVNkBT=Pλ3/kBTnλ3=1±nλ325/2+⋯\frac{PV}{Nk_BT}=\frac{P\lambda^3/k_BT}{n\lambda^3}=1\pm\frac{n\lambda^3}{2^{5/2}}+\cdots. Fermions (++) push harder — a statistical repulsion from Pauli exclusion; bosons (−-) push softer — a statistical attraction from constructive symmetrization. Why: the second virial coefficient is B2=±λ3/25/2B_2=\pm\lambda^3/2^{5/2}, positive for fermions and negative for bosons, and it enters the pressure through PV/NkBT=1+B2nPV/Nk_BT=1+B_2 n. *Verified: the full symbolic inversion, the exact coefficient 2−5/2=0.176782^{-5/2}=0.17678, the signs (++ fermion, −- boson), and a numerical spot-check at z=0.2z=0.2 (Bose 0.96170.9617, Fermi 1.03301.0330) 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 nλ3n\lambda^3 or, equivalently, the fugacity zz.

CaseResultMeaning
Classical, nλ3≪1n\lambda^3\ll1 (z→0z\to0)PV=NkBTPV=Nk_BTBlurs don't overlap; statistics irrelevant, Maxwell–Boltzmann law recovered.
Leading quantum correctionPV/NkBT=1±nλ3/25/2PV/Nk_BT=1\pm n\lambda^3/2^{5/2}First exchange effect: ++ fermion repulsion, −- boson attraction.
Degenerate Fermi, T→0T\to0 (z→∞z\to\infty)P→25nεF∝n5/3P\to\tfrac25 n\varepsilon_F\propto n^{5/3}f5/2(z)→815π(ln⁡z)5/2f_{5/2}(z)\to\tfrac{8}{15\sqrt\pi}(\ln z)^{5/2}; the T=0T=0 degeneracy pressure.
Bose ceiling, z→1z\to1g3/2(1)=ζ(3/2)=2.612g_{3/2}(1)=\zeta(3/2)=2.612Density saturates at fixed TT; 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 4^4He at T=300T=300 K, with m=6.6465×10−27m=6.6465\times10^{-27} kg: λ=h/2πmkBT=6.626×10−34/2π(6.6465×10−27)(1.381×10−23)(300)\lambda=h/\sqrt{2\pi mk_BT}=6.626\times10^{-34}/\sqrt{2\pi(6.6465\times10^{-27})(1.381\times10^{-23})(300)}. The denominator is 1.731×10−46=1.316×10−23\sqrt{1.731\times10^{-46}}=1.316\times10^{-23}, giving λ=5.03×10−11 m\lambda=\mathbf{5.03\times10^{-11}\ m} (about half an ångström).

Step 2. At atmospheric pressure the number density is n=P/kBT=1.013×105/(1.381×10−23×300)=2.45×1025 m−3n=P/k_BT=1.013\times10^{5}/(1.381\times10^{-23}\times300)=2.45\times10^{25}\ \mathrm{m^{-3}}.

Step 3. The degeneracy parameter is nλ3=2.45×1025×(5.03×10−11)3=2.45×1025×1.27×10−31=3.1×10−6n\lambda^3=2.45\times10^{25}\times(5.03\times10^{-11})^3=2.45\times10^{25}\times1.27\times10^{-31}=\mathbf{3.1\times10^{-6}}.

Step 4. Helium-4 is a boson, so the correction is PV/NkBT=1−nλ3/25/2=1−3.1×10−6/5.66=1−5.5×10−7PV/Nk_BT=1-n\lambda^3/2^{5/2}=1-3.1\times10^{-6}/5.66=1-\mathbf{5.5\times10^{-7}}. 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 −5.5×10−7-5.5\times10^{-7}, 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 T=300T=300 K departs from the ideal-gas law by 1% due to statistical repulsion.

Step 1. Set the fermion correction to 0.010.01: nλ3/25/2=0.01n\lambda^3/2^{5/2}=0.01, so nλ3=0.01×5.657=0.0566n\lambda^3=0.01\times5.657=0.0566.

Step 2. For electrons at 300300 K, me=9.109×10−31m_e=9.109\times10^{-31} kg, λ=h/2πmekBT=6.626×10−34/2π(9.109×10−31)(1.381×10−23)(300)\lambda=h/\sqrt{2\pi m_ek_BT}=6.626\times10^{-34}/\sqrt{2\pi(9.109\times10^{-31})(1.381\times10^{-23})(300)}. The denominator is 2.372×10−50=1.540×10−25\sqrt{2.372\times10^{-50}}=1.540\times10^{-25}, so λ=4.30×10−9\lambda=4.30\times10^{-9} m (4343 Å — electrons are light, so their thermal wavelength is large).

Step 3. The density is n=0.0566/λ3=0.0566/(4.30×10−9)3=0.0566/7.96×10−26=7.1×1023 m−3n=0.0566/\lambda^3=0.0566/(4.30\times10^{-9})^3=0.0566/7.96\times10^{-26}=\mathbf{7.1\times10^{23}\ m^{-3}}.

Step 4. Compare with a metal, where n∼1029 m−3n\sim10^{29}\ \mathrm{m^{-3}} — about 10510^{5} times denser. A metal is ∼105\sim10^5 times past the 1% mark, so the virial expansion is hopeless there: metallic electrons are fully degenerate (nλ3∼104n\lambda^3\sim10^4), and one must use the z→∞z\to\infty Sommerfeld limit, not this small-zz series. The virial expansion is the tool for dilute gases, not for degenerate matter.

Origins · 1 minquantum pressure and how this was discovered
QP
quantum pressure
concept: R. H. Fowler 1926, Pathria & Beale ch. 7–8 · Quantum pressure is the pressure an ideal gas carries purely because its particles are indistinguishable quantum objects, above and beyond the classical NkBT/VNk_BT/V. The polylogarithmic equation of state PV/NkBT=g5/2(z)/g3/2(z)PV/Nk_BT=g_{5/2}(z)/g_{3/2}(z) (bosons) or f5/2(z)/f3/2(z)f_{5/2}(z)/f_{3/2}(z) (fermions) is exactly the machine that tracks it: at low nλ3n\lambda^3 the ratio →1\to1 and the quantum pressure vanishes, while as z→∞z\to\infty the fermion branch stiffens into the T=0T=0 pressure P∝n5/3P\propto n^{5/3} that holds up white dwarfs and metals. R. H. Fowler recognized in 1926 that dense stellar matter is a degenerate Fermi gas, converting Fermi–Dirac statistics — published only months earlier — into a mechanism against gravitational collapse; this equation of state is the finite-temperature engine whose zero-temperature limit is that degeneracy pressure.

History
1924
— Bose derives the Planck law from photon statistics; Einstein extends it to a massive ideal gas.
1926
— Fermi and, independently, Dirac formulate Fermi–Dirac statistics for the electron gas.
1926
— Fowler applies degenerate Fermi statistics to white dwarfs, launching the quantum equation of state.
1927
— Pauli and Sommerfeld build the free-electron theory of metals on the same degenerate gas.
1938
— London interprets the ideal Bose gas condensation as the mechanism behind superfluid helium.
1995
— Cornell, Wieman and Ketterle realize Bose–Einstein condensation in dilute atomic gases.

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 ±2−5/2\pm2^{-5/2} exchange sign, and the PV=23UPV=\tfrac23U 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 2/32/3 comes from the density of states g(ε)∝ε1/2g(\varepsilon)\propto\varepsilon^{1/2}, not from the occupation statistics. Integrating the pressure by parts always turns ε1/2\varepsilon^{1/2} into 23ε3/2\tfrac23\varepsilon^{3/2}, 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 UU is (thermal 32NkBT\tfrac32Nk_BT classically, 35NεF\tfrac35N\varepsilon_F for a degenerate Fermi gas), but the ratio PV/UPV/U stays pinned at 2/32/3 for any 3D non-relativistic gas.

What exactly is the fugacity z, and why not just use the chemical potential μ?

The fugacity is z=eμ/kBTz=e^{\mu/k_BT}, a repackaging of μ\mu that makes the grand partition function a clean power series. Each single-mode factor is 1/(1−ze−βε)1/(1-ze^{-\beta\varepsilon}) (bosons) or 1+ze−βε1+ze^{-\beta\varepsilon} (fermions), and expanding in powers of zz gives the polylogarithms gν,fνg_\nu,f_\nu directly — the kk-th power of zz counts kk-particle exchange effects. Writing the same expansion in μ\mu is a mess of nested exponentials. Physically, in the classical limit z≈nλ3z\approx n\lambda^3, so zz is literally the "how quantum is this gas" number: small zz is dilute and classical, zz of order 11 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 g(2)(0)g^{(2)}(0) is 22 for bosons (bunching) and 00 for fermions (the exclusion hole), and the exchange virial B2=±λ3/25/2B_2=\pm\lambda^3/2^{5/2} 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 nλ3=g3/2(z)=∑zk/k3/2n\lambda^3=g_{3/2}(z)=\sum z^k/k^{3/2}, and this series converges only for z≤1z\le1; at z=1z=1 it reaches its maximum finite value ζ(3/2)=2.612\zeta(3/2)=2.612. If you try to add more particles at fixed temperature, zz cannot rise past 11 — the excited states saturate, and the surplus particles are forced into the single ground state, which is Bose–Einstein condensation. For fermions the series f3/2(z)=∑(−1)k−1zk/k3/2f_{3/2}(z)=\sum(-1)^{k-1}z^k/k^{3/2} is alternating and converges for all zz, growing without bound as z→∞z\to\infty (the degenerate limit z∼eεF/kBTz\sim e^{\varepsilon_F/k_BT}). 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 nλ3n\lambda^3, so it converges only when nλ3≪1n\lambda^3\ll1. For a room-temperature gas that is easily satisfied (nλ3∼10−6n\lambda^3\sim10^{-6}). But metallic conduction electrons are light (large λ\lambda) and dense, giving nλ3∼104n\lambda^3\sim10^4 — the series diverges catastrophically. There the correct tool is the opposite limit, z→∞z\to\infty, handled by the Sommerfeld expansion, which is an expansion in kBT/εFk_BT/\varepsilon_F rather than in nλ3n\lambda^3. 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 TcT_c the fugacity is stuck at z=1z=1, so the pressure P=kBT g5/2(1)/λ3P=k_BT\,g_{5/2}(1)/\lambda^3 depends only on temperature, not on volume or total density. Compressing the gas at fixed TT pushes more particles into the condensate without changing the pressure — the isothermal compressibility diverges, exactly as at a first-order phase coexistence. The relation PV=23UPV=\tfrac23U still holds, but now both PP and U/VU/V are functions of TT alone. This volume-independence of the pressure is one of the sharpest thermodynamic fingerprints of the Bose–Einstein transition.

Before this

Where this leads