科普
编辑
分享
反馈
  • 试探波函数与参数优化
  • 动手实践
  • 练习 1
  • 练习 2
  • 练习 3
  • 接下来学什么

试探波函数与参数优化

SciencePedia玻尔百科
定义

试探波函数与参数优化 是量子化学和计算物理中的一种基础方法,其核心依据是变分原理,即任何试探波函数的能量期望值均为真实基态能量的上界。该方法通过选择包含物理特性的参数化试探函数,并针对其参数进行能量最小化处理,从而获得基态的最佳近似解。这一过程为原子轨道线性组合(LCAO)提供了理论基础,并广泛应用于变分量子特征值解法器(VQE)等现代量子计算领域。

关键要点
  • 变分原理指出,利用任何合理的试探波函数计算出的能量期望值,永远不会低于系统真实的基态能量。
  • 变分法的威力在于巧妙地选择试探波函数,利用物理直觉(如对称性)并嵌入可调节的变分参数以进行优化。
  • 通过对变分参数求导,找到使能量期望值最小化的最优参数,便可获得对基态能量和波函数的最佳近似。
  • 该原理是现代计算化学的基石,用于解释化学键(如原子轨道线性组合),并广泛应用于凝聚态物理和材料科学中。

引言

在量子力学的世界中,薛定谔方程是描述系统行为的最高法则。然而,对于除了最简单的理想模型之外的几乎所有真实系统——从复杂的分子到前沿的材料——这个方程都因其巨大的复杂性而无法精确求解。这就带来了一个根本性的难题:我们如何在无法获得精确解的情况下,去探索和预测这些系统的性质,尤其是它们最稳定状态的能量,即基态能量?

本文正是为了解答这一问题而展开。我们将深入探讨一种极为强大和优美的近似方法:变分原理。我们将学习如何将一个棘手的微分方程求解任务,转化为一个更直观的优化问题。首先,我们将揭示变分法的核心思想与操作流程,学习如何像“烹饪”一样,通过选择合适的“食材”(试探波函数)并调整“调味”(变分参数)来逼近最低能量。接着,我们将看到这一原理如何在量子化学、材料科学乃至计算科学等多个领域大放异彩,成为我们理解化学键、设计量子器件的基石。

让我们开始,深入这一方法的核心,理解其基本原理与内在机制。

原理与机制

想象一下,你面对着一个极其复杂的山脉,而你的任务是找到这片山脉中海拔最低的山谷。你没有一幅精确的地形图,只有一架高度计和一双可以带你到任何地方的脚。你会怎么做?一个显而易见的策略是:随机选择一个点,测量其高度,然后四处走动,不断寻找更低的点,直到你再也找不到比当前位置更低的地方为止。你可能没有找到全球的最低点,但你很可能已经找到了一个相当深的山谷。

在量子力学中,求解一个系统的基态能量(也就是最低能量)往往就像是在一个由所有可能波函数构成的、无限维度的“能量景观”中寻找最低点。薛定谔方程是我们的向导,但对于大多数有趣的、真实的系统——从复杂的分子到材料中的电子——这条方程都太过复杂,无法精确求解。我们没有完整的地形图。

然而,我们有一个强大得惊人的“高度计”:​变分原理 (Variational Principle)。这个原理是我们在黑暗中摸索的火炬,它简单而深刻地指出:

对于一个给定的系统,无论你猜测它的基态波函数 ψ\psiψ 是什么样子,只要这个猜测是合理的(例如,在数学上是“行为良好”的),你计算出的能量期望值 ⟨E⟩\langle E \rangle⟨E⟩ 永远不会低于 真正的基态能量 E0E_0E0​。

在数学语言中,这就是:

⟨E⟩=⟨ψ∣H^∣ψ⟩⟨ψ∣ψ⟩≥E0\langle E \rangle = \frac{\langle \psi | \hat{H} | \psi \rangle}{\langle \psi | \psi \rangle} \ge E_0⟨E⟩=⟨ψ∣ψ⟩⟨ψ∣H^∣ψ⟩​≥E0​

这里 H^\hat{H}H^ 是系统的哈密顿算符(总能量算符)。这个原理给了我们一个清晰的游戏规则:你对基态波函数的猜测越好,计算出的能量就越接近真实的最低能量。因此,我们的任务从“解一个无法解的方程”转变为一个更具操作性的“优化问题”:构造一个最好的猜测,使其给出的能量最低。

变分法的“烹饪食谱”

这个寻找“最佳猜测”的过程有一个非常直观的流程,就像一个烹饪食谱。

