密度泛函理论

密度泛函理论 （，简称DFT）是一种研究多电子体系电子结构的量子力学方法。密度泛函理论在物理和化学上都有广泛的应用，特别是用来研究分子和凝聚态的性质，是凝聚态物理和计算化学领域最常用的方法之一。
理论概述.
电子结构理论的经典方法，特别是Hartree-Fock方法和，是基于复杂的多电子波函数的。密度泛函理论的主要目标就是用电子密度取代波函数做为研究的基本量。因为多电子波函数有 formula_1 个变量（formula_2 为电子数，每个电子包含三个空间变量），而电子密度仅是三个变量的函数，无论在概念上还是实际上都更方便处理。
虽然密度泛函理论的概念起源于，但直到Hohenberg-Kohn定理提出之后才有了坚实的理论依据。Hohenberg-Kohn第一定理指出体系的基态能量仅仅是电子密度的泛函。
Hohenberg-Kohn第二定理证明了以基态密度为变量，将体系能量通过变分得到最小值之后就得到了基态能量。
HK理论最初只适用于没有磁场存在的基态，现在已经被推广。最初的Hohenberg-Kohn定理仅仅指出了一一对应关系的存在，但是没有提供任何这种精确的对应关系。正是在这些精确的对应关系中存在着近似（这个理论可以被推广到时间相关领域，从而用来计算激发态的性质[6]）。
密度泛函理论最普遍的应用是通过Kohn-Sham方法实现的。 在Kohn-Sham DFT的框架中，复杂的多体问题（由于处在一个外部静电势中的电子相互作用而产生的）被简化成一个没有相互作用的电子在有效势场中运动的问题。这个有效势场包括了外部势场以及电子间库仑相互作用的影响，例如交换和关联作用。处理交换关联作用是KS DFT的难点，目前尚没有精确求解交换相关能 formula_3 的方法。最简单的近似求解方法是局域密度近似(LDA)。LDA近似用均匀电子气来计算体系的交换能（均匀电子气的交换能是可以精确求解的），而采用对自由电子气进行拟合的方法来处理关联能。
自1970年以来，密度泛函理论在固体物理学计算中得到广泛的应用。多数情况下，与其它解决量子力学多体问题的方法相比，采用局域密度近似的密度泛函理论给出了非常令人满意的结果，同时固态计算相比实验的费用要少。尽管如此，人们普遍认为量子化学计算不能给出足够精确的结果，直到二十世纪九十年代，理论中所采用的近似被重新提炼成更好的交换关联作用模型。密度泛函理论是目前多种领域中电子结构计算的领先方法。 密度泛函理论尽管得到改进，但是描述分子间作用力 ，特别是范德华力，或者计算半导体的能隙还有一定困难。
早期模型: Thomas-Fermi 模型.
密度泛函理论可以上溯到由Thomas和Fermi 在1920年代发展的"Thomas-Fermi"模型。他们将一个原子的动能表示成电子密度的泛函，并加上原子核-电子和电子-电子相互作用（两种作用都可以通过电子密度来表达）的经典表达来计算原子的能量。
"Thomas-Fermi"模型是很重要的第一步，但是由于没有考虑Hartree-Fock理论指出的原子交换能，Thomas-Fermi方程的精度受到限制。1928年保罗·狄拉克在该模型基础上增加了一个交换能泛函项。
然而，在大多数应用中Thomas-Fermi-Dirac理论表现得非常不够准确。其中最大的误差来自动能的表示，然后是交换能中的误差，以及对电子相关作用的完全忽略。
导出过程和表达式.
在通常的多体问题电子结构的计算中，原子核可以看作静止不动的（波恩-奥本海默近似），这样电子可看作在原子核产生的静电势 formula_4 中运动。电子的定态可由满足多体薛定谔方程的波函数 formula_5 描述：
其中 formula_7 为电子数目， formula_8 为电子间的相互作用势。算符 formula_9 和 formula_8 称为普适算符，它们在所有系统中都相同，而算符formula_4则依赖于系统，为非普适的。可以看出，单粒子问题和比较复杂的多粒子问题的区别在于交换作用项 formula_8。目前有很多成熟的方法来解多体薛定谔方程，例如：物理学里使用的图形微扰理论和量子化学里使用的基于斯莱特行列式中波函数系统展开的组态相互作用（CI）方法。然而，这些方法的问题在于较大的计算量，很难用于大规模复杂系统的计算。
相比之下，密度函理论将含 formula_8 的多体问题转化为不含 formula_8 的单体问题上，成为解决此类问题的一个有效方法。在密度泛函理论中，最关键的变量为粒子密度 formula_15 ，它由下式给出
皮埃尔·奥昂贝格和沃尔特·科恩在1964年提出，上面的关系可以反过来，即给出基态电子密度 formula_17 ，原则上可以计算出对应的基态波函数 formula_18。也就是说，formula_19 是 formula_20 的唯一泛函，即
对应地，所有其它基态可观测量 formula_22 均为 formula_20 的泛函
进而可以得出，基态能量也是 formula_20 的泛函
其中外势场的贡献 formula_27
可以用密度表示成
泛函 formula_29 和 formula_30 称为普适泛函，而 formula_31 显然不是普适的，它取决于所考虑的系统。对于确定的系统，即 formula_4 已知，需要将泛函
对于 formula_15 求极小值。这里假定能够得出 formula_29 和 formula_36 的表达式。对能量泛函求极值可以得到基态电子密度 formula_20 ，进而求得所有基态可观测量。
对能量泛函 formula_38 求变分极值可以用不定算子的拉格朗日方法，这由科恩和沈吕九在1965年完成。这里我们使用如下结论：上面方程中的泛函可以写成一个无相互作用的体系的密度泛函
其中 formula_40 为无相互作用的动能， formula_41 为粒子运动感受到的外势场。显然， formula_42 ，若 formula_41 取为
这样，可以解这个辅助的无相互作用体系的科恩-沈吕九方程
可以得到一系列的电子轨域 formula_46 ，并由此求得原来的多体体系的电子密度 formula_15
等效的单粒子势 formula_41 可以表示成
其中第二项为描述电子间库仑斥力的哈特里项，最后一项 formula_51 叫做交换关联势，包含所有多粒子的相互作用。由于哈特里项和交换关联项 formula_51 都依赖于 formula_53, formula_53 又依赖于 formula_46, 而 formula_46 又依赖于 formula_41, 科恩-沈吕九方程的求解需要用自洽方法。通常首先假设一个初始的 formula_15, 然后计算对应的 formula_41 并求解科恩-沈吕九方程中的 formula_46。进而可以计算出新的密度分布，并开始新一轮计算。此过程不断重复，直到计算结果收敛。
参考资料.
[1] P. Hohenberg and W. Kohn, Phys. Rev. "136" (1964) B864
[2] W. Kohn and L. J. Sham, Phys. Rev. "140" (1965) A1133
[3] A. D. Becke, J. Chem. Phys. "98" (1993) 5648
[4] C. Lee, W. Yang, and R. G. Parr, Phys. Rev. B "37" (1988) 785
[5] P. J. Stephens, F. J. Devlin, C. F. Chabalowski, and M. J. Frisch, J. Phys. Chem. "98" (1994) 11623