量子力学的数学框架

量子力学不同于经典力学的地方，不只是物理图像，更在于它用了一套全新的数学语言。这套语言叫做线性代数——向量、算符、本征值，这些概念在量子力学中有着深刻的物理含义。掌握这套数学框架，是理解量子力学深层结构的关键。

从箭头到函数：向量空间的推广

在中学物理里，向量就是带方向的箭头，可以相加、可以乘以数。量子力学把这个概念大幅推广：波函数本身就是一种“向量”，只不过它不是三维空间中的箭头，而是生活在一个抽象的函数空间里。

向量空间的基本性质

一个向量空间需要满足若干基本规则。设 $f$ 、 $g$ 是空间中的元素（可以是函数）， $a$ 、 $b$ 是复数，则：

普通的三维向量空间 $\mathbb{R}^3$ 是最熟悉的例子。量子力学中用到的是复数向量空间，元素是复值函数，满足完全相同的规则。

内积：衡量两个函数的“重叠”

两个三维向量 $\vec{a}$ 和 $\vec{b}$ 的点积 $\vec{a} \cdot \vec{b} = a_x b_x + a_y b_y + a_z b_z$ 给出了它们之间的某种“关联程度”。对于函数，类似的概念叫做内积：

\langle f | g \rangle = \int_{-\infty}^{+\infty} f^*(x)\, g(x)\, dx

其中 $f^*$ 表示 $f$ 的复数共轭。内积有以下性质：

$\langle f | f \rangle$ 的平方根称为函数 $f$ 的“模”或“范数”，记为 $\|f\|$ 。

正交与归一化

如果两个函数的内积为零， $\langle f | g \rangle = 0$ ，称它们正交，这是三维向量垂直关系的推广。

如果一个函数满足 $\langle f | f \rangle = 1$ ，称它是归一化的。

量子力学中的波函数必须是归一化的：

\langle \Psi | \Psi \rangle = \int_{-\infty}^{+\infty} |\Psi(x)|^2\, dx = 1

这保证了全空间找到粒子的概率之和为 1。

一组函数 $\{f_n\}$ 如果既正交又各自归一化，称为正交归一系：

\langle f_m | f_n \rangle = \delta_{mn} = \begin{cases} 1 & m = n \\ 0 & m \neq n \end{cases}

其中 $\delta_{mn}$ 称为克罗内克 delta 符号。

希尔伯特空间

量子力学所用的特殊向量空间叫做希尔伯特空间，记作 $\mathcal{H}$ 。它是满足以下条件的函数空间：

配备了内积 $\langle f | g \rangle$
空间是“完备的”（技术上的要求，简单说就是极限运算后仍在空间内）

物理上，希尔伯特空间中的每一个元素对应粒子的一种量子态。粒子在任意时刻的状态，用希尔伯特空间中的一个归一化函数 $\Psi$ 来描述。

狄拉克发明了一套极为简洁的符号：把量子态 $\Psi$ 写作竖线加尖括号的形式 $|\Psi\rangle$ （称为“右矢”或 ket），把它的共轭 $\Psi^*$ 写作 $\langle\Psi|$ （称为“左矢”或 bra）。内积 $\langle\phi\vert\Psi\rangle$ 正好就是“bra-ket”（括号），这套记号系统在量子力学教材中极为普遍。

基展开与完备性

在三维空间中，任意向量可以用三个基向量 $\hat{x}$ 、 $\hat{y}$ 、 $\hat{z}$ 展开：

\vec{v} = v_x \hat{x} + v_y \hat{y} + v_z \hat{z}

希尔伯特空间中，如果存在一组正交归一的函数 $\{f_n\}$ ，使得任意函数 $f$ 都可以展开为：

f = \sum_{n=1}^{\infty} c_n f_n, \quad c_n = \langle f_n | f \rangle

则称这组函数是完备的正交归一基。

展开系数 $c_n$ 的物理意义至关重要： $|c_n|^2$ 就是测量某个可观测量时得到第 $n$ 个结果的概率。

以无限深方势阱的定态为例。势阱宽度为 $a$ ，定态波函数 $\psi_n(x) = \sqrt{2/a}\,\sin(n\pi x / a)$ ，它们构成一组完备的正交归一基。任意满足边界条件的函数都可以展开：