首先, 选择一个“试探波函数” (Trial Wavefunction)。这不是盲目地乱猜。我们会根据物理直觉来设计一个函数形式。比如,如果一个势阱是对称的,我们自然会猜测基态波函数也是对称的。最关键的一步是,在我们的试探函数中嵌入一个或多个“可调旋钮”——也就是所谓的 变分参数​。这些参数让我们的猜测函数不是一个单一的函数,而是一个函数“家族”。

一个很好的例子是,考虑一个粒子被限制在一个 V 形势阱 V(x)=c∣x∣V(x) = c|x|V(x)=c∣x∣ 中。我们可能会猜测,波函数在中心处最大,然后向两边平滑地减小。一个抛物线形的函数 ψ(x)=A(a2−x2)\psi(x) = A(a^2 - x^2)ψ(x)=A(a2−x2) 在 ∣x∣≤a|x| \le a∣x∣≤a 的范围内似乎就是个不错的起点。这里的参数 aaa 就是我们的可调旋钮,它控制着波函数的“宽度”。

其次,​计算能量期望值。对于我们选择的试探函数家族,其能量期望值 ⟨E⟩\langle E \rangle⟨E⟩ 将会依赖于我们设置的变分参数。例如,对于上面的抛物线猜测,我们会得到一个能量函数 E(a)E(a)E(a)。这个函数通常包含两部分:动能和势能。动能项倾向于让波函数尽可能平缓地展开(因为剧烈的弯曲意味着高动能),而势能项则倾向于将波函数束缚在势能低的地方。对于我们的例子,计算结果表明能量可以表示为 E(a)=5ℏ24ma2+5ca16E(a) = \frac{5\hbar^2}{4ma^2} + \frac{5ca}{16}E(a)=4ma25ℏ2​+165ca​。你可以看到,当宽度 aaa 变小时,第一项(动能)会飙升;当 aaa 变大时,第二项(势能)会增加。

最后,​最小化能量​。现在,我们只需要转动我们的“旋钮” aaa,找到能使 E(a)E(a)E(a) 达到最小值的那个 aopta_{opt}aopt​。这通常是一个简单的微积分问题:对 E(a)E(a)E(a) 求导并令其为零。这个最小的能量 E(aopt)E(a_{opt})E(aopt​) 就是我们利用这个试探函数家族能得到的对基态能量的最佳估计。对于 V 形势阱的例子,这个优化过程给出的能量估计是 Emin=1516(ℏ2c2m)1/3E_{min} = \frac{15}{16}(\frac{\hbar^2 c^2}{m})^{1/3}Emin​=1615​(mℏ2c2​)1/3。这不一定是精确解,但它是一个严格的能量上限,而且往往已经相当接近了。

猜测的艺术:直觉与对称性

变分法的威力不仅在于其数学流程,更在于选择试探函数时的物理洞察力。一个好的猜测可以事半功倍。

对称性是你的第一向导​。如果一个系统的哈密顿量具有某种对称性(例如,在谐振子势 V(x)∝x2V(x) \propto x^2V(x)∝x2 中的左右对称),那么它的本征态也必须具有确定的对称性(在这里是确定的宇称——偶或奇)。基态,作为能量最低且唯一的态,几乎总是拥有与系统相同的最高对称性。因此,对于谐振子,其基态必定是一个偶函数。如果你选择了一个不具备确定宇称的试探函数,比如 ψT(x)=(x−a)e−βx2\psi_T(x) = (x-a)e^{-\beta x^2}ψT​(x)=(x−a)e−βx2(当 a≠0a \neq 0a=0 时,它既不是偶函数也不是奇函数),那么它从根本上就不可能是真正的基态波函数。因此,无论你怎么调整参数 aaa 和 β\betaβ,你得到的能量永远只能是一个近似值,绝无可能达到精确的基态能量。

这种对称性的考虑也为我们打开了通往​激发态​的大门。例如,谐振子的第一激发态是奇函数。因此,如果我们想估计第一激发态的能量,我们只需要聪明地选择一个奇函数作为试探波函数,比如 ψ(x)=Cxe−αx2\psi(x) = C x e^{-\alpha x^2}ψ(x)=Cxe−αx2。由于这个函数与所有偶函数(包括基态)都是正交的,变分原理的一个推广版本保证了我们计算出的能量将是第一激发态能量的一个上限。令人惊喜的是,对于这个问题,当我们优化参数 α\alphaα 时,我们得到的能量 Emin=32ℏωE_{min} = \frac{3}{2}\hbar\omegaEmin​=23​ℏω 恰好就是精确的第一激发态能量! 这说明,我们的试探函数家族中恰好包含了那个真实的解。

