偏微分方程式

偏微分方程式（へんびぶんほうていしき、英: partial differential equation, P.D.E.）とは未知関数の偏微分を含んだ等式で表現される微分方程式のことである。

概要

微分方程式は通常多くの解を持ち、しばしば解集合を制限する境界条件を付加して考える。常微分方程式の場合にはそれぞれの解が幾つかのパラメータの値によって特徴付けられるような族を解に持っているが、偏微分方程式については、パラメータは関数値をとると考えるほうが有用である（砕けた言い方をすれば、これは解の集合がとても大きいということである）。このことは、ひどく過剰決定的な方程式系でない限りかなり一般に正しい。

偏微分方程式は、自然科学の分野で流体や重力場、電磁場といった場に関する自然現象を記述することにしばしば用いられる。これらの場というものは例えば、フライトシミュレーションやコンピュータグラフィックス、あるいは天気予報などといったものを扱うために重要な役割を果たす道具である。また、一般相対性理論や量子力学の基本的な方程式も偏微分方程式である。また、経済学においても重要な概念であり、特に計量経済学において多用される。

記法と例

一般に未知関数 u の変数 x に関する偏微分を u_x のように表す。

u_{x}:={\partial u \over \partial x}.

u_{xy}:={\partial ^{2}u \over \partial y\,\partial x}.

ラプラス方程式

非常に重要で基礎的な偏微分方程式として、未知関数 u = u(x, y, z) に関して

u_xx + u_yy + u_zz = 0

で定義される偏微分方程式をラプラス方程式と呼ぶ。これはまた、∇（ナブラ）や Δ（ラプラス作用素）といった微分作用素を用いて

{\nabla }^{2}u=0,\quad \Delta u=0

のようにも書かれる。ラプラス方程式の解は調和関数と呼ばれ、重力場や静電場といった物理的なベクトル場のポテンシャルを与える。

ラプラス方程式は既知の関数 f(x, y, z) に関する微分方程式

u_xx + u_yy + u_zz = f

に一般化される。この偏微分方程式をポアソン方程式という。これは質量の存在する重力場であるとか、電荷の存在する静電場であるとかいった場のポテンシャルを記述する方程式である。

波動方程式

波動方程式は時間変数 t を含む未知関数 u(x, y, z, t) に関する偏微分方程式

u_tt = c²(u_xx + u_yy + u_zz)

のことである。この方程式は光や音といった波を記述するもので、定数 c は波の速さを示している。より低い次元の現象として、ひもの振動であるとか太鼓の鼓面の振動などといったものもこの方程式に従う。波動方程式の解は基本的には正弦波を重ね合わせることによって得られる。

熱伝導方程式

熱伝導方程式は与えられた領域において時間とともに変化する温度を記述する偏微分方程式で、

u_t = k(u_xx + u_yy + u_zz)

によって与えられる。解は時間の増加とともに大体均一に分布するように変化する。定数 k は物質の熱伝導性を示している。

移流方程式

移流方程式は速度場 u = (u, v, w) における保存スカラー量 ψ の輸送を記述するもので、方程式は

\psi _{t}+(u\psi )_{x}+(v\psi )_{y}+(w\psi )_{z}=0

であたえられる。もし速度場 u が管状ベクトル場、すなわち ∇・u = 0 ならば方程式は

\psi _{t}+u\psi _{x}+v\psi _{y}+w\psi _{z}=0

と簡略化される。

一次元定常移流方程式 ψ_t + uψ_x = 0 （u は定数）は一般に豚小屋問題 (pigpen problem) と称される。

シュレーディンガー方程式は量子力学の核心となる偏微分方程式である。

これらの方程式はすべて、与えられた線形作用素 A と関数 f によって、Au = f という形に表されるという意味で線型である。重要な非線型方程式には、流体を記述するナビエ-ストークス方程式や一般相対性理論におけるアインシュタインの場の方程式がある。