静磁場

**静磁場**（せいじば、）とは、時間的に変動しない磁場のことである

。

本記事では、静磁気学(Magnetostatics)の視点から、静磁場について述べる。

## 定常な電流が作り出す静磁場の一般論
本節では、真空中に定常な（つまり時刻tに依存しない）電流密度が作り出す磁束密度について、一般に成り立つ事柄について述べる。ただし、時間的な変動の影響はもちろんのこと、これ以外にも、電場や強制電荷、分極電荷の影響は排除されているものとする。
本記事では、専ら体積電流密度を中心に扱い、線電流近似については、例えば

等に委ねることとする。

真空中に定常な（つまり時刻tに依存しない）電流密度
\boldsymbol{i}(\mathbf{r})が与えられた
とする。このとき、\boldsymbol{i}(\mathbf{r})
は、以下の磁気ベクトルポテンシャル
\mathbf{A}_{\boldsymbol{i}}(\mathbf{r})を空間内に作り出す。

:\mathbf{A}_{\boldsymbol{i}}(\mathbf{r})
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\mathbb{R}^{3}}
\left(\frac{\boldsymbol{i}(\mathbf{s})}

\right)
\ d^{3}\mathbf{s}
    （1-1）
となる。

\mathbf{B}_{\boldsymbol{i}}=\operatorname{rot}[\mathbf{A}_{\boldsymbol{i}}]を考え併せると、
\boldsymbol{i}(\mathbf{r})が直接的に作り出す磁束密度\mathbf{B}_{\boldsymbol{i}}は、

:\mathbf{B}_{\boldsymbol{i}}(\mathbf{r})
=\frac{\mu_{0}}{4 \pi }
\int_{\mathbf{s}\in\mathbb{R}^{3}}
\left(\frac{
\boldsymbol{i}(\mathbf{s}) \times (\mathbf{r} - \mathbf{s})
}{|\mathbf{r} - \mathbf{s}|^3}\right) d^3
\mathbf{s}    （1-2）

となる。これは、すなわち、ビオ・サバールの法則である。

上記の\mathbf{B}_{\boldsymbol{i}}(\mathbf{r})に対し、
新たな場{\mathbf{H}}_{\boldsymbol{i}}を、
:\mathbf{H}_{\boldsymbol{i}}(\mathbf{r})
:=\frac{1}\mathbf{B}_{\boldsymbol{i}}(\mathbf{r})
   (1-3)
と定義する。この場のことを、「電流密度iが作り出す磁場」と呼ぶ。ここでμ0は、真空の透磁率である。
尚、定義の上では、「電流密度iが作り出す磁場」{\mathbf{H}}_{\boldsymbol{i}}は、
透磁率がμの場所でも、:\mathbf{H}_{\boldsymbol{i}}(\mathbf{r})
:=\frac{1}\mathbf{B}_{\boldsymbol{i}}(\mathbf{r})
であることに特に注意されたい。

式(1-2),式(1-3)より、
:\mathbf{H}_{\boldsymbol{i}}(\mathbf{r})
=\frac{1}{4 \pi}
\int_{\mathbf{s}\in\mathbb{R}^{3}}
\left(\frac{
\boldsymbol{i}(\mathbf{s}) \times (\mathbf{r} - \mathbf{s})
}{|\mathbf{r} - \mathbf{s}|^3}\right) d^3
\mathbf{s}   (1-4)

である。これに、回転微分を作用させると、
:\operatorname{rot}_{\mathbf{r}}[\mathbf{H}_{\boldsymbol{i}}]= \boldsymbol{i}   (1-5)
が得られる。実際、ベクトル解析の公式より、


:
\begin{align}
\operatorname{rot}_{\mathbf{r}}\left[
\left(\frac{
\boldsymbol{i}(\mathbf{s}) \times (\mathbf{r} - \mathbf{s})
}{|\mathbf{r} - \mathbf{s}|^3}\right)
\right]
&= 4 \pi \left(
\operatorname{div}_{\mathbf{r}}
\left[
\frac{
(\mathbf{r} - \mathbf{s})
}{|\mathbf{r} - \mathbf{s}|^3}
\right]
\right)\boldsymbol{i}(\mathbf{s}) \\
&= 4\pi{\delta}^{3}(\mathbf{r}-\mathbf{s})
\boldsymbol{i}(\mathbf{s})
\qquad \text{(1-6)}
\end{align}


従って、

:\begin{align}
\operatorname{rot}_{\mathbf{r}}
[\mathbf{H}_{\boldsymbol{i}}(\mathbf{r})]
&= \frac{1}{4\pi}\int_{\mathbf{s}\in\mathbb{R}^{3}}
\operatorname{rot}_{\mathbf{r}}
\left[
\left(\frac{
\boldsymbol{i}(\mathbf{s}) \times (\mathbf{r} - \mathbf{s})
}{|\mathbf{r} - \mathbf{s}|^3}\right)
\right]
d^3 \mathbf{s} \\
&= {\int}_{\mathbf{s}\in\mathbb{R}^{3}}
{\delta}^{3}(\mathbf{r}-\mathbf{s})
\boldsymbol{i}(\mathbf{s})
d^3\mathbf{s} \\
&= \boldsymbol{i}(\mathbf{r})
\qquad \text{(1-7)}
\end{align}


が得られる。ここでδ3は、3変数のδ関数（ディラックのデルタ）を意味する。


## 時間的に定常な磁化が作り出す静磁場の一般論
本節では、定常な（つまり時刻tに依存しない）磁化が作り出す磁束密度について、一般に成り立つ事柄について述べる。ただし、時間的な変動の影響はもちろんのこと、これ以外にも、電場や強制電荷、分極電荷の影響は排除されているものとする。

### 時間的に定常な磁化が作り出す磁気ベクトルポテンシャル
空間内の領域\Omegaに物質が置かれ、前記物質が、定常な（つまり時刻tに依存しない）磁化\mathbf{M}(\mathbf{r})を帯びているとする。このとき、磁化ベクトルは、「単位体積当たりの磁気モーメントの密度」を表すものであるため、磁化の定義より、

:物質内の各点\mathbf{s}\in\Omegaそれぞれに、それぞれ
::\mathbf{M}(\mathbf{s}){d}^{3}\mathbf{s}  （2-1-1）
:で与えられる磁気モーメントが配置されている
と考えることができる。

まず、時間的に定常な磁化が作り出す磁気ベクトルポテンシャルについて考えよう。

