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

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

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

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

Добавлен: 29.06.2024

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

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

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

594

Глава 10. Непертурбативные методы

 

 

Условие, что m2 является истинной массой частицы, сводится к условию, что полюс пропагатора должен находиться при q2= m2,

òàê ÷òî

* (m2 ) = 0 .

(10.3.17)

Кроме того, условие, что полюс пропагатора при q2 = m2 должен

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

L

d

 

O

 

M

 

 

* (q2 )P

= 0 .

 

2

N dq

Qq2 = −m2

 

Приведенные условия позволяют вычислить Z и δm2:

Zδm2 = − ∏*LOOP (0) ,

L

d

 

 

O

 

 

 

 

Z = 1 + M

 

 

*LOOP

(q2 )P

 

 

 

.

 

2

 

 

 

N dq

 

Q

q

2

= −m

2

 

 

 

 

 

 

 

(10.3.18)

(10.3.19)

(10.3.20)

Отсюда вытекает, что Zδm2 è Z 1 задаются рядами по степеням

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

à

b

Рис. 10-4. Одночастично неприводимая диаграмма (а) и одночастично приводимая диаграмма (b) в теории с четвертичным взаимодействием. Примером такой теории является теория скалярного поля ϕ с взаимодействием, пропорциональным ϕ4


10.3. Перенормировка поля и массы

595

 

 

 

При проведении вычислений самое простое – это сказать, что из петлевых слагаемых *LOOP(q2) мы должны вычесть полином

первого порядка по q2 с коэффициентами, подобранными так, чтобы разность удовлетворяла условиям (10.3.17) и (10.3.18). Как будет видно далее, эта вычитательная процедура попутно сокращает бесконечности, возникающие от интегралов в импульсном пространстве, определяющих *LOOP. Однако, как должно быть ясно, перенормировка

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

Важным следствием условий (10.3.17) и (10.3.18) является утверждение, что не нужно включать радиационные поправки во внешние линии на массовой оболочке, поскольку

 

* (q2 )[q2 + m2 iε]1 + ∏* (q2 )[q2 + m2 iε]1

(10.3.21)

 

× ∏* (q2 )[q2 + m2 iε]1 + . . .

 

q2

→ −m2

= 0 .

 

 

 

 

 

 

Аналогичные замечания применимы к частицам произвольного спина. Например, лагранжиан «голого» дираковского поля имеет вид

L = −

Ψ

B[∂/ + mB ]ΨB VB(ΨB) .

(10.3.22)

Вводим перенормированные поля и массы:

 

 

 

Ψ ≡ Z1/2

Ψ ,

(10.3.23)

2

B

 

 

 

m = mB + δm.

(10.3.24)

(Индекс 2 у Z по традиции используется для обозначения константы перенормировки фермионного поля.) Тогда лагранжиан можно переписать в виде:

 

 

L = L0 + L1 ,

(10.3.25)

 

 

L0 = −

 

[∂/ + m]Ψ ,

(10.3.26)

Ψ

L1 = −(Z2 1)[

 

[∂/ + mB ]Ψ] + Z2δm

 

 

 

 

(10.3.27)

Ψ

ΨΨ − VB(Z2 ΨΨ) .


596

 

 

 

Глава 10. Непертурбативные методы

 

 

 

 

 

Пусть i

(2p)

4

* k

сумма всех связных диаграмм с одной

 

 

å ( / )

 

входящей фермионной линией с 4-импульсом k, и одной выходящей линией с тем же 4-импульсом, которые нельзя сделать несвязными, раз-резав любую внутреннюю фермионную линию, причем пропа-гаторное множители i(2p)4 è [ik/ + m - ie]1 для внешних ли-

ний опущены. (Здесь использована лоренцовская инвариантность, согласно которой å* есть обычная функция скалярной матрицы k/ º kμ g μ .) Тогда полный фермионный пропагатор имеет вид

S¢(k) = [ik/ + m - ie]1 + [ik/ + m - ie]1 å* (k/ )[ik/ + m - ie]1

+ [ik/ + m - ie]1 å* (k/ )[ik/ + m - ie]1 å* (k/ )[ik/ + m - ie]1 + . . .

= [ik/ + m - å* (k/ ) - ie]1 .

 

 

 

 

 

 

(10.3.28)

 

 

 

 

 

 

 

 

 

 

При вычислении

å ( / )

мы учитываем древесные диàãраммы от

* k

слагаемых в правой части (10.3.27), пропорциональных Y¶/Y è

 

 

YY ,

а также вклад петель:

 

 

 

 

 

 

 

 

 

 

 

* k

Z

ik

m

] +

Z

2d

m

*

k

(10.3.29)

å ( / ) = -( 2

- 1)[ / +

 

 

 

+ åLOOP

( / ) .

 

 

 

Условие, чтобы полный пропагатор имел полюс при k2 = m2 ñ òåì

же вычетом, что и свободный пропагатор, имеет вид:

 

 

 

å

 

( ) = 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

im

 

 

 

 

 

 

 

 

(10.3.30)

 

 

¶ å* (k/ )

|k/ = im =

0 ,

 

 

 

 

 

 

(10.3.31)

 

 

 

¶k/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

2d

m

 

 

 

*

k

 

 

 

 

 

 

(10.3.32)

 

 

= - åLOOP

(

/ ) ,

 

 

 

 

 

 

 

 

Z2 =

1 - i

 

¶ å*LOOP (k/ )

|k/ = im .

 

 

 

 

 

 

(10.3.33)

 

 

 

¶k/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Как и для скалярных частиц, обращение в нуль

[

/

+

 

]

1

å ( / )

â

 

ik

 

m

 

* k

пределе k/ → im показывает, что на массовой поверхности можно

пренебречь радиационными поправками к внешним фермионным


10.4. Перенормированный заряд и тождества Уорда

597

 

 

 

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

10.4.Перенормированный заряд

èтождества Уорда

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

ность плотности лагранжиана относительно глобальных калибро-

вочных преобразований Ψl exp(iqlα)Ψl (с произвольной постоянной фазой α) влечет за собой существование тока

Jμ = −iå

L

 

ql Ψl

,

 

 

(10.4.1)

(∂ Ψ )

l

μ

l

 

 

 

 

 

 

 

 

удовлетворяющего условию сохранения

μ Jμ = 0 .

(10.4.2)

Отсюда вытекает, что пространственный интеграл от временной компоненты Jμ не зависит от времени:

i

d

Q = [Q, H] =

0 ,

(10.4.3)

dt

 

 

 

 

ãäå

 

 

 

 

 

Q z d3x J0 .

 

(10.4.4)

(Очень важное возможное исключение связано с тем, что интеграл (10.4.4) может не существовать, если в системе имеются дальнодействующие силы, обязанные безмассовым скалярам. Мы вернемся к этому вопросу при рассмотрении нарушенных симметрий в т. II.) Кроме того, поскольку Q является интегралом по пространству, эта величина явно трансляционно-инвариантна:

[P, Q] = 0,

(10.4.5)


598

Глава 10. Непертурбативные методы

 

 

à òàê êàê Jμ — 4-вектор, Q инвариантен по отношению к однород-

ным преобразованиям Лоренца:

[Jμν , Q] = 0 .

(10.4.6)

Отсюда следует, что оператор Q, действуя на истинный вакуум Ψ0,

дает другое лоренц-инвариантное состояние нулевой энергии и импульса, которое (в предположении, что вакуум невырожден) должно быть пропорционально самому Ψ0. Но константа пропорцио-

нальности должна обращаться в нуль, так как из лоренц-инвари- антности следует, что (Ψ0, JμΨ0) = 0. Отсюда получаем:

QΨ0 = 0 .

(10.4.7)

Кроме того, оператор Q, действуя на любое одночастичное состояние Ψp,σ,n, должен переводить его в другое состояние с теми же

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

QΨp,σ,n = q( n) Ψp,σ,n .

(10.4.8)

Лоренц-инвариантность Q гарантирует, что собственное значение q(n) не зависит от р и s, а зависит только от сорта частиц. Это собственное значение известно как электрический заряд (или ка- кое-то другое квантовое число, для которого Jμ может быть током)

одночастичного состояния. Чтобы связать его с параметрами ql в лагранжиане, заметим, что из канонических коммутационных соотношений следует

 

J0 (x, t), Ψ (y, t)

= −q

Ψ

(y, t)δ3

(x y) ,

(10.4.9)

 

 

 

l

 

 

l

l

 

 

 

или, после интегрирования по x,

 

 

 

 

 

 

 

Q, Ψl (y)

 

= −qlΨl (y) .

 

(10.4.10)

 

 

 

 

То же верно и для любой локальной функции F(y) заданного числа полей, их производных и сопряженных им величин: