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

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

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

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

Добавлен: 29.06.2024

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

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

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

7.1. Канонические переменные

393

Явный вид H0 как функционала от переменных q и p для других полей приведен в разделе 7.5.

В книгах по квантовой теории поля формула (7.1.25) обычно выводится из формулы (7.1.24), которая, в свою очередь, выводится из заданной плотности лагранжиана. С моей точки зрения, все должно быть наоборот, так как формула (7.1.25) обязана иметь место. Если предполагаемый лагранжиан свободных частиц не приводит к (7.1.25) с точностью до постоянного слагаемого, можно сделать вывод, что этот лагранжиан неправильный. Вопрос следует поставить иначе: какой лагранжиан свободных полей приводит к формуле (7.1.25) для бесспиновых частиц, или, в более общем случае, к гамильтониану свободных частиц (7.1.23). Ответ можно получить с помощью хорошо известного преобразования Лежандра от гамильтониана к лагранжиану. Для свободного поля лагранжиан дается формулой:

&

3

x pn (

x

&

x

, t) - H0

,

(7.1.26)

L0 [q(t), q(t)] = å z d

, t)q(

n

причем подразумевается, что pn везде заменяются своими выраже-

ниями через qn è & n (и возможно, как будет видно ниже, через q

некоторые вспомогательные поля). Например, исходя из гамильтониана (7.1.24) и формулы (7.1.7), можно вывести лагранжиан свободного скалярного поля:

L0

X

3

L

&

-

1

p

2

-

1

(Ñq)

2

-

1

2

q

2 O

= Y d

xMpq

2

2

2

m

P

Z

N

Q

X

L

¶μj¶μj -

O

(7.1.27)

= Y d3xM- 1

1 m2j2 P .

Z

N

2

2

Q

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

Мы видели, что различные теории свободных полей можно сформулировать в терминах канонических переменных. Нетрудно


394

Глава 7. Канонический формализм

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

Qn (x, t) ≡ exp(iHt)q n (x,0) exp(−iHt) ,

(7.1.28)

Pn (x, t) ≡ exp(iHt)pn (x,0) exp(−iHt) ,

(7.1.29)

ãäå Í − полный гамильтониан. Поскольку это пребразование подо-

бия, коммутирующее с Н, то полный гамильтониан является таким же функционалом от операторов в гейзенберговском представлении, каким он был как функционал от q и p:

H[Q, P] = eiHtH[q, p]e− iHt = H[q, p] .

Кроме того, поскольку (7.1.28)−(7.1.29) определяют преобразование

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

[Qn (x, t), P

(x, t)]

m

= iδ3 (x − y)δ n

,

(7.1.30)

n

n

Qn (x, t), Q

n

(x, t)

= 0 ,

(7.1.31)

m

Pn (x, t), P

(x, t)

= 0 .

(7.1.32)

n

m

Однако зависимость от времени этих операторов имеет вид

& n

Q (x, t)

&

(x, t) =

Pn

= i[H, Qn (x, t)] = δH , δPn (x, t)

δH i[H, Pn (x, t)] = − δQn (x, t) .

(7.1.33)

(7.1.34)

Например, можно выбрать гамильтониан действительного скалярного поля в виде суммы гамильтониана (7.1.24) свободных частиц


7. 2. Лагранжев формализм

395

и интеграла от скалярной плотности гамильтониана H, так что в терминах гейзенберговского представления гамильтониан запишется в виде:

L

+ 21 (ÑQ)2 + 21 m2Q2

O

H = z d3xM 21 P2

+ H (Q)P .

(7.1.35)

N

Q

В этом случае канонически сопряженный к Q импульс дается той

же формулой, что и для свободных полей:

P = Q.

(7.1.36)

&

Однако далее мы увидим, что в общем случае соотношение между канонически сопряженными импульсами Pn(x) и полевыми переменными и их производными по времени не такое, как для операторов свободных полей, а должно выводиться из уравнений (7.1.33) и (7.1.34) *.

7.2. Лагранжев формализм

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

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

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


396 Глава 7. Канонический формализм

В общем случае лагранжиан есть функционал * L[Ψ(t), Ψ& (t)] от множества произвольных полей Ψl(x,t) и их производных по време-

&

íè Ψ(t) . Сопряженные поля Πl(x,t) определяются как вариационные

производные **

&

Πl (x, t) ≡

δL[Ψ(t), Ψ(t)]

,

(7.2.1)

& l

δΨ

(x, t)

Уравнения движения имеют вид

&

&

δL[Ψ(t), Ψ(t)]

Πl (x, t) =

l

,

(7.2.2)

δΨ

(x, t)

Полезно переформулировать эти полевые уравнения в форме вариационного принципа. Определим функционал от поля Ψl(x) во всем пространстве−времени, называемый действием:

&

I[Ψ] ≡ z dt L[Ψ(t), Ψ(t)] .

(7.2.3)

−∞

В результате произвольной вариации вается в виде:

L

δL

δI[Ψ] =

z−∞

dt

z

d3xM

δΨl

δΨl (x)

N

Ψ(x) изменение I[Ψ] записы-

δL

& l

O

(x) +

& l

(x)

δΨ

(x)P .

δΨ

Q

*Напомним, что в используемых нами обозначениях функционал типа L,

âкотором явно указывается переменная t, понимается как зависящий от полей Ψl(x,t) è Ψ& l (x, t) , причем не выписанные переменные l и x пробегают

все возможные значения при фиксированном значении указанной переменной t. Мы используем заглавные буквы Ψ è Π, чтобы подчеркнуть, что это не

свободные, а взаимодействующие поля.

**Так как в общем случае Ψ è Ψ& не удовлетворяют простым соотношени-

ям коммутации или антикоммутации, мы не можем дать простого определения возникающих здесь функциональных производных по аналогии с функциональными производными по Q и P в предыдущем разделе. Вместо этого договоримся, что вариационные производные таковы, какие они должны быть для с-числовых переменных, с добавлением знаков «минус» и коммутаторов или антикоммутаторов при равных временах, необходимых для того, чтобы формулы стали квантово-механически корректными. Насколько я знаю, с деталями этого вопроса не связано никаких особых проблем.


7. 2. Лагранжев формализм

397

Предполагая, что dYl(x) обращается в нуль при t ® ±¥, можно

произвести интегрирование по частям и записать

L

dL

d dL

O

dI[Y] = z d4x M

-

P dYl (x) .

(7.2.4)

l

(x)

& l

N dY

dt dY

(x) Q

Мы видим, что действие стационарно по отношению ко всем вариациям dYl, исчезающим при t ® ±¥, в том и только в том случае,

когда поля удовлетворяют уравнениям (7.2.2)*.

Так как полевые уравнения определяются функционалом I[Y], то при попытках построить лоренц-инвариантную теорию

естественно считать этот функционал скаляром. В частности, поскольку I[Y] равен интегралу по времени от L[Y(t), Y& (t)] , ìû

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

Y(x) è ¶Y/¶xμ, называемой плотностью лагранжиана L :

&

3

&

(7.2.5)

L[Y(t), Y(t)]

= z d x LdY(x, t), ÑY(x, t), Y(x, t)i ,

так что действие равно

I[Y] = z d4x LcY(x), ¶Y(x) / ¶xμ h .

(7.2.6)

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

Варьируя Yl(x) на величину dYl(x) и интегрируя по частям,

находим для вариации лагранжиана:

3 L ¶L

l

¶L

l

¶L

&

l O

dL = z d xM

l

dY +

l

ÑdY +

&

l

dY P

N ¶Y

¶(ÑY )

Q

¶Y

3 LF ¶L

¶L I l

¶L

&

l O

= z d xMG

¶Y

l

- Ñ ×

l

J dY +

& l

dY P ,

NH

¶(ÑY

)K

¶Y

Q

так что (опуская очевидные аргументы у функций)

* Строго говоря, излагаемая здесь формулировка вариационного принципа предполагает, что искомые поля — решения полевых уравнений (7.2.2) — являются «стационарной точкой» действия (7.2.3), т. е. входят в область определения последнего (соответствующие интегралы (7.2.5), (7.2.6) сходятся). — Прим. ред.