(1)**原点に置かれた**磁気モーメント**m**は、空間上の位置**r**に作り出す磁気ベクトルポテンシャルは、
::\mathbf{a}_{0}(\mathbf{r})=\frac{\mu_{0}}{4\pi}\left(\frac{\mathbf{m}\times \mathbf{r}}
\right)  （2-1-2）
:::である。
(2)従って、"(1)"を平行移動すれば、**位置<math>\mathbf{s}\in\mathbb{R}^{3}</math>に置かれた**磁気モーメント**m**は、空間上の位置**r**に作り出す磁気ベクトルポテンシャルは、
::\mathbf{a}_{s}(\mathbf{r})=\frac{\mu_{0}}{4\pi}\left(\frac{\mathbf{m}\times (\mathbf{r}-\mathbf{s})}
\right)  （2-1-3）
:::である。


従って、上記の磁気モーメント\mathbf{M}(\mathbf{s})d\mathbf{s}それぞれは、磁気ベクトルポテンシャル

:\frac{\mu_{0}}{4\pi}\left(\frac{(\mathbf{M}(\mathbf{s})d\mathbf{s})\times (\mathbf{r}-\mathbf{s})}
\right)
  （2-1-4）

を作り出す。

上記の磁気ベクトルポテンシャルそれぞれを、全ての\mathbf{s}\in\Omegaに渡って足し合わせると、

:\mathbf{A}_{M}(\mathbf{r})
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\left(\frac{(\mathbf{M}(\mathbf{s}))\times (\mathbf{r}-{\mathbf{s}})}

\right)
\ {d}^{3}\mathbf{s}
  （2-1-5）

を得る。即ち、物質の磁化\mathbf{M}(\mathbf{r})
は、上記の磁気ベクトルポテンシャル
\mathbf{A}_{M}を空間内に作り出す

### 時間的に定常な磁化が作り出す磁束密度
次に、時間的に定常な磁化が作り出す磁束密度について考えよう。磁気ベクトルポテンシャルの回転微分をとれば、磁束密度が得られる。

(1)**原点に置かれた**磁気モーメント**m**は、空間上の位置**r**に作り出す磁気ベクトルポテンシャルは、前述の通り、
::\mathbf{a}_{0}(\mathbf{r})=\frac{\mu_{0}}{4\pi}\left(\frac{\mathbf{m}\times \mathbf{r}}
\right)  （2-2-1）
:である。これの回転微分をとることで、**原点に置かれた**磁気モーメント**m**が、空間上の位置**r**に作り出す磁束密度は、
::\mathbf{b}_{0}(\mathbf{r})=\operatorname{rot}_{\mathbf{r}}\left[\frac{\mu_{0}}{4\pi}\left(\frac{\mathbf{m}\times \mathbf{r}}
\right)\right]=
\frac{4\pi}\operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{m}|\mathbf{r}\rangle}\right]+
\frac{4\pi}\operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}}\right]\mathbf{m}
  （2-2-2）
:であることが判る。ここで、は、内積を表す。
(2)従って、"(1)"を平行移動すれば、**位置<math>\mathbf{s}\in\mathbb{R}^{3}</math>に置かれた**磁気モーメント**m**が、空間上の位置**r**
に作り出す磁束密度が、

::\mathbf{b}_{s}(\mathbf{r})=\operatorname{rot}_{\mathbf{r}}\left[\frac{\mu_{0}}{4\pi}\left(\frac{\mathbf{m}\times (\mathbf{r}-\mathbf{s})}
\right)\right]=
\frac{4\pi}\ \operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{m}|(\mathbf{r}-\mathbf{s})\rangle}\right]+
\frac{4\pi}\ \operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}-\mathbf{s}}\right]\mathbf{m}
  （2-2-3）
:であることが判る。


従って、上記の磁気モーメント\mathbf{M}(\mathbf{s})d\mathbf{s}それぞれは、磁束密度

:\frac{4\pi}\operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{M}(\mathbf{s}){d}^{3}\mathbf{s} |(\mathbf{r}-\mathbf{s})\rangle}\right]+
\frac{4\pi}\operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}-\mathbf{s}}\right]\mathbf{M}(\mathbf{s}){d}^{3}\mathbf{s}
  （2-2-4）

を作り出す。

上記の磁気ベクトルポテンシャルそれぞれを、全ての\mathbf{s}\in\Omegaに渡って足し合わせると、

:\mathbf{B}_{M}(\mathbf{r})
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}\right]+
\operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}-\mathbf{s}}\right]\mathbf{M}(\mathbf{s})
\ {d}^{3}\mathbf{s}
  （2-2-5）

を得る。即ち、物質の磁化\mathbf{M}(\mathbf{r})
は、上記の磁気ベクトルポテンシャル
\mathbf{B}_{M}を空間内に作り出す

さて、ベクトル解析の公式から、
:\mathbf{M}(\mathbf{s})\ =\ {\int}_{\mathbf{s}\in\Omega}\ \operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}-\mathbf{s}}\right]\mathbf{M}(\mathbf{s})
\ {d}^{3}s  （2-2-6）
が判る。

従って、上記の磁気モーメント\mathbf{M}(\mathbf{s})d\mathbf{s}それぞれが作り出す磁束密度は、

:\frac{4\pi}\operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{M}(\mathbf{s}){d}^{3}\mathbf{s} |(\mathbf{r}-\mathbf{s})\rangle}\right]
+{\mu}_{0}\delta(\mathbf{r}-\mathbf{s})\mathbf{M}(\mathbf{s}){d}^{3}\mathbf{s}
  （2-2-7）

と書けることが判る。従って、

:\mathbf{B}_{M}(\mathbf{r})
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}\right]\ {d}^{3}{s}
+\mu_{0}\mathbf{M}(\mathbf{r})  （2-2-8）

を得る。

今、新たな場\mathbf{H}_{M}を、
:\mathbf{H}_{M}(\mathbf{r})
:=\frac{1}{4\pi}{\int}_{\mathbf{s}\in\Omega}
\operatorname{grad}_{\mathbf{r}}\left[\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}\right]\ {d}^{3}{s}
  （2-2-9）

と定義すると
、
:\mathbf{B}_{M}(\mathbf{r})={\mu}_{0}(\mathbf{H}_{M}(\mathbf{r})+\mathbf{M}(\mathbf{r}))  （2-2-10）

が得られる。

