Können die Gesetze von Gauß und Ampere in Bezug auf die Divergenz eines Energie-Vier-Vektors geschrieben werden?

In den ersten 20 Minuten dieses Videos leitet Susskind die Kontinuitätsgleichung zur Ladungserhaltung her:

ρ ˙ + J = 0

(Wo J = Q ˙ M A M ; M = 1 , 2 , 3 ist die Stromdichte oder, wie Susskind es nennt, einfach der Strom.)

(Und M = 1 , 2 , 3 indiziert die Raumkomponenten x,y,z)

Und zeigt dann, dass diese Kontinuitätsgleichung kompakter als Divergenz eines aktuellen Vierervektors geschrieben werden kann:

ρ ˙ + J = μ J μ = 0 ; μ = 0 , 1 , 2 , 3

(Wo μ = 0 indiziert die Zeitkomponente. Für den Rest dieses Beitrags zeigt ein geschweifter Buchstabe einen Vierervektor an, während ein nicht geschweifter Buchstabe mit einem Pfeil darüber einen gewöhnlichen Vektor mit drei Leerzeichen anzeigt.)

Das heißt, er demonstriert das ρ ˙ kann als Zeitkomponente der Divergenz des Stroms betrachtet werden.

Meine Hauptfrage ist: Wenn ρ eine Zeitkomponente ist (dh nach der Zeit differenziert), hat das Gaußsche Gesetz dann nicht auch einen kompakteren Ausdruck als die Divergenz eines Energie-Vier-Vektors? Hier ist die Begründung:

Wenn die Kontinuitätsgleichung abgeleitet wird, indem man die Divergenz des Ampere-Gesetzes nimmt, sehen wir das E ˙ = ρ ˙ . Gut, wenn ρ eine Zeitkomponente ist, dann muss dies das bedeuten E ˙ = ρ . Daraus folgt, dass das Gaußsche Gesetz als Divergenz des Energie-Vier-Vektors geschrieben werden kann:

E = ρ ; E = ( E 1 , E 2 , E 3 ) μ E μ = 0 ; μ = 0 , 1 , 2 , 3

Und als logische Folge folgt daraus, dass die Divergenz des aktuellen Vierervektors gleich dem Laplace-Operator des Energie-Vierervektors ist?

μ 2 E μ = μ J μ

Begründung: Wenn ρ eine Zeitkomponente ist, dann ergibt die Divergenz des Gaußschen Gesetzes:

2 E = ρ ˙

...was seit E ˙ = E 0 = ρ , kann auch geschrieben werden

μ 2 E μ = 0

Aber durch Susskinds kompakten Ausdruck der Kontinuitätsgleichung wissen wir das μ J μ = 0 . Daher können die beiden gleichgesetzt werden: μ 2 E μ = μ J μ .

Und schließlich, wenn diese Folgerung wahr ist, folgt daraus nicht auch, dass das Amperesche Gesetz einen kompakteren Ausdruck hat als:

μ E μ = × B

Begründung: Durch Integrieren beider Seiten des Korollars erhält man:

μ E μ = J μ

Aber die RHS davon kann auch geschrieben werden:

J μ = ρ + J

...was seit ρ = E ˙ , ist auch:

J μ = E ˙ + J

Aber die RHS davon ist nur das Amperesche Gesetz ( × B = E ˙ + J ). Daher hat das Amperesche Gesetz den folgenden kompakten Ausdruck in Bezug auf die Divergenz des Energie-Vier-Vektors:

μ E μ = × B

Daraus folgt (glaube ich) automatisch eine wünschenswerte Eigenschaft - dass das Magnetfeld nicht rotierend ist ( × B = 0 ) - da der kompakte Ausdruck für das Gauß'sche Gesetz ist μ E μ = 0 .

Kennen Sie nicht die spezielle relativistische Form der EM-Felder, den Faraday-Bivektor? F ? Wie die Maxwellschen Gleichungen im Vakuum geschrieben werden können F = μ 0 J Und F = 0 ?

Antworten (1)

Die kovariante Formulierung von EM ist genau dies. Das tut auch die Formulierung als Eichtheorie. ( C = 1 im Folgenden)

Angesichts der E - Und B -Felder als räumliche Dreiervektoren in einem bestimmten Rahmen konstruieren wir den antisymmetrischen Feldstärketensor als (römische Indizes sind räumliche Indizes, Summierung über wiederholte Indizes impliziert)

F 0 ich := E ich Und F ich J := ϵ ich J k B k

Anhand des Verhaltens der Felder unter Lorentz-Transformationen kann man das tatsächlich sehen F μ v ist ein echter Tensor auf dem Minkowski-Raum. Ebenso konstruieren wir aus dem klassischen Strom einen Viererstrom J und die Ladungsdichte ρ von

J ich = J ich Und J 0 = ρ

Die Gesetze von Maxwell lesen sich jetzt einfach

μ F μ v = μ 0 J v Und μ ϵ μ v ρ σ F ρ σ = 0


Dies ist noch nicht die abstrakteste Art, dies darzustellen. Mit der Sprache der Differentialformen haben wir Formen F = F μ v D X μ D X v Und J = J μ D X μ . Die Maxwellschen Gesetze sehen nun in ihrer prägnantesten Form so aus:

D F = 0 Und D F = J

wobei der Stern das Hodge-Dual ist . Ein Vorteil dieser Sprache ist, dass man daraus schließen kann, dass es eine 1-Form gibt A mit F = D A auf jeder kontrahierbaren Teilmenge unseres Raums. Genauer gesagt existiert sie, wenn die zweite deRham-Kohomologie verschwindet.

Die eichtheoretische Beschreibung der Elektrodynamik geht davon aus, diese zusammenzukleben A die immer lokal vorhanden sind, um ein global definiertes Eichpotential zu erhalten A .