系列文章:Srednicki QFT 共 97 篇
上一节把连通函数分解成完整传播子与顶角组成的树;现在用六维φ3理论计算二粒子弹性散射,看看这一组织方法怎样把已经求出的圈图变成散射振幅。仍记α=g2/(4π)3,耦合g由零外动量三点顶角定义。所谓弹性,是指入射和出射的粒子种类及数目相同。计算先在一般的在壳运动学下进行,得到包含所有一圈修正的参数积分;随后取高能固定角极限,把这些积分算成对数函数,从中看出散射振幅随能量和角度的变化。
三个通道与一圈截断
先把外部粒子的运动学确定下来。物理动量记为p1,p2→p3,p4,各粒子都取正能并满足pi2=−m2,动量守恒写成p1+p2=p3+p4。顶角函数采用所有动量流入的约定,因此出射粒子的动量在顶角中要取反号:
(k1,k2,k3,k4)=(p1,p2,−p3,−p4).(20.1)
三个交换通道的内线动量平方,可以用Mandelstam变量统一表示:
s=−(p1+p2)2,t=−(p1−p3)2,u=−(p1−p4)2.(20.2)
这三个变量受到动量守恒的约束。展开右边三项,便有s+t+u=6m2−2p1⋅p2+2p1⋅(p3+p4)=4m2。为了看清它们在物理散射区的取值,再到质心系中,令入射空间动量的长度为p、散射角为θ,于是
s=4(m2+p2),t=−2p2(1−cosθ),u=−2p2(1+cosθ).(20.3)
这里用到的只是空间矢量的长度和夹角,因此在本节的五维空间中仍然成立。一般散射有s>0,t<0,u<0;到了阈值或前后向,t,u还可以等于零。这些边界在后面选择高能固定角极限时会起作用。
运动学确定后,便可用第19节的四点树装配写出振幅。四条外腿或者都连在一个完整四点顶角上,或者分成两组,由一条完整内线连接两端的完整三点顶角。后一种情形共有三个外标签分组,恰好对应s,t,u三道,如下图所示。
图20a:完整四点核和三道交换。
方块为iV4,圆圈为iV3,双线为Δ/i;
外部短线取单位在壳留数。箭头标示物理动量p1,p2,p3,p4。
右下两条外线交叉处没有顶点。
在每个交换通道中,两端三点核的三个腿平方分别相同,因而它们给出的乘积为V3(z)2,其中z=s,t,u。按照费曼规则,把两个顶角与中间的传播子相乘,其相位为(iV3)(Δ/i)(iV3)=iV32Δ。除去散射矩阵元共有的整体i后,精确振幅便写成
T=z=s,t,u∑V3(z)2Δ(−z)+V4(s,t,u).(20.4)
这时外腿的极点已经截去,每条腿只留下单位留数,场的归一化因而已经包含在上式中。先取各核的最低阶,即V3=g、V4=0、Δ=Δ0,四点核项消失,三个交换项便给出树振幅:
T(0)=g2[m2−s−i01+m2−t−i01+m2−u−i01].(20.5)
这也把完整核的写法与第10节逐腿约化所得的三个交换项联系起来:在树级,两端是立方顶点,中间是自由传播子;圈修正则分别进入这些核,并产生非零的四点顶角。
接下来在式(20.4)中代入各核的一圈表达式。由于分块式包含平方和逆分母,这一步还会产生更高阶乘积,需要再按同一微扰阶数展开。为此,令az=m2−z−i0、vz=(V3(z)−g)/g=O(α)、Πz=Π(−z)=O(α)。在运动学固定、远离另需重求和的极点时,顶角的平方和传播子的逆分母分别展开为
V3(z)2az−Πz1=g2[1+2vz+O(α2)],=az1[1+azΠz+O(α2)].(20.6)
把这两式相乘并加入四点核,就能将各类一圈贡献分开。用O(α)表示相对于树级所保留的阶数,所得振幅记为T[1]:
T[1]=z=s,t,u∑azg2[1+2vz(1)+azΠz(1)]+V4(1)(s,t,u).(20.7)
括号中的因子2来自两个三点顶角:圈修正可以放在左端,也可以放在右端。相乘时产生的vz2,vzΠz,Πz2都已超出一圈阶,故在展开中舍去。这样定义的“一圈振幅”包含树级部分,新增的修正为O(g2α);后面组装各个显式结果时,也都沿用这一截阶方式。
把前面求出的核放到质量壳上
接下来把前面几节的两点、三点和四点函数代入这个振幅。它们虽然含有不同数目的费曼参数,却可以统一采用归一化的参数测度:
dFn=(n−1)!a=1∏ndxaδ(1−a∑xa),xa≥0.(20.8)
这个归一化的作用,可以直接从参数区域看出。对xn作delta积分时,雅可比为1;其余参数的积分界限依次为0≤x1≤1、0≤x2≤1−x1,直到0≤xn−1≤1−x1−⋯−xn−2。这一区域的单纯形体积是1/(n−1)!,所以∫dFn=1。测度中的阶乘来自分母的参数合并,图的对称因子仍按原来的图计算。
先看两点核。在第14节的在壳减除式中,内线动量平方取k2=−z。记ax=x(1−x),动力学分母和减除点的分母便分别成为
D2(z)=m2−axz,D0=m2(1−ax).(20.9)
由于0≤ax≤1/4,减除分母满足D0≥3m2/4>0,对数的支割只须由动力学分母来确定。原减除式中的−ax(k2+m2)积分后给出−α(m2−z)/12,因此在壳重整化后的自能为
Π(1)(−z)=2α∫01dxD2(z)lnD0D2(z)−i0−12α(m2−z).(20.10)
其中已经包含有限减除项;把它放回传播子时,逆核仍是m2−z−i0−Π(−z)。
对于交换图两端的三点核,两条外腿在壳,中间一条腿的平方为−z。第16节的参数质量为m2+x1x3k12+x2x3k22+x1x2k32;依次将前两个腿平方置为−m2、第三个置为−z,便得到
D3(z)gV3(z)=−x1x2z+[1−(x1+x2)x3]m2,=1−2α∫dF3lnm2D3(z)−i0+O(α2).(20.11)
对数分母中的m2仍由零外动量的耦合减除点决定。这里求值的V3(z)具有两个在壳腿,而三个外动量全零的顶角则用来定义g;它们是同一个函数在不同运动学点上的取值。因此,改变外腿运动学以后,原先固定的减除项仍须保留。
四点函数的四个腿平方都取−m2,而每个箱图还保留两个相邻外动量之和的平方。沿用第17节有序首图1234的标签,这两个量是(k1+k2)2=−s和(k2+k3)2=(k1+k4)2=−u。四个单腿项的参数系数相加为(x1+x2)(x3+x4),于是它们与原来的质量项合并,给出
D1234=m2[1−(x1+x2)(x3+x4)]−x1x2s−x3x4u.(20.12)
把两个不变量暂记为一般的自变量,定义
D4(z,w)=−x1x2z−x3x4w+[1−(x1+x2)(x3+x4)]m2.(20.13)
便可把三个箱图的参数分母列在一起:
| 第17节环序 | 在壳参数分母 |
|---|
| 1234 | D4(s,u) |
| 1324 | D4(t,u) |
| 1243 | D4(s,t) |
要将这个结果排成通道的循环和,只需对第一项交换参数对(x1,x2)↔(x3,x4)。这一变换保持测度和质量项不变,雅可比绝对值为1,于是积分中的D4(s,u)可改写为D4(u,s)。三个箱图仍各计一次,它们的和为
V4(1)(s,t,u)=6g2α∫dF4[D4(s,t)−i01+D4(t,u)−i01+D4(u,s)−i01].(20.14)
这里的系数g2α/6=g4/[6(4π)3]来自第17节已求出的六维圈积分,每个固定外标签箱图的对称因子仍为1。这样,参数测度、环序和通道标签都已与前面的结果接上。
把这些核代入式(20.7),便得到任意非奇异在壳运动学的一圈振幅。不过,这时的答案仍包含几个参数积分。为了看清圈修正的能量和角度依赖,下面选取一个能将它们显式算出的极限。
高能固定角下的自能和三点顶角
令s,∣t∣,∣u∣≫m2,同时固定t/s,u/s并使它们离开零。由式(20.3)可见,这要求散射角离开前向和后向。此时各动力学分母只需保留关于m2/s的领先项,因而可略去D2,D3,D4中的质量项。定义在壳减除和耦合时所用的m则继续作为对数的参照尺度;以下所求的正是原有质量理论在这一条件下的高能渐近式。
质量项略去以后,对数中将直接出现各个不变量。它们在物理区域内有不同的符号,因此先把费曼规定包含在记号中:
Lz=Logm2−z−i0.(20.15)
从s的正虚部接近物理轴时,−s从下方接近负实轴,因此在物理固定角区域,这三个边界值分别为
Ls=lnm2s−iπ,Lt=lnm2∣t∣,Lu=lnm2∣u∣.(20.16)
对于负实数t本身,如果从上方取边界值,则有Log[(t+i0)/m2]=ln(∣t∣/m2)+iπ。后面即使把两个对数写成比值的对数,也要保留这里分别规定的边界值,因为它们决定了振幅的虚部。
先计算自能。用D2(s)≃−axs代入式(20.10),将能量依赖与参数依赖分开,得到
Π(1)(−s)≃−2αs[Ls∫01axdx+∫01axln1−axaxdx]+12αs.(20.17)
其中参数分母的对数已经在第14节式(14.44)中积分完毕:
∫01axln(1−ax)dx=−1817+23π.(20.18)
余下的是分子所带的参数对数。利用x↔1−x的对称性,将lnax=lnx+ln(1−x)的两项归并,再用∫01xrlnxdx=−1/(r+1)2逐项积分,便有
∫01axlnaxdx∫01axln1−axaxdx=2∫01(x−x2)lnxdx=2(−41+91)=−185,=32−23π.(20.19)
再用∫01axdx=1/6积分能量对数的系数,并把有限减除项合进去,常数部分成为6(2/3−π/(23))−1=3−π3。这样就得到了高能自能:
Π(1)(−s)≃−12αs(Ls+3−π3).(20.20)
将它代回传播子时,先写成−s−Π(−s)=−s[1+Π(−s)/s],再对括号取倒数并保留至一阶,得到
Δ(−s)≃−s1[1+12α(Ls+3−π3)].(20.21)
这里及以下用≃同时表示一圈截阶和质量的领先项近似。自能经逆核展开后已化为对自由传播子的乘性修正,现在只需以同样精度求出两端的三点顶角。
三点函数中取D3(s)≃−sx1x2,对数就分解为Ls+lnx1+lnx2。由于单纯形的x1边际测度是2(1−x1)dx1,每个参数对数的积分都可化为一维积分,例如
∫dF3lnx1=2∫01(1−x1)lnx1dx1=2(−1+41)=−23.(20.22)
由参数的交换对称性,x2项给出相同结果;能量对数则乘以∫dF3=1。将这三项合起来,便得
gV3(s)≃1−2α(Ls−3).(20.23)
式中的常数−3来自两个参数对数的积分。参数边界上出现的lnxi仍然可积,故在欧氏域中可以用这些对数控制领先质量极限,再沿同一个费曼解析继续取到物理值。至此,交换图所需的自能和三点核都已经算成显式函数,还剩四点箱图。
箱积分及其对数分支
箱图的参数分母含有两对参数乘积。按交错的参数对换元,可以先积掉两个变量,再对剩余积分中的比例参数求导,求出闭式。
先在欧氏不变量域取A=−s>0,B=−t>0,使参数分母为正。无质量箱积分写成
J(A,B)=6∫xi≥0i=1∏4dxiAx1x2+Bx3x4δ(1−∑ixi).(20.24)
将参数对 (x1,x3) 的总量记为 r,另一对的总量就是 1−r;用 z,y 分别表示各对内部的比例:
x1x2∂(r,z,y)∂(x1,x2,x3)=rz,=(1−r)y,=detz−y1−zr0−r01−r0=r(1−r).x3x4=r(1−z),=(1−r)(1−y),
三个新变量都在 [0,1] 内。分母变成 r(1−r)[Azy+B(1−z)(1−y)],消去雅可比中的同一因子后,r 积分给1。剩余分母对 y 为一次式,故
6J(A,B)=∫01dz∫01dyAzy+B(1−z)(1−y)1=∫01dz(A+B)z−Bln[Az/(B(1−z))].
在 z=B/(A+B) 处分子分母同时为零,其比值的极限为 (A+B)/(AB);两端的对数也可积。令 a=A/B,把对数中的比值本身换成变量 w=az/(1−z),则
z6J(A,B)=a+ww,=A+BK(a),dzK(a)=(a+w)2adw,=∫0∞dwlnw(w−11−w+a1).
括号中的差在无穷远按 w−2 衰减,w=1 处由 lnw 消去极点。对正参数 a 求导后令 w=av,有
K′(a)=∫0∞(w+a)2lnwdw=a1∫0∞(1+v)2lna+lnvdv=alna,K(a)=21ln2a+K(1).
其中 ∫0∞dv/(1+v)2=1;另一积分在 v↦1/v 下变号,因而为零。求导的被积函数在 a 的任意正紧区间内受 ∣lnw∣/(w+amin)2 控制,允许交换求导和积分。
最后求积分常数。把 K(1) 在 w=1 处分开,令上半段的 w=1/v,两段就成为相同积分。展开几何级数并逐项积分,得到
K(1)=−4∫011−w2lnwdw=4n=0∑∞∫01(−lnw)w2ndw=4n=0∑∞(2n+1)21=2π2.
所用的平方倒数和也可由傅里叶系数核对:x 在 (−π,π) 上的正弦系数为 bn=2(−1)n+1/n,Parseval 等式给出
π1∫−ππx2dx=4n=1∑∞n21,n=0∑∞(2n+1)21=(1−41)6π2=8π2.
代回 J=6K/(A+B),便得到
J(A,B)=A+B3[π2+ln2BA].(20.25)
例如两个不变量相等时,J(A,A)=3π2/(2A)>0;交换A,B,闭式保持不变,而将两者同时放大,它按共同尺度的逆一次幂缩小。这些性质也可直接从参数积分看出,并与四点函数的质量维数−2相符。
有了有限的闭式,还可以说明欧氏域中为何能把质量取到零。质量项的系数满足b(x)=1−(x1+x2)(x3+x4)≥3/4,从而0<1/[D(0)+m2b]≤1/D(0)。式(20.25)表明右边在参数区域内可积,因此支配收敛允许在积分内取领先质量极限。所得函数再按费曼规定延拓,就给出物理不变量下的箱图。
这一延拓也确定了平方对数的分支。在复域中,将ln(A/B)理解为LogA−LogB,然后令A=−s−i0,B=−t−i0。最后,在领先质量阶利用s+t+u=0,便得到物理箱积分的两种形式:
∫−sx1x2−tx3x4−i0dF4=−s+t3[π2+(Ls−Lt)2]=u3[π2+(Ls−Lt)2].(20.26)
例如Ls−Lt=ln(s/∣t∣)−iπ,而Lt−Lu=ln(∣t∣/∣u∣);前者有虚部,后者为实数。各通道的平方对数都由这样的对数差来确定。如此便可将欧氏域得到的闭式用于物理散射,同时保留正确的虚部。
把三个核合起来
现在所有参数积分都已完成,可以按最初的分块式组装振幅。先处理一个交换通道:由式(20.23),两个三点顶角相乘给出V3(s)2/g2≃1−α(Ls−3);再乘式(20.21),保留至O(α),得到
g2V3(s)2Δ(−s)≃−s1[1−1211αLs+12α(39−π3)].(20.27)
对数系数中的−1+1/12=−11/12,分别来自两个顶角和内线自能;常数项也按同样方式相加,成为3+(3−π3)/12。于是交换图的全部一圈修正已经合在一个括号内。
为了把箱图接到这个结果上,可按最终出现的1/s、1/t、1/u分母将四点核分为三组。其中,与1/s交换项同组的是D4(t,u),因为式(20.26)将它的积分写成
6α∫D4(t,u)−i0dF4≃2sα[π2+(Lt−Lu)2].(20.28)
把这一项加到式(20.27)上,平方对数与常数分别归并,括号中的常数变为α(39−π3−6π2)/12。为简化最后的表达式,定义
c=116π2+π3−39=2.3326385908…,(20.29)
再加上另外两个通道的循环项,所得振幅为
Thard[1]F(s,t,u)=g2[F(s,t,u)+F(t,u,s)+F(u,s,t)],=−s1{1−1211α(Ls+c)−2α(Lt−Lu)2}.(20.30)
每个F在最后两个变量互换时保持不变,所以三个循环项的和对全部三道置换对称,正好满足相同实标量的交换对称性。每一项又都带有一个逆不变量,因而[T]=−2。圈修正保留了树振幅的对称性和量纲,同时在其能量与角度依赖中引入了对数及平方对数。
这个闭式给出固定角下的质量领先项及一圈修正。取 α≪1、α∣ln(s/m2)∣≪1,高阶耦合项受到抑制;质量修正按 m2/s 的幂及其对数趋零。
一个直角散射的例子
作为补充,考察θ=π/2的高能散射,看看这些对数怎样进入可测的散射率。这时t=u=−s/2。记L=ln(s/m2),三个边界对数便是Ls=L−iπ、Lt=Lu=L−ln2。由于后两者相等,s组中的平方对数为零;另外两组相同,其中的平方对数可展开为
(L−ln2−L+iπ)2=ln22−π2−2iπln2.(20.31)
把各项代入三个F,树级部分的系数相加为−1+2+2=3,能量对数的系数相加为11/12−44/12=−11/4。再将实部和虚部分开,便可写成
Thard[1]π/2R90(L)=sg2[3+αR90(L)+iπα(4ln2−1211)],=−411(L+c)+311ln2−2ln22+2π2.(20.32)
这里的虚部从一圈开始出现,来自物理s道的费曼边界及箱图中的对数差。它在振幅中与实部一同存在,但进入这一阶截面的方式,还要由振幅与共轭的乘积来确定。
在同一能量和角度比较圈修正前后的微分截面,相空间和通量因子会相消。树振幅为实数3g2/s,因此只需将T(0)+δT与其共轭相乘,并保留至一阶,得到
dσ(0)dσ[1]π/2=1+32αR90(L)+O(α2)(20.33)
这里仍取相同的领先质量近似。一圈虚部的平方属于相对O(α2),所以当前阶数的截面修正由实部与树振幅的干涉给出。振幅中的对数依赖由此转化为散射率随能量和角度的变化。
← 第 19 节 · 章节地图 · 第 21 节 →