tecktom.com

有効質量近似は Bloch 波の均質化

2026年10月15日9分で読めますAI生成教科書『虎の巻』第12章 固体編:一電子(周期作用素とバンド)
目次
  1. 基底状態変換で均質化の問題になる
  2. 包絡線の方程式:2スケール展開
  3. 木下の層

AI 生成・木下が未勉強

近似の数理 第12章 §12.4 ★★★ バンドの底の放物線近似は第9章の均質化そのもの。1次元の最低バンドでは有効質量が調和平均で厳密に書ける

基底状態変換で均質化の問題になる

半導体の不純物準位や、ゆっくり変わる外場の中の電子を、有効質量 m∗m^* の自由粒子として扱う近似を考える。これが第9章の均質化と同じ構造であることは、1次元の最低バンドの底で最もはっきり見える。

H=−d2/dx2+V(x)H=-\mathrm{d}^2/\mathrm{d} x^2+V(x)(ℏ2/(2m)=1\hbar^2/(2m)=1、周期 11)の最低バンドの下端 ε0\varepsilon _0 に属する周期解 u0u_0 は、最低の固有関数なので符号を変えず、正にとれる。任意の関数を ψ=u0φ\psi=u_0\varphi と書くと、−u0′′+Vu0=ε0u0-u_0''+Vu_0=\varepsilon _0u_0 を使って

