对易算子共本征矢成因、二重简并关联及Dirac哈密顿量相关问题咨询

咱们先从对易算子的核心性质说起：假设两个线性算子 $A$ 和 $B$ 满足对易关系 $[A,B] = AB - BA = 0$，可以一步步推导它们的共同本征矢存在性：

• 先取 $A$ 的任意一个本征态 $|a\rangle$，满足 $A|a\rangle = a|a\rangle$（$a$ 是对应的本征值）。
• 对这个态作用 $B$ 后，计算 $A(B|a\rangle) = B(A|a\rangle) = B(a|a\rangle) = a(B|a\rangle)$，这说明 $B|a\rangle$ 也是 $A$ 的本征值为 $a$ 的本征态。
  • 如果 $a$ 是非简并的（即只有 $|a\rangle$ 这一个态对应本征值 $a$），那 $B|a\rangle$ 只能是 $|a\rangle$ 的常数倍，也就是说 $|a\rangle$ 同时也是 $B$ 的本征态。
  • 如果 $a$ 是简并的（存在多个线性无关的态都对应本征值 $a$），那 $B$ 作用在这个简并子空间里的任意态，结果仍然在这个子空间内。这时候我们可以在这个子空间里对 $B$ 做对角化，得到一组新的基矢——这些基矢就同时是 $A$ 和 $B$ 的本征矢，也就是共同本征矢。

再说说和二重简并的关联：

• 反过来，如果一个算子 $A$ 存在二重简并，往往意味着存在另一个和 $A$ 对易的非平凡算子 $B$（不是 $A$ 的函数），它能把这两个简并态区分开。这两个简并态就是 $A$ 和 $B$ 的共同本征矢，对应 $B$ 的两个不同本征值。
• 换句话说，对易算子的共同本征矢可以用来“标记”原算子的简并态，每个共同本征态对应一组唯一的 $(A的本征值, B的本征值)$ 组合，这样原本简并的态就被清晰区分开了。

先明确两个算子的定义：

• Dirac哈密顿量：$H = \boldsymbol{\alpha} \cdot \boldsymbol{p} + \beta m$（其中 $\boldsymbol{\alpha}$ 和 $\beta$ 是Dirac矩阵，$\boldsymbol{p}$ 是动量算子）
• 螺旋度算子：$h = \frac{\boldsymbol{\Sigma} \cdot \boldsymbol{p}}{|\boldsymbol{p}|}$（$\boldsymbol{\Sigma}$ 是旋量空间的泡利矩阵推广，即对角块形式的 $\text{diag}(\boldsymbol{\sigma}, \boldsymbol{\sigma})$）

首先验证它们的对易关系：$[H, h] = 0$。因为 $\boldsymbol{\alpha}$ 和 $\boldsymbol{\Sigma}$ 满足 $\boldsymbol{\alpha}\boldsymbol{\Sigma} + \boldsymbol{\Sigma}\boldsymbol{\alpha} = 2\boldsymbol{\alpha}$，结合动量 $\boldsymbol{p}$ 的性质，可以推导出 $\boldsymbol{\alpha}\cdot\boldsymbol{p}$ 和 $\boldsymbol{\Sigma}\cdot\boldsymbol{p}$ 对易；而 $\beta$ 和 $\boldsymbol{\Sigma}$ 对易，所以 $\beta m$ 和 $h$ 自然对易。整体来看 $H$ 和 $h$ 是对易的，因此它们存在一组共同本征矢。

接下来解释二重简并的来源：
Dirac哈密顿量的能量本征值是 $E = \pm\sqrt{\boldsymbol{p}^2 + m^2}$，对于任意一个给定的能量 $E$（比如正能态 $E=+\sqrt{\boldsymbol{p}^2 + m^2}$），螺旋度算子 $h$ 可以取两个本征值：$+1$（自旋方向与动量方向平行）和 $-1$（自旋方向与动量方向反平行）。
由于 $H$ 和 $h$ 对易，这两个不同螺旋度的态都是 $H$ 的本征态，也就是同一个能量 $E$ 对应两个线性无关的本征态——这就是二重简并。
换句话说，Dirac哈密顿量的每个能量本征态的二重简并，本质上就是因为存在螺旋度这个和它对易的算子，能区分出两个不同的共同本征矢，每个共同本征矢对应唯一的 $(E, h)$ 组合。

内容的提问来源于stack exchange，提问作者user178466