Kovariante Formulierung des klassischen Elektromagnetismus - Covariant formulation of classical electromagnetism

Die kovariante Formulierung des klassischen Elektromagnetismus bezieht sich auf die Schreibweise der Gesetze des klassischen Elektromagnetismus (insbesondere der Maxwell-Gleichungen und der Lorentzkraft ) in einer Form, die unter Lorentz-Transformationen offensichtlich invariant ist , im Formalismus der speziellen Relativitätstheorie unter Verwendung von geradlinigen Trägheitskoordinatensystemen . Diese Ausdrücke machen es sowohl einfach zu beweisen, dass die Gesetze des klassischen Elektromagnetismus in jedem Trägheitskoordinatensystem dieselbe Form annehmen, als auch eine Möglichkeit, die Felder und Kräfte von einem System in ein anderes zu übertragen. Dies ist jedoch nicht so allgemein wie die Maxwell-Gleichungen in gekrümmter Raumzeit oder nicht geradlinigen Koordinatensystemen.

Dieser Artikel verwendet durchgängig die klassische Behandlung von Tensoren und die Einstein-Summationskonvention, und die Minkowski-Metrik hat die Form diag(+1, −1, −1, −1). Wo die Gleichungen als im Vakuum gehalten angegeben werden, könnte man sie stattdessen als Formulierung der Maxwell-Gleichungen in Bezug auf Gesamtladung und Strom betrachten.

Für einen allgemeineren Überblick über die Beziehungen zwischen klassischem Elektromagnetismus und spezieller Relativitätstheorie, einschließlich verschiedener konzeptioneller Implikationen dieses Bildes, siehe Klassischer Elektromagnetismus und spezielle Relativitätstheorie .

Kovariante Objekte

Vorläufige Vierer-Vektoren

Lorentz-Tensoren der folgenden Arten können in diesem Artikel verwendet werden, um Körper oder Teilchen zu beschreiben:

wobei γ ( u ) der Lorentzfaktor bei der 3-Geschwindigkeit u ist .
wo 3-Impuls, ist die Gesamtenergie und ist Ruhemasse .
  • Der d'Alembertsche Operator wird mit , bezeichnet .

Die Vorzeichen in der folgenden Tensoranalyse hängen von der Konvention ab, die für den metrischen Tensor verwendet wird . Die hier verwendete Konvention ist (+ − − −) , entsprechend dem metrischen Minkowski-Tensor :

Elektromagnetischer Tensor

Der elektromagnetische Tensor ist die Kombination der elektrischen und magnetischen Felder zu einem kovarianten antisymmetrischen Tensor, dessen Einträge B- Feldgrößen sind.


und das Ergebnis der Erhöhung seiner Indizes ist

wobei E das elektrische Feld , B das magnetische Feld und c die Lichtgeschwindigkeit ist .

Vierstrom

Der Viererstrom ist der kontravariante Vierervektor, der die elektrische Ladungsdichte ρ und die elektrische Stromdichte j kombiniert :

Vier-Potential

Das elektromagnetische Viererpotential ist ein kovarianter Vierervektor, der das elektrische Potential (auch Skalarpotential genannt ) ϕ und das magnetische Vektorpotential (oder Vektorpotential ) A wie folgt enthält:

Die Differenz des elektromagnetischen Potentials ist

In der Sprache der Differentialformen , die die Verallgemeinerung auf gekrümmte Raumzeiten liefert, sind dies die Komponenten einer 1-Form bzw. einer 2-Form . Hier ist die äußere Ableitung und das Keilprodukt .

Elektromagnetischer Stress – Energietensor

Der elektromagnetische Spannungs-Energie-Tensor kann als Flussdichte des Impuls-Vier-Vektors interpretiert werden und ist ein kontravarianter symmetrischer Tensor, der den Beitrag der elektromagnetischen Felder zum gesamten Spannungs-Energie-Tensor darstellt :

wobei die elektrische Permittivität des Vakuums ist , μ 0 die magnetische Permeabilität des Vakuums ist , der Poynting-Vektor ist

und der Maxwell-Spannungstensor ist gegeben durch

Der elektromagnetische Feldtensor F konstruiert den elektromagnetischen Spannungs-Energie-Tensor T durch die Gleichung:

wobei η der metrische Minkowski- Tensor ist (mit Signatur (+ − − −) ). Beachten Sie, dass wir die Tatsache nutzen, dass

