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