ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.06.2024
Просмотров: 7043
Скачиваний: 12
7.3. Глобальные симметрии |
407 |
реализации принципов симметрии. Дело в том, что динамические уравнения в лагранжевом формализме имеют форму, следующую из вариационного принципа — принципа стационарности действия. Рассмотрим любое бесконечно малое преобразование полей
Ψl (x) → Ψl (x) + iε F l (x) , |
(7.3.1) |
оставляющее действие инвариантным *:
0 = δI = iε z d4x |
δI[Ψ] |
|||
F l (x) . |
(7.3.2) |
|||
l |
||||
δΨ |
(x) |
|||
(Åñëè ε − постоянная величина, такие симметрии называются гло-
бальными. В общем случае F l зависит от полей и их производных в точке x.) Конечно, соотношение (7.3.2) автоматически выполняется для всех бесконечно малых вариаций полей, если сами поля удовлетворяют динамическим уравнениям. Бесконечно малые преобразования симметрии − это такие преобразования, которые оставля-
ют инвариантным действие даже тогда, когда динамические уравнения не удовлетворяются. Если теперь мы рассмотрим то же самое преобразование, считая ε произвольной функцией точки пространства−времени,
Ψl (x) → Ψl (x) + iε(x) F l (x) , |
(7.3.3) |
то в общем случае вариация действия не обратится в нуль. Однако она должна иметь вид
δI = − z d4x Jμ (x) |
∂ε(x) |
, |
(7.3.4) |
∂xμ |
для того, чтобы быть равной нулю, когда ε(x) действительно постоянна. Если теперь принять, что поля в I[Ψ] удовлетворяют
полевым уравнениям, тогда I будет стационарным по отношению к
* Нижеследующее рассмотрение (неявно) содержит два тонких пункта. Вопервых, поля Ψl(x) в (7.3.1) должны включать решения динамических
уравнений, т. е. последние должны входить в область определения действия I[Ψ] (см. примечание редактора на с. 397). Во-вторых, чтобы было верно (7.3.2), вариация симметрии iεFl(x) должна быть допустимой (исчезать на
бесконечности),. — Прим. ред.
408 |
Глава 7. Канонический формализм |
произвольным вариациям полей, обращающимся в нуль на больших пространственно-временных расстояниях, включая и варации вида (7.3.3), так что в этом случае (7.3.4) должно обращаться в нуль. Интегрируя по частям, видим, что Jμ(x) должен удовлетворять
закону сохранения
0 = |
∂Jμ |
(x) |
. |
(7.3.5) |
|||
∂xμ |
|||||||
Отсюда немедленно следует, что |
|||||||
0 = |
dF |
, |
(7.3.6) |
||||
dt |
|||||||
ãäå |
|||||||
F ≡ z d3x J0 . |
(7.3.7) |
||||||
Каждому независимому бесконечно малому преобразованию симметрии соответствует только один сохраняющийся ток Jμ è îäèí
интеграл движения F. Это общее свойство канонического формализма, часто называемое теоремой Нетер: наличие симметрий влечет существование законов сохранения *.
Многие преобразования симметрии оставляют инвариантным не только действие, но и лагранжиан. Например, так обстоит дело в случае пространственных трансляций и поворотов, а также изоспиновых преобразований и других преобразований внутренних симметрий, хотя для общих преобразований Лоренца это не выполняется. Если лагранжиан инвариантен, можно продвинуться дальше и написать явную формулу для сохраняющейся величины F. Рассмотрим вариацию поля (7.3.3), в которой ε(x) зависит от t, но не от x. В
этом случае вариация действия равна
& |
|||||||||||||||||
δI = i |
z |
z |
L δL[Ψ(t), Ψ(t)] |
ε(t)F l (x, t) |
|||||||||||||
dt |
d3xM |
||||||||||||||||
δΨl (x, t) |
|||||||||||||||||
N |
|||||||||||||||||
δ |
Ψ |
& |
O |
(7.3.8) |
|||||||||||||
(t), |
Ψ |
(t)] d |
|||||||||||||||
L[ |
|||||||||||||||||
+ |
cε(t)F l (x, t)hP . |
||||||||||||||||
& |
l |
(x, t) dt |
|||||||||||||||
δΨ |
Q |
||||||||||||||||
* Стандартно понимаемая теорема Нетер утверждает не только существование законов сохранения, но и их конкретный вид, т. е. явный вид сохраняющегося нетеровского тока Jμ и интеграла движения F, отвечающих данному действию I и
данной симметрии (7.3.1) (см. ниже на с. 409). — Прим. ред.