Skip to content

Quantum Gas Formula Sheet

This sheet collects the formulas needed to move between discrete ideal-gas modes, continuum state counting, thermodynamic functions, and the principal Bose, Fermi, and dilute classical limits. It is a lookup and translation page, not the canonical derivation of quantum statistics.

The canonical explanations live in Quantum Statistics Overview, Bose–Einstein Statistics, Fermi–Dirac Statistics, Ideal Bose Gas, and Ideal Fermi Gas.

Unless a subsection says otherwise, the formulas assume:

  • noninteracting identical particles;
  • a homogeneous dd-dimensional continuum;
  • nonrelativistic dispersion ϵk=ℏ2k2/(2m)\epsilon_{\mathbf k}=\hbar^2k^2/(2m);
  • physical volume VV and periodic boundary conditions before the continuum limit;
  • gg independent internal components with the same mass and chemical potential;
  • grand-canonical equilibrium at temperature TT and chemical potential μ\mu;
  • a one-particle ground energy shifted to ϵ0=0\epsilon_0=0;
  • natural logarithms;
  • thermal wavelength
λT≡2πℏ2mkBT.\lambda_T \equiv \sqrt{ \frac{2\pi\hbar^2}{mk_{\mathrm B}T} }.

Finite systems should use exact mode sums before replacing them by integrals. Interactions, lattice bands, traps, relativistic dispersions, separately conserved species, and nonequilibrium occupations require modified formulas.

SymbolMeaning
β\beta1/(kBT)1/(k_{\mathrm B}T)
zzactivity or fugacity eβμe^{\beta\mu} after setting ϵ0=0\epsilon_0=0
gginternal degeneracy under the assumptions above
η\eta+1+1 for bosons and −1-1 for fermions
α\alphacomplete one-particle mode label
ϵα\epsilon_\alphaone-particle mode energy
nˉα\bar n_\alphamean occupation of mode α\alpha
Dd(ϵ)D_d(\epsilon)total one-particle density of states in dd dimensions
n=N/Vn=N/Vtotal particle density
n0=N0/Vn_0=N_0/Vbosonic ground-mode density when separated
Φs(η)(z)\Phi_s^{(\eta)}(z)unified Bose/Fermi integral defined below

The chemical potential enters only through the invariant combination

ze−βϵα=e−β(ϵα−μ).z e^{-\beta\epsilon_\alpha} = e^{-\beta(\epsilon_\alpha-\mu)}.

If every one-particle energy is shifted by a constant CC, shift μ\mu by the same CC. The occupation numbers and thermodynamics are then unchanged.

For an ideal gas,

H=∑αϵαnα,N^=∑αnα.H = \sum_\alpha \epsilon_\alpha n_\alpha, \qquad \hat N = \sum_\alpha n_\alpha.

Define the one-mode activity

xα≡ze−βϵα.x_\alpha \equiv z e^{-\beta\epsilon_\alpha}.

For bosons, convergence requires 0≤xα<10\le x_\alpha<1 for every mode. A fermionic mode allows any xα≥0x_\alpha\ge0.

The one-mode and full grand partition functions are

Ξα=(1−ηxα)−η,ln⁡Ξ=−η∑αln⁡(1−ηxα).\begin{aligned} \Xi_\alpha &= \left( 1-\eta x_\alpha \right)^{-\eta}, \\ \ln\Xi &= -\eta \sum_\alpha \ln\left( 1-\eta x_\alpha \right). \end{aligned}

The grand potential is

Ω=ηkBT∑αln⁡(1−ηxα).\Omega = \eta k_{\mathrm B}T \sum_\alpha \ln\left( 1-\eta x_\alpha \right).

The mean occupation is

nˉα=1z−1eβϵα−η=xα1−ηxα.\bar n_\alpha = \frac{1}{ z^{-1}e^{\beta\epsilon_\alpha}-\eta } = \frac{x_\alpha}{1-\eta x_\alpha}.

Thus

