Noethers erster Satz und klassischer Beweis der Erhaltung der elektrischen Ladung

Wie beweist man die Erhaltung der elektrischen Ladung mit Noethers erstem Theorem gemäß der klassischen (Nicht-Quanten-)Mechanik? Ich kenne den Beweis, der auf der Verwendung des Klein-Gordon-Feldes basiert, aber diese Ableitung verwendet insbesondere die Quantenmechanik.

Antworten (1)

Mit dem Wort klassisch meinen wir = 0 , und wir verwenden die Konventionen von Ref. 1.

Die Lagrange-Dichte für die Maxwell-Theorie mit verschiedenen Materieinhalten ist 1

(1) L   =   L M a x w e l l + L m a t t e r ,

(2) L M a x w e l l   =   1 4 F μ v F μ v ,

(3) L m a t t e r   =   L m a t t e r Q E D + L m a t t e r s c a l a r Q E D + ,

(4) L m a t t e r Q E D   :=   Ψ ¯ ( ich γ μ D μ m ) Ψ ,

(5) L m a t t e r s c a l a r Q E D   :=   ( D μ ϕ ) D μ ϕ m 2 ϕ ϕ λ 4 ( ϕ ϕ ) 2 ,

mit kovarianter Ableitung

(6) D μ   =   d μ ich e EIN μ ,
und mit Minkowski-Vorzeichenkonvention (-, +, +, +). (Hier sind wir zu faul, verschiedene Materiemassen zu bezeichnen m und Gebühren e anders.) Die Materie Bewegungsgleichungen (eom) sind

(7) ( ich γ μ D μ m ) Ψ   m   0 , D μ D μ ϕ   m   m 2 ϕ + λ 2 ϕ ϕ 2 , .

(Das m Symbol bedeutet Gleichheit modulo matter eom, dh eine On-Shell-Gleichheit.)

Die infinitesimale globale Off-Shell-Gauge-Transformation ist

δ EIN μ   =   0 , δ Ψ   =   ich ϵ Ψ , δ Ψ ¯   =   ich ϵ Ψ ¯ ,
(8) δ ϕ   =   ich ϵ ϕ , δ ϕ   =   ich ϵ ϕ , , δ L   =   0 ,

wo der infinitesimale Parameter ϵ hängt nicht davon ab x .

Der Noetherstrom ist das Elektrische 4 -aktuell 2

(9) j μ   =   e Ψ ¯ γ μ Ψ ich e { ϕ D μ ϕ ( D μ ϕ ) ϕ } + .

Noethers erster Satz ist ein Satz über die klassische Feldtheorie. Es ergibt eine On-Shell- Kontinuitätsgleichung 3

(10) d μ j μ   m   0.

Daher die elektrische Ladung

(11) Q   =   d 3 x   j 0

wird auf der Schale konserviert.

Verweise:

  1. M. Srednicki, QFT.

--

1 Beachten Sie, dass die Materie Lagrange-Dichte L m a t t e r kann vom Spurweitenbereich abhängen EIN μ

2 Interessanterweise die elektrische 4 -aktuell j μ hängt vom Eichpotential ab EIN μ im Falle einer skalaren QED-Materie.

3 Beachten Sie, dass der obige Beweis der Kontinuitätsgleichung (10) über den ersten Satz von Noether (wie vom OP angefordert) niemals die Maxwell-Gleichungen verwendet.

Ich frage mich, ob PhysiXxx einen "klassischen" Beweis nicht lieber einen Beweis mit echten Feldern nennen würde ... dann ohne Eichsymmetrie. Ich glaube an "klassische" Maxwell-Gleichungen die Ladungserhaltung d Q / d t = 0 ist ein Postulat, das zu führt μ j μ = 0 durch Integration über ein endliches Volumen.
Es stimmt, dass [Maxwell-Gl. d μ F μ v EIN λ J v ] [Kontinuitäts-Gl. d μ J μ EIN λ 0 ] [Elektrische Ladungserhaltung], wobei J μ := δ S m a t t e r δ EIN μ . In der Tat hier J μ könnte eine nicht näher bezeichnete Hintergrundquelle sein, die nichts über die Materietheorie weiß. OP bat jedoch ausdrücklich darum, den ersten Satz von Noether im Beweis zu verwenden. Nach Noethers erstem Theorem gilt [ globale Eichsymmetrie der Wirkung] [Elektrische Ladungserhaltung].
zur Fußnote 2: (Interessanterweise das elektrische....) Diese Aussage ist komisch. aus meiner sicht der on-shell 4-current j μ ist eichinvariant und unabhängig vom Eichpotential EIN μ . Dieser Teil der skalaren QED-Materie zeigt dieses Ergebnis, j μ ich e { ϕ D μ ϕ ( D μ ϕ ) ϕ }
Hallo @Zoe Rowa. Danke für die Rückmeldung. Wie ich es sehe j μ ist eichinvariant, hängt aber von ab EIN .
Hallo @Qmechanic, danke für deine Antwort. Ich stimme deiner Aussage zu. Mit der ähnlichen Logik könnte man sagen F μ v ist eichinvariant und abhängig von EIN μ . Für die Terminologie ist Eichinvariante klar, während "Abhängigkeit" nicht klar genug ist, letzteres braucht mehr Worte, um seinen Inhalt zu verdeutlichen.