跳轉到

10.1 路徑積分FEYNMAN1948#

本章導言#

量子力學的第三種表述在 1948 年由 Richard Feynman 完成:不對稱用矩陣、不用波函數,而用對所有可能路徑求和:

\[ K(x_b, t_b; x_a, t_a) = \int \mathcal D[x(t)]\ e^{iS[x]/\hbar}. \]

粒子從 \(a\) 到 \(b\) ,經過每一條想像得到的路徑,每條貢獻相位 \(e^{iS/\hbar}\) ( \(S\) 是該路徑的古典作用量),總和給出傳播振幅。古典路徑( \(\delta S = 0\) )附近相位相長,其餘相消——古典力學是路徑積分的穩相極限。這個表述從 Dirac 1933 年的一個註腳(「作用量在量子力學中的角色」)發芽,成為量子場論、凝聚態、規範理論與今日數學物理的通用語言。本節講它的構造、威力與數學深度。

從 DIRAC 註腳到 FEYNMAN 積分#

傳播子 \(K(x_b,t_b;x_a,t_a) = \langle x_b|e^{-i\hat H(t_b-t_a)/\hbar}|x_a\rangle\) 完全決定量子動力學(2.2 節的酉群,4.2 節 Stone 定理)。把時間切片 \(N\) 段、逐段插入完備性(5.3 節),

\[ K = \lim_{N\to\infty}\int\prod_{k=1}^{N-1}dx_k\ \exp\left[\frac{i}{\hbar}\sum_k\left(\frac{m(x_{k+1}-x_k)^2}{2\epsilon} - \epsilon V(x_k)\right)\right], \]

指數中正是離散作用量。Feynman 把極限讀作「對全部路徑 \(x(t)\) 的積分」: \(\mathcal D[x]\) 是虛構的測度(嚴格性成問題,見後)。路徑積分 = Schrödinger 方程的另一面: \(K\) 滿足 \(i\hbar\partial_t K = \hat HK\) 。三種表述(矩陣、波、路徑)至此齊備,各自照亮不同的物理。

穩相法:古典力學是量子力學的干涉極限#

\(\hbar \to 0\) 時相位 \(S/\hbar\) 劇烈振盪,積分被穩相點主導:

\[ \delta S = 0 \quad\Longleftrightarrow\quad \text{Euler–Lagrange 方程(古典運動定律)}. \]

古典路徑附近的二階展開給出半經典修正(WKB,6.3 節的無窮維推廣):

\[ K \approx \sum_{\text{古典路徑}}\sqrt{\left|\frac{1}{2\pi i\hbar}\frac{\partial^2S}{\partial x_a\partial x_b}\right|}\,e^{iS_{\rm cl}/\hbar - i\frac{\pi}{2}\mu}. \]

Maslov 指標 \(\mu\) (焦點計數)修補 WKB 的轉折點誤差——Bohr–Sommerfeld 量子化(1.3 節進階)的正確形式 \(\oint p\,dq = 2\pi\hbar(n + \frac{\mu}{4})\) 從此有了系統推導。路徑積分把「古典為何出現」變成計算:不是附加的對應原理,而是 \(\hbar\) 極限下的干涉數學。

穿隧的瞬子與虛時間#

實時間路徑積分中, \(E < V\) 的穿隧(6.3 節)來自虛時間(Wick 轉動 \(t \to -i\tau\) )的經典軌道——瞬子(instanton):

\[ K \sim e^{-S_E[\text{瞬子}]/\hbar}, \qquad S_E = \int\left(\frac{m\dot x^2}{2} + V(x)\right)d\tau. \]

WKB 的 \(e^{-2G/\hbar}\) 從穩相法精確重現( \(S_E = 2G\) )。瞬子是現代場論的核心工具: \(\theta\) 真空、對稱性破缺、Y–M 方程的自對偶解(Donaldson 不變量的物理源頭)——穿隧從一維教學例子生長為數學物理的深水區。

例題#

例題 10.1.1:自由粒子路徑積分的精確計算。

解:自由粒子( \(V = 0\) ),作用量 \(S[x] = \int\frac{m\dot x^2}{2}dt\) 是二次型。唯一穩相路徑(直線) \(S_{\rm cl} = \frac{m(x_b - x_a)^2}{2(t_b - t_a)}\) ;漲落積分(Gaussian,二次泛函的行列式)是 \(t\) 的函數。歸一化(用 Schrödinger 方程或對比短時間極限):

\[ K = \sqrt{\frac{m}{2\pi i\hbar(t_b - t_a)}}\exp\left[\frac{im(x_b - x_a)^2}{2\hbar(t_b - t_a)}\right]. \]

驗證: \(K\) 滿足自由 Schrödinger 方程與 \(K \to \delta(x_b - x_a)\) ✓。二次作用量的路徑積分是精確可算的(Gaussian 泛函積分)——這是振子(6.2 節)、場論的自由模式、以及微擾論(8.2 節:非二次項作展開,圖論進入)的共同基礎。

例題 10.1.2:用路徑積分重推諧振子能階。

解:虛時間極限( \(\tau \to \infty\) )下 \(K \sim e^{-E_0\tau/\hbar}\psi_0(x_b)\psi_0(x_a)\) ——傳播子的漸近指數讀出基態能量。振子的虛時間作用量二次型 + Gaussian 積分:

\[ E_n = \left(n + \frac12\right)\hbar\omega. \]

更妙:WKB 化的 Bohr–Sommerfeld 條件 \(\oint p\,dq = 2\pi\hbar(n + \frac12)\) ——Maslov 指標 \(\mu = 2\) 給出正確的零點能(1.3 節舊量子論的半份能量問題在路徑積分中自動修復)。路徑積分把三段歷史(Planck、Bohr–Sommerfeld、Schrödinger)縫合成一條線。

