多価関数のポテンシャル

積分領域 D が単連結ではない場合, D 内には少なくとも一本『曲面の境界にはならない閉曲線』を引くことが出来ます.例えば, D をトーラス(ドーナツ型)だとすると,次図の点線 L によって囲まれる曲面はありません.

Joh-Multi01.gif

いま,単連結ではない領域 D で定義される渦なし場 \bm{A} を考えてみましょう.

\nabla \times A =\bm{0}        \tag{1}

渦なし場とスカラーポテンシャルに関して スカラー場と層状ベクトル場 で示した定理の証明では,単連結領域ではストークスの定理が使えるので \ointop \limits_{L} \bm{A} \cdot d\bm{r} = \int \int \limits_{S} (\nabla \times S) \cdot d\bm{S} が成り立ち,渦なし場では \ointop \limits_{L} \bm{A} \cdot d\bm{r} =0 となる事が大きなポイントとなっていました.裏を返せば,多重連結な領域ではストークスの定理がなりたたず,一般に渦なしだからと言って \ointop \limits_{L} \bm{A} \cdot d\bm{r} =0 とは言えないということです.このため, 線積分も経路によることになります

\ointop \limits_{L} \bm{A} \cdot d\bm{r} =c \ (\ne 0)  \tag{2}
\int_{M_{0}}^{M_{1}}  \bm{A} \cdot d\bm{r} \ depends \ on \ the \ path \ from \ M_{0} \ to \ M_{1}     \tag{3}

この場合,一価関数のポテンシャル関数から流れ場を与えることは不可能です.線積分が経路によるため,単連結の場合のように,単純に \int_{M_{0}}^{M_{1}} \bm{A}\cdot d\bm{r}= \phi (M_{1}) - \phi (M_{0}) とは出来ないからです.例えば,次図のような状況で線積分 \int \limits_{l_{1}+l_{2}} \bm{A}\cdot d\bm{r} を考えてみましょう.

Joh-Multi02.gif
\int \limits _{l_{1}+ l_{2}} \bm{A}\cdot d\bm{r} \ne \int \limits _{l_{1}+L+l_{2}} \bm{A}\cdot d\bm{r} = \int \limits _{l_{1}+ l_{2}} \bm{A}\cdot d\bm{r} + \ointop \limits _{L} \bm{A}\cdot d\bm{r} = \int \limits _{l_{1}+ l_{2}} \bm{A}\cdot d\bm{r} + C_{L}        \tag{4}

周回積分が 0 でないことより,経路によって積分値が異なることが分かると思います.このような流れ場に対しては,次式を満たす多価関数のポテンシャルを定義することが出来ます.

\phi = \int _{M_{0}}^{M} \bm{A}\cdot d\bm{r}   \tag{5}

単連結領域のポテンシャル関数が \nabla \phi = \bm{A} と微分形で与えられたのに比べ,式 (5) の方は積分で定義されており,もっと緩い条件式であることを確認して下さい.

練習問題

無限に長い直線状の電線に流れる電流 I は,ビオ=サヴァールの法則によって,次式で与えられる磁場を作ります.(電磁気学より流体力学の方が好きな人は,これを渦ベクトルと誘起速度場と考えても内容的には同じです.)

\bm{H}=\frac{2I}{r^{3}}(\bm{e_{z}}\times \bm{r})
Joh-Multi04.gif

この磁場は, r=0 となる z 軸を除いて空間全体で定義できます. z 軸を除くので,この領域は単連結ではありません.

問題1

この磁場の成分を,デカルト座標系で表わして下さい.(ヒント: r=\sqrt{x^{2}+y^{2}}, \ \ \bm{r}=(x,y) です.)

問題2

ポテンシャル \phi = 2I \tan ^{-1}\frac{y}{x} によって,この磁場が表現できることを確認してみてください.(ヒント: (\tan ^{-1} \xi)'=\frac{1}{1+\xi^{2}} を使いましょう.)

問題3

z 軸を中心とする半径 r の円 C に沿って,周回積分 \ointop \limits_{C} \bm{H}\cdot d\bm{r} を計算してみて下さい.そして,領域が単連結ではないので,周回積分が 0 にならないことを確認してください.