
Вайнберг С. Квантовая теория полей. Том 2 (2001)
.pdf
16.1. Квантовое эффективное действие |
93 |
∞
WΓ [J, g] = å gL−1WΓ(L) [J] , (16.1.11)
L=0
где (как можно увидеть, положив g = 1) величина WG(L)[J] есть L- петлевой вклад в связную вакуумную амплитуду W[J,1], которую мы получили бы, если бы использовали Γ[ϕ] (без множителя g) вместо действия I[ϕ].
Нас особо интересует сумма древесных диаграмм, т. е. тех, которые не содержат петель, вычисленная с использованием вершин и пропагаторов, полученных так, как будто действием является не I[ϕ], à Γ[ϕ]. В теперешних обозначениях это WΓ(0)[J]. Чтобы выделить слагаемое с L = 0 в (16.1.11), рассмотрим предел g → 0. Â ýòîì
пределе функциональный интеграл (16.1.9) определяется доминирующим вкладом точки стационарной фазы:
exp iW [J, g] |
exp ig−1 |
Γ[ϕ] + |
z |
d4x ϕr |
(x)J |
r |
(x) |
t |
, |
(16.1.12) |
|||
l |
Γ |
q |
o |
|
J |
|
|
|
ãäå ïîëå ϕJ, которое по определению является полем, порожден-
ным током J, есть стационарная точка показателя экспоненты в том смысле, что
δΓ[ϕ] |
|
= −Jr |
(x) . |
(16.1.13) |
|
|
|
||||
δϕr (x) |
ϕ =ϕ |
||||
|
|
||||
|
|
J |
|
|
Множитель пропорциональности в (16.1.12) в общем случае является функционалом от J, но степенным рядом по g, начинающимся со слагаемых порядка g0. Поэтому, беря логарифм от обеих частей и выделяя слагаемые порядка g–1, получаем:
WΓ(0) [J] = Γ[ϕJ ] + z d4x ϕJr (x)Jr (x) . |
(16.1.14) |
Полагая ϕ = ϕJ в (16.1.6), видим, что правая часть выражения
(16.1.14) в точности равна W[J]:
WΓ(0) [J] = W[J].(16. 1. 15)
Повторим, это означает, что W[J] можно вычислить, используя Γ[ϕ] вместо I[ϕ] (это отмечает индекс Γ) и удерживая только
древесные (0-петлевые) диаграммы:

94 Глава 16. Методы внешнего поля
iW[J] = |
X L |
|
O |
R |
|
U |
Y M |
Õ dϕr (x)P expSΓ[ϕ] + iå z ϕr (x)Jr (x) d4x V. |
|||||
|
Y Mn,x |
P |
T |
r |
W |
|
|
Z N |
|
Q |
|
|
|
(16.1.16)
связные
древесные
Далее, всякая связная диаграмма для iW[J] может рассматриваться как древесная, вершины которой содержат одночастично неприводимые поддиаграммы. Следовательно, для того, чтобы выражение (16.1.16) было правильным, iΓ[ϕ] должно быть суммой
всех одночастично неприводимых связных диаграмм с произвольным числом внешних линий, причем каждая внешняя линия соответствует множителю ϕ, а не пропагатору или волновой функции. По этой причине коэффициенты в разложении Γ[ϕ] по степеням
полей и их производных в окрестности некоторого фиксированного поля ϕ0 можно рассматривать как перенормированные константы связи с «точкой» перенормировки, определенной полем ϕ0, à íå êà-
ким-то набором импульсов.
Эквивалентно, iΓ[ϕ0] для некоторого фиксированного поля ϕr0(x)
можно выразить как сумму одночастично неприводимых диаграмм для амплитуды перехода вакуум–вакуум, вычисленной со сдвинутым действием I[ϕ + ϕ0] :
iΓ[ϕ0 ] = |
X L |
∏ |
Y M |
||
|
Y Mn,x |
|
|
Z N |
|
O |
|
dϕr (x)P expmiI[ϕ + ϕ0 |
]r . |
P |
(16.1.17) |
Q |
|
1PI
Это верно потому, что каждое место, где ϕ0 возникает в лю-
бой из вершин или пропагаторов внутри одночастично неприводимых диаграмм в (16.1.17), есть также и то место, где можно подсоединить внешнюю линию поля ϕ. (Ограничение одночастично не-
приводимыми диаграммами играет существенную роль в (16.1.17). без этого ограничения можно было бы сдвинуть переменную интегрирования и получить интеграл, который был бы явно не зависящим от ϕ0.) Вместо (16.1.17) часто удобно писать
|
|
|
X L |
∏ |
exp |
iΓ[ϕ0 |
] |
= Y M |
|
|
|
|
Y Mn,x |
|
|
|
|
Z N |
|
O |
|
dϕr (x)P expmiI[ϕ + ϕ0 |
]r . |
P |
(16.1.18) |
Q |
|
1PI