函数形式至关重要​。不同的函数形式,即使都满足对称性要求,其近似效果也可能天差地别。回到 V 形势阱的问题,我们除了可以用抛物线,也可以尝试高斯函数 ψG∝e−αx2\psi_G \propto e^{-\alpha x^2}ψG​∝e−αx2 或者指数函数 ψE∝e−β∣x∣\psi_E \propto e^{-\beta |x|}ψE​∝e−β∣x∣。我们完全可以把这两种函数都试一遍,然后比较哪个给出的能量估计更低。计算表明,指数函数给出的能量比高斯函数稍低一些,这意味着它对于这个特定问题是一个更好的模型。 这就如同在为一项任务挑选工具,虽然锤子和扳手都能敲钉子,但其中一个显然更合适。

一个真正深刻的例子是氢原子。其库仑势 V(r)∝−1/rV(r) \propto -1/rV(r)∝−1/r 在 r=0r=0r=0 处有一个“尖点”。这意味着波函数在该点的导数是不连续的,物理学家称之为“库仑尖点条件”。如果我们使用一个处处光滑的高斯函数 ψG∝e−αr2\psi_G \propto e^{-\alpha r^2}ψG​∝e−αr2 作为试探函数,无论我们怎么调整其宽度 α\alphaα,它在原点附近都过于“平坦”,无法模拟出那个尖点。因此,它给出的能量估计值大约比真实值高了 15%。 而如果我们使用指数函数 ψE∝e−βr\psi_E \propto e^{-\beta r}ψE​∝e−βr,它在原点恰好有一个尖点!结果,这个函数形式完美地捕捉了系统的内在物理特性,通过变分法优化,它最终给出了精确的氢原子基态能量。

从特例到普适之美

变分法的美妙之处在于,它不仅能解决具体问题,还能揭示深刻的物理规律。

想象一下,我们不知道一个粒子的具体波函数形式,只知道它被一个幂律势 V(r)=CrkV(r) = C r^kV(r)=Crk 束缚。我们取任意一个“模板”波函数,然后通过一个单一的标度参数 α\alphaα 对其进行缩放,构造一个试探函数家族 ψα(r⃗)=α3/2ψ1(αr⃗)\psi_\alpha(\vec{r}) = \alpha^{3/2} \psi_1(\alpha \vec{r})ψα​(r)=α3/2ψ1​(αr)。通过变分法最小化能量,我们并不需要知道模板函数 ψ1\psi_1ψ1​ 的任何细节,就能得出一个惊人地普适的结论:在能量最低点,系统的平均动能 ⟨T⟩\langle T \rangle⟨T⟩ 和平均势能 ⟨V⟩\langle V \rangle⟨V⟩ 之间存在一个固定的关系:

2⟨T⟩=k⟨V⟩2\langle T \rangle = k \langle V \rangle2⟨T⟩=k⟨V⟩

这就是著名的标度-维里定理 (Scaling Virial Theorem) 的一个量子版本! 例如,对于谐振子(k=2k=2k=2),我们得到 ⟨T⟩=⟨V⟩\langle T \rangle = \langle V \rangle⟨T⟩=⟨V⟩;对于氢原子(k=−1k=-1k=−1),我们得到 2⟨T⟩=−⟨V⟩2\langle T \rangle = -\langle V \rangle2⟨T⟩=−⟨V⟩。这个深刻的联系,就这样从一个简单的缩放和优化论证中浮现出来,展现了物理定律内在的和谐与统一。

当然,有时我们的运气会特别好。如果我们设计的试探函数家族足够“丰富”,以至于它本身就包含了那个神圣的、精确的基态解,那么变分法保证能为我们找到它。例如,在估计谐振子基态能量时,如果我们使用一个更复杂的双参数函数 ψ(x)=N(1+βx2)e−αx2\psi(x) = N(1 + \beta x^2)e^{-\alpha x^2}ψ(x)=N(1+βx2)e−αx2,我们会发现,能量在 β=0\beta=0β=0 且 α=mω/2ℏ\alpha = m\omega/2\hbarα=mω/2ℏ 时达到最小值。这恰恰对应着真实的基态波函数 ψ0∝e−mωx2/(2ℏ)\psi_0 \propto e^{-m\omega x^2/(2\hbar)}ψ0​∝e−mωx2/(2ℏ)。 这就像你带着一张藏宝图去一个岛上寻宝,而你的搜寻区域恰好覆盖了宝藏的真实位置——你必然会满载而归。

