Density of States for Free Particles

Every thermodynamic number you will ever compute for an ideal quantum gas — the particle number, the energy, the pressure, the condensate fraction, the electronic heat capacity — is one and the same integral, ∫0∞g(ε) nˉ(ε) dε\int_0^\infty g(\varepsilon)\,\bar n(\varepsilon)\,\mathrm{d}\varepsilon. The occupation nˉ\bar n is supplied by Fermi or Bose statistics; the factor g(ε)g(\varepsilon) — the density of states — is what this article builds. It answers a purely kinematic question: how many single-particle quantum states have energy between ε\varepsilon and ε+dε\varepsilon+\mathrm{d}\varepsilon? For free particles in three dimensions the answer is the workhorse formula g(ε)=gsV4π2(2mℏ2)3/2εg(\varepsilon)=\frac{g_s V}{4\pi^2}\big(\frac{2m}{\hbar^2}\big)^{3/2}\sqrt{\varepsilon}, and everything downstream in the Ideal Quantum Gases chapter is an integral against it. We take the microscopic input from the quantum-mechanics track. The allowed momenta and the box spectrum are owned by aq-qm-particle-in-3d-box, where the discrete levels "crowd together into a smooth density of states that scales as the volume — the very quantity that, filled with electrons up to a Fermi surface, becomes the free-electron model of a metal." The general machinery — that the mode count per k\mathbf k-cell is V/(2π)3V/(2\pi)^3 and that this g(E)g(E) is one object across contexts — is owned by aq-qm-density-of-final-states, whose punchline is that "the ρ(E)\rho(E) that counts final states in a transition rate is identical to the g(E)g(E) that appears in the partition function and the Fermi/Bose occupation sums — both count quantum states per unit energy." This article does not re-derive the box spectrum; it takes the quantization as given and owns the g(ε)g(\varepsilon) that results and feeds the SM5 sums. The single most useful fact is that the shape of g(ε)g(\varepsilon) is fixed by geometry alone. For a dispersion ε∝ps\varepsilon\propto p^{s} in dd dimensions the density of states is a pure power law g(ε)∝εd/s−1g(\varepsilon)\propto\varepsilon^{d/s-1}. That exponent — falling in 1D, flat in 2D, rising in 3D — decides whether a Bose gas condenses, whether a Fermi gas has a finite density of states at its surface, and the temperature power of every heat capacity that follows.

Key takeaways
  • The density of states g(ε)g(\varepsilon) counts single-particle quantum states per unit energy; g(ε) dεg(\varepsilon)\,\mathrm{d}\varepsilon is the number of states in [ε,ε+dε][\varepsilon,\varepsilon+\mathrm{d}\varepsilon].
  • It is obtained by counting momenta uniformly in k\mathbf k-space at density V/(2π)3V/(2\pi)^3 (owned by aq-qm-density-of-final-states), then changing variables from p\mathbf p to ε\varepsilon through the dispersion.
  • For free 3D particles, g(ε)=gsV4π2(2mℏ2)3/2εg(\varepsilon)=\frac{g_s V}{4\pi^2}\big(\frac{2m}{\hbar^2}\big)^{3/2}\sqrt{\varepsilon} — the exact prefactor is identical to the quantum-mechanical ρ(E)\rho(E).
  • The shape is pure geometry: g(ε)∝εd/s−1g(\varepsilon)\propto\varepsilon^{d/s-1} for ε∝ps\varepsilon\propto p^{s} in dd dimensions — 1D falls as ε−1/2\varepsilon^{-1/2}, 2D is flat, 3D rises as ε\sqrt{\varepsilon}.
  • Filling states to εF\varepsilon_F gives N=∫0εFg dεN=\int_0^{\varepsilon_F} g\,\mathrm{d}\varepsilon, which inverts to εF=ℏ22m(3π2n)2/3\varepsilon_F=\frac{\hbar^2}{2m}(3\pi^2 n)^{2/3} for a spin-12\tfrac12 gas.
  • Key idea: count states uniformly in momentum space, then let the dispersion push them onto the energy axis — the Jacobian of that push, g V(2πℏ)dΩd pd−1(dε/dp)−1g\,\frac{V}{(2\pi\hbar)^d}\Omega_d\,p^{d-1}(\mathrm{d}\varepsilon/\mathrm{d}p)^{-1}, IS the density of states, and its energy power εd/s−1\varepsilon^{d/s-1} governs all of ideal-gas quantum statistics.
The core insight

Count states uniformly in momentum space at density gsV/(2πℏ)dg_s V/(2\pi\hbar)^d, then change variables from momentum p\mathbf p to energy ε\varepsilon using the dispersion relation. The Jacobian of that change of variables IS the density of states: an energy shell of thickness dε\mathrm{d}\varepsilon contains a momentum-space volume Ωdpd−1(dε/dp)−1dε\Omega_d p^{d-1}(\mathrm{d}\varepsilon/\mathrm{d}p)^{-1}\mathrm{d}\varepsilon, and dividing by the cell volume gives g(ε)g(\varepsilon).

Where this lives today

