В общей теории относительности , если два объекта приводятся в движение по двум изначально параллельным траекториям, наличие приливной гравитационной силы заставит траектории изгибаться по направлению друг к другу или отдаляться друг от друга, создавая относительное ускорение между объектами. [1]
Математически приливная сила в общей теории относительности описывается тензором кривизны Римана [1], а траектория объекта, находящегося исключительно под действием силы тяжести, называется геодезической . Уравнение геодезического отклонения связывает тензор кривизны Римана с относительным ускорением двух соседних геодезических. В дифференциальной геометрии уравнение геодезического отклонения более известно как уравнение Якоби .
Чтобы количественно оценить геодезическое отклонение, начинают с настройки семейства близко расположенных геодезических, индексированных непрерывной переменной s и параметризованных аффинным параметром τ. То есть, для каждого фиксированного s кривая, выметаемая γ s (τ) при изменении τ, является геодезической. При рассмотрении геодезической массивного объекта часто удобно выбирать τ в качестве собственного времени объекта . Если x μ ( s , τ) являются координатами геодезической γ s (τ), то касательный вектор этой геодезической равен
Если τ — собственное время, то T μ — 4-скорость объекта, движущегося по геодезической.
Можно также определить вектор отклонения , который представляет собой смещение двух объектов, движущихся вдоль двух бесконечно малых геодезических:
Относительное ускорение A μ двух объектов определяется, грубо говоря, как вторая производная вектора разделения X μ по мере продвижения объектов вдоль их соответствующих геодезических. В частности, A μ находится путем взятия направленной ковариантной производной X вдоль T дважды:
Уравнение геодезического отклонения связывает A µ , T µ , X µ и тензор Римана R µ νρσ : [2] [3]
Альтернативная запись для ковариантной производной по направлению — , поэтому уравнение геодезического отклонения можно также записать как
Уравнение геодезического отклонения может быть получено из второй вариации лагранжиана точечной частицы вдоль геодезических или из первой вариации комбинированного лагранжиана. [ необходимо пояснение ] Лагранжев подход имеет два преимущества. Во-первых, он позволяет применять различные формальные подходы квантования к системе геодезического отклонения. Во-вторых, он позволяет формулировать отклонение для гораздо более общих объектов, чем геодезические (любая динамическая система , которая имеет один индексированный в пространстве-времени импульс, по-видимому, имеет соответствующее обобщение геодезического отклонения). [ необходимо цитирование ]
Связь между геодезическим отклонением и приливным ускорением можно увидеть более явно, исследуя геодезическое отклонение в пределе слабого поля , где метрика приблизительно равна метрике Минковского, а скорости тестовых частиц предполагаются намного меньшими, чем c . Тогда касательный вектор T μ приблизительно равен (1, 0, 0, 0); т. е. только временная компонента не равна нулю.
Пространственные компоненты относительного ускорения тогда определяются как
где i и j пробегают только пространственные индексы 1, 2 и 3.
В частном случае метрики, соответствующей ньютоновскому потенциалу Φ( x , y , z ) массивного объекта при x = y = z = 0, имеем
что является приливным тензором ньютоновского потенциала.