Herleitung des Ampere-Gesetzes in Jackson

Die Ableitung des Ampere-Gesetzes in Jackson E&M aus dem Biot-Savart-Gesetz ist zum größten Teil recht traditionell und verwendet die × ( × EIN ) Identität auf dem Vektorpotential:

× B = × × μ 0 4 π ( J ( x Ich ) | x x Ich | ) D 3 x

und Ausnutzen einiger Identitäten (wie die früher abgeleitete Laplace/Dirac-Identität), um das Problem zu vereinfachen.

Allerdings lässt er, wie er es gewohnt ist, die meisten Schritte bei der Berechnung aus, und es gibt eine besonders ungeheuerliche Auslassung von 5,20 bis 5,21, die ich nur schwer verstehen kann.

Er vereinfacht den ersten Ausdruck zu etwas Handlicherem, nämlich:

× B = μ 0 4 π J ( x Ich ) Ich ( 1 | x x Ich | ) D 3 x Ich + μ 0 J ( x )

Und dann heißt es in einer ziemlich kryptischen Aussage "Integration by Parts ergibt:"

× B = μ 0 4 π Ich J ( x Ich ) | x x Ich | D 3 x Ich + μ 0 J ( x )

Ich habe die meiste Arbeit durchgearbeitet, aber es gibt noch ein paar Schritte, die mir entgehen.

Mit Integration in Teilen meint er mit ziemlicher Sicherheit die Anwendung der Identität EIN ψ = ( ψ EIN ) ψ ( EIN ) , was das Problem auf . reduziert

× B = Ich J ( x Ich ) | x x Ich | D 3 x Ich Ich ( J ( x Ich ) | x x Ich | ) D 3 x Ich +   . . .

Bei stationären magnetischen Phänomenen verschwindet der erste Integrand (da J = 0 ), aber die zweite bleibt.

× B = Ich ( J ( x Ich ) | x x Ich | ) D 3 x Ich +   . . .

Ich habe keine Ahnung, wie ich zeigen soll, dass dieser Begriff verschwindet. Ich würde den Divergenzsatz verwenden, um das Volumenintegral in ein Oberflächenintegral umzuwandeln, aber der Integrand ist nicht C 1 mit der Singularität bei Null, daher bin ich mir nicht sicher, ob ich das kann. Jackson macht etwas Schlaues mit einem ein -Potenzial

lim ein 0 ( ( 1 ( x 2 + ein 2 ) 1 / 2 ) )

in einem etwas ähnlichen elektrostatischen Fall früher, aber ich denke, es ist hier nicht anwendbar.

Griffiths hat viel mehr Details und Erklärungen zu diesem Beweis als Jackson.
Ich habe auch Griffith neben mir, und es ist viel klarer. Ich bin immer noch besorgt über die Anwendung des Divergenzsatzes auf singuläre Formen. Griffith macht dasselbe bei der Ableitung des Gauß'schen Gesetzes, aber ich bin nicht gut genug mit Differentialformen bewandert, um es zu bestreiten oder zu bestätigen. Jackson scheint große Anstrengungen zu unternehmen, um dieses Problem zu vermeiden, indem er ausgeklügelte Grenzen des umliegenden Potenzials konstruiert R = 0 , also denke ich, dass es einige Bedenken geben muss für nicht C 1 Formen.
@JacobAustin Wie interpretierst du das EIN = μ 0 4 π J ( x Ich ) | x x Ich | D 3 x Ich wo der Integrand explodiert bei x Ich = x ? Ich beantworte deine Frage nicht und gebe keinen Hinweis. Auch das verstehe ich nicht. Siehe physics.stackexchange.com/q/249559 . Aber ich denke, es hängt mit deiner Frage zusammen.

Antworten (2)

In Jacksons Lehrbuch, Absatz § 5.3 beginnt mit Gleichung (5.14), die hier als (001) angegeben ist

(001) B ( x ) = μ Ö 4 π J ( x Ich ) × x x Ich | x x Ich | 3 D 3 x Ich
Dann verwenden Sie die obenstehende Beziehung (1.15) in demselben Lehrbuch, die leicht bewiesen und hier als (002) angegeben ist.
(002) x x Ich | x x Ich | 3 = ( 1 | x x Ich | )
Gleichung (001) wird ausgedrückt als
(003) B ( x ) = μ Ö 4 π J ( x Ich ) × ( 1 | x x Ich | ) D 3 x Ich
Wenn in der Vektorformel
(004) × ( ψ ein ) = ψ × ein + ψ ( × ein )
wir ersetzen
(005) ψ = 1 | x x Ich | , ein = J ( x Ich )
dann
(006) × ( 1 | x x Ich | J ( x Ich ) ) = ( 1 | x x Ich | ) × J ( x Ich ) + 1 | x x Ich | [ × J ( x Ich ) ] = 0
So
(007) J ( x Ich ) × ( 1 | x x Ich | ) = × ( J ( x Ich ) | x x Ich | )
Ersetzen dieses Ausdrucks unter dem Integral in (003)
(008) B ( x ) = μ Ö 4 π × ( J ( x Ich ) | x x Ich | ) D 3 x Ich
Die Locke × betrifft die Differenzierung in Bezug auf x es wird also aus dem Integral exportiert, da die Integrationsvariable ist x Ich
(009) B ( x ) = μ Ö 4 π × J ( x Ich ) | x x Ich | D 3 x Ich
identisch mit Gleichung (5.16) im Lehrbuch.
Aus obiger Gleichung haben wir
(010) × B = μ Ö 4 π × × J ( x Ich ) | x x Ich | D 3 x Ich
identisch mit Gleichung (5.18) im Lehrbuch. Verwenden der folgenden Formel für ein beliebiges Vektorfeld
(011) × ( × EIN ) = ( EIN ) 2 EIN
Gleichung (010) ergibt
(012) × B = μ Ö 4 π J ( x Ich ) ( 1 | x x Ich | ) D 3 x Ich μ Ö 4 π J ( x Ich ) 2 ( 1 | x x Ich | ) D 3 x Ich
Gleichung (5.19) im Lehrbuch.

