Energie-Impuls-Tensor aus Matter Field Action

Ich bin gerade dabei, mich mit einigen grundlegenden Konzepten der Allgemeinen Relativitätstheorie vertraut zu machen, und bin dabei auf ein wahrscheinlich recht einfaches Problem gestoßen. Ich beziehe mich auf das Buch von Hobson, S. 541 und 548, wo der Energie-Impuls-Tensor für eine einfache Materiefeldwirkung steht S ,

T μ v = 2 det G δ S δ G μ v ,
wird als Beispiel berechnet:

S = D 4 X det G ( 1 2 G μ v ( μ Φ ) ( v Φ ) v ( Φ ) )
δ ( det G ) = det G μ v δ G μ v = det G G μ v δ G μ v δ det G = 1 2 det G G μ v δ G μ v
δ S = D 4 X [ det G 1 2 δ G μ v ( μ Φ ) ( v Φ ) + δ ( det G ) ( 1 2 G a β ( a Φ ) ( β Φ ) v ( Φ ) ) ] = D 4 X det G 1 2 [ ( μ Φ ) ( v Φ ) G μ v ( 1 2 G a β ( a Φ ) ( β Φ ) v ( Φ ) ) ] δ G μ v

und man hat T μ v = [ . . . ] μ v

Mein Problem ist jetzt: wenn ich rechne

T μ v = 2 det G δ S δ G μ v
auf die gleiche Weise verwenden Sie den ersten Begriff für δ det G Anstelle des zweiten finde ich den gleichen Begriff für T wie zuvor (mit den Indizes natürlich nach oben), aber mit einem Plus statt einem Minus zwischen dem Ableitungsterm und dem Lagrange-Term in T .

Aber das ist falsch, oder? Also was mache ich falsch?

Antworten (1)

Es scheint, dass die Frage von OP in der Tatsache verwurzelt ist, dass unendlich kleine Variationen der inversen Metrik auftreten

δ G μ v   =   G μ λ   δ G λ κ   G κ v

kommt mit einem Minus. Daher wird der Stress-Energie-Impuls (SEM)-Tensor mit oberen und unteren Indizes mit entgegengesetzten Vorzeichen definiert. Sie sind definiert als

T μ v   =   2 | G | δ S δ G μ v , T μ v   =   ± 2 | G | δ S δ G μ v ,
im ( ± , , , ) Minkowski-Signaturkonvention, vgl. dieser Phys.SE-Beitrag.

Wenn dies der Fall ist, wird der Spannungsenergietensor der oberen Indizes nicht aus den unteren Indizes unter Verwendung von metrischen Tensor-Rasing-Indizes erhalten. Gibt es eine Bedeutung zu sagen, dass es ein Tenso ist?
Es ist ein Tensor, und T μ v = G v λ T λ κ G κ v hält noch.
Für die einfachste Aktion
1 2 D 4 X | G | G a β a ϕ β ϕ ,
Es scheint keine solche Beziehung zu geben, wie Sie oben schreiben.
Unter Verwendung der Definition
T a β = a ϕ β ϕ + G a β L M
Und
T a β = a ϕ β ϕ + G a β L M
Für die Aufzeichnung impliziert das Vorzeichen in Ihrer Skalaraktion, dass Sie die verwenden ( , + , + , + ) Konvention unterzeichnen. Dann T μ v = μ ϕ v ϕ 1 2 G μ v λ ϕ λ ϕ Und T μ v = μ ϕ v ϕ 1 2 G μ v λ ϕ λ ϕ .
Erinnere dich daran L M = 1 2 G a β a ϕ β ϕ
Zustimmen.
ϕ würde sich je nach deiner Situation ändern, richtig?
Ja. Der Feldinhalt würde vom Modell abhängen.