16.2. Вычисление эффективного потенциала |
95 |
где вычисляется функциональный интеграл, включающий все диаграммы (связные или нет), каждая связная компонента которых является одночастично неприводимой.
* * *
Этот формализм обеспечивает простой способ суммирования древесных диаграмм. В качестве примера рассмотрим связь между полной двухточечной функцией rx,sy и ее одночастично неприводимой частью Prx,sy. Из выражений (16.1.5) и (16.1.7) находим:
rx,sy ≡ |
δ2 W[J] |
= |
δϕr (x) |
||||||
|
|
|
J |
, |
|
||||
|
|
|
δJr (x)δJs(y) |
|
δJs(y) |
||||
Πrx,sy |
≡ |
|
δ2Γ[ϕ] |
= − |
δJϕr |
(x) |
|||
|
|
|
|
|
. |
||||
δϕr (x)δϕs (y) |
|
|
|||||||
|
|
|
|
δϕs (y) |
Отсюда немедленно вытекает, что «матрицы»
соотношением:
= −Π–1.
(16.1.19)
(16.1.20)
è Π связаны
(16.1.21)
Это есть аналог знакомого соотношения (10.3.15) между пропагаторами и собственноэнергетическими частями, с дополнительным слагаемым q2 + m2 в знаменателе (10.3.15), представляющим слагаемое нулевого порядка в одночастично неприводимой двухточечной функции.
16.2. Вычисление эффективного потенциала
Чтобы увидеть, как на практике работает описанный в предыдущем разделе механизм, рассмотрим простой пример — перенормируемую теорию одного действительного скалярного поля ϕ(x) ñ äåé-
ствием
I[ϕ] = −z d |
4 |
L |
1 |
|
ρ |
|
1 2 |
|
2 |
|
1 |
|
4 O |
|
|
|
xMλ + |
|
∂ρϕ ∂ |
|
ϕ + |
|
m |
ϕ |
|
+ |
|
gϕ |
P. |
(16.2.1) |
|
|
2 |
|
2 |
|
24 |
||||||||||
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
Q |
|
(Мы здесь включили в лагранжиан «космологическую постоянную»
–λ по причинам, которые станут ясными в дальнейшем.) Предполо-

