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

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 29.06.2024

Просмотров: 7034

Скачиваний: 12

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

6.1. Вывод правил

359

Рис. 6.6. Связные диаграммы второго порядка для бозон-фермионного рассеяния в теории с взаимодействием (6.1.18). Прямые линии — фермионы, пунктирные — нейтральные бозоны

Рис. 6.7. Связная диаграмма низшего порядка для бозон-бозонного рассеяния в теории с взаимодействием (6.1.18). Подобные диаграммы с фермионными петлями приводят к дополнительному знаку «минус», возникающему от перестановок спариваемых фермионных полей

Чтобы перейти от (6.1.26) к (6.1.25), необходимо совершить нечетную перестановку фермионных операторов (передвинуть ψ(x1) направо через 2М−1 оператор). Поэтому вклад каждой такой фермионной

петли сопровождается дополнительным отрицательным знаком.

Эти правила приводят к полной S-матрице, включающей вклады от процессов, в которых взаимодействуют далеко разнесенные в пространстве и времени различные кластеры частиц. Как обсуждалось в гл. 4, для вычисления той части S-матрицы, которая не содержит указанных вкладов, нужно рассматривать только связные фейнмановские диаграммы. В частности, это исключает проходящие насквозь через диаграмму без взаимодействия линии, которым соответствуют множители (6.1.13).

360

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

Чтобы полностью прояснить фейнмановские правила, вычислим вклады низшего порядка в S-матрицу для рассеяния частиц в двух разных теориях.

Теория I

Рассмотрим теорию фермионов и зарядово самосопряженных бозонов с гамильтонианом взаимодейcтвия (6.1.18). Связные диаграммы низшего порядка для фермион−бозонного рассеяния пока-

заны на рис. 6.6. Следуя перечисленным на рис. 6.1 правилам, получаем матричный элемент S-матрицы:

Sp1¢s1¢n1¢ p2¢ s2¢ n2¢ ,p1s1n1 p2s2n2

× z d4x

= (2π)−6

k¢l

z d4yb−i

å

g

g u*

(p′σ′ n′)u

(p′σ

n′)

l¢m¢k¢

mlk l¢

1 1 1

l

1 1

1

¢ ¢

klm

m

m¢m (y, x)g e-ip1¢ ×yeip1 ×x

(6.1.27)

×

d

e

-ip2¢ ×yu*

(p′

σ′ n′ ) eip2 ×xu

k

(p

σ

2

n

2

)

2

2 2

2

+ e

-ip2¢ ×xu* (p′ σ′ n′ ) eip2 ×yu

(p

σ

2

n

2

)

i

.

k

2

2 2

2

(Индексы 1 и 2 используются здесь для обозначения фермионов и бозонов, соответственно.) Для фермион-фермионного рассеяния также есть две диаграммы второго порядка, показанные на рис. 6.4. Им соответствует матричный элемент S-матрицы

Sp1¢s1¢n1¢p2¢ s2¢ n2¢ ,p1s1n1p2s2n2 = (2π)−6

å (−i)2 gm¢mk¢gl¢lk

¢ ¢ ¢

klm

k l m

× u*

(p′ σ′ n′ )u*

(p′σ′n′)u

m

(p σ

n )u

(p σ n )

2 2 2

1 1 1

2 2 2

l

1 1 1

(6.1.28)

z

z

×

d4x

d4ye-ip2¢ ×xe-ip1¢

×yeip2 ×xeip1 ×y (−i)

¢

(x, y) − [1′ 2′],

k k


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-ip ×xul*¢ (p2¢ s2¢ n2¢ )e-ip ×x

´um (p1s1n1)eip1 ×yu(p2s2n2 )eip2 ×y

+ u

(p¢s¢n¢)e-

1 ×

x

u (p s n )e

1 ×

x

*

ip¢

ip¢

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-

2

2

2

×

m

2

2

2

2

×

x

u

(p s n )e

1

x

*

ip¢

ip¢

2

2

2

l

1

1 1

1 ×

u (p s n )e

2 ×

] .

´ u

(p¢s¢n¢)e-

y

y

*

ip¢

ip

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 .

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