这里假定能够得出 formula_29 和 formula_36 的表达式。对能量泛函求极值可以得到基态电子密度 formula_20 ，进而求得所有基态可观测量。对能量泛函 formula_38 求变分极值可以用不定算子的拉格朗日方法，这由科恩和沈吕九在1965年完成。这里我们使用如下结论：上面方程中的泛函可以写成一个无相互作用的体系的密度泛函其中 formula_40 为无相互作用的动能， formula_41 为粒子运动感受到的外势场。显然， formula_42 ，若 formula_41