電磁気学入門 第2章 §2.3 ★★★ 静電場は回転がゼロで、スカラーの電位1つで書ける。電位は Poisson 方程式を満たし、境界条件を与えれば解はただ1つに決まる
電場の回転はゼロ
式 (2.5) の被積分関数の中の因子は、勾配の形に書き直せる。観測点 r について微分すると
∇∣r−r′∣1=−∣r−r′∣3r−r′(2.10)
である(R=r−r′ と置くと ∂x(R2)−1/2=−21(R2)−3/2⋅2Rx になる)。勾配を積分の外へ出すと、電場は
E(r)=−∇ϕ(r),ϕ(r)=4πε01∫∣r−r′∣ρ(r′)d3r′(2.11)
と書ける。スカラー関数 ϕ を静電ポテンシャルまたは電位と呼ぶ。単位は V(= J/C)である。勾配の回転は恒等的にゼロ(∇×∇ϕ=0)なので、静電場について
∇×E=0(2.12)
が成り立つ。これは Gauss の法則と並ぶ静電場の基本方程式である。第7章で電磁誘導を扱うと、右辺は −∂B/∂t に変わる。
電位と仕事
第1章 §1.2 の Stokes の定理を (2.12) に使うと、任意の閉曲線 C について ∮CE⋅dl=0 が成り立つ。したがって、2点 A,B を結ぶ線積分 ∫ABE⋅dl は経路によらない。E=−∇ϕ を使えば、その値は
∫ABE⋅dl=−∫AB∇ϕ⋅dl=ϕ(A)−ϕ(B)(2.13)
である。電荷 q を2点のあいだでゆっくり運ぶ。電場の力に逆らって運ぶのに必要な仕事は
WA→B=−q∫ABE⋅dl=q[ϕ(B)−ϕ(A)]
となる。電位は「単位電荷あたりの位置エネルギー」である。
電位は定数を足しても同じ電場を与えるので、どこか1点を基準に選んで値を決める必要がある。電荷分布が有界なら、(2.11) の積分は無限遠でゼロになるように基準を選んだものに当たる。点電荷 q の電位は
ϕ(r)=4πε0∣r−r′∣q
である。電荷分布が無限遠まで広がっている場合(無限に長い直線電荷など)は、無限遠を基準にすると積分が発散するので、有限の点を基準に選ぶ。
Poisson 方程式と Laplace 方程式
E=−∇ϕ を Gauss の法則 (2.8) に代入すると
∇2ϕ=−ε0ρ(2.14)
を得る。これを Poisson 方程式と呼び、電荷の無い領域での ∇2ϕ=0 を Laplace 方程式と呼ぶ。(2.11) の積分が実際に (2.14) を満たすことは、(2.1) から直接確かめられる。
∇2ϕ=4πε01∫ρ(r′)∇2∣r−r′∣1d3r′=4πε01∫ρ(r′)(−4πδ3(r−r′))d3r′=−ε0ρ(r).
電場の発散と回転についての2本の方程式が、スカラー ϕ についての1本の2階偏微分方程式にまとまった。これは第1章 §1.3 の Helmholtz の分解で、回転のない場はポテンシャルの勾配で書けることの具体例である。
例題 2.4 一様に帯電した球の電位を Poisson 方程式から求める ★★
オリジナル例題 2.3 の一様に帯電した球の電位 ϕ(r) を、球座標の Poisson 方程式を解いて求めよ。条件として次の3つを使え。
- 無限遠で ϕ→0。
- 中心 r=0 で ϕ とその微分が有限。
- 球面 r=a で、電位とその動径方向の微分が連続。
解答
球対称なので ϕ=ϕ(r) とし、球座標のラプラシアン(第1章 §1.4)を使う。
r21drd(r2drdϕ)={−ρ0/ε00(r<a)(r>a)
内部:両辺に r2 を掛けて1回積分すると r2ϕ′=−ρ0r3/(3ε0)+C1 である。中心で ϕ′ が有限であるためには、C1=0 でなければならない。もう1回積分して
ϕin(r)=−6ε0ρ0r2+C2.
外部:r2ϕ′=C3 を積分して ϕout=−C3/r+C4 となる。無限遠で ϕ→0 から C4=0 である。
接続:r=a で導関数が連続であることから
−3ε0ρ0a=a2C3,C3=−3ε0ρ0a3=−4πε0Q
となる。最後の等号は ρ0=3Q/(4πa3) による。ϕ の連続から
−6ε0ρ0a2+C2=4πε0aQ,C2=4πε0aQ+8πε0aQ=8πε0a3Q.
まとめると
ϕ(r)=⎩⎨⎧8πε0aQ(3−a2r2)4πε0rQ(r≤a)(r>a)(2.15)
である。−dϕ/dr を計算すると、例題 2.3 の電場に戻る。中心の電位は表面の電位の 3/2 倍になる(図 2.2)。
境界条件
電荷が面の上に面密度 σ で分布していると、電場は面をまたいで不連続になる。その跳びの大きさを、2つの基本方程式から求める(図 2.3)。面の上の1点で、面の法線 n^ を領域1から領域2へ向けてとる。
法線成分
面をはさむ薄い円筒(底面積 ΔS、高さ h)に Gauss の法則 (2.7) を使う。h→0 で側面の流束は消え、上下の底面の流束と中の電荷 σΔS だけが残る。
(E2−E1)⋅n^ΔS=ε0σΔS⟹E2n−E1n=ε0σ.
接線成分
面をまたぐ細長い長方形の閉曲線を考え、面に平行な辺の長さを Δl、それと垂直な辺の長さを h とする。この閉曲線で ∮E⋅dl=0 を使う。h→0 で面に垂直な辺の寄与は消える。面に平行な2辺の寄与は、接線方向の単位ベクトル t^ を使って (E2−E1)⋅t^Δl になる。これがゼロなので、t^ が面内の任意の向きであることから
E2t=E1t
を得る。電場の接線成分は連続である。
電位
電位の差は ϕ2−ϕ1=−∫12E⋅dl で、経路の長さ h→0 とともにゼロになる(電場は有限なので)。したがって面電荷があっても電位は連続であり、法線方向の微分だけが跳ぶ。
ϕ2=ϕ1,∂n∂ϕ2−∂n∂ϕ1=−ε0σ.(2.16)

図 2.3 境界条件の導出。左の円筒(底面積 ΔS)で Gauss の法則を使うと法線成分の跳び、右の長方形の閉曲線(長さ Δl)で回転ゼロを使うと接線成分の連続が出る。どちらも高さ h→0 とする。
解の一意性
Poisson 方程式を有界な領域 V で解くとき、境界 S でどんな条件を与えれば解がただ1つに決まるかを考える。第3章では、この定理を使って「条件を満たす関数を1つ見つけたら、それが答えである」と結論する(鏡像法がその典型である)。
定理 2.3(一意性定理 ★★★)
領域 V の中で電荷密度 ρ が与えられているとする。V の境界 S の各点で、次のどちらかを与える。
- Dirichlet 条件:電位 ϕ の値。
- Neumann 条件:法線微分 ∂ϕ/∂n の値(S 全体で Neumann 条件を与えるときは、それが Gauss の法則と矛盾しないとする)。
このとき、Poisson 方程式 (2.14) の解は、S の全体で Neumann 条件を与えた場合を除いて、ただ1つである。S の全体で Neumann 条件を与えた場合は、解は定数の差を除いてただ1つで、電場 E=−∇ϕ はただ1つに決まる。
証明
同じ電荷密度と同じ境界条件を満たす解が2つ、ϕ1 と ϕ2 があったとする。差 u=ϕ1−ϕ2 は V で
∇2u=0
を満たす。境界 S の各点では、u とその法線微分のどちらかがゼロである。恒等式 ∇⋅(u∇u)=∣∇u∣2+u∇2u を V で積分し、発散定理を使うと
∫V∣∇u∣2d3r=∮Su∂n∂udS−∫Vu∇2ud3r
となる。右辺の体積積分は ∇2u=0 により消える。面積分も、境界の各点で u か法線微分がゼロなので消える。よって左辺の積分はゼロである。
被積分関数は非負の連続関数だから、V 全体で ∇u=0 である。したがって u は定数で、2つの解の電場は一致する。境界の一部でも Dirichlet 条件があれば、そこで u=0 なので定数はゼロになり、ϕ1=ϕ2 である。
一意性定理の使い方
- 全空間の場合:V を半径 R の大きな球とし、半径を無限大にする。有界な電荷分布の電位は遠方で 1/r で減り、電場は 1/r2 で減る。面積は R2 で増えるので、面積分は 1/R のように減ってゼロになる。よって無限遠でゼロになる解は (2.11) の積分だけである。
- 条件を与えすぎない:同じ点で ϕ と ∂ϕ/∂n の両方を勝手に与えると、一般には解が存在しない。
- 導体の場合:第3章では、導体の表面の電位、または導体の全電荷を与える条件でも一意性が成り立つことを示す。
確認テスト
オリジナル
- 2.3-1 k を定数として、次の2つのベクトル場を考える。
E1=k(y,−x,0),E2=k(y,x,0)
静電場になりうるのはどちらかを、回転を計算して判定せよ。また、そちらの電位を求めよ。2. 2.3-2 線電荷密度 λ の無限に長い直線電荷の電位を、軸からの距離 s0 の点を基準にして求めよ。また、無限遠を基準にできない理由を述べよ。3. 2.3-3 平面 z=0 に一様な面電荷密度 σ がある。さらに外から一様な電場 E0z^ がかかっている。z>0 と z<0 の電場を求め、境界条件 (2.16) の法線成分の跳びを満たすことを確かめよ。4. 2.3-4 厚さ d の無限に広い板の中に、一様な密度 ρ0 の電荷がある。板の面を z=0 と z=d にとる。境界条件 ϕ(0)=ϕ(d)=0 のもとで Poisson 方程式を解き、電位が最大になる位置とその値を求めよ。5. 2.3-5 定理 2.3 の証明で、境界の全体で Neumann 条件を与えたとき、2つの解の差がゼロとは限らず定数になる理由を説明せよ。また、そのとき与える Neumann 条件が満たすべき条件 ∮S(∂ϕ/∂n)dS=−Qin/ε0 を導け。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com