Повернутися до розділу "Стандартна модель" .
Асимптотична свобода КХД [ ]
Розглянемо квантову хромодинаміку, що дається лагранжіаном
L
Q
C
D
=
−
1
4
F
μ
ν
a
F
a
μ
ν
+
ψ
¯
c
(
i
γ
μ
D
μ
−
m
)
ψ
c
−
1
2
α
(
∂
μ
A
a
μ
)
2
−
c
¯
a
D
μ
a
b
∂
μ
c
b
(
0
)
{\displaystyle \ L_{QCD} = -\frac{1}{4}F_{\mu \nu}^{a}F^{\mu \nu}_{a} + \bar{\psi}_{c}(i\gamma_{\mu}D^{\mu} - m)\psi_{c} - \frac{1}{2 \alpha}\left(\partial_{\mu}A^{\mu}_{a}\right)^{2} - \bar{c}_{a}D_{\mu}^{ab}\partial^{\mu}c_{b} \qquad (0)}
.
Тут
F
μ
ν
=
∂
μ
A
μ
−
∂
ν
A
μ
+
i
g
[
A
μ
,
A
ν
]
,
D
μ
=
∂
μ
+
i
g
A
μ
{\displaystyle \ F_{\mu \nu} = \partial_{\mu}A^{\mu} - \partial_{\nu}A_{\mu} + ig[A_{\mu}, A_{\nu}], \quad D_{\mu} = \partial_{\mu} + igA_{\mu}}
,
індекси
a
,
c
{\displaystyle \ a, c}
відповідають підсумовуванню за глюонними полями (нагадаю , що для групи SU(3) є вісім генераторів і, відповідно, вісім полів, що реалізують приєднане представлення ) та за кольорами кварків (від одного до трьох) відповідно,
c
¯
,
c
{\displaystyle \ \bar{c}, c}
- поля гостів,
α
{\displaystyle \ \alpha }
- параметр калібрування, що визначає вигляд глюонного вільного пропагатора:
D
μ
ν
a
b
(
p
)
=
−
δ
a
b
g
μ
ν
−
(
1
α
−
1
)
p
μ
p
ν
p
2
p
2
+
i
ϵ
{\displaystyle \ D_{\mu \nu}^{ab}(p) = -\delta^{ab}\frac{g_{\mu \nu} - \left(\frac{1}{\alpha} - 1 \right)\frac{p_{\mu}p_{\nu}}{p^{2}}}{p^{2} + i\epsilon }}
.
У цій статті за допомогою рівнянь ренормгрупи буде показано, що КХД (на прикладі однопетльового розрахунку) являється асимптотично вільною при високих енергіях, що еквівалентно твердженню про зменшення біжучої константи зв'язку із ростом енергії.
На відміну від КЕД, у якій за допомогою тотожності Уорда для визначення біжучої константи зв'язку необхідно було знайти константу перенормування лише для поля
A
μ
{\displaystyle \ A_{\mu}}
, для КХД як для неабелевої теорії є справедливими тотожності Славнова-Тейлора , які не дозволяють обійтися одною константою перенормування для поля
A
μ
a
{\displaystyle \ A_{\mu}^{a}}
. Тепер треба також знати константу перенормування для ферміонних полів (кварків) та константу константу перенормування вершинної функції. Іншими словами, перенормована константа зв'язку КХД буде визначатися співвідношенням
g
s
r
=
g
s
Z
3
Z
2
Z
1
(
1
)
{\displaystyle \ g_{s}^{r} = g_{s}\frac{\sqrt{Z_{3}}Z_{2}}{Z_{1}} \qquad (1)}
,
де визначено
Z
2
{\displaystyle \ Z_{2}}
як константу перенормування ферміонного поля,
Z
3
{\displaystyle \ Z_{3}}
- як константу перенормування глюонного поля (за участі гостів ), і, нарешті,
Z
1
{\displaystyle \ Z_{1}}
як константу перенормування вершинної функції (нагадаю, у КЕД
Z
1
=
Z
2
{\displaystyle \ Z_{1} = Z_{2}}
в силу того, що виконуються тотожності Уорда). У розрахунках для таких випадках часто використовують метод фонового поля, який полягає у тому, що усі поля розкладаються на постійне (у сенсі того, що за ним не відбувається континуальне інтегрування) "класичне" (фонове) поле і квантове поле. Вони перетворюються по-різному при калібрувальних перетвореннях, і при цьому лагранжіан при такому розкладі можна переписати у новому вигляді, який явно показує інваріантність відносно обраних перетворень. Ця інваріантність має той наслідок, що для розрахунку перенормованої константи зв'язку достатньо знайти константу перенормування для калібрувального поля.
Тут, втім, я не буду використовувати цей метод, обійшовшися повністю без формалізму континуального інтегралу. Таким чином, для визначення константи перенормування константи зв'язку треба буде визначити константи перенормування. Їх знаходять із розрахунку власних енергій кварків (при високоенергетичній границі, коли масами кварків можна знехтувати), глюонів та із вершинної функції взаємодії кварків та глюонів.
Розрахунок констант перенормувань [ ]
Власна енергія кварків [ ]
Можна розпочати із найбільш простого - власної енергії кварків. Розрахунок дуже подібний до обрахунку власної енергії електрона у КЕД . Отже, при використанні калібрування Фейнмана (
α
=
1
{\displaystyle \ \alpha = 1}
), при якому глюонний пропагатор має вигляд
D
μ
ν
i
j
(
p
)
=
−
i
g
μ
ν
δ
i
j
p
2
+
i
ε
{\displaystyle \ D_{\mu \nu}^{ij}(p) = \frac{-ig_{\mu \nu}\delta^{ij}}{p^{2} + i\varepsilon }}
,
можна отримати
−
i
Σ
1
l
o
o
p
(
p
)
=
∑
j
∫
d
4
k
(
2
π
)
4
(
−
i
g
s
γ
ρ
λ
j
2
)
(
p
/
−
k
/
)
+
m
(
p
−
k
)
2
−
m
2
+
i
ε
(
−
i
g
s
γ
ρ
λ
j
2
)
−
i
g
ρ
σ
k
2
+
i
ε
(
2
)
{\displaystyle \ -i\Sigma_{1loop}(p) = \sum_{j}\int \frac{d^{4}k}{(2 \pi )^{4}}\left(-ig_{s}\gamma^{\rho}\frac{\lambda_{j}}{2}\right)\frac{(p\!\!\!/ - k\!\!\!/ ) + m }{(p - k)^{2} - m^{2} + i\varepsilon }\left(-ig_{s}\gamma^{\rho}\frac{\lambda_{j}}{2}\right)\frac{-ig_{\rho \sigma}}{k^{2} + i\varepsilon } \qquad (2)}
.
Для обчислення таких інтегралів, нагадаю, робляться наступні типові кроки: вводиться розмірну регуляризацію ,
∫
d
4
k
(
2
π
)
4
→
μ
4
−
d
∫
d
d
k
(
2
π
)
d
,
g
μ
μ
=
d
,
γ
μ
γ
α
γ
μ
=
(
2
−
d
)
γ
α
{\displaystyle \ \int \frac{d^{4}k}{(2 \pi )^{4}} \to \mu^{4 - d}\int \frac{d^{d}k}{(2 \pi )^{d}}, \quad g_{\mu}^{\ \mu} = d, \quad \gamma^{\mu}\gamma_{\alpha}\gamma_{\mu} = (2 - d)\gamma_{\alpha}}
,
виконується згортка гамма-матриць у
(
2
)
{\displaystyle \ (2)}
, вводиться фейнманівська параметризація,
1
(
(
p
−
k
)
2
−
m
2
+
i
ε
)
(
k
2
+
i
ε
)
=
∫
0
1
d
x
(
(
p
−
k
)
2
−
m
2
)
x
+
k
2
(
1
−
x
)
)
2
=
∫
0
1
d
x
(
(
k
−
p
x
)
2
+
p
2
x
(
1
−
x
)
−
m
2
x
)
2
{\displaystyle \ \frac{1}{((p - k)^{2} - m^{2} + i\varepsilon )(k^{2} + i\varepsilon )} = \int \limits_{0}^{1}\frac{dx}{((p - k)^{2} - m^{2})x + k^{2}(1 - x))^{2}} = \int \limits_{0}^{1}\frac{dx}{((k - px)^{2} + p^{2}x(1 - x) - m^{2}x)^{2}}}
,
зсувається 4-імпульс інтегрування,
k
→
k
+
p
x
{\displaystyle \ k \to k + px }
(після цього інтеграли виду
∫
d
d
k
k
μ
(
k
2
−
Δ
)
2
{\displaystyle \ \int d^{d}k\frac{k_{\mu}}{(k^{2} - \Delta )^{2}}}
будуть занулятися),
а також - враховується, що оператор Казиміра КХД рівний
∑
j
λ
j
λ
j
4
=
N
c
2
−
1
2
N
c
{\displaystyle \ \sum_{j} \frac{\lambda_{j}\lambda_{j}}{4} = \frac{N_{c}^{2} - 1}{2N_{c}}}
(
N
c
{\displaystyle \ N_{c}}
- число кольорів у групі, що співпадає із порядком групи
S
U
(
n
)
{\displaystyle \ SU(n)}
).
У результаті із
(
2
)
{\displaystyle \ (2)}
можна отримати
Σ
1
l
o
o
p
(
p
)
=
−
i
g
s
2
N
c
2
−
1
2
N
c
μ
4
−
d
∫
0
1
d
x
∫
d
d
k
(
2
π
)
d
d
m
+
(
2
−
d
)
p
/
(
1
−
x
)
(
k
2
−
(
m
2
x
−
p
2
x
(
1
−
x
)
)
)
2
(
3
)
{\displaystyle \ \Sigma_{1loop}(p) = -ig_{s}^{2}\frac{N_{c}^{2} - 1}{2N_{c}}\mu^{4 - d}\int \limits_{0}^{1}dx\int \frac{d^{d}k}{(2 \pi )^{d}}\frac{dm + (2 - d)p\!\!\!/ (1 - x)}{\left( k^{2} - (m^{2}x - p^{2}x(1 - x))\right)^{2}} \qquad (3)}
.
Тепер треба використати рівності (вони знадобляться і для обчислення інших констант перенормувань нижче)
∫
d
d
k
(
2
π
)
d
1
(
k
2
−
Δ
)
n
=
(
−
1
)
n
i
Γ
(
n
−
d
2
)
(
4
π
)
d
2
Δ
n
−
d
2
Γ
(
n
)
,
∫
d
d
k
(
2
π
)
d
k
μ
k
ν
(
k
2
−
Δ
)
n
=
(
−
1
)
n
i
g
μ
ν
Γ
(
n
−
1
−
d
2
)
2
(
4
π
)
d
2
Δ
n
−
d
2
−
1
Γ
(
n
)
,
(
4
)
{\displaystyle \ \int \frac{d^{d}k}{(2 \pi )^{d}}\frac{1}{(k^{2} - \Delta )^{n}} = (-1)^{n}i\frac{\Gamma \left( n - \frac{d}{2}\right)}{(4 \pi )^{\frac{d}{2}}\Delta^{n - \frac{d}{2}}\Gamma (n)}, \quad \int \frac{d^{d}k}{(2 \pi )^{d}}\frac{k^{\mu} k^{\nu}}{(k^{2} - \Delta )^{n}} = (-1)^{n}i\frac{g^{\mu \nu}\Gamma \left( n - 1 - \frac{d}{2}\right)}{2(4 \pi )^{\frac{d}{2}}\Delta^{n - \frac{d}{2} - 1}\Gamma (n)}, \qquad (4)}
,
із допомогою яких
(
3
)
{\displaystyle \ (3)}
можна представити як
Σ
1
l
o
o
p
(
p
)
=
g
s
2
μ
4
−
d
(
4
π
)
d
2
N
c
2
−
1
2
N
c
d
m
Γ
(
2
−
d
2
)
∫
0
1
d
x
(
m
2
x
−
p
2
x
(
1
−
x
)
)
2
−
d
2
+
g
s
2
μ
4
−
d
2
(
4
π
)
d
2
N
c
2
−
1
2
N
c
(
2
−
d
)
p
/
∫
0
1
(
1
−
x
)
d
x
(
m
2
x
−
p
2
x
(
1
−
x
)
)
2
−
d
2
=
A
m
+
B
p
/
(
5
)
{\displaystyle \ \Sigma_{1loop}(p) = \frac{g_{s}^{2}\mu^{4 - d}}{(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} - 1}{2N_{c}}dm \Gamma \left( 2 - \frac{d}{2}\right)\int \limits_{0}^{1} \frac{dx}{(m^{2}x - p^{2}x(1 - x))^{2 - \frac{d}{2}}} + \frac{g_{s}^{2}\mu^{4 - d}}{2(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} - 1}{2N_{c}}(2 - d)p\!\!\!/ \int \limits_{0}^{1}\frac{(1 - x)dx}{(m^{2}x - p^{2}x(1 - x))^{2 - \frac{d}{2}}} = Am + Bp\!\!\!/ \quad (5)}
.
Нагадаю , що константа перенормування ферміонного поля (у квадраті) дорівнює
Z
2
=
1
−
d
Σ
1
l
o
o
p
(
p
)
d
p
/
=
1
−
B
(
m
2
)
−
(
p
/
∂
p
2
∂
p
/
∂
B
∂
p
2
)
p
/
=
m
−
m
(
∂
p
2
∂
p
/
∂
A
∂
p
2
)
p
/
=
m
=
|
p
2
=
(
p
/
)
2
|
=
1
−
B
(
m
2
)
−
2
m
2
(
∂
B
∂
p
2
)
p
/
=
m
−
2
m
2
(
∂
A
∂
p
2
)
p
2
=
m
2
{\displaystyle \ Z_{2} = 1 - \frac{d \Sigma_{1loop}(p)}{d p\!\!\!/} = 1 - B(m^{2}) - \left(p\!\!\!/ \frac{\partial p^{2}}{\partial p\!\!\!/}\frac{\partial B}{\partial p^{2}} \right)_{p\!\!\!/ = m} - m\left(\frac{\partial p^{2}}{\partial p\!\!\!/} \frac{\partial A}{\partial p^{2}} \right)_{p\!\!\!/ = m} = |p^{2} = (p\!\!\!/)^{2}| = 1 - B(m^{2}) - 2m^{2}\left(\frac{\partial B}{\partial p^{2}} \right)_{p\!\!\!/ = m} -2m^{2}\left(\frac{\partial A}{\partial p^{2}} \right)_{p^{2} = m^{2}}}
.
Проробивши нескладні обчислення, можна отримати
δ
2
=
1
−
Z
2
=
−
2
g
s
2
μ
4
−
d
(
4
π
)
d
2
N
c
2
−
1
2
N
c
Γ
(
2
−
d
2
)
∫
0
1
d
x
(
1
−
x
)
(
m
2
x
2
)
2
−
d
2
+
4
m
2
g
s
2
μ
4
−
d
(
4
π
)
d
2
N
c
2
+
1
2
N
c
Γ
(
2
−
d
2
)
(
2
−
d
2
)
∫
0
1
d
x
x
(
1
−
x
)
2
(
m
2
x
2
)
3
−
d
2
−
{\displaystyle \ \delta_{2} = 1- Z_{2} = -2\frac{g_{s}^{2}\mu^{4 - d}}{(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} - 1}{2N_{c}}\Gamma\left( 2 - \frac{d}{2}\right)
\int \limits_{0}^{1}\frac{dx(1 - x)}{(m^{2}x^{2})^{2 - \frac{d}{2}}} + 4m^{2}\frac{g_{s}^{2}\mu^{4 - d}}{(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} + 1}{2N_{c}}\Gamma\left( 2 - \frac{d}{2}\right)\left(2 - \frac{d}{2}\right) \int \limits_{0}^{1}\frac{dxx(1 - x)^{2}}{(m^{2}x^{2})^{3 - \frac{d}{2}}} - }
−
8
m
2
g
s
2
μ
4
−
d
(
4
π
)
d
2
N
c
2
+
1
2
N
c
Γ
(
2
−
d
2
)
(
2
−
d
2
)
∫
0
1
x
(
1
−
x
)
d
x
(
m
2
x
2
)
3
−
d
2
→
−
2
g
s
2
μ
4
−
d
(
4
π
)
d
2
N
c
2
−
1
2
N
c
Γ
(
2
−
d
2
)
μ
4
−
d
∫
0
1
d
x
(
1
−
x
)
=
−
g
s
2
(
4
π
)
d
2
N
c
2
−
1
2
N
c
Γ
(
2
−
d
2
)
(
6
)
{\displaystyle \ - 8m^{2}\frac{g_{s}^{2}\mu^{4 - d}}{(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} + 1}{2N_{c}}\Gamma\left( 2 - \frac{d}{2}\right)\left(2 - \frac{d}{2}\right) \int \limits_{0}^{1}\frac{x(1 - x)dx}{(m^{2}x^{2})^{3 - \frac{d}{2}}} \to -2\frac{g_{s}^{2}\mu^{4 - d}}{(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} - 1}{2N_{c}}\frac{\Gamma\left( 2 - \frac{d}{2}\right)}{\mu^{4 - d}}\int \limits_{0}^{1}dx(1 - x) = -\frac{g_{s}^{2}}{(4 \pi )^{\frac{d}{2}}}\frac{N_{c}^{2} - 1}{2N_{c}}\Gamma\left( 2 - \frac{d}{2}\right) \qquad (6)}
,
де спочатку враховано, що
(
2
−
d
2
)
Γ
(
2
−
d
2
)
=
Γ
(
3
−
d
2
)
{\displaystyle \ \left( 2 - \frac{d}{2}\right)\Gamma \left( 2 - \frac{d}{2}\right) = \Gamma \left(3 - \frac{d}{2} \right)}
не обертається у нескінченність, тому лише другий доданок є нескінченним, а далі - здійснений перехід
(
m
2
x
2
)
2
−
d
2
→
μ
4
−
d
{\displaystyle \ (m^{2}x^{2})^{2 - \frac{d}{2}} \to \mu^{4 - d}}
, оскільки для перенормування потрібно утримувати лише розбіжну частину.
Власна енергія глюона [ ]
Перейдемо тепер до обчислення власної енергії глюона (і, відповідно, визначення константи
Z
3
{\displaystyle \ \sqrt{Z_{3}}}
). Без врахування полів гостів внесок у неї дають чотири діаграми, зображені на рисунку нижче.
Можна побачити, що діаграма b) не дає вкладу у константу перенормування. Дійсно, її петльовий інтеграл відповідає виразу
∫
d
d
k
k
2
=
lim
a
→
0
∫
d
d
k
k
2
+
a
2
∼
lim
a
→
0
a
d
−
2
Γ
(
2
−
d
2
)
1
−
d
2
→
0
{\displaystyle \ \int \frac{d^{d}k}{k^{2}} = \lim_{a \to 0}\int \frac{d^{d}k}{k^{2} + a^{2}} \sim \lim_{a \to 0}a^{d - 2}\frac{\Gamma \left( 2 - \frac{d}{2}\right)}{1 - \frac{d}{2}} \to 0}
при
d
>
2
{\displaystyle \ d > 2}
.
Перейдемо тепер до розрахунку трьох вкладів, що залишились. Перша діаграма, a) відповідає виразу
(
Π
i
j
μ
ν
)
1
(
q
)
=
i
∫
d
4
p
(
2
π
)
4
T
r
[
(
−
i
g
s
T
i
γ
μ
)
p
/
+
m
p
2
−
m
2
+
i
ϵ
(
−
i
g
s
T
i
γ
μ
)
(
−
i
g
s
T
j
γ
ν
)
(
p
/
−
q
/
)
+
m
(
p
−
q
)
2
−
m
2
+
i
ϵ
]
(
8
)
{\displaystyle \ (\Pi^{\mu \nu}_{ij})_{1}(q) = i \int \frac{d^{4}p}{(2 \pi )^{4}}Tr\left[ \left(-ig_{s}T_{i}\gamma^{\mu} \right)\frac{p\!\!\!/ +m}{p^{2} - m^{2} + i\epsilon } \left(-ig_{s}T_{i}\gamma^{\mu} \right)\left(-ig_{s}T_{j}\gamma^{\nu} \right)\frac{(p\!\!\!/- q\!\!\!/) +m}{(p - q)^{2} - m^{2} + i\epsilon }\right] \qquad (8)}
.
Використовуючи рівність
T
r
(
T
i
T
j
)
=
δ
i
j
2
{\displaystyle \ Tr \left( T_{i}T_{j}\right) = \frac{\delta_{ij}}{2}}
, вираз
(
8
)
{\displaystyle \ (8)}
можна звести до розрахунку виразу для власної енергії фотона ; при цьому треба підсумовувати за усіма ароматами кварків: результат дорівнює (при переході до ліміту, аналогічного ліміту для власної енергії кварків)
(
Π
i
j
μ
ν
)
1
(
q
)
→
−
N
f
2
δ
i
j
g
s
2
12
π
2
Γ
(
2
−
d
2
)
(
q
2
g
μ
ν
−
q
μ
q
ν
)
(
9
)
{\displaystyle \ (\Pi^{\mu \nu}_{ij})_{1}(q) \to -\frac{N_{f}}{2}\delta_{ij}\frac{g_{s}^{2}}{12 \pi^{2}}\Gamma \left( 2 - \frac{d}{2}\right)(q^{2}g^{\mu \nu} - q^{\mu}q^{\nu}) \qquad (9)}
.
Третя діаграма дається вкладом чотирьохбозонної частини <maht>\ F_{\mu \nu}^{a}F^{\mu \nu}_{a}</math> із
(
0
)
{\displaystyle \ (0)}
:
(
Π
i
j
μ
ν
)
3
(
q
)
=
i
∫
d
4
k
(
2
π
)
4
1
k
2
+
i
ϵ
1
(
k
+
q
)
2
+
i
ϵ
(
−
g
s
f
i
m
l
)
(
−
g
s
f
j
m
l
)
(
g
μ
α
(
q
−
k
)
β
+
g
α
β
(
2
k
+
q
)
μ
−
g
β
μ
(
k
+
2
q
)
α
)
×
{\displaystyle \ (\Pi^{\mu \nu}_{ij})_{3}(q) = i\int \frac{d^{4}k}{(2 \pi )^{4}}\frac{1}{k^{2} + i\epsilon }\frac{1}{(k + q)^{2} + i\epsilon}(-g_{s}f_{iml})(-g_{s}f_{jml})\left( g^{\mu \alpha}(q - k)^{\beta} + g^{\alpha \beta}(2k + q)^{\mu} - g^{\beta \mu}(k + 2q)^{\alpha}\right)\times }
×
(
δ
α
ν
(
k
−
q
)
β
−
g
α
β
(
2
k
+
q
)
ν
+
δ
β
ν
(
k
+
2
q
)
α
)
(
10
)
{\displaystyle \ \times \left( \delta^{\nu}_{\alpha}(k - q)_{\beta} - g_{\alpha \beta}(2k + q)^{\nu} + \delta^{\nu}_{\beta}(k + 2q)_{\alpha}\right) \qquad (10)}
.
Після згортки тензорна частина
(
10
)
{\displaystyle \ (10)}
дає
−
g
μ
ν
(
2
k
2
+
2
k
q
+
5
q
2
)
+
(
6
−
4
d
)
k
μ
k
ν
+
(
3
−
2
d
)
(
k
μ
q
ν
+
k
ν
q
μ
)
+
(
6
−
d
)
q
μ
q
ν
{\displaystyle \ -g^{\mu \nu}(2k^{2} + 2kq + 5q^{2}) + (6 - 4d)k^{\mu}k^{\nu} + (3 - 2d)(k^{\mu}q^{\nu} + k^{\nu}q^{\mu}) + (6 - d)q^{\mu}q^{\nu}}
.
Після виконання процедури, аналогічної до розрахунку власної енергії кварків, і використання тотожностей
Γ
(
1
−
d
2
)
(
1
−
d
2
)
=
Γ
(
2
−
d
2
)
,
f
l
i
m
f
m
j
l
=
−
N
c
δ
i
j
{\displaystyle \ \Gamma\left( 1 - \frac{d}{2}\right)\left( 1 - \frac{d}{2}\right) = \Gamma \left( 2 - \frac{d}{2} \right), \quad f_{lim}f_{mjl} = -N_{c}\delta_{ij}}
маємо
(
Π
i
j
μ
ν
)
3
(
q
)
=
N
c
q
s
2
μ
4
−
d
δ
i
j
16
π
2
Γ
(
2
−
d
2
)
∫
0
1
d
x
(
q
2
x
(
1
−
x
)
)
2
−
d
2
(
q
2
g
μ
ν
(
5
2
−
11
2
x
(
1
−
x
)
)
+
q
μ
q
ν
(
2
(
1
−
2
x
)
2
+
3
(
1
−
x
+
x
2
)
)
)
→
{\displaystyle \ (\Pi^{\mu \nu}_{ij})_{3}(q) = \frac{N_{c}q_{s}^{2}\mu^{4 - d}\delta_{ij}}{16 \pi^{2}}\Gamma \left( 2 - \frac{d}{2}\right)\int \limits_{0}^{1}\frac{dx}{(q^{2}x(1 - x))^{2 - \frac{d}{2}}}\left( q^{2}g^{\mu \nu}\left( \frac{5}{2} - \frac{11}{2}x(1 - x)\right) + q^{\mu}q^{\nu}(2(1 - 2x)^{2} + 3(1 - x + x^{2}))\right) \to }
→
g
s
2
δ
i
j
16
π
2
Γ
(
2
−
d
2
)
(
19
12
q
2
g
μ
ν
−
11
6
q
μ
q
ν
)
(
11
)
{\displaystyle \ \to \frac{g_{s}^{2}\delta_{ij}}{16 \pi^{2}}\Gamma \left( 2 - \frac{d}{2}\right)\left(\frac{19}{12}q^{2}g^{\mu \nu} - \frac{11}{6}q^{\mu}q^{\nu}\right) \qquad (11)}
.
Нарешті, вклад гостів має вигляд
(
Π
i
j
μ
ν
)
4
(
q
)
=
−
i
∫
d
4
k
(
2
π
)
4
1
k
2
+
i
ϵ
)
(
(
k
+
q
)
2
+
i
ϵ
)
g
s
2
f
l
i
m
f
m
j
l
(
q
+
k
)
μ
k
ν
=
−
g
s
2
N
c
δ
i
j
(
4
π
)
d
2
μ
4
−
d
Γ
(
2
−
d
2
)
∫
0
1
x
(
1
−
x
)
d
x
(
q
2
x
(
1
−
x
)
)
2
−
d
2
[
1
2
Γ
(
1
−
d
2
)
Γ
(
2
−
d
2
)
−
q
μ
q
ν
]
→
{\displaystyle \ (\Pi^{\mu \nu}_{ij})_{4}(q) = -i \int \frac{d^{4}k}{(2 \pi )^{4}}\frac{1}{k^{2} + i\epsilon )((k + q)^{2} + i\epsilon )}g_{s}^{2}f_{lim}f_{mjl}(q + k)^{\mu}k^{\nu} = -\frac{g_{s}^{2}N_{c}\delta_{ij}}{(4 \pi)^{\frac{d}{2}}}\mu^{4 - d}\Gamma \left( 2 - \frac{d}{2}\right)\int \limits_{0}^{1}\frac{x(1 - x)dx}{(q^{2}x(1 - x))^{2 - \frac{d}{2}}}\left[\frac{1}{2}\frac{\Gamma\left(1 - \frac{d}{2}\right)}{\Gamma \left( 2 - \frac{d}{2}\right)} - q^{\mu}q^{\nu}\right] \to}
→
g
s
2
N
c
δ
i
j
16
π
2
Γ
(
2
−
d
2
)
(
q
2
g
μ
ν
12
+
q
μ
q
ν
6
)
(
12
)
{\displaystyle \ \to \frac{g_{s}^{2}N_{c}\delta_{ij}}{16 \pi^{2} }\Gamma \left( 2 - \frac{d}{2}\right)\left( \frac{q^{2}g^{\mu \nu}}{12} + \frac{q^{\mu}q^{\nu}}{6}\right) \qquad (12)}
.
Сума
(
9
)
,
(
11
)
,
(
12
)
{\displaystyle \ (9), (11), (12)}
дає
(
Π
i
j
μ
ν
)
(
q
)
→
g
s
2
δ
i
j
16
π
2
Γ
(
2
−
d
2
)
(
5
3
N
c
−
2
3
N
f
)
(
q
2
g
μ
ν
−
q
μ
q
ν
)
{\displaystyle \ (\Pi^{\mu \nu}_{ij})(q) \to \frac{g_{s}^{2}\delta_{ij}}{16 \pi^{2}}\Gamma \left( 2 - \frac{d}{2}\right)\left(\frac{5}{3}N_{c} - \frac{2}{3}N_{f} \right)(q^{2}g^{\mu \nu} - q^{\mu}q^{\nu})}
,
звідки
Z
3
=
1
+
δ
3
=
1
+
g
s
2
16
π
2
Γ
(
2
−
d
2
)
(
5
3
N
c
−
2
3
N
f
)
(
13
)
{\displaystyle \ Z_{3} = 1 + \delta_{3} = 1 + \frac{g_{s}^{2}}{16 \pi^{2}}\Gamma \left( 2 - \frac{d}{2}\right)\left(\frac{5}{3}N_{c} - \frac{2}{3}N_{f} \right) \qquad (13)}
.
Вершинна функція [ ]
Залишилося визначити константу перенормування вершинної функції. Вклад у неї складається із двох діаграм, див. рисунок нижче.
Вираз, що відповідає першій діаграмі, має вигляд
Γ
1
μ
(
p
,
p
′
)
=
∫
d
4
k
(
2
π
)
4
(
g
s
γ
ρ
T
i
)
p
/
+
k
/
+
m
(
p
+
k
)
2
−
m
2
+
i
ϵ
g
s
γ
μ
T
j
k
/
−
p
/
′
+
m
(
k
−
p
′
)
2
−
m
2
+
i
ϵ
)
(
k
2
+
i
ϵ
)
(
g
s
γ
ρ
T
i
)
(
14
)
{\displaystyle \ \Gamma^{\mu}_{1}(p, p{'}) = \int \frac{d^{4}k}{(2 \pi )^{4}}(g_{s}\gamma^{\rho}T^{i})\frac{p\!\!\!/ + k\!\!\!/ + m}{(p + k)^{2} - m^{2} + i\epsilon }g_{s}\gamma^{\mu}T_{j}\frac{k\!\!\!/ -p\!\!\!/{'} + m}{(k - p{'})^{2} - m^{2} + i\epsilon )(k^{2} + i\epsilon )}(g_{s}\gamma^{\rho}T^{i})\qquad (14)}
.
Спростимо спершу вираз
∑
j
T
i
T
j
T
i
,
T
i
=
λ
i
2
{\displaystyle \ \sum_{j}T_{i}T_{j}T_{i}, \quad T_{i} = \frac{\lambda_{i}}{2}}
:
∑
i
T
i
T
j
T
i
=
∑
i
T
i
T
i
T
j
+
∑
i
[
T
i
,
T
j
]
T
i
=
N
c
2
−
1
2
N
c
T
j
+
i
f
i
j
k
T
k
T
i
=
N
c
2
−
1
2
N
c
T
j
+
i
2
1
2
f
i
j
k
f
j
k
l
T
l
=
N
c
2
−
1
2
N
c
T
j
−
N
c
2
T
j
=
−
T
j
2
N
c
{\displaystyle \ \sum_{i}T_{i}T_{j}T_{i} = \sum_{i}T_{i}T_{i}T_{j} + \sum_{i}[T_{i},T_{j}]T_{i} = \frac{N_{c}^{2} - 1}{2N_{c}}T_{j} + if_{ijk}T_{k}T_{i} = \frac{N_{c}^{2} - 1}{2N_{c}}T_{j} +i^{2} \frac{1}{2}f_{ijk}f_{jkl}T_{l} = \frac{N_{c}^{2} - 1}{2N_{c}}T_{j} - \frac{N_{c}}{2}T_{j} = -\frac{T_{j}}{2N_{c}}}
.
Використаємо той факт, що вершинна функція знаходиться у обкладках
u
¯
(
p
2
)
Γ
μ
v
(
p
3
)
{\displaystyle \ \bar{u}(p_{2})\Gamma^{\mu}v(p_{3})}
. Тому на масовій поверхні можна використовувати рівності
p
/
2
−
m
=
p
/
3
+
m
=
0
{\displaystyle \ p\!\!\!/_{2} - m = p\!\!\!/_{3} + m = 0}
(аналогічно, у знаменниках
p
3
,
2
2
=
m
2
{\displaystyle \ p^{2}_{3, 2} = m^{2}}
). Тоді чисельник
(
14
)
{\displaystyle \ (14)}
набуде вигляду
N
μ
=
(
−
4
p
⋅
p
′
+
4
k
⋅
(
p
−
p
′
)
)
γ
μ
+
4
m
k
μ
−
4
k
/
(
p
−
p
′
)
μ
+
γ
α
k
/
γ
μ
k
/
γ
α
{\displaystyle \ N^{\mu} = (-4 p \cdot p{'} + 4k \cdot (p - p{'}))\gamma^{\mu} + 4m k^{\mu} - 4k\!\!\!/ (p - p{'})^{\mu} + \gamma^{\alpha}k\!\!\!/\gamma^{\mu}k\!\!\!/\gamma_{\alpha}}
,
а весь вираз -
Γ
1
μ
(
p
,
p
′
)
=
g
s
3
T
j
2
N
c
∫
d
4
k
(
2
π
)
4
N
μ
(
k
2
+
2
p
⋅
k
+
i
ϵ
)
(
k
2
+
i
ϵ
)
(
k
2
−
2
k
⋅
p
′
+
i
ϵ
)
(
15
)
{\displaystyle \ \Gamma^{\mu}_{1}(p, p{'}) = g_{s}^{3}\frac{T_{j}}{2N_{c}}\int \frac{d^{4}k}{(2 \pi )^{4}}\frac{N^{\mu}}{(k^{2} + 2 p \cdot k + i\epsilon )(k^{2} + i\epsilon )(k^{2} - 2 k\cdot p{'} + i\epsilon )} \qquad (15)}
.
Перейшовши до розмірної регуляризації, використавши фейнманівську параметризацію
1
(
k
2
+
2
p
⋅
k
+
i
ϵ
)
(
k
2
+
i
ϵ
)
(
k
2
−
2
k
⋅
p
′
+
i
ϵ
)
=
2
∫
0
1
d
x
∫
0
1
−
x
d
y
(
k
2
+
2
k
(
p
y
−
p
′
x
)
)
3
{\displaystyle \ \frac{1}{(k^{2} + 2 p \cdot k + i\epsilon )(k^{2} + i\epsilon )(k^{2} - 2 k\cdot p{'} + i\epsilon )} = 2\int \limits_{0}^{1}dx\int \limits_{0}^{1 - x}\frac{dy}{(k^{2} + 2k (py - p{'}x))^{3}} }
,
здійснивши зсув
k
→
k
−
p
y
+
p
′
x
{\displaystyle \ k \to k - py + p{'}x}
і використавши формули
(
4
)
{\displaystyle \ (4)}
, а також - одразу врахувавши той факт, що нескінченним буде лише доданок із
Γ
(
2
−
d
2
)
{\displaystyle \ \Gamma \left( 2 - \frac{d}{2} \right)}
, можна записати
Γ
1
μ
(
p
,
p
′
)
→
i
T
j
g
s
2
32
N
c
π
2
(
2
−
d
)
2
2
γ
μ
Γ
(
2
−
d
2
)
μ
4
−
d
∫
0
1
d
x
∫
0
1
−
x
d
y
(
−
(
p
−
p
′
)
2
x
y
m
2
(
x
2
+
y
2
)
)
2
−
d
2
→
i
g
s
γ
μ
T
j
(
g
s
2
32
π
2
N
c
Γ
(
2
−
d
2
)
)
(
16
)
{\displaystyle \ \Gamma^{\mu}_{1}(p, p{'}) \to iT_{j}\frac{g_{s}^{2}}{32N_{c} \pi^{2}}\frac{(2 - d)^{2}}{2}\gamma^{\mu}\Gamma\left( 2 - \frac{d}{2}\right) \mu^{4 - d}\int \limits_{0}^{1}dx \int \limits_{0}^{1 - x}\frac{dy}{(-(p - p{'})^{2}xy m^{2}(x^{2} + y^{2}))^{2 - \frac{d}{2}}} \to ig_{s}\gamma^{\mu}T_{j}\left(\frac{g_{s}^{2}}{32 \pi^{2}N_{c}}\Gamma \left(2 - \frac{d}{2}\right)\right) \qquad (16)}
.
Друга вершинна діаграма відповідає виразу
Γ
2
μ
(
p
′
,
p
)
=
i
g
s
3
∫
d
4
P
2
π
4
γ
ν
T
k
P
/
+
m
P
2
−
m
2
+
i
ϵ
γ
ρ
T
j
1
(
(
P
−
p
)
2
+
i
ϵ
)
(
P
−
p
′
)
2
+
i
ϵ
)
f
i
j
k
(
g
μ
ρ
(
p
′
−
2
p
−
P
)
ν
+
g
ρ
ν
(
p
+
p
′
−
2
P
)
μ
+
g
μ
ν
(
P
−
p
′
−
q
)
ρ
)
{\displaystyle \ \Gamma^{\mu}_{2}(p',p) = ig_{s}^{3}\int \frac{d^{4}P}{2 \pi^{4}}\gamma_{\nu}T_{k}\frac{P\!\!\!/ + m}{P^{2} - m^{2} + i\epsilon }\gamma_{\rho}T_{j}\frac{1}{((P - p)^{2} + i\epsilon )(P - p')^{2} + i\epsilon )}f_{ijk}\left( g^{\mu \rho}(p' - 2p - P)^{\nu} + g^{\rho \nu}(p + p' - 2P)^{\mu} + g^{\mu \nu}(P - p' - q)^{\rho}\right)}
.
Щоб виділити розбіжну частину, у чисельнику треба викинути усі доданки, неквадратичні по
P
{\displaystyle \ P}
. Тоді у чисельнику отримаємо
γ
ν
P
/
γ
ρ
(
−
g
μ
ρ
P
ν
−
2
P
μ
g
ν
ρ
+
g
μ
ν
P
ρ
)
=
2
P
2
γ
μ
+
2
(
d
−
2
)
P
/
P
μ
{\displaystyle \ \gamma_{\nu}P\!\!\!/ \gamma_{\rho} (-g^{\mu \rho}P^{\nu} - 2P^{\mu}g^{\nu \rho} + g^{\mu \nu}P^{\rho}) = 2P^{2}\gamma^{\mu} + 2(d - 2)P\!\!\!/ P^{\mu}}
.
У результаті виконання вже стандартних дій отримаємо
Γ
2
μ
(
p
′
,
p
)
→
−
i
g
s
γ
μ
T
i
[
g
s
2
16
π
2
3
N
c
2
Γ
(
2
−
d
2
)
]
(
17
)
{\displaystyle \ \Gamma^{\mu}_{2}(p',p) \to -ig_{s}\gamma^{\mu}T_{i}\left[ \frac{g_{s}^{2}}{16 \pi^{2}}\frac{3N_{c}}{2}\Gamma \left(2 - \frac{d}{2} \right) \right] \qquad (17)}
.
Константа перенормування
Z
1
−
1
=
δ
1
{\displaystyle \ Z_{1} - 1 = \delta_{1} }
визначається через суму
(
16
)
,
(
17
)
{\displaystyle \ (16), (17)}
як
−
i
g
s
γ
μ
T
j
δ
1
+
Γ
1
+
2
μ
(
p
,
p
′
)
|
d
i
v
=
0
⇒
Z
1
=
1
+
δ
1
=
1
−
g
s
2
16
π
2
(
3
N
c
2
−
1
2
N
c
)
Γ
(
2
−
d
2
)
(
18
)
{\displaystyle \ -ig_{s}\gamma^{\mu}T_{j}\delta_{1} + \Gamma^{\mu}_{1 + 2}(p, p')\bigg|_{div} = 0 \Rightarrow Z_{1} = 1 + \delta_{1} = 1 -\frac{g_{s}^{2}}{16 \pi^{2}}\left( \frac{3N_{c}^{2} - 1}{2N_{c}}\right)\Gamma \left( 2 - \frac{d}{2}\right) \qquad (18)}
.
Асимптотична свобода [ ]
Тепер вирази
(
6
)
,
(
13
)
,
(
18
)
{\displaystyle \ (6), (13), (18)}
можна використати для знаходження бета-функції. Вираз для неї дається виразом
(
10
)
{\displaystyle \ (10)}
:
β
≈
g
s
r
μ
d
d
μ
(
−
δ
1
+
1
2
(
2
δ
2
+
δ
3
)
)
=
(
g
s
r
)
3
16
π
2
d
d
μ
(
[
11
6
N
c
−
2
3
N
f
]
Γ
(
2
−
d
2
)
)
=
|
Γ
(
2
−
d
2
)
∼
l
n
(
Λ
2
μ
2
)
|
=
−
(
g
s
r
)
3
16
π
2
(
11
3
N
c
−
2
3
N
f
)
{\displaystyle \ \beta \approx g_{s}^{r}\mu \frac{d}{d \mu} \left( -\delta_{1} + \frac{1}{2}(2\delta_{2} + \delta_{3})\right) = \frac{(g_{s}^{r})^{3}}{16 \pi^{2}}\frac{d}{d \mu}\left( \left[\frac{11}{6}N_{c} - \frac{2}{3}N_{f}\right]\Gamma\left( 2 - \frac{d}{2}\right)\right) = \left|\Gamma \left( 2 - \frac{d}{2}\right) \sim ln \left( \frac{\Lambda^{2}}{\mu^{2}}\right)\right| = -\frac{(g_{s}^{r})^{3}}{16 \pi^{2}}\left(\frac{11}{3}N_{c} - \frac{2}{3}N_{f} \right)}
.
Звідси видно, що при
N
f
<
11
2
N
c
{\displaystyle \ N_{f} < \frac{11}{2}N_{c}}
бета-функція є від'ємною. Результат цього - ренормгрупове рівняння
(
6
)
{\displaystyle \ (6)}
- має вигляд
t
∂
t
g
¯
s
(
g
s
r
,
t
)
=
−
(
g
¯
s
r
)
3
16
π
2
(
11
3
N
c
−
2
3
N
f
)
⇒
g
¯
s
=
g
s
r
1
+
g
s
r
l
n
(
t
)
8
π
2
(
11
3
N
c
−
2
3
N
f
)
(
19
)
{\displaystyle \ t\partial_{t}\bar{g}_{s}(g_{s}^{r}, t) = -\frac{(\bar{g}_{s}^{r})^{3}}{16 \pi^{2}}\left(\frac{11}{3}N_{c} - \frac{2}{3}N_{f} \right) \Rightarrow \bar{g}_{s} = \frac{g_{s}^{r}}{\sqrt{1 + \frac{g^{r}_{s}ln(t)}{8 \pi^{2}}\left(\frac{11}{3}N_{c} - \frac{2}{3}N_{f} \right) }} \qquad (19)}
,
де врахована початкова умова
g
s
¯
(
g
s
r
,
1
)
=
g
s
r
{\displaystyle \ \bar{g_{s}}(g_{s}^{r}, 1) = g_{s}^{r}}
. Відповідно, ввівши константу
α
s
=
g
s
2
4
π
{\displaystyle \ \alpha_{s} = \frac{g_{s}^{2}}{4 \pi}}
, яка, фактично, і є константою розкладу у КХД, можна отримати вираз для біжучої константи
α
s
{\displaystyle \ \alpha_{s}}
:
α
s
r
∼
α
s
Z
3
Z
2
2
Z
1
2
β
≈
2
α
s
r
μ
∂
μ
(
−
δ
1
+
1
2
(
2
δ
2
+
δ
3
)
)
=
−
(
α
s
r
)
2
2
π
(
11
3
N
c
−
2
3
N
f
)
{\displaystyle \ \alpha^{r}_{s} \sim \alpha_{s}\frac{Z_{3}Z_{2}^{2}}{Z_{1}^{2}} \beta \approx 2\alpha_{s}^{r}\mu \partial_{\mu}(-\delta_{1} + \frac{1}{2}(2\delta_{2} + \delta_{3})) = -\frac{(\alpha_{s}^{r})^{2}}{2 \pi }\left(\frac{11}{3}N_{c} - \frac{2}{3}N_{f} \right)}
.
Звідси отримується розв'язок рівняння ренормгрупи:
μ
∂
μ
α
¯
s
(
α
s
,
μ
)
=
−
α
¯
s
2
2
π
(
11
3
N
c
−
2
3
N
f
)
,
α
s
(
α
s
r
,
1
)
=
α
s
⇒
α
¯
s
(
α
s
,
μ
)
=
α
s
1
+
α
s
2
π
(
11
3
N
c
−
2
3
N
f
)
l
n
(
t
)
{\displaystyle \ \mu \partial_{\mu}\bar{\alpha}_{s}(\alpha_{s}, \mu) = -\frac{\bar{\alpha}_{s}^{2}}{2 \pi }\left(\frac{11}{3}N_{c} - \frac{2}{3}N_{f} \right), \quad \alpha_{s}(\alpha_{s}^{r}, 1) = \alpha_{s} \Rightarrow \bar{\alpha}_{s}(\alpha_{s}, \mu) = \frac{\alpha_{s}}{1 + \frac{\alpha_{s}}{2 \pi}\left( \frac{11}{3}N_{c} - \frac{2}{3}N_{f}\right)ln\left(t \right)}}
,
де
t
≡
μ
Λ
{\displaystyle \ t \equiv \frac{\mu}{\Lambda}}
,
Λ
{\displaystyle \ \Lambda}
- константа інтегрування, що відповідає шкалі, на якій фіксується значення константи взаємодії,
α
¯
s
(
Λ
)
≡
α
s
{\displaystyle \ \bar{\alpha}_{s}(\Lambda) \equiv \alpha_{s}}
.
Звідси видно, що при високих енергіях, які відповідають великим значенням
μ
{\displaystyle \ \mu }
, константа зв'язку КХД прямує до нуля. Така властивість теорії називається асимптотичною свободою. При малих же енергіях константа зв'язку є великою, у результаті чого теорія збурень стає незастосовною.