6.1. Вывод правил |
361 |
причем последнее слагаемое означает вычитание предыдущего выражения с перестановкой частиц 1′ è 2′ (или 1 и 2). В такой теории
не существует диаграмм второго порядка для бозон-бозонного рассеяния. Простейшими являются диаграммы четвертого порядка типа показанных на рис. 6.7.
Более конкретные примеры использования формул (6.1.27) и (6.1.28) будут приведены в разделе 6.3, после того, как мы вычислим пропагаторы и перейдем в импульсное пространство.
В предыдущем примере все три поля в гамильтониане взаимодействия (6.1.18) различны. Полезно рассмотреть пример также с трилинейным взаимодействием, но в котором все три поля одинаковы или, по крайней мере, входят симметричным образом.
Теория II
Пусть плотность гамильтониана взаимодействия есть сумма слагаемых, трилинейных по действительным бозонным полям ϕl(x):
H (x) = |
1 |
åglmnϕl (x)ϕm (x)ϕn (x) , |
(6.1.29) |
3! |
|||
lmn |
|||
ãäå glmn − действительная полностью симметричная |
константа |
||
связи.
Пусть мы хотим рассмотреть процесс рассеяния 12 → 1′2′ âî
втором порядке по этому взаимодействию. К каждой из двух вершин должны быть подсоединены по две из четырех внешних линий. (Единственная другая возможность − в том, чтобы к одной
вершине была подсоединена одна из внешних линий, а три другие были подсоединены ко второй вершине. Но в этом случае у вершины с тремя внешними линями не останется больше линий, чтобы соединить ее с первой вершиной, т. е. получится несвязная диаграмма.) Третья линия при каждой вершине должна соединять вершины друг с другом. Имеются три диаграммы такого типа (рис. 6.8), отличающиеся тем, какая внешняя линия подсоединена к той же вершине, что и линия 1. Это могут быть линии 2, 1′ èëè 2′.
Следуя сформулированным правилам, запишем вклад в S-матрицу от этих трех диаграмм:
6.2. Вычисление пропагатора |
363 |
ãäå F(x − y) − пропагатор скалярного поля, вычисленный в сле-
дующем разделе. В этой теории не существует вкладов третьего или любого нечетного порядка по H (x).
6.2. Вычисление пропагатора
Перейдем к вычислению пропагатора (6.1.14). Пропагатор — существенная составляющая фейнмановских правил, возникающая в результате спаривания поля ψl(x) с сопряженным полем ψm†(y).
Подставляя (6.1.15) и (6.1.16) в (6.1.14) и пользуясь соотношениями коммутации и антикоммутации для операторов уничтожения и рождения, находим:
−i lm (x, y) = θ(x − y)(2π)-3/2 z d3på ul (pσ n)um* (pσ n)eip×(x- y)
s |
|
± θ(y − x)(2π)-3/2 z d3påvm* (pσ n)vl (pσ n)eip×(y-x) . |
(6.2.1) |
s |
Вычисляя в гл. 5 коммутаторы и антикоммутаторы, мы показали, что
å ul (pσ n)um* (pσ n) = e2 |
−1 |
|||||||||||
p2 + m2n j |
Plm ep, p2 |
+ m2n j , |
(6.2.2) |
|||||||||
s |
||||||||||||
åvl (pσ n)vm* (pσ n) = ±e2 |
−1 |
|||||||||||
p2 + m2n j |
Plm e−p,− p2 + m2n j , |
(6.2.3) |
||||||||||
s
ãäå Plm(p,ω) − полином по р и ω. (Здесь, как и в (6.2.1), верхние и
нижние знаки относятся, соответственно, к бозонным и фермионным полям.) Например, если ψl(x) è ψm†(y) − скалярные поля ϕ(x) è ϕ(y) частицы спина 0, то
P(p) = 1. |
(6.2.4) |
Åñëè ψl(x) è ψm†(y) − дираковские поля частицы спина 1/2, то
P (p) = |
(−iγ |
m |
pm + m)β |
, |
(6.2.5) |
|
lm |
lm |
|||||
6.2. Вычисление пропагатора |
365 |
(6.2.2) и (6.2.3) определяют Р(р) только для 4-импульсов «на массовой оболочке», т. е. при значениях р0 º ± p2 + m2 . Любая полино-
миальная функция таких 4-импульсов всегда может рассматриваться как линейная по р0, так как любая степень (p0)2ν èëè (p0)2ν+1 может быть записана как (p2 + m2)ν èëè p0(p2 + m2)ν, соответст-
венно. Поэтому можно определить полином P(L)(q) условиями, что
P(L) (p) = P(p) |
(äëÿ p0 = |
p2 + m2 ), |
(6.2.10) |
|
P(L) (q) = P(0) (q) + q0P(1) (q) |
(для произвольных qμ ) , |
|||
ãäå Ð(0,1) - полиномы, зависящие только от q. Теперь можно вос-
пользоваться соотношениями
∂ |
q(x0 - y0 ) = - |
∂ |
q(y0 - x0 ) = d(x0 - y0 ) |
(6.2.11) |
|
¶x0 |
¶x0 |
||||
(напомним, что q(x) имеет единичный скачок при x0 = 0 и постоянна
в остальных точках), и переставить операторы производных в (6.2.8) и q-функциии:
(L) F |
¶ I |
|||||
Dlm |
(x, y) = Plm G |
-i |
J DF |
(x - y) |
||
H |
¶xK |
(6.2.12) |
||||
+ d(x0 - y0 )P(1) |
(-iÑ)[D+ (x - y) - D+ (y - x)] , |
|||||
lm |
||||||
ãäå DF — фейнмановский пропагатор, равный
−i F (x) ≡ θ(x) + (x) + θ(−x) + (−x) . |
(6.2.13) |
Однако при x0 = 0 функция D+(x) четна по x, так как замена x ® -x в (6.2.9) может быть скомпенсирована заменой p ® -p
переменной интегрирования. Поэтому можно опустить второе слагаемое в (6.2.12) и записать просто
(L) F |
∂ I |
|||||
Dlm |
(x, y) = Plm G |
-i |
J DF |
(x - y) . |
(6.2.14) |
|
H |
¶xK |
|||||
Полезнее всего использовать выражение для фейнмановского пропагатора в виде интеграла Фурье. Ступенчатые функции