静電場とガウスの法則：クーロンの法則からポアソン方程式まで

0. この記事の要点

• 電磁気学は「離れた電荷どうしが直接引き合う」という描像を捨て、「電荷が空間に場をつくり、場が力を及ぼす」という描像に立ちます。この乗り換えを最初に完成させるのが静電場の理論です。
• クーロンの法則と重ね合わせの原理だけを出発点にすると、任意の閉曲面について $\oint_S \boldsymbol{E}\cdot d\boldsymbol{S} = Q_{\text{in}}/\varepsilon_0$（ガウスの法則の積分形）が定理として導かれます。鍵は $1/r^2$ という指数と、立体角の計算です。
• 「発散」$\operatorname{div}\boldsymbol{E}$ は、点のまわりの微小体積からの正味の流出量を体積で割った極限、すなわち湧き出しの密度です。この定義と発散定理を組み合わせると、積分形から微分形 $\operatorname{div}\boldsymbol{E} = \rho/\varepsilon_0$ が出ます。
• 静電場は $\boldsymbol{E} = -\operatorname{grad}V$ と書けます。これはクーロン場が $1/r$ の勾配であることの直接の帰結で、ベクトル場 3 成分の問題をスカラー関数 1 個の問題に減らします。
• 2 つを合わせると ポアソン方程式 $\Delta V = -\rho/\varepsilon_0$ が得られます。静電気の問題は結局、この 1 本の偏微分方程式を境界条件のもとで解くことに帰着します。

---

1. 動機：遠隔作用から場へ

18 世紀の終わり、クーロンはねじり秤を使って、帯電した 2 つの小球の間に働く力が距離の 2 乗に反比例することを測定しました。形は万有引力の法則とそっくりです。そこで最初に考えられた描像も、ニュートン力学と同じ遠隔作用でした。すなわち、電荷 $q_1$ と $q_2$ は空間を隔てて直接に力を及ぼし合う、というものです。

この描像には、当時から気になる点が 2 つありました。

第一に、媒介するものが何もないという点です。力は何を通じて伝わるのでしょうか。第二に、時間が入っていないという点です。クーロンの法則は「いま $q_2$ がここにあるなら、いま $q_1$ にこれだけの力が働く」と主張しますが、$q_2$ を突然動かしたとき $q_1$ はいつ気づくのでしょうか。遠隔作用の描像は「即座に」と答えますが、これは後に相対性理論と真正面から衝突します。

ファラデーとマクスウェルが導入した解決策が場です。電荷は自分のまわりの空間の状態を変える。その状態を電場 $\boldsymbol{E}$ と呼ぶ。別の電荷は、遠くの電荷を「見る」のではなく、自分がいる場所の $\boldsymbol{E}$ だけを感じて力を受ける。こうすると、力は局所的な量のやりとりになり、場の変化が有限の速さで伝わるという可能性が開けます。実際にその速さが光速であることを示すのがこのテーマの最終目標、マクスウェル方程式と電磁波 です。

ただし、場を導入しただけでは何も新しいことは言えません。$\boldsymbol{E}(\boldsymbol{x}) = \boldsymbol{F}(\boldsymbol{x})/q$ と定義しただけなら、それは記号の言い換えにすぎないからです。場の描像が力を持つのは、場そのものが従う法則（微分方程式）を書き下せたときです。この記事の目的は、静止した電荷に限った場合にその法則が

$$\operatorname{div}\boldsymbol{E} = \frac{\rho}{\varepsilon_0}, \qquad \operatorname{rot}\boldsymbol{E} = \boldsymbol{0}$$

という 2 本になることを、クーロンの法則から証明することです。「導入する」ではなく「証明する」と書いたのは、静電気学の範囲ではこれらが実験法則の言い換えであって、独立な仮定ではないからです。逆に、時間変化する場まで含めると $\operatorname{rot}\boldsymbol{E} = \boldsymbol{0}$ の方が破れます。それが 電磁誘導と変位電流 の話題です。

flowchart TD
A["クーロンの法則<br/>（実験事実）"] --> B["重ね合わせの原理<br/>（実験事実）"]
B --> C["電場 E の定義と<br/>連続分布への拡張"]
C --> D["ガウスの法則・積分形<br/>閉曲面上のフラックス = Q/ε₀"]
D --> E["発散の定義<br/>+ 発散定理"]
E --> F["ガウスの法則・微分形<br/>div E = ρ/ε₀"]
C --> G["静電ポテンシャル V<br/>E = −grad V"]
F --> H["ポアソン方程式<br/>ΔV = −ρ/ε₀"]
G --> H

この記事の論理の流れ

---

2. 準備：記号と数学的な約束

以下、$\boldsymbol{x}, \boldsymbol{y}$ は $\mathbb{R}^3$ の位置ベクトル、$r = |\boldsymbol{x}|$、$\hat{\boldsymbol{r}} = \boldsymbol{x}/r$ とします。単位は SI 単位系を用い、真空の誘電率を

$$\varepsilon_0 = 8.8541878\times 10^{-12}\ \mathrm{F/m}, \qquad \frac{1}{4\pi\varepsilon_0} = 8.9875\times 10^{9}\ \mathrm{N\,m^2/C^2}$$

と書きます。

微分作用素。 スカラー場 $f$ とベクトル場 $\boldsymbol{A} = (A_x, A_y, A_z)$ に対し、

$$\operatorname{grad} f = \nabla f = \left(\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, \frac{\partial f}{\partial z}\right), \qquad \operatorname{div}\boldsymbol{A} = \nabla\cdot\boldsymbol{A} = \frac{\partial A_x}{\partial x} + \frac{\partial A_y}{\partial y} + \frac{\partial A_z}{\partial z}$$

とします。ラプラシアンは $\Delta f = \operatorname{div}\operatorname{grad} f = \nabla^2 f$ です。偏微分の扱いに不安があれば 多変数関数の微分と偏微分 を先に読んでください。

面積分の向き。 閉曲面 $S$ 上の面積要素ベクトル $d\boldsymbol{S} = \hat{\boldsymbol{n}}\,dS$ の向きは、常に外向きに取ります。この約束を破ると符号が全部ひっくり返るので、以下ずっと固定します。

領域の仮定。 「なめらかな有界領域」とは、有界な開集合 $V\subset\mathbb{R}^3$ であって、その境界 $\partial V$ が有限個の区分的に $C^1$ な曲面からなり、各点で外向き法線が定まるもの、という意味で使います。球、直方体、円柱はすべてこの条件を満たします。

電荷分布の仮定。 電荷密度 $\rho:\mathbb{R}^3\to\mathbb{R}$ は連続で、有界な集合の外では $0$ とします（コンパクト台を持つ、と言います）。この仮定は、後で出てくる積分の存在と積分順序の交換を保証するために必要です。点電荷はこの仮定を満たさない極限的な対象ですが、扱いは Appendix で述べます。

---

3. クーロンの法則と電場

公理 3.1（クーロンの法則と重ね合わせの原理）

(i) 真空中で静止した 2 個の点電荷 $q_1, q_2$ がそれぞれ位置 $\boldsymbol{x}_1, \boldsymbol{x}_2$ にあるとき、$q_2$ が $q_1$ に及ぼす力は

$$\boldsymbol{F}_{1\leftarrow 2} = \frac{1}{4\pi\varepsilon_0}\,\frac{q_1 q_2}{|\boldsymbol{x}_1 - \boldsymbol{x}_2|^3}\,(\boldsymbol{x}_1 - \boldsymbol{x}_2)$$

で与えられる。すなわち大きさは $|q_1q_2|/(4\pi\varepsilon_0 |\boldsymbol{x}_1-\boldsymbol{x}_2|^2)$ で距離の 2 乗に反比例し、向きは 2 点を結ぶ直線に沿い、同符号なら斥力、異符号なら引力である。

(ii) 電荷が 3 個以上あるとき、1 個の電荷に働く力は、他の各電荷が単独で存在したときに及ぼす力のベクトル和に等しい（重ね合わせの原理）。

