02-对称与反对称波函数

文档摘要

对称与反对称波函数本节摘要:本节把全同性的物理要求转化为精确的数学形式——对称化公设。多粒子波函数必须满足:交换任意两个全同粒子时,要么不变(对称),要么变号(反对称)。本节讨论对称与反对称波函数的构造方法,以及一个核心工具——斯莱特行列式,它自动为费米子构造反对称波函数。一、对称化公设公设的表述对称化公设(symmetrization postulate)是量子力学的基本假设之一: 描述全同粒子的波函数,在交换任意两个粒子时,必须满足: 玻色子(整数自旋):波函数对称(交换后不变)。费米子(半整数自旋):波函数反对称(交换后变号)。

对称与反对称波函数

本节摘要:本节把全同性的物理要求转化为精确的数学形式——对称化公设。多粒子波函数必须满足:交换任意两个全同粒子时,要么不变(对称),要么变号(反对称)。本节讨论对称与反对称波函数的构造方法,以及一个核心工具——斯莱特行列式,它自动为费米子构造反对称波函数。

一、对称化公设

公设的表述

对称化公设(symmetrization postulate)是量子力学的基本假设之一:

描述全同粒子的波函数,在交换任意两个粒子时,必须满足:

玻色子(整数自旋):波函数对称(交换后不变)。

费米子(半整数自旋):波函数反对称(交换后变号)。

数学上,定义交换算符 P̂_ij 交换粒子 i 与 j 的所有坐标(位置、自旋等):

\hat{P}_{ij} \psi(\ldots, x_i, \ldots, x_j, \ldots) = \psi(\ldots, x_j, \ldots, x_i, \ldots)

对称化公设要求:

玻色子:P̂_ij ψ = +ψ(对称,本征值 +1)
费米子:P̂_ij ψ = −ψ(反对称,本征值 −1)

为什么这样要求?

物理根源是全同性(上节):交换两个全同粒子不改变任何可观测的物理。但波函数本身可以变号(因为 |−ψ|² = |ψ|²,概率密度不变)。

更深刻地,自旋-统计定理(量子场论核心结论)从相对论 + 量子力学严格推出:整数自旋粒子必须用对称波函数,半整数自旋粒子必须用反对称波函数。这一定理超出本书范围,但其结论至关重要。

二、两粒子系统的对称化

未对称化的乘积波函数

考虑两个全同粒子,各自处于单粒子态 ψ_a 与 ψ_b。最简单的乘积波函数是:

\Psi(x_1, x_2) = \psi_a(x_1) \psi_b(x_2)

意思是"粒子 1 在态 a,粒子 2 在态 b"。

但这一形式不满足对称化要求——交换粒子 1、2 后:

\Psi(x_2, x_1) = \psi_a(x_2) \psi_b(x_1) \neq \pm \Psi(x_1, x_2)

所以我们需要把它"对称化"或"反对称化"。

对称波函数(玻色子)

对玻色子,构造对称波函数:

\Psi_S(x_1, x_2) = \frac{1}{\sqrt{2}} [\psi_a(x_1) \psi_b(x_2) + \psi_a(x_2) \psi_b(x_1)]

(因子 1/√2 用于归一化。)

验证:交换 x₁、x₂ 后,两个加项互换位置,波函数不变——对称。✓

反对称波函数(费米子)

对费米子,构造反对称波函数:

\Psi_A(x_1, x_2) = \frac{1}{\sqrt{2}} [\psi_a(x_1) \psi_b(x_2) - \psi_a(x_2) \psi_b(x_1)]

验证:交换 x₁、x₂ 后,两个项互换位置并相差一个负号,波函数变号——反对称。✓

关键观察:同态情形

如果 a = b(两个粒子处于同一态 ψ_a):

对称波函数:

\Psi_S = \frac{1}{\sqrt{2}} [\psi_a(x_1) \psi_a(x_2) + \psi_a(x_2) \psi_a(x_1)] = \sqrt{2} \psi_a(x_1) \psi_a(x_2) \neq 0

反对称波函数:

\Psi_A = \frac{1}{\sqrt{2}} [\psi_a(x_1) \psi_a(x_2) - \psi_a(x_2) \psi_a(x_1)] = 0

也就是说,两个费米子处于完全相同的态时,反对称波函数为零——这种状态不存在!这就是泡利不相容原理的数学根源。

而两个玻色子可以处于相同态,且这种状态的对称波函数不为零,反而是"加强"的——这是玻色-爱因斯坦凝聚的根源。

三、N 粒子系统的对称化

玻色子:永久式

对 N 个玻色子,对称波函数用永久式(permanent)表示,形式上是所有 N! 种置换的平均。具体形式较为复杂,本章不展开。重要的是:N 个玻色子可以全部处于同一态(如玻色-爱因斯坦凝聚中)。

费米子:斯莱特行列式

