Fundamentale Invarianten des elektromagnetischen Feldes

Es ist eine Standardübung in der relativistischen Elektrodynamik zu zeigen, dass der elektromagnetische Feldtensor F μ v , deren Komponenten gleich der elektrischen sind E ich = c F ich 0 und magnetisch B ich = 1 2 ϵ ich j k F j k Felder im genommenen Bezugssystem, hat zwei Lorentz-Invarianten,

1 2 F μ v F μ v = B 2 E 2
und
1 4 F μ v F μ v = 1 4 ϵ μ v a β F μ v F a β = B E .

Es gibt jedoch einen weiteren Wikipedia-Artikel , der besagt, dass diese beiden Größen grundlegend sind , in dem Sinne, dass jede andere Invariante dieses Tensors eine Funktion dieser beiden sein muss. Während ich das plausibel finde, habe ich nie einen Beweis für diese Tatsache gesehen, und er fehlt zB bei Jackson. Gibt es einen einfachen Beweis für diese Tatsache? Ich interessiere mich besonders für Invarianten höherer Ordnung, aber ich möchte auch, dass die Antworten einen Beweis enthalten, dass dies die einzigen beiden Bilinears sind.

Um genauer zu sein, würde ich gerne einen Beweis dafür sehen

Jede Funktion ich : F μ v ich ( F ) R das elektromagnetische Feldtensoren in reale Skalare umwandelt und Lorentz-invariant ist (dh ich ( Λ μ a Λ v β F a β ) = ich ( F μ v ) für alle Lorentztransformationen) muss eine Funktion sein ich ( F ) = ich ' ( F μ v F μ v , F μ v   F μ v ) der beiden oben beschriebenen fundamentalen Invarianten.

Wenn es mehrere Möglichkeiten gibt, zu diesem Ergebnis zu gelangen, würde ich mich auch über Kommentare dazu freuen, wie sie zueinander in Beziehung stehen.

@NijankowskiV. : Die Frage bezieht sich auf Invarianten höherer Ordnung (kubisch, quartisch usw.).
@EmilioPisanty: Ich frage mich, ob es einen Zusammenhang damit gibt, dass die Anzahl der unabhängigen Casimir-Operatoren nur von der Symmetriegruppe abhängt, hier der Poincaré-Gruppe, und nicht von der Darstellung. Und das wissen wir, es gibt nur 2 unabhängige Casimir für die Poincaré-Gruppe...
@Trimok Das mag zwar etwas dran haben, aber jede solche Erklärung müsste entweder (a) die Zwei-Tensor-Eigenschaft und Asymmetrie von berücksichtigen F , oder (b) auch streng zwei unabhängige Invarianten für Tensoren jeden Ranges und jeder Symmetrie erzeugen. Obwohl nicht unplausibel, klingt (b) für mich unwahrscheinlich, während (a) etwas davon entfernt klingt.
Vielleicht verwenden sie nicht die ganze Allgemeingültigkeit, nach der Sie zu suchen scheinen, aber haben Sie arXiv:1309.4185 überprüft ?
Anmerkungen zur Frage (v3): (i) Man könnte vielleicht explizit erwähnen, dass die reellen Skalare auch eichinvariant sein sollten (neben der Lorentz-Invariante), um zB auszuschließen EIN μ EIN μ . (ii) Was ist mit Raumzeit-Ableitungen von F μ v ? Sollen sie erlaubt sein? Z.B F μ v F μ v , λ F μ v λ F μ v , etc? (iii) Was ist mit anderen Dimensionen als 4D?
Eigenwerte sind Invarianten, finde die Eigenwerte von F v μ durch Berechnung der charakteristischen Gleichung det ( F v μ λ δ v μ ) = 0 , die Koeffizienten des charakteristischen Polynoms spucken beide Ausdrücke aus (und werden nach dem Satz von Vieta in Bezug auf die Eigenwerte ausgedrückt, daher unveränderlich), Dalarsson sek. 15.3.
@Qmechanic Die Frage fragt explizit nach Funktionen von F μ v und erwähnt nicht das Eichpotential. Tatsächlich lässt es die Möglichkeit zu, dass die F Form ist nicht geschlossen, in diesem Fall gibt es kein Konzept eines (weder lokalen noch globalen) Eichpotentials.
@bolbteppa Eigenwerte sind bei orthogonalen Transformationen unveränderlich, nicht bei Lorentz-Transformationen.

Antworten (6)

Hier ist der Beweis aus der "Klassischen Theorie der Felder" von Landau & Lifshitz:

Nimm den komplexen (3)-Vektor:

F = E + ich B .
Betrachten Sie nun das Verhalten dieses Vektors unter Lorentz-Transformationen. Es ist leicht zu zeigen, dass Lorentz-Boosts Drehungen um die imaginären Winkel entsprechen, z. B. Boost-In ( x , t ) Flugzeug:
F x = F x ' , F j = F j ' cosch ψ ich F z ' Sünde ψ = F j ' cos ich ψ F z ' Sünde ich ψ . F z = F z ' cos ich ψ + F j ' Sünde ich ψ ,
wo Tanh ψ = v c , entsprechen der Rotation von F durch imaginären Winkel ich ψ in dem ( j , z ) Flugzeug.

