ゾンマーフェルト展開

ゾンマーフェルト展開（ゾンマーフェルトてんかい、英: Sommerfeld expansion）は、アルノルト・ゾンマーフェルトにより開発された、物性物理学および統計物理学において頻出する特定の種類の積分を近似する手法である。これらの積分は物理的には、フェルミ・ディラック分布を用いた統計平均を表わしている。 逆温度 β {\displaystyle \beta } が大きいとき、これらの積分は β {\displaystyle \beta } について以下のように展開できる ∫ − ∞ ∞ H ( ε ) e β ( ε − μ ) + 1 d ε = ∫ − ∞ μ H ( ε ) d ε + π 2 6 ( 1 β ) 2 H ′ ( μ ) + O ( 1 β μ ) 4 {\displaystyle \int _{-\infty }^{\infty }{\frac {H(\varepsilon )}{e^{\beta (\varepsilon -\mu )}+1}}\,\mathrm {d} \varepsilon =\int _{-\infty }^{\mu }H(\varepsilon )\,\mathrm {d} \varepsilon +{\frac {\pi ^{2}}{6}}\left({\frac {1}{\beta }}\right)^{2}H^{\prime }(\mu )+O\left({\frac {1}{\beta \mu }}\right)^{4}} ここで、 H ′ ( μ ) {\displaystyle H^{\prime }(\mu )} は H ( ε ) {\displaystyle H(\varepsilon )} の導関数の ε = μ {\displaystyle \varepsilon =\mu } における値を表わし、 O ( x n ) {\displaystyle O(x^{n})} は x n {\displaystyle x^{n}} のオーダーの極限挙動を表わす。この展開は H ( ε ) {\displaystyle H(\varepsilon )} が ε → − ∞ {\displaystyle \varepsilon \rightarrow -\infty } において 0 に収束し、かつ ε → ∞ {\displaystyle \varepsilon \rightarrow \infty } において ε の多項式よりも早く発散しないときにのみ有効である。この積分が 0 から無限の場合、この展開の第一項の積分は 0 から無限となり、第二項の積分は不変である。 この種類の積分は、自由電子模型における固体の電子熱容量など、電子の物性を算出する際に頻出する。これらの計算において、上述の展開は物理量 H ( ε ) {\displaystyle H(\varepsilon )} の期待値を表わす。このとき、 β {\displaystyle \beta } は逆温度、 μ {\displaystyle \mu } は化学ポテンシャルに相当する。したがって、ゾンマーフェルト展開は逆温度 β {\displaystyle \beta } の高い（温度の低い）系に有効である。 温度について二次の項まで展開式を求めたい。ここで、 β − 1 = τ = k B T {\displaystyle \beta ^{-1}=\tau =k_{B}T} を温度とボルツマン定数の積とする。まず、変数変換 τ x = ε − μ {\displaystyle \tau x=\varepsilon -\mu } により次を得る。 I = ∫ − ∞ ∞ H ( ε ) e β ( ε − μ ) + 1 d ε = τ ∫ − ∞ ∞ H ( μ + τ x ) e x + 1 d x , {\displaystyle I=\int _{-\infty }^{\infty }{\frac {H(\varepsilon )}{e^{\beta (\varepsilon -\mu )}+1}}\,\mathrm {d} \varepsilon =\tau \int _{-\infty }^{\infty }{\frac {H(\mu +\tau x)}{e^{x}+1}}\,\mathrm {d} x\,,} 積分範囲をわけて I = I 1 + I 2 {\displaystyle I=I_{1}+I_{2}} とし、 I 1 {\displaystyle I_{1}} x → − x {\displaystyle x\rightarrow -x} を施すと次を得る。 I = τ ∫ − ∞ 0 H ( μ + τ x ) e x + 1 d x ⏟ I 1 + τ ∫ 0 ∞ H ( μ + τ x ) e x + 1 d x ⏟ I 2 . {\displaystyle I=\underbrace {\tau \int _{-\infty }^{0}{\frac {H(\mu +\tau x)}{e^{x}+1}}\,\mathrm {d} x} _{I_{1}}+\underbrace {\tau \int _{0}^{\infty }{\frac {H(\mu +\tau x)}{e^{x}+1}}\,\mathrm {d} x} _{I_{2}}\,.} I 1 = τ ∫ − ∞ 0 H ( μ + τ x ) e x + 1 d x = τ ∫ 0 ∞ H ( μ − τ x ) e − x + 1 d x {\displaystyle I_{1}=\tau \int _{-\infty }^{0}{\frac {H(\mu +\tau x)}{e^{x}+1}}\,\mathrm {d} x=\tau \int _{0}^{\infty }{\frac {H(\mu -\tau x)}{e^{-x}+1}}\,\mathrm {d} x\,} 次に、 I 1 {\displaystyle I_{1}} 1 e − x + 1 = 1 − 1 e x + 1 , {\displaystyle {\frac {1}{e^{-x}+1}}=1-{\frac {1}{e^{x}+1}}\,,} すると、次を得る。 I 1 = τ ∫ 0 ∞ H ( μ − τ x ) d x − τ ∫ 0 ∞ H ( μ − τ x ) e x + 1 d x {\displaystyle I_{1}=\tau \int _{0}^{\infty }H(\mu -\tau x)\,\mathrm {d} x-\tau \int _{0}^{\infty }{\frac {H(\mu -\tau x)}{e^{x}+1}}\,\mathrm {d} x\,} 変数変換 − τ d x = d ε {\displaystyle -\tau \mathrm {d} x=\mathrm {d} \varepsilon } により I 1 {\displaystyle I_{1}} の第一項を元の変数に戻し、 I = I 1 + I 2 {\displaystyle I=I_{1}+I_{2}} により次を得る。 I = ∫ − ∞ μ H ( ε ) d ε + τ ∫ 0 ∞ H ( μ + τ x ) − H ( μ − τ x ) e x + 1 d x {\displaystyle I=\int _{-\infty }^{\mu }H(\varepsilon )\,\mathrm {d} \varepsilon +\tau \int _{0}^{\infty }{\frac {H(\mu +\tau x)-H(\mu -\tau x)}{e^{x}+1}}\,\mathrm {d} x\,} 第二項の分子は、 τ {\displaystyle \tau } が十分に小さく H ( ε ) {\displaystyle H(\varepsilon )} が十分に滑らかなとき一次導関数を用いて次のように近似することができる。 Δ H = H ( μ + τ x ) − H ( μ − τ x ) ≈ 2 τ x H ′ ( μ ) + ⋯ , {\displaystyle \Delta H=H(\mu +\tau x)-H(\mu -\tau x)\approx 2\tau xH'(\mu )+\cdots \,,} これを代入し、次を得る。 I = ∫ − ∞ μ H ( ε ) d ε + 2 τ 2 H ′ ( μ ) ∫ 0 ∞ x d x e x + 1 {\displaystyle I=\int _{-\infty }^{\mu }H(\varepsilon )\,\mathrm {d} \varepsilon +2\tau ^{2}H'(\mu )\int _{0}^{\infty }{\frac {x\mathrm {d} x}{e^{x}+1}}\,} この定積分の値は次のように得られることが知られている。 ∫ 0 ∞ x d x e x + 1 = π 2 12 {\displaystyle \int _{0}^{\infty }{\frac {x\mathrm {d} x}{e^{x}+1}}={\frac {\pi ^{2}}{12}}} . したがって、最終的に次を得る。 フェルミ分布のモーメント母関数は以下のような形である。 ∫ − ∞ ∞ d ϵ 2 π e τ ϵ / 2 π { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = 1 τ { ( τ T 2 ) sin ⁡ ( τ T 2 ) e τ μ / 2 π − 1 } , 0 < τ T / 2 π < 1. {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}e^{\tau \epsilon /2\pi }\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}={\frac {1}{\tau }}\left\{{\frac {({\frac {\tau T}{2}})}{\sin({\frac {\tau T}{2}})}}e^{\tau \mu /2\pi }-1\right\},\quad 0<\tau T/2\pi <1.} ここで、  k B T = β − 1 {\displaystyle k_{\rm {B}}T=\beta ^{-1}} であり、ヘヴィサイドの階段関数 − θ ( − ϵ ) {\displaystyle -\theta (-\epsilon )} は発散的な絶対零度分布を引き去っている。これを  τ {\displaystyle \tau } のべき乗で展開した結果の一部を以下に示す。 ∫ − ∞ ∞ d ϵ 2 π { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = ( μ 2 π ) , {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}=\left({\frac {\mu }{2\pi }}\right),} ∫ − ∞ ∞ d ϵ 2 π ( ϵ 2 π ) { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = 1 2 ! ( μ 2 π ) 2 + T 2 4 ! , {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}\left({\frac {\epsilon }{2\pi }}\right)\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}={\frac {1}{2!}}\left({\frac {\mu }{2\pi }}\right)^{2}+{\frac {T^{2}}{4!}},} ∫ − ∞ ∞ d ϵ 2 π 1 2 ! ( ϵ 2 π ) 2 { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = 1 3 ! ( μ 2 π ) 3 + ( μ 2 π ) T 2 4 ! , {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}{\frac {1}{2!}}\left({\frac {\epsilon }{2\pi }}\right)^{2}\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}={\frac {1}{3!}}\left({\frac {\mu }{2\pi }}\right)^{3}+\left({\frac {\mu }{2\pi }}\right){\frac {T^{2}}{4!}},} ∫ − ∞ ∞ d ϵ 2 π 1 3 ! ( ϵ 2 π ) 3 { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = 1 4 ! ( μ 2 π ) 4 + 1 2 ! ( μ 2 π ) 2 T 2 4 ! + 7 8 T 4 6 ! , {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}{\frac {1}{3!}}\left({\frac {\epsilon }{2\pi }}\right)^{3}\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}={\frac {1}{4!}}\left({\frac {\mu }{2\pi }}\right)^{4}+{\frac {1}{2!}}\left({\frac {\mu }{2\pi }}\right)^{2}{\frac {T^{2}}{4!}}+{\frac {7}{8}}{\frac {T^{4}}{6!}},} ∫ − ∞ ∞ d ϵ 2 π 1 4 ! ( ϵ 2 π ) 4 { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = 1 5 ! ( μ 2 π ) 5 + 1 3 ! ( μ 2 π ) 3 T 2 4 ! + ( μ 2 π ) 7 8 T 4 6 ! , {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}{\frac {1}{4!}}\left({\frac {\epsilon }{2\pi }}\right)^{4}\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}={\frac {1}{5!}}\left({\frac {\mu }{2\pi }}\right)^{5}+{\frac {1}{3!}}\left({\frac {\mu }{2\pi }}\right)^{3}{\frac {T^{2}}{4!}}+\left({\frac {\mu }{2\pi }}\right){\frac {7}{8}}{\frac {T^{4}}{6!}},} ∫ − ∞ ∞ d ϵ 2 π 1 5 ! ( ϵ 2 π ) 5 { 1 1 + e β ( ϵ − μ ) − θ ( − ϵ ) } = 1 6 ! ( μ 2 π ) 6 + 1 4 ! ( μ 2 π ) 4 T 2 4 ! + 1 2 ! ( μ 2 π ) 2 7 8 T 4 6 ! + 31 24 T 6 8 ! . {\displaystyle \int _{-\infty }^{\infty }{\frac {d\epsilon }{2\pi }}{\frac {1}{5!}}\left({\frac {\epsilon }{2\pi }}\right)^{5}\left\{{\frac {1}{1+e^{\beta (\epsilon -\mu )}}}-\theta (-\epsilon )\right\}={\frac {1}{6!}}\left({\frac {\mu }{2\pi }}\right)^{6}+{\frac {1}{4!}}\left({\frac {\mu }{2\pi }}\right)^{4}{\frac {T^{2}}{4!}}+{\frac {1}{2!}}\left({\frac {\mu }{2\pi }}\right)^{2}{\frac {7}{8}}{\frac {T^{4}}{6!}}+{\frac {31}{24}}{\frac {T^{6}}{8!}}.} ボース分布関数の偶数次モーメントの母関数は、以下の形である。 ∫ 0 ∞ d ϵ 2 π sinh ⁡ ( ϵ τ / π ) 1 e β ϵ − 1 = 1 4 τ { 1 − τ T tan ⁡ τ T } , 0 < τ T < π {\displaystyle \int _{0}^{\infty }{\frac {d\epsilon }{2\pi }}\sinh(\epsilon \tau /\pi ){\frac {1}{e^{\beta \epsilon }-1}}={\frac {1}{4\tau }}\left\{1-{\frac {\tau T}{\tan \tau T}}\right\},\quad 0<\tau T<\pi } ^ Ashcroft & Mermin 1976, p. 760. ^ “Sommerfeld's expansion”. Universitaet Regensburg. 2016年2月8日閲覧。 ^ “Definite integrals containing exponential functions”. SOS Math. 2016年2月8日閲覧。 ^ R. Loganayagam, P. Surówka (2012). “Anomaly/Transport in an Ideal Weyl gas”. JHEP. 04: 2012:97. arXiv:1201.2812. Bibcode: 2012JHEP...04..097L. doi:10.1007/JHEP04(2012)097.  Sommerfeld, A. (1928). “Zur Elektronentheorie der Metalle auf Grund der Fermischen Statistik”. Zeitschrift für Physik 47: 1–3. Bibcode: 1928ZPhy...47....1S. doi:10.1007/BF01391052.  Ashcroft, Neil W. (1976). Solid State Physics. Thomson Learning. p. 760. ISBN 978-0-03-083993-1.