Sommerfeld expansion


The Sommerfeld expansion is an approximation used to solve a certain class of integrals related to the Fermi-Dirac distribution. It leads to a power series representation where each term contains an integral. The general form of the integral that can be expanded with this method is

H(ε)z1eβε+1 dε\int_{-\infty}^{\infty} \frac{H(\varepsilon)}{z^{-1}e^{\beta\varepsilon} +1} \ d\varepsilon

where the integrand is the Fermi-Dirac distribution multiplied by some factor H(ε)H(\varepsilon), which must vanish when ε\varepsilon\to-\infty and rise no faster than a polynomial when ε\varepsilon\to \infty. The lower bound may be 00 instead of -\infty, in which case the vanishing at ε\varepsilon\to -\infty need not be respected. This approximation is accurate for high zz, which means for low temperature.

Fermi functions

The Fermi functions (in integral form) are all eligible for this method since H(ε)H(\varepsilon) is a monomial in them. The following is a derivation for f3/2(z)f_{3/2}(z) specifically. We start from the integral representation:

f3/2(z)=22πΓ(1)Γ(2)0x2z1ex2+1dx=4π0x2z1ex2+1dx=f_{3/2}(z)=\frac{2^{2}}{\sqrt{ \pi }} \frac{\Gamma(1)}{\Gamma(2)} \int_{0}^{\infty} \frac{x^{2}}{z^{-1}e^{x^{2}}+1}dx=\frac{4}{\sqrt{ \pi }}\int_{0}^{\infty} \frac{x^{2}}{z^{-1}e^{x^{2}}+1}dx=\ldots

If we take zz to be the fugacity eβμe^{\beta \mu}, we can write z1ex2=ex2βμz^{-1}e^{x^{2}}=e^{x^{2}-\beta \mu} call βμ=lnz=ν\beta \mu=\ln z=\nu and make the substitution x2=yx^{2}=y. All of these give us

=4π0x2ex2ν+1dx=42π0yeyν+1dy=\ldots=\frac{4}{\sqrt{ \pi }}\int_{0}^{\infty} \frac{x^{2}}{e^{x^{2}-\nu}+1}dx=\frac{4}{2\sqrt{ \pi }}\int_{0}^{\infty} \frac{\sqrt{ y }}{e^{y-\nu}+1}dy=\ldots

At high zz, therefore high ν\nu, the factor 1eyν+1\frac{1}{e^{y-\nu}+1} (the Fermi-Dirac distribution) is almost a Heaviside step function1, the derivative of which would be almost a Dirac delta. We can see this graphically if we plot the distribution at zero and low temperatures:

If we can rework the integral to include that derivative, then we could solve it by just calculating it around the neighborhood of ν\nu, since the function would nonzero only around there. A good way of manifesting a derivative out of thin air is with integration by parts, which we'll do on the distribution and the numerator y\sqrt{ y }:

=2π0yeyν+1dy=2π[23(y3/2eyν+1)0230y3/2y1eyν+1]=43π0y3/2eyν(eyν+1)2dy\begin{align} \ldots&=\frac{2}{\sqrt{ \pi }}\int_{0}^{\infty} \frac{\sqrt{ y }}{e^{y-\nu}+1}dy \\ &=\frac{2}{\sqrt{ \pi }}\left[ \frac{2}{3}\left( \frac{y^{3/2}}{e^{y-\nu}+1} \right)_{0}^{\infty}- \frac{2}{3}\int_{0}^{\infty} y^{3/2}\frac{ \partial }{ \partial y } \frac{1}{e^{y-\nu}+1} \right] \\ &=\frac{4}{3\sqrt{ \pi }}\int_{0}^{\infty} y^{3/2} \frac{e^{y-\nu}}{(e^{y-\nu}+1)^{2}}dy \end{align}

The boundary integral on the left of the second step vanishes at both bounds because the numerator is either zero, or the denominator shoots up to infinity faster than the numerator. Now that we have our derivative, we can safely state that this integral is now peaked around ν\nu. This justifies an accurate approximation around ν\nu. First, we make the substitution t=yνt=y-\nu, which yields

=4ν3/23πν(1+tν)3/2et(et+1)2dt=\ldots=\frac{4\nu^{3/2}}{3\sqrt{ \pi }}\int_{-\nu}^{\infty} \left( 1+ \frac{t}{\nu} \right)^{3/2} \frac{e^{t}}{(e^{t}+1)^{2}}dt=\ldots

