跳轉到

10.1 量子力學中的自伴算子#

本章導言#

1925–1926 年，Heisenberg 的矩陣力學與 Schrödinger 的波動力學雙雙問世，但兩者的數學基礎曖昧：Hilbert 學派（Courant、Nordheim、von Neumann）與 Dirac 各自拼湊。von Neumann 1932 年《量子力學的數學基礎》 用 Hilbert 空間+自伴算子一統天下：可觀測量=自伴算子、狀態=單位向量（或密度矩陣）、測量機率=譜測度。本節展示量子力學的公理如何在算子理論中落地，並聚焦「自伴性=物理」的深層理由（7.3 節的回報）。

量子力學公理的算子形式#

公理（von Neumann 1932）： 1. 態空間：系統=可分 Hilbert 空間 \(H\) ；純態=單位向量（射線）； 2. 可觀測量：物理量=自伴算子 \(A = A^\dagger\) ； 3. 測量：測 \(A\) 得值在 \(\Omega\) 的機率 \(P(A \in \Omega) = \|E_\Omega\psi\|^2\) （Born 規則=譜測度，6.3）； 4. 演化： \(i\hbar\partial_t\psi = H\psi\) ， \(H\) 自伴⇒ \(\psi(t) = e^{-iHt/\hbar}\psi_0\) （酉群，Stone 定理——機率守恆）； 5. 複合： \(\otimes\) ；全同粒子：對稱/反對稱子空間。

為什麼必須自伴（不只是對稱，7.3 節的主題）： - 譜定理（實譜+譜測度）⇒測量值的機率論有意義； - Stone 定理⇒時間演化酉； - 理論閉包： \(A\) 自伴⇒ \(f(A)\) 對一切 Borel \(f\) 有定義（Borel 演算）⇒任意「可觀測量的函數」可觀測。

對稱但非自伴的算子（如 \(\frac{d}{dx}|_{C_c^\infty}\) ）沒有譜測度⇒沒有機率詮釋⇒不是物理量。「自伴性是物理可觀測性的數學定義」——這是 von Neumann 對物理的最大貢獻之一。

經典系統的解剖#

氫原子： \(H = -\frac{\hbar^2}{2m}\Delta - \frac{e^2}{r}\) （自伴，域經 Friedrichs 擴張）。 - 點譜（束縛態）： \(E_n = -\frac{me^4}{2\hbar^2n^2}\) （Balmer 系列的理論重現——Schrödinger 1926 的勝利）； - 連續譜（電離）： \([0, \infty)\) ； - 簡併：第 \(n\) 能級重數 \(n^2\) （角動量 \(SO(3)\) 對稱→其實 \(SO(4)\) 隱藏對稱，Pauli 1926）。

諧振子： \(H = -\frac{\hbar^2}{2m}\partial_x^2 + \frac{m\omega^2x^2}{2}\) ；創生/湮滅算子 \(a, a^\dagger\) （ \([a, a^\dagger] = 1\) ）給出 \(H = \hbar\omega(a^\dagger a + \frac12)\) ，能級等距 \(\hbar\omega(n + \frac12)\) ——代數方法（階梯算子）=對稱性代數，預告了李代數表示論在物理的地位。

不確定性原理： \([\hat x, \hat p] = i\hbar\) （Weyl–CCR）。定理（Wintner–Wielandt 1947）：有界算子不可能滿足 CCR——量子力學必然需要無界算子（第 7 章的必要性在此獲得物理證明）。

例題#

例題 10.1.1：驗證諧振子哈密頓量 \(H = a^\dagger a + \frac12\) （單位 \(\hbar\omega\) ）自伴且譜 \(\{n + \frac12\}_{n \ge 0}\) ，並由 \(\|a\psi_n\|^2 = n\) 導出能級。

解： \(a = \frac{1}{\sqrt2}(\partial_x + x)\) （適當單位）、 \(a^\dagger = \frac{1}{\sqrt2}(-\partial_x + x)\) ， \([a, a^\dagger] = I\) （直接驗證）。 \(H = \frac12(a^\dagger a + aa^\dagger) = a^\dagger a + \frac12\) 。基態： \(a\psi_0 = 0\) （微分方程 \(\psi_0' = -x\psi_0\) ）⇒ \(\psi_0 = \pi^{-1/4}e^{-x^2/2}\) ， \(E_0 = \frac12\) 。激發： \(\psi_n = \frac{(a^\dagger)^n}{\sqrt{n!}}\psi_0\) ， \(\|a^\dagger\psi_n\|^2 = \langle\psi_n, aa^\dagger\psi_n\rangle = n + 1\) （遞推）， \(E_n = n + \frac12\) 。完備性：Hermite 多項式系完備（6.2 節的精神；嚴格證明可用 \(H\) 的緊逆或 Stone–Weierstrass 的代數論證）。自伴性： \(H \ge \frac12\) 半有界⇒Friedrichs 擴張唯一（7.3 場景一），且顯式域 \(\{f : x^2f, f'' \in L^2\}\) 。∎

例題 10.1.2：證明「位置-動量不確定性」 \(\Delta x\,\Delta p \ge \frac{\hbar}{2}\) 是 Cauchy–Schwarz 的直接推論。

解：對單位態 \(\psi\) ， \(\Delta x = \|(\hat x - \langle x\rangle)\psi\|\) 、 \(\Delta p = \|(\hat p - \langle p\rangle)\psi\|\) 。Cauchy–Schwarz：

\[ \Delta x^2\Delta p^2 \ge |\langle(\hat x - \bar x)\psi, (\hat p - \bar p)\psi\rangle|^2 \ge |\operatorname{Im}\langle(\hat x-\bar x)\psi, (\hat p - \bar p)\psi\rangle|^2 = \frac14|\langle\psi, [\hat x - \bar x, \hat p - \bar p]\psi\rangle|^2 = \frac{\hbar^2}{4}. \]

（用 \(\operatorname{Im}z \le |z|\) 與 CCR。）物理：非交換可觀測量無共同特徵態⇒測量互斥——對易子=物理互斥性的數學表達；非交換性是量子與經典的分水嶺（8.3 節非交換測度論的物理根據）。∎

測量、投影與「坍縮」#

測量=投影值測度的作用：測前 \(\psi\) ，測得 \(A \in \Omega\) 後態變為 \(\frac{E_\Omega\psi}{\|E_\Omega\psi\|}\) （Lüders 規則）。投影的代數（3.3 節）承載「命題」： \(P\) （投影）對應「是/否問題」， \(\langle\psi, P\psi\rangle\) =肯定機率。兩個投影一般不交換⇒量子命題不滿足分配律（Birkhoff–von Neumann 1936，3.3 場景三）——測量的不可交換性=干涉現象：先測 \(P\) 再測 \(Q\) 的機率 \(\operatorname{tr}(QPQ\rho)\) ≠ 先 \(Q\) 後 \(P\) 。

歷史啟示#

  • 數學基礎的三次加固：(1) von Neumann 1929–1932：Hilbert 空間公理、自伴性、譜定理；(2) Stone–Mackey（1949）：系統理論（Weyl 關係的表示分類）——「量子化=酉群的表示」；(3) 代數化（Segal 1947、Haag 1950s）： \(C^*\) 代數優先於 Hilbert 空間（表象無關性，8.2 場景）。
  • 「無界算子不可迴避」的雙重證明：Wintner–Wielandt（有界算子無 CCR）與 Hellinger–Toeplitz（對稱必無界若處處定義）——物理與數學在「必須發展無界理論」上會師。
  • 現代前沿：量子資訊（糾纏熵=von Neumann 熵，8.3）、開放系統（Lindblad 半群，9.2 場景三）、量子計算（酉群上的控制）、數學物理的自伴性判據（Nelson 定理、ESS 準則 1975：勢的 \(V_- \le a + br^2\) 條件）。

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

  • 3.2、3.3 節：自伴算子與投影是可觀測量與命題的數學定義。
  • 6.3 節：譜測度=Born 規則的數學本體。
  • 7.1–7.3 節： \(H = -\Delta + V\) 的自伴性（Friedrichs 擴張、Kato 準則）是「物理模型合法」的證明。
  • 9.2、9.3 節：時間演化的半群/酉群；Feynman–Kac 把虛時間量子力學變成擴散。
  • 第 8 章： \(C^*\) / \(W^*\) 代數=量子力學的表象無關形式；狀態空間=對偶理論（2.3）的物理。
  • 數學的其他分支：表示論（對稱群→量子數）、譜幾何（能級統計→隨機矩陣，Wigner–Dyson 1950s）、自由機率（大 \(N\) 極限）。

練習#

  1. 驗證 \([\hat x, \hat p] = i\hbar I\) （在 \(C_c^\infty\) 上），並說明為什麼此式不可能在任何有界算子上成立（Wintner 1927： \([A, B]\) 的跡論證）。
  2. 求自由粒子 \(H = \frac{\hat p^2}{2m}\) 的譜（用 Fourier 對角化），並解釋「散射態」與連續譜的關係。
  3. 對氫原子：說明為什麼 \(V = -1/r\) 的奇異性（原點）需要自伴性的仔細分析（Kato 1951： \(\frac{1}{r}\) 相對有界於 \(-\Delta\) 的不等式）。
  4. 兩能級系統： \(H = \frac{\epsilon}{2}\sigma_z + \frac{g}{2}\sigma_x\) 。求能級與演化 \(e^{-iHt}\) ，並計算 Rabi 振盪頻率。
  5. 思考題：為什麼「對稱但不自伴」的哈密頓量在物理上可以暫時有用？（提示：形式微擾論只用到形式；但譜的物理詮釋最終需要自伴性——7.3 節場景三的 PT 對稱討論。）

進階研讀：三個深化場景#

場景一：自伴性的判據工程。Nelson 定理（1959：解析向量⇒本質自伴）、Faris–Lavine、Glimm–Jaffe 的「算子不等式」方法、Reed–Simon《數學物理方法 II》（1975）的系統化——構造量子場論哈密頓量的自伴性是 1950–1980 年代數學物理的主戰場（Gårding–Wightman 1964 公理化 QFT）。

場景二：譜統計與隨機矩陣。Wigner（1955）：複雜原子能級間距服從隨機矩陣統計（GUE/GOE）；Berry–Tabor（1977）可積系統= Poisson、Bohigas–Giannoni–Schmit（1984）混沌系統=隨機矩陣——「能級統計=動力學的譜指紋」；RMT 的極限理論最終通向自由機率（8.3 場景三）與 Riemann zeta 零點的 Montgomery 對（1973）。

場景三：代數量子力學與量子資訊。可觀測量代數 \(\mathcal{A}\) 的狀態空間（正泛函）、糾纏=張量積中的非可分狀態（Schrödinger 1935 命名、Bell 1964 不等式）、量子資訊的幾何（Bures 度量、信息幾何）——von Neumann 熵 \(S(\rho) = -\operatorname{tr}\rho\log\rho\) （1932 定義、1990s 成為量子資訊的核心量）。8.3 節的非交換測度論在量子資訊中獲得工程意義。

名詞速查表#

  • 可觀測量：自伴算子；測量機率=譜測度（Born 規則）。
  • Hamilton 算子：自伴、生成酉群 \(e^{-iHt/\hbar}\) （Stone）。
  • CCR/Weyl 關係： \([\hat x, \hat p] = i\hbar\) ；必須無界（Wintner–Wielandt）。
  • 創生湮滅算子： \([a, a^\dagger] = 1\) ；諧振子的代數解。
  • Lüders 規則：測後態 \(= E_\Omega\psi/\|E_\Omega\psi\|\) 。
  • von Neumann 熵： \(-\operatorname{tr}\rho\log\rho\) 。
  • ESS 準則： \(V_-(x) \le a + br^2\) 型本質自伴性判據。

年表速查#

  • 1925：Heisenberg 矩陣力學。
  • 1926：Schrödinger 波動力學；Pauli 氫原子的 \(SO(4)\) 解。
  • 1927：von Neumann 首篇數學基礎論文；Heisenberg 不確定性。
  • 1929：von Neumann 自伴算子理論。
  • 1932：von Neumann《量子力學的數學基礎》；Stone 酉群定理。
  • 1935：EPR 佯謬；Schrödinger 貓與「糾纏」。
  • 1947：Wintner–Wielandt 定理；Segal 代數形式。
  • 1949：Mackey 系統理論。
  • 1964：Bell 不等式。
  • 1975：Reed–Simon II；ESS 準則。
  • 1984：Bohigas–Giannoni–Schmit（混沌能級統計）。

深化問答三則#

問：為什麼「測量」需要譜測度而不只是特徵值？ 答：因為連續譜（位置、動量、自由能量）沒有特徵向量（6.3 節）。若測量理論只建立在特徵值上，一半物理（連續量測量）無法定義。投影值測度統一離散與連續： \(\|E_\Omega\psi\|^2\) 對 \(\Omega = \{n\}\) （能級）與 \(\Omega = [a, b]\) （位置區間）同樣有意義。PVM 是「測量」這個物理概念的完備數學化——von Neumann 1932 年最深刻的洞察。

問：量子力學的「線性」有什麼算子論的根據？ 答：疊加原理=態空間是線性空間、演化是線性算子。算子論的補充：演化必須酉（保內積=機率）⇒線性（保內積的等距映射是線性的——Mazur–Ulam 型定理的 Hilbert 版：Wigner 定理 1931 給出「對稱性=酉或反酉」，反酉被時間方向排除）。「線性演化」不是假設而是「機率守恆+對稱性」的定理——算子理論把物理直覺升級為證明。

問：數學物理中「構造自伴哈密頓量」為什麼這麼難？ 答：因為物理勢的病態性（奇異點、無界性、相對論修正）使 \(-\Delta + V\) 的定義域微妙：Kato 準則（ \(V \in L^2_{loc}\) 、 \(V_- \in K_\pm\) 型）、形式和、Shale–Stinespring 的相對有界性……每種病態需要新的判據。更深的：QFT 的哈密頓量涉及無窮自由度（場=無窮維振子系統），連態空間的構造（Fock 表示的唯一性崩潰——Haag 定理 1955）都困難。自伴性=「模型是物理的」這句話的數學嚴格版，而物理模型的病態性是常態。

（本節完）