34.2 泡利方程的解与 E(3) 的表示
概念链接 · 机器稿中出现的术语;来源角色尚未核验: 特征值 · 李代数 · 李代数表示 · 不可约表示
由于
是一个具有特征值 ±1 的可逆算符,34.4 的解将由下式的解给出
其中 。我们将该方程带正号的解记作 ,带 − 号的解记作 。注意, 和 各自是球面 上的二分量复函数(或者更一般地,球面上的分布)。本节余下部分的目标将是证明
定理
以及第二卡西米尔算符 · 的特征值 。
我们不试图证明不可约性 ,而只是说明这些解空间给出具有所述卡西米尔算符特征值的表示(关于卡西米尔算符以及 表示的一般理论,参见 19.2 和 19.3 节)。我们将表示算符在位置空间中写作 ,在动量空间中写作 ,其中 a 是一个平移, 和
群的平移部分如同第19章的单分量情形那样,通过乘法算符作用。
和
因此,李代数表示由通常的 算符给出。平移的这种作用容易看出与 · 对易,因而作用于 34.6 的解。需要比单分量情形更复杂讨论的,是旋转的作用。
在第19章中我们看到, 通过以下方式作用于薛定谔方程的单分量动量空间解
这将解映为解,因为算符与Casimir算符对易。
这是成立的,因为
为了在双分量波函数上得到一个与算符 对易的表示,我们需要将旋转的作用量改为
对于解上的这个作用量,我们有
其中我们使用了方程来表明
群的部分通过两个对易的不同作用在张量积 34.2 的两个因子上以乘积方式作用。这些是:
- 对动量坐标的作用与单分量情形相同,只是使用 ,即对应于 群元素 Ω 的 旋转。例如,对于绕 轴旋转角度 ,我们有
回想一下,实现这一操作的算符是 ,其中
一般地,我们有算符
它给出了该表示的李代数版本(回想一下,在李代数层面, 与 是同构的)。
- 矩阵 对双分量波函数的作用通过
对于 为绕 轴旋转角度 的旋转,Ω 的一种选择是
而提供该表示的李代数版本的算符是 1
对应于这些变换在张量积的两个因子上作用的李代数表示,按通常方式(见第9章)由分别作用于每个因子的算符之和给出
标准术语将称为“轨道”角动量,将称为“自旋”角动量,将称为“总”角动量。
此情形下的第二卡西米尔算符为
·
与单分量情形一样(见 19.3 节),直接计算表明,其中 · 部分对我们的解 的作用是平凡的。自旋分量的作用非平凡,并且我们有
因此我们看到,我们的解具有螺旋度(J · 的特征值除以 的特征值的平方根,其值为 ,这与第 19 章中讨论的整数螺旋度值相反,那里出现的是 而不是它的双重覆盖。因此,解空间 上的这两个表示就是第 19.3 节中描述的 表示,即由稳定子群 SO(2) 的螺旋度 表示标记的那些表示。
对于方程 34.6 的任一符号,其解由 的一维子空间给出,且对每个 都是如此,有时将它们表示如下较为方便。注意,对每个 ,都可以分解
到矩阵 的 ± 特征子空间中。在 7.5 节关于布洛赫球的讨论中,我们明确发现(见方程 7.6)
给出 的 + 特征子空间的一个归一化元素,该元素满足
类似地,我们看到
为−特征子空间提供了这样一个元素。
构造此类元素的另一种方法是使用投影算符。这些算符
给出到这两个空间上的投影算符,因为容易验证
现在解可以写成
对于球面 上的任意函数 ,其中此语境下的 称为“自旋极化向量”。然而,以这种方式表示解涉及一个微妙之处。回顾第 7.5 节, 在 处不连续(对于 同样如此,并且 的任何单位长度特征向量都必须在某处具有这样的不连续性。如果 在 处有一个零点,则乘积 可以是连续的。一个基本的拓扑事实仍然是,组合 必须有一个零点,否则它将不得不不连续。如果这个零点位于 ,我们对 的选择效果很好,但如果它位于别处,人们可能想要做出不同的选择。最终,需要检查所计算出的物理量是否独立于这类选择。
牢记上述微妙之处,可以使用将能量为的泡利方程34.3的任意解写成
其中
来源与版本
正文:中文 · 机器译稿 · 待校对
核对状态:机器译稿 · 待校对
原书 PDF · 印刷页 358、359、360、361、362、363、364、365、366、367
来源版本:2025-10-20
来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837
OCR 来源 SHA-256:6320cf12ee17a648a36c579f9385d352f7d6137059da7a460c7023da96ee93e0
译稿产物 SHA-256:e4613b847a103ac0551c7858db34186106e4a3ac6e02f0baeb6b1435a78f38ac
机翻模型:deepseek-v4.1-flash