习题 20.5 - 解答
为了分析公式 (20.58) 中的盒子图(box diagram)和交叉盒子图(crossed box diagram)的红外(IR)发散性质,我们需要写出它们的费曼振幅,并在软光子极限(光子动量 k→0)下提取其主导项。
假设这是一个 2→2 的费米子散射过程(例如 e−μ−→e−μ−),设入射费米子动量为 p1,p2,出射费米子动量为 p3,p4。动量守恒要求 p1+p2=p3+p4。设动量转移为 q=p1−p3=p4−p2。
1. 软光子极限与程函近似 (Eikonal Approximation)
在红外极限下,回路中的光子动量 k 趋于零。此时,与软光子相连的费米子传播子会产生极点,主导振幅的发散行为。我们可以使用程函近似来简化分子和分母:
对于一个动量为 p 的外部费米子线,发射或吸收一个软光子 k 时,其传播子和顶点的组合可以近似为:
(p±k)2−m2+iϵi(p±k+m)(ieγμ)u(p)≈±2p⋅k+iϵi(p+m)(ieγμ)u(p)≈±2p⋅k+iϵi(2pμ)(ie)u(p)
提取出软光子因子后,剩余部分正好是树图级别的结构。具体来说,对于不同的内外线情况,软光子因子(不含电荷 e)为:
- 入射线发射光子 k:p⋅k−ipμ
- 入射线吸收光子 k:p⋅kipμ
- 出射线发射光子 k:p⋅kipμ
- 出射线吸收光子 k:p⋅k−ipμ
2. 盒子图 (Box Diagram) 分析
在盒子图中,两个费米子之间交换了两个光子。设左侧光子动量为 k(从上向下),右侧光子动量为 k′=k−q。
红外发散出现在两个区域:k→0 和 k′→0。
区域 1:k→0
此时左侧光子是软光子。它由入射线 p1 发射,并被入射线 p2 吸收(顺着费米子流方向看,底线动量变为 p2+k)。
应用程函近似,振幅的红外发散部分可以分解为树图振幅 M0 乘以一个软光子积分因子:
Mbox(k→0)≈M0∫(2π)4d4kk2+iϵ−i(ie)2(p1⋅k−ip1μ)(p2⋅kip2ν)ημν
=M0(ie2)∫(2π)4d4kk2+iϵ1(p1⋅k)(p2⋅k)p1⋅p2
区域 2:k′→0
此时右侧光子是软光子。令积分变量替换为 k′。该光子由出射线 p3 发射,并被出射线 p4 吸收(底线内部动量为 p4−k′)。
Mbox(k′→0)≈M0∫(2π)4d4k′k′2+iϵ−i(ie)2(p3⋅k′ip3μ)(p4⋅k′−ip4ν)ημν
=M0(ie2)∫(2π)4d4k′k′2+iϵ1(p3⋅k′)(p4⋅k′)p3⋅p4
综合两个区域,盒子图的红外发散部分为:
MboxIR=ie2M0∫(2π)4d4kk2+iϵ1[(p1⋅k)(p2⋅k)p1⋅p2+(p3⋅k)(p4⋅k)p3⋅p4]
3. 交叉盒子图 (Crossed Box Diagram) 分析
在交叉盒子图中,光子线发生交叉。设连接 p1 顶点和 p4 顶点的光子动量为 k。
同样存在两个红外发散区域。
区域 1:k→0
软光子 k 由入射线 p1 发射,并被出射线 p4 吸收(底线内部动量为 p4−k)。
Mcrossed(k→0)≈M0∫(2π)4d4kk2+iϵ−i(ie)2(p1⋅k−ip1μ)(p4⋅k−ip4ν)ημν
=M0(−ie2)∫(2π)4d4kk2+iϵ1(p1⋅k)(p4⋅k)p1⋅p4
注意这里由于是入射线和出射线之间的交换,符号与盒子图不同。
区域 2:另一个光子变软
设连接 p3 和 p2 的光子动量为 k′→0。该光子由出射线 p3 发射,并被入射线 p2 吸收(底线内部动量为 p2+k′)。
Mcrossed(k′→0)≈M0∫(2π)4d4k′k′2+iϵ−i(ie)2(p3⋅k′ip3μ)(p2⋅k′ip2ν)ημν
=M0(−ie2)∫(2π)4d4k′k′2+iϵ1(p2⋅k′)(p3⋅k′)p2⋅p3
综合两个区域,交叉盒子图的红外发散部分为:
McrossedIR=−ie2M0∫(2π)4d4kk2+iϵ1[(p1⋅k)(p4⋅k)p1⋅p4+(p2⋅k)(p3⋅k)p2⋅p3]
4. 结论
将两个图的红外发散部分相加,得到总的红外修正:
MsumIR=ie2M0∫(2π)4d4kk2+iϵ1[(p1⋅k)(p2⋅k)p1⋅p2+(p3⋅k)(p4⋅k)p3⋅p4−(p1⋅k)(p4⋅k)p1⋅p4−(p2⋅k)(p3⋅k)p2⋅p3]
观察积分结构 ∫k2d4kk1k1∼∫k4k3dk∼∫kdk,这在 k→0 时表现出对数发散 (logarithmic divergence)。
方括号中的运动学因子在一般的散射角下(t=0)并不为零。这些发散对应于初态-初态、末态-末态以及初态-末态带电粒子之间的长程库仑相互作用(即库仑相位 Coulomb phase)。
因此,这两个图及其总和是红外发散的。
Yes, they are IR divergent. The divergence is logarithmic as k→0.