Home
2722 words
14 minutes
【DFT】PBE相関汎関数の理論構成:GEAの回復と急速変動限界への滑らかな補間

最終更新:2025-12-29

注意: この記事はAIによって自動生成されたものです。正確な情報については、必ず引用元の原著論文をご確認ください。

はじめに#

密度汎関数法(DFT)における一般化勾配近似(GGA)の標準であるPBE汎関数は、交換項と相関項のそれぞれが独立した物理的要請に基づいて設計されていると同時に、両者を組み合わせた際に最適な性能を発揮するように調整されている。 前稿で解説したPBE交換汎関数が「Lieb-Oxford境界条件」や「線形応答」を重視して設計されたのに対し、PBE相関汎関数は、電子密度の勾配が大きくなる領域において、物理的に正しい「相関エネルギーの消失」を記述することに主眼が置かれている。

1996年の原著論文 において、Perdewらは先行するPW91相関汎関数が抱えていた数理的な複雑さと、ポテンシャル計算における数値的な不安定性(微細な振動)を指摘し、それらを解消する極めて滑らかで単純な関数形を提案した。本稿では、PBE相関汎関数の導出過程と、その背後にある物理的制約について解説する。


1. 局所スピン密度近似(LSDA)と勾配展開(GEA)の課題#

GGAの相関エネルギー EcGGAE_c^{GGA} は、局所スピン密度近似(LSDA)の相関エネルギー EcLSDE_c^{LSD} に、密度勾配に依存する補正項 HH を加える形式で記述される。

EcGGA[n,n]=d3rn[ϵcunif(rs,ζ)+H(rs,ζ,t)]E_c^{GGA}[n_\uparrow, n_\downarrow] = \int d^3r \, n \left[ \epsilon_c^{unif}(r_s, \zeta) + H(r_s, \zeta, t) \right]

ここで、nn は全電子密度、ϵcunif\epsilon_c^{unif} は均一電子ガスの相関エネルギー密度(負の値)である。 PBEでは、相関汎関数の記述における無次元の密度勾配パラメータとして、交換項で用いられた ss ではなく、Thomas-Fermi遮蔽波数 ksk_s でスケーリングされた tt を採用する。

t=n2ϕksn,ϕ(ζ)=12[(1+ζ)2/3+(1ζ)2/3]t = \frac{|\nabla n|}{2 \phi k_s n}, \quad \phi(\zeta) = \frac{1}{2}[(1+\zeta)^{2/3} + (1-\zeta)^{2/3}] ks=4kFπa0k_s = \sqrt{\frac{4 k_F}{\pi a_0}}

1.1 LSDAの過剰評価#

均一電子ガスに基づくLSDAは、原子や分子のような有限系において、相関エネルギーの絶対値を過大評価(深すぎるエネルギーを与える)する傾向がある。したがって、勾配補正項 HH は正の値を取り、この過剰な相関エネルギーを打ち消す(エネルギーを浅くする)役割を担う必要がある。

1.2 GEAの発散問題#

密度勾配が小さい領域(t0t \to 0)では、勾配展開近似(GEA)が成立する。GEAにおける相関エネルギーの補正項は、tt の2乗に比例する。

EcGEAd3rn[ϵcunif+βϕ3t2]E_c^{GEA} \approx \int d^3r \, n \left[ \epsilon_c^{unif} + \beta \phi^3 t^2 \right]

ここで、係数 β0.066725\beta \approx 0.066725 は高密度極限における理論値から導かれる。 しかし、GEAをそのまま適用すると、勾配が大きい領域(t1t \gg 1)において補正項 βϕ3t2\beta \phi^3 t^2 が無限に増大し、正のエネルギー補正が元の相関エネルギー(負の値)を上回ってしまう。結果として、相関エネルギーが正になるという非物理的な結果を招く。

PW91やPBEの設計思想は、**「tt が小さい領域ではGEAを再現し、tt が大きい領域では相関エネルギーを適切にゼロに収束させる」**ことにある。


