Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

.pdf
Скачиваний:
465
Добавлен:
15.08.2013
Размер:
50 Мб
Скачать
☆

8.4. Электродинамика в представлении взаимодействия

469

 

 

V(t) = exp(iH0t)V[A, Π , Q, P]t=0 exp(−iH0t)

= π (8.4.4)

V[a(t), (t), q(t), p(t)],

где Р означает здесь импульсы, канонически сопряженные полям материи Q, а любой оператор o(x,t) в представлении взаимодействия связан с оператором O(x,t) в гейзенберговском представлении при t = 0 равенством

o(x, t) = exp(iH0t)O(x,0) exp(−iH0t) ,

(8.4.5)

òàê ÷òî

 

 

 

io&(x, t) = [o(x, t), H

0

] .

(8.4.6)

 

 

 

(Мы опустили индекс B у π(x).) Так как (8.4.5) есть преобразование

подобия, коммутационные соотношения при равных временах имеют тот же вид, что и в гейзенберговской картине:

L

 

 

∂2

1

O

 

 

[ai (x, t), πj (y, t)] = iMδijδ3

(x − y) +

 

 

 

 

P

,

(8.4.7)

∂xi∂xj

 

 

N

 

 

4π| x − y| Q

 

 

[a i (x, t), a j (y, t)] = 0 ,

 

 

 

 

 

(8.4.8)

[πi (x, t), πj (y, t)] = 0 .

 

 

 

 

 

(8.4.9)

и аналогично для полей материи и соответствующих им канонических импульсов. По тем же причинам остаются в силе уравнения связей (8.2.6) и (8.3.8):

Ñ × a = 0 ,

(8.4.10)

Ñ × π = 0 .

(8.4.11)

Чтобы установить соотношение между π è a& , следует вычислить a& согласно формуле (8.4.6):

ia& i (t) = [ai (x, t), H0 ]

X

L

 

∂2

1

O

 

= iY d3 yMδij

δ3 (x − y) +

 

 

 

P

πj (y, t) .

∂xi∂xj

 

 

Z

N

 

 

4π| x − y| Q

 

470

Глава 8. Электродинамика

Можно заменить /xj во втором слагаемом на –/yj, проинтегриро-

вать по частям и воспользоваться (8.4.11), что дает в результате

a&

=

π

(8.4.12)

 

,

как и в представлении Гейзенберга. Аналогично, полевое уравнение определяется равенством

iπ& i (t) = [πi (x, t), H0 ]

X

L

2

1

O

 

= -iY d3 yMdijd3 (x - y) +

 

 

 

P

(Ñ ´ Ñ ´ a(y, t))j .

¶xi¶xj

 

 

Z

N

 

4p| x - y| Q

 

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

9a = 0 .

(8.4.13)

Поскольку А0 не является независимой полевой переменной в гейзенберговском представлении, а представляет собой функционал (8.2.9) полей материи и соответствующих им импульсов, обращающийся в нуль в пределе нулевых зарядов, то в представлении взаимодействия мы просто полагаем

a0 = 0.

(8.4.14)

Наиболее общее действительное решение уравнений (8.4.10), (8.4.13) и (8.4.14) можно записать в виде

 

X

3

 

 

å

 

 

am

(x) = (2p)-3/2 Y

d

p

 

 

eip×xem (p, s)a(p, s) + e-ip×xem* (p, s)a† (p, s)

 

 

 

 

 

 

0

 

Z

 

 

 

 

 

 

2p

 

s

(8.4.15)

ãäå p0 º |p|, eμ(p,s) — два произвольных независимых «вектора по-

ляризации», удовлетворяющие условиям

p × e(p, s) = 0

,

(8.4.16)

e0 (p, s) = 0 ,

 

(8.4.17)

8.4. Электродинамика в представлении взаимодействия

471

 

 

à a(p,σ) — пара операторных коэффициентов, отвечающих двум значениям индекса σ. Подобрав нормировку a(p,σ), можно нормировать eμ(p,σ) так, чтобы условие полноты имело вид

åei (p, σ)ej (p, σ)* = δij − pipj | p|2 .

(8.4.18)

σ

 

Например, можно выбрать e(p,σ) в таком же виде, как в разделе

5.9:

 

 

 

 

L

1

2

 

O

 

eμ

 

± = R

 

M

 

 

 

 

P

 

(p,

$

M± i 2 P

,

 

1)

(p)M

 

 

 

 

P

 

 

 

 

M

0

 

 

 

P

(8.4.19)

 

 

 

 

M

0

 

 

 

P

 

 

 

 

 

N

 

 

 

Q

 

ãäå R( $ ) — стандартное вращение, поворачивающее третью ось по p

