Уравнение геодезического отклонения - почему обычная вторая производная дает правильный ответ?

Я рассчитал правильный ответ на свою проблему, но не понимаю одно из предположений, которые я сделал при этом.

Я использовал уравнение геодезического отклонения

Д 2 ξ мю Д λ 2 + р мю β α γ мю ξ α д Икс β д λ д Икс γ д λ "=" 0

показать, что на поверхности единичной сферы две частицы, разделенные начальным расстоянием д , начиная с экватора и двигаясь на север (т.е. по линиям постоянного ф ) будет разделение с по истечении времени т равно

с "=" ξ ф "=" д грех θ "=" д потому что ( в т ) .
Это похоже на геодезическое отклонение на двух сферах, за исключением того, что вопрос был решен с использованием простой сферической геометрии.

Я сделал предположение, что вторая абсолютная производная по т равна второй обыкновенной производной, т.е.

Д 2 ξ мю д т 2 "=" д 2 ξ мю д т 2 .
Мой вопрос в том, почему мне разрешено делать такое предположение?

На другом физическом форуме мне сказали, что ответ заключается в том, что проблема сформулирована в терминах нормальной координаты Римана (поскольку расстояние, которое автомобили проходят по своим отдельным геодезическим, является линейной функцией времени). т ). Я могу только предположить, что каким-то образом это приводит к исчезновению коэффициентов связи в уравнении абсолютной производной

Д В α д λ "=" д В α д λ + В γ Г γ β α д Икс β д λ ,
но я не понимаю, почему это так. Как я отметил в комментарии ниже, я понимаю, что можно выбрать координаты в точке, где коэффициенты связи равны нулю, но я использовал обычные полярные координаты ф и θ для расчета правильного ответа. Использование двух разных наборов координат похоже на случай «иметь свой пирог и есть его».

Расчет, кстати, здесь (мой ответ на мой вопрос): Геодезическое отклонение на единичной сфере

Знаете ли вы, что локально всегда можно выбрать координаты, при которых производные метрики (и, следовательно, Кристоффеля) обращаются в нуль?
Я так думаю. Разве это не то, что Шютц называет теоремой о «локальной плоскостности»? Чего я не понимаю, так это того, что я правильно вычислил ответ, используя обычную сферическую θ , ф координаты. Я не вижу, как коэффициенты соединения исчезают, используя их.
Это верно только для точки п .

Ответы (1)

Первая причина заключается в том, что ваше «расстояние» между геодезическими измеряется параллельно распространяющимся направлением. / ф . Если вы посмотрите на сферу, разница Δ ф не соответствует расстоянию между точками на геодезических. Расстояние между ними будет измеряться длинами дуг больших кругов . Но вы используете θ "=" с о н с т круги, которые не являются большими кругами, если только θ "=" π / 2 .

Вторая причина в том, что вы работаете с пространством постоянной кривизны. См. ниже.


Скажем, вы берете вектор ζ мю и распространите его по вашей геодезической, чтобы получить ζ мю ( λ ) , т.е. вы решаете

Д ζ мю д λ "=" 0
Благодаря этому у вас теперь есть прямое применение правила Лейбница
Д 2 ( ξ мю ζ мю ) д 2 λ "=" Д 2 ξ мю д 2 λ ζ мю
Но ξ мю ζ мю это скаляр, который распространяется тривиально, поэтому вы также получаете Д / д λ д / д λ . Теперь вы можете спроецировать свое уравнение геодезического уравнения в ζ мю получить
д 2 ( ξ мю ζ мю ) д 2 λ + р ν κ λ мю ξ κ ты ν ты λ ζ мю "=" 0 ( * )


Теперь воспользуемся тем фактом, что вы находитесь в пространстве постоянной кривизны. В таком пространстве вы можете выразить тензор кривизны как

р мю ν κ λ "=" К ( г мю κ г ν λ г мю λ г ν κ )
Когда вы подставите это в уравнение геодезического отклонения, вы получите
Д 2 ξ α д λ 2 + ты 2 К ξ α "=" 0
Где ты "=" д Икс / д λ и выбираем ортогональный ξ к нему (как и в вашем случае). Когда вы делаете проекцию в параллельно распространяющийся ζ α , Вы получаете
д 2 ( ξ α ζ α ) д 2 λ + ты 2 К ξ α ζ α "=" 0
То есть, если вы исследуете только Δ ф "=" ξ α ζ α где ζ "=" / ф , вы можете использовать даже это строго линейное уравнение.


Обратите внимание, что без использования постоянной кривизны пространства вы получите уравнение ( * ) что не дает вам большого понятия, почему вы должны быть в состоянии найти ξ α ζ α в сумме с тензором кривизны. Итак, ваше пространство особенное, и ваша мера отклонения особенная — и то, и другое являются необходимыми составляющими предположения.

Итак, могу ли я предположить, что, поскольку только одна из координатных кривых (надеюсь, это правильный термин) является геодезической (т.е. ф "=" с о н с т а н т один), то ответ не имеет ничего общего с римановыми нормальными координатами? Кроме того, я не понимал, что если Д ζ мю д λ "=" 0 затем Д ζ мю д λ "=" 0 . Я видел похожую проблему в Интернете, но с одной из частиц, движущихся вдоль экватора ( θ "=" π / 2 ), что означает, что коэффициенты связи «естественным образом» исчезают, а абсолютная 2-я производная равна обычной 2-й производной, что значительно упрощает задачу.
Почему правая часть вашего уравнения равна 0? Кажется, все это предполагают, но я не могу найти никого, кто мог бы объяснить, на чем основано это предположение.
@DonaldAirey В моем посте шесть уравнений. Какой из них вы имеете в виду?
@Void - Пятый. Тот, который начинается со слов «Если вы подставите это в уравнение геодезического отклонения»…