01-角动量算符与对易关系

文档摘要

角动量算符与对易关系本节摘要:角动量是物理学中最深刻的物理量之一,在量子力学中尤其如此。本节我们将经典角动量 L⃗ = r⃗ × p⃗ 翻译为算符语言,得到量子角动量算符 L̂。我们将推导角动量算符的基本对易关系 [L̂ₓ, L̂ᵧ] = iℏL̂z(及其轮换)。这些对易关系是角动量量子化的代数根源——后面我们将看到,角动量的所有量子化性质(量子数 l、m 的取值)都从这一对易代数中自然涌现,无需解任何微分方程。一、经典角动量回顾角动量的定义在经典力学中,粒子相对于原点的角动量定义为: $$ \vec{L} = \vec{r} \times \vec{p} $$ 其中 r⃗ = (x, y, z) 是粒子的位置矢量,p⃗ = (pₓ, pᵧ, pz) 是动量矢量。

角动量算符与对易关系

本节摘要:角动量是物理学中最深刻的物理量之一,在量子力学中尤其如此。本节我们将经典角动量 L⃗ = r⃗ × p⃗ 翻译为算符语言,得到量子角动量算符 L̂。我们将推导角动量算符的基本对易关系 [L̂ₓ, L̂ᵧ] = iℏL̂_z(及其轮换)。这些对易关系是角动量量子化的代数根源——后面我们将看到,角动量的所有量子化性质(量子数 l、m 的取值)都从这一对易代数中自然涌现,无需解任何微分方程。

一、经典角动量回顾

角动量的定义

在经典力学中,粒子相对于原点的角动量定义为:

\vec{L} = \vec{r} \times \vec{p}

其中 r⃗ = (x, y, z) 是粒子的位置矢量,p⃗ = (pₓ, pᵧ, p_z) 是动量矢量。三个分量为:

L_x = y p_z - z p_y

L_y = z p_x - x p_z

L_z = x p_y - y p_x

角动量的物理意义

角动量描述粒子绕某点的"旋转运动"。在中心力场(如太阳对地球的引力、原子核外电子的库仑力)中,角动量是守恒量——这使它成为求解这类问题的核心工具。

经典图像下,角动量是一个三维矢量,三个分量 Lₓ、Lᵧ、L_z 都可以同时具有确定值。例如,地球绕太阳公转,其角动量大小与方向都是确定的。

但在量子力学中,情况发生了根本变化——角动量的三个分量不能同时确定。

二、量子角动量算符

算符化

按照第 3 章的方法,把经典角动量中的 r⃗ 和 p⃗ 替换为算符 r⃗̂ 与 p⃗̂:

\hat{\vec{L}} = \hat{\vec{r}} \times \hat{\vec{p}}

具体到三个分量:

\hat{L}_x = \hat{y}\hat{p}_z - \hat{z}\hat{p}_y = -i\hbar \left(y \frac{\partial}{\partial z} - z \frac{\partial}{\partial y}\right)

\hat{L}_y = \hat{z}\hat{p}_x - \hat{x}\hat{p}_z = -i\hbar \left(z \frac{\partial}{\partial x} - x \frac{\partial}{\partial z}\right)

\hat{L}_z = \hat{x}\hat{p}_y - \hat{y}\hat{p}_x = -i\hbar \left(x \frac{\partial}{\partial y} - y \frac{\partial}{\partial x}\right)

注意:位置算符 x̂ 与不同方向的动量算符 p̂ⱼ(i ≠ j)是可对易的(因为 [x̂, p̂ᵧ] = 0),所以这里没有算符顺序问题。

角动量平方算符

除了三个分量算符外,还有一个非常重要的算符——角动量平方算符:

\hat{L}^2 = \hat{L}_x^2 + \hat{L}_y^2 + \hat{L}_z^2

它代表角动量的"大小"(模长平方)。在量子力学中,L̂² 比 L̂ₓ、L̂ᵧ、L̂_z 任何一个分量都更重要,因为它能与所有分量算符对易(下文推导)。

球坐标下的简洁形式

在球坐标 (r, θ, φ) 下,角动量算符有更简洁的形式。特别是 L̂_z:

\hat{L}_z = -i\hbar \frac{\partial}{\partial \phi}

仅与方位角 φ 有关!这一简洁性使得 L̂_z 的本征值方程极易求解。

