Сосредоточим внимание на вычислении членов 0|…|. Их можно разложить в ряд по степеням переменных z и y: например,
0|
d
(0)
5
u(z)|(p
1
)
=
n
z1…zn
n!
S0|
d
(0)
5
D
1
…D
n
u(0)|(p
1
);
(27.12 а)
если пренебречь членами, пропорциональными массе пиона, то получаем
(2)
2/3
0
d
(0)
5
D
1
…D
n
u(0)|(p
1
)
i
n+1
p
1
p
11
…p
1n
n
.
(27.12 б)
Все выкладки были выполнены формально. После перенормировки надо заменить константу связи g на бегущую константу g(^2) и учесть, что множитель n приобретает зависимость от : n=n(^2). Чтобы избежать появления логарифмических членов log(Q^2/^2), выберем параметр ^2=Q^2=-(p2-p2)^2. Если теперь "партонную волновую функцию" определить в виде
1
0
d
n
=
n
,
(27.12 в)
то выражение (27.11) можно представить в физически очень наглядном виде
(2)
2/3
0|
d
(0)
5
u(z)|(p
1
)
=
ip
1
1
0
d (,^2)e
ip1·z
(27.13)
и, проведя в (27.11) интегрирование по переменным z,y;k,p , получить следующий результат:
V
(p
1
,p
2
)
=
CFg^2
48
1
0
d(,^2)
1
0
d
*
(,^2)
x
Tr
p2k2
+
(p
1
->p
2
) ,
(27.14 а)
где
p=p
1
-(1-)p
2
,
k=(1-)p
2
-(1-)p
2
.
(27.14 б)
Таким образом, нам удалось разбить вершину на "мягкую часть", описываемую волновыми функциями и *, и на "жесткую часть" (рис. 24, в и г). Переменные и описывают долю импульса, приходящуюся на каждый кварк. Вычислив след в формуле (27.14), приходим к окончательному результату
F
(q^2)
=
4CFs(Q^2)
6Q^2
1
0
d
(,Q^2)
1-
^2
+O
M
2
Q
2
+O(
2
s
),
Q^2
-q^2
(27.15)
Последняя задача состоит в вычислении зависимости волновой функции от Q^2. Операторы, которые определяют функцию с помощью уравнений (27.12), аналогичны операторам, определяющим несинглетную часть структурных функций в процессах глубоконеупругого рассеяния (§ 19, 20). Но есть и некоторые дополнительные трудности: ввиду недиагонального характера матричных элементов суммарные расходимости приводят к ненулевому вкладу. Операторы N1…nA,n,k, k=0,…,n ,
N
1…n
A,n,k
=
n
d
(0)
5
D
1
…D
k
u(0)
(27.16)
при проведении перенормировок преобразуются друг через друга по формуле
N
A,n,k
->
k'
Z
n+1,k'
N
A,n,k
.
(27.17 а)
При k=n элементы матрицы Zn+1,n совпадают с элементами, вычисленными в § 20:
Z
n+1,n
=1+
g^2N
16^2
C
F
4S
(n+1)-3-
2
(n+1)(n+2)
;
(27.17 б)
при k=n-1 они имеют значения
Z
n+1,n
=
g^2N
16^2
C
F
2
n+2
-
2
n-k
.
(27.17 в)
Чтобы получить операторы, обладающие определенным поведением в пределе Q^2-> 41а), нужно диагонализовать матрицу Z. Пусть этого можно достигнуть при помощи матрицы S ; тогда, обозначив через ^Ak диагональные матрицы, получаем соотношение
41а) Красивый альтернативный метод, основанной на свойствах конформной инвариантности, приведен в работе [117].
A
n
(Q^2)
=
n
k=0
S
nk
^A
k
(Q^2).
(27.18)
Аномальные размерности матриц ^Ak представляют собой собственные значения матрицы Z. Но из треугольного характера матрицы Z следует, что ее собственные значения являются просто ее диагональными элементами. Следовательно, в пределе Q^2-> имеем
^A
k
(Q^2)
Q^2->
[
s
(Q^2)]
dNS(k+1)
^A
k0
В ведущем порядке теории возмущений, учитывая неравенство dNS(k+1) dNS(1)=0, нужно сохранить только один член в (27.18), так что получаем результат
A
n
(Q^2)
->
Q^2->
S
n0
^A
00
откуда следует предельное соотношение
1
0
d
(,Q^2)
1-
->
Q^2->
^A
00
n=0
S
n0
.
Легко убедиться, что элементы Sn0 матрицы S имеет вид
S
n0
=
1
n+2
-
1
n+3
.
Кроме того, известен также элемент ^A00 . Из уравнений, основанных на гипотезе о частичном сохранении аксиального тока (см. § 31, в частности (31.26)), следует равенство
(2)
3/2
0|
d
(0)
5
u(0)|(p)
=ip
2
f
, f
93 МэВ
поэтому величина
A
0
=
1
0
d(,Q^2)=
2
f
не зависит от Q2 . Отсюда получаем ^A00=62f .
Окончательный результат имеет вид41б)
41б) В своем изложении мы следуем работам [53, 105, 116]. Тот же результат можно получить, используя так называемую теорию возмущений на световом конусе [54].
F
(t)
Q^2->
12C
F
f
2
s
(-t)
-t
.
(27.19)
Поправки к этой формула имеют величину O(dNS(3)s=0,6s); в действительности для четных значений n в силу зарядового сопряжения результат оказывается равным нулю.
Пример вычисления пионного формфактора полезен в нескольких отношениях. Из сравнения выражения (27.19) с экспериментальными результатами видно, что теоретическое значение слишком мало. Это, конечно, можно отнести на счет следующих за ведущими пертурбативных поправок. Однако, по-видимому, происходит нечто иное, а именно поправки, связанные с операторами высших твистов, вследствие малости масс кварков u и d становятся чрезвычайно существенными. Действительно, рассмотрим вклад псевдоскалярного члена в выражение (27.10). Смешанный член дает вклады, подавленные по сравнению с выражением (27.19) множителем m^2/t , и им можно пренебречь; но псевдоскалярно-псевдоскалярный вклад содержит квадрат матричного элемента 0|d5u|, который, как легко убедиться, используя уравнение движения, пропорционален величине fm^2(mu+md). Повторяя проведенный выше анализ; получаем результат
F
(t)
=
12C
F
f
2
s
(-t)
-t
1+
4m
4
log(-t/m
2
)
-(mu+md)^2t
.
(27.20)