量子力学和量子场论的路径积分表述(英语:path integral formulation或functional integral)是一个从经典力学里的作用原则延伸出来对量子物理的一种概括和公式化的方法。它以包括两点间所有路径的和或泛函积分而得到的量子幅来取代经典力学里的单一路径。
路径积分表述的基本思想可以追溯到诺伯特·维纳,他介绍的维纳积分解决扩散和布朗运动的问题[1]。在1933年他的论文中,由保罗·狄拉克把这个基本思想被扩展到量子力学中的利用拉格朗日算符[2][3] 。路径积分表述的完整方法,由理论物理学家理查德·费曼在1948年发展出来,但较早时,费曼已在约翰·惠勒指导的博士论文中,摸索出初步结果。
因为路径积分的表述法显然地把时间和空间同等处理,它成为以后理论物理学发展的重要工具。
路径积分表述也把量子现像和随机现像联系起来,为1970年代量子场论和概括二级相变附近序参数波动的统计场论统一奠下基础。薛定谔方程是虚扩散系数的扩散方程,而路径积分表述是把所有可能的随机移动路径加起来的方法的解析延拓。因此路径积分表述在应用于量子力学前,已经应用在布朗运动和扩散问题上。
在时间t0,粒子从点A出发,则在时间t1,可能出现在点B。图中的三条路径,皆对此量子幅有贡献。(也有许多其他路径。)
数学方法[编辑]
哈密顿算符在量子力学中的意义[编辑]
量子力学中,哈密顿算符
生成时间演化算符
:
![{\displaystyle U(t_{b},t_{a})=e^{-{\frac {i}{\hbar }}(t_{b}-t_{a})H}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05e53a8bc097bed548eaf58fd8dfb53aea7efb03)
一个量子粒子在时刻
到
间从位置
运动到
的量子概率幅是:
![{\displaystyle iG(x_{b},t_{b};x_{a},t_{a})\equiv \left\langle x_{b}\right|U(t_{b},t_{a})\left|x_{a}\right\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c527d4348facf43187545811b7fa690368cd287e)
因为
是很复杂的算符函数,直接用以上定义计算
非常困难。
时间演化算符符合
![{\displaystyle U(t_{b},t_{a})=U(t_{b},t)U(t,t_{a}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a26e6a6de9116f3e737b69b557f5a551331de2f)
因此量子幅符合
。
右式被积项的意义为从
出发,在中途时刻
先穿过位置
,再到达
的路径的总量子幅,此量子幅是两段路径量子幅的积;而左式从
到
的量子幅,等于右式所有这种路径的和(积分)。
时间切片[编辑]
假设粒子在时刻
到
间从位置
运动到
。那可以把之间的时间平均分割成个别的时间区间:
。每一段的时间是
。
在时刻
和
间粒子的量子幅是:
![{\displaystyle {\begin{aligned}\left\langle x_{j}\left|e^{-i{\frac {\Delta }{\hbar }}H({\hat {p}},{\hat {x}})}\right|x_{j-1}\right\rangle &=\int dp_{j}\langle x_{j}|p_{j}\rangle \left\langle p_{j}\left|e^{-i{\frac {\Delta }{\hbar }}H({\hat {p}},{\hat {x}})}\right|x_{j-1}\right\rangle \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d703ccb8830f1828e32596fdd2f5d97097991a74)
因为
和
是互不交换的算符,所以必须运用它们的交换子关系:
把
修成所有的
在
左方的正常顺序:
![{\displaystyle e^{-i{\frac {\Delta }{\hbar }}H({\hat {p}},{\hat {x}})}=:e^{-i{\frac {\Delta }{\hbar }}H({\hat {p}},{\hat {x}})}:+O(\Delta ^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3adb9cd102e9f42095f46f036736c7d8e2a516b9)
做时间切片的作用是:当取切片数趋向无限大的极限时(
),原本非正常顺序的哈密顿算符可以以正常顺序版代替。在正常顺序算符下,
和
从算符简化成普通复数。
因此
![{\displaystyle {\begin{aligned}\left\langle x_{j}\left|e^{-i{\frac {\Delta }{\hbar }}H({\hat {p}},{\hat {x}})}\right|x_{j-1}\right\rangle &=\int {\frac {dp_{j}}{2\pi \hbar }}e^{i{\frac {p_{j}}{\hbar }}(x_{j}-x_{j-1})}\,e^{-i{\frac {\Delta }{\hbar }}H(p_{j},x_{j-1})}\\&=\int {\frac {dp_{j}}{2\pi \hbar }}e^{i{\frac {\Delta }{\hbar }}\left(p_{j}{\frac {x_{j}-x_{j-1}}{\Delta }}-H(p_{j},x_{j-1})\right)}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53806e4d576df8e8e7170681ba2bbf5a930352ee)
把所有连接
和
的路径相加得到的总量子幅是:
![{\displaystyle {\begin{aligned}iG(x_{b},t_{b};x_{a},t_{a})&=\int dx_{1}\cdots dx_{n-1}\prod _{i=1}^{n-1}dp_{i}\exp \left[{\frac {i}{\hbar }}\sum _{j=1}^{n-1}\Delta \,L\left(t_{j},{\frac {x_{j}+x_{j-1}}{2}},{\frac {x_{j}-x_{j-1}}{\Delta }}\right)\right]\\&=\int {\mathcal {D}}\left[x(t)\right]e^{{\frac {i}{\hbar }}S[x(t)]},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbe906f20c437e6755b35f4f5f9aacc530cc995c)
其中
是路径
的作用量,拉格朗日量
的时间积分:
![{\displaystyle S=\int L(t,x,{\dot {x}})dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5986926069ced69dd3ac776b1ee29a51cc52176)
简单例子[编辑]
自由粒子[编辑]
自由粒子的作用量(
,
)为:
![{\displaystyle S=\int {\frac {{\dot {x}}^{2}}{2}}dt,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73a79fbcbe4aaa32d888c66bc91d0364005818f8)
可以插入路径积分里做直接计算。
暂时把指数函数内i去掉可容许比较简易的理解计算,以后可以用威克转动回到原式。去掉
后,有:
![{\displaystyle G(x-y;T)=\int _{x(0)=x}^{x(T)=y}e^{-\int _{0}^{T}{\frac {{\dot {x}}^{2}}{2}}dt}{\mathcal {D}}x=\int _{x(0)=x}^{x(T)=y}\prod _{t}e^{-{\frac {1}{2}}\left({\frac {(x(t+\epsilon )-x(t)}{\epsilon }}\right)^{2}\epsilon }{\mathcal {D}}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf6a611c2a0f5be9c6b104778e41ae726efceec9)
其中
是以上时间切成有限片的积分。连乘里,每一项都是平均值为
,方差为
的高斯函数。故多重积分是相邻时间高斯函数
的卷积:
![{\displaystyle G(x-y;T)=G_{\epsilon }*G_{\epsilon }*G_{\epsilon }*\cdots *G_{\epsilon }(x-y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fe0d405b6073c66b9e7a0a4f6f153fa2fbbf4f6)
这里面共包含
个卷积。傅里叶变换下,卷积变成普通乘积:
![{\displaystyle {\tilde {G}}(p;T)={\tilde {G}}_{\epsilon }(p)^{T/\epsilon }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e16c415705d5b4fb9bc1d4a858d59100f0f7b60)
而高斯函数的傅里叶变换也是一个高斯函数:
![{\displaystyle {\tilde {G}}_{\epsilon }(p)=e^{-\epsilon {\frac {p^{2}}{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2fb0cb6335d880cb10e747416bc86929c76691b)
因此
![{\displaystyle {\tilde {G}}(p;T)=e^{-T{\frac {p^{2}}{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa2b7e79d2b60ce4f236aaca88d17400e767e442)
反傅里叶变换可以得到实空间量子幅:
![{\displaystyle G(x-y;T)\propto e^{-{\frac {(x-y)^{2}}{2T}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6bcd47b1497a47347b16abaa0fc79e9ed6aadf3)
时间切片方法原则上不能决定以上比例系数,但以随机运动概率来理解,可得到以下正规条件:
![{\displaystyle \int G(x-y;T)dy=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/843db143beb9c041b22028b4dc5c74699215b3cd)
从这条件可得到扩散方程:
![{\displaystyle {\frac {d}{dt}}G(x;t)={\frac {\nabla ^{2}}{2}}G.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2bd26516492413e63d798abe532401cba30c46e)
回到振荡轨道,即恢复分子里的原本的
。这可同样得到一系列高斯函数的卷积。但这些高斯积分是严重振荡积分而要小心计算。一个普遍方法是让时间片
带一个小虚部。这等同于以威克转动在实时间和虚时间间转换。在这些处理下,可得到传播核:
![{\displaystyle G(x-y;T)\propto e^{\frac {i(x-y)^{2}}{2T}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07b8e0a74311d63ef0c634995208211c65533f1c)
运用和之前一样的正规条件,重新得到自由粒子的薛定谔方程:
![{\displaystyle {\frac {d}{dt}}G(x;t)={\frac {i\nabla ^{2}}{2}}G.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0b8e2634a90abae110cacc6ad43fe8f0ad4fc21)
这意味着任何
的线性组合也符合薛定谔方程,包括以下定义的波函数:
![{\displaystyle \varphi _{t}(x)=\int \varphi _{0}(y)G(x-y;t)dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31c63c911a6b0856d57cb5596a3f61b8310e6cae)
和
一样服从薛定谔方程:
![{\displaystyle i{\frac {d}{dt}}\varphi _{t}=-{\frac {\nabla ^{2}}{2}}\varphi _{t}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e074a9ad9d88a1dc067d03a7331abe55c1f237a)
量子场论[编辑]
配分函数成为泛函积分:
费米子路径积分[编辑]
费米积分、格拉斯曼数
参考资料[编辑]