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 |
|||||||||||||
Каким бы не оказался лагранжиан скалярного поля, это слагаемое должно быть отделено от всех остальных и рассматриваться как нулевое приближение теории возмущений. Аналогичное упражение можно проделать для всех других канонических систем, рассматриваемых в данном разделе. Однако с этого момента мы сосредоточимся на угадывании формы лагранжиана свободных полей, после чего будем проверять, что она приводит к правильному гамильтониану свободных частиц.
Мы видели, что различные теории свободных полей можно сформулировать в терминах канонических переменных. Нетрудно