Вычисление аномальных размерностей для несинглетных операторов NNS было выполнено в работе [125], а для синглетных - в работе [126]. Полученные результаты сформулированы в более простом аналитическом виде для несинглетных операторов в статье [150] и для синглетных — в статье [151]. Недавно они были проверены [84, 131], и лишь для коэффициента при аномальной размерности γ(1)VV(n) было найдено выражение, отличающееся от полученного ранее34). Пусть величины γ(1)±NS(n) относятся к четным (нечетным) структурным функциям. Тогда имеем
34) Результаты работы [131] недавно были проверены независимым образом.
γ
(1)±
NS
(n)
=
32
9
S
1
(n)
⎡
⎢
⎣
67+8
2n+1
n²(n+1)²
⎤
⎥
⎦
-64S
1
(n)S
2
(n)
-
32
9
[S
2
-S
±
²
(n/2)]
⎧
⎨
⎩
2S
1
(n)-
1
n(n+1)
⎫
⎬
⎭
-
128
9
S
̃
±
(n)+
32
3
S
2
(n)
⎡
⎢
⎣
3
n(n+1)
-7
⎤
⎥
⎦
16
9
S
±
³
⎛
⎜
⎝
n
2
⎞
⎟
⎠
-
28-16
1514+260n³+96n²+3n+10
9n³(n+1)³
±
32
9
⋅
2n²+2n+1
n³(n+1)³
+
32nƒ
27
×
⎧
⎨
⎩
6S
2
(n)-10S
1
(n)+
3
4
+
11n²+5n-3
n²(n+1)²
⎫
⎬
⎭
,
(21.2 а)
S
+
l
(x/2)
=
S
l
(x/2)
,
S
-
l
(x/2)
=
S
l
⎛
⎜
⎝
x-1
2
⎞
⎟
⎠
,
S
̃
±
(x)
=
-
5
8
ζ(3)±
∞
∑
k=1
(-1)k
(k+x)²
S
1
(k+x)
.
(21.2 б)
Сводку формул для величин γ(1)ij можно найти в работе [194], где для аномальной размерности γ(1)VV принят результат, полученный в работе [131].
Обратимся теперь к вильсоновским коэффициентам. Поскольку они представляют собой константы, их можно вычислить, взяв матричные элементы от хронологического произведения TJμJν между произвольными состояниями. Эту свободу в выборе состояний можно использовать, чтобы максимально упростить вычисления. Естественно, удобно выбрать кварковые и глюонные состояния. Следует помнить, что в отличие от аномальных размерностей вильсоновские коэффициенты зависят от рассматриваемого процесса и структурной функции. Сводку значений35) коэффициентов Cn(1)NS(1,0) и ⃗Cn(1)(1,0) можно найти в работах [27, 55]. Здесь мы приведем пример вычисления продрльной структурной функции.
35) Некоторые из коэффициентов C были вычислены ранее в работах [1, 13, 63,90, 126, 168,181,164, 271, 279] и др. Значения, приведенные в работах [27, 55], проверены по крайней мере двумя независимыми вычислениями.
В ведущем порядке теории возмущений структурные функции ƒ1 и ƒ2 равны, и, следовательно, продольная структурная функция ƒL равна нулю. Для случая свободных полей это показано в § 18. Но так как поправки ведущего порядка сводятся просто к умножению коэффициентов CnL(1,0) на множитель (log Q²/Λ²)δ(n), где δ=d или δ=D, все моменты от продольной структурной функции ƒL , как и утверждалось, в этом порядке равны нулю. Это означает, что для продольной структурной функции формула (21.1) принимает вид
C
n
L
(1,α
s
)
=
C
n(1)
L
(1,0)
αs
4π
+… .
(21.3)
Это выражение определяет степень пертурбативного нарушения соотношения Каллана — Гросса. Его удобно представить в виде произведения двух сомножителей
C
n(1)
PL
(1,0)
=
δ
P
B
n(1)
L
,
(21.4)
один из которых зависит от рассматриваемого процесса, а другой не зависит. При этом множители δP имеют вид
δ
PNS
=
⎧
⎪
⎨
⎪
⎩
1
6
, для ƒ
eN
²
1
, для ƒ
ν±I
²
δ
PF
=
⎧
⎪
⎨
⎪
⎩
5
18
, для ƒ
eN
2F
1
, для ƒ
ν±I
²
(21.5)
Рис. 15. Диаграмма, дающая вклад в несинглетную часть продольной структурной функции ƒL
Рис. 16. Диаграмма, дающая вклад в синглетную часть продольной структурной функции ƒL
где индекс N принимает значения N=p (протон) или n (нейтрон), а индекс / обозначает "изоскалярный" нуклон. Рассмотрим теперь продольную структурную функцию ƒNSL . Выражение для продольной структурной функции получается в результате вычисления диаграмм рис. 15, так как все другие диаграммы дают либо одинаковые вклады, которые сокращаются при вычислении разности ƒ1-ƒ2 , либо вклады только в синглетную часть36). Более того, поскольку разложение продольной структурной функции ƒL начинается с членов первого порядка по константе связи αs , нет необходимости рассматривать вклад от перенормировочных множителей операторов N , которые в данном случае приводят к поправкам порядка O(α²s) . Вычисления можно еще более упростить, заметив, что если в выражении для тензора Τμν сохранить члены, пропорциональные компонентам импульса qμ и qν , то продольная структурная функция будет единственной инвариантной амплитудой, пропорциональной произведению qμqν . Например, в случае векторных токов имеем
36) При вычислении синглетной части следует учитывать также диаграммы рис. 16.
Τ
μν
=
(g
μν
-q
μ
q
ν
/q²)T
L
+
⎛
⎜
⎝
g
μν
-p
μ
p
ν
q²
ν
+
pμqν+pνpμ
ν
⎞
⎟
⎠
Τ
2
,
ƒ
L
=
1
2π
Im Τ
L
.
(21.6)
В общем случае вычисления следует проводить для импульсов p²<0, чтобы можно было контролировать инфракрасные расходимости. Но это условие не является необходимым при расчете ƒL , которая в рассматриваемом порядке теории возмущений остается конечной в пределе p²→0 .
Амплитуда, соответствующая диаграмме рис. 15, имеет вид
i
2
(2π)³
∑
σ
∫
4
z e
iq⋅z
⟨p,σ|ΤJ
μ
(z)J
ν
(0)|p,σ⟩
=
⎡
⎢
⎢
⎣
Τ'
μν
ij
=-
C
F
δ
ij
g²
1
4
∑
σ
u
(p,σ)
×
∫
D
k
̂
γα(
(p+k)4(p+k+q)²k²
u(p,σ)
⎤
⎥
⎥
⎦
+
"кросс"-член.
Используя соотношение
∑
σ
u
(p,σ)ℳu(p,σ)=Tr(
ℳ) ,