Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

.pdf
Скачиваний:
240
Добавлен:
15.08.2013
Размер:
49.93 Mб
Скачать

1. 2. Рождение квантовой теории поля

19

 

 

с произвольным коэффициентом κ. (Здесь Fμν — обычный тензор

напряженности электромагнитного поля, причем F12 = B3, F01 = E1, и т. д.) Такое слагаемое можно получить, добавив предварительно в уравнение свободного поля слагаемое, пропорциональное выражению [γμγν](2/xμxν)ψ, которое, конечно, равно нулю, а затем

совершить, как и ранее, подстановку (1.1.22). Более современный подход заключается просто в замечании, что слагаемое (1.1.32) удовлетворяет всем принятым принципам инвариантности, включая ло- ренц-инвариантность и калибровочную инвариантность, так что нет причин, почему такое слагаемое не должно включаться в волновые уравнения (см. раздел 12.3.). Такое слагаемое будет приводить к дополнительному вкладу в магнитный момент электрона, пропорциональному κ, так что, если не принимать во внимание возможное

требование чисто формальной простоты, нет никаких оснований ожидать, что в теории Дирака магнитный момент электрона имеет ка- кое-то определенное значение.

Как мы увидим далее, все перечисленные проблемы были в конце концов решены (или, по крайней мере, разъяснены) в процессе развития квантовой теории поля.

1.2. Рождение квантовой теории поля

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

В 1926 году в одной из основополагающих работ по матрич- ной механике Борн, Гейзенберг и Иордан 32 применили свои новые методы к свободному полю излучения. Для простоты они игнорировали поляризацию электромагнитных волн и рассмотрели пространственно одномерную задачу, причем координата x изменялась от 0 до L. Если потребовать, чтобы поле излучения u(x, t) обращалось в нуль на концах интервала, то оно будет иметь вид, совпадающий с величиной смещения точек струны с закрепленными при x = 0 и x = L концами. По аналогии со случаем струны для полного электромагнитного поля гамильтониан был выбран в виде

20

Глава 1. Историческое введение

1 XL H = Y

2 Y

Z0

R 2 |F uI SG J |H t K T

 

2 F

u

I

2 U

3

 

 

+ c

 

|

 

 

G

 

J

V d

 

x.

(1.2.1)

 

 

 

H

xK

|

 

 

 

 

 

 

 

W

 

 

 

Чтобы свести это выражение к сумме квадратов, поле u было представлено как сумма фурье-компонент при условии, что u = 0 при x = 0 и x = L:

 

 

 

 

F

ωkxI

ubx, tg =

å

 

 

q

k

btg sin G

 

J ,

 

 

 

 

H

c K

 

 

k =1

 

 

 

 

 

 

 

ωk = kπc L .

 

 

В результате

 

 

 

 

 

 

 

 

 

 

 

 

 

H =

L

ånq& k2 (t) + ω2kqk2 (t)s.

4

 

 

k=1

 

 

 

 

 

(1.2.2)

(1.2.3)

(1.2.4)

Таким образом, струна или поле ведет себя как сумма независимых гармонических осцилляторов с угловыми частотами ωk, êàê

èпредвидел за 20 лет до этого Пауль Эренфест 32à.

Âчастности, «импульс» pk(t), канонически сопряженный к qk(t), определяется, как и в механике частиц, условием, что если H выражено как функция p и q, то

q& k (t) =

 

 

 

Hbp(t), q(t)g .

 

 

 

 

 

pk (t)

 

Отсюда получается, что импульс

 

pk

(t) =

L

q& k (t) ,

(1.2.5)

 

 

2

 

 

и можно записать канонические перестановочные соотношения:

q& k (t), qj

(t)

 

=

2

 

pk (t), qj (t)

 

=

2ih

δkj ,

(1.2.6)

 

 

 

 

 

 

 

 

 

 

 

L

 

 

= 0.

 

 

L

(1.2.7)

 

 

 

 