さて、以上の議論から「**物質の磁化Mが既知である場合に<u>限れば</u>、<u>その磁化Mが作り出す磁束密度B<sub>M</sub></u>を計算する術が得られた**」
ことになる。然しながら、物質の磁化Mが既知でない場合には、上述の関係式のみからは、**B<sub>M</sub>**も**M**も、判らない。上述の関係式は、
一つの拘束条件を与えているに過ぎないのである。（だが、極めて重要な関係式ではある）。

例えば、磁化**M<sub>ini</sub>**を帯びた鉄心が空間におかれていたとき、外部からの磁束密度\mathbf{B}_{\text{ext}}(\mathbf{r})
が与えられたとき、鉄心の磁化は、元々の磁化**M<sub>ini</sub>**と、外部からの磁束密度\mathbf{B}_{\text{ext}}(\mathbf{r})
の影響で、元々の磁化**M<sub>ini</sub>**とは異なる新たな磁化**M<sub>con</sub>**を得ることになる。仮に、この**M<sub>con</sub>**
が判れば、全系の磁束密度が計算できるのだが、

:（難所）元々磁化**M<sub>ini</sub>**を帯びている物質に、外部から磁束密度\mathbf{B}_{\text{ext}}(\mathbf{r})を印加したとき、最終的に、物質がどのような**M<sub>con</sub>**を得るか？

が、実のところは難しい。そこで、一般には。B-H曲線等の実測結果と、上記の拘束条件を考え合わせ、数値計算によって磁束密度や磁化が計算されるのである。但し、線形物質に関して言えば、上の難所は比較的簡単である。このような特殊な物質に関する問題については、次章で述べることにする。

### 磁荷密度の導入
空間内の領域\Omegaに物質が置かれ、前記物質が、定常な（つまり時刻tに依存しない）磁化\mathbf{M}(\mathbf{r})を帯びているとする。

先に定義した、（磁化による）磁場
:\mathbf{H}_{M}(\mathbf{r})
=\frac{1}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\operatorname{grad}_{\mathbf{r}}\left[
\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}
\right]
\ {d}^{3}{s}
  （2-3-1）
の原因が、磁荷であると考えた場合に、それは、どのようなものであるのかを検討しよう。

ベクトル解析の公式より、
:
\begin{align}
\operatorname{div}_{s}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
&= \left\langle
\operatorname{grad}_{\mathbf{s}}
\left[
\frac{1}
\right]
\left|\right.
\mathbf{M}(\mathbf{s})
\right\rangle+
\frac{
\operatorname{div}_{\mathbf{s}}[\mathbf{M}]}
 \\
&= \left\langle
\frac{\mathbf{r}-\mathbf{s}}{|\mathbf{r}-\mathbf{s}|^{3}}
\left|\right.
\mathbf{M}(\mathbf{s})
\right\rangle+
\frac{
\operatorname{div}_{\mathbf{s}}[\mathbf{M}]}
 \\
&= \frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}+
\frac{
\operatorname{div}_{\mathbf{s}}[\mathbf{M}]}

\qquad \text{(2-3-2)}
\end{align}


従って、
:
\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}
=\operatorname{div}_{s}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
 - \frac{
\operatorname{div}_{\mathbf{s}}[\mathbf{M}]}

  （2-3-3）

今、スカラー値関数{\phi}_{M}を、
:{\phi}_{M}(\mathbf{r}):=
-{\int}_{\mathbf{s}\in\Omega}
\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}
\ {d}^{3}\Omega
  （2-3-4）

と定める（磁化が定める磁位、あるいは、磁化が定めるスカラーポテンシャルと言う）と、

:{\phi}_{M}(\mathbf{r})=
-{\int}_{\mathbf{s}\in\Omega}
\operatorname{div}_{s}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
\ {d}^{3}\Omega
+{\int}_{\mathbf{s}\in\Omega}
\frac{
\operatorname{div}_{\mathbf{s}}[\mathbf{M}]}

\ {d}^{3}\Omega
  （2-3-5）

右辺第一項に、ガウスの発散定理を適用すると、
:
{\int}_{\mathbf{s}\in\Omega}
\operatorname{div}_{s}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
\ {d}^{3}\Omega
={\int}_{\mathbf{s}\in\partial\Omega}
\frac{\mathbf{M}(\mathbf{s})}
\ {d}^{2}(\partial\Omega)
  （2-3-6）

さらに、ベクトル解析の公式を適用すると、
:
{\int}_{\mathbf{s}\in\partial\Omega}
\frac{\mathbf{M}(\mathbf{s})}
\ {d}^{2}(\partial\Omega)
=
{\int}_{\mathbf{s}\in\partial\Omega}
\frac{\langle\mathbf{M}(\mathbf{s})|\mathbf{n}_{\partial\Omega}\rangle}
\ |{d}^{2}(\partial\Omega)|
  （2-3-7）

従って、
:{\phi}_{M}(\mathbf{r})=
-{\int}_{\mathbf{s}\in\Omega}
\operatorname{div}_{s}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
\ {d}^{3}\Omega\ +
{\int}_{\mathbf{s}\in\partial\Omega}
\frac{\langle\mathbf{M}(\mathbf{s})|\mathbf{n}_{\partial\Omega}\rangle}
\ |{d}^{2}(\partial\Omega)|
  （2-3-8）
ここで、\partial\Omegaは、領域\Omegaの境界面を意味する。
また、\mathbf{n}_{\partial\Omega}は、\partial\Omegaの法線ベクトルを意味する。

今、体積磁荷密度と、表面磁荷密度を、
*{\rho}_{M}:=-\operatorname{div}_{\mathbf{r}}[\mathbf{M}] （体積磁荷密度）  （2-3-10）
*{\sigma}_{M}:= （表面磁荷密度）  （2-3-11）
により定めると、

:{\phi}_{M}(\mathbf{r})=
{\int}_{\mathbf{s}\in\Omega}
\frac_{M}(\mathbf{r})=-\operatorname{grad}_{\mathbf{r}}[{\phi}_{M}(\mathbf{r})]  （2-3-13）