最后,值得一提的是,最小化能量并非变分思想的唯一应用。一个真正的能量本征态,其能量是确定无疑的,没有任何“涨落”或“方差”。因此,我们可以提出一个更精妙的策略:调整我们的变分参数,以求最小化能量的方差 σH2=⟨H2⟩−⟨H⟩2\sigma_H^2 = \langle H^2 \rangle - \langle H \rangle^2σH2​=⟨H2⟩−⟨H⟩2。一个好的近似解,其能量方差应该非常接近于零。这种方法在计算量子化学中是一种更强大的技术,它能帮助我们筛选出更接近真实本征态的波函数。

总而言之,变分原理将一个看似无望的求解任务,变成了一场充满创造力和物理直觉的、启发性的探索之旅。它告诉我们,即使无法得到完美答案,我们也可以通过系统性的优化和巧妙的猜测,无限地逼近真相。这不仅是量子力学中一个极其强大的计算工具,更是理论物理学家“玩耍”和洞察自然之美的一个游乐场。

应用与跨学科连接

在上一章中,我们领略了变分法的核心思想——一个深刻而优美的原理,它断言,对于任何量子体系,使用任意“猜测”的波函数计算出的能量期望值,都绝不会低于其真实的基态能量。这个原理不仅仅是一个数学上的约束,它更像是一盏指路明灯,赋予我们一种强大的能力:即便是在无法精确求解薛定谔方程的复杂情况下,我们也能通过构造和优化试验波函数,一步步逼近真实答案。

现在,让我们追随 Richard Feynman 的探索精神,开启一段新的旅程。我们将看到,这个看似简单的原理,如同一种普适的“科学语法”,在物理学、化学乃至计算科学的广阔天地中,催生了何等丰富多彩的应用,并如何将这些看似迥异的学科编织在一起,展现出科学内在的和谐与统一。

用模型体系磨砺我们的直觉

一切伟大的理论,其力量首先体现在它如何阐释最简单的模型。变分法也不例外。让我们从一个我们已经了然于胸的体系开始:一维无限深方势阱。我们知道它的精确解,但这并不妨碍我们用变分法来“佯装不知”,看看能得到什么。如果我们选择一个极其简单的、不含任何可调参数的三角形函数作为试验波函数——它仅仅满足了波函数在边界为零的基本要求——我们计算出的能量只比真实的基态能量高出大约 22%。这结果非同小可!它告诉我们,变分法是宽容的:一个远非完美的“猜测”,只要抓住了体系波函数最主要的特征(例如,在势阱中央概率最大),就能给出相当合理的能量估计。

这种“通过猜测来理解”的策略,在面对更贴近现实的物理情景时,威力就更加显现。想象一个被恒定引力(或电场力)束缚在平面上的“量子弹球”,或者一个被表面短程力吸引的粒子。这些分别可以用线性势 V(x)=kxV(x) = kxV(x)=kx 和指数衰减势 V(z)=−V0e−z/aV(z) = -V_0e^{-z/a}V(z)=−V0​e−z/a 来模拟。对于这类无法轻易求解的问题,我们可以构造一个形式如 ψ(x)=Cxe−λx\psi(x) = C x e^{-\lambda x}ψ(x)=Cxe−λx 的试验波函数。这个函数巧妙地捕捉到了物理图像:粒子在 x=0x=0x=0 处被排斥(概率为零),在某个距离处达到最可能的位置,然后概率呈指数衰减。这里的 λ\lambdaλ 就是一个变分参数,代表了波函数的弥散尺度。通过最小化能量期望值来确定最佳的 λ\lambdaλ,我们就能得到对基态能量的最佳估计。这不仅仅是数字计算,更是物理洞察力的体现——我们在主动“设计”一个最能描述粒子行为的数学形式。

我们甚至可以处理像狄拉克 δ\deltaδ 函数这样奇异的势阱,它模拟了一个强度极大但作用范围极窄的吸引中心。面对这种奇点,我们可以大胆尝试一个洛伦兹函数形式的试验波函数,ψ(x)=N/(x2+α2)\psi(x) = N/(x^2 + \alpha^2)ψ(x)=N/(x2+α2),然后对宽度参数 α\alphaα 进行优化。变分法的魅力就在于它的灵活性,允许我们根据物理直觉和数学便利性,自由地选择和优化试验波函数。

从原子到分子:量子化学的诞生

变分原理最辉煌的应用篇章,无疑是在化学领域。它几乎是整个理论化学——尤其是我们理解化学键和分子结构的量子理论——的基石。

