密度泛函理論/霍亨伯格-科恩定理
外觀
1. 如果兩個電子體系,一個被困在一個勢能 中,另一個被困在一個勢能
中,具有相同的基態密度
,那麼必然地
。
推論:基態密度唯一地確定了勢能,從而確定了體系的所有性質,包括多體波函式。特別是,“HK”泛函,定義為 是密度的通用泛函(不顯式依賴於外部勢能)。
2. 對於任何正整數 和勢能
,存在一個密度泛函
,使得
在
個電子在勢能
中的基態密度處取得最小值。
的最小值就是該體系的基態能量。