В классической механике законы сохранения — энергии, импульса и момента импульса — следуют из симметрий пространства и времени. В специальной теории относительности эти законы получают естественное обобщение: они выражаются через четырёхмерный импульс и сохраняются благодаря однородности и изотропии пространства-времени Минковского. Однако в общей теории относительности (ОТО) ситуация существенно усложняется: пространство-время само становится динамическим объектом, его геометрия изменяется в зависимости от распределения материи и энергии.
Задача формулировки законов сохранения в искривлённом пространстве-времени требует осторожности, так как привычные глобальные определения энергии и импульса перестают работать в произвольных гравитационных полях. Вместо этого вводятся более тонкие локальные и квазилокальные определения, а также анализируются симметрии конкретных метрик.
В ОТО фундаментальным объектом является тензор энергии-импульса Tμν, который описывает плотность энергии, импульса и поток импульса в каждой точке пространства-времени. Его ковариантная дивергенция равна нулю:
∇μTμν = 0.
Это уравнение отражает локальные законы сохранения: энергия и импульс не исчезают и не появляются в каждой малой области пространства-времени. Однако здесь важен принципиальный момент: ковариантная производная включает члены, связанные с кривизной. Следовательно, равенство нулю не означает глобальной сохранённости в привычном смысле, а лишь то, что энергия и импульс могут обмениваться между материей и самим гравитационным полем.
В отличие от других физических полей, у гравитации нет локально определимой плотности энергии. Попытки ввести такой объект приводят к т. н. псевдотензорам энергии-импульса (например, тензор Ландау–Лифшица), которые зависят от выбора координат. Это означает, что локальная энергия гравитации не имеет абсолютного смысла и может быть определена лишь в определённых приближениях или в асимптотических областях пространства-времени.
Тем не менее в ряде случаев вводятся полезные квазилокальные величины:
Фундаментальная связь между симметриями и законами сохранения сохраняется и в ОТО, но принимает иной вид. Теорема Нётер утверждает: каждой непрерывной симметрии действия соответствует закон сохранения.
В искривлённом пространстве-времени наличие закона сохранения зависит от существования полей Киллинга — векторных полей, генерирующих изометрии метрики.
Таким образом, глобальные законы сохранения существуют только при наличии симметрий пространства-времени.
Для тестовой частицы, движущейся в гравитационном поле, геодезическое уравнение можно записать через лагранжиан
L = gμνẋμẋν,
где gμν — метрика. Если лагранжиан не зависит явно от некоторой координаты, то соответствующий импульс сохраняется. Например:
Эти законы определяют орбиты вокруг чёрных дыр и динамику аккреционных дисков.
При рассмотрении чёрных дыр особое значение приобретают законы сохранения, связанные с горизонтом событий. В частности:
Это выражается через уравнение:
$$ dM = \frac{\kappa}{8\pi} dA + \Omega_H dJ + \Phi_H dQ, $$
где M — масса чёрной дыры, κ — поверхностная гравитация, A — площадь горизонта, ΩH — угловая скорость горизонта, J — момент импульса, Q — электрический заряд, ΦH — электростатический потенциал на горизонте.
Важнейший пример глобальных законов сохранения проявляется при рассмотрении гравитационных волн. Хотя локально нельзя определить плотность энергии поля, на больших расстояниях можно описывать поток энергии и импульса, уносимых волнами.
Этот поток описывается тензором энергии-импульса в линейном приближении и измеряется через так называемый псевдотензор Ландау–Лифшица. Наблюдаемые эффекты, такие как уменьшение орбитального периода двойных пульсаров (открытие Халса и Тейлора), подтверждают, что гравитационные волны действительно уносят энергию из системы.
Таким образом, в искривлённом пространстве-времени можно выделить два уровня законов сохранения:
Таким образом, формулировка законов сохранения в ОТО требует учёта геометрических особенностей пространства-времени и невозможности универсального глобального определения энергии гравитационного поля.