Wie leitet man die Maxwell-Gleichungen aus der elektromagnetischen Lagrange-Funktion ab?

In Heaviside-Lorentz-Einheiten lauten die Maxwell-Gleichungen:

E = ρ
× B E t = J
× E + B t = 0
B = 0

Aus der EM-Lagrange-Dichte:

L = 1 4 F μ v F μ v J μ EIN μ

Die ersten beiden Gleichungen kann ich aus der Variation des Wirkungsintegrals ableiten: S [ EIN ] = L d 4 x . Kann man daraus die letzten beiden Gleichungen ableiten?

@LarryHarson Da Sie ziemlich verärgert über die mangelnde Klarheit der vorliegenden Antworten zu sein scheinen, möchte ich sie zusammenfassen. Die Frage ist also, ob es möglich ist, die Maxwell-Gleichungen ohne Quelle aus der Aktion abzuleiten S ( EIN ) . Die Antwort ist, SIE BRAUCHEN ES NICHT, weil sie in der Schrift enthalten sind S ( EIN ) : Sie sind die Definition der Felder in Bezug auf die Potenziale. Das haben alle unten versucht zu sagen: seit F = d EIN , dann d F = 0 , genannt die Bianchi-Gleichheit.
@LarryHarson Wie könntest du sonst von einer Aktion ausgehen? S ( EIN ) je nach Potential , und enden Sie mit Gleichungen für Felder , wenn Sie sich nicht entscheiden B = × EIN und E = EIN + ϕ ? Diese beiden Feld <-> potentiellen Beziehungen\Definitionen erzwingen B = 0 und B + × E = 0 .

Antworten (3)

Nehmen Sie der Einfachheit halber Lichtgeschwindigkeit an c = 1 . Die Existenz des Messgeräts 4 -Potenzial EIN μ = ( ϕ , EIN ) allein impliziert, dass die quellenfreien Maxwell-Gleichungen

B   =   0 ' ' kein magnetischer Monopol"

× E + B t   =   0 ' ' Faradaysches Gesetz“

sind bereits identisch zufrieden. Um sie zu beweisen, verwenden Sie einfach die Definition des elektrischen Feldes

E   :=   ϕ EIN t ,

und das Magnetfeld

B   :=   × EIN

in Bezug auf die Spurweite 4 -Potenzial EIN μ = ( ϕ , EIN ) .

Das Obige wird natürlicher in einer offensichtlich Lorentz-kovarianten Notation diskutiert . OP könnte diesen Phys.SE-Beitrag auch interessant finden.

Also, um es zu wiederholen, noch bevor Sie beginnen, die Maxwell-Aktion zu variieren S [ EIN ] , die Tatsache, dass die Aktion S [ EIN ] ist in Bezug auf die Spurweite formuliert 4 -Potenzial EIN μ bedeutet, dass die quellenfreien Maxwell-Gleichungen identisch erfüllt sind. Anders formuliert, da die quellenfreien Maxwell-Gleichungen in diesem Ansatz offensichtlich von Anfang an implementiert sind, wodurch die Maxwell-Wirkung variiert wird S [ EIN ] wird den Status der quellenfreien Maxwell-Gleichungen in keiner Weise beeinflussen.

Beachten Sie das seit F μ v = μ EIN v v EIN μ , wir haben die Gleichung

μ F v a + a F μ v + v F a μ = 0
Diese Gleichung wird Bianchi-Identität genannt. Diese Gleichung ist getrennt von den Bewegungsgleichungen, die man durch Variieren der Aktion erhält. Es kann gezeigt werden, dass die Bianchi-Gleichung den letzten beiden Gleichungen entspricht, die Sie in Ihrer Frage erwähnt haben.

HINWEIS: Um die Antwort von @Qmechanic näher zu erläutern, die Tatsache, dass F μ v kann geschrieben werden als μ EIN v v EIN μ ist selbst eine Folgerung aus den letzten beiden Gleichungen.

-1 Es wurde die Frage gestellt, ob es möglich ist, die letzten beiden Gleichungen durch Variation der elektromagnetischen Wirkung abzuleiten.
@LarryHarson Sie wissen, dass es völlig legitim ist, Teilantworten auf eine Frage zu schreiben? Alle Antworten abzulehnen, die die Frage nicht vollständig beantworten, ist fast schon Trolling ...
@LarryHarson: Da das OP klargestellt hat, was er wollte, war Ihre Ablehnung ungerechtfertigt. Überprüfen Sie diese Antwort täglich, um festzustellen, ob sie bearbeitet wurde, damit Sie Ihre Ablehnung rückgängig machen können. . BEARBEITEN: Ich sehe, dass Sie nach der Klarstellung abgelehnt haben ... Wie beantwortet dies die Frage nicht? .
@Dimension10 und prahar: Ja, ich werde dies positiv bewerten, wenn es bearbeitet wird.
@LarryHarson: Ich habe die <s>Frage</s> ANTWORT jetzt bearbeitet. Bitte machen Sie Ihre Ablehnung rückgängig.
@Dimension10 Ich habe positiv abgestimmt, danke für die Erinnerung.

Aus geometrischer Sicht sind die letzten beiden Gleichungen eine Folge von:

(1) F = dA (Faraday-Tensor ist die äußere Ableitung des Viererpotentials)

(2) dd = 0 (die äußere Ableitung der äußeren Ableitung verschwindet)

Daher

(3) dF = 0

was die letzten beiden Gleichungen in Ihrer Frage ergibt.

@LarryHarson: Wie geht das nicht auf die Frage ein? .
Ich habe meine Ablehnung entfernt.
Ein sehr verspäteter Kommentar: Diese Notation ist so prägnant, dass sie einer Anleitung bedarf.