对 N 个费米子,反对称波函数用斯莱特行列式(Slater determinant)表示:

\Psi(x_1, x_2, \ldots, x_N) = \frac{1}{\sqrt{N!}} \begin{vmatrix} \psi_1(x_1) & \psi_1(x_2) & \cdots & \psi_1(x_N) \\ \psi_2(x_1) & \psi_2(x_2) & \cdots & \psi_2(x_N) \\ \vdots & \vdots & \ddots & \vdots \\ \psi_N(x_1) & \psi_N(x_2) & \cdots & \psi_N(x_N) \end{vmatrix}

其中 ψ_i 是单粒子波函数,占据第 i 个量子态。

行列式的两个关键性质

斯莱特行列式自动满足费米子的两个要求:

交换两列(对应交换两个粒子)→ 行列式变号。这正是反对称性要求。
任意两行相同时(对应两个粒子处于同一态 ψ_i = ψ_j)→ 行列式为零。这正是泡利不相容原理。

所以,斯莱特行列式自动满足对称化公设与泡利原理。这是数学结构自动给出物理要求的优美例子。

物理意义

斯莱特行列式告诉我们:N 个费米子的状态不能简单地用"哪个粒子在哪个态"来描述——因为粒子是全同的。我们只能描述"哪些单粒子态被占据",而波函数是所有可能"分配方式"的反对称叠加。

四、占据数表象

重新思考粒子描述

由于全同性,描述多粒子状态更自然的方式是:给出每个量子态被多少粒子占据,而不是"哪个粒子在哪个态"。

这种描述方式称为占据数表象(occupation number representation)或福克表象(Fock representation)。

占据数态

考虑一组单粒子态 ψ₁、ψ₂、ψ₃、…。一个 N 粒子态可以用占据数表示:

|n_1, n_2, n_3, \ldots\rangle

其中 n_i 是第 i 个态上的粒子数。

费米子:每个态最多 1 个粒子,所以 n_i = 0 或 1。总粒子数 N = Σ n_i。

玻色子:每个态可以有任意多粒子,n_i = 0, 1, 2, …。

产生与湮灭算符

第 3 章介绍的升降算符 â†、â 在多粒子系统中升华为产生算符与湮灭算符:

â†_i:在第 i 个量子态产生一个粒子(占据数 +1)。
â_i:在第 i 个量子态湮灭一个粒子(占据数 −1)。

这些算符满足不同的代数:

玻色子:[b̂_i, b̂_j†] = δ_ij(对易关系)
费米子:{ĉ_i, ĉ_j†} = δ_ij(反对易关系)

费米子的反对易关系自动导致泡利原理:(ĉ†)² = 0,意味着同一态不能产生两个费米子。

二次量子化

用占据数表象与产生湮灭算符描述多粒子系统的方法称为二次量子化(second quantization)。这是量子场论与凝聚态多体理论的核心语言。第 10 章我们将再次涉及(量子场论简介)。

五、对称化与统计的物理后果

对称化要求不只是数学游戏,它有深刻的物理后果:

后果 1:统计差异

玻色子与费米子的对称性差异,导致它们的统计行为截然不同(下下节讨论)。

后果 2:交换力

对称化在物理上表现为"交换力"——一种不是来自势能的"有效力"。

费米子:表现"排斥",避免同态。
玻色子:表现"吸引",偏好聚集。

这种交换力是化学共价键(部分)、铁磁性(海森堡模型)的根源。

后果 3:宏观量子现象

对称化导致的统计差异,产生诸多宏观量子现象:

玻色-爱因斯坦凝聚(玻色子)
超流(玻色子凝聚或费米子配对)
超导(费米子配对为库珀对,行为如玻色子)
简并压(费米子的泡利排斥)

第 6 节我们将详细讨论这些现象。

本节要点回顾

对称化公设:全同粒子的波函数在交换两个粒子时,玻色子对称(不变),费米子反对称(变号)。
两粒子系统:对称波函数是 ψ_a(1)ψ_b(2) + ψ_a(2)ψ_b(1);反对称波函数是 ψ_a(1)ψ_b(2) − ψ_a(2)ψ_b(1)。
关键推论:两个费米子同态时,反对称波函数 = 0(泡利原理);两个玻色子同态时,对称波函数反而加强。
斯莱特行列式:N 个费米子的反对称波函数,自动满足对称化公设与泡利原理(两行相同 ⇒ 行列式为零)。
占据数表象:用每个量子态的占据数描述多粒子态,而非"哪个粒子在哪个态"。
产生/湮灭算符:第 i 态的产生(â†_i)与湮灭(â_i)粒子;玻色子对易,费米子反对易。
二次量子化:用占据数表象与产生湮灭算符描述多粒子系统,是量子场论与凝聚态物理的核心语言。

下一节,我们正式区分玻色子与费米子,讨论它们的自旋、典型例子与基本性质。