The density of states is the single most-measured theoretical quantity in condensed-matter physics. Scanning tunneling spectroscopy maps g(ε)g(\varepsilon) point by point across a surface; angle-resolved photoemission (ARPES) images the occupied states g(ε)nˉ(ε)g(\varepsilon)\bar n(\varepsilon) directly in energy and momentum; and the low-temperature electronic heat capacity Ce=π23g(εF)kB2TC_e=\frac{\pi^2}{3}g(\varepsilon_F)k_B^2 T reads off g(εF)g(\varepsilon_F) from the slope of C/TC/T versus T2T^2. The engineered version is the story of modern devices: quantum wells and heterostructures freeze one or two dimensions out, switching the DOS from the 3D ε\sqrt\varepsilon to the 2D staircase of constants or the 1D 1/ε1/\sqrt\varepsilon spikes of a quantum wire, and each change reshapes the optics and transport. Graphene's linear-in-energy DOS (2D massless Dirac fermions, d=2,s=1⇒g∝εd=2,s=1\Rightarrow g\propto\varepsilon) that vanishes at the Dirac point is exactly the d/s−1d/s-1 counting of this article, and it is what makes graphene a semimetal.

The physical picture

Picture momentum space tiled by a cubic lattice of allowed k\mathbf k-points, one per cell of volume (2π/L)3(2\pi/L)^3. The number of states inside any region is just its volume divided by that cell volume — this uniform k\mathbf k-space bookkeeping is the machinery quantum mechanics hands us. The density of states asks a different question: as the energy is raised by dε\mathrm{d}\varepsilon, how much new momentum-space volume falls into the shell between the surfaces ε\varepsilon and ε+dε\varepsilon+\mathrm{d}\varepsilon? For free particles the constant-energy surfaces are spheres of radius p=2mεp=\sqrt{2m\varepsilon}, so the shell is a thin skin of area 4πp24\pi p^2 and thickness dp\mathrm{d}p. Its volume, divided by the cell, is g(ε) dεg(\varepsilon)\,\mathrm{d}\varepsilon. The hero figure is the reason this article sits before Fermi energy, BEC, and the Sommerfeld expansion: the shape of g(ε)g(\varepsilon) is fixed by dimension and dispersion alone, and that shape is dramatically different in one, two, and three dimensions. The energy power εd/s−1\varepsilon^{d/s-1} comes from two competing geometric effects — the shell area grows as pd−1p^{d-1} while its thickness dp/dε\mathrm{d}p/\mathrm{d}\varepsilon shrinks as p1−sp^{1-s}.

Figure
The density of states fan: 1D falls, 2D is flat, 3D rises as the square root of energy
Free-particle density of states g(ε) ∝ ε^(d/2 − 1) energy ε → g(ε) (states per unit energy) 3D: g ∝ √ε (rises) 2D: g = const (flat) 1D: g ∝ 1/√ε (diverges at ε→0) 3D vanishes at ε = 0

The punchline: the same particle in different dimensions has a density of states that diverges, is constant, or vanishes at the band edge. That single power exponent controls whether a Bose gas condenses (needs 3D) and whether a Fermi surface has states to excite.

Where does the number itself come from? The second figure isolates the mechanism: a spherical shell in k\mathbf k-space of radius kk, area 4πk24\pi k^2, thickness dk\mathrm{d}k, tiled by cells of side 2π/L2\pi/L. Count the cells in the shell, convert kk to ε\varepsilon, and the ε\sqrt\varepsilon appears.

Figure
Counting states in a k-space shell of radius k and thickness dk
States in the shell: (area 4πk² × thickness dk) ÷ cell (2π/L)³ k_x k_y k shell dk spacing 2π/L dN = g_s·(V/8π³)·4πk² dk ε = ħ²k²/2m ⇒ k=√(2mε)/ħ g(ε) = (g_s V/4π²)(2m/ħ²)^{3/2}√ε the shell area 4πk² makes the √ε

The area factor 4πk24\pi k^2 is what produces the ε\sqrt{\varepsilon}: bigger energy means a bigger sphere with more surface, hence more states per unit energy.

The core equations

The first ingredient is the rule that converts a discrete sum over allowed wavevectors into an integral. It follows directly from the box quantization owned by aq-qm-particle-in-3d-box: periodic boundary conditions on a cube of side LL force k=(2π/L)n\mathbf k=(2\pi/L)\mathbf n, so each state occupies a k\mathbf k-cell of volume (2π/L)3=(2π)3/V(2\pi/L)^3=(2\pi)^3/V.

∑k  ⟶  V(2π)d∫ddk  =  V(2πℏ)d∫ddp(1)\sum_{\mathbf k}\;\longrightarrow\;\frac{V}{(2\pi)^{d}}\int \mathrm{d}^{d}k\;=\;\frac{V}{(2\pi\hbar)^{d}}\int \mathrm{d}^{d}p \qquad (1)

where: V=LdV=L^d — volume of the confining box; k,p=ℏk\mathbf k,\mathbf p=\hbar\mathbf k — wavevector and momentum; dd — spatial dimension. Physical reading: the prefactor V/(2π)dV/(2\pi)^d is the uniform number of states per unit k\mathbf k-volume; it is the same object quantum mechanics calls the mode density, and it becomes exact as L→∞L\to\infty. The density of states repackages this uniform k\mathbf k-space count as a non-uniform count along the energy axis. Its definition is the volume of the thin energy shell, divided by the cell, per unit energy.