f(x) = \sum_{n=1}^{\infty} c_n \psi_n(x), \quad c_n = \int_0^a \psi_n^*(x) f(x)\, dx

算符与可观测量

在经典力学中，位置、动量、能量都是具体的数值。量子力学中，每个可观测量对应一个作用在希尔伯特空间上的算符。

算符的基本概念

算符是一个“映射规则”：把一个函数变成另一个函数。记算符为 $\hat{Q}$ ，则 $\hat{Q} f$ 是算符作用在函数 $f$ 上得到的新函数。

常见的算符：

动量算符 $\hat{p} = -i\hbar\dfrac{\partial}{\partial x}$ 的形式可以这样理解：对于平面波 $\Psi = e^{ipx/\hbar}$ ，作用算符后恰好得到 $p\Psi$ ，说明这个算符确实“提取”出了动量值。

厄米算符

可观测量的测量结果必须是实数。哪类算符能保证这一点？答案是厄米算符（也叫自伴算符）。

算符 $\hat{Q}$ 是厄米的，当且仅当对任意两个函数 $f$ 、 $g$ ，都有：

\langle f | \hat{Q} g \rangle = \langle \hat{Q} f | g \rangle

等价地写作：

\int f^* (\hat{Q} g)\, dx = \int (\hat{Q} f)^* g\, dx

以动量算符为例，验证它是厄米的。利用分部积分（假设函数在无穷远处为零）：

\int f^* \left(-i\hbar \frac{\partial g}{\partial x}\right) dx = -i\hbar \left[f^* g\right]_{-\infty}^{+\infty} + \int \left(-i\hbar \frac{\partial f}{\partial x}\right)^* g\, dx = \int \left(\hat{p} f\right)^* g\, dx

确实满足厄米条件。哈密顿算符 $\hat{H}$ 同样是厄米的，这保证了能量本征值必为实数。

量子力学的一条核心规则：每个可观测量对应一个厄米算符，测量该可观测量的所有可能结果，就是该算符的本征值（一定是实数）。

本征值方程

如果一个函数 $f$ 满足：

\hat{Q} f = q f

则称 $f$ 是算符 $\hat{Q}$ 的一个本征函数（或本征态）， $q$ 是对应的本征值。对处于本征态 $f$ 的粒子测量可观测量 $Q$ ，结果必然是 $q$ ，没有任何不确定性。

以哈密顿算符为例，时间无关薛定谔方程：

\hat{H}\psi = E\psi

就是哈密顿算符的本征值方程， $\psi$ 是能量本征态， $E$ 是对应的能量本征值。

对于无限深方势阱，能量本征值为：

E_n = \frac{n^2 \pi^2 \hbar^2}{2ma^2}, \quad n = 1, 2, 3, \ldots

每个 $E_n$ 都是实数，符合厄米算符本征值的特点。

厄米算符有两个重要定理：

实本征值定理：厄米算符的所有本征值都是实数。
$\hat{Q} \psi_n = q_n \psi_n, \quad q_n \in \mathbb{R}$
正交性定理：对应不同本征值的本征函数彼此正交。
$\langle \psi_m \mid \psi_n \rangle = 0, \quad (q_m \neq q_n)$

可观测量的统计诠释

当粒子处于一般量子态 $|\Psi\rangle$ （不一定是本征态）时，测量某个可观测量 $Q$ 会怎样？

将 $\Psi$ 展开在 $\hat{Q}$ 的本征函数基上：

\Psi = \sum_n c_n \psi_n

其中 $\psi_n$ 是 $\hat{Q}$ 的本征态，满足 $\hat{Q}\psi_n = q_n \psi_n$ ，且 $c_n = \langle\psi_n|\Psi\rangle$ 。

玻恩的统计诠释给出：

P(q_n) = |c_n|^2

即测量结果为 $q_n$ 的概率是 $|c_n|^2$ 。由于归一化条件 $\langle\Psi|\Psi\rangle = 1$ ，有：

\sum_n |c_n|^2 = 1

所有可能结果的概率之和恰好等于 1，非常自洽。

可观测量 $Q$ 的期望值（平均值）为：

\langle Q \rangle = \sum_n q_n |c_n|^2 = \langle\Psi|\hat{Q}|\Psi\rangle = \int \Psi^* \hat{Q}\Psi\, dx

