В общей теории относительности , в частности в уравнениях поля Эйнштейна , пространство-время называется стационарным, если оно допускает вектор Киллинга , который асимптотически времениподобен . [1]
В стационарном пространстве-времени компоненты метрического тензора, , могут быть выбраны так, чтобы они все были независимы от координаты времени. Линейный элемент стационарного пространства-времени имеет вид
где — временная координата, — три пространственные координаты, а — метрический тензор 3-мерного пространства. В этой системе координат векторное поле Киллинга имеет компоненты . — положительный скаляр, представляющий норму вектора Киллинга, т. е. , и — 3-вектор, называемый вектором закручивания, который обращается в нуль, когда вектор Киллинга ортогонален гиперповерхности. Последний возникает как пространственные компоненты 4-вектора закручивания (см., например, [2] с. 163), который ортогонален вектору Киллинга , т. е. удовлетворяет . Вектор закручивания измеряет степень, в которой вектор Киллинга не ортогонален семейству 3-поверхностей. Ненулевой закручивание указывает на наличие вращения в геометрии пространства-времени.
Координатное представление, описанное выше, имеет интересную геометрическую интерпретацию. [3] Вектор временного переноса Киллинга генерирует однопараметрическую группу движения в пространстве-времени . Определив точки пространства-времени, которые лежат на определенной траектории (также называемой орбитой), можно получить трехмерное пространство (многообразие траекторий Киллинга) , фактор-пространство. Каждая точка представляет траекторию в пространстве-времени . Эта идентификация, называемая канонической проекцией, является отображением, которое отправляет каждую траекторию в точку в и индуцирует метрику на посредством обратного отката. Величины , и являются полями на и, следовательно, не зависят от времени. Таким образом, геометрия стационарного пространства-времени не меняется со временем. В особом случае пространство-время называется статическим . По определению, каждое статическое пространство-время является стационарным, но обратное, как правило, неверно, поскольку метрика Керра дает контрпример.
В стационарном пространстве-времени, удовлетворяющем вакуумным уравнениям Эйнштейна вне источников, 4-вектор поворота не имеет вихрей,
и, следовательно, локально является градиентом скаляра (называемого скаляром твиста):
Вместо скаляров и удобнее использовать два потенциала Хансена, потенциалы массы и момента импульса, и , определяемые как [4]
В общей теории относительности потенциал массы играет роль ньютоновского гравитационного потенциала. Нетривиальный потенциал углового момента возникает для вращающихся источников из-за вращательной кинетической энергии, которая из-за эквивалентности массы и энергии может также выступать в качестве источника гравитационного поля. Ситуация аналогична статическому электромагнитному полю, где есть два набора потенциалов, электрический и магнитный. В общей теории относительности вращающиеся источники создают гравитомагнитное поле , не имеющее ньютоновского аналога.
Стационарная вакуумная метрика, таким образом, выражается через потенциалы Хансена ( , ) и 3-метрику . В терминах этих величин уравнения вакуумного поля Эйнштейна можно представить в виде [4]
где , а — тензор Риччи пространственной метрики и соответствующий скаляр Риччи. Эти уравнения образуют отправную точку для исследования точных стационарных вакуумных метрик.