Skip to content

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 derivatives determine the thermal correction at a specified chemical potential. Holding particle number fixed adds a second step: solve for μ(T)\mu(T) before computing energy or heat capacity. The degenerate-gas discussion explains why this narrow shell controls the physics.

Helpful background. Fermi–Dirac statistics gives the occupation function; asymptotic analysis explains finite truncations and remainders.

Smooth energy factors near the chemical potential

Section titled “Smooth energy factors near the chemical potential”

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).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).

At fixed μ\mu and for a temperature-independent smooth factor, only odd derivatives of φ\varphi and even powers of TT occur in the algebraic correction. 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)(μ),I(T,\mu) \sim{} \int_{\epsilon_0}^{\mu} d\epsilon\, \varphi(\epsilon) + \sum_{n=1}^{\infty} c_{2n} \tau^{2n} \varphi^{(2n-1)}(\mu),

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 kernel concentrated near μ\mu, normalized on the full energy line.

Two normalized Fermi derivative kernels on the same energy scale, showing a taller narrower low-temperature peak

On a fixed energy scale E∗E_*, cooling 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},

the exact correction is the difference of an integral over 0<x<∞0<x<\infty and one over 0<x<(μ−ϵ0)/τ0<x<(\mu-\epsilon_0)/\tau. To derive an algebraic expansion, first restrict both to a fixed smooth neighborhood ∣ϵ−μ∣<a|\epsilon-\mu|<a, with 0<a<μ−ϵ00<a<\mu-\epsilon_0. Outside it the occupation correction is exponentially suppressed. Inside it expand φ\varphi, then extend the integrals of the Taylor terms to infinity. This leads formally to

Δ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}

as an asymptotic shorthand, not permission to evaluate a physical φ\varphi below its band edge. For example, ϵ\sqrt\epsilon has no real continuation through zero of the required form. The finite Taylor expansion and localization justify the powers of τ\tau; the omitted distant parts are exponentially small in a/τa/\tau under the stated integrability assumptions.

Formally Taylor-expanding about μ\mu yields

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

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).

For a controlled truncation use a finite Taylor polynomial with remainder, rather than assuming that the displayed infinite Taylor series converges. NIST DLMF §25.12(iii) gives the associated Fermi-integral definitions and normalization conventions.

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).\int_{-\infty}^{\infty} d\epsilon\, \Psi(\epsilon) w_T(\epsilon) = \Psi(\mu) + \frac{\pi^2}{6} \tau^2 \Psi''(\mu) + \frac{7\pi^4}{360} \tau^4 \Psi^{(4)}(\mu) + O(\tau^6).

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.

The displayed coefficients through τ2M\tau^{2M} use derivatives through order 2M−12M-1. That alone does not establish an O(τ2M+2)O(\tau^{2M+2}) remainder. A convenient sufficient local assumption is bounded derivatives through order 2M+12M+1 on a temperature-independent neighborhood of μ\mu, together with integrable tail bounds. For the displayed T4T^4 formula, bounded fifth derivatives give the next O(T6)O(T^6) estimate. Weaker assumptions can give weaker remainders.

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.

If μ\mu lies in a true gap, the ideal one-particle density of states vanishes throughout its neighborhood. All local algebraic coefficients can vanish while thermally activated contributions from the edges remain. A power series around μ\mu misses these terms. Other gapless collective modes, if present in an interacting system, need their own treatment.

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”

Keeping μ\mu fixed allows particles to enter or leave as the temperature changes. Keeping the mean density fixed instead requires adjusting μ\mu. These are different physical constraints.

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).N(T,\mu) ={} \int_{\epsilon_0}^{\mu} d\epsilon\, D(\epsilon) + \frac{\pi^2}{6} \tau^2 D'(\mu) + O(\tau^4).

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 0<DF<∞0<D_{\mathrm F}<\infty is required for the following inversion, and

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).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).

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.

Grand potential from the integrated density of states

Section titled “Grand potential from the integrated density of states”

Define Q(ϵ)=∫ϵ0ϵD(u) duQ(\epsilon)=\int_{\epsilon_0}^{\epsilon}D(u)\,du. Integration by parts in the exact ideal-gas grand potential gives

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

The lower boundary vanishes because Q(ϵ0)=0Q(\epsilon_0)=0; the upper boundary vanishes under the convergence assumptions. Applying the expansion to QQ directly gives

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

where Ω0=−∫ϵ0μQ(ϵ) dϵ\Omega_0=-\int_{\epsilon_0}^{\mu}Q(\epsilon)\,d\epsilon. Differentiating recovers N=−∂Ω/∂μN=-\partial\Omega/\partial\mu. This direct derivation avoids trying to fix an integration constant by extrapolating the low-temperature expansion into the empty-band regime, where its interior-band assumptions fail.

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 derives the corresponding state counts and explains dimensional crossover.

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.

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.

Check a cubic weight by direct integration

Section titled “Check a cubic weight by direct integration”

For φ(ϵ)=ϵ3\varphi(\epsilon)=\epsilon^3, lower edge zero and fixed μ>0\mu>0, write the expansion through T4T^4. Explain why no further algebraic terms occur and how direct quadrature could still differ.

Solution

Using φ′(μ)=3μ2\varphi'(\mu)=3\mu^2 and φ′′′=6\varphi'''=6,

I=μ44+π22μ2τ2+7π460τ4+exponentially small terms.I=\frac{\mu^4}{4}+\frac{\pi^2}{2}\mu^2\tau^2 +\frac{7\pi^4}{60}\tau^4+\text{exponentially small terms}.

Higher odd derivatives vanish. The exact integral still contains a lower-edge correction: subtracting the displayed polynomial gives −∫0∞x3/[e(x+μ)/τ+1] dx-\int_0^\infty x^3/[e^{(x+\mu)/\tau}+1]\,dx, whose leading behavior is −6τ4e−μ/τ-6\tau^4e^{-\mu/\tau}. Splitting a quadrature interval near μ\mu resolves the thermal window without requiring a uniform fine grid everywhere.

  • 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.
  • K. Huang, Statistical Mechanics, 2nd ed., Wiley (1987), Chapter 12 — Fermi gas, density of states, and degenerate limit.
  • 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.
  • G. D. Mahan, Many-Particle Physics, 3rd ed., Kluwer Academic/Plenum (2000) — low-energy Fermi systems and response integrals weighted by the Fermi window.
  • NIST Digital Library of Mathematical Functions, §25.12(iii), Fermi–Dirac and Bose–Einstein Integrals — definitions, normalization conventions, and relations to polylogarithms.
  • 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.
  • 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.