であるため、
:{\mathbf{H}}_{M}(\mathbf{r})=
{\int}_{\mathbf{s}\in\Omega}
\operatorname{grad}_{\mathbf{r}}
\left[
\frac
\left[
\frac{
{-\sigma}_{M}(\mathbf{s})
}
\right]
\ |{d}^{2}(\partial\Omega)|
  （2-3-14）
である。

### 磁化電流の導入
時間的に定常な磁化が作り出す磁気ベクトルポテンシャルを、別の側面から考察してみることにしよう。ここでは、「磁束密度の原因は、電流に帰される」という思想に従い、
だとすれば、「磁化と等価な効果を発揮する電流」がどのようなものかを検討することにする。

前記\mathbf{A}_{M}(\mathbf{r})に、
ベクトル解析の公式を適用すると、

:\begin{align}
\mathbf{A}_{M}(\mathbf{r})
&= \frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\left(\frac{(\mathbf{M}(\mathbf{s}))\times (\mathbf{r}-\mathbf{s})}

\right)
\ {d}^{3}\mathbf{s} \\
&= \frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\left(\frac{\operatorname{rot}_{\mathbf{s}}[\mathbf{M}(\mathbf{s})]}

\right)
\ {d}^{3}\mathbf{s}
+ \frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\partial\Omega}
\left(
\frac{\mathbf{M}(\mathbf{s})\times \mathbf{n}_{\partial\Omega}}
\right)
\ |{d}^{2}(\partial\Omega)|
\qquad \text{(2-4-1)}
\end{align}


となることが判る。ここで、\operatorname{rot}_{\mathbf{s}}
は、変数\mathbf{s}についての回転微分を意味する。\partial\Omegaは、領域\Omegaの境界を意味する。
上式の右辺第二項の積分において、「\partial\Omegaの面素の絶対値」を意味し
所謂普通の面積分ではない（この「面積分」は、「ベクトル場からベクトルを作る」特殊なもの）ので注意が必要である。
この積分において、\mathbf{n}_{\partial\Omega}は、\partial\Omega
の法線ベクトルを意味する。

実際、スカラー倍の回転微分の公式より、

:\begin{align}
\operatorname{rot}_{\mathbf{s}}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
&= \left(\operatorname{grad}_{\mathbf{s}}\left[\frac{\mathbf{M}(\mathbf{s})} \right]\right)\times\mathbf{M}(\mathbf{s})
+ \frac{\operatorname{rot}_{\mathbf{s}}\left[ \mathbf{M}(\mathbf{s})\right]} \\
&= \frac{(\mathbf{r}-\mathbf{s})\times \mathbf{M}(\mathbf{s})}
+\frac{\operatorname{rot}_{\mathbf{s}}\left[ \mathbf{M}(\mathbf{s})\right]}
\qquad \text{(2-4-2)}
\end{align}

従って、
:
\frac{\mathbf{M}(\mathbf{s})\times (\mathbf{r}-\mathbf{s}) }
=\frac{\operatorname{rot}_{\mathbf{s}}\left[ \mathbf{M}(\mathbf{s})\right]}
-\operatorname{rot}_{\mathbf{s}}\left[\frac{\mathbf{M}(\mathbf{s})} \right]
  （2-4-3）

従って、
:\mathbf{A}_{M}(\mathbf{r})
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\frac{\operatorname{rot}_{\mathbf{s}}\left[ \mathbf{M}(\mathbf{s})\right]}\ {d}^{3}\mathbf{s}\ 
-\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\operatorname{rot}_{\mathbf{s}}\left[\frac{\mathbf{M}(\mathbf{s})} \right] 
\ {d}^{3}\mathbf{s}\ 
　　（2-4-4）

を得る。さらに、上式の右辺第二項の積分にベクトル解析の公式を適用すると、
:-\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\operatorname{rot}_{\mathbf{s}}\left[\frac{\mathbf{M}(\mathbf{s})} \right] 
\ {d}^{3}\mathbf{s}\ 
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\partial\Omega}
\left(\frac{\mathbf{M}(\mathbf{s})} \right) 
\times {d}^{2}\mathbf{s}\ 
　　（2-4-5）
を得る。さらに、右辺にベクトル解析の公式を適用すると、
:
\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\partial\Omega}
\left(\frac{\mathbf{M}(\mathbf{s})} \right) \times {d}^{2}\mathbf{s}\ 
=
\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\partial\Omega}
\left(
\frac{\mathbf{M}(\mathbf{s})\times \mathbf{n}_{\partial\Omega}} 
\right)
\ |{d}^{2}(\partial\Omega)|\ 
  （2-4-6）

が得られる。以上から示すべき式が証明された。


今、\boldsymbol{i}_{M}(\mathbf{r}),\ {\mathbf{K}}_{M}を、
*\boldsymbol{i}_{M}(\mathbf{r}) :=
\operatorname{rot}[\mathbf{M}(\mathbf{r})]
 （体積磁化電流密度）  （2-4-7）
*{\mathbf{K}}_{M}(\mathbf{r}) :=
\mathbf{M}(\mathbf{r})\times \mathbf{n}_{\partial\Omega}(\mathbf{r}) (表面磁化電流密度)  （2-4-8）

と置くと、結局、
:\mathbf{A}_{M}(\mathbf{r})
=\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\left(\frac{\boldsymbol{i}_{M}(\mathbf{s})} 
\right)
\ {d}^{3}\mathbf{s}
+\ \frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\partial\Omega} 
\left(
\frac{\mathbf{K}_{M}(\mathbf{s})} 
\right)\ |{d}^{2}(\partial\Omega)|\ 
  （2-4-9）

となる。

両辺の回転微分を取ると、
:\mathbf{B}_{M}(\mathbf{r})
=\frac{\mu_{0}}{4 \pi }
\int_{\mathbf{s}\in\mathbb{R}^{3}} 
\left(\frac{
\boldsymbol{i}_{M}(\mathbf{s}) \times (\mathbf{r} - \mathbf{s})
}{|\mathbf{r} - \mathbf{s}|^3}\right) d^3 
\mathbf{s}\ +\ 
\frac{\mu_{0}}{4\pi}
{\int}_{\mathbf{s}\in\partial\Omega} 
\left(\frac{\mathbf{K}_{M}(\mathbf{s}) \times (\mathbf{r} - \mathbf{s})}{|\mathbf{r} - \mathbf{s}|^3}\right) 
\ |{d}^{2}(\partial\Omega)|  （2-4-10）

が、判る。この見方は、特に、磁化が一様な場合（より一般にはrot[M]=0）といった特殊な場合に、特に威力を発揮する。

