Координаты Ферми для метрики Фридмана Робертсона Уокера

Я пытаюсь вывести формулу нормальных координат Ферми для Вселенной FRW, приведенную в уравнении. (4) статьи Николиса и др. (2008) :

г с 2 [ 1 ( ЧАС ˙ + ЧАС 2 ) | Икс | 2 ] г т 2 + [ 1 1 2 ЧАС 2 | Икс | 2 ] г Икс 2

Они начинаются с метрики FRW:

г с 2 "=" г т 2 + а 2 ( т ) г у 2
и выполнить замену координат
т "=" т 1 2 ЧАС | Икс | 2 , у "=" Икс а [ 1 + 1 4 ЧАС 2 | Икс | 2 ] ,
Чтобы вывести их уравнение (4), я использую формулу метрического преобразования, приведенную в уравнении. (5.69) современной космологии Додельсона :
г ~ α β ( Икс ~ ) Икс ~ α Икс мю Икс ~ β Икс ν "=" г мю ν ( Икс ) .
Я беру координаты тильды как координаты FRW. Таким образом, для мю "=" ν "=" 1 , У меня есть:
1 16 | Икс | 2 ( 9 ( Икс 1 ) 2 + ( Икс 2 ) 2 + ( Икс 3 ) 2 ) ЧАС 4 + 1 2 | Икс | 2 ЧАС 2 + 1 "=" г 1 , 1
Затем я беру предел, который | Икс | ЧАС 1 получить
г 11 1 + 1 2 ЧАС 2 | Икс | 2
что отличается от их результата на знак минус. Любая помощь в объяснении этого несоответствия будет принята с благодарностью.

Обновление: мне удалось получить их результат с помощью пакета Mathematica TensoriaCalc , в котором есть команда изменения координат. Это подтверждает, что Николис и др. правы, и я делаю что-то не так в своих расчетах.

@igael я не думаю, что у меня когда-либо было г 11 1 1 2 ЧАС 2 Икс 1 2 .
@ Дева: я ошибалась, извини. С г "=" Икс 1 2 ЧАС 2 2 , п "=" | Икс | 2 ЧАС 2 , Я получил г 11 "=" п 2 16 + п г 2 + п 2 + г 2 + 1 1 + п 2 + ( г 2 + п г 2 ) вместо 1 + п 2 или 1 п 2 . Если это не слишком скучно для вас, не могли бы вы расширить свое приближение?
@Virgo: mathjax не отображает то же самое в комментариях ... без mathjax: g11 = p²/16 + pz/2 + p/2 + z² + 1 (с последующим правильным рендерингом)
@igael, я думаю, ты можешь бросить г 2 и п г термин, как мы предполагаем Икс ЧАС 1
формально это очень маленькое p. В p²/16 + pz/2 + p/2 + z² p² очень мало, pz тоже и z² , я не знаю (не знаю неявного формализма со ссылками Икс 1 к | Икс ). Извините и спасибо
Просто взглянув на эти выражения, можно заметить точку над ЧАС в первом выражении. Я предполагаю, что обозначение означает производную по времени от ЧАС , что поэтому предполагает ЧАС имеет временную зависимость. Из 4-го выражения также видно, где это ЧАС -точка пришла бы от для г 11 компонент. Этот ЧАС -dot, похоже, отсутствует в 6-м выражении.
@flippiefanus Я пытаюсь вывести второй член в правой части первого выражения, а не первый член в правой части.

Ответы (1)

Есть небольшая тонкость. Как утверждают авторы в статье, в заданном законе преобразования а и ЧАС оцениваются в т а не в т . Таким образом, формула, которую вы получаете, почти верна, но а ( т ) и а ( т ) не отменять, так что на самом деле

г 11 "=" ( а ( т ) а ( т ) ) 2 ( 1 + 1 2 ЧАС 2 | Икс | 2 )
Затем, используя приведенный выше закон преобразования,
а ( т ) "=" а ( т 1 2 ЧАС | Икс | 2 ) а ( т ) 1 2 ЧАС | Икс | 2 а ˙ ( т )
Поэтому
г 11 "=" ( 1 1 2 ЧАС 2 | Икс | 2 ) 2 ( 1 + 1 2 ЧАС 2 | Икс | 2 ) 1 1 2 ЧАС 2 | Икс | 2