Warum kann die Divergenz des Vektorpotentials irgendetwas sein?

Purcell leitete in seinem Buch das Vektorpotential ab A verwenden kräuseln ( kräuseln A ) = μ 0 J .

Nach etwas Algebra kam er zu folgendem:

2 A X X 2 2 A X j 2 2 A X z 2 + X ( A X X + A j j + A z z ) = μ 0 J X .

Dann schrieb er:

[...] Die Menge in Klammern ist die Abweichung von A . Jetzt haben wir einen gewissen Spielraum in der Konstruktion A . Alles, was uns interessiert, ist seine Locke; seine Divergenz kann alles sein, was wir wollen. Lassen Sie uns das fordern

div A = 0
....

Als Grund nannte er:

Um zu sehen, warum wir dies tun können, nehmen wir an, wir hätten eine A so dass kräuseln A = B , Aber div A = F ( X , j , z ) 0. Behandeln F wie die Ladungsdichte ρ Im elektrostatischen Feld finden wir offensichtlich ein Feld F , das Analogon von E , so dass div F = F . Aber wir wissen, dass die Kräuselung eines solchen Feldes Null ist. Daher könnten wir hinzufügen F Zu A , Erstellen eines neuen Feldes mit der richtigen Kräuselung und Nulldivergenz.

Ich habe Probleme, seinen Grund zu verstehen.

Erstens sollte nicht F gleich sein A sich als die Divergenz beider ist F ? Zweitens, warum sollte ich hinzufügen F Zu A - würde es nicht die Funktion als beide zunichte machen F & A sind gleich, oder?

Kann mir bitte jemand helfen, seine Argumentation zu verstehen, warum wir frei sind, alles dafür zu nehmen div A ?

Einstellung A = 0 ist als Coulomb-Eichung bekannt.

Antworten (4)

Erstens ist die körperliche Sache, die uns wichtig ist B . Wir können also alles tun A wir mögen, solange wir das gleiche bekommen B . Das heißt, wir können alles tun, was die Locken nicht verändert A .

Nun stell dir das vor A = F . Hier versäumt es Purcell zu betonen, was er mit „analog von“ meint E in der Elektrostatik" - die Kräuselung eines elektrostatischen Feldes ist Null ! Also F ist ein Feld mit F = F , Aber × F = 0 . So A F hat jetzt keine Divergenz, aber immer noch die gleiche Kräuselung.

Obwohl die Abweichung von A & F Ist F , Sie sind nicht gleich, da ersteres eine Kräuselung ungleich Null hat, während letzteres eine Kräuselung von Null hat. Habe ich recht?
@ user36790: Ja.

Sie müssen das Helmholtz-Theorem und ähnliche Ergebnisse nachschlagen , die Ihnen im Grunde die Antwort von ACuriousMind geben .

Aber eine Art, wie ich das gerne visualisiere, ist die Fourier-Transformation; im Fourierraum die Locke X × X und Divergenz X X einfach das Kreuz werden X ~ k × X ~ und Skalar X ~ k X ~ Produkt mit dem Wellenvektor k . Wir betrachten also unser transformiertes Vektorfeld X ~ im Fourier-Raum: an jedem Punkt P , die Komponente X ~ von X ~ entlang des Strahls, der den Ursprung und verbindet P ist der Teil, der zur Divergenz von beiträgt X , und nur dieser Teil kann zur Divergenz beitragen. Ebenso die Komponente in der Ebene normal zu k ist die Komponente, die zur Kräuselung beiträgt, und nur dieser Teil trägt zur Kräuselung bei.

Was Purcell sagt, ist, dass wir die Komponente frei wählen können X ~ entlang des Wellenvektors, um alles zu sein, was wir mögen.

Also bei einer willkürlichen (abgesehen von den üblichen Konvergenzbedingungen) Divergenz X , können wir die benötigte Komponente finden ϕ ~ ( k ) im Fourier-Raum durch Lösen der Poisson-Gleichung 2 ϕ = X .

Der gesuchte Begriff ist "Gauge Transformation", und wenn Sie sich darüber informieren (Google liefert viele gute Treffer), finden Sie viele verschiedene Denkansätze zu diesem Problem.

Aber was Sie anscheinend verwirrt hat, ist Folgendes: Ich glaube, Sie gehen davon aus, dass zwei Funktionen, die dieselbe Divergenz haben, gleich sein müssen. Aber denken Sie darüber nach, was das bedeuten würde, wenn es wahr wäre:

Wenn A = B impliziert A = B , dann definieren C = A B würde es uns erlauben, das zu beweisen C = 0 impliziert C = 0 . Aber das kann nicht stimmen, denn das wissen wir E = 0 regelt das elektrische Feld im leeren Raum, und es gibt viele zulässige elektrische Felder ungleich Null im leeren Raum.

Intuitiv ist der Gradient ein Skalarfeld mit weniger Freiheitsgraden als das Vektorfeld. Die Angabe des Gradienten sollte Ihnen also im Allgemeinen nicht genügend Informationen liefern, um das Feld zu bestimmen. Sie benötigen mehr Gleichungen der Einschränkung als das.

Lassen Sie uns dies konzeptionell verstehen. Wir haben B = 0 , also benötigen wir eine Vektorfunktion A so dass B = × A damit seine Divergenz verschwindet. Als × B = μ 0 J , wir können schreiben ( A ) 2 A = μ 0 J . Jetzt kann gewählt werden A so dass seine Kräuselung unverändert bleibt, aber seine Divergenz verschwindet. Uns interessiert dieser spezielle Fall, weil wir dann bekommen würden 2 A = μ 0 J was der Poisson-Gleichung für das skalare Potential in der Elektrostatik ähnelt.

Hallo, ich habe Ihren Beitrag mit MathJax formatiert , was der Standard für diese Seite ist.