## 強制電流と磁化の両方が既知のとき(一般論)
### 全系の磁束密度
強制電流ifc (forced current)と磁化Mの両方が既知とし、これら以外に磁束密度の原因となるものがないとした場合、
全系の磁束密度**B**tot
は、強制電流ifcに起因する磁束密度の成分（式(1-2)から求められる）
**B**fcと、磁化Mが作り出す磁束密度の成分（式(2-2-8)から求められる）
**B**Mによって、

:**B**tot=**B**fc+**B**M (3-1-1)

と表される。

ここで、よく注意しておかないといけないことは、「強制電流ifcと磁化Mの両方が既知」という言葉の意味であるが、
仮に、強制電流ifc（や、他の磁化）がない状態での磁化**M<sub>ini</sub>**が既知したとして、
(磁化**M<sub>ini</sub>**が作り出す磁束密度**B**Mini がどうなるかは(2-2-8)から計算できるが)

:**B**tot=**B**fc+**B**Mini (間違った式)

は、よほど特殊な場合を除き成り立たない。要は間違いである。

式(3-1-1)より**正確に書くならば、「外場の影響等により磁化が変化した後の磁化**
**M<sub>con</sub>**
**が作り出す磁束密度**」
**B**Mconを用いて、

:**B**tot=**B**fc+**B**Mcon (正しい式)

である。結局以下の難所は残ったままである。

:（難所）元々磁化**M<sub>ini</sub>**を帯びている物質に、外部から磁束密度\mathbf{B}_{\text{ext}}(\mathbf{r})を印加したとき、最終的に、物質がどのような**M<sub>con</sub>**を得るか？

この問題が、実のところは難しい。つまり、強制電流が作った磁束密度や、磁化自身が作り出す磁束密度により、物質の磁化が最初の磁化から変化してしまうという問題がある。
一般には。B-H曲線等の実測結果と、上記の拘束条件を考え合わせ、数値計算によって磁束密度や磁化が計算されるのである。但し、線形物質に関して言えば、上の難所は比較的簡単である。このような特殊な物質に関する問題については、次章で述べることにする。

再び式(3-1-1)について考えよう。ベクトル解析の公式から
:\operatorname{div}[\mathbf{B}_{fc}]=0   (3-1-2a)
:\operatorname{div}[\mathbf{B}_{M}]=0   (3-1-2b)
:\operatorname{div}[\mathbf{B}_{\text{tot}}]=0   (3-1-2c)

であることが判る。即ち、磁束保存の式が満たされることが判る。

### B=μ<sub>0</sub>(H+M)について
前節同様に、強制電流ifcと磁化Mの両方が既知とし、これら以外に磁束密度の原因となるものがないとした場合
について考える。式(3-1-1)のBtotに対し、新たな場Htotを、

:\mathbf{H}_{\text{tot}}(\mathbf{r}):=\frac{\mathbf{B}_{\text{tot}}(\mathbf{r})
}-\mathbf{M}(\mathbf{r}) （3-2-1）

と定める。式(3-2-1)は、所謂”B=μ0(H+M)”に他ならない。

さらに、強制電流\boldsymbol{i}_{fc}が作る磁束密度\mathbf{B}_{fc}(\mathbf{r})は、式(1-2)に
より、（**周辺の物質の有無にかかわらず**）定まるが、式(1-3)に倣い
「強制電流\boldsymbol{i}_{fc}が作る磁場\mathbf{H}_{fc}(\mathbf{r})」を、
:\mathbf{H}_{fc}(\mathbf{r}):=\frac{1}\mathbf{B}_{fc}(\mathbf{r}) （3-2-2）
によって定め、磁化による磁場HMを式（2-2-10）のように定めると、
式（3-2-1）と式（3-2-2）、式（2-2-10）より、

:\begin{align}
\mathbf{H}_{\text{tot}}(\mathbf{r}) &=
\frac{\mathbf{B}_{\text{tot}}(\mathbf{r})}-\mathbf{M}(\mathbf{r}) \\
&=
\frac{
\mathbf{B}_{fc}(\mathbf{r})+\mathbf{B}_{M}(\mathbf{r})
}-\mathbf{M}(\mathbf{r}) \\
&= \mathbf{H}_{fc}(\mathbf{r})+(\mathbf{H}_{M}(\mathbf{r})+\mathbf{M}(\mathbf{r}))-\mathbf{M}(\mathbf{r}) \\
&= \mathbf{H}_{fc}(\mathbf{r})+\mathbf{H}_{M}(\mathbf{r})
\qquad \text{(3-2-3)}
\end{align}
が得られる。従って、
:\operatorname{rot}[\mathbf{H}_{\text{tot}}(\mathbf{r})]
=\operatorname{rot}[\mathbf{H}_{fc}(\mathbf{r})]
+\operatorname{rot}[\mathbf{H}_{M}(\mathbf{r})]
=\boldsymbol{i}_{fc}  （3-2-4）
が得られる。これは、即ち（静磁場の）アンペールの法則である。

式（3-2-4）を示そう。式（2-2-9） 及び以下の式(3-2-5)より、
:rot grad=0 (3-2-5)

\mathbf{H}_{M}(\mathbf{r})に対し、回転微分を作用させると、
:\operatorname{rot}[\mathbf{H}_{M}(\mathbf{r})]
=\frac{1}{4\pi}
{\int}_{\mathbf{s}\in\Omega}
\operatorname{rot}_{\mathbf{r}}\left[
\operatorname{grad}_{\mathbf{r}}\left[
\frac{\langle\mathbf{M}(\mathbf{s})|(\mathbf{r}-\mathbf{s})\rangle}
\right]
\right]
\ {d}^{3}{s}\ =0
 (3-2-6)
が判る。従って、磁化に起因する磁場\mathbf{H}_{M}(\mathbf{r})は、
:\operatorname{rot}[\mathbf{H}_{M}(\mathbf{r})]=0 (3-2-7)
を満たす。


式(3-2-7)と式(1-5)より、式（3-2-4）が示された。

### 透磁率の導入
透磁率なる概念を、新たに導入する。
即ち、3次正方行列に値を取る行列値関数{\mu}(\mathbf{r})（透磁率）を用いて、

:\mathbf{B}_{\text{tot}}(\mathbf{r})={\mu}(\mathbf{r})\mathbf{H}_{\text{tot}}(\mathbf{r}) (3-3-1)

と書けるものとする。この透磁率は、磁化の概念の”すり替え”に過ぎない概念である。
尚、通常は、透磁率は、スカラー値関数と考えてよい場合が多いのだが、その場合は、
「対角成分が全部同じ値で、それ以外の成分が0の行列値関数と、スカラー値関数が同一視できる」ことを思い起こせばいい。

