Встраиваемый коллектор с метрической системой FLRW

Метрика Фридмана-Лемэтра-Робертсона-Уокера (FLRW) выглядит следующим образом в натуральных единицах:

г с 2 "=" г т 2 + а ( т ) 2 ( г р 2 1 κ р 2 + р 2 г θ 2 + р 2 грех 2 θ г ф 2 )
Ради собственной визуализации я пытаюсь встроить кусочек этого многообразия в р 3 , где θ "=" π 2 и т "=" постоянный. Это превращает показатель в
г с 2 "=" а ( т 0 ) 2 ( г р 2 1 κ р 2 + р 2 г ф 2 )
Используя откат, мы знаем, что ( г ^ мю ν это евклидова метрика)
г мю ν "=" ( ф * г ^ ) мю ν "=" у α Икс мю у β Икс ν г ^ α β
Отсюда следует следующая система, решая для у 1 , у 2 , и у 3 :
а ( т 0 ) 2 1 κ р 2 "=" ( р у 1 ) 2 + ( р у 2 ) 2 + ( р у 3 ) 2 р 2 а ( т 0 ) 2 "=" ( ф у 1 ) 2 + ( ф у 2 ) 2 + ( ф у 3 ) 2
Эти уравнения ускользают от меня. Есть ли способ решить это аналитически, или мне придется решать численно?

В вашей метрике отсутствуют несколько квадратов:
г р 2 1 к р 2
.
Ах, благослови вас. Он был отредактирован.

Ответы (1)

Вы рассматриваете некоторое трехмерное пространство с евклидовой метрикой в ​​цилиндрических координатах:

(1) г с 2 "=" г Икс 2 + г у 2 + г г 2 "=" г р 2 + р 2 г ф 2 + г г 2 .
Теперь введите в этом пространстве поверхность высотой г "=" ф ( р ) (при условии изотропии в Икс у самолет). Затем г г "=" ф г р и (1) становится
(2) г с 2 "=" ( 1 + ф 2 ) г р 2 + р 2 г ф 2 .
Вы хотите, чтобы эта метрика совпадала с метрикой FLRW, в случае θ "=" π 2 :
(3) г с 2 "=" 1 1 к р 2 г р 2 + р 2 г ф 2 .
Таким образом, вам нужно наложить следующее дифференциальное уравнение (предполагая к "=" 1 . Это тривиально для к "=" 0 и нет решения для к "=" 1 с метрикой (1)):
(4) г ф г р "=" ± р 1 р 2 .
Это накладывает ф ( р ) "=" С 1 р 2 . Вы можете выбрать отрицательный знак и С "=" 1 , так г ( р ) "=" 1 1 р 2 для 0 р < 1 (так г ( 0 ) "=" 0 и г ( 1 ) "=" 1 ).

Обратите внимание, что эта поверхность представляет собой половину сферы радиуса 1 с центром в г с "=" 1 , в трехмерном евклидовом пространстве:

(5) Икс 2 + у 2 + ( г 1 ) 2 "=" р 2 + ( г 1 ) 2 "=" 1.
Эта встроенная сфера соответствует геометрии, связанной с параметром кривизны пространства. к "=" 1 .

Для к "=" 1 , вам нужна псевдоевклидова метрика вместо (1) выше.