Einbauverteiler bestückt mit FLRW metrisch

Die Metrik Friedmann-Lemaître-Robertson-Walker (FLRW) lautet in natürlichen Einheiten wie folgt:

D S 2 = D T 2 + A ( T ) 2 ( D R 2 1 κ R 2 + R 2 D θ 2 + R 2 Sünde 2 θ D ϕ 2 )
Für meine eigene Visualisierung versuche ich, ein Stück dieser Mannigfaltigkeit einzubetten R 3 , Wo θ = π 2 Und T = Konstante. Dadurch wird die Metrik umgewandelt in
D S 2 = A ( T 0 ) 2 ( D R 2 1 κ R 2 + R 2 D ϕ 2 )
Unter Verwendung des Pullbacks wissen wir, dass ( G ^ μ v ist die euklidische Metrik)
G μ v = ( ϕ G ^ ) μ v = j a X μ j β X v G ^ a β
Daraus folgt das folgende System, auflösend für j 1 , j 2 , Und j 3 :
A ( T 0 ) 2 1 κ R 2 = ( R j 1 ) 2 + ( R j 2 ) 2 + ( R j 3 ) 2 R 2 A ( T 0 ) 2 = ( ϕ j 1 ) 2 + ( ϕ j 2 ) 2 + ( ϕ j 3 ) 2
Diese Gleichungen entziehen sich mir. Gibt es eine Möglichkeit, dies analytisch zu lösen, oder muss ich numerisch lösen?

Ihrer Metrik fehlen einige Quadrate:
D R 2 1 k R 2
.
Ach, segne dich. Es wurde bearbeitet.

Antworten (1)

Sie betrachten einen 3D-Raum mit euklidischer Metrik in Zylinderkoordinaten:

(1) D S 2 = D X 2 + D j 2 + D z 2 = D R 2 + R 2 D φ 2 + D z 2 .
Nun führe in diesem Raum eine Fläche von Höhe ein z = F ( R ) (unter der Annahme von Isotropie in der X j Ebene). Dann D z = F ' D R und (1) wird
(2) D S 2 = ( 1 + F ' 2 ) D R 2 + R 2 D φ 2 .
Sie möchten, dass diese Metrik mit der FLRW-Metrik übereinstimmt, falls dies der Fall ist θ = π 2 :
(3) D S 2 = 1 1 k R 2 D R 2 + R 2 D φ 2 .
Daher müssen Sie die folgende Differentialgleichung auferlegen (angenommen k = 1 . Es ist trivial für k = 0 und es gibt keine Lösung für k = 1 mit Metrik (1)):
(4) D F D R = ± R 1 R 2 .
Dies impliziert F ( R ) = C 1 R 2 . Sie können das Minuszeichen und wählen C = 1 , So z ( R ) = 1 1 R 2 für 0 R < 1 (So z ( 0 ) = 0 Und z ( 1 ) = 1 ).

Beachten Sie, dass diese Oberfläche eine halbe Kugel mit Radius 1 ist und auf zentriert ist z C = 1 , im euklidischen 3D-Raum:

(5) X 2 + j 2 + ( z 1 ) 2 = R 2 + ( z 1 ) 2 = 1.
Diese eingebettete Kugel entspricht der Geometrie, die dem Raumkrümmungsparameter zugeordnet ist k = 1 .

Für k = 1 , benötigen Sie eine pseudo-euklidische Metrik anstelle von (1) oben.