Я следил за доказательством теоремы Нётер в Lemos — Analytical Mechanics , стр. 73.
Он рассматривает полное бесконечно малое преобразование:
Затем после подключения преобразования в он получает
Почему первый интеграл выше вместо
Нет ли члена, пропорционального пренебрегают в выше?
Обычно область интегрирования течет с помощью так называемого горизонтального преобразования (2.160а). Ссылка 1 начинается очень амбициозно, объявляя в уравнении. (2.160а) что горизонтальная образующая является функцией , что необычно. Позже исх. 1, кажется, неявно предполагает, что это только функция времени , как обычно предполагается.
Теорема 2.7.1 на с. 74 в исх. 1 рассматривается только случай, когда действие имеет строгую симметрию. В принципе теорема Нётер работает и в том случае, если действие обладает квазисимметрией, т. е. если оно инвариантно только с точностью до граничных членов, см. с. 75 в исх. 1.
Использованная литература:
Диракология
Qмеханик