was durch die Maxwell-Gleichungen vorhergesagt wird.

Maxwell-Gleichungen im Vakuum

Im Vakuum (oder für die mikroskopischen Gleichungen ohne makroskopische Materialbeschreibungen) können die Maxwell-Gleichungen als zwei Tensorgleichungen geschrieben werden.

Die beiden inhomogenen Maxwell-Gleichungen, das Gauss-Gesetz und das Ampère-Gesetz (mit Maxwell-Korrektur) verbinden sich zu (mit (+ − − −) Metrik):

GaußAmpère- Gesetz

während sich die homogenen Gleichungen – das Faradaysche Induktionsgesetz und das Gaußsche Gesetz für den Magnetismus kombinieren, um zu bilden , die mit Levi-Civita-Dualität geschrieben werden können als:

GaußFaradaysches Gesetz

wobei F αβ das ist elektromagnetische Tensor , J α ist der Vier-Strom , & egr; αβγδ ist die Levi-Civita - Symbol , und die Indizes verhalten sich gemäß dem Einstein Summenkonvention .

Jede dieser Tensorgleichungen entspricht vier Skalargleichungen, eine für jeden Wert von β .

Mit der antisymmetrischen Tensornotation und Kommanotation für die partielle Ableitung (siehe Ricci-Kalkül ) kann die zweite Gleichung auch kompakter geschrieben werden als:

In Ermangelung von Quellen reduzieren sich die Maxwell-Gleichungen auf:

die eine elektromagnetische Wellengleichung im Feldstärketensor ist.

Maxwell-Gleichungen im Lorenz-Eich

Die Lorenz-Eichbedingung ist eine Lorentz-invariante Eichbedingung. (Dies kann mit anderen Eichbedingungen wie der Coulomb-Eichung verglichen werden , die, wenn sie in einem Inertialsystem gilt, im Allgemeinen in keinem anderen gilt.) Es wird wie folgt als Viererpotential ausgedrückt:

Im Lorenz-Eich können die mikroskopischen Maxwell-Gleichungen wie folgt geschrieben werden:

Lorentzkraft

Geladenes Teilchen

Lorentzkraft f auf ein geladenes Teilchen (der Ladung q ) in Bewegung (Momentangeschwindigkeit v ). Das E- Feld und das B- Feld variieren in Raum und Zeit.

Elektromagnetische (EM) Felder beeinflussen die Bewegung elektrisch geladener Materie: aufgrund der Lorentzkraft . Auf diese Weise können EM-Felder nachgewiesen werden (mit Anwendungen in der Teilchenphysik und Naturereignissen wie in Polarlichtern ). In relativistischer Form verwendet die Lorentzkraft den Feldstärketensor wie folgt.

Ausgedrückt in der Koordinatenzeit t ist es:

wobei p α der Viererimpuls ist, q die Ladung ist und x β der Ort ist.

In rahmenunabhängiger Form ausgedrückt, haben wir die Viererkraft

wobei u β ist die Viergeschwindigkeit und τ ist die des Partikels geeignete Zeit , die von Zeit zu koordinieren zusammenhängt dt = γdτ .

Ladungskontinuum

Lorentzkraft pro Raumvolumen f auf eine kontinuierliche Ladungsverteilung ( Ladungsdichte ρ) in Bewegung.

Die Kraftdichte des Elektromagnetismus, dessen räumlicher Anteil die Lorentzkraft ist, ist gegeben durch

und steht in Beziehung zum elektromagnetischen Spannungs-Energie-Tensor durch

Naturschutzgesetze

Elektrische Ladung

Die Kontinuitätsgleichung :

drückt Ladungserhaltung aus .

Elektromagnetische Energie–Impuls

Unter Verwendung der Maxwell-Gleichungen kann man sehen, dass der elektromagnetische Spannungs-Energie-Tensor (oben definiert) die folgende Differentialgleichung erfüllt, in Bezug auf den elektromagnetischen Tensor und den Strom-Vier-Vektor

oder

was die Erhaltung des linearen Impulses und der Energie durch elektromagnetische Wechselwirkungen ausdrückt.

Kovariante Objekte in Materie

Freie und gebundene Vierströme

Um die hier angegebenen Gleichungen des Elektromagnetismus zu lösen, müssen Informationen zur Berechnung des elektrischen Stroms hinzugefügt werden, J ν Häufig ist es praktisch, den Strom in zwei Teile zu zerlegen, den freien Strom und den gebundenen Strom, die modelliert durch verschiedene Gleichungen;

