微分方程式

解析学において、微分方程式とは、未知関数とその導関数の関係式として書かれている関数方程式である。

数学の応用分野においてしばしば、異なる2つの変数の関係を調べることが行われる。2変数を対応付ける関数があらわになっていなくても、その導関数を適当な仮定の下で定めることができ、そこから目的とする関数を探し出すことができる。

物理法則を記述する基礎方程式は、多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。

方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等は元々、微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である。

微分方程式は大きく線型微分方程式と非線型微分方程式に分類される。線形微分方程式の例として、例えばシュレーディンガー方程式が挙げられる。シュレーディンガー方程式は、量子系の状態の時間発展を記述する方法の一つとして広く用いられている。非線型微分方程式の例として、例えばナビエ–ストークス方程式が挙げられる。NS方程式は流体の運動を記述する基本方程式であり、物理学の応用としても重要な方程式である。しかし、NS方程式の解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。

1. 概要
-----

微分方程式は方程式に含まれる導関数の階数によって分類され、最も高い階数が n}} 次である場合、その微分方程式を n}} 階微分方程式と呼ぶ。

いずれの場合も未知関数は一つとは限らず、また、連立する複数の微分方程式を同時に満たす関数を解とするような連立方程式の形を取る場合もある。これは連立 n}} 階微分方程式などと呼ばれる。

1.1. 常微分方程式と偏微分方程式
------------------

一変数関数の導関数の関係式で書かれる常微分方程式と多変数関数の偏導関数を含む関係式で書かれる偏微分方程式に分かれる。

常微分方程式とは例えば、

や、

のような方程式である。

また、偏微分方程式は、

や、

のような格好をした方程式である。

1.2. 代数的微分方程式
-------------

未知関数とその導関数の関係式が、未知関数や導関数を変数と見たときに解析関数を係数とする多項式である場合、代数的微分方程式と呼ばれる。

1.3. 線形微分方程式
------------

方程式が未知関数の一次式として書けるような方程式を線形微分方程式と呼ぶ。また、線型でない微分方程式は非線形微分方程式と呼ばれる。 例えば、//g//}} を //f//}} を含まない既知の関数とすれば、

は線型微分方程式であり、

は非線型微分方程式である。線型と呼ばれる理由は後述する線型斉次な方程式について、解の線型結合がその方程式の一般解をなすためである。

未知関数が 1 つの場合、高階の線型微分方程式を一階線型微分方程式の形に書き直すことができる。 たとえば、}}}} を既知関数の組として、以下の線型微分方程式が与えられたとき、

未知関数 //f//}} のk}} 階の導関数を //yk//}} として 、以下の一組の微分方程式を得る。

この微分方程式は、より一般的に、ベクトルと行列の記法を用いて

と書くことができる。ここで y}} は未知関数 //y//0,..., //y////n//−1}} を成分に持つベクトル、A}} は既知関数 }}//i,j//=}}0,...,//n//−1}} を成分に持つ //n//   ×   //n//}} の行列、b}} は既知関数 //b//0,..., //b////n//−1}} を成分に持つベクトルである。

1.3.1. 斉次方程式と非斉次方程式
-------------------

すべての項が未知関数を含むか 0}} であるような線型微分方程式を線型斉次微分方程式と呼び、斉次でない線形微分方程式は線型非斉次微分方程式と呼ばれる。同じ意味の言葉として斉次方程式をしばしば同次方程式と呼ぶことがある。 例えば、

は斉次な方程式であり、右辺に α}} を加えた、

は非斉次な方程式である。

より一般の線形常微分方程式について、

右辺の関数 //g//0}} がゼロならこの方程式は斉次である。 斉次方程式の特徴として、方程式の解 //s//}} が得られたとき、その定数倍 //cs//}} も方程式の解となる。また、斉次方程式の解の線形結合もその斉次方程式の解になる。

また、非斉次な方程式の解 //s//in}} が得られたとき、元の方程式を斉次な形にしたときの解 //s//hom}} を用いて、非斉次方程式の新たな解 //s//in + //s//hom}} を作ることができる。実際、

