偏微分方程式

偏微分方程式（へんびぶんほうていしき、）は、未知関数の偏微分を含む微分方程式である。
概要.
微分方程式は通常多くの解を持ち、しばしば解集合を制限する境界条件を付加して考える。常微分方程式の場合にはそれぞれの解が幾つかのパラメータの値によって特徴付けられるような族を解に持っているが、偏微分方程式については、パラメータは関数値をとると考えるほうが有用である（砕けた言い方をすれば、これは解の集合がとても大きいということである）。このことは、ひどく過剰決定的な方程式系でない限りかなり一般に正しい。 
偏微分方程式は、自然科学の分野で流体や重力場、電磁場といった場に関する自然現象を記述することにしばしば用いられる。これらの場というものは例えば、フライトシミュレーションやコンピュータグラフィックス、あるいは天気予報などといったものを扱うために重要な役割を果たす道具である。また、一般相対性理論や量子力学の基本的な方程式も偏微分方程式である。また、経済学においても重要な概念であり、特に金融工学において多用される。
記法.
以下では未知関数 ψ の変数 "x" に関する偏微分を ψ"x" のように表す。
また、特別な記述がない限り、変数は時間 "t" と3次元空間 ("x", "y", "z") とするが、数学的には一般の次元に拡張できる。
楕円型偏微分方程式.
ラプラス方程式.
非常に重要で基礎的な偏微分方程式として、
で定義される楕円型偏微分方程式をラプラス方程式と呼ぶ。これはまた、∇（ナブラ）や Δ（ラプラス作用素）といった微分作用素を用いて
のようにも書かれる。ラプラス方程式の解は調和関数と呼ばれ、重力場や静電場といった物理的なベクトル場のポテンシャルを与える。
ポアソン方程式.
ラプラス方程式は既知の関数 "f" ("x", "y", "z") に関する微分方程式
に一般化される。この偏微分方程式をポアソン方程式という。これは質量の存在する重力場や、電荷の存在する静電場など、場に発生源がある場合のポテンシャルを記述する方程式である。
ヘルムホルツ方程式.
次の方程式のことをいう。電磁波の放射、地震学、音響学などで用いられる。
双曲型偏微分方程式.
波動方程式.
波動方程式は時間変数 "t" を含む双曲型偏微分方程式
のことである。この方程式は光波や音波といった波を記述するもので、定数 "c" は波の速さを示している。より身近な現象として、ひもの振動であるとか太鼓の鼓面の振動などといったものもこの方程式に従う。波動方程式の解は基本的には正弦波を重ね合わせることによって得られる。
移流方程式.
移流方程式（）は速度場 u = ("u", "v", "w" )のもとでの保存スカラー量ψの輸送を記述するもので、方程式は
であたえられる。もし速度場 u が管状ベクトル場、すなわち ∇・u = 0 ならば方程式は
と簡略化される。
一次元定常移流方程式
（"u" は定数）は一般に豚小屋問題 ("pigpen problem") と称される。
放物型偏微分方程式.
拡散方程式.
拡散方程式は与えられた領域において時間とともに変化する場を記述する放物型偏微分方程式で、
によって与えられる。ψはたとえば温度場（熱伝導方程式）や、物質の濃度場（フィックの法則）などを表す。定数 "k" は物質の熱伝導性や拡散係数などを示している。解は時間の増加とともに大体均一に分布するように変化し、"t"→∞で調和関数に近づく。
非線型偏微分方程式.
以上の例はすべて、 与えられた線形作用素 "A" と既知関数 "f" によって、"A"ψ = "f" という形に表されるという意味で線型である。 重要な非線型方程式には、
などがある。
解法.
線型偏微分方程式はその解を基底関数系で線型展開したもので近似することにより一般的に解かれる事が多い（たとえば正弦波関数を使ったフーリエ級数展開）。展開した個々の解の線型結合もまた元の方程式の解になる。また線型偏微分方程式が変数分離可能な構造を持つ場合には変数分離法により低い次元の微分方程式の問題に帰着して解くことが
できる場合がある。
しかし非線型な微分方程式に対しては一般的に使える解法理論はなくて、実際上のほとんどの方程式は解析的な方法では解くことが出来ない。（しかし，あるタイプの方程式には解法が存在することがある。たとえば、ホモトピー原理は過少決定性の方程式系を解くための非常に強力な方法である。また、ソリトン方程式に対しては広田の方法を使うのが標準的である。）
あるいは偏微分方程式を容易に解ける方程式から変化したものであるとみなせる場合にはその解を摂動的な展開を用いて表すことで近似解が得られる場合がある。またそれ以外に数値的な近似解法として、有限差分スキームや有限要素法などが挙げられる。 具体的な解が必要であるが解析的な手段を用いては解くことのできない多くの科学や工学上の問題は，このような近似手法により離散化された大規模な数値計算の問題に変換され，もっぱらコンピュータを用いた計算により解かれる。境界条件も含めて近似解を表すための自由度は非常に大きいものになることが普通であるので，計算を行うために扱うデータの量や演算の回数の多さから，計算機の性能向上と共に効率的な近似法や数値解法の開発が進められ発展してきた。
"fill in: "ディリクレ-ノイマン境界、双曲的/放物的/楕円的変数分離、フーリエ解析、グリーン関数