旅程从最简单的多电子原子——氦(He)原子——开始。由于两个电子之间存在相互排斥,氦原子的薛定谔方程无法精确求解。这是变分法大显身手的完美舞台。一个最天真的想法是,忽略电子间的相互作用,认为两个电子各自占据着类似氢原子的1s轨道。这个模型得到的能量与实验值相差甚远。但我们可以用变分法改进它:我们保持波函数的形式不变,但将轨道中的核电荷数 ZZZ 视为一个可调参数 Z∗Z^*Z∗。物理上,这相当于承认一个电子会“屏蔽”一部分核电荷,使得另一个电子感受到的有效核电荷变小了。通过最小化能量,我们发现最优的 Z∗Z^*Z∗ 确实小于2!这个简单的优化,极大地改善了能量的估计值,并为我们引入了“屏蔽效应”这一核心化学概念。

但这还不够。电子之间不仅相互屏蔽,它们还会有意地“躲避”对方,这种现象被称为电子相关​(electron correlation)。如何将这种动态的躲避行为构建到波函数中?一个绝妙的想法是,在试验波函数中直接引入一个依赖于电子间距离 r12r_{12}r12​ 的因子,例如 (1+cr12)(1 + c r_{12})(1+cr12​)。这相当于说,当两个电子靠近时(r12r_{12}r12​ 变小),波函数的幅值会减小,从而降低了在该处找到它们的概率。通过对新参数 ccc 进行变分优化,我们可以获得惊人准确的能量。更重要的是,这种形式的波函数能够满足严格的“电子-电子尖点条件”(electron-electron cusp condition),这是真实波函数在 r12→0r_{12} \to 0r12​→0 处的精确性质。变分法引导我们从平均的“屏蔽”图像,走向了更精细、更真实的电子动态相关图像。

现在,让我们用两个原子核构建一个分子。最简单的例子是氢分子离子 H2+_2^+2+​。我们如何猜测它的电子波函数呢?一个合理的猜想是,电子既然属于整个分子,它的波函数就应该是两个原子状态的某种组合。这就是著名的​原子轨道线性组合(LCAO)​方法的起源。我们将位于两个质子旁的氢原子1s轨道 ϕA\phi_AϕA​ 和 ϕB\phi_BϕB​ 组合起来,构造出分子轨道的试验形式 ψ=cAϕA+cBϕB\psi = c_A \phi_A + c_B \phi_Bψ=cA​ϕA​+cB​ϕB​。变分原理自动告诉我们最佳的组合方式和对应的能量:一种是两个轨道同相叠加(cA=cBc_A=c_BcA​=cB​),导致电子大概率出现在原子核之间,形成稳定的​成键轨道;另一种是反相叠加(cA=−cBc_A=-c_BcA​=−cB​),在原子核之间形成一个节点,排斥电子,形成不稳定的反键轨道​。就这样,变分法为我们揭示了化学键的量子力学本质——电子的共享导致体系能量降低。

这个思想是如此强大,以至于整个现代计算化学都建立在其上。哈特里-福克(Hartree-Fock, HF)方法,就是将变分原理应用于一个由单张斯莱特行列式构成的、更复杂的试验波函数,通过迭代(“自洽场”)的方式同时优化所有电子的轨道。而当单一构型不足以描述体系时(例如化学键断裂的过程),我们可以更进一步,采用​多组态自洽场(MCSCF)​方法。MCSCF的试验波函数是多个斯莱特行列式的线性组合,变分原理被用来同时优化每一个轨道以及这些行列式如何线性组合的系数。从简单的LCAO到复杂的MCSCF,我们看到一条清晰的路径:通过构造越来越灵活、越来越接近真实的试验波函数,变分原理带领我们一步步攀登量子化学的理论高峰。

材料与器件的量子世界

变分法的触角同样伸向了凝聚态物理和材料科学的微观世界。在纳米尺度上,电子的行为主导了材料的性质,而变分法为我们提供了理解和设计这些“人造原子”和量子器件的钥匙。

考虑一个​量子点——一个被囚禁在半导体纳米晶体中的电子。我们可以用一个二维谐振子势来模拟这种囚禁。如果再外加一个垂直的磁场,电子的基态能量会如何变化?这是一个在量子计算和自旋电子学中至关重要的问题。我们可以使用一个简单的高斯函数作为试验波函数,通过变分法进行求解。计算结果优美地揭示出,体系的能量取决于电学囚禁频率 ω0\omega_0ω0​ 和拉莫尔频率 ωL=eB/(2m)\omega_L = eB/(2m)ωL​=eB/(2m) 的双重竞争。最终的能量表达式 Emin=ℏω02+ωL2E_{min} = \hbar\sqrt{\omega_0^2 + \omega_L^2}Emin​=ℏω02​+ωL2​​ 精确地描绘了电与磁相互作用下的量子基态。