(H−ε0)(u0φ)=−u0′′φ−2u0′φ′−u0φ′′+(V−ε0)u0φ=−1u0(u02φ′)′(12.12)(H-\varepsilon _0)(u_0\varphi)=-u_0''\varphi-2u_0'\varphi'-u_0\varphi''+(V-\varepsilon _0)u_0\varphi=-\frac{1}{u_0}\bigl(u_0^2\varphi'\bigr)'\tag{12.12}

を得る(基底状態変換)。ポテンシャルが消え、代わりに係数 ρ≔u02\rho\coloneqq u_0^2 の発散形の作用素 Lφ=−ρ−1(ρφ′)′L\varphi=-\rho^{-1}(\rho\varphi')' が現れた。LL は重み ρ dx\rho\,\mathrm{d} x の L2L^2 で自己共役で、H−ε0H-\varepsilon _0 とユニタリ同値である。これは第9章の振動する係数の問題 −(ρ(x)φ′)′-(\rho(x)\varphi')' と同じ形をしている(近似の数理 第9章)。

定理 12.5(最低バンドの底の有効質量 ★★★)

1次元で、単位胞の上の平均を ⟨f⟩=∫01f dx\langle f \rangle =\int_0^1f\,\mathrm{d} x と書く。最低バンドは k=0k=0 の近くで

ε1(k)=ε0+ℏ2k22m∗+O(k4),mm∗=1⟨u02⟩ ⟨u0−2⟩(12.13)\varepsilon _1(k)=\varepsilon _0+\frac{\hbar^2k^2}{2m^*}+\mathcal{O}(k^4),\qquad \frac{m}{m^*}=\frac{1}{\langle u_0^2 \rangle \,\langle u_0^{-2} \rangle }\tag{12.13}

を満たす。とくに Cauchy–Schwarz の不等式 1=⟨u0⋅u0−1⟩2≤⟨u02⟩⟨u0−2⟩1=\langle u_0\cdot u_0^{-1} \rangle ^2\le\langle u_0^2 \rangle \langle u_0^{-2} \rangle から m∗≥mm^*\ge m で、等号は VV が定数のときに限る。

証明の骨格

HH の kk のファイバーは、変換 (12.12) の後では φ=eikxw\varphi=\mathrm{e}^{\mathrm{i} kx}w(ww は周期的)に対する LL の固有値問題になる。最低固有値 λ(k)\lambda(k) をkk の2次まで求める。w=1+ikχ+O(k2)w=1+\mathrm{i} k\chi+\mathcal{O}(k^2)(χ\chi は周期的で平均 00)と置いて kk の1次を比べると、第9章のセル問題と同じ(ρ(1+χ′))′=0\bigl(\rho(1+\chi')\bigr)'=0 を得る。よって ρ(1+χ′)=C\rho(1+\chi')=C(定数)で、⟨χ′⟩=0\langle \chi' \rangle =0 から C=⟨ρ−1⟩−1C=\langle \rho^{-1} \rangle ^{-1} である。固有値は Rayleigh 商 λ(k)=⟨ρ∣(eikxw)′∣2⟩/⟨ρ∣w∣2⟩\lambda(k)=\langle \rho\lvert (\mathrm{e}^{\mathrm{i} kx}w)'\rvert ^2 \rangle /\langle \rho\lvert w\rvert ^2 \rangle を ww について最小にしたものなので、2次まで

λ(k)=k2⟨ρ(1+χ′)2⟩⟨ρ⟩+O(k3)=k2C2⟨ρ−1⟩⟨ρ⟩=k2⟨ρ⟩⟨ρ−1⟩\lambda(k)=k^2\frac{\langle \rho(1+\chi')^2 \rangle }{\langle \rho \rangle }+\mathcal{O}(k^3)=k^2\frac{C^2\langle \rho^{-1} \rangle }{\langle \rho \rangle }=\frac{k^2}{\langle \rho \rangle \langle \rho^{-1} \rangle }

となる(kk の奇数次は VV が実で λ(−k)=λ(k)\lambda(-k)=\lambda(k) なので消える)。ℏ2/(2m)=1\hbar^2/(2m)=1 の単位では自由粒子が k2k^2 なので (12.13) を得る。

分母の ⟨ρ−1⟩−1\langle \rho^{-1} \rangle ^{-1} は第9章の1次元均質化の調和平均で、1/⟨ρ⟩1/\langle \rho \rangle は重みの平均による規格化である。有効質量は「u02u_0^2 を係数とする媒質の均質化係数」であり、算術平均と調和平均の違いがそのまま質量の増え方になる。dd 次元でも同じで、最低バンドの底の逆有効質量テンソルは係数 u02 Iu_0^2\,I の均質化テンソルを⟨u02⟩\langle u_0^2 \rangle で割ったものになる。均質化の係数が Bloch 固有値の k=0\bm{k}=0 での Hesse 行列に等しいことはC. Conca and M. Vanninathan (1997), SIAM J. Appl. Math. 57, 1639 が示した。第9章の Voigt の上界(均質化係数は算術平均以下)を当てるとm(m∗−1)≤Im(m^{*-1})\le I、すなわち最低バンドの底はどの向きにも自由電子より重い。

包絡線の方程式:2スケール展開

m∗m^* が分かったとして、ゆっくり変わる外のポテンシャル U(ηx)U(\eta x)(η=a/ℓ≪1\eta=a/\ell\ll1、ℓ\ell は外場が変わる長さ)がある問題Hη=H+U(ηx)H_\eta=H+U(\eta x) を考える。第9章と同じく、速い変数 y=xy=x(格子の尺度)と遅い変数 X=ηxX=\eta x を分け、

ψ(x)=unk0(x)eik0xF(ηx)+η ψ1+⋯\psi(x)=u_{n k_0}(x)\mathrm{e}^{\mathrm{i} k_0x}F(\eta x)+\eta\,\psi_1+\cdots

と置く。k0k_0 はバンド nn の非退化な極値(ここでは k0=0k_0=0 の底)である。η\eta の0次・1次の釣り合いは unk0u_{nk_0} が単位胞の固有関数であることと、セル問題(上の χ\chi)を与え、2次の可解条件として包絡線 FF の方程式

[−ℏ22∇X⋅(m∗−1∇X)+U(X)]F=μF,E=εn(k0)+η2μ+o(η2)(12.14)\Bigl[-\frac{\hbar^2}{2}\nabla_X\cdot\bigl(m^{*-1}\nabla_X\bigr)+U(X)\Bigr]F=\mu F,\qquad E=\varepsilon _n(k_0)+\eta^2\mu+o(\eta^2)\tag{12.14}

を得る(長さを XX で測ったので運動エネルギーに η2\eta^2 が付く)。これが有効質量近似で、水素原子型の不純物準位の計算はこの式の UU に遮蔽された Coulomb ポテンシャルを入れたものである。時間に依存する形(tt を η−2\eta^{-2} 倍の長い時間で測る)では、Bloch 関数に集中した初期値の解が「速く振動する Bloch 関数×ゆっくり変わる均質化された Schrödinger 方程式の解」で近似されることが証明されている(G. Allaire and A. Piatnitski (2005), Commun. Math. Phys. 258, 1)。前提はバンドの極値が単純(縮退していない)で、極値が非退化(Hesse 行列が正則)であることである。Si の価電子帯の上端のように縮退した端では、縮退したバンドを全部同時に残す多バンドの包絡線方程式が要る。

例題 12.4 弱い余弦ポテンシャルの有効質量を2通りで ★★★

オリジナルH=−d2/dx2+2vcos⁡(Gx)H=-\mathrm{d}^2/\mathrm{d} x^2+2v\cos(Gx)(ℏ2/(2m)=1\hbar^2/(2m)=1、vv は小さい)の最低バンドの底の有効質量を、vv の2次まで求める。

  1. 1次の摂動で u0=1+ccos⁡(Gx)u_0=1+c\cos(Gx) と置き、cc を求めよ。定理 12.5 の公式から m/m∗m/m^* を vv の2次まで求めよ。
  2. (12.10) の2次の摂動で、kk の小さい所の ε1(k)\varepsilon _1(k) を展開し、k2k^2 の係数を求めて (1) と比べよ。
  3. Mathieu の場合(v=qv=q、G=2G=2)に当てはめ、q=0.5q=0.5 の値を数値の m/m∗=0.8872m/m^*=0.8872 と比べよ。
解答

(1) −u0′′=cG2cos⁡Gx-u_0''=cG^2\cos Gx、2vcos⁡Gx⋅1=2vcos⁡Gx2v\cos Gx\cdot1=2v\cos Gx で、cos⁡Gx\cos Gx の係数の釣り合い cG2+2v=0cG^2+2v=0 から c=−2v/G2c=-2v/G^2。⟨u02⟩=1+c2/2\langle u_0^2 \rangle =1+c^2/2、⟨u0−2⟩=⟨1−2ccos⁡Gx+3c2cos⁡2Gx⟩+O(c3)=1+3c2/2\langle u_0^{-2} \rangle =\langle 1-2c\cos Gx+3c^2\cos^2Gx \rangle +\mathcal{O}(c^3)=1+3c^2/2 なので積は 1+2c2+O(c3)1+2c^2+\mathcal{O}(c^3)、

mm∗=1−2c2=1−8v2G4+O(v3).\frac{m}{m^*}=1-2c^2=1-\frac{8v^2}{G^4}+\mathcal{O}(v^3).

(2) 状態 eikx\mathrm{e}^{\mathrm{i} kx} は ei(k±G)x\mathrm{e}^{\mathrm{i}(k\pm G)x} と行列要素 vv で結合するので

ε1(k)=k2−v2[1(k+G)2−k2+1(k−G)2−k2]=k2−2v2G2⋅11−4k2/G2=−2v2G2+k2(1−8v2G4)+O(k4).\begin{aligned} \varepsilon _1(k)&=k^2-v^2\Bigl[\frac{1}{(k+G)^2-k^2}+\frac{1}{(k-G)^2-k^2}\Bigr]=k^2-\frac{2v^2}{G^2}\cdot\frac{1}{1-4k^2/G^2}\\ &=-\frac{2v^2}{G^2}+k^2\Bigl(1-\frac{8v^2}{G^4}\Bigr)+\mathcal{O}(k^4). \end{aligned}

k2k^2 の係数は (1) と一致する。(1) は基底状態の形(u0u_0 の凹凸)から、(2) は上のバンドとの混ざり(k⋅pk\cdot p 摂動)から同じ量を出しており、均質化の公式は k⋅pk\cdot p 摂動の和を1つの平均に畳んだものになっている。

(3) 8v2/G4=8q2/16=q2/28v^2/G^4=8q^2/16=q^2/2 なので m/m∗≈1−q2/2=0.875m/m^*\approx1-q^2/2=0.875。数値の 0.88720.8872 との差 0.0120.012 は q4q^4 の程度の高次の項である(q4=0.0625q^4=0.0625 の約 0.20.2 倍)。数値の値は、平面波基底で求めた u0u_0 から ⟨u02⟩⟨u0−2⟩\langle u_0^2 \rangle \langle u_0^{-2} \rangle を計算しても、ε1(k)\varepsilon _1(k) の曲率を数値微分しても、6桁まで同じになる(検算スクリプト)。

近似の裏付け

型 B(極限) | 小さいもの η=a/ℓ→0\eta=a/\ell\to0(外のポテンシャルの変わる長さ ℓ\ell が格子定数 aa より十分長い) | 証明 条件付き(バンドの極値が単純で非退化。時間に依存する形は Allaire–Piatnitski 2005。Coulomb の特異点を持つ不純物ポテンシャルでの前提は要確認) | 行き先 近似の数理 第9章

ほかの巻では

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『虎の巻』の記事一覧へ