Файл: Вайнберг С. Квантовая теория полей. Том 2 (2001).pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 29.06.2024

Просмотров: 1549

Скачиваний: 2

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

18.4. Эффекты нескольких констант связи и массы

195

L

glB º m l Mgl (m) +

MN

 

F

I

+ O(g(m)

å blkmgk (m) lnG

LJ

k,m

H m K

 

O

3 )P , (18.4.11)

PQ

где безразмерные численные коэффициенты blkm и аналогичные

коэффициенты в слагаемых более высокого порядка выбраны так, чтобы сократить зависимость физических величин от обрезания. (В ряде теорий старшее слагаемое может быть трилинейно по константам связи или иметь даже еще более высокий порядок; те изменения, которые следует произвести в этом случае, очевидны.) Из требования, чтобы gB не зависела от обрезания, получаем уравнение ренормализационной группы (18.4.1), в котором

bl (g) = -Dlgl - å blkmgkgm + O(g3 ) .

(18.4.12)

k,m

 

Взаимодействия с Dl > 4 èëè Dl < 0 являются неперенормируемыми, так что пока все gl(m) остаются достаточно малыми, мы ожида-

ем, что для перенормированных констант неперенормируемых взаимодействий функции bl положительны и, следовательно, растут с ростом m, однако никто не знает, что случится, когда константы

станут настолько большими, что нарушится применимость теории возмущений.

Однако, как объясняется в следующем разделе, даже в теориях с бесконечным числом независимых параметров обычно имеются неподвижные точки g*, в которых число Nотрицательных собственных значений матрицы (18.4.6) конечно, как и в случае нулевой связи. (В частности, часто N= 1.) Когда N¹ 0, неподвиж-

ная точка находится на N-мерной критической поверхности, состоящей из траекторий, притягивающихся в неподвижную точку при m ® ¥. Хотя неперенормируемая теория с параметрами связи,

находящимися на такой критической поверхности, и не является асимптотически свободной, говорят, что она асимптотически безопасна,5 поскольку перенормированные константы остаются конеч- ными при больших значениях m. Условие асимптотической безопас-

ности в такой теории, обычно ассоциирующееся с принципом перенормируемости, играет роль при устранении всех, кроме конечного числа, свободных параметров — координат критической поверхности.


196

Глава 18. Методы ренормгруппы

В перенормируемой теории все физические величины делаются независящими от обрезания путем подбора зависимости от обрезания конечного числа голых констант. Эти константы можно выразить через равное число зависящих от μ перенормированных констант, а условие, что голые константы являются μ-независи-

мыми, приводит к уравнениям ренормгруппы, связывающим только перенормированные константы. Если придерживаться более широкой точки зрения, допускающей не только перенормируемые, но и неперенормируемые связи, то перенормируемая теория соответствует конечномерной инвариантной поверхности в бесконеч- номерном пространстве всех перенормируемых и неперенормируемых теорий. Иными словами, это поверхность, на которой все βl(g) в любой точке g касательны к поверхности в этой точке.

До сих пор в этом разделе мы молчаливо предполагали, что μ . m, и что поэтому можно пренебречь зависимостью βl îò m/μ. Однако такое предположение необязательно. Мы можем,

если хотим, рассматривать массу как еще один параметр связи 6|. Это означает, что все перенормированные константы можно определить, как и выше, через различные функции Грина с импульсами вне массовой поверхности порядка μ, но вычислен-

ными при нулевых значениях всех голых масс. Безразмерные перенормированные массовые параметры для дираковских полей y или скалярных полей ϕ можно определить следующим образом:

mψ (μ) N(ψψ) bΛ μg1mψ,голая (Λ) / μ ,

(18.4.13)

mϕ2 (μ) N(ϕ2 ) bΛ μg1mϕ2

,голая (Λ) / μ ,

(18.4.14)

ãäå N(O)(Λ/μ) — безразмерные константы, которые после умноже-

ния на соответствующие операторы О сокращают расходимости в матричных элементах этих операторов, также вычисленных при нулевых значениях голых масс. (См. раздел 18.1.) Эти новые перенормированные массы и константы не имеют непосредственного физического смысла, но через них можно выразить истинные физические массы и все физические матричные элементы. Такие матричные элементы принимают вид сумм матричных элементов для нулевых голых масс с любым числоì вставок перенормированных массовых операторов N(ϕ2 )ϕ2 è N(ψψ) ψψ , умноженных на со-

ответствующие перенормированные массовые параметры.


18.4. Эффекты нескольких констант связи и массы

197

В такой схеме перенормировок бета-функции для различ- ных констант очевидно не зависят от масс, а бета-функции для массовых параметров пропорциональны этим параметрам с коэффициентами, зависящими от всех констант. Используя формулу (18.2.25), имеем

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

μ

m

ψ

(μ) =

 

1

− γ

ψψ

(g )

m

ψ

(μ) ,

(18.4.15)

 

 

 

dμ

 

 

 

 

 

μ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

μ

 

d

m2

 

(μ) =

 

2

− γ

ϕ

2

(g )

 

m2

(μ) .

(18.4.16)

 

 

 

 

 

 

 

 

 

dμ

ϕ

 

 

 

 

 

 

μ

 

ϕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Например, в разделе 18.2 мы отмечали, что в скалярной теории поля с лагранжианом (18.1.2) массовый оператор ϕ2 имеет при m = 0

аномальную размерность (18.2.29), так что здесь

 

d

L

 

2

O

 

μ

mϕ2 (μ) = M2

+

 

gμ

+ O(gμ2 )P mϕ2 (μ) .

(18.4.17)

dμ

16π2

 

M

 

P

 

 