(i) の距離依存性 $1/r^2$ は、この記事のすべてを支える指数です。あとで見るように、ガウスの法則が成り立つのは指数がちょうど $2$ のときだけです。現代の実験では、指数を $2+\delta$ と置いたときの $|\delta|$ の上限は $10^{-16}$ 程度に押さえられています。

(ii) の重ね合わせは当たり前に見えますが、独立な実験事実です。力が電荷について線形であることを主張しており、これがないと以下の議論はすべて崩れます。

例 3.2（電気力は重力よりどれだけ強いか）

2 個の陽子（電荷 $e = 1.602\times10^{-19}\ \mathrm{C}$、質量 $m_p = 1.673\times10^{-27}\ \mathrm{kg}$）を距離 $r$ 離して置きます。クーロン力と万有引力の比は、$r$ が消えて

$$\frac{F_{\text{電}}}{F_{\text{重}}} = \frac{e^2/(4\pi\varepsilon_0 r^2)}{G m_p^2/r^2} = \frac{e^2}{4\pi\varepsilon_0 G m_p^2}$$

となります。分子は $8.9875\times10^{9}\times(1.602\times10^{-19})^2 = 2.306\times10^{-28}$、分母は $6.674\times10^{-11}\times(1.673\times10^{-27})^2 = 1.868\times10^{-64}$ ですから、

$$\frac{F_{\text{電}}}{F_{\text{重}}} = \frac{2.306\times10^{-28}}{1.868\times10^{-64}} = 1.23\times10^{36}$$

です。桁が違うどころの話ではありません。それにもかかわらず日常生活で電気力を感じないのは、物質がきわめて精密に電気的中性を保っているからです。逆に言えば、わずかな電荷の不均衡が巨大な力を生みます。

さて、公理 3.1 の (i) を見ると、右辺は $q_1$ と「$q_2$ と位置で決まる量」の積に分解できます。そこで後者に名前を与えます。

定義 3.3（電場）

電荷分布が与えられているとき、位置 $\boldsymbol{x}$ に置いた点電荷 $q$ が受ける力を $\boldsymbol{F}(\boldsymbol{x})$ とする。$\boldsymbol{F}(\boldsymbol{x}) = q\,\boldsymbol{E}(\boldsymbol{x})$ を満たすベクトル場 $\boldsymbol{E}$ を、その電荷分布のつくる電場という。単位は $\mathrm{N/C} = \mathrm{V/m}$ である。

とくに、原点にある点電荷 $q$ のつくる電場は 公理 3.1 より

$$\boldsymbol{E}(\boldsymbol{x}) = \frac{q}{4\pi\varepsilon_0}\,\frac{\boldsymbol{x}}{|\boldsymbol{x}|^{3}} = \frac{q}{4\pi\varepsilon_0 r^2}\,\hat{\boldsymbol{r}}$$

であり、電荷密度 $\rho$ で連続的に分布した電荷がつくる電場は、重ね合わせの原理を積分の形に書いて

$$\boldsymbol{E}(\boldsymbol{x}) = \frac{1}{4\pi\varepsilon_0}\int_{\mathbb{R}^3} \rho(\boldsymbol{y})\,\frac{\boldsymbol{x}-\boldsymbol{y}}{|\boldsymbol{x}-\boldsymbol{y}|^{3}}\,d^3y$$

で与えられる。

注意 3.4

定義に使う「試験電荷」$q$ は、それ自身が周囲の電荷分布を動かしてしまわない程度に小さい、と暗黙に仮定しています。厳密には $\boldsymbol{E} = \lim_{q\to 0}\boldsymbol{F}/q$ と書くべきところです。ただし電荷は $e$ の整数倍にしか取れないので、この極限は数学的な理想化です。実用上は「電場は測定手段によらずに決まる場そのものの量」と考えてください。

なお 定義 3.3 の積分は、$\boldsymbol{y}=\boldsymbol{x}$ で被積分関数が $|\boldsymbol{x}-\boldsymbol{y}|^{-2}$ のように発散します。しかし 3 次元の体積積分では $d^3y \sim r^2\,dr\,d\Omega$ なので $r^{-2}\cdot r^2 = 1$ となって、特異性は積分可能です。したがって $\rho$ が有界でコンパクト台を持てば、この積分はすべての $\boldsymbol{x}$ で絶対収束します。極座標での重積分の扱いは 重積分と累次積分、とくに 極座標変換とそのヤコビアン（例 6.6）［重積分と累次積分］ を参照してください。

---

4. ガウスの法則（積分形）

4.1. フラックスという量

電場を可視化するとき、私たちは電気力線を描きます。力線の「本数」を数えるという素朴な操作を数学的に表したものが、次の量です。

定義 4.1（電束（フラックス））

向き付けられた曲面 $S$ に対し、

$$\Phi_S = \int_S \boldsymbol{E}\cdot d\boldsymbol{S} = \int_S \boldsymbol{E}\cdot\hat{\boldsymbol{n}}\,dS$$

を $S$ を貫く電束（フラックス）という。$S$ が閉曲面のときは $\hat{\boldsymbol{n}}$ を外向きに取り、$\oint_S$ と書く。

$\boldsymbol{E}\cdot\hat{\boldsymbol{n}}$ は電場の面に垂直な成分ですから、$\Phi_S$ は「面をどれだけ垂直に貫いているか」の総量です。面に平行な電場は寄与しません。

ここからが本題です。クーロンの法則の $1/r^2$ という指数には、次の著しい性質があります。

補題 4.2（立体角の補題）

$\boldsymbol{y}\in\mathbb{R}^3$ を固定し、$\boldsymbol{y}$ 以外で定義されたベクトル場

$$\boldsymbol{F}_{\boldsymbol{y}}(\boldsymbol{x}) = \frac{\boldsymbol{x}-\boldsymbol{y}}{|\boldsymbol{x}-\boldsymbol{y}|^{3}}$$

を考える。$V$ をなめらかな有界領域、$S=\partial V$ をその境界（外向き法線）とし、$\boldsymbol{y}\notin S$ とする。このとき

$$\oint_S \boldsymbol{F}_{\boldsymbol{y}}\cdot d\boldsymbol{S} = \begin{cases} 4\pi, & \boldsymbol{y}\in V\ (\text{内部}),\\[2pt] 0, & \boldsymbol{y}\notin \overline{V}\ (\text{外部}). \end{cases}$$

証明（補題 4.2）

一般性を失わずに $\boldsymbol{y}=\boldsymbol{0}$ としてよい（座標を平行移動する）。このとき $\boldsymbol{F}(\boldsymbol{x}) = \boldsymbol{x}/r^3$、$r=|\boldsymbol{x}|$ です。

第 1 段：$\boldsymbol{x}\ne\boldsymbol{0}$ で $\operatorname{div}\boldsymbol{F}=0$ であること。 まず $\partial r/\partial x_i = x_i/r$ です（$r = (x_1^2+x_2^2+x_3^2)^{1/2}$ を微分すればよい）。よって積の微分から

$$\frac{\partial}{\partial x_i}\left(\frac{x_i}{r^3}\right) = \frac{1}{r^3} + x_i\cdot\left(-\frac{3}{r^4}\right)\frac{x_i}{r} = \frac{1}{r^3} - \frac{3x_i^2}{r^5}$$

となり、$i=1,2,3$ について足すと $x_1^2+x_2^2+x_3^2=r^2$ を使って

$$\operatorname{div}\boldsymbol{F} = \frac{3}{r^3} - \frac{3r^2}{r^5} = \frac{3}{r^3}-\frac{3}{r^3} = 0 .$$

ここで指数 $3$（すなわちクーロン力の $1/r^2$）が本質的に効いています。$\boldsymbol{F} = \boldsymbol{x}/r^{n}$ とすると同じ計算で $\operatorname{div}\boldsymbol{F} = (3-n)/r^{n}$ となり、$n=3$ 以外では $0$ になりません。

第 2 段：外部の場合。 $\boldsymbol{0}\notin\overline{V}$ なら、$\boldsymbol{F}$ は $\overline{V}$ を含む開集合上で $C^1$ です。したがって発散定理 定理 5.3 が使えて

