Klassische EM: klare Verbindung zwischen Eichsymmetrie und Ladungserhaltung

Im Fall der klassischen Feldtheorie stellt der Satz von Noether dies für eine gegebene Aktion sicher

S = D D X L ( ϕ μ , v ϕ μ , X ich )
das bleibt unter der Transformation invariant { X ich X ich + δ X ich ; ϕ μ ϕ μ + δ ϕ μ } , nämlich eine lokale Symmetrie , dann gibt es Erhaltungsgrößen namens Ströme .

Wenn es eine Reihe von Variablen gibt { ϵ R , X R ich , Φ R μ } (Wo ϵ R 0 ) so dass δ X ich = ϵ R X R ich Und δ ϕ μ = ϵ R Φ R μ , dann sind diese Ströme die Größen:

J R v = L ( v ϕ μ ) Φ R μ + [ L δ σ v L ( v ϕ μ ) σ ϕ μ ] X R σ .
Diese sind in dem Sinne konserviert, dass v J R v = 0 , was auf der Schale wahr ist, dh sofern die Bewegungsgleichungen verifiziert sind.

Jetzt versuche ich, dieses Ergebnis auf die klassische EM-Feldtheorie anzuwenden . Betrachten Sie den zugehörigen Lagrangian:

L E M = 1 4 F μ v F μ v + A μ J μ
Wo A μ = ( ϕ , A ) ist das 4-Potenzial und J μ = ( ρ , J ) ist der 4-Strom, der klassische Ladungsquellen beschreibt . F μ v ist der EM-Tensor .

Bewegungsgleichungen sind in diesem Fall:

v F v μ = J μ .

Unter Berücksichtigung der globalen Eichsymmetrie der klassischen EM-Feldtheorie

A μ A μ + ϵ μ χ
Wo χ eine beliebige Eichfunktion ist, möchte ich den Satz von Noether in dem Fall anwenden, in dem X R ich = 0 . Unter Bezugnahme auf diesen Phys.SE-Beitrag lautet der zugehörige konservierte Strom:
J μ = F μ v v χ mit μ J μ = 0.
Gut, jetzt habe ich ein paar Fragen:

  • Ist es wirklich legitim, den Satz von Noether auf die globale Eichsymmetrie anzuwenden ? Ich meine, ist der Satz von Noether immer noch gültig, auch wenn ich einen Satz habe { ϵ R , X R ich = 0 , Φ R μ } , dh keine Transformation auf Koordinaten?

Verwandte: Spursymmetrie ist keine Symmetrie? .

  • Was bedeutet in diesem Fall die J μ Quantität physikalisch bedeutet? Man kann mit Hilfe von Bewegungsgleichungen und der Antisymmetrie von rechnen F μ v :

    μ J μ = μ F μ v v χ + F μ v μ v χ = J v v χ + 0.
    Ich würde eher so etwas erwarten
    μ J μ = μ J μ = 0 , χ .
    In diesem Fall könnte ich verstehen, dass die Ladungserhaltung direkt von der globalen Eichsymmetrie herrührt . Da fehlt mir eindeutig etwas. Oder sollte ich durch Rechnen täuschen D X μ J μ und eine partielle Integration durchführen?

  • Ich kann nirgendwo deutlich erkennen, dass die Physik der klassischen EM-Theorie unter der Lorentz-Transformation invariant ist . Ich würde erwarten, dass eine solche Invarianz eine wirklich starke Symmetrie des Systems wäre.

Genau genommen gilt der Satz von Noether nur für globale Symmetrien, und was Sie dort aufgeschrieben haben, ist seitdem keine globale Symmetrie χ hängt von der Raumzeit ab. Ich verstehe Ihre letzte Frage nicht - der Yang-Mills-Lagrangian ist offensichtlich Lorentz-invariant, und die mit der Lorentz-Symmetrie verbundene Größe ist wie immer der Spannungs-Energie-Tensor.
Vielen Dank für Ihren Kommentar. Etwas verstehe ich nicht: also wenn hier A μ A μ + μ χ ist keine globale Symmetrie, warum dann die Transformation X ich X ich + δ X ich , ϕ μ ϕ μ + δ ϕ μ sollte globale Symmetrie genannt werden, da sie auch koordinatenabhängig ist? Hat der Unterschied zwischen lokaler und globaler Symmetrie etwas damit zu tun, dass Erhaltungssätze on-shell oder off-shell abgeleitet werden können?
Bei der letzten Frage hatte ich nur das Gefühl, dass sich die Lorentz-Invarianz mit der Eichinvarianz "vermischen" würde, um die Ladungserhaltung sicherzustellen, aber ich habe mich sicherlich geirrt.

Antworten (2)

Der (erste) Satz von Noether ist nicht auf lokale Symmetrien wie Eichsymmetrien anwendbar. Für lokale Symmetrien sollte man stattdessen den weniger bekannten zweiten Satz von Noether verwenden . Im Allgemeinen kann man sowohl ihren ersten als auch ihren zweiten Satz wie folgt formulieren:

Lassen L ( ϕ ) := L ϕ μ L ( μ ϕ ) bezeichnen den Lagrange-Ausdruck für das Feld ϕ . Lassen ϕ ich seien die Felder unserer Theorie. Dann gilt für jede Variation der Felder ( δ ϕ ich = δ 0 ϕ ich + μ ϕ ich δ X μ ) und Koordinaten

ich L ( ϕ ich ) δ 0 ϕ + ich μ ( L δ X μ + L ( μ ϕ ich ) δ 0 ϕ ich ) = 0
hält wenn δ S = 0 .

Daraus folgt der erste Satz von Noether mit dem üblichen erhaltenen Strom, indem er die Variation der Felder als globale Symmetrietransformation annimmt, dh δ ϕ ich = A δ ϕ ich ϵ A ϵ A für den kontinuierlichen Parameter ϵ R N der Symmetriegruppe und erkennen, dass auf der Schale L ( ϕ ich ) = 0 .

Der zweite Satz von Noether ist, was Sie erhalten, wenn die ϵ A dürfen von der Raumzeit abhängen. Wenn wir solche lokalen Transformationen zulassen, dann haben wir δ ϕ ich = C A ich ϵ A + D A ich μ μ ϵ A für einige Konstanten C , D . (Im Allgemeinen darf die lokale Transformation auch von höheren Ableitungen abhängen, aber im Kontext von Eichtheorien nicht (und selbst dort ist die einzige ableitungsabhängige Transformation die des Eichfelds selbst)) Dann , lautet die Aussage von Noethers zweitem Theorem

ich L ( ϕ ich ) C A ich ich μ ( L ( ϕ ich ) D A ich μ ) = 0

Im Fall des Elektromagnetismus haben Sie (mindestens) zwei Möglichkeiten, diese Variationen des Satzes von Noether zu verwenden, um die Ladungserhaltung zu erhalten: Sie können die globale Eichsymmetrie zusammen mit den Euler-Lagrange-Gleichungen des Materiefelds verwenden, oder Sie können das lokale Eichgerät verwenden Symmetrie zusammen mit den Eichfeld -EL-Gleichungen (Sie müssen ein bisschen knifflig sein, um es auf die letztere Weise zu machen - siehe die Referenz am Ende).

Der naive konservierte Strom aus der Frage, J μ = F μ v v χ , hat keine physikalische Bedeutung, da es nicht eichinvariant und daher nicht beobachtbar ist.

Eine wunderbar prägnante Tour durch die verschiedenen Versionen von Noethers Theorem im Zusammenhang mit Eichtheorien wird in "Noether's Theorems and Gauge Symmetries" von K. Brading und HR Brown gegeben .

I) OPs Modell

S [ A ]   =   D 4 X   ( 1 4 F μ v F μ v + J μ A μ ) ,
wird als Punkt 4 in meiner Phys.SE-Antwort hier erwähnt . Lassen Sie uns (um in sich geschlossen zu sein) wiederholen: J μ werden als passive nicht-dynamische klassische Hintergrundmaterialquellen behandelt. Mit anderen Worten, nur die Anzeigefelder A μ sind dynamische Variablen in diesem Modell. Bevor wir überhaupt anfangen, müssen wir die lokale (off-shell) Spursymmetrie der Aktion sicherstellen S [ A ] bis zu den Randbedingungen. Dies impliziert, dass die klassischen Hintergrundquellen J μ muss die Kontinuitätsgleichung erfüllen D μ J μ = 0 aus der Schale. Somit wird uns ein Erhaltungssatz aufgezwungen, noch bevor wir die Sätze von Noether anwenden. Beachten Sie, dass die globale Eichsymmetrie in diesem Modell eine leere Aussage ist.

II) Es scheint, dass OPs Problem mit der Anwendung von Noethers erstem Theorem für globale Symmetrie mit der Tatsache zusammenhängt, dass er die Materietheorie nicht in seine Aktion einbezieht. Man sollte die volle Aktion betrachten S [ A , Ψ ] von Eich- und Materiefeldern.

Die elektrische Ladungserhaltung folgt dann aus der globalen Eichsymmetrie der vollen Aktion S [ A , Ψ ] , vgl. zB diese und diese Phys.SE Beiträge.

III) Da die globale Eichsymmetrie eine Teilmenge der lokalen Eichsymmetrie ist, folgt die Ladungserhaltung im Prinzip auch aus der lokalen Eichsymmetrie. Aber aus puristischer/minimalistischer Sicht ist es übertrieben, die lokale Eichsymmetrie zu verwenden, um die Ladungserhaltung zu beweisen.

Lokale Eichsymmetrie ist der Bereich von Noethers zweitem Theorem, vgl. zB dieser Phys.SE Beitrag. Das mit dem zweiten Noether-Strom verbundene Off-Shell-Erhaltungsgesetz ist für die Elektrodynamik eine Trivialität.

Danke für deine Antwort. Technisch gesehen, wenn ich es gut verstehe: Wenn ich die Ladungserhaltung beweisen will, muss ich das Materiefeld einbeziehen Ψ im Modell, oder? Eigentlich Hintergrundquellen J μ erfüllen tautologisch die Kontinuitätsgleichung, nur weil sie Quellen sind. Ist das richtig?
Ja.