としたとき、//s//in, //s//hom}} はそれぞれ

を満たすので、//s//in + //s//hom}} は元の方程式の解になっている。

1.4. 確率微分方程式
------------

方程式に含まれる既知関数が確率変数によって記述されるような微分方程式を確率微分方程式と呼ぶ。確率常微分方程式や確率偏微分方程式はしばしば英語の頭文字を取って“en”, “en”と略記される。代表的な例は物理学におけるランジュバン方程式や金融工学におけるブラック-ショールズ方程式がある。確率微分方程式の既知関数は、自身の期待値や相関関数によって特徴付けられる。

2. 解法
-----

微分方程式に限らず一般の方程式は必ずしも厳密解が得られるとは限らない。従って多く場合は摂動などの手法を用いて近似的な評価を与えるか、ルンゲ＝クッタ法やSOR法、有限要素法のような数値解法によって具体的な解を得ることになる。しかしながらいくつかの基本的な微分方程式については、厳密解が得られたり、形式的に解を書き表せる。

微分方程式の具体的な解法としては代表的なものに、斉次方程式の解を利用して解く定数変化法、グリーン関数を用いた解法、差分方程式を用いた解法、ラプラス変換や逆ラプラス変換を用いた解法などが知られている。

2.1. 指数関数と微分方程式
---------------

一階の線型斉次常微分方程式の中で最も基本的な方程式として次のものがある。

一般の線形微分方程式を解く際も、まずこの種の斉次微分方程式に帰着させるため、この方程式は微分方程式の解法を調べる上で基本的な役割を果たす。 この方程式の解はよく知られているように指数関数となる。 ここで C}} は任意定数である。解法は脚注にて紹介する解法： 一つの方法は次の自然対数の積分公式を利用する方法である。 indent。

指数関数の有用な性質として、微分作用素を別の定数や関数に置き換えられることが挙げられる。係数が定数の斉次方程式

の解として指数関数で書けるものを探すと、//f// =}} //C//exp}} と置き換えて、

と書くことができる。これは λ}} に対する n}} 次の代数方程式になっている。重根がなければ方程式の解が n}} 個求まることになり、斉次方程式の一般解はそれらの線型結合として表される。

この形の方程式の一般解を求める方法としては定数変化法がある。

2.2. 一階線型常微分方程式
---------------

一つの未知関数に対する、一般の一階線型常微分方程式は、既知関数を //P//}}、//Q//}} として、次のように書かれる。

この一階線型常微分方程式は、一般解が求積法で解ける。 まず、斉次方程式

の一般解は、積分定数を //A// ≠ 0}} として、

となる。一階線型常微分方程式の一般解は、斉次方程式の解を利用し A}} を x}} の関数とみなす定数変化法によって求められる。

ここで //C// ≠ 0}} は積分定数である。

2.3. 二階線型常微分方程式
---------------

二階線型常微分方程式の一般形は、既知関数を //P//, //Q//, //R//}} として、次のように書かれる。

この二階線型常微分方程式は、このままの形では求積法を用いて一般解を表示することはできない。 もし、右辺を 0}} とした斉次方程式の特殊解として、//y// =}} //y//1}} が存在すれば、

が成り立つので、z}} なる未知関数を導入して、

とすれば、二階線型常微分方程式が、z}} に関する常微分方程式、

に変換される。この常微分方程式は、導関数 d//z///d//x//}} に関して一階線型常微分方程式なので、求積法で解ける。その一般解を

とすると、二階線型常微分方程式の一般解は、

で与えられる。なお、//C//1, //C//2}} は積分定数である。 x}} の既知関数を含む二階線型常微分方程式で、求積法で解ける微分方程式は少ないが、 次の微分方程式などが知られている。



3. 脚注
-----

3.1. 注釈
-------

3.2. 出典
-------

4. 関連項目
-------

方程式
関数方程式
常微分方程式
常微分方程式の数値解法
偏微分方程式
偏微分方程式の数値解法
確率微分方程式
線型微分方程式
求積法
変数分離
線型性
初期値問題
境界値問題
固有値問題
安定性理論

5. 外部リンク
--------