Без гравитации мы можем легко переключаться между членами лагранжиана, такими как и , так как полная производная равна нулю. Но в GR у нас есть дополнительные множитель, при котором обычная производная не обращается в нуль . Правильно ли, что в этом случае мы введем дополнительный термин , при переключении между и ? И какой из этих двух входит в лагранжиан?
Ковариантная дивергенция вектора равна
Это означает, что добавление ковариантной дивергенции к лагранжиану приведет к следующему изменению:
в котором снова легко убедиться, что он обращается в нуль при интегрировании по частям. Как и в большинстве других вещей в общей теории относительности, замена заставляет это все еще работать нормально.
ОП наблюдает, что в пространстве Минковского , неважно, пишем ли мы
Косм