Нахождение коэффициентов связи Кристоффеля с 3 сферами с использованием вариационного исчисления, задача Шона Кэррола

У меня есть 3-сфера с координатами Икс мю знак равно ( ψ , θ , ф ) и следующий показатель:

д с 2 знак равно д ψ 2 + грех 2 ψ ( д θ 2 + грех 2 θ д ф 2 )

Я знаю, как получить коэффициенты связи, используя метрические производные и т. д., но я ищу способ сделать это с помощью вариационного исчисления. Задача Шона Кэрролла (упражнения 3.11, вопрос 8 а) Введение в общую теорию относительности предложила изменить следующий интеграл, чтобы найти коэффициенты связи:

я знак равно 1 2 грамм мю ν д Икс мю д т д Икс в д т д т

Итак, у меня есть лагранжиан:

л знак равно ψ ˙ 2 + ( грех 2 ψ ) θ ˙ 2 + ( грех 2 ψ ) ( грех 2 θ ) ф ˙ 2

Которое я подставил в уравнение Эйлера-Лагранжа:

т ( л Икс ˙ мю ) л Икс мю знак равно 0

Я на правильном пути здесь? Какова стратегия соотнесения этого с символами соединения? Литература не слишком ясна, и я изо всех сил пытаюсь установить связь.

Ответы (2)

Я покажу вам, как это сделать для 2-плоскости в полярных координатах. Как только вы разберетесь с этим, это должно быть выполнимо для вашего случая.

Вы начинаете с метрики

д с 2 знак равно д р 2 + р 2 д θ 2

Поскольку геодезические этой метрики (т. е. прямые линии) минимизируют расстояние, мы знаем, что геодезические являются экстремумом:

я знак равно 1 2 д с ( р ˙ 2 + р 2 θ ˙ 2 )

Возьмем вариант этого и получим

дельта я знак равно д с ( р ˙ дельта р ˙ + р θ ˙ 2 дельта р + р 2 θ ˙ дельта θ ˙ )

В соответствии с нашей обычной процедурой мы хотим варьировать исходные переменные, а не их производную по времени. Пренебрегаем также вариацией на границе и считаем, что дельта Икс ˙ знак равно д д с дельта Икс . Итак, интегрируем по частям, и получаем:

дельта я знак равно д с ( ( р ¨ + р θ ˙ 2 ) дельта р + ( θ ¨ р 2 2 р р ˙ θ ˙ ) дельта θ )

Поскольку геодезическая должна быть равна нулю независимо от вариаций дельта р и дельта θ , мы знаем, что члены в скобках должны быть независимо равны нулю, и мы получаем:

0 знак равно р ¨ р θ ˙ 2 0 знак равно θ ¨ + 1 р ( р ˙ θ ˙ + θ ˙ р ˙ )

Теперь у нас есть это как система уравнений, и мы помним, что геодезическое уравнение в терминах символов Кристоффеля имеет вид 0 знак равно Икс ¨ а + Г б с а Икс ˙ б Икс ˙ с , и делаем вывод, что Г θ θ р знак равно р , Г р θ θ знак равно Г θ р θ знак равно 1 р , а все остальные равны нулю.

Большое спасибо, это очень помогло. Я запутался в переменной интегрирования (по ошибке принял ее за время, а потом запутался, что у меня нет времени в качестве координаты) и не понял, что могу связать ее с аффинным параметром в уравнении геодезии.
@KevinMurray: нет проблем! Кроме того, в качестве бонуса, который я хотел включить выше и забыл, обратите внимание, что все вариации относительно θ происходит из-за вариации относительно θ ˙ . Поэтому при интеграции с частями должно быть понятно, что д д с ( р 2 θ ˙ ) знак равно 0 , что обозначает р 2 θ ˙ знак равно С для некоторого постоянного значения С на вашей геодезической. Это связано с тем, что θ является убивающим вектором 2-плоскости. Этот трюк может значительно ускорить решение задачи геодезических расчетов.

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

(1) д 2 Икс λ д т 2 + Г мю ν λ д Икс мю д т д Икс ν д т знак равно 0

Из вашего лагранжиана вы получите уравнения вида

ψ ¨ знак равно ф ( ψ , θ , ф , ψ ˙ , θ ˙ ф ˙ ) θ ¨ знак равно грамм ( ψ , θ , ф , ψ ˙ , θ ˙ ф ˙ ) ф ¨ знак равно час ( ψ , θ , ф , ψ ˙ , θ ˙ ф ˙ )
к которому вы относитесь (1) индекс за индексом.

Нравится лаконичность :D