Skip to content

Fermi–Dirac Distribution

For an independent fermionic mode of one-particle energy ϵi\epsilon_i, the grand-canonical equilibrium occupation is

fi≡⟨n^i⟩=1eβ(ϵi−μ)+1,β=1kBT.f_i \equiv \langle \hat n_i\rangle = \frac{1}{ e^{\beta(\epsilon_i-\mu)}+1 }, \qquad \beta = \frac{1}{k_{\mathrm B}T}.

The value fif_i is a mean occupation, not an allowed outcome of one number measurement. A complete fermionic mode has

ni∈{0,1},0≤fi≤1.n_i\in\{0,1\}, \qquad 0\leq f_i\leq1.

The canonical derivation and physical interpretation are at Fermi–Dirac Statistics. This card collects the forms most useful in calculations and consistency checks.

QuantityFormula
Dimensionless energyxi=β(ϵi−μ)x_i=\beta(\epsilon_i-\mu)
Mean occupationfi=(exi+1)−1f_i=(e^{x_i}+1)^{-1}
Empty-mode probabilityPi(0)=1−fiP_i(0)=1-f_i
Occupied-mode probabilityPi(1)=fiP_i(1)=f_i
One-mode partition factorZi=1+e−xi\mathcal Z_i=1+e^{-x_i}
Number varianceVar⁡(ni)=fi(1−fi)\operatorname{Var}(n_i)=f_i(1-f_i)
Energy derivative∂f/∂ϵ=−βf(1−f)\partial f/\partial\epsilon=-\beta f(1-f)
Chemical-potential derivative∂f/∂μ=βf(1−f)\partial f/\partial\mu=\beta f(1-f)
Particle–hole identityf(μ+δ)=1−f(μ−δ)f(\mu+\delta)=1-f(\mu-\delta)
Zero-temperature limitf(ϵ)→Θ(μ−ϵ)f(\epsilon)\to\Theta(\mu-\epsilon)
Dilute classical limitf(ϵ)≃e−β(ϵ−μ)f(\epsilon)\simeq e^{-\beta(\epsilon-\mu)}

Unless a degeneracy factor is stated explicitly, ii labels one complete spin-orbital or other complete one-particle mode.

For the quadratic grand-energy contribution

K^i=(ϵi−μ)n^i,\hat K_i = (\epsilon_i-\mu)\hat n_i,

the two allowed number states have weights

Pi(n)=e−β(ϵi−μ)n1+e−β(ϵi−μ),n=0,1.P_i(n) = \frac{ e^{-\beta(\epsilon_i-\mu)n} }{ 1+e^{-\beta(\epsilon_i-\mu)} }, \qquad n=0,1.

Consequently,

Pi(1)=e−β(ϵi−μ)1+e−β(ϵi−μ)=fi,P_i(1) = \frac{ e^{-\beta(\epsilon_i-\mu)} }{ 1+e^{-\beta(\epsilon_i-\mu)} } = f_i,

and

Pi(0)=11+e−β(ϵi−μ)=1−fi.P_i(0) = \frac{1}{ 1+e^{-\beta(\epsilon_i-\mu)} } = 1-f_i.

Only for a binary fermionic mode does the mean occupation equal the probability of the occupied outcome. For a degenerate energy level containing gig_i independent modes,

⟨Ni⟩=gifi,\langle N_i\rangle = g_i f_i,

so the level can contain more than one fermion even though each complete mode cannot.

The following forms are algebraically identical:

f(ϵ)=1eβ(ϵ−μ)+1=e−β(ϵ−μ)1+e−β(ϵ−μ)=12[1−tanh⁡(β(ϵ−μ)2)].f(\epsilon) = \frac{1}{e^{\beta(\epsilon-\mu)}+1} = \frac{ e^{-\beta(\epsilon-\mu)} }{ 1+e^{-\beta(\epsilon-\mu)} } = \frac12 \left[ 1- \tanh \left( \frac{\beta(\epsilon-\mu)}{2} \right) \right].

