В случае свободных полей
p|N
1…n
NS
(0)|p=g
i
j…g
l
mp
k'n-m
(p^2)
m
A
'
n
NS
,
как мы вскоре убедимся, дают поправки ~m^2
N/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)!
2j
n!x
по перестановкам
g
i1
i'1…
g
ij
i'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
…Dnq
NS
(25.1)
(индекс TMC означает, что учтена поправка на массу мишени). Так как выполняется равенство g
igjp|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 б)
Функцию f
2 удобно определить как предел структурной функции f(TMC)2 при m^2N->0, а момент задать в видеNS
(n,Q^2)
=
1
0
dx x
n-2
f
2
(x,Q^2) .
(25.4)
Полученные в § 24 уравнения применимы как раз к этим величинам и f
2 . Чтобы вычислить моменты(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/2f
2
(,Q^2)
+
6m
^2
N
Q
^2
·
x
^3
(1+4x^2m
^2
N
/Q^2)^21
d'
'^2
f
2
(',Q^2)
+
12m
4
N
Q
4
·
x
4
(1+4x^2m
^2
N
/Q^2)5/21
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^2
N/Q^2, ими можно полностью пренебречь. Эти поправки важны только при больших (но не слишком больших) значениях переменной x . В самом деле, если эти формулы применить к случаю x->1, то возникают неустойчивости. Это происходит по двум причинам. Во-первых, вклад операторов высших твистов (которые рассматриваются ниже) возрастает в пределе x->1. Хотя и ожидается, что обусловленные этими операторами поправки имеют вид 3M^2/Q^2 , где M, т.е. на половину порядка величины меньше, чем поправки на массу мишени, но могут происходить (и, вероятно, происходят) разного рода сокращения40а). Во-вторых, как было показано в § 23, в пределе x->1 теория возмущений неприменима.40а)
Обсуждение этого вопроса можно найти в работах [90,91]Поэтому более последовательным, по-видимому, было бы разложить 25.6) в ряд по степеням величины m^2
N/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
велики. Другими словами, мы принимаем эту величину в качестве параметра, характеризующего допустимую ошибку вычислений: трудно утверждать, что следует учитывать поправки порядка m
4N/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 мы рассматривали только первый член разложения C
01. Это было сделано по двум причинам. Во-первых, основываясь только на размерном анализе, можно ожидать, что коэффициенты Cf и CG ведут себя следующим образом:C
f
(constant)
Q4
, C
G
(constant)
Q4
.
(26.2)
Во-вторых, во всех порядках теории возмущений
:
q
q:
0
=0
,
:G^2:
0
=0 ,
(26.3)