类似地,L̂² 在球坐标下也只依赖于角度:

\hat{L}^2 = -\hbar^2 \left[\frac{1}{\sin\theta} \frac{\partial}{\partial \theta}\left(\sin\theta \frac{\partial}{\partial \theta}\right) + \frac{1}{\sin^2\theta} \frac{\partial^2}{\partial \phi^2}\right]

注意:L̂² 与 L̂_z 都不依赖于径向坐标 r。这一性质使得球坐标下的角动量问题可以与径向问题完全分离,极大简化了氢原子的求解。

三、角动量的对易关系

核心对易关系

通过直接计算(用 x̂, p̂ 基本对易关系 [x̂, p̂] = iℏ),可以得到角动量算符之间的对易关系:

[\hat{L}_x, \hat{L}_y] = i\hbar \hat{L}_z

[\hat{L}_y, \hat{L}_z] = i\hbar \hat{L}_x

[\hat{L}_z, \hat{L}_x] = i\hbar \hat{L}_y

这三个关系可以用紧凑的形式表示为:

[\hat{L}_i, \hat{L}_j] = i\hbar \, \epsilon_{ijk} \hat{L}_k

其中 εᵢⱼₖ 是 Levi-Civita 符号(全反对称张量)。

物理含义:三个分量不可同时确定

这三个对易关系告诉我们:角动量的三个分量两两不可对易,因此三个分量不能同时具有确定值。

这与经典物理形成鲜明对比——经典角动量是一个矢量,三个分量都确定。但量子角动量不同:我们最多只能确定一个分量(通常选 L_z)以及角动量的大小 L²。

为什么不三个分量都确定?

物理直觉:如果三个分量都确定,那么角动量矢量 L⃗ 的方向就完全确定了。但量子力学的"不确定性"禁止这种完全的空间方向确定性——角动量的方向只能部分确定。

更形象地说:量子角动量不是指向某个方向的"矢量",而是绕某个轴的"圆锥"——我们知道它的大小(L²)与某个轴向投影(L_z),但不知道它在圆锥上的具体位置。这就是所谓的**"角动量圆锥"图像**,下一节我们会详细讨论。


<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 600 320" font-family="sans-serif" font-size="13">
  <rect width="600" height="320" fill="#fafafa"/>
  <text x="300" y="25" text-anchor="middle" font-weight="bold">量子角动量:大小确定但方向不确定</text>
  <!-- z 轴 -->
  <line x1="200" y1="280" x2="200" y2="60" stroke="#666" stroke-width="1.5"/>
  <text x="195" y="55" text-anchor="end">z</text>
  <!-- 角动量圆锥(几个不同方向) -->
  <ellipse cx="200" cy="280" rx="0" ry="0" fill="none"/>
  <line x1="200" y1="280" x2="320" y2="160" stroke="#1e88e5" stroke-width="2"/>
  <line x1="200" y1="280" x2="280" y2="130" stroke="#1e88e5" stroke-width="2"/>
  <line x1="200" y1="280" x2="120" y2="160" stroke="#1e88e5" stroke-width="2"/>
  <line x1="200" y1="280" x2="160" y2="130" stroke="#1e88e5" stroke-width="2"/>
  <!-- 圆锥轮廓(椭圆) -->
  <ellipse cx="220" cy="145" rx="100" ry="22" fill="none" stroke="#999" stroke-dasharray="4,3"/>
  <text x="345" y="160" fill="#1e88e5">L⃗ 方向在圆锥上</text>
  <!-- L_z 标注 -->
  <line x1="200" y1="280" x2="200" y2="145" stroke="#e53935" stroke-width="2"/>
  <text x="180" y="215" text-anchor="end" fill="#e53935">L_z 已知</text>
  <!-- L² 标注 -->
  <text x="430" y="105" fill="#43a047">|\|L⃗|\| = √(l(l+1))ℏ 已知</text>
  <text x="300" y="305" text-anchor="middle" font-size="11" fill="#666">z 方向投影 L_z 确定,但 x、y 分量不确定,矢量绕 z 轴旋转</text>
</svg>

L² 与分量的对易关系

一个极其重要的对易关系是:L̂² 与每个分量都对易:

[\hat{L}^2, \hat{L}_x] = [\hat{L}^2, \hat{L}_y] = [\hat{L}^2, \hat{L}_z] = 0