nˉαB=1z−1eβϵα−1,nˉαF=1z−1eβϵα+1.\begin{aligned} \bar n_\alpha^{\mathrm B} &= \frac{1}{z^{-1}e^{\beta\epsilon_\alpha}-1}, \\ \bar n_\alpha^{\mathrm F} &= \frac{1}{z^{-1}e^{\beta\epsilon_\alpha}+1}. \end{aligned}

These are mean mode occupations, not normalized probabilities over the mode label α\alpha.

For one bosonic mode,

Pα(n)=(1−xα)xαn,n=0,1,2,….\begin{aligned} P_\alpha(n) &= (1-x_\alpha)x_\alpha^n, \\ n &= 0,1,2,\ldots. \end{aligned}

whereas a fermionic mode has

Pα(0)=11+xα,Pα(1)=xα1+xα.\begin{aligned} P_\alpha(0) &= \frac{1}{1+x_\alpha}, \\ P_\alpha(1) &= \frac{x_\alpha}{1+x_\alpha}. \end{aligned}

The grand-canonical mode variance is

Var⁡(nα)=nˉα(1+ηnˉα).\operatorname{Var}(n_\alpha) = \bar n_\alpha \left( 1+\eta\bar n_\alpha \right).

Bosonic fluctuations are enhanced and fermionic fluctuations are suppressed relative to a Poisson variable with the same mean. Fixed-total-number constraints correlate modes and invalidate a direct sum of independent grand-canonical variances.

The entropy of one independent mode is

SαkB=1+ηnˉαηln⁡(1+ηnˉα)−nˉαln⁡nˉα.\begin{aligned} \frac{S_\alpha}{k_{\mathrm B}} &= \frac{1+\eta\bar n_\alpha}{\eta} \ln\left( 1+\eta\bar n_\alpha \right) \\ &\quad - \bar n_\alpha \ln\bar n_\alpha. \end{aligned}

Substituting η=+1\eta=+1 gives the bosonic expression; substituting η=−1\eta=-1 gives the binary fermionic entropy.

For a periodic homogeneous continuum,

∑k,σ⟶gV∫ddk(2π)d.\sum_{\mathbf k,\sigma} \longrightarrow gV \int \frac{d^dk}{(2\pi)^d}.

For the quadratic dispersion, the density of states is

Dd(ϵ)=gVΓ(d/2)(m2πℏ2)d/2×ϵd/2−1,ϵ>0.\begin{aligned} D_d(\epsilon) &= \frac{gV}{\Gamma(d/2)} \left( \frac{m}{2\pi\hbar^2} \right)^{d/2} \\ &\quad\times \epsilon^{d/2-1}, \qquad \epsilon>0. \end{aligned}

It is normalized so that

∑αF(ϵα)⟶∫0∞dϵ Dd(ϵ)F(ϵ).\sum_\alpha F(\epsilon_\alpha) \longrightarrow \int_0^\infty d\epsilon\, D_d(\epsilon)F(\epsilon).

In three dimensions,

D3(ϵ)=gV4π2(2mℏ2)3/2ϵ.D_3(\epsilon) = \frac{gV}{4\pi^2} \left( \frac{2m}{\hbar^2} \right)^{3/2} \sqrt{\epsilon}.

The continuum replacement is controlled only when the relevant thermal or Fermi energy window contains many discrete levels. Near a bosonic ground mode, separate that mode before making the replacement.

Define the unified function

Φs(η)(z)≡∑ℓ=1∞ηℓ−1zℓℓs.\Phi_s^{(\eta)}(z) \equiv \sum_{\ell=1}^{\infty} \frac{ \eta^{\ell-1}z^\ell }{\ell^s}.

For the convergent integral representation,

Φs(η)(z)=1Γ(s)∫0∞dt ts−1z−1et−η.\Phi_s^{(\eta)}(z) = \frac{1}{\Gamma(s)} \int_0^\infty dt\, \frac{t^{s-1}}{z^{-1}e^t-\eta}.

The standard names are