wo

Es wurden die makroskopischen Gleichungen von Maxwell verwendet, zusätzlich die Definitionen der elektrischen Verschiebung D und der magnetischen Intensität H :

wobei M die Magnetisierung und P die elektrische Polarisation ist .

Magnetisierungs-Polarisationstensor

Der gebundene Strom wird aus den P- und M- Feldern abgeleitet, die einen antisymmetrischen kontravarianten Magnetisierungs-Polarisations-Tensor bilden

was den gebundenen Strom bestimmt

Elektrischer Verschiebungstensor

Kombiniert man dies mit F μν erhält man den antisymmetrischen kontravarianten elektromagnetischen Verschiebungstensor, der die D- und H- Felder wie folgt kombiniert :

Die drei Feldtensoren sind verbunden durch:

was den oben angegebenen Definitionen der D- und H- Felder entspricht.

Maxwell-Gleichungen in Materie

Das Ergebnis ist, dass das Gesetz von Ampère ,

,

und das Gaußsche Gesetz ,

,

kombiniere zu einer Gleichung:

GaußAmpère- Gesetz (Materie)

Der gebundene Strom und der freie Strom wie oben definiert werden automatisch und separat gespeichert separately

Konstitutive Gleichungen

Vakuum

Im Vakuum sind die konstitutiven Beziehungen zwischen Feldtensor und Verschiebungstensor:

Antisymmetrie reduziert diese 16 Gleichungen auf nur sechs unabhängige Gleichungen. Da es üblich ist, F μν durch

die konstitutiven Gleichungen können im Vakuum mit dem Gauß-Ampère-Gesetz kombiniert werden, um zu erhalten:

Der elektromagnetische Spannungs-Energie-Tensor in Bezug auf die Verschiebung ist:

wobei δ α π das Kronecker-Delta ist . Wenn der obere Index mit η gesenkt wird , wird er symmetrisch und ist Teil der Quelle des Gravitationsfeldes.

Lineare, nichtdispersive Materie

Somit haben wir das Problem der Modellierung des Stroms J ν auf zwei (hoffentlich) einfachere Probleme reduziert – die Modellierung des freien Stroms J ν frei und die Modellierung der Magnetisierung und Polarisation, . Zum Beispiel hat man in den einfachsten Materialien bei niedrigen Frequenzen

wobei man sich im augenblicklich mitbewegten Inertialsystem des Materials befindet, ist σ seine elektrische Leitfähigkeit , χ e seine elektrische Suszeptibilität und χ m seine magnetische Suszeptibilität .

Die konstitutiven Beziehungen zwischen den und F- Tensoren, die von Minkowski für ein lineares Material vorgeschlagen wurden ( dh E ist proportional zu D und B proportional zu H ), sind:

wobei u die Vierergeschwindigkeit des Materials ist, ε bzw. μ die Eigenpermittivität und Permeabilität des Materials (dh im Ruhesystem des Materials) sind und das Hodge-Dual bezeichnen .

Lagrange-Operator für klassische Elektrodynamik

Vakuum

Die Lagrangesche Dichte für die klassische Elektrodynamik setzt sich aus zwei Komponenten zusammen: einer Feldkomponente und einer Quellenkomponente:

Im Wechselwirkungsterm ist der Viererstrom als Abkürzung vieler Begriffe zu verstehen, die die elektrischen Ströme anderer geladener Felder in Bezug auf ihre Variablen ausdrücken; der Viererstrom ist selbst kein Fundamentalfeld.

Die Lagrange-Gleichungen für die elektromagnetische Lagrange-Dichte können wie folgt formuliert werden:

Bemerken

,
und

der Ausdruck in der eckigen Klammer ist

Der zweite Term ist

Daher lauten die Bewegungsgleichungen des elektromagnetischen Feldes

Dies ist die obige Gauß-Ampère-Gleichung.

Angelegenheit

Trennt man die freien Ströme von den gebundenen Strömen, kann man die Lagrange-Dichte auch wie folgt schreiben:

Mit der Lagrange-Gleichung können die Bewegungsgleichungen für abgeleitet werden.

Der äquivalente Ausdruck in nicht-relativistischer Vektornotation ist

Siehe auch

Hinweise und Referenzen

Weiterlesen