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

642 Глава 11. Однопетлевые радиационные поправки в КЭД

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

p → p + qx ,

так что выражение (11.2.3) принимает вид

(11.2.5) Используя результаты Приложения к гл. 8, можно без труда вы- числить след в подынтегральном выражении:

Tr{[-i(p/ + qx/ ) + m] g ρ [-i(p/ - q/(1 - x)) + m] g σ }

= 4 -(p + qx)ρ (p - q(1 - x))σ + (p + qx) × (p - q(1 - x))hρσ

(11.2.6)

- (p + qx)σ (p - q(1 - x))ρ + m2hρσ .

Следующий шаг носит название виковского поворота 2. Äî òåõ ïîð, ïîêà -q2 < 4m2, величина m2 + q2x(1 - x) положительна при всех x

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

между 0 и 1, так что полюсы подынтегрального выражения в (11.2.5)

находятся в точках p0 = ±p2 + m2 + q2x(1 - x) - ie , ò. å. ÷óòü âûøå

отрицательной действительной оси и чуть ниже положительной действительной оси (см. рис. 11.2). Можно повернуть контур интегрирования по р0 против часовой стрелки, не пересекая при этом ни одного из полюсов, так что вместо интегрирования по р0 вдоль действительной оси от -¥ äî +¥, мы интегрируем вдоль мнимой оси от - i¥ äî +i¥. Иными словами, можно написать p0 = ip4, и теперь интегрировать по действительным значениям р4 îò -¥ äî +¥. (Если бы в знаменателе пропагатора входило ie вместо -ie, следовало бы положить p0 = -ip4, причем p4 опять пробегало бы все действительные значения от -¥ äî +¥. В результате просто изменился бы знак Π1LOOP*ρσ (q).) Теперь формула (11.2.5) принимает вид:

Im p0

Re p0

Рис. 11.2. Виковский поворот контура интегрирования по р0. Маленькие крестики указывают положение полюсов в комплексной плоскости р0, стрелки показывают направление поворота контура интегрирования от действительной к мнимой оси

и все скалярные произведения вычисляются с использованием евклидовой нормы

a × b = a1b1 + a2b2 + a3b3 + a4b4 ,

при соглашении, что q4 º −iq0. Кроме того, hρσ можно считать либо

кронекеровским дельта-символом с индексами, принимающими зна- чения 1, 2, 3, 4, либо обычным тензором Минковского с индексами, принимающими значения 1, 2, 3, 0 *.

Интеграл (11.2.7) сильно расходится. В конце концов все бесконечности сократятся, но чтобы увидеть это, необходимо использовать на промежуточных стадиях вычисления какой-то способ регуляризации, делающий интегралы сходящимися. Не годится просто обрезать интегралы на некотором максимальном импульсе L, интегрируя по pμ только при p2 < L2, поскольку это эквивалентно введению в электронный пропагатор ступенчатой функции q(L2 - p2),

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

поправки будут индуцировать массу фотона, что явно нарушает калибровочную инвариантность **.

Практика показала, что самым удобным способом регуляризации расходящихся интегралов, не нарушающим калибровочной инвариантности, является техника размерной регуляризации, предложенная в 1972 году ¢т Хофтом и Вельтманом 3 и основанная на

аналитическом продолжении по размерности пространства–времени от четырех к произвольному числу d. Она состоит в усреднении по

* Первое соглашение относится к так называемому евклидовому развороту (аналог виковского поворота). Именно, P*1ÏÅÒË допускает

аналитическое продолжение по q0 в евклидову область q0 = iq4. По модулю кинематических множителей (см. ниже формулу (11.2.16)) P*1ÏÅÒË (точнее функция p) является аналитической функцией -q2 в комплексной плоскости с разрезом вдоль положительной полуоси -q2 ³ 4m2. В тексте рассматри-вается область -q2 > 4m2. Ïðè -q2 > 4m2 физическому значению функции p отвечает

ååграничное значение сверху на этой полуоси. — Прим. ред.

**Именно, поперечность P*μν, èìåÿ â âèäó, ÷òî Pμν не имеет полюсов

ïðè q2 = 0 (см. гл. 10, раздел 5). — Прим. ред.

угловым переменным в интегралах типа (11.2.7), что сводится к отбрасыванию всех слагаемых, нечетных по р, и замене слагаемых, содержащих четное число множителей р, по правилу *

Далее, после того как подынтегральное выражение с помощью указанной процедуры запишется как функция только р2, следует

заменить элемент объема d4pE íà Ωdκd-1dκ, ãäå κ ≡ p2 , à Ωd —

площадь сферы единичного радиуса в d измерениях:

После этого интеграл (11.2.7) становится сходящимся в случае комплексной размерности пространства-времени d. Можно продолжить интеграл от комплексных значений d к d = 4, и тогда бесконечности проявятся как множители (d − 4)-1.

Применяя метод размерной регуляризации к интегралу (11.2.7), получаем:

Интегралы по κ можно вычислить для любого комплексного d (или

для любого действительного d, не равного целому четному числу) **.

* Проще всего вывести эти формулы, заметив, что их вид диктуется ло- ренц-инвариантностью и симметрией по индексам μ, ν, ρ и т. д. Коэффициен-

ты можно найти, требуя, чтобы правая и левая части давали одинаковый результат после свертки с η.

** Строго говоря, этот интеграл определен при 1 < Red < 4, а при прочих d он определен аналитическим продолжением. — Прим. ред.