量子力學的數學表述

量子力學的數學表述是對量子力學進行嚴謹描述的數學表述體系。與20世紀初發展起來的舊量子論的數學形式不同，它使用了一些抽象的代數結構，如無窮維希爾伯特空間和這些空間上的運算元。這些結構中有許多源於泛函分析。這一純粹數學研究領域的發展過程既平行於又受影響於量子力學的需要。簡而言之，物理可觀察量的值，如能量和動量的值不再作為相空間上的函式值，而是作為本徵值，或者更為精確地來說是希爾伯特空間中線性運算元的譜值。這一表述體系一直沿用至今。該體系的核心為“量子態”和“可觀察量”這兩個概念。對於原子尺度的系統來說，這兩個概念與之前用來描述物理現實的模型大相徑庭。雖然數學上允許對許多量的計算結果進行實驗測量，但是實際上，在對於符合一定條件的兩個物理量同時進行精確測量時，卻存在一個理論性限制——不確定性原理。這一原理由維爾納·海森堡透過思想實驗首次闡明，且在該體系中以可觀察量的不可交換性進行表述。在量子力學作為一支獨立理論形成之前，物理學中用到的數學理論主要是以微積分為源頭、後來又添以微分幾何與偏微分方程的數學分析。統計力學中還用到機率論。幾何直觀在這兩個理論中扮演重要角色。相對論中的許多概念和方法也是基於幾何理論。量子物理學中對於實驗現象的一系列不同以往的理解在1895年到1915年間開始逐步形成。其中具有代表性的思想為波粒二象性。但在量子理論形成之前的10至15年中，物理學家仍然在經典物理學的框架內思考量子理論，所基於的數學結構也是完全相同的。其中具有代表性的例子是玻爾-索末菲量子化條件。這一原理完全建構於經典框架中的相空間。歷史.舊量子論與量子力學的創立.1900年，馬克斯·普朗克提出描述黑體輻射的普朗克公式。普朗克對於黑體的描述規避了經典物理學結果中的紫外災變。他做出了這一假設，在物質與電磁輻射的相互作用中，能量的傳遞只能以一個個分立的單元的形式進行。這些小單元被稱為量子，此外他還提出，量子包含的能量與輻射頻率成正比。比例常數"h"後來為了紀念普朗克的功績被命名為“普朗克常數”。1905年，阿爾伯特·愛因斯坦引用普朗克的假設，提出了“光子”這一概念，解釋了光電效應的一系列實驗現象。這兩個對於實驗現象的理論解釋與當時物理學的一些觀念迥異。後來，玻爾等人基於這些假設，對於經典力學進行了改造，試圖從第一性原理的角度上推匯出原子的玻爾模型。他們假設，在一個力學系統相空間所能描述的所有可能的經典軌道中，物體只能在相空間中所圍面積為普朗克常數整數倍的軌道上運動，即角動量量子化假設。後來這一假設進一步發展為玻爾-索末菲量子化條件。儘管玻爾的氫原子玻爾模型可以透過這一假設解釋，但其卻並不適用於氦原子等多電子原子。量子理論的數學表述在一段時期內仍前途未定。:42-47, 58-65, 73-75:113-1171924年，路易·德布羅意提出了物質波假設，即波粒二象性不只對光子適用，對於電子以及其他物理系統也適用:97。量子力學的數學表述也於1925年至1930年獲得突破性進展。埃爾溫·薛定諤、維爾納·海森堡、馬克斯·玻恩以及帕斯庫爾·約當為奠定量子力學的數學基礎做出了突破性的工作。約翰·馮·諾伊曼、赫爾曼·外爾以及保羅·狄拉克也為其做出了基礎性的貢獻。基於不同方法的數學表述在後來得到了統一。對於量子理論的物理學解釋也在海森堡發現不確定性原理以及尼爾斯·玻爾引入互補原理後得到統一。新的量子理論.海森堡等人於1926年創立的矩陣力學是首個能夠成功解釋原子光譜量子化的理論。薛定諤也在同一年創立了波動力學。由於是採用當時物理學家已深為熟諳的微分方程表述的，波動力學更易理解，也更易計算並實現視覺化。一年後，兩種表述被發現是等價的。薛定諤本人起初並沒有提出量子力學中的機率性質，因為他認為電子波函式的模方應該解釋為在空間中彌散的電荷密度。後來玻恩引入了波函式的機率解釋，即某一位置的波函式的模方為一個粒子在該位置出現的機率。玻恩的解釋迅速被玻爾接受。薛定諤所提出的方程與經典力學中的哈密頓-雅可比方程密切相關。量子力學與經典力學的對應在海森堡的矩陣力學中體現得更為明顯。在博士學位論文中，狄拉克提出海森堡繪景中的算符方程與哈密頓力學中的動力學方程形式類似，與泊松括號也存在一定的相似性。更為準確地說，海森堡是在薛定諤之前創立矩陣力學的。這一表述是量子力學第一個有效的表述，是一個本質性的突破。海森堡的矩陣力學是基於無窮維矩陣的代數演算。這一表述與經典力學的數學表述方式大相徑庭。不過，他的出發點是實驗研究中所用到的“指標”，並且他也並沒有意識到他的“指標方法”實際上就是矩陣方法。這一點後來是由玻恩闡明的。實際上在那個時代，線性代數並不像現在這樣為物理學家所熟識。儘管薛定諤在創立波動力學一年後自行證明了自己的方法與海森堡的方法的等價性，但證明兩種方法相互調和並將它們抽象為希爾伯特空間中的運動的工作是由狄拉克完成的。他是在1930年發行的經典著作《》中闡明這一點的。他是量子力學的第三位也可能是最為重要的支柱性的人物。他在不久後發現了該理論的相對論推廣。他還發展出量子力學的狄拉克符號，引入了希爾伯特空間中泛函分析使用到的一些的抽象概念，並發現了系統動力學第三種表述，相互作用繪景。他的工作極大地推廣了量子力學理論。基於這一思路的第一個完備數學表述體系現在被稱為。這一理論體系現在一般認為是馮·諾伊曼在其1932年發行的專著《量子力學的數學基礎》中提出的。儘管此前外爾已經在其1927年發表的論文著作中引入了希爾伯特空間。這一體系採用的方法是數學中基於線性算符的，而非大衛·希爾伯特在一個世代前所採用的二次型方法。儘管量子力學理論如今依然在發展，但所採用的數學表述的基本框架仍是基於馮·諾伊曼的工作的。換言之，目前有關量子力學詮釋的探討及其延伸話題大多是圍繞著數學基礎理論中共用假設的基礎展開的。後續進展.20世紀30年代，物理學家將新的量子理論應用於電磁現象，由此構建了量子場論。由於量子場論的需要，量子力學的數學表述又進一步得到了發展。在下文中所敘述的形式是一種簡單的特例。在這之後發展起來的量子力學表述包括：此外，馮諾伊曼還依據他對於波函式坍縮的描述提出了一種量子測量方案，引發了對於這一問題的哲學討論。在相關問題爭論了70多年後，測量問題仍是目前的研究熱點之一，並由此衍生出一些新的量子力學闡釋方式及分析結果，其中包括：另一個相關的問題是量子力學與經典力學之間的聯絡。一些物理學理論可以透過近似的方式還原為舊有的理論，對於量子力學而言，對應的就是量子力學的經典極限。此外，玻爾曾提出，人類的感知能力以及語言與經典領域有不可分割的聯絡，所以對於一個問題的經典描述要比對其的量子描述更為直觀一些。其中構造量子論的量子化過程的經典極限是量子物理的一個重要問題。最後，一些量子理論的創始人實際上對於量子力學後來的發展並不滿意:324, 352。愛因斯坦對於量子力學的完備性一直存在質疑:311, 324, 340, 352, 460, 471。隱變數理論正是產生於這一質疑:460, 471。在量子光學的幫助下，隱變數問題可以透過實驗手段進行驗證。相關理論包括：量子力學的數學結構.對於一個物理學系統的描述基於以下三個基本要素：量子態、可觀測量以及動力學表述，或者更普遍的來說是物理對稱群。經典力學中，物理學系統直接在相空間中進行描述：相空間是一個辛流形，系統的狀態是相空間中的一個點，可觀測量是相空間上的實函式，時間演化規則由描述相空間辛變換的單引數群給出，物理對稱性由辛變換實現。量子力學的描述則是：系統的狀態構成一個希爾伯特空間，可觀測量是狀態空間的自共軛算符，時間演化規則由狀態空間給出，物理對稱性是由么正變換實現的。基本表述.以下幾條對於量子力學的數學框架的總結部分源於狄拉克-馮諾伊曼公理體系。除了下面幾條性質外，還需要考慮到系統的一些基本性質與原理，如下文提到的自旋及泡利不相容原理。量子態.每個物理學系統的狀態都與一個拓撲可分復希爾伯特空間有關，這個希爾伯特空間具有內積"H"中長度為1的向量等價類表述，兩個向量只有在相差一個相位因子時才能表示同一個態。可分性這一假設在詮釋當狀態經過有限次的測量可以確定時的情形中可以用到。一個量子態是中的一個“束”，而並非一個“向量”。但在一些現實情景中，卻並不強調這兩個概念間的區別。這一點部分源於薛定諤方程的表述中涉及到的是希爾伯特空間“向量”，並近而衍生出“態矢”這一併不嚴格的術語。複合系統的狀態空間是分系統狀態空間的希爾伯特空間張量積。對於一個由可數的可分粒子組成的非相對論系統，其分系統就是單一的粒子。對稱性.依據維格納定理，作用於狀態空間的物理學對稱性是么正的或是。超對稱性的情況與之不同。可觀測量.可觀測量是以埃爾米特矩陣表述的:423-426。在採用波函式的機率詮釋時，對於狀態為"A"，其期望值為formula_1。透過，我們可以將機率測度與任意狀態"ψ"時，給定本徵矢的分量模方將是觀察到相應本徵值的機率。推廣上述表述，一個狀態可以用跡類非負自共軛算符，密度算符"A"的期望值為：formula_2如果"H"到一維亞空間的正交投影，那麼存在formula_3密度算符可以看作一維正交投影的閉合凸包。反之，一個一維正交投影是密度矩陣的極限點。物理學家也將一維正交投影稱作“純態”，將其他密度算符稱作“混合態”。不確定性原理.此外，兩個可觀測量間還存在不確定性關係，即對於任意兩個可觀測量formula_4、formula_5，存在：formula_6其中formula_7為兩個算符的對易算符。:41-44動力學繪景.依據所關注的問題不同，我們可以構造不同的動力學繪景。較為重要的繪景包括：薛定諤繪景、海森堡繪景以及相互作用繪景。薛定諤繪景.在薛定諤繪景中，狀態的是透過一個自變數為實數的可微函式表徵的。自變數代表過程中的某一時刻，函式為系統狀態的希爾伯特空間中的某個態矢。如果"t"時的狀態，那麼這個對映以下面這個方程進行表徵：其中"H"對應系統的總能量。此外，依據，可以得到存在一個強連續單引數酉群"s"，"t"符合：formula_8且存在一個自共軛哈密頓算符"H"：formula_9此時"t"00，否則需要使用表示"U"("t")：formula_10其中formula_11為時間排序算符。海森堡繪景.海森堡繪景主要關注可觀測量隨時間的演化。其將狀態視為固定的，可觀測量為可變的。如果要從薛定諤繪景得到海森堡繪景，則需要定義不含時的態矢以及含時的算符：formula_12formula_13可以得到，兩種繪景中可觀測量的期望值是相同的：formula_14對於一個含時的海森堡算符"A""A"("t")，存在：需要注意的是，對易表示在其中一個算符為無界算符時僅為形式上的表示，需要定義一個表象令其具有實際意義。相互作用繪景.相互作用繪景中的狀態與可觀察量都含時，並會分別伴隨不同的哈密頓算符演化。這一繪景適用於可觀測量的演化情況精確可解，狀態演化並不複雜的情況。因而，可觀測量對應的哈密頓算符被稱為“自由哈密頓算符”，狀態對應的哈密頓算符為“相互作用哈密頓”。用符號表示這一繪景則為：然而相互作用繪景卻並非總是存在。依據，相對論性相互作用量子場論終究不存在相互作用繪景。這是因為在一個超選擇區內，哈密頓算符並不能分為自由與相互作用兩個部分。此外，哈密頓算符即使在薛定諤繪景中不含時，如"H""H"0 + "V"，但在相互作用繪景至少在"H"0的情況下仍會含時，這是由於：formula_15。當兩個粒子的波函式完全相同時，對於費米子系統而言，則存在formula_16。考慮到波函式的機率詮釋，這一情況可以解釋為：在一個由費米子組成的系統中，不可能存在兩個狀態完全相同的粒子。這就是著名的泡利不相容原理，是由沃爾夫岡·泡利於1925年提出的。:210-212儘管自旋與泡利不相容原理只能在進行了相對論推廣的量子力學中推匯出來，但是這兩條性質在非相對論極限情況下卻是系統的基本性質。自然科學中，許多重要的現象，如化學中的元素週期律，都源於這兩條性質的。測量問題.在上面所敘述的理論框架對於描述一個完全孤立的系統而言已經足夠充足。然而，它卻沒有涉及到量子力學與經典物理學的一大分野——測量效應。:123馮·諾伊曼曾給出系統處於純態"A"過程的描述：令"A"具有一定的譜解析度：formula_17式中，"B"的特徵函式對可加加測度formula_18積分得到。如果測量值在區間"B"來獲取上述態。例如，假設狀態空間是一個n維的復希爾伯特空間E"A"為：formula_19式中，"Bi"上積分得到。由此可得一個平凡結果：formula_22馮·諾伊曼測量方案的特徵是重複相同的測量可以得到相同結果。這一方案又被稱作“投影原理”。在更為普遍的表述中，投影值測度通常會被。為了說明這一問題，這裡仍以有限維情況為例子。先將秩為1的投影formula_23以正算符的有限集formula_24取代。其中元素的和仍是一個特定算符。正算符值測度也會像投影值測度一樣與可能的測量結果集"λi"，則系統在測量完成後，不會坍縮至非歸一態formula_25，而是會處於態formula_26。由於"Fi Fi*"之間並不一定正交，馮·諾伊曼的投射原理將不再成立。相同的表述也適用於普通的混合態。在馮·諾伊曼方案中，測度導致的態變換會由於時間演化的原因發生變化。時間演化方式是確定且么正時，測量過程卻可能是非確定且非么正的。然而由於兩種態變換本質都是一個量子態到另一個量子態，這一差異並不能讓物理學家滿意。正算符值測度表述是將測量視為一種量子操作。這種操作是用不會令跡變大的描述的。無論是哪種情況，上述問題可能只會在時間演化不僅包含量子系統，而且還包含經典測量儀器時才能解決。相對態詮釋.休·艾弗雷特三世曾提出測量問題的另一種詮釋——相對態詮釋。後世的物理學家一般稱其為多世界詮釋。涉及到的數學理論.由理查·科朗特基於大衛·希爾伯特在哥廷根大學的數學物理學講義改編而成的教科書與量子力學的數學表述有關。物理學家曾一度拒絕使用這部教材。在薛定諤方程被提出之後，物理學家才發現，量子力學中所用到的數學理論其實在那部專著中已有涉及。:337海森堡及玻恩等人曾向希爾伯特諮詢過矩陣力學的表述問題。希爾伯特基於其對於無窮維矩陣的研究，向海森堡建議這種矩陣可以從微分方程中匯出，但海森堡並沒有接受這個建議，從而錯失統一量子理論的機會。:182直到多年後，外爾與狄拉克才實現這一統一。無論相關理論溯源如何，儘管量子力學這一物理理論帶有一定革命性，但所用到的數學理論在當時卻已為數學家所熟知。量子力學中所用到的主要數學概念包括：