96 |
Глава 16. Методы внешнего поля |
жим для простоты, что мы хотим вычислить Γ[ϕ0] для независящего от координат поля ϕ0. Тогда каждое слагаемое в Γ[ϕ0] содержит
множитель, равный объему пространства-времени
V 4 = z d4x = δ4 (p − p)(2π)4 , |
(16.2.2) |
возникающий из дельта-функции закона сохранения импульса. Поэтому при постоянном ϕ0 можно записать
Γ[ϕ0 ] = −V 4 V(ϕ0 ), |
(16.2.3) |
ãäå V(ϕ) — обычная функция, которую называют эффективным
потенциалом. В этом разделе мы вычислим эффективный потенциал в однопетлевом приближении. Впервые это было сделано Коулменом и Ю. Вайнбергом3 при изучении проблемы спонтанного нарушения симметрии, которая будет предметом обсуждения в гл. 19 и 21. Полученные результаты они использовали в одном из первых приложений ренормализационной группы, которое мы опишем в разделе 18.2.
Сдвигая ϕ íà ϕ0, получим выражение для действия *:
|
|
|
|
L |
1 |
|
|
1 |
|
O |
|
|
|
|
|
|
|
|||
I[ϕ + ϕ0 ] = −V |
4 Mλ + |
m2ϕ02 + |
gϕ04 P − [m2ϕ0 |
+ 1 gϕ03 ] |
d4xϕ |
|
||||||||||||||
|
|
|
||||||||||||||||||
|
|
|
|
N |
2 |
|
|
24 |
|
Q |
|
6 |
|
z |
|
|
||||
− |
z |
d4xL∂ |
ρ |
ϕ∂ρϕ + 1 μ2 (ϕ |
|
)ϕ2 O |
− |
z |
d4xL 1 gϕ |
ϕ3 |
+ |
1 |
gϕ4 O |
,(16.2.4) |
||||||
0 |
|
|||||||||||||||||||
|
M |
|
|
|
|
P |
|
M |
0 |
|
|
|
P |
|
||||||
|
N |
|
|
2 |
|
|
Q |
|
N 6 |
|
|
24 |
Q |
|
||||||
ãäå μ2 — зависящая от поля масса |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
μ2 (ϕ0 ) |
= m2 + |
1 |
gϕ02 . |
|
|
|
|
|
(16.2.5) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
Заметим, что помимо слагаемых, имеющих ту же структуру, что и в исходном действии, возникли новые взаимодействия, пропорциональные ϕ (они не влияют на одночастично неприводимые диаграммы) и ϕ3.
* Ïðè m2 < 0 существуют ограничения на применимость теории возмущений, которые обсуждаются в следующем разделе.

16.2. Вычисление эффективного потенциала |
97 |
Рис. 16-1. Древесные, одно- и двухпетлевые диаграммы для квантового эффективного действия в теории нейтрального скалярного поля ϕ с взаимодействием ϕ4
На рис. 16.1 показаны фейнмановские диаграммы для Γ[ϕ0]
вплоть до двухпетлевого порядка. Слагаемое без петель в амплитуде перехода вакуум–вакуум дается просто постоянным слагаемым в I[ϕ + ϕ0]:
|
|
|
(0 петель) |
F |
|
1 |
2 |
|
|
2 |
|
g |
|
4 I |
|
|
|
|
|
|||
|
iΓ |
|
|
[ϕ0 ] = −iV 4 G |
λ + |
|
|
m |
ϕ0 |
+ |
|
ϕ0 J . |
|
|
|
(16. 2. 6) |
||||||
|
|
|
2 |
24 |
|
|
|
|||||||||||||||
|
|
|
|
|
H |
|
|
|
|
|
|
|
|
K |
|
|
|
|
|
|||
Однопетлевое слагаемое определяется выражением |
|
|
|
|||||||||||||||||||
expdiΓ |
(1 петля) |
[ϕ0 ]i = |
Y ∏ dϕ(x) expS− |
1 |
iz d |
4 |
xM∂ρϕ ∂ |
ρ |
ϕ + |
1 |
μ |
2 |
(ϕ0 )ϕ |
P |
||||||||
|
|
|
X |
|
R |
|
|
|
L |
|
|
|
|
|
2 O |
|||||||
|
|
|
|
Z |
x |
T |
2 |
|
|
|
|
N |
|
|
|
|
2 |
|
|
|
Q |
|
|
|
|
+ |
|
|
U |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
слагаемые с εV. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
W |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(16.2.7) В гл. 9 мы научились вычислять эти интегралы. Результат да-
ется выражением (9.А.18):
|
(1 петля) |
|
F iK I −1/2 |
|
1 |
F iK I |
|
||||
iΓ |
|
[ϕ0 |
] = ln Det G |
|
J |
= − |
|
Tr ln G |
|
J , |
(16.2.8) |
|
|
|
|
||||||||
|
|
|
H |
π K |
|
2 |
H |
π K |
|
где теперь
|
|
L |
|
∂2 |
|
|
O |
|
|
|
K |
|
= M |
|
|
+ μ2 (ϕ |
|
) − iεP |
δ4 (x − y) . |
(16.2.9) |
|
x,y |
∂x |
λ ∂y |
0 |
|||||||
|
M |
|
P |
|
||||||
|
|
N |
|
λ |
|
|
Q |
|
|
Как обычно, для вычисления таких следов полезно диагонализовать «матрицу» K, перейдя в импульсное пространство:

98 Глава 16. Методы внешнего поля
|
X d4x |
e-ip×x |
d4y |
eiq×y Kx,y |
|||
Kp,q |
= Y |
|
|
|
|
||
(2π) |
2 |
(2π) |
2 |
||||
|
Z |
|
|
|
(16.2.10) |
||
|
= dp2 + μ2 (ϕ0 ) − iεi δ4 (p − q) . |
Логарифм этой диагональной матрицы есть тоже диагональная матрица с логарифмами на главной диагонали:
L |
F iK I O |
L i |
|
2 |
|
2 |
O |
|
4 |
|
|||
Mln G |
|
J P |
= ln M |
|
dp |
|
+ μ |
|
(ϕ0 ) − iεiP |
δ |
|
(p − q) . |
|
|
|
|
|
|
|||||||||
N |
H |
π K Qp,q |
N π |
|
|
|
|
Q |
|
|
|
Отсюда
iΓ(1 петля) [ϕ0 ] = − 1
2
= − V 4
2(2π)4
X |
4 |
L |
F iK |
||
Y d |
p Mln G |
|
|||
Z |
|
N |
H π |
||
|
|
L i |
dp |
2 |
|
|
|
M |
|
|
|
|
|
|
|
||
|
|
N π |
|
|
I O
J P
K Qp,q
+ μ |
2 |
O |
|
(ϕ0 ) − iεiP . |
|
|
|
Q |
(16.2.11)
(16.2.12)
Объединяя выражения (16.2.6) и (16.2.12), находим эффективный потенциал в однопетлевом приближении:
V(ϕ0 ) = λ + 1 m2ϕ02 + |
1 |
|
gϕ04 + J dμ2 (ϕ0 )i , |
(16.2.13) |
||||||||||||
|
||||||||||||||||
|
|
|
2 |
|
|
24 |
|
|
|
|
|
|
|
|
||
ãäå |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
−i |
|
X |
4 |
|
L i |
|
2 |
|
2 |
O |
|
||
J (μ |
|
) ≡ |
|
|
Y d |
|
p ln M |
|
dp |
|
+ μ |
|
− iεiP . |
(16.2.14) |
||
|
2(2π) |
4 |
|
π |
|
|
||||||||||
|
|
|
|
Z |
|
|
N |
|
|
|
|
Q |
|
Видно, что эта формула для эффективного потенциала содержит, к сожалению, ультрафиолетовые расходимости. Однако, к счастью, они естественным образом поглощаются перенормировкой параметров теории. Хотя интеграл16.2.14) расходится, простой под- счет индекса расходимости показывает, что его можно сделать сходящимся, трижды продифференцировав по μ2:
I ′′′(μ2 ) = − |
i |
z d4p (p2 |
+ μ2 − iε)-3 . |
|
|
||||
(2π)4 |
||||
|
|
|

