Eine einfache Beweiskovarianz von Maxwell-Gleichungen

Ich habe gelesen, dass Maxwell-Gleichungen unter Lorentz-Transformationen kovariant sind, aber ich kann keinen Beweis finden. Oder zumindest ein Beweis, der für jemanden verständlich ist, der sich nicht mit höherer Mathematik auskennt (bitte fangen Sie nicht an, Hieroglyphen in Tensornotation zu schreiben, weil ich sie nicht verstehen kann: und beachten Sie, dass diese Frage aufgrund dieser Bitte kein Duplikat ist ) . Ich habe versucht, einen einfachen Kalkül zu machen und zu finden, was folgt. Betrachten wir die beiden Standardsysteme S Und S ' (in Bewegung zum Positiven X ) verwenden wir in der Relativitätstheorie. Nehmen wir an, in S ' Maxwell-Gleichungen funktionieren:

{ ' E ' = ρ ' ε 0 ' B ' = 0 ' × E ' = B ' T ' ' × B ' = μ 0 J ' + ε 0 μ 0 E ' T '
Dann erwarte ich, dass ich Auswechslungen mache
E ' = ( E X , γ ( E j v B z ) , γ ( E z + v B j )
B ' = ( B X , γ ( B j + v C 2 E z ) , γ ( B z v C 2 E j ) )
ρ ' = ( 1 u X v C 2 ) γ ρ
X ' = γ ( X + v C 2 T )
j ' = j
z ' = z
T ' = γ ( T + v X )
u X ' = u X v 1 u X v C 2
u j ' = u j γ ( 1 u X v C 2 )
u z ' = u z γ ( 1 u X v C 2 )
Ich sollte erhalten
{ E = ρ ε 0 B = 0 × E = B T × B = μ 0 J + ε 0 μ 0 E T
Aber wenn Sie das tun, werden Sie sehen, dass dies nur für die Querkomponente funktioniert ( j Und z ) von Vektorgleichungen (3. und 4., die mit curl). Konzentrieren wir uns zum Beispiel auf die einfachere Maxwell-Gleichung, die 2., die in S ' Ist: ' B ' = 0 . Durch Substitutionen verwandelt sich dies in B = 0 nur wenn die X Bestandteil von × E + B T ist Null. Auf den ersten Blick könnte man sagen "wo ist das Problem? Das funktioniert, wegen 3. Maxwell-Gleichungen". Das Problem ist, dass dies nicht grundiert ist! Meine Ausgangshypothese, bei der die gestrichenen Maxwell-Gleichungen: die nicht gestrichenen Maxwell-Gleichungen sind, was ich zu beweisen versuche. Wenn Sie auf irgendeine Weise beweisen können, dass sich die Längskomponente der gestrichenen 3. Maxwell-Gleichung korrekt in eine nicht gestrichene transformiert, dann würde der Beweis funktionieren, aber wenn Sie versuchen, zu transformieren ' × E ' = B ' T ' du wirst finden × E = B T nur wenn du meinst B = 0 . Mit anderen Worten

  • Die gestrichene 2. Gleichung wurde nur dann zur nicht gestrichenen 2. Gleichung, wenn die Längskomponente der nicht gestrichenen 3. Gleichung funktioniert
  • Längskomponente der gestrichenen 3. Gleichung wird nur dann zur Längskomponente der nicht gestrichenen 3. Gleichung, wenn die nicht gestrichene 2. Gleichung funktioniert

Diese Sackgasse ist frustrierend. Wenn Sie rechnen, können Sie sehen, dass die Dinge in ähnlicher Weise mit den anderen beiden Gleichungen ablaufen

  • Die gestrichene 1. Gleichung wurde nur dann zur nicht gestrichenen 1. Gleichung, wenn die Längskomponente der nicht gestrichenen 4. Gleichung funktioniert
  • Die Längskomponente der gestrichenen 4. Gleichung wurde nur dann zur Längskomponente der nicht gestrichenen 4. Gleichung, wenn die 1. Gleichung funktioniert

Noch kompakter kann ich schreiben (hier beziehen sich Zahlen auf Maxwell-Gleichungen in der Reihenfolge, die ich oben verwendet habe)

  • 2 ' Zu 2 Wenn 3 X
  • 3 X ' Zu 3 X Wenn 2
  • 1 ' Zu 1 Wenn 4 X
  • 4 X ' Zu 4 X Wenn 1

So sehen Sie auf einen Blick, dass wir uns in einer Sackgasse befinden! könnte ich hinzufügen

  • 3 j ' Zu 3 j ohne Probleme
  • 3 z ' Zu 3 z ohne Probleme
  • 4 j ' Zu 4 j ohne Probleme
  • 4 z ' Zu 4 z ohne Probleme

Vielleicht hätte ich keine Probleme mit der möglichen Formulierung von Maxwell-Gleichungen? (Es sieht nicht nach einer unerschwinglichen Schwierigkeit aus, wie ein Tensoransatz, aber ich habe es nicht so versucht.) Wie auch immer, wenn ich Resnick "Introduzione alla relatività ristretta" lese, denke ich, dass die Feldformulierung für diesen Beweis gut sein sollte, aber er rechnet explizit nur für die j Bestandteil von × E = B T , was einer der Spezialfälle ist, in denen dieser Beweis funktioniert! Ich kann nicht glauben, dass wir zum Beweis der Invarianz eine Änderung des Formalismus brauchen, sicherlich ist es möglich, das Ziel mit einigen listigen Tricks zu erreichen, die ich nicht sehe. Aber welcher?

Wenn Sie einen Beweis dafür ohne Tensornotation sehen wollen, dann hat ihn Einsteins 1905 erschienener Artikel über die spezielle Relativitätstheorie.
Warum sollte jemand dies ohne kovariante Notation tun wollen?
@my2cts a) Weil diese Notation einfacher und daher auch für diejenigen verständlich ist, die sich nicht mit Tensorrechnung auskennen. b) Weil sogar Physiker, nicht nur Mathematiker, Spaß (und in manchen Fällen auch nützlich) daran finden können, alternative Beweise zu erfinden.

