期望值 (量子力学)

在量子力学里，重复地做同样实验，通常会得到不同的测量结果，期望值（expectation value）是理论平均值，可以用来预测测量结果的统计平均值。

量子力学显露出一种内禀统计行为。同样的一个实验重复地做很多次，每次实验的测量结果通常不会一样，只有从很多次的实验结果计算出来的统计平均值，才是可复制的数值。量子理论不能预测单次实验的测量结果，量子理论可以用期望值来预测多次实验得到的统计平均值。

采用狄拉克标记，假设量子系统的量子态为 $|\psi\rang$，则对于这量子态，可观察量 $O$ 的期望值 $\lang O\rang$ 定义为

$\lang O \rang\ \stackrel{def}{=}\ \lang \psi |\hat{O} | \psi \rang$。

其中，$\hat{O}$ 是对应于可观察量 $O$ 的算符。

## 量子力学形式论

虽然量子力学与古典力学计算实验平均值的方法相同，但是，量子力学形式论里对于可观察量的数学表述与古典的测度论有很显著的不同。对应于可观察量的量子算符可能有很多本征值，而测量结果只能是其中一个本征值，而且，每一个本征值出现的机会呈几率性。测量这个动作会将量子系统的量子态改变为对应于本征值的本征态，并且，在之后短暂片刻内，量子系统的量子态是这本征态。

以数学表述，对应于可观察量 $O$ 的量子算符 $\hat{O}$ 是一个厄米算符，量子态是以态向量的形式存在于向量空间。假设量子系统的量子态为 $|\psi\rang$，则对于这量子态，可观察量 $O$ 的期望值 $\lang O\rang$ 定义为

$\lang O \rang\ \stackrel{def}{=}\ \lang \psi |\hat{O} | \psi \rang$。

假设算符 $\hat{O}$ 的一组本征态 $|e_i\rang,\quad i=1,\,2,\,3,\,\dots\ $ 形成了一个具有正交归一性的基底：

$\lang e_i |e_j\rang=\delta_{ij}$。

其中，$\delta_{ij}$ 是克罗内克函数。

本征态 $|e_i\rang$ 的本征值为 $O_i$：

$\hat{O} |e_i \rang=O_i|e_i \rang$。

量子态 $|\psi\rang$ 可以展开为这些本征态的线性组合：

$|\psi\rang=\sum_i c_i|e_i\rang$。

其中，$c_i=\lang e_i |\psi \rang$ 是复系数，是在量子态 $|e_i\rang$ 里找到量子态 $|\psi\rangle$ 的几率幅。

应用全等式

$\sum_{i} |e_i\rang\lang e_i |=1$。

可观察量 $O$ 的期望值可以写为

$\begin{align} \lang O \rang & = \lang \psi |\hat{O} | \psi \rang \\ <pre> & = \sum_{i,j} \lang\psi|e_i\rang\lang e_i |\hat{O}|e_j\rang\lang e_j |\psi \rang \\ & = \sum_{i,j} \lang\psi|e_i\rang\lang e_i |e_j\rang\lang e_j |\psi \rang O_i \\ & = \sum_i |\lang e_i |\psi \rang|^2 O_i \\ </pre> \end{align}$。

这表达式很像是一个算术平均式，它表明了期望值的物理意义：本征值 $O_i$ 是实验的可能结果，对应的系数 $|\lang e_i|\psi\rang|^2=|c_i|^2$ 是这结果可能会发生的几率。总合所有本征值与其对应的几率系数的乘积，就可以得到期望值。

## 动力量子系统的期望值

当思考动力量子系统时，态向量 $|\psi\rang$ 或算符 $\hat{O}$，两者之中，任何一个，都可以设定为与时间有关，这决定于采用薛定谔绘景或海森堡绘景。不论选择的是那一种绘景，最后求得的期望值都是相同的。

在海森堡绘景里，算符被设定为与时间有关，而量子态则在初始时间 $t=0$ 就被固定，与时间无关。另一种称为薛定谔绘景的理论方法设定量子算符与时间无关，又设定量子态与时间有关。在概念方面或在数学方面，这两种绘景等价，推导出的结果一样。大多数初级量子力学教科书采用的是薛定谔绘景，通过生动活泼的量子态，学生可以迅速地了解量子系统如何随着时间演变。海森堡绘景比较适用于研究一些像对称性或守恒定律的基础论题领域，例如量子场论，或者研究超大自由度系统的学术，例如统计力学。

## 系综平均值

<image>

系综是一组量子系统。概念而言，在系综里，量子系统的数量为无穷多。系综又分为纯系综与混系综。纯系综的每一个量子系统都具有同样的量子态，这量子态也可以用来代表纯系综。前面几节所论述的对象主要是纯系综。例如，从斯特恩-革拉赫实验仪器分裂出来的两道银子束，一道是量子态为上旋的纯系综 $\mathcal{E}_{up}$，另一道是量子态为下旋的纯系综 $\mathcal{E}_{down}$。

混系综的量子系统可以具有不同的量子态 $|\psi^{(i)}\rang$。例如，在有一种混系综 $\mathcal{E}_{mix}$ 的所有量子系统里，量子态为上旋的占50%，量子态为上旋的占50%。混系综不能用单独态向量设定，混系综是用密度算符 $\hat{\rho}$ 设定：

$\hat{\rho}= \sum_i w_i |\psi^{(i)}\rang\lang\psi^{(i)} |$。

其中，$w_i$ 是找到量子态为 $|\phi_i\rang$ 的量子系统在系综里的几率。

