常微分方程式（ODE）

主な性質と分類

常微分方程式は、次数、線形性、単一の方程式か方程式系かといった基本的属性によって分類される。次数とは、方程式に現れる導関数のうち最も高い階数をいう。線形性は、未知関数およびその導関数が線形に現れるかどうかを指す。代表的な分類には、次のようなものがある。

• 1階常微分方程式（例：変数分離法、完全微分方程式、積分因子法）
• 高階線形常微分方程式（しばしば特性方程式、次数低下法、グリーン関数によって解かれる）
• 非線形常微分方程式（極限周期やカオスなどの複雑な振る舞いを示すことがある）
• 複数の相互依存する未知関数を同時に扱う常微分方程式系

解の概念と理論

常微分方程式の解は、陽な公式、陰関係、べき級数、あるいは純粋に定性的な記述として与えられる。存在と一意性に関する結果、たとえばピカール反復に基づく結果は、初期値問題が与えられた点を通るただ1つの解をもつ条件を示す。常微分方程式を解く方法は、大きく解析的方法と数値積分に分けられる。解析的な手法には、変数分離、積分因子、定数係数線形系に対する線形代数的手法、級数展開、積分変換が含まれる。閉形式の解が得られない場合には、オイラー法やルンゲ＝クッタ法などの数値的方法により、解曲線を近似する。

歴史と発展

常微分方程式の研究は17世紀における微積分学の発展から生まれ、物理学や工学とともに進展した。重力下の運動、惑星運動、振動する弦、単純な機械振動子といった初期の問題が、微分方程式の体系的研究へとつながった。その後の数世紀にわたり、数学者たちは安定性、定性的な振る舞い、長期的な力学を理解するための解法と理論的枠組みの双方を発展させた。

用途と例

常微分方程式は、科学技術における多くの過程をモデル化する。例として、個体群の増加・減衰モデル、生物学におけるロジスティック方程式、ニュートンの冷却法則、集中定数素子をもつ電気回路、質量・ばね・ダンパ系および調和振動子を記述する2階方程式が挙げられる。また、資本蓄積をモデル化する経済学や、フィードバック系を設計する際の制御理論にも現れる。モデリングの実践や応用例については、科学モデルおよび応用予測に関する資料を参照できる。

重要な区別と現代的視点

常微分方程式が1つの独立変数の関数を対象とし、相空間における軌道を記述するのに対し、偏微分方程式は複数の変数に依存する場を支配する。現代の常微分方程式論では、厳密解法、定性理論（相平面図や安定性解析）、計算技法が組み合わされる。常微分方程式は、諸科学における理論的研究と実用的なシミュレーションの双方にとって、現在も基礎的な位置を占めている。

技術的な入門や詳細な学習には、導関数の一般理論に関する解説や、存在定理、数値アルゴリズム、応用例を扱う標準的な文献が役立つ。