如何理解路径积分(path integral)? - 知乎

文章推薦指數: 80 %
投票人數:10人

看到@纳米酱 写的关于路径积分和随机微积分的联系的回答,所以想把这部分仔细理一下,这个回答也就可以回答比如为什么物理专业可以从事金融、机器学习、等等跟随机微 ... 物理学理论物理量子物理量子场论物理科普如何理解路径积分(pathintegral)?路径积分的基本思想我的理解是某一时刻的波函数可以由不同历史的波函数加权求和得出,不知道是否准确?是否代表时间相对其他空间维度具有特殊性?路径积分能…显示全部​关注者1,087被浏览208,585关注问题​写回答​邀请回答​好问题38​1条评论​分享​24个回答默认排序榣山遗韵​物理学话题下的优秀答主394人赞同了该回答看到@纳米酱写的关于路径积分和随机微积分的联系的回答,所以想把这部分仔细理一下,这个回答也就可以回答比如为什么物理专业可以从事金融、机器学习、等等跟随机微积分关系紧密的工作的问题了。

回答比较长,思路是首先理清量子力学中定义路径积分的方式,也就是对时间演化的酉算符拆分,并且插入RI,得到传播子的路径积分表示。

再联系到随机微积分中的Feynman-Kac公式,通过比较,得到维纳测度的Feynman表示定理,最后得到扩散过程的作用量在薛定谔绘景下,态矢的演化由一个酉算符给出,|\psi_t\rangle=U(t)|\psi_0\rangle,当哈密顿量不显含时间时,U(t)=e^{-itH/\hbar}=e^{-it(T+V)/\hbar}。

如果取位置表象,插入ResolutionoftheIdentity(RI),波函数为\psi(x,t)=\langlex|\psi_t\rangle,可以得到\intdx|x\rangle\psi(x,t)=\intdxdx_0|x\rangle\langlex|U(t)|x_0\rangle\psi(x_0,0),因此,问题就转化为求解传播子K(x,t;x_0,0)=\langlex|U(t)|x_0\rangle我们把上面的式子带入到态矢的薛定谔方程中也可以得到传播子的薛定谔方程i\hbar\frac{\partial}{\partialt}K(x,t;x_0)=(-\frac{\hbar^2}{2m}\nabla^2+V(x))K(x,t;x_0),如果就这么结束,可以说是没有任何意义。

