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

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

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

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

Добавлен: 29.06.2024

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

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

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

9.6. Функциональная формулировка КЭД

563

L

∂2

∂2 O

Dmx,ny

= M

η

(1

− α

)

P

δ4

(x

y)

+ ε −

слагаемые

mn ∂xr∂y

M

∂xm∂yn P

i

N

r

Q

eiq×(x- y) . (9.6.20)

= (2π)-4 z d4q

ηmnq2 − (1 − α)qmqn − iεηmn

Теперь можно сразу же найти фотонный пропагатор, обращая 4×4

матрицу в подынтегральном выражении правой части формулы :

X

L

η

(1

− α

)

q

m

q

n

O

mx,ny

= (2π)-4 Y d4qM

mn

+

P eiq×(x- y) .

(9.6.21)

α

(q2 − iε)2

Z

Nq2 − iε

Q

Мы вправе выбирать величину α из соображений удобства. Два наиболее употребительных выбора — это α = 1, что приводит к

пропагатору в калибровке Фейнмана

Фейнман

= (2π)

-4

X

4

L

η

mn

O

iq×(x- y)

Y d

qM

P e

.

(9.6.22)

mx,ny

2

Z

Nq

− iε Q

èëè α = ∞, тогда множитель (9.6.14) действует как дельта-функция,

и получается пропагатор в калибровке Ландау (часто называемой также калибровкой Лоренца)

Ландау

= (2π)

-4

X

4

L

η

mn

q

m

q

n

O

iq×(x- y)

Y d

qM

P e

.

(9.6.23)

mx,ny

2

− iε

(q

2

− iε)

2

Z

Nq

Q

При работе с такими явно лоренц-инвариантными операторами взаимодействия и пропагаторами практические вычисления становятся намного удобнее.

9.7 Разные статистики *

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

* Этот раздел лежит несколько в стороне от основной линии изложения и может быть опущен при первом чтении.


564

Глава 9. Методы функционального интегрирования

при перестановке тождественных частиц? Для получения ответа рассмотрим приготовление начального или конечного состояния в некотором процессе рассеяния. Предположим, что в результате воздействия каких-то медленно меняющихся внешних полей совокупность неразличимых частиц в каждом из этих состояний переводится из стандартной конфигурации с импульсами k1, k2 и т. д. в конкретную конфигурацию с импульсами p1, p2 и т. д., причем частицы остаются в этом процессе на достаточно больших расстояниях друг от друга, что позволяет использовать нерелятивистскую квантовую механику. (Спиновые индексы явно не выписаны; подразумевается, что они включены в символы импульсов.) Для вычисления амплитуды такого процесса можно использовать функциональный метод *, считая, что q и р из раздела 9.1. являются не полями и им сопряженными импульсами, а координатами и импульсами частиц. Эти величины всегда удовлетворяют канони- ческим соотношениям коммутации, а не антикоммутации, независимо от того, являются ли частицы бозонами, фермионами или чем-то еще. Таким образом, здесь мы не связываем себя каким-то определенным типом статистики. По формуле (9.1.34) для функционального интеграла амплитуда áp1, p2, ...| k1, k2, ...ñÐ записывается

как интеграл по траекториям (путям), вдоль которых импульс одной частицы непрерывным образом меняется от значения k1 до значения р1, импульс другой тождественной частицы непрерывным образом меняется от значения k2 до значения р2 и т. д. Индекс Р указывает, что мы вычисляем амплитуду для различимых частиц. В частности, такая амплитуда симметрична относительно перестановок импульсов р и одновременных перестановок импульсов k, но не обладает определенной симметрией относительно перестановок р и k по отдельности. Однако если частицы действительно неразличимы, то существуют другие топологически допусти-

* Здесь я следую рассуждениям Ладлоу и С. де Витт11, с той разницей, что они применили функциональный метод ко всему процессу рассеяния, а не только к приготовлению начального или конечного состояния. В релятивистской теории возможность рождения и уничтожения частиц делает необходимым применение функционального метода к полям, а не к траекториям частиц. Для нас это не составляет проблемы, так как мы ограничились вычислениями в достаточно ранние или достаточно поздние моменты времени, когда участвующие в рассеянии частицы находятся достаточно далеко друг от друга.


9.7. Разные статистики

565

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

являются те, которые переводят импульсы k1, k2, ... в некоторую нетривиальную перестановку P импульсов р1, ð2, ... *. Следовательно истинная амплитуда может быть записана как

p1, p2 , . . .

