На этот вопрос уже есть ответ здесь:
Как можно думать и применять теорему Нётер в классическом механическом гамильтоновом формализме?
С лагранжевой точки зрения, теорема Нётера (в 1-D) утверждает, что величина
сохраняется, если лагранжиан L ( x , y я , у ' я ) инвариантен относительно непрерывной однопараметрической группы бесконечно малых преобразований вида
С точки зрения действия, теорема Нетера утверждает равенство 1-форм:
который может быть использован для точного определения (аддитивных) симметрий.
Как мне использовать этот формализм для понимания теоремы Гамильтона Нётера в общем контексте? Я обычно вижу утверждение, что d A / D т = [ ч , А ] является теоремой Гамильтониана Нётер, и я не могу понять это в контексте моего описания Нётер выше. Похоже, что это выводит скобки Пуассона как часть Нётер из того, что я разработал выше, но я не могу придать этому большого смысла, если честно, я уверен, что ответ должен связать локальную касательную векторную структуру алгебры Ли с глобальное преобразование группы Ли в лагранжиане, но говорить, что на словах это одно, а в математике - другое.
Обратите внимание, что эти (и другие) старые сообщения стека не отвечают на вопрос:
Использованная литература:
Теорема Нетера в гамильтоновой механике говорит то же самое, что и теорема Нетера в лагранжевом сеттинге при преобразовании Лежандра.
Гамильтонова система является тройной ( М , ω , H ) где ( М , ω ) является симплектическим многообразием и ЧАС это гамильтониан. Вы определяете непрерывную симметрию в настройке гамильтониана как векторное поле В это сохраняет как ω и ЧАС , Это если θ T это поток В , тогда θ * T ω = ω и θ * T ЧАС = H ,
Сохраненная величина - это просто гладкая функция, с которой Пуассон коммутирует с ЧАС , Это функция G : M → R такой, что { G , H } = 0 = { H , G } ,
Теорема Нетера говорит, что они находятся в взаимно-однозначном соответствии.
Christoph
Qmechanic ♦
bolbteppa
ACuriousMind ♦
Qmechanic ♦