相空间表述

**相空間表述**是量子力學的一種表述。在這一表述中，系統的狀態是在相空間中描述的，位置與動量被放在同等重要的位置。在量子力學常用的薛丁格繪景中則只會採用動量表象或是位置表象中的一種。相空間表述兩個關鍵的特點是：量子態是以准機率分布描述的而非波函數、態矢或是密度矩陣；算符間的乘法被穆瓦亞爾積取代。

相空間表述理論是由希爾布蘭德・格倫尼伍爾德於 1946 年在其博士學位論文中提出的。何塞・恩里科・穆瓦亞爾也在 3 年後獨立導出該理論。他們所提出的理論都建構於赫爾曼・外爾以及尤金・維格納早先的構想。

相空間表述的主要優勢在於其在形式上與哈密頓力學近似，可以避免引入算符，進而可以「令量子化問題擺脫希爾伯特空間的限制」。這一表述具有統計性質，表現了量子力學和古典統計力學邏輯上的聯繫，提供了一個比較二者的角度。相空間表述在量子光學、量子去相干以及一些特殊問題中已經得到應用，但其尚未得到廣泛應用。

相空間表述所基於的一些概念目前已在數學領域得到了進一步發展，如代數形變理論以及非交換幾何。

## 相空間分布

在相空間表述中，相空間分布，而非較為常見的波函數或是密度矩陣，是對於系統量子態最為基礎的描述方式。量子態 _f_(_x_,_p_) 在相空間中的分布是一個準機率分布。

這一分布有許多種表象，而這些表象也是互相相關的。其中較為重要的一種是維格納準機率分佈表象，_W_(_x_,_p_) 。其他表象包括格勞伯 - 蘇德爾辛 P 表象、伏見 Q 表象、柯克伍德 - 雷阿切克表象、梅塔表象、里維耶表象以及玻恩 - 約當表象等等。其他表象在哈密頓算符取特定形式時會較為便利，如哈密頓算符取正規序時，採用格勞伯 - 蘇德爾辛 P 表象在演算時會較為簡便。由於維格納表象較為常用，因而在下文中，如不特殊提及，將統一採用該表象。

相空間分布性質與 2_n_ 維相空間機率密度分布類似。例如，其分布值是實數，這與通常是複數的波函數不同。我們可以通過在全動量域以及某一位置區間上的維格納函數積分來理解該位置附近的機率分布：

　
: $\operatorname {P} [a\leq X\leq b]=\int _{a}^{b}\int _{-\infty }^{\infty }W(x,p)\,dp\,dx$

如果 _Â_(_x_,_p_) 是一個表徵可觀測量的算符，其可以通過維格納變換映射到相空間中，成為 _A_(_x_, _p_)，還可以通過外爾變換還原回來。

通過相空間分布可以求得可觀測量的期望值為：

　
: $\langle {\hat {A}}\rangle =\int A(x,p)W(x,p)\,dp\,dx$

需要注意的是，儘管形式存在一定的類似性，但考慮到機率第三公理的要求 _W_(_x_,_p_) 並非一種聯合分布，因為其所表徵的區域中的狀態並不一定相互排斥。此外，儘管會違反機率第一公理，即使系統處於純態時，在特殊情況下，如系統處於相干態時，其值也可能為負。

可以證明，分布值為負的區域非常小，其對於系統整體的影響在幾ħ內，因而會在古典極限情況時會消失。但由不確定性原理，負分布值的區域有存在的可能性。不確定性原理並不允許對於相空間內小於ħ的區域進行精確描述。如果方程式左邊為希爾伯特空間中算符的期望值，那麼在量子光學領域，這個式子可以稱作光學等價性定理。

## 星積

相空間中基礎的二元非交換運算為穆瓦亞爾積，其對應標準的算符間乘法，以符號★表徵，因而也稱「星積」。每種表象下，相空間分布所對應的星積運算法則也有所不同。下文中將討論維格納 - 外爾表象下的星積。

為了簡潔表記，在這裡引入左導數與右導數的標記方法。對於一對函數 _f_ 與 _g_，它們的左、右導數分別定義為：

　
: $f{\stackrel {\leftarrow }{\partial }}_{x}g={\frac {\partial f}{\partial x}}\cdot g$

　
: $f{\stackrel {\rightarrow }{\partial }}_{x}g=f\cdot {\frac {\partial g}{\partial x}}$

星積的微分定義為：

　
: $f\star g=f\,\exp {\left({\tfrac {i\hbar }{2}}({\stackrel {\leftarrow }{\partial }}_{x}{\stackrel {\rightarrow }{\partial }}_{p}-{\stackrel {\leftarrow }{\partial }}_{p}{\stackrel {\rightarrow }{\partial }}_{x})\right)}\,g$

