Es ist eine Standardübung in der relativistischen Elektrodynamik zu zeigen, dass der elektromagnetische Feldtensor , deren Komponenten gleich der elektrischen sind und magnetisch Felder im genommenen Bezugssystem, hat zwei Lorentz-Invarianten,
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 das elektromagnetische Feldtensoren in reale Skalare umwandelt und Lorentz-invariant ist (dh für alle Lorentztransformationen) muss eine Funktion sein 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.
Hier ist der Beweis aus der "Klassischen Theorie der Felder" von Landau & Lifshitz:
Nimm den komplexen (3)-Vektor:
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: also die realen Mengen und sind die einzigen zwei unabhängigen Invarianten des Tensors .
Im Wesentlichen reduzieren wir also das Problem der Invariante von unter Lorentz transformieren in Invarianten eines 3-Vektors unter Drehungen, der ein Quadrat eines Vektors ist (und nur er). Also jede Invariante muss die Funktion von sein und .
Hier ist ein weiterer Beweis.
Nehmen wir an, dass es eine andere Invariante gibt funktional unabhängig von und . Dies würde das bedeuten
Es gibt Paare von Vektoren und , die das gleiche haben und die aber nicht durch eine Lorentz-Transformation ineinander umgewandelt werden können (weil sie unterschiedliche Invariantenwerte haben ).
Wenn eine Lorentz-Transformation ein Paar ändert hinein , dann gibt es ein weiteres Paar mit dem gleichen und (aber anders ), in die keine Lorentz-Transformation transformieren kann .
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 wo und sind beide parallel zu den Achse (und ). Dies kann immer dann erfolgen, wenn mindestens einer der oder mit einer Kombination von Boost entlang der zueinander orthogonalen zu ungleich Null ist und Richtung mit der Geschwindigkeit befriedigend
Hinweis : Ein Sonderfall von , 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 (gerade oder ungerade) in der Feldstärke als:
wo wird aus dem einzigen Tensor und Pseudotensor konstruiert, die unter den eigentlichen Lorentz-Transformationen invariant sind: und .
Jetzt gibt es 3 Fälle:
A.
Das enthält nicht die Tensor.
Dann haben die Invarianten die generische Form:
mit
Die Antisymmetrie von impliziert, dass Wenn ist ungerade.
Für sogar , die Paritätserhaltung und die Wiederholungsrelation:
impliziert, dass alle Invarianten dieser Form auf die quadratischen Invarianten (und Funktionen davon) reduziert werden.
B.
Das enthält Tensor gerade oft.
In diesem Fall können die epsilon-antisymmetrischen Tensoren reduziert werden gemäß:
und dann wie im Fall A behandelt .
C.
Das enthält Tensor ungerade oft.
Analog zu Fall B kann vor allem bis auf einen Epsilon-Faktor reduziert werden, was zur generischen Form führt:
Die einzige Invariante mit einem Epsilon-Tensor reduziert sich auf den Faktor der generischen Form:
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 Darstellung. Die allgemeine Idee ist, herauszufinden, wie viele Invarianten (d. h. ) kann aus zwei Werten gebildet werden, die sich nach unten transformieren . Wir müssen also das Ergebnis der direkten Produkte finden .
Basierend auf der hier gegebenen Erklärung schließe ich, dass es gleich ist
Die Anzahl der Skalare ( 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 und , also enthält jede Invariante eine gewisse Anzahl von Potenzen von wobei die Indizes mit diesen beiden unveränderlichen Tensoren zusammengezogen (erhöht) werden. Wegen Antisymmetrie und Symmetrie kann nur einmal auf handeln und kann nicht auf die gleiche Sache wirken mehr als zweimal. Das reduziert also die Möglichkeiten auf Potenzen von und
Berechnen wir das charakteristische Polynom des Tensors:
was sich herausstellt:
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) .
Trimok
Trimok
Emilio Pisanty
Benutzer34134
QMechaniker
bolbteppa
Parker
Parker