Путаница с симметрией и сохранением

Я думаю, что неправильно понимаю концепцию симметрии в лагранжевой механике или, может быть, я неправильно понимаю содержание теоремы Нётер. Позвольте мне уточнить:

Предполагать л ( д , д ˙ , т ) является лагранжианом некоторой физической системы, то с помощью уравнения Эйлера-Лагранжа вы можете определить уравнение движения (в данном случае одно уравнение) координаты д . Оказывается, что л ´ "=" л + г г т ф ( д , т ) приводит к точно таким же уравнениям движения (для любой функции ф ( д , т ) ), поэтому мы можем рассмотреть л и л ´ эквивалентные лагранжианы. Обратите внимание, однако, что это работает только тогда, когда ф не зависит от д ˙ . Если ф зависит от д ˙ на самом деле лагранжианы могут привести к другим уравнениям движения.
Теперь вот концепция симметрии, которую я считал правильной (однако я не уверен, что это действительно правильно):

Когда мы делаем небольшое бесконечно малое преобразование координат д д "=" д + ϵ х тогда вариация лагранжиана (при таком преобразовании) должна иметь следующий вид:

дельта л "=" ϵ г г т ф ( д , т )
С ф зависит только от д и т , мы знаем, что лагранжиан существенно не изменился (приводит к тем же уравнениям движения) и, следовательно, симметричен относительно преобразования координат.
Но когда я посмотрел на доказательство теоремы Нётер, я обнаружил, что оно действительно не нужно для ф не зависеть от д ˙ . Состояние
дельта л "=" ϵ г г т ф ( д , д ˙ , т )
достаточно для теоремы Нётер (в том смысле, что вы получите сохраняющуюся величину).
Итак, что мне здесь не хватает? Я думал, что теорема Нётер гласит, что каждая симметрия подразумевает сохраняющуюся величину, а каждая сохраняющаяся величина подразумевает симметрию. Но глядя на это, кажется, что есть какие-то сохраняющиеся величины, не связанные с какой-то симметрией. Или я неправильно понимаю понятие симметрии?

Ответы (2)

Теорема Нётер на самом деле говорит, что непрерывные симметрии действия заключаются в константах движения. Дьявол кроется в деталях, а деталями здесь являются термины симметрии действия и константы движения . Под симметриями действия будем понимать преобразования, оставляющие действие инвариантным или квазиинвариантным, т. е. не изменяющие уравнения движения. Константы движения – это величины, которые остаются постоянными во времени эволюции системы.

Когда кто-то делает бесконечно малое преобразование д д + ϵ х , лагранжево изменение как

дельта л "=" л д ϵ х + л д ˙ ϵ х ˙ "=" ϵ ( п ˙ х + п х ˙ ) "=" ϵ г г т ( п х ) .
Чтобы действие было не более чем квазиинвариантным, С и С должны отличаться не более чем на член ф ( д , т ) , так как в этом случае принцип Гамильтона влечет за собой те же уравнения движения. Следовательно, мы можем считать,
С С "=" ϵ дельта л г т "=" ϵ г ф ( д , т ) г т г т ,
и поэтому
г г т ( п х ) "=" г ф ( д , т ) г т ,
или
С "=" п х ф ( д , т ) ,
есть постоянная движения во времени эволюции системы.

Если

дельта л "=" ϵ г ф ( д , д ˙ , т ) г т ,
затем
С С "=" ϵ дельта л г т "=" ϵ г ф ( д , д ˙ , т ) г т г т .
Однако мы не можем сказать
С "=" п х ф ( д , д ˙ , т )
является константой движения, потому что сами уравнения движения изменились. Система имеет одну динамическую эволюцию до преобразования и другую после. Бессмысленно сравнивать значение какой-либо динамической переменной, используя различные динамические эволюции.

ОП написал (v3):

[...] Оказывается, что л ´ "=" л + г г т ф ( д , т ) приводит к точно таким же уравнениям движения (для любой функции ф ( д , т ) ), поэтому мы можем рассмотреть л и л ´ эквивалентные лагранжианы. Обратите внимание, однако, что это работает только тогда, когда ф не зависит от д ˙ . Если ф зависит от д ˙ на самом деле лагранжианы могут привести к другим уравнениям движения. [...]

Если существуют вариационные/функциональные производные , то уравнения Эйлера-Лагранжа (ЭЛ) не зависят от ф даже если это зависит от д ˙ , ср. например, этот пост Phys.SE.

[...] Но когда я посмотрел на доказательство теоремы Нётер, я обнаружил, что это действительно не нужно для ф не зависеть от д ˙ . [...]

Правильный.

[...] Я думал, что теорема Нётер гласит, что каждая симметрия подразумевает сохраняющуюся величину, а каждая сохраняющаяся величина подразумевает симметрию. [...]

Только первое является теоремой Нётер . Последнее было бы обратной теоремой Нётер , которая выполняется только при дополнительных предположениях.