Начнем с рассмотрения свободных полей. Используя теорему Вика, T-произведение двух векторных токов можно записать в виде
TV
a
(x)V
a
(y)
=
T:
q
i
(x)
a
ik
q
k
(x):
:
q
j
(y)
b
jl
q
l
(y):
=
z2->0
2nc
ab(gz2-2zz)4
(z2-·1
+
(if
abc
+d
abc
)
S
(x-y)
:
q
(x)
c
q
(y):
+
(-if
abc
+d
abc
)
S
(y-x)
:
q
(y)
c
q
(x):
+
… ,
(18.9)
где z=x-y, n
c — число цветов (равное 3), а многоточие обозначает четырехкварковые операторы : :qqqq:. Как объяснялось выше, в случае разложения на световом конусе такие операторы дают поправки к основным членам. Мы пока ограничимся рассмотрением только основных эффектов. При получении формулы (18.9) использованы соотношениеTq
(x)
q
(y)=
-:
q
(y)q
(x):
+S
(x-y) ,
и свойства матриц и (приложения
S(z)
z2->0
(2)2
(z-,
которое легко получить из формулы для пропагатора
S(z)=
i
(2)4
4
p e
-ip·z
p2
-m2+(приложение Е). После некоторых вычислений с -матрицами (приложение А) формулу (18.9) можно привести к виду
TV
a
(x)V
b
(y)
=
z2->0
2i
(if
abc
+d
abc
)
x
S
z
(2)2
(z2-i0)2:
q
(x)
c
q(y):
+
i
z
(2)2
(z2-i0)2:
q
(x)
c
5
q(y):
+
(x->y, a->b, ->) + постоянный член
(18.10)
Постоянный член
6ab
(gz2-2zz)2
(z2-i0)41
не выписан в явном виде, так как он не дает, вклада в коммутатор, фигурирующий в выражении для адронного тензора W
(в других случаях, например при вычислении TVaVb0 , этот член может оказаться лидирующим). Полагая затем y=0 и разлагая регулярные операторы :q…q: в ряды по степеням переменной z, получаем следующее разложение хронологического произведения TVa(z)Vb(0) на световом конусе:TV
a
(z)V
b
(0)
=
z2->0
-i
n нечетн
d
abc
S
z
2
(z2-i0)2·
z1
…znn!
x
:
q
(0)
c
D
1
…D
n
q(0):
+
-i
n нечетн
f
abc
z
2
(z2-i0)2·
z1
…znn!
x
:
q
(0)
c
5
D
1
…D
n
q(0):
+ постоянный член + градиентные члены
+ нечетные по перестановкам (->, a->b) члены
(18.11)
Выражение (18.11) приведено к такому виду, что все фигурирующие в нем производные действуют на функции, стоящие справа от них. Чтобы добиться этого, в случае необходимости добавлены градиентные члены. Нечетные относительно перестановок (-> , a->b) члены явно не выписаны. При подстановке их в выражение для W
все они обращаются в нуль, так как мы рассматриваем диагональные матричные элементы p|TJJ|p29б).29б)
Для процессов, в расчетах которых фигурируют недиагональные матричные элементы, необходимо учитывать градиентные члены. Пример такой ситуации приведен в§ 27, п. 3.В выражении (18.11) полезно произвести некоторую перегруппировку членов. Мы не будем рассматривать здесь общий случай, а просто продемонстрируем этот метод на примере произведения двух электромагнитных токов. В этом случае (18.8) и (18.11) приводят к следующему выражению (здесь опущены градиентные, постоянные и нечетные по перестановке -> члены, а также индекс em):
TJ
(z)J
(0)
=
z2->0
i
n нечетн
S
-z
2
(z2-i0)2·
z1
…znn!
x
:
q
(0)Q
2
e
D
1
…D
n
q(0): ,
где Q
e — оператор электрического заряда, действующий в пространстве ароматов:Q
e
=
2/3
0
-1/3
0
-1/3
=
1
2
3
+
1
3
8
.
Далее разобьем это выражение на два члена, один из которых пропорционален тензору g
(в дальнейшем он будет отождествлен со структурной функцией f1, а другой не зависит от него (он приводят к функции f2). Это легко сделать, используя явный вид тензоров S. После некоторых переобозначений индексов получаемTJ
(z)J
(0)
=
z2->0
g
1
2
(z2-i0)2
n четн
z
1
…z
n
1
(n-1)!
x
:
q
(0)Q
2
e
1
D
2
…D
2
q(0):
+
-1
22
(z2-i0)
n четн
z
1
…z
n
1
n!
x
[:
q
(0)Q
2
e
D
D
1
…D
n
q(0):+(->)]
(18.12)
где (во втором члене в правой части) использовано равенство z
/(z^2-i0)^2=- 1/2 (z^2-0)-1, при помощи которого действие производной переносится на переменную z1. Наконец, разобьем тензор Q2e на компоненту, пропорциональную единичной матрице (являющуюся синглетом по отношению к преобразованиям группы аромата SUF(3)), и компоненту, пропорциональную оператору Qe и, следовательно, несинглетную по отношению к преобразованиям группы аромата:Q
2
e
=ceNSQe+ceF=1
6
3+1
63
8+2
9 ;
c
eNS=1/3, ceF=2/9.(18.13)
Окончательно получаем выражение для хронологического произведения двух электромагнитных токов в виде
TJ
(z)J
(0)
=
-g
i
^2(z^2-i0)^2
n четн
z
1
…z
n
in-1
n-1
x
1
6
N
(e)1…n
NS,3
(0)+
1
63
N
(e)1…n
NS,8
(0)+
2
9
N
(e)1…n
F
(0)
+
i
2^2(z^2-i0)
n четн
z
1
…z
n
i
n-1
x
1
6
N
(e)1…n
NS,3
(0)+
1
63
N
(e)1…n
NS,8
(0)
+
2
9
N
(e)1…n
F
(0)+(->)
(18.14 а)
где введены обозначения
N
(e)1…n
NS,a
=
in-1
(n-2)!
:
ff'
q
(0)
1
D
2
…D
n
a
ff'
q
f'
(0):,
N
(e)1…n
F
=
in-1
(n-2)!
:
f
q
(0)
1
D
2
…D
n
q
f
(0):,
a
=
1,…,8.
(18.14 б)
В завершение этого параграфа мы выведем вновь явление скейлинга, используя операторное разложение на световом конусе в случае свободных полей (партонную модель), а именно, выражения (18.12) и (18.14). Рассмотрим тензор
em (ср. с (17.18))
em
(p,q)
Bj
=
(2)^3
-g
^2
d
4
z e
iq·z
n четн
iz1
…izn(z^2-i0)^2(n-1)
x
1…n
n
(p)-
d
4
z e
iq·z
n
iz1
…iznz^2-i0
x
[
1
…nn
(p)+(->)]
,
(18.15 а)