相空间表述

Template:NoteTATemplate:量子力学 相空间表述是量子力学的一种表述。在这一表述中，系统的状态是在相空间中描述的，位置与动量被放在同等重要的位置。在量子力学常用的薛定谔绘景中则只会采用动量表象或是位置表象中的一种Template:Efn。相空间表述两个关键的特点是：量子态是以Template:Le描述的而非波函数、态矢或是密度矩阵；算符间的乘法被Template:Le取代。

相空间表述理论是由Template:Le于1946年在其博士学位论文中提出的。Template:Le也在3年后独立导出该理论。他们所提出的理论都建构于赫尔曼·外尔以及尤金·维格纳早先的构想。

相空间表述的主要优势在于其在形式上与哈密顿力学近似，可以避免引入算符，进而可以“令量子化问题摆脱希尔伯特空间的限制”。这一表述具有统计性质，表现了量子力学和经典统计力学逻辑上的联系，提供了一个比较二者的角度Template:Efn。相空间表述在量子光学Template:Efn、量子退相干以及一些特殊问题中已经得到应用，但其尚未得到广泛应用。

相空间表述所基于的一些概念目前已在数学领域得到了进一步发展，如代数Template:LeTemplate:Efn以及非交换几何。

相空间分布

Template:Main 在相空间表述中，相空间分布，而非较为常见的波函数或是密度矩阵，是对于系统量子态最为基础的描述方式。量子态Template:Math在相空间中的分布是一个准概率分布。

这一分布有许多种表象，而这些表象也是互相相关的。其中较为重要的一种是維格納準概率分佈表象，Template:Math 。其他表象包括Template:Le、Template:Le、柯克伍德-雷阿切克表象、梅塔表象、里维耶表象以及玻恩-约当表象等等。其他表象在哈密顿算符取特定形式时会较为便利，如哈密顿算符取正规序时，采用格劳伯-苏德尔辛P表象在演算时会较为简便。由于维格纳表象较为常用，因而在下文中，如不特殊提及，将统一采用该表象。

相空间分布性质与Template:Math维相空间概率密度分布类似。例如，其分布值是实数，这与通常是复数的波函数不同。我们可以通过在全动量域以及某一位置区间上的维格纳函数积分来理解该位置附近的概率分布：

$\mathrm{P}[a\le X\le b]=\underset{a}{\overset{b}{\int }}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}W(x,p)dpdx$

如果Template:Math是一个表征可观测量的算符，其可以通过Template:Le映射到相空间中，成为Template:Math，还可以通过Template:Le还原回来。

通过相空间分布可以求得可观测量的期望值为：

$⟨\hat{A}⟩=\int A(x,p)W(x,p)dpdx$

需要注意的是，尽管形式存在一定的类似性，但考虑到概率第三公理的要求Template:Math并非一种联合分布，因为其所表征的区域中的状态并不一定相互排斥。此外，尽管会违反概率第一公理，即使系统处于纯态时，在特殊情况下，如系统处于相干态Template:Efn时，其值也可能为Template:Le。

可以证明，分布值为负的区域非常小，其对于系统整体的影响在几Template:Mvar内，因而会在经典极限情况时会消失。但由不确定性原理，负分布值的区域有存在的可能性。不确定性原理并不允许对于相空间内小于Template:Mvar的区域进行精确描述。如果方程左边为希尔伯特空间中算符的期望值，那么在量子光学领域，这个式子可以称作Template:Le。

星积

Template:Main 相空间中基础的二元非交换运算为穆瓦亚尔积，其对应标准的算符间乘法，以符号★表征，因而也称“星积”。每种表象下，相空间分布所对应的星积运算法则也有所不同。下文中将讨论维格纳-外尔表象下的星积。

为了简洁表记，在这里引入Template:Le的标记方法。对于一对函数Template:Math与Template:Math，它们的左、右导数分别定义为：

$f{\overleftarrow{\partial }}_{x}g=\frac{\partial f}{\partial x}\cdot g$

$f{\overrightarrow{\partial }}_{x}g=f\cdot \frac{\partial g}{\partial x}$

星积的微分定义为：

$f\star g=f\exp (\frac{i\hslash }{2}({\overleftarrow{\partial }}_x{\overrightarrow{\partial }}_p-{\overleftarrow{\partial }}_p{\overrightarrow{\partial }}_x))g$

式中，指数函数可以理解为一个幂级数。引入额外的微分关系可以令此式的表述形式发生变化：

$\begin{array}{cc}(f\star g)(x,p)& =f(x+\frac{i\hslash }{2}{\overrightarrow{\partial }}_p,p-\frac{i\hslash }{2}{\overrightarrow{\partial }}_x)\cdot g(x,p)\\ & =f(x,p)\cdot g(x-\frac{i\hslash }{2}{\overleftarrow{\partial }}_p,p+\frac{i\hslash }{2}{\overleftarrow{\partial }}_x)\\ & =f(x+\frac{i\hslash }{2}{\overrightarrow{\partial }}_p,p)\cdot g(x-\frac{i\hslash }{2}{\overleftarrow{\partial }}_p,p)\\ & =f(x,p-\frac{i\hslash }{2}{\overrightarrow{\partial }}_x)\cdot g(x,p+\frac{i\hslash }{2}{\overleftarrow{\partial }}_x).\end{array}$

通过傅里叶变换还可以定义卷积积分形式的星积Template:Efn：

$(f\star g)(x,p)=\frac{1}{{\pi }^2{\hslash }^2}\int f(x+x^{\prime },p+p^{\prime })g(x+x^{″},p+p^{″})\exp (\frac{2i}{\hslash }(x^{\prime }{p}^{″}-x^{″}{p}^{\prime }))d{x}^{\prime }d{p}^{\prime }d{x}^{″}d{p}^{″}$。

