本節では誘電率 e と透磁率 m が定数で、時間的に定常な電磁場を考察の対象にします。
(13-1)  | dV= 0 |
を満たす、分布範囲が有界な任意の定常な電荷密度 r に対し、台がコンパクトなベクトル場 P が存在して
(13-2)P |
と書け、この r が作るスカラー・ポテンシャルは、(6-35a)
により
(13-3) |
4pe |
P' · r |
dV' |
で与えられます( ただし = s - s''
を付けることによってその変数が s' であることを示すことにします)。ところで、電束密度 D の満たす方程式:
(13-4a) div DP |
(13-4b) rot DE |
は、次のように書き直すことができます:
(13-5a) div (D |
(13-5b) rot (DP |
ゆえに、Helmholtz
の定理(「偏微分方程式」第4節 (4-52),(4-58),(4-59)
参照 )により
(13-6)D |
4p |
R³ |
rot' P' |
dV' |
となるので、rot
P(13-6)
によって D を計算することもできます。
さて、ある定数 a と曲面 S によって
(13-7) |
と書けるような電荷密度 r を、曲面 S 上の電気二重層といいます。ただし σ
S(24-42)
で定義される超関数値ベクトルです。このような電荷密度 r は、
(13-8) P |
と置けば (13-2)
の形に書けます。一方「微分多様体」第24節 (24-52)
により
(13-9) rot P |
となるので、(13-6)
から
(13-10) |
4p |
R³ |
rot' P' |
dV' |
4p |
R³ |
γ |
dV'S |
4p |
ds' |
dV'S |
となりますから、面 S 上を除けば、E は ¶Sa の作るBiot-Savart
電界に一致することがわかります。
ところで電気二重層 (13-7)
に対するスカラー・ポテンシャル j は、(13-3)
により
(13-11) |
4pe |
σS' · r |
dV' |
4pe |
r · dS' r ³ |
と書くことができますが、この右辺の積分は何を意味しているでしょうか。それを知るために、各 s ごとに、パラメター l (
とともに変化する曲面 0 £ l £ 1(s,
l)
(13-12) S(s, |
明らかに (s,
0) = S(s,
1)
(13-13) u |
¶l |
( s |
r log r |
と置けば、動く多様体上の積分の時間微分に関する公式(「微分多様体」第20節 (20-37)
参照 )により、
(13-14)  | ¶l |
(s, |
r · dS' r ³ |
(s, |
ì í î |
udiv |
r r ³ |
rot |
æ è |
r r ³ |
ö ø |
ü ý þ |
· dS' |
ただしここで、点 s 以外では div ( r
/ r³ ) = - D( 1 / r ) = 0(13-14)
左辺の積分は l に依存しないことがわかります。ゆえに
(13-15)  | r · dS' r ³ |
(s, |
r · dS' r ³ |
(s, |
r · dS' r ³ |
(s, |
dS |
ただしここで (s,
1)(13-15)
の右辺は s から見た S の立体角に他なりません。そこでこの立体角を wS と書けば、(13-11)
は
(13-16) |
4pe |
となり、従って電気二重層 (13-7)
が作る電場 E は
(13-17) E |
4pe |
grad |
とも表せることがわかります。
次に磁場について考えます。定常な電磁界では となる台がコンパクトなベクトル場 M が存在します。
ですから
となるので と書けます。ただし
です(式中の“ さて、ある定数 I と曲面 S に対して
と表されるとき、この M が作る磁荷 となるので、これは閉曲線 となります。 と書けることがわかります。
div
J = 0 ですから、
(13-18) J
= rot M
(13-19a) div H
B= m-1 div = 0(13-19b) rot H
M= J = rot
(13-20a) div (H
M- M ) = - div (13-20b) rot (H
- M ) = 0 - MHelmholtz
の定理(「偏微分方程式」第4節 (4-52),(4-58),(4-59)
参照 )を適用すれば、
(13-21)
H - M = - grad
y
(13-22)  
y
= -
1r
4p* div
M
= - grad
1r
4p·
* M
=
r
4pr³
·
* M
=
1
4pòr
· M'
r³
dV'
·
* ”は内積の畳み込みを表わします)。この y を磁位と言います。
(13-23) M
= I σSrm
º - m div
M(13-23)
の両辺の rot
を取れば、(13-18)
と「微分多様体」第24節 (24-52)
により
(13-24) J
= I γ¶S¶S に沿って流れる大きさ I の線電流に他なりません。このとき、(13-11)
や (13-16)
を導いたのと同様にして
(13-25)  
y =
I
4pòS r · dS'
r³
=I
wS
4p (13-21)
により、S 上の点以外では
(13-26) H
= - grad y = - I
4pgrad
wS