Recall that we care only about high zz and so high lnz=ν\ln z=\nu. This means that the lower bounds approaches negative infinity. We can therefore safely set the lower bound to -\infty:

4ν3/23π(1+tν)3/2et(et+1)2dt=\ldots\simeq\frac{4\nu^{3/2}}{3\sqrt{ \pi }}\int_{-\infty}^{\infty} \left( 1+ \frac{t}{\nu} \right)^{3/2} \frac{e^{t}}{(e^{t}+1)^{2}}dt=\ldots

To get a power series, we use the Taylor series expansion about 00 of t/νt/\nu for

(1+tν)3/2=n=01n!(tν)ndnd(t/ν)n(1+tν)3/2=1+32tν+38t2ν2+\left( 1+ \frac{t}{\nu} \right)^{3/2}=\sum_{n=0}^{\infty} \frac{1}{n!}\left( \frac{t}{\nu} \right)^{n} \frac{d^{n}}{d(t/\nu)^{n}}\left( 1+ \frac{t}{\nu} \right)^{3/2}= 1+ \frac{3}{2} \frac{t}{\nu}+ \frac{3}{8} \frac{t^{2}}{\nu ^{2}}+\ldots

With this, we have

=4ν3/23π(1+32tν+38t2ν2+)et(et+1)2dt=\ldots= \frac{4\nu^{3/2}}{3\sqrt{ \pi }}\int_{-\infty}^{\infty}\left( 1+ \frac{3}{2} \frac{t}{\nu} + \frac{3}{8} \frac{t^{2}}{\nu ^{2}}+ \ldots \right) \frac{e^{t}}{(e^{t}+1)^{2}}dt=\ldots

Using integral linearity, we can bring the sum out to write

=4ν3/23π(I0+38ν2I2+)\ldots=\frac{4\nu^{3/2}}{3\sqrt{ \pi }} \left( I_{0}+ \frac{3}{8\nu ^{2}}I_{2}+\ldots \right)

where each InI_{n} terms in an integral that looks like

In=tnet(et1)2 dtI_{n}=\int_{-\infty}^{\infty} \frac{t^{n}e^{t}}{(e^{t}-1)^{2}} \ dt

You'll notice that I1I_{1} is gone: in fact, all odd terms are gone. This is because all of those integrals evaluate to zero, leaving only even powers. The first two non-zero integrals are I0=1I_{0}=1 and I2=π2/3I_{2}=\pi ^{2}/3.2 The approximate series representation when z1z\gg 1 is

f3/2(z)43π(lnz)3/2[1+π281(lnz)2+]\boxed{f_{3/2}(z)\simeq \frac{4}{3\sqrt{ \pi }}(\ln z)^{3/2}\left[ 1+ \frac{\pi ^{2}}{8} \frac{1}{(\ln z)^{2}}+\ldots \right]}

since ν=lnz\nu=\ln z.

In a similar manner, we can find the expansion for f5/2(z)f_{5/2}(z):

f5/2(z)=815π(lnz)5/2[1+5π281(lnz)2+]\boxed{f_{5/2}(z)=\frac{8}{15\sqrt{ \pi }}(\ln z)^{5/2}\left[ 1+ \frac{5\pi^{2}}{8} \frac{1}{(\ln z)^{2}}+\ldots \right]}

and more generally for some fk(z)f_{k}(z):

fk(z)=(lnz)kΓ(k+1)[1+π26k(k1)(lnz)2+]\boxed{f_{k}(z)=\frac{(\ln z)^{k}}{\Gamma(k+1)}\left[ 1+ \frac{\pi ^{2}}{6} \frac{k(k-1)}{(\ln z)^{2}} +\ldots\right]}

Footnotes

  1. This is due to the Pauli exclusion principle, which constrains occupation numbers to be 00 or 11 for fermions. Recall that at low temperatures, where random thermal forces are small, fermions pile up at the lowest state they can, up until the Fermi energy. At exactly zero temperature, there is a perfect cutoff between all states below this energy being occupied, and no state above being occupied. As the temperature increases, thermal fluctuations blur this cutoff, but if they are weak enough, it's still very close to a straight vertical line, making the distribution almost a Heaviside step function.

  2. As it happens, these integrals have another nice form: In=(n1)!(2n)(121n)ζ(n)I_{n}=(n-1)!(2n)(1-2^{1-n})\zeta(n). Here, ζ(n)\zeta(n) is the Riemann zeta function.