磁場の発散と回転
📂電磁気学磁場の発散と回転
定理
磁場の発散と回転は以下の通りだ。
∇⋅B=∇×B= 0 μ0J
説明
電場が常に0の回転を持つ特別なベクトル関数だったように、磁場もまたそうだ。体積電流に対するビオ・サバールの法則を使って発散と回転を計算しよう。
B(r)=4πμ0∫
2J(r′)×
dτ
ここでは、各関数がどの座標に依存しているかを明確に区別することが重要だ。
Bは観測点の座標(x,y,z)に関する関数で、Jは源点の座標(x′,y′,z′)に関する関数だ。分離ベクトルと体積要素はそれぞれ次の通り。
=(x−x′)x+(y−y′)y+(z−z′)z
dτ′=dx′dy′dz′
積分は源点(プライム′あり)に関する操作であり、発散と回転は観測点(プライム′なし)に関する操作だ。
証明
磁場の発散
ビオ・サバールの法則により、磁場の発散は以下の通り。
∇⋅B=4πμ0∫∇⋅(J×
2
)dτ′
デル演算子が含まれる乗算規則
∇⋅(A×B)=B⋅(∇×A)−A⋅(∇×B)
上記の乗算規則を被積分関数に適用すると
∇⋅(J×
2
)=
2
⋅(∇×J)−J⋅(∇×
2
)
第一項で、∇はx,y,zに対する微分操作であり、Jは(x′,y′,z′)に関する関数だから∇×J=0となる。さらに、分離ベクトルの回転が0だから、二番目の括弧の中も同様に0となる。したがって、磁場の発散は
∇⋅B=4πμ0∫0dτ′=0
磁場の回転
ビオ・サバールの法則により、磁場の回転は以下の通り。
∇×B=4πμ0∫∇×(J×
2
)dτ′
デル演算子が含まれる乗算規則
∇×(A×B)=(B⋅∇)A−(A⋅∇)B+A(∇⋅B)−B(∇⋅A)
上記の乗算規則を被積分関数に適用すると次のようになる。
∇×(J×
2
)=(
2
⋅∇)J−(J⋅∇)
2
+J(∇⋅
2
)−
2
(∇⋅J)
ここで、第一項と第四項は∇がJに適用されるから、先の発散の計算で述べた理由と同様、0となる。第二項は直接0ではないが、積分を行うと0となる。この過程は下で別に説明する。最後に、第三項は分離ベクトルの発散なのでディラックのデルタ関数と同じだ。
∇⋅(
2
^)=4πδ2(
)
したがって、磁場の回転は以下の通り。
∇×B=4πμ0∫J(r′)4πδ3(r−r′)dτ′
ディラックのデルタ関数の定義によれば
∇×B=μ0J(r)
今、第二項の積分がなぜ0となるかを確認することが残っている。この部分が難しい場合は、数学的にではなく、物理的な意味によって0と理解しても良い。分離ベクトルが
=(x−x′)x^+(y−y′)y^+(z−z′)z^となるので、以下の式が成り立つ。
−∂x∂
=−x^=∂x′∂
and−∂y∂
=−y^=∂y′∂
and−∂z∂
=−z^=∂z′∂
したがって、以下の等式が成り立つ。
−(J⋅∇)
2
=== −(Jx′∂x∂+Jy′∂y∂+Jz′∂z∂)
2
(Jx′∂x′∂+Jy′∂y′∂+Jz′∂z′∂)
2
(J⋅∇′)
2
このベクトルのx成分は以下の通り。
[(J⋅∇′)
2
]x=(J⋅∇′)(
3x−x′)
これを乗算規則 ∇⋅(fA)=f(∇⋅A)+A⋅(∇f)で解くと以下の通り。
(J⋅∇′)(
3x−x′)=∇′⋅[
3x−x′J]−(
3x−x′)(∇′⋅J)
さらに、定常電流ならばJの発散が0であるから、第二項は0となる。残りの項を積分すると、発散定理により
∫V∇′⋅[
3x−x′J]dτ=∮S
3x−x′J⋅da′
上で、∇を∇′に変えた理由はこの積分のためだ。左辺の積分範囲は全ての電流を含めるために十分に大きく設定しなければならず、この場合、領域の境界面でJ=0である。だから、右辺の面積積分で領域全体でJ=0であるため、積分結果は0となる。同じ論理で、y成分とz成分も0であるので、第二項の積分は0となる。
■