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

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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-матрицу от этих трех диаграмм:

362

Глава 6. Фейнмановские правила

Рис. 6.8. Связные диаграммы второго порядка для бозон–бозонного рассеяния в теории с взаимодействием (6.1.29)

Sp

¢n¢p¢ ¢ n¢ ,p

n p

n

2

1¢s1 1 2s2 2 1s1 1 2s2

= (-i)2 (2p)-6 å gll¢l¢¢gmm¢m¢¢ z d4xz d4yb-iDl¢¢m¢¢

ll¢l¢¢mm¢m¢¢

´[ul* (p1¢s1¢n1¢)e-ip1¢ ×xul*¢ (p2¢ s2¢ n2¢ )e-ip2¢ ×x

´um (p1s1n1)eip1 ×yum¢ (p2s2n2 )eip2 ×y

+ u

(p¢s¢n¢)e-

1 ×

x

u (p s n )e

1 ×

x

*

ip¢

ip¢

l¢

1

1

1

l

1

1 1

u

(p

s n )e

´ u

(p¢ s¢ n¢ )e

2

×y

2

×y

*

-ip¢

ip

+ u

(p¢ s¢ n¢ )e-

m¢

2

2

2

×

m

2

2

2

2

×

x

u

(p s n )e

1

x

*

ip¢

ip¢

l¢

2

2

2

l

1

1 1

1 ×

u (p s n )e

2 ×

] .

´ u

(p¢s¢n¢)e-

y

y

*

ip¢

ip

m¢

1

1

1

m

2

2

2

(x, y)g

(6.1.30)

Более того, если бозоны в этой теории - бесспиновые частицы

одного типа, то взаимодействие (6.1.29) имеет вид

H = gϕ3 / 3!

(6.1.31)

и матричный элемент (6.1.30) рассеяния скаляра на скаляре равен:

Sp¢p¢ ,p p

=

ig2

z d4xz d4y DF (x - y)

(2p)6 16E¢E¢E E

1 2 1 2

2

1

2

1

[exp(-i(p¢

+ p¢ ) × x) exp(i(p

+ p ) × y)

1

2

1

2

+ exp(i(p

- p¢) × x) exp(i(p

- p¢ ) × y)

1

1

2

2

+ exp(i(p

- p¢ ) × x) exp(i(p

- p¢) × y)],

1

2

2

1

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

364

Глава 6. Фейнмановские правила

ãäå l, m - принимающие четыре значения дираковские индексы.

(Матрица b возникает здесь потому, что мы рассматриваем спари-

вание yl(x) è ym†(y). При спаривании yl(x) ñ`y(y) º ym†(y)b она не появляется.) Если yl(x) è ym(y) - векторные поля Vμ(x) è Vν(y)

частицы спина 1, то

P (p)

= h

mn

+ m−2p

m

p

n

.

(6.2.6)

mn

В более общем случае, если yl(x) è ym(y) - компоненты полей

y (x) è

ψ ~~ (y) частицы спина j в неприводимых представлениях

ab

ab

~ ~

однородной группы Лоренца, то

(À,Â) è (A, B)

P

~~ =

å å å

C

~

~

¢)

AB

(js, a¢b¢)C~ ~ (js, a

¢b

ab,ab

AB

~ ~

a¢b¢ a¢b¢ s

´

$

(A)

$

(B)

exp(-qp × J

)

aa¢

exp(+qp × J

)

bb¢

(6.2.7)

´

$

~

$

~

(A)

(B)

exp(-qp × J

)

~~

exp(+qp × J

)

~~

,

ãäå sh q

aa¢

bb¢

= |p|/m, а индексы a, b, a, b

так же, как и индексы а¢, b¢,

~ ~

~

~

a

¢, b¢ , по которым идет суммирование, пробегают через единицу

значения от -À äî +À, îò -Â äî +Â, îò -

~

äî +

~

~

~

A

A

è îò -B äî +B,

соответственно.

Подстановка формул (6.2.2) и (6.2.3) в (6.2.1) приводит к следу-

ющему выражению:

F

∂

I

-iDlm (x, y) = q(x - y)Plm G

-i

J D+ (x - y)

H

¶xK

F

¶ I

(6.2.8)

+ q(y - x)Plm G

-i

J D+ (y - x) ,

H

¶xK

ãäå D+(x) - введенная в гл. 5 функция

D+ (x) º (2p)-3 z d3p(2p0 )-1 eip×x ,

(6.2.9)

в которой p0 = + p2 + m2 .

Чтобы продвинуться далее, необходимо сказать несколько слов о том, как расширить определение полинома Р(р). Формулы

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

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

Источник: https://files.student-it.ru/previewfile/280974