一般化勾配近似（GGA）の黎明期における金字塔、PW91（Perdew-Wang 91）相関汎関数について、その基礎となるPW92局所相関汎関数の導出過程（Ceperley-Alderデータの解析的表現）、勾配展開近似（GEA）の破綻と実空間カットオフ法による修復、そして現代DFTへの影響を、原著論文に基づき徹底的に解説する。

一般化勾配近似（GGA）の初期における重要なマイルストーン、P86（Perdew 86）相関汎関数について解説する。Langreth-Mehl汎関数の欠陥であった交換と相関の分離問題を解決し、波数空間でのカットオフ手法を用いて勾配展開の発散を抑制する理論的枠組みを、原著論文に基づき詳細に紐解く。

PBE交換汎関数と対をなすPBE相関汎関数について、その設計思想である「局所密度近似（LDA）の過剰相関の補正」と「勾配展開近似（GEA）の発散の抑制」を、どのようにしてパラメータフリー（物理定数のみ）で実現したか、原著論文に基づき数理的に解説する。

現代の密度汎関数法において使用される交換汎関数の一つであるB88（Becke 88）について、局所密度近似（LDA）の限界、勾配展開の失敗、そしてBeckeによる漸近挙動の補正と半経験的パラメータ決定のプロセスを、原著論文に基づき解説する。

1996年にP. M. W. Gillによって提案されたG96交換汎関数について、その設計思想である「単純性（Simplicity）」と、Becke 88が重視した「正しい漸近挙動」をあえて放棄するに至った理論的背景を解説する。オッカムの剃刀を引用し、物理的厳密性と実用的精度の乖離を指摘したこの汎関数は、現代DFTにおけるパラメータ設計の在り方に一石を投じた。

2001年にHandyとCohenによって提案されたOPTX（Optimized Exchange）汎関数について、その設計指針である「DFTにおける交換エネルギーと静的相関の非分離性」および、均一電子ガス極限の拘束を緩和したパラメータ決定手法について、原著論文に基づき解説する。また、LYP相関汎関数と組み合わせたOLYPの熱化学的精度および結合解離挙動についても論じる。

現代の密度汎関数法において最も広く利用される汎関数の一つであるPBE（Perdew-Burke-Ernzerhof）について、その交換項がどのようにして物理的定数のみから決定されたか、PW91の複雑さを排除しつつLieb-Oxford境界条件や線形応答理論を満たすよう設計された理論的背景を、原著論文に基づき徹底解説する。

1998年にYingkai ZhangとWeitao Yangによって提案されたrevPBE（Revised PBE）交換汎関数について解説する。PBE汎関数が課していた「局所的なLieb-Oxford境界条件」を「積分形の境界条件」へと緩和することで、物理的厳密性を保ちつつ原子化エネルギーや吸着エネルギーの予測精度を劇的に改善した理論的背景を、原著論文に基づき詳細に紐解く。

半経験的パラメータを排し、交換正孔の物理的性質（総和則や非正値性）を満たすように設計されたPW91（Perdew-Wang 91）交換汎関数について、その導出の基礎となる実空間カットオフの手法、基礎となる局所相関の記述、およびPBEへの発展過程を詳細に解説する。

局所密度近似（LDA）における重要な相関汎関数の一つであるPL（Perdew Local）について、PerdewとZungerによる1981年の原著論文に基づき、Ceperley-Alderの量子モンテカルロデータへのフィッティング手法、数式定義、およびスピン補間の理論的枠組みを詳細に解説する。

局所密度近似（LDA/LSDA）における相関汎関数であるVWN（Vosko-Wilk-Nusair）法について、その導出過程、数理構造、およびVWN(III)とVWN5の決定的な違いを原著論文に基づき解説する。

密度汎関数法の基礎であるコーン・シャム方程式の解説から、LDAおよびGGAにおける交換・相関汎関数の具体的な数式定義までを、原著論文に基づき包括的に解説する。

局所密度近似（LDA）の起源であるSlater交換と、Kohn-Sham理論による係数の再評価（2/3倍問題）、そしてそれらを統合したXα法について、原著論文に基づき解説します。

1996年にAxel D. Beckeによって提案されたB95（Becke 95）相関汎関数について、その理論的構築を詳細に解説する。Colle-Salvetti模型の再解釈、運動エネルギー密度を用いた電子局在性の記述、そして「動的相関はDFTで、静的相関は交換混合で」という現代的なハイブリッドDFTの哲学を決定づけた設計思想について、原著論文に基づき数理的に紐解く。

2003年にTao, Perdew, Staroverov, Scuseriaによって提案されたTPSS（Tao-Perdew-Staroverov-Scuseria）汎関数について、その相関項の理論的構築を詳細に解説する。GGA相関汎関数の限界であった「1電子系における自己相関」を、運動エネルギー密度を用いて如何にして物理的に除去したか、その数理的構造とPBE/PKZBからの進化を原著論文に基づき詳述する。

1999年にPerdew, Kurth, Zupan, Blahaによって提案されたPKZB（Perdew-Kurth-Zupan-Blaha）汎関数について、その交換項の設計思想を詳細に解説する。GGAの限界を超え、運動エネルギー密度を導入することで第4次オーダーの勾配展開を正確に再現するMeta-GGAの理論的枠組みと、原子化エネルギーや表面エネルギー計算における物理的成果を原著論文に基づき詳述する。