所以,即然要追求刺激,那就贯彻到底咯,(你好**啊,滑稽因为U(t)=e^{-i/\hbar\sum_{j=0}^{N-1;t_N=t}H(t_{j+1}-t_j)}=\Pi_je^{-iH\Deltat_j/\hbar},可以想到的一个骚操作就是把RI疯狂插入酉算符,因此,传播子可以表示为\begin{split}K(x,t;x_0)&=\intdx_1dx_2\cdotsdx_{N-1}\langlex|U(t_N-t_{N-1})|x_{N-1}\rangle\langlex_{N-1}|U(t_{N-1}-t_{N-2})|x_{N-2}\rangle\cdots\langlex_1|U(t_1)|x_0\rangle\\&=\intdx_1dx_2\cdotsdx_{N-1}K(x,\Deltat;x_{N-1})K(x_{N-1},\Deltat;x_{N-2})\cdotsK(x_1,\Deltat;x_0)\end{split}这样就把问题转化成了把一个小时间区间上的传播子求出来就可以了,看起来还是毫无意义,所以还要继续想一些骚操作化简。

不过到这里就已经可以看出路径积分的意义了,这里在固定起始点x_0和终止点x的情况下,将连接这两个位置的所有路径拿出来(对所有中间位置的积分)并且每隔\Deltat传播一次,由于积分的存在,所以对所有可能的路径都进行了计算。

那么,怎么求解小时间区间上的传播子呢?这个技巧非常常见,比如转动问题、Ising模型原子链计算配分函数之类的。

当我们把时间区间取得足够小,就可以用这个酉算符的生成元,也就是哈密顿量还看这个问题U(\Deltat)=e^{-iH\Deltat/\hbar}=1-i(T+V)\Deltat/\hbar+O(\Deltat^2)=e^{-iT\Deltat/\hbar}e^{-iV\Deltat/\hbar}+O(\Deltat^2),如果动能部分只跟动量有关,那我们完全可以用Fourier变换换到动量表象下研究,而势能部分只和位置有关,在位置表象下也就非常简单。

K(x_2,\Deltat;x_1)=\langlex_2|e^{-\frac{i}{\hbar}\frac{p^2}{2m}\Deltat}e^{-\frac{i}{h}V(x_1)\Deltat}|x_1\rangle+O(\Deltat^2)=e^{-\frac{i}{h}V(x_1)\Deltat}\langlex_2|e^{-\frac{i}{\hbar}\frac{p^2}{2m}\Deltat}|x_1\rangle+O(\Deltat^2)对于动量部分,我们换到动量表象,继续插入RI\langlex_2|e^{-\frac{i}{\hbar}\frac{p^2}{2m}\Deltat}|x_1\rangle=\intdpe^{-\frac{i}{\hbar}\frac{p^2}{2m}\Deltat}\langlex_2|p\rangle\langlep|x_1\rangle=\int\frac{dp}{(2\pi\hbar)^n}e^{\frac{i}{\hbar}(-\frac{p^2\Deltat}{2m}+p(x_2-x_1))}这里也就是为什么题主觉得路径积分和Fourier变换很像,因为对于动能部分用了Fourier变换换到动量表象。

上面的积分可以直接凑成高斯积分,得到\langlex_2|e^{-\frac{i}{\hbar}\frac{p^2}{2m}\Deltat}|x_1\rangle=(\frac{m}{2\pii\hbar\Deltat})^{n/2}e^{\frac{im(x_2-x_1)^2}{2\hbar\Deltat}}所以,传播子为K(x_2,\Deltat;x_1)=(\frac{m}{2\pii\hbar\Deltat})^{n/2}e^{\frac{i}{\hbar}(\frac{m(x_2-x_1)^2}{2\Deltat}-V(x_1)\Deltat)}+O(\Deltat^2)为了让余项消掉,我们在上面的传播子的中间点数量取得无穷多,这样\Deltat趋于0。

得到传播子的路径积分表示K(x,t;x_0)=\lim_{N\rightarrow+\infty}(\frac{m}{2\pii\hbar\Deltat})^{nN/2}\intdx_{N-1}dx_{N-2}\cdotsdx_1e^{\frac{i\Deltat}{\hbar}\sum_{j=0}^{N-1}(\frac{m(x_{j+1}-x_j)^2}{2(\Deltat)^2}-V(x_j))}由于exp上面的部分可以理解成拉格朗日量的积分,也就是作用量\lim_{\Deltat\rightarrow0}\sum_{j=0}^{t/\Deltat}(\frac{m}{2}(\frac{x_{j+1}-x_j}{\Deltat})^2-V(x_j))=\int_0^tds(\frac{m}{2}\dot{x}(s)^2-V(x(s)))=\int_0^tdsL(x,\dot{x},s)=S因此,可以将路径积分表示写成K(x,t;x_0)=C\intD[x]e^{\frac{i}{\hbar}\int_0^tdsL}其中,C是一个规范化常数,我的理解是,函数或者态矢构成的空间上同样可以定义度量,比如连续函数和取上界可以构成完备度量空间,于是引出各种其他的数学结构,所以这里的D[x]就是定义在路径空间上的Lebesgue测度。

当然,可能数学上不太严谨,我觉得可以这么理解。

所以,传播子实际上就是把各条路径的作用量按指数加权求和上面说完了量子力学里的路径积分,也谈一下这一思想在随机过程里的应用。

随机微积分里不管是做数学、统计、金融、物理、信息、机器学习,都很难绕过的一个重要的定理就是Feynman-Kac公式,这个定理给出了抛物型PDE的概率解,在期权定价中尤其重要,因为给出了倒向随机微分方程的解。

这个定理是由数学家Kac在Feynman路径积分(就是上面说的)的启发下,引入到随机过程中的。

例如,对于扩散过程,正向随机微分方程给出了一系列的样本轨道(例如股票的价格)dX_t=b_tdt+\sigma_tdB_t,X_0=x_0,对应的倒向随机微分方程给出了期权的价值,由一个抛物型PDE给出\frac{\partialu}{\partialt}+b^i\partial_iu+\frac{1}{2}\sigma^{ik}\sigma^{jk}\partial_i\partial_ju-Vu+f=0,~u(x,T)=g(x)Feynman-Kac公式给出u(x,t)=\mathbb{E}[\int_t^Te^{-\int_t^sV(X_u,u)du}f(X_s,s)ds+e^{-\int_t^TV(X_s,s)ds}g(X_T)|X_t=x]为了和上面说的路径积分联系起来,我们取f=0,~g(y)=\delta(y-x),这样,上面的公式成为u(x_0,0)=\mathbb{E}[e^{-\int_0^TV(X_s,s)ds}|X_0=x_0,X_T=x]那么,和路径积分表示相比,还差一个动能部分,这个体现在哪呢?似乎答案就在期望里。

是的,因为路径积分的积分是对Lebesgue测度求的,这里由于扩散过程的随机部分是布朗运动,所以是一个高斯过程,我们可以想象是不是高斯过程的概率应该具有动能的积分的形式,也就是自由粒子传播子。

我之前找到过一本分析概率论的书,书里把这个叫维纳测度的Feynman表示定理,写成W(dB)=\frac{1}{Z}e^{-\frac{1}{2}\int_0^{+\infty}\dot{B}_t^2dt}dB,其中,B_t是标准布朗运动。

因为布朗运动几乎处处连续,几乎处处不可微,所以引入导数势必要引入广义函数,给函数空间上的结构增加新的东西。

因为我数学学得实在是不多,所以也看不懂分析概率论,这个也就全当是个名词党来开口纤维丛,闭口上同调了(滑稽到这里,就可以看到,路径积分和随机过程的联系,随机积分是对随机过程样本轨道的积分,和路径积分联系起来也就不难理解了。

并且,我们还可以通过Feynman表示定理,把扩散过程的作用量写出来,由于\dot{X}_t=b_t+\sigma_t\dot{B}_t,作用量为S=\frac{1}{2}\int_0^t\dot{B}_sds=\int_0^t\frac{1}{2}(\dot{X}_s-b(X_s,s))^T(\sigma_s\sigma_s^T)^{-1}(\dot{X}_s-b(X_s,s))ds编辑于2018-12-2111:17​赞同394​​17条评论​分享​收藏​喜欢收起​知乎用户35人赞同了该回答没有一个人从Kolmogorov定义出发么?对于一个事件我们可以很简单地说各个概率是多少P(A);两个事件?连续事件概率P(A_1,A_2);(这里取事件是离散的,如果是连续的应该还有dA_1dA_2)更多也好办,可以推广;到无穷的极限是否有一个合适的定义?如果可以有一个坐标图画出,就是在横坐标为时间,纵坐标为事件上的一条轨迹(以函数f(t)表示),任取(当然是有预先分布的)的一条曲线(只要一个时间只有一个事件)落在此轨迹附近的概率是P[f(t)]Df,其中Df就是离散情况下df_1df_2...,对应空间一定体积。

归一性\intP[f(t)]Df=1函数/泛函平均值=\intF[f(t)]P[f(t)]Df这大概是我第一次在量子力学课以外还发现统计也可以这么玩。

发布于2015-01-2203:20​赞同35​​7条评论​分享​收藏​喜欢收起​



請為這篇文章評分?