$$\oint_S \boldsymbol{F}\cdot d\boldsymbol{S} = \int_V \operatorname{div}\boldsymbol{F}\,d^3x = \int_V 0\,d^3x = 0 .$$

第 3 段：内部の場合。 $\boldsymbol{0}\in V$ なら、$V$ は開集合なので、十分小さい $a>0$ を取れば閉球 $\overline{B_a} = \{|\boldsymbol{x}|\le a\}$ が $V$ に含まれます。そこで穴あき領域 $V' = V\setminus \overline{B_a}$ を考えます。$V'$ の境界は、外側の $S$（外向き法線は $V$ から見て外向き）と、内側の球面 $\Sigma_a = \{|\boldsymbol{x}|=a\}$（$V'$ から見た外向き法線は原点に向かう向き、すなわち $-\hat{\boldsymbol{r}}$）からなります。$V'$ 上で $\boldsymbol{F}$ は $C^1$ で発散は $0$ ですから、発散定理より

$$\oint_S \boldsymbol{F}\cdot d\boldsymbol{S} + \int_{\Sigma_a}\boldsymbol{F}\cdot(-\hat{\boldsymbol{r}})\,dS = 0, \qquad\text{すなわち}\qquad \oint_S \boldsymbol{F}\cdot d\boldsymbol{S} = \int_{\Sigma_a}\boldsymbol{F}\cdot\hat{\boldsymbol{r}}\,dS .$$

右辺は直接計算できます。$\Sigma_a$ 上では $\boldsymbol{F} = \hat{\boldsymbol{r}}/a^2$ なので $\boldsymbol{F}\cdot\hat{\boldsymbol{r}} = 1/a^2$ であり、球面の面積は $4\pi a^2$ ですから

$$\int_{\Sigma_a}\boldsymbol{F}\cdot\hat{\boldsymbol{r}}\,dS = \frac{1}{a^2}\cdot 4\pi a^2 = 4\pi .$$

$a$ が消えました。これで両方の場合が示されました。

∎

注意 4.3

第 3 段で $a$ が消えたことには意味があります。$\boldsymbol{F}\cdot d\boldsymbol{S}$ は幾何学的には立体角要素 $d\Omega$ に等しく、閉曲面全体にわたる積分は「原点から曲面を見込む全立体角」を与えます。中から見れば全方向が見えるので $4\pi$、外から見れば手前側で入った分と向こう側で出た分がちょうど打ち消して $0$ になります。この直観が下の図です。

閉曲面 S を貫く電気力線。電荷が内側にあれば正味の流出があり、外側にあれば入った分と出た分が相殺する。

4.2. 積分形の定理

定理 4.4（ガウスの法則（積分形））

$\rho$ を連続でコンパクト台を持つ電荷密度、$\boldsymbol{E}$ を 定義 3.3 の積分で定まる電場とする。$V$ をなめらかな有界領域、$S = \partial V$ をその境界（外向き法線）とし、$\partial V$ 上に電荷がない、すなわち $\rho$ の台と $S$ が交わらないとする。このとき

$$\oint_S \boldsymbol{E}\cdot d\boldsymbol{S} = \frac{1}{\varepsilon_0}\int_V \rho(\boldsymbol{y})\,d^3y = \frac{Q_{\text{in}}}{\varepsilon_0}$$

が成り立つ。ここで $Q_{\text{in}}$ は $V$ の内部に含まれる全電荷である。有限個の点電荷 $q_1,\dots,q_N$ の場合も同様で、$S$ 上に電荷がなければ $Q_{\text{in}}$ は $V$ の内部にある電荷の総和である。

証明（定理 4.4）

定義 3.3 の表式を代入すると

$$\oint_S \boldsymbol{E}\cdot d\boldsymbol{S} = \oint_S \left[\frac{1}{4\pi\varepsilon_0}\int_{\mathbb{R}^3}\rho(\boldsymbol{y})\,\boldsymbol{F}_{\boldsymbol{y}}(\boldsymbol{x})\,d^3y\right]\cdot d\boldsymbol{S}(\boldsymbol{x})$$

です。ここで $\boldsymbol{F}_{\boldsymbol{y}}$ は 補題 4.2 の記号です。積分の順序を交換します。これが許されるのは、仮定より $\rho$ の台と $S$ が正の距離 $d>0$ だけ離れているので、$\boldsymbol{x}\in S$ かつ $\boldsymbol{y}\in\operatorname{supp}\rho$ の範囲で $|\boldsymbol{F}_{\boldsymbol{y}}(\boldsymbol{x})| \le 1/d^2$ と一様に有界であり、積分領域も有限測度だからです（フビニの定理（定理 4.2）［重積分と累次積分］）。よって

$$\oint_S \boldsymbol{E}\cdot d\boldsymbol{S} = \frac{1}{4\pi\varepsilon_0}\int_{\mathbb{R}^3}\rho(\boldsymbol{y})\left[\oint_S \boldsymbol{F}_{\boldsymbol{y}}\cdot d\boldsymbol{S}\right]d^3y .$$

内側の括弧に 補題 4.2 を適用します。$\boldsymbol{y}\in V$ なら $4\pi$、$\boldsymbol{y}\notin\overline{V}$ なら $0$ です（$\boldsymbol{y}\in S$ となる $\boldsymbol{y}$ では $\rho(\boldsymbol{y})=0$ なので寄与しません）。したがって

$$\oint_S \boldsymbol{E}\cdot d\boldsymbol{S} = \frac{1}{4\pi\varepsilon_0}\int_{V}\rho(\boldsymbol{y})\cdot 4\pi\,d^3y = \frac{1}{\varepsilon_0}\int_V \rho\,d^3y .$$

点電荷の場合は、積分を有限和 $\sum_i q_i$ に置き換えて同じ議論を繰り返せば得られます。

∎

この定理の使い道は 2 つあります。1 つは、対称性がある問題で電場を実際に計算する道具として。もう 1 つは、次節で微分形を導く出発点として、です。まず前者を見ます。

例 4.5（一様に帯電した球の電場）

半径 $a$ の球の内部に電荷 $Q$ が一様に分布しているとします。電荷密度は $\rho = Q/\left(\tfrac{4}{3}\pi a^3\right) = 3Q/(4\pi a^3)$ です。

対称性の議論。 電荷分布は原点まわりの回転で不変です。電場もこの対称性を持つはずなので、$\boldsymbol{E}(\boldsymbol{x}) = E(r)\hat{\boldsymbol{r}}$ の形に限られます。実際、もし $\boldsymbol{E}$ に $\hat{\boldsymbol{r}}$ 以外の成分があれば、その成分は球面上のある接ベクトル場を定めますが、回転対称性からその向きは球面上のすべての点で「同じ」でなければならず、そのような連続な接ベクトル場は $\boldsymbol{0}$ 以外にありません。また大きさが $r$ だけの関数であることも回転対称性から従います。

ガウス面。 半径 $r$ の球面 $S_r$ を取ります。$S_r$ 上で $\boldsymbol{E}\cdot\hat{\boldsymbol{n}} = E(r)$ は一定なので、フラックスは

$$\oint_{S_r}\boldsymbol{E}\cdot d\boldsymbol{S} = E(r)\cdot 4\pi r^2 .$$

一方、内部に含まれる電荷は、$r\ge a$ なら $Q$、$r < a$ なら $Q\,(r/a)^3$ です（体積比）。定理 4.4 より

$$E(r) = \begin{cases} \dfrac{Q}{4\pi\varepsilon_0}\dfrac{r}{a^3}, & r < a,\\[10pt] \dfrac{Q}{4\pi\varepsilon_0 r^2}, & r \ge a . \end{cases}$$

内部では中心からの距離に比例して増え、外部では全電荷が中心に集まっているのと区別がつきません。$r=a$ で両者は $Q/(4\pi\varepsilon_0 a^2)$ に一致し、電場は連続です。

数値。 $Q = 1.0\times10^{-8}\ \mathrm{C}$、$a = 5.0\ \mathrm{cm}$ とすると、表面での電場は

$$E(a) = 8.9875\times10^{9}\times\frac{1.0\times10^{-8}}{(5.0\times10^{-2})^2} = 8.9875\times10^{9}\times\frac{1.0\times10^{-8}}{2.5\times10^{-3}} = 3.6\times10^{4}\ \mathrm{V/m}$$

です。乾燥した空気の絶縁破壊はおよそ $3\times10^{6}\ \mathrm{V/m}$ ですから、この程度なら放電せずに保持できます。

例 4.6（無限に長い直線電荷）

$z$ 軸上に線密度 $\lambda$ の電荷が一様に分布しているとします。円柱座標 $(s,\varphi,z)$ を使うと、分布は $z$ 方向の平行移動と $z$ 軸まわりの回転、さらに $z\mapsto -z$ の鏡映で不変です。この 3 つから、$\boldsymbol{E} = E(s)\hat{\boldsymbol{s}}$（動径方向のみ）であることが従います。$z$ 成分があると鏡映で符号が変わって矛盾し、$\varphi$ 成分があると鏡映（$\varphi$ を保つ）と回転の組み合わせで矛盾するからです。

半径 $s$、長さ $L$ の円柱面をガウス面に取ります。上下の蓋では $\boldsymbol{E}\perp d\boldsymbol{S}$ なので寄与は $0$、側面では $\boldsymbol{E}\cdot\hat{\boldsymbol{n}} = E(s)$ が一定です。側面積は $2\pi s L$、内部電荷は $\lambda L$ ですから

$$E(s)\cdot 2\pi s L = \frac{\lambda L}{\varepsilon_0} \qquad\Longrightarrow\qquad E(s) = \frac{\lambda}{2\pi\varepsilon_0 s} .$$

$L$ が消えるのが気持ちよいところです。減り方が $1/s$ であって $1/s^2$ でないことに注意してください。次元が 1 つ落ちると指数も 1 つ落ちます。

注意 4.7

定理 4.4 はどんな閉曲面についても成り立つ恒等式ですが、そこから $\boldsymbol{E}$ を取り出せるのは、$\boldsymbol{E}\cdot\hat{\boldsymbol{n}}$ が曲面上で定数になるようなガウス面を対称性から選べる場合だけです。使えるのは実質、球対称・軸対称（無限円柱）・平面対称（無限平板）の 3 種類に限られます。有限の長さの帯電棒では、ガウスの法則は正しいけれども役に立ちません。そういう場合は 定義 3.3 の積分か、次節以降のポアソン方程式に戻ります。

---

5. 発散とガウスの法則の微分形

5.1. 発散とは何か

定理 4.4 は、有限の大きさの領域についての主張です。場の理論としては、各点ごとの局所的な法則がほしい。そこで、閉曲面をどんどん小さくして 1 点に潰す極限を考えます。

定義 5.1（発散（湧き出しの密度））

ベクトル場 $\boldsymbol{A}$ と点 $\boldsymbol{x}_0$ に対し、$\boldsymbol{x}_0$ を含むなめらかな領域 $V$ を $\boldsymbol{x}_0$ に縮めていくときの極限

$$\operatorname{div}\boldsymbol{A}(\boldsymbol{x}_0) = \lim_{V\to\{\boldsymbol{x}_0\}} \frac{1}{|V|}\oint_{\partial V}\boldsymbol{A}\cdot d\boldsymbol{S}$$

を $\boldsymbol{A}$ の点 $\boldsymbol{x}_0$ における発散という（$|V|$ は $V$ の体積）。分子は「$V$ から正味どれだけ流れ出したか」なので、発散は単位体積あたりの湧き出しの強さである。

この定義は座標に依存しない形になっているのが利点です。一方、計算するには座標表示が要ります。

命題 5.2（発散の直交座標表示）

$\boldsymbol{A} = (A_x,A_y,A_z)$ が $\boldsymbol{x}_0$ の近傍で $C^1$ 級なら、定義 5.1 の極限を「$\boldsymbol{x}_0$ を中心とする一辺 $2\epsilon$ の立方体 $C_\epsilon$ を $\epsilon\to 0$ とする」形で取ったとき、極限は存在して

$$\operatorname{div}\boldsymbol{A}(\boldsymbol{x}_0) = \frac{\partial A_x}{\partial x}(\boldsymbol{x}_0) + \frac{\partial A_y}{\partial y}(\boldsymbol{x}_0) + \frac{\partial A_z}{\partial z}(\boldsymbol{x}_0)$$

に等しい。

証明（命題 5.2）

$\boldsymbol{x}_0 = (x_0,y_0,z_0)$、$C_\epsilon = [x_0-\epsilon,x_0+\epsilon]\times[y_0-\epsilon,y_0+\epsilon]\times[z_0-\epsilon,z_0+\epsilon]$ とします。体積は $|C_\epsilon| = 8\epsilon^3$ です。

立方体の 6 面を向かい合う 3 組に分けます。$x$ に垂直な 2 面では、外向き法線はそれぞれ $+\hat{\boldsymbol{e}}_x$ と $-\hat{\boldsymbol{e}}_x$ ですから、この組からのフラックスは

$$\Phi_x = \int_{y_0-\epsilon}^{y_0+\epsilon}\!\!\int_{z_0-\epsilon}^{z_0+\epsilon} \Big[A_x(x_0+\epsilon,y,z) - A_x(x_0-\epsilon,y,z)\Big]\,dz\,dy .$$

被積分関数に、$x$ についての 1 変数の平均値の定理（ラグランジュの平均値の定理（定理 3.3）［平均値の定理とテイラーの定理］）を適用します。$A_x$ は $C^1$ なので、各 $(y,z)$ に対して $\xi = \xi(y,z)\in(x_0-\epsilon,x_0+\epsilon)$ が存在して

$$A_x(x_0+\epsilon,y,z) - A_x(x_0-\epsilon,y,z) = 2\epsilon\,\frac{\partial A_x}{\partial x}(\xi,y,z) .$$

$\partial A_x/\partial x$ は連続なので、$\boldsymbol{x}_0$ を含むコンパクトな閉近傍の上で一様連続です。よって任意の $\eta>0$ に対し $\epsilon$ を十分小さく取れば、$C_\epsilon$ 内のすべての点 $\boldsymbol{p}$ で

$$\left|\frac{\partial A_x}{\partial x}(\boldsymbol{p}) - \frac{\partial A_x}{\partial x}(\boldsymbol{x}_0)\right| < \eta$$

とできます（ここで使っているのは 一様連続性（定義 6.1）［極限と連続性］ の定義そのものです）。$(\xi,y,z)\in C_\epsilon$ ですからこの評価が使えて、

$$\left|\Phi_x - 2\epsilon\cdot(2\epsilon)^2\,\frac{\partial A_x}{\partial x}(\boldsymbol{x}_0)\right| \le 2\epsilon\cdot(2\epsilon)^2\,\eta = 8\epsilon^3\eta .$$

両辺を $|C_\epsilon| = 8\epsilon^3$ で割ると、$\left|\Phi_x/(8\epsilon^3) - \partial_x A_x(\boldsymbol{x}_0)\right| \le \eta$ です。$\eta>0$ は任意でしたから

$$\lim_{\epsilon\to 0}\frac{\Phi_x}{8\epsilon^3} = \frac{\partial A_x}{\partial x}(\boldsymbol{x}_0) .$$

$y$ 方向、$z$ 方向の組についても文字を入れ替えるだけで同じ評価が成り立ちます。3 つを足して主張を得ます。

∎

命題 5.2 は「発散 = 偏微分の和」という機械的な公式に、湧き出しという意味を与えます。逆に言えば、$\partial_xA_x+\partial_yA_y+\partial_zA_z$ という一見無機質な式を見たら、「この点で場が湧き出しているか吸い込まれているか」と読み替えてください。

微小領域についての 定義 5.1 を有限の領域に足し上げたものが、次の定理です。

定理 5.3（発散定理（ガウス・オストログラツキーの定理））

$V$ をなめらかな有界領域、$\boldsymbol{A}$ を $\overline{V}$ を含む開集合上で $C^1$ 級のベクトル場とする。このとき

$$\int_V \operatorname{div}\boldsymbol{A}\,d^3x = \oint_{\partial V}\boldsymbol{A}\cdot d\boldsymbol{S}$$

が成り立つ（$\partial V$ の法線は外向き）。

注意 5.4

発散定理は純粋に数学の定理で、電磁気学とは無関係に成り立ちます。証明は、領域を微小な直方体に分割し、隣り合う直方体の共有面でのフラックスが向きが逆なので打ち消し合うこと（内部の寄与がすべて相殺し、外側の面だけが残ること）を示し、各直方体に 命題 5.2 を適用する、という筋道です。区分的に $C^1$ な境界を持つ一般の領域について厳密に述べるには多少の手間がかかるので、ここでは証明を認めて使います。杉浦『解析入門 II』や Spivak の Calculus on Manifolds に完全な証明があります。

5.2. 微分形の導出

積分形から微分形に移るには、「すべての領域で積分が等しいなら被積分関数も等しい」という一手が必要です。これは自明ではなく、$\rho$ や $\operatorname{div}\boldsymbol{E}$ の連続性を使います。

補題 5.5（連続関数の消滅補題）

$\Omega\subset\mathbb{R}^3$ を開集合、$f:\Omega\to\mathbb{R}$ を連続関数とする。$\Omega$ に含まれるすべての閉球 $B$ について $\int_B f\,d^3x = 0$ が成り立つならば、$\Omega$ 上で $f\equiv 0$ である。

証明（補題 5.5）

背理法で示します。ある $\boldsymbol{x}_0\in\Omega$ で $f(\boldsymbol{x}_0)\ne 0$ とし、まず $c := f(\boldsymbol{x}_0) > 0$ の場合を考えます。

$f$ は $\boldsymbol{x}_0$ で連続なので、$\varepsilon = c/2$ に対して $\delta>0$ が存在して、$|\boldsymbol{x}-\boldsymbol{x}_0| \le \delta$ ならば $|f(\boldsymbol{x}) - c| < c/2$、したがって $f(\boldsymbol{x}) > c/2$ となります。$\Omega$ は開集合なので、$\delta$ をさらに小さく取って閉球 $B = \{|\boldsymbol{x}-\boldsymbol{x}_0|\le\delta\}$ が $\Omega$ に含まれるようにできます。この $B$ について

$$\int_B f\,d^3x \ \ge\ \int_B \frac{c}{2}\,d^3x = \frac{c}{2}\cdot\frac{4}{3}\pi\delta^3 > 0$$

となり、仮定 $\int_B f = 0$ に矛盾します。$f(\boldsymbol{x}_0)<0$ の場合は $-f$ に同じ議論を適用すればよい。よって $f$ はどの点でも $0$ です。

∎

定理 5.6（ガウスの法則（微分形））

$\rho$ を連続でコンパクト台を持つ電荷密度、$\boldsymbol{E}$ をそれがつくる電場とする。$\boldsymbol{E}$ が $C^1$ 級である領域において

$$\operatorname{div}\boldsymbol{E}(\boldsymbol{x}) = \frac{\rho(\boldsymbol{x})}{\varepsilon_0}$$

が各点で成り立つ。

証明（定理 5.6）

$\boldsymbol{E}$ が $C^1$ 級である開集合を $\Omega$ とし、$\Omega$ に含まれる任意の閉球 $B$ を取ります。$B$ の内部を $V$ とすると、定理 5.3 より

$$\int_{V}\operatorname{div}\boldsymbol{E}\,d^3x = \oint_{\partial V}\boldsymbol{E}\cdot d\boldsymbol{S}$$

です。一方、定理 4.4 より右辺は $\dfrac{1}{\varepsilon_0}\displaystyle\int_V \rho\,d^3x$ に等しい（境界球面上に電荷があっても、その部分は 3 次元の測度が $0$ なので体積積分には影響しません。厳密には、まず半径をわずかに動かして球面上に $\rho$ の台が乗らないようにし、連続性から極限を取ればよい）。したがって

$$\int_{V}\left(\operatorname{div}\boldsymbol{E} - \frac{\rho}{\varepsilon_0}\right)d^3x = 0 .$$

$\boldsymbol{E}$ が $C^1$ かつ $\rho$ が連続なので、括弧の中身 $f = \operatorname{div}\boldsymbol{E} - \rho/\varepsilon_0$ は $\Omega$ 上で連続です。上の等式は $\Omega$ に含まれる任意の閉球について成り立つので、補題 5.5 より $f\equiv 0$、すなわち $\operatorname{div}\boldsymbol{E} = \rho/\varepsilon_0$ です。

∎

これが「電荷は電場の湧き出し口である」という命題の正確な意味です。正電荷のあるところで電気力線が湧き出し、負電荷のあるところで吸い込まれ、電荷のない場所では力線は途切れも生まれもしない。定義 5.1 の湧き出し密度としての読み方が効いています。

例 5.7（一様帯電球で微分形を確かめる）

例 4.5 で求めた電場が、確かに 定理 5.6 を満たすことを直接計算で確認します。球対称なベクトル場 $\boldsymbol{A} = A(r)\hat{\boldsymbol{r}}$ の発散は、球座標での公式

$$\operatorname{div}\boldsymbol{A} = \frac{1}{r^2}\frac{d}{dr}\left(r^2 A(r)\right)$$

で与えられます（この公式自体、定義 5.1 で $V$ として厚さ $dr$ の球殻を取れば導けます：流出 $= 4\pi(r+dr)^2A(r+dr) - 4\pi r^2A(r)$、体積 $= 4\pi r^2 dr$）。

外部 $r > a$。 $A(r) = Q/(4\pi\varepsilon_0 r^2)$ なので $r^2A(r) = Q/(4\pi\varepsilon_0)$ は定数であり、$\dfrac{d}{dr}$ を取ると $0$ です。よって $\operatorname{div}\boldsymbol{E} = 0$。外部には電荷がないので $\rho = 0$、一致します。

内部 $r < a$。 $A(r) = Qr/(4\pi\varepsilon_0 a^3)$ なので $r^2A(r) = Qr^3/(4\pi\varepsilon_0 a^3)$、微分して $3Qr^2/(4\pi\varepsilon_0 a^3)$、$r^2$ で割って

$$\operatorname{div}\boldsymbol{E} = \frac{3Q}{4\pi\varepsilon_0 a^3} = \frac{1}{\varepsilon_0}\cdot\frac{3Q}{4\pi a^3} = \frac{\rho}{\varepsilon_0} .$$

例 4.5 で使った $\rho = 3Q/(4\pi a^3)$ とぴったり合いました。なお $r=a$ では $E$ は連続ですが $dE/dr$ が不連続なので、$\boldsymbol{E}$ は $C^1$ ではありません。これは $\rho$ がそこで不連続（内側で正、外側で $0$）であることに対応しています。定理 5.6 の仮定が破れる点では、微分形は各点では意味を失い、積分形の方が基本的になります。

---

6. 静電ポテンシャルとポアソン方程式

6.1. スカラー 1 個で電場を書く

定理 5.6 は 1 本の方程式ですが、未知数は $\boldsymbol{E}$ の 3 成分です。これだけでは $\boldsymbol{E}$ は決まりません。足りない情報を供給するのが、静電場のもう 1 つの性質です。

出発点は、$1/r$ の勾配の計算です。$r=|\boldsymbol{x}|$ に対し $\partial r/\partial x_i = x_i/r$ でしたから、合成関数の微分により

$$\frac{\partial}{\partial x_i}\left(\frac{1}{r}\right) = -\frac{1}{r^2}\cdot\frac{x_i}{r} = -\frac{x_i}{r^3}, \qquad\text{すなわち}\qquad \nabla\left(\frac{1}{r}\right) = -\frac{\boldsymbol{x}}{r^3} .$$

右辺は、まさに点電荷のつくる電場の形です。つまりクーロン場は $1/r$ という 1 個のスカラー関数の勾配になっています。これを重ね合わせれば、一般の分布についても同じことが言えます。

定義 6.1（静電ポテンシャル）

連続でコンパクト台を持つ電荷密度 $\rho$ に対し、

$$V(\boldsymbol{x}) = \frac{1}{4\pi\varepsilon_0}\int_{\mathbb{R}^3}\frac{\rho(\boldsymbol{y})}{|\boldsymbol{x}-\boldsymbol{y}|}\,d^3y$$

