02-角动量的量子化

文档摘要

角动量的量子化本节摘要:本节是角动量理论的代数核心。我们将用与谐振子完全相同的升降算符方法,纯代数地推导出角动量的本征值。结果是优美的:角动量大小 L² = l(l+1)ℏ²,z 方向分量 Lz = mℏ,其中量子数 l = 0, 1, 2, …,m 取 −l 到 +l 之间的整数值。整个推导不涉及任何微分方程,完全建立在第 3 章的对易代数之上。这套代数结构将在第 5 章直接推广到自旋——只需把 l 的取值范围从整数推广到半整数即可。一、引入升降算符类比谐振子回忆第 3 章谐振子的求解:我们引入升降算符 â†、â,通过它们与哈密顿的对易关系 [N̂, â†] = â†,推出 â†|n⟩ 是本征值为 n+1 的态,从而"梯子"般构造出所有能级。角动量问题可以用完全相同的策略。

角动量的量子化

本节摘要:本节是角动量理论的代数核心。我们将用与谐振子完全相同的升降算符方法,纯代数地推导出角动量的本征值。结果是优美的:角动量大小 L² = l(l+1)ℏ²,z 方向分量 L_z = mℏ,其中量子数 l = 0, 1, 2, …,m 取 −l 到 +l 之间的整数值。整个推导不涉及任何微分方程,完全建立在第 3 章的对易代数之上。这套代数结构将在第 5 章直接推广到自旋——只需把 l 的取值范围从整数推广到半整数即可。

一、引入升降算符

类比谐振子

回忆第 3 章谐振子的求解:我们引入升降算符 â†、â,通过它们与哈密顿的对易关系 [N̂, â†] = â†,推出 â†|n⟩ 是本征值为 n+1 的态,从而"梯子"般构造出所有能级。

角动量问题可以用完全相同的策略。这里"哈密顿"对应 L²,"梯子算符"对应 L̂ₓ ± iL̂ᵧ。

定义角动量升降算符

定义升算符与降算符:

\hat{L}_+ = \hat{L}_x + i\hat{L}_y

\hat{L}_- = \hat{L}_x - i\hat{L}_y

它们互为厄米共轭:L̂₊† = L̂₋。

关键对易关系

利用 [L̂ₓ, L̂ᵧ] = iℏL̂_z 等,可以推出几个关键对易关系:

[\hat{L}^2, \hat{L}_\pm] = 0

[\hat{L}_z, \hat{L}_\pm] = \pm\hbar \hat{L}_\pm

第二个关系是关键:L̂₊ 与 L̂_z 的对易子是 +ℏL̂₊。这与谐振子中 [N̂, â†] = +â† 形式完全相同!这预示着 L̂₊ 也是某种"升算符"。

二、升降算符的作用

L̂±|l, m⟩ 是什么?

设 |l, m⟩ 是 L² 与 L_z 的共同本征态:

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

(暂用 λ、μ 记本征值,稍后确定。)

利用对易关系 [L̂_z, L̂₊] = +ℏL̂₊,可以推出:

\hat{L}_z \hat{L}_+ |l, m\rangle = (\hat{L}_+ \hat{L}_z + \hbar \hat{L}_+) |l, m\rangle = (\mu + \hbar) \hat{L}_+ |l, m\rangle

也就是说,L̂₊|l, m⟩ 也是 L̂_z 的本征态,但本征值变成了 μ + ℏ!这是"升一级"。类似地,L̂₋|l, m⟩ 是本征值为 μ − ℏ 的态,是"降一级"。

同时,由于 [L̂², L̂₊] = 0,L̂₊|l, m⟩ 仍然是 L² 的本征态,本征值不变(还是 λ)。所以升降算符只改变 m,不改变 l。

梯子图像

对固定的 l,所有可能的 |l, m⟩ 构成一把"梯子",L̂₊ 与 L̂₋ 是上下楼梯的工具。每个"阶梯"的高度是 ℏ(L_z 增加 ℏ)。

但梯子必须有顶有底——m 不能无限上升或下降。

三、量子数 m 的界限

上界与下界

为什么 m 不能无限上升?关键在于 L² 与 L_z 之间有关系。

注意 L² = Lₓ² + Lᵧ² + L_z²,而 Lₓ²、Lᵧ² 都是"平方"算符,其期望值非负。所以:

\langle L^2 \rangle \geq \langle L_z^2 \rangle

即 λ ≥ μ²。这意味着 m 不能无限增大——λ 是固定的(对固定的 l),所以 μ² 也不能无限大。

顶部条件

