Enthält die Einstein-Hilbert-Aktion nur erste Ableitungen der Metrik?

Wir neigen dazu, nur Lagrange-Funktionalitäten zu verwenden, die höchstens eine Funktion der ersten Ableitung des Feldes sind L = L ( ϕ , μ ϕ ) . Für die Allgemeine Relativitätstheorie dürfte das nicht anders sein, da die Einsteinschen Feldgleichungen in der Metrik nur zweiter Ordnung sind. Naiverweise würde man jedoch denken, dass die Lagrange-Funktion in der Einstein-Hilbert-Aktion aufgrund des Vorhandenseins des Ricci-Skalars zweite Ableitungen in der Metrik enthält. Warum ist das kein Thema?

L E H ( G μ v , G μ v , a , G μ v , a β ) = G R

Wenn wir die Variation durchführen, stellt sich heraus, dass es keine Rolle spielt. Schreibt den Lagrange als G G μ v R μ v Die Variation enthält drei Terme (von denen die ersten beiden keine Ableitungen der Metrik enthalten), daher

δ S = D 4 X [ 1 2 G G μ v R δ G μ v + G R μ v δ G μ v + G G μ v δ R μ v ]

Die ersten beiden Terme werden zum Einstein-Tensor kombiniert, sodass nur die Möglichkeit eines Problems im letzten Term besteht. Dies ergibt sich jedoch als totale Ableitung, die wir ignorieren können. Interessanterweise verwendet der Beweis dafür die Palatini-Identität , die anscheinend nicht vom Ausdruck der Christoffel-Symbole unter Verwendung von Ableitungen der Metrik abhängt, sondern nur von ihren allgemeinen Eigenschaften als Verbindung.

Es scheint also, als hätten wir hier Glück gehabt, aber gibt es einen tieferen Grund, warum das geklappt hat?

Antworten (1)

Es ist einfacher, es im Formalismus erster Ordnung der Schwerkraft zu demonstrieren, der beide Tetraden umfasst e (was eine Art Quadratwurzel der Metrik ist G e 2 , siehe hier für weitere Erklärungen) und die Spin-Verbindung ω . Es ist erwähnenswert, dass das Wesentliche des Palatini-Ansatzes (auf den in OP angespielt wird) darin besteht, die Metrik und die (affine) Verbindung als unabhängige Variablen zu behandeln. Um es auf den Punkt zu bringen: Der Schlüsselbestandteil des Beweises besteht darin, eine unabhängige Verbindungsvariable einzuführen, sei es eine Spin-Verbindung oder eine affine Verbindung.

Nun die Einzelheiten:

Die Gravitationswirkung kann heuristisch geschrieben werden (wobei man die Details der Lorentz-Indizes und des äußeren Produkts zwischen Differentialformen vergisst) als

S e 2 ( D ω + ω 2 ) .

Die Gravitationsgleichungen erhält man, indem man die Wirkung mit variiert e Und ω unabhängig .

Variiert mit e Erträge

2 e ( D ω + ω 2 ) T ,
Wo T ist der Energie-Impuls-Tensor. Die Spinverbindung ω wird durch Variieren der Aktion mit bestimmt ω was wiederum die Null-Torsions-Bedingung im Falle eines Null-Spin-Stroms von Fermionen ergibt:
D e + e ω = 0.
Deshalb ω ist die erste Ableitung von e und metrisch G e 2
ω D e / e D G / e 2 .
Ersetzen Sie das obige in
2 e ( D ω + ω 2 ) T
zeigt, dass die Gravitationsfeldgleichung nur Ableitungen zweiter Ordnung enthält.

Zusammenfassend: Da variieren wir die Schwerkraftwirkung mit e beim Halten ω konstant, die Schwerkraftwirkung e 2 ( D ω + ω 2 ) und linke Seite der Gravitationsfeldgleichung 2 e ( D ω + ω 2 ) denselben Krümmungs-R-Term teilen

R = D ω + ω 2 ,
ohne weitere Variation der Krümmung R gegen metrisch.

Bedeutet dies, dass der Palatini-Formalismus in gewisser Weise grundlegender ist?
@Kasper, die Tetrade e und Spinverbindung ω sind unabdingbar für eine wohldefinierte Theorie, die Gravitation mit Fermionen/Spinstrom koppelt. Ich würde die Schwerkraft als begabt betrachten e Und ω fundamentaler, da eine fundamentale Gravitationstheorie in der Lage sein sollte, Fermionen und Spins zu berücksichtigen.