を静電ポテンシャル（電位）という。単位は $\mathrm{V} = \mathrm{J/C}$ である。無限遠で $V\to 0$ となるように基準を選んである。

定理 6.2（電場はポテンシャルの勾配）

定義 6.1 の $V$ は $\mathbb{R}^3$ 全体で $C^1$ 級であり、

$$\boldsymbol{E} = -\operatorname{grad}V = -\nabla V$$

が成り立つ。

証明（定理 6.2）

被積分関数を $\boldsymbol{x}$ について微分します。上で計算したとおり、$\boldsymbol{y}$ を固定すると

$$\nabla_{\boldsymbol{x}}\frac{1}{|\boldsymbol{x}-\boldsymbol{y}|} = -\frac{\boldsymbol{x}-\boldsymbol{y}}{|\boldsymbol{x}-\boldsymbol{y}|^3}$$

です（$\boldsymbol{x}\mapsto\boldsymbol{x}-\boldsymbol{y}$ と平行移動しただけです）。積分記号の下で微分することが許されれば

$$\nabla V(\boldsymbol{x}) = \frac{1}{4\pi\varepsilon_0}\int\rho(\boldsymbol{y})\left(-\frac{\boldsymbol{x}-\boldsymbol{y}}{|\boldsymbol{x}-\boldsymbol{y}|^3}\right)d^3y = -\boldsymbol{E}(\boldsymbol{x})$$

となり、これが主張です。微分と積分の交換が正当化できる理由は次のとおりです。$\rho$ は有界（連続かつコンパクト台）なので $|\rho|\le M$ とすると、被積分関数の勾配の大きさは $M/|\boldsymbol{x}-\boldsymbol{y}|^2$ で押さえられます。3 次元の体積要素は極座標で $|\boldsymbol{x}-\boldsymbol{y}|^2\,d|\boldsymbol{x}-\boldsymbol{y}|\,d\Omega$ の形なので、この上界は $\boldsymbol{x}$ の近傍で $\boldsymbol{y}$ について可積分な優関数を与えます。したがってルベーグの優収束定理により差分商の極限と積分が交換でき、さらに得られた $\nabla V = -\boldsymbol{E}$ が連続であることから $V$ は $C^1$ 級です。

∎

系 6.3（静電場は保存力場）

定理 6.2 の状況で、$\mathbb{R}^3$ 内の任意の区分的に $C^1$ な曲線 $C$（始点 $A$、終点 $B$）に対し

$$\int_C \boldsymbol{E}\cdot d\boldsymbol{l} = V(A) - V(B)$$

が成り立つ。とくに線積分は経路によらず、閉曲線に沿えば $\oint_C\boldsymbol{E}\cdot d\boldsymbol{l} = 0$ である。また $V$ が $C^2$ 級の領域では $\operatorname{rot}\boldsymbol{E} = \boldsymbol{0}$ である。

証明（系 6.3）

$C$ を $\boldsymbol{c}:[0,1]\to\mathbb{R}^3$、$\boldsymbol{c}(0)=A$、$\boldsymbol{c}(1)=B$ とパラメータ表示します。多変数の合成関数の微分法（連鎖律（定理 6.1）［多変数関数の微分と偏微分］）より

$$\frac{d}{dt}V(\boldsymbol{c}(t)) = \nabla V(\boldsymbol{c}(t))\cdot \boldsymbol{c}'(t) = -\boldsymbol{E}(\boldsymbol{c}(t))\cdot\boldsymbol{c}'(t)$$

です（2 つ目の等号で 定理 6.2 を使いました）。両辺を $t$ について $0$ から $1$ まで積分し、微分積分学の基本定理（定理 5.4）［積分の基本定理と定積分］ を適用すると

$$V(B) - V(A) = -\int_0^1 \boldsymbol{E}(\boldsymbol{c}(t))\cdot\boldsymbol{c}'(t)\,dt = -\int_C\boldsymbol{E}\cdot d\boldsymbol{l}$$

となり、移項して主張を得ます。右辺は端点だけで決まるので経路によりません。閉曲線なら $A=B$ なので $0$ です。最後に、$\operatorname{rot}(\nabla V)$ の第 1 成分は $\partial_y\partial_z V - \partial_z\partial_y V$ ですが、$V$ が $C^2$ なら偏微分の順序が交換できる（シュワルツの定理（定理 7.1）［多変数関数の微分と偏微分］）のでこれは $0$、他の成分も同様です。

∎

注意 6.4

系 6.3 の物理的な意味は、電荷 $q$ を $A$ から $B$ まで運ぶときに電場がする仕事が $q\,(V(A)-V(B))$ であり、経路によらないということです。すなわち静電場は保存力場で、ニュートン力学の基礎 の 力学的エネルギー保存則（定理 7.5）［ニュートン力学の基礎］ がそのまま使えます。位置エネルギーは $U = qV$ です。

ベクトル場 3 成分をスカラー 1 個で書けることの実用上の価値は大きく、静電気の問題はほぼすべて $V$ を求める問題として解かれます。なお、時間変化する場では $\operatorname{rot}\boldsymbol{E}\ne\boldsymbol{0}$ になるためスカラーポテンシャルだけでは足りず、ベクトルポテンシャル $\boldsymbol{A}$ が必要になります。そこで初めてゲージ変換の自由度が現れます（電磁ポテンシャルとゲージ変換）。静電場でも $V$ に定数を足す自由度がありますが、これはゲージ自由度のもっとも簡単な例だと見ることができます。

6.2. ポアソン方程式

定理 6.5（ポアソン方程式）

$\rho$ を連続でコンパクト台を持つ電荷密度、$V$ を 定義 6.1 の静電ポテンシャルとする。$V$ が $C^2$ 級である領域において

$$\Delta V = \frac{\partial^2V}{\partial x^2}+\frac{\partial^2V}{\partial y^2}+\frac{\partial^2V}{\partial z^2} = -\frac{\rho}{\varepsilon_0}$$

が成り立つ。

証明（定理 6.5）

定理 6.2 より $\boldsymbol{E} = -\nabla V$ です。$V$ が $C^2$ なら $\boldsymbol{E}$ は $C^1$ なので 定理 5.6 が使えて

$$\frac{\rho}{\varepsilon_0} = \operatorname{div}\boldsymbol{E} = \operatorname{div}(-\nabla V) = -\Delta V .$$

最後の等号は $\operatorname{div}\operatorname{grad} = \Delta$ という定義そのものです。符号を整理して主張を得ます。

∎

系 6.6（ラプラス方程式）

電荷のない領域（$\rho\equiv 0$）では、静電ポテンシャルは $\Delta V = 0$ を満たす。この方程式をラプラス方程式、その解を調和関数という。

注意 6.7

細かいけれども正直に述べておくべき点があります。$\rho$ が連続であるだけでは、定義 6.1 の $V$ は一般に $C^2$ 級とは限りません。$C^2$ を保証するには、$\rho$ が局所ヘルダー連続であるなどのもう少し強い条件が要ります（連続なだけの $\rho$ で $V\notin C^2$ となる例が知られています）。この事情はポテンシャル論の標準的な話題で、Evans の Partial Differential Equations 第 2 章に詳しい議論があります。物理の問題で扱う電荷分布はたいてい区分的に滑らかなので、実用上は気にしなくてかまいません。

定理 6.5 は、この記事の到達点です。静電気の問題は、次の形に定式化されます。

領域と境界条件（導体の表面電位、無限遠での挙動など）が与えられたとき、$\Delta V = -\rho/\varepsilon_0$ を満たす $V$ を求めよ。

定義 6.1 の積分は、境界条件が「無限遠で $0$」のときの解の公式にほかなりません。導体や誘電体が置かれた有限領域の問題では、境界条件が変わるので積分公式はそのままでは使えず、鏡像法・変数分離・グリーン関数といった偏微分方程式の技法が登場します。

例 6.8（一様帯電球のポテンシャルとポアソン方程式）

