角动量的叠加（量子力学）

贡献者： lrqlrqlrq

1. 回顾经典总角动量

　　 $N$ 粒子经典体系总，每个粒子对于 $O$ 点的总角动量为每一粒子对于 $O$ 的角动量矢量 $L_{i} = r_{i} \times p_{i}$ 之和：

\begin{matrix} (1) & L = \sum_{i = 1}^{N} L_{i} . \end{matrix}

习题 1　思考题

　　举例思考为什么在相互作用粒子的体系中，总的角动量是时间守恒量，也就是说为什么总角动量是常量？

2. 两个粒子自旋 $1 / 2$ 角动量的叠加

　　考虑两个粒子的自旋分别为 $s_{1}$ 和 $s_{2}$ ，假设第二个粒子处于态 $| s_{1}, m_{1} ⟩$ ，第二个粒子处于态 $| s_{1}, m_{1} ⟩$ 。我们将组合态（composite state）记作 $| s_{1}, s_{2}, m_{1}, m_{2} ⟩$ ，于是和之前类似的有：

\begin{array}{r} (2) & S_{(1)}^{2} | s_{1}, s_{2}, m_{1}, m_{2} ⟩ = ℏ^{2} s_{1} (s_{1} + 1) | s_{1}, s_{2}, m_{1}, m_{2} ⟩, \\ (3) & S_{(2)}^{2} | s_{1}, s_{2}, m_{1}, m_{2} ⟩ = ℏ^{2} s_{2} (s_{2} + 1) | s_{1}, s_{2}, m_{1}, m_{2} ⟩, \\ (4) & S_{z}^{(1)} | s_{1}, s_{2}, m_{1}, m_{2} ⟩ = m_{1} ℏ | s_{1}, s_{2}, m_{1}, m_{2} ⟩, \\ (5) & S_{z}^{(2)} | s_{1}, s_{2}, m_{1}, m_{2} ⟩ = m_{2} ℏ | s_{1}, s_{2}, m_{1}, m_{2} ⟩ . \end{array}

　　假设氢原子处于基态（这样就不用考虑轨道角动量），其电子和质子都是自旋为 $1 / 2$ 的粒子。这两个粒子都可以自旋向上或者自旋向下，也就是说由四种自旋的可能性：

\begin{matrix} (6) & χ_{+}^{(1)} χ_{+}^{(2)} \equiv↑↑; χ_{+}^{(1)} χ_{-}^{(2)} \equiv↑↓; χ_{-}^{(1)} χ_{+}^{(2)} \equiv↓↑; χ_{-}^{(1)} χ_{-}^{(2)} \equiv↓↓ . \end{matrix}

更严格地讲，每一个粒子是处在上自旋和下自旋线性组合的状态，两个粒子构成的体系是上面四个态的线性组合态。你应当对我们接下来的操作和推导产生怀疑，不过在介绍严格可靠的形式化之前，我们先用没有严格数学依据和不优雅的箭头做一个初步的介绍。其中

χ^{(1)}

也就是第一个箭头代表电子自旋，第二个

χ^{(2)}

代表质子自旋。

　　我们将这个氢原子的总角动量定义为：

\begin{matrix} (7) & S \equiv S^{(1)} + S^{(2)} . \end{matrix}

上面的四个组合态都是

S_{z}

的本征态，也就有：

\begin{matrix} (8) & S_{z} χ_{1} χ_{2} = (S_{z}^{(1)} + S_{z}^{(2)}) χ_{1} χ_{2} = (S_{z}^{(1)} χ_{1}) χ_{2} + χ_{1} (S_{z}^{(2)} χ_{2}) . \end{matrix}

注意：

S_{z}^{(1)}

仅作用于

χ_{1}

；

S_{z}^{(2)}

仅作用于

χ_{2}

。那么我们就得到了该系统

S_{z}

的本征值：

m ℏ

中的

m = m_{1} + m_{2}

：

\begin{array}{r} (9) & m = 1 : ↑↑\equiv | \frac{1}{2}, \frac{1}{2}, \frac{1}{2}, \frac{1}{2} ⟩, \\ (10) & m = 0 : ↑↓\equiv | \frac{1}{2}, \frac{1}{2}, \frac{1}{2}, \frac{- 1}{2} ⟩, \\ (11) & m = 0 : ↑↓\equiv | \frac{1}{2}, \frac{1}{2}, \frac{- 1}{2}, \frac{1}{2} ⟩, \\ (12) & m = - 1 : ↓↓\equiv | \frac{1}{2}, \frac{1}{2}, \frac{- 1}{2}, \frac{- 1}{2} ⟩ . \end{array}

你或许已经感到疑惑了，

m

不应该是从整数

- s

到

s

这样改变的吗？为什么会出现一个额外的

m = 0

的态。

　　那么我们先来思考如何得到 $m = 0$ 的态，自然我们需要对其上一个态运用降阶算符： $S_{-} = S_{-}^{(1)} + S_{-}^{(2)}$ 也就是有：

\begin{matrix} (13) & S_{-} (↑↑) = (S_{-}^{(1)} ↑) ↑ + ↑ (S_{-}^{(2)}) = ℏ (↑↓ + ↑↓) . \end{matrix}

　　这样我们将得到 $s = 1$ 的三个态，并将其称作三重态，因为它有对应的三个 $| s m ⟩$ 态分别为：

\begin{aligned} (14) & | 1 1 ⟩ =↑↑, \\ (15) & | 1 0 ⟩ = \frac{1}{\sqrt{2}} (↑↓ + ↓↑), \\ (16) & | 1 - 1 ⟩ =↓↓ . \end{aligned}

此外，还有一个单重态

s = 0, m = 0

：

\begin{matrix} (17) & | 0 0 ⟩ = \frac{1}{\sqrt{2}} (↑↓ - ↓↑) . \end{matrix}

为了证实这一结论，回顾：

\begin{matrix} (18) & S^{2} | s, m ⟩ = ℏ^{2} s (s + 1) | s, m ⟩ . \end{matrix}

可知我们需要证明三重态是

S^{2}

的本征值为

2 ℏ^{2}

所对应的本征向量。单态是

S^{2}

的本征值为

0

所对应的本征向量。根据：

\begin{matrix} (19) & S^{2} = (S^{(1)} + S^{(2)}) \cdot (S^{(1)} + S^{(2)}) = (S^{(1)})^{2} + (S^{(2)})^{2} + 2 S^{(1)} \cdot S^{(2)} . \end{matrix}

根据矩阵形式所表示的

S_{x}, S_{y}, S_{z}

可得：

\begin{aligned} (20) & S^{(1)} \cdot S^{(2)} | ↑, ↓ ⟩ & = (S_{x}^{(1)} ↑) (S_{x}^{(2)} ↓) + (S_{y}^{(1)} ↑) (S_{y}^{(2)} ↓) + (S_{z}^{(1)} ↑) (S_{z}^{(2)} ↓) \\ (21) & = (\frac{ℏ}{2} ↓) (\frac{ℏ}{2} ↑) + (\frac{i ℏ}{2} ↓) (\frac{- i ℏ}{2} ↑) + (\frac{ℏ}{2} ↑) (\frac{- ℏ}{2} ↓) \\ (22) & = \frac{ℏ^{2}}{4} (2 ↓↑ - ↑↓) . \end{aligned}

同理有：

\begin{matrix} (23) & S^{(1)} \cdot S^{(2)} | ↓, ↑ ⟩ = \frac{ℏ^{2}}{4} (2 ↑↓ - ↓↑), \end{matrix}

也就有：

\begin{matrix} (24) & S^{(1)} \cdot S^{(2)} | 1, 0 ⟩ = \frac{ℏ^{2}}{4} \frac{1}{\sqrt{2}} (2 ↓↑ - ↑↓ + 2 ↑↓ - ↓↑) = \frac{ℏ^{2}}{4} | 1, 0 ⟩, \end{matrix}

和

\begin{matrix} (25) & S^{(1)} \cdot S^{(2)} | 0, 0 ⟩ = \frac{ℏ^{2}}{4} \frac{1}{\sqrt{2}} (2 ↓↑ - ↑↓ - 2 ↑↓ + ↓↑) = - \frac{3 ℏ^{2}}{4} | 0, 0 ⟩, \end{matrix}

根据

