ポアソン方程式は物理学・数学の多くの場面で登場しますが、「この方程式はどこから来るのか」という導出過程を理解している方は意外と少ないのではないでしょうか。
導出を知ることで方程式の意味が格段に深まり、応用の幅も広がります。
本記事では、ガウスの法則・発散定理・電位と電場の関係を通じて、ポアソン方程式がどのように導かれるかを基本原理から丁寧に解説していきます。
目次
ポアソン方程式の導出結論：ガウスの法則と発散定理から導かれる
それではまず、ポアソン方程式の導出の結論と全体像について解説していきます。
ポアソン方程式は、電磁気学においてガウスの法則と電位の定義を組み合わせることで自然に導出されます。
導出の流れは次のようになります。
①ガウスの法則（積分形）：∯ E·dS = Q/ε₀
②ガウスの発散定理を適用して微分形へ：∇·E = ρ/ε₀
③電場と電位の関係：E = -∇φ
④代入してポアソン方程式：Δφ = -ρ/ε₀
各ステップには明確な物理的意味があり、数学と物理が美しく結びつく導出です。
ガウスの法則（積分形）の意味
ガウスの法則は、閉曲面を通る電場の面積分が内部の電荷量に比例することを述べています。
数式で表すと次のようになります。
∯_S E·dS = Q_enc/ε₀
E：電場、S：閉曲面、Q_enc：内部の総電荷、ε₀：真空の誘電率
この法則は、電荷が電場の「湧き出し」の源であることを意味しています。
正電荷からは電場が湧き出し、負電荷へと電場が吸い込まれるイメージです。
発散定理の適用と微分形への変換
ガウスの発散定理は、ベクトル場の面積分を体積積分に変換する定理です。
∯_S E·dS = ∭_V (∇·E) dV
右辺の体積積分と電荷の関係 ∭ (ρ/ε₀) dV を比較すると、被積分関数が等しいという条件から微分形のガウス法則が得られます。
∇·E = ρ/ε₀
これがマクスウェル方程式の一つ「電場の発散方程式」であり、ポアソン方程式導出の重要な中間ステップです。
電場と電位の関係
静電場では電場Eはスカラーポテンシャル（電位）φの勾配の負として表せます。
E = -∇φ
これは静電場が保存力場であることから導かれる関係式です。
電位の物理的意味は「単位正電荷を無限遠から運ぶのに必要な仕事量」であり、スカラー量として扱いやすい利点があります。
ポアソン方程式の完全な導出手順
続いては、ポアソン方程式を最初から最後まで一貫した流れで導出していきます。
微分形ガウス法則へE = -∇φを代入
∇·E = ρ/ε₀ に E = -∇φ を代入すると次のようになります。
∇·(-∇φ) = ρ/ε₀
-∇·(∇φ) = ρ/ε₀
-Δφ = ρ/ε₀
整理すると次のポアソン方程式が得られます。
Δφ = -ρ/ε₀
これが電磁気学におけるポアソン方程式の標準形です。電荷が存在しない領域（ρ=0）では Δφ = 0 となり、ラプラス方程式に帰着します。
ラプラシアンの表現と座標系
ラプラシアンΔは座標系によって表現が異なります。
直交座標系：Δ = ∂²/∂x² + ∂²/∂y² + ∂²/∂z²
極座標系（2次元）：Δ = ∂²/∂r² + (1/r)∂/∂r + (1/r²)∂²/∂θ²
球座標系：Δ = (1/r²)∂/∂r(r²∂/∂r) + (1/r²sinθ)∂/∂θ(sinθ∂/∂θ) + (1/r²sin²θ)∂²/∂φ²
問題の対称性に合わせた座標系を選ぶと、計算が大幅に簡単になるでしょう。
重力場へのポアソン方程式の拡張
同様の手順で重力場のポアソン方程式も導出できます。
重力のガウス法則（積分形）を発散定理で微分形に変換し、重力場gと重力ポテンシャルΦの関係 g = -∇Φ を代入すると次式が得られます。
ΔΦ = 4πGρ
G：万有引力定数、ρ：質量密度
電磁気版と重力版のポアソン方程式は、符号と定数を除いて全く同じ数学的構造を持っています。
発散定理・微分形式とポアソン方程式の数学的背景
続いては、ポアソン方程式の導出に使われる数学的ツールについて詳しく確認していきます。
ガウスの発散定理の証明の概要
発散定理は∭_V (∇·F)dV = ∯_S F·dS という等式で、体積積分と面積分を結びつけます。
証明の概要は、体積を微小直方体に分割し、各直方体の面への寄与を足し合わせると内部の面が打ち消し合い、表面の積分だけが残るというものです。
この定理はベクトル解析の中心的な定理であり、物理法則の微分形と積分形を橋渡しする重要な役割を担っています。
微分形式での表現とその意味
現代数学では、ガウスの法則やポアソン方程式は外微分形式を使ってより一般的に表現されます。
外微分を用いると、発散定理はストークスの定理の特殊ケースとして統一的に理解でき、次元によらない一般的な形を持ちます。
これはリーマン多様体上での物理法則の定式化にも応用されています。
ポアソン方程式と弱解・変分形式
工学・数値計算の文脈では、ポアソン方程式を変分形式（弱形式）に書き直すことが重要です。
テスト関数vを掛けて積分し、グリーンの公式を用いると次のような弱形式が得られます。
∫_Ω ∇u·∇v dV = -∫_Ω fv dV + 境界項
この変分形式は有限要素法の出発点となり、複雑な形状の問題を系統的に数値的に解くための基礎となります。
まとめ
本記事では、ポアソン方程式の導出過程をガウスの法則・発散定理・電位と電場の関係という三つのステップで解説しました。
ガウスの法則（積分形）→発散定理で微分形へ→電場を電位で表現という流れは、物理法則を数学的に精密化する典型的な手順といえるでしょう。
重力場でも同じ構造の方程式が導かれることから、ポアソン方程式の普遍性の高さが伝わるのではないでしょうか。
導出の各ステップを自分の手で追うことで、ポアソン方程式への理解が確実に深まるはずです。