物理含义:L² 可以与任何一个分量(如 L_z)同时确定。这就是为什么我们通常选 L² 与 L_z 作为角动量的"对易完全集"——它们可以同时具有确定的本征值。

四、为什么对易关系如此重要?

代数决定一切

角动量的对易关系 [L̂ᵢ, L̂ⱼ] = iℏεᵢⱼₖL̂ₖ 是角动量的全部物理本质。后面我们将看到:

角动量大小的量子化 L² = l(l+1)ℏ²
z 方向投影的量子化 L_z = mℏ
量子数 l、m 的取值规则

所有这些结论都可以纯粹从对易关系推导出来,无需知道 L̂ 的具体表达式(微分形式)。这是算符力学威力的最佳展示。

一个深刻的思想

这一事实揭示了一个深刻的思想:物理量的本质,不在于它的具体形式,而在于它的代数结构。

无论角动量是"轨道角动量"(L̂ = r̂ × p̂,经典对应)还是"自旋角动量"(第 5 章),只要满足同样的对易关系,就具有同样的量子化性质。这种"由代数结构定义物理对象"的思想,在粒子物理、量子场论中被推到极致。

物理学的"群论语言"

角动量对易关系实际上是 SO(3) 旋转群的李代数。因此,角动量理论与旋转对称性、群论紧密相关。这种联系在 20 世纪物理学中至关重要——基本粒子的分类、规范理论、对称性破缺等都建立在这种群论语言上。第 5 章处理自旋时,我们将遇到 SU(2) 群(更一般的旋转群)。

五、角动量本征值问题

同时本征态

由于 [L̂², L̂_z] = 0,L² 与 L_z 可以有共同本征态。我们把这些共同本征态记为 |l, m⟩,满足:

\hat{L}^2 |l, m\rangle = \lambda |l, m\rangle

\hat{L}_z |l, m\rangle = \mu |l, m\rangle

其中 λ、μ 分别是 L² 与 L_z 的本征值(待定)。

下一节,我们将用升降算符方法,纯代数地求出 λ 和 μ,以及量子数 l、m 的取值规则。结果是:

\lambda = l(l+1)\hbar^2, \quad \mu = m\hbar

其中 l = 0, 1, 2, …,m = −l, −l+1, …, l。

用波函数表示

在坐标表象下,共同本征态 |l, m⟩ 对应的波函数是球谐函数 Yₗᵐ(θ, φ):

\langle r, \theta, \phi | l, m \rangle = Y_l^m(\theta, \phi)

球谐函数是一组定义在球面上的正交函数,在物理学的许多领域(电磁学、流体力学、地震学等)都有应用。本章我们不深入其具体形式,只关注其物理意义。

与哈密顿的对易

在中心力场(势能只依赖于 r,不依赖于 θ、φ)中,可以证明:

[\hat{H}, \hat{L}^2] = [\hat{H}, \hat{L}_z] = 0

这意味着:在中心力场中,能量、L²、L_z 都可以同时确定。这就是为什么氢原子问题(库仑势是中心力场)可以用 n、l、m 三个量子数描述——它们对应三个相互对易的算符。

本节要点回顾

角动量算符 L̂ = r̂ × p̂,其分量 L̂ₓ、L̂ᵧ、L̂_z 可用偏导表示。在球坐标下,L̂_z = −iℏ ∂/∂φ,形式极简。
核心对易关系:[L̂ᵢ, L̂ⱼ] = iℏεᵢⱼₖL̂ₖ,即 [L̂ₓ, L̂ᵧ] = iℏL̂_z 等。这些关系完全决定了角动量的量子化。
三个分量不可同时确定:由于两两不可对易,Lₓ、Lᵧ、L_z 不能同时具有确定值。
L² 与每个分量都对易:[L̂², L̂_z] = 0,因此 L² 与 L_z 可同时确定。这给出"角动量圆锥"图像。
代数决定一切:角动量的所有量子化性质都可从对易关系推出,无需具体表达式。
角动量对易关系是 SO(3) 旋转群的李代数,与现代物理的对称性语言紧密相关。
在中心力场中,[Ĥ, L̂²] = [Ĥ, L̂_z] = 0,因此能量、L²、L_z 都可同时确定,这给出了氢原子的量子数 n, l, m。

下一节,我们将用升降算符方法纯代数地求解角动量本征值,得到量子数 l、m 的取值规则,以及 L² 与 L_z 的本征值公式。