This sheet specializes the Quantum Gas Formula Sheet to ideal fermions. It collects the formulas most often needed for state counting, thermodynamics, response checks, and translation among one-, two-, and three-dimensional continuum conventions.
The derivations and physical interpretation remain in Fermi–Dirac Statistics , Ideal Fermi Gas , Degenerate Fermi Gas , Fermi Momentum and Fermi Energy , and Fermi Surface .
Unless stated otherwise:
the particles are noninteracting fermions of mass m m m ;
the continuum is homogeneous and d d d dimensional;
ϵ k = ℏ 2 k 2 / ( 2 m ) \epsilon_{\mathbf k}=\hbar^2k^2/(2m) ϵ k = ℏ 2 k 2 / ( 2 m ) ;
g g g counts equally populated internal components;
n = N / V n=N/V n = N / V is total density across those components;
the thermodynamic limit follows periodic finite-volume state counting;
ϵ = 0 \epsilon=0 ϵ = 0 is the one-particle band bottom;
β = 1 / ( k B T ) \beta=1/(k_{\mathrm B}T) β = 1/ ( k B T ) and z = e β μ z=e^{\beta\mu} z = e β μ ;
all density-of-states functions below include the factor g g g .
For lattice bands, traps, relativistic dispersions, spin imbalance, or interactions, keep the Fermi function but replace the spectrum, density of states, conserved quantities, and equation-of-state identities as required.
The Fermi–Dirac occupation is
f ( ϵ ) ≡ 1 e β ( ϵ − μ ) + 1 = 1 z − 1 e β ϵ + 1 . f(\epsilon)
\equiv
\frac{1}{e^{\beta(\epsilon-\mu)}+1}
=
\frac{1}{z^{-1}e^{\beta\epsilon}+1}. f ( ϵ ) ≡ e β ( ϵ − μ ) + 1 1 = z − 1 e β ϵ + 1 1 .
It obeys
0 ≤ f ( ϵ ) ≤ 1. 0
\le
f(\epsilon)
\le
1. 0 ≤ f ( ϵ ) ≤ 1.
At zero temperature,
f ( ϵ ) ⟶ θ ( ϵ F − ϵ ) , f(\epsilon)
\longrightarrow
\theta(\epsilon_{\mathrm F}-\epsilon), f ( ϵ ) ⟶ θ ( ϵ F − ϵ ) ,
with μ ( 0 ) = ϵ F \mu(0)=\epsilon_{\mathrm F} μ ( 0 ) = ϵ F for the ideal continuum gas at fixed density.
The particle–hole identity around μ \mu μ is
f ( μ + δ ) = 1 − f ( μ − δ ) . f(\mu+\delta)
=
1-f(\mu-\delta). f ( μ + δ ) = 1 − f ( μ − δ ) .
The derivative that localizes low-temperature corrections is
− ∂ f ∂ ϵ = β f ( ϵ ) [ 1 − f ( ϵ ) ] = β 4 cosh 2 [ β ( ϵ − μ ) / 2 ] . \begin{aligned}
-\frac{\partial f}{\partial\epsilon}
&=
\beta f(\epsilon)
\left[
1-f(\epsilon)
\right]
\\
&=
\frac{\beta}{
4\cosh^2\!\left[
\beta(\epsilon-\mu)/2
\right]
}.
\end{aligned} − ∂ ϵ ∂ f = β f ( ϵ ) [ 1 − f ( ϵ ) ] = 4 cosh 2 [ β ( ϵ − μ ) /2 ] β .
Its width is of order k B T k_{\mathrm B}T k B T , its maximum is β / 4 \beta/4 β /4 , and
∫ − ∞ ∞ d ϵ ( − ∂ f ∂ ϵ ) = 1. \int_{-\infty}^{\infty}
d\epsilon\,
\left(
-\frac{\partial f}{\partial\epsilon}
\right)
=
1. ∫ − ∞ ∞ d ϵ ( − ∂ ϵ ∂ f ) = 1.
For a spectrum bounded below by zero, extending the integral to − ∞ -\infty − ∞ is accurate in the degenerate regime μ ≫ k B T \mu\gg k_{\mathrm B}T μ ≫ k B T .
For one-particle modes α \alpha α ,
H = ∑ α ϵ α n α , n α ∈ { 0 , 1 } . H
=
\sum_\alpha
\epsilon_\alpha n_\alpha,
\qquad
n_\alpha\in\{0,1\}. H = α ∑ ϵ α n α , n α ∈ { 0 , 1 } .
The grand partition function and grand potential are
Ξ = ∏ α [ 1 + e − β ( ϵ α − μ ) ] , Ω = − k B T ∑ α ln [ 1 + e − β ( ϵ α − μ ) ] . \begin{aligned}
\Xi
&=
\prod_\alpha
\left[
1+e^{-\beta(\epsilon_\alpha-\mu)}
\right],
\\
\Omega
&=
-k_{\mathrm B}T
\sum_\alpha
\ln\left[
1+e^{-\beta(\epsilon_\alpha-\mu)}
\right].
\end{aligned} Ξ Ω = α ∏ [ 1 + e − β ( ϵ α − μ ) ] , = − k B T α ∑ ln [ 1 + e − β ( ϵ α − μ ) ] .
The mean and variance of one mode are
⟨ n α ⟩ = f ( ϵ α ) , Var ( n α ) = f ( ϵ α ) [ 1 − f ( ϵ α ) ] . \begin{aligned}
\langle n_\alpha\rangle
&=
f(\epsilon_\alpha),
\\
\operatorname{Var}(n_\alpha)
&=
f(\epsilon_\alpha)
\left[
1-f(\epsilon_\alpha)
\right].
\end{aligned} ⟨ n α ⟩ Var ( n α ) = f ( ϵ α ) , = f ( ϵ α ) [ 1 − f ( ϵ α ) ] .
The one-mode entropy is
S α k B = − f α ln f α − ( 1 − f α ) ln ( 1 − f α ) . \frac{S_\alpha}{k_{\mathrm B}}
=
-f_\alpha\ln f_\alpha
-
(1-f_\alpha)
\ln(1-f_\alpha). k B S α = − f α ln f α − ( 1 − f α ) ln ( 1 − f α ) .
These independent-mode fluctuation formulas are grand canonical. Fixing the total particle number correlates the occupations.
Let D ( ϵ ) D(\epsilon) D ( ϵ ) be the total one-particle density of states, including internal degeneracy and physical volume. Then
N = ∫ 0 ∞ d ϵ D ( ϵ ) f ( ϵ ) . N
=
\int_0^\infty
d\epsilon\,
D(\epsilon)f(\epsilon). N = ∫ 0 ∞ d ϵ D ( ϵ ) f ( ϵ ) .
At fixed N N N , this equation determines μ ( T ) \mu(T) μ ( T ) . The internal energy is
U = ∫ 0 ∞ d ϵ ϵ D ( ϵ ) f ( ϵ ) , U
=
\int_0^\infty
d\epsilon\,
\epsilon D(\epsilon)f(\epsilon), U = ∫ 0 ∞ d ϵ ϵD ( ϵ ) f ( ϵ ) ,
and the grand potential is
Ω = − k B T ∫ 0 ∞ d ϵ D ( ϵ ) L ( ϵ ) , L ( ϵ ) ≡ ln [ 1 + e − β ( ϵ − μ ) ] . \begin{aligned}
\Omega
&=
-k_{\mathrm B}T
\int_0^\infty
d\epsilon\,
D(\epsilon)
\mathcal L(\epsilon),
\\
\mathcal L(\epsilon)
&\equiv
\ln\left[
1+e^{-\beta(\epsilon-\mu)}
\right].
\end{aligned} Ω L ( ϵ ) = − k B T ∫ 0 ∞ d ϵ D ( ϵ ) L ( ϵ ) , ≡ ln [ 1 + e − β ( ϵ − μ ) ] .
The entropy is
S = − k B ∫ 0 ∞ d ϵ D ( ϵ ) × [ f ln f + ( 1 − f ) ln ( 1 − f ) ] . \begin{aligned}
S
&=
-k_{\mathrm B}
\int_0^\infty
d\epsilon\,
D(\epsilon)
\\
&\quad\times
\left[
f\ln f
+
(1-f)\ln(1-f)
\right].
\end{aligned} S = − k B ∫ 0 ∞ d ϵ D ( ϵ ) × [ f ln f + ( 1 − f ) ln ( 1 − f ) ] .
These formulas remain useful for a noninteracting lattice band or trap after inserting the correct D ( ϵ ) D(\epsilon) D ( ϵ ) . Identities such as U = d P V / 2 U=dPV/2 U = d P V /2 do not survive an arbitrary dispersion or confining potential.
For ϵ k = ℏ 2 k 2 / ( 2 m ) \epsilon_{\mathbf k}=\hbar^2k^2/(2m) ϵ k = ℏ 2 k 2 / ( 2 m ) ,
D d ( ϵ ) = g V Γ ( d / 2 ) ( m 2 π ℏ 2 ) d / 2 × ϵ d / 2 − 1 . \begin{aligned}
D_d(\epsilon)
&=
\frac{gV}{\Gamma(d/2)}
\left(
\frac{m}{2\pi\hbar^2}
\right)^{d/2}
\\
&\quad\times
\epsilon^{d/2-1}.
\end{aligned} D d ( ϵ ) = Γ ( d /2 ) g V ( 2 π ℏ 2 m ) d /2 × ϵ d /2 − 1 .
In one, two, and three dimensions:
D 1 ( ϵ ) L = g π ℏ m 2 ϵ , D 2 ( ϵ ) A = g m 2 π ℏ 2 , D 3 ( ϵ ) V = g 4 π 2 ( 2 m ℏ 2 ) 3 / 2 ϵ . \begin{aligned}
\frac{D_1(\epsilon)}{L}
&=
\frac{g}{\pi\hbar}
\sqrt{
\frac{m}{2\epsilon}
},
\\
\frac{D_2(\epsilon)}{A}
&=
\frac{gm}{2\pi\hbar^2},
\\
\frac{D_3(\epsilon)}{V}
&=
\frac{g}{4\pi^2}
\left(
\frac{2m}{\hbar^2}
\right)^{3/2}
\sqrt{\epsilon}.
\end{aligned} L D 1 ( ϵ ) A D 2 ( ϵ ) V D 3 ( ϵ ) = π ℏ g 2 ϵ m , = 2 π ℏ 2 g m , = 4 π 2 g ( ℏ 2 2 m ) 3/2 ϵ .
Here L L L , A A A , and V V V denote one-, two-, and three-dimensional measures. The one-dimensional divergence at the band bottom is integrable in the particle-number integral away from singular limits.
Let
V d ≡ π d / 2 Γ ( d / 2 + 1 ) \mathcal V_d
\equiv
\frac{\pi^{d/2}}{
\Gamma(d/2+1)
} V d ≡ Γ ( d /2 + 1 ) π d /2
be the volume of the unit d d d -ball. At T = 0 T=0 T = 0 ,
n = g V d ( 2 π ) d k F d . n
=
\frac{g\mathcal V_d}{(2\pi)^d}
k_{\mathrm F}^d. n = ( 2 π ) d g V d k F d .
Equivalently,
Dimension Density–momentum relation Fermi momentum d = 1 d=1 d = 1 n = g k F / π n=gk_{\mathrm F}/\pi n = g k F / π k F = π n / g k_{\mathrm F}=\pi n/g k F = π n / g d = 2 d=2 d = 2 n = g k F 2 / ( 4 π ) n=gk_{\mathrm F}^2/(4\pi) n = g k F 2 / ( 4 π ) k F = 4 π n / g k_{\mathrm F}=\sqrt{4\pi n/g} k F = 4 π n / g d = 3 d=3 d = 3 n = g k F 3 / ( 6 π 2 ) n=gk_{\mathrm F}^3/(6\pi^2) n = g k F 3 / ( 6 π 2 ) k F = ( 6 π 2 n / g ) 1 / 3 k_{\mathrm F}=(6\pi^2n/g)^{1/3} k F = ( 6 π 2 n / g ) 1/3
The associated scales are
ϵ F = ℏ 2 k F 2 2 m , T F = ϵ F k B , v F = ℏ k F m , λ F = 2 π k F . \begin{aligned}
\epsilon_{\mathrm F}
&=
\frac{\hbar^2k_{\mathrm F}^2}{2m},
\\
T_{\mathrm F}
&=
\frac{\epsilon_{\mathrm F}}{k_{\mathrm B}},
\\
v_{\mathrm F}
&=
\frac{\hbar k_{\mathrm F}}{m},
\\
\lambda_{\mathrm F}
&=
\frac{2\pi}{k_{\mathrm F}}.
\end{aligned} ϵ F T F v F λ F = 2 m ℏ 2 k F 2 , = k B ϵ F , = m ℏ k F , = k F 2 π .
For unpolarized spin-1 / 2 1/2 1/2 fermions, g = 2 g=2 g = 2 . For a polarized gas, count each component with its own density and Fermi momentum rather than inserting one common factor g = 2 g=2 g = 2 .
For the quadratic continuum in d d d dimensions,
μ ( 0 ) = ϵ F , U 0 N = d d + 2 ϵ F , P 0 = 2 d + 2 n ϵ F . \begin{aligned}
\mu(0)
&=
\epsilon_{\mathrm F},
\\
\frac{U_0}{N}
&=
\frac{d}{d+2}
\epsilon_{\mathrm F},
\\
P_0
&=
\frac{2}{d+2}
n\epsilon_{\mathrm F}.
\end{aligned} μ ( 0 ) N U 0 P 0 = ϵ F , = d + 2 d ϵ F , = d + 2 2 n ϵ F .
The scaling identity is
P = 2 d U V P
=
\frac{2}{d}
\frac{U}{V} P = d 2 V U
at any temperature for this homogeneous quadratic ideal gas.
At the Fermi energy,
D d ( ϵ F ) V = d n 2 ϵ F . \frac{D_d(\epsilon_{\mathrm F})}{V}
=
\frac{dn}{2\epsilon_{\mathrm F}}. V D d ( ϵ F ) = 2 ϵ F d n .
The zero-temperature isothermal compressibility is
κ T ( 0 ) = 1 n 2 ( ∂ n ∂ μ ) T = 0 = d 2 n ϵ F . \kappa_T(0)
=
\frac{1}{n^2}
\left(
\frac{\partial n}{\partial\mu}
\right)_{T=0}
=
\frac{d}{2n\epsilon_{\mathrm F}}. κ T ( 0 ) = n 2 1 ( ∂ μ ∂ n ) T = 0 = 2 n ϵ F d .
Dimension-specific values are:
d d d U 0 / N U_0/N U 0 / N P 0 P_0 P 0 κ T ( 0 ) \kappa_T(0) κ T ( 0 ) 1 1 1 ϵ F / 3 \epsilon_{\mathrm F}/3 ϵ F /3 2 n ϵ F / 3 2n\epsilon_{\mathrm F}/3 2 n ϵ F /3 1 / ( 2 n ϵ F ) 1/(2n\epsilon_{\mathrm F}) 1/ ( 2 n ϵ F ) 2 2 2 ϵ F / 2 \epsilon_{\mathrm F}/2 ϵ F /2 n ϵ F / 2 n\epsilon_{\mathrm F}/2 n ϵ F /2 1 / ( n ϵ F ) 1/(n\epsilon_{\mathrm F}) 1/ ( n ϵ F ) 3 3 3 3 ϵ F / 5 3\epsilon_{\mathrm F}/5 3 ϵ F /5 2 n ϵ F / 5 2n\epsilon_{\mathrm F}/5 2 n ϵ F /5 3 / ( 2 n ϵ F ) 3/(2n\epsilon_{\mathrm F}) 3/ ( 2 n ϵ F )
The nonzero pressure at T = 0 T=0 T = 0 is a consequence of state filling under Pauli exclusion. It is not a two-body repulsive force.
Define
f s ( z ) ≡ − Li s ( − z ) = 1 Γ ( s ) ∫ 0 ∞ d t t s − 1 z − 1 e t + 1 . \begin{aligned}
f_s(z)
&\equiv
-\operatorname{Li}_s(-z)
\\
&=
\frac{1}{\Gamma(s)}
\int_0^\infty
dt\,
\frac{t^{s-1}}{z^{-1}e^t+1}.
\end{aligned} f s ( z ) ≡ − Li s ( − z ) = Γ ( s ) 1 ∫ 0 ∞ d t z − 1 e t + 1 t s − 1 .
For
λ T = 2 π ℏ 2 m k B T , \lambda_T
=
\sqrt{
\frac{2\pi\hbar^2}{mk_{\mathrm B}T}
}, λ T = m k B T 2 π ℏ 2 ,
the number density, pressure, and energy are
n = g λ T d f d / 2 ( z ) , P = g k B T λ T d f d / 2 + 1 ( z ) , U = d 2 P V . \begin{aligned}
n
&=
\frac{g}{\lambda_T^d}
f_{d/2}(z),
\\
P
&=
\frac{gk_{\mathrm B}T}{\lambda_T^d}
f_{d/2+1}(z),
\\
U
&=
\frac d2PV.
\end{aligned} n P U = λ T d g f d /2 ( z ) , = λ T d g k B T f d /2 + 1 ( z ) , = 2 d P V .
The entropy density is
S k B V = g λ T d [ ( d 2 + 1 ) f d / 2 + 1 ( z ) − ln z f d / 2 ( z ) ] . \begin{aligned}
\frac{S}{k_{\mathrm B}V}
&=
\frac{g}{\lambda_T^d}
\Bigg[
\left(
\frac d2+1
\right)
f_{d/2+1}(z)
\\
&\qquad
-
\ln z\,
f_{d/2}(z)
\Bigg].
\end{aligned} k B V S = λ T d g [ ( 2 d + 1 ) f d /2 + 1 ( z ) − ln z f d /2 ( z ) ] .
The number equation must be solved for z z z or μ \mu μ when density, rather than chemical potential, is fixed.
Define
ϑ ≡ T T F \vartheta
\equiv
\frac{T}{T_{\mathrm F}} ϑ ≡ T F T
and the phase-space density per internal component
x ≡ n λ T d g . x
\equiv
\frac{n\lambda_T^d}{g}. x ≡ g n λ T d .
For the quadratic continuum,
x = 1 Γ ( d / 2 + 1 ) ϑ − d / 2 . x
=
\frac{1}{\Gamma(d/2+1)}
\vartheta^{-d/2}. x = Γ ( d /2 + 1 ) 1 ϑ − d /2 .
Thus:
Regime Equivalent diagnostics Useful method dilute classical x ≪ 1 x\ll1 x ≪ 1 , z ≪ 1 z\ll1 z ≪ 1 , T ≫ T F T\gg T_{\mathrm F} T ≫ T F fugacity or virial expansion crossover x = O ( 1 ) x=O(1) x = O ( 1 ) , T = O ( T F ) T=O(T_{\mathrm F}) T = O ( T F ) numerical Fermi integrals degenerate x ≫ 1 x\gg1 x ≫ 1 , z ≫ 1 z\gg1 z ≫ 1 , T ≪ T F T\ll T_{\mathrm F} T ≪ T F Sommerfeld expansion
The condition “low temperature” is meaningful only relative to T F T_{\mathrm F} T F and any other energy scales.
For a sufficiently smooth function φ ( ϵ ) \varphi(\epsilon) φ ( ϵ ) and k B T ≪ μ k_{\mathrm B}T\ll\mu k B T ≪ μ ,
I φ ( T , μ ) ≡ ∫ 0 ∞ d ϵ φ ( ϵ ) f ( ϵ ) = ∫ 0 μ d ϵ φ ( ϵ ) + π 2 6 ( k B T ) 2 φ ′ ( μ ) + 7 π 4 360 ( k B T ) 4 φ ′ ′ ′ ( μ ) + ⋯ . \begin{aligned}
I_\varphi(T,\mu)
&\equiv
\int_0^\infty
d\epsilon\,
\varphi(\epsilon)f(\epsilon)
\\
&=
\int_0^\mu
d\epsilon\,
\varphi(\epsilon)
\\
&\quad+
\frac{\pi^2}{6}
(k_{\mathrm B}T)^2
\varphi'(\mu)
\\
&\quad+
\frac{7\pi^4}{360}
(k_{\mathrm B}T)^4
\varphi'''(\mu)
+
\cdots.
\end{aligned} I φ ( T , μ ) ≡ ∫ 0 ∞ d ϵ φ ( ϵ ) f ( ϵ ) = ∫ 0 μ d ϵ φ ( ϵ ) + 6 π 2 ( k B T ) 2 φ ′ ( μ ) + 360 7 π 4 ( k B T ) 4 φ ′′′ ( μ ) + ⋯ .
The expansion assumes the lower spectral endpoint is far outside the thermal window and that φ \varphi φ is smooth near μ \mu μ . Van Hove singularities, band edges, gaps, and rapidly varying matrix elements require separate treatment.
For the homogeneous quadratic gas, let ϑ = T / T F ≪ 1 \vartheta=T/T_{\mathrm F}\ll1 ϑ = T / T F ≪ 1 . At fixed density,
μ ( T ) ϵ F = 1 − π 2 12 ( d − 2 ) ϑ 2 + O ( ϑ 4 ) . \frac{\mu(T)}{\epsilon_{\mathrm F}}
=
1
-
\frac{\pi^2}{12}
(d-2)\vartheta^2
+
O(\vartheta^4). ϵ F μ ( T ) = 1 − 12 π 2 ( d − 2 ) ϑ 2 + O ( ϑ 4 ) .
The energy and pressure are
R d ( ϑ ) ≡ 1 + π 2 ( d + 2 ) 12 ϑ 2 + O ( ϑ 4 ) , U N = d d + 2 ϵ F R d ( ϑ ) , P = 2 d + 2 n ϵ F R d ( ϑ ) . \begin{aligned}
\mathcal R_d(\vartheta)
&\equiv
1+
\frac{\pi^2(d+2)}{12}
\vartheta^2
+
O(\vartheta^4),
\\
\frac{U}{N}
&=
\frac{d}{d+2}
\epsilon_{\mathrm F}
\mathcal R_d(\vartheta),
\\
P
&=
\frac{2}{d+2}
n\epsilon_{\mathrm F}
\mathcal R_d(\vartheta).
\end{aligned} R d ( ϑ ) N U P ≡ 1 + 12 π 2 ( d + 2 ) ϑ 2 + O ( ϑ 4 ) , = d + 2 d ϵ F R d ( ϑ ) , = d + 2 2 n ϵ F R d ( ϑ ) .
The heat capacity and entropy are
C V N k B = π 2 d 6 ϑ + O ( ϑ 3 ) , S N k B = π 2 d 6 ϑ + O ( ϑ 3 ) . \begin{aligned}
\frac{C_V}{Nk_{\mathrm B}}
&=
\frac{\pi^2d}{6}
\vartheta
+
O(\vartheta^3),
\\
\frac{S}{Nk_{\mathrm B}}
&=
\frac{\pi^2d}{6}
\vartheta
+
O(\vartheta^3).
\end{aligned} N k B C V N k B S = 6 π 2 d ϑ + O ( ϑ 3 ) , = 6 π 2 d ϑ + O ( ϑ 3 ) .
For d = 3 d=3 d = 3 , these reduce to
μ ( T ) = ϵ F ( 1 − π 2 12 ϑ 2 ) , C V N k B = π 2 2 ϑ . \begin{aligned}
\mu(T)
&=
\epsilon_{\mathrm F}
\left(
1-
\frac{\pi^2}{12}\vartheta^2
\right),
\\
\frac{C_V}{Nk_{\mathrm B}}
&=
\frac{\pi^2}{2}\vartheta.
\end{aligned} μ ( T ) N k B C V = ϵ F ( 1 − 12 π 2 ϑ 2 ) , = 2 π 2 ϑ .
In d = 2 d=2 d = 2 , the free-particle density of states is constant. The algebraic T 2 T^2 T 2 shift of μ \mu μ vanishes; the leading fixed-density correction is exponentially small, as shown below.
For a two-dimensional quadratic gas,
D 2 A = g m 2 π ℏ 2 ≡ D 0 . \frac{D_2}{A}
=
\frac{gm}{2\pi\hbar^2}
\equiv
\mathcal D_0. A D 2 = 2 π ℏ 2 g m ≡ D 0 .
The number equation is
n = D 0 k B T ln ( 1 + z ) . n
=
\mathcal D_0
k_{\mathrm B}T
\ln(1+z). n = D 0 k B T ln ( 1 + z ) .
Since ϵ F = n / D 0 \epsilon_{\mathrm F}=n/\mathcal D_0 ϵ F = n / D 0 ,
μ ( T ) = k B T ln ( e ϵ F / ( k B T ) − 1 ) = ϵ F + k B T ln ( 1 − e − ϵ F / ( k B T ) ) . \begin{aligned}
\mu(T)
&=
k_{\mathrm B}T
\ln\left(
e^{\epsilon_{\mathrm F}/(k_{\mathrm B}T)}-1
\right)
\\
&=
\epsilon_{\mathrm F}
+
k_{\mathrm B}T
\ln\left(
1-e^{-\epsilon_{\mathrm F}/(k_{\mathrm B}T)}
\right).
\end{aligned} μ ( T ) = k B T ln ( e ϵ F / ( k B T ) − 1 ) = ϵ F + k B T ln ( 1 − e − ϵ F / ( k B T ) ) .
Therefore μ − ϵ F \mu-\epsilon_{\mathrm F} μ − ϵ F is exponentially small when T ≪ T F T\ll T_{\mathrm F} T ≪ T F . A finite band edge or energy-dependent density of states changes this special result.
The number derivative is
( ∂ N ∂ μ ) T = β ∫ 0 ∞ d ϵ D ( ϵ ) f ( ϵ ) × [ 1 − f ( ϵ ) ] . \begin{aligned}
\left(
\frac{\partial N}{\partial\mu}
\right)_T
&=
\beta
\int_0^\infty
d\epsilon\,
D(\epsilon)
f(\epsilon)
\\
&\quad\times
\left[
1-f(\epsilon)
\right].
\end{aligned} ( ∂ μ ∂ N ) T = β ∫ 0 ∞ d ϵ D ( ϵ ) f ( ϵ ) × [ 1 − f ( ϵ ) ] .
In the grand-canonical ensemble,
Var ( N ) = k B T ( ∂ N ∂ μ ) T . \operatorname{Var}(N)
=
k_{\mathrm B}T
\left(
\frac{\partial N}{\partial\mu}
\right)_T. Var ( N ) = k B T ( ∂ μ ∂ N ) T .
At low temperature,
( ∂ N ∂ μ ) T ≃ D ( ϵ F ) , Var ( N ) ≃ k B T D ( ϵ F ) . \begin{aligned}
\left(
\frac{\partial N}{\partial\mu}
\right)_T
&\simeq
D(\epsilon_{\mathrm F}),
\\
\operatorname{Var}(N)
&\simeq
k_{\mathrm B}T
D(\epsilon_{\mathrm F}).
\end{aligned} ( ∂ μ ∂ N ) T Var ( N ) ≃ D ( ϵ F ) , ≃ k B T D ( ϵ F ) .
For the quadratic continuum,
Var ( N ) N ≃ d 2 T T F . \frac{\operatorname{Var}(N)}{N}
\simeq
\frac d2
\frac{T}{T_{\mathrm F}}. N Var ( N ) ≃ 2 d T F T .
This is a variance-to-mean ratio, not the squared relative fluctuation. The relative root-mean-square fluctuation still vanishes with increasing N N N at fixed thermodynamic conditions.
The isothermal compressibility is
κ T = 1 n 2 ( ∂ n ∂ μ ) T . \kappa_T
=
\frac{1}{n^2}
\left(
\frac{\partial n}{\partial\mu}
\right)_T. κ T = n 2 1 ( ∂ μ ∂ n ) T .
For
x = n λ T d g ≪ 1 , x
=
\frac{n\lambda_T^d}{g}
\ll
1, x = g n λ T d ≪ 1 ,
the activity and chemical potential are
z = x + x 2 2 d / 2 + O ( x 3 ) , μ k B T = ln x + x 2 d / 2 + O ( x 2 ) . \begin{aligned}
z
&=
x
+
\frac{x^2}{2^{d/2}}
+
O(x^3),
\\
\frac{\mu}{k_{\mathrm B}T}
&=
\ln x
+
\frac{x}{2^{d/2}}
+
O(x^2).
\end{aligned} z k B T μ = x + 2 d /2 x 2 + O ( x 3 ) , = ln x + 2 d /2 x + O ( x 2 ) .
The pressure is
P n k B T = 1 + x 2 d / 2 + 1 + O ( x 2 ) . \frac{P}{nk_{\mathrm B}T}
=
1
+
\frac{x}{2^{d/2+1}}
+
O(x^2). n k B T P = 1 + 2 d /2 + 1 x + O ( x 2 ) .
The positive correction is the leading ideal exchange effect for fermions. It is not evidence for a microscopic repulsive potential.
The leading classical entropy per particle is
S N k B = d 2 + 1 − ln ( n λ T d g ) + O ( x ) . \frac{S}{Nk_{\mathrm B}}
=
\frac d2+1
-
\ln\left(
\frac{n\lambda_T^d}{g}
\right)
+
O(x). N k B S = 2 d + 1 − ln ( g n λ T d ) + O ( x ) .
For the quadratic continuum at T = 0 T=0 T = 0 :
Quantity General d d d Three dimensions density g V d k F d / ( 2 π ) d g\mathcal V_d k_{\mathrm F}^d/(2\pi)^d g V d k F d / ( 2 π ) d g k F 3 / ( 6 π 2 ) gk_{\mathrm F}^3/(6\pi^2) g k F 3 / ( 6 π 2 ) Fermi energy ℏ 2 k F 2 / ( 2 m ) \hbar^2k_{\mathrm F}^2/(2m) ℏ 2 k F 2 / ( 2 m ) same energy per particle d ϵ F / ( d + 2 ) d\epsilon_{\mathrm F}/(d+2) d ϵ F / ( d + 2 ) 3 ϵ F / 5 3\epsilon_{\mathrm F}/5 3 ϵ F /5 pressure 2 n ϵ F / ( d + 2 ) 2n\epsilon_{\mathrm F}/(d+2) 2 n ϵ F / ( d + 2 ) 2 n ϵ F / 5 2n\epsilon_{\mathrm F}/5 2 n ϵ F /5 DOS per volume at ϵ F \epsilon_{\mathrm F} ϵ F d n / ( 2 ϵ F ) dn/(2\epsilon_{\mathrm F}) d n / ( 2 ϵ F ) 3 n / ( 2 ϵ F ) 3n/(2\epsilon_{\mathrm F}) 3 n / ( 2 ϵ F ) compressibility d / ( 2 n ϵ F ) d/(2n\epsilon_{\mathrm F}) d / ( 2 n ϵ F ) 3 / ( 2 n ϵ F ) 3/(2n\epsilon_{\mathrm F}) 3/ ( 2 n ϵ F )
Use the band dispersion ϵ a k \epsilon_{a\mathbf k} ϵ a k and Brillouin-zone sum:
N = ∑ a , k f ( ϵ a k ) . N
=
\sum_{a,\mathbf k}
f(\epsilon_{a\mathbf k}). N = a , k ∑ f ( ϵ a k ) .
The Fermi surface is defined by ϵ a k = μ \epsilon_{a\mathbf k}=\mu ϵ a k = μ at low temperature. The free-space formulas for k F k_{\mathrm F} k F , pressure, and D d ( ϵ ) D_d(\epsilon) D d ( ϵ ) generally do not apply.
Replace the homogeneous density of states by the trap density of states or use a controlled local-density approximation. The symbol V V V should not be interpreted as a uniform box volume when no such volume exists.
Replace the dispersion and state-counting measure consistently. In the ultrarelativistic limit, P = U / ( d V ) P=U/(dV) P = U / ( d V ) rather than P = 2 U / ( d V ) P=2U/(dV) P = 2 U / ( d V ) .
The exact momentum occupation need not be a Fermi–Dirac function of the bare one-particle energy. Hartree–Fock theory, quasiparticle theory, and Fermi-liquid theory introduce effective spectra and renormalized response coefficients. State which spectrum enters f f f .
0 ≤ f ≤ 1 0\le f\le1 0 ≤ f ≤ 1 for every mode.
D ( ϵ ) D(\epsilon) D ( ϵ ) has dimensions of inverse energy.
D ( ϵ F ) / V = d n / ( 2 ϵ F ) D(\epsilon_{\mathrm F})/V=dn/(2\epsilon_{\mathrm F}) D ( ϵ F ) / V = d n / ( 2 ϵ F ) for a quadratic continuum.
T → 0 T\to0 T → 0 gives a filled Fermi ball, not zero kinetic energy.
T ≫ T F T\gg T_{\mathrm F} T ≫ T F gives z ≪ 1 z\ll1 z ≪ 1 and the Maxwell–Boltzmann law.
C V C_V C V and S S S vanish linearly as T → 0 T\to0 T → 0 in the ideal continuum.
g = 2 g=2 g = 2 gives k F = ( 3 π 2 n ) 1 / 3 k_{\mathrm F}=(3\pi^2n)^{1/3} k F = ( 3 π 2 n ) 1/3 in three dimensions.
A fixed-density low-temperature calculation must include the shift of μ ( T ) \mu(T) μ ( T ) .
Any quoted pressure identity must match the dispersion and geometry.
Using total density n n n with a one-component formula while also setting g = 2 g=2 g = 2 .
Calling f ( ϵ ) f(\epsilon) f ( ϵ ) a probability density over energy without multiplying by D ( ϵ ) D(\epsilon) D ( ϵ ) and normalizing.
Replacing the finite-temperature chemical potential by ϵ F \epsilon_{\mathrm F} ϵ F at all temperatures.
Assigning the classical heat capacity d N k B / 2 dNk_{\mathrm B}/2 d N k B /2 to a degenerate gas.
Applying the three-dimensional square-root density of states in one or two dimensions.
Treating degeneracy pressure as a new pair force.
Using a Sommerfeld expansion at a band edge or singular density of states.
Confusing grand-canonical number fluctuations with fixed-N N N fluctuations.
Applying free-space k F k_{\mathrm F} k F formulas to a lattice Fermi surface.
Using nonrelativistic pressure formulas when ϵ F \epsilon_{\mathrm F} ϵ F is comparable to the rest energy.
R. K. Pathria and P. D. Beale, Statistical Mechanics , 3rd ed., Elsevier (2011) — ideal Fermi gases and thermodynamic ensembles.
K. Huang, Statistical Mechanics , 2nd ed., Wiley (1987) — density-of-states integrals, virial expansion, and degenerate limits.
L. D. Landau and E. M. Lifshitz, Statistical Physics, Part 1 , 3rd ed., Butterworth–Heinemann (1980) — degenerate Fermi thermodynamics and low-temperature expansions.
N. W. Ashcroft and N. D. Mermin, Solid State Physics , Harcourt (1976) — electron-gas state counting, Fermi surfaces, and low-temperature response.
G. D. Mahan, Many-Particle Physics , 3rd ed., Springer (2000) — Fermi functions, response, and interacting extensions.
P. Coleman, Introduction to Many-Body Physics , Cambridge University Press (2015) — Fermi seas, quasiparticles, and many-body conventions.
Starting from periodic momentum-state density V / ( 2 π ) d V/(2\pi)^d V / ( 2 π ) d , derive
n = g V d ( 2 π ) d k F d . n
=
\frac{g\mathcal V_d}{(2\pi)^d}
k_{\mathrm F}^d. n = ( 2 π ) d g V d k F d .
Solution
At zero temperature, all states inside the Fermi ball are occupied. Therefore
N = g V ∫ k < k F d d k ( 2 π ) d = g V V d k F d ( 2 π ) d . \begin{aligned}
N
&=
gV
\int_{k<k_{\mathrm F}}
\frac{d^dk}{(2\pi)^d}
\\
&=
gV
\frac{\mathcal V_d k_{\mathrm F}^d}{
(2\pi)^d
}.
\end{aligned} N = g V ∫ k < k F ( 2 π ) d d d k = g V ( 2 π ) d V d k F d .
Dividing by V V V gives the result. The factor g g g counts distinct internal states at each momentum, while V d k F d \mathcal V_d k_{\mathrm F}^d V d k F d is geometric momentum-space volume.
Use N ∝ ϵ F d / 2 N\propto\epsilon_{\mathrm F}^{d/2} N ∝ ϵ F d /2 to show that
D d ( ϵ F ) V = d n 2 ϵ F \frac{D_d(\epsilon_{\mathrm F})}{V}
=
\frac{dn}{2\epsilon_{\mathrm F}} V D d ( ϵ F ) = 2 ϵ F d n
and derive the zero-temperature compressibility.
Solution
At zero temperature,
N = ∫ 0 ϵ F d ϵ D d ( ϵ ) . N
=
\int_0^{\epsilon_{\mathrm F}}
d\epsilon\,
D_d(\epsilon). N = ∫ 0 ϵ F d ϵ D d ( ϵ ) .
Because D d ( ϵ ) ∝ ϵ d / 2 − 1 D_d(\epsilon)\propto\epsilon^{d/2-1} D d ( ϵ ) ∝ ϵ d /2 − 1 ,
N = 2 d D d ( ϵ F ) ϵ F . N
=
\frac{2}{d}
D_d(\epsilon_{\mathrm F})
\epsilon_{\mathrm F}. N = d 2 D d ( ϵ F ) ϵ F .
Divide by V V V and rearrange to obtain
D d ( ϵ F ) V = d n 2 ϵ F . \frac{D_d(\epsilon_{\mathrm F})}{V}
=
\frac{dn}{2\epsilon_{\mathrm F}}. V D d ( ϵ F ) = 2 ϵ F d n .
Since μ ( 0 ) = ϵ F \mu(0)=\epsilon_{\mathrm F} μ ( 0 ) = ϵ F ,
κ T ( 0 ) = 1 n 2 ( ∂ n ∂ μ ) T = 0 = d 2 n ϵ F . \begin{aligned}
\kappa_T(0)
&=
\frac{1}{n^2}
\left(
\frac{\partial n}{\partial\mu}
\right)_{T=0}
\\
&=
\frac{d}{2n\epsilon_{\mathrm F}}.
\end{aligned} κ T ( 0 ) = n 2 1 ( ∂ μ ∂ n ) T = 0 = 2 n ϵ F d .
For D d ( ϵ ) = C ϵ d / 2 − 1 D_d(\epsilon)=C\epsilon^{d/2-1} D d ( ϵ ) = C ϵ d /2 − 1 , use the Sommerfeld expansion at fixed N N N to derive the leading shift of μ ( T ) \mu(T) μ ( T ) .
Solution
Let a = d / 2 − 1 a=d/2-1 a = d /2 − 1 . The number equation is
N = C μ a + 1 a + 1 + π 2 6 ( k B T ) 2 C a μ a − 1 + O ( T 4 ) . \begin{aligned}
N
&=
C
\frac{\mu^{a+1}}{a+1}
\\
&\quad+
\frac{\pi^2}{6}
(k_{\mathrm B}T)^2
Ca\mu^{a-1}
\\
&\quad+
O(T^4).
\end{aligned} N = C a + 1 μ a + 1 + 6 π 2 ( k B T ) 2 C a μ a − 1 + O ( T 4 ) .
Write μ = ϵ F + δ μ \mu=\epsilon_{\mathrm F}+\delta\mu μ = ϵ F + δ μ and compare with the zero-temperature value. To order T 2 T^2 T 2 ,
C ϵ F a δ μ + π 2 6 ( k B T ) 2 C a ϵ F a − 1 = 0. C\epsilon_{\mathrm F}^{a}
\delta\mu
+
\frac{\pi^2}{6}
(k_{\mathrm B}T)^2
Ca\epsilon_{\mathrm F}^{a-1}
=
0. C ϵ F a δ μ + 6 π 2 ( k B T ) 2 C a ϵ F a − 1 = 0.
Hence
δ μ ϵ F = − π 2 6 a ( T T F ) 2 . \frac{\delta\mu}{\epsilon_{\mathrm F}}
=
-\frac{\pi^2}{6}
a
\left(
\frac{T}{T_{\mathrm F}}
\right)^2. ϵ F δ μ = − 6 π 2 a ( T F T ) 2 .
Using a = ( d − 2 ) / 2 a=(d-2)/2 a = ( d − 2 ) /2 gives
μ ( T ) ϵ F = 1 − π 2 12 ( d − 2 ) × ( T T F ) 2 + O [ ( T T F ) 4 ] . \begin{aligned}
\frac{\mu(T)}{\epsilon_{\mathrm F}}
&=
1
-
\frac{\pi^2}{12}
(d-2)
\\
&\quad\times
\left(
\frac{T}{T_{\mathrm F}}
\right)^2
+
O\!\left[
\left(
\frac{T}{T_{\mathrm F}}
\right)^4
\right].
\end{aligned} ϵ F μ ( T ) = 1 − 12 π 2 ( d − 2 ) × ( T F T ) 2 + O [ ( T F T ) 4 ] .
Starting from the constant two-dimensional density of states, derive the exact fixed-density expression for μ ( T ) \mu(T) μ ( T ) .
Solution
With D 2 / A = D 0 D_2/A=\mathcal D_0 D 2 / A = D 0 ,
n = D 0 ∫ 0 ∞ d ϵ 1 e β ( ϵ − μ ) + 1 = D 0 k B T ln ( 1 + e β μ ) . \begin{aligned}
n
&=
\mathcal D_0
\int_0^\infty
d\epsilon\,
\frac{1}{e^{\beta(\epsilon-\mu)}+1}
\\
&=
\mathcal D_0
k_{\mathrm B}T
\ln(1+e^{\beta\mu}).
\end{aligned} n = D 0 ∫ 0 ∞ d ϵ e β ( ϵ − μ ) + 1 1 = D 0 k B T ln ( 1 + e β μ ) .
Because n = D 0 ϵ F n=\mathcal D_0\epsilon_{\mathrm F} n = D 0 ϵ F ,
e β μ = e β ϵ F − 1. e^{\beta\mu}
=
e^{\beta\epsilon_{\mathrm F}}-1. e β μ = e β ϵ F − 1.
Taking the logarithm gives
μ ( T ) = k B T ln ( e ϵ F / ( k B T ) − 1 ) . \mu(T)
=
k_{\mathrm B}T
\ln\left(
e^{\epsilon_{\mathrm F}/(k_{\mathrm B}T)}-1
\right). μ ( T ) = k B T ln ( e ϵ F / ( k B T ) − 1 ) .
Factoring out the large exponential yields the equivalent form
μ ( T ) = ϵ F + k B T ln ( 1 − e − ϵ F / ( k B T ) ) . \mu(T)
=
\epsilon_{\mathrm F}
+
k_{\mathrm B}T
\ln\left(
1-e^{-\epsilon_{\mathrm F}/(k_{\mathrm B}T)}
\right). μ ( T ) = ϵ F + k B T ln ( 1 − e − ϵ F / ( k B T ) ) .
Show that a low-temperature quadratic gas satisfies
Var ( N ) N ≃ d 2 T T F . \frac{\operatorname{Var}(N)}{N}
\simeq
\frac d2
\frac{T}{T_{\mathrm F}}. N Var ( N ) ≃ 2 d T F T .
Solution
The fluctuation relation gives
Var ( N ) = k B T ( ∂ N ∂ μ ) T . \operatorname{Var}(N)
=
k_{\mathrm B}T
\left(
\frac{\partial N}{\partial\mu}
\right)_T. Var ( N ) = k B T ( ∂ μ ∂ N ) T .
At low temperature, the derivative is localized at the Fermi energy:
( ∂ N ∂ μ ) T ≃ D d ( ϵ F ) . \left(
\frac{\partial N}{\partial\mu}
\right)_T
\simeq
D_d(\epsilon_{\mathrm F}). ( ∂ μ ∂ N ) T ≃ D d ( ϵ F ) .
Using
D d ( ϵ F ) = d N 2 ϵ F , D_d(\epsilon_{\mathrm F})
=
\frac{dN}{2\epsilon_{\mathrm F}}, D d ( ϵ F ) = 2 ϵ F d N ,
one obtains
Var ( N ) N ≃ d 2 k B T ϵ F = d 2 T T F . \frac{\operatorname{Var}(N)}{N}
\simeq
\frac d2
\frac{k_{\mathrm B}T}{\epsilon_{\mathrm F}}
=
\frac d2
\frac{T}{T_{\mathrm F}}. N Var ( N ) ≃ 2 d ϵ F k B T = 2 d T F T .
This result is grand canonical; it is identically zero for an exactly fixed total N N N .
Let x = n λ T d / g ≪ 1 x=n\lambda_T^d/g\ll1 x = n λ T d / g ≪ 1 . Derive the first Fermi correction to the classical pressure and explain its sign.
Solution
The Fermi integrals have expansions
x = z − z 2 2 d / 2 + O ( z 3 ) , P λ T d g k B T = z − z 2 2 d / 2 + 1 + O ( z 3 ) . \begin{aligned}
x
&=
z-
\frac{z^2}{2^{d/2}}
+
O(z^3),
\\
\frac{P\lambda_T^d}{
gk_{\mathrm B}T
}
&=
z-
\frac{z^2}{2^{d/2+1}}
+
O(z^3).
\end{aligned} x g k B T P λ T d = z − 2 d /2 z 2 + O ( z 3 ) , = z − 2 d /2 + 1 z 2 + O ( z 3 ) .
Inverting the first series gives
z = x + x 2 2 d / 2 + O ( x 3 ) . z
=
x+
\frac{x^2}{2^{d/2}}
+
O(x^3). z = x + 2 d /2 x 2 + O ( x 3 ) .
Substitution into the pressure yields
P λ T d g k B T = x + x 2 2 d / 2 + 1 + O ( x 3 ) . \frac{P\lambda_T^d}{
gk_{\mathrm B}T
}
=
x+
\frac{x^2}{2^{d/2+1}}
+
O(x^3). g k B T P λ T d = x + 2 d /2 + 1 x 2 + O ( x 3 ) .
Dividing by x x x gives
P n k B T = 1 + x 2 d / 2 + 1 + O ( x 2 ) . \frac{P}{nk_{\mathrm B}T}
=
1+
\frac{x}{2^{d/2+1}}
+
O(x^2). n k B T P = 1 + 2 d /2 + 1 x + O ( x 2 ) .
The correction is positive because Pauli exclusion suppresses multiple occupancy of the same one-particle mode. It is statistical rather than a pairwise repulsion.