さらに、式(3-3-1) で見たような、透磁率（透磁率テンソル）を用いて、
:\mathbf{B}_{\text{tot}}(\mathbf{r})={\mu}(\mathbf{r})\mathbf{H}_{\text{tot}}(\mathbf{r})   (3-3-2)
と書き表せ、かつ、μが全点で正則行列（逆行列を持つ）とする。(そう考えても、”あまり”一般性を失わない）逆に言えば、
:\mathbf{H}_{\text{tot}}(\mathbf{r})={\nu}(\mathbf{r})\mathbf{B}_{\text{tot}}(\mathbf{r})   (3-3-3)
である。ここで、

:ν:=μ-1  (3-3-4)

は、各点でμの逆行列を与えるような行列値関数である。即ち、

:μ(**s**) ν(**s**)=μ(**s**) μ-1(**s**)=E3   (3-3-5)

を充たすような行列値関数である。（ここでE3は3次の単位行列)である。

これまでの議論では、電流素片や磁気双極子モーメントが作り出した磁束密度/磁場について論じてきたが、
式(3-1-2),式（3-2-4）より、このようにして作られた全系の磁場が、磁束保存の式と、アンペールの法則を
充たすことが判った。
ここからは、逆に、磁束保存の式(3-3-6)と、アンペールの法則(3-3-7)、即ち、

:\operatorname{div}[\mathbf{B}_{fc}]=0   (3-3-6a)
:\operatorname{div}[\mathbf{B}_{M}]=0   (3-3-6b)
:\operatorname{div}[\mathbf{B}_{\text{tot}}]=0   (3-3-6c)
:\operatorname{rot}[\mathbf{H}_{\text{tot}}]=\boldsymbol{i}_{fc}    (3-3-7)

を出発点とし、全系の磁気ベクトルポテンシャル\mathbf{A}_{\text{tot}}が充たす微分方程式を導出する。

まず、磁束保存の式  (3-3-6c)は、強制電流に起因する成分 (3-3-6a)、磁化に起因する成分 (3-3-6b)
それぞれについて成り立つため、（ポアンカレの補助定理より）それぞれがベクトルポテンシャルを持ち、

:\operatorname{rot}[\mathbf{A}_{fc}]=\mathbf{B}_{fc}   (3-3-8a)
:\operatorname{rot}[\mathbf{A}_{M}]=\mathbf{B}_{M}   (3-3-8b)

