В случае свободных полей
p|N
1…n
NS
(0)|p=g
ij
…g
lm
p
k'n-m
(p^2)
m
A
'
n
NS
,
как мы вскоре убедимся, дают поправки ~m^2N/Q^2. Раньше мы пренебрегали и этими поправками; сейчас же мы сосредоточим на них внимание. Рассмотрим оператор N1…n ; ниже будет проведена замена индексов n->n+2 и n+1-> , n+2->. Благодаря симметрии по индексам оператора N его матричные элементы можно записать в следующем общем виде ( n — четное число):
ip|
1…n
NS
(0)|p
=
n/2
j=0
(-1)
j
(n-j)!
2jn!
x
по перестановкам
g
i1i'1
…
g
iji'j
(p^2)
j
x
по перестановкам
p
k1
…
p
kn-2j
A
(TMC)n-2
NS,j
,
N
1…n
NS
=
S
q
1
D
2…Dn
q
NS
(25.1)
(индекс TMC означает, что учтена поправка на массу мишени). Так как выполняется равенство gigjp|NNS1…n|p=0, мы получаем набор соотношений, разрешив которые можно выразить величины Anj через An0 . Тогда
T
(TMC)
2NS
(x,Q^2)
=
1
2
n
x
-n-1
j=0
p^2
Q^2
j
(n+j+2)!(n+2j)!
j!n!(n+2j+2)!
x
A
(0)n+2j
NS
C
n+2j
NS
,
A
(0)n
NS
A
(TMC)n
NS,j
.
(25.2)
Окончательный результат имеет вид
(TMC)
NS
(x,Q^2)
=
j=0
m
^2
N
Q
^2
j
(n+j)!
j!(n-2)!
C
n+2j
NS
(n+2j)
(n+2j-1)
A
(0)n+2j
NS
,
(25.3 а)
(TMC)
NS
(x,Q^2)
=
1
0
dx x
n-2
f
(TMC)
^2
(x,Q^2) .
(23.5 б)
Функцию f2 удобно определить как предел структурной функции f(TMC)2 при m^2N->0, а момент задать в виде
NS
(n,Q^2)
=
1
0
dx x
n-2
f
2
(x,Q^2) .
(25.4)
Полученные в § 24 уравнения применимы как раз к этим величинам
и
f2 . Чтобы вычислить моменты
(TMC)
NS
(n,Q^2)
=
j=0
m
^2
N
Q
^2
j
(n+j)!
j!(n-2)!
x
1
(n+2j)(n+2j-1)
NS
(n,Q^2);
(25.5)
однако вычислять моменты нет необходимости. После несложных выкладок можно найти, что выражение (25.5) эквивалентно следующему выражению (-скейлингу):
f
(TMC)
2
(n,Q^2)
=
x
^2
/
^2
(1+4x^2m
^2
N /Q^2)3/2
f
2
(,Q^2)
+
6m
^2
N
Q
^2
·
x
^3
(1+4x^2m
^2
N /Q^2)^2
1
d'
'^2
f
2
(',Q^2)
+
12m
4
N
Q
4
·
x
4
(1+4x^2m
^2
N /Q^2)5/2
1
d'
x
1
d''
''^2
f
2
('',Q^2),
(25.6)
где — так называемая переменная Нахтмана:
=
2x
1+(1+4x^2m
^2
N /Q^2) 1/2
(25.7)
Следует отметить некоторые особенности полученных формул. Во-первых, при малых значениях переменных x, поскольку поправки на массу мишени ведут себя как x^2m^2N/Q^2, ими можно полностью пренебречь. Эти поправки важны только при больших (но не слишком больших) значениях переменной x . В самом деле, если эти формулы применить к случаю x->1, то возникают неустойчивости. Это происходит по двум причинам. Во-первых, вклад операторов высших твистов (которые рассматриваются ниже) возрастает в пределе x->1. Хотя и ожидается, что обусловленные этими операторами поправки имеют вид 3M^2/Q^2 , где M, т.е. на половину порядка величины меньше, чем поправки на массу мишени, но могут происходить (и, вероятно, происходят) разного рода сокращения40а). Во-вторых, как было показано в § 23, в пределе x->1 теория возмущений неприменима.
40а) Обсуждение этого вопроса можно найти в работах [90,91]
Поэтому более последовательным, по-видимому, было бы разложить 25.6) в ряд по степеням величины m^2N/Q^2 и сохранить только ведущий член. Выражение для поправок на массу мишени в этом случае упрощается и принимает вид
f
TMC
(x,Q^2)
=
f(x,Q^2)
+
x
^2
N
Q
^2
6x
1
x
dy
f(y,Q^2)
y^2
-x
x
f(x,Q^2)-4f(x,Q^2)
.
(25.8)
При этом КХД становится неприменимой, когда поправки второго порядка
~
x^3(
s
)n
2
N
(1-x)Q
2
^2
велики. Другими словами, мы принимаем эту величину в качестве параметра, характеризующего допустимую ошибку вычислений: трудно утверждать, что следует учитывать поправки порядка m4N/Q4 и в то же время пренебрегать поправками порядка M^2/Q^2.
§ 26. Непертурбативные эффекты в e+e--аннигиляции и операторы высших твистов в процессах глубоконеупругого рассеяния
Мы рассматриваем оба эти эффекта в одном параграфе потому, что, с нашей точки зрения, они связаны друг с другом. Начнем с обсуждения непертурбативных (нетеоретиковозмущенческих) эффектов. Как уже обсуждалось в § 15, для этого необходимо рассмотреть величину , входящую в выражение (15.4)
Рассмотрим хронологическое произведение
TJ
(x)J
(0)
с точки зрения операторного разложения. При малых x для него можно записать разложение по операторному базису, которое в импульсном пространстве с учетом обозначения Q^2=-q^2 имеет вид
i
dx e
iq·x
TJ
(x)J
(0)
=
(-g
q^2+q
q
)
x
C
0
Q^2/^2,g
·1+
f
C
f
Q^2/^2,g
m
f
:
q
f
(0)q
f
(0):
+
C
G
Q^2/^2,g
s
:
G
a
(0)G
a
:+…
.
(21.6)
В § 15 мы рассматривали только первый член разложения C01. Это было сделано по двум причинам. Во-первых, основываясь только на размерном анализе, можно ожидать, что коэффициенты Cf и CG ведут себя следующим образом:
C
f
(constant)
Q4
, C
G
(constant)
Q4
.
(26.2)
Во-вторых, во всех порядках теории возмущений
:
q
q:
0
=0
,
:G^2:
0
=0 ,
(26.3)