偏微分方程式

偏微分方程式（へんびぶんほうていしき、テンプレート:Lang-en-short）とは未知関数の偏微分を含んだ等式で表現される微分方程式のことである。

概要

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

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

記法と例

以下では未知関数 ψ の変数 x に関する偏微分を ψ_x のように表す。

また、特別な記述がない限り、変数は時間t と3次元空間(x, y, z ) とするが、数学的には一般の次元に拡張できる。

楕円型方程式

ラプラス方程式

非常に重要で基礎的な偏微分方程式として、

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

<math>{\nabla}^2 \psi = 0, \quad \Delta \psi = 0</math>

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

ポアソン方程式

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

<math>\nabla^2 \psi = \psi_{xx} + \psi_{yy} + \psi_{zz} = f(x,y,z)</math>

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

ヘルムホルツ方程式

テンプレート:Main 次の方程式のことをいう。電磁波の放射、地震学、音響学などで用いられる。

<math>(\nabla^2 + k^2) \psi = 0</math>

双曲型方程式

波動方程式

波動方程式は時間変数 t を含む双曲型偏微分方程式

<math>\psi_{tt} = c^2 \nabla^2 \psi = c^2 (\psi_{xx} + \psi_{yy} + \psi_{zz})</math>

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

移流方程式

移流方程式（en:Advection）は速度場 u = (u, v, w )のもとでの保存スカラー量ψの輸送を記述するもので、方程式は

<math>\psi_t+\nabla\cdot(\bold{u}\psi) = \psi_t+(u\psi)_x+(v\psi)_y+(w\psi)_z = 0</math>

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

<math>\psi_t+\bold{u}\cdot\nabla\psi = \psi_t+u\psi_x+v\psi_y+w\psi_z = 0</math>

と簡略化される。

一次元定常移流方程式

（u は定数）は一般に豚小屋問題 (pigpen problem) と称される。

放物型方程式

拡散方程式

拡散方程式は与えられた領域において時間とともに変化する場を記述する放物型偏微分方程式で、

<math>u_t = k\nabla^2\psi = k (\psi_{xx} + \psi_{yy} + \psi_{zz})</math>

によって与えられる。ψはたとえば温度場（熱伝導方程式）や、物質の濃度場（フィックの法則）などを表す。定数 k は物質の熱伝導性や拡散係数などを示している。解は時間の増加とともに大体均一に分布するように変化し、t→∞で調和関数に近づく。

その他の方程式

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

以上の例はすべて、与えられた線形作用素 A と既知関数 f によって、Aψ = f という形に表されるという意味で線型である。重要な非線型方程式には、

などがある。