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

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

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

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

Добавлен: 29.06.2024

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

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

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

186

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

произвольных безразмерных параметров. Чтобы описать то, как gE достигает своего предела при Е → ∞, всегда нужно задать свободный параметр λ с размерностью энергии. В случае б фор-

мула (18.3.10) может быть записана в виде

gE (1 k)b ln(Eλ)1/(1k) .

В случае в формулу (18.3.12) можно записать как

 

L

F

λ I b O

gE

g* M1

G

 

J

P .

 

 

M

H

EK

P

 

N

 

 

 

Q

Наконец, в случае г формула (18.3.18) принимает вид

g

E

 

b(n 1) ln(E λ)

 

1/(n1) .

 

 

В общем случае такие теории содержат свободный безразмерный параметр — отношение λ к массе m. Константы связи типа eR, перенормированные в масштабе, который связан с μ, можно записать как функции отношения m/λ. Только в том случае, когда все массы

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

Из четырех описанных здесь типов асимптотического поведения типы а и б приводят к явно нефизическому поведению бегущей константы связи gE, которая становится бесконечной либо при конечной энергии (случай а), либо при Е → ∞ (случай б). Само по

себе это еще не главная катастрофа, так как нужно посмотреть, как определена константа связи. Например, если gμ плавно спадает от конечного значения gμ ïðè μ = m äî íóëÿ ïðè μ → ∞,

и мы определяем новую константу связи ~ [1 ], òîã- gμ gμ gμ g2m

äà ~ ïðè μ = 2m становится бесконечной. Но это просто артефакт gμ

такого конкретного выбора константы связи. Однако обычным образом перенормированные константы gμ как в теории скалярного поля ϕ4, так и в квантовой электродинамике, были определены

здесь через значения матричных элементов при энергиях порядка μ. В частности, в скалярной теории ϕ4 константа gμ определена как

инвариантная фейнмановская амплитуда А скаляр-скалярного рассеяния в точке s = t = u = μ2, причем А предполагается ана-


18.3. Варианты асимптотического поведения

187

литической функцией. Кроме того, gμ = eμ2 в спинорной электро-

динамике дается выражением

e2

e2

= Z

/ N(A)2

=

 

1 − π(μ2 )

 

1

(18.3.28)

 

 

 

 

.

μ

R

3

μ

 

 

 

 

 

 

Поэтому бесконечное значение eμ2 в точке μбудет порождать

полюс или другую особенность в перенормированном фотонном пропагаторе при положительном значении р2 = μ2, где пропагатор предполагается аналитичным. Таким образом, если gμ îïðå-

делено так, как выше, то тип асимптотического поведения, описываемый случам а, физически исключается.

Как же тогда ведут себя различные квантовые теории поля? Много лет тому назад Ландау показал, что в квантовой электродинамике возрастающие степени ln(E/M), возникающие в каждом порядке теории возмущений, должны складываться и порождать особенности (так называемые «духи Ландау») при конечных значениях Е. На современном языке можно сказать, что Ландау открыл возможность а, но не привел ни одного аргумента против случаев б или в.

Тем не менее сейчас широко распространена точка зрения, что те квантовые теории взаимодействующих полей, которые не являются асимптотически свободными, например, квантовая электродинамика или скалярная теория поля с взаимодействием ϕ4, являются математически непоследовательны-

ми. В квантовой электродинамике есть некоторые аргументы, отвергающие случай в, т. е. существование конечной фиксированной точки е*. Такая точка могла бы существовать, если бы непертурбативные эффекты изменяли качественные свойства разложения операторного произведения (предмет рассмотрения в гл. 20) или если бы существовала непертурбативная перенормировка треугольной аномалии (гл. 22). Но даже если случай в действительно исключается в квантовой электродинамике, все еще остается возможность б существования фиксированной точки при бесконечном1 значении константы связи.

Большая часть свидетельств о непоследовательности асимптотически несвободных взаимодействующих квантовых теорий поля возникает при изучении скалярной теории поля в четырех пространственно-временных измерениях с взаимодействием ϕ4,


188

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

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

Этот аргумент также кажется неубедительным. Верно, что если бы существовала последовательная асимптотически несвободная непрерывная скалярная теория поля, то можно было бы построить решеточную теорию, проинтегрировав по значениям скалярного поля во всех точках, кроме тех, которые принадлежат узлам пространственно-временной решетки. Но это была бы не та решеточная теория, которая рассматривается в упомянутых теоремах. Это была бы решеточная теория с любым возможным взаимодействием, допускаемым принципами симметрии, т. е. содержащая не только слагаемое с ϕ4, но и слагаемые, пропорциональные ϕ6, ϕ39ϕ и т. д., с коэффициентами, зависимость которых