\begin{matrix} (26) & S^{2} χ_{+} = \frac{3}{4} ℏ^{2} χ_{+}, S^{2} χ_{-} = \frac{3}{4} ℏ^{2} χ_{-}, \end{matrix}

可得我们最后需要的结论：

\begin{matrix} (27) & S^{2} | 1, 0 ⟩ = (\frac{3 ℏ^{2}}{4} + \frac{3 ℏ^{2}}{4} + \frac{2 ℏ^{2}}{4}) = 2 ℏ^{2} | 1, 0 ⟩ . \end{matrix}

因此

S^{2}

的本征值

2 ℏ^{2}

所对应的本征态为

| 1, 0 ⟩

，同样还有：

\begin{matrix} (28) & S^{2} | 0, 0 ⟩ = (\frac{3 ℏ^{2}}{4} + \frac{3 ℏ^{2}}{4} - 2 \frac{3 ℏ^{2}}{4}) = 0 | 0, 0 ⟩, \end{matrix}

不难证明

| 1, 1 ⟩, | 1, - 1 ⟩

也是

S^{2}

本征值为

2 ℏ^{2}

所对应的本征态。

3. 普遍情况下粒子角动量的叠加

　　我们在这里将尝试学会查阅克莱布斯－戈登系数表，一种 “神秘学” 的技巧遵循 “不知道为啥” 的步骤，奇迹般的得到角动量叠加的可能值和概率。如果有人问你这些魔法的步骤背后的原理，你可以告诉他：这是群论中的分解旋转群的两个不可约表示的直积为不可约表示的直和。比如，上面我们将两个自旋为 $s = 1 / 2$ 叠加，得到了自旋 $s = 1$ （三重态）和 $s = 0$ （单重态）的过程，可以严格的被数学上的张量积形式化描述：

\begin{matrix} (29) & (s = \frac{1}{2}) \otimes (s = \frac{1}{2}) = (s = 1) \oplus (s = 0) . \end{matrix}

当然，如果你还不满足于此请参阅角动量的叠加 2（量子力学）。

　　接下来，我们首先讨论将自旋为 $s_{1}$ 和 $s_{2}$ 的两个粒子叠加所得到的总自旋 $s$ 为：

\begin{matrix} (30) & s = (s_{1} + s_{2}), (s_{1} + s_{2} - 1), (s_{1} + s_{2} - 2), \dots, | s_{1} - s_{2} | . \end{matrix}

也就是说比如有两个粒子，一个自旋为

2

，另一个粒子的自旋为

3 / 2

，如果我们将其组合在一起可得到总自旋

s

的可能值为：

7 / 2, 5 / 2, 3 / 2, 1 / 2

　　我们还是可以大概理解这个魔法的，当两个粒子的自旋同向平行时，总自旋有最大值; 当两个粒子的自旋反向平行时，总自旋有最小值。其他的可能值以整数 $1$ 依次递减。

　　那么接下来我们自然就要问道：有着总自旋 $s$ 和 $S_{z}$ 的本征值 $m ℏ$ 的组合态 $| s, m ⟩$ 和 $| s_{1}, m_{1} ⟩ | s_{2}, m_{2} ⟩$ 之间有着什么样的联系？它们当然是线性组合在一起的：

\begin{matrix} (31) & | s, m ⟩ = \sum_{m_{1} + m_{2} = m} C_{m_{1} m_{2} m}^{s_{1} s_{2} s} | s_{1}, m_{1} ⟩ | s_{2}, m_{2} ⟩ . \end{matrix}

其中的常系数

C_{m_{1} m_{2} m}^{s_{1} s_{2} s}

我们称之为克莱布希-高登（Clebsch-Gordan）系数，查阅和实用它就是正在的魔法之处了。

图 1：例子图示

　　接下来我会按照一步步特定的步骤找到结果。首先假设有两个粒子，一个的自旋为 $s_{1} = 2$ 另一个自旋为 $s_{2} = 1$ ，那么假设它们的总自旋 $s = 3$ ，并且 $m = 0$ 。那么我们首先找到 $2 \times 1$ 的那个表格图 1 。然后在最上面的方格上找到 $3 0$ 的那高亮的一列，那些分数就是我们所要找的系数（记得带上根号）。现在我们就有了：