Antworten (2)

Es scheint, dass Sie tatsächlich Invarianz bewiesen haben: Da der gesamte Satz von Maxwells Gleichungen in einem Frame wahr ist, sind sie in einem anderen Frame wahr.

Aber das gefällt Ihnen nicht, weil Sie das irgendwie unabhängig für eine der Gleichungen gleichzeitig tun möchten. Das ist nicht möglich, weil nur die Menge der Maxwell-Gleichungen zusammen die Invarianzeigenschaft hat. Das ist der wirklich tiefe Punkt von all dem: Das Coulombsche Gesetz oder das Faradaysche Gesetz oder jeder andere Teil an sich ist eine Frame-abhängige Sache. Erst mit der Maxwellschen Unifikation (einschließlich des Verschiebungsterms) erhält man eine einheitliche, invariante Menge. Und diese Invarianz erfordert die spezielle Relativitätstheorie, nicht die Newtonsche Relativitätstheorie.

Der erste Absatz scheint die Forminvarianz unter Eichtransformationen mit der Forminvarianz unter Poincaire-Transformationen zu verwechseln.
Ich verstehe den Anfang Ihrer Antwort nicht: Ich habe die Invarianz nicht bewiesen (das ist mein Problem!). Ich verstehe das Ende Ihrer Antwort auch nicht: Ich verwende keine galiläischen Transformationen, sondern Lorentz-Transformationen. Noch weniger verstehe ich die Kritik "Sie wollen das irgendwie unabhängig für eine der Gleichungen auf einmal machen". Das ist völlig falsch, ich habe Maxwell-Gleichungen alle zusammen betrachtet, deshalb habe ich sie in ein System gesteckt und bei Versuchen, die Invarianz einer zu beweisen, versucht, andere auszunutzen (die Tatsache, dass sich die Querkomponenten allein transformieren, ist zufällig).
Also, was ist das Problem? Sie können zeigen, dass sie alle unveränderlich sind, solange sie alle unveränderlich sind. Das ist ein schöner Beweis.
@BobJacobsen Mein Problem ist, dass es nicht funktioniert, Substitutionen vorzunehmen und zu vereinfachen (sogar andere Gleichungen auszunutzen). Vier der 8 Gleichungen (1,2,3x,3y,3z,4x,4y,4z) lassen sich allein transformieren, und ich hatte gehofft, dies sei ein Ausgangspunkt, um andere zu transformieren. Aber um andere in nicht gestrichene umzuwandeln, brauchen wir nicht 3y, 3z, 4y oder 4z (das wäre schön gewesen!), wir brauchen andere nicht gestrichene Gleichungen 1, 2, 3x oder 4x, aber ich kann sie nicht ausnutzen, weil Meine Ausgangshypothese waren die gestrichenen.

