磁気双極子と微小円電流の等価性

電気双極子場 - 科学のおもちゃ箱@Hatena
で示したように、
電気双極子モーメント \boldsymbol{P}=q\boldsymbol{d} に対して十分に遠方の電位と電場は、

\phi(\boldsymbol{r})=\displaystyle\frac{\boldsymbol{P}\cdot\boldsymbol{r}}{4\pi\varepsilon_0r^3}  \boldsymbol{E}(\boldsymbol{r})=\displaystyle\frac{1}{4\pi\varepsilon_0}\left(-\frac{\boldsymbol{P}}{r^3}+\frac{3(\boldsymbol{P}\cdot\boldsymbol{r})\boldsymbol{r}}{r^5}\right)

となる。同様に、磁気双極子モーメント \boldsymbol{m} に対して十分に遠方の磁位と磁場は、

\phi_m(\boldsymbol{r})=\displaystyle\frac{\boldsymbol{m}\cdot\boldsymbol{r}}{4\pi\mu_0r^3}  \boldsymbol{H}(\boldsymbol{r})=\displaystyle\frac{1}{4\pi\mu_0}\left(-\frac{\boldsymbol{m}}{r^3}+\frac{3(\boldsymbol{m}\cdot\boldsymbol{r})\boldsymbol{r}}{r^5}\right)

となる。磁気双極子はよく知られているように微小円電流に等価である。
いままでちゃんと計算してみたことはなかったが、頑張ってみた。

磁気双極子モーメント \boldsymbol{m} を与えた上での磁位(磁気ポテンシャル)と磁場の導出は、電気双極子に同じだからここでは省略する。今回の主題は円電流が遠方につくる磁位と磁場が、磁気双極子と同じ形になることを確認し、モーメントの大きさ m を半径 a の円電流 I で記述することである。

よく知られているように結果は

\boldsymbol{m} = \mu_0 I \boldsymbol{S} = \mu_0 I \pi a^2\boldsymbol{n}

である。

アンペールの等価磁石の法則

最短なのは、アンペールの周回積分の法則と等価である「アンペールの等価磁石の法則」というものを用いて、円電流が遠方につくる磁位を導出し、磁気双極子と比較することである。

「閉回路を見込む立体角が \omega であるような点Pに生じる磁位は、

\phi_m = \displaystyle\frac{I\omega}{4\pi}

で与えられる」

f:id:yokkun831:20210817223459p:plain

原点を中心とし、x-y 平面上半径 a の円電流 I に対して十分遠方の位置Pから見込む立体角は、球座標で

\omega = \displaystyle\frac{\pi a^2 \cos\theta}{r^2}

と書けるから、

\phi_m = \displaystyle\frac{Ia^2\cos\theta}{4r^2}

となる。これを

\phi_m = \displaystyle\frac{\boldsymbol{m}\cdot\boldsymbol{r}}{4\pi\mu_0 r^3}

と比較すれば、

m = \mu_0 I \pi a^2

を得る。これではあまりにカンニング頼みだが、さりとてここで等価磁石の法則を証明する気力も起きない。初歩的でなるべくエレガントに、を目標にすればビオ・サバールの法則から何とか計算を工夫するのみである。

ビオ・サバールの法則による微小円電流の磁場導出

f:id:yokkun831:20210817221419p:plain

図により

d\boldsymbol{B} = \displaystyle\frac{\mu_0 I}{4\pi}\cdot\frac{d\boldsymbol{l}\times\boldsymbol{r}^\prime}{{r^\prime}^3}\\
= \displaystyle\frac{\mu_0 I}{4\pi}\cdot\frac{a d\varphi \boldsymbol{e}_\varphi\times(\boldsymbol{r} - a\boldsymbol{e}_\rho)}{|\boldsymbol{r} - a\boldsymbol{e}_\rho|^3}\\
\simeq \displaystyle\frac{\mu_0 I a d\varphi}{4\pi r^3}(\boldsymbol{e}_\varphi\times\boldsymbol{r} + a\boldsymbol{n})\left(1+\frac{3a\boldsymbol{r}\cdot\boldsymbol{e}_\rho}{r^2}\right)

ここからが厳しい道のりである。コツは \varphi積分するにあたって、 \sin\varphi, \cos\varphi および \sin\varphi\cos\varphi の項は0となって消えるので、被積分関数の中で消去してよい、ということである。たとえば、\varphi を含む項の中で \boldsymbol{e}_\varphi\times\boldsymbol{r}\boldsymbol{r}\cdot\boldsymbol{e}_\rho のみの項は消え失せる。

\boldsymbol{B} \simeq \displaystyle\frac{\mu_0Ia}{4\pi r^3} \int_0^{2\pi} d\varphi \left(a\boldsymbol{n} + \frac{3a(\boldsymbol{r}\cdot\boldsymbol{e}_\rho)}{r^2} \boldsymbol{e}_\varphi\times\boldsymbol{r}\right)\\
= \displaystyle\frac{\mu_0Ia^2}{4\pi}\int_0^{2\pi}d\varphi\left(\frac{\boldsymbol{n}}{r^3} + \frac{3}{r^5}(\boldsymbol{r}\cdot\boldsymbol{e}_\rho)\boldsymbol{e}_\varphi\times\boldsymbol{r}\right)

ちょっと目標に近づいた感じ。ここからベクトル表記のままエレガントに突き進みたいところだが、なかなかよいアイディアは浮かばなかった。やむなくデカルト座標で成分計算に踏み込む。

\displaystyle\int_0^{2\pi}d\varphi  (\boldsymbol{r}\cdot\boldsymbol{e}_\rho)    \boldsymbol{e}_\varphi\times\boldsymbol{r} = \int_0^{2\pi}d\varphi  
 (x\cos\varphi+y\sin\varphi) \left(\begin{array}{c} z\cos\varphi \\ z\sin\varphi \\ -y\sin\varphi-x\cos\varphi \end{array} \right)\\
= \displaystyle\int_0^{2\pi} d\varphi \left(\begin{array}{c}zx\cos^2\varphi \\ zy\sin^2\varphi \\ - x^2\cos^2\varphi - y^2\sin^2\varphi \end{array}\right)\\
= \displaystyle\int_0^{2\pi} d\varphi \left(\begin{array}{c} zx/2 \\ zy/2 \\ (z^2 - r^2)/2 \end{array}\right)\\
= \pi z \left(\begin{array}{c} x \\ y \\ z \end{array}\right) - \pi \left(\begin{array}{c} 0 \\ 0 \\ r^2 \end{array}\right)\\
= \pi (z\boldsymbol{r} - r^2\boldsymbol{n})

途中、

\cos^2\varphi = \displaystyle\frac{1 + \cos2\varphi}{2}

等を用いて、積分によって消える項を落としている。

これを適用すると

\boldsymbol{B} = \displaystyle\frac{\mu_0 I \pi a^2}{4\pi} \left(\frac{2\boldsymbol{n}}{r^3} + \frac{3}{r^5} (z\boldsymbol{r} - r^2\boldsymbol{n})\right)\\
= \displaystyle\frac{\mu_0 I \pi a^2}{4\pi} \left(-\frac{\boldsymbol{n}}{r^3} + \frac{3(\boldsymbol{n}\cdot\boldsymbol{r})\boldsymbol{r}}{r^5}\right)

を得る。磁気双極子モーメントは比較により

\boldsymbol{m} = \mu_0 I \pi a^2 \boldsymbol{n}

となる。