g(ε) dε=gs V(2πℏ)d ⁣ ⁣∫ε≤ε(p)≤ε+dε ⁣ ⁣ddp(2)g(\varepsilon)\,\mathrm{d}\varepsilon = g_s\,\frac{V}{(2\pi\hbar)^{d}}\!\!\int_{\varepsilon\le\varepsilon(\mathbf p)\le\varepsilon+\mathrm{d}\varepsilon}\!\!\mathrm{d}^{d}p \qquad (2)

where: gsg_s — internal degeneracy (e.g. 2s+12s+1 spin states, or 22 photon polarizations); ε(p)\varepsilon(\mathbf p) — dispersion relation. Physical reading: g(ε)g(\varepsilon) is literally a Jacobian — the momentum-space volume that maps into a unit slice of energy. For an isotropic dispersion the shell is spherical, so the shell integral is the surface area Ωdpd−1\Omega_d p^{d-1} times the radial thickness dp=(dε/dp)−1dε\mathrm{d}p=(\mathrm{d}\varepsilon/\mathrm{d}p)^{-1}\mathrm{d}\varepsilon. This is the master formula from which every specific case drops out.

g(ε)=gs V(2πℏ)d Ωd pd−1(dεdp)−1(3)g(\varepsilon)=g_s\,\frac{V}{(2\pi\hbar)^{d}}\,\Omega_d\,p^{d-1}\left(\frac{\mathrm{d}\varepsilon}{\mathrm{d}p}\right)^{-1} \qquad (3)

where: Ωd\Omega_d — surface area of the unit sphere: Ω1=2, Ω2=2π, Ω3=4π\Omega_1=2,\ \Omega_2=2\pi,\ \Omega_3=4\pi; pp evaluated at ε\varepsilon via ε(p)\varepsilon(p); (dε/dp)−1(\mathrm{d}\varepsilon/\mathrm{d}p)^{-1} — the shell-thickness factor. Physical reading: the area factor pd−1p^{d-1} steepens the DOS with dimension, the inverse group-slope flattens it with faster dispersion — together they give the exponent d/s−1d/s-1. Specializing to d=3d=3 with the free-particle dispersion ε=p2/2m\varepsilon=p^2/2m gives the single most-used result in the whole chapter. Here p=2mεp=\sqrt{2m\varepsilon} and dε/dp=p/m\mathrm{d}\varepsilon/\mathrm{d}p=p/m.

g(ε)=gsV4π2(2mℏ2)3/2ε ,ε≥0(4)g(\varepsilon)=\frac{g_s V}{4\pi^{2}}\left(\frac{2m}{\hbar^{2}}\right)^{3/2}\sqrt{\varepsilon}\,,\qquad \varepsilon\ge 0 \qquad (4)

where: mm — particle mass; ε=p2/2m\varepsilon=p^2/2m — kinetic energy. Physical reading: the ε\sqrt\varepsilon growth is the spherical-shell area 4πp24\pi p^2 shining through; the prefactor is fixed exactly, with no free constants, and equals the quantum-mechanical ρ(E)\rho(E) from aq-qm-density-of-final-states. The one-line reason all of ideal-gas quantum statistics reduces to energy integrals is that the DOS converts every momentum sum into an integral against the occupation function.

N=∫0∞g(ε) dεe(ε−μ)/kBT±1,U=∫0∞ε g(ε) dεe(ε−μ)/kBT±1(5)N=\int_0^\infty g(\varepsilon)\,\frac{\mathrm{d}\varepsilon}{e^{(\varepsilon-\mu)/k_BT}\pm 1},\qquad U=\int_0^\infty \varepsilon\,g(\varepsilon)\,\frac{\mathrm{d}\varepsilon}{e^{(\varepsilon-\mu)/k_BT}\pm 1} \qquad (5)

where: μ\mu — chemical potential; ++ gives Fermi-Dirac, −- gives Bose-Einstein. Physical reading: swap the occupation for nˉ\bar n owned by aq-sm-fermi-dirac-distribution or aq-sm-bose-einstein-distribution and every thermodynamic quantity is one integral against g(ε)g(\varepsilon). Integrating the ε\sqrt\varepsilon law gives the cumulative count of states below an energy, the object that fixes the Fermi energy.

