3.2 BORNJORDAN與矩陣乘法#
本章導言#
Heisenberg 的 1925 年 7 月論文交到 Göttingen 教授 Max Born 手上。Born 看著那些雙指標量與奇怪的乘法,想起大學時代的線性代數課:「經過幾天的深思與計算,我記起 Abraham Ward 的矩陣理論課……這種乘法正是矩陣乘法。」Born 與年輕助手 Pascual Jordan 在 9 月完成〈論量子力學〉,把 Heisenberg 的直覺鍛造成完整的矩陣代數,並寫下二十世紀物理最著名的公式之一:
本節追溯矩陣如何認領量子力學,以及對易關係如何成為量子世界的基石。
從躍遷振幅到矩陣代數#
Born–Jordan 論文的三項建設:
- 命名與定位: \(X(n,m)\) 是矩陣元,量子量是(無窮維)矩陣。物理量的加、乘、微分都有矩陣對應。
- 微分規則: \(\frac{d}{dt}X(n,m) = i\omega(n,m)X(n,m)\) ,即對角化於能階表象的時間演化。
- 量子條件的發現:由運動方程 \(\dot X = \frac{i}{\hbar}[H, X]\) 與 Hamilton 形式,逼出坐標與動量的對易子。
最關鍵的是第三項。Heisenberg 用 \(x, p\) 計算振子能量時需要一個收尾條件(3.1 節的 \(X(n,n-1)X(n-1,n) - \dots = \hbar/m\omega\) ),他只是猜的。Born 與 Jordan 發現:若設
則一切自動吻合:能量守恆可證、運動方程 \(\dot{\hat x} = \hat p/m\) 、 \(\dot{\hat p} = -m\omega^2\hat x\) 成立(Hamilton 方程的矩陣版)、振子解與 Heisenberg 的猜測一致。一條公理取代了一堆湊合——這是理論成熟的標誌。
三人論文與「矩陣力學」的完成#
1925 年 11 月,Born、Heisenberg、Jordan 合著〈論量子力學 II〉(暱稱 Dreimännerarbeit,三人論文),補上:
- 一般系統的 Hamiltonian 矩陣化: \(\hat H = \frac{\hat p^2}{2m} + V(\hat x)\) ;
- 運動方程 \(\dot{\hat F} = \frac{i}{\hbar}[\hat H, \hat F]\) (Heisenberg 繪景);
- 微擾理論的矩陣版本(8.2 節的前身);
- 角動量與多重態的初步處理。
矩陣力學在半年內從一篇個人論文成長為可計算的完整力學。速度之快的原因:數學現成——矩陣代數、對角化、微擾展開全是十九世紀末二十世紀初的成熟數學(Cayley 1858 起源矩陣代數;Hilbert 學派已發展算子理論)。物理危機撞上數學存貨,火花瞬間成燎原。
有趣的花絮:Hilbert 曾建議 Born「去找那個矩陣的特徵值,也許能階就在那裡」——被當時眾人當作數學家的外行話。六個月後 Schrödinger 證明波動方程的本徵值正是能階(2.2 節)。Hilbert 的直覺指向了正確的數學結構:譜理論。
對易關係的深層意義#
\([\hat x, \hat p] = i\hbar\) 不是技術細節,它是量子與古典的分界線:
| 性質 | 古典 | 量子 |
|---|---|---|
| 變數代數 | 可交換的實函數 | 非對易的自伴算子 |
| 狀態 | 相空間點 \((x,p)\) | Hilbert 空間向量 \(\|\psi\rangle\) |
| 同時測量 | 任意精確 | 受 \(\Delta x\,\Delta p \ge \hbar/2\) 限制 |
數學上, \([\hat x,\hat p] = i\hbar\) 定義了Weyl 代數(Weyl 1927 正規化為指數形式 \(e^{ia\hat x}e^{ib\hat p} = e^{-iab\hbar}e^{ib\hat p}e^{ia\hat x}\) )。Stone–von Neumann 定理(1930,4.2 節)證明:滿足此關係的不可約表示在本質上唯一(Schrödinger 表示)——矩陣力學與波動力學的等價(3.3 節)正是這個唯一性定理的物理內容。一條對易關係,加上表示論,就鎖死了整個非相對論量子力學的數學形狀。
能量守恆的證明(核心推導)#
矩陣力學最漂亮的勝利:能量守恆從對易關係直接湧出。設 \(\hat H\) 是 Hamilton 矩陣, \(\hat H\) 與自身對易顯然,故
更深刻地,要求物理量對角化於能量表象:對穩態系統, \(\hat H\) 是對角矩陣, \(H_{nm} = E_n\delta_{nm}\) 。則對任意 \(\hat F\) :
與 Born 的微分規則(3.1 節)一致;對角元 \(\dot F_{nn} = 0\) ——穩態中的量不再輻射,除非有非對角元。Bohr 理論的「為什麼定態不輻射」之謎(1.3 節),在矩陣代數中變成「對角元自動不動」的平凡事實。Bohr 的第一假設(定態)從公理降格為定理。
例題#
例題 3.2.1:對諧振子驗證 \([\hat x, \hat p] = i\hbar\) 與運動方程自洽。
解:設 \(\hat H = \frac{\hat p^2}{2m} + \frac12 m\omega^2\hat x^2\) 。由 Heisenberg 方程 \(\dot{\hat A} = \frac{i}{\hbar}[\hat H, \hat A]\) :
與古典 Hamilton 方程形式完全相同——算子的運動方程與古典方程同型(對應原理的精確表達),差別只在變數不對易。這個「同型性」使古典直覺(質量、彈簧)得以翻譯進量子語言,是矩陣力學可操作性的關鍵。
例題 3.2.2:證明 \([\hat x^n, \hat p] = ni\hbar\hat x^{n-1}\) 。
解:對 \(n\) 歸納。 \(n=1\) 即基本關係。設 \(n\) 成立: \([\hat x^{n+1},\hat p] = \hat x[\hat x^n,\hat p] + [\hat x,\hat p]\hat x^n = ni\hbar\hat x^n + i\hbar\hat x^n = (n+1)i\hbar\hat x^n\) 。✓ 應用:位能 \(V(\hat x)\) 對 \(\hat p\) 的對易子 \([V(\hat x), \hat p] = i\hbar V'(\hat x)\) ,這是證明 \(\dot{\hat p} = -V'(\hat x)\) (一般位勢的運動方程)的引擎,把「算子函數」的微分變成純代數。
歷史啟示#
- 認出結構比發明結構更難:Heisenberg 發明了乘法規則,Born 認出它。數學教育(Born 的矩陣課程記憶)在此發揮了決定性作用——基礎數學的訓練是物理突破的隱形基礎設施。
- 年輕人與結構:Jordan 當時 22 歲,對公理化方法敏感;三篇論文的成功展示了「物理直覺(Heisenberg)× 代數嚴謹(Born, Jordan)」的合作模式,成為此後理論物理的標準工作流。
- 一條公理的經濟性: \([x,p] = i\hbar\) 一行字取代了舊量子論的各案各法;好理論的標誌是公理的減少而非預言的增加(雖然兩者常同時發生)。
與其他章節及領域的關聯#
- 3.1 節:對易關係是可觀測量原則的代數結晶。
- 3.3 節:Schrödinger 與 Dirac 各自證明矩陣與波動力學等價。
- 4.2 節:Weyl 形式與 Stone–von Neumann 定理把對易關係公理化。
- 5.2 節:對易子 → 不確定性原理(Robertson 不等式)。
- 6.2 節:階梯算子 \(a, a^\dagger\) 把 \([x,p]\) 的代數威力發揮到極致。
- 線性代數:矩陣乘法不交換、對角化、譜分解——量子力學使線性代數成為物理系的核心課程。
- 群論:對易子是 Lie 代數的括積; \([x,p] = i\hbar\) 的 Weyl 代數是 Heisenberg 群的 Lie 代數,調和分析的基石。
練習#
- 用對易關係證明 \([\hat p^n, \hat x] = -ni\hbar\hat p^{n-1}\) 。
- 對例題 3.2.1 的振子,驗證 \(\frac{d}{dt}\hat H = 0\) 。
- 證明 \([\hat x, f(\hat p)] = i\hbar f'(\hat p)\) (提示:對偶於例題 3.2.2,或直接用指數級數)。
- 思考題:若 \([\hat x, \hat p] = i\hbar'\) 且 \(\hbar' \ne \hbar\) ,譜會如何?說明 \(\hbar\) 的量值如何由實驗(Millikan、Compton)獨立定出,為什麼對易關係中不能有自由參數。
進階研讀#
對易關係的推廣家族: \([x,p] = i\hbar\) 的後裔遍布現代物理——角動量代數 \([J_i, J_j] = i\hbar\varepsilon_{ijk}J_k\) (7.1 節,SU(2));場論的正則對易關係 \([\hat\phi(x), \hat\pi(y)] = i\hbar\delta(x-y)\) ;規範理論的 Gauss 括積;量子群(非對易幾何,Connes)把整個幾何非對易化。對易子已成為「量子性」的通用標記:任何理論若要量子化,第一個問題是「經典括積變成什麼對易子」——Dirac 的猜想(括積 \(\mapsto \frac{1}{i\hbar}[\ ,\ ]\) )正是 Groenewold–van Hove 種子,通往形變量子化(Flato 等,1978)這條純數學與物理深度互動的路。
名詞速查表#
- 矩陣力學:以無窮維矩陣為基本對象的量子力學(Heisenberg–Born–Jordan 1925)。
- 對易關係: \([\hat x, \hat p] = i\hbar\) ,坐標與動量不對易的公理。
- 對易子: \([\hat A, \hat B] = \hat A\hat B - \hat B\hat A\) 。
- Heisenberg 方程: \(\dot{\hat F} = \frac{i}{\hbar}[\hat H, \hat F]\) 。
- Weyl 代數:對易關係的指數化正規形式,表示論的基礎對象。
年表速查#
- 1858:Cayley 建立矩陣代數。
- 1925.07:Heisenberg 論文。
- 1925.09:Born–Jordan〈論量子力學〉, \([x,p] = i\hbar\) 。
- 1925.11:三人論文,矩陣力學系統化。
- 1926.01:Pauli 以矩陣力學解氫原子。
- 1927:Weyl 對易關係正規化。
- 1930–32:Stone–von Neumann 定理。
深化問答三則#
問: \([x,p] = i\hbar\) 是「推導」還是「假設」? 答:三種敘事並存。Heisenberg 版:從振子的能量守恆反推;Born–Jordan 版:從 Hamilton 力學的正則結構與矩陣代數構造;現代版:量子化的定義公理之一(半經典極限要求 \(\frac{1}{i\hbar}[\ ,\ ]\) 對應 Poisson 括積)。它最終的地位與測度論中的可數可加性類似:經驗上唯一可行、數學上自然、邏輯上作為公理。
問:為什麼是 \(i\hbar\) 而非實數? 答:若 \([x,p] = c\,\hat 1\) ( \(c\) 實),則 \(\hat x, \hat p\) 作為自伴算子不可能同時滿足——自伴算子的對易子是反自伴的, \(i\) 的出現正是為了讓 \(i\hbar\hat 1\) 反自伴成立。數學自洽(自伴性,5.1 節)強迫了虛數單位的引入;量子力學的複數性由此成為必然,而非品味選擇。
問:矩陣力學「難算」的名聲從何而來? 答:矩陣力學要求直接處理無窮維矩陣與其對角化,計算上極繁。Schrödinger 波動力學用的是偏微分方程——物理學家自大學就熟悉。歷史的選擇是實用主義的:等價的理論中,與既有技能集匹配者勝出。但矩陣語言在對稱性、量子資訊、多體理論中復興——今日的量子計算用矩陣(量子閘)思考,正是 1925 年語言的回歸。
(本節完)