习题 41.1 - 解答
为了验证单粒子态的矩阵元公式 (41.23) 和 (41.26),我们需要结合平移不变性、洛伦兹不变性以及宇称不变性来推导相互作用狄拉克场 Ψ(x) 及其伴随场 Ψˉ(x) 在真空与精确单粒子态 ∣p,s,q⟩ 之间的矩阵元。其中 q=+ 代表正粒子, q=− 代表反粒子。
1. 平移不变性 (Translation Invariance)
利用四维动量平移算符 Pμ,场算符满足 Heisenberg 运动方程的解:
Ψ(x)=eiP⋅xΨ(0)e−iP⋅x,Ψˉ(x)=eiP⋅xΨˉ(0)e−iP⋅x
由于真空态满足 Pμ∣0⟩=0,且精确单粒子态满足 Pμ∣p,s,±⟩=pμ∣p,s,±⟩,我们可以提取出矩阵元的坐标依赖关系:
⟨0∣Ψ(x)∣p,s,+⟩=⟨0∣eiP⋅xΨ(0)e−iP⋅x∣p,s,+⟩=e−ip⋅x⟨0∣Ψ(0)∣p,s,+⟩
⟨0∣Ψˉ(x)∣p,s,−⟩=⟨0∣eiP⋅xΨˉ(0)e−iP⋅x∣p,s,−⟩=e−ip⋅x⟨0∣Ψˉ(0)∣p,s,−⟩
2. 洛伦兹不变性 (Lorentz Invariance)
在洛伦兹变换 U(Λ) 下,狄拉克场在 x=0 处的变换规律为:
U(Λ)−1Ψ(0)U(Λ)=L(Λ)Ψ(0)
取厄米共轭并右乘 β(利用 L(Λ)†β=βL(Λ)−1),可得伴随场的变换:
U(Λ)−1Ψˉ(0)U(Λ)=Ψˉ(0)L(Λ)−1
根据题目给定的条件 (39.40),精确单粒子态在洛伦兹变换下不产生 Wigner 旋转(即自旋指标 s 表现为标量标签):
U(Λ)∣p,s,±⟩=∣Λp,s,±⟩
利用 U(Λ)∣0⟩=∣0⟩,我们考察正粒子在 x=0 处的矩阵元:
⟨0∣Ψ(0)∣Λp,s,+⟩=⟨0∣U(Λ)U(Λ)−1Ψ(0)U(Λ)U(Λ)−1∣Λp,s,+⟩=L(Λ)⟨0∣Ψ(0)∣p,s,+⟩
设 p0=(m,0) 为静止参考系下的动量,并选取洛伦兹变换 Λ 使得 p=Λp0,则有:
⟨0∣Ψ(0)∣p,s,+⟩=L(Λ)⟨0∣Ψ(0)∣p0,s,+⟩
同理,对于反粒子态:
⟨0∣Ψˉ(0)∣Λp,s,−⟩=⟨0∣U(Λ)U(Λ)−1Ψˉ(0)U(Λ)U(Λ)−1∣Λp,s,−⟩=⟨0∣Ψˉ(0)∣p,s,−⟩L(Λ)−1
代入 p=Λp0 得到:
⟨0∣Ψˉ(0)∣p,s,−⟩=⟨0∣Ψˉ(0)∣p0,s,−⟩L(Λ)−1
3. 宇称不变性 (Parity Invariance)
为了确定静止系下的矩阵元 ⟨0∣Ψ(0)∣p0,s,+⟩ 和 ⟨0∣Ψˉ(0)∣p0,s,−⟩,我们需要引入宇称对称性。设场的内禀宇称为 η(满足 ηη∗=1),场算符的宇称变换为:
P−1Ψ(0)P=ηβΨ(0),P−1Ψˉ(0)P=η∗Ψˉ(0)β
费米子与其反粒子具有相反的内禀宇称,因此静止单粒子态的宇称变换为:
P∣p0,s,+⟩=η∗∣p0,s,+⟩,P∣p0,s,−⟩=−η∗∣p0,s,−⟩
(注意:作用在左矢上时,本征值取复共轭,即 P−1∣p0,s,−⟩=−η∣p0,s,−⟩)。
对正粒子矩阵元应用宇称变换:
⟨0∣Ψ(0)∣p0,s,+⟩=⟨0∣PP−1Ψ(0)PP−1∣p0,s,+⟩=⟨0∣(ηβΨ(0))(η∗)∣p0,s,+⟩=β⟨0∣Ψ(0)∣p0,s,+⟩
这表明 ⟨0∣Ψ(0)∣p0,s,+⟩ 是 β 矩阵本征值为 +1 的本征旋量。由于静止系自由旋量满足 βus(p0)=us(p0) 且 βvs(p0)=−vs(p0),该矩阵元中 vs 的成分被严格排除。通过适当选取简并自旋态的基底,该矩阵元必然正比于 us(p0)。提取整体标度因子 Z+1/2,我们有:
⟨0∣Ψ(0)∣p0,s,+⟩=Z+1/2us(p0)
对反粒子矩阵元应用宇称变换:
⟨0∣Ψˉ(0)∣p0,s,−⟩=⟨0∣PP−1Ψˉ(0)PP−1∣p0,s,−⟩=⟨0∣(η∗Ψˉ(0)β)(−η)∣p0,s,−⟩=−⟨0∣Ψˉ(0)∣p0,s,−⟩β
这表明 ⟨0∣Ψˉ(0)∣p0,s,−⟩ 是右乘 β 矩阵本征值为 −1 的本征行旋量。由于 uˉs(p0)β=uˉs(p0) 且 vˉs(p0)β=−vˉs(p0),该矩阵元必然正比于 vˉs(p0)。提取整体标度因子 Z−1/2,我们有:
⟨0∣Ψˉ(0)∣p0,s,−⟩=Z−1/2vˉs(p0)
4. 综合结果
将静止系的矩阵元代回洛伦兹变换关系中,并利用自由旋量的定义 us(p)=L(Λ)us(p0) 和 vˉs(p)=vˉs(p0)L(Λ)−1,可得任意动量下的 x=0 矩阵元:
⟨0∣Ψ(0)∣p,s,+⟩=Z+1/2L(Λ)us(p0)=Z+1/2us(p)
⟨0∣Ψˉ(0)∣p,s,−⟩=Z−1/2vˉs(p0)L(Λ)−1=Z−1/2vˉs(p)
最后,将其代入第1步的平移不变性公式中,即可验证 LSZ 约化公式中所需的单粒子态矩阵元(即 eqs. 41.23 和 41.26):
⟨0∣Ψ(x)∣p,s,+⟩⟨0∣Ψˉ(x)∣p,s,−⟩=Z+1/2e−ip⋅xus(p)=Z−1/2e−ip⋅xvˉs(p)