Гамильтонова теорема Нетера в классической механике [дубликат]

На этот вопрос уже есть ответ здесь:

Как можно думать и применять теорему Нётер в классическом механическом гамильтоновом формализме?

С лагранжевой точки зрения, теорема Нётера (в 1-D) утверждает, что величина

Σ я = 1 N L ( д Y я d Икс ) Y * я ε - Σ J = 1 N L ( д Y J d Икс ) d Y J Икс - L Икс * ε Σ я знак равно 1 N L ( d Y я d Икс ) Y я * ε - [ Σ J знак равно 1 N L ( d Y J d Икс ) d Y J Икс - L ] Икс * ε

сохраняется, если лагранжиан L ( x , y я , у ' я ) L ( Икс , Y я , Y я ' ) инвариантен относительно непрерывной однопараметрической группы бесконечно малых преобразований вида

T ( х , у я , ε ) = ( х * , у * я ) = ( х * ( х , у я , ε ) , у * я ( х , у я , ε ) . T ( Икс , Y я , ε ) знак равно ( Икс * , Y я * ) знак равно ( Икс * ( Икс , Y я , ε ) , Y я * ( Икс , Y я , ε ) ,

С точки зрения действия, теорема Нетера утверждает равенство 1-форм:

L ( x , y я , у ' я ) г х = J = 1 N п я d Y J - H d х = л ( х * , у * я , у я ) г Икс * = я = 1 N п я d Y * я - H d Икс * L ( Икс , Y я , Y я ' ) d Икс знак равно Σ J знак равно 1 N п я d Y J - ЧАС d Икс знак равно L ( Икс * , Y я * , Y я ' * ) d Икс * знак равно Σ я знак равно 1 N п я d Y я * - ЧАС d Икс *

который может быть использован для точного определения (аддитивных) симметрий.

Как мне использовать этот формализм для понимания теоремы Гамильтона Нётера в общем контексте? Я обычно вижу утверждение, что d A / D т = [ ч , А ] d / d T знак равно [ ЧАС , ] является теоремой Гамильтониана Нётер, и я не могу понять это в контексте моего описания Нётер выше. Похоже, что это выводит скобки Пуассона как часть Нётер из того, что я разработал выше, но я не могу придать этому большого смысла, если честно, я уверен, что ответ должен связать локальную касательную векторную структуру алгебры Ли с глобальное преобразование группы Ли в лагранжиане, но говорить, что на словах это одно, а в математике - другое.

Обратите внимание, что эти (и другие) старые сообщения стека не отвечают на вопрос:

Использованная литература:

  1. Бергманн - Введение в теорию относительности, приложение
ключевым словом для поиска будет «карта моментов»; см., например, ncatlab.org/nlab/show/…
Этот вопрос по сути является дубликатом phys.stackexchange.com/q/69271/2451
Ответ, который я искал, содержится в книге квантования поля Грейнера, если кому-то интересно.
Не могли бы вы опубликовать свой ответ тогда? Я даже не уверен, что ваш вопрос здесь на самом деле - так как, действительно, T A = { H , A } T знак равно { ЧАС , } заряд нетера генерация симметрии сохраняется почти по определению симметрии. Для теоремы Нетера как гамильтонова принципа действия Qmechanic связал подходящий дубликат.
Какая страница в полевом квантовании по Greiner et. и др.?

Ответы (1)

Теорема Нетера в гамильтоновой механике говорит то же самое, что и теорема Нетера в лагранжевом сеттинге при преобразовании Лежандра.

Гамильтонова система является тройной ( М , ω , H ) ( M , ω , ЧАС ) где ( М , ω ) ( M , ω ) является симплектическим многообразием и ЧАС ЧАС это гамильтониан. Вы определяете непрерывную симметрию в настройке гамильтониана как векторное поле В В это сохраняет как ω ω и ЧАС ЧАС , Это если θ T θ T это поток В В , тогда θ * T ω = ω θ T * ω знак равно ω и θ * T ЧАС = H θ T * ЧАС знак равно ЧАС ,

Сохраненная величина - это просто гладкая функция, с которой Пуассон коммутирует с ЧАС ЧАС , Это функция G : M R грамм : M р такой, что { G , H } = 0 = { H , G } { грамм , ЧАС } знак равно 0 знак равно { ЧАС , грамм } ,

Теорема Нетера говорит, что они находятся в взаимно-однозначном соответствии.

Извините, но (полностью по моей вине) я не вижу абсолютно никакой связи между этим и тем, как я описал Нётер в своем посте, кроме того, что я думаю, что вы говорите, что касательный вектор является производной от того, что я называю T T является генератором симметрии ЧАС ЧАС (почему-то не понимаю почему). В моем (и Гельфандовском) утверждении Нетера симметрия даже не касается гамильтониана, а скобки Пуассона просто появляются из ниоткуда. Я думаю, что могла бы быть хорошая связь, если есть некоторая общая версия уравнений Гейзенберга в Исчислении Вариаций: