路径积分是量子力学的一种描述方法,源于物理学家费曼[5],它是一种泛函积分,它已经成为现代量子理论的主流形式. 近年来,研究人员对它的兴趣愈发增加,尤其是它在量子领域以外的应用,出现了一些著作,如[7]. 但在国内了解路径积分的人并不多,很多量子物理专业的学生可能并没有听说过路径积分.

从数学角度来看,路径积分是求偏微分方程的Green函数的一种方法. 我们知道,在偏微分方程的研究中,如果能够求出对应的Green函数,那么对偏微分方程的研究会大有帮助,而通常情况下Green函数并不容易求解. 但构建路径积分只需要无穷小时刻的Green函数,因此形式和概念上都相当简单.

本章并没有新的内容,只是做了一个尝试:从随机游走问题出发,给出路径积分的一个简明而直接的介绍,展示了如何将抛物型的偏微分方程问题转化为路径积分形式.

从点的概率到路径的概率 #

在上一章对随机游走的研究中,我们得出从x0出发,t时间后,走到xn处的概率密度为
12παTexp((xnx0)22αt).
这是某时刻某点到另一个时刻另一点的概率,在数学上,我们称之为扩散方程(21)的传播子,或者Green函数.

现在把时间等分为n分,每份长度为Δt=Tn,在iΔt时刻,粒子的位置位于xk. 粒子从xk到达xk+1的概率密度为
12παΔtexp((xk+1xk)22αΔt),
所以粒子依次经过x1,x2,,xn1,xn的概率密度为
(12παΔt)nexp((x1x0)2+(x2x1)2++(xnxn1)22αΔt),
暂时省略前面的因子,然后取Δt0的极限,我们认为x0,x1,x2,,xn1,xn这些点,确定了一条从(x0,0)(xn,T)的路径x(t),而
(x1x0)2+(x2x1)2++(xnxn1)22αΔt=12αn1k=0(xk+1xkΔt)2Δt,
Δ0时,我们认为xk+1xkΔt等于x(t)tk的导数˙x(tk),这样上式正是积分12α˙x2dt的离散表达式. 综上,我们得到粒子沿着路径x=x(t)走过的概率,正比于
P[x(t)]=exp(12α˙x2dt).
这就得到了粒子经过路径x(t)的概率,它是关于x(t)的泛函. 这也就是布朗运动的路径概率分布. 其中,如果α=1,那么称之为标准布朗运动.

注释:

如果Wt是一个随机过程,满足以下条件,那么称之为一个布朗运动:
1、W0=0
2、{Wt,t0}是平稳的独立增量过程;
3、0stWtWsN(0,σ2(ts)).
σ=1时,称之为标准布朗运动.

对路径进行求和 #

我们已经得到了某条路径的概率P[x(t)]的表达式,那么从(x0,0)(xn,T)的概率,应该是(x0,0)(xn,T)的所有路径的概率之和. 换言之,我们要遍历两点间的所有路径求和.

遍历是通过离散化路径来实现的,如图1所示,依然将时间T进行划分,对于每一条路径,我们都可以用折线x0,x1,x2,,xn2,xn1,xn来逼近它,因此,如果要遍历所有路径x(t),那么只需要遍历所有x1,x2,,xn2,xn1(想象着上下“拨动”x1,x2,,xn2,xn1各点. ).

离散化一条路径,然后遍历

离散化一条路径,然后遍历

离散化一条路径,然后遍历

如果用P(x0,0;xn,T)表示从(x0,0)到达xn,T)的概率,那么(简洁起见,我们省略了前面的常数因子,在实际问题中我们再恢复就行,现在我们先要把概念讲清楚)
P(x0,0;xn,T)=limnexp(12αn1k=0(xk+1xkΔt)2Δt)dx1dx2dxn2dxn1,
积分共有n1次,然后取n的极限. 我们把上式简记为
P(x0,0;xn,T)=xnx0P[x(t)]Dx(t)=xnx0exp(12αT0˙x2dt)Dx(t),
这称为泛函P[x(t)]的路径积分(或者叫泛函积分),这是一个无穷维的积分.

抛物方程的路径积分 #

本小节希望把抛物型方程(19)转换为路径积分表述,由(27)式可知,构造路径积分的关键是要找出无穷小时间间隔内的传播子(Green函数).

首先考虑V=V(x),即与时间无关的情况. 记H=α222x2+V,将方程(19)简写为
αϕt=Hϕ,
因为Ht无关,那么上式的解可以形式地写为
ϕ(x,t)=exp(1αtH)ϕ(x,0)=exp[1αt(α222x2+V(x))]ϕ(x,0).

上述公式是精确解,其中exp(1αtH)应该理解为算符级数
exp(1αtH)=k=01k!tkαkHk.

现在我们只关心在无穷小间隔的情况下的结果,即取t=ϵ0,那么
ϕ(x,ϵ)=exp(α2ϵ2x2+1αϵV(x))ϕ(x,0),
注意,2x2V(x)一般来说是不可交换的,所以一般来说
exp(α2ϵ2x2+1αϵV(x))exp(α2ϵ2x2)exp(1αϵV(x)),
不过在一阶近似的情况下,两者是相等的(也就是说,两者的差是二阶无穷小的). 所以我们有
ϕ(x,ϵ)=exp(1αϵV(x))exp(α2ϵ2x2)ϕ(x,0),
留意到
ˆϕ(x,ϵ)=exp(α2ϵ2x2)ϕ(x,0),
正好是扩散方程ˆϕt=α22ˆϕx2的形式解,而在数学物理教程中我们已经获得了它的通解:
ˆϕ(x,ϵ)=12παϵexp(1α(xx0)22ϵ)ϕ(x0,0)dx0,
所以(34)式等于
ϕ(x,ϵ)=exp(1αϵV(x))12παϵexp(1α(xx0)22ϵ)ϕ(x0,0)dx0=12παϵexp[1α(12(xx0)2ϵ2V(x))ϵ]ϕ(x0,0)dx0,
由于上式是无穷小时间间隔下的,所以xx0ϵ可以认为是一阶导数˙x,因此,无穷小时间内的Green函数为(省略前面的因子)
exp[1α(12˙x2V(x))ϵ],
从而,我们可以相继地求得
K(x0,0;xn,T)=limnexp{12αn1k=0[(xk+1xkΔt)2V(xk)]Δt}dx1dxn1,
由于ϕ不是真正意义上的概率,因此这里用了K表示ϕ的传播子. 上式也就意味着,经过某条路径x(t)的概率泛函是:
K[x(t)]=exp[1αtbta(12˙x2V(x))dt],
这样就可以把从点(xa,ta)到点(xb,tb)的概率,表达为两点间的路径积分
P(xb,tb;xa,ta)=xbxaP[x(t)]Dx(t)=xbxaexp[1αtbta(12˙x2V(x))dt]Dx(t).
以上推导基于V与时间t无关的特例,但只需简单修改,就可以用于与时间相关情况的推导,这里不再赘述.

从路径积分到偏微分方程 #

(40)的路径泛函出发,然后进行路径积分,可以反过来推导得到偏微分方程(19),具体过程可以参考《量子力学与路径积分》,这里不再赘述. 既然它们之间可以相互推导,那么意味着两者是等价的,给出(19)形式的偏微分方程,立即可以对应地写出路径泛函(40),反之亦然.

一些算例 #

路径积分在概念是相当简单,但计算却非常复杂,可精确算出的解非常少,很多时候仅仅是采用近似. 本节不加证明地给出一些结果,这些结果来自物理学家费曼所著的《量子力学与路径积分》、《统计力学讲义》等著作. 这里只是向读者展示,对于很多路径积分问题,都已经存在有效的计算方案.

最可能路径 #

我们已经接触了一些路径积分,它的形式是:
exp(1αS[x(t)])D(x(t).
其中S[x(t)]x(t)的泛函,采用物理的说法,可以称它为“作用量”. 它的意义很明确,就是把所有路径的效应叠加起来. 很自然会考虑的一个问题是:哪条路径的贡献最大?如果这个效应是概率,那么这个问题就相当于问哪条路径的概率最大?

很明显,如果要exp(1αS[x(t)])尽可能大,那么希望S[x(t)]尽可能小,但是这个并不够充分,充分的条件是S[x(t)]x(t)附近要尽可能平稳,这样才能使得x(t)的贡献能够稳定地叠加起来. 在这里,“稳定”的意思是S[x(t)]的一阶变分为0. 由此我们看到,路径积分的最可能路径问题,很自然地给出了一个“变分原理”,这表明变分原理与路径积分有着密切的联系.

对于我们前面讨论的
S[x(t)]=tbta[12˙x2V(x,t)]dt,
δS[x(t)]=0给出
¨x=Vx.
边界条件为x(ta)=xa,x(tb)=xb,设其解为xcl(t),将解代入S[x(t)]中,可以算得一个Scl,它是ta,tb,xa,xb的函数,这些记号在求解二次型问题中会有帮助.

对于随机游走对应的V(x,t),有
¨x=12α2px2+ppx+αpt.

二次型作用量 #

对于任意的二次型作用量,路径积分是可以精确求解的,答案是:
P(b,a)=(12π)D/2det(2Sclxaxb)exp(1Scl),
其中D是空间的维数,而det(2Sclxaxb)被称为van Vleck-Pauli-Morette 行列式。证明过程可以参考[6].

微扰展开 #

对于无法精确计算的作用量的路径积分,有微扰展开式
P(b,a)=P0(b,a)+(1)P(b,c)V(c)P(c,a)dτc+(1)2P(b,d)V(d)P(d,c)V(c)P(c,a)dτcdτd.
具体的符号含义和推导,都可以参考费曼的著作[5].

转载到请包括本文地址:https://spaces.ac.cn/archives/3757

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Jun. 02, 2016). 《路径积分系列:3.路径积分 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/3757

@online{kexuefm-3757,
        title={路径积分系列:3.路径积分},
        author={苏剑林},
        year={2016},
        month={Jun},
        url={\url{https://spaces.ac.cn/archives/3757}},
}