16.2. Вычисление эффективного потенциала |
99 |
И опять слагаемое –iε показывает, что следует поворачивать
контур в плоскости p0 против часовой стрелки, так что p0 = ip4, ãäå ð4 изменяется от –∞ äî +∞:
I ′′′(μ2 ) = |
1 |
X∞ 2π2k3dk |
= |
1 |
. |
||
|
Y |
|
|
|
|||
(2π)4 |
|
+ μ2 )3 |
|
||||
|
Z (k2 |
|
32π2μ2 |
||||
|
|
0 |
|
|
|
|
|
Трижды интегрируя, находим
I (μ2 ) = μ4 ln μ2 + A + Bμ2 + Cμ4 . 64π2
Постоянные А, В, С не определяются данным методом вычислений, что едва ли является серьезной трудностью, поскольку оче- видно, что они все равно бесконечны. Мы устраняем эти константы, определяя «перенормированные» значения λ, m2 и g следующим
образом:
λR ≡ λ + A + Bm2 + Cm4 ,
mR2 ≡ m2 + gB + 2gm2C,
gR ≡ g + 6g2C .
Окончательный результат для потенциала в однопетлевом приближении имеет вид
V(ϕ0 ) = λR |
+ |
1 |
mR2 ϕ02 + |
g |
ϕ04 |
+ |
μ4 (ϕ |
0 |
) ln μ2 |
(ϕ |
0 |
) |
|
|
|
R |
|
|
|
|
, |
(16.2.15) |
|||||||
2 |
24 |
|
64π2 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
ãäå μ(ϕ0) — зависящая от поля масса, определенная выражением
(16.2.5). В данном порядке ее можно вычислять *, заменяя m и g на mR è gR
μ2 (ϕ) = m2 |
+ |
1 |
g |
|
ϕ2 . |
|
R |
||||
R |
2 |
|
|
||
|
|
|
|
* Имеется в виду данный (первый) порядок разложения по петлям, т.е. по петлевому параметру, который выше также обозначен буквой g (см. (16.1.12)).
— Ïðèì. ðåä.

100 |
Глава 16. Методы внешнего поля |
Аналогичные результаты верны в случае, когда теория содержит комплексное фермионное поле со спином 1/2, взаимодействующее со скалярным полем ϕ. Например, если гамильтониан этого взаимодействия имеет простой вид Gϕψψ , то масса M(ϕ0) фермиона в присутствии постоянного скалярного фонового поля ϕ0 имеет вид:
M(ϕ0 ) = M(0) + Gϕ0 .
Легко видеть, что потенциал (16.2.1) в этом случае получает добавочное слагаемое
V(ϕ |
|
) = λ |
|
+ |
1 |
|
ϕ2 |
+ |
g |
ϕ4 |
+ |
μ4 |
(ϕ |
0 |
) ln μ2 |
(ϕ |
0 |
) |
|
||
|
|
|
m2 |
R |
|
|
|
|
|
|
|||||||||||
0 |
R |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
2 |
R |
0 |
|
24 |
0 |
|
|
|
64π2 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
− |
M4 |
(ϕ0 ) ln M2 (ϕ0 ) |
. |
|
|
|
|
|
|
|
|
(16.2.16) |
|||||||
|
|
|
|
|
|
32π2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Численный коэффициент в новом слагаемом вдвое больше того, который стоит перед слагаемым μ4lnμ2 в (16.2.15), что связано с двумя спиновыми состояниями фермиона, описываемого полем ψ, à
знак этого коэффициента противоположен по той причине, что (как показано в гл. 9) фермионные функциональные интегралы от гауссианов пропорциональны детерминанту матричного коэффициента в экспоненте, а бозонные интегралы — обратной величине этих детерминантов.
16.3. Энергетическая интерпретация
Важное значение имеет интерпретация действия Γ[ϕ] и потенциала V[ϕ] с помощью понятий энергии и плотности энергии,
соответственно.4 Чтобы увидеть это, предположим, что мы вклю- чаем ток Jn(x,t), который плавно растет от нуля при t = –∞ äî
конечного значения Jn(x), которое не изменяется в течение долгого времени Т, после чего вновь плавно уменьшается до нуля при t = +∞. Влияние такого возмущения заключается в превращении
вакуума в состояние с определенной энергией E[J] (функционал от Jn(x)), которое сохраняется в течение времени Т, после чего опять возвращается в состояние вакуума. Однако, хотя аутвакуум — то же самое физическое состояние, что и ин-вакуум,

16.3. Энергетическая интерпретация |
101 |
векторы состояний отличаются на фазу exp(–iE[J]T), накопившуюся за время Т:
VAC, out| VAC, in = expb−iE[ J ]Tg . |
(16.3.1) |
J |
|
Сравнивая с выражениями (16.1.1) и (16.1.3), находим:
W[J] = −E[ J ]T. |
(16.3.2) |
Чтобы увидеть связь между этой энергией и эффективным действием, предположим, что мы ищем состояние Ωϕ, которое ми-
нимизирует среднее значение энергии
H Ω |
= |
bΩ, HΩg |
, |
(16.3.3) |
|
||||
|
|
bΩ, Ωg |
|
подчиненное условию, что квантовые поля Φn(x,t) имеют не зависящее от времени среднее значение ϕn(x):
bΩ, Φn |
(x, t)Ωg |
= ϕn |
(x), |
(16.3.4) |
|
|
|
||||
bΩ, Ωg |
|||||
|
|
||||
|
|
|
Кроме того, удобно наложить на Ω условие нормировки:
bΩ, Ωg = 1. |
(16.3.5) |
Чтобы минимизировать среднее значение (16.3.3), удовлетворяющее ограничениям (16.3.4) и (16.3.5), используем метод множителей Лагранжа и будем искать минимум величины
bΩ, HΩg − αbΩ, Ωg − z d3x βn (x)bΩ, Φn (x)Ωg |
(16.3.6) |
без ограничений на Ω. Имеем: |
|
HΩ = αΩ + z d3x βn (x)Φn (x) . |
(16.3.7) |
Êàê α, òàê è βn(x) следует выбрать так, чтобы удовлетворя-
лись ограничения (16.3.4) и (16.3.5), поэтому эти величины функционально зависят от заданного среднего значения ϕn(x).

102 |
|
Глава 16. Методы внешнего поля |
|||
|
Далее, мы сказали, что в присутствии тока J n(x) гамильтони- |
||||
àí H − z d3x I n (x)Φn (x) имеет собственное значение E[J ]: |
|
||||
|
|
H − z d3x I n (x)Φn (x) |
|
ΨI = E[I ]ΨI |
(16.3.8) |
|
|
|
с нормированным собственным вектором ΨJ. Кроме того, поскольку
плавное включение тока переводит вакуум в данное собственное состояние с определенной энергией, можно предположить, что E[J ] есть низшее энергетическое состояние в присутствии этого тока. Таким образом, соотношения (16.3.4), (16.3.5) и (16.3.7) удовлетворяются следующими величинами:
Ω = ΨJϕ , |
(16.3.9) |
||
|
|
|
|
α = E |
Jϕ |
, |
(16.3.10) |
βn (x) = Jϕn (x), |
(16.3.11) |
ãäå Jϕ(x) — ток, для которого среднее значение Φ(x) в состоянии ΨJ равно ϕ(x).
Полагая в (16.3.8) J = Jϕ и беря скалярное произведение с ΨJ, находим минимальную энергию состояний, в которых поля Φn удовлетворяют условию, что их средние значения равны ϕn:
H Ω = E |
Jϕ |
+ z d3x Iϕn (x)ϕn (x) . |
(16.3.12) |
Вспоминая (16.3.2) и предполагаемый вид J (x), получаем:
|
|
1 |
|
|
|
|
|
= − |
1 |
Γ[ϕ] . (16.3.13) |
|
H Ω |
= |
|
−W |
Jϕ |
+ z d4x Jϕn (x)ϕn |
(x) |
|||||
|
|
||||||||||
|
|
T |
|
|
|
|
|
|
T |
Как отмечалось в предыдущем разделе, если поле ϕ(x) имеет постоянное значение ϕ в большом пространственно-временном объеме
V 4 = V 3T, эффективное действие можно записать, введя эффективный потенциал V(ϕ):
Γ[ϕ] = −V3TV(ϕ) . |
(16.3.14) |