这个积分公式给出了量子力学中计算期望值的通用方法。

以一维谐振子为例，处于叠加态 $\Psi = \frac{1}{\sqrt{2}}(\psi_0 + \psi_1)$ 的粒子（ $\psi_0$ 、 $\psi_1$ 分别是基态和第一激发态）：

测量会让量子态“坍缩”到对应的本征态上。如果对 $\Psi = \frac{1}{\sqrt{2}}(\psi_0 + \psi_1)$ 测量能量得到 $E_0$ ，则测量之后系统的状态变为 $\psi_0$ ，再次测量必然仍得 $E_0$ 。这种测量引起的状态改变，是量子力学与经典力学最根本的区别之一。

对易关系与不确定性原理

两个算符 $\hat{A}$ 和 $\hat{B}$ 的对易子（commutator）定义为：

[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}

如果 $[\hat{A}, \hat{B}] = 0$ ，称二者对易；否则不对易。

位置与动量的对易关系

计算 $[\hat{x}, \hat{p}]$ 作用在任意函数 $f(x)$ 上：

\hat{x}\hat{p}\,f = x \cdot \left(-i\hbar \frac{\partial f}{\partial x}\right) = -i\hbar x f'

\hat{p}\hat{x}\,f = -i\hbar \frac{\partial (xf)}{\partial x} = -i\hbar (f + x f')

两者相减：

[\hat{x}, \hat{p}]\,f = -i\hbar x f' - (-i\hbar f - i\hbar x f') = i\hbar f

因此：

[\hat{x}, \hat{p}] = i\hbar

这个关系叫做正则对易关系，是量子力学的基本出发点之一，其重要性不亚于薛定谔方程本身。

$[\hat{x}, \hat{p}] = i\hbar \neq 0$ 意味着位置和动量不能同时具有确定值。在经典力学中， $x$ 和 $p$ 只是两个数，乘法当然可以交换顺序；但在量子力学中， $\hat{x}$ 和 $\hat{p}$ 是算符，作用顺序不同，结果也不同。

广义不确定关系的推导

对任意两个厄米算符 $\hat{A}$ 和 $\hat{B}$ ，定义它们的标准差：

\sigma_A^2 = \langle (\hat{A} - \langle A \rangle)^2 \rangle, \quad \sigma_B^2 = \langle (\hat{B} - \langle B \rangle)^2 \rangle

可以严格证明（此处略去推导细节），以下不等式恒成立：

\sigma_A \sigma_B \geq \frac{1}{2}\left| \langle [\hat{A}, \hat{B}] \rangle \right|

这就是广义不确定关系（Robertson不确定关系）。

将 $\hat{A} = \hat{x}$ 、 $\hat{B} = \hat{p}$ 代入，利用 $[\hat{x}, \hat{p}] = i\hbar$ ：

\sigma_x \sigma_p \geq \frac{1}{2}\left| \langle i\hbar \rangle \right| = \frac{\hbar}{2}

这就是海森堡位置-动量不确定关系：

\sigma_x \sigma_p \geq \frac{\hbar}{2}

不确定性不是测量仪器不精确造成的，而是量子态本身的内在属性。

能量-时间不确定关系

另一个常用的不确定关系涉及能量和时间：

\sigma_E \cdot \Delta t \geq \frac{\hbar}{2}

其中 $\Delta t$ 是粒子状态发生可观测变化所需的典型时间。这个关系解释了许多物理现象，例如激发态能级的有限宽度：一个原子激发态的寿命 $\tau$ 越短，该能级的能量不确定度 $\sigma_E$ 就越大，对应辐射谱线越宽，这称为自然线宽。

下表给出一些具体估算：

两个算符对易（ $[\hat{A},\hat{B}]=0$ ），意味着对应的两个可观测量可以同时具有确定值，它们共享同一组本征态。两个算符不对易，则二者无法同时确定，这是量子世界区别于经典世界最本质的特征。

练习题

选择题

题目一（考查知识点：内积与归一化）

以下哪个表达式正确表示量子力学中波函数 $\Psi(x)$ 的归一化条件？

A. $\displaystyle\int_{-\infty}^{+\infty} \Psi(x)\, dx = 1$

B. $\displaystyle\int_{-\infty}^{+\infty} |\Psi(x)|^2\, dx = 1$

