(x↔y, a↔b, μ↔ν) + постоянный член

(18.10)

Постоянный член

6δ_ab(g^μνz²-2z^μz^ν)

π²(z²-i0)⁴

1

не выписан в явном виде, так как он не дает, вклада в коммутатор, фигурирующий в выражении для адронного тензора W^μν (в других случаях, например при вычислении ⟨TV^aV^b⟩₀ , этот член может оказаться лидирующим). Полагая затем y=0 и разлагая регулярные операторы :q…q: в ряды по степеням переменной z, получаем следующее разложение хронологического произведения TV^μ_a(z)V^ν_b(0) на световом конусе:

TV

_μ

^a

(z)V

_ν

^b

(0)

=

^z2→0

-i

∑

^{n нечетн}

d

_abc

S

^μανβ

z_α

π²(z²-i0)²

⋅

z_μ1…z_μn

n!

×

:

q

(0)λ

^c

γ

_β

D

^μ₁

…D

^μ_n

q(0):

+

-i

∑

^{n нечетн}

ƒ

_abc

ε

^μανβ

z_α

π²(z²-i0)²

⋅

z_μ1…z_μn

n!

×

:

q

(0)λ

^c

γ

_β

γ

₅

D

^μ₁

…D

^μ_n

q(0):

+ постоянный член + градиентные члены

+ нечетные по перестановкам (μ↔ν, a↔b) члены

(18.11)

Выражение (18.11) приведено к такому виду, что все фигурирующие в нем производные действуют на функции, стоящие справа от них. Чтобы добиться этого, в случае необходимости добавлены градиентные члены. Нечетные относительно перестановок (ν↔ν , a↔b) члены явно не выписаны. При подстановке их в выражение для W^μν все они обращаются в нуль, так как мы рассматриваем диагональные матричные элементы ⟨p|TJJ|p⟩^29б).

^29б) Для процессов, в расчетах которых фигурируют недиагональные матричные элементы, необходимо учитывать градиентные члены. Пример такой ситуации приведен в§ 27, п. 3.

В выражении (18.11) полезно произвести некоторую перегруппировку членов. Мы не будем рассматривать здесь общий случай, а просто продемонстрируем этот метод на примере произведения двух электромагнитных токов. В этом случае (18.8) и (18.11) приводят к следующему выражению (здесь опущены градиентные, постоянные и нечетные по перестановке μ↔ν члены, а также индекс em):

TJ

^μ

(z)J

^ν

(0)

=

^z2→0

i

∑

^{n нечетн}

S

^μανβ

-z_α

π²(z²-i0)²

⋅

z_μ1…z_μn

n!

×

:

q

(0)Q

₂

^e

γ

_β

D

^μ₁

…D

^μ_n

q(0): ,

где Q_e — оператор электрического заряда, действующий в пространстве ароматов:

Q

_e

=

⎧

⎪

⎪

⎪

⎩

2/3

0

-1/3

0

-1/3

⎫

⎪

⎪

⎪

⎭

=

1

2

⎛

⎜

⎝

λ

³

+

1

√3

λ

⁸

⎞

⎟

⎠

.

Далее разобьем это выражение на два члена, один из которых пропорционален тензору g^μν (в дальнейшем он будет отождествлен со структурной функцией ƒ₁, а другой не зависит от него (он приводят к функции ƒ₂). Это легко сделать, используя явный вид тензоров S^μανβ. После некоторых переобозначений индексов получаем

TJ

^μ

(z)J

^ν

(0)

=

^z2→0

i

⎧

⎨

⎩

g

^μν

1

π²(z²-i0)²

∑

^{n четн}

z

_μ1

…z

_μn

1

(n-1)!

×

:

q

(0)Q

₂

^e

γ

^μ₁

D

^μ₂

…D

^μ₂

q(0):

+

-1

2π²(z²-i0)

∑

^{n четн}

z

_μ1

…z

_μn

1

n!

×

[:

q

(0)Q

₂

^e

γ

^μ

D

^ν

D

^μ₁

…D

^μ_n

q(0):+(μ↔ν)]

⎫

⎬

⎭

(18.12)

где (во втором члене в правой части) использовано равенство z_α/(z²-i0)²=-½∂_α(z²-0)^-1, при помощи которого действие производной ∂_α переносится на переменную z_μ1. Наконец, разобьем тензор Q²_e на компоненту, пропорциональную единичной матрице (являющуюся синглетом по отношению к преобразованиям группы аромата SU_F(3)), и компоненту, пропорциональную оператору Q_e и, следовательно, несинглетную по отношению к преобразованиям группы аромата:

Q

₂

^e =c_eNSQ_e+c_eF=

1

6 λ³+

1

6√3 λ⁸+

2

9 ;

c_eNS=1/3, c_eF=2/9.

(18.13)

Окончательно получаем выражение для хронологического произведения двух электромагнитных токов в виде

TJ

^μ

(z)J

^ν

(0)

=

-g

^μν

i

π²(z²-i0)²

∑

^{n четн}

z

_μ1

…z

_μn

i^n-1