Density of States in k-Space
A free quantum particle confined to a box cannot carry arbitrary momentum: the boundary conditions select a discrete set of allowed wavevectors . Counting these modes is the foundational bookkeeping of quantum statistical mechanics, because nearly every thermodynamic quantity of an ideal gas — pressure, energy, particle number — is a sum over single-particle modes weighted by an occupation factor. The observation that makes the sum tractable is geometric and strikingly simple: the allowed sit on a uniform cubic lattice in reciprocal space, one state per cell of volume . We take the microscopic spectrum from quantum mechanics. In aq-qm-particle-in-3d-box, solving the free Schrödinger equation in a cube gives product standing waves whose energy "depends only on the sum ," so that "states of equal energy therefore lie on a sphere of fixed radius " — the "degeneracy" that the QM article identifies as "the central new phenomenon of the three-dimensional problem," where "counting degeneracy becomes counting lattice points on a sphere." That article even notes that the count below "scales as the volume, giving a density of states — the entry point to the free-electron model of metals." What this statistical-mechanics article owns is the bulk mode-counting rule: the uniform reciprocal-space density , and the replacement that turns quantum discreteness into the continuous integrals of the grand canonical ensemble. Because the cells are uniform and tiny for macroscopic , the spectrum is effectively a continuum. This single substitution underlies the Bose–Einstein and Fermi–Dirac thermodynamics, the blackbody spectrum, the Debye theory of solids, and the Sommerfeld theory of metals. The energy-space companion — obtained by folding in a dispersion relation — is owned by aq-sm-density-of-states-energy; here we build the raw -space lattice, its universal density, and the shell that converts it into an energy count.
- We take from QM (aq-qm-particle-in-3d-box): the box spectrum, standing waves , and the degeneracy in which "states of equal energy lie on a sphere of radius ."
- A particle in a box of volume has wavevectors quantized so that (with periodic boundary conditions) allowed form a uniform cubic lattice with spacing .
- Each mode occupies a -space cell , so the density of modes is the constant , independent of and of the dispersion relation.
- This converts sums into integrals: — the workhorse of ideal quantum gases.
- An isotropic energy count uses a spherical shell ; spin (or polarization) multiplies by a degeneracy factor .
- Key idea: in a box of volume , allowed wavevectors form a uniform lattice with one mode per cell ; the density of modes is therefore the constant , and — the sum-to-integral bridge for every quantum gas.
In a box of volume , allowed wavevectors form a uniform lattice in -space with one mode per cell ; hence the density of modes is the constant , and . The microscopic box spectrum is owned by aq-qm-particle-in-3d-box; SM owns the bulk counting rule and its continuum limit.
Where this lives today
The uniform -space density is the first line of essentially every ideal-gas calculation in condensed matter and statistical physics. Filling the lattice with electrons up to the Fermi wavevector defines the Fermi sphere that fixes the electronic properties of every metal; wrapping the shell around photon modes gives the blackbody spectrum and the cosmic microwave background; the same counting with a Debye cutoff yields the low-temperature heat capacity of solids. In modern nanoscience the dimensional version matters directly: quantum wells (2D, constant density of states), quantum wires (1D, van Hove singularities), and quantum dots (0D, discrete levels) engineer the density of states by confining electrons in fewer dimensions, and the whole discussion starts from the mode-counting rule built here.
The physical picture
Imagine reciprocal space tiled by a grid of tiny boxes, each of side . Every quantum state of the particle sits at exactly one grid point, and the grid is perfectly uniform — no region of -space is privileged. Counting states then reduces to measuring a volume and dividing by the cell size. This uniformity is the whole content of the -space density of states, and it is why the seemingly hard problem of summing over a quantum spectrum becomes an easy integral. The factor per state is the -space analogue of the phase-space cell per state in classical mechanics: multiplying by converts the -space measure into the momentum measure , recovering the familiar phase-space counting. Quantum mechanics thus reproduces — and justifies — the classical cell that Sackur and Tetrode had to postulate. The energy dependence people care about lives entirely in the conversion: states of energy near lie on a constant-energy surface, and a spherical shell of that surface holds a -space volume , which is where the eventual growth of the energy density of states will come from — worked out in aq-sm-density-of-states-energy.
The picture that carries the whole subject: allowed modes are a uniform lattice, so counting is just volume ÷ cell. An isotropic energy count wraps a spherical shell around the origin and multiplies by the constant density .
The payoff of universality: the choice of boundary condition changes the lattice but not the bulk count. The factor-of-eight denser hard-wall grid is exactly undone by restricting to the positive octant.
The core equations
Periodicity over the box side quantizes each wavevector component to integer multiples of . This is the mode set we count.
where: — box side, ; — Cartesian component of ; — integer quantum number. Physical reading: with periodic boundary conditions each component is an integer step of , so the allowed tile reciprocal space on a simple cubic lattice. Each allowed mode therefore owns a small cube of reciprocal space, and the inverse of that cube's volume is the number of modes per unit -space volume.
where: — -space volume per state; — modes per unit -space volume. Physical reading: is a constant, the same everywhere in reciprocal space — the single fact that makes quantum sums tractable. Because the density is uniform, a sum over modes becomes a simple integral; writing turns it into the classical phase-space measure with its cell.
where: — Planck constant; — momentum. Physical reading: quantum mode counting reproduces the classical phase-space cell per state — the microscopic justification of a rule Sackur and Tetrode had to assume. Internal degeneracy (spin, polarization) simply multiplies the count, and an isotropic energy count wraps a spherical shell around the origin.
where: — internal degeneracy ( for spin-, for photon polarizations); — volume of a thin spherical shell in 3D -space. Physical reading: this shell is the object that, together with a dispersion relation , produces the energy density of states in aq-sm-density-of-states-energy.
Derivations
The goal is to derive the constant -space mode density from the box spectrum, and to show it is the geometry of the quantization lattice alone — independent of the particle's mass or dispersion relation. We take the single-particle spectrum from aq-qm-particle-in-3d-box (the standing waves and the energy pattern), impose periodic boundary conditions to obtain the lattice, and read off the density as one over the cell volume. The payoff is the sum-to-integral rule that every ideal-quantum-gas calculation begins with.
Step 1. Take the free-particle eigenstates. In a box the energy eigenstates are plane waves (periodic) with energy ; the equivalent standing-wave form and the degeneracy on spheres of radius are owned by aq-qm-particle-in-3d-box. Why: the mode set is inherited from the quantum problem; SM only counts it.
Step 2. Impose periodicity. Requiring gives with , so the allowed are the points of a simple cubic lattice of spacing . Why: the wavefunction must close on itself around the box, quantizing each component independently.
Step 3. Find the cell volume. Each lattice unit cell contains exactly one allowed and has volume . Why: one point per cube of side is the definition of the lattice spacing.
Step 4. Read off the density. The number of modes per unit -space volume is , a constant. Multiplying by turns into , recovering the phase-space cell. Why: the density is one over the cell volume and carries no dependence, which is precisely why the discrete sum becomes an integral with a constant prefactor. This matches aq-qm-density-of-final-states, whose eq. (1) states . Verified: the cell volume , the density , and the conversion to the phase-space cell are checked symbolically in verify_density-of-states-k-space.py.
Go deeper · Derivation B · 1 minEquivalence of periodic and hard-wall boundary conditions
The goal is to prove that hard-wall (Dirichlet, standing-wave) boundary conditions yield the same bulk density of states as periodic ones, despite a different lattice spacing — so that the convenient periodic choice costs nothing physical. Hard walls give sine standing waves with spacing and only positive , an eightfold-denser grid restricted to one octant; we show the two changes cancel exactly, leaving the bulk density unchanged and boundary terms subleading in the thermodynamic limit (Weyl's law).
Step 1. Write the hard-wall modes. Vanishing at the walls forces with , — spacing , half the periodic spacing, and only positive integers. Why: a standing wave pinned to zero at both walls fits an integer number of half-wavelengths, and with negative is not an independent state.
Step 2. Restrict to the octant. Since describes the same physical state, only the positive octant of -space is counted — a factor in 3D. Why: the standing wave has no directional sign, so negative components double-count.
Step 3. Count states in a shell. The hard-wall density is , applied over of the shell: . Why: density times the fraction of the shell that lies in the allowed octant.
Step 4. Compare with periodic. The periodic count is — identical. The eightfold-denser grid ( from halving the spacing) is exactly cancelled by the octant, and boundary corrections scale as surface/volume . Why: the two competing factors of cancel, so the bulk density of states is boundary-condition-independent in the thermodynamic limit — Weyl's law. Verified: the identity and the eightfold cancellation are checked symbolically in verify_density-of-states-k-space.py.
Limiting cases
The -space density is universal; only the energy conversion (owned by 1212) depends on dimension and dispersion. The shell factor makes this concrete.
| Case | -space count | Consequence for (SM 1212) |
|---|---|---|
| 3D, periodic BC | for | |
| 2D | const | |
| 1D | (van Hove edge) | |
| Photons/ultrarelativistic 3D | same shell, | (Stefan–Boltzmann) |
| Hard-wall BC | identical bulk density (Weyl) |
Worked examples
Example 1 — Count the states in a small k-shell for a real box.
Step 1. Setup. Take a cube of side m, so . Count the modes with between and with (spin-0, ).
Step 2. Cell and density. The cell volume is ; the density is . (Check: . ✓)
Step 3. Shell volume. .
Step 4. State count. modes. A macroscopic box packs astronomically many states into a thin shell — which is exactly why the discrete sum is safely replaced by an integral.
Example 2 — Fill the box with electrons: recover the Fermi wavevector.
Step 1. Setup. Put electrons ( for spin) into the box, filling all -states up to . Count them: .
Step 2. Solve for . Rearranging, , so .
Step 3. Number for copper. With : , so .
Step 4. Meaning. This (and the Fermi energy eV it implies) come purely from the uniform -space density and the electron count — the mode-counting rule of this article, filled with electrons up to the Fermi surface that aq-qm-particle-in-3d-box names as "the entry point to the free-electron model of metals."
Origins · 1 minreciprocal space and how this was discovered
Going further
- Texts: Pathria & Beale, Statistical Mechanics (3rd ed.), §1.4, §6.1, §7.1; Kardar, Statistical Physics of Particles, Ch. 7; Reif, Fundamentals of Statistical and Thermal Physics, §9.9–9.10; Ashcroft & Mermin, Solid State Physics, Ch. 2; Landau & Lifshitz, Statistical Physics Part 1, §53.
- Microscopic owner: the box spectrum, standing waves , and the degeneracy ("states of equal energy lie on a sphere of radius ") are owned by aq-qm-particle-in-3d-box; the measure is shared with aq-qm-density-of-final-states.
- Builds on: Occupation Number Representation · Thermal de Broglie Wavelength · aq-qm-particle-in-3d-box.
- Leads to: Density of States in Energy (aq-sm-density-of-states-energy, folds in the dispersion) · Grand Canonical Ensemble for Ideal Quantum Gases · Bose–Einstein Distribution · Fermi–Dirac Distribution · Maxwell–Boltzmann Classical Limit.
- Provenance: AllQFT `sm` export (Pathria & Beale), aq-sm-density-of-states-k-space, ref STAT.QSTAT.DOSK.1211. All counts (cell volume, , the conversion, the hard-wall cancellation, the -shell number, for copper) python-verified (verify_density-of-states-k-space.py, all checks PASS).
Why use periodic boundary conditions when real boxes have hard walls?
Because they are far more convenient and cost nothing in the bulk. Periodic conditions give plane-wave eigenstates that carry momentum and make integrals simple, whereas hard walls give standing waves that are clumsier to sum. The second derivation proves the two give the identical bulk density of states , with any difference confined to boundary terms that scale as surface/volume and vanish in the thermodynamic limit (Weyl's law). So for extensive quantities the periodic choice is exact.
Is V/(2π)³ really independent of the dispersion relation?
Yes. The -space density counts allowed wavevectors, which are fixed by the boundary conditions alone — it does not know whether the particle is massive (), a photon (), or anything else. The dispersion relation enters only when you convert to an energy count , through the shell and the Jacobian . That is why this article can be dispersion-agnostic and the energy-DOS article (1212) cannot.
Where does the factor h³ per state come from physically?
It is the quantum cell of phase space. Writing turns the -space measure into , so each quantum state occupies a phase-space volume (one factor of per position–momentum pair). This is the microscopic origin of the that Sackur and Tetrode had to insert by hand into the classical partition function to get absolute entropies right — quantum mode counting derives it.
Why a spherical shell and not a cube?
The shell is used because the energy of a free particle depends only on the magnitude , so all states with energy near lie on a sphere of radius . Counting them means measuring the -space volume between two nearby spheres, which is the shell . If the dispersion were anisotropic (as in a crystal), the constant-energy surface would not be a sphere and one would integrate over its actual shape — but for a free particle the sphere is exact.
How does spin enter the counting?
Spin (or any internal degree of freedom) simply multiplies every mode count by a degeneracy factor . For spin- particles , so electrons contribute and photons (two transverse polarizations). It appears as an overall prefactor in and carries straight through to ; for electrons it is why a single spatial -mode holds two particles and why the Fermi sphere holds spatial modes.
Does this article compute g(ε)?
Only in passing, to preview it. This article owns the -space lattice, the constant density , and the shell ; the conversion to the energy density of states , including the dispersion Jacobian and the dimensional scaling , is owned by aq-sm-density-of-states-energy. Here the shell is where the story stops; there it becomes the object plugged into the Bose and Fermi occupation sums.