1965：Hohenberg–Kohn 定理 — 密度的通緝令#

副標題：只用電子密度，就能指認整個分子。

案發現場#

1965 年前量子化學是一場波函數溺水救援。 含 \(N\) 電子的波函數依賴 \(3N\) 座標，十電子即三十維噩夢。 Hartree–Fock 用單行列式近似，相關能頑固留在誤差裡。 組態相互作用原則精確，行列式數量指數爆炸。 報案人是固體物理：金屬基態性質急需可算理論。 Hohenberg 與 Kohn 決定換證人：電子密度 \(n(r)\) 。 它只依賴三座標，還是 X 光可見的量。 問題：區區三維函數憑什麼鎖定多體哈密頓量？ 外勢 \(v(r)\) 決定核排列，密度是求解結果。 兩者是否一一對應，成為本案生死狀。

偵查過程#

線索一： \(v(r) \leftrightarrow n(r)\) 的一一對應#

第一定理斷言外勢與基態密度一一對應，只差常數。 行內記為 \(v(r) \leftrightarrow n(r)\) 的形式。 其中 \(v(r)\) 為外勢， \(n(r)\) 為基態密度。 證明是反證法，物理文獻最漂亮的推理之一。 假設兩不同外勢 \(v\) 與 \(v'\) 給出同一密度 \(n\) 。 設基態為 \(\Psi\) 與 \(\Psi'\) ，能量為 \(E\) 與 \(E'\) 。 變分原理給出 \(E\) 小於 \(\Psi'\) 在 \(v\) 下的期望值。 展開多出密度與勢差積分，交換角色再得一式。 兩式相加得 \(E + E' < E + E'\) ，矛盾確立。 除非常數差，假設不成立，證畢。

線索二： \(E[n] \ge E_0\) 的能量陷阱#

第二定理給出普適泛函 \(F[n]\) ，只與電子交互有關。 總能量為普適部分加外勢密度耦合。 任何試探密度能量都不低於真值，行內記為 \(E[n] \ge E_0\) 。 其中 \(E_0\) 為基態能量，等號僅基態密度成立。 DFT 變成密度空間優化，維度從 \(3N\) 降到 3 。 | 路線 | 基本變量 | 維度 | 難點 | |------|----------|------|------| | 波函數 | \(\Psi\) | \(3N\) 維 | 指數牆 | | HF 行列式 | 軌道組 | \(N \times 3\) 維 | 缺相關能 | | HK 密度 | \(n(r)\) | 3 維 | 泛函未知 |

線索三：存在性非構造性的懸念#

兩定理只證存在不給構造，是最高明的留白。 泛函 \(F[n]\) 存在但無人知顯式，動能尤其棘手。 Thomas–Fermi 近似誤差太大，連分子都綁不住。 兇手確定存在但長相不明，案件停在吊胃口處。 Levy 約束搜尋放寬 \(v\) 可表示條件。 Lieb 凸分析補上嚴格性，澄清泛函定義域。 下半場 Kohn–Sham 軌道技巧同年登場，見下一篇。

結案報告#

1965 年定理證明密度泛函存在性，密度扶正為基本變量。 多體複雜度形式上壓到三維，波函數退居幕後。 但精確泛函無人知曉，後五十年是近似泛函通緝史。 LDA、GGA、雜化泛函皆對 \(F[n]\) 的素描。 Kohn 獲 1998 年諾貝爾化學獎。 結語：存在性是最強線索，也是最長伏筆。

證據與工具#

第一定理獨立公式如下，為一一對應通緝令。

其中 \(v(r)\) 為外勢， \(n(r)\) 為基態密度。 總能量泛函獨立公式如下，為變分陷阱。

其中 \(F[n]\) 為普適泛函， \(v(r)\) 為外勢。 | 符號 | 意義 | 備註 | |------|------|------| | \(v(r)\) | 外勢 | 原子核靜電勢 | | \(n(r)\) | 電子密度 | 積分為電子數 \(N\) | | \(F[n]\) | 普適泛函 | 含動能交互，未知 | 閱讀建議：親手重寫反證法兩行不等式。 思考常數差外勢為何視為同一。 對比 Levy 搜尋，辨 \(v\) 可表示與 \(N\) 可表示之別。 因果鏈：Hartree 1927 年自洽場開案，本案把變量壓到三維。 Kohn–Sham 同年登場接棒，下篇卷宗即替身計畫。 本案檔案編號 DFT-1965 ，狀態已結案，泛函仍在通緝中。 原文僅一頁半證明，值得逐行手寫一遍體會矛盾之美。