In Jacksons Lehrbuch, Absatz
§ 5.3
beginnt mit Gleichung (5.14), die hier als (001) angegeben ist
B ( x ) =μÖ4 π∫J (xIch) ×x −xIch| x −xIch|3D3xIch(001)
Dann verwenden Sie die obenstehende Beziehung (1.15) in demselben Lehrbuch, die leicht bewiesen und hier als (002) angegeben ist.
x −xIch| x −xIch|3= − ∇ (1| x −xIch|)(002)
Gleichung (001) wird ausgedrückt als
B ( x ) =−μÖ4 π∫J (xIch) ×∇ (1| x −xIch|)D3xIch(003)
Wenn in der Vektorformel
∇ × ( ψ a ) = ∇ ψ × a + ψ ( ∇ × a )(004)
wir ersetzen
ψ =1| x −xIch|,a = J (xIch)(005)
dann
∇ × (1| x −xIch|J (xIch) ) =∇ (1| x −xIch|) × J (xIch) +1| x −xIch|[ ∇ × J (xIch) ]= 0(006)
So
J (xIch) ×∇ (1| x −xIch|) =−∇× (J (xIch)| x −xIch|)(007)
Ersetzen dieses Ausdrucks unter dem Integral in (003)
B ( x ) =μÖ4 π∫∇ × (J (xIch)| x −xIch|)D3xIch(008)
Die Locke
∇ ×
betrifft die Differenzierung in Bezug auf
x
es wird also aus dem Integral exportiert, da die Integrationsvariable ist
xIch
B ( x ) =μÖ4 π∇ × ∫J (xIch)| x −xIch|D3xIch(009)
identisch mit Gleichung (5.16) im Lehrbuch.
Aus obiger Gleichung haben wir
∇ × B =μÖ4 π∇ × ∇ × ∫J (xIch)| x −xIch|D3xIch(010)
identisch mit Gleichung (5.18) im Lehrbuch. Verwenden der folgenden Formel für ein beliebiges Vektorfeld
∇ × ( ∇ × A ) = ∇ ( ∇ ⋅ A ) −∇2EIN(011)
Gleichung (010) ergibt
∇ × B =μÖ4 π∇ ∫J (xIch) ⋅∇ (1| x −xIch|)D3xIch−μÖ4 π∫J (xIch)∇2(1| x −xIch|)D3xIch(012)
Gleichung (5.19) im Lehrbuch.
Beachten Sie, dass alle Differentialoperatoren wie
∇ = groß , ∇ × = curl , ∇ ⋅ = div
betreffen Differenzierung in Bezug auf
x
und können somit frei unter die Integrale bezüglich eingefügt werden
xIch
.
Nun gelten die folgenden Gleichungen (im Lehrbuch nicht nummeriert)
∇ (1| x −xIch|) =−∇Ich(1| x −xIch|)(013)
im Wesentlichen identisch mit (002) und
∇2(1| x −xIch|) =−4πδ( x −xIch)(014)
Wenn wir diese beiden Ausdrücke unter dem 1. bzw. 2. Integral in der rhs von (012) ersetzen, haben wir
∇ × B = -μÖ4 π∇ ∫J (xIch) ⋅∇Ich(1| x −xIch|)D3xIch+μÖ∫J (xIch) δ( x −xIch)D3xIch= J ( x )(015)
oder
∇ × B = -μÖ4 π∇ ∫J (xIch) ⋅∇Ich(1| x −xIch|)D3xIch+μÖJ ( x )(016)
Gleichung (5.20) im Lehrbuch. Integration durch Teile des Integrals in der rhs von (016) ergibt
∫J (xIch) ⋅∇Ich(1| x −xIch|)D3xIch= − ∫∇Ich⋅ J (xIch)| x −xIch|D3xIch(017)
und (016) gibt
∇ × B =μÖ4 π∇ ∫∫∇Ich⋅ J (xIch)| x −xIch|D3xIch+μÖJ ( x )(018)
Gleichung (5.21) im Lehrbuch. Für stationäre magnetische Phänomene
∇Ich⋅ J (xIch) =0
, so dass wir
∇ × B =μÖJ ( x )(019)
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
F =∫A ( x ) ⋅∇ψ ( x )D3x(A-001)
wo
A ( x ) = [EIN1( x ) ,EIN2( x ) ,EIN3( x ) ]
und
ψ ( x )
Vektor- bzw. Skalarfelder der Vektorvariablen
x =(x1,x2,x3)
und die Integration ist über den ganzen Raum.
F =∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞(EIN1∂ψ∂x1+EIN2∂ψ∂x2+EIN3∂ψ∂x3) dx1Dx2Dx3(A-002)
Jetzt durch eine Integration nach Teilen
∫− ∞+ ∞EINȷ∂ψ∂xȷDxȷ= [EINȷψ]xȷ= + ∞xȷ= − ∞−∫− ∞+ ∞ψ∂EINȷ∂xȷDxȷ,ȷ = 1 , 2 , 3(A-003)
Aber in unserem Fall
ψ ( x ) =1| x −x0|(A-004)
das ist
limxȷ→ ± ∞ψ ( x ) = 0(A-005)
Also
∫− ∞+ ∞EINȷ∂ψ∂xȷDxȷ= −∫− ∞+ ∞ψ∂EINȷ∂xȷDxȷ,ȷ = 1 , 2 , 3(A-006)
Formal nach Koordinate explizit
∫− ∞+ ∞EIN1∂ψ∂x1Dx1∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞EIN1∂ψ∂x1Dx1Dx2Dx3∫− ∞+ ∞EIN2∂ψ∂x2Dx2∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞EIN2∂ψ∂x2Dx1Dx2Dx3∫− ∞+ ∞EIN3∂ψ∂x3Dx3∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞EIN3∂ψ∂x3Dx1Dx2Dx3= −∫− ∞+ ∞ψ∂EIN1∂x1Dx1⟹= −∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞ψ∂EIN1∂x1Dx1Dx2Dx3= −∫− ∞+ ∞ψ∂EIN2∂x2Dx2⟹= −∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞ψ∂EIN2∂x2Dx1Dx2Dx3= −∫− ∞+ ∞ψ∂EIN3∂x3Dx3⟹= −∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞ψ∂EIN3∂x3Dx1Dx2Dx3(A-006a)(A-006b)(A-006c)
und Addieren von (A-006a), (A-006b) und (A-006c) erhalten wir
F= −∫− ∞+ ∞∫− ∞+ ∞∫− ∞+ ∞( ψ∂EIN1∂x1+ ψ∂EIN2∂x2+ ψ∂EIN3∂x3) dx1Dx2Dx3= − ∫ψ ( x ) ∇ ⋅ A ( x )D3x(A-007)
so endlich
∫A ( x ) ⋅∇ψ ( x )D3x = − ∫ψ ( x ) ∇ ⋅ A ( x )D3x(A-008)
Ich denke ((A-008) ist allgemein gültig unter der Bedingung (A-005) für
ψ ( x )
und das
A ( x )
hat endliche Werte bei
± ∞
.
Steve Byrnes
JAustin
velut luna