全同粒子

贡献者： addis; lrqlrqlrq

预备知识　多体量子力学简介，角动量加法（量子力学），自旋角动量，张量积空间

　　量子力学的基本假设规定基本粒子是不可区分的，例如电子，质子，中子等，我们把不可区分的粒子称为是全同粒子（identical particles）。例如我们在两个位置同时测量到两个电子，我们只能知道两处各有一个电子，而不知道哪个电子在哪里。对于宏观物体，我们可以通过做标记或者追踪轨迹的方式轻易把不同它们区分开，但量子力学中的粒子既不能做标记也没有轨迹的概念，所以我们唯一可以区分的粒子的方法就是利用它们的物理属性，如质量，电荷量，自旋等物理性质。

1. 波函数的对称性

　　先不考虑自旋，我们如何用它们的波函数体现 “不可区分” 呢？对于位置表象下的双粒子波函数 $ψ (r_{1}, r_{2})$ ，在任意两点 $r_{1}, r_{2}$ 同时发现两个电子的概率密度函数为

\begin{matrix} (1) & P (r_{1}, r_{2}) = 2 {| ψ (r_{1}, r_{2}) |}^{2}, \end{matrix}

为了体现两粒子不可区分，我们要求概率分布满足

\begin{matrix} (2) & P (r_{2}, r_{1}) = P (r_{1}, r_{2}), \end{matrix}

于是它满足归一化条件

\begin{matrix} (3) & \frac{1}{2} \int P (r_{1}, r_{2}) d^{3} r_{1} d^{3} r_{2} = 1 . \end{matrix}

这里的

1 / 2

是因为在积分中每一对不同的坐标被重复计算了两次。对比波函数的归一化条件式 2 ，故式 1 中出现了一个 2。

　　于是波函数必须满足以下两个条件之一¹

\begin{matrix} (4) & ψ (r_{2}, r_{1}) = \pm ψ (r_{1}, r_{2}) . \end{matrix}

如果取正号，我们说这样的波函数满足交换对称（exchange symmetry），或者不混淆的情况下简称对称²；取负号时则称波函数满足交换反对称（exchange antisymmetry）。如果波函数既不是对称也不是反对称，那么就称为不对称，只有两个粒子是不同的基本粒子时，才可能出现不对称波函数。注意对于两个全同粒子的波函数，

r_{1}, r_{2}

中的数字不再代表粒子的编号，而仅仅用区分两个不同位置³。

　　以后会看到，具有交换对称或反对称的波函数在根据薛定谔方程演化的过程中将会一直会保持它的对称性。

例 1　

　　某一维势阱中有两个互不作用的粒子，我们只考虑束缚态，先不考虑自旋。单个粒子在该势阱中共有 3 个正交归一的束缚态 $ψ_{i} (x)$ （ $i = 1, 2, 3$ ），它们可以看作是 3 维希尔伯特空间 $V$ 中的基底，满足定态薛定谔方程

\begin{matrix} (5) & H_{1} ψ_{i} (x) = E_{i} ψ_{i} (x) . \end{matrix}

　　那么双粒子波函数将处于张量积空间 $V \otimes V$ 中，由于没有相互作用，双粒子系统的定态薛定谔方程中，总哈密顿算符必定可以记为两个单粒子哈密顿之和

\begin{matrix} (6) & H Ψ (x_{1}, x_{2}) = (H_{1} \otimes I + I \otimes H_{1}) Ψ (x_{1}, x_{2}) = E Ψ (x_{1}, x_{2}) . \end{matrix}

该空间的 9 个本征函数基底在数学上可以取

ψ_{i} (x_{1}) ψ_{j} (x_{2})

（

i, j = 1, 2, 3

），能量本征值对应为

E = E_{i} + E_{j}

，每个能级至少具有两重简并⁴。

　　现在来考虑对称性的问题，若两个粒子是可区分的，那么波函数可以在这个 9 维空间中任意选取，再进行归一化。若波函数恰好处于 9 个基底中的一个，那么此时的物理意义是：第一个粒子处于第 $i$ 能级而第二个粒子处于第 $j$ 能级。

　　但若两个粒子是全同的，以上 9 个基底中只有 $i = j$ 的 3 个基底是交换对称的。剩下 6 个 $i \neq j$ 的基底显然不满足交换对称或反对称。由于基底的选取方式有多种，我们希望另选 9 个满足对称性的基底。对 $i \neq j$ 的基底，我们可以稍作幺正变换，每个由 $ψ_{i} (x_{1}) ψ_{j} (x_{2})$ 和 $ψ_{j} (x_{1}) ψ_{i} (x_{2})$ 张成的二维子空间中，把一个对称基底取为 $[ψ_{i} (x_{1}) ψ_{j} (x_{2}) + ψ_{j} (x_{1}) ψ_{i} (x_{2})] / \sqrt{2}$ ，一个反对称基底取为 $[ψ_{i} (x_{1}) ψ_{j} (x_{2}) - ψ_{j} (x_{1}) ψ_{i} (x_{2})] / \sqrt{2}$ 。