qk (t), qj (t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. 2. Рождение квантовой теории поля

21

 

 

Кроме того, временная зависимость qk(t) определяется уравнением движения Гамильтона

q&&

(t) =

2

p&

 

(t) = −

2

 

H

= −ω2 q

 

(t).

(1.2.8)

 

k

 

 

k

k

 

L

 

L qk (t)

k

 

 

 

 

 

 

 

 

 

Явный вид матриц, определяемых уравнениями (1.2.6)(1.2.8),

был уже известен Борну, Гейзенбергу и Иордану из предыдущей работы по гармоническому осциллятору. Для q-матрицы получается выражение

qk (t) =

h

 

ak exp(iωkt) + akexp(+iωkt)

 

,

(1.2.9)

 

 

 

 

 

 

Lωk

 

 

 

 

 

 

ãäå ak — не зависящая от времени матрица, а ak— ее эрмитово сопряженная матрица, удовлетворяющие перестановочным соот ношениям

ak , aj

 

= δkj ,

(1.2.10)

 

ak , aj

 

= 0.

(1.2.11)

 

 

Строки и столбцы этих матриц помечены набором неотрицательных целых чисел n1, n2, ..., каждое из которых соответствует нормальной моде. Матричные элементы равны

(ak )n1¢ ,n2¢ ,...,n1,n2 ,...

(ak)

,n¢

,...,n ,n

2

,... =

1

2

1

 

=

 

nk

δ

,n

k

-1

δ

,n

,

 

 

 

 

 

 

k

 

 

 

j

 

j

 

 

 

 

 

 

 

 

 

 

 

j¹k

 

 

 

 

 

 

δ

 

 

+1δ

 

 

 

nk

+ 1

,n

k

,n

.

 

 

 

 

 

 

k

 

 

 

j

 

j

j¹k

(1.2.12)

(1.2.13)

Для единственной нормальной моды эти матрицы можно выписать в явном виде:

F

 

 

 

 

 

 

 

I

 

F

0

 

0

0

0 . . .

0

1

0

 

 

 

 

 

0 . . .

 

 

 

 

 

 

 

 

 

I

G

 

 

 

 

 

 

 

J

 

G

 

 

 

 

 

 

 

 

J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

0

0

2

0

. . .J

 

G

1

0

0

0

. . .J

a = G

 

 

 

 

 

 

 

. . .J

 

a= G

0

 

 

2

0

0

. . .J .

0

0

0

 

3

,

 

G

 

 

 

 

 

 

 

J

 

G

 

 

 

 

 

 

 

 

J

G

0

0

0

0

. . .J

 

G 0

0

3 0

. . .J

G

 

.

.

.

J

 

G

 

 

 

.

.

.

J

H .

K

 

H .

K

22

Глава 1. Историческое введение

Можно непосредственно убедиться, что матрицы (1.2.12) и (1.2.13) удовлетворяют перестановочным соотношениям (1.2.10) и (1.2.11).

Физическая интерпретация вектора-столбца с целыми компонентами n1, n2, ... заключается в том, что он представляет состояние с nk квантами в каждой нормальной моде k. Матрицы ak èëè ak, действующие на такой вектор-столбец, будут соответственно уменьшать или увеличивать nk на единицу, оставляя неизменными все nl ñ l ¹ k. Поэтому можно интерпретировать эти матрицы как операто-

ры уничтожения или рождения одного кванта в k-ой нормальной моде. В частности, вектор со всеми nk = 0 представляет вакуум; действие на него любого оператора ak äàåò íóëü.

Дальнейшая интерпретация связана с рассмотрением функции Гамильтона. Подставляя (1.2.9) и (1.2.10) в (1.2.4), находим:

H = åhwk (akak + 21).

(1.2.14)

k

 

Таким образом, гамильтониан диагонален в n-представлении:

(H)

,...,n1 ,n2

,...

=

å

hwk (nk

+ 1)

Õ

dn

,n

j

.

(1.2.15)

n1

,n2

 

 

2

j

 

 

kj

Видно, что энергия состояния есть просто сумма энергий $wk

каждого кванта1 в данном состоянии плюс бесконечная нулевая энергия E0 = å$wk. В применении к полю излучения этот формализм

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

Борн, Гейзенберг и Иордан использовали такой формализм при выводе выражения для среднеквадратичных флуктуаций энергии в излучении черного тела. (Для этой цели они, в действительности, использовали только коммутационные соотношения (1.2.6)-(1.2.7).) Îä-

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

Чтобы понять возникшие здесь трудности, необходимо вернуться немного назад. В одной из первых работ по матричной механике Борн и Иордан 33 высказали предположение, что атом, перескакивая из состояния b в более низкое по энергии состояние a,

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

1. 2. Рождение квантовой теории поля

23

 

 

r(t) = rβα exp (2πiνt) + rβα* exp (2πiνt) ,

(1.2.16)

hν = Eβ Eα ,

(1.2.17)

à rβα βα матричный элемент матрицы, связанной с координатой

электрона. Энергия Е такого осциллятора равна

E =

1 m(r&

2 + (2πν)2 r2 ) = 8π2mν2 | r

|2 .

(1.2.18)

 

2

βα

 

 

 

 

 

Непосредственное классическое вычисление позволяет теперь найти излученную мощность, а после деления на энергию hν одного

фотона — вероятность испускания фотона

A(β → α) =

16π3e2

ν3

|2 .

 

 

 

| r

(1.2.19)

 

 

 

3hc3

 

βα

 

 

 

 

 

 

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

Несколько позднее Дирак 34 дал более убедительный, хотя еще менее прямой вывод этих соотношений. Рассматривая поведение квантованных атомных состояний в осциллирующем классическом электромагнитном поле плотностью энергии u, приходящейся на единичный интервал частот в окрестности частоты (1.2.17), он сумел вывести формулы для вероятностей поглощения uB(α→β) или индуцированного испускания uB(β → α):

B(α → β) = B(β → α)

2π2e2

| r

|2 .

(1.2.20)

 

 

3h2

βα

 

 

 

 

 

(Отметим, что выражение в правой части этого равенства симметрично по отношению к состояниям α è β, òàê êàê rαβ равно rβα*.)

Эйнштейн 34à уже показал в 1917 году, что возможность теплового равновесия между атомами и излучением черного тела требует выполнения определенного соотношения между вероятностью A(β → α) спонтанного излучения и вероятностями uB индуцирован-

ного испускания или поглощения:

F 8πhν3 I

A(β → α) = G J Bbβ → αg. (1.2.21)

H c3 K

24

Глава 1. Историческое введение

Подстановка формулы (1.2.20) в это соотношение немедленно приводит к результату Борна и Иордана (1.2.19) для вероятности спонтанного излучения. Тем не менее, представляется неудовлетворительным, что термодинамические аргументы должны использоваться для вывода формул, описывающих процессы, происходящие с одиночными атомами.

Наконец в 1927 году Дирак 35 сумел представить строгое кван- тово-механическое рассмотрение спонтанного излучения. Векторный потенциал A(x, t) был разложен на нормальные моды, как в формуле (1.2.2), и было показано, что коэффициенты удовлетворяют перестановочным соотношениям типа (1.2.6). Соответственно, каждое состояние свободного поля излучения было задано набором целых чи- сел nk, по одному на каждую нормальную моду, а матричные элементы энергии электромагнитного взаимодействия приняли вид суммы по нормальным модам, причем матричные коэффициенты оказались пропорциональными матрицам ak è ak, определенным в (1.2.10)(1.2.13). Главное в этих результатах появление множителя в урав-

нении (1.2.13). Вероятность перехода, в котором число фотонов в нормальной моде k увеличивается от nk äî nk + 1, пропорционально квадрату этого множителя, т. е. nk + 1. Но в поле излучения с nk фотонами в нормальной моде k плотность энергии u на единичный интервал частот равна:

F 8πν2k

I

 

u(νk ) = G

 

 

J nk

× hνk ,

c

3

H

 

K

 

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

nk + 1 =

c3u(ν

k

)

+ 1.

8πhν3k

 

 

 

 

Первое слагаемое интерпретируется как вклад индуцированного испускания, а второе как вклад спонтанного излучения. Таким

образом, без всякого обращения к термодинамике Дирак смог заклю- чить, что отношение вероятностей индуцированного испускания uB и спонтанного излучения А удовлетворяет соотношению Эйнштейна (.2.21). Используя свой же более ранний результат (1.2.20) для В, Дирак сумел заново вывести формулу Борна–Иордана 33 (1.2.19)

1. 2. Рождение квантовой теории поля

25

 

 

для вероятности спонтанного излучения А. Несколько позднее аналогичные методы были использованы Дираком при квантово-механиче- ском рассмотрении рассеяния излучения и времени жизни возбужденных атомных состояний 36, а также Виктором Вайскопфом и Юджином Вигнером при детальном анализе формы спектральных линий 36à.

Дирак в своей работе разделил электромагнитный потенциал на поле излучения А и на статический кулоновский потенциал А0, что в результате нарушило явную лоренцовскую и калибровочную инвариантность классической электродинамики. Позднее эти процедуры получили более солидное обоснование в известной работе Энрико Ферми 26á. В 1930-е годы многие физики изучали квантовую электродинамику по обзору Ферми 1932 года.

Использование канонических перестановочных соотношений для операторов q и p или a и aтакже поставило вопрос о лоренц-инвариантности квантованной теории. В 1928 году Иордан и Паули 37 сумели показать, что коммутаторы полей в разных про- странственно-временных точках являются на самом деле лоренцинвариантными. (Эти коммутаторы вычисляются в гл. 5.) Несколько позже Бор и Леон Розенфельд 38 использовали ряд остроумных мысленных экспериментов для того, чтобы показать, что эти перестановочные соотношения выражают ограничения на нашу способность производить измерения полей в пространственно-времен- ных точках, разделенных времениподобными интервалами.

Вскоре после успешного квантования электромагнитного поля эта же техника была применена к другим полям. Поначалу такую технику называли «вторичным квантованием»: те поля, которые подвергались квантованию, были волновыми функциями, используемыми в одночастичных задачах квантовой механики, например, дираковской волновой функцией электрона. По-видимому, первый шаг в этом направлении был сделан в 1927 году Иорданом 39. В следующем, 1928 году Иордан и Вигнер 40 сделали важные дополнения. Они заметили, что принцип запрета Паули не позволяет числам заполнения электронов nk в любой нормальной моде k (учитывающей как координатные, так и спиновые переменные) принимать значения, отлич- ные от 0 или 1. Следовательно, электронное поле нельзя представить как суперпозицию операторов, удовлетворяющих перестановочным соотношениям (1.2.10), (1.2.11), так какэти соотношения требуют, чтобы nk принимало любые целые значения от 0 до . Чтобы выйти из

26

Глава 1. Историческое введение

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

a

k

a

+ aa

k

= δ

jk

,

(1.2.22)

 

j

 

j

 

 

 

akaj

+ ajak

= 0 .

 

(1.2.23)

Эти соотношения могут быть удовлетворены матрицами, помеченными последовательностью целых чисел n1, n2, ..., по одному для каждой моды, причем эти целые числа могут принимать только два значения — нуль и единица:

(ak ) n1,n2,...,n1,n2 ,...

(a)

k n1,n2,...,n1,n2 ,...

R1,

n

= 0,

n

k

= 1,

n

 

= n

j

 

äëÿ j ¹ k,

= S

k

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T0

для остальных индексов,

R1,

= 1,

n

k

= 0,

n

¢

= n

j

äëÿ j ¹ k,

= S

k

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T0

для остальных индексов.

(1.2.24)

(1.2.25)

Например, для одной нормальной моды матрицы ak è akсодержат ровно два столбца и две строки, соответствующие значениям n и n, равными 0 и 1. Матрицы a и aимеют вид:

F

 

I

F

 

I

a = G

0

0

a= G

0

1

 

J ,

 

J .

H

1

K

H

0

K

 

0

 

0

Читатель может убедиться, что матрицы (1.2.24) и (1.2.25) действительно удовлетворяют антикоммутационным соотношениям (1.2.22) и (1.2.23).

Интерпретация вектора-столбца, задаваемого целыми числами n1, n2, ..., заключается в том, что, как и для бозонов, он представляет состояние с nk квантами в каждой нормальной моде. Разница, конечно, в том, что, поскольку каждое число nk может принимать только два значения 0 или 1, в каждой моде может быть не более одного кванта, как и требуется принципом запрета Паули. Оператор ak уничтожает квант в нормальной моде k, если он там уже был, или действие этого оператора дает нуль; аналогично,

1. 2. Рождение квантовой теории поля

27

 

 

оператор akпорождает квант в нормальной моде k, если только в ней не присутствует уже один квант, в противном случае оператор aдействует нулем. Много позже Фирц и Паули показали 40à, что выбор между коммутационными и антикоммутационными соотношениями диктуется только значением спина частицы: коммутаторы следует использовать для частиц с целым спином вроде фотона, антикоммутаторы — для частиц с полуцелым спином вроде электрона. (Иным способом это показано в гл. 5.)

Общая теория квантовых полей была впервые изложена в 1929 году в двух исчерпывающих статьях Гейзенберга и Паули 41. Исходным пунктом их работы было применение канонического формализма к самим полям, а не к коэффициентам нормальных мод, содержащихся в этих полях. Гейзенберг и Паули рассмотрели лагранжиан L как интеграл по пространству от локальной функции полей и их пространственных и временных производных. Уравнения поля определялись из принципа стационарности действия ò Ldt при варьиро-

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

Формализм Гейзенберга-Паули фактически совпадает с тем,

который описан в гл. 7, так что сейчас можно ограничиться одним примером, который пригодится далее в этой главе. Лагранжиан свободного комплексного скалярного поля j(x) имеет следующий вид:

 

 

 

z

 

N

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

Q

 

L

=

 

 

Mj j -

c2

(Ñj)

× (Ñj) - d

mc2

hi

 

j

jP .

(1.2.26)

 

 

d3x L & &

 

 

 

 

 

 

 

 

 

 

 

O

 

Если подвергнуть j(x) бесконечно малой вариации dj(x), òî

лагранжиан изменится на величину

 

 

 

 

 

 

 

 

 

 

 

d

 

= z

[j dj + jdj

 

-

 

Ñj

 

× Ñdj -

 

 

Ñj × Ñdj

 

 

L

 

 

 

d3x & &

& &

 

 

c2

 

 

 

 

c2

 

 

 

- dmc2 hi2 jdj - dmc2 hi2 jdj] . (1.2.27)

28

Глава 1. Историческое введение

При использовании принципа наименьшего действия предполагается, что вариации полей исчезают на границах пространст- венно-временной области интегрирования. Таким образом, при вы- числении изменения действия ò Ldt можно сразу же проинтегриро-

вать по частям и записать:

dz Ldt = c

2

4

L

F

9

- dmc

2

2 I

F

9

- dmc

2

2 I

O

 

z d

xMdj

H

 

hi K j + djH

 

hi K j

P .

 

 

 

N

 

 

 

 

 

 

 

 

 

 

Q

Но это выражение должно обращаться в нуль при любых dj è dj, òàê ÷òî ïîëå j должно удовлетворять знакомому релятивист-

скому волновому уравнению

F

9

dmc2

hi2 I

ϕ = 0

(1.2.28)

H

 

 

K

 

 

è j-сопряженному уравнению. «Импульсы», канонически сопряженные полям j è j, даются вариационными производными функции Лагранжа L по ϕ& è ϕ& , которые легко находятся из (1.2.27):

p º

δL

&

,

 

 

 

 

(1.2.29)

 

& = j

 

 

 

 

dj

 

 

 

 

p

º

 

δL

 

&

 

 

 

 

 

(1.2.30)

 

 

& = j.

 

 

 

 

dj

 

 

 

 

Эти полевые переменные удовлетворяют обычным перестановочным соотношениям с дельта-функцией вместо дельта-символа Кронекера:

 

p(x, t), j(y, t)

=

p(x, t), j(y, t)

= -ihd3 (x - y),

(1.2.31)

 

 

 

p(x, t), j(y, t)

 

=

 

p(x, t), j(y, t)

 

= 0,

 

 

 

(1.2.32)

 

 

 

 

 

 

 

 

p(x, t), p(y, t)

 

 

=

 

 

p(x, t), p(y, t)

 

=

 

 

p(x, t), p(y, t)

 

= 0,

(1.2.33)

 

 

 

 

 

 

 

 

 

 

j(x, t), j(y, t)

 

 

=

 

j(x, t), j(y, t)

 

 

=

 

j(x, t), j(y, t)

 

= 0.

(1.2.34)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь (как и в механике частиц) функция Гамильтона дается «суммой» всех канонических импульсов, умноженных на производные по времени соответствующих полей, минус функция Лагранжа: