Stern-Gerlach 实验

贡献者： JierPeter

预备知识　量子力学的基本原理（量子力学）

　　 Stern-Gerlach 实验由 O. Stern 于 1921 年构想，由 Stern 和 W. Gerlach 于 1922 年在法兰克福完成¹。

　　引用樱井纯《现代量子力学》中的描述：“在某种意义上，Stern-Gerlach 类型的双态系统是最少经典力学而最多量子力学的系统。对涉及双态系统问题的坚实理解将对任何认真学习量子力学的学生都是有益的。”量子力学的基本原理（量子力学）文章中也建议配合本文内容来理解抽象的概念。

　　另见自旋角动量。

1. 实验描述

　　用一个炉子加热银原子，使之获得动能，从炉子上的一个小洞跑出来。出射的银原子会经过一个准直器，之后朝已经建立好的非均匀磁场飞去。这个磁场由如图所示的两磁极构成，其中一磁极有尖锐的边缘。之后，银原子会打到一块接收屏上，形成可观测的光斑。实验如图 1 所示。

图 1：Stern-Gerlach 实验示意图。

　　银原子由一个原子核、47 个电子组成，其中 46 个电子构成了总角动量为零的球对称电子云，而剩下那个电子的自旋则为整个原子提供了非零的角动量。原子核自旋与本实验无关，故不讨论。

　　于是，原子整体上有一个磁矩 $μ$ ，正比于剩下那个电子的自旋 $S$ ：

\begin{matrix} (1) & μ \propto S . \end{matrix}

　　按照图 1 所示的装置，银原子通过非均匀磁场时会因为存在磁矩而受到竖直方向的力，这个力正比于原子磁矩的竖直分量 $μ_{z}$ 。因此，银原子最后击中接收屏的位置，反映了银原子偏转的大小，从而可以看作是对银原子的 $μ_{z}$ 进行的测量，也可以看作是对电子自旋的测量。

图 2：Stern-Gerlach 实验的结果，左边是经典理论的预言，右边是实际观测的结果。

　　经典理论认为，银原子的磁矩取向是完全随机的，因此 $μ_{z}$ 可能是 $\pm | μ |$ 之间的任何值。因此，如果我们放出大量的银原子轰击接收屏幕，并记录银原子所击中的位置，综合起来，应该得到图 2 左边所示的结果。

　　但实验观测到的却是图 2 右边所示的结果，是两个强度相等的光斑。

　　实验结果意味着，如果我们测量电子自旋，那只能得到一正一负两个数值，而不是连续的结果；换言之，自旋算符只有两个本征值，数值上是 $\pm ℏ / 2$ 。

　　如果我们把图 1 中的磁场转动 90 度，测量银原子磁矩的水平分量 $μ_{y}$ 或者说电子自旋的水平分量，也会得到同样的结果。

　　注意，实验结果并不意味着 “银原子的磁矩” 或 “电子的自旋”，在 $z$ 方向上只有两种可能性；而是意味着，如果我们去测量，就只能得到两种结果。此时银原子的量子态已经坍缩成对应结果的本征态了，通常已不再是测量前的状态。

2. 序列 Stern-Gerlach 实验

　　上一小节末尾强调了 “状态是 xxx” 和 “测量能得到 xxx” 是不一样的概念。本小节介绍的序列实验能更好地体现出，并非是原子处在 $\pm ℏ / 2$ 的自旋态，而是它处于一个能吐出 $\pm ℏ / 2$ 这两个测量值的状态。

　　现在，把图 1 所示的实验装置视为一个整体，一个 “测量银原子某方向上磁矩” 的装置。把测量 $z$ 方向磁矩的装置记为 $SG \hat{z}$ ，测量 $y$ 方向磁矩的装置记为 $SG \hat{y}$ ，测量 $x$ 方向的记为 $SG \hat{x}$ 。

　　首先我们要确定，一个 $SG \hat{z}$ 装置如量子力学的基本原理所述，并不会改变该测量的本征态。先让银原子通过一台 $SG \hat{z}$ 仪器，按照理论预言，此时它已经变成本征态了。我们把本征值为负的本征态剔除——实验上很容易做到，在装置出射口用挡板挡住其中一个偏转方向的银原子射流，只让另一个方向的射流顺利离开。此时，筛选出的射流应该处于正的本征值。让它通过下一台 $SG \hat{z}$ 仪器，结果屏幕上确实只剩下了一个光斑，对应本征值为正的状态。

　　现在，用同样的手法，筛选出 $SG \hat{z}$ 的本征值为正的射流，但接下来让它通过一台 $SG \hat{x}$ 仪器。实验结果是强度相同的两个光斑。

　　接下来做最后一个实验。筛选出 $SG \hat{z}$ 的本征值为正的射流，让它通过一台 $SG \hat{x}$ 仪器，筛选出其中一个方向的射流，再让它通过一台 $SG \hat{z}$ 仪器。结果是我们又得到了强度相同的两个光斑。

未完成：需要添加上类似樱井的《现代量子力学》中的示意图。

