第2章 · 核心定理
文档摘要
第 2 章 · 核心定理 章节摘要：上一章把问题摊开了——多体波函数算不动，近似又不准。本章给出 DFT 的两个理论支柱：Hohenberg-Kohn 定理证明「基态能量是基态密度的唯一泛函」并给出变分原理，Kohn-Sham 方程则把抽象的泛函变成一组可解的单粒子方程。读完本章，你会明白 DFT 的「严格」到底严格在哪，以及唯一需要近似的地方——交换关联泛函——是怎么被「隔离」出来的。
第 2 章 · 核心定理
章节摘要：上一章把问题摊开了——多体波函数算不动，近似又不准。本章给出 DFT 的两个理论支柱：Hohenberg-Kohn 定理证明「基态能量是基态密度的唯一泛函」并给出变分原理，Kohn-Sham 方程则把抽象的泛函变成一组可解的单粒子方程。读完本章，你会明白 DFT 的「严格」到底严格在哪，以及唯一需要近似的地方——交换关联泛函——是怎么被「隔离」出来的。
学习目标
阅读完本章，你应当能够：
- 陈述 HK 第一定理：基态密度唯一决定外势、哈密顿量、波函数与全部基态性质
- 理解 HK 第二定理的变分原理：能量泛函在基态密度处取极小值，并用它说明基态能量的搜索路径
- 解释为什么 HK 定理「正确但没用」——普适泛函 F[n] 的具体形式未知
- 复述 KS 方程的核心思想：用无相互作用参考系的动能 + 交换关联项，把难题打包
- 写出 KS 有效势的三个组成部分：外势、Hartree 势、交换关联势
- 理解 KS 轨道能量的物理意义边界（HOMO 与电离能的关系，能隙的低估）
核心概念速览
金句：HK 定理告诉你答案存在且唯一，KS 方程告诉你怎么算——而算得准不准，全看交换关联泛函这个「打包箱」装得好不好。
HK 定理与 KS 方程的分工图
子章节导航
2.1 Kohn-Sham 方程：把多体问题映射为单粒子有效势问题
从多体困境出发，介绍 KS 引入无相互作用参考系的思想，能量泛函的分解（动能、外势、Hartree、交换关联），KS 方程形式与有效势，以及 KS 轨道/能量的物理意义边界。
2.2 Hohenberg-Kohn 定理：基态能量与密度唯一对应
1964 年的两篇短文如何奠定理论基础：第一定理的反证法思路、第二定理的变分原理、普适泛函 F[n] 的含义，以及 HK 定理「存在性」与「构造性」之间的距离。
子章节之间的逻辑关系
HK定理(2.2) ──► 回答「密度能决定一切吗」 │ 能，但不会算 ▼ KS方程(2.1) ──► 回答「怎么算」 │ ▼ 剩下唯一未知：交换关联泛函 │ ▼ 第3章 泛函近似登场
我把顺序调成了「先看方程、再回定理」，因为 KS 方程是读者最容易先接触到的、也最可操作的入口；HK 定理则回答「凭什么」。理解 KS 后再回头看 HK，你会更清楚它的意义。
前置知识与后续延伸
- 前置：第 1 章的多体问题背景、电子密度概念；量子力学的变分原理（瑞利-里兹变分）；波函数与哈密顿量关系
- 为后续铺垫：KS 方程中「打包」出来的交换关联泛函 E_{xc}[n] 就是第 3 章的全部主题；SCF 迭代在第 4 章计算实现部分会详细展开，本章只给出雏形
两个定理的分工
很多人把 HK 定理和 KS 方程混为一谈，其实它们解决的是不同层级的难题：
- HK 定理解决「存在性」：它证明基态密度与基态性质之间存在一一对应，并给出寻找基态密度的变分原理。但它没有告诉我们普适泛函 F[n] 的具体数学形式，所以严格来说「算不出来」。
- KS 方程解决「可计算性」：它不再试图直接构造动能泛函和相互作用能泛函，而是引入一个无相互作用的参考系，用可精确求解的单粒子轨道重建密度，把真实体系与参考系之间的一切差异都吸收进交换关联项。
这就像一个公司：HK 定理是董事会——确定方向（密度决定一切）、定下目标函数（能量泛函）；KS 方程是工程部——给出具体施工方案（单粒子方程），把不确定的部分（交换关联）外包给第 3 章要讲的「供应商」。
关键公式速查
| 名称 | 形式 | 含义 |
|---|---|---|
| KS 单粒子方程 | 动能算符加有效势作用于轨道等于轨道能量乘轨道 | 每个电子在有效势中独立运动 |
| 电子密度重建 | 密度等于占据轨道模方之和 | 轨道只是辅助工具，密度才是目标 |
| 有效势分解 | 外势加 Hartree 势加交换关联势 | Hartree 是经典库仑项，交换关联是量子修正 |
| 交换关联势 | 交换关联能对密度的泛函导数 | 它是唯一样子未知、必须近似的部分 |
常见理解误区
- 「KS 轨道就是真实的电子波函数」——不是。KS 轨道是无相互作用参考系的数学构造，唯一职责是重建基态密度。它跟 HF 轨道形似，但物理意义不同。
- 「HOMO-LUMO 能隙就是带隙」——只在近似意义下成立。精确泛函下 HOMO 能量负值等于电离能（Janak 定理），但 LDA/GGA 计算的 KS 能隙系统性低估光学带隙，因为忽略了电子-空穴相互作用。
- 「HK 定理证明完了 DFT 就成立了」——HK 只证明密度与性质的对应，没有构造出泛函。DFT 从「严格理论」到「实用工具」，中间隔着一个 Kohn-Sham 方程和整整一部泛函近似史。
读本章的时间投资建议
2.1 节的 KS 方程是全书最重要的公式，值得花时间把它的三个势拆开理解，并且跟 2.2 节的 HK 定理对照着读。如果时间有限，可以先把 2.1 的方程形式记住，再回头补定理；如果追求扎实，建议把 2.2 的反证法思路自己推一遍——那会让你对「密度唯一决定外势」有真正的信任，而不是停留在口号。另外留意：本章的 SCF 迭代图只是示意图，第 4 章会给出完整的收敛判据与混合策略，读到那里时记得回看对照。