N

 

 

 

Q

 

Кроме того, из выражения (11.4.3) видно, что влияние высших поправок на пропагатор электрона заключается в замене массы электрона на me Σ*(p,me), так что влияние этих же поправок на матричные элементы оператора ψeψe между одноэлектронными состояниями с 4-импульсом pμ заключается в умножении их на

множитель

F ∂Σ* (p, m

)I

 

F(p) = 1 G

e

 

J

.

me

 

H

 

K m

=0

 

 

 

e

 

Поэтому константа перенормировки N(ψψ) для оператора ψeψe ðàâ-

íà F–1(p), вычисленной при р2, равному какому-нибудь масштабу перенормировки, например, μ2. Согласно (11.4.8) в однопетлевом

приближении имеем

F ∂Σ*

 

(p, m

e

)I

 

 

 

 

 

N(ψψ) = 1 + G

1 петля

 

 

J

 

 

 

=

(18.4.18)

 

me

 

 

 

 

 

H

 

 

 

K

m

2

2

 

 

 

 

 

 

 

 

=0,p

 

 

 

 

 

 

 

 

 

e

 

 

 

 


198

Глава 18. Методы ренормгруппы

= 1 - 4p2

(2p)4

X

1

L

+ F L I

 

O

 

 

 

(1

® 1

-

 

 

dx ln 1

- x)

 

 

 

 

2

 

 

 

 

Y

 

M

G

2 J

 

P

 

 

Y

 

M

H m

K

 

P

 

 

Z0

 

 

 

 

 

N

 

 

 

Q

 

 

e2

L

lnF

 

2

I

O

 

 

M

L

- 1 ,

 

2

 

2 J

4p

G

 

P

 

M

H m

 

K

P

 

 

N

 

 

 

 

Q

ãäå L — ультрафиолетовое обрезание (обозначавшееся в (11.4.8) как m) причем мы перешли к пределу L . m. Поэтому аномальная размерность оператора ψeψe дается выражением (18.2.25) в виде

g (ψψ) = m d ln N( dm

так что (18.4.15) принимает вид:

 

d

 

L

 

m

me

(m) = M-1

-

dm

 

 

M

 

 

 

 

N

 

ψψ) =

eμ2

+ O(eμ4 ) ,

(18.4.19)

2p2

 

 

 

e2

O

 

 

μ

+ O(eμ4 )P me

(m) .

 

 

(18.4.20)

2p2

P

 

 

Q

 

 

Та же формула верна и в общих калибровочных теориях с заменой е2 на значение åα(tα)2 для конкретного рассматриваемого

фермиона.

Конечно, существенная разница между m(m) и другими пере-

нормированными параметрами теории заключается в том, что голые массы имеют положительную размерность, так что пока константы остаются малыми, все m(m) уменьшаются по величине. Наше предыдущее предположение, что при m ® ¥ массами можно пренебречь, подтверждается, если на самом деле m(m) обращается при m ® ¥ в нуль. Однако, единственный известный случай, где имеет

место такое поведение, – это асимптотически свободные теории, в которых все константы действительно остаются малыми при m ® ¥.

Во всех остальных случаях такое предположение является просто догадкой, основанной на фактах.

18.5. Критические явления*

Для ряда приложений представляет интерес предел не больших, а малых энергий или волновых чисел. При изучении этого

*Этот раздел лежит несколько в стороне от основной линии изложения

èможет быть опущен при первом чтении.


18.5. Критические явления

199

предела можно повторить рассуждения раздела 18.2, если не считать того, что теперь рассматривается предел μ → 0, à íå μ → ∞. Проще всего изучать этот предел, когда в теории нет

масс, как, например, в случае квантовой электродинамики с симметрией относительно киральных преобразований ψ → γ5ψ, çàï-

рещающей наличие ненулевой массы у электрона. В этом частном случае у единственного перенормирумого взаимодействия eAμ ψγ μ ψ , а также у всех неперенормируемых взаимодействий функции βl > 0 при достаточно малых константах связи, так что

все траектории, по крайней мере, в конечной области вокруг начала координат, притягиваются при μ → 0 к точке gl = 0. Òå æå

рассуждения применимы даже к теориям с очень малыми ненулевыми массами, если эти массы включены в число параметров связи, как описано в предыдущем разделе. Для массового параметра коэффициент в (18.4.12) положителен, так что в этом случае траектории никогда не могут достичь точки g = 0, однако могут достаточно близко подойти к ней при малых массах.

Конечно, даже если допустить, что некоторые степени свободы вроде электронного поля могут иметь нулевую или очень малую массу, в реальном мире существует множество других степеней свободы, массы которых не малы. Рассуждения, основанные на ренормализационной группе, следует применять не к истинной теории, описывающей все эти тяжелые степени свободы, а к «эффективной» теории поля, в которой явно проявляются только безмассовые или почти безмассовые степени свободы, а взаимодействия включают эффекты, связанные с внутренними линиями тяжелых частиц. (В гл. 19 мы расскажем подробнее об эффективных теориях поля.)

Предел малых волновых чисел представляет особый интерес при изучении критических явлений, таких, как корреляции дальнего порядка вблизи точки фазового перехода второго рода (гладкого фазового перехода без скрытой теплоты) в конденсированных средах. Поскольку нас интересует предел μ → 0, âàæ-

ными становятся те собственные векторы матрицы (18.4.4), для которых собственные значения λ < 0. Эти собственные векторы называют релевантными. Собственные векторы с λ = 0 è λ > 0

называют, соответственно, маргинальными и нерелевантными. Предположим, что существует нетривиальная неподвиж-

ная точка g* ровно с одним отрицательным собственным значени-