\begin{matrix} (32) & | 3, 0 ⟩ = \frac{1}{\sqrt{5}} | 2, m_{1} ⟩ | 1, m_{2} ⟩ + \sqrt{\frac{3}{5}} | 2, m_{1} ⟩ | 1, m_{2} ⟩ + \frac{1}{\sqrt{5}} | 2, m_{1} ⟩ | 1, m_{2} ⟩, \end{matrix}

然后我们看到最左侧的小方格就是

m_{1}, m_{2}

分别对应（系数）概率的可能值。最后得到：

\begin{matrix} (33) & | 3, 0 ⟩ = \frac{1}{\sqrt{5}} | 2, 1 ⟩ | 1, - 1 ⟩ + \sqrt{\frac{3}{5}} | 2, 0 ⟩ | 1, 0 ⟩ + \frac{1}{\sqrt{5}} | 2, - 1 ⟩ | 1, 1 ⟩ . \end{matrix}

也就是说，如果我们测量

S_{z}^{(1)}

得到

ℏ

的概率为

1 / 5

，得到

0

的概率为

3 / 5

，得到

- ℏ

的概率为

1 / 5

;测量

S_{z}^{(2)}

得到

- ℏ

的概率为

1 / 5

，得到

0

的概率为

3 / 5

，得到

ℏ

的概率为

1 / 5

。

习题 2　思考题

　　为什么我们不去测一测 $S_{x}, S_{y}$ ？提示：思考它们是否和 $S^{2}$ 对易？

　　现在我们换个问题：如果有自旋为 $s_{1} = 3 / 2$ 和自旋为 $s_{2} = 1$ 的粒子，而且知道第一个粒子的 $m_{1} = 1 / 2$ ，第二个粒子的 $m_{2} = 0$ ，那么我们测量总自旋将会得到什么概率和可能值？

　　实际上这个表格还可以适用于逆展开：

\begin{matrix} (34) & | s_{1}, m_{1} ⟩ | s_{2}, m_{2} ⟩ = \sum_{s} C_{m_{1} m_{2} m}^{s_{1} s_{2} s} | s, m ⟩ . \end{matrix}

与之前的步骤类似，不过这里我们就不能再继续看到最上面的方格，而是要查阅左侧方格中有

1 / 2 0

的那高亮一行。图 1 由此我可以得到：

\begin{matrix} (35) & | \frac{3}{2}, 1, \frac{1}{2}, 0 ⟩ = \sqrt{\frac{3}{5}} | \frac{5}{2}, \frac{1}{2} ⟩ + \frac{1}{\sqrt{15}} | \frac{3}{2}, \frac{1}{2} ⟩ - \frac{1}{\sqrt{3}} | \frac{1}{2}, \frac{1}{2} ⟩ . \end{matrix}

因此测量总自旋

s

，得到

5 / 2

的概率为

3 / 5

，或得到

3 / 2

的概率为

1 / 15

1 / 2

的概率为

1 / 3

。在克莱布希-高登系数表中任意一行的平方和为（概率之和）当然为

1

。

图 2：CG 系数表格，注意：被夹着的方格子的每一个项都要带根号，负号放在根号外面

　　当然如果你懒得查表，那你可以使用 python 直接得出，比如下面是测量 $s_{1} = 3 / 2, m_{1} = 1 / 2, s_{2} = 1, m_{2} = 0$ 得到 $s = 1 / 2, m = 1 / 2$ 的概率为数值的 $- 1 / \sqrt{3}$ .

from sympy.physics.quantum.cg import CG
from sympy import S
CG(j1=S(3)/2, m1=S(1)/2, j2=S(1), m2=S(0), j3=1/2, m3=1/2).doit()

4. 自旋角动量和轨道角动量的叠加

　　等等。你应该要感到疑惑。对于给定的这两个粒子，其自旋角动量与空间波函数无关，而其轨道角动量与空间波函数无关。

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。

角动量的叠加（量子力学）

1. 回顾经典总角动量

习题 1 思考题

2. 两个粒子自旋 1/2 角动量的叠加

3. 普遍情况下粒子角动量的叠加

习题 2 思考题

4. 自旋角动量和轨道角动量的叠加

习题 1　思考题

2. 两个粒子自旋 $1 / 2$ 角动量的叠加

习题 2　思考题