В теории поля импульс энергии определяется как функциональная производная по метрике
(до знака в зависимости от соглашений) Для теории в плоском пространстве это имеет то преимущество, что дает вам непосредственно улучшенный тензор энергии-импульса, поскольку метрика симметрична, но это справедливо и для динамических метрик.
Теперь моя проблема заключается в следующем: если в вашем лагранжиане есть термин вроде , где является векторным полем (не обязательно быть калибровочным полем, например, скажем, что оно представляет скорость в гидродинамике) и произвольный тензор, априори зависящий от чего-либо (метрика, или любое другое поле), у вас будет символ Кристоффеля. Если вы возьмете функциональную производную, выражение будет содержать такие термины, как
+перестановки
эти термины не будут снова объединяться, чтобы сформировать символ Кристоффеля. Как можно взять функциональную производную чего-то ковариантного ( ) по отношению к чему-то ковариантному (метрике) и получить что-то нековариантное? Для случаев плоского пространства все хорошо, поскольку эти члены исчезнут, но для искривленного пространства мы теряем общую ковариантность/разностную инвариантность. Что мне здесь не хватает?
@Prahar прав, вариация символа Кристоффеля является тензором, даже если сам Кристоффель им не является. У нас есть
где . С использованием у нас есть:
Затем Кристоффель прекрасно сочетается со стандартной производной, чтобы получить ковариантный тензор (другие символы Кристоффеля компенсируют друг друга)
.
Итак, чтобы ответить на исходный вопрос, мы, наконец, имеем:
Помните, что мы ничего не предполагали на . В зависимости от проблемы затем можно интегрировать по частям, чтобы изолировать и получить тензор энергии-импульса.
Алекс Нельсон
Булкилол
Прахар