量子力學的數學表述檢視原始碼討論檢視歷史

量子力學 圖片來自痞客邦

量子力學的數學表述（Mathematical formulation of quantum mechanics）是對量子力學進行嚴謹描述的數學表述體系。與20世紀初發展起來的舊量子論的數學形式不同，它使用了一些抽象的代數結構，如無窮維希爾伯特空間 和這些空間上的算子。這些結構中有許多源於泛函分析。這一純粹數學研究領域的發展過程既平行於又受影響於量子力學的需要。簡而言之，物理可觀察量的值，如能量和動量的值不再作為相空間上的函數值，而是作為本徵值，或者更為精確地來說是希爾伯特空間中線性算子的譜值。

這一表述體系一直沿用至今。該體系的核心為「量子態」和「可觀察量」這兩個概念。對於原子尺度的系統來說，這兩個概念與之前用來描述物理現實的模型大相徑庭。雖然數學上允許對許多量的計算結果進行實驗測量，但是實際上，在對於符合一定條件的兩個物理量同時進行精確測量時，卻存在一個理論性限制——不確定性原理。這一原理由維爾納·海森堡通過思想實驗首次闡明，且在該體系中以可觀察量的不可交換性進行表述。

在量子力學作為一支獨立理論形成之前，物理學中用到的數學理論主要是以微積分為源頭、後來又添以微分幾何與偏微分方程的數學分析。統計力學中還用到概率論。幾何直觀在這兩個理論中扮演重要角色。相對論中的許多概念和方法也是基於幾何理論。量子物理學中對於實驗現象的一系列不同以往的理解在1895年到1915年間開始逐步形成。其中具有代表性的思想為波粒二象性。但在量子理論形成之前的10至15年中，物理學家仍然在經典物理學的框架內思考量子理論，所基於的數學結構也是完全相同的。其中具有代表性的例子是玻爾-索末菲量子化條件。這一原理完全建構於經典框架中的相空間。

量子力學的數學結構

對於一個物理學系統的描述基於以下三個基本要素：量子態、可觀測量以及動力學表述（或者說時間演化|time evolution規則），或者更普遍的來說是物理對稱群。經典力學中，物理學系統直接在相空間中進行描述：相空間是一個辛流形，系統的狀態是相空間中的一個點，可觀測量是相空間上的實函數，時間演化規則由描述相空間辛變換的單參數群給出，物理對稱性由辛變換實現。量子力學的描述則是：系統的狀態構成一個希爾伯特空間，可觀測量是狀態空間的自共軛算符，時間演化規則由狀態空間幺正變換的單參數群|Stone's theorem on one-parameter unitary groups給出，物理對稱性是由幺正變換實現的。

基本表述

以下幾條對於量子力學的數學框架的總結部分源於狄拉克-馮諾伊曼公理體系。除了下面幾條性質外，還需要考慮到系統的一些基本性質與原理，如下文提到的自旋及泡利不相容原理。

量子態

每個物理學系統的狀態都與一個拓撲可分復希爾伯特空間有關，這個希爾伯特空間具有內積ϕ|ψ。H中的束（一維亞空間）與系統的量子態有關。換言之，物理學系統的狀態可以利用H中長度為1的矢量等價類表述，兩個矢量只有在相差一個相位因子時才能表示同一個態。可分性這一假設在詮釋當狀態經過有限次的測量可以確定時的情形中可以用到。一個量子態是射影希爾伯特空間|projective Hilbert space中的一個「束」，而並非一個「矢量」。但在一些現實情景中，卻並不強調這兩個概念間的區別。這一點部分源於薛定諤方程的表述中涉及到的是希爾伯特空間「矢量」，並近而衍生出「態矢」這一併不嚴格的術語。

複合系統的狀態空間是分系統狀態空間的希爾伯特空間張量積。對於一個由可數的可分粒子組成的非相對論系統，其分系統就是單一的粒子。

對稱性

依據維格納定理，作用於狀態空間的物理學對稱性是幺正的或是反幺正的|Antiunitary operator。超對稱性的情況與之不同。

歷史

舊量子論與量子力學的創立

1900年，馬克斯·普朗克提出描述黑體輻射的普朗克公式。普朗克對於黑體的描述規避了經典物理學結果中的紫外災變。他做出了這一假設，在物質與電磁輻射的相互作用中，能量的傳遞只能以一個個分立的單元的形式進行。這些小單元被稱為量子，此外他還提出，量子包含的能量與輻射頻率成正比。比例常數h後來為了紀念普朗克的功績被命名為「普朗克常數」。1905年，阿爾伯特·愛因斯坦引用普朗克的假設，提出了「光子」這一概念，解釋了光電效應的一系列實驗現象。

這兩個對於實驗現象的理論解釋與當時物理學的一些觀念迥異。後來，玻爾等人基於這些假設，對於經典力學進行了改造，試圖從第一性原理的角度上推導出原子的玻爾模型。他們假設，在一個力學系統相空間所能描述的所有可能的經典軌道中，物體只能在相空間中所圍面積為普朗克常數整數倍的軌道上運動，即角動量量子化假設。後來這一假設進一步發展為玻爾-索末菲量子化條件。儘管玻爾的氫原子玻爾模型可以通過這一假設解釋，但其卻並不適用於氦原子等多電子原子。量子理論的數學表述在一段時期內仍前途未定。

1924年，路易·德布羅意提出了物質波假設，即波粒二象性不只對光子適用，對於電子以及其他物理系統也適用。量子力學的數學表述也於1925年至1930年獲得突破性進展。埃爾溫·薛定諤為奠定量子力學的數學基礎做出了突破性的工作。約翰·馮·諾伊曼、赫爾曼·外爾以及保羅·狄拉克也為其做出了基礎性的貢獻。基於不同方法的數學表述在後來得到了統一。對於量子理論的物理學解釋也在海森堡發現不確定性原理以及尼爾斯·玻爾引入互補原理後得到統一。

新的量子理論

海森堡等人於1926年創立的矩陣力學是首個能夠成功解釋原子光譜量子化的理論。薛定諤也在同一年創立了波動力學。由於是採用當時物理學家已深為熟諳的微分方程表述的，波動力學更易理解，也更易計算並實現可視化。一年後，兩種表述被發現是等價的。

薛定諤本人起初並沒有提出量子力學中的概率性質，因為他認為電子波函數的模方應該解釋為在空間中彌散的電荷密度。後來玻恩引入了波函數的概率解釋，即某一位置的波函數的模方為一個粒子在該位置出現的概率。玻恩的解釋迅速被玻爾接受。薛定諤所提出的方程與經典力學中的哈密頓-雅可比方程密切相關。量子力學與經典力學的對應在海森堡的矩陣力學中體現得更為明顯。在博士學位論文中，狄拉克提出海森堡繪景中的算符方程與哈密頓力學中的動力學方程形式類似，正則量子化條件|canonical quantization與泊松括號也存在一定的相似性。

更為準確地說，海森堡是在薛定諤之前創立矩陣力學的。這一表述是量子力學第一個有效的表述，是一個本質性的突破。海森堡的矩陣力學是基於無窮維矩陣的代數演算。這一表述與經典力學的數學表述方式大相徑庭。不過，他的出發點是實驗研究中所用到的「指標」，並且他也並沒有意識到他的「指標方法」實際上就是矩陣方法。。

儘管薛定諤在創立波動力學一年後自行證明了自己的方法與海森堡的方法的等價性，但證明兩種方法相互調和並將它們抽象為希爾伯特空間中的運動的工作是由狄拉克完成的。他是在1930年發行的經典著作《量子力學原理|The Principles of Quantum Mechanics》中闡明這一點的。他是量子力學的第三位也可能是最為重要的支柱性的人物。他在不久後發現了該理論的相對論推廣。他還發展出量子力學的狄拉克符號，引入了希爾伯特空間中泛函分析使用到的一些的抽象概念，並發現了系統動力學第三種表述，相互作用繪景。他的工作極大地推廣了量子力學理論。

基於這一思路的第一個完備數學表述體系現在被稱為狄拉克-馮諾伊曼公理體系|Dirac–von Neumann axioms。這一理論體系現在一般認為是馮·諾伊曼在其1932年發行的專著《量子力學的數學基礎》中提出的。儘管此前外爾已經在其1927年發表的論文著作中引入了希爾伯特空間（他自己將之稱為「幺正空間」）。這一體系採用的方法是數學中基於線性算符的譜理論|spectral theory，而非大衛·希爾伯特在一個世代前所採用的二次型方法。儘管量子力學理論如今依然在發展，但所採用的數學表述的基本框架仍是基於馮·諾伊曼的工作的。換言之，目前有關量子力學詮釋的探討及其延伸話題大多是圍繞着數學基礎理論中共用假設的基礎展開的。