Вайнберг С. Квантовая теория полей. Том 1 (2001)
.pdf
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 методами функционального интегрирования.
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-импульсом соответствующей (виртуальной) частицы. — Прим. пер.
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 и соединяющей две вершины с пространственно-временными индексами μ è ν, следует сопоставить множитель