类似地,在超冷原子物理中,科学家们用激光和磁场制造出囚禁少量相互作用原子的势阱。变分法可以用来估算这些体系的基态能量,这是理解超流、超导等宏观量子现象的微观起点。无论是设计下一代电子器件,还是探索物质的新奇物态,变分法都提供了一个强大而直观的理论工具。

推动前沿:相对论、场论和计算科学

变分原理的应用范围之广,甚至超越了非相对论量子力学的范畴,延伸到了现代物理和计算科学的最前沿。

  • 走向相对论:变分原理并非薛定谔方程的专利。它可以被推广应用于处理相对论性的波动方程,如克莱因-戈登方程。我们可以用它来估算一个在库仑场中运动的相对论性粒子(一个简化的“π介子原子”)的束缚能,并看到能量修正项如何依赖于精细结构常数 α\alphaα。这体现了变分原理作为一种普适性物理思想的深刻性。

  • 响应外部场​:一个量子体系如何对外界的电场或磁场做出响应?例如,原子在外电场中会被“极化”。这种极化程度——即​静态电极化率 α\alphaα——可以通过变分法来估算。我们将基态波函数与一丝第一激发态波函数混合,以此来模拟电场引起的波函数畸变。通过最小化这个新试验波函数在总哈密顿量(包含电场相互作用)下的能量,我们就能计算出能量的下降量 ΔE=−12αE2\Delta E = -\frac{1}{2}\alpha\mathcal{E}^2ΔE=−21​αE2,从而求得极化率。这漂亮地连接了量子力学与电磁学,从第一性原理出发解释了物质的电学性质。

  • 计算的疆界​:对于真实而复杂的分子或材料,试验波函数的能量期望值中的积分可能异常繁琐,甚至无法解析计算。​变分蒙特卡洛(VMC)​方法应运而生。它采用随机抽样(蒙特卡洛方法)来数值估算这些积分。这引入了一个新的维度:统计误差。一个非常有趣且深刻的现象出现了:使用一个更灵活、更高级的试验波函数,虽然能够降低理论上的能量(减小“变分偏差”),但有时反而会导致采样过程中的统计涨落(“方差”)增大,使得计算效率降低。这揭示了在追求更高精度的道路上,理论的优美与计算的现实之间存在的微妙权衡。

而这场探索之旅的最高潮,无疑是与​量子计算机的交汇。​变分量子求解器(VQE)​是当前最有希望在近期量子设备上展现优势的算法之一。其思想是经典计算与量子计算的完美联姻:量子计算机负责根据一系列可调参数(例如量子门电路中的旋转角度)制备出试验波函数,而经典计算机则扮演“优化器”的角色,依据变分原理,不断调整这些参数,指导量子计算机去寻找能让体系能量最小化的状态。从求解分子基态能量到设计新材料,VQE将变分原理置于量子计算革命的核心。

从一个简单的直觉——“猜测的能量总比真实的高”——出发,我们穿越了物理、化学和计算机科学的辽阔疆域。我们看到,变分原理不仅是一种求解方程的技巧,更是一种构建物理模型、激发科学直觉、并最终推动技术前沿的强大哲学。它完美地诠释了科学的美感与力量——从一个单一、优雅的支点,撬动了我们对整个量子世界的理解。

动手实践

练习 1

应用变分法的第一个基本功是为一个给定的试探波函数计算能量期望值。这个练习将带领我们完成这个核心计算过程。我们将为一个在一维抛物线型势阱中的粒子估算基态能量,该势阱由 V(x)=−V0(1−x2/a2)V(x) = -V_0 (1 - x^2/a^2)V(x)=−V0​(1−x2/a2) 描述。通过为一个固定的、符合物理直觉的试探波函数(余弦函数形式)计算能量,我们可以练习归一化、动能和势能期望值的计算,为更复杂的优化问题打下坚实的基础。

问题​: 一个质量为 mmm 的量子粒子被限制在由 ∣x∣≤a|x| \le a∣x∣≤a 定义的一维区域内。在此区域内,其势能由函数 V(x)=−V0(1−x2a2)V(x) = -V_0 \left(1 - \frac{x^2}{a^2}\right)V(x)=−V0​(1−a2x2​) 给出,其中 V0V_0V0​ 是一个具有能量单位的正常数。对于所有 ∣x∣>a|x| > a∣x∣>a 的情况,势能为无穷大。

为该系统提出了一个近似基态波函数作为试探函数:当 ∣x∣≤a|x| \le a∣x∣≤a 时,ψ(x)=Acos⁡(πx2a)\psi(x) = A \cos\left(\frac{\pi x}{2a}\right)ψ(x)=Acos(2aπx​);其他情况下 ψ(x)=0\psi(x) = 0ψ(x)=0。这里,AAA 是归一化常数。

计算处于该状态下的粒子的能量期望值 ⟨E⟩\langle E \rangle⟨E⟩。该值可作为真实基态能量的上限估计。请用 mmm、aaa、V0V_0V0​ 和约化普朗克常数 ℏ\hbarℏ 将您的答案表示为单个闭合形式的解析表达式。

显示求解过程
练习 2

掌握了基本计算后,下一步是学习如何通过引入可调参数来优化我们的能量估计。本练习将探讨一个二维平面内的粒子,其受到一个吸引性的狄拉克 δ\deltaδ 函数势 V(ρ⃗)=−γδ(2)(ρ⃗)V(\vec{\rho}) = -\gamma \delta^{(2)}(\vec{\rho})V(ρ​)=−γδ(2)(ρ​) 的作用。我们将使用一个带有一个变分参数 α\alphaα 的高斯型试探波函数,通过最小化能量期望值来确定形成束缚态所需的最小势能强度 γcrit\gamma_{crit}γcrit​。这个过程不仅展示了参数优化的威力,还揭示了试探波函数形式对预测结果的影响。

问题​: 考虑一个质量为 mmm 的粒子,在二维平面内受到一个以原点为中心的吸引性短程势 V(ρ⃗)=−γδ(2)(ρ⃗)V(\vec{\rho}) = -\gamma \delta^{(2)}(\vec{\rho})V(ρ​)=−γδ(2)(ρ​) 的影响而运动。其中,ρ⃗\vec{\rho}ρ​ 是二维位置矢量,γ>0\gamma > 0γ>0 是势强度,δ(2)(ρ⃗)\delta^{(2)}(\vec{\rho})δ(2)(ρ​) 是二维狄拉克 δ\deltaδ 函数,其性质为 ∫R2f(ρ⃗)δ(2)(ρ⃗) d2ρ=f(0⃗)\int_{\mathbb{R}^2} f(\vec{\rho}) \delta^{(2)}(\vec{\rho}) \, d^2\rho = f(\vec{0})∫R2​f(ρ​)δ(2)(ρ​)d2ρ=f(0)。

我们希望使用变分法来确定形成束缚态所需的最小势强度。为此,我们使用归一化的高斯试探波函数 ψ(ρ⃗)=Aexp⁡(−αρ2)\psi(\vec{\rho}) = A \exp(-\alpha \rho^2)ψ(ρ​)=Aexp(−αρ2),其中 ρ=∣ρ⃗∣\rho = |\vec{\rho}|ρ=∣ρ​∣,AAA 是归一化常数,α>0\alpha > 0α>0 是变分参数。

二维动能算符为 T=−ℏ22m∇2T = -\frac{\hbar^2}{2m}\nabla^2T=−2mℏ2​∇2。对于径向对称函数 f(ρ)f(\rho)f(ρ),拉普拉斯算子为 ∇2f(ρ)=1ρddρ(ρdfdρ)\nabla^2 f(\rho) = \frac{1}{\rho}\frac{d}{d\rho}\left(\rho \frac{df}{d\rho}\right)∇2f(ρ)=ρ1​dρd​(ρdρdf​)。

如果哈密顿量的最小化期望值小于零,则预言存在束缚态。根据此变分估计,求出势强度的临界值 γcrit\gamma_{crit}γcrit​,当势强度超过该值时,可以保证束缚态的存在。你的答案应该是一个用 mmm 和约化普朗克常数 ℏ\hbarℏ 表示的闭合形式解析表达式。

显示求解过程
练习 3

在熟练掌握变分计算的技巧之后,进行一次概念上的检验至关重要,以确保我们深刻理解了其基本原理。这个问题挑战一个常见的误解:我们是否可以将哈密顿量中的物理常数(如此处的原子核电荷 ZZZ)当作变分参数来“优化”?通过分析这个思辨性问题,我们将巩固对变分法核心思想的理解:优化的对象是试探波函数中的参数,而不是描述物理系统本身的哈密顿量。这有助于我们区分数学上的近似工具和真实的物理实在。