от обрезания (обратной величины постоянной решетки) управлялась бы уравнениями ренормгруппы Вильсона, обсуждавшимися в разделе 12.4. Никто не доказал никаких утверждений о существовании непрерывного предела такой теории.

Если действительно верно, что не существует теории взаимодействующего непрерывного скалярного поля в пределе нулевой постоянной решетки, тогда мы должны столкнуться с затруднениями при попытке решить уравнения ренормгруппы Вильсона, которые в случае слабых перенормированных взаимодействий должны быть заданы при очень малых постоянных решетки. Если не рассматривать очень малые расстояния, такая теория должна выглядеть как взаимодействующая непрерывная теория поля. Перенормированная константа связи в этой приближенно непрерывной теории предположительно имеет особенность при конечной энергии, как в случае а выше, так что и такая теория терпит крах на малых расстояниях. (Однако при больших константах нет прямой связи между видом уравнений ренормгруппы Вильсона и Гелл- Манна–Лоу, так что существование особенности у голых констант при конечной постоянной решетки необязательно влечет за собой наличие особенностей у перенормированных констант связи при конечном масштабе перенормировки.)


18.3. Варианты асимптотического поведения

189

Теории такого рода часто называют тривиальными, либо потому, что при разных предположениях о голых константах в теории, квантованной на решетке, оказывается, что непрерывный предел является свободной теорией поля, либо потому, что единственный способ сделать непрерывную теорию типа а физи- чески приемлемой при всех энергиях заключается в том, чтобы принять решение gμ = 0 уравнений ренормгруппы (18.2.9).

Даже если теория поля тривиальна в любом из указанных смыслов, нет никаких оснований не включать ее как часть реалистической теории физических явлений. Существование возражений по поводу решения вильсоновских уравнений ренормгруппы для теории поля при очень малых значениях постоянной решетки несущественно, если в реальном мире существуют другие поля, которые необходимо учитывать на столь малых расстояниях. Аналогично, тот факт, что данная квантовая теория поля имеет нефизические особенности при какой-то большой энергии Е, íå

является физической проблемой, если обсуждаемая теория есть всего лишь низкоэнергетическое приближение более широкой теории, верное только при энергиях, много меньших Е. В частно-

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

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

асимптотически свободна для всех перенормированных констант связи gμ в интервале от нуля до первого корня функции β(g).

** *

Âсвязи с этим полезно заметить, что хотя детальный вид β(g) зависит от калибровки и от точного способа определения


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

бегущей константы, первые два слагаемых в разложении β(g) â

ряд не зависят от этих обстоятельств. Предположим, что име-

ются два определения gμ è

gμ бегущей константы, возможно, ис-

 

~

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

áà μ или разные калибровки. Так как gμ è

gμ

безразмерны и не

 

 

~

gμ не может зави-

зависят от обрезания, то при μ . m константа

 

 

 

~

сеть от чего-либо, кроме как от константы gμ:

 

~

~

 

 

gμ

= g(gμ ) .

 

 

Тогда

~

β ~ ≡ μ

(gμ )

d ~

 

~

 

=

dg(gμ )

β(gμ )

 

gμ

 

dμ

dgμ

и поэтому

~ ~

~

 

 

dg(g)

 

 

β(g) =

 

β(g) .

(18.3.29)

dg

 

 

 

 

 

До тех пор, пока мы придерживаемся одного и того же определения неперенормированной константы, все перенормированные константы в низшем порядке равны друг другу, так что разложение в ряд ~g по g можно записать в виде

~

 

2

+ O(g

3

)

g(g) = g + ag

 

 

или эквивалентно

 

 

 

 

 

 

~

~2

 

~3

) .

 

g = g

ag

+ O(g

 

Производная равна

 

 

 

 

 

 

~

 

 

 

 

 

 

dg

 

2

 

~

~2

 

dg

= 1 + 2ag + O(g

 

) = 1

+ 2ag

+ O(g

) .

 

 

 

 

 

 

Кроме того, для рассматриваемых здесь констант (включая g = e2) разложение β(g) в ряд имеет вид

β(g) = bg2 + bg3 + O(g4 )