Вывод уравнения геодезического отклонения по двум соседним геодезическим

Я застрял, пытаясь следовать выводу Фостера и Найтингейла геодезического уравнения из двух соседних геодезических Икс а ( ты ) и Икс ~ а ( ты ) соединенные соединительным вектором ξ ( ты ) . Моя проблема может заключаться в том, что я не уверен, что означает «первый порядок» в контексте этого вывода. А там опять может и не быть.

Мы знаем это

Икс ~ а "=" Икс а + ξ а .
И, к первому порядку
Г ~ б с а "=" Г б с а + г Г б с а ξ г .

Два геодезических уравнения:

г 2 Икс ~ а г ты 2 + Г ~ б с а г Икс ~ б г ты г Икс ~ с г ты "=" 0

и

г 2 Икс а г ты 2 + Г б с а г Икс б г ты г Икс с г ты "=" 0.

Вычтите второе геодезическое уравнение из первого геодезического уравнения, чтобы получить

г 2 ξ а г ты 2 + Г ~ б с а г Икс ~ б г ты г Икс ~ с г ты Г б с а г Икс б г ты г Икс с г ты "=" 0.
Подставляя приведенные выше уравнения для Икс ~ а и Г ~ б с а в это, и я в конечном итоге с

г 2 ξ а г ты 2 + Г б с а г Икс б г ты г ξ с г ты + Г б с а г ξ б г ты г Икс с г ты + г Г б с а ξ г г Икс б г ты г Икс с г ты + г Г б с а ξ г г Икс б г ты г ξ с г ты + г Г б с а ξ г г ξ б г ты г Икс с г ты "=" 0.
Это правильно, но только если я могу опустить два последних термина. ( г Г б с а ξ г г Икс б г ты г ξ с г ты ) и ( г Г б с а ξ г г ξ б г ты г Икс с г ты ) . Фостер и Найтингейл говорят, что «только первый порядок [в ξ а ] термины сохранены». Но почему эти два термина второго порядка? Делает ξ г г ξ с г ты считать членом второго порядка в ξ а ? Спасибо

Вопросы, на которые можно ответить «да», обычно не одобряются... но ответ - да.

Ответы (1)

ага, подумай ξ как единичный вектор и замените все его экземпляры на ϵ ξ где ϵ какое-то маленькое число. Тогда вы увидите, что эти два условия второго порядка в ϵ .

Спасибо, но я все еще не понимаю, почему что-то, умноженное на производную этого чего-то, должно быть второго порядка. Откуда мы это знаем г ξ с г ты это маленькое число? Я предполагаю, что второй порядок в этом выводе означает что-то в квадрате, а не дифференциальное уравнение второго порядка.
Просто подумайте об этом как о расширении серии Тейлора (что именно так и есть). Независимо от того, насколько большой г ξ г ты есть, для достаточно небольшого ϵ , ϵ 2 ξ г ξ г ты будет порядок ϵ меньше, чем любой ϵ ξ или ϵ г ξ г ты и поэтому ничтожно мало. Помните, что приведенное выше выражение действительно только для первого порядка в ϵ ξ во-первых (посмотрите определение Г ¯ )