能量的本征态分布一般称作“星积本征态”或是“星积本征函数”，对应的能量值则被称为“星积本征值”。它们是对应含时薛定谔方程的星积本征值方程的解：

$H\star W=E\cdot W$

式中Template:Math为哈密顿量。它是一个普通相空间函数，通常与经典力学中的哈密顿量相同。

时间演化

相空间的时间演化可以通过对刘维尔方程进行量子改造得到。这个方程是通过对Template:Le进行维格纳变换得到的。

对于相空间分布的任意表象及其对应的星积，存在：

$\frac{\partial f}{\partial t}=-\frac{1}{i\hslash }(f\star H-H\star f),$

特别地，对于维格纳函数，存在：

$\frac{\partial W}{\partial t}=-\{\{W,H\}\}=-\frac{2}{\hslash }W\sin \left(\frac{\hslash }{2}({\overleftarrow{\partial }}_x{\overrightarrow{\partial }}_p-{\overleftarrow{\partial }}_p{\overrightarrow{\partial }}_x)\right)H=-\{W,H\}+O({\hslash }^2),$

式中{{ , }}为Template:Le。其为对易算符经过维格纳变换后的结果，而{ , }则为经典力学中的泊松括号。

而这个式子也服从对应原理：当Template:Math时，这个方程将还原为经典力学中的刘维尔方程。然而，推广至量子流情况时，相空间某一点的密度却并不守恒，概率流也将发散且可压缩。因而在这里，量子轨道的概念会显得有些微妙。Template:Efn

例子

简单谐振子

量子谐振子的维格纳准概率分布Template:Math，对应情况分别为：a) n = 0，b) n = 1以及c) n = 5。

Template:Multiple image 维格纳-外尔表象下，一维简单谐振子的哈密顿量为：

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

则静态维格纳函数的星积本征值方程为：

$\begin{array}{cc}H\star W& =(\frac{1}{2}m{\omega }^2{x}^2+\frac{p^2}{2m})\star W\\ & =(\frac{1}{2}m{\omega }^2{(x+\frac{i\hslash }{2}{\overrightarrow{\partial }}_p)}^2+\frac{1}{2m}{(p-\frac{i\hslash }{2}{\overrightarrow{\partial }}_x)}^2)W\\ & =(\frac{1}{2}m{\omega }^2(x^2-\frac{{\hslash }^2}{4}{\overrightarrow{\partial }}_p^2)+\frac{1}{2m}(p^2-\frac{{\hslash }^2}{4}{\overrightarrow{\partial }}_x^2))W\\ & +\frac{i\hslash }{2}(m{\omega }^{2}x{\overrightarrow{\partial }}_p-\frac{p}{m}{\overrightarrow{\partial }}_x)W\\ & =E\cdot W.\end{array}$

首先考察星积本征值方程的虚数部分：

$\frac{\hslash }{2}(m{\omega }^{2}x{\overrightarrow{\partial }}_p-\frac{p}{m}{\overrightarrow{\partial }}_x)\cdot W=0$

这意味着，星积本征态可以表示为一个单自变量函数：

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

通过这一变量变换，星积本征值方程的实数部分可以写为一个改造过的拉盖尔方程。它的解可以以拉盖尔多项式的形式表示为：

$F_n(u)=\frac{(-1{)}^n}{\pi \hslash }{L}_n\left(4\frac{u}{\hslash \omega }\right)e^{-2u/\hslash \omega }$

对应的星积本征值为：

$E_n=\hslash \omega (n+\frac{1}{2})$

对于谐振子而言，任意的维格纳分布的时间演化非常容易求得。初态为Template:Math时的情况可以通过将上述结果在相空间中做刚性转动求得：

$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).$

一般情况下，能量Template:Math的量子谐振子可以表征宏观谐振子。其在相空间中会做匀速运动。对其在全相空间中积分（起点为Template:Math），则可以得到一个连续的“围栏”。其含时属性与上面的静态星积本征态Template:Math相似，可以作为经典极限的直观表现。 Template:-

自由粒子角动量

假设粒子最初处于最小不确定Template:Le，位置与动量的期望值在相空间原点。这种自由传播的态的维格纳函数为：

$W(𝐱,𝐩;t)=\frac{1}{(\pi \hslash {)}^3}\exp (-{\alpha }^2{r}^2-\frac{p^2}{{\alpha }^2{\hslash }^2}(1+{\left(\frac{t}{\tau }\right)}^2)+\frac{2t}{\hslash \tau }𝐱\cdot 𝐩),$

式中，α为表征高斯波包的宽度的参数，而Template:Math。

最初，位置与动量并不相关。因而在三维情形下，位矢与动量是平行的，且大小为垂直情形的2倍。

然而，位置与动量的相关性会随着状态演化而越来越强，因为相对于原点传播得越远，动量值需要更大。这一情形的渐近式为Template:Efn：

$W⟶\frac{1}{(\pi \hslash {)}^3}\exp [-{\alpha }^2{(𝐱-\frac{𝐩t}{m})}^2].$

在这里，只能求出粒子的动能的渐近解，与给定取向独立性时的基态非零角动量情况一致：

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

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

莫尔斯势

莫尔斯势常被用来近似双原子分子的振动结构。

File:Wigner function propagation for morse potential.ogv

量子隧穿效应

量子隧穿效应是一种典型的量子效应。在发生隧穿时，粒子在不具备足够飞跃势垒的能量时，仍能像有一个“隧道”一样穿过势垒。这一效应在经典力学中并没有对应的效应。

File:Wigner function for tunnelling.ogv

四次势

File:Wigner function for quartic potential.ogv