Zeigen Sie, dass ∂νTμν=−jνFμν∂νTμν=−jνFμν\partial_\nu T^{\mu\nu} = - j_\nu F^{\mu\nu}

In einer theoretischen Physik Hausaufgabe muss ich folgendes zeigen:

v T μ v = J v F μ v

Wo T ist der Energie-Impuls-Tensor, J der verallgemeinerte Strom und F der Feldtensor. Wir benutzen das G für den metrischen Tensor denke ich im Englischen die η ist häufiger.

Ich kenne folgende Zusammenhänge:

  • Strom und magnetisches Potential mit Lorenz-Eichbedingung:

    A μ = μ 0 J μ

  • Energie-Impuls-Tensor:

    T μ v = 1 μ 0 G μ a F a β F β v + 1 4 μ 0 G μ v F κ λ F κ λ

  • Feld-Tensor:

    F μ v = 2 [ μ A v ] = μ A v v A μ

  • d'Alembert-Operator:

    = μ μ

  • Bianchi-Identität:

    [ μ F v a ] = 0

Bisher habe ich alle Definitionen in die Formel gesetzt, die ich zeigen muss, aber ich lande nur bei vielen Begriffen aus Antisymmetrisierung und Produktregel. Ich habe auch alles, was ich habe, in Penrose-Grafiknotation gezeichnet , aber ich kann immer noch nicht sehen, wie ich dieses Problem lösen soll.

Kann mir bitte jemand einen Tipp in die richtige Richtung geben?

Ansehen F a β In T μ v ich denke, dass β ist nicht richtig, weil die kostenlosen Indizes sind μ v und Sie haben einen zusätzlichen kostenlosen Index β
Der erste Term im Ausdruck for T μ v sollte so etwas sein F μ a F a v
Tatsächlich habe ich es behoben. Ich habe es hier nur falsch eingegeben, das war bisher nicht die Quelle meiner Verwirrung.
Welche Terme sind dank Antisymmetrisierung automatisch Null? Welche können Sie dank des EOM von eliminieren? A μ ?
Ich glaube, Sie übersehen die wichtigste Gleichung von allen: die μ F μ v = μ 0 J v .
@twistor59: das hat er, er hat gerade den ersten Index mit der Metrik gesenkt.
@JerrySchirmer: Da war ein F vorher gefehlt.
@queueoverflow Übrigens auf Englisch G wird für jede allgemeine Metrik verwendet, während η ist für die Minkowski-Metrik reserviert.

Antworten (1)

Schauen wir uns verschiedene Begriffe aus der Differenzierung an T μ v .

Das erste vom Differenzieren G μ a F a β F β v Ist

v G μ a F a β F β v = G μ a F a β ( v F β v ) + ( v F μ β ) F β v = μ 0 F a β J β + ( v F μ β ) F β v

Der erste Begriff ist genau das, was Sie wollen, der zweite steht im Widerspruch zu dem, was Sie durch Differenzieren erhalten G μ v F κ λ F κ λ :

μ F κ λ F κ λ = 2 F κ λ ( μ F κ λ ) = 2 F κ λ ( κ F λ μ + λ F μ κ ) = 4 ( v F μ β ) F β v
wobei wir im zweiten Gleichheitszeichen die Bianchi-Identität und im letzten Gleichheitszeichen verwendet haben
F κ λ κ F λ μ = Indizes umbenennen F v β v F β μ = antisym. von  F F β v v F μ β
Dies hebt genau den zweiten Term in der ersten Gleichung auf.

In Anbetracht von Murphrids Kommentar kann ich Ihrer Antwort bis auf das allerletzte Gleichheitszeichen folgen. Ich habe die Indizes in meinen Notizen so umbenannt, dass sie mit Ihren übereinstimmen, aber ich verstehe nicht, warum β F v μ = v F μ β hält.
Das tut es nicht. Sie sollten die beiden Begriffe (einschließlich der F κ λ ) und benennen Sie die Dummy-Indizes für den zweiten Term um.