ポアソン方程式

ポアソン方程式（ポアソンほうていしき、テンプレート:Lang-en-short）は、2階の楕円型偏微分方程式。方程式の名はフランスの数学者・物理学者シメオン・ドニ・ポアソンに因む。

概要

テンプレート:Mathを既知の関数とし、テンプレート:Mathを未知関数としたときに、次の形で与えられる2階の偏微分方程式をn次元ポアソン方程式と呼ぶ。

$\frac{{\partial }^2}{\partial x_1^2}u(x_1,\dots ,x_n)+\frac{{\partial }^2}{\partial x_2^2}u(x_1,\dots ,x_n)+\cdots +\frac{{\partial }^2}{\partial x_n^2}u(x_1,\dots ,x_n)=f(x_1,\dots ,x_n)$

特にテンプレート:Mvar が恒等的に0である場合には、ラプラス方程式に帰着される。

ラプラス演算子Δ またはナブラ∇ を用いれば、

$\mathrm{\Delta }u=f$

または、

${\mathrm{\nabla }}^{2}u=\mathrm{\nabla }\cdot \mathrm{\nabla }u=f$

と表すことができる。

物理学での例

ポアソン方程式は電磁気学、移動現象論、流体力学といった物理学の諸領域において、系を記述する基礎方程式として現れる。例えば、電荷分布を与えたときの静電ポテンシャルや質量分布を与えたときの重力ポテンシャルを記述する方程式はポアソン方程式であり、その代表的な例である。また、熱の発生源が存在する場合の温度分布や物質の発生・消滅源が存在する場合の物質濃度分布においても、時間に依存性しない定常状態を記述する方程式はポアソン方程式となる。

電磁気学の例

ポアソン方程式で記述される物理現象としては、電磁気学における静電ポテンシャルがある。与えられた電荷の分布ρとしたときに、静電ポテンシャルφは次のポアソン方程式を満たす。

$\mathrm{\Delta }\varphi =-\frac{\rho }{{ϵ}_0}$

重力ポテンシャルの例

テンプレート:Mathを与えられた質量分布としたときに、重力ポテンシャルテンプレート:Mathは次のポアソン方程式を満たす。

$\mathrm{\Delta }\varphi =4\pi G\rho$

ここでテンプレート:Mvarは万有引力定数である。

熱伝導による温度分布の例

内部に放射線源やジュール熱を発する抵抗を熱源に持つ物質の温度分布テンプレート:Mathを考える。熱流束をテンプレート:Mathとし、熱源の分布をテンプレート:Mathとする。このとき、テンプレート:Mathの発散は単位体積当たりの熱の放出に相当するが、時間について不変となる定常状態ではテンプレート:Mathに一致する。

$\mathrm{\nabla }\cdot 𝑱=s$

一方、フーリエの法則に基づき、熱流束は温度勾配に比例する。

$𝑱=-\lambda \mathrm{\nabla }T$

ここではテンプレート:Mvarは熱伝導率を表す。これを上式に代入すれば、ポアソン方程式

$\mathrm{\Delta }T=-\frac{s}{\lambda }$

を得る。

解の構成

ポアソン方程式は対数ポテンシャルやニュートン・ポテンシャルを用いることで、有界領域の内部における解の例（特殊解）テンプレート:Mathを構成することができる。こうした特殊解は物理や工学での応用上、重要である。さらに、いくつかの条件の下では、全領域（無限境界）における解となる。また、こうした特殊解を用いることで、ポアソン方程式の境界値問題をより単純なラプラス方程式の境界値問題に帰着させることができる。

2次元の場合

2次元空間テンプレート:Mathの有界領域テンプレート:Mathでテンプレート:Mathが1階連続微分可能とすると、

$\begin{array}{cc}{u}_0(x,y)& =-\frac{1}{2\pi }\underset{\mathrm{\Omega }}{\iint }f(\xi ,\eta )\log \frac{1}{\sqrt{(\xi -x{)}^2+(\eta -y{)}^2}}d\xi d\eta \\ & =-\frac{1}{2\pi }\underset{\mathrm{\Omega }}{\iint }f(\xi ,\eta )\log \frac{1}{r}d\xi d\eta (r=\sqrt{(\xi -x{)}^2+(\eta -y{)}^2})\end{array}$

で与えたテンプレート:Mathは、テンプレート:Math の内部で2階連続微分可能であり

$\mathrm{\Delta }{u}_0(x,y)=f(x,y)$

を満たす。ここで積分内の項テンプレート:Mathを対数ポテンシャルと呼ぶ。上記の関係式は、ディラックのデルタ関数による形式的な関係式

${\mathrm{\Delta }}_{(x,y)}(\log \frac{1}{r})=-2\pi \cdot \delta (x-\xi ,y-\eta )$

から理解することができる。

3次元の場合

3次元空間テンプレート:Mathの有界領域テンプレート:Mathでテンプレート:Mathが1階連続微分可能とすると、

$\begin{array}{cc}{u}_0(x,y,z)& =-\frac{1}{4\pi }\underset{\mathrm{\Omega }}{\iiint }\frac{f(\xi ,\eta ,\zeta )}{\sqrt{(\xi -x{)}^2+(\eta -y{)}^2+(\zeta -z{)}^2}}d\xi d\eta d\zeta \\ & =-\frac{1}{4\pi }\underset{\mathrm{\Omega }}{\iiint }f(\xi ,\eta ,\zeta )\frac{1}{r}d\xi d\eta d\zeta (r=\sqrt{(\xi -x{)}^2+(\eta -y{)}^2+(\zeta -z{)}^2})\end{array}$

で与えたテンプレート:Mathは、テンプレート:Mvar の内部で2階連続微分可能であり

$\mathrm{\Delta }{u}_0(x,y,z)=f(x,y,z)$

を満たす。ここで積分の中に現れる項テンプレート:Math をニュートン・ポテンシャルと呼ぶ。上記の関係式は、2次元の場合と同様にディラックのデルタ関数による形式的な関係式

${\mathrm{\Delta }}_{(x,y,z)}\left(\frac{1}{r}\right)=-4\pi \cdot \delta (x-\xi ,y-\eta ,z-\zeta )$

から理解することができる。

n次元の場合

より一般的には、n次元空間テンプレート:Math(n ≧3)の有界領域テンプレート:Mathでテンプレート:Mathが1階連続微分可能とすると、

$u_0(x_1,\cdots ,x_n)=-\frac{\mathrm{\Gamma }\left(\frac{n}{2}\right)}{2(n-2){\pi }^{\frac{n}{2}}}\int \cdots \underset{\mathrm{\Omega }}{\int }f({\xi }_1,\cdots ,{\xi }_n)r^{2-n}d{\xi }_1\cdots d{\xi }_n(r=\sqrt{({\xi }_1-x_1{)}^2+\cdots +({\xi }_n-x_n{)}^2})$

で与えたテンプレート:Mathは、テンプレート:Mathの内部で2階連続微分可能で

$\mathrm{\Delta }{u}_0(x_1,\cdots ,x_n)=f(x_1,\cdots ,x_n)$

を満たす。

参考文献

• R. Courant, D. Hilbert, Methoden Der Mathematischen Physik , R. クーラン, D. ヒルベルト (著), 丸山 滋弥, 斎藤 利弥 (翻訳)『数理物理学の方法』東京図書
• Richard P. Feynman, Robert B. Leighton and Matthew Sands,The Feynman Lectures on Physics vol.II, Addison Wesley (1971) ISBN 020102117X

関連項目

• ラプラス方程式
• ヘルムホルツ方程式
• グリーン関数