направлению р. Используя формулы (8.4.18) и (8.4.12), можно без труда убедиться, что коммутационные соотношения (8.4.7)–(8.4.9) будут выполнены, если (и, на самом деле, только если) операторные коэффициенты в (8.4.15) удовлетворяют коммутационным соотношениям

[a(p, σ), a† (p′, σ′)] = δ3 (p − p′)δσσ′ ,

(8.4.20)

[a(p, σ), a(p′, σ′)] = 0 .

(8.4.21)

Как отмечалось выше для случая массивных частиц, этот результат следует рассматривать не столько как альтернативный вывод соотношений (8.4.20) и (8.4.21), а как проверку, что (8.4.2) дает правильный гамильтониан свободных безмассовых частиц спиральности ±1. Действуя в том же духе,можно подставить формулы (8.4.12)

и (8.4.15) в формулу (8.4.2) и вычислить гамильтониан свободных фотонов

H0 = z d

på

2 p

 

[a(p, σ), a

 

(p

, σ′)]+

 

 

 

 

3

 

 

1

 

0

 

†

′

 

 

 

 

 

 

 

 

σ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

z

d3p

å

p0 F a† (p, σ)a(p, σ) +

1

δ3

(p − p)I .

(8.4.22)

 

 

 

 

 

 

H

 

 

 

2

 

K

 

 

 

 

 

 

 

G

 

 

 

 

 

 

J

 

σ

472

Глава 8. Электродинамика

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

Наконец, находим, что взаимодействие (8.4.4) в представлении взаимодействия имеет вид

V(t) = −z d3x jμ (x, t)aμ (x, t) + Vкулон (t) + Vматерии (t) , (8.4.23)

ãäå jμ(x) выражается через ток J в представлении взаимодействия:

jμ (x, t) ≡ exp(iH0t)Jμ (x,0) exp(−iH0t) ,

(8.4.24)

кулоновское слагаемое имеет вид

 

 

 

Vкулон (t) = exp(iH0t)Vкулон exp(−iH0t)

 

X

j0 (x, t)j0 (y, t)

 

(8.4.25)

= Y d3xd3y

 

,

4π| x − y|

Z

 

 

à Vматерии(t) есть неэлектромагнитная часть взаимодействия полей материи в представлении взаимодействия:

Vматерии (t) = exp(iH0t)Vматерии exp(−iH0t) .

(8.4.26)

Заметим, что в выражении (8.4.23) написано jμaμ вместо j×a, однако это одно и то же, поскольку мы определили 4-вектор aμ òàê, ÷òî

à0 = 0.

8.5. Пропагатор фотона

Согласно описанным в гл. 6 фейнмановским правилам, внутренняя фотонная линия в диаграмме Фейнмана вносит в соответствующее слагаемое в S-матрице множитель, равный пропагатору

−i μν (x − y) ≡ (ΦVAC, T{aμ (x), aν (y)}ΦVAC ) ,

(8.5.1)

где Т, как обычно, обозначает хронологическое произведение. Подставляя формулу (8.4.15) для электромагнитного потенциала, находим:

,

8.5. Пропагатор фотона

473

 

 

−i

 

(x − y) =

X

d3p

P

(p)[eip×(x- y)θ(x − y) + eip×(y-x)θ(y − x)] ,

mn

Y

 

 

 

 

(2π)3 2| p|

mn

 

 

 

 

 

Z

 

 

 

ãäå

 

 

 

Pmn (p) ≡ åem (p, σ)en (p, σ)* ,

 

 

 

 

 

(8.5.3)

s=±1

àpμ в показателях экспоненты берется с p0 = |p|. Напомним, что

согласно формулам (8.4.17) и (8.4.18)

P (p) = δ

 

−

pipj

,

ij

 

ij

 

| p|2

 

 

 

 

(8.5.4)

P0i (p) = Pi0 (p) = P00 (p) = 0 .

Как мы видели в гл. 6, тета-функции в (8.5.2) можно записать как интегралы по независимой временной компоненте q0 4-вектора qμ,

лежащего вне массовой поверхности, так что формулу (8.5.2) можно переписать в виде

X

P

(q)

 

 

mn (x − y) = (2π)-4 Y d4q

mn

 

eiq×(x- y) ,

(8.5.5)

q2 − iε

Z

 

 

Таким образом, при использовании фейнмановских правил в импульсном пространстве, вклад внутренней фотонной линии, несущей 4-импульс q и соединяющей две вершины, в которых фотон рождается и уничтожается полями aμ è aν, дается выражением:

−i

 

Pmn (q)

.

(8.5.6)

(2π)4

 

q2 − iε

 

 

 

Очень полезно (хотя и кажется на первый взгляд извращением) переписать (8.5.4) в виде

