Я думаю, что неправильно понимаю концепцию симметрии в лагранжевой механике или, может быть, я неправильно понимаю содержание теоремы Нётер. Позвольте мне уточнить:
Предполагать
является лагранжианом некоторой физической системы, то с помощью уравнения Эйлера-Лагранжа вы можете определить уравнение движения (в данном случае одно уравнение) координаты
. Оказывается, что
приводит к точно таким же уравнениям движения (для любой функции
), поэтому мы можем рассмотреть
и
эквивалентные лагранжианы. Обратите внимание, однако, что это работает только тогда, когда
не зависит от
. Если
зависит от
на самом деле лагранжианы могут привести к другим уравнениям движения.
Теперь вот концепция симметрии, которую я считал правильной (однако я не уверен, что это действительно правильно):
Когда мы делаем небольшое бесконечно малое преобразование координат тогда вариация лагранжиана (при таком преобразовании) должна иметь следующий вид:
Теорема Нётер на самом деле говорит, что непрерывные симметрии действия заключаются в константах движения. Дьявол кроется в деталях, а деталями здесь являются термины симметрии действия и константы движения . Под симметриями действия будем понимать преобразования, оставляющие действие инвариантным или квазиинвариантным, т. е. не изменяющие уравнения движения. Константы движения – это величины, которые остаются постоянными во времени эволюции системы.
Когда кто-то делает бесконечно малое преобразование , лагранжево изменение как
Если
ОП написал (v3):
[...] Оказывается, что приводит к точно таким же уравнениям движения (для любой функции ), поэтому мы можем рассмотреть и эквивалентные лагранжианы. Обратите внимание, однако, что это работает только тогда, когда не зависит от . Если зависит от на самом деле лагранжианы могут привести к другим уравнениям движения. [...]
Если существуют вариационные/функциональные производные , то уравнения Эйлера-Лагранжа (ЭЛ) не зависят от даже если это зависит от , ср. например, этот пост Phys.SE.
[...] Но когда я посмотрел на доказательство теоремы Нётер, я обнаружил, что это действительно не нужно для не зависеть от . [...]
Правильный.
[...] Я думал, что теорема Нётер гласит, что каждая симметрия подразумевает сохраняющуюся величину, а каждая сохраняющаяся величина подразумевает симметрию. [...]
Только первое является теоремой Нётер . Последнее было бы обратной теоремой Нётер , которая выполняется только при дополнительных предположениях.