Integration über die Hyperfläche in der Einstein-Hilbert-Aktion

Bei der Variation der Einstein-Hilbert-Aktion das Integral des Terms D 4 X G G μ v δ R μ v über der Raumzeit-Mannigfaltigkeit ist gleich Null.

ICH = M D 4 X G G μ v δ R μ v = M D 4 X G D μ ( G a β δ Γ a β μ G a μ δ Γ a β β )

Bezeichnung G a β δ Γ a β μ G a μ δ Γ a β β = δ v μ :

M D 4 X G D μ δ v μ = M D Σ μ δ v μ = 0
Wo D Σ μ = N μ | γ | D 3 ξ , γ Ist 3 -dimensionale induzierte Metrik. Was ist der Grund dafür, dass das Integral Null ist?

Wenn man normalerweise die Variation der Aktion durchführt, um die Bewegungsgleichungen der Theorie zu erhalten, und plötzlich Randterme wegwirft, ist die nicht angegebene Annahme, dass die Variationen der Felder eine kompakte Unterstützung sein sollen, was bedeutet, dass sie verschwinden außerhalb eines kompakten Satzes. In diesem Fall werden diese Grenzintegrale schließlich auf Null gesetzt. Aber wenn die Variationen nicht kompakt unterstützt werden, kann man diese Begriffe nicht wegwerfen. Insbesondere sind sie bei der Definition der sympletischen Form nach Walds Methode relevant. Siehe zB aip.scitation.org/doi/10.1063/1.528801 .

Antworten (1)

Dies ist die Divergenz eines Vektors. Man kann das Stokes-Theorem verwenden und sagen, dass dies gleich einem Grenzbeitrag im Unendlichen ist, den wir auf Null setzen können.

An der Unendlichkeit/Grenze einer Hyperfläche ist die Variation der Metrik Null aufgrund einer vernachlässigbaren Variation der Metrik?
Wir nehmen an, dass die Deformationen des Feldes am Rand verschwinden.
Das Feld hier ist das metrische Feld?
Ja, ich beziehe mich auf das Feld, in dem wir uns unterscheiden.
Das ist nicht richtig. Die Einstein-Hilbert-Aktion enthält bis zu zwei Ableitungen in der Metrik, sodass der von Ihnen geschriebene Grenzterm enthält δ G μ v und seine erste Ableitung. Der Randterm verschwindet, wenn beides gilt δ G μ v UND seine Ableitung verschwindet an der Grenze. Dies gleichzeitig zu tun, erweist sich als zu starke Bedingung, also müssen wir eine auswählen. Die Standard-Randbedingung ist, dies anzunehmen δ G μ v | bdy = 0 . Der Begriff, der sein Derivat enthält, muss dann durch HINZUFÜGEN eines zusätzlichen Begriffs zur Aktion gelöscht werden (siehe tinyurl.com/sh5oh3g ).
@ Prahar hat Recht. Ich werde meine Antwort bearbeiten.
@ApolloRa - Ihre bearbeitete Antwort ist immer noch falsch. Der Randterm ist nicht Null! Das ist der springende Punkt in meinem Kommentar! Wir müssen der Einstein-Hilbert-Wirkung einen zweiten Term hinzufügen (GHY-Term genannt), um diesen Grenzbeitrag aufzuheben.
@ApolloRa - Es ist klar, dass diese Vorlesungsunterlagen eine sehr grundlegende Einführung in GR sind und dass Carroll daher viele Dinge unter den Teppich kehrt. Dies ist offensichtlich in Ordnung, da Grenzfragen nicht etwas sind, was ein Einführungskurs lehren soll. Wenn Sie stattdessen sein Lehrbuch (Spacetime and Geometry von Carroll) (den Absatz unter Gl. (4.65)) lesen, werden Sie sehen, dass er einen zusätzlichen Satz über die von mir erwähnten Grenzprobleme hat. Auch hier diskutiert er es nicht im Detail, da es die Hauptdiskussion entgleist, an der der Autor interessiert ist.