哈特里-福克方程(英語:Hartree–Fock equation),又称为HF方程,是一个应用变分法计算多電子系統波函数的方程式,是量子物理、凝聚態物理學、量子化学中最重要的方程之一。HF方程形式上是单电子本征方程,求得的本征态是单电子波函数,即分子轨道。以HF方程为核心的数值计算方法称为“哈特里-福克方法”(Hartree–Fock method)。
基于分子轨道理论的所有量子化学计算方法都是以HF方法为基础的。鉴于分子轨道理论在现代量子化学中的广泛应用,HF方程被视为现代量子化学的基石。
1927年,物理学家瓦尔特·海特勒和弗里茨·伦敦完成了氢气分子的量子力学计算之后,开启了量子化学的时代。从此,人们便开始尝试使用量子力学理论来解释化学物质结构和化学现象。
为了解决多电子体系薛定谔方程近似求解的问题,量子化学家道格拉斯·哈特里在1928年提出了哈特里假设,将每个电子看做是在其他所有电子构成的平均势场中运动的粒子,并且首先提出了迭代法的思路。哈特里根据他的假设,将体系电子哈密顿算子分解为若干个单电子哈密顿算子的简单代數和,每个单电子哈密顿算子中只包含一个电子的坐标,因而体系多电子波函数可以表示为单电子波函数的简单乘积,这就是哈特里方程。但是由于哈特里没有考虑电子波函数的反对称要求,他的哈特里方程实际上是非常不成功的。
1930年,哈特里的学生弗拉基米爾·福克和約翰·斯萊特分别提出了考虑泡利原理的自洽场迭代方程和单行列式型多电子体系波函数,这就是今天的哈特里-福克方程。但是由于计算上的困难,HF方程诞生后整整沉寂了二十年,在1950年,量子化学家克萊門斯·羅特漢想到将分子轨道用原子轨道的线性组合来近似展开,而得到了闭壳层结构的罗特汉方程。
1953年,美国的R.帕里瑟、R.帕尔和英国的约翰·波普尔花费两年时间使用手摇计算器分别独立地实现了对氮气分子的RHF自洽场计算,这是人类首次通过求解HF方程获得对化学结构的量子力学解释,也是量子化学计算方法第一次实际完成[2]。在第一次成功之后,伴随着电脑技术的迅猛发展,HF方程与量子化学一道获得长足发展,在HF方程的基础上,人们发展出了高级量子化学计算方法,使得计算精度进一步提高,通过对HF方程电子积分的简化和参数化,人们大大缩减了量子化学的计算量,使得对超过1000个原子的中等大小分子的计算成为可能。
哈特里-福克方程源于对多电子体系电子波函数的变分法处理。在玻恩-奥本海默近似条件下,一个多电子体系的电子运动与能量可以与原子核的运动和能量相互分离,这样利用电子哈密顿算符和多电子波函数便可以计算体系的电子能量。其能量的表达式为:
式中表示体系基态电子能量;表示体系的电子哈密顿算符,
根据作用方式,可以将分解为两部分
其中为单电子算符
描述单个电子的动能和原子核吸引势能;而为二电子算符
描述电子间相互作用。
代表基态多电子波函数,是体系单电子分子轨道波函数为基函数组建的斯莱特行列式。构建的各个分子轨道相互之间是正交归一的,即约束条件为
考虑此约束条件,应用拉格朗日乘数法对函数变分求极值。式中是拉格朗日待定因子,是的简写。
变分法的处理过程如下:令
其中
这里定义单电子积分记号
以及二电子积分记号
考虑到流动坐标的不可区分性,可以简化为:
同理,中的项有:
将两项相加,表示为:
若函数处于极值点,则变量向各个方向的微小变化都应该有。可以取沿虚轴变分,则在表达式中,第一项前会产生一个的系数,第二项复共轭会产生一个系数:
消去虚数单位,两式相加,可以消去表达式中的复共轭项:
在引入库仑算符和交换算符的概念之后,上述表达式可以改写为:
对任意上述等式均应成立,因而必须有:
整理得到:
定义福克算符
方程可以表达为
即哈特里-福克方程。为了求解,通过对分子轨道波函数进行酉变换处理,使得轨道能矩阵对角化,将一般的不可解的HF方程转化为正则哈特里-福克方程:
此方程形式上为本征方程,但是福克算符中的库仑算符和交换算符都与分子轨道有关,因此只能够通过自洽迭代的方法近似求解,即哈特里-福克自洽场(HF-SCF)方法。HF-SCF方法是组态相互作用方法、多体微扰理论、半经验量子化学计算等现代量子化学计算方法的基础。
HF方程在量子化学中有着广泛的应用,所有分子轨道理论的量子化学计算都是以HF方程为基础的。
- 组态相互作用方法(CI):在CI方法中,通过HF方程解得的一系列分子轨道用于构建多电子基函数集,在构建了多电子基函数集后再通过变分法处理获得CI能量的最低点,因而进行CI计算必须首先完成HF方程的求解。
- 多体微扰理论方法(MPn):MPn计算将体系所有福克算符的代数和定义为哈特里-福克哈密顿算符,将电子间相互作用所产生的能量项看作是对哈特里-福克哈密顿算符的微扰,经过微扰处理后可以获得体系能量的近似值。进行多体微扰计算也需要首先进行HF方程的求解,以获得需要的分子轨道波函数形式和分子轨道能量。
- 半经验量子化学计算:半经验量子化学计算是对HF方程求解过程的简化。在HF方程的求解中,绝大部分计算量都分布在由正则HF方程向矩阵本征方程形式转变的过程中,如果将这一过程中大量的电子积分用经验数值代替,便可以极大地缩短HF方法的计算时间。为此,针对不同的研究体系,量子化学家开发了不同的积分经验常数,与之相应地产生了各种半经验量子化学计算方法。本质上讲,半经验计算仍然是通过自洽场方法求解HF方程的过程。