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

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

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

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

Добавлен: 29.06.2024

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

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

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

12. 2. Сокращение расходимостей

689

Это же должно быть верно и для расходящихся слагаемых,

òàê ÷òî C q

+ (C

+ C )q2q

ν

должно быть конечными для всех q.

1 ν

2

3

 

 

Отсюда C1 è Ñ2 + Ñ3 должны быть конечными, так что их можно

внести в конечную часть P(μνl) (q). Следовательно

 

 

P(μνl) (q) = (hμνq2 - qμqν )cC + p(q2 )h ,

(12.2.7)

ãäå p(q2) конечно, а С — единственная оставшаяся расходимость в Pμν. Чтобы зафиксировать определение С, можно включить в нее любую конечную константу p(0) *, так чтобы

π(0) = 0 .

(12.2.8)

Eg = 4, Ee = 0

Это амплитуда Mμνρσ рассеяния света на свете. Для нее D = 0, так что, используя лоренцинвариантность и требования бозе-

статистики, можно записать эту амплитуду (в нее не дают вклада диаграммы без петель) в виде

Mμνρσ = K(ημνηρσ + ημρηνσ + ημσ ηνρ ) + конечные слагаемые,

где K — потенциально расходящаяся константа. Однако в силу сохранения тока

qμMμνρσ = 0 ,

так что комбинация K(qνhρσ + qρhνσ + qσhνρ) конечна. Чтобы это равенство было верно при q ¹ 0, константа K сама должна быть

конечной. Это хороший пример роли принципов симметрии в программе перенормировок. Если бы K оказалась бесконечной, ее нельзя было бы устранить перенормировкой константы связи взаимодействия (AμAμ)2, поскольку такое взаимодействие не допускает-

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

* Напомним, что для этого π(q2) как функция q2 не должна иметь особенности

(типа полюса) при q2 = 0. — Ïðèì. ðåä.


690 Глава 12. Общая теория перенормировок

Eg = 1, Ee = 0 è Ee = 1, Eg = 0, 1, 2

В этих случаях D = 3 и D = 5/2, 3/2, 1/2, соответственно, однако все такие диаграммы обращаются в нуль в силу лоренц

инвариантности *.

Eγ = 3, Ee = 0

Âэтом случае D = 1, но такие диаграммы обращаются в нуль

âсилу инвариантности относительно зарядового сопряжения.

Читатель, возможно, уже обратил внимание на то, что независимые расходящиеся константы А, В, С находятся в однооднозначном соответствии с независимыми параметрами Z2, Z3 è dm контрчленов (11.1.9) в лагранжиане квантовой электродина-

мики, которая содержит контрчлены. Эти контрчлены вносят непосредственный вклад Z2δm (Z2 1)(ip/ + m) â å*(р). Требование,

чтобы положение и вычет одночастичного полюса были бы такими же, как у свободного пропагатора, означает, что нужно выбрать Z2 è dm таким образом, чтобы полная функция å* удовле-

творяла условию (12.2.4), т. е.

Z2δm = −A,

(12.2.9)

Z2 1 = −B,

(12.2.10)

и полная электронная собственноэнергетическая вставка была бы конечной функцией å(f)(p):

S(p) = S( f)

Кроме того, контрчлены L2 вносят Используя формулу (12.2.6), видим, ция равна

(p) .

вклад в Gμ,

что полная

(12.2.11)

равный (Z2 1)gμ.

вершинная функ-

Gμ

= g μ + (Z

- 1)g μ + Gμ(l) = g μ + Gμ( f) .

(12.2.12)

 

2

 

 

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


12. 2. Сокращение расходимостей

691

Она не только конечна, но и удовлетворяет условию

 

 

(p, σ′)Γμ (p, p)u(p, σ) =

 

(p, σ′)γ μ u(p, σ) ,

(12.2.13)

 

u

u

что можно иначе увидеть также из (10.6.13) и (10.6.14). Наконец, L2

вносит вклад (Z

3

1)(q2η

μν

q q ) â Π*

μν

(q). Для того, чтобы фо-

 

 

 

 

μ ν

 

 

тонный пропагатор имел полюс с тем же вычетом, что и для свободных полей, необходимо, чтобы коэффициент при (q2ημν qμqν) в полном выражении для Πμν(q) обращался в нуль, так что

Z3 = 1 + C,

12.2.14)

и тогда фотонный пропагатор конечен:

 

Πμν (q) = (ημνq2 qμqν )π(q2 ) .

(12.2.15)

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

* Появляющиеся здесь и ниже ключевые авторские термины superficially divergent (convergent) diagrams (subdiagrams) и superficial divergence (convergence) не имеют устойчивого русского эквивалента. Мы переводим их здесь как «диаграммы (поддиаграммы), расходящися (сходящиеся) по индексу». Расходимость (сходимость) диаграммы (поддиаграммы) по индексу означает, что ее индекс расходимости неотрицателен (строго отрицателен) и определяющий ее интеграл по внутренним импульсам расходится (сходится) в области, где все внутренние импульсы однородным образом устремляются к бесконечности. — Прим. ред.


692 Глава 12. Общая теория перенормировок

по индексам поддиаграммам, являющимся либо фотонными собственноэнергетическими частями P*, либо электронными собственноэнергетическими частями å*, либо электронэлектронфотонными вершинами Gμ. Трудности рассмотрения этих расходимостей свя-

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

ляются слагаемые в (11.1.9): (Z3 1)(q2hμν qμqν) для каждого

P*μν(q), Z2δm (Z2 1)(ip/ + m) для каждого å* и слагаемое (Z2 1)gμ для каждой вершины Gμ. Как и для диаграммы в целом, эти контр-

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

тронной собственноэнергетической вставки * (см. рис. 12.2 и 12.3). Полное рассмотрение проблемы перенормировки с учетом

перекрывающихся расходимостей должно включать рецепт уст-

* Если две собственноэнергетические вставки или такая вставка и вершинная часть будут иметь общую линию, то не хватит внешних линий, чтобы прикрепить такую поддиаграмму к остальной части диаграммы. Исторически тождество Уорда (10.4.26) использовалось для того, чтобы обойти проблему перекрывающихся расходимостей в собственной энергии электрона, выразив эту энергию через вершинную функцию, в которой перекрывающихся расходимостей не возникает. Мы не будем следовать таким путем, поскольку в этом нет необходимости, кроме того, этот подход все равно не решает проблемы собственной энергии фотона или других нейтральных частиц.