gs(z)≡Φs(+1)(z)=Li⁡s(z),fs(z)≡Φs(−1)(z)=−Li⁡s(−z).\begin{aligned} g_s(z) &\equiv \Phi_s^{(+1)}(z) = \operatorname{Li}_s(z), \\ f_s(z) &\equiv \Phi_s^{(-1)}(z) = -\operatorname{Li}_s(-z). \end{aligned}

Some references shift the index of “Fermi integrals” by one. The polylogarithm form removes that ambiguity.

Useful identities are

zddzΦs(η)(z)=Φs−1(η)(z),gs(1)=ζ(s),s>1.\begin{aligned} z\frac{d}{dz} \Phi_s^{(\eta)}(z) &= \Phi_{s-1}^{(\eta)}(z), \\ g_s(1) &= \zeta(s), \qquad s>1. \end{aligned}

For small zz,

Φs(η)(z)=z+ηz22s+O(z3).\Phi_s^{(\eta)}(z) = z + \eta\frac{z^2}{2^s} + O(z^3).

At the Bose boundary z→1−z\to1^-, gs(1)g_s(1) is finite only for s>1s>1. This convergence condition controls ideal-gas condensation in the thermodynamic limit.

For a homogeneous quadratic gas in dd dimensions, the thermal-mode density is

nth=gλTdΦd/2(η)(z).n_{\mathrm{th}} = \frac{g}{\lambda_T^d} \Phi_{d/2}^{(\eta)}(z).

The total density is