Ich habe einen Weg gefunden, das Problem zu lösen: Beginnen wir damit, die 8 Gleichungen explizit zu schreiben

{ ( A ) E X ' X ' + E j ' j ' + E z ' z ' = ρ ' ϵ 0 ( B ) B X ' X ' + B j ' j ' + B z ' z ' = 0 ( C ) E z ' j ' E j ' z ' = B X ' T ' ( D ) E X ' z ' E z ' X ' = B j ' T ' ( e ) E j ' X ' E X ' j ' = B z ' T ' ( F ) B z ' j ' B j ' z ' = μ 0 J X ' + ϵ 0 μ 0 E X ' T ' ( G ) B X ' z ' B z ' X ' = μ 0 J j ' + ϵ 0 μ 0 E j ' T ' ( H ) B j ' X ' B X ' j ' = μ 0 J z ' + ϵ 0 μ 0 E z ' T '
Wenn wir die Ersetzungen der Antwort vornehmen, können wir auf diese Weise neu anordnen (ich schreibe [ A ] X für A X )
{ ( A ) E ρ ϵ 0 = v [ × B μ 0 J ϵ 0 μ 0 E T ] X ( B ) B = v C 2 [ × E + B T ] X ( C ) [ × E + B T ] X = v B ( D ) E X z E z X = B j T ( e ) E j X E X j = B z T ( F ) [ × B μ 0 J ϵ 0 μ 0 E T ] X = v C 2 ( E ρ ϵ 0 ) ( G ) B X z B z X = μ 0 J j + ϵ 0 μ 0 E j T ( H ) B j X B X j = μ 0 J z + ϵ 0 μ 0 E z T
Wir sehen, dass (d), (e), (g) und (h) sich automatisch in nicht gestrichene Gleichungen transformieren (deshalb habe ich das in der Antwort geschrieben 3 j ' , 3 z ' , 4 j ' Und 4 z ' einwandeln 3 j , 3 z , 4 j Und 4 z ohne Probleme), während ich die anderen vier Gleichungen bequem arrangierte: Das Problem bestand darin, die Invarianz dieser zu beweisen. Aber nachdem wir das System wie oben beschrieben geschrieben haben, ist der Beweis einfach:

  • Multiplizieren von (c) mit v C 2 und durch Summieren zu (b) erhalten wir B = 0 (dh nicht gestrichen (b) des ersten Systems), was mit (b) ergibt E z j E j z = B X T (dh nicht grundiert (c) des ersten Systems)

  • Multiplizieren von (f) mit v und durch Summieren zu (a) erhalten wir E = ρ ε 0 (dh nicht gestrichen (a) des ersten Systems), was mit (a) ergibt B z j B j z = μ 0 J X + ϵ 0 μ 0 E X T (dh nicht grundiert (f) des ersten Systems)

Der Beweis ist beendet. Wenn ich diesen Beweis in einem Elektrodynamikbuch gefunden hätte, hätte ich viel Zeit gespart. Es tut mir leid, dass dieser interessante Beweis nicht in der Literatur steht (nicht jeder kann mit Tensoren umgehen). Das Resnick-Buch zeigt, wie man (d) transformiert, aber es ist nur der einfachste Fall.