Насколько распространена теорема Нётер в классической механике?

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

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

Факт л т "=" 0 только прямо подразумевает, что д д т ЧАС "=" 0 и ничего больше. Итак, моя критика такова: мы не можем ни в каком абсолютном смысле сказать, что симметрия переноса времени подразумевает сохранение энергии; мы можем только сказать, что это подразумевает сохранение гамильтониана, который может быть или не быть полной энергией в соответствии с условиями, которые я разместил выше.

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

если л д ˙ я "=" 0 затем д д т п д я "=" 0 .

Но это верно только тогда, когда потенциал не зависит от скоростей, если только вы не принимаете л д ˙ я "=" п д я даже когда потенциалы зависят от скорости

Так где же я тут накосячил? Являются ли мои утверждения верными, но тем не менее бесполезными, поскольку все потенциалы во Вселенной не зависят от скорости (что я считаю неверным)? Всегда ли можно найти систему координат, для которой ЧАС "=" Е ?

Спасибо.

Я не очень понимаю, о чем вы говорите. Теорема Нётер — чрезвычайно общее утверждение о том, что каждой симметрии соответствует соответствующий закон сохранения, и эта теорема дает общую форму сохраняющегося тока. Он не утверждает, что гамильтониан всегда является энергией. Кроме того, импульс п я соответствующий координате д я определяется как _ л / д ˙ я , не уверен, почему вы утверждаете, что это справедливо только для потенциалов, не зависящих от скорости.
Да, вы могли бы пойти по определению (относительно обобщенных импульсов), но я говорил о более конкретном смысле импульса, где (если бы у нас были декартовы координаты) л Икс ˙ "=" м Икс ˙ если U Икс ˙ "=" 0 .
Для механической системы полная энергия определяется гамильтонианом. Если есть еще один энергетический член, нарушающий симметрию (а таких членов в реальных ситуациях предостаточно), то вы просто ошиблись в формулировке границ системы.
С другой стороны, я говорю о выводах связи симметрии с законами сохранения в классической механике (то есть я имею в виду системы частиц). Я полностью игнорирую случай с полями.
Определение гамильтониана не ЧАС "=" Т + В в моей книге. Поэтому я не думаю, что энергия является гамильтонианом по определению. Моя книга — «Классическая динамика частиц и систем» Торнтона и Мэрион.
Должен ли я публиковать выводы, о которых я говорю, чтобы мой вопрос был более ясным? Я предполагаю, что они могли бы быть сокращены до 3 или около того строк.
Если вы говорите о бетоне Т + В как «энергия» и бетон п "=" м д ˙ для особых случаев, то я до сих пор не знаю, в чем заключается ваш вопрос, поскольку теорема Нётер не утверждает, что Т + В или м д ˙ сохраняются. Его ЧАС и п я в их обычном определении это сохраняющиеся величины, связанные с переносом времени и координат соответственно.
Инвариантный во времени гамильтониан может не быть полным определением реальной физической системы (вспомните термодинамические степени свободы). В этом случае Нётер, конечно, не справится. С чего бы это?
Я думаю, у меня может не хватать знаний, так как я не знал Т + В не всегда была полной энергией. Я согласен с утверждением теорем ЧАС и п я являются сохраняющимися величинами. Я предполагаю, что суть моей путаницы в том, что теоремы Нётер относятся к другому типу импульса и другому типу энергии, отличным от понятий импульса и энергии, которые могут быть у новичка.
Комментарий к вопросу (v1): Суть вопроса в лагранжевом формализме (в отличие от гамильтонова формализма). Введение гамильтонова формализма и возможного сингулярного преобразования Лежандра не имеет значения и запутывает дело. Если предположить, что это чисто лагранжев вопрос, то что ОП называет ЧАС и п тогда являются лагранжевым определением энергии и импульса соответственно. Их обычно называют лагранжевой функцией энергии и лагранжевым сопряженным/каноническим импульсом соответственно. Они не обязательно соответствуют другим определениям энергии и импульса.
Для случая, когда канонический импульс сохраняется, а механический нет, вы можете рассмотреть случай заряженной частицы в магнитном поле в рамках лагранжевого формализма. В таком случае вполне очевидно, что м в ˙ не должно быть константой, но сопряженный импульс все еще может сохраняться. Эта установка хорошо обсуждается в «Мыслях о магнитном векторном потенциале» (Semon & Taylor, Am. J. Phys., Vol. 64, p. 1361).