With fugacity

z=eβμ,z=e^{\beta\mu},

one may write

f(ϵ)=ze−βϵ1+ze−βϵ.f(\epsilon) = \frac{ ze^{-\beta\epsilon} }{ 1+ze^{-\beta\epsilon} }.

The first form is best for analytic work. The second avoids overflow when β(ϵ−μ)\beta(\epsilon-\mu) is large and positive. In numerical code, use a stable logistic implementation or branch on the sign of x=β(ϵ−μ)x=\beta(\epsilon-\mu) rather than evaluating exe^x blindly.

Relative to the chemical potential,

f(−x)=1−f(x),f(x)=1ex+1.f(-x) = 1-f(x), \qquad f(x) = \frac{1}{e^x+1}.

Equivalently,

f(μ+δ)=1−f(μ−δ).f(\mu+\delta) = 1-f(\mu-\delta).

This identity is a property of the Fermi function. It does not imply that a material has particle–hole-symmetric bands, density of states, or interactions.

Differentiation gives

∂f∂ϵ=−βf(1−f),∂f∂μ=βf(1−f).\frac{\partial f}{\partial\epsilon} = - \beta f(1-f), \qquad \frac{\partial f}{\partial\mu} = \beta f(1-f).

At fixed μ\mu,

∂f∂T=ϵ−μkBT2f(1−f).\frac{\partial f}{\partial T} = \frac{\epsilon-\mu}{ k_{\mathrm B}T^2 } f(1-f).

The sign is physically useful: heating depletes modes below μ\mu and fills modes above μ\mu when the chemical potential is held fixed. At fixed particle number, however, μ\mu generally depends on TT, and the total derivative must include dμ/dTd\mu/dT.

The derivative kernel

wT(ϵ)≡−∂f∂ϵ=14kBTsech⁡2(ϵ−μ2kBT)w_T(\epsilon) \equiv - \frac{\partial f}{\partial\epsilon} = \frac{1}{ 4k_{\mathrm B}T } \operatorname{sech}^2 \left( \frac{\epsilon-\mu}{ 2k_{\mathrm B}T } \right)

is nonnegative and centered at ϵ=μ\epsilon=\mu. When the spectrum may be extended far beyond the thermal window,

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

Its maximum is

wT(μ)=14kBT,w_T(\mu) = \frac{1}{4k_{\mathrm B}T},

and its full width at half maximum is

ΔϵFWHM=4arcosh⁡2 kBT≃3.53 kBT.\Delta\epsilon_{\mathrm{FWHM}} = 4 \operatorname{arcosh} \sqrt2\, k_{\mathrm B}T \simeq 3.53\,k_{\mathrm B}T.

Thus low-temperature response integrals weighted by −∂f/∂ϵ-\partial f/\partial\epsilon sample an energy shell only a few kBTk_{\mathrm B}T wide around μ\mu.

Because n^i2=n^i\hat n_i^2=\hat n_i,

Var⁡(ni)=⟨n^i2⟩−⟨n^i⟩2=fi(1−fi).\operatorname{Var}(n_i) = \langle \hat n_i^2\rangle - \langle \hat n_i\rangle^2 = f_i(1-f_i).

The variance is largest at ϵi=μ\epsilon_i=\mu:

fi=12,Var⁡(ni)=14.f_i=\frac12, \qquad \operatorname{Var}(n_i)=\frac14.

Combining the variance with the derivative identity gives the one-mode fluctuation–response relation

∂fi∂μ=βVar⁡(ni).\frac{\partial f_i}{\partial\mu} = \beta \operatorname{Var}(n_i).

For statistically independent modes in a grand-canonical ideal gas,

⟨N⟩=∑ifi,Var⁡(N)=∑ifi(1−fi)=kBT∂⟨N⟩∂μ.\langle N\rangle = \sum_i f_i, \qquad \operatorname{Var}(N) = \sum_i f_i(1-f_i) = k_{\mathrm B}T \frac{\partial\langle N\rangle}{\partial\mu}.