歷史啟示#

  • 一個註腳長成一片森林:Dirac 1933 年的半頁札記被 Feynman 15 年後發展為完整表述。數學物理的種子常在文獻角落等待正確的時代(Feynman 在 MIT 讀到它時還是本科生)。
  • 路徑積分的實用主義: \(\mathcal D[x]\) 不是嚴格測度(Wiener 測度只在虛時間存在),但作為生成規則極端有效:Feynman 圖 = 路徑積分展開的圖示,QED 的高階計算、重整化、有效場論全由它驅動。發明先於嚴格化(Dirac 符號、 \(\delta\) 函數的先例,4.1 節),數學隨後補上(維納測度、Frohlich、Glimm–Jaffe 的構造場論)。
  • 表述即視角:矩陣力學照亮代數與譜,波動力學照亮本徵值與化學,路徑積分照亮漸近、拓撲與場論——三種表述不是冗餘,是三個研究計畫的入口(3.3 節等價性的深意)。

與其他章節及領域的關聯#

  • 1.1、6.2 節:求和 vs. 積分的歷史呼應;振子的高斯積分。
  • 6.3 節:穿隧的瞬子重述。
  • 8.2 節:微擾論的圖示化(Feynman 圖)。
  • 9.3 節:路徑積分中非局域性的另一視角(閉路徑與置換,8.3 節)。
  • 10.2 節:量子計算的另一位表述(Feynman 1982 提議量子模擬即路徑積分的物理實現)。
  • 數學:Wiener 測度(布朗運動)、Gaussian 泛函積分、Feynman–Kac 公式(路徑積分與偏微分方程的嚴格橋樑)、Frohlich–Glimm–Jaffe 構造場論、Atiyah–Singer 指標定理(瞬子與 Dirac 算子指標——數學物理的皇冠交會)。
  • 機率統計:虛時間路徑積分 = 擴散過程的泛函積分(Feynman–Kac),量子與布朗運動的深層同構。

練習#

  1. 由切片法推導自由粒子傳播子(例題 10.1.1)。
  2. 對諧振子寫出作用量的二次泛函,計算穩相路徑與 \(S_{\rm cl}\) 。
  3. 用虛時間路徑積分估算方勢壘的透射係數,與 6.3 節 WKB 對照。
  4. 思考題:實時間路徑積分的 \(\mathcal D[x]\) 為何不是(正測度的)嚴格測度?虛時間(Wick 轉動)如何使其成為 Wiener 測度,而這個「實 vs. 虛」的不對稱性對解析延拓意味著什麼?

進階研讀#

路徑積分的數學化與當代前沿:嚴格化的路線——Wiener 測度(虛時間)、Feynman–Kac 定理(連接偏微分方程與隨機過程)、Osterwalder–Schrader 公理(場論的歐氏公理)、以及非交換幾何與重整化群(Wilson 1975,有效場論的哲學:物理在高能標度下「記憶喪失」)。拓撲面:路徑積分對規範場的推廣給出 Chern–Simons 理論(Witten 1989:Jones 多項式的物理詮釋,紐結不變量 = 量子場論的關聯函數)——紐結理論、拓撲量子計算(任意子編織,10.2 節)與場論在路徑積分的語言中合流。

名詞速查表#

  • 路徑積分: \(K = \int\mathcal D[x]e^{iS/\hbar}\) 。
  • 穩相法: \(\hbar \to 0\) 時古典路徑主導。
  • Maslov 指標:焦點計數,修正量子化條件。
  • 瞬子:虛時間經典軌道,穿隧的場論語言。
  • Feynman 圖:微擾展開的圖示;重整化的計算工具。
  • Feynman–Kac 公式:路徑積分 ↔ 擴散方程的嚴格橋。

年表速查#

  • 1834:Hamilton 作用量(1.3 節源頭)。
  • 1933:Dirac 註腳(作用量的相位角色)。
  • 1948:Feynman 路徑積分。
  • 1949:Feynman 圖與 QED。
  • 1948:Casimir(6.2 節)同年的瞬子前身。
  • 1970s:Wilson 重整化群;Glimm–Jaffe 構造場論。
  • 1989:Witten 的 Chern–Simons 與紐結。

深化問答三則#

問:粒子「真的」走所有路徑嗎? 答:路徑積分是計算規則,不承諾本體圖像(多世界詮釋中可讀作「不同路徑對應不同分支」;Feynman 本人拒絕賦予其實在性:「我認為路徑積分描述的是振幅的分配,不是實際的路徑」)。但它的預言力與干涉結構(2.3 節雙縫的推廣:所有路徑的振幅干涉)無可替代。與 9.1 節一致:數學表述的物理身分開放,其操作內容封閉。

問:路徑積分「解決」了測量問題嗎? 答:沒有,但提供了新視角。測量 = 系統與儀器的路徑積分耦合,退相干 = 路徑信息洩漏給環境導致干涉相消(9.1 節的路徑積分敘事)。Feynman–Vernon 影響泛函(1963)把開放系統的退相干定量為環境路徑積分——測量問題在路徑積分中有更精確的表達,但單一結果問題依舊。

問:路徑積分對數學的「饋贈」是什麼? 答:三大件。一、Feynman–Kac:把概率論(布朗運動)與 PDE(Schrödinger、熱方程)焊接。二、瞬子與指標定理:Atiyah–Singer 的物理證明思路(超對稱量子力學的 Witten 證明)。三、拓撲量子場論:Jones 多項式、Donaldson 不變量的物理直覺。物理的積分直覺反哺了拓撲與幾何——與本書主線(物理逼出數學、數學回報物理)的雙向大規模交換。

(本節完)