をみたすようなベクトル場\mathbf{A}_{fc}と、\mathbf{A}_{M}が存在する。
このようなベクトル場\mathbf{A}_{fc}と、\mathbf{A}_{M}は、ゲージ不定性を除き一意に定まるが、
本記事では、強制電流に起因する成分\mathbf{A}_{fc}は、式(1-1)のものを採用し、
と、磁化に起因する成分\mathbf{A}_{M}式(2-1-5）を採用することにする。

全系のベクトルポテンシャルを、
:\mathbf{A}_{\text{tot}}:=\mathbf{A}_{M}+\mathbf{A}_{fc}   (3-3-9)
と定めると、
:\operatorname{rot}[\mathbf{A}_{\text{tot}}]=\mathbf{B}_{\text{tot}}   (3-3-8c)
が成り立つ。これは、(3-3-6c)の、磁束保存の式をベクトルポテンシャルを用いて書いたものに他ならない。

さらに、式(3-3-8c)に、式 (3-3-2)と、アンペールの法則(3-3-7)を考え併せると、
:
\operatorname{rot}[{\nu}\operatorname{rot}[\mathbf{A}]]
- \boldsymbol{i}_{fc}=0
  (3-3-10)

が得られ、未知のベクトル場BやHが消え、未知のベクトル場はAのみとなる。これを
「ベクトルポテンシャルによる静磁場の方程式」（静磁場の支配方程式）という。

### 静磁場の境界条件
物質の境界において、式(3-3-6a)、式 (3-3-7)に、ガウスの発散定理や、ケルビンストークスの定理を適用すると、
磁場および磁束密度の境界条件が得られる。

### 静磁場のエネルギーと停留値関数
前節の前提条件において、
全系の磁気ベクトルポテンシャル\mathbf{A}_{\text{tot}}は、以下の汎関数Fの停留関数となることが判る。

:\begin{align}
F[\mathbf{A}] &:= {\int}_{\mathbf{s}\in\mathbb{R}^{3}}
\frac{1}{2}

-

\ d\mathbf{s} \\
&= {\int}_{\mathbf{s}\in\mathbb{R}^{3}}\frac{1}{2}

-

\ d\mathbf{s}
\qquad \text{(3-5-1)}
\end{align}

次元解析をすると、式(3-5-1)は、エネルギーの次元を持つことが判るが、実際に、式(3-5-1)は、全系のエネルギーとなっている。
ここで、は、内積を表す。νの定義は、式(3-3-4)に記載のとおりである。

式(3-5-1)が、本当に、「磁気ベクトルポテンシャルの停留汎関数」ことを検証しよう。
Aに対し、微小な摂動δA
を与えた際の第一変分δF、即ち、

:δF=F[A+δA]-F[A]    (3-5-2)

を求める。

F[A+δA]は、以下の被積分関数を、全空間でｓについて積分したものである。
:
\frac{1}{2}

\ -

    (3-5-3)

一方、F[A]は、以下の被積分関数を、全空間でｓについて積分したものである。
:
\frac{1}{2}

\ -

    (3-5-4)

したがって、δFは、以下の(3-5-5)を、全空間でｓについて積分したものである。
:
+
\frac{1}{2}
\ -

    (3-5-5)

式(3-5-5)から、二次の微小項を無視すると、Fの第”一”変分
:\delta F[A]={\int}_{\mathbf{s}\in\mathbb{R}^{3}}

\ -

\ {d}^{3}\mathbf{s}
     (3-5-6)

を得る。
式(3-5-6) に、ベクトル解析の公式を適用する。
:
\operatorname{div}[\mathbf{X}\times\mathbf{Y}]
=-

  (3-5-7)

において
:\begin{align} 
\mathbf{X} &:= {\nu}(\mathbf{s})\operatorname{rot}[\mathbf{A}(\mathbf{s})] & \text{(3-5-8)} \\ 
\mathbf{Y} &:= \delta\mathbf{A} & \text{(3-5-9)} 
\end{align}


を代入すると、
:\begin{align}
\delta F[\mathbf{A}] &=
{\int}_{\mathbf{s}\in\mathbb{R}^{3}}
-\operatorname{div}_{\mathbf{s}}[({\nu}(\mathbf{s})
\operatorname{rot}_{\mathbf{s}}[\mathbf{A}]
)\times\delta\mathbf{A}]
\ {d}^{3}\mathbf{s} \\
&+
{\int}_{\mathbf{s}\in\mathbb{R}^{3}}

\ {d}^{3}\mathbf{s}
\qquad \text{(3-5-10)}
\end{align}

式(3-5-10)の第一項については、式(3-4-6)と、「真空中ではdiv[H]=0であること」を考え併せると、
結局物質Ω内の効果しか寄与しないことが判る。さらにガウスの発散定理を考慮すると、式(3-5-10)の第一項は、

:
{\int}_{\mathbf{s}\in\Omega}
-\operatorname{div}_{\mathbf{s}}[({\nu}(\mathbf{s}) 
\operatorname{rot}_{\mathbf{s}}[\mathbf{A}]
)\times\delta\mathbf{A}\ ] 
\ {d}^{3}\mathbf{s}
= 
-{\int}_{\mathbf{s}\in\partial\Omega}
({\nu}(\mathbf{s}) 
\operatorname{rot}_{\mathbf{s}}[\mathbf{A}]
)\times\delta\mathbf{A} 
\ {d}^{2}(\partial\Omega)
  (3-5-11)

となる。従って、式(3-5-10)の第一項が、任意の摂動δAに対して0になるためには、ノイマン条件即ち、
:(\operatorname{rot}[\mathbf{A}])\times{n}_{\partial\Omega}\ =\ 0  (3-5-12)

が満たされればよい。さらに、式(3-5-10)の第二項が、任意の摂動δAに対して0になるためには、
:
\operatorname{rot}[{\nu}\operatorname{rot}[\mathbf{A}]]
- \boldsymbol{i}_{fc}=0
  (3-5-12)

であればよい。これは、「ベクトルポテンシャルによる静磁場の方程式」（静磁場の支配方程式）に(式(3-3-10))他ならない。以上から、ノイマン条件下での、静磁場の支配方程式の解は、汎関数Fの停留関数となること判る。

## ベクトル解析に関する補足
静磁場の解析には、静磁場の解析には、やや高度なベクトル解析の知識
(例えば 藤本参照）
が要求される。同じ式変形が何度も繰り返されるのを避ける目的から、
一般的な知識は既知とする立場から、本記事の内容理解に必要と思われる事柄に限り、簡単に説明する。
が要求される。同じ式変形が何度も繰り返されるのを避ける目的から、
一般的な知識は既知とする立場から、本記事の内容理解に必要と思われる事柄に限り、簡単に説明する。
### ベクトル場の代数演算と微分作用素
ベクトル場に代数演算を施したものに、微分作用素を作用させた場合に成り立つ公式について、本記事で用い、かつ、あまり本に載っていないものについて、簡潔にまとめる。

#### (1) <F|∇>について
F=(f1,f2,f3)をベクトル場とする。このとき、
:
\left\langle\ \mathbf{F}\ |\ \nabla \ \right\rangle :=
{f}_{1}{\partial \over \partial {x}_{1}}  +  {f}_{2}{\partial \over \partial {x}_{2}} + {f}_{3}{\partial \over \partial {x}_{3}}

と定義する。ここで、∇は、
:\nabla := \mathbf{\hat{x}} {\partial \over \partial x}  + \mathbf{\hat{y}} {\partial \over \partial y} + \mathbf{\hat{z}} {\partial \over \partial z}
を意味する。のことを、”F・∇”と書くこともある。

Gを、ベクトル場としたとき、をGに作用させると、
:
\left\langle\ \mathbf{F}\ |\ \nabla \ \right\rangle \mathbf{G}=
{f}_{1}{\partial{g}_{1} \over \partial {x}_{1}}  +
{f}_{2}{\partial{g}_{2} \over \partial {x}_{2}} +
{f}_{3}{\partial{g}_{3} \over \partial {x}_{3}}
=(J[\mathbf{G}])\cdot\mathbf{F}


が成り立つ。ここで、J[\mathbf{G}]は、Gのヤコビ行列（ヤコビアンではない）を意味する。

#### (2)rot とスカラー倍、ベクトル積
F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、以下が成り立つ。
:
\operatorname{rot}[f\mathbf{F}]=
\operatorname{grad}[f]\times\mathbf{F}+f\cdot \operatorname{rot}[\mathbf{F}]

:
\operatorname{rot}[\mathbf{F}\times\mathbf{G}]=
\left\langle\ \mathbf{G}\ |\ \nabla \ \right\rangle \mathbf{F}
-\left\langle\ \mathbf{F}\ |\ \nabla \ \right\rangle \mathbf{G}
+\mathbf{F}\operatorname{div}[\mathbf{G}]
-\mathbf{G}\operatorname{div}[\mathbf{F}]


#### (3)div とスカラー倍、ベクトル積
F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、
:
\operatorname{div}
\left[
f\mathbf{F}
\right]
=\left\langle
\mathbf{F}|\operatorname{grad}[f]
\right\rangle+
f\operatorname{div}[\mathbf{F}]


### ディラックのデルタと、重積分
一般のn変数関数（関数はベクトル値関数であってよい)fの定義域をΩとしたとき、
:f(\mathbf{r})={\int}_{\mathbf{s}\in \Omega} f(\mathbf{s}){\delta}^{n}(\mathbf{r}-\mathbf{s})\ {d}^{n}s\ =f*{\delta}^{n}
であることが知られている。ここで、上式の"*"は、合成積(乗算ではない)である。また、δnは、n変数のδ関数である。

### 発散微分とディラックのデルタ
**原点(r=0)を除いて**、
::\operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}}\right]=\frac{3}{|\mathbf{r}|^{3}}-\frac{3^{2}}=0
:であり、原点(r=0)を中心とする、球体BLに対し、ガウスの発散定理を用いると、
:::{\int}_{\mathbf{r}\in BL} \operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}}\right]\ d^{3}r =4\pi
:となるので、結局、
::\operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}}\right]=4\pi\delta(\mathbf{r})
であることが判る。(ここで、δは、3変数のδ関数である。
以上の議論を平行移動させると、
:\operatorname{div}_{\mathbf{r}}\left[\frac{\mathbf{r}-\mathbf{s}}\right]=4\pi\delta(\mathbf{r}-\mathbf{s})
であることが判る。

### 分数関数の偏微分
:\begin{align}
\frac{\partial }{\partial \mathbf{s}_{i}}
\left[\frac{1}\right]
&=
\frac{\partial }{\partial {s}_{i}}
\left[\frac{1}\right] \\
&=
\frac{\partial }{\partial {s}_{i}}
\left[{(({r}_{i}-{s}_{i})^{2}+\text{const.})}^{-(1/2)}\right]
\end{align}


### 面積分に関する補足
ここでは、様々なベクトル場の面積分についてまとめる。
「絶対値による面積分」「外積面積分」という用語は一般的な用語ではないが、他に
適切な表現がないため、この場限りでそのような言い方をする。
本記事内での定義は、それぞれ以下の通り。

Iを\mathbb{R}^{2}の閉長方形、
\varphi:I\to \mathbb{R}^{3}は、
Iの近傍で、殆ど至る所区分的に滑らかかつ、非退化であり、かつ、Iの内部で単射なベクトル値関数、
S:=\varphi[I]を、\mathbb{R}^{3}内の曲面片とする。
また、Xを、Sの近傍で定義された、区分的に滑らかなベクトル場とする。このとき、

#### (1)普通の面積分
:定義は、以下の通りである。
::
{\int}_{\mathbf{s}\in S} \mathbf{X}(\mathbf{s}) \ {d}^{2}S
:={\int}_{({u}_{1},{u}_{2})\in I}
\langle \mathbf{X}(\varphi({u}_{1},{u}_{2}))\ |
\ \left(
\frac{\partial \varphi }{\partial{u}_{1}}
\times
\frac{\partial \varphi }{\partial{u}_{2}}
\right)
\rangle
\ d{u}_{1}d{u}_{2}

:上式の右辺は、({u}_{1},{u}_{2})についてのスカラー値関数
:::
\langle \mathbf{X}(\varphi({u}_{1},{u}_{2}))\ |
\ \left(
\frac{\partial \varphi }{\partial{u}_{1}}
\times
\frac{\partial \varphi }{\partial{u}_{2}}
\right)
\rangle

:を、区間I上で重積分したものを意味する。今、Sの単位法線ベクトル{\mathbf{n}}_{S}を、
::
{\mathbf{n}}_{S}:=
\frac{1}{
\left|
\frac{\partial \varphi }{\partial{u}_{1}}
\times
\frac{\partial \varphi }{\partial{u}_{2}}
\right|
}
\left(
\frac{\partial \varphi }{\partial{u}_{1}}
\times
\frac{\partial \varphi }{\partial{u}_{2}}
\right)

:と定めると、

::
{\int}_{\mathbf{s}\in S} \mathbf{X}(\mathbf{s}) \ {d}^{2}S
={\int}_{({u}_{1},{u}_{2})\in I} \langle \mathbf{X}(\varphi({u}_{1},{u}_{2}))\ |\ {\mathbf{n}}_{S} \rangle
\left|
\frac{\partial \varphi }{\partial{u}_{1}}
\times
\frac{\partial \varphi }{\partial{u}_{2}}
\right|
\ d{u}_{1}d{u}_{2}
:である。

#### (2)絶対値による面積分
:定義は、以下の通りである。
::
{\int}_{\mathbf{s}\in S} \mathbf{X}(\mathbf{s}) \ |{d}^{2}S|
:={\int}_{({u}_{1},{u}_{2})\in I}
\mathbf{X}(\varphi({u}_{1},{u}_{2}))\ 
\left|\frac{\partial \varphi }{\partial{u}_{1}} \times \frac{\partial \varphi }{\partial{u}_{2}}\right| 
\ d{u}_{1}d{u}_{2}

:本記事では、絶対値による面積分の場合は、\ |{d}^{2}S|のように、面素に絶対値記号をつけることにする。
:右辺は、({u}_{1},{u}_{2})についてのベクトル値関数
::\mathbf{X}(\varphi({u}_{1},{u}_{2}))\ 
\left|\frac{\partial \varphi }{\partial{u}_{1}} \times \frac{\partial \varphi }{\partial{u}_{2}}\right|
:を、成分ごとに区間I上で重積分したものを意味する。即ち、絶対値による面積分は「関数の面積分を各成分ごとにやる」というのと同じ意味である。

#### (3)外積面積分
:定義は、以下の通りである。
::
{\int}_{\mathbf{s}\in S} \mathbf{X}(\mathbf{s}) \times {d}^{2}S
:={\int}_{({u}_{1},{u}_{2})\in I} 
\left(
\mathbf{X}(
\varphi(
{u}_{1},{u}_{2})
)\right)\times
\left(
\frac{\partial \varphi }{\partial{u}_{1}} \times \frac{\partial \varphi }{\partial{u}_{2}}
\right)\ 
d{u}_{1}d{u}_{2}


:本記事では、外積面積分の場合は、\times\ {d}^{2}Sのように、面素にの前に、×をつけることにする。
:右辺は、({u}_{1},{u}_{2})についてのベクトル値関数
::\mathbf{X}(\varphi({u}_{1},{u}_{2}))\times
\left(\frac{\partial \varphi }{\partial{u}_{1}} \times \frac{\partial \varphi }{\partial{u}_{1}}\right)

:を、成分ごとに区間I上で重積分したものを意味する。即ち、(2)との関係でいえば、
::
{\int}_{\mathbf{s}\in S} \mathbf{X}(\mathbf{s}) \times {d}^{2}S
={\int}_{\mathbf{s}\in S} \mathbf{X}(\mathbf{s}) \times \mathbf{n}_{S}|{d}^{2}S|

となる。

## 脚注

### 注釈


### 参考文献

## 関連項目
* 磁場
* 静電気学
* ベクトルポテンシャル
* 遅延ポテンシャル
* ジェフィメンコ方程式
* アンペールの法則
* ビオ・サバールの法則
* クーロンの法則
* 電場の強さ(**E**)、磁束密度(**B**)、電束密度(**D**)
* E-B対応とE-H対応
* 地磁気
* ホール素子
* SQUID
* ファラデー効果
* マクスウェルの方程式
* ローレンツ力
* フレミングの法則

## 外部リンク
* 
* 
*