设最高 m 值为 m_max,对应状态 |l, m_max⟩。在这个态上,L̂₊ 作用应该"失效"——再升就违反 λ ≥ μ²:

\hat{L}_+ |l, m_{\max}\rangle = 0

由此可推出(细节略):μ_max = m_max ℏ,λ = m_max(m_max + 1)ℏ²。

习惯上把 m_max 记为 l(角动量量子数)。所以:

\lambda = l(l+1)\hbar^2, \quad \mu_{\max} = l\hbar

底部条件

类似地,设最低 m 值为 m_min,在底部 L̂₋|l, m_min⟩ = 0。可推出 μ_min = m_min ℏ,且 m_min(m_min − 1) = m_max(m_max + 1) = l(l + 1)。

解出 m_min = −l(另一个根 m_min = l + 1 无意义)。

m 的取值规则

由于每升降一次改变 1,而从 m_max = l 降到 m_min = −l 必须经过整数步,所以 l 必须是整数或半整数(使得 2l 是整数):

l = 0, \frac{1}{2}, 1, \frac{3}{2}, 2, \frac{5}{2}, \ldots

对于每个 l,m 的取值为:

m = -l, -l+1, \ldots, l-1, l

总共 2l + 1 个取值。


<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 600 280" font-family="sans-serif" font-size="13">
  <rect width="600" height="280" fill="#fafafa"/>
  <text x="300" y="25" text-anchor="middle" font-weight="bold">不同 l 值下的 m 取值</text>
  <!-- l=0 -->
  <text x="60" y="80">l=0:</text>
  <circle cx="100" cy="76" r="5" fill="#1e88e5"/>
  <text x="100" y="60" text-anchor="middle" font-size="10">m=0</text>
  <!-- l=1 -->
  <text x="200" y="80">l=1:</text>
  <circle cx="240" cy="100" r="5" fill="#1e88e5"/>
  <circle cx="240" cy="76" r="5" fill="#1e88e5"/>
  <circle cx="240" cy="52" r="5" fill="#1e88e5"/>
  <text x="240" y="115" text-anchor="middle" font-size="10">-1</text>
  <text x="240" y="45" text-anchor="middle" font-size="10">+1</text>
  <!-- l=2 -->
  <text x="340" y="80">l=2:</text>
  <circle cx="380" cy="124" r="5" fill="#1e88e5"/>
  <circle cx="380" cy="100" r="5" fill="#1e88e5"/>
  <circle cx="380" cy="76" r="5" fill="#1e88e5"/>
  <circle cx="380" cy="52" r="5" fill="#1e88e5"/>
  <circle cx="380" cy="28" r="5" fill="#1e88e5"/>
  <!-- l=3 -->
  <text x="480" y="80">l=3:</text>
  <circle cx="520" cy="148" r="5" fill="#1e88e5"/>
  <circle cx="520" cy="124" r="5" fill="#1e88e5"/>
  <circle cx="520" cy="100" r="5" fill="#1e88e5"/>
  <circle cx="520" cy="76" r="5" fill="#1e88e5"/>
  <circle cx="520" cy="52" r="5" fill="#1e88e5"/>
  <circle cx="520" cy="28" r="5" fill="#1e88e5"/>
  <text x="520" y="160" text-anchor="middle" font-size="10">-3</text>
  <text x="520" y="22" text-anchor="middle" font-size="10">+3</text>
  <!-- 说明 -->
  <text x="300" y="200" text-anchor="middle">每个 l 对应 2l+1 个 m 取值</text>
  <text x="300" y="225" text-anchor="middle" fill="#666" font-size="11">L² = l(l+1)ℏ²,L_z = mℏ</text>
  <text x="300" y="255" text-anchor="middle" fill="#666" font-size="11">对于轨道角动量,l 只能是非负整数;自旋可以取半整数(第 5 章)</text>
</svg>

四、轨道角动量的整数性

轨道角动量:l 只能是整数

对于轨道角动量(L̂ = r̂ × p̂,即普通的、由空间运动产生的角动量),l 只能是 0, 1, 2, …,不能是半整数。

为什么?这源于波函数的单值性:φ 与 φ + 2π 是空间的同一点,所以波函数 ψ(φ) 必须满足 ψ(φ + 2π) = ψ(φ)。而 L̂_z = −iℏ ∂/∂φ 的本征函数是 e^(imφ),要满足单值性,m 必须是整数,从而 l 也必须是整数。

整数性 = 空间对称性

轨道角动量的整数性反映了三维空间的旋转对称性:空间旋转一周(2π)回到原状,所以相应的量子数必须是整数。这是 SO(3) 群表示的性质。

自旋的预告:半整数的可能

但是,第 5 章我们将看到,粒子的自旋角动量可以是半整数(如电子自旋 s = 1/2)。自旋不是由空间运动产生的,而是粒子的"内禀"性质,不受波函数单值性约束。它对应 SU(2) 群(更一般的旋转群),允许半整数量子数。

这是角动量代数最迷人的地方:同一套代数关系,既适用于整数(轨道角动量),也适用于半整数(自旋)。我们本节建立的代数框架,只需扩展 l 的取值,就直接适用于自旋。

五、本征值公式的物理意义

L² = l(l+1)ℏ²

角动量"大小"的量子化:|L⃗| = √[l(l+1)]·ℏ。例如:

l = 0(基态,如 s 轨道):L² = 0,角动量为零。
l = 1(p 轨道):L² = 2ℏ²,|L⃗| = √2 ℏ。
l = 2(d 轨道):L² = 6ℏ²,|L⃗| = √6 ℏ。

注意 l(l+1) 而不是 l²——这是一个量子力学的特征,经典图像下应该是 l²。差异来自 Lₓ、Lᵧ 的零点涨落(不确定性原理)。

L_z = mℏ

z 方向投影的量子化:mℏ。例如 l = 1 时,m = −1, 0, +1,L_z 分别为 −ℏ, 0, +ℏ。

注意:L_z 的最大值是 lℏ,小于 |L⃗| = √[l(l+1)]ℏ。也就是说,角动量矢量永远不会完全对齐 z 轴!这是因为如果 L⃗ 完全对齐 z 轴,Lₓ 和 Lᵧ 就都为零,违反不确定性原理([Lₓ, Lᵧ] ≠ 0)。

角动量圆锥图像

量子角动量的最佳图像是圆锥:

L² 确定 ⇒ |L⃗| 确定,即圆锥的斜边长度确定。
L_z 确定 ⇒ 圆锥的高度确定。
Lₓ、Lᵧ 不确定 ⇒ L⃗ 的"水平方位角"不确定,它在圆锥的圆周上"模糊分布"。

这个图像解释了为什么 L_z 的最大值小于 |L⃗|:L⃗ 永远倾斜,不可能完全竖直(否则就同时确定了 Lₓ = Lᵧ = 0,违反不确定性)。

六、球谐函数(简介)

共同本征函数

L² 与 L_z 的共同本征态在球坐标下表示为球谐函数 Yₗᵐ(θ, φ):

\hat{L}^2 Y_l^m(\theta, \phi) = l(l+1)\hbar^2 Y_l^m(\theta, \phi)

\hat{L}_z Y_l^m(\theta, \phi) = m\hbar Y_l^m(\theta, \phi)

球谐函数的具体形式较为复杂(涉及勒让德多项式等),但其物理意义清晰:它们是球面上的"驻波",构成球面上函数的正交完备基。

几个例子

Y₀⁰:常数(球面上均匀分布),对应 l = 0, m = 0(角动量为零)。s 轨道的角向部分。
Y₁⁰ ∝ cos θ:沿 z 轴方向,对应 l = 1, m = 0。p_z 轨道的角向部分。
Y₁^±1 ∝ sin θ · e^(±iφ):对应 l = 1, m = ±1。p_x、p_y 轨道的角向部分。

第 5 节讨论电子轨道时,我们将看到这些角向分布如何对应 s、p、d 轨道的形状。

本节要点回顾

引入角动量升降算符 L̂± = L̂ₓ ± iL̂ᵧ,与谐振子的 â± 类似。
L̂₊ 把 |l, m⟩ 升到 |l, m+1⟩(本征值 +ℏ),L̂₋ 把 |l, m⟩ 降到 |l, m−1⟩。
升降算符只改变 m,不改变 l(因为 [L̂², L̂±] = 0)。
由于 L² ≥ L_z²,m 有上下界。上下界条件给出 L² = l(l+1)ℏ²,L_z = mℏ。
量子数取值:l = 0, 1/2, 1, 3/2, …(一般);m = −l, −l+1, …, l,共 2l + 1 个值。
轨道角动量:l 只能是整数(源于波函数单值性,反映 SO(3) 旋转对称性)。
自旋的预告:半整数 l 将对应粒子的自旋,第 5 章详细讨论。
角动量圆锥图像:L² 与 L_z 确定,但 L⃗ 在圆锥上方位不确定;L_z 最大值 lℏ < |L⃗| = √[l(l+1)]ℏ。

下一节,我们暂时离开严格的量子力学,回顾 1913 年玻尔提出的氢原子模型——一个半经典模型,它给出了正确的能级公式,虽然理论基础并不严格,但启发了后来的量子力学。