n={n0+gλTdgd/2(z),bosons,gλTdfd/2(z),fermions.n = \begin{cases} n_0+ \dfrac{g}{\lambda_T^d} g_{d/2}(z), &\text{bosons}, \\[6pt] \dfrac{g}{\lambda_T^d} f_{d/2}(z), &\text{fermions}. \end{cases}

The pressure and grand potential are

P=gkBTλTdΦd/2+1(η)(z),Ω=−PV.\begin{aligned} P &= \frac{gk_{\mathrm B}T}{\lambda_T^d} \Phi_{d/2+1}^{(\eta)}(z), \\ \Omega &= -PV. \end{aligned}

For a quadratic dispersion with no additive rest energy,

U=d2PV.U = \frac{d}{2}PV.

In the normal phase, the entropy density is

SkBV=gλTd[(d2+1)Φd/2+1(η)(z)−ln⁡z Φd/2(η)(z)].\begin{aligned} \frac{S}{k_{\mathrm B}V} &= \frac{g}{\lambda_T^d} \Bigg[ \left( \frac d2+1 \right) \Phi_{d/2+1}^{(\eta)}(z) \\ &\qquad - \ln z\, \Phi_{d/2}^{(\eta)}(z) \Bigg]. \end{aligned}

For an ideal Bose condensate with ϵ0=μ=0\epsilon_0=\mu=0, the ground mode carries no extensive energy, pressure, or entropy; the thermal cloud supplies the expressions above with z=1z=1.

The normal-phase number susceptibility is

(∂n∂μ)T=βgλTdΦd/2−1(η)(z).\left( \frac{\partial n}{\partial\mu} \right)_T = \frac{\beta g}{\lambda_T^d} \Phi_{d/2-1}^{(\eta)}(z).

This derivative can diverge at an ideal Bose boundary. Interactions qualitatively alter that response.

For d=3d=3 and ϵ0=0\epsilon_0=0:

QuantityBosonsFermions
mode occupation[z−1eβϵ−1]−1[z^{-1}e^{\beta\epsilon}-1]^{-1}[z−1eβϵ+1]−1[z^{-1}e^{\beta\epsilon}+1]^{-1}
thermal densitygλT−3g3/2(z)g\lambda_T^{-3}g_{3/2}(z)gλT−3f3/2(z)g\lambda_T^{-3}f_{3/2}(z)
pressuregkBTλT−3g5/2(z)gk_{\mathrm B}T\lambda_T^{-3}g_{5/2}(z)gkBTλT−3f5/2(z)gk_{\mathrm B}T\lambda_T^{-3}f_{5/2}(z)
internal energy3PV/23PV/23PV/23PV/2
mode variancenˉ(1+nˉ)\bar n(1+\bar n)nˉ(1−nˉ)\bar n(1-\bar n)
activity range0<z≤10<z\le10<z<∞0<z<\infty

For bosons, the total density is n=n0+nthn=n_0+n_{\mathrm{th}}. The table’s thermal-density entry does not include a separately occupied ground mode.

Numerical constants used often are

ζ(3/2)≃2.612375,ζ(5/2)≃1.341487.\begin{aligned} \zeta(3/2) &\simeq 2.612375, \\ \zeta(5/2) &\simeq 1.341487. \end{aligned}

Quantum occupations share the dilute asymptotic form

nˉα≃ze−βϵα\bar n_\alpha \simeq z e^{-\beta\epsilon_\alpha}

when xα=ze−βϵα≪1x_\alpha=z e^{-\beta\epsilon_\alpha}\ll1 for every appreciably occupied mode.

For the homogeneous gas, define phase-space density per internal state

x≡nλTdg.x \equiv \frac{n\lambda_T^d}{g}.

The dilute criterion is x≪1x\ll1. Then

z=x−ηx22d/2+O(x3),z = x - \eta\frac{x^2}{2^{d/2}} + O(x^3),

and the leading ideal exchange correction is

PnkBT=1−ηx2d/2+1+O(x2).\frac{P}{nk_{\mathrm B}T} = 1 - \eta \frac{x}{2^{d/2+1}} + O(x^2).

Thus Bose statistics lowers and Fermi statistics raises the pressure relative to the classical ideal-gas value at fixed nn and TT. These signs arise from exchange statistics, not from an attractive or repulsive interparticle potential.

In three dimensions,

PnkBT=1−ηnλT325/2g+O ⁣[(nλT3g)2].\frac{P}{nk_{\mathrm B}T} = 1 - \eta \frac{n\lambda_T^3}{2^{5/2}g} + O\!\left[ \left( \frac{n\lambda_T^3}{g} \right)^2 \right].

The Maxwell–Boltzmann Limit page owns normalized one-particle distributions, the Gibbs factor, classical thermodynamics, and quantitative accuracy tests.

For bosons, every mode requires

μ<ϵα\mu < \epsilon_\alpha

at finite volume in an ordinary grand-canonical state. Hence

μ<ϵ0.\mu < \epsilon_0.

With ϵ0=0\epsilon_0=0, this is z<1z<1. In the thermodynamic condensation limit, z→1−z\to1^- and the ground mode must be separated from the continuum integral.

For fermions there is no analogous convergence bound because each mode has only occupations zero and one.

For particles whose number is not conserved in equilibrium, such as photons in a blackbody cavity, the equilibrium chemical potential is normally fixed to zero rather than determined by a number equation.

For a quadratic homogeneous gas, the maximum thermal density at z=1z=1 is

nth,max=gλTdζ(d/2).n_{\mathrm{th,max}} = \frac{g}{\lambda_T^d} \zeta(d/2).

It is finite only for d>2d>2. Under the declared ideal-gas assumptions,

Tc=2πℏ2mkB[ngζ(d/2)]2/d,d>2.T_c = \frac{2\pi\hbar^2}{mk_{\mathrm B}} \left[ \frac{n}{g\zeta(d/2)} \right]^{2/d}, \qquad d>2.

Below TcT_c,

N0N=1−(TTc)d/2.\frac{N_0}{N} = 1 - \left( \frac{T}{T_c} \right)^{d/2}.

In three dimensions,

Tc=2πℏ2mkB[ngζ(3/2)]2/3.T_c = \frac{2\pi\hbar^2}{mk_{\mathrm B}} \left[ \frac{n}{g\zeta(3/2)} \right]^{2/3}.

These are thermodynamic-limit ideal-gas results. A finite system has a crossover rather than a nonanalytic phase transition. Ground-state degeneracy, separately conserved internal populations, trapping, and interactions modify the interpretation and sometimes the formulas. See Bose–Einstein Condensation.

At T=0T=0,

nˉkσ=θ(kF−k).\bar n_{\mathbf k\sigma} = \theta(k_{\mathrm F}-k).

The volume of the occupied dd-dimensional Fermi ball gives

n=g(2π)dπd/2Γ(d/2+1)kFd.n = \frac{g}{(2\pi)^d} \frac{\pi^{d/2}}{ \Gamma(d/2+1) } k_{\mathrm F}^d.

The Fermi scales are

ϵF=ℏ2kF22m,TF=ϵFkB,vF=ℏkFm.\begin{aligned} \epsilon_{\mathrm F} &= \frac{\hbar^2k_{\mathrm F}^2}{2m}, \\ T_{\mathrm F} &= \frac{\epsilon_{\mathrm F}}{k_{\mathrm B}}, \\ v_{\mathrm F} &= \frac{\hbar k_{\mathrm F}}{m}. \end{aligned}

For a quadratic dispersion in dd dimensions,

U0N=dd+2ϵF,P0=2d+2nϵF.\begin{aligned} \frac{U_0}{N} &= \frac{d}{d+2} \epsilon_{\mathrm F}, \\ P_0 &= \frac{2}{d+2} n\epsilon_{\mathrm F}. \end{aligned}

In three dimensions,

kF=(6π2ng)1/3,U0N=35ϵF,P0=25nϵF.\begin{aligned} k_{\mathrm F} &= \left( \frac{6\pi^2n}{g} \right)^{1/3}, \\ \frac{U_0}{N} &= \frac35\epsilon_{\mathrm F}, \\ P_0 &= \frac25n\epsilon_{\mathrm F}. \end{aligned}

For spin-1/21/2 particles with g=2g=2, the familiar relation is kF=(3π2n)1/3k_{\mathrm F}=(3\pi^2n)^{1/3}.

For a three-dimensional quadratic gas at fixed density and T≪TFT\ll T_{\mathrm F},

μ(T)ϵF=1−π212(TTF)2+O(T4).\frac{\mu(T)}{\epsilon_{\mathrm F}} = 1 - \frac{\pi^2}{12} \left( \frac{T}{T_{\mathrm F}} \right)^2 + O(T^4).

The energy, heat capacity, entropy, and pressure are

UN=35ϵF[1+5π212(TTF)2],CVNkB=π22TTF+O(T3),SNkB=π22TTF+O(T3),P=25nϵF[1+5π212(TTF)2].\begin{aligned} \frac{U}{N} &= \frac35\epsilon_{\mathrm F} \left[ 1+ \frac{5\pi^2}{12} \left( \frac{T}{T_{\mathrm F}} \right)^2 \right], \\ \frac{C_V}{Nk_{\mathrm B}} &= \frac{\pi^2}{2} \frac{T}{T_{\mathrm F}} + O(T^3), \\ \frac{S}{Nk_{\mathrm B}} &= \frac{\pi^2}{2} \frac{T}{T_{\mathrm F}} + O(T^3), \\ P &= \frac25n\epsilon_{\mathrm F} \left[ 1+ \frac{5\pi^2}{12} \left( \frac{T}{T_{\mathrm F}} \right)^2 \right]. \end{aligned}

The displayed O(T4)O(T^4) and O(T3)O(T^3) abbreviations mean powers of the dimensionless ratio T/TFT/T_{\mathrm F}. These coefficients are specific to a three-dimensional quadratic density of states at fixed density. The Sommerfeld Expansion page owns the general asymptotic method.

For

ϵk=Akr,A>0,\epsilon_{\mathbf k} = A k^r, \qquad A>0,

the continuum density of states is

Dd,r(ϵ)V=gSd−1(2π)drAd/rϵd/r−1,\frac{D_{d,r}(\epsilon)}{V} = \frac{gS_{d-1}}{ (2\pi)^d r A^{d/r} } \epsilon^{d/r-1},

where

Sd−1=2πd/2Γ(d/2)S_{d-1} = \frac{2\pi^{d/2}}{\Gamma(d/2)}

is the area of the unit (d−1)(d-1)-sphere.

For bosons at z=1z=1, the low-energy number integral is finite only when

dr>1.\frac{d}{r} > 1.

The quadratic result follows from r=2r=2. This criterion concerns a homogeneous ideal continuum and does not by itself decide condensation in a trap, lattice band, finite system, or interacting fluid.

In a semiclassical local-density approximation, define

z(r)=ze−βVext(r).z(\mathbf r) = z e^{-\beta V_{\mathrm{ext}}(\mathbf r)}.

The local thermal density is then

nth(r)=gλTdΦd/2(η)[z(r)].n_{\mathrm{th}}(\mathbf r) = \frac{g}{\lambda_T^d} \Phi_{d/2}^{(\eta)} \left[ z(\mathbf r) \right].

Integrating over position gives the total thermal number. This approximation requires the potential to vary slowly on the relevant microscopic and thermal length scales. Harmonic traps change the effective density of states and therefore the condensation exponent; use Quantum Gases in Traps for the canonical treatment.

  1. Keep exact sums when the level spacing is resolved. Replace ∑α\sum_\alpha by an integral only after comparing the level spacing with kBTk_{\mathrm B}T, ϵF\epsilon_{\mathrm F}, or the probe resolution.
  2. Separate a bosonic ground mode. A continuum density of states can erase the mode whose occupation becomes macroscopic.
  3. Do not infer a finite-size singularity. Exact finite partition functions are analytic away from convergence boundaries.
  4. Distinguish grand-canonical and canonical fluctuations. Independent-mode variances apply to the grand-canonical ideal gas; a fixed total number introduces correlations.
  5. Declare internal constraints. A factor gg is valid only when the components share the stated chemical potential and spectrum.
  6. Preserve energy-zero covariance. Shift ϵα\epsilon_\alpha and μ\mu together.

Use these fast tests:

  • λT\lambda_T has dimensions of length.
  • Dd(ϵ)D_d(\epsilon) has dimensions of inverse energy.
  • g/λTdg/\lambda_T^d has dimensions of number density.
  • kBT/λTdk_{\mathrm B}T/\lambda_T^d has dimensions of pressure or energy density.
  • zz and Φs(η)(z)\Phi_s^{(\eta)}(z) are dimensionless.
  • z→0z\to0 recovers Maxwell–Boltzmann occupations.
  • T→0T\to0 gives a fermionic step and, for a condensed ideal Bose gas, a vanishing thermal fraction.
  • g=2g=2 in the three-dimensional Fermi formula gives n=kF3/(3π2)n=k_{\mathrm F}^3/(3\pi^2).
  • d=3d=3 in U=(d/2)PVU=(d/2)PV gives U=3PV/2U=3PV/2.
  • Treating a mean occupation nˉα\bar n_\alpha as a probability distribution over modes.
  • Inserting gg without checking whether internal populations interconvert or have separate chemical potentials.
  • Using z=1z=1 for conserved massive particles outside the bosonic condensation boundary.
  • Applying the Bose continuum integral to the ground mode.
  • Using the free-space density of states for a trap or lattice band.
  • Forgetting the factor of gg in phase-space density and Fermi momentum.
  • Calling the Bose or Fermi virial correction an interaction energy.
  • Applying low-temperature Fermi coefficients at fixed μ\mu when the quoted result assumes fixed NN.
  • Using T≪TFT\ll T_{\mathrm F} as a criterion for a Bose gas.
  • Assuming that an ideal Bose condensate is automatically a superfluid.
  • Using a thermodynamic-limit transition formula for a small discrete spectrum without a finite-size analysis.
  • R. K. Pathria and P. D. Beale, Statistical Mechanics, 3rd ed., Elsevier (2011) — ideal quantum gases and ensemble thermodynamics.
  • K. Huang, Statistical Mechanics, 2nd ed., Wiley (1987) — density of states, virial expansion, and ideal Bose and Fermi gases.
  • L. D. Landau and E. M. Lifshitz, Statistical Physics, Part 1, 3rd ed., Butterworth–Heinemann (1980) — quantum distributions and degenerate gases.
  • C. J. Pethick and H. Smith, Bose–Einstein Condensation in Dilute Gases, 2nd ed., Cambridge University Press (2008) — ideal-gas condensation and trapped-gas conventions.
  • L. Pitaevskii and S. Stringari, Bose–Einstein Condensation and Superfluidity, Oxford University Press (2016) — Bose gases, finite temperature, and interaction boundaries.
  • N. W. Ashcroft and N. D. Mermin, Solid State Physics, Harcourt (1976) — three-dimensional Fermi-gas state counting and low-temperature electron thermodynamics.

Starting from

Ξα=(1−ηxα)−η,\Xi_\alpha = \left( 1-\eta x_\alpha \right)^{-\eta},

derive the mean occupation and variance using derivatives with respect to ln⁡xα\ln x_\alpha.

Solution

The mean is

nˉα=xα∂∂xαln⁡Ξα=xα1−ηxα.\begin{aligned} \bar n_\alpha &= x_\alpha \frac{\partial}{\partial x_\alpha} \ln\Xi_\alpha \\ &= \frac{x_\alpha}{1-\eta x_\alpha}. \end{aligned}

The second cumulant is

Var⁡(nα)=xα∂nˉα∂xα=xα(1−ηxα)2.\begin{aligned} \operatorname{Var}(n_\alpha) &= x_\alpha \frac{\partial\bar n_\alpha}{ \partial x_\alpha } \\ &= \frac{x_\alpha}{ (1-\eta x_\alpha)^2 }. \end{aligned}

Since nˉα=xα/(1−ηxα)\bar n_\alpha=x_\alpha/(1-\eta x_\alpha),

Var⁡(nα)=nˉα(1+ηnˉα).\operatorname{Var}(n_\alpha) = \bar n_\alpha \left( 1+\eta\bar n_\alpha \right).

2. Density integral and thermal wavelength

Section titled “2. Density integral and thermal wavelength”

Use the quadratic density of states to show that the thermal-mode density is

nth=gλTdΦd/2(η)(z).n_{\mathrm{th}} = \frac{g}{\lambda_T^d} \Phi_{d/2}^{(\eta)}(z).
Solution

Start from

nth=1V∫0∞dϵ Dd(ϵ)z−1eβϵ−η.n_{\mathrm{th}} = \frac{1}{V} \int_0^\infty d\epsilon\, \frac{D_d(\epsilon)}{ z^{-1}e^{\beta\epsilon}-\eta }.

Substitute the density of states and set t=βϵt=\beta\epsilon:

nth=gΓ(d/2)(m2πℏ2β)d/2×∫0∞dt td/2−1z−1et−η.\begin{aligned} n_{\mathrm{th}} &= \frac{g}{\Gamma(d/2)} \left( \frac{m}{2\pi\hbar^2\beta} \right)^{d/2} \\ &\quad\times \int_0^\infty dt\, \frac{t^{d/2-1}}{z^{-1}e^t-\eta}. \end{aligned}

The integral is Γ(d/2)Φd/2(η)(z)\Gamma(d/2)\Phi_{d/2}^{(\eta)}(z), and

(m2πℏ2β)d/2=λT−d.\left( \frac{m}{2\pi\hbar^2\beta} \right)^{d/2} = \lambda_T^{-d}.

Combining the factors gives the result.

Let x=nλTd/gx=n\lambda_T^d/g. Derive

PnkBT=1−ηx2d/2+1+O(x2).\frac{P}{nk_{\mathrm B}T} = 1 - \eta \frac{x}{2^{d/2+1}} + O(x^2).
Solution

The small-zz expansions give

x=z+ηz22d/2+O(z3),PλTdgkBT=z+ηz22d/2+1+O(z3).\begin{aligned} x &= z+ \eta\frac{z^2}{2^{d/2}} + O(z^3), \\ \frac{P\lambda_T^d}{ gk_{\mathrm B}T } &= z+ \eta\frac{z^2}{2^{d/2+1}} + O(z^3). \end{aligned}

Series inversion gives

z=x−ηx22d/2+O(x3).z = x - \eta\frac{x^2}{2^{d/2}} + O(x^3).

Substitution into the pressure series yields

PλTdgkBT=x−ηx22d/2+1+O(x3).\frac{P\lambda_T^d}{ gk_{\mathrm B}T } = x - \eta\frac{x^2}{2^{d/2+1}} + O(x^3).

Divide by x=nλTd/gx=n\lambda_T^d/g. Bosons have η=+1\eta=+1 and therefore a negative correction; fermions have η=−1\eta=-1 and a positive correction.

4. Condensation criterion for a power-law dispersion

Section titled “4. Condensation criterion for a power-law dispersion”

For ϵk=Akr\epsilon_{\mathbf k}=Ak^r, determine when the bosonic thermal density at z=1z=1 is finite at low energy.

Solution

The density of states scales as

Dd,r(ϵ)∝ϵd/r−1.D_{d,r}(\epsilon) \propto \epsilon^{d/r-1}.

At z=1z=1 and small ϵ\epsilon,

1eβϵ−1∼1βϵ.\frac{1}{e^{\beta\epsilon}-1} \sim \frac{1}{\beta\epsilon}.

The number integrand therefore behaves as

ϵd/r−2.\epsilon^{d/r-2}.

The integral at the lower endpoint is finite when

dr−2>−1,\frac{d}{r}-2 > -1,

or

dr>1.\frac{d}{r}>1.

For a quadratic gas, r=2r=2, so a homogeneous ideal-gas condensation transition requires d>2d>2.

Derive the relation between density and Fermi momentum for a three-dimensional gas with internal degeneracy gg, then specialize to spin-1/21/2 particles.

Solution

At zero temperature, each internal component occupies a momentum-space sphere of radius kFk_{\mathrm F}. Therefore

n=g∫k<kFd3k(2π)3=g(2π)34πkF33=gkF36π2.\begin{aligned} n &= g \int_{k<k_{\mathrm F}} \frac{d^3k}{(2\pi)^3} \\ &= \frac{g}{(2\pi)^3} \frac{4\pi k_{\mathrm F}^3}{3} \\ &= \frac{gk_{\mathrm F}^3}{6\pi^2}. \end{aligned}

Hence

kF=(6π2ng)1/3.k_{\mathrm F} = \left( \frac{6\pi^2n}{g} \right)^{1/3}.

For spin-1/21/2 particles with both spin states populated, g=2g=2 and

kF=(3π2n)1/3.k_{\mathrm F} = \left( 3\pi^2n \right)^{1/3}.

In an external potential, show that the local-density formula reduces to the barometric form in the dilute regime.

Solution

The local activity is

z(r)=ze−βVext(r).z(\mathbf r) = z e^{-\beta V_{\mathrm{ext}}(\mathbf r)}.

For z(r)≪1z(\mathbf r)\ll1,

Φd/2(η)[z(r)]≃z(r)\Phi_{d/2}^{(\eta)} \left[z(\mathbf r)\right] \simeq z(\mathbf r)

for either statistics. Thus

n(r)≃gzλTde−βVext(r).n(\mathbf r) \simeq \frac{g z}{\lambda_T^d} e^{-\beta V_{\mathrm{ext}}(\mathbf r)}.

Writing n⋆=gz/λTdn_\star=gz/\lambda_T^d gives

n(r)=n⋆e−βVext(r),n(\mathbf r) = n_\star e^{-\beta V_{\mathrm{ext}}(\mathbf r)},

the barometric or Boltzmann profile. Quantum-statistical differences first enter at higher powers of the local activity.