例 4.5 の球について、$V$ を求めてポアソン方程式を確かめます。球対称なので $V = V(r)$ で、定理 6.2 より $E(r) = -dV/dr$ です。

外部 $r\ge a$。 $-dV/dr = Q/(4\pi\varepsilon_0 r^2)$ を積分し、$r\to\infty$ で $V\to0$ となるよう定数を決めると

$$V(r) = \frac{Q}{4\pi\varepsilon_0 r} .$$

内部 $r\le a$。 $-dV/dr = Qr/(4\pi\varepsilon_0 a^3)$ を積分して $V(r) = -\dfrac{Qr^2}{8\pi\varepsilon_0 a^3} + C$。$r=a$ で外部の値 $Q/(4\pi\varepsilon_0 a)$ に一致させると

$$-\frac{Q}{8\pi\varepsilon_0 a} + C = \frac{Q}{4\pi\varepsilon_0 a} \quad\Longrightarrow\quad C = \frac{3Q}{8\pi\varepsilon_0 a},$$

したがって

$$V(r) = \frac{Q}{8\pi\varepsilon_0 a}\left(3 - \frac{r^2}{a^2}\right) \qquad (r\le a).$$

中心では $V(0) = 3Q/(8\pi\varepsilon_0 a)$ で、表面の値の $1.5$ 倍です。例 4.5 の数値（$Q=1.0\times10^{-8}\ \mathrm{C}$、$a=5.0\ \mathrm{cm}$）を入れると、表面電位は $8.9875\times10^{9}\times10^{-8}/(5.0\times10^{-2}) = 1.8\times10^{3}\ \mathrm{V}$、中心電位は $2.7\times10^{3}\ \mathrm{V}$ です。

ポアソン方程式の確認。 球対称な関数のラプラシアンは $\Delta V = \dfrac{1}{r^2}\dfrac{d}{dr}\left(r^2\dfrac{dV}{dr}\right)$ です。内部では $dV/dr = -Qr/(4\pi\varepsilon_0a^3)$ なので

$$r^2\frac{dV}{dr} = -\frac{Qr^3}{4\pi\varepsilon_0a^3},\qquad \frac{d}{dr}\left(r^2\frac{dV}{dr}\right) = -\frac{3Qr^2}{4\pi\varepsilon_0a^3},\qquad \Delta V = -\frac{3Q}{4\pi\varepsilon_0 a^3} .$$

一方 $\rho = 3Q/(4\pi a^3)$ ですから $-\rho/\varepsilon_0 = -3Q/(4\pi\varepsilon_0a^3)$ で、確かに 定理 6.5 が成り立っています。外部では $r^2\,dV/dr = -Q/(4\pi\varepsilon_0)$ が定数なので $\Delta V = 0$ となり、系 6.6 のとおりです。

ヒント

静電気の問題を解くときの手順は、おおむね次の順に試すとよいでしょう。(1) 対称性があるか。あれば 定理 4.4 で $\boldsymbol{E}$ を直接求める。(2) なければ、境界条件が単純か。単純なら 定理 6.5 を偏微分方程式として解く。(3) どちらも難しければ、定義 6.1 の積分を数値的に評価する。$\boldsymbol{E}$ を直接積分するより、スカラーの $V$ を積分して最後に微分する方が、ベクトルの成分を扱わずに済むぶん楽です。

---

7. 演習

演習 7.1易

半径 $a$ の球面上に電荷 $Q$ が一様に分布している（面密度 $\sigma = Q/(4\pi a^2)$、内部は空洞）。中心からの距離 $r$ における電場 $E(r)$ と電位 $V(r)$ を求めてください。また、$r=a$ で $E$ と $V$ がそれぞれ連続か不連続かを述べてください。

解答

球対称なので 例 4.5 と同じ議論により $\boldsymbol{E} = E(r)\hat{\boldsymbol{r}}$ です。半径 $r$ の球面をガウス面に取ると、フラックスは $4\pi r^2E(r)$。内部電荷は $r < a$ なら $0$、$r > a$ なら $Q$ です。定理 4.4 より

$$E(r) = \begin{cases} 0, & r < a,\\[6pt] \dfrac{Q}{4\pi\varepsilon_0 r^2}, & r > a. \end{cases}$$

空洞の内部で電場が完全に $0$ になるのが要点です。これは 補題 4.2 の外部の場合が効いている状況で、クーロンの法則の指数がちょうど $2$ であることの直接の帰結です（実験的に指数のずれを高精度で検証する方法として、この「空洞内で電場が $0$」を測る実験が実際に使われています）。

電位は $V(r) = -\int_\infty^r E\,dr'$ から求めます。$r\ge a$ では $V(r) = Q/(4\pi\varepsilon_0 r)$。$r\le a$ では $E=0$ なので $V$ は定数で、$r=a$ での値と等しく

$$V(r) = \frac{Q}{4\pi\varepsilon_0 a} \qquad (r\le a).$$

$r=a$ では $E$ は $0$ から $Q/(4\pi\varepsilon_0a^2)$ に飛ぶので不連続です（面電荷では一般に法線成分が $\sigma/\varepsilon_0$ だけ跳びます。ここでも $\sigma/\varepsilon_0 = Q/(4\pi\varepsilon_0a^2)$ で一致します）。一方 $V$ は $r=a$ で両側とも $Q/(4\pi\varepsilon_0 a)$ となり連続です。$V$ は $E$ の積分なので、$E$ が有界に跳ぶ程度では連続性は保たれます。

演習 7.2標準

無限に長い半径 $a$ の円柱の内部に、電荷が一様な密度 $\rho$ で分布している。円柱座標 $(s,\varphi,z)$ を使って電場を求め、さらに円柱座標での発散の公式

$$\operatorname{div}\boldsymbol{A} = \frac{1}{s}\frac{\partial}{\partial s}\left(sA_s\right) + \frac{1}{s}\frac{\partial A_\varphi}{\partial\varphi} + \frac{\partial A_z}{\partial z}$$

を用いて、内外の両方で 定理 5.6 が成り立つことを確認してください。

解答

例 4.6 と同じ対称性の議論（$z$ 方向の並進、$z$ 軸まわりの回転、$z\mapsto-z$ の鏡映）から $\boldsymbol{E} = E(s)\hat{\boldsymbol{s}}$ です。

半径 $s$、長さ $L$ の同軸円柱面をガウス面に取ります。側面のフラックスは $E(s)\cdot 2\pi sL$、蓋の寄与は $0$ です。内部電荷は、$s\le a$ なら $\rho\cdot\pi s^2L$、$s\ge a$ なら $\rho\cdot\pi a^2 L$ です。定理 4.4 より

$$E(s) = \begin{cases}\dfrac{\rho s}{2\varepsilon_0}, & s\le a,\\[10pt] \dfrac{\rho a^2}{2\varepsilon_0 s}, & s\ge a.\end{cases}$$

$s=a$ でどちらも $\rho a/(2\varepsilon_0)$ となり連続です。

発散を計算します。$A_\varphi = A_z = 0$ なので、公式の第 1 項だけが残ります。

内部（$s < a$）では $sE(s) = \rho s^2/(2\varepsilon_0)$ なので

$$\operatorname{div}\boldsymbol{E} = \frac{1}{s}\frac{d}{ds}\left(\frac{\rho s^2}{2\varepsilon_0}\right) = \frac{1}{s}\cdot\frac{\rho s}{\varepsilon_0} = \frac{\rho}{\varepsilon_0}$$

となり、微分形が成り立ちます。外部（$s > a$）では $sE(s) = \rho a^2/(2\varepsilon_0)$ が $s$ によらない定数なので

$$\operatorname{div}\boldsymbol{E} = \frac{1}{s}\cdot 0 = 0$$

で、そこでは $\rho = 0$ ですから、これも一致します。

演習 7.3難

無限に広い平板 $|z|\le d$ の内部に電荷が一様な密度 $\rho > 0$ で分布している。$V$ が $z$ だけの関数であり、対称性から $V(z)=V(-z)$、$V(0)=0$ と規格化できることを認めて、ポアソン方程式 $\Delta V = -\rho/\varepsilon_0$ を $|z|\le d$ と $|z|\ge d$ の両方で解き、$z=d$ で $V$ と $dV/dz$ が連続になるように接続してください。得られた $V$ から $\boldsymbol{E}$ を求め、ガウスの法則で直接求めた結果と一致することを確かめてください。