C. $\displaystyle\int_{-\infty}^{+\infty} \Psi^*(x)\, dx = 1$

D. $\Psi^*\Psi = 1$

题目二（考查知识点：厄米算符与本征值）

关于厄米算符，以下说法正确的是？

A. 厄米算符的本征值可以是复数

B. 对应不同本征值的本征函数之间一定正交

C. 厄米算符只有动量算符和位置算符两种

D. 厄米算符作用在任意函数上结果都是实函数

题目三（考查知识点：位置-动量对易关系）

下列对 $[\hat{x}, \hat{p}] = i\hbar$ 的理解，哪一项是正确的？

A. 这说明在量子力学中位置和动量的乘积恒等于 $i\hbar$

B. 这说明先测位置再测动量与先测动量再测位置的结果总是相差 $i\hbar$

C. 这是位置算符和动量算符不能交换作用顺序的数学表达，直接导致位置和动量不能同时精确确定

D. 这个关系只在高速粒子（接近光速）时才成立

正确答案：C

$[\hat{x}, \hat{p}] = i\hbar$ 表示的是算符作用顺序不同导致结果不同，这种不对易关系通过广义不确定原理直接给出 $\sigma_x \sigma_p \geq \hbar/2$ ，即位置和动量不能同时精确确定。A 混淆了算符的对易子和算符的乘积；B 描述的是测量过程，对易子是算符之间的代数关系，不是直接描述测量结果之差；D 错误，该关系对所有速度下的量子粒子均成立，与速度无关。

题目四（考查知识点：态的叠加与测量概率）

一个粒子处于态 $\Psi = \dfrac{1}{\sqrt{3}}\psi_1 + \sqrt{\dfrac{2}{3}}\psi_2$ ，其中 $\psi_1$ 、 $\psi_2$ 分别是能量 $E_1$ 、 $E_2$ 的本征态，且 $E_1 = 1\ \text{eV}$ ， $E_2 = 4\ \text{eV}$ 。对该粒子测量能量，期望值为？

A. $2.5\ \text{eV}$

B. $3\ \text{eV}$

C. $\dfrac{1}{3}\ \text{eV}$

D. $\dfrac{11}{3}\ \text{eV}$

正确答案：B

两个系数分别为 $c_1 = 1/\sqrt{3}$ ， $c_2 = \sqrt{2/3}$ ，概率分别为：

$|c_1|^2 = \frac{1}{3}, \quad |c_2|^2 = \frac{2}{3}$

验证归一化： $\dfrac{1}{3} + \dfrac{2}{3} = 1$ ✓

期望值：

$\langle E \rangle = \frac{1}{3} \times 1\ \text{eV} + \frac{2}{3} \times 4\ \text{eV} = \frac{1}{3} + \frac{8}{3} = \frac{9}{3} = 3\ \text{eV}$

选项 B 正确。

计算题

计算题一（考查知识点：动量算符、厄米算符验证）

考虑定义在区间 $[0, a]$ 上的两个函数 $f(x) = \sin(\pi x / a)$ 与 $g(x) = \sin(2\pi x / a)$ （均满足边界条件 $f(0)=f(a)=g(0)=g(a)=0$ ）。

（1）计算内积 $\langle f | g \rangle = \displaystyle\int_0^a f(x)\, g(x)\, dx$ ，并说明这两个函数是否正交。

（2）对 $f(x)$ 分别计算归一化系数：满足 $\langle \tilde{f}|\tilde{f}\rangle = 1$ 的归一化波函数 $\tilde{f}(x) = N\sin(\pi x/a)$ 中， $N$ 应取何值（ $N > 0$ ）？

已知积分公式： $\displaystyle\int_0^a \sin(m\pi x/a)\sin(n\pi x/a)\,dx = \begin{cases} a/2 & m=n \\ 0 & m\neq n \end{cases}$ （ $m, n$ 为正整数）

（1）计算内积：

$\langle f | g \rangle = \int_0^a \sin\!\left(\frac{\pi x}{a}\right) \sin\!\left(\frac{2\pi x}{a}\right) dx$

由已知积分公式， $m=1 \neq n=2$ ，故：

$\langle f | g \rangle = 0$

因为内积为零， $f(x)$ 与 $g(x)$ 正交。

（2）求归一化系数 $N$ ：

