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