Выбор сохраняющейся величины для получения симметрии с помощью обратной теоремы Нётер

Обратная теорема Нётер утверждает, что должна существовать симметрия дельта д я учитывая сохраняющееся количество С .

дельта д я "=" ϵ Вт я Дж С д Дж ,

где ϵ произвольная константа и Вт я Дж является гессианом лагранжиана.

В принципе можно догадаться С чтобы получить дельта д я из этого уравнения, но обычно из лагранжиана известно, какое С подходит для этого.

Мой вопрос: есть ли способ узнать, что не является сохраняющейся величиной для системы? Или способ заставить это уравнение потерпеть неудачу, учитывая С ?


В частности, я работаю с лагранжианом:

л "=" м 2 ( Икс ˙ 2 + у ˙ 2 + г ˙ 2 ) В ( Икс 2 + у 2 + г 2 ) м 2 [ ( Икс ˙ у у ˙ Икс ) ю 2 + ю 2 ( Икс 2 + у 2 ) ]

где В является производной функцией.

Я обнаружил, что энергия Е дает определенную симметрию. Но я боюсь вставить угловой момент и обнаружить, что существует другая симметрия, и на самом деле боюсь, что все, что я вставлю в уравнение, даст больше симметрии ... Я думаю, что должно быть что-то, что говорит мне, что некоторые из этих на самом деле не являются симметриями.

Это не похоже ни на одну формулу теоремы Нётер, которую я когда-либо видел...
Похоже на осевую симметрию вокруг z. Можешь попробовать. Для меня не очевидно, симметрична ли точка xy-xdot, и мне, вероятно, нужно еще немного подумать. Попробуйте вращение вокруг z. Я посмотрю, есть ли какая-либо процедура, отличная от угадывания - и проще, попробовав симметрию, например, вращение вокруг одной оси, чем сохраняющуюся величину, л г
@tparker, мой учитель, назвал это «обратной теоремой Нётер» в том смысле, что вы можете получить симметрию из сохраняющейся величины ... (я тоже нигде не видел этого в Интернете)
Хорошо, если вы можете угадать C. Я просто думаю, что это сложнее, но вы можете попробовать л г . Я не уверен, что это сработает, может быть, термин X dot y и т. Д. Для этого должен быть квадратным, не могу думать на ногах. Я думаю, что другие термины осесимметричны, но я могу ошибаться. Нужно попробовать.

Ответы (1)

Лучше всего/наиболее систематически обсуждать обратную теорему Нётер в контексте гамильтонова формализма (в отличие от лагранжевого формализма), ср. например , это и это сообщения Phys.SE, которые также предоставляют лагранжевы контрпримеры. Поэтому лагранжиан ОП вида

л   "="   м 2 ( д ˙ Икс 2 + д ˙ у 2 + д ˙ г 2 ) + Б ( д ˙ у д Икс д ˙ Икс д у ) В ( д )
желательно сначала преобразовать Лежандра в соответствующий гамильтониан

ЧАС   "="   1 2 м ( ( п Икс + Б д у ) 2 + ( п у Б д Икс ) 2 + п г 2 ) + В ( д ) .

Тогда, как показано в утверждении 3 в моем ответе Phys.SE здесь , у нас есть обратная теорема Нётер: если Вопрос "=" Вопрос ( д , п , т ) есть постоянная движения , то соответствующее гамильтоново векторное поле

Икс Вопрос   "="   { Вопрос , }   "="   { , Вопрос }
будет генерировать квазисимметрию действия в фазовом пространстве.