微分方程式
微分方程式(びぶんほうていしき、differential eqation)とは未知関数とその導関数の関係式として書かれている方程式。主に、一変数関数の導関数の関係式で書かれる常微分方程式 (ODE) と多変数関数の偏導関数を含む関係式で書かれる偏微分方程式 (PDE) に分かれる。
微分方程式は、物理法則としての基礎方程式として生まれた。微分方程式論は解析学の中心的な分野で、フーリエ変換、超関数等はもともと微分方程式を解くために開発された手法である。
未知関数とその導関数の関係式が、未知関数や導関数を変数と見たときに解析関数を係数とする多項式である場合、代数的微分方程式と呼ばれる。 微分方程式に含まれる導関数の次数(階数)の内、最も高いものが n 階である場合、n 階微分方程式と呼ばれる。
いずれの場合も未知関数は一つとは限らず、また、連立する複数の微分方程式を同時に満たす関数を解とするような方程式系の形を取る場合もある。n 階連立常(偏)微分方程式などと呼ばれる。
微分方程式が、未知関数、導関数、定数項 1 の既知の関数(定数でもよい)を係数とする線形結合で書かれている時、これを線形微分方程式と呼び、そうでない場合は非線形微分方程式と呼ぶ。 また、線形微分方程式の内、定数項 1 の係数が 0 である場合、斉次方程式、そうでない場合、非斉次方程式と呼ぶ。斉次・非斉次ではなく、同次・非同次で呼ばれる場合もある。
線型微分方程式は歴史が長くヘルマンダー等がそのひとつの頂点であろう。それに比して、非線型微分方程式は歴史が浅く比較的簡単な方程式しか解析できていない。例えば流体の支配方程式として有名なナビエ・ストークス方程式のような物理的に重要な方程式ですら、その解の存在は未解決問題である。
微分方程式を解くことを積分するとも言う。
微分方程式の例
一階線形常微分方程式
このように、微分方程式に於ける微小数(dx ,dt など)は、通常の分数とほぼ同じように扱える。但し、微小数どうしの約分はできない。実際、上の解法の正確な意味は、方程式を変形して
その他の解法としては斉次方程式の解を利用して解く定数変化法やグリーン関数を用いた解法、差分方程式を用いた解法、ラプラス変換や逆ラプラス変換を用いた解法など様々な解法が知られている。
しかし、代数方程式と同様に微分方程式も殆どのものが解を求めるのは困難であり、よく知られている関数の組合せでは記述できないものが殆どである。従って、実用的には上記のような解析的な解法に加えて、計算機を利用した数値計算による解の探索も重要である。その手段として、常微分方程式にはオイラー法やルンゲ・クッタ法、偏微分方程式には有限要素法などがある。