ヘリウム原子をDFTで解析する
ヘリウム原子は2電子系であり、電子間反発
参考ドキュメント
- W. Kohn and L. J. Sham, Self-Consistent Equations Including Exchange and Correlation Effects, Phys. Rev. 140, A1133 (1965). https://doi.org/10.1103/PhysRev.140.A1133
- P. Hohenberg and W. Kohn, Inhomogeneous Electron Gas, Phys. Rev. 136, B864 (1964). https://doi.org/10.1103/PhysRev.136.B864
- 常田貴夫(理研)資料「密度汎関数法の基礎(Kohn–Sham方程式など)」PDF(日本語) https://www2.riken.jp/qcl/members/tsuneda/web/dft05-sec1.pdf
0. 記号と前提(単位・座標・スピン)
空間座標(核位置を原点)である。
電子密度である。He は電子数
を満たす。
核電荷である。He では
原子単位系(atomic units)を用いる。ここで
であり、エネルギー単位は Hartree、長さ単位はボーア半径
1. He の多体シュレーディンガー方程式と DFT への移行の動機
Born–Oppenheimer 近似(核固定)のもとで、He の非相対論的ハミルトニアンは
である。
は電子 のラプラシアンであり運動エネルギーを表す。 は電子 と核の距離である。 は電子間距離であり、 が電子相関の原因である。
DFT は、この多体波動関数
2. Hohenberg–Kohn(HK)定理:外部ポテンシャルと密度の一意性
外部ポテンシャルを
とする(He 原子の核−電子クーロン引力である)。
HK 定理の要点は、基底状態密度
このとき、基底状態全エネルギーは
と書ける。
は密度の汎関数である。 は普遍汎関数であり、系に依らない(運動エネルギーと電子間相互作用を含む)成分である。
3. Kohn–Sham(KS)方程式:相互作用系を1電子方程式へ写像する
KS は、相互作用電子系の密度を、ある非相互作用系の密度として再現する写像を導入する。非相互作用系の一電子方程式は
である。
はKS軌道(空間軌道)である。 はKS固有値(軌道エネルギー)である。 は有効ポテンシャルである。
有効ポテンシャルは
と分解される。
3.1 Hartree(静電)項
である。
- これは電子密度が作る古典的静電ポテンシャルである。
- He の「2電子の平均反発」を表すが、交換・相関は含まない。
3.2 交換相関(XC)項
交換相関エネルギー汎関数
で定義する。
は汎関数微分である。 は、非相互作用運動エネルギーへの置換で生じる差分、および電子間相互作用のうち Hartree では表せない交換・相関を全て吸収する。
4. He(閉殻一重項)に特化したKSの形:1つの空間軌道に2電子が入る
He の基底状態はスピン一重項(全スピン
- 空間軌道:
を1本 - スピン:
を占有
という形になる。
このとき密度は
である。
- 係数2は、同じ空間軌道にスピン上・下の2電子が占有することを表す。
KS方程式は
となる(
この式は「He の電子軌道(1s)」を DFT の内部(KS写像)で定義する中心式である。
5. 全エネルギーの評価式:He の基底状態エネルギーをどう出すか
KS-DFT の全エネルギーは、KS軌道から得られる密度を用いて
と書ける。
はKS軌道から計算される「非相互作用系の運動エネルギー」である。 はHartreeエネルギーである。 が交換相関の寄与である。
He では
6. 交換相関汎関数の選択:He における意味合い
He は「結合距離」などを持たない孤立原子であり、汎関数の性格(交換の扱い、自己相互作用誤差、漸近形)を見やすい対象である。
6.1 LDA / GGA
である。
は一様電子気体の交換相関エネルギー密度である。 - GGA はさらに
など密度勾配への依存を追加する。
LDA/GGA は多くの系で全エネルギーや構造に有用であるが、有限系(原子・分子)では
6.2 ハイブリッド・正確交換(EXX)
交換項にHartree–Fock型の正確交換を混ぜる、あるいはKS枠内で正確交換を扱う(EXX)ことで、自己相互作用誤差の一部が減り、軌道エネルギー・ポテンシャル形状の改善が見込まれる。
ただし He のような小系では、そもそも「厳密KSポテンシャル」が(密度からの反転で)定義可能であり、近似がどこでずれるかを比較する対象にもなるのである。
7. 電離エネルギーの扱い:ΔSCF と「IP定理(HOMO=-I)」の関係
He の第一電離エネルギー
で定義される(原子単位系なら Hartree で得られ、eV へは
- これは ΔSCF(デルタSCF)と呼ばれる評価であり、DFTでも比較的頑健に実行できることが多い。
は1電子系であり、交換相関の意味合いが He より単純になるため、誤差の源を切り分ける材料にもなる。
一方、厳密なKS-DFTでは、有限系の基底状態に対して
が成立する(IP定理である)。ここで
しかし、近似汎関数(LDA/GGA等)では
- ΔSCF による
(He のHOMO)から見た
の両方を比較すると、汎関数近似の性格が可視化されるのである。
8. He の「軌道(1s, 2s, 2p …)」をDFTでどう扱うか
He の基底状態で占有されるKS軌道は事実上 1s のみである。2s や 2p は非占有(仮想)軌道としてKS方程式の固有解に現れるが、次の点を明確にする必要がある。
- KSの非占有準位差
は、一般に「実在の励起エネルギー」ではない。 - 励起を扱うには、時間依存DFT(TDDFT)や、励起状態向けの枠組み(ensemble DFTなど)を用いるのが筋である。
このことは He のような単純系でも本質的であり、DFTの「基底状態理論としての役割」と「励起への拡張」の境界を理解する題材となるのである。
9. 励起状態:He を TDDFT(あるいはKS反転)で扱う位置づけ
時間依存DFTは、密度の時間発展を扱い、線形応答の枠組みで励起エネルギーを与える。He は、厳密解(多体計算)や高精度分光と比較できるため、TDDFT の近似(交換相関カーネルの近似)がどのように効くかを検討する基礎系になるのである。
また、He では「厳密密度」からKS方程式を反転して厳密
10. 周期境界条件コードでの孤立He原子:計算設定の要点(概念)
多くのDFTコードは3次元周期境界条件を仮定するため、孤立原子を扱うには「大きな真空を含む超胞」を用いて、周期像の相互作用を小さくする必要がある。
- 中性 He(He^0)は全電荷が0であり、セルを十分大きくすると周期像相互作用は急速に小さくなる。
- 荷電系(He^+ など)は周期系に補償背景が入り、有限サイズ補正(例:Makov–Payne補正)や、より適切な孤立系境界条件(例:ESM、クーロンカットオフ等)が論点となる。
したがって「He の電離エネルギー」を周期コードで求める場合、He と He^+ の両方でセルサイズ・境界条件の影響を揃えて比較する設計が必要になるのである。
11. まとめと展望
He 原子のDFT解析は、HK定理とKS方程式に基づき、2電子系の基底状態密度を1電子方程式の自己無撞着解として構成し、KS軌道(1s)と全エネルギーを得る手順として整理できるのである。さらに、ΔSCF による電離エネルギーと、厳密理論で成り立つ
展望として、He は励起や時間発展を含むTDDFT・ensemble DFT・厳密KS反転の検証対象としても重要であり、基底状態DFTの限界と拡張の要点を短い数式で追える希少な系である。したがって He で得た理解は、多電子原子・分子、さらには固体の電子状態計算の解釈へ、理論の骨格として接続されるのである。
その他参考にしたsources
- 尾崎泰助(東大物性研)講義資料「第一原理電子状態計算の基礎と応用(DFT-KS、LDA/GGA、Janakの定理等)」PDF(日本語) https://t-ozaki.issp.u-tokyo.ac.jp/mpcoms2021_lectures/Ozaki-Lec4.pdf
- J. Li et al., Comparing many-body approaches against the helium benchmark: exact DFT and exact XC potentialなど(SciPost Phys. 6, 040, 2019)PDF https://scipost.org/SciPostPhys.6.4.040/pdf
- D. Dar et al., Exact time-dependent density-functional theory for helium by KS inversion, Phys. Rev. A 104, 032821 (2021). https://doi.org/10.1103/PhysRevA.104.032821
- Quantum ESPRESSO documentation(孤立系・荷電系の扱いに関する入力説明:tot_charge 等) https://www.quantum-espresso.org/Doc/INPUT_CP.html
- O. Andreussi and N. Marzari, Electrostatics in periodic boundary conditions(孤立系近似と補正の議論)Phys. Rev. B 90, 245101 (2014). https://doi.org/10.1103/PhysRevB.90.245101
- A. K. Roy, Density-functional calculations on excited states of helium(KS方程式の数値解法を含む)Phys. Rev. A 65, 052508 (2002). https://doi.org/10.1103/PhysRevA.65.052508