где х6 означает (х⋅х)3, х-2 означает 1/х2 и т.д. Очевидно, что эти соотношения точно выполняются лишь в случае свободных полей. Асимптотическая свобода КХД гарантирует, что поправки к соотношениям (18.3) могут быть только логарифмическими. Эти поправки не вносят существенных изменений во все проводимые рассуждения.
Коэффициенты при других операторах в пределе x→0 оказываются конечными. Если теперь взять какой-нибудь матричный элемент от разложения (18.1):
⟨Φ|TA(x)B(0)|Ψ⟩
=
x→0
C
1
(x)⟨Φ|Ψ⟩+
C
(x)
⟨Φ|:
q
(0)q(0):|Ψ⟩
+
C
qDq
(x)
⟨Φ|:
q
(0)
q(0):|Ψ⟩
+
C
G2
(x)
⟨Φ|:G
2
(0):|Ψ⟩+…
(18.4)
то из регулярности операторов
Nt следует, что в пределе
x→0 поведение левой части (18.4) определяется
вильсоновскими коэффициентами, умноженными на конечные константы
⟨Φ|Nt|Ψ⟩. Таким образом, в пределе
x→0 лидирующее поведение хронологического произведения
операторов
TA(x)B(0) определяется коэффициентом
C1(x), а старшие поправки контролируются
коэффициентами
Cqq,
Cq
Вернемся к разложению (18.1). Так как операторы Nt(x,y) регулярны, их можно разложить по степеням разности x-y. При у = 0 получаем
N
t
(x,0)=
∑
n
x
μ1
…x
μn
N
(n)μ1…μn
t
(0,0) .
Например, для полей q(x) и q(x) имеем
:
q
(0)q(-x):=
∑
n
x
μ1
…x
μn
(-1)n
n!
:
q
(0)∂
μ1
…∂
μn
q(0):.
(18.5)
В случае калибровочной теории, такой как КХД, обычные производные, фигурирующие в (18.5), следует заменить ковариантными производными29а). Тогда получаем
29а) Интуитивно это ясно. Формальное доказательство можно получить, заметив, что оператор q(0)q(-1) не является калибровочно-инвариантным. Калибровочная инвариантность восстанавливается при введении экспоненциального множителя P exp∫0-1dyμ∑taBμa . См. , например, работу [269] и приложение И.
TA(x)B(0)
≃
x→0
C
1
(x)1+C
(x)
∑
n
x
μ1
…x
μn
(-1)n
n!
×
:
q
(0)D
μ1
…
D
μn
q(0):+… .
(18.6)
В пределе
x→0 члены, содержащие производные, в (18.6) в общем
случае представляют собой малые поправки, так как они содержат дополнительные
степени
x. Но такое утверждение
Применим теперь операторное разложение к хронологическому произведению адронных токов, появлявшихся в формулах для процессов глубоконеупругого рассеяния. Поведение этих токов на световом конусе определяет в бьеркеновском пределе структурные функции кварков. Прежде чем приступить к расчетам, введем некоторые обозначения. Вначале рассмотрим векторные и аксиальные токи, описанные в § 17. Их можно записать в виде комбинаций из восемнадцати токов:
V
μ
a
(x)
=
∑
ƒƒ'
:
q
ƒ
(x)λ
a
ƒƒ'
γ
μ
q
ƒ'
(x): ,
A
μ
a
(x)
=
∑
ƒƒ'
:
q
ƒ
(x)λ
a
ƒƒ'
γ
μ
γ
5
q
ƒ'
(x): ,
V
μ
0
(x)
=
∑
ƒ
:
q
ƒ
(x)γ
μ
q
ƒ
(x): ,
A
μ
0
(x)
=
∑
ƒ
:
q
ƒ
(x)γ
μ
γ
5
q
ƒ
(x): .
(18.7)
Этим токам можно придать единообразный вид, полагая λ0ƒƒ'=䃃' и считая, что индекс a пробегает значения 0, 1, …, 8. Например, электромагнитный ток кварков записывается в виде
J
μ
em
=
1
2
⎧
⎨
⎩
V
μ
3
+
1
√3
V
μ
8
⎫
⎬
⎭
.
(18.8)
Отметим, что матрицы λ действуют в пространстве ароматов. Мы включаем в рассмотрение кварки трех сортов: q1=u, q2=d, q3=s; учет остальных сортов кварков не представляет трудности. Естественно, во всех формулах подразумевается суммирование по цветовым индексам.
Начнем с рассмотрения свободных полей. Используя теорему Вика, 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(gμνz2-2zμzν)
π4(z2-
⋅1
+
∑
(iƒ
abc
+d
abc
)γ
μ
αβ
S
βδ
(x-y)γ
ν
δρ
:
q
α
(x)λ
c
q
ρ
(y):
+
∑
(-iƒ
abc
+d
abc
)γ
ν
αβ
S
βδ
(y-x)δ
μ
δρ
:
q
α
(y)λ
c
q
ρ
(x):
+
… ,
(18.9)
где z=x-y, nc — число цветов (равное 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
∑
(iƒ
abc
+d
abc
)
×
⎧
⎨
⎩
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)
Постоянный член
6δab(gμνz2-2zμzν)
π2(z2-i0)4
1