　　实验结果表明，我们没法同时测量出银原子在 $z$ 和 $x$ 两个方向上的磁矩，对 $x$ 方向的测量破坏了 $z$ 方向的状态。按照量子力学的坍缩假设²，这意味着没有任何一个量子态，同时是 $x$ 、 $z$ 方向上磁矩测量算符的本征态。

习题 1　与光的偏振态进行类比

　　这个实验现象本质上和光的偏振实验例 6 是同样的原理。对照这两个实验，比较它们的异同，观察它们是如何满足量子力学基本原理的。

3. 对自旋 $1 / 2$ 系统的讨论

　　电子、银原子都可以描述为具有 $1 / 2$ 自旋的系统。自旋和地球的自转不同，如果你测量地球在某个方向上的角动量，可能得到的值应像图 2 左边经典理论预言的那样 “连续”；另外，我们可以把自转角动量描述成一个几何矢量，把各个方向的角动量测量值理解为这个几何矢量的分量大小。显然，自旋 $1 / 2$ 系统没有这么直接。

　　由实验可知，对银原子磁矩、或者说电子自旋的测量，只有两个本征值， $\pm ℏ / 2$ 。由于 $ℏ$ 是常用的常数，因此自然单位制下我们可以设 $ℏ = 1$ ，而将电子自旋描述为 $\pm 1 / 2$ 。不过为了避免混淆，我们接下来还是带着 $ℏ$ 进行讨论。根据定理 7 ，这意味着刻画一个电子自旋的态空间可以是二维的。这是一个抽象的矢量空间，不可和几何的二维空间相混淆。

用本征态表出自旋算符

　　考虑对 $z$ 方向的自旋进行测量，将该测量算符记为 $S_{z}$ ，其本征矢表示为 $| S_{z}; \pm ⟩$ ，分别对应本征值 $\pm ℏ / 2$ 。这两个向量能张成整个自旋态空间，即所有自旋态都能表示为 $a | S_{z}; + ⟩ + b | S_{z}; - ⟩$ ，其中 $a, b \in C$ 是复数，且 ${| a |}^{2} + {| b |}^{2} = 1$ 。

　　于是，根据推论 1 ，单位算符可以表示为

\begin{matrix} (2) & 1 = | S_{z}; + ⟩ ⟨ S_{z}; + | + | S_{z}; - ⟩ ⟨ S_{z}; - | . \end{matrix}

根据推论 2 ，自旋测量算符可以表示为

\begin{matrix} (3) & S_{z} = \frac{ℏ}{2} (| S_{z}; + ⟩ ⟨ S_{z}; + | - | S_{z}; - ⟩ ⟨ S_{z}; - |) . \end{matrix}

　　以 $| S_{z}; \pm ⟩$ 为基向量，则 $S_{z}$ 的矩阵表示为

\begin{matrix} (4) & \frac{ℏ}{2} (\begin{matrix} 1 & 0 \\ 0 & - 1 \end{matrix}) . \end{matrix}

　　显然，如果取 $| S_{x}; \pm ⟩$ 为基向量，则 $S_{x}$ 的矩阵表示也和式 4 一致； $S_{y}$ 也一样。

其它方向的本征态与自旋算符

　　接下来，我们讨论在给定 $| S_{z}; \pm ⟩$ 为基向量时， $S_{x}$ 和 $S_{z}$ 应怎么表达。

　　根据序列 Stern-Gerlach 实验子节 2 的结果，一束处于 $| S_{x}; + ⟩$ 的射流通过一台 $SG \hat{z}$ 仪器后，劈裂为两束强度相等的射流。由概率的定义定义 16 和量子态的等价定义 3 ，我们可以写出：

\begin{matrix} (5) & | S_{x}; + ⟩ = \frac{1}{\sqrt{2}} | S_{z}; + ⟩ + \frac{e^{i δ_{1}}}{\sqrt{2}} | S_{z}; - ⟩ . \end{matrix}

其中

δ_{1}

是一个实数，尚无法确定其取值。这已经是自由度最大的形式了。

　　类似地，处于 $| S_{x}; - ⟩$ 的射流在进行 $S_{z}$ 测量后也会劈裂为强度相等的射流，再考虑到 $| S_{x}; \pm ⟩$ 彼此正交，可得³

\begin{matrix} (6) & | S_{x}; - ⟩ = \frac{1}{\sqrt{2}} | S_{z}; + ⟩ - \frac{e^{i δ_{1}}}{\sqrt{2}} | S_{z}; - ⟩ . \end{matrix}

　　由推论 2 ，代入式 5 和式 6 得

\begin{matrix} (7) & \begin{aligned} S_{x} & = \frac{ℏ}{2} (| S_{x}; + ⟩ ⟨ S_{x}; + | - | S_{x}; - ⟩ ⟨ S_{x}; - |) \\ = \frac{ℏ}{2} (e^{i δ_{1}} | S_{z}; - ⟩ ⟨ S_{z}; + | + e^{- i δ_{1}} | S_{z}; + ⟩ ⟨ S_{z}; - |), \end{aligned} \end{matrix}