解答

$V$ が $z$ だけの関数なので $\Delta V = d^2V/dz^2$ です。$z\ge 0$ の側で解き、あとで偶関数に拡張します。

内部 $0\le z\le d$。 方程式は $V'' = -\rho/\varepsilon_0$ です。2 回積分して

$$V(z) = -\frac{\rho}{2\varepsilon_0}z^2 + Bz + C .$$

$V(0)=0$ より $C=0$。偶関数であるためには $V'(0)=0$ が必要（偶関数の微分は奇関数なので $0$ で $0$）なので $B=0$。よって

$$V(z) = -\frac{\rho}{2\varepsilon_0}z^2 \qquad (0\le z\le d).$$

外部 $z\ge d$。 そこでは $\rho=0$ なので $V''=0$、すなわち $V(z) = \alpha z + \beta$（系 6.6 の 1 次元版です）。

接続。 $z=d$ で $V'$ が連続であること：内部側は $V'(d) = -\rho d/\varepsilon_0$、外部側は $\alpha$。よって $\alpha = -\rho d/\varepsilon_0$。$V$ が連続であること：$-\rho d^2/(2\varepsilon_0) = \alpha d + \beta = -\rho d^2/\varepsilon_0 + \beta$ より

$$\beta = -\frac{\rho d^2}{2\varepsilon_0} + \frac{\rho d^2}{\varepsilon_0} = \frac{\rho d^2}{2\varepsilon_0}.$$

したがって $z\ge d$ で $V(z) = \dfrac{\rho d}{\varepsilon_0}\left(\dfrac{d}{2} - z\right)$ です。$z\le -d$ 側は $z\mapsto|z|$ と読み替えます。なおこの分布は無限に広がっているため、無限遠で $V\to0$ とはできません（$V$ は $|z|\to\infty$ で $-\infty$ に発散します）。基準点を $z=0$ に取ったのはそのためです。

電場。 $E_z = -dV/dz$ より

$$E_z(z) = \begin{cases}\dfrac{\rho z}{\varepsilon_0}, & |z|\le d,\\[10pt] \dfrac{\rho d}{\varepsilon_0}\operatorname{sgn}(z), & |z|\ge d.\end{cases}$$

ガウスの法則による検算。 底面積 $S$ の直方体で、$z=-h$ から $z=+h$ までを覆うガウス面を取ります。対称性から $E_z(-h) = -E_z(h)$ なので上下 2 面のフラックスは $2SE_z(h)$、側面の寄与は $0$ です。内部電荷は $h\le d$ なら $\rho\cdot 2hS$、$h\ge d$ なら $\rho\cdot 2dS$。定理 4.4 より $2SE_z(h) = 2\rho\min(h,d)S/\varepsilon_0$、すなわち $E_z(h) = \rho\min(h,d)/\varepsilon_0$ となり、上で得た結果と一致します。

$d\to0$、$\rho\cdot 2d\to\sigma$ の極限を取ると $E_z = \sigma/(2\varepsilon_0)\operatorname{sgn}(z)$ という、無限平面上の面電荷がつくる有名な式が得られます。距離によらず一定であることが特徴です。

---

参考文献

• 砂川重信『理論電磁気学』第 3 版、紀伊國屋書店、1999 — 第 1 章・第 2 章に静電場とガウスの法則の体系的な扱いがあります。
• 太田浩一『電磁気学の基礎 I』東京大学出版会、2012 — 第 1 章。歴史的経緯と実験的根拠の記述が丁寧です。
• D. J. Griffiths, Introduction to Electrodynamics, 4th ed., Cambridge University Press, 2017 — Chapter 2 (Electrostatics)。ガウスの法則の使い方の演習が豊富です。
• J. D. Jackson, Classical Electrodynamics, 3rd ed., Wiley, 1998 — Chapter 1。デルタ関数とグリーン関数を使った定式化。
• R. P. Feynman, R. B. Leighton, M. Sands, The Feynman Lectures on Physics, Vol. II — Chapters 4–6。全文が 公式サイト で公開されています。場の描像の説明はここが群を抜いています。
• L. C. Evans, Partial Differential Equations, 2nd ed., American Mathematical Society, 2010 — Chapter 2.2。ポアソン方程式・ラプラス方程式の数学的に厳密な扱い（注意 6.7 の正則性の問題を含む）。

---

Appendix: 点電荷とデルタ関数

点電荷は本文の枠組みからはみ出します。 本文では $\rho$ を連続関数と仮定しました。点電荷はこの仮定を満たしません。にもかかわらず、点電荷の場は静電気学のもっとも基本的な例です。この食い違いをきちんと扱う枠組みが超関数（distribution）です。

原点にある点電荷 $q$ の電荷密度を、$\rho(\boldsymbol{x}) = q\,\delta^3(\boldsymbol{x})$ と書きます。$\delta^3$ はディラックのデルタ関数で、通常の関数ではなく、「なめらかでコンパクト台を持つ任意の関数 $\phi$ に対し $\int \delta^3(\boldsymbol{x})\phi(\boldsymbol{x})\,d^3x = \phi(\boldsymbol{0})$ を満たす対応」として定義されます。

このとき、微分形のガウスの法則は次の恒等式になります。 $\boldsymbol{E} = \dfrac{q}{4\pi\varepsilon_0}\dfrac{\boldsymbol{x}}{r^3}$ に対し $\operatorname{div}\boldsymbol{E} = \rho/\varepsilon_0 = \dfrac{q}{\varepsilon_0}\delta^3(\boldsymbol{x})$ が成り立つべきなので、

$$\operatorname{div}\left(\frac{\boldsymbol{x}}{r^3}\right) = 4\pi\,\delta^3(\boldsymbol{x}), \qquad\text{同じことですが}\qquad \Delta\left(\frac{1}{r}\right) = -4\pi\,\delta^3(\boldsymbol{x}) .$$

一見すると、補題 4.2 の第 1 段で $\operatorname{div}(\boldsymbol{x}/r^3)=0$ を示したことと矛盾するように見えます。しかしあの計算は $\boldsymbol{x}\ne\boldsymbol{0}$ でのみ有効でした。原点では $\boldsymbol{x}/r^3$ は定義されておらず、そこにすべての湧き出しが集中しているのです。実際、補題 4.2 の第 3 段が示したのは「原点を含むどんな小さい閉曲面を取っても、フラックスは $4\pi$ で変わらない」ということでした。これはまさに、原点に強さ $4\pi$ の点状の湧き出しがあるという主張です。

この恒等式は計算の道具として便利です。 たとえば 定義 6.1 の $V$ にラプラシアンを作用させると、形式的に

$$\Delta V(\boldsymbol{x}) = \frac{1}{4\pi\varepsilon_0}\int\rho(\boldsymbol{y})\,\Delta_{\boldsymbol{x}}\frac{1}{|\boldsymbol{x}-\boldsymbol{y}|}\,d^3y = \frac{1}{4\pi\varepsilon_0}\int\rho(\boldsymbol{y})\left(-4\pi\delta^3(\boldsymbol{x}-\boldsymbol{y})\right)d^3y = -\frac{\rho(\boldsymbol{x})}{\varepsilon_0}$$

となり、定理 6.5 が 1 行で出ます。本文で 定理 4.4 から遠回りをしたのは、この形式的計算を正当化するにはそれなりの準備（超関数の微分の定義、たたみこみの微分）が要るからです。どちらの道を通っても結論は同じです。

なお、点電荷の自己エネルギーは発散します。 点電荷 $q$ の場のエネルギー密度 $\tfrac{\varepsilon_0}{2}|\boldsymbol{E}|^2$ を全空間で積分すると、原点付近で $\int_0 r^{-4}\cdot r^2dr$ の形になって発散します。これは古典電磁気学が抱える本質的な困難で、点電荷という理想化の限界を示しています。エネルギーの話題は マクスウェル方程式と電磁波 で改めて扱います。