2.2 Hohenberg-Kohn 定理：基态能量与密度唯一对应

2.2 Hohenberg-Kohn 定理：基态能量与密度唯一对应

本节摘要：1964 年 Hohenberg 与 Kohn 在题为《非均匀电子气》的短文中提出两条定理，确立了「基态密度决定一切」的合法性。第一定理证明基态密度唯一决定外势、哈密顿量与全部基态性质；第二定理给出能量泛函的变分原理。本节带读者走一遍反证法思路与变分论证，说清定理「证明了什么、没证明什么」，以及它如何为 Kohn-Sham 方程铺路。

预备知识与目标

阅读完本节，你应当能够：

1. 陈述 HK 第一定理并理解其反证法证明的核心逻辑
2. 解释「基态密度唯一决定外势」的含义与「常数项意义下」这个限定词
3. 复述 HK 第二定理的变分原理，说明试探密度必须满足的条件
4. 理解普适泛函 F[n] 为什么「普适」——它与外势无关
5. 说明 HK 定理「正确但不可直接计算」，引出 KS 方程的必要性

问题与直觉

先做一个思想实验。给你一个分子，你不知道它的原子怎么排、电荷多少，但有人塞给你一张它的电子密度图——三维空间里每个位置的电子浓度。你能从中「读」出什么？

答案是：原则上什么都能读出来。密度在原子核附近会有尖峰，尖峰的位置暴露了原子核坐落在哪，尖峰的高度（积分）暴露了核电荷数。换句话说，你从密度图就能重建出整个分子骨架。一旦知道了原子核的位置和电荷，哈密顿量就确定了，解出它，一切基态性质到手。

这就是 HK 第一定理要说的核心内容，只是它把「原则上能读出来」升级成了严格的数学结论：两个不同的外势，不可能给出同一个基态密度。密度与体系之间是一一对应的。这个结论看着简单，却是整个 DFT 的合法性基石——没有它，「用密度代替波函数」就只是工程上的便利，而不是理论上的严格。

还有一个值得记录的背景：这一定理发表于 1964 年的短文《非均匀电子气》，原文篇幅很短，但分量极重。Hohenberg 与 Kohn 当时关心的是电子气在非均匀外场下的行为——这个「朴素」的问题背景反而说明，基础理论的开创往往不需要宏大的主题，需要的是一针见血的提问方式。这篇短文后来和 1965 年的 KS 论文一起，为 Kohn 赢得了 1998 年的诺贝尔化学奖。

核心原理

2.1 HK 第一定理：密度唯一决定外势

严格陈述是：对于处在某个外势 v(\mathbf{r}) 中的多电子体系，其基态密度 n_0(\mathbf{r}) 唯一决定该外势（在差一个常数的意义下），从而唯一决定哈密顿量、基态波函数与一切基态性质。

证明用反证法，逻辑链条很干净：

1. 假设有两个不同的外势 v_1 和 v_2，它们各自对应不同的哈密顿量 H_1、H_2 和不同的基态波函数 \Psi_1、\Psi_2，但给出同一个基态密度 n_0。
2. 把 \Psi_2 当作 H_1 的试探波函数。由变分原理，H_1 对 \Psi_2 的期望值不低于基态能量 E_1：
   E_1 < \langle \Psi_2 | H_1 | \Psi_2 \rangle
3. 把 H_1 拆成 H_2 + (v_1 - v_2)，代入展开，利用「两体系密度相同」这个假设消去外势差项的贡献，得到 E_1 < E_2。
4. 对称地，把 \Psi_1 当作 H_2 的试探波函数，同样推出 E_2 < E_1。
5. 两个不等式互相矛盾，说明「两个外势共享同一基态密度」的假设不成立。

这个证明的美妙之处在于它几乎只用了变分原理和「密度相同」这一个前提。结论也正如我们直觉到的：密度携带了核骨架的信息，因此能反推外势。反证法在这个问题里尤其合适——我们不需要知道「怎么从密度算外势」的显式公式，只需要证明「两个外势不能给出同一个密度」，唯一性就由矛盾确立了。

2.1b 为什么要限定「差一个常数」

定理的措辞里有「在差一个常数的意义下」这个限定，初读容易忽略。原因是物理上的：外势加一个常数，只是把所有能级整体平移，波函数和密度完全不变。也就是说，v 和 v+c 是「物理上等价」的势。如果不加这个限定，唯一性命题本身就是错的——因为确实会有「不同」的势（差常数）给出同一密度。加上限定之后，命题变得精确且正确。这个细节提醒我们，在量子力学里谈论「唯一」时必须先划清「什么算同一个物理状态」的边界。

2.2 普适泛函与能量表达式

有了第一定理，基态能量可以写成密度的泛函：

E[n] = F[n] + ∫ v(r) n(r) dr
​

其中 F[n] 是普适泛函——它包含电子的动能与电子-电子相互作用能，只依赖密度，不依赖外势。这正是「普适」二字的含义：不管你在研究分子、固体还是表面，只要电子数相同，F[n] 的数学形式就一样。外势的影响全部体现在第二项 \int v\,n\,dr 里。

这个拆分意义重大：它意味着可以把「如何用密度算能量」的研究成果复用到所有体系上，不用为每个新体系重新发明。第 3 章的所有泛函（LDA、GGA……）本质上都是 F[n] 的近似，它们能「通用」，靠的就是这个普适性。

2.3 HK 第二定理：变分原理