$\langle \tilde{f}|\tilde{f}\rangle = N^2 \int_0^a \sin^2\!\left(\frac{\pi x}{a}\right) dx = N^2 \cdot \frac{a}{2} = 1$

解得：

$N = \sqrt{\frac{2}{a}}$

因此归一化波函数为 $\tilde{f}(x) = \sqrt{\dfrac{2}{a}}\,\sin\!\left(\dfrac{\pi x}{a}\right)$ ，这正是宽度为 $a$ 的无限深方势阱基态波函数的标准形式。

计算题二（考查知识点：不确定性原理的应用）

利用海森堡不确定关系 $\sigma_x \sigma_p \geq \dfrac{\hbar}{2}$ 估算氢原子基态的能量。

设电子被约束在半径为 $r$ 的范围内，则位置不确定度约为 $\sigma_x \sim r$ ，由不确定关系可估算动量的最小不确定度，从而估算动能。

（1）由 $\sigma_x \sim r$ 和不确定关系，写出动量大小的估算值 $p \sim \hbar / r$ 。

（2）电子的总能量由动能和电势能组成：

$E(r) = \frac{p^2}{2m_e} - \frac{e^2}{4\pi\varepsilon_0 r}$

将 $p \sim \hbar/r$ 代入，得到 $E$ 关于 $r$ 的表达式。

（3）对 $E(r)$ 关于 $r$ 求极小值，求出使能量最小的 $r_{\min}$ ，并将其与玻尔半径 $a_0 = \dfrac{4\pi\varepsilon_0\hbar^2}{m_e e^2} \approx 0.529\ \text{Å}$ 比较。

（4）将 $r_{\min}$ 代回求出最低能量 $E_{\min}$ ，与氢原子基态能量 $-13.6\ \text{eV}$ 比较，说明不确定性原理的估算是否合理。

已知： $m_e = 9.11\times10^{-31}\ \text{kg}$ ， $e = 1.6\times10^{-19}\ \text{C}$ ， $\hbar = 1.055\times10^{-34}\ \text{J}{\cdot}\text{s}$ ， $\varepsilon_0 = 8.85\times10^{-12}\ \text{C}^2/(\text{N}{\cdot}\text{m}^2)$ ， $1\ \text{eV} = 1.6\times10^{-19}\ \text{J}$ 。

（1）动量估算：

由不确定关系 $\sigma_x \sigma_p \geq \hbar/2$ ，取 $\sigma_x \sim r$ ，则 $p \sim \sigma_p \sim \hbar / r$ 。

（2）总能量关于 $r$ 的表达式：

$E(r) = \frac{\hbar^2}{2m_e r^2} - \frac{e^2}{4\pi\varepsilon_0 r}$

（3）求极小值：

对 $r$ 求导并令其为零：

$\frac{dE}{dr} = -\frac{\hbar^2}{m_e r^3} + \frac{e^2}{4\pi\varepsilon_0 r^2} = 0$

$\frac{\hbar^2}{m_e r^3} = \frac{e^2}{4\pi\varepsilon_0 r^2}$

$r_{\min} = \frac{4\pi\varepsilon_0 \hbar^2}{m_e e^2} = a_0$

结果与玻尔半径完全一致，说明不确定性原理的估算给出了正确的原子尺度。

（4）最低能量：

将 $r_{\min} = a_0$ 代入：

$E_{\min} = \frac{\hbar^2}{2m_e a_0^2} - \frac{e^2}{4\pi\varepsilon_0 a_0}$

利用 $a_0 = 4\pi\varepsilon_0\hbar^2/(m_e e^2)$ ，可得：

$E_{\min} = -\frac{m_e e^4}{2(4\pi\varepsilon_0)^2\hbar^2} = -13.6\ \text{eV}$

数值计算验证：

$E_{\min} \approx -\frac{(9.11\times10^{-31})(1.6\times10^{-19})^4}{2(4\pi\times8.85\times10^{-12})^2(1.055\times10^{-34})^2} \approx -2.18\times10^{-18}\ \text{J} \approx -13.6\ \text{eV}$

结果与氢原子基态能量完全吻合，说明不确定性原理不只是一个限制条件，它实际上决定了原子的大小和稳定性：电子不能无限靠近原子核，因为那样动量不确定度将趋于无穷，动能将远大于势能的降低，系统总能量反而升高。