ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.06.2024
Просмотров: 1929
Скачиваний: 1
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) |
|
Вводим перенормированные поля и массы: |
|
|||
|
|
Ψ ≡ Z−1/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) заданного числа полей, их производных и сопряженных им величин: