Здесь использованы обозначения
S
l
=(l)-
k=1
[1/(k+)
l
], l1; S
l
=
j=1
(1/j
l
),
где - положительное целое число, а l может принимать любые значения. Заметим, что S2=^2/6, Sl=(l), где — функция Римана. В случае l=1 приведенное выше выражение для функции можно представить в виде ряда
S
1
=
k=1
[1/(k+)k]=
j=1
(1/j),
где - целое положительное число. Функция S1 представима в виде S1=(+1)+E, где (z)=dlog((z))/dz. Сведения о специальных функциях , , см. в книге [5].
Приложение В. Теоретико-групповые соотношения
Для группы SU(3) генераторы t определяются по формуле t=/2, где матрицы имеют вид
j
=
j
0
0
0
, j=1,2,3;
4
=
0
0
1
0
0
0
1
0
0
;
5
=
0
0
-i
0
0
0
i
0
0
;
6
=
0
0
0
0
0
1
0
1
0
;
7
=
0
0
0
0
0
-i
0
i
0
;
8
=
1
3
1
0
1
0
-2
;
1
=
0
1
1
0
,
2
=
0
-i
i
0
,
3
=
1
0
0
-1
.
Можно ввести матрицы Ca, матричными элементами которых являются структурные константы группы Cabc=-ifabc=-ifabc. Коммутационные соотношения для матриц Ca и ta имеют вид
[t
a
,t
b
]=i
f
abc
t
c
, [C
a
,C
b
]=i
f
abc
C
c
,
а антикоммутатор генераторов ta и tb имеет вид
{t
a
,t
b
}=
d
abc
t
c
+
1
3
ab
.
Структурные константы группы f полностью антисимметричны по всем индексам, а структурные константы dabcdabc полностью симметричны по всем индексам. Ниже приводятся все отличные от нуля значения структурных констант f и d:
1=f
123
=2f
147
=2f
246
=2f
257
=2f
345
-2f
156
=-2f
156
=-2f
367
=
2
3
f
458
=
2
3
f
678
;
1
3
=d
118
=d
228
=d
338
=-d
888
,
-1
23
=d
448
=d
558
=d
668
=d
778
,
1
2
=d
146
=d
157
=d
247
=d
256
=d
344
=d
355
=-d
366
=-d
377
.
Для произвольной группы SU(N) инварианты CA, CF и TF определяются формулами
ab
C
A
=
Tr C
a
C
b
=
cc'
f
acc'
f
bcc'
,
ik
C
F
=
a
t
a
t
a
ik
=
a,l
t
a
il
t
a
lk
,
ab
T
F
=
Tr t
a
t
b
=
k,i
t
a
ik
t
b
ki
.
При этом
C
A
=N, C
F
=
N^2-1
2N
, T
F
=
1
2
.
В приложениях часто встречаются соотношение
Tr t
a
t
b
t
c
=
i
4
f
abc
+
i
4
d
abc
,
а также инварианты
abc
d
2
abc
=
40
3
,
abc
f
2
abc
=24 ,
rka
irk
t
a
jr
t
a
kl
=-
2
3
ijl
.
Приложение Г. Фейнмановские правила диаграммной техники для КХД
Имеются следующие фейнмановские правила:
ig
t
a
kj
-gf
abc
[(p-q)
g
+(q-k)
+(k-p)
g
]
-igf^2
e
{f
abe
f
cde
(g
g
-g
g
)
+
f
ace
f
bde
(g
g
-g
g
)
+
f
ade
f
cbe
(g
g
-g
g
)}
-gf
acb
p
i
jk
i
-g+kk/(k^2+i0)
k2+i0
ab
(лоренцева калибровка)
i
-g+(nk+nk)/n·k-n^2(kk/n·k)
k2+i0
ab
(аксиальная калибровка)
i
k^2+i0
ab
.
При вычислении диаграмм следует добавлять общий множитель (2)4(Pi-Pf), описывающий сохранение полного 4-импульса, и коэффициент (— 1) на каждую замкнутую фермионную петлю или петлю духов. Статистические множители таковы:
1
2!
для
1
3!
для
Каждое интегрирование по петле содержит комбинацию
4-D
0
d
D
k/(2)
D
d
d
k .
Диаграммы с несвязанными графиками не рассматриваются. Читать диаграммы следует против направлений стрелок на ориентированных линиях. Для получения матричных элементов S-матрицы нужно добавить линии, отвечающие начальным и конечным частицам:
(2)
-3/2
u(p,)
(2)
-3/2
v
(p,)
(2)
-3/2
(k,)
(2)
-3/2
(k,)
*
(2)
-3/2
u
(p,)
(2)
-3/2
v(p,)
(2)
-3/2
(k,)
*
(2)
-3/2
(k,)
Спиноры и векторы поляризации предполагаются нормированными следующим образом:
u(p,)
u
=
+m ,
(k,)
*
(k,)=-g
(фейнмановская калибровка).
Эта сводка правил диаграммной техники отличается от правил, приведенных в книге [40], нормировкой спиноров
u
BD
u
BD
=
2m
,
а также множителями (2)-3/2 вследствие разного определения амплитуд T и TBD
Приложение Д. Фейнмановские правила диаграммной техники для составных операторов
Введем обозначения: +=1, -=5 и — произвольный 4-вектор, удовлетворяющий условию =0. Тогда фейнмановские правила диаграммной техники для составных операторов имеют вид
N=q(0)1…n±q(0)
N=G12…G
g(·k)nk^2(·k)n-2
-(k+k)(·k)n-1
N=g
q
j
(0)
1
…B
a
t
a
jk
…
n
±
q
k
(0)
gt
a
ij
n-2
j=0
(·p
1
)
j
(
·p
2
)
n-j-2
±
N=gG12…Bi…G
ig
3! fabc
k(·p)+pp(·k) -g(·p)(·k)-k(p·k)
+
n-2
j=1 (-1)j(·p)j-1(·k)n-j-2 +
(g-g)(·k) +(k-k)
(·k)n-2
+ перестановки.
См. также работы [125,126].
Приложение Е. Некоторые сингулярные функции
Причинные функции Грина в координатном пространстве задаются формулами
(x;m^2)
=
d4k
(2)4
e
-ik·x
i
k^2-m^2+i0
,
D
(x)
=
i
d4k
(2)4
e
-ik·x
-g+kk/(k2+i0)
k2+i0
,
S(x;m)
=
d4k
(2)4
e
-ik·x
k^2-m^2+i0
.
Иногда мы опускаем аргумент m из обозначений функций и S. Эти же функции можно выразить через вакуумные средние от хронологических произведений:
T(x)(0)
0
(x;m);
Tq
j
(x)
q
k
(0)
0
=
jk
S(x,m),
TB
a
(x)B
b
(0)
0
=
ab
D
(x).
Характер функций Грина ясно представлен уравнениями (^2x+m^2)i(x-y)=(x-y) и т.д. Кроме того, справедливо соотношение
S(x,m)=(i+m)(x,m)
На световом конусе справедливы разложения
(x,m)^2
x^2->0
-1
4^2
·
1
x^2-i0
+
im^2(x^2)
16
+
m^2
8^2
log
m|x^2| 1/2
2
+…
S(x)
x^2->0
2ix
(2)^2(x^2-i0)^2
+…