1
(x1A1+…+xnAn)n
.
Более подробную сводку формул можно найти в обзоре [209].
Приведем значения некоторых определенных интегралов
∫
1
0
𝑑x log(1+x)=2log2-1
∫
1
0
𝑑x
log(1+x)
2
=
π²
12
.
Многие часто встречающиеся в приложениях интегралы можно вычислить, используя формулу Эйлера
∫
1
0
𝑑x x
α
(1-x)
β
=
Γ(1+α)Γ(1+β)
Γ(2+α+β)
.
Например, дифференцированием получаем отсюда следующие результаты:
∫
1
0
𝑑x x
α
log x=
1
(α+1)²
;
∫
1
0
𝑑x x
α
(1-x)
β
log x=[S
1
(a)-S
1
(1+α+β)]
Γ(1+α)Γ(1+β)
Γ(2+α+β)
,
∫
1
0
𝑑x
xα-1
1-x
=-S
1
(α),
∫
1
0
𝑑x x
α
log x log(1-x)=
s1(1+α)
(1+α)2
+
S2(1+α)
1+α
-
π²
6
⋅
1
1+α
;
∫
1
0
𝑑x x
α
log²x
1-x
=2ζ(3)-2s
3
(α),
∫
1
0
𝑑x
xα
1-x
log x log(1-x)=
π²
6
S
1
(α)-S
1
(α)S
2
(α)-S
3
(α)+ζ(3),
∫
1
0
𝑑x x
α
(1-x)
β
log x log(1-x)
=
Γ(1+α)Γ(1+β)
Γ(2+α+β)
⎧
⎨
⎩
S
2
(1+α+β)-
π²
6
+[S
1
(α)-S
1
(α+β+1)]
×
[S
1
(β)-S
1
(α+β+1)]
⎫
⎬
⎭
,
∫
1
0
𝑑x x
α
(1-x)
β
log²x
=
Γ(1+α)Γ(1+β)
Γ(2+α+β)
{[S
1
(α)-S
1
(α+β+1)]²+S
2
(α+β+1)-S
2
(α)}
и т.д.
Здесь использованы обозначения
S
l
(α)=ζ(l)-
∞
∑
k=1
[1/(k+α)
l
], l>1; S
l
(α)=
α
∑
j=1
(1/j
l
),
где α - положительное целое число, а l может принимать любые значения. Заметим, что S2(∞)=π²/6, Sl(∞)=ζ(l), где ζ — функция Римана. В случае l=1 приведенное выше выражение для функции можно представить в виде ряда
S
1
(α)=α
∞
∑
k=1
[1/(k+α)k]=
α
∑
j=1
(1/j),
где α - целое положительное число. Функция S1(α) представима в виде S1(α)=ψ(α+1)+γE, где ψ(z)=𝑑log(Γ(z))/𝑑z. Сведения о специальных функциях Γ, ψ, ζ см. в книге [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=-iƒabc=-iƒabc. Коммутационные соотношения для матриц Ca и ta имеют вид
[t
a
,t
b
]=i
∑
ƒ
abc
t
c
, [C
a
,C
b
]=i
∑
ƒ
abc
C
c
,
а антикоммутатор генераторов ta и tb имеет вид
{t
a
,t
b
}=
∑
d
abc
t
c
+
1
3
δ
ab
.
Структурные константы группы ƒ полностью антисимметричны по всем индексам, а структурные константы dabc≡dabc полностью симметричны по всем индексам. Ниже приводятся все отличные от нуля значения структурных констант ƒ и d:
1=ƒ
123
=2ƒ
147
=2ƒ
246
=2ƒ
257
=2ƒ
345
-2ƒ
156
=-2ƒ
156
=-2ƒ
367
=
2
√3
ƒ
458
=
2
√3
ƒ
678
;
1
√3
=d
118
=d
228
=d
338
=-d
888
,
-1
2√3
=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'
ƒ
acc'
ƒ
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²-1
2N
, T
F
=
1
2
.
В приложениях часто встречаются соотношение
Tr t
a
t
b
t
c
=
i
4
ƒ
abc
+
i
4
d
abc
,
а также инварианты
∑
abc
d
2
abc
=
40
3
,
∑
abc
ƒ
2
abc
=24 ,
∑
rka
ε
irk
t
a
jr
t
a
kl
=-
2
3
ε
ijl
.
Приложение Г. Фейнмановские правила диаграммной техники для КХД
Имеются следующие фейнмановские правила:
igγ
μ
t
a
kj
-gƒ
abc
[(p-q)
ν
g
λμ
+(q-k)
λ
+(k-p)
μ
g
νλ
]
-igƒ²
∑
e
{ƒ
abe
ƒ
cde
(g
λν
g
νσ
-g
λσ
g
μν
)
+
ƒ
ace
ƒ
bde
(g
λμ
g
νσ
-g
λσ
g
μν
)
+
ƒ
ade
ƒ
cbe
(g
λν
g
μσ
-g
λμ
g
σν
)}
-gƒ
acb
p
μ
i
δ
jk
i
-gμν+ξkμkν/(k²+i0)
k2+i0
δ
ab
(лоренцева калибровка)
i
-gμν+(nμkν+nνkμ)/n⋅k-n²(kμkν/n⋅k)
k2+i0
δ
ab
(аксиальная калибровка)
i
k²+i0
δ
ab
.
При вычислении диаграмм следует добавлять общий множитель (2π)4δ(Pi-Pƒ), описывающий сохранение полного 4-импульса, и коэффициент (— 1) на каждую замкнутую фермионную петлю или петлю ду́хов. Статистические множители таковы:
1
2!
для
1
3!
для
Каждое интегрирование по петле содержит комбинацию
ν
4-D
0
∫
𝑑
D
k/(2π)
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 вследствие разного определения амплитуд 𝓣 и 𝓣BD
Приложение Д. Фейнмановские правила диаграммной техники для составных операторов
Введем обозначения: γ+=1, γ-=γ5 и Δ — произвольный 4-вектор, удовлетворяющий условию Δ=0. Тогда фейнмановские правила диаграммной техники для составных операторов имеют вид
N=q(0)γμ1…∂μnγ±q(0)
N=Gμμ1∂μ2…∂μG
gμν(Δ⋅k)nk²ΔμΔν(Δ⋅k)n-2
-(kμΔν+Δμkν)(Δ⋅k)n-1
N=g
q
j
(0)γ