Warum ist es so zufällig, dass die Palatini-Variation der Einstein-Hilbert-Wirkung eine Gleichung erhält, dass die Verbindung die Levi-Civita-Verbindung ist?

Es gibt zwei Möglichkeiten, die Variation der Einstein-Hilbert-Aktion durchzuführen .

Der erste ist der Einstein-Formalismus, der nur metrisch unabhängig ist. Nach Variation der Wirkung erhalten wir die Einsteinsche Feldgleichung. Der zweite ist der Palatini-Formalismus , bei dem Metrik und Verbindung unabhängig sind. Nach der Variation erhalten wir zwei Gleichungen, die erste ist die Feldgleichung und die zweite ist, dass die Verbindung die Levi-Civita-Verbindung ist.

Meine Frage ist also, warum es so zufällig ist, dass die Palatini-Variation der Einstein-Hilbert-Aktion eine Gleichung erhält, bei der die Verbindung eine Levi-Civita-Verbindung ist und der Palatini-Formalismus mit dem Einstein-Formalismus übereinstimmt? Während für f ( R ) Aktion sind sie im Allgemeinen unterschiedlich. Gibt es einige tiefere mathematische oder physikalische Strukturen der Einstein-Hilbert-Aktion, die dafür verantwortlich sein können?

Antworten (1)

I) In Palatini f ( R ) Schwerkraft ist die Lagrange-Dichte 1

(1) L ( g , Γ )   =   1 2 κ g f ( R ) + L m ;

mit materieller Lagrange-Dichte L m ; mit Skalarkrümmung

(2) R   :=   g μ v R μ v ( Γ ) ;

mit Ricci-Krümmung R μ v ( Γ ) ; und wo

(3) Γ μ v λ   =   Γ v μ λ

ist beliebig torsionsfrei 2 Verbindung.

II) Wie OP erwähnt, bezieht sich das Wort Palatini auf die Metrik g μ v und die Verbindung Γ μ v λ sind unabhängige Variablen 3 . Wir erhalten daher zwei Arten von EL-Gleichungen :

  1. Die EL-Gleichungen

    (4) f ' ( R ) R μ v 1 2 f ( R ) g μ v   ( 1 ) + ( 5 )   κ T μ v
    für die Metrik g μ v sind die Verallgemeinerung von EFE , wobei
    (5) T μ v   :=   2 g δ S m δ g μ v
    ist der Materie-Hilbert -Spannungs-Energie-Impuls (SEM)-Tensor . [In Gl. (4) die Symbol bedeutet Gleichheit modulo Bewegungsgleichungen. In dieser Antwort verwenden wir ( , + , , + ) Minkowski unterzeichnet Konvention d Raumzeitdimensionen.]

  2. Wenn die Angelegenheit Aktion S m hängt nicht von der Verbindung ab Γ μ v λ , dann die EL-Gleichungen

    (6) λ g ^ μ v   ( 1 )   0 , g ^ μ v   :=   g f ' ( R ) g μ v   = ( 8 )   g ^ g ^ μ v ,
    für die Verbindung Γ μ v λ erweisen sich als metrische Kompatibilitätsbedingung
    (7) λ g ^ μ v   ( 6 ) + ( 8 )   0
    für eine konform äquivalente Metrik
    (8) g ^ μ v   :=   f ' ( R ) 2 d 2 g μ v ,
    bekannt als Einstein-Frame-Metrik . Mit anderen Worten, die klassische Lösung für Γ μ v λ ist die Levi-Civita-Verbindung für die Einstein-Rahmenmetrik g ^ μ v .

III) Also Einstein Gravitation (GR) mit einer möglichen kosmologischen Konstante

(9) f ( R )   =   R 2 Λ ,

oder gleichwertig

(10) f ' ( R )   =   1 ,

entspricht dem Spezialfall, wo die beiden Metriken g μ v und g ^ μ v zusammenfallen, und daher Γ μ v λ wird die Levi-Civita-Verbindung für g μ v .

--

1 Es liegt nahe, die Lagrange-Dichte (1) durch die erweiterte Lagrange-Dichte zu ersetzen