式中，指數函數可以理解為一個冪級數。引入額外的微分關係可以令此式的表述形式發生變化：

　
: ${\begin{aligned}(f\star g)(x,p)&=f\left(x+{\tfrac {i\hbar }{2}}{\stackrel {\rightarrow }{\partial }}_{p},p-{\tfrac {i\hbar }{2}}{\stackrel {\rightarrow }{\partial }}_{x}\right)\cdot g(x,p)\\&=f(x,p)\cdot g\left(x-{\tfrac {i\hbar }{2}}{\stackrel {\leftarrow }{\partial }}_{p},p+{\tfrac {i\hbar }{2}}{\stackrel {\leftarrow }{\partial }}_{x}\right)\\&=f\left(x+{\tfrac {i\hbar }{2}}{\stackrel {\rightarrow }{\partial }}_{p},p\right)\cdot g\left(x-{\tfrac {i\hbar }{2}}{\stackrel {\leftarrow }{\partial }}_{p},p\right)\\&=f\left(x,p-{\tfrac {i\hbar }{2}}{\stackrel {\rightarrow }{\partial }}_{x}\right)\cdot g\left(x,p+{\tfrac {i\hbar }{2}}{\stackrel {\leftarrow }{\partial }}_{x}\right).\end{aligned}}$

通過傅立葉變換還可以定義卷積積分形式的星積：

　
: $(f\star g)(x,p)={\frac {1}{\pi ^{2}\hbar ^{2}}}\,\int f(x+x',p+p')\,g(x+x'',p+p'')\,\exp {\left({\tfrac {2i}{\hbar }}(x'p''-x''p')\right)}\,dx'dp'dx''dp''$ 。

能量的本徵態分布一般稱作「星積本徵態」或是「星積本徵函數」，對應的能量值則被稱為「星積本徵值」。它們是對應含時薛丁格方程式的星積本徵值方程式的解：

　
: $H\star W=E\cdot W$

式中 _H_ 為哈密頓量。它是一個普通相空間函數，通常與古典力學中的哈密頓量相同。

## 時間演化

相空間的時間演化可以通過對劉維爾方程式進行量子改造得到。這個方程式是通過對馮諾伊曼方程式進行維格納變換得到的。

對於相空間分布的任意表象及其對應的星積，存在：

　
: ${\frac {\partial f}{\partial t}}=-{\frac {1}{i\hbar }}\left(f\star H-H\star f\right),$

特別地，對於維格納函數，存在：

　
: ${\frac {\partial W}{\partial t}}=-\{\{W,H\}\}=-{\frac {2}{\hbar }}W\sin \left({{\frac {\hbar }{2}}({\stackrel {\leftarrow }{\partial }}_{x}{\stackrel {\rightarrow }{\partial }}_{p}-{\stackrel {\leftarrow }{\partial }}_{p}{\stackrel {\rightarrow }{\partial }}_{x})}\right)\ H=-\{W,H\}+O(\hbar ^{2}),$

式中 {{,}} 為穆瓦亞爾括號。其為對易算符經過維格納變換後的結果，而 {,} 則為古典力學中的帕松括號。

而這個式子也服從對應原理：當_ħ_ → 0 時，這個方程式將還原為古典力學中的劉維爾方程式。然而，推廣至量子流情況時，相空間某一點的密度卻並不守恆，機率流也將發散且可壓縮。因而在這裡，量子軌道的概念會顯得有些微妙。

## 例子

### 簡單諧振子

維格納 - 外爾表象下，一維簡單諧振子的哈密頓量為：

　
: : : $H={\frac {1}{2}}m\omega ^{2}x^{2}+{\frac {p^{2}}{2m}}.$

則靜態維格納函數的星積本徵值方程式為：

　
: ${\begin{aligned}H\star W&=\left({\frac {1}{2}}m\omega ^{2}x^{2}+{\frac {p^{2}}{2m}}\right)\star W\\&=\left({\frac {1}{2}}m\omega ^{2}\left(x+{\frac {i\hbar }{2}}{\stackrel {\rightarrow }{\partial }}_{p}\right)^{2}+{\frac {1}{2m}}\left(p-{\frac {i\hbar }{2}}{\stackrel {\rightarrow }{\partial }}_{x}\right)^{2}\right)~W\\&=\left({\frac {1}{2}}m\omega ^{2}\left(x^{2}-{\frac {\hbar ^{2}}{4}}{\stackrel {\rightarrow }{\partial }}_{p}^{2}\right)+{\frac {1}{2m}}\left(p^{2}-{\frac {\hbar ^{2}}{4}}{\stackrel {\rightarrow }{\partial }}_{x}^{2}\right)\right)~W\\&\,\,\,\,\,+{\frac {i\hbar }{2}}\left(m\omega ^{2}x{\stackrel {\rightarrow }{\partial }}_{p}-{\frac {p}{m}}{\stackrel {\rightarrow }{\partial }}_{x}\right)~W\\&=E\cdot W.\end{aligned}}$

