Berücksichtigung metrischer Tensorableitungen in der Einstein-Hilbert-Aktion

Ich rätsele über die kanonische Ableitung von GR von der Einstein-Hilbert-Aktion; Die Ableitung mit einer expliziten Behandlung des funktionellen Derivats zum Gel zu bringen, funktioniert nicht. Die Ableitung (hier aus Wikipedia gezogen, obwohl andere Literatur ähnlich ist) beginnt also:

ICH = G D 4 X [ 1 2 κ R + L ]

und geht sofort weiter

δ ICH = 0 = D 4 X δ G μ v [ 1 2 κ δ ( G R ) δ G μ v + δ ( G L ) δ G μ v ] .

Aber der Ricci-Skalar hängt von der ersten und zweiten Ableitung des metrischen Tensors ab, also warum haben wir keine Faktoren?

δ G μ v , a   , δ G μ v , a β   ,

gegen die wir auch variieren? Vielleicht gibt es eine Identität, die in diesem Fall dazu führt, dass diese Begriffe verschwinden, aber ich sehe es nicht.

Für eine einigermaßen explizite (und in der Tat ziemlich langwierige) Behandlung siehe Carrolls Buch über GR (Abschnitt 4.3).

Antworten (2)

Sie haben diese Bedingungen absolut. Die meisten Leute integrieren einfach immer implizit nach Teilen, und realistischerweise verstecken sie diese Terme in anderen Termen, weil die Algebra sehr schnell in Unmengen von Termen zerfällt. Eine sehr aufwendige Version davon wird im Buch Classical Field Theory in der Reihe Landau und Lifschitz ausgearbeitet.

Alternativ können Sie die Palantini-Form der Variation verwenden und die Christoffel-Symbole anstelle der Metrik variieren.

I) Noch bevor man die Aktion variiert, sei daran erinnert, dass die Einstein-Hilbert (EH) Lagrange-Dichte ist

(1) L E H     det ( G ) { G μ v   R μ v ( Γ L C , Γ L C ) 2 Λ }

Wo Γ L C beziehen sich auf die Levi-Civita (LC) Christoffel-Symbole , die wiederum von Ableitungen bis zur ersten Ordnung abhängen G der Metrik G μ v .

Durch Betrachtung von Gl. (1) sehen wir, dass die EH-Lagrange-Dichte (1) in Ableitungen zweiter Ordnung linear ist

(2) L E H   =   F μ v λ σ ( G )   μ v G λ σ + F ( G , G ) ,

die wir als Funktion umschreiben können F ( G , G ) was von Ableitungen bis zu erster Ordnung abhängt, plus einem totalen Divergenzterm:

(3) L E H   =   F ( G , G ) + D μ [ F μ ( G , G ) ] .

Totale Divergenzterme in der Lagrange-Dichte führen zu Grenztermen in der Aktion. Wenn wir nur das EFE in der inneren Masse ableiten wollen , weg von den Grenzen, dann können die Terme der totalen Divergenz vernachlässigt werden. Siehe auch diesen verwandten Phys.SE-Beitrag.

II) Die ganze Geschichte ist jedoch komplizierter. Denken Sie daran, dass für ein konsistentes stationäres Aktionsprinzip mit wohldefinierten funktionalen/variativen Ableitungen geeignete Randbedingungen zugewiesen werden sollten. Dies ist nicht möglich, ohne den Grenzterm Gibbons–Hawking–York (GHY) zur EH-Aktion hinzuzufügen.