(11) L ~ ( g , Γ , Φ )   =   1 2 κ g { Φ R v ( Φ ) } + L m ;

mit skalarem Hilfsdilatonenfeld Φ ; und wo das Potenzial

(12) v ( Φ )   :=   sup r ( Φ r f ( r ) )

ist die Legendre-Transformation der Funktion f . Integrieren wir das skalare Hilfsfeld heraus Φ , kehren wir dann zu den zurück f ( R ) Lagrange-Dichte (1), von der wir ausgegangen sind! Die EL-Gleichungen

(13) λ g ^ μ v   ( 1 )   0 , g ^ μ v   :=   g Φ g μ v   = ( 14 )   g ^ g ^ μ v ,

für die Verbindung Γ μ v λ werden die metrische Kompatibilitätsbedingung (7) für die Einstein-Frame-Metrik

(14) g ^ μ v   :=   Φ 2 d 2 g μ v .

Nach der Verbindung Γ μ v λ herausintegriert wurde, wird die Lagrange-Dichte (11).

(fünfzehn) L ~ ( g , Φ )   =   1 2 κ g ^ { R ( g ^ ) Φ d 2 d v ( Φ ) } + L m ,

wo Gl. (14) wird implizit angenommen.

Allerdings leider die Legendre verwandeln v existiert nicht für die Einstein-Schwerkraft (9), daher werden wir die erweiterte Lagrange-Dichte (11) in dieser Antwort nicht weiter berücksichtigen.

2 Man könnte ein nicht-dynamisches Torsionsstück zulassen, aber wir werden dies hier der Einfachheit halber nicht weiter verfolgen. Mehr zur Torsion siehe zB auch diesen Phys.SE Beitrag.

3 Normalerweise integrieren wir in Nicht-Palatini-Formulierungen die Verbindung heraus Γ μ v λ und halten Sie die Metrik g μ v . Eddington & Schrödinger schlugen das Gegenteil vor ! Lassen Sie uns diese Möglichkeit hier analysieren. Definieren Sie zur späteren Bequemlichkeit eine Doppelindex-Notation M = μ μ ' und die folgende Kurzschreibweise

(16) f ( R ) 2 f ' ( R )   =:   f ^ ( R )     f ^ 0 + f ^ 1 R + f ^ 2 ( R ) .

Betrachten wir nur das Vakuum

(17) T μ v   =   0.

von jetzt an. Wir haben dann

(18) g M   ( 4 ) + ( 16 ) + ( 17 )   f ^ ( R ) R M ,

wo R M ist der inverse Ricci-Tensor. Entsprechend haben wir

(19) ( δ N M f ^ 1 R M R N ) g N   ( 16 ) + ( 18 )   ( f ^ 0 + f 2 ( R ) ) R M .

Wir erhalten also eine Fixpunktgleichung für die inverse Metrik

g N   ( 19 )   ( δ M N + f ^ 1 1 d f ^ 1 R N R M ) ( f ^ 0 + f ^ 2 ( R ) ) R M
(20)   =   1 1 d f ^ 1 ( f ^ 0 + f ^ 2 ( g M R M ) ) R N .

Spezialisieren wir uns auf die Einstein-Schwerkraft (9). Dann

(21) f ^ 0   =   Λ ; f ^ 1   =   1 2 ; f ^ 2 ( R )   =   0.

Die inverse Metrik wird

(22) g N   ( 20 ) + ( 21 )   2 Λ d 2 R N .

Und daher

(23) R   ( 22 )   2 d d 2 Λ ,

und

(24) g μ v   ( 2 ) + ( 22 )   d 2 2 Λ R μ v ( Γ ) .

Die EH-Lagrange-Dichte wird also Born-Infeld- ähnlich:

(25) L ( Γ )   ( 1 ) + ( 17 ) + ( 23 ) + ( 24 )   1 κ ( d 2 2 Λ ) d 2 1 det ( R μ v ( Γ ) ) .

Beachten Sie, dass die Eddington-Schrödinger-Aktion (25) nur für eine kosmologische Konstante ungleich Null funktioniert Λ 0 .