密度泛函理论/霍亨伯格-科恩定理
外观
1. 如果两个电子体系,一个被困在一个势能 中,另一个被困在一个势能
中,具有相同的基态密度
,那么必然地
。
推论:基态密度唯一地确定了势能,从而确定了体系的所有性质,包括多体波函数。特别是,“HK”泛函,定义为 是密度的通用泛函(不显式依赖于外部势能)。
2. 对于任何正整数 和势能
,存在一个密度泛函
,使得
在
个电子在势能
中的基态密度处取得最小值。
的最小值就是该体系的基态能量。