The final equality uses fixed TT and volume. It does not apply unchanged in a finite canonical ensemble with exactly fixed NN, where occupation numbers are correlated by the number constraint.

For fixed μ\mu and ϵ≠μ\epsilon\neq\mu,

lim⁡T→0+f(ϵ)={1,ϵ<μ,0,ϵ>μ.\lim_{T\to0^+} f(\epsilon) = \begin{cases} 1, & \epsilon<\mu,\\ 0, & \epsilon>\mu. \end{cases}

At every nonzero temperature,

f(μ)=12.f(\mu)=\frac12.

The value assigned to the limiting step function exactly at its jump does not affect continuum integrals. For an ideal Fermi gas at fixed density,

lim⁡T→0+μ(T)=ϵF.\lim_{T\to0^+}\mu(T) = \epsilon_{\mathrm F}.

The occupied zero-temperature region is the Fermi sea. A Fermi surface is the boundary in momentum space satisfying ϵk=ϵF\epsilon_{\mathbf k}=\epsilon_{\mathrm F}, not a boundary in ordinary position space.

When

ϵ−μ≫kBT,\epsilon-\mu \gg k_{\mathrm B}T,

the mode is weakly occupied and

f(ϵ)≃e−β(ϵ−μ).f(\epsilon) \simeq e^{-\beta(\epsilon-\mu)}.

More precisely, if

q≡ze−βϵ<1,q \equiv ze^{-\beta\epsilon} <1,

then

f(ϵ)=q1+q=∑ℓ=1∞(−1)ℓ−1qℓ.f(\epsilon) = \frac{q}{1+q} = \sum_{\ell=1}^{\infty} (-1)^{\ell-1}q^\ell.

The first term is the Maxwell–Boltzmann occupation. The alternating higher terms encode fermionic corrections. Low mean occupation is the relevant criterion; high temperature by itself is not enough if the density is raised at the same time.

For a diagonal noninteracting Hamiltonian

H^=∑iϵin^i,N^=∑in^i,\hat H = \sum_i \epsilon_i \hat n_i, \qquad \hat N = \sum_i \hat n_i,

the basic grand-canonical sums are

⟨N⟩=∑ifi,U=∑iϵifi,\langle N\rangle = \sum_i f_i, \qquad U = \sum_i \epsilon_i f_i,

and

Ω=−kBT∑iln⁡(1+e−β(ϵi−μ)).\Omega = - k_{\mathrm B}T \sum_i \ln \left( 1+ e^{-\beta(\epsilon_i-\mu)} \right).

The entropy is

S=−kB∑i[filn⁡fi+(1−fi)ln⁡(1−fi)],S = - k_{\mathrm B} \sum_i \left[ f_i\ln f_i + (1-f_i)\ln(1-f_i) \right],

with 0ln⁡0≡00\ln0\equiv0.

If D(ϵ)D(\epsilon) denotes the total one-particle density of states, including the physical volume and every degeneracy not already included in the mode label, then

N=∫D(ϵ)f(ϵ) dϵ,N = \int D(\epsilon) f(\epsilon) \,d\epsilon, U=∫ϵD(ϵ)f(ϵ) dϵ,U = \int \epsilon D(\epsilon) f(\epsilon) \,d\epsilon,

and

Ω=−kBT∫D(ϵ)ln⁡[1+e−β(ϵ−μ)] dϵ.\Omega = - k_{\mathrm B}T \int D(\epsilon) \ln \left[ 1+ e^{-\beta(\epsilon-\mu)} \right] \,d\epsilon.

At fixed NN, the number equation determines μ(T)\mu(T). Do not insert μ=ϵF\mu=\epsilon_{\mathrm F} at nonzero temperature unless the approximation being used makes that replacement consistently.

For a smooth function ϕ(ϵ)\phi(\epsilon) and a chemical potential sufficiently far from spectral edges,

∫ϵ0∞ϕ(ϵ)f(ϵ) dϵ=∫ϵ0μϕ(ϵ) dϵ+π26(kBT)2ϕ′(μ)+O(T4).\begin{aligned} \int_{\epsilon_0}^{\infty} \phi(\epsilon)f(\epsilon)\,d\epsilon ={}& \int_{\epsilon_0}^{\mu} \phi(\epsilon)\,d\epsilon \\ &+ \frac{\pi^2}{6} (k_{\mathrm B}T)^2 \phi'(\mu) + O(T^4). \end{aligned}

This is the leading Sommerfeld expansion. For fixed particle number, set ϕ=D\phi=D in the number equation. If ϵF\epsilon_{\mathrm F} is the zero-temperature chemical potential, then

μ(T)=ϵF−π26(kBT)2D′(ϵF)D(ϵF)+O(T4).\mu(T) = \epsilon_{\mathrm F} - \frac{\pi^2}{6} (k_{\mathrm B}T)^2 \frac{ D'(\epsilon_{\mathrm F}) }{ D(\epsilon_{\mathrm F}) } + O(T^4).

For a three-dimensional free gas, D(ϵ)∝ϵD(\epsilon)\propto\sqrt{\epsilon}, so

μ(T)=ϵF[1−π212(TTF)2+O(T4TF4)].\mu(T) = \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].

These formulas require a smooth density of states near the chemical potential. They can fail near band edges, van Hove singularities, narrow levels, or a gap.

Suppose a mode lies two thermal energies above the chemical potential:

ϵ−μ=2kBT.\epsilon-\mu = 2k_{\mathrm B}T.

Then

f(ϵ)=1e2+1≃0.1192.f(\epsilon) = \frac{1}{e^2+1} \simeq 0.1192.

By the particle–hole identity, a mode two thermal energies below μ\mu has

f(μ−2kBT)=1−0.1192≃0.8808.f(\mu-2k_{\mathrm B}T) = 1-0.1192 \simeq 0.8808.

This pair is a quick check on signs in numerical implementations.

The formula is exact when:

  • the state is a grand-canonical equilibrium state;
  • the Hamiltonian is diagonal in independent fermionic modes;
  • μ\mu couples to a conserved particle number or charge;
  • each mode label includes all quantum numbers needed to make its occupation binary.

It can also be used for controlled quasiparticles with renormalized energies. In that setting, the distribution describes quasiparticle occupations and does not automatically equal the momentum distribution of bare particles.

The bare Fermi–Dirac form is generally insufficient for:

  • strongly correlated states without an independent-mode description;
  • superconducting or superfluid pairing, where Bogoliubov coherence factors enter;
  • driven steady states and other nonequilibrium distributions;
  • finite canonical systems whose exact particle number correlates modes;
  • open systems not equilibrated to a bath with the stated TT and μ\mu.
  • Treating fif_i as a fractional eigenvalue of n^i\hat n_i rather than an ensemble mean.
  • Applying the one-particle cap to an energy level while omitting its spin or other degeneracy.
  • Multiplying by a degeneracy factor already included in D(ϵ)D(\epsilon).
  • Assuming μ=ϵF\mu=\epsilon_{\mathrm F} at every temperature.
  • Treating μ\mu as constrained below the ground-state energy; that convergence condition belongs to an ideal Bose gas, not a finite fermionic mode.
  • Replacing a discrete sum by a continuum integral when the level spacing is comparable to kBTk_{\mathrm B}T.
  • Using the T→0T\to0 step before evaluating a quantity controlled by the thermal shell.
  • Inferring particle–hole symmetry of a system from the identity f(−x)=1−f(x)f(-x)=1-f(x).
  • Applying grand-canonical fluctuation formulas to an exactly fixed-NN ensemble.
  • Evaluating exponentials in a numerically unstable form.

Differentiate the Fermi function with respect to μ\mu and show that the result equals βVar⁡(n)\beta\operatorname{Var}(n) for one ideal mode.

Solution

Let x=β(ϵ−μ)x=\beta(\epsilon-\mu). Then

dfdx=−ex(ex+1)2=−f(1−f),\frac{df}{dx} = - \frac{e^x}{(e^x+1)^2} = - f(1-f),

and ∂x/∂μ=−β\partial x/\partial\mu=-\beta. Therefore

∂f∂μ=βf(1−f).\frac{\partial f}{\partial\mu} = \beta f(1-f).

Since n2=nn^2=n for n=0,1n=0,1,

Var⁡(n)=⟨n⟩−⟨n⟩2=f(1−f),\operatorname{Var}(n) = \langle n\rangle-\langle n\rangle^2 = f(1-f),

which proves the identity.

Find ϵ−μ\epsilon-\mu when f=0.9f=0.9.

Solution

Invert the distribution:

eβ(ϵ−μ)=1−ff.e^{\beta(\epsilon-\mu)} = \frac{1-f}{f}.

For f=0.9f=0.9,

ϵ−μ=kBTln⁡(0.10.9)=−kBTln⁡9.\epsilon-\mu = k_{\mathrm B}T \ln \left( \frac{0.1}{0.9} \right) = - k_{\mathrm B}T\ln9.

The negative sign is sensible because a mode with occupation greater than one half lies below the chemical potential.

Derive the full width at half maximum of −∂f/∂ϵ-\partial f/\partial\epsilon.

Solution

Writing

wT(ϵ)=14kBTsech⁡2y,y=ϵ−μ2kBT,w_T(\epsilon) = \frac{1}{4k_{\mathrm B}T} \operatorname{sech}^2 y, \qquad y = \frac{\epsilon-\mu}{2k_{\mathrm B}T},

the half-maximum condition is

sech⁡2y=12.\operatorname{sech}^2 y = \frac12.

Hence

cosh⁡y=2,∣y∣=arcosh⁡2.\cosh y = \sqrt2, \qquad \lvert y\rvert = \operatorname{arcosh}\sqrt2.

The separation between the two solutions is therefore

ΔϵFWHM=4arcosh⁡2 kBT≃3.53 kBT.\Delta\epsilon_{\mathrm{FWHM}} = 4 \operatorname{arcosh}\sqrt2\, k_{\mathrm B}T \simeq 3.53\,k_{\mathrm B}T.

Use the leading Sommerfeld expansion to derive the low-temperature shift of μ\mu for a smooth density of states at fixed NN.

Solution

At zero temperature,

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

At low temperature,

N=∫ϵ0μD(ϵ) dϵ+π26(kBT)2D′(μ)+O(T4).N = \int_{\epsilon_0}^{\mu} D(\epsilon)\,d\epsilon + \frac{\pi^2}{6} (k_{\mathrm B}T)^2 D'(\mu) + O(T^4).

Write μ=ϵF+δμ\mu=\epsilon_{\mathrm F}+\delta\mu with δμ=O(T2)\delta\mu=O(T^2). Expanding to this order gives

0=D(ϵF)δμ+π26(kBT)2D′(ϵF).0 = D(\epsilon_{\mathrm F}) \delta\mu + \frac{\pi^2}{6} (k_{\mathrm B}T)^2 D'(\epsilon_{\mathrm F}).

Thus

δμ=−π26(kBT)2D′(ϵF)D(ϵF)+O(T4).\delta\mu = - \frac{\pi^2}{6} (k_{\mathrm B}T)^2 \frac{ D'(\epsilon_{\mathrm F}) }{ D(\epsilon_{\mathrm F}) } + O(T^4).

The sign depends on the local slope of the density of states; it is negative for the three-dimensional free-particle density of states.

  • R. K. Pathria and P. D. Beale, Statistical Mechanics, 4th ed., Academic Press, 2021.
  • M. Kardar, Statistical Physics of Particles, Cambridge University Press, 2007.
  • A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover, 2003.
  • N. W. Ashcroft and N. D. Mermin, Solid State Physics, Holt, Rinehart and Winston, 1976.