　　这样，所有 9 个新的基底中，共 6 个是对称的（任意 $ψ_{i} ψ_{j}$ 表示 $ψ_{i} (x_{1}) ψ_{j} (x_{2})$ ）：

\begin{matrix} (7) & ψ_{1} ψ_{1}, ψ_{2} ψ_{2}, ψ_{3} ψ_{3}, \frac{ψ_{1} ψ_{2} + ψ_{2} ψ_{1}}{\sqrt{2}}, \frac{ψ_{2} ψ_{3} + ψ_{3} ψ_{2}}{\sqrt{2}}, \frac{ψ_{3} ψ_{1} + ψ_{1} ψ_{3}}{\sqrt{2}} . \end{matrix}

3 个是反对称的：

\begin{matrix} (8) & \frac{ψ_{1} ψ_{2} - ψ_{2} ψ_{1}}{\sqrt{2}}, \frac{ψ_{2} ψ_{3} - ψ_{3} ψ_{2}}{\sqrt{2}}, \frac{ψ_{3} ψ_{1} - ψ_{1} ψ_{3}}{\sqrt{2}} . \end{matrix}

对称基底张成的 6 维空间就是（9 维空间中）所有可能的对称波函数组成的子空间，反对称基底张成的 3 维空间就是所有可能的反对称波函数组成的子空间。

　　和可区分粒子的情况不同，式 7 和式 8 中新基底的物理意义变为：有一个粒子处于第 $i$ 能级而另一个粒子处于第 $j$ 能级，但无法区分哪个粒子处于哪个能级。

　　一般地，若单个粒子处于 $N$ 维矢量空间中，双粒子态空间就是 $N^{2}$ 维的。其中对称子空间是 $N (N + 1) / 2$ 维的，反对称子空间是 $N (N - 1) / 2$ 维的，相加恰好等于 $N^{2}$ 。所以他们是两个互补的正交子空间。我们把推导留到 “粒子交换算符” 中。

例 2　双粒子自旋态

　　如果只考虑双粒子的自旋态矢量空间，单电子自旋为 $1 / 2$ ，自旋态在 2 维空间，两个基底通常记为 $↑$ 和 $↓$ ，分别代表自旋 $z$ 分量 $m_{s} = \pm 1 / 2$ 。而双电子的自旋态是该空间和自己的张量积，是 $2 \times 2 = 4$ 维的，四个正交归一基底自然地可以取张量积 $↑↑, ↑↓, ↓↑, ↓↓$ （省略了 $\otimes$ 符号）。但中间两个既不是对称也不是反对称的，所以我们可以将他们稍作线性变换，得到 4 个具有交换对称性的正交归一基底

\begin{matrix} (9) & ↑↑, \frac{1}{\sqrt{2}} (↑↓ + ↓↑), ↓↓, \end{matrix}

\begin{matrix} (10) & \frac{1}{\sqrt{2}} (↑↓ - ↓↑) . \end{matrix}

其中式 9 的三个基底是对称的，即三重态（triplet）；式 10 的一个基底是反对称的，即单态（singlet）。显然，三重态的任意线性组合都是对称的自旋态⁵，他们构成了 3 维的子空间，而反对称的只有单态为基底的 1 维子空间。

　　但这里的对称性具体如何定义呢？我们可以用 $χ_{1, 2}$ 表示这个 4 维空间中的任意矢量，定义 $χ_{2, 1}$ 就是把 $χ_{1, 2}$ 的每项中两个箭头（单粒子态）互换，例如 $↓↑$ 变为 $↑↓$ 又如 $↓↑ - ↑↓$ 变为 $↑↓ - ↓↑$ 。于是（反）对称条件就是

\begin{matrix} (11) & χ_{2, 1} = \pm χ_{1, 2} . \end{matrix}

　　我们可以把 $↑↑$ 和 $↓↓$ 视为两电子自旋方向相同的态， $(↑↓ \pm ↓↑) / \sqrt{2}$ 视为两电子自旋方向相反的态。对于后者，我们只能说 “一个电子自旋为 $↑$ 另一个为 $↓$ ” 却不能说哪个是 $↑$ 哪个是 $↓$ 。这正体现了全同粒子的不可区分性。相比之下， $↑↓$ 就表明第一个电子是 $↑$ ，第二个是 $↓$ ，所以不能对两个电子使用。

2. 玻色子和费米子