k1, k2 , . . . = å CP pP 1, pP 2 , . . .

k1, k2 , . . .

D ,

(9.7.1)

P

где сумма берется по всем N! перестановкам N неразличимых частиц в состоянии, а CP − совокупность комплексных констант. Эти

амплитуды должны удовлетворять следующему правилу композиции, справедливому для неразличимых частиц:

p1, p2 , . . . k1, k2 , . . . = N1! z d3q1d3q2 . . . p1, p2 , . . . q1, q2 , . . . (9.7.2)

´q1, q2 , . . . k1, k2 , . . . .

Ñучетом формулы (9.7.1), это требование принимает вид

å CP

=

1

å CP ′CP ′′ z d3q1d3q2 . . .

pP1, pP 2 , . . .

k1, k2 , . . . D

N

P

! P ′P ′′

´ pP ′1, pP ′2 , . . . q1, q2 , . . . D qP ′′1, qP ′′2 , . . . k1, k2 , . . . D .

Применяя перестановку P ′′ одновременно к начальному и ко-

нечному состояниям в первой амплитуде справа, получим

* Формально это выражается утверждением, что первая гомотопическая группа конфигурационного пространства в случае d ³ 3 есть группа переста-

новок 12. Под «конфигурационным пространством» для N неразличимых частиц подразумевается пространство, точками которого являются N d-мерных векторов, при этом исключаются конфигурации, когда некоторые d-векто- ры совпадают (или находятся на расстоянии, не превышающем некоторого заданного), а конфигурации, отличающиеся только перестановкой векторов, отождествляются.


566 Глава 9. Методы функционального интегрирования

å CP

=

1

åCP ′CP ′′ z d3q1d3q2 . . .

pP1, pP 2 , . . .

k1, k2 , . . . D

N

P

! P ′P ′′

´ pP ′′P ′1, pP ′′P ′2 , . . . qP ′′1, qP ′′2 , . . .P qP ′′1, qP ′′2 , . . . k1, k2 , . . .D .

Однако амплитуды áp1, p2, ...| k1, k2, ...ñD удовлетворяют пра-

вилу композиции для различимых частиц

= z d3q1d3q2 . . .

p1, p2 , . . .

k1, k2 , . . .

D

p1, p2 , . . .

q1, q2

, . . .

D (9. 7. 3)

´ q1, q2 , . . .

k1, k2 , . . . D ,

так что правило композиции для физических амплитуд можно записать как

å CP

pP1, pP 2 , . . .

k1, k2 , . . . Ð =

1

å CP ′CP ′′

P

N! P ′P ′′

´

pP ′′P ′1, pP ′′P ′2 , . . .

k1, k2 , . . . D ,

что будет выполнено только и если только

CP ′ P ′′ = CP ′CP ′′ .

(9. 7. 4)

Таким образом, коэффициенты CP должны образовывать одномерное представление группы перестановок. Однако эта группа имеет только два таких представления: тождественное с CP = +1 для всех перестановок, и знакопеременное представление с CP = +1 èëè CP = −1 в зависимости от того, является ли Р четной или нечет-

ной перестановкой. Эти две возможности соответствуют статистикам Бозе и Ферми *.

* В литературе многократно обсуждались возможности существования статистик, отличающихся от статистик Бозе и Ферми и объединяемых термином парастатистики. Было показано 11, что теории парастатистик в случае d ³ 3

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


9.7. Разные статистики

567

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

— частицы с более общими свойствами перестановок, чем в статистиках Бозе или Ферми.

Приложение: Многократные гауссовы интегралы

Сначала вычислим многократный интеграл по конечному числу действительных переменных ξr от экспоненты, показатель которой является произвольной квадратичной функцией ξr:

X∞

∏ dξr expk−Q(ξ)p,

(9.À.1)

J ≡ Y

Z−∞

r

Q(ξ) = 21 å Krsξrξs + å Lrξr + M,

(9.À.2)

rs

r

ãäå Krs, Lr è M − произвольные константы, причем матрица K пред-

полагается симметричной и несингулярной. С этой целью рассмотрим сначала случай, когда Krs, Lr и M все действительны, кроме того, матрица K положительно определена. Общий результат может быть получен аналитическим продолжением.

Всякая действительная симметричная матрица может быть диагонализована с помощью ортогональной матрицы. Это означает, что существует матрица S , такая, что ее транспонированная совпадает с обратной, S T = S −1 , и такая, что

dS TKS irs = δrsκ r .

(9.À.3)

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