- 纯系综 $\mathcal{E}_{up}$ 的密度算符为 $|\uparrow\rang\lang\uparrow |$。
- 纯系综 $\mathcal{E}_{down}$ 的密度算符为 $|\downarrow\rang\lang\downarrow |$。
- 混系综 $\mathcal{E}_{mix}$ 的密度算符为 $\frac{1}{2}( |\uparrow\rang\lang\uparrow | + |\downarrow\rang\lang\downarrow |)$。

以算符 $\hat{O}$ 的本征态 $|e_i\rang,\quad i=1,\,2,\,3,\,\dots\ $ 形成的基底来表示对应于密度算符的密度矩阵 $\rho$：

$\rho_{jk}= \lang e_j|\rho|e_k\rang=\sum_i w_i \lang e_j|\psi^{(i)}\rang\lang \psi^{(i)} |e_k\rang$。

对于系综测量可观察量 $O$ 得到的“系纵平均值”又称为“系综期望值”，简称“期望值”，以方程式表示为

$\begin{align}\lang O\rang & = \sum_i w_i \lang \psi^{(i)} |\hat{O} | \psi^{(i)} \rang \\ <pre> & = \sum_i\sum_j w_i \lang \psi^{(i)} |e_j\rang\lang e_j |\hat{O}| \psi^{(i)} \rang \\ & = \sum_i\sum_j w_i \lang \psi^{(i)} |e_j\rang\lang e_j | \psi^{(i)} \rang O_j \\ & = \sum_i\sum_j w_i |\lang \psi^{(i)} |e_j\rang|^2 O_j \\ </pre> \end{align}$。

对于一般可观察量 $A$，系纵平均值表示为

$\begin{align}\lang A\rang & = \sum_i w_i \lang \psi^{(i)} |\hat{A} | \psi^{(i)} \rang \\ <pre> & = \sum_i\sum_{j,k} w_i \lang \psi^{(i)} |e_j\rang\lang e_j |\hat{A}| e_k\rang\lang e_k |\psi^{(i)} \rang \\ & = \sum_i\sum_{j,k} w_i \lang e_k |\psi^{(i)} \rang\lang \psi^{(i)} |e_j\rang\lang e_j |\hat{A}| e_k\rang \\ & = \sum_{j,k} \rho_{kj}\lang e_j |\hat{A}| e_k\rang \\ & = Trace(\rho A) \\ </pre> \end{align}$。

其中，$Trace(\rho A)$ 是矩阵 $\rho A$ 的迹数。

总结。

$\lang A \rang= \mathrm{Trace} (\rho A) = \sum_i w_i \lang \psi_i | A| \psi_i \rang=\sum_i w_i \lang A \rang_{\psi_i}$。

其中，$\lang A \rang_{\psi_i}$ 是对于量子态 $\psi_i$，可观察量 $A$ 的期望值。

## 简例

举一个相当简单的例子，假设 $\hat{\Lambda}$ 是一个投影算符，则本征值为 $0$ 或 $1$。这对应于一种“是非题”类型的物理实验，这例子的期望值是实验结果为 $1$ 的几率，可以计算为

$\lang \Lambda\rang= | \hat{\Lambda} \psi |^2$。

## 位置空间案例

采用位置空间表现，设想一个移动于一维空间的量子粒子。在这里，希尔伯特空间是 $\mathcal{H} = L^2(\mathbb{R})$，是实值定义域的平方可积函数的空间。

波函数 $\psi(x)$ 定义为

$\psi(x)\ \stackrel{def}{=}\ \lang x|\psi\rang$。

其中，$|x\rang$ 是位置算符 $\hat{x}$ 的本征态。

两个态向量的内积是

$\lang \psi_1| \psi_2 \rang = \int \psi_1^*(x)\psi_2(x) \, \mathrm{d}x$。

对于任意量子态 $\psi$，可观察量 $x$ 的期望值为

$\lang x \rang\ \stackrel{def}{=}\ \lang \psi | \hat{x} |\psi \rang$。

位置算符 $\hat{x}$ 作用于量子态 $|\psi\rang$ 的结果，表现于位置空间，等价于波函数 $\psi(x)$ 与 $x$ 的乘积，所以。

$\lang x \rang =\int_{ - \infty}^{\infty} \psi^\ast (x) \, x \, \psi(x) \, \mathrm{d}x = \int_{ - \infty}^{\infty} x \, |\psi(x)|^2 \, \mathrm{d}x$。

粒子处于 $x$ 与 $x+dx$ 微小区间内的几率是

$p(x) \mathrm{d}x = \psi^*(x)\psi(x) \mathrm{d}x$。

粒子位置与几率的乘积在位置空间的积分，就是粒子位置的期望值。

通常而言，对于可观察量 $O$ 的量子算符 $\hat{O}$，假若能够找到其表现于位置空间的位置算符 $\hat{\mathfrak{O}}$ 的形式，就可以计算出 $O$ 的期望值。例如，表现于位置空间的动量算符 $\hat{\mathfrak{P}}$ 的形式为：

$\hat{\mathfrak{P}}= \frac{\hbar}{i}\frac{\mathrm{d}}{\mathrm{d}x}$。

所以，动量的期望值为

$\lang P \rang=\frac{\hbar}{i} \int_{-\infty}^{\infty} \psi^*(x) \, \frac{d\psi(x)}{dx}\, \mathrm{d}x$。

## 参阅

- 维里定理
- 埃伦费斯特定理