2. PBE相関汎関数の導出:3つの物理的要請#

Perdewらは、PW91のような複雑な実空間カットオフの数値積分を経ることなく、解析的な関数形で以下の3つの条件を満たすように HH を設計した。

2.1 条件1:緩やかな変化の極限(Slowly Varying Limit)#

密度勾配が小さい極限(t0t \to 0)において、汎関数はGEAの第2オーダー展開を再現しなければならない。すなわち、

Hβϕ3t2(t0)H \to \beta \phi^3 t^2 \quad (t \to 0)

である。これにより、均一に近い電子ガスに対する正しい摂動論的挙動が保証される。

2.2 条件2:急速な変化の極限(Rapidly Varying Limit)#

密度勾配が極端に大きい極限(tt \to \infty)では、相関エネルギーは消失すべきである。これは、「相関」という現象が電子間の相互作用による遮蔽効果に由来しており、密度が急激に変化する場所ではその遮蔽が効かなくなるためである。 数式上では、補正項 HH がLSDAの相関エネルギー項 ϵcunif\epsilon_c^{unif} をちょうど打ち消す必要がある。

Hϵcunif(t)H \to -\epsilon_c^{unif} \quad (t \to \infty)

これにより、全相関エネルギー密度は ϵcunif+H0\epsilon_c^{unif} + H \to 0 となり、物理的に正しい挙動(相関の消失)が実現される。

2.3 条件3:均一スケーリング則(Uniform Scaling)#

電子密度を nλ(r)=λ3n(λr)n_\lambda(\mathbf{r}) = \lambda^3 n(\lambda \mathbf{r}) とスケーリングさせ、λ\lambda \to \infty(高密度極限)とした場合、相関エネルギーは負の定数に収束しなければならない。PBEの関数形はこの条件を満たすように選ばれている。


3. PBE相関汎関数の具体的定式化#

上記の条件を全て満たす最も単純な関数形として、PBE論文では以下の式が提案された。

H(rs,ζ,t)=γϕ3ln[1+βγt2(1+At21+At2+A2t4)]H(r_s, \zeta, t) = \gamma \phi^3 \ln \left[ 1 + \frac{\beta}{\gamma} t^2 \left( \frac{1 + A t^2}{1 + A t^2 + A^2 t^4} \right) \right]

ここで、補助変数 AA は以下のように定義される。

A=βγ[exp{ϵcunif(rs,ζ)γϕ3}1]1A = \frac{\beta}{\gamma} \left[ \exp \left\{ \frac{-\epsilon_c^{unif}(r_s, \zeta)}{\gamma \phi^3} \right\} - 1 \right]^{-1}

この一見複雑に見える式は、極限挙動を確認することでその意味が明らかになる。

3.1 極限挙動の確認#

  • t0t \to 0 の場合: 分数の項 (1+At2)/(1+At2+A2t4)(1+At^2)/(1+At^2+A^2t^4) は 1 に近づく。対数関数を ln(1+x)x\ln(1+x) \approx x と展開すると、

    Hγϕ3(βγt2)=βϕ3t2H \approx \gamma \phi^3 \left( \frac{\beta}{\gamma} t^2 \right) = \beta \phi^3 t^2

    となり、**条件1(GEAの回復)**を完全に満たす。

  • tt \to \infty の場合: 分数の項は 1/(At2)1/(A t^2) のように振る舞う。したがって対数の中身は

    1+βγt21At2=1+βγA1 + \frac{\beta}{\gamma} t^2 \cdot \frac{1}{A t^2} = 1 + \frac{\beta}{\gamma A}

    に収束する。AA の定義式を代入して整理すると、

    1+βγA=exp{ϵcunifγϕ3}1 + \frac{\beta}{\gamma A} = \exp \left\{ \frac{-\epsilon_c^{unif}}{\gamma \phi^3} \right\}

    となるため、

    Hγϕ3ln[exp{ϵcunifγϕ3}]=ϵcunifH \to \gamma \phi^3 \ln \left[ \exp \left\{ \frac{-\epsilon_c^{unif}}{\gamma \phi^3} \right\} \right] = -\epsilon_c^{unif}

    となり、**条件2(相関エネルギーの消失)**が見事に満たされることがわかる。

