Я просматриваю выводы теорем Нётер и у меня есть несколько критических замечаний по поводу того, как они представлены в популярных источниках (обратите внимание, что здесь я имею в виду только классическую механику и не интересуюсь теоремами в контексте теории поля). Мои комментарии представлены ниже:
Гамильтониан определяется как . Я не буду вдаваться в подробности, но можно показать, что если потенциальная энергия зависит только от обобщенных координат (а не от скоростей) и если кинетическая энергия является однородной квадратичной функцией тогда гамильтониан представляет собой полную энергию.
Факт только прямо подразумевает, что и ничего больше. Итак, моя критика такова: мы не можем ни в каком абсолютном смысле сказать, что симметрия переноса времени подразумевает сохранение энергии; мы можем только сказать, что это подразумевает сохранение гамильтониана, который может быть или не быть полной энергией в соответствии с условиями, которые я разместил выше.
С другой стороны, часто говорят, что если существует пространственная трансляционная симметрия относительно некоторой переменной, то сопряженный импульс сохраняется. И это показано довольно просто:
если затем .
Но это верно только тогда, когда потенциал не зависит от скоростей, если только вы не принимаете даже когда потенциалы зависят от скорости
Так где же я тут накосячил? Являются ли мои утверждения верными, но тем не менее бесполезными, поскольку все потенциалы во Вселенной не зависят от скорости (что я считаю неверным)? Всегда ли можно найти систему координат, для которой ?
Спасибо.
Как я вижу, возможно, проблема в энергии. Итак, что такое энергия?
Формальное классическое определение энергии звучит так: Энергия — это динамический инвариант системы, возникший из симметрии переноса времени. Тут тоже есть вопрос по этому поводу. Если вы хотите больше ссылок об этом, дайте мне знать.
Итак... когда Боб пишет, в диссипативных системах (например, с затухающими OHS) Боб, таким образом, формально не прав, поскольку величина явно меняется со временем, поэтому не является динамическим инвариантом, поэтому не может быть энергией этой системы.
Кроме того, вы сказали, что:
Это не доказывает теорему Нётер. Это указывает только на то, когда сохраняется. Полное доказательство теоремы Нётер связано с принципом наименьшего действия. Когда вы принимаете меры , и заставить его варьироваться бесконечно мало перевод по времени и пространственный перевод , и после нескольких вычислений вы получите:
Пространственный перевод связано с импульсом , и перевод времени связан с гамильтонианом .
Теперь применим принцип наименьшего действия: , и получаем:
Здесь мы идентифицируем уравнения Эйлера-Лагранжа, которые должны удовлетворяться и, следовательно, равны нулю (будьте осторожны с скалярными произведениями). Тогда у нас есть сохраняющаяся величина для каждой симметрии действия:
Для временной симметрии сохраняется, а значит есть энергия системы по определению. Нет такого доказательства, что сохраняется, поэтому они могут не быть динамическими инвариантами, поэтому они могут не быть энергией.
Таким образом, текущее формальное определение классической энергии было мотивировано теоремой Нётер.
Есть по крайней мере два обобщения теоремы Нётер.
1) Предположим, что гамильтонова система с гамильтонианом имеет однопараметрическую группу симметрии которое порождается гамильтоновой системой с гамильтонианом . Затем является первым интегралом для , причем если то есть локальные канонические координаты такое, что в этих координатах (эти координаты можно построить по квадратурам, заданным задан) гамильтониан не зависит от и .
2) Рассмотрим неголономную систему с лагранжианом и уравнение ограничений . Предположим, что существует однопараметрическая группа и . Здесь это векторное поле, которое генерирует . Тогда система имеет первый интеграл Можно также применить теорему выпрямления к
Любопытный Разум
ДЛВ
Любопытный
ДЛВ
ДЛВ
ДЛВ
Любопытный Разум
Любопытный
ДЛВ
Qмеханик
Майкл Зайферт