P

(q) = η

 

+

q

0 q

m

n

n

+ q

0 q

n

n

m

− q

m

q

n

+ q

2 n

m

n

n

,

(8.5.7)

mn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

mn

 

 

 

 

 

 

 

 

 

 

| q|2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ãäå nμ ≡ (0,0,0,1) — фиксированный времениподобный вектор, q2 как обычно равно q2 − (q0)2, íî q0 полностью произвольно. Мы

474

Глава 8. Электродинамика

выберем q0 в представлении (8.5.7) так, чтобы эта компонента определялась законом сохранения 4-импульса: это есть разность компонент р0 импульсов частиц материи, входящих и выходящих из той вершины, откуда исходит фотонная линия *. Поэтому слагаемые, пропорциональные qμ è/èëè qν, не дают вклада в S-матри- цу, так как множители qμ è qν действуют как производные ∂μ è ∂ν, а фотонные поля aμ è aν связаны с токами jμ è jν, которые удовлетворяют условию сохранения ∂μjμ = 0 **. Слагаемое, пропорциональное nμnν, содержит множитель q2, который сокращается с q2 â çíà-

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

 

 

XX

 

−i

X d4q

 

−i

1 YY d4xd4 y[−ij0

(x)] [−ij0 (y)]

 

Y

 

eiq×(x - y) .

(2π)4

 

 

2

ZZ

 

Z | q|2

 

Здесь интеграл по q0 дает дельта-функцию по времени, так что это выражение эквивалентно следующей поправке к гамильтониану взаимодействия V(t):

−

1 X

3

X

3

 

j0 (x, t)j0 (y, t)

.

2

Y d

xY d

y

 

4π| x − y|

 

Z

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

* В авторском тексте, если переводить дословно, говорится об отве- чающих материи импульсах, «втекающих» и «вытекающих» из вершины. В русскоязычных текстах более употребительна другая терминология, которой мы здесь в основном придерживаемся. Именно, принято не только внешние линии, отвечающие реальным частицам на массовой поверхности, но и внутренние линии, отвечающие пропагатору некоторой частицы, отождествлять с самой частицей (называя ее виртуальной, т. е. лежащей вне массовой поверхности). Соответственно говорят: частица входит и выходит из вершины, импульс частицы и т. д. Говорят также (в частности, и автор книги), что импульс соответствующей частицы входит в вершину или выходит из вершины. — Прим. пер.

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

8.6. Правила Фейнмана для спинорной электродинамики

475

 

 

Она в точности сокращается со вкладом кулоновского взаимодействия (8.4.25). Таким образом, эффективно в качестве фотонного пропагатора можно взять ковариантное выражение:

 

X

η

 

 

 

ýôômn

(x − y) = (2π)-4 Y d4q

mn

eiq×(x - y)

,

(8.5.8)

q2 − iε

 

Z

 

 

 

причем кулоновское взаимодействие выпадает. Мы видим, что кажущееся нарушение лоренц-инвариантности в мгновенном кулоновском взаимодействии компенсируется другим кажущимся нарушением лоренц-инвариантности, заключающимся, как отмечено в разделе 5.9, в том, что поля aμ(x) не являются 4-векторами и поэтому

имеют нековариантный пропагатор. С практической точки зрения важно то, что в правилах Фейнмана в импульсном пространстве вклад внутренней фотонной линии дается выражением

−i

 

ηmn

,

(8.5.9)

(2π)4

 

q2 − iε

 

 

 

а кулоновское взаимодействие отбрасывается.

8.6. Правила Фейнмана для спинорной электродинамики

Наконец мы можем сформулировать фейнмановские правила для расчета S-матрицы в квантовой электродинамике. Для определенности рассмотрим электродинамику одного сорта частиц со спином 1/2, зарядом q = −e и массой m. Назовем эти фермионы

электронами, но тот же формализм применим и для мюонов и про- чих подобных частиц. Простейший калибровочно- и лоренц-инвари- антный лагранжиан этой теории имеет вид *

L = − 1 F Fmn −

 

(γ m

[∂

 

+ ieA ] + m)Ψ .

 

Ψ

m

(8.6.1)

4 mn

 

m

Тогда 4-вектор электрического тока дается простой формулой:

* В гл. 12 мы обсудим причины, по которым в лагранжиан не включаются более сложные слагаемые.

476

Глава 8. Электродинамика

Jμ =

∂L

= −ie

Ψγ μ Ψ .

(8.6.2)

 

 

∂Aμ

Взаимодействие (8.4.23) в представлении взаимодействия здесь имеет вид:

V(t) = +iez d3x(ψ(x, t)γ μ ψ(x, t)) aμ (x, t) + Vкулон (t) .