3.2 パラメータの設定#

この式に含まれるパラメータは β\betaγ\gamma の2つである。

  • β=0.066725\beta = 0.066725: 均一電子ガスの高密度極限におけるGEA係数として、第一原理的に定まる値である。

  • γ=0.031091\gamma = 0.031091: PBEにおいて導入された定数である。PW91では γ\gamma は密度 rsr_s の関数であったが、PBEではこれを定数化することで汎関数を単純化した。 この値は、β/γ2.15\beta / \gamma \approx 2.15 となるように選ばれているが、これは交換項のパラメータ設計と密接に関連している。具体的には、相関項の勾配補正が交換項の勾配補正と協調して、物理的な線形応答を再現するように調整されている。


4. PW91からの進化:単純化の恩恵#

PBE相関汎関数は、PW91相関汎関数と物理的な極限条件(GEA限界と消失限界)を共有しているため、数値的な出力結果はPW91と非常に近い。しかし、数理的な性質においては大きな改善が見られる。

4.1 数式の単純化#

PW91の相関汎関数は、実空間での正孔のカットオフ条件を解析的に再現するために、非常に複雑なフィッティング関数を用いていた。これに対し、PBEの式(対数形式)は、同様の物理的効果をはるかに少ないパラメータと単純な構造で実現している。

4.2 ポテンシャルの平滑化#

PW91では、パラメータの切り替えや複雑な関数形に起因して、相関ポテンシャル(エネルギーの密度微分)に小さな「うねり(wiggles)」が生じることがあった。これは電子状態計算の収束性や、原子にかかる力の計算に悪影響を及ぼす可能性があった。 PBEでは、関数形が全領域で滑らかであることが保証されているため、このような数値的不安定性が排除されている。この「滑らかさ(Smoothness)」こそが、タイトルにある “Made Simple” の真価である。


5. PBE交換項とのエラー相殺#

DFTにおける重要な概念として、**「交換項と相関項のエラー相殺(Cancellation of Errors)」**がある。 PBE汎関数において、交換項と相関項は独立して導出されているが、決して無関係ではない。 均一電子ガスの線形応答極限において、GEAの相関項は「正の」勾配補正を与えるべきところを、誤って「負の」補正を与えることが知られている。 PBEでは、相関項のパラメータ γ\gamma を調整することで、この相関項の欠陥を交換項の勾配補正で効果的に相殺できるように設計されている。したがって、PBEを用いる際は、交換汎関数と相関汎関数をセットで用いることが、物理的な正当性を保つ上で強く推奨される。


結論#

PBE相関汎関数は、LSDAが抱える過剰な相関エネルギーの問題を、密度勾配 tt を用いた補正項 HH によって解決する。その設計においては、低勾配領域でのGEAの回復と、高勾配領域での相関の消失という2つの物理的極限を、対数関数を用いた単純かつ滑らかな補間公式によって結びつけている。

PW91で見られた複雑さを排除し、基礎物理定数のみから構成されたこの汎関数は、パラメータフィッティングに依存しない「第一原理的(Non-empirical)」なアプローチの到達点であり、その堅牢性と数値的安定性により、現在でもDFT計算の選択肢の一つとして利用され続けている。

参考文献#

  • J. P. Perdew, K. Burke, and M. Ernzerhof, “Generalized Gradient Approximation Made Simple”, Phys. Rev. Lett. 77, 3865 (1996).
【DFT】PBE相関汎関数の理論構成:GEAの回復と急速変動限界への滑らかな補間
https://ss0832.github.io/posts/20251229_dft_gga_correlation_functional_pbe/
Author
ss0832
Published at
2025-12-29
License
CC BY-NC-SA 4.0

Related Posts

【DFT】P86相関汎関数の理論構成:RPAを超えた相関の記述と交換・相関分離の確立
2025-12-29
一般化勾配近似(GGA)の初期における重要なマイルストーン、P86(Perdew 86)相関汎関数について解説する。Langreth-Mehl汎関数の欠陥であった交換と相関の分離問題を解決し、波数空間でのカットオフ手法を用いて勾配展開の発散を抑制する理論的枠組みを、原著論文に基づき詳細に紐解く。
【DFT】PBE交換汎関数の物理的導出と「単純化」の美学:第一原理的GGAの到達点
2025-12-29
現代の密度汎関数法において最も広く利用される汎関数の一つであるPBE(Perdew-Burke-Ernzerhof)について、その交換項がどのようにして物理的定数のみから決定されたか、PW91の複雑さを排除しつつLieb-Oxford境界条件や線形応答理論を満たすよう設計された理論的背景を、原著論文に基づき徹底解説する。
【DFT】DSD-PBEPBE汎関数の数理と歴史:標準的汎関数による構成と高精度・汎用性の両立
2025-12-30
2013年にSebastian KozuchとJan M. L. Martinによって発表されたDSD-PBEPBE汎関数について、その理論的背景、数理的構造、および計算化学における位置づけを詳細に解説する。先行するDSD-PBEP86やB2PLYPとの比較を通じ、なぜ「PBE交換+PBE相関」という標準的な組み合わせが、スピン成分スケーリング(SCS)および分散力補正(D3BJ)と融合することで、最高水準の精度と汎用性を獲得し得たのか。W4-11(熱化学)、S66(非共有結合)、DBH24(反応障壁)などの広範なベンチマーク結果に基づき、その「ロバスト性(頑健さ)」と「実装の容易さ」がもたらす実利的な価値を、原著論文に基づき学術的観点から深掘りする。
【DFT】SOGGA11-X汎関数の数理と歴史:GGAルネッサンスと第2次密度勾配展開の厳密化
2025-12-30
2011年にRoberto PeveratiとDonald G. Truhlarによって提案されたSOGGA11-X汎関数について解説する。2000年代後半に隆盛を極めたMeta-GGA(運動エネルギー密度依存型)の流れに対し、あえて古典的なGGA(一般化勾配近似)形式に立ち返りつつ、高度な数理的制約と柔軟な関数形を融合させた背景にはどのような意図があったのか。第2次密度勾配展開(Second-Order Gradient Expansion)を厳密に再現するという物理的制約(SOGGA思想)と、グローバルハイブリッド形式による化学的精度の追求について、その導出過程から実利的な成果までを原著論文に基づき学術的観点から深掘りする。
【DFT】PBE0汎関数の数理と歴史:物理的制約に基づく「パラメータフリー」混成汎関数の到達点
2025-12-30
1999年にCarlo AdamoとVincenzo Baroneによって確立されたPBE0(PBE1PBE)汎関数について解説する。Beckeの3パラメータ混成(B3LYP)が経験的フィッティングに依存していたのに対し、PBE0はいかにして「理論的な摂動論」のみから25%という混合比を導き出したのか。その数理的背景、PBEとの決定的な違い、そして化学的精度における実利的な成果を、原著論文に基づき詳細に紐解く。
【DFT】PW91相関汎関数の全貌:局所極限の高精度化から実空間カットオフによるGGAの構築まで
2025-12-29
一般化勾配近似(GGA)の黎明期における金字塔、PW91(Perdew-Wang 91)相関汎関数について、その基礎となるPW92局所相関汎関数の導出過程(Ceperley-Alderデータの解析的表現)、勾配展開近似(GEA)の破綻と実空間カットオフ法による修復、そして現代DFTへの影響を、原著論文に基づき徹底的に解説する。