Skip to content

Sommerfeld Expansion

The Sommerfeld expansion is the low-temperature asymptotic expansion of an energy integral weighted by the Fermi–Dirac occupation. Its standard form turns

I(T,μ)=∫ϵ0∞dϵ φ(ϵ)f(ϵ;μ,T)I(T,\mu) = \int_{\epsilon_0}^{\infty} d\epsilon\, \varphi(\epsilon) f(\epsilon;\mu,T)

into a zero-temperature integral plus derivatives of the smooth factor φ\varphi evaluated at the chemical potential.

Here

f(ϵ;μ,T)=1e(ϵ−μ)/(kBT)+1f(\epsilon;\mu,T) = \frac{1}{ e^{(\epsilon-\mu)/(k_{\mathrm B}T)}+1 }

is the Fermi–Dirac distribution, and ϵ0\epsilon_0 is the lower edge of the one-particle spectrum or band under consideration.

The method works because a low-temperature Fermi function differs from the step function Θ(μ−ϵ)\Theta(\mu-\epsilon) only in a narrow energy window of width O(kBT)O(k_{\mathrm B}T). If φ\varphi varies smoothly across that window, only its local derivatives near ϵ=μ\epsilon=\mu matter.

The Sommerfeld expansion is local in energy but global in bookkeeping. The coefficients come from the thermal window near μ\mu, while a fixed-particle-number calculation must also determine how μ\mu shifts with temperature.

This page is the canonical home for the mathematical expansion, its assumptions, the fixed-NN correction, and its application to low-temperature energy and heat capacity. Degenerate Fermi Gas owns the physical regime, Fermi Surface owns the momentum-space geometry, and Ideal Fermi Gas owns the complete three-dimensional model.

It is useful to abbreviate the thermal energy by

τ≡kBT.\tau \equiv k_{\mathrm B}T.

The expansion parameter is not temperature by itself. It is a dimensionless ratio such as

τEvar≪1,\frac{\tau}{E_{\mathrm{var}}} \ll 1,

where EvarE_{\mathrm{var}} is the smallest energy scale over which φ\varphi changes appreciably near μ\mu. The distance to a band edge or singularity can be an equally important scale.

Unless stated otherwise, assume:

  • T>0T>0 and μ\mu lies inside a continuum of states;
  • μ−ϵ0≫τ\mu-\epsilon_0\gg\tau;
  • φ\varphi is sufficiently differentiable near μ\mu;
  • φ\varphi and its derivatives grow slowly enough for the integrals to exist;
  • no discontinuity, gap edge, or van Hove singularity lies within the thermal window;
  • the continuum integral is appropriate, so the relevant level spacing is much smaller than τ\tau.

The Asymptotic Analysis page explains why an asymptotic series need not converge to be useful.

Under the stated assumptions,

I(T,μ)=∫ϵ0μdϵ φ(ϵ)+π26τ2φ′(μ)+7π4360τ4φ′′′(μ)+O(τ6).\begin{aligned} I(T,\mu) ={}& \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon) \\ &+ \frac{\pi^2}{6} \tau^2 \varphi'(\mu) \\ &+ \frac{7\pi^4}{360} \tau^4 \varphi'''(\mu) \\ &+ O(\tau^6). \end{aligned}

Only odd derivatives of φ\varphi appear, and only even powers of TT occur. The reason is a particle–hole symmetry of the thermal broadening kernel about ϵ=μ\epsilon=\mu.

The general formal series is

I(T,μ)∼∫ϵ0μdϵ φ(ϵ)+∑n=1∞c2nτ2nφ(2n−1)(μ),\begin{aligned} I(T,\mu) \sim{}& \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon) \\ &+ \sum_{n=1}^{\infty} c_{2n} \tau^{2n} \varphi^{(2n-1)}(\mu), \end{aligned}

with

c2n=2(1−21−2n)ζ(2n).c_{2n} = 2 \left( 1-2^{1-2n} \right) \zeta(2n).

The first coefficients are

nc2n1π2/627π4/360331π6/15120\begin{array}{c|c} n & c_{2n} \\ \hline 1 & \pi^2/6 \\ 2 & 7\pi^4/360 \\ 3 & 31\pi^6/15120 \end{array}

The symbol ∼\sim emphasizes asymptotic equality as τ\tau tends to zero under fixed smoothness and scale assumptions.

Two related functions encode the low-temperature localization. The occupation ff smooths the zero-temperature step, while

wT(ϵ)≡−∂f∂ϵ=14τsech⁡2(ϵ−μ2τ)\begin{aligned} w_T(\epsilon) &\equiv -\frac{\partial f}{\partial\epsilon} \\ &= \frac{1}{4\tau} \operatorname{sech}^2 \left( \frac{\epsilon-\mu}{2\tau} \right) \end{aligned}

is a positive, normalized kernel concentrated near μ\mu.

Fermi occupation and normalized thermal-window kernel at two temperatures

On a fixed energy scale E∗E_*, cooling sharpens the Fermi step and narrows wT=−∂f/∂ϵw_T=-\partial f/\partial\epsilon. The kernel keeps unit area, so its height grows as its width shrinks.

On the full energy line,

∫−∞∞dϵ wT(ϵ)=1.\int_{-\infty}^{\infty} d\epsilon\, w_T(\epsilon) = 1.

Its odd central moments vanish. The first nonzero even moments are

∫−∞∞dϵ (ϵ−μ)2wT(ϵ)=π23τ2\int_{-\infty}^{\infty} d\epsilon\, (\epsilon-\mu)^2 w_T(\epsilon) = \frac{\pi^2}{3} \tau^2

and

∫−∞∞dϵ (ϵ−μ)4wT(ϵ)=7π415τ4.\int_{-\infty}^{\infty} d\epsilon\, (\epsilon-\mu)^4 w_T(\epsilon) = \frac{7\pi^4}{15} \tau^4.

Thus wTw_T approaches the Dirac delta distribution as T→0T\to0:

wT(ϵ)⟶δ(ϵ−μ).w_T(\epsilon) \longrightarrow \delta(\epsilon-\mu).

The Sommerfeld expansion refines this delta-kernel limit by retaining its even moments.

Define the zero-temperature contribution at the same value of μ\mu:

I0(μ)=∫ϵ0μdϵ φ(ϵ).I_0(\mu) = \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon).

The thermal correction is

ΔI=I(T,μ)−I0(μ)=∫μ∞dϵ φ(ϵ)f(ϵ)−∫ϵ0μdϵ φ(ϵ)[1−f(ϵ)].\begin{aligned} \Delta I ={}& I(T,\mu)-I_0(\mu) \\ ={}& \int_{\mu}^{\infty} d\epsilon\, \varphi(\epsilon)f(\epsilon) \\ &- \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon) \left[1-f(\epsilon)\right]. \end{aligned}

The first term counts thermally occupied states above μ\mu; the second subtracts holes created below μ\mu.

Set

x=∣ϵ−μ∣τ.x = \frac{|\epsilon-\mu|}{\tau}.

Using

f(μ+τx)=1−f(μ−τx)=1ex+1,f(\mu+\tau x) = 1-f(\mu-\tau x) = \frac{1}{e^x+1},

and extending the lower-side xx integral to infinity gives

ΔI=τ∫0∞dx φ(μ+τx)−φ(μ−τx)ex+1\Delta I = \tau \int_0^{\infty} dx\, \frac{ \varphi(\mu+\tau x) - \varphi(\mu-\tau x) }{e^x+1}

up to an endpoint correction exponentially small in (μ−ϵ0)/τ(\mu-\epsilon_0)/\tau under the usual regularity assumptions.

Taylor expansion about μ\mu yields

φ(μ+τx)−φ(μ−τx)=2∑n=1∞φ(2n−1)(μ)(2n−1)!(τx)2n−1.\begin{aligned} &\varphi(\mu+\tau x) - \varphi(\mu-\tau x) \\ &\qquad= 2 \sum_{n=1}^{\infty} \frac{ \varphi^{(2n-1)}(\mu) }{(2n-1)!} (\tau x)^{2n-1}. \end{aligned}

Even derivatives cancel because the expression is antisymmetric under x↦−xx\mapsto-x.

The required Fermi moments are

∫0∞dx xs−1ex+1=(1−21−s)Γ(s)ζ(s),\int_0^{\infty} dx\, \frac{x^{s-1}}{e^x+1} = \left(1-2^{1-s}\right) \Gamma(s) \zeta(s),

for the values s=2,4,6,…s=2,4,6,\ldots used here. Substituting s=2ns=2n cancels Γ(2n)=(2n−1)!\Gamma(2n)=(2n-1)! and gives

c2n=2(1−21−2n)ζ(2n).c_{2n} = 2 \left(1-2^{1-2n}\right) \zeta(2n).

This completes the formal derivation.

The derivative-kernel form is often more efficient. Introduce an antiderivative

Φ(ϵ)=∫ϵ0ϵdϵ′ φ(ϵ′).\Phi(\epsilon) = \int_{\epsilon_0}^{\epsilon} d\epsilon'\, \varphi(\epsilon').

Integration by parts gives

I(T,μ)=∫ϵ0∞dϵ Φ(ϵ)wT(ϵ),I(T,\mu) = \int_{\epsilon_0}^{\infty} d\epsilon\, \Phi(\epsilon) w_T(\epsilon),

provided the boundary terms vanish. Expand Φ\Phi about μ\mu:

Φ(ϵ)=∑r=0∞Φ(r)(μ)r!(ϵ−μ)r.\Phi(\epsilon) = \sum_{r=0}^{\infty} \frac{ \Phi^{(r)}(\mu) }{r!} (\epsilon-\mu)^r.

Only even moments of wTw_T survive. Since

Φ(μ)=∫ϵ0μdϵ φ(ϵ)\Phi(\mu) = \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon)

and

Φ(2n)(μ)=φ(2n−1)(μ),\Phi^{(2n)}(\mu) = \varphi^{(2n-1)}(\mu),

the same series follows immediately.

This form also gives the useful companion rule

∫−∞∞dϵ Ψ(ϵ)wT(ϵ)=Ψ(μ)+π26τ2Ψ′′(μ)+7π4360τ4Ψ(4)(μ)+O(τ6).\begin{aligned} &\int_{-\infty}^{\infty} d\epsilon\, \Psi(\epsilon) w_T(\epsilon) \\ &\qquad= \Psi(\mu) + \frac{\pi^2}{6} \tau^2 \Psi''(\mu) \\ &\qquad\quad+ \frac{7\pi^4}{360} \tau^4 \Psi^{(4)}(\mu) + O(\tau^6). \end{aligned}

Transport and response calculations often begin in this −∂f/∂ϵ-\partial f/\partial\epsilon form.

The mnemonic T≪TFT\ll T_{\mathrm F} is sufficient for a smooth free-particle density of states, but it is not the general criterion. Several independent checks are needed.

For a truncation through τ2M\tau^{2M}, the derivatives of φ\varphi needed through order 2M−12M-1 must exist and remain controlled in an energy neighborhood of width several τ\tau around μ\mu.

A practical variation scale is

Er∼∣φ(r)(μ)φ(r+1)(μ)∣,E_r \sim \left| \frac{ \varphi^{(r)}(\mu) }{ \varphi^{(r+1)}(\mu) } \right|,

when the ratio is meaningful. One needs τ\tau small compared with the relevant ErE_r.

For a lower edge ϵ0\epsilon_0, require

μ−ϵ0≫τ.\mu-\epsilon_0 \gg \tau.

For a finite band with upper edge ϵ1\epsilon_1, also require

ϵ1−μ≫τ.\epsilon_1-\mu \gg \tau.

Otherwise the thermal kernel samples an edge and the extension to an infinite xx range is not legitimate.

The ordinary series can fail when the density of states has a cusp, jump, logarithmic divergence, or power-law singularity at μ\mu. Nonanalytic corrections such as T2ln⁡TT^2\ln T, fractional powers, or edge-controlled exponentials may replace the regular even-power series.

The expansion acts on an integral. In a finite system with mean one-particle level spacing Δ\Delta, the smooth continuum approximation additionally needs

Δ≪τ.\Delta \ll \tau.

If τ≲Δ\tau\lesssim\Delta, individual levels, shell effects, parity effects, or Schottky-like crossovers can dominate.

If φ(ϵ,T)\varphi(\epsilon,T) depends explicitly on temperature, the Sommerfeld series expands only the Fermi weighting. The explicit TT dependence must be retained and differentiated separately.

The Sommerfeld series captures corrections in powers of τ\tau. It generally omits terms exponentially small in the distance from μ\mu to a spectral edge.

For example,

∫0∞dϵ f(ϵ;μ,T)=τln⁡(1+eμ/τ).\int_0^{\infty} d\epsilon\, f(\epsilon;\mu,T) = \tau \ln \left(1+e^{\mu/\tau}\right).

When μ/τ≫1\mu/\tau\gg1,

τln⁡(1+eμ/τ)=μ+τln⁡(1+e−μ/τ)=μ+O(τe−μ/τ).\begin{aligned} \tau \ln \left(1+e^{\mu/\tau}\right) &= \mu + \tau \ln \left(1+e^{-\mu/\tau}\right) \\ &= \mu + O \left( \tau e^{-\mu/\tau} \right). \end{aligned}

Because φ(ϵ)=1\varphi(\epsilon)=1 has vanishing odd derivatives, the algebraic Sommerfeld series stops at μ\mu. The remaining correction is not zero; it is beyond all orders in τ\tau.

Fixed Chemical Potential and Fixed Particle Number

Section titled “Fixed Chemical Potential and Fixed Particle Number”

The distinction between fixed μ\mu and fixed NN is the most important bookkeeping issue in applications.

For a density of states D(ϵ)D(\epsilon) that counts all included internal components, the mean particle number is

N(T,μ)=∫ϵ0∞dϵ D(ϵ)f(ϵ;μ,T).N(T,\mu) = \int_{\epsilon_0}^{\infty} d\epsilon\, D(\epsilon) f(\epsilon;\mu,T).

At fixed μ\mu,

N(T,μ)=∫ϵ0μdϵ D(ϵ)+π26τ2D′(μ)+O(τ4).\begin{aligned} N(T,\mu) ={}& \int_{\epsilon_0}^{\mu} d\epsilon\, D(\epsilon) \\ &+ \frac{\pi^2}{6} \tau^2 D'(\mu) + O(\tau^4). \end{aligned}

Thus the particle number generally changes with temperature in the grand canonical ensemble.

At fixed NN, define the Fermi energy ϵF\epsilon_{\mathrm F} by

N=∫ϵ0ϵFdϵ D(ϵ).N = \int_{\epsilon_0}^{\epsilon_{\mathrm F}} d\epsilon\, D(\epsilon).

Write

μ(T)=ϵF+δμ(T).\mu(T) = \epsilon_{\mathrm F} + \delta\mu(T).

Expanding the number constraint to order τ2\tau^2 gives

0=DF δμ+π26τ2DF′+O(τ4),0 = D_{\mathrm F}\,\delta\mu + \frac{\pi^2}{6} \tau^2 D'_{\mathrm F} + O(\tau^4),

where

DF≡D(ϵF),DF′≡D′(ϵF).D_{\mathrm F} \equiv D(\epsilon_{\mathrm F}), \qquad D'_{\mathrm F} \equiv D'(\epsilon_{\mathrm F}).

Therefore

δμ(T)=−π26τ2DF′DF+O(τ4).\delta\mu(T) = -\frac{\pi^2}{6} \tau^2 \frac{D'_{\mathrm F}}{D_{\mathrm F}} + O(\tau^4).

The sign is controlled by the local slope of the density of states:

  • if DF′>0D'_{\mathrm F}>0, then μ\mu decreases;
  • if DF′<0D'_{\mathrm F}<0, then μ\mu increases;
  • if DF′=0D'_{\mathrm F}=0, the T2T^2 shift vanishes.

The Chemical Potential page gives the broader thermodynamic meaning of this adjustment.

For noninteracting particles with one-particle energy ϵ\epsilon,

U(T,μ)=∫ϵ0∞dϵ ϵD(ϵ)f(ϵ;μ,T).U(T,\mu) = \int_{\epsilon_0}^{\infty} d\epsilon\, \epsilon D(\epsilon) f(\epsilon;\mu,T).

At fixed μ\mu, apply the expansion with

φU(ϵ)=ϵD(ϵ).\varphi_U(\epsilon) = \epsilon D(\epsilon).

At fixed NN, however, μ\mu also shifts. Expanding around ϵF\epsilon_{\mathrm F} gives

U(T,N)−U0=ϵFDFδμ+π26τ2[DF+ϵFDF′]+O(τ4).\begin{aligned} U(T,N)-U_0 ={}& \epsilon_{\mathrm F}D_{\mathrm F} \delta\mu \\ &+ \frac{\pi^2}{6} \tau^2 \left[ D_{\mathrm F} + \epsilon_{\mathrm F}D'_{\mathrm F} \right] \\ &+ O(\tau^4). \end{aligned}

Substituting the fixed-number shift cancels the terms proportional to DF′D'_{\mathrm F}:

U(T,N)−U0=π26DFτ2+O(τ4).U(T,N)-U_0 = \frac{\pi^2}{6} D_{\mathrm F} \tau^2 + O(\tau^4).

The constant-volume heat capacity at fixed particle number is therefore

CV,N=(∂U∂T)V,N=π23DFkB2T+O(T3).\begin{aligned} C_{V,N} &= \left( \frac{\partial U}{\partial T} \right)_{V,N} \\ &= \frac{\pi^2}{3} D_{\mathrm F} k_{\mathrm B}^2T + O(T^3). \end{aligned}

This result is universal within the smooth noninteracting setting: the leading coefficient depends on the density of one-particle states at the Fermi energy, not on its slope.

Define the Sommerfeld coefficient

γ≡π23kB2DF.\gamma \equiv \frac{\pi^2}{3} k_{\mathrm B}^2 D_{\mathrm F}.

Then, at fixed NN and VV,

CV,N=γT+O(T3).C_{V,N} = \gamma T + O(T^3).

Because S(0)=0S(0)=0 for a nondegenerate many-body ground state and

CV,N=T(∂S∂T)V,N,C_{V,N} = T \left( \frac{\partial S}{\partial T} \right)_{V,N},

the entropy is

S(T,N)=γT+O(T3).S(T,N) = \gamma T + O(T^3).

The Helmholtz free energy follows from F=U−TSF=U-TS:

F(T,N)=U0−γ2T2+O(T4).F(T,N) = U_0 - \frac{\gamma}{2} T^2 + O(T^4).

Equivalently,

F(T,N)=U0−π26DFτ2+O(τ4).F(T,N) = U_0 - \frac{\pi^2}{6} D_{\mathrm F} \tau^2 + O(\tau^4).

These relations connect the expansion to the Thermodynamic Potentials page.

For fixed μ\mu, the grand potential is

Ω(T,μ)=−τ∫ϵ0∞dϵ D(ϵ)ln⁡[1+e−(ϵ−μ)/τ].\Omega(T,\mu) = -\tau \int_{\epsilon_0}^{\infty} d\epsilon\, D(\epsilon) \ln \left[ 1+e^{-(\epsilon-\mu)/\tau} \right].

Since

N=−(∂Ω∂μ)T,V,N = - \left( \frac{\partial\Omega}{\partial\mu} \right)_{T,V},

integrating the Sommerfeld expansion for NN with respect to μ\mu gives

Ω(T,μ)=Ω0(μ)−π26τ2D(μ)−7π4360τ4D′′(μ)+O(τ6),\begin{aligned} \Omega(T,\mu) ={}& \Omega_0(\mu) - \frac{\pi^2}{6} \tau^2 D(\mu) \\ &- \frac{7\pi^4}{360} \tau^4 D''(\mu) + O(\tau^6), \end{aligned}

up to a μ\mu-independent integration constant fixed by the empty-band limit. This form is convenient when pressure, entropy, and number are generated from Ω\Omega.

Worked Example: Three-Dimensional Free Gas

Section titled “Worked Example: Three-Dimensional Free Gas”

For a uniform nonrelativistic gas in three dimensions,

D(ϵ)=Aϵ1/2,D(\epsilon) = A\epsilon^{1/2},

where AA includes volume and internal degeneracy. Hence

DF′DF=12ϵF.\frac{D'_{\mathrm F}}{D_{\mathrm F}} = \frac{1}{2\epsilon_{\mathrm F}}.

The fixed-number chemical potential is

μ(T)=ϵF−π212τ2ϵF+O(τ4ϵF3)=ϵF[1−π212(TTF)2+O(T4TF4)],\begin{aligned} \mu(T) &= \epsilon_{\mathrm F} - \frac{\pi^2}{12} \frac{\tau^2}{\epsilon_{\mathrm F}} + O \left( \frac{\tau^4}{\epsilon_{\mathrm F}^3} \right) \\ &= \epsilon_{\mathrm F} \left[ 1- \frac{\pi^2}{12} \left( \frac{T}{T_{\mathrm F}} \right)^2 + O \left( \frac{T^4}{T_{\mathrm F}^4} \right) \right], \end{aligned}

where kBTF=ϵFk_{\mathrm B}T_{\mathrm F}=\epsilon_{\mathrm F}.

The zero-temperature state count gives

DF=3N2ϵF.D_{\mathrm F} = \frac{3N}{2\epsilon_{\mathrm F}}.

Therefore

U(T)−U0=π24Nτ2ϵF+O(Nτ4ϵF3)U(T)-U_0 = \frac{\pi^2}{4} N \frac{\tau^2}{\epsilon_{\mathrm F}} + O \left( N\frac{\tau^4}{\epsilon_{\mathrm F}^3} \right)

and

CV,NNkB=π22TTF+O(T3TF3).\frac{C_{V,N}}{Nk_{\mathrm B}} = \frac{\pi^2}{2} \frac{T}{T_{\mathrm F}} + O \left( \frac{T^3}{T_{\mathrm F}^3} \right).

The Fermi Momentum and Fermi Energy page derives the state-counting formulas behind DFD_{\mathrm F}.

Worked Example: Constant Density of States

Section titled “Worked Example: Constant Density of States”

In an ideal two-dimensional quadratic band,

D(ϵ)=D0D(\epsilon) = D_0

above the band bottom. The algebraic fixed-number shift vanishes because D′(ϵ)=0D'(\epsilon)=0.

The number equation can be integrated exactly:

N=D0τln⁡(1+eμ/τ).N = D_0\tau \ln \left( 1+e^{\mu/\tau} \right).

Defining ϵF=N/D0\epsilon_{\mathrm F}=N/D_0 gives

μ(T)=τln⁡(eϵF/τ−1).\mu(T) = \tau \ln \left( e^{\epsilon_{\mathrm F}/\tau}-1 \right).

Equivalently,

μ(T)=ϵF+τln⁡(1−e−ϵF/τ).\mu(T) = \epsilon_{\mathrm F} + \tau \ln \left( 1-e^{-\epsilon_{\mathrm F}/\tau} \right).

Thus

μ(T)−ϵF∼−τe−ϵF/τ.\mu(T)-\epsilon_{\mathrm F} \sim -\tau e^{-\epsilon_{\mathrm F}/\tau}.

The absence of a T2T^2 term does not make μ\mu exactly temperature independent. The leading shift is exponentially small and therefore invisible to every algebraic order of the Sommerfeld series.

Suppose near the Fermi energy

D(ϵ)=Aϵα,D(\epsilon) = A\epsilon^{\alpha},

with ϵF\epsilon_{\mathrm F} well above the lower edge. Then

DF′DF=αϵF,\frac{D'_{\mathrm F}}{D_{\mathrm F}} = \frac{\alpha}{\epsilon_{\mathrm F}},

so

μ(T)−ϵFϵF=−π26α(TTF)2+O(T4TF4).\frac{ \mu(T)-\epsilon_{\mathrm F} }{\epsilon_{\mathrm F}} = -\frac{\pi^2}{6} \alpha \left( \frac{T}{T_{\mathrm F}} \right)^2 + O \left( \frac{T^4}{T_{\mathrm F}^4} \right).

For a quadratic dispersion in dd dimensions,

α=d2−1.\alpha = \frac{d}{2}-1.

The leading shift is therefore positive in one dimension, exponentially small rather than algebraic in the ideal two-dimensional continuum, and negative in three dimensions. The one-dimensional formula still requires τ≪ϵF\tau\ll\epsilon_{\mathrm F} because the density of states diverges at the band edge. Low-Dimensional Quantum Gases owns the corresponding state counting and physical dimensionality analysis.

The expansion supplies a quantitative form of the thermally active-shell picture. The number of states whose occupations change appreciably is of order

Nactive∼DFτ.N_{\mathrm{active}} \sim D_{\mathrm F}\tau.

Each particle–hole excitation carries an energy of order τ\tau, so

U(T)−U0∼DFτ2.U(T)-U_0 \sim D_{\mathrm F}\tau^2.

Differentiation then gives

CV∼DFkB2T.C_V \sim D_{\mathrm F}k_{\mathrm B}^2T.

The Sommerfeld calculation fixes the numerical coefficient π2/3\pi^2/3 and shows why the slope of the density of states cancels at fixed particle number.

In a conventional Fermi liquid, the same structure survives with a quasiparticle density of states and interaction-renormalized parameters. The bare ideal-gas formula should not be assigned unchanged to a strongly correlated or non-Fermi-liquid state.

If μ−ϵ0=O(τ)\mu-\epsilon_0=O(\tau), the lower endpoint lies inside the thermal window. The result depends on the full edge shape, and the replacement of the finite lower limit by −∞-\infty is invalid.

This is common near dilute-band thresholds and during dimensional crossover.

At a van Hove singularity, D(ϵ)D(\epsilon) is not smooth on the required scale. Derivatives such as D′(μ)D'(\mu) may diverge, and the displayed coefficients cease to organize the answer. One must integrate the singular local form directly or use a uniform asymptotic treatment.

When μ\mu lies in a true gap, there is no Fermi surface and no smooth nonzero DFD_{\mathrm F}. Low-temperature excitations are commonly activated:

CV∝e−Δ/τC_V \propto e^{-\Delta/\tau}

up to prefactors. A power-series Sommerfeld expansion about μ\mu does not describe that physics.

For τ\tau below the level spacing, a sum over exact levels must replace the continuum density-of-states integral. Oscillatory or shell corrections need not be small even when TT is small compared with a bulk Fermi temperature.

If the spectral density, self-energy, effective mass, or band energies vary appreciably with temperature, expanding only the occupation misses additional terms. Their origin should be separated from ordinary Fermi smearing.

  1. Write the observable as a Fermi-weighted energy integral or a wTw_T-weighted integral.
  2. Identify the smooth factor φ\varphi or Ψ\Psi, including all density-of-states and degeneracy factors.
  3. State whether μ\mu or NN is held fixed.
  4. Locate the nearest band edge, singularity, gap, and discrete-level scale.
  5. Compare those scales with τ=kBT\tau=k_{\mathrm B}T.
  6. Expand only to the order supported by the available derivatives and desired accuracy.
  7. If NN is fixed, solve the number constraint before substituting into other observables.
  8. Check units, limiting behavior, and the sign of the correction.

For numerical work, compare the truncated series against direct quadrature at representative temperatures. The optimal number of terms can decrease once higher derivatives grow rapidly.

Replacing μ(T)\mu(T) by ϵF\epsilon_{\mathrm F} too early.
This loses the fixed-number correction and generally gives a wrong energy coefficient, even though the final leading heat capacity has a simple form.

Using fixed-μ\mu and fixed-NN derivatives interchangeably.
The ensembles impose different constraints. State the variables held fixed whenever differentiating.

Applying the expansion at a singularity.
A large or divergent derivative is a warning that the smoothness assumption has failed, not evidence for an enormous regular coefficient.

Forgetting an endpoint.
The condition μ−ϵ0≫τ\mu-\epsilon_0\gg\tau is part of the method. It is not optional notation.

Calling omitted exponential terms zero.
A result can vanish to every algebraic order while remaining nonzero as e−E/τe^{-E/\tau}.

Expanding the Fermi function as an ordinary Taylor series in TT.
The limit is singular at ϵ=μ\epsilon=\mu. The controlled procedure expands the smooth factor across the localized thermal kernel.

Dropping degeneracy conventions.
DFD_{\mathrm F} may be per spin, per internal component, per volume, or total. The same convention must be used in NN, UU, and CVC_V.

Assuming the series converges.
It is normally used as a low-temperature asymptotic expansion. More terms are not automatically better.

Ignoring explicit temperature dependence in φ\varphi.
Band shifts, interactions, and scattering rates can contribute additional powers of TT.

Using the ideal-gas coefficient for every metal.
Measured linear heat capacity can include quasiparticle mass renormalization and other interaction effects. The relation to the bare band density of states is model dependent.

For a smooth φ\varphi and a chemical potential far from spectral edges,

∫ϵ0∞dϵ φ(ϵ)f(ϵ)=∫ϵ0μdϵ φ(ϵ)+π26τ2φ′(μ)+7π4360τ4φ′′′(μ)+O(τ6).\begin{aligned} \int_{\epsilon_0}^{\infty} d\epsilon\, \varphi(\epsilon)f(\epsilon) ={}& \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon) \\ &+ \frac{\pi^2}{6} \tau^2\varphi'(\mu) \\ &+ \frac{7\pi^4}{360} \tau^4\varphi'''(\mu) + O(\tau^6). \end{aligned}

At fixed particle number,

μ(T)−ϵF=−π26τ2DF′DF+O(τ4),\mu(T)-\epsilon_{\mathrm F} = -\frac{\pi^2}{6} \tau^2 \frac{D'_{\mathrm F}}{D_{\mathrm F}} + O(\tau^4),

and the leading heat capacity is

CV,N=π23DFkB2T+O(T3).C_{V,N} = \frac{\pi^2}{3} D_{\mathrm F} k_{\mathrm B}^2T + O(T^3).

These formulas are powerful because they reduce a thermal integral to local information at the Fermi energy. Their reliability depends on checking smoothness, endpoints, ensemble constraints, and continuum resolution before using the coefficients.

  • A. Sommerfeld, “Zur Elektronentheorie der Metalle auf Grund der Fermischen Statistik. I. Teil”, Zeitschrift für Physik 47, 1–32 (1928) — original application of Fermi statistics to electrons in metals.
  • A. Sommerfeld, “Zur Elektronentheorie der Metalle auf Grund der Fermischen Statistik. II. Teil”, Zeitschrift für Physik 47, 43–60 (1928) — continuation covering thermoelectric and magnetic transport effects.
  • NIST Digital Library of Mathematical Functions, §25.12(iii), Fermi–Dirac and Bose–Einstein Integrals — definitions, normalization conventions, and relations to polylogarithms.
  • N. W. Ashcroft and N. D. Mermin, Solid State Physics, Holt, Rinehart and Winston (1976), Chapters 2 and 3 — free-electron thermodynamics and low-temperature expansion.
  • R. K. Pathria and P. D. Beale, Statistical Mechanics, 3rd ed., Elsevier (2011), Chapter 8 — systematic treatment of ideal Fermi gases and the Sommerfeld lemma.
  • L. D. Landau and E. M. Lifshitz, Statistical Physics, Part 1, 3rd ed., Butterworth-Heinemann (1980), §§57–58 — degenerate ideal Fermi gases and low-temperature thermodynamics.
  • K. Huang, Statistical Mechanics, 2nd ed., Wiley (1987), Chapter 12 — Fermi gas, density of states, and degenerate limit.
  • G. D. Mahan, Many-Particle Physics, 3rd ed., Kluwer Academic/Plenum (2000) — low-energy Fermi systems and response integrals weighted by the Fermi window.

Starting from

ΔI=τ∫0∞dx φ(μ+τx)−φ(μ−τx)ex+1,\Delta I = \tau \int_0^{\infty} dx\, \frac{ \varphi(\mu+\tau x) - \varphi(\mu-\tau x) }{e^x+1},

derive the coefficients of τ2φ′(μ)\tau^2\varphi'(\mu) and τ4φ′′′(μ)\tau^4\varphi'''(\mu).

Solution

Expand the numerator:

φ(μ+τx)−φ(μ−τx)=2τxφ′(μ)+2τ3x33!φ′′′(μ)+O(τ5).\begin{aligned} &\varphi(\mu+\tau x) - \varphi(\mu-\tau x) \\ &\qquad= 2\tau x\varphi'(\mu) + \frac{2\tau^3x^3}{3!} \varphi'''(\mu) + O(\tau^5). \end{aligned}

The needed moments are

∫0∞dx xex+1=π212\int_0^{\infty} dx\, \frac{x}{e^x+1} = \frac{\pi^2}{12}

and

∫0∞dx x3ex+1=7π4120.\int_0^{\infty} dx\, \frac{x^3}{e^x+1} = \frac{7\pi^4}{120}.

Therefore

2(π212)=π262 \left( \frac{\pi^2}{12} \right) = \frac{\pi^2}{6}

and

23!(7π4120)=7π4360.\frac{2}{3!} \left( \frac{7\pi^4}{120} \right) = \frac{7\pi^4}{360}.

Evaluate

I0(T,μ)=∫0∞dϵ f(ϵ;μ,T)I_0(T,\mu) = \int_0^{\infty} d\epsilon\, f(\epsilon;\mu,T)

exactly. Show that the Sommerfeld series has no algebraic correction to μ\mu, and find the leading omitted term for μ/τ≫1\mu/\tau\gg1.

Solution

An antiderivative gives

I0(T,μ)=τln⁡(1+eμ/τ).I_0(T,\mu) = \tau \ln \left( 1+e^{\mu/\tau} \right).

Rewrite this as

I0(T,μ)=μ+τln⁡(1+e−μ/τ).I_0(T,\mu) = \mu + \tau \ln \left( 1+e^{-\mu/\tau} \right).

For μ/τ≫1\mu/\tau\gg1,

I0(T,μ)=μ+τe−μ/τ+O(τe−2μ/τ).I_0(T,\mu) = \mu + \tau e^{-\mu/\tau} + O \left( \tau e^{-2\mu/\tau} \right).

The smooth factor is φ=1\varphi=1, whose odd derivatives vanish. Hence every algebraic Sommerfeld correction is zero, while the endpoint leaves an exponentially small term.

Derive the fixed-number chemical-potential shift

Section titled “Derive the fixed-number chemical-potential shift”

Let D(ϵ)D(\epsilon) be smooth and nonzero at ϵF\epsilon_{\mathrm F}. Starting from the number constraint, derive the leading shift of μ(T)\mu(T) at fixed NN.

Solution

The number equation is

N=∫ϵ0μdϵ D(ϵ)+π26τ2D′(μ)+O(τ4).N = \int_{\epsilon_0}^{\mu} d\epsilon\, D(\epsilon) + \frac{\pi^2}{6} \tau^2D'(\mu) + O(\tau^4).

Set μ=ϵF+δμ\mu=\epsilon_{\mathrm F}+\delta\mu and use

N=∫ϵ0ϵFdϵ D(ϵ).N = \int_{\epsilon_0}^{\epsilon_{\mathrm F}} d\epsilon\, D(\epsilon).

To order τ2\tau^2,

0=DFδμ+π26τ2DF′.0 = D_{\mathrm F}\delta\mu + \frac{\pi^2}{6} \tau^2D'_{\mathrm F}.

Thus

δμ=−π26τ2DF′DF+O(τ4).\delta\mu = -\frac{\pi^2}{6} \tau^2 \frac{D'_{\mathrm F}}{D_{\mathrm F}} + O(\tau^4).

For a quadratic dispersion in dd dimensions, use

D(ϵ)∝ϵd/2−1D(\epsilon) \propto \epsilon^{d/2-1}

to find the leading fixed-NN chemical-potential shift for d=1,2,3d=1,2,3. State the limitation of the two-dimensional algebraic result.

Solution

The power-law exponent is

α=d2−1,\alpha = \frac{d}{2}-1,

so

δμϵF=−π26α(TTF)2.\frac{\delta\mu}{\epsilon_{\mathrm F}} = -\frac{\pi^2}{6} \alpha \left( \frac{T}{T_{\mathrm F}} \right)^2.

Therefore

dδμ/ϵF1+(π2/12)(T/TF)220 to every algebraic order3−(π2/12)(T/TF)2\begin{array}{c|c} d & \delta\mu/\epsilon_{\mathrm F} \\ \hline 1 & +(\pi^2/12)(T/T_{\mathrm F})^2 \\ 2 & 0 \text{ to every algebraic order} \\ 3 & -(\pi^2/12)(T/T_{\mathrm F})^2 \end{array}

In two dimensions, the physical chemical potential is not exactly constant. For an unbounded quadratic band with a lower edge, its leading shift is

δμ∼−τe−ϵF/τ,\delta\mu \sim -\tau e^{-\epsilon_{\mathrm F}/\tau},

which is beyond all algebraic orders.

For a general smooth density of states, show explicitly that the terms proportional to DF′D'_{\mathrm F} cancel from the leading fixed-NN energy correction.

Solution

Using φU(ϵ)=ϵD(ϵ)\varphi_U(\epsilon)=\epsilon D(\epsilon),

U−U0=ϵFDFδμ+π26τ2(DF+ϵFDF′)+O(τ4).\begin{aligned} U-U_0 ={}& \epsilon_{\mathrm F}D_{\mathrm F}\delta\mu \\ &+ \frac{\pi^2}{6} \tau^2 \left( D_{\mathrm F} + \epsilon_{\mathrm F}D'_{\mathrm F} \right) + O(\tau^4). \end{aligned}

The number constraint gives

ϵFDFδμ=−π26τ2ϵFDF′.\epsilon_{\mathrm F}D_{\mathrm F}\delta\mu = -\frac{\pi^2}{6} \tau^2 \epsilon_{\mathrm F}D'_{\mathrm F}.

Adding the terms leaves

U−U0=π26DFτ2+O(τ4).U-U_0 = \frac{\pi^2}{6} D_{\mathrm F}\tau^2 + O(\tau^4).

Hence

CV,N=π23DFkB2T+O(T3).C_{V,N} = \frac{\pi^2}{3} D_{\mathrm F}k_{\mathrm B}^2T + O(T^3).

Recover the three-dimensional heat capacity

Section titled “Recover the three-dimensional heat capacity”

Use

DF=3N2ϵFD_{\mathrm F} = \frac{3N}{2\epsilon_{\mathrm F}}

to derive the leading heat capacity of the uniform three-dimensional ideal Fermi gas.

Solution

Insert the density of states into the general result:

CV,N=π233N2ϵFkB2T=π22NkBkBTϵF.\begin{aligned} C_{V,N} &= \frac{\pi^2}{3} \frac{3N}{2\epsilon_{\mathrm F}} k_{\mathrm B}^2T \\ &= \frac{\pi^2}{2} Nk_{\mathrm B} \frac{k_{\mathrm B}T}{\epsilon_{\mathrm F}}. \end{aligned}

Since ϵF=kBTF\epsilon_{\mathrm F}=k_{\mathrm B}T_{\mathrm F},

CV,N=π22NkBTTF.C_{V,N} = \frac{\pi^2}{2} Nk_{\mathrm B} \frac{T}{T_{\mathrm F}}.

Given

N(T,μ)=N0(μ)+π26τ2D′(μ)+7π4360τ4D′′′(μ)+O(τ6),N(T,\mu) = N_0(\mu) + \frac{\pi^2}{6} \tau^2D'(\mu) + \frac{7\pi^4}{360} \tau^4D'''(\mu) + O(\tau^6),

use N=−∂Ω/∂μN=-\partial\Omega/\partial\mu to obtain Ω(T,μ)−Ω0(μ)\Omega(T,\mu)-\Omega_0(\mu) through order τ4\tau^4.

Solution

At fixed TT, integrate with respect to μ\mu:

Ω(T,μ)−Ω0(μ)=−π26τ2D(μ)−7π4360τ4D′′(μ)+O(τ6).\begin{aligned} \Omega(T,\mu)-\Omega_0(\mu) ={}& -\frac{\pi^2}{6} \tau^2D(\mu) \\ &- \frac{7\pi^4}{360} \tau^4D''(\mu) + O(\tau^6). \end{aligned}

The integration constant is chosen so the thermal correction vanishes when the band is empty and DD vanishes.

Suppose the odd part of the smooth factor is replaced near μ\mu by the nonanalytic form

φ(μ+y)−φ(μ−y)≃2Cyα,y>0,\varphi(\mu+y)-\varphi(\mu-y) \simeq 2C y^{\alpha}, \qquad y>0,

with α>0\alpha>0 and α\alpha not an odd positive integer. Determine the temperature scaling of ΔI\Delta I and explain why the ordinary Sommerfeld series does not apply.

Solution

Insert the local form into the thermal correction:

ΔI≃2Cτα+1∫0∞dx xαex+1=2C(1−2−α)Γ(α+1)ζ(α+1)τα+1.\begin{aligned} \Delta I &\simeq 2C\tau^{\alpha+1} \int_0^{\infty} dx\, \frac{x^{\alpha}}{e^x+1} \\ &= 2C \left( 1-2^{-\alpha} \right) \Gamma(\alpha+1) \zeta(\alpha+1) \tau^{\alpha+1}. \end{aligned}

The correction scales as Tα+1T^{\alpha+1} rather than an even integer power determined by an odd derivative at μ\mu. The required Taylor derivative does not exist or is not finite, so the regular Sommerfeld assumptions fail. Directly integrating the singular local form gives the correct scaling.