Докажите, что плотность лагранжиана LL\mathscr{L}, которая порождает данный набор уравнений Эйлера-Лагранжа, не уникальна [дубликат]

Докажите, что лагранжева плотность л , который порождает данный набор уравнений Эйлера-Лагранжа, не уникален.

Подсказка 1: добавление дивергенции к л не меняет уравнения Эйлера-Лагранжа.

Попытка: пусть л ´ "=" л + к ф к Икс к

Где

л "=" л ( Икс к , ф Дж , ф к Икс к )
ф к "=" ф к ( ф Дж )
Дж "=" 1 , . . . , м индексирует переменные зависимого поля.

к "=" 1 , . . . , н индексирует независимые переменные.

Подсказка 2: Тогда докажите, что:

дельта л ´ дельта ф Дж "=" дельта л дельта ф Дж

Попытка: Теперь мы определяем

дельта л дельта ф Дж "=" л ф Дж л Икс л л ( ф Дж / Икс л )


Но я не могу продолжать следовать подсказкам, чтобы получить доказательство:

Я голосую за то, чтобы закрыть этот вопрос как не по теме, потому что на MathSE существует точная копия согласно math.stackexchange.com/q/2315423 .

Ответы (1)

Вспомните, откуда берутся уравнения Эйлера-Лагранжа: экстремальное действие. Итак, давайте посмотрим, что сделает добавление дивергенции к действию, которое, если вы помните, определяется как интеграл по нашему пространственно-временному многообразию, М как

С [ ф ] "=" М д д р   л [ ф , ф ]
Мы добавим расходимость к лагранжевой плотности, положив л л + ф , поэтому наше новое действие:
С [ ф ] "=" М д д р   ( л + ф ) "=" С [ ф ] + М д а ф
где мы использовали удивительную силу теоремы Гаусса, чтобы изменить наши 4 -мерный объемный интеграл по пространству-времени, к 3 -мерный интеграл по границе пространства-времени, М . Теперь мы требуем, чтобы ф вести себя хорошо, в том смысле, что он исчезает на границе. Итак, мы видим, что действие не изменилось, поэтому оно будет иметь те же экстремумы, что и прежде, и, следовательно, те же уравнения Эйлера-Лагранжа.

Урок здесь заключается в том, что вы должны пытаться делать что-то независимо от координации. Тогда заполнение деталей в той или иной системе координат будет проще.