第一定理证明了「映射存在」，第二定理回答「怎么找」：存在一个普适能量泛函 E[n]，对任何满足粒子数守恒（\int n \, dr = N）且可由某个外势产生的试探密度 \tilde n，都有 E[\tilde n] \ge E_0；当且仅当 \tilde n = n_0 时取等号。

这意味着基态能量可以通过最小化能量泛函得到：

E_0 = min_{n} E[n]
​

这本质上是把量子力学的瑞利-里兹变分原理从波函数空间搬到了密度空间。第 2.1 节 KS 方程的最小化推导，正是以这里为起点。

2.4 定理「没证明什么」：HK 的边界

这一节最容易被忽略、也最值得强调的部分是：HK 定理没有给出普适泛函 F[n] 的具体形式。它是存在性定理，不是构造性定理。它像一张藏宝图，告诉你「宝藏在山上」，但没画上山的路。

具体说，F[n] 里的动能泛函和电子-电子相互作用泛函，以密度的显式形式写出来是什么样？HK 定理完全沉默。这就是为什么紧接着必须有 KS 方程——它不直接构造 F[n]，而是用无相互作用参考系「绕」过动能泛函这个老大难，把问题转移到交换关联项。

此外，HK 定理还有一些适用边界：

• 它讨论的是非简并基态（反证法依赖基态能量严格最低）
• 它没有处理有限温度与自旋极化的情形（这些需要扩展版本）
• 它保证的是「原则上唯一」，不保证「数值上容易找」

2.5 HK 与 KS 的衔接：一张完整的图

把两条线接起来看，DFT 的地基就完整了：

多体问题 ──► HK定理：密度决定一切（存在性）
                │
                ▼
         普适泛函 F[n] 未知（构造性缺失）
                │
                ▼
         KS方程：用参考系绕开动能泛函
                │
                ▼
         所有困难集中到 E_xc，交给第3章
​

工程实践要点

1. 区分「存在」与「可算」：HK 定理的价值在理论层面——它让「用密度代替波函数」有了严格依据。但做计算时你永远不会「调用」HK 定理，你调用的是 KS 方程和某个泛函。理解这个分工，就不会在文献里被「DFT 是精确的」和「DFT 算不准」这两句话搞晕——精确的是框架，不准的是泛函。
2. 密度图能反推结构，但别真的反推：理论上有「密度决定外势」这回事，实际从噪声密度图精确反演核位置很脆弱。工程上我们仍然用「给定结构算密度」的正向流程，反向设计是研究课题不是常规操作。
3. 泛函的普适性要打折使用：「普适泛函」是理想概念，第 3 章的每个近似泛函都在不同程度上背叛了「普适」二字——它们有适用域、有经验参数。选泛函时先问「这个泛函在什么体系被验证过」，比问「它是不是普适」有用得多。
4. 定理的适用范围要心里有数：HK 定理的原版讨论非简并基态。遇到简并基态、有限温度、磁性自旋极化这些场景，需要用到它的扩展版本（如自旋密度泛函理论、有限温度密度泛函理论）。做这类计算时，知道「原版定理不直接覆盖」能帮你正确理解结果的边界。

一个加深理解的问题

HK 定理说「密度决定一切」，那为什么我们还要花力气去解 KS 方程，而不是直接用机器学习把「密度 → 性质」学出来？答案是：HK 定理只保证映射存在，不保证映射好学。密度是一个连续场，从它到性质的泛函关系高度非线性且非局域，直接学会需要海量数据、且外推不可靠。KS 方程的价值在于把「密度 → 能量」这个难学的映射，拆成了「密度 → 有效势 → 轨道 → 能量」几个相对好算的环节，只留 E_{xc} 一个局部修正项需要近似。理解了这个「拆解」逻辑，你就明白为什么第 6 章的机器学习不是来取代 DFT，而是来补 E_{xc} 或加速某个环节的。

⚠️ 常见坑：把「HK 定理证明密度决定一切」误解为「HK 定理给出了计算密度的公式」。定理只保证对应关系与变分原理，公式在 KS 方程那里，近似在泛函那里——三者各司其职。

💡 关键直觉：HK 定理可以浓缩成一句口令——「密度是体系的身份证」。第一定理说身份证与人是唯一对应的，第二定理说我们可以通过比大小（变分）找到那张身份证。而 KS 方程，是给这张身份证拍正面照的相机。

反证法的记忆锚点

若两外势给同一密度：
    变分原理推得 E1 < E2
    同时推得 E2 < E1
    ── 矛盾 ── 假设不成立
​

记住这个三段式，你在讨论中随时可以复述 HK 第一定理的证明精神。

本节脉络重述

• 第一定理：基态密度唯一决定外势（差常数意义下），从而决定一切基态性质
• 反证法：假设两外势同密度 → 变分原理出两个矛盾不等式 → 假设推翻
• 普适泛函 F[n]：含动能与相互作用能，与外势无关，可跨体系复用
• 第二定理：变分原理，试探密度（粒子数守恒且可由外势产生）给出能量下界
• 存在 vs 构造：HK 证明存在性，不提供泛函形式，这是 KS 方程登场的理由
• 适用边界：非简并基态、零温、无自旋极化是其默认前提
• 工程启示：精确的是理论框架，不准的是泛函近似，别混为一谈
• 与 KS 衔接：HK 立合法性，KS 解决可计算性，泛函解决精确性

下一节进入第 3 章——所有「不精确」都指向同一个黑箱：交换关联泛函。