Beachten Sie, dass alle Differentialoperatoren wie

= großartig , × = Locken , = div

betreffen Differenzierung in Bezug auf x und können somit frei unter die Integrale bezüglich eingefügt werden x Ich .
Nun gelten die folgenden Gleichungen (im Lehrbuch nicht nummeriert)

(013) ( 1 | x x Ich | ) = Ich ( 1 | x x Ich | )
im Wesentlichen identisch mit (002) und
(014) 2 ( 1 | x x Ich | ) = 4 π δ ( x x Ich )
Wenn wir diese beiden Ausdrücke unter dem 1. bzw. 2. Integral in der rhs von (012) ersetzen, haben wir
(015) × B = μ Ö 4 π J ( x Ich ) Ich ( 1 | x x Ich | ) D 3 x Ich + μ Ö J ( x Ich ) δ ( x x Ich ) D 3 x Ich = J ( x )
oder
(016) × B = μ Ö 4 π J ( x Ich ) Ich ( 1 | x x Ich | ) D 3 x Ich + μ Ö J ( x )
Gleichung (5.20) im Lehrbuch. Integration durch Teile des Integrals in der rhs von (016) ergibt
(017) J ( x Ich ) Ich ( 1 | x x Ich | ) D 3 x Ich = Ich J ( x Ich ) | x x Ich | D 3 x Ich
und (016) gibt
(018) × B = μ Ö 4 π Ich J ( x Ich ) | x x Ich | D 3 x Ich + μ Ö J ( x )
Gleichung (5.21) im Lehrbuch. Für stationäre magnetische Phänomene Ich J ( x Ich ) = 0 , so dass wir
(019) × B = μ Ö J ( x )
Gleichung (5.22) im Lehrbuch.

Die Hauptfrage ist, wie Gleichung (017) gültig ist, indem sie nach Teilen integriert wird. Dies wird im ADDENDUM bewiesen .


NACHTRAG

Lassen Sie das Integral

(A-001) F = EIN ( x ) ψ ( x ) D 3 x
wo EIN ( x ) = [ EIN 1 ( x ) , EIN 2 ( x ) , EIN 3 ( x ) ] und ψ ( x ) Vektor- bzw. Skalarfelder der Vektorvariablen x = ( x 1 , x 2 , x 3 ) und die Integration ist über den ganzen Raum.
(A-002) F = + + + ( EIN 1 ψ x 1 + EIN 2 ψ x 2 + EIN 3 ψ x 3 ) D x 1 D x 2 D x 3

Jetzt durch eine Integration nach Teilen

(A-003) + EIN ȷ ψ x ȷ D x ȷ = [ EIN ȷ ψ ] x ȷ = x ȷ = + + ψ EIN ȷ x ȷ D x ȷ , ȷ = 1 , 2 , 3
Aber in unserem Fall
(A-004) ψ ( x ) = 1 | x x 0 |
das ist
(A-005) lim x ȷ ± ψ ( x ) = 0
Also
(A-006) + EIN ȷ ψ x ȷ D x ȷ = + ψ EIN ȷ x ȷ D x ȷ , ȷ = 1 , 2 , 3
Formal nach Koordinate explizit
+ EIN 1 ψ x 1 D x 1 = + ψ EIN 1 x 1 D x 1 (A-006a) + + + EIN 1 ψ x 1 D x 1 D x 2 D x 3 = + + + ψ EIN 1 x 1 D x 1 D x 2 D x 3 + EIN 2 ψ x 2 D x 2 = + ψ EIN 2 x 2 D x 2 (A-006b) + + + EIN 2 ψ x 2 D x 1 D x 2 D x 3 = + + + ψ EIN 2 x 2 D x 1 D x 2 D x 3 + EIN 3 ψ x 3 D x 3 = + ψ EIN 3 x 3 D x 3 (A-006c) + + + EIN 3 ψ x 3 D x 1 D x 2 D x 3 = + + + ψ EIN 3 x 3 D x 1 D x 2 D x 3
und Addieren von (A-006a), (A-006b) und (A-006c) erhalten wir
(A-007) F = + + + ( ψ EIN 1 x 1 + ψ EIN 2 x 2 + ψ EIN 3 x 3 ) D x 1 D x 2 D x 3 = ψ ( x ) EIN ( x ) D 3 x
so endlich
(A-008) EIN ( x ) ψ ( x ) D 3 x = ψ ( x ) EIN ( x ) D 3 x

Ich denke ((A-008) ist allgemein gültig unter der Bedingung (A-005) für ψ ( x ) und das EIN ( x ) hat endliche Werte bei ± .

Ich frage mich, ob dies die Frage des OP gelöst hat. Sie haben die Integration nach Teilen in (A003) angewendet, aber ψ ist nicht stetig bei x 0 . Gilt die Teilintegration in diesem Fall?

Sie können ein kleines Loch mit Radius stanzen ε über die Singularität bei x = x Ich und erhalten ein Flächenintegral. Der Betrag des Integranden ist begrenzt durch | J ( x | / ε auf der Oberfläche, und die Oberfläche ist 4 π ε 2 , also geht der Beitrag des Oberflächenintegrals gegen Null, da ε 2 / ε wie ε 0 . Die Singularität hat daher keine Auswirkung.