　　类似地，还可以得出

\begin{matrix} (8) & | S_{y}; \pm ⟩ = \frac{1}{\sqrt{2}} | S_{z}; + ⟩ \pm \frac{e^{i δ_{2}}}{\sqrt{2}} | S_{z}; - ⟩ \end{matrix}

和

\begin{matrix} (9) & S_{y} = \frac{ℏ}{2} (e^{i δ_{2}} | S_{z}; - ⟩ ⟨ S_{z}; + | + e^{- i δ_{2}} | S_{z}; + ⟩ ⟨ S_{z}; - |) . \end{matrix}

其中

δ_{2}

是另一个待定实数。

　　为了算出 $δ_{1}$ 和 $δ_{2}$ ，考虑将 $S_{x}$ 的本征态通过 $SG \hat{y}$ 仪器，则结果和 $S_{z}$ 的本征态通过 $SG \hat{x}$ 是一样的：两个强度相等的光斑。于是我们有

\begin{matrix} (10) & | ⟨ S_{y}; \pm | S_{x}; + ⟩ | = | ⟨ S_{y}; \pm | S_{x}; - ⟩ | = \frac{1}{\sqrt{2}} . \end{matrix}

　　将式 5 或式 6 ，和式 8 一起代入式 10 ，得

\begin{matrix} (11) & \begin{aligned} | \frac{1}{2} ⟨ S_{z}; + | S_{z}; + ⟩ \pm \frac{e^{i (δ_{1} - δ_{2})}}{2} ⟨ S_{z}; - | S_{z}; - ⟩ | & = \frac{1}{\sqrt{2}}, \\ \frac{1}{2} | 1 \pm e^{i (δ_{1} - δ_{2})} | & = \frac{1}{\sqrt{2}} . \end{aligned} \end{matrix}

　　由于 $| e^{i (δ_{1} - δ_{2})} | = 1$ ，故从几何上可以很容易将式 11 化为

\begin{matrix} (12) & δ_{1} - δ_{2} = \pm \frac{π}{2} . \end{matrix}

　　如果取 $δ_{1} = 0$ ， $δ_{2} = \frac{π}{2}$ ，那么应有

\begin{matrix} (13) & {\begin{aligned} | S_{x}; \pm ⟩ & = \frac{1}{\sqrt{2}} | S_{z}; + ⟩ \pm \frac{1}{\sqrt{2}} | S_{z}; - ⟩ \\ | S_{y}; \pm ⟩ & = \frac{1}{\sqrt{2}} | S_{z}; + ⟩ \pm \frac{i}{\sqrt{2}} | S_{z}; - ⟩ \end{aligned} \end{matrix}

和

\begin{matrix} (14) & {\begin{aligned} S_{x} & = \frac{ℏ}{2} (| S_{z}; - ⟩ ⟨ S_{z}; + | + | S_{z}; + ⟩ ⟨ S_{z}; - |) \\ S_{y} & = \frac{i ℏ}{2} (| S_{z}; - ⟩ ⟨ S_{z}; + | - | S_{z}; + ⟩ ⟨ S_{z}; - |) . \end{aligned} . \end{matrix}

自旋算符的对易关系

　　由式 14 可算出自旋算符的对易性质，而实际上任何满足式 12 的也都具有同样的性质

未完成：需要检查一下 “任何满足式 12 的也都具有同样的性质” 是否成立，检查后删除此 “未完成”。

定理 1　自旋算符的对易关系

\begin{matrix} (15) & [{\hat{S}}_{z}, {\hat{S}}_{z}] = 0, \end{matrix}

\begin{matrix} (16) & [{\hat{S}}_{x}, {\hat{S}}_{y}] = i ℏ S_{z}, \end{matrix}

\begin{matrix} (17) & {{\hat{S}}_{z}, {\hat{S}}_{z}} = \frac{ℏ^{2}}{2}, \end{matrix}

\begin{matrix} (18) & {{\hat{S}}_{x}, {\hat{S}}_{y}} = 0, \end{matrix}

\begin{matrix} (19) & [S^{2}, S_{x}] = 0, \end{matrix}

　　其中 $S^{2} = S_{x}^{2} + S_{y}^{2} + S_{z}^{2} = \frac{3 ℏ^{2}}{4}$ 。

　　实际上，若自旋大于 $1 / 2$ ，则 $S^{2}$ 不再是单位算符的倍数，但式 19 依然成立。

未完成：有了相关讨论后，在此引用。

1. ^ 可参见 Bretislav Fridrich 和 Dudley Herschbach 发表的Stern and Gerlach: How a Bad Cigar Helped Reorient Atomic Physics, Physics Today, Dec. 2003。
2. ^ 即测量后，量子态会返回测量算符的一个本征值，并坍缩成该本征值的一个本征态。
3. ^ 注意， ${(\frac{e^{i δ_{1}}}{\sqrt{2}} | S_{z}; - ⟩)}^{*} = \frac{e^{- i δ_{1}}}{\sqrt{2}} ⟨ S_{z}; - |$ 。