N(ε)≡∫0εg(ε′) dε′=gsV6π2(2mεℏ2)3/2(6)\mathcal N(\varepsilon)\equiv\int_0^{\varepsilon} g(\varepsilon')\,\mathrm{d}\varepsilon'=\frac{g_s V}{6\pi^{2}}\left(\frac{2m\varepsilon}{\hbar^{2}}\right)^{3/2} \qquad (6)

where: N(ε)\mathcal N(\varepsilon) — total number of states with energy below ε\varepsilon; it equals the p\mathbf p-sphere volume of radius p(ε)p(\varepsilon) divided by the cell volume. Physical reading: setting N(εF)=N\mathcal N(\varepsilon_F)=N and inverting is exactly how the Fermi energy εF=ℏ22m(3π2n)2/3\varepsilon_F=\frac{\hbar^2}{2m}(3\pi^2 n)^{2/3} is obtained (owned in full by aq-sm-fermi-energy-momentum-temperature).

Derivations

Derivation AThe 3D free-particle density of states and its exact prefactor

The goal is to derive the workhorse result g(ε)=gsV4π2(2m/ℏ2)3/2εg(\varepsilon)=\frac{g_s V}{4\pi^2}(2m/\hbar^2)^{3/2}\sqrt{\varepsilon} from the uniform k\mathbf k-space count, taking as given only the box quantization owned by the quantum-mechanics track (aq-qm-particle-in-3d-box: the discrete box levels "crowd together into a smooth density of states that scales as the volume"). The route is to count states in a spherical k\mathbf k-shell, then push the radial variable from kk to ε\varepsilon through the free dispersion. The one thing to watch is the exact numerical prefactor — every 2π2\pi, every power of two, must survive, because this constant sets the absolute scale of every metal's Fermi energy and heat capacity. This card owns the resulting g(ε)g(\varepsilon); it does not re-derive the box spectrum.

Step 1. Count states in a k\mathbf k-shell. From Eq. (1) the number of states with wavevector magnitude in [k,k+dk][k,k+\mathrm{d}k] is the shell volume times the cell density: dN=gs V(2π)3 4πk2 dk\mathrm{d}N=g_s\,\frac{V}{(2\pi)^3}\,4\pi k^2\,\mathrm{d}k. Why: the allowed k\mathbf k-points sit on a lattice of cell volume (2π/L)3=(2π)3/V(2\pi/L)^3=(2\pi)^3/V, so the count is the isotropic shell volume 4πk2 dk4\pi k^2\,\mathrm{d}k divided by that cell, with gsg_s internal states per point.

Step 2. Change variables from kk to ε\varepsilon. The free dispersion ε=ℏ2k2/2m\varepsilon=\hbar^2 k^2/2m gives k=2mε/ℏk=\sqrt{2m\varepsilon}/\hbar and dk/dε=1ℏm/2ε\mathrm{d}k/\mathrm{d}\varepsilon=\frac{1}{\hbar}\sqrt{m/2\varepsilon}. Why: the density of states is the count per unit energy, so we must trade dk\mathrm{d}k for dε\mathrm{d}\varepsilon using the dispersion — this is the Jacobian that turns uniform-in-kk into non-uniform-in-ε\varepsilon.

Step 3. Assemble g(ε)=dN/dεg(\varepsilon)=\mathrm{d}N/\mathrm{d}\varepsilon. Substituting k2=2mε/ℏ2k^2=2m\varepsilon/\hbar^2 and dk=1ℏm/2ε dε\mathrm{d}k=\frac{1}{\hbar}\sqrt{m/2\varepsilon}\,\mathrm{d}\varepsilon into Step 1, g(ε)=gsV2π2k2dkdε=gsV2π22mεℏ2⋅1ℏm2εg(\varepsilon)=g_s\frac{V}{2\pi^2}k^2\frac{\mathrm{d}k}{\mathrm{d}\varepsilon}=g_s\frac{V}{2\pi^2}\frac{2m\varepsilon}{\hbar^2}\cdot\frac{1}{\hbar}\sqrt{\frac{m}{2\varepsilon}}. Why: the 4π/(2π)3=1/2π24\pi/(2\pi)^3=1/2\pi^2 collects the geometric constants; the leftover ε⋅ε−1/2=ε\varepsilon\cdot\varepsilon^{-1/2}=\sqrt\varepsilon is the signature.

Step 4. Collect the prefactor. The energy powers combine to ε\sqrt\varepsilon and the constants to gsV2π2⋅2mℏ2⋅m2 ℏ=gsV4π2(2mℏ2)3/2\frac{g_s V}{2\pi^2}\cdot\frac{2m}{\hbar^2}\cdot\frac{\sqrt m}{\sqrt 2\,\hbar}=\frac{g_s V}{4\pi^2}\big(\frac{2m}{\hbar^2}\big)^{3/2}, giving Eq. (4). Why: rewriting 2mℏ2⋅m2 ℏ=12(2mℏ2)3/2\frac{2m}{\hbar^2}\cdot\frac{\sqrt{m}}{\sqrt2\,\hbar}=\frac{1}{2}\big(\frac{2m}{\hbar^2}\big)^{3/2} folds all mass and ℏ\hbar dependence into the single group (2m/ℏ2)3/2(2m/\hbar^2)^{3/2}, and the factor 12⋅12π2=14π2\tfrac12\cdot\tfrac{1}{2\pi^2}=\tfrac{1}{4\pi^2} is the exact coefficient. Verified: the symbolic reduction of gsV2π2k2(dk/dε)g_s\frac{V}{2\pi^2}k^2(\mathrm{d}k/\mathrm{d}\varepsilon) to gsV4π2(2m/ℏ2)3/2ε\frac{g_s V}{4\pi^2}(2m/\hbar^2)^{3/2}\sqrt\varepsilon, and its identity with the quantum-mechanical ρ(E)=gsVmk/2π2ℏ2\rho(E)=g_s Vmk/2\pi^2\hbar^2 when re-expressed in kk, are checked in verify_density-of-states-free-particles.py.

Go deeper · Derivation B · 1 minThe universal power law and the Fermi energy it fixes
Derivation BThe universal power law and the Fermi energy it fixes

The goal is to prove two structural facts that make the density of states a chapter-opening tool: that for any isotropic power-law dispersion ε=αps\varepsilon=\alpha p^{s} in dd dimensions the DOS is a pure power g(ε)∝εd/s−1g(\varepsilon)\propto\varepsilon^{d/s-1} (so its shape needs no computation, only counting of exponents), and that filling the 3D ε\sqrt\varepsilon states up to εF\varepsilon_F inverts the cumulative count into εF=ℏ22m(3π2n)2/3\varepsilon_F=\frac{\hbar^2}{2m}(3\pi^2 n)^{2/3} for a spin-12\tfrac12 gas. These are the owned structural results; the second hands the Fermi energy to its dedicated home (aq-sm-fermi-energy-momentum-temperature) with the exponent already established here.

Step 1. Insert a power-law dispersion into the master formula. With ε=αps\varepsilon=\alpha p^s, p=(ε/α)1/sp=(\varepsilon/\alpha)^{1/s} and dε/dp=sαps−1\mathrm{d}\varepsilon/\mathrm{d}p=s\alpha p^{s-1}, so Eq. (3) gives g(ε)=gsVΩd(2πℏ)dpd−1sαps−1=gsVΩd(2πℏ)dpd−ssαg(\varepsilon)=g_s\frac{V\Omega_d}{(2\pi\hbar)^d}\frac{p^{d-1}}{s\alpha p^{s-1}}=g_s\frac{V\Omega_d}{(2\pi\hbar)^d}\frac{p^{d-s}}{s\alpha}. Why: the shell area pd−1p^{d-1} and inverse group-slope p1−sp^{1-s} combine to pd−sp^{d-s} — the whole dimensional and dispersive content sits in this one exponent.

Step 2. Convert pd−sp^{d-s} to energy. Since pd−s=(ε/α)(d−s)/sp^{d-s}=(\varepsilon/\alpha)^{(d-s)/s} and (d−s)/s=d/s−1(d-s)/s=d/s-1, we get g(ε)=gsVΩd(2πℏ)d1s αd/s ε d/s−1g(\varepsilon)=g_s\frac{V\Omega_d}{(2\pi\hbar)^d}\frac{1}{s\,\alpha^{d/s}}\,\varepsilon^{\,d/s-1}. Why: this exposes the universal exponent d/s−1d/s-1: it is 12\tfrac12 for 3D nonrelativistic (d=3,s=2d=3,s=2), 00 for 2D (d=2,s=2d=2,s=2, flat), −12-\tfrac12 for 1D (d=1,s=2d=1,s=2, divergent), and 22 for 3D ultrarelativistic (d=3,s=1d=3,s=1, photons).

Step 3. Count occupied states at T=0T=0 in 3D. A Fermi gas fills every state up to εF\varepsilon_F, so N=N(εF)=gsV6π2(2mεF/ℏ2)3/2N=\mathcal N(\varepsilon_F)=\frac{g_s V}{6\pi^2}(2m\varepsilon_F/\hbar^2)^{3/2} from Eq. (6). Why: the cumulative count N\mathcal N is just the p\mathbf p-sphere volume of radius pF=2mεFp_F=\sqrt{2m\varepsilon_F} divided by the cell — the integrated form of the ε\sqrt\varepsilon law.

Step 4. Invert for the Fermi energy. Solving (2mεF/ℏ2)3/2=6π2n/gs(2m\varepsilon_F/\hbar^2)^{3/2}=6\pi^2 n/g_s gives εF=ℏ22m(6π2n/gs)2/3=ℏ22m(3π2n)2/3\varepsilon_F=\frac{\hbar^2}{2m}(6\pi^2 n/g_s)^{2/3}=\frac{\hbar^2}{2m}(3\pi^2 n)^{2/3} for gs=2g_s=2. A useful corollary follows immediately: since N∝ε3/2\mathcal N\propto\varepsilon^{3/2}, g(εF)=dN/dε∣εF=32N/εFg(\varepsilon_F)=\mathrm{d}\mathcal N/\mathrm{d}\varepsilon|_{\varepsilon_F}=\tfrac32 N/\varepsilon_F. Why: the 32\tfrac32 ratio between the DOS at the surface and N/εFN/\varepsilon_F is exactly what makes the electronic heat capacity Ce=π23g(εF)kB2TC_e=\frac{\pi^2}{3}g(\varepsilon_F)k_B^2 T come out as π22NkB(T/TF)\frac{\pi^2}{2}Nk_B(T/T_F) downstream. Verified: the exponent d/s−1d/s-1 for (d,s)=(3,2),(2,2),(1,2),(3,1)(d,s)=(3,2),(2,2),(1,2),(3,1), the inversion εF=ℏ22m(3π2n)2/3\varepsilon_F=\frac{\hbar^2}{2m}(3\pi^2 n)^{2/3} with numeric copper εF=7.0\varepsilon_F=7.0 eV, and the corollary g(εF)=32N/εFg(\varepsilon_F)=\tfrac32 N/\varepsilon_F are checked in verify_density-of-states-free-particles.py.

Limiting cases

With dispersion ε∝ps\varepsilon\propto p^{s} in dd dimensions the DOS exponent is d/s−1d/s-1. The four diagnostic cases:

CaseResultMeaning
3D nonrelativistic (d=3,s=2d=3,s=2)g(ε)∝εg(\varepsilon)\propto\sqrt{\varepsilon}Vanishes at the band edge; the standard Fermi/Bose gas — condensation possible, finite g(εF)g(\varepsilon_F)
2D nonrelativistic (d=2,s=2d=2,s=2)g(ε)=gsmA2πℏ2=constg(\varepsilon)=\dfrac{g_s mA}{2\pi\hbar^2}=\text{const}Energy-independent; the ideal 2D Bose gas has no finite-TT BEC; clean closed-form thermodynamics
1D nonrelativistic (d=1,s=2d=1,s=2)g(ε)∝ε−1/2g(\varepsilon)\propto\varepsilon^{-1/2}Diverges at the band edge — a 1D van Hove singularity
3D ultrarelativistic (d=3,s=1d=3,s=1)g(ε)∝ε2g(\varepsilon)\propto\varepsilon^{2}Massless quanta (photons, gs=2g_s=2); seeds the Planck law and u∝T4u\propto T^4

Worked examples

Example 1 — Count the states in a small energy window and read off the density of states.

Step 1. Setup. Take a cube of side L=1 nmL=1\ \mathrm{nm} (V=10−27 m3V=10^{-27}\,\mathrm{m^3}) holding spin-12\tfrac12 electrons (gs=2g_s=2, m=9.109×10−31m=9.109\times10^{-31} kg). Ask: how many single-particle states lie below ε=1 eV=1.602×10−19\varepsilon=1\ \mathrm{eV}=1.602\times10^{-19} J?

Step 2. Apply the cumulative count. N(ε)=gsV6π2(2mε/ℏ2)3/2\mathcal N(\varepsilon)=\frac{g_s V}{6\pi^2}(2m\varepsilon/\hbar^2)^{3/2}. Compute 2mε/ℏ2=2(9.109×10−31)(1.602×10−19)(1.0546×10−34)2=2.625×1019 m−22m\varepsilon/\hbar^2=\frac{2(9.109\times10^{-31})(1.602\times10^{-19})}{(1.0546\times10^{-34})^2}=2.625\times10^{19}\,\mathrm{m^{-2}}, so (2mε/ℏ2)3/2=1.345×1029 m−3(2m\varepsilon/\hbar^2)^{3/2}=1.345\times10^{29}\,\mathrm{m^{-3}}.

Step 3. Evaluate. N=2×10−276π2×1.345×1029=2×10−2759.22×1.345×1029=4.54\mathcal N=\frac{2\times10^{-27}}{6\pi^2}\times1.345\times10^{29}=\frac{2\times10^{-27}}{59.22}\times1.345\times10^{29}=\mathbf{4.54} states below 1 eV. A cubic nanometer of free electrons has only a handful of states in the first electron-volt — states are sparse in a small box.

Step 4. Read off the DOS at 1 eV. g(ε)=32N/ε=1.5×4.54/(1 eV)=6.8 eV−1g(\varepsilon)=\tfrac32\mathcal N/\varepsilon=1.5\times4.54/(1\ \mathrm{eV})=\mathbf{6.8\ eV^{-1}} for this box. The relation g=32N/εg=\tfrac32\mathcal N/\varepsilon is exact for the ε\sqrt\varepsilon law and is the fastest way to get g(εF)g(\varepsilon_F) once you know NN and εF\varepsilon_F.

Example 2 — Density of states at the Fermi surface of copper.

Step 1. Setup. Copper has one conduction electron per atom, n=8.49×1028 m−3n=8.49\times10^{28}\,\mathrm{m^{-3}}, gs=2g_s=2. First get the Fermi energy from Eq. (6) inverted: εF=ℏ22m(3π2n)2/3\varepsilon_F=\frac{\hbar^2}{2m}(3\pi^2 n)^{2/3}.

Step 2. Fermi energy. 3π2n=3π2(8.49×1028)=2.514×10303\pi^2 n=3\pi^2(8.49\times10^{28})=2.514\times10^{30}, so (3π2n)2/3=(2.514×1030)2/3=1.848×1020 m−2(3\pi^2 n)^{2/3}=(2.514\times10^{30})^{2/3}=1.848\times10^{20}\,\mathrm{m^{-2}}; then εF=(1.0546×10−34)22(9.109×10−31)×1.848×1020=1.128×10−18 J=7.04 eV\varepsilon_F=\frac{(1.0546\times10^{-34})^2}{2(9.109\times10^{-31})}\times1.848\times10^{20}=1.128\times10^{-18}\,\mathrm{J}=\mathbf{7.04\ eV}, matching the measured copper value.

Step 3. DOS per unit volume at εF\varepsilon_F. Using g(εF)/V=32n/εFg(\varepsilon_F)/V=\tfrac{3}{2}n/\varepsilon_F (the exact corollary), g(εF)/V=1.5×8.49×1028/(1.128×10−18 J)=1.129×1047 J−1m−3g(\varepsilon_F)/V=1.5\times8.49\times10^{28}/(1.128\times10^{-18}\,\mathrm{J})=1.129\times10^{47}\,\mathrm{J^{-1}m^{-3}}.

Step 4. Convert to friendly units. Multiplying by 1.602×10−19 J/eV1.602\times10^{-19}\,\mathrm{J/eV} gives g(εF)/V=1.81×1028 eV−1m−3=1.81×1022 eV−1cm−3g(\varepsilon_F)/V=\mathbf{1.81\times10^{28}\ eV^{-1}m^{-3}}=1.81\times10^{22}\ \mathrm{eV^{-1}cm^{-3}}. This number, plugged into Ce=π23g(εF)kB2TC_e=\frac{\pi^2}{3}g(\varepsilon_F)k_B^2T, predicts copper's Sommerfeld coefficient γ≈0.7 mJ mol−1K−2\gamma\approx0.7\ \mathrm{mJ\,mol^{-1}K^{-2}} — within a factor of the measured 0.690.69, the small residual being the band-structure effective mass.

Origins · 1 minfelix bloch and how this was discovered
FB
felix bloch
1905–1983 · Felix Bloch showed in 1928 that electrons in a periodic potential occupy Bloch waves, replacing the free-particle spectrum with energy bands — turning the smooth free-electron density of states derived here into the structured density of states of real solids, complete with van Hove singularities and band gaps. His theorem is why the free-particle DOS is the backbone on which solid-state physics builds. He later founded nuclear magnetic resonance, sharing the 1952 Nobel Prize in Physics.

History
1900
— Drude models metals as a classical electron gas, but the electronic heat capacity comes out far too large
1926
— Fermi and, independently, Dirac formulate the quantum statistics of exclusion-obeying particles
1927
— Sommerfeld replaces the classical gas with a degenerate free-electron gas, resolving the heat-capacity puzzle using the density of states at the Fermi surface
1928
— Bloch proves that periodic potentials give energy bands, generalizing the free-electron density of states to real crystals
1953
— Van Hove classifies the singularities that band structure imprints on the density of states

Going further

  • Texts: Pathria & Beale, Statistical Mechanics (3rd ed.), §§6.1, 7.1, 8.1; Kardar, Statistical Physics of Particles, Ch. 7; Reif, Fundamentals of Statistical and Thermal Physics, §9.9; Ashcroft & Mermin, Solid State Physics, Ch. 2; Landau & Lifshitz, Statistical Physics Part 1, §§56–57.
  • Microscopic owner: the box quantization and the ρ(E)\rho(E) machinery are owned by aq-qm-particle-in-3d-box (the box levels "crowd together into a smooth density of states that scales as the volume") and aq-qm-density-of-final-states ("the ρ(E)\rho(E) that counts final states … is identical to the g(E)g(E) that appears in the partition function and the Fermi/Bose occupation sums"). This article owns the resulting g(ε)g(\varepsilon) and its power law.
  • Builds on: Quantum Statistics of Ideal Gases: Occupation Numbers · Particle in a box quantization · the SM4 sibling Density of States in Energy (which first built g(ε)g(\varepsilon) in the quantum-statistics chapter) · Density of States in k-Space.
  • Leads to: Fermi Energy, Momentum and Fermi Temperature · Sommerfeld Expansion · Electronic Heat Capacity of Metals · Bose-Einstein Condensation in the Ideal Gas · Photon Gas and Planck Radiation Law.
  • Provenance: AllQFT `sm` export (Pathria & Beale, §§6.1/7.1/8.1), aq-sm-density-of-states-free-particles, ref STAT.IQGAS.DOSFP.1221. All prefactors, exponents, and the copper numbers are python-verified (17 checks, all PASS). The copper εF=7.04\varepsilon_F=7.04 eV and g(εF)/V=1.81×1028 eV−1m−3g(\varepsilon_F)/V=1.81\times10^{28}\ \mathrm{eV^{-1}m^{-3}} reproduce the standard Ashcroft-Mermin values.
What is the difference between the density of states here and the one in the quantum-mechanics track?

There is none — it is the same object viewed in two contexts. The quantum-mechanics article aq-qm-density-of-final-states states it directly: "the ρ(E)\rho(E) that counts final states in a transition rate is identical to the g(E)g(E) that appears in the partition function and the Fermi/Bose occupation sums — both count quantum states per unit energy." Quantum mechanics owns the machinery (the box spectrum, the V/(2π)3V/(2\pi)^3 cell density, how ρ(E)\rho(E) enters a golden-rule rate). This statistical-mechanics article takes that machinery as given and owns the specific free-particle g(ε)=gsV4π2(2m/ℏ2)3/2εg(\varepsilon)=\frac{g_s V}{4\pi^2}(2m/\hbar^2)^{3/2}\sqrt\varepsilon that gets plugged into the occupation sums.

Why does the square root of energy appear, physically?

Because in 3D the constant-energy surfaces are spheres, and a sphere's surface area grows as p2p^2. When you raise the energy by dε\mathrm{d}\varepsilon, the shell that enters has area 4πp24\pi p^2 and thickness dp\mathrm{d}p; the number of states in it is proportional to that area. Since p=2mεp=\sqrt{2m\varepsilon}, the area ∝p2∝ε\propto p^2\propto\varepsilon, but the shell thickness dp/dε∝1/p∝ε−1/2\mathrm{d}p/\mathrm{d}\varepsilon\propto1/p\propto\varepsilon^{-1/2} trims it down, leaving g∝ε⋅ε−1/2=εg\propto\varepsilon\cdot\varepsilon^{-1/2}=\sqrt\varepsilon. The ε\sqrt\varepsilon is the net of a growing sphere and a thinning shell.

Where does the internal degeneracy factor g_s come from and when is it 2?

gsg_s counts the number of internal states each momentum mode carries. For electrons (and any spin-12\tfrac12 fermion) there are two spin projections, gs=2s+1=2g_s=2s+1=2. For photons it is the two transverse polarizations, gs=2g_s=2. For spin-1 phonons in a solid it is the three acoustic branches (one longitudinal, two transverse). It multiplies g(ε)g(\varepsilon) linearly, so it also enters εF\varepsilon_F: since εF∝(n/gs)2/3\varepsilon_F\propto(n/g_s)^{2/3}, dropping the factor of 2 for electrons would raise the predicted Fermi energy by 22/3≈1.592^{2/3}\approx1.59 — a large and common error.

Does the density of states depend on the boundary conditions of the box?

Only through terms that vanish in the thermodynamic limit. Periodic boundary conditions give k=(2π/L)n\mathbf k=(2\pi/L)\mathbf n over all of k\mathbf k-space; hard walls give k=(π/L)n\mathbf k=(\pi/L)\mathbf n restricted to the positive octant. The finer spacing of the hard-wall lattice (factor 2d2^d more points) is exactly cancelled by the restriction to one octant (factor 2d2^d fewer), so the bulk g(ε)g(\varepsilon) is identical. The differences are surface corrections of order (area/volume), which scale as 1/L1/L and are negligible for macroscopic samples — the reason we can use the simpler periodic form freely.

Why is the density of states introduced before the Fermi energy or BEC?

Because it is the common ingredient in all of them. The Fermi energy is ∫0εFg dε=N\int_0^{\varepsilon_F}g\,\mathrm{d}\varepsilon=N inverted; Bose-Einstein condensation is decided by whether ∫0∞g nˉBE dε\int_0^\infty g\,\bar n_{\mathrm{BE}}\,\mathrm{d}\varepsilon stays finite as μ→0\mu\to0; the electronic heat capacity is π23g(εF)kB2T\frac{\pi^2}{3}g(\varepsilon_F)k_B^2T; the Planck law is the photon g(ε)∝ε2g(\varepsilon)\propto\varepsilon^2 against the Bose occupation. Every one of these is ∫g(ε) f(ε) dε\int g(\varepsilon)\,f(\varepsilon)\,\mathrm{d}\varepsilon for some ff. Build g(ε)g(\varepsilon) once and the rest of the chapter is one-dimensional energy integrals.

How does the exponent d/s−1 decide whether a Bose gas condenses?

For a Bose gas the number of particles in excited states is Nexc=∫0∞g(ε)/(eε/kBT−1) dεN_{\mathrm{exc}}=\int_0^\infty g(\varepsilon)/(e^{\varepsilon/k_BT}-1)\,\mathrm{d}\varepsilon at μ=0\mu=0. Near ε=0\varepsilon=0 the occupation blows up as kBT/εk_BT/\varepsilon, so the integrand behaves as g(ε)/ε∝εd/s−2g(\varepsilon)/\varepsilon\propto\varepsilon^{d/s-2}. This is integrable at the lower limit only if d/s−2>−1d/s-2>-1, i.e. d/s>1d/s>1. The 3D nonrelativistic gas has d/s=3/2>1d/s=3/2>1, so NexcN_{\mathrm{exc}} is bounded and a condensate forms once NN exceeds it; the 2D gas has d/s=1d/s=1 exactly, the integral diverges logarithmically, and there is no finite-temperature BEC. The whole condensation question is settled by one exponent.

Is the ultrarelativistic photon result really the same formula?

Yes — it is the same master formula with a different dispersion. Photons have ε=cp\varepsilon=cp (so s=1s=1) and two polarizations (gs=2g_s=2), which the general result g∝εd/s−1g\propto\varepsilon^{d/s-1} turns into g(ε)=Vε2π2(ℏc)3g(\varepsilon)=\frac{V\varepsilon^2}{\pi^2(\hbar c)^3} in 3D. That ε2\varepsilon^2 growth, fed into the Bose occupation at μ=0\mu=0, is precisely what produces the Planck spectral shape and the Stefan-Boltzmann u∝T4u\propto T^4. The free-particle ε\sqrt\varepsilon and the photon ε2\varepsilon^2 are two evaluations of the identical geometric counting.

Before this

Where this leads