出てくるもの3:バンドギャップ問題
AI 生成・木下が未勉強
ハミルトニアンの選び方で固体を考える 第2部 第10章 §2.10.4 ★★★ Kohn–Sham の固有値は準粒子のエネルギーではない。ギャップを測る量 と Kohn–Sham のギャップの間には交換相関ポテンシャルの跳び があり、LDA・GGA はこれを落とす
測りたいギャップと Kohn–Sham のギャップ
半導体のギャップを実験で測るとき、その中身は「電子を1個取り出すのに要るエネルギー」と「電子を1個入れたときに戻るエネルギー」の差である。 電子の基底エネルギーを とし、
と書く。 はイオン化エネルギー、 は電子親和力で、 を基本ギャップと呼ぶ。光電子分光(電子を取り出す)と逆光電子分光(電子を入れる)の組で測るのがこの量である。
これに対して Kohn–Sham の計算で直接得られるのは、固有値の差 (固体では伝導帯の下端と価電子帯の上端の差)である。2つが一致する理由は無い。Kohn–Sham の固有値は、正しい密度を再現するために置いた、相互作用のない電子の補助の問題の固有値で、電子を出し入れしたときのエネルギー(準粒子のエネルギー)として定義されたものではないからである。
分数の電子数と微分の不連続
両者の関係は、電子数 を連続に動かすと見える。電子数が分数の系を、整数の電子数の状態の混合として定義すると、厳密な は整数の点を結ぶ折れ線になる(J. P. Perdew, R. G. Parr, M. Levy and J. L. Balduz (1982), Phys. Rev. Lett. 49, 1691)。 では傾きが 、 では傾きが で、整数の で傾きが だけ跳ぶ(図 2.10.4)。一方、Kohn–Sham の固有値は全エネルギーの占有数による微分である(Janak の定理:J. F. Janak (1978), Phys. Rev. B 18, 7165)。
したがって厳密な汎関数で、 より少し少ない側の最高被占の固有値は傾き に等しく、 となる。 より少し多い側で新しく埋まる軌道の固有値は に等しい。ところが、 を下から越えた瞬間に軌道は変わらないのに固有値だけが跳ぶので、交換相関ポテンシャルそのものが を越えるとき空間全体で定数 だけ跳んでいなければならない。まとめると
で、厳密な汎関数を使っても、Kohn–Sham のギャップは基本ギャップより だけ小さい(J. P. Perdew and M. Levy (1983), Phys. Rev. Lett. 51, 1884、L. J. Sham and M. Schlüter (1983), Phys. Rev. Lett. 51, 1888)。
LDA と GGA の は各点の密度(と勾配)の滑らかな関数なので、電子数を変えても跳ばず、 になる。さらに LDA の は整数の間で折れ線より下にたわんだ曲線になり(図 2.10.4)、その傾きである固有値は整数の点で折れ線の両側の傾きの中間の値をとる。この2つの理由で、LDA・GGA のギャップは実験より小さく出る。Si では LDA のギャップは約 で、実験の の半分ほどである(M. S. Hybertsen and S. G. Louie (1986), Phys. Rev. B 34, 5390)。Ge のようにギャップの小さい物質では、LDA で伝導帯と価電子帯が重なり、金属と出ることもある。
図 2.10.4 電子数 を連続に動かしたときの基底エネルギー(模式図)。厳密な は整数の点を結ぶ折れ線(点線)で、整数 で傾きが だけ跳ぶ。LDA・GGA の は折れ線より下にたわむ滑らかな曲線(実線)で、傾きの跳びを持たない。
例題 2.10.6 水素原子で微分の不連続を見る ★★★
オリジナル水素原子(電子1個)の厳密な Kohn–Sham の問題を考える。実験値としてイオン化エネルギー 、H の電子親和力 (K. R. Lykke, K. K. Murray and W. C. Lineberger (1991), Phys. Rev. A 43, 6104)を使う。
- (1) 電子1個の系では厳密な が になることを示し、Kohn–Sham のポテンシャルが原子核の そのものになることを確かめよ。
- (2) Kohn–Sham の HOMO()と LUMO()の固有値、Kohn–Sham のギャップ、基本ギャップ を求めよ。
- (3) 式 (2.10.16) から を求め、 が成り立っていることを確かめよ。
解答
(1) 電子1個の系に電子どうしの反発は無いので、厳密な全エネルギーに Hartree の項は無い。式 (2.10.2) では が自分自身との反発として入っているので、 でこれをちょうど打ち消さなければならない。密度で微分すると となり、。Kohn–Sham の問題は水素原子の Schrödinger 方程式そのものになる。
(2) 固有値は なので、、、。基本ギャップは 。
(3) 。 で、厳密な汎関数で最高被占の固有値がイオン化エネルギーに等しいことが確かめられる。LUMO の固有値 は と大きく違う。2個目の電子が入った瞬間に、1個目の電子が作る反発が現れてポテンシャル全体が持ち上がるので、2個目の電子の固有値は まで上がる。この持ち上がり は、1電子の Kohn–Sham の問題の固有値をいくら正確に求めても現れない。厳密な汎関数を使っても Kohn–Sham のギャップが基本ギャップと違うことを、最も簡単な系で示している。
補正の方法:GW とはさみの補正
測りたいのが電子を出し入れするエネルギーなら、それを直接計算すればよい。電子を1個加えた・抜いた状態の準粒子のエネルギーは、自己エネルギー を含む方程式
で決まる。Kohn–Sham の式 (2.10.3) は を局所的でエネルギーによらない に置き換えたものにあたる。 を、1電子の Green 関数 と遮蔽された Coulomb 相互作用 の積で近似するのが GW 近似である(L. Hedin (1965), Phys. Rev. 139, A796)。Hartree–Fock の交換は遮蔽されていない Coulomb 相互作用で電子を出し入れするので、半導体のギャップを大きく出しすぎる。GW はその Coulomb 相互作用を第5部第1章の誘電関数で遮蔽したもので、Hartree–Fock と LDA の間の正しい側に来る。実際の計算では LDA の固有値と波動関数から出発し、 を1次の補正として求めることが多い。Si の間接ギャップは GW で になり、実験の に近い(Hybertsen and Louie (1986))。
GW は1電子の計算より数桁重いので、手軽な補正としてはさみの補正(scissor 補正)も使われる。LDA のバンドの形は実験とよく合い、ずれは伝導帯全体がほぼ一様に下がっていることにある、という観察に基づき、伝導帯だけを一定の幅 だけ持ち上げる。 は実験か GW のギャップに合わせて決めるので、予言でなく合わせ込みである。それでも、光の吸収スペクトルの形や有効質量のように、ギャップの値以外のバンドの情報を LDA から引き出すには十分なことが多い。
例題 2.10.7 遷移状態の固有値でイオン化エネルギーを測る ★
オリジナルある原子の最高被占軌道の占有数を として、近似汎関数での全エネルギーが (、)と書けたとする。
- (1) Janak の定理 (2.10.15) から固有値 を求め、 の固有値と、この汎関数でのイオン化エネルギー を比べよ。
- (2) を示し、この関係(Slater の遷移状態)の意味を述べよ。
解答
(1) で、。 なので、 は より 小さい。 が下に凸()にたわんでいるので、端の点での傾きは平均の傾きより緩い。これが図 2.10.4 の LDA の曲線で HOMO が浅く出る理由で、厳密な汎関数なら は直線()で になる。
(2) で、 が の1次式なので積分は中点の値 に等しい。電子を半分だけ抜いた状態の固有値を使えば、たわみの影響が打ち消され、全エネルギーの差(SCF と呼ぶ)を1回の計算で得ることができる。有限の原子や分子ではこの全エネルギーの差が実験に近いイオン化エネルギーになるが、無限の結晶では電子1個を抜いた変化が全体に広がって密度の変化が に近づき、全エネルギーの差が固有値の差に戻ってしまう。結晶でギャップ問題が避けられないのはこのためである。
木下の勉強ステータス
木下はまだこの記事を勉強していません。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com
← AI生成教科書『虎の巻』の記事一覧へ