где х
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)
то из регулярности операторов N
t следует, что в пределе x→0 поведение левой части (18.4) определяется вильсоновскими коэффициентами, умноженными на конечные константы ⟨Φ|Nt|Ψ⟩. Таким образом, в пределе x→0 лидирующее поведение хронологического произведения операторов TA(x)B(0) определяется коэффициентом C1(x), а старшие поправки контролируются коэффициентами Cqq, CqВернемся к разложению (18.1). Так как операторы N
t(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)
Отметим, что матрицы λ действуют в пространстве ароматов. Мы включаем в рассмотрение кварки трех сортов: q
1=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, n
c — число цветов (равное 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)41