ハミルトニアンの選び方で固体を考える 第1部 第1章 §1.1.3 ★★★ 原子ごとに数個の軌道だけを残して部分空間へ移ると、tight-binding・Hubbard・Heisenberg の模型が得られる
1電子の有効ポテンシャル
前の節の削り方で、残ったのは止まったイオンの間を動く価電子の問題である。それでも価電子どうしの Coulomb 斥力があるので、問題は多体のままである。多くの章では、さらに電子どうしの相互作用を平均のポテンシャルにまとめ、電子1個ずつが同じポテンシャル v e f f ( r ) v_{\mathrm{eff}}(\bm{r}) v eff ( r ) の中を独立に動くとみなす:
[ − ℏ 2 2 m ∇ 2 + v e f f ( r ) ] ψ ( r ) = ε ψ ( r ) . (1.1.5) \Bigl[-\frac{\hbar^2}{2m}\nabla^2+v_{\mathrm{eff}}(\bm{r})\Bigr]\psi(\bm{r})=\varepsilon \,\psi(\bm{r}).\tag{1.1.5} [ − 2 m ℏ 2 ∇ 2 + v eff ( r ) ] ψ ( r ) = ε ψ ( r ) . ( 1.1.5 )
これが1電子近似 で、第2部のバンド理論と第4部の輸送はこの式の上に立っている。v e f f v_{\mathrm{eff}} v eff をどう決めるかには、Hartree–Fock 近似(Slater 行列式の空間に射影する A 型。近似の数理 第5章 )と、密度汎関数理論(交換相関のエネルギーを密度の関数で置き換える C 型。近似の数理 第9章 )がある。バンド計算の実用の多くは後者で、近似の汎関数がどれだけ正しいかを数学の側から評価する方法は無い。この巻では v e f f v_{\mathrm{eff}} v eff が格子と同じ周期を持つことだけを使い、その中身は決めない。
残す軌道を選ぶ:tight-binding 模型
式 (1.1.5) をさらに小さくするには、電子が動ける関数の空間を狭める。各原子の位置 R j \bm{R}_j R j に局在した軌道 ϕ j ( r ) = ϕ ( r − R j ) \phi_j(\bm{r})=\phi(\bm{r}-\bm{R}_j) ϕ j ( r ) = ϕ ( r − R j ) を1個ずつ選び、電子の状態をその線形結合 ψ = ∑ j c j ϕ j \psi=\sum_jc_j\phi_j ψ = ∑ j c j ϕ j に限る。これは化学で LCAO と呼ぶ操作で、第V巻(近似の数理)の言葉では、無限次元の関数空間から有限次元の部分空間への射影(A 型)である。異なる原子の軌道の重なりを無視し、隣り合う原子の間の行列要素だけを残すと、ハミルトニアンは
H ^ T B = ∑ j , σ ε a c ^ j σ † c ^ j σ − t ∑ ⟨ j l ⟩ , σ ( c ^ j σ † c ^ l σ + c ^ l σ † c ^ j σ ) ( t > 0 ) (1.1.6) \hat H_{\mathrm{TB}}=\sum_{j,\sigma}\varepsilon _{\mathrm a}\,\hat c^\dagger_{j\sigma}\hat c_{j\sigma}-t\sum_{\langle jl\rangle,\sigma}\bigl(\hat c^\dagger_{j\sigma}\hat c_{l\sigma}+\hat c^\dagger_{l\sigma}\hat c_{j\sigma}\bigr)\qquad(t>0)\tag{1.1.6} H ^ TB = j , σ ∑ ε a c ^ j σ † c ^ j σ − t ⟨ j l ⟩ , σ ∑ ( c ^ j σ † c ^ l σ + c ^ l σ † c ^ j σ ) ( t > 0 ) ( 1.1.6 )
になる。c ^ j σ † \hat c^\dagger_{j\sigma} c ^ j σ † はサイト j j j の軌道にスピン σ = ↑ , ↓ \sigma=\uparrow,\downarrow σ =↑ , ↓ の電子を1個入れる演算子、ε a \varepsilon _{\mathrm a} ε a はサイトのエネルギー(原子の準位)、t t t は隣のサイトへの飛び移り(ホッピング)の大きさ、⟨ j l ⟩ \langle jl\rangle ⟨ j l ⟩ は隣り合うサイトの組である。これが tight-binding 模型 で、第2部の第1〜3章で、原子2個・分子・原子 N N N 個の輪の順にこの式を対角化する(第2部第1章 )。化学の Hückel 法の α \alpha α と β \beta β は、ここでは ε a \varepsilon _{\mathrm a} ε a と − t -t − t にあたる。
2サイトの場合、電子1個の状態は ϕ 1 \phi_1 ϕ 1 と ϕ 2 \phi_2 ϕ 2 の2つで、ハミルトニアンは 2 × 2 2\times2 2 × 2 行列
H = ( ε 1 − t − t ε 2 ) , ε ± = ε 1 + ε 2 2 ± ( ε 1 − ε 2 2 ) 2 + t 2 (1.1.7) H=\begin{pmatrix}\varepsilon _1&-t\\-t&\varepsilon _2\end{pmatrix},\qquad
\varepsilon _\pm=\frac{\varepsilon _1+\varepsilon _2}{2}\pm\sqrt{\Bigl(\frac{\varepsilon _1-\varepsilon _2}{2}\Bigr)^2+t^2}\tag{1.1.7} H = ( ε 1 − t − t ε 2 ) , ε ± = 2 ε 1 + ε 2 ± ( 2 ε 1 − ε 2 ) 2 + t 2 ( 1.1.7 )
になる。同じ原子なら ε 1 = ε 2 = ε a \varepsilon _1=\varepsilon _2=\varepsilon _{\mathrm a} ε 1 = ε 2 = ε a で、ε a ∓ t \varepsilon _{\mathrm a}\mp t ε a ∓ t の結合軌道と反結合軌道に分かれる。準位が 2 t 2t 2 t だけ分かれることが、原子が N N N 個並ぶと準位が幅 4 t 4t 4 t の帯(バンド)になることの出発点である(1.1.4 節)。
相互作用を1つだけ戻す:Hubbard 模型と Heisenberg 模型
1電子近似は、電子どうしの斥力を平均に置き換えたので、同じ原子の軌道に電子が2個入るときの大きな斥力を正しく扱わない。遷移金属の酸化物のように軌道が原子に強く局在している物質では、この斥力が性質を決める。そこで式 (1.1.6) に、同じサイトに電子が2個入ったときだけ U U U だけエネルギーが上がる項を戻す:
H ^ H u b = H ^ T B + U ∑ j n ^ j ↑ n ^ j ↓ , n ^ j σ = c ^ j σ † c ^ j σ . (1.1.8) \hat H_{\mathrm{Hub}}=\hat H_{\mathrm{TB}}+U\sum_j\hat n_{j\uparrow}\hat n_{j\downarrow},\qquad\hat n_{j\sigma}=\hat c^\dagger_{j\sigma}\hat c_{j\sigma}.\tag{1.1.8} H ^ Hub = H ^ TB + U j ∑ n ^ j ↑ n ^ j ↓ , n ^ j σ = c ^ j σ † c ^ j σ . ( 1.1.8 )
これが Hubbard 模型 である。Coulomb 斥力のうち同じサイトの分だけを残し、隣のサイトとの斥力や交換の積分は削っている。
電子の数がサイトの数と同じで U ≫ t U\gg t U ≫ t のときは、どのサイトにも電子がちょうど1個ずつ入った状態のエネルギーが低く、電子は動けない。残るのはサイトごとのスピンの向きだけで、その向きの間に、2次の摂動で
H ^ H e i s = J ∑ ⟨ j l ⟩ ( S ^ j ⋅ S ^ l − 1 4 ) , J = 4 t 2 U (1.1.9) \hat H_{\mathrm{Heis}}=J\sum_{\langle jl\rangle}\Bigl(\hat{\bm{S}}_j\cdot\hat{\bm{S}}_l-\frac14\Bigr),\qquad J=\frac{4t^2}{U}\tag{1.1.9} H ^ Heis = J ⟨ j l ⟩ ∑ ( S ^ j ⋅ S ^ l − 4 1 ) , J = U 4 t 2 ( 1.1.9 )
の相互作用が生じる。ここでスピン演算子 S ^ j \hat{\bm{S}}_j S ^ j は ℏ \hbar ℏ を単位として測る(S ^ j 2 \hat{\bm{S}}_j^{\,2} S ^ j 2 の固有値は 3 4 \frac34 4 3 )。これが反強磁性の Heisenberg 模型 である(J > 0 J>0 J > 0 )。電子の位置の自由度を削り、スピンだけを残したモデルである。2サイトの場合にこの式が出ることは、1.1.7 節の総合問題で厳密な対角化と比べて確かめる。磁性の本体は 第5部第2章 と 第5部第3章 で扱う。
何を削ったか
この節で削ったものは、電子どうしの相互作用の大部分(1電子近似)、局在した数個の軌道以外の関数(tight-binding)、Hubbard 模型の U U U 以外の相互作用、U ≫ t U\gg t U ≫ t のときの電荷の自由度(Heisenberg 模型)である。削るたびに模型は小さくなり、残った自由度の名前(バンド・ホッピング・スピン)が変わっていく。
近似の裏付け
型 A(射影) | 小さいもの 各原子に局在した数個の軌道が張る部分空間 | 証明 条件付き(原子間距離が大きい深い井戸の極限で、トンネル積分の形まで証明されている〔Simon 1984、Helffer–Sjöstrand 1984〕。実在の結晶の原子間距離での誤差の大きさは要確認) | 行き先 近似の数理 第4章 ・近似の数理 第12章
近似の裏付け
型 C(閉じる) | 小さいもの 交換相関のエネルギーを密度の関数で置き換える(小さいパラメータなし) | 証明 C 型=内部の評価なし | 行き先 近似の数理 第9章
近似の裏付け
型 B(極限) | 小さいもの t / U → 0 t/U\to0 t / U → 0 (同じサイトの斥力がホッピングより十分大きい) | 証明 条件付き(有限個のサイトでは孤立した縮退準位の摂動として正当化される。サイト数を無限にしたときの一様な評価は要確認) | 行き先 近似の数理 第13章
例題 1.1.3 種類の違う2つの原子の結合軌道 ★★
オリジナル サイトのエネルギーが ε 1 = 0 \varepsilon _1=0 ε 1 = 0 、ε 2 = − 2 e V \varepsilon _2=-2\,\mathrm{eV} ε 2 = − 2 eV の2つの原子が、ホッピング t = 1 e V t=1\,\mathrm{eV} t = 1 eV でつながっている。電子1個のハミルトニアンは式 (1.1.7) である。
(1) 2つの固有値を求めよ。
(2) 低い方の固有状態 c 1 ϕ 1 + c 2 ϕ 2 c_1\phi_1+c_2\phi_2 c 1 ϕ 1 + c 2 ϕ 2 で、電子が原子2にいる確率 ∣ c 2 ∣ 2 \lvert c_2\rvert ^2 ∣ c 2 ∣ 2 を求めよ。
(3) t → 0 t\to0 t → 0 と ∣ ε 1 − ε 2 ∣ → 0 \lvert \varepsilon _1-\varepsilon _2\rvert \to0 ∣ ε 1 − ε 2 ∣ → 0 の2つの極限で (2) の確率がどうなるかを述べ、結合がイオン結合か共有結合かとの関係を述べよ。
解答 (1) 式 (1.1.7) で ( ε 1 + ε 2 ) / 2 = − 1 e V (\varepsilon _1+\varepsilon _2)/2=-1\,\mathrm{eV} ( ε 1 + ε 2 ) /2 = − 1 eV 、( ε 1 − ε 2 ) / 2 = 1 e V (\varepsilon _1-\varepsilon _2)/2=1\,\mathrm{eV} ( ε 1 − ε 2 ) /2 = 1 eV なのでε ± = − 1 ± 1 + 1 = − 1 ± 2 \varepsilon _\pm=-1\pm\sqrt{1+1}=-1\pm\sqrt2 ε ± = − 1 ± 1 + 1 = − 1 ± 2 、すなわち ε − = − 2.414 e V \varepsilon _-=-2.414\,\mathrm{eV} ε − = − 2.414 eV と ε + = 0.414 e V \varepsilon _+=0.414\,\mathrm{eV} ε + = 0.414 eV である。
(2) ε − \varepsilon _- ε − の固有ベクトルは ( H − ε − ) c = 0 (H-\varepsilon _-)\bm{c}=0 ( H − ε − ) c = 0 の1行目 ( 0 − ε − ) c 1 − t c 2 = 0 (0-\varepsilon _-)c_1-tc_2=0 ( 0 − ε − ) c 1 − t c 2 = 0 から c 2 = − ε − c 1 / t = 2.414 c 1 c_2=-\varepsilon _-c_1/t=2.414\,c_1 c 2 = − ε − c 1 / t = 2.414 c 1 。規格化すると ∣ c 2 ∣ 2 = 2.414 2 1 + 2.414 2 = 5.828 6.828 ≈ 0.854 \lvert c_2\rvert ^2=\dfrac{2.414^2}{1+2.414^2}=\dfrac{5.828}{6.828}\approx0.854 ∣ c 2 ∣ 2 = 1 + 2.41 4 2 2.41 4 2 = 6.828 5.828 ≈ 0.854 である。
(3) 一般に Δ = ( ε 1 − ε 2 ) / 2 \Delta=(\varepsilon _1-\varepsilon _2)/2 Δ = ( ε 1 − ε 2 ) /2 とおくと ∣ c 2 ∣ 2 = 1 2 ( 1 + Δ / Δ 2 + t 2 ) \lvert c_2\rvert ^2=\frac12\bigl(1+\Delta/\sqrt{\Delta^2+t^2}\bigr) ∣ c 2 ∣ 2 = 2 1 ( 1 + Δ/ Δ 2 + t 2 ) になる。t → 0 t\to0 t → 0 では ∣ c 2 ∣ 2 → 1 \lvert c_2\rvert ^2\to1 ∣ c 2 ∣ 2 → 1 で、電子は準位の低い原子2に移りきる。これはイオン結合の極限である。Δ → 0 \Delta\to0 Δ → 0 では ∣ c 2 ∣ 2 → 1 2 \lvert c_2\rvert ^2\to\frac12 ∣ c 2 ∣ 2 → 2 1 で、電子は2つの原子に等しく分かれる。これは共有結合の極限である。2つの準位の差とホッピングの比 Δ / t \Delta/t Δ/ t という1つの数で、イオン結合と共有結合の間がつながっている。この模型では原子の他の軌道を削っているので、Δ \Delta Δ と t t t が軌道の大きさや原子間距離にどう依るかは模型の外で決める必要がある。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com