基于密度泛函理论的第一性原理计算实质上是求解（ ）方程。