Colector de inclusión equipado con métrica FLRW

La métrica de Friedmann-Lemaître-Robertson-Walker (FLRW) es la siguiente, en unidades naturales:

d s 2 = d t 2 + a ( t ) 2 ( d r 2 1 k r 2 + r 2 d θ 2 + r 2 pecado 2 θ d ϕ 2 )
Por el bien de mi propia visualización, estoy tratando de incrustar una porción de esta variedad en R 3 , dónde θ = π 2 y t = constante. Esto transforma la métrica en
d s 2 = a ( t 0 ) 2 ( d r 2 1 k r 2 + r 2 d ϕ 2 )
Usando el pullback, sabemos que ( gramo ^ m v es la métrica euclidiana)
gramo m v = ( ϕ gramo ^ ) m v = y α X m y β X v gramo ^ α β
A partir de esto, se sigue el siguiente sistema, resolviendo para y 1 , y 2 , y y 3 :
a ( t 0 ) 2 1 k r 2 = ( r y 1 ) 2 + ( r y 2 ) 2 + ( r y 3 ) 2 r 2 a ( t 0 ) 2 = ( ϕ y 1 ) 2 + ( ϕ y 2 ) 2 + ( ϕ y 3 ) 2
Estas ecuaciones me eluden. ¿Hay alguna forma de resolver esto analíticamente o tendré que resolverlo numéricamente?

A su métrica le faltan algunos cuadrados:
d r 2 1 k r 2
.
Bendito seas. Ha sido editado.

Respuestas (1)

Está considerando un espacio 3D, de métrica euclidiana en coordenadas cilíndricas:

(1) d s 2 = d X 2 + d y 2 + d z 2 = d r 2 + r 2 d φ 2 + d z 2 .
Ahora introduce una superficie en ese espacio, de altura z = F ( r ) (suponiendo isotropía en el X y avión). Entonces d z = F d r y (1) se convierte en
(2) d s 2 = ( 1 + F 2 ) d r 2 + r 2 d φ 2 .
Desea que esta métrica coincida con la métrica FLRW, en caso de θ = π 2 :
(3) d s 2 = 1 1 k r 2 d r 2 + r 2 d φ 2 .
Por lo tanto, debe imponer la siguiente ecuación diferencial (suponiendo que k = 1 . es banal para k = 0 y no hay solución para k = 1 con métrica (1)):
(4) d F d r = ± r 1 r 2 .
Esto impone F ( r ) = C 1 r 2 . Puede elegir el signo negativo y C = 1 , entonces z ( r ) = 1 1 r 2 para 0 r < 1 (entonces z ( 0 ) = 0 y z ( 1 ) = 1 ).

Observe que esta superficie es la mitad de una esfera de radio 1 y centrada en z C = 1 , en el espacio euclidiano 3D:

(5) X 2 + y 2 + ( z 1 ) 2 = r 2 + ( z 1 ) 2 = 1.
Esta esfera incrustada corresponde a la geometría asociada al parámetro de curvatura del espacio k = 1 .

Para k = 1 , necesita una métrica pseudo-euclidiana en lugar de (1) anterior.