Insgesamt ist die Menge aller Lorentz-Transformationen (einschließlich der rein räumlichen Drehungen) gleichbedeutend mit der Menge aller möglichen Drehungen durch komplexe Winkel im dreidimensionalen Raum (wobei die sechs Drehwinkel im Vierraum den drei komplexen Winkeln entsprechen Rotation des dreidimensionalen Systems).

Die einzige Rotationsinvariante eines Vektors ist sein Quadrat: F 2 = E 2 B 2 + 2 ich ( E B ) also die realen Mengen E 2 B 2 und ( E B ) sind die einzigen zwei unabhängigen Invarianten des Tensors F μ v .

Im Wesentlichen reduzieren wir also das Problem der Invariante von F μ v unter Lorentz transformieren in Invarianten eines 3-Vektors unter Drehungen, der ein Quadrat eines Vektors ist (und nur er). Also jede Invariante ich ( F ) muss die Funktion von sein ( F 2 ) und ( F 2 ) .

Hier ist ein weiterer Beweis.

Nehmen wir an, dass es eine andere Invariante gibt ich 3 funktional unabhängig von ich 1 = E 2 B 2 und ich 2 = B E . Dies würde das bedeuten

  1. Es gibt Paare von Vektoren ( E , B ) und ( E ' , B ' ) , die das gleiche haben ich 1 und ich 2 die aber nicht durch eine Lorentz-Transformation ineinander umgewandelt werden können (weil sie unterschiedliche Invariantenwerte haben ich 3 ).

  2. Wenn eine Lorentz-Transformation ein Paar ändert ( E , B ) hinein ( E ' , B ' ) , dann gibt es ein weiteres Paar ( E , B ) mit dem gleichen ich 1 und ich 2 (aber anders ich 3 ), in die keine Lorentz-Transformation transformieren kann ( E ' , B ' ) .

Es ist leicht zu beweisen, dass sowohl 1 als auch 2 falsch sind. Lassen Sie uns (2) widerlegen. Lassen Sie uns dazu die einzigartige besondere Form von auswählen ( E ' , B ' ) wo E ' und B ' sind beide parallel zu den x Achse (und E x 0 ). Dies kann immer dann erfolgen, wenn mindestens einer der ich 1 oder ich 2 mit einer Kombination von Boost entlang der zueinander orthogonalen zu ungleich Null ist E und B Richtung mit der Geschwindigkeit v befriedigend

v / c 1 + v 2 / c 2 = [ E × B ] E 2 + B 2
und räumliche Rotation (beachten Sie, dass eine solche Transformation nicht eindeutig ist). Da eine solche Transformation für alle Paare von existiert ( E , B ) und ein Paar ( E ' , B ' ) ist eindeutig definiert durch ich 1 und ich 2 Wir haben bewiesen, dass 2 falsch ist. Wir haben also einen Widerspruch und keine unabhängige Invariante ich 3 existiert.


Hinweis : Ein Sonderfall von ich 1 = 0 , ich 2 = 0 muss gesondert betrachtet werden, bereitet aber keine besonderen Probleme.

Ein (konstruktiver) Beweis basierend auf Die Invarianten des elektromagnetischen Feldes (arxiv, 2014)

Wir präsentieren einen konstruktiven Beweis, dass alle eichinvarianten Lorentz-Skalare in der Elektrodynamik als Funktion der quadratischen ausgedrückt werden können.

Zusammenfassung

Annahme einer verallgemeinerten Matrixschreibweise für die Tensoren in der Elektrodynamik.

Eine bequeme Möglichkeit, alle Skalare und Pseudoskalare zu klassifizieren, besteht darin, eine Ordnungsinvariante zu schreiben n (gerade oder ungerade) in der Feldstärke als:

ich ( n ) = F a β F κ λ ich a β κ λ       ( n   Faktoren)

wo ich a β κ λ wird aus dem einzigen Tensor und Pseudotensor konstruiert, die unter den eigentlichen Lorentz-Transformationen invariant sind: η μ v und ϵ a β μ v .

Jetzt gibt es 3 Fälle:

A.

Das ich a β κ λ enthält nicht die ϵ a β μ v Tensor.

Dann haben die Invarianten die generische Form:

ich ( n ) = T r ( F q ) T r ( F p ) T r ( F r )

mit p + q + + r = n

Die Antisymmetrie von F impliziert, dass T r ( F q ) = 0 Wenn q ist ungerade.

Für sogar p , die Paritätserhaltung und die Wiederholungsrelation:

T r ( F p ) = F 2 T r ( F p 2 ) + G 16 T r ( F p 4 )

