Erste Fundamentalform im Gibbons-Hawking-York-Grenzterm

Lassen Sie mich mein Problem darlegen, ich versuche, die explizite Variation des Gibbons-Hawking-York-Grenzterms durchzuführen .

S G H = M D N 1 X | H | K
Das Problem, das ich habe, ist, dass in der Berechnung von δ | H | , es scheint, als sollte ich die Rechnung tragen, als ob H war die erste Grundform
H μ v = G μ v σ N μ N v
sofern ich dabei das gute Ergebnis erziele. Zuerst verwende ich die Identität
δ | H | = 1 2 | H | H μ v δ H μ v
dann drücke ich aus δ H in Funktion von δ G
δ H μ v = δ G μ v σ δ N μ N v σ N μ δ N v
und mit der Tatsache, dass H μ v N μ = 0 , wir erhalten

δ | H | = 1 2 | H | H μ v δ G μ v .

Mein Problem ist das H ist nicht die erste Grundform im ersten Ausdruck, sondern die induzierte Metrik. Die Determinante der ersten Grundform ist 0 in Gaußschen Normalkoordinaten, also scheint es, als würde ich einen Schritt in dieser Ableitung überspringen, aber ich kann einfach nicht finden, was (ich hatte nie einen Kurs in Differentialgeometrie, daher verstehe ich den Unterschied zwischen die erste fundamentale Form und die induzierte Metrik ist wirklich schlecht).

Antworten (2)

Ich bekam die Antwort, als ich ein Buch von E. Poisson las, was ich tat, war in der Tat falsch, Sie müssen mit der induzierten Metrik beginnen, die durch gegeben ist

H A B = G μ v e A μ e B v
Wo
e A μ = X μ j A
sind die Tangentenvektoren an Kurven der Hyperfläche. Dann ersetzen Sie einfach G von H im gewohnten Verhältnis
δ | H | = 1 2 | H | H A B δ H A B .
Unter Verwendung der Kronecker-Invarianz findet man

δ | H | = 1 2 | H | H A B δ H A B .

Dann mit der Tatsache, dass

δ H A B = δ G μ v e A μ e B v
da die Tangentenvektoren unveränderlich sind, erhalten wir schließlich
δ | H | = 1 2 | H | H μ v δ G μ v
wobei wir die Definition des PROJEKTORS verwendet haben
H μ v = H A B e A μ e B v .
Und hier kam das Problem, H μ v ist NICHT die induzierte Metrik, sondern ein Projektor, der dieser induzierten Metrik zugeordnet ist.

Soweit ich weiß, werden diese beiden Ausdrücke synonym verwendet.

und deine Koordinaten H μ v = G μ v σ N μ N v arent Gaußsche Koordinaten im Allgemeinen.

Gaussian sind zum Beispiel flrw-Metriken wie D S 2 = D T 2 + H ich J ( T ) D X ich D X J mit raumhaft ich , J wobei es im zweiten Teil des Linienelements keinen gemischten Zeit-/Raum-Basisterm gibt, sondern nur einen von abhängigen Skalierungsfaktor T