Наивно можно было бы ожидать, что уравнения ЭЛ, возникающие в результате действия, будут содержать производные (динамического поля) порядка, вдвое превышающего порядок старшей производной (динамического поля), присутствующей в действии. Однако из действия Эйнштейна-Гильберта мы знаем, что это ожидание не всегда верно.
Подытоживая историю, можно сказать, что производные метрики высшего порядка в действии EH — это производные метрики второго порядка, полученные из члены скаляра Риччи. Однако уравнения Эйнштейна не содержат производных метрики третьего порядка, а только производные метрики второго порядка (или младших). В этом легко убедиться, заметив, что производная метрики высшего порядка, присутствующая в тензоре/скаляре Риччи, является производной метрики второго порядка, опять же, происходящей из условия. Это волшебство происходит потому, что можно записать плотность лагранжиана EH как часть, содержащую только производные первого порядка (или младших) метрики, и часть, содержащую производные метрики второго порядка (или низшие), а вторая часть превращается быть чистым членом дивергенции, который не будет вносить вклад в уравнения ЭЛ. Таким образом, мы остаемся с уравнениями EL, которые содержат производные второго порядка метрики как производную высшего порядка метрики.
Я не знал этого до недавнего времени и помню, как использовал рассуждение «действие -го порядка по производным динамических полей, поэтому мы получили бы Производные динамического поля -го порядка в уравнениях движения" во многих ситуациях в физике. Теперь я сбит с толку тем, что уравнения движения на один порядок ниже, чем ожидалось, во многих ситуациях, потому что это не кажется простым определением существует ли разложение лагранжевой плотности на нечисто-дивергентную и чисто-дивергентную части таким образом, что все члены производных высшего порядка находятся в чисто-дивергентных частях. Есть ли способ исследовать действие, чтобы сказать, является ли так это или нет без явного вывода уравнений ЭЛ?
Если лагранжева плотность имеет не более пространственно-временные производные, то уравнения Эйлера-Лагранжа (ЭЛ) будут иметь не более производные пространства-времени.
Общие условия расхождения в лагранжевой плотности не влияет на уравнения ЭЛ. Как уже упоминает OP, можно было бы переписать в кусок скажем, только пространственно-временные производные, так что уравнение ЭЛ будет иметь не более производные пространства-времени.
Механизм в п. 2 — это то, что происходит для действия Эйнштейна-Гильберта 2-го порядка, ср. например, мой ответ Phys.SE здесь .
В данной теории может быть утомительно/сложно идентифицировать все возможные скрытые термины полного расхождения. На практике проще просто вывести уравнения EL для начала, и если порядок производной меньше ожидаемого, попытаться определить скрытый член полного расхождения в что вызывает несоответствие.
Эшли Чрайя