问题​: 在量子力学中,变分原理为近似计算一个物理系统的基态能量 EgsE_{gs}Egs​ 提供了一种强大的方法。对于一个由特定哈密顿量 HHH 描述的系统,该原理指出,对于任意一个行为良好的试探波函数 Ψ\PsiΨ,其能量期望值 Etrial=⟨Ψ∣H∣Ψ⟩⟨Ψ∣Ψ⟩E_{trial} = \frac{\langle \Psi | H | \Psi \rangle}{\langle \Psi | \Psi \rangle}Etrial​=⟨Ψ∣Ψ⟩⟨Ψ∣H∣Ψ⟩​ 总是大于或等于真实的基态能量,即 Etrial≥EgsE_{trial} \ge E_{gs}Etrial​≥Egs​。

考虑氦原子,它由一个电荷为 Z=2Z=2Z=2 的原子核和两个电子组成。该系统的哈密顿量是固定的,由下式给出: HHe=(−ℏ22me∇12−2e24πϵ0r1)+(−ℏ22me∇22−2e24πϵ0r2)+e24πϵ0∣r⃗1−r⃗2∣H_{\text{He}} = \left(-\frac{\hbar^2}{2m_e}\nabla_1^2 - \frac{2e^2}{4\pi\epsilon_0 r_1}\right) + \left(-\frac{\hbar^2}{2m_e}\nabla_2^2 - \frac{2e^2}{4\pi\epsilon_0 r_2}\right) + \frac{e^2}{4\pi\epsilon_0 |\vec{r}_1 - \vec{r}_2|}HHe​=(−2me​ℏ2​∇12​−4πϵ0​r1​2e2​)+(−2me​ℏ2​∇22​−4πϵ0​r2​2e2​)+4πϵ0​∣r1​−r2​∣e2​ 一种标准的变分方法是选择一个带有可调参数(例如有效核电荷 ZeffZ_{eff}Zeff​)的试探波函数,然后对 HHeH_{\text{He}}HHe​ 的期望值关于 ZeffZ_{eff}Zeff​ 进行最小化,以找到氦基态能量的最佳上限估计值。

一名学生提出了一个概念上不同的方法。他们建议考虑一个具有可变核电荷 ZZZ 的类氦原子的通用哈密顿量 H(Z)H(Z)H(Z)。他们提出的方法如下:

  1. 为一个核电荷为 ZZZ 的通用双电子原子定义哈密顿量 H(Z)H(Z)H(Z)。
  2. 确定精确的基态能量 Egs(Z)E_{gs}(Z)Egs​(Z),作为核电荷 ZZZ 的函数。
  3. 通过求解方程 dEgs(Z)dZ=0\frac{dE_{gs}(Z)}{dZ} = 0dZdEgs​(Z)​=0 来找到使该能量函数最小化的 ZZZ 值。
  4. 该学生声称,由此得到的最小能量 min⁡Z[Egs(Z)]\min_Z[E_{gs}(Z)]minZ​[Egs​(Z)] 是真实氦原子基态能量的一个有效近似。

对于其宣称的目的——近似氦的基态能量而言,以下哪个陈述为该学生所提方法的物理和数学错误性提供了最根本的原因?

A. 该方法不正确,因为双电子原子的精确基态能量函数 Egs(Z)E_{gs}(Z)Egs​(Z) 无法解析确定,使得步骤2无法执行。

B. 该方法不正确,因为变分原理要求对一个固定的哈密顿量(即氦的哈密顿量,其中 Z=2Z=2Z=2)的能量期望值,就试探波函数中的参数进行最小化,而不是通过改变哈密顿量本身的参数来最小化能量。

C. 该方法不正确,因为导数 dEgs(Z)dZ\frac{dE_{gs}(Z)}{dZ}dZdEgs​(Z)​ 将产生一个非整数的 ZZZ 值,这对于原子核来说是不符合物理现实的。

D. 该方法不正确,因为对能量关于 ZZZ 进行最小化会找到所有双电子原子中最稳定的构型,但这个最小值很可能是一个正能量,对应于一个电子排斥占主导地位的非束缚系统。

E. 该方法不正确,因为它将核电荷 ZZZ 视为一个待优化的物理变量,而变分原理只允许优化特意引入试探波函数中的非物理参数。

显示求解过程
接下来学什么
量子力学
尚未开始,立即阅读
估算基态能量
变分原理在氦原子上的应用