Ответы (2)

Как я вижу, возможно, проблема в энергии. Итак, что такое энергия?

Формальное классическое определение энергии звучит так: Энергия — это динамический инвариант системы, возникший из симметрии переноса времени. Тут тоже есть вопрос по этому поводу. Если вы хотите больше ссылок об этом, дайте мне знать.

Итак... когда Боб пишет, Е "=" Т + В в диссипативных системах (например, с затухающими OHS) Боб, таким образом, формально не прав, поскольку величина Е явно меняется со временем, поэтому не является динамическим инвариантом, поэтому не может быть энергией этой системы.

Кроме того, вы сказали, что:

л т "=" д ЧАС д т

Это не доказывает теорему Нётер. Это указывает только на то, когда ЧАС сохраняется. Полное доказательство теоремы Нётер связано с принципом наименьшего действия. Когда вы принимаете меры А , и заставить его варьироваться бесконечно мало дельта А перевод по времени дельта т и пространственный перевод дельта д я , и после нескольких вычислений вы получите:

дельта А "=" дельта л ( д я , д ˙ я , т ) д т "=" ( л д я д д т л д ˙ я ) ( дельта д я д ˙ я дельта т ) д т + [ л д ˙ я дельта д я ЧАС дельта т ]

Пространственный перевод дельта д я связано с импульсом п я , и перевод времени дельта т связан с гамильтонианом ЧАС .

Теперь применим принцип наименьшего действия: дельта А "=" 0 , и получаем:

( л д я д д т л д ˙ я ) ( дельта д я д ˙ я дельта т ) д т "=" д д т [ л д ˙ я дельта д я ЧАС дельта т ]

Здесь мы идентифицируем уравнения Эйлера-Лагранжа, которые должны удовлетворяться и, следовательно, равны нулю (будьте осторожны с скалярными произведениями). Тогда у нас есть сохраняющаяся величина для каждой симметрии действия:

п я дельта д я ЧАС дельта т "=" с т е

Для временной симметрии ЧАС сохраняется, а значит ЧАС есть энергия системы по определению. Нет такого доказательства, что Т + В сохраняется, поэтому они могут не быть динамическими инвариантами, поэтому они могут не быть энергией.

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

Хотя это кажется нелогичным. Можно ли получить работу от ЧАС как в термодинамике? можно из Т + В . Может быть, ссылки были бы хороши здесь, как вы говорите. Я хотел бы узнать больше об этом. Кроме того, можно говорить об энергии, когда она не сохраняется. ЧАС еще быть определение энергии в таком случае? Спасибо!

Есть по крайней мере два обобщения теоремы Нётер.

1) Предположим, что гамильтонова система с гамильтонианом ЧАС ( г ) , г "=" ( п , д ) имеет однопараметрическую группу симметрии { г Ф с ( г ) } которое порождается гамильтоновой системой с гамильтонианом Ф . Затем Ф является первым интегралом для ЧАС : { Ф , ЧАС } "=" 0 , причем если д Ф 0 то есть локальные канонические координаты п , Вопрос такое, что в этих координатах (эти координаты можно построить по квадратурам, заданным г Ф с задан) гамильтониан ЧАС не зависит от Вопрос 1 и ( п , Вопрос ) г Ф с ( п , Вопрос ) "=" ( п 1 , , п н , Вопрос 1 + с , Вопрос 2 , , Вопрос н ) .

2) Рассмотрим неголономную систему с лагранжианом л "=" л ( д , д ˙ ) и уравнение ограничений а я Дж ( д ) д ˙ я "=" 0 , Дж "=" 1 , , к < н . Предположим, что существует однопараметрическая группа { г с ( д ) } , л ( д , д ˙ ) "=" л ( г с ( д ) , д г с ( д ) д ˙ ) и а я Дж ( д ) в я ( д ) "=" 0 . Здесь в это векторное поле, которое генерирует г с . Тогда система имеет первый интеграл ф "=" л д ˙ л в л . Можно также применить теорему выпрямления к в

+1. О гамильтоновой версии теоремы Нётер см. также этот пост Phys.SE.