　　当我们考虑两个粒子的总状态时，我们可以把总空间视为双粒子波函数空间和双粒子自旋态空间的张量积空间。双粒子态矢总可以分解为波函数和自旋的张量积的线性组合

\begin{matrix} (12) & | Ψ_{1, 2} ⟩ = \sum_{i} ψ_{i} (r_{1}, r_{2}) χ_{1, 2}^{(i)} . \end{matrix}

在我们往往讨论的只是可以记为一项的简单态

\begin{matrix} (13) & | Ψ_{1, 2} ⟩ = ψ (r_{1}, r_{2}) χ_{1, 2} . \end{matrix}

与式 4 同理，全同粒子需要满足

\begin{matrix} (14) & | Ψ_{1, 2} ⟩ = \pm | Ψ_{2, 1} ⟩ . \end{matrix}

对于式 13 来说，

| Ψ_{1, 2} ⟩

是对称的当且仅当波函数和自旋具有相同对称性（都是对称或者都是反对称），

| Ψ_{1, 2} ⟩

是反对称的当且仅当波函数和自旋具有相反对称性（一个对称一个反对称）。

　　波函数或自旋的两种交换对称性会带来实验上可观测的结果。实验表明，我们可以把所有的基本粒子划分为两类，自旋为整数的称为玻色子（boson），具有对称态矢；自旋为半整数的称为费米子（fermion），具有反对称态矢。这是量子力学关于全同粒子的基本假设。至于为什么自旋可以决定波函数对称性，需要使用量子场论才能解释。

　　例如电子是自旋为 1/2 的费米子，为了保证总状态的反对称，如果两电子的自旋处于单态（反对称），那么波函数就必须是对称的；反之如果两电子处于三重态（对称），那么波函数必须是反对称的。

推论 1　泡利不相容原理

　　如果两个全同费米子占据相同的态 $ψ_{A} = ψ_{B}$ ，那么就有：

\begin{matrix} (15) & ψ (x_{1}, x_{2})_{-} = \frac{1}{\sqrt{2}} [ψ_{A} (x_{1}) ψ_{A} (x_{2}) - ψ_{A} (x_{1}) ψ_{A} (x_{2})] = 0, \end{matrix}

使得我们无法得到任何的波函数。因此，两个全同费米子（其中就有广为人知的两个电子），不可能占据相同的状态。

多个粒子的情况

　　以上我们只讨论了两个全同粒子，若有更多，那么费米子和玻色子分别要求系统的态矢在交换任意两个粒子时都保持反对称和对称。

习题 1　

　　 a.假设有三个粒子，一个处于 $ψ_{A}$ 态，一个处于 $ψ_{B}$ 态，一个处于 $ψ_{C}$ 状态。假设 $ψ_{A}, ψ_{B}, ψ_{C}$ 是正交的，构造三粒子为可分辨，全同玻色子，和全同费米子的总的波函数。在构造全同费米子（反对称）我们需要用到斯莱特 Slater 行列式

　　 b.假设有两个粒子，一个处于 $ψ_{A}$ 态，一个处于 $ψ_{B}$ 态，一个处于 $ψ_{C}$ 状态。假设 $ψ_{A}, ψ_{B}, ψ_{C}$ 是正交的，构造三粒子为可分辨，全同玻色子，和全同费米子的总的波函数。（提示：可分辨情况下，有 $6$ 种枚举出来的总的波函数）

1. ^ 乍看之下 $| ψ (r_{2}, r_{1}) | = | ψ (r_{1}, r_{2}) |$ 仅要求 $ψ (r_{2}, r_{1}) = e^{i θ} ψ (r_{1}, r_{2})$ （ $θ \in [0, 2 π)$ ），但如果把右边的 $r_{1}, r_{2}$ 再次交换就会得到 $ψ (r_{2}, r_{1}) = e^{2 i θ} ψ (r_{2}, r_{1})$ ，也就是 $e^{2 i θ} = 1$ 。所以只能取 $e^{i θ} = \pm 1$ 。
2. ^ 波函数的另外一种对称是宇称对称，即把每个 $r_{i}$ 都取相反方向。
3. ^ 如果写成 $ψ (r, r)$ ，数学上将表示完全不同的函数。
4. ^ 若 $E_{1}, E_{2}, E_{3}$ 是等间距的，则最多具有三重简并，否则具有两重简并。
5. ^ 当我们这么说时，默认还没有做归一化。

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

全同粒子

1. 波函数的对称性

例 1

例 2 双粒子自旋态

2. 玻色子和费米子

推论 1 泡利不相容原理

多个粒子的情况

习题 1

例 1　

例 2　双粒子自旋态

推论 1　泡利不相容原理

习题 1　