Рассмотрим теорию в гамильтоновом формализме и предположим, что она имеет ограничения между каноническими переменными . По терминологии Дирака множество ограничений первого класса удовлетворяет условиям , а множество ограничений второго класса имеют ненулевые скобки Пуассона.
Давайте иметь случаи массивного и безмассового бозонного поля с лагранжианами
Комментарий к вопросу (v2):
Согласно исх. 1, слабый символ равенства обычно означает равенство по модулю всех ограничений:
первичный , вторичный, третичный, , ограничения.
(или в классификации Дирака) ограничения первого и второго класса.
Использованная литература:
Не уверен, что правильно отвечу, но, насколько я помню, использование скобки Дирака позволяет избавиться от ограничений второго класса и в конце иметь дело только с ограничениями первого класса. И все же в конце вы считаете только слабое равенство, нет =.
Слабое равенство означает, что мы сначала должны вычислить все скобки Пуассона теории (уравнения движения и т. д.) и только после этого можно положить до нуля. Это связано с тем, что гамильтониан не содержит информации о первичных ограничениях (хорошим примером является электродинамика) и, следовательно, не содержит информации о вторичных ограничениях.
Возможно, я понял ответ на вопрос. Мы можем заменить слабое равенство на сильное, если все динамические скобки (скобка Пуассона в начале) ограничения с любой (!) другой функцией равны нулю. Как видно, если мы заменим гамильтониан (который не состоит из информации о первичных ограничениях ) к , то у нас будет скобка Дирака для временной эволюции каждой функции. Скобка Дирака всех ограничений второго рода с произвольной функцией равна нулю, поэтому, если мы можем ввести эту скобку, мы можем тогда установить все ограничения второго класса равными нулю. Если же остаются ограничения первого класса, то следует анализировать нашу теорию как калибровочную, поскольку ограничения первого класса всегда связаны с инвариантностью относительно некоторых преобразований. Это может уменьшить наши степени свободы.
Qмеханик