(8.6.3)

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

Следуя общим результатам раздела 6.3, можно сформулировать фейнмановские правила в импульсном пространстве для связной части S-матрицы в такой теории.

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

âдиаграмму или из диаграммы; позитронам отвечают внешние линии со стрелками, направленными вниз, соответственно, из диаграммы или в диаграмму. Кроме того, имеется столько внутренних линий, сколько необходимо, чтобы к каждой вершине подсоединялось нужное число линий. Каждой внутренней линии приписывается (и рисуется рядом с ней) 4-импульс вне массовой поверхности *, определенным образом направленный вдоль линии (по соглашению, импульс направлен вдоль стрелок на электронных линиях). Каждой внешней линии приписывается (и рисуется рядом с ней) импульс частицы и z-компонента спина (для электрона) или спиральность (для фотона) в начальном и конечном состояниях.

2.Элементам диаграммы сопоставляются определенные множители по следующим правилам.

* Говорят также, что линия несет на себе 4-импульс, который, как уже отмечалось в прим. пер. на с. 474, отождествляют с 4-импульсом соответствующей (виртуальной) частицы. — Прим. пер.

(2π)3/2
(2π)3/2

8.6. Правила Фейнмана для спинорной электродинамики

477

 

 

Вершины

Каждой вершине приписывается (и рисуется рядом с ней) че- тырехкомпонентный дираковский индекс α около электронной линии со стрелкой, входящей в вершину, дираковский индекс β около

электронной линии со стрелкой, выходящей из вершины, и про- странственно-временной индекс μ около фотонной линии. Каждой

такой вершине сопоставляется множитель

(2π)4 e(γ μ )βα δ4 (k − k′ + q) ,

(8.6.4)

ãäå k è k′ — 4-импульсы электронов, входящие в вершину и выходя-

щие из вершины, а q — 4-импульс фотона, входящий в вершину (или взятый с обратным знаком импульс фотона, выходящий из вершины).

Внешние линии

Каждой внешней линии приписывается (и рисуется рядом с ней) 3-импульс р и z-компонента спина или спиральность σ частицы

в начальном или конечном состоянии.

Каждой линии, отвечающей электрону в конечном состоянии и выходящей из вершины с дираковским индексом β около этой

линии, сопоставляется множитель *

 

 

β (p, σ)

 

 

u

 

 

 

.

(8.6.5)

 

 

 

(2π)3/2

 

Каждой линии, отвечающей позитрону в конечном состоянии и входящей в вершину с дираковским индексом α около этой ли-

нии, сопоставляется множитель

vα (p, σ) . (8.6.6)

Каждой линии, отвечающей электрону в начальном состоянии и входящей в вершину с дираковским индексом α около этой ли-

нии, сопоставляется множитель

uα (p, σ) . (8.6.7)

* Из выражения для взаимодействия (8.6.4) была предварительно выделена матрица β, так что вместо u† è v† возникли`u è`v.

478

Глава 8. Электродинамика

Каждой линии, отвечающей позитрону в начальном состоянии и выходящей из вершины с дираковским индексом β около этой

линии, сопоставляется множитель

 

β (p, σ)

 

v

 

 

.

(8.6.8)

 

(2π)3/2

 

Здесь u и v — четырехкомпонентные спиноры, свойства которых обсуждались в разделе 5.5.

Каждой линии, отвечающей фотону в конечном состоянии и подсоединенной к вершине с пространственно-временным индексом μ около этой линии, сопоставляется множитель

eμ* (p, σ)

 

 

 

 

.

(8.6.9)

 

 

 

 

(2π)3/2 2p0

 

Каждой линии, отвечающей фотону в начальном состоянии и подсоединенной к вершине с пространственно-временным индексом μ около этой линии, сопоставляется множитель

eμ (p, σ)

 

.

 

 

 

 

(8.6.10)

(2π)3/2

 

 

2p0

 

 

 

 

 

Здесь eμ — 4-вектор поляризации фотона, обсуждавшийся в пре-

дыдущем разделе.

Внутренние линии

Каждой внутренней электронной линии с 4-импульсом k, идущей от вершины с дираковским индексом β к другой вершине с дираковским индексом α, сопоставляется множитель

−i

/

 

 

 

[−ik + m]αβ

.

(8.6.11)

(2π)4

 

k2 + m2 − iε

 

 

 

(Мы используем здесь очень удобное восходящее к Дираку «пере- черкивание»: для любого 4-вектора vμ символ v/ означает произве-

дение γμvμ.)

Каждой внутренней фотонной линии с 4-импульсом q и соединяющей две вершины с пространственно-временными индексами μ è ν, следует сопоставить множитель