首先考察星積本徵值方程式的虛數部分：

　
: : : ${\frac {\hbar }{2}}\left(m\omega ^{2}x{\stackrel {\rightarrow }{\partial }}_{p}-{\frac {p}{m}}{\stackrel {\rightarrow }{\partial }}_{x}\right)\cdot W=0$

這意味著，星積本徵態可以表示為一個單自變量函數：

　
: : $W(x,p)=F\left({\frac {1}{2}}m\omega ^{2}x^{2}+{\frac {p^{2}}{2m}}\right)\equiv F(u).$

通過這一變量變換，星積本徵值方程式的實數部分可以寫為一個改造過的拉蓋爾方程式。它的解可以以拉蓋爾多項式的形式表示為：

　
: $F_{n}(u)={\frac {(-1)^{n}}{\pi \hbar }}L_{n}\left(4{\frac {u}{\hbar \omega }}\right)e^{-2u/\hbar \omega }$

對應的星積本徵值為：

　
: : : $E_{n}=\hbar \omega \left(n+{\frac {1}{2}}\right)$

對於諧振子而言，任意的維格納分布的時間演化非常容易求得。初態為 _W_(_x_,_p_; _t_=0) = _F_(_u_) 時的情況可以通過將上述結果在相空間中做剛性轉動求得：

　
: $W(x,p;t)=W(m\omega x\cos \omega t-p\sin \omega t,~p\cos \omega t+\omega mx\sin \omega t;0)~.$

一般情況下，能量 _E_ ≫ _ħω_ 的量子諧振子可以表徵宏觀諧振子。其在相空間中會作等速運動。對其在全相空間中積分（起點為 _t_ = 0），則可以得到一個連續的「圍欄」。其含時屬性與上面的靜態星積本徵態 _F_(_u_) 相似，可以作為古典極限的直觀表現。

### 自由粒子角動量

假設粒子最初處於最小不確定高斯態，位置與動量的期望值在相空間原點。這種自由傳播的態的維格納函數為：

　
: $W(\mathbf {x} ,\mathbf {p} ;t)={\frac {1}{(\pi \hbar )^{3}}}\exp {\left(-\alpha ^{2}r^{2}-{\frac {p^{2}}{\alpha ^{2}\hbar ^{2}}}\left(1+\left({\frac {t}{\tau }}\right)^{2}\right)+{\frac {2t}{\hbar \tau }}\mathbf {x} \cdot \mathbf {p} \right)}~,$

式中，_α_ 為表徵高斯波包的寬度的參數，而 _τ_ = _m_/_α_2_ħ_。

最初，位置與動量並不相關。因而在三維情形下，位矢與動量是平行的，且大小為垂直情形的 2 倍。

然而，位置與動量的相關性會隨著狀態演化而越來越強，因為相對於原點傳播得越遠，動量值需要更大。這一情形的漸近式為：

　
: $W\longrightarrow {\frac {1}{(\pi \hbar )^{3}}}\exp \left[-\alpha ^{2}\left(\mathbf {x} -{\frac {\mathbf {p} t}{m}}\right)^{2}\right]\,.$

在這裡，只能求出粒子的動能的漸近解，與給定取向獨立性時的基態非零角動量情況一致：

　
: $K_{rad}={\frac {\alpha ^{2}\hbar ^{2}}{2m}}\left({\frac {3}{2}}-{\frac {1}{1+(t/\tau )^{2}}}\right)$

　
: $K_{ang}={\frac {\alpha ^{2}\hbar ^{2}}{2m}}{\frac {1}{1+(t/\tau )^{2}}}~.$

### 莫爾斯勢

莫爾斯勢常被用來近似雙原子分子的振動結構。

### 量子穿隧效應

量子穿隧效應是一種典型的量子效應。在發生穿隧時，粒子在不具備足夠飛躍勢壘的能量時，仍能像有一個「隧道」一樣穿過勢壘。這一效應在古典力學中並沒有對應的效應。

### 四次勢

## 注釋

## 參考文獻