常微分方程式
Ordinary Differential Equations
このシリーズについて
常微分方程式（ODE）は、物理・工学・生物学などあらゆる分野で「変化」を記述する基本言語である。本シリーズでは、「解を計算する」技法だけでなく、「系の振る舞いを理解し、数値結果を判断し、設計・説明できる」能力を身につけることを目指す。
数値的に解けるのになぜ理論を学ぶのか？それは、存在・一意性、安定性、分岐といった**メタ情報**は理論なしには得られないからである。数値解法は「ODE が正しく立ったあと」の話にすぎない。
レベル別学習
学習の流れ
主な学習内容
解法技法
変数分離、積分因子、定数変化法など、古典的な解法を意味付きで理解。
存在・一意性
Picard–Lindelöf 定理により、解が存在し一意であることを保証。
安定性理論
平衡点の分類、Lyapunov 関数、線形化による安定性解析。
分岐とカオス
パラメータ変化による質的変化、Hopf 分岐、初期値鋭敏性。
なぜ理論を学ぶのか
数値解法（Runge–Kutta など）は非常に強力だが、以下の問いには直接答えてくれない：
- 解は存在するのか・一意なのか
- 初期値を変えたとき解はどれくらい変わるか
- 長時間後に安定するか、発散するか
- パラメータを変えると振る舞いが質的に変わるか（分岐）
- 数値計算結果は信用できるか（数値不安定・剛性）
これらはODE の理論なしには判断できない問題である。
応用分野
- 物理学：運動方程式、振動、波動
- 工学：制御理論、回路解析、構造力学
- 生物学：人口モデル、感染症モデル（SIR）
- 経済学：成長モデル、動的最適化
- 化学：反応速度論
- 機械学習：Neural ODE、連続時間モデル