impliziert, dass alle Invarianten dieser Form auf die quadratischen Invarianten (und Funktionen davon) reduziert werden.

B.

Das ich a β κ λ enthält ϵ a β μ v Tensor gerade oft.

In diesem Fall können die epsilon-antisymmetrischen Tensoren reduziert werden gemäß:

ϵ μ v ρ σ ϵ π δ κ λ = det [ η μ π η μ δ η μ κ η μ λ η v π η v δ η v κ η v λ η ρ π η ρ δ η ρ κ η ρ λ η σ π η σ δ η σ κ η σ λ ]

und dann wie im Fall A behandelt .

C.

Das ich a β κ λ enthält ϵ a β μ v Tensor ungerade oft.

Analog zu Fall B kann vor allem bis auf einen Epsilon-Faktor reduziert werden, was zur generischen Form führt:

ich a β κ λ μ v π δ = η a β η κ λ ϵ μ v π δ       ( n 2     Faktoren )

Die einzige Invariante mit einem Epsilon-Tensor reduziert sich auf den Faktor der generischen Form:

ich ( q + r ) = ( F q ) κ λ ϵ κ λ π δ ( F r ) π δ

die sich mit ähnlichen Rekursionsbeziehungen wie in Teil A auf quadratische Invarianten reduziert.

(Einzelheiten und Wiederholungsbeziehungen finden Sie im Dokument)

Dies ist eine Kopie meiner Antwort auf eine andere Frage, die als Duplikat dieser Frage markiert wurde.

Ich muss zugeben, dass ich mit der Lorentz-Gruppe nicht sehr vertraut bin, aber diese Art von Fragen ist definitiv für die Gruppentheorie. Aus Wikipedia schließe ich, dass sich der elektromagnetische Feldtensor unter transformiert ( 1 , 0 ) ( 0 , 1 ) Darstellung. Die allgemeine Idee ist, herauszufinden, wie viele Invarianten (d. h. ( 0 , 0 ) ) kann aus zwei Werten gebildet werden, die sich nach unten transformieren ( 1 , 0 ) ( 0 , 1 ) . Wir müssen also das Ergebnis der direkten Produkte finden [ ( 1 , 0 ) ( 0 , 1 ) ] [ ( 1 , 0 ) ( 0 , 1 ) ] .

Basierend auf der hier gegebenen Erklärung schließe ich, dass es gleich ist

[ ( 1 , 0 ) ( 0 , 1 ) ] [ ( 1 , 0 ) ( 0 , 1 ) ] =
[ ( 1 , 0 ) ( 1 , 0 ) ] [ ( 0 , 1 ) ( 0 , 1 ) ] 2 [ ( 1 , 0 ) ( 1 , 0 ) ] =
[ ( 0 , 0 ) ( 1 , 0 ) ( 2 , 0 ) ] [ ( 0 , 0 ) ( 0 , 1 ) ( 0 , 2 ) ] 2 ( 1 , 1 ) =
2 ( 0 , 0 ) [ ( 1 , 0 ) ( 0 , 1 ) ] [ ( 2 , 0 ) ( 0 , 2 ) ] 2 ( 1 , 1 )

Die Anzahl der Skalare ( ( 0 , 0 ) Darstellung) im Produkt ist 2. Wir können also nur zwei Skalare aus dem Produkt zweier elektromagnetischer Feldtensoren konstruieren.

Ich denke, der Punkt ist, dass die einzigen invarianten Tensoren (unter richtigen Lorentz-Transformationen) sind ϵ μ v a β und η μ v , also enthält jede Invariante eine gewisse Anzahl von Potenzen von F μ v wobei die Indizes mit diesen beiden unveränderlichen Tensoren zusammengezogen (erhöht) werden. Wegen Antisymmetrie und Symmetrie η kann nur einmal auf handeln F und ϵ kann nicht auf die gleiche Sache wirken F mehr als zweimal. Das reduziert also die Möglichkeiten auf Potenzen von F 2 und F F

Berechnen wir das charakteristische Polynom des Tensors:

F a b = ( 0 E x E j E z E x 0 B z B j E j B z 0 B x E z B j B x 0 )

was sich herausstellt:

p F ( λ ) = λ 4 ( E 2 B 2 ) λ 2 ( E B ) 2

Es ist ein bekanntes Ergebnis, dass das Auffinden der Invarianten eines Tensors auf das Auffinden der Invarianten reduziert werden kann, die Polynomfunktionen seiner Koordinaten sind, siehe Zheng (1994) .

Dies legt viel Gewicht auf die zitierte Referenz. Können Sie die Art des dort gemeldeten Ergebnisses ein wenig erläutern?
Im Wesentlichen für jede Invariante f ( F ) wir können eine polinomiale Invariante finden p ( F ) so dass: f ( F ) = ϕ p ( F ) , sodass nicht-polynomiale Invarianten unter vernünftigen Bedingungen übersprungen werden können.