Так как указанная проблема возникает в результате пренебрежения массами кварков, мы должны вновь вывести формулу (28.1), но с учетом масс кварков. Напоминаем, что бегущая константа связи определялась выражением αs=g2/4π, где g представляет собой решение уравнений (12.6):
𝑑g
𝑑 log Q/ν
=
g
β(
g
) ,
g
⎥
⎥Q=ν
=g(ν) ,
(28.2 а)
где
ν𝑑
𝑑ν
g(ν)=g(ν)β(g(ν)) , β=-Z
-1
g
ν𝑑
𝑑ν
Z
g
.
(28.2 б)
Рассмотрим поведение поперечной части глюонного пропагатора, которую мы обозначим так же, как в выражении (6.9). Введя обозначение Q/ν=λ, из уравнений (12.1) и (12.7) получаем
D
tr
(q²;g(ν),m(ν);ν²)
=
D
tr
(ν²;
g
(λ),
m
(λ);ν²)exp
⎧
⎨
⎩
-
∫
log λ
0
𝑑 log λ'γ
D
[
g
(λ')]
⎫
⎬
⎭
.
(28.3)
В используемой нами физической калибровке (см. (9.18)) аномальная размерность глюонного пропагатора равна γD=2β0g²/16π², а, следовательно, поперечная часть глюонного пропагатора определяется выражением
D
tr
(q²;g(ν),m(ν);ν²)
=
2
Q²/ν²
D
tr
(ν²;
g
(λ),
m
(λ);ν²).
(28.4)
Рассмотрев пропагатор
42) Здесь и ниже из выражения для пропагатора исключен общий множитель 1/q2 . Прим. перев.
D
tr
(ν²;
g
(λ),
m
(λ);ν²)
=
K
ν
+
2αs(Q²)TF
π
×
∫
1
0
𝑑x x(1-x)log
m²+x(1-x)ν²
ν²
,
где Kν - константа. Сначала выберем ν=Λ; тогда
D
tr
(q²;g(ν),m(ν);ν²)
=
2
log Q²/Λ²
⎧
⎨
⎩
K+
2αs(Q²)TF
π
×
∫
1
0
𝑑x x(1-x)log
⎡
⎢
⎣
x(1-x)+
m²(Q²)
Λ²
⎤
⎥
⎦
⎫
⎬
⎭
.
(28.5)
Если m≫Λ, то справедливо приближенное равенство
D
tr
q²;g(ν),m(ν);ν²)
≈
⎧
⎨
⎩
K+
αs(Q²)TF
π
log
m²(Q²)
Λ²
⎫
⎬
⎭
2
log Q²/Λ²
.
(28.6)
Если m²≫Q², то поправки к константе K в формуле (28.6) велики, и такое приближение становится малопригодным. Этого и следовало ожидать: схема перенормировок MS так же, как и любая другая не зависящая от масс перенормировочная схема (подобная схеме, предложенной в работе [258]), с неизбежностью разрушает сходимость в случае, если существует масса, превышающая характерный масштаб импульсов. Решение этой проблемы заключается в использовании числа кварковых ароматов nƒ зависящего от масштаба импульсов, например 42а)
42а) Возможны и другие интерполяционные формулы или процедуры (см. [76] и особенно работу [258], где можно найти подробное обсуждение этого вопроса, включая вычисление зависимости от эффективного значения nƒ). Какой из интерполяционных формул пользоваться, в значительной мере безразлично, так как в КХД зависимость всех величин от nƒ в области nƒ=3-6 очень слабая.
n
ƒ
(Q²)=
nƒ
∑
ƒ=1
⎧
⎪
⎩
1-
4m̂
2
ƒ
Q²
⎫½
⎪
⎭
⎧
⎪
⎩
1+
2m̂
2
ƒ
Q²
⎫
⎪
⎭
θ(Q²-4m̂
2
ƒ
).
(28.7)
Необходимо доказать, что такая процедура последовательна. Что формула (28.7) справедлива для значений Q бо́льших, чем все массы кварков, мы уже знаем; поправки имеют величину O(m̂²q/Q²). Завершим доказательство, показав, что эта формула справедлива и для случая Q²≪m². Рассмотрим с этой целью выражение для глюонного пропагатора. Отсюда будет ясно, как распространить доказательство на общий случай.
Поскольку вклады кварков и глюонов в выражение для глюонного пропагатора Dtr аддитивны, достаточно рассмотреть только первый из них. В ведущем порядке теории возмущений имеем
D
(кварки)
tr
=1-
αg
π
∫
1
0
𝑑x x(1-x)log
x(1-x)Q²+m̂²
ν²
(28.8)
В этом порядке необходимости учета перенормировки величин ag или m не возникает. Для случая Q²≪m̂² получаем
D
(кварки)
tr
=1-
αg
6π
log
m̂²
μ²
-
αg
30π
⋅
Q²
m̂²
,
(28.9)
т.е. результат, постоянный с точностью до членов
O(Q²/m̂²). Следовательно, с точностью до этих членов
он совпадает с глюонным пропагатором, вычисленным для
Случай глюонного пропагатора особенно прост; в общем случае поправки имеют величину порядка log(m̂²/Q²)(Q²/m̂²).
Теорема "развязки" особенно наглядна в μ-схеме перенормировок. Рассмотрим снова вклад кварков в выражение для глюонного пропагатора. Проводим вычисления во втором порядке теории возмущений и, вспоминая выражение (9.21), получаем
D
(кварки)
u tr
(q²)
=
i+T
F
g²
16π²
⎧
⎨
⎩
2
3
N
ε
n
ƒ
-4
∫
1
0
𝑑x x(1-x)
×
nƒ
∑
ƒ=1
log
m
2
ƒ
-x(1-x)q²
μ
2
0
⎫
⎬
⎭
+ … .
Напомним, что μ-схема перенормировок возникает, если потребовать выполнения условия D(кварки)R tr(q²=-μ²)=Dсвоб. tr(-μ²), а следовательно справедливо равенство
D
(кварки)
R tr
i+T
F
g²
16π²
⎧
⎨
⎩
-4
∫
1
0
𝑑x x(1-x)
∑
ƒ
m
2
ƒ
-x(1-x)q²
m
2
ƒ +x(1-x)μ²
⎫
⎬
⎭
Положим Q²=-q². В случае, когда Q², μ≫m²ƒ, справедливо приближенное равенство
∫
1
0
𝑑x x(1-x) log
m
2
ƒ
-x(1-x)Q²
m
2
ƒ +x(1-x)μ²
≃
1
6
log
Q²
μ²
+O
⎧
⎪
⎩
m
2
ƒ
μ²
,
m
2
ƒ
Q²
⎫
⎪
⎭
;
для случая m²ƒ≫μ²,Q² имеем
∫
1
0
𝑑x x(1-x)
log
m
2
ƒ
-x(1-x)Q²
m
2
ƒ +x(1-x)μ²
≃
O
⎧
⎪
⎩
μ²
m
2
ƒ
,
Q²
m
2
ƒ
⎫
⎪
⎭
;
§ 29. Массовые члены и свойства инвариантности; киральная инвариантность