显式相关高斯函数已广泛用于原子、分子和核物理中的量子力学变分计算。本书试图收集有关计算量子力学中这种成熟工具的相关信息。
我们通常通过薛定谔方程描述核物理和原子物理中的束缚态和散射问题。不幸的是,现代量子物理学提出了我们无法用解析方法求解的问题。幸运的是,强大的计算机的可用性正在将重点从解析计算解决方案转变为数值分析。在过去的一个世纪中,为了数值逼近解而开发了许多方法,例如蒙特卡罗模拟、超球坐标展开、具有不同试探波函数的变分方法等。
在本节中,我们将讨论具有相关高斯函数形式的试探函数的变分方法,该方法在现代物理学中得到了广泛的应用。在数学上,它基于里兹定理,该定理指出,对于来自状态空间的任意函数 Ψ,哈密顿量的期望值(<Ψ|H|Ψ>/<Ψ|Ψ>)大于基态能量。因此,选择不同的试探波函数并计算这些函数的哈密顿量的平均值,可以让我们获得基态能量的上限。
为了展示该方法的思想,我们考虑一维空间中通过振荡器势相互作用的两个粒子
![{\displaystyle {\bigg [}-{\frac {1}{2}}{\frac {\partial ^{2}}{\partial {x}_{1}}}-{\frac {1}{2}}{\frac {\partial ^{2}}{\partial {x}_{2}}}+{\frac {1}{2}}(x_{1}-x_{2})^{2}{\bigg ]}\phi =E\phi \;.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7790c30ea70bd27f104a8d912c24e7618c27e4b3)
这是一个非常简单的教科书问题,其基态解为

其中为了简化起见,我们假设总动量等于零。
为了展示该方法的工作原理,我们选择试探波函数的形式为仅一个高斯函数

其中我们只有一个需要最小化能量的实正参数。该方法的思想是仅使用实数生成器随机地选择此参数。我们发现,无论种子如何,经过 50 次尝试后,我们找到了 α 的值,该值使基态能量达到 5 位有效数字。
哈密顿量期望值的收敛性(不同的曲线对应于随机数生成器的不同起始种子)。
当然,这是一个非常简单的示例,我们能够以高精度建立能量,仅仅因为我们是在包含哈密顿量的基态波函数的空间中工作。
为了建立激发态,仅仅使用一个高斯函数是不够的,因此我们以更一般的形式选择试探波函数

如上所述,我们随机选择参数
,然后通过最小化哈密顿量的期望值来确定线性参数 ci。使用 N=25 和一组随机参数
(我们假设
),我们得到了前 6 个本征态,精确到 5 位有效数字。
从这个简单的例子中,我们了解到,我们能够在没有任何关于系统先验知识的情况下,仅使用随机搜索来近似薛定谔方程的解。主要问题是如何估计这种近似的精度。
我们将考虑一个非相对论量子力学
体(N 体)系统,该系统由哈密顿量描述

其中
和
分别是第
个粒子的质量和坐标;第一项是动能算符;第二项是单体力,例如外场(通常是振荡器,
),例如 磁光阱;第三项是二体力,即粒子间的相互作用。
这个哈密顿量可以描述一个捕获的原子系统或原子核。
一般来说,我们还可以考虑自旋相关的、三体的、非局部的和其他类型的相互作用,这些相互作用将在需要时引入。
我们将求解薛定谔方程

其中
是量子少数体系统的哈密顿量,
和
分别是待求解的本征函数和本征值。
我们将用一组基函数
展开波函数
,

将展开式代入薛定谔方程,并从左边乘以
,得到

或者,用矩阵表示法

其中
和
分别是哈密顿量和重叠矩阵,矩阵元素为

矩阵方程
被称为广义特征值问题。有一些已建立的例程可以解决这个问题,例如 Octave 中的“eig”函数,或 GNU Scientific Library 中的“gsl_eigen_gensymm”函数。
如果基函数是正交且归一化的,则重叠矩阵等于单位矩阵,
,广义特征值问题简化为普通特征值问题,
。
我们将使用高斯函数(非正交)作为基函数,因此我们将处理广义特征值问题。
我们将使用所谓的相关高斯函数(或显式相关高斯函数)作为基函数。对于一个具有坐标
的
个粒子的系统,相关高斯函数定义为
,
其中
表示两个向量的点积;其中
,一个对称正定矩阵,和
,移位向量,是高斯函数的(巧妙选择的)参数。
在矩阵表示法中,
,
其中
是坐标
的列向量,
是位移向量
的列向量。
,
并且
.
我们将少体波函数
表示为
个关联高斯函数的线性组合。
我们将在稍后讨论矩阵
的选择,在这里只计算矩阵元素。
重叠为:
(其中
,
以及
) 可以通过进行正交变换,
,其中
,转换为矩阵
为对角矩阵的基底,
最后,
|
让我们考虑动能算符的一种更普遍的形式,

其中
是一个常数矩阵,例如,对于上面的哈密顿量 
矩阵元素表示为
对左导数进行分部积分得到
逐项计算,
其中
.
最后,
|
例如,粒子
和
之间相互作用势的矩阵元素,
,
可以用更一般的形式写成:
,
其中
是一个大小为 N 的向量,其所有分量都为零,除了
和
。
单体相互作用,
,具有相同的形式,
,其中
且所有其他分量都为零。
对于高斯形式的中心势,

位移后的高斯函数之间的矩阵元可以直观地计算得到。
|
其中
.
行列式的秩 1 更新,
,以及矩阵逆,
,可以使用以下公式进行高效计算。

以及(Sherman-Morrison)

对于一般的形式因子中心势,计算矩阵元的一种方法是通过势的傅里叶变换,
,
.
因此
|
其中
是势能
的傅立叶变换,
且
.
最后一个积分也可以用势能本身来写,

其中
.
最后,
|
其中
以及
.
以下是某些常见势的积分公式:
- 高斯势,
;
- 库仑势,
;
- 振荡器,
.
在核物理学中,两个核子之间的张量势具有以下形式

其中
是形状因子;
;
和
是核子的坐标;
,
是与自旋相关的泡利矩阵,
和
,是两个核子的自旋:
,
.
人们经常添加项
以确保势能没有中心分量(即,势能对所有方向的平均值为零)。如果没有这个附加项,上述张量势能将具有中心自旋-自旋分量
)。
再次介绍列向量
,其中
,
,
,以及向量列
,
,势能可以写成一个方便的通用形式:

该算符在平移高斯函数之间的矩阵元素表示为

这可以通过解析计算高斯形状因子,
,

其中
.
最后,对于高斯张量势,

|
其中
.
两个核子之间的自旋轨道势 --- 坐标分别为
和
,自旋分别为
和
--- 通常写成如下形式

其中
;
是两个核子的总自旋,

而
是两个核子之间的相对轨道角动量。

其中
表示两个向量的向量积。
轨道角动量可以使用列向量
(其中
,
,
)重写为一个方便的通用形式,

对于一个高斯形状因子,
,对应于平移高斯之间的矩阵元可以解析地计算。

其中
,
,
.
让我们考虑一个时间无关的物理系统,其哈密顿量 H 是厄米特算符,并且从下方有界。 我们想要近似 H 的离散特征值及其波函数

其中我们按顺序排列特征值,使得 
这意味着我们想要找到这样的平方可积函数
,使得
,其中一些
。 不幸的是,在实践中,我们不知道哈密顿量的精确特征值,因此我们必须首先找到能量的近似值
。 下面的定理给了我们方法。 这里我们想将自己限制在基态,但使用 最小-最大定理,可以扩展到哈密顿量的整个离散谱
定理
对于状态空间中的任何
,哈密顿量的期望值等于或大于基态能量
.
证明
显然,函数
可以在正交基
中分解:
。利用这种分解,我们可以写出哈密顿量的平均值:
,由此得出
。
这个结论通常被称为瑞兹定理,可以看作是极小极大定理的一个推论。
这个结果允许我们计算基态能量的上界。
根据魏因斯坦定理,我们可以将最初的要求
改写为方差
的形式。
定理
在区间
中至少存在一个特征值。
证明
我们将
写入
基,得到
。存在整数
,使得
。利用此,我们重写方差 ![{\displaystyle \sigma ^{2}[\phi ]=(E_{k}-E)^{2}+{\frac {\sum _{i}|a_{i}|^{2}{\bigg (}(E_{i}-E)^{2}-(E_{k}-E)^{2}{\bigg )}}{\sum _{i}|a_{i}|^{2}}}\geq (E_{k}-E)^{2}\;\Box .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97ecd10ed4600771b9cfbf534184b5023b3805d3)
该结果可能有用,当且仅当该下限可以尽可能接近基态能量计算出来。
通过这些定理,我们看到了前进的方向
1. 在哈密顿量的态空间中选取一个方便的基。
2. 将基的大小缩减到某个有限数。
3. 在该基中最小化哈密顿量的期望值。
4. 扩大基,并执行步骤3。
5. 只要需要以确保基态能量收敛,就执行步骤3和4。
6. 计算方差。
7. 如果方差大于某个精度值,则扩大基的大小,并再次执行步骤3、4、5和6,否则就完成了。
在实践中,单独的步骤3、4和5可以给出能量的准确值。步骤6和7是用于波函数的近似计算。这是由于以下定理
定理
哈密顿量的期望值在离散特征值附近是平稳的。
证明
因此,通常更容易获得对能量而不是其他可观测量的准确近似值。
我们想从第一步开始:选取一些方便的基。我们希望为我们的问题定义方便的基
1. 从一个坐标系到另一个坐标系的简单变换。
2. 能够消除质心。
3. 容易计算重叠和动能。
引入重新缩放的坐标是有利的,

其中
是一个方便选择的质量尺度。实际上,动能
和谐波势阱
在重新缩放的坐标系中具有更对称的形式,

从
到
的变换的雅可比行列式等于

另一种适合的线性变换到一组新的坐标系是可能的,

或者,用矩阵表示法,

其中
是变换矩阵。
如果变换矩阵是酉矩阵,
,动能和谐波势阱的对角形式在新坐标系中保持不变,

最后一个变换在新的系统具有以下坐标时特别有用:

可以看作质心坐标。它允许我们使用以下形式的波函数

其中
是振荡器势的基态波函数。
首先,我们考虑在完全通用的移位高斯基底上的试验波函数,它可以用来描述具有各向异性粒子间相互作用的外部场中的系统。

其中

,一个对称正定矩阵,以及
,一个位移向量,是高斯的非线性参数,n=N-1。根据这个定义,我们有
个非线性变分参数。要找到这些参数,可以使用确定性方法(例如,Powell 方法)或基于随机搜索的方法。我们使用后者,尽管我们发现
个线性变分参数通过对给定的一组非线性参数进行全最小化来找到。
矩阵元素可以通过对矩阵
进行对角化或对
进行 Cholesky 分解(因为它为正定)来解析地确定,并改变基底至矩阵为对角或单位矩阵的坐标系。通过这种方式,许多积分可以通过迭代积分来确定。
相关高斯函数通常是非正交的,因此重叠是非对角的,

我们定义了 
这里我们计算动能

我们定义了
对于
其中
为单位矩阵,在注意到以下关系后,可以得到更简单的表达式

为了继续,必须推导出以下恒等式


为了计算

我们需要计算方差,所以需要计算以下矩阵元素
![{\displaystyle {\begin{array}{lcl}\langle A',s';x|(x^{T}Dx)(x^{T}D_{1}x)|A,s;x\rangle =N\times &{\bigg (}[u^{T}Du][u^{T}D_{1}u]+{\frac {1}{2}}[u^{T}D_{1}u]{\rm {tr}}(DB^{-1})+{\frac {1}{2}}[u^{T}Du]{\rm {tr}}(D_{1}B^{-1})+\\&2u^{T}DB^{-1}D_{1}u+{\frac {1}{4}}{\rm {tr}}(DB^{-1}){\rm {tr}}(D_{1}B^{-1})+{\rm {tr}}(DB^{-1}D_{1}B^{-1}){\bigg )}\;,\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3db97febe092883e7096f17e2c02f909a061928f)
这里我们计算矩阵元素

一般来说,我们无法对这个积分写出解析表达式,但可以将其简化为 D 维积分。例如,考虑和式中的一个项

为了简化这个积分,我们需要从雅可比集
进行变换到雅可比集
,其中矩阵 A,A',s,s' 被定义到雅可比集
,其中
。这两个集合之间的变换可以通过正交矩阵 U 提供:x=Uy。利用这个,我们可以写出

其中

可以解析地求解。
如果我们可以将势写成高斯函数的总和
那么积分
可以用与我们求重叠相同的方式解析地求得。
为了考虑具有自旋的粒子,我们将自旋部分添加到试探波函数中

其中对于自旋 = 1/2 的粒子,函数
只是一个包含 N 个元素的数组。每个元素都是自旋在预定义轴上的投影的本征函数。例如,
定义了所有粒子自旋方向相同的系统。接下来我们定义自旋算符
它以如下方式作用于粒子编号 



其他情况为零。
这里我们讨论形式为
的自旋轨道势,其中
以及
- 相对角动量,其中
- 列维-奇维塔符号,以及
。我们需要计算以下矩阵元素

再次,我们从雅可比集
转换到雅可比集
,使用变换矩阵 U: x=Uy。

在上一节中,我们考虑了完全通用的设置,它适用于任何粒子间势和外部场。这种方法对于例如我们感兴趣的具有各向同性成对相互作用的 N 个玻色子的基态来说远非最佳,因为在这种情况下,我们知道我们的基态必须具有零轨道角动量,考虑到这一点,我们在较小的变分基中写下试探波函数

其中

如果我们将位移向量设置为零
,则试探波函数等效地对待向量
的笛卡尔分量,这导致零角动量,否则波函数将包含所有可能的角动量,我们需要一个有效的程序来构建给定角动量的本征态。对于此试探波函数的矩阵元可以从一般情况获得,但我们明确地写出来。

其中我们定义了

其中我们定义了
我们考虑算符
的矩阵元,选择
可以得到总角动量或对应相对坐标的角动量。
首先,我们计算以下形式的矩阵元

![{\displaystyle \langle A',\mathbf {s'} ;x|[a\mathbf {x} \times b\mathbf {x} ]|A,\mathbf {s} ;x\rangle =N\cdot (a\mathbf {u} \times b\mathbf {u} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d89d6370d603c15e6bd4903f8c98a10ddb053d0)
现在我们可以计算算符
的矩阵元
![{\displaystyle \langle A',\mathbf {s'} ;x|[a\mathbf {x} \times b{\frac {\partial }{\partial \mathbf {x} }}]|A,\mathbf {s} ;x\rangle =-2\langle A',\mathbf {s'} ;x|[a\mathbf {x} \times bA\mathbf {x} ]|A,\mathbf {s} ;x\rangle +2\langle A',\mathbf {s'} ;x|[a\mathbf {x} \times bA\mathbf {s} ]|A,\mathbf {s} ;x\rangle =2N[a\mathbf {u} \times bA(\mathbf {s} -\mathbf {u} )]\;.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6830c7edfe592ce3c875a987ebce8502dd756033)
我们定义总角动量为
。如果我们对雅可比集合进行变换,则我们得到
,其中
是对应于
坐标的线性动量。因此,如果我们假设整个系统处于静止状态,使得
,则以下矩阵元素定义了总角动量

经过简化(首先我们旋转到坐标系,其中矩阵
呈对角形式,然后我们旋转回来,并旋转到矩阵
呈对角形式的坐标系,然后再旋转回来),我们得到

我们取以下积分

其中
是 克罗内克δ.
利用这个,我们写下总角动量
![{\displaystyle <L^{2}>=4\hbar ^{2}N{\bigg (}\mathbf {s'} ^{T}A'B^{-1}A\mathbf {s} +{\frac {1}{4}}\sum _{k,c}(A'B^{-1})_{kc}[\mathbf {v} _{k}\times \mathbf {s'} _{c}]\cdot \sum _{a,b}(AB^{-1})_{ab}[\mathbf {v} _{a}\times \mathbf {s} _{b}]{\bigg )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b83b7b46a1c5936185e4b2abb99d35d109e5cc)
为了简化表达式,我们需要引入一些符号
首先是重叠(表示为 N,在以下表达式中使用)
对于任何具有正确维度的矩阵 F,包括
.
(余)弦项
根据欧拉公式,(余)弦可以用复数表示,利用线性关系,我们可以将上述矩阵元用复数向量
表示的上述矩阵元的(实)虚部来表示。
高斯项
Delta 项
这可以被计算为先前矩阵元素的极限情况 