量子力學和量子場論的路徑積分表述(英語: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)
量子場論[編輯]
配分函數成為泛函積分:
費米子路徑積分[編輯]
費米積分、格拉斯曼數
參考資料[編輯]