微分方程式 → 初期値問題 → 連続性 → 局所リプシッツ条件 → Picard反復 → 存在一意性定理
入口
微分方程式
目標
存在一意性定理
進捗
ルート設計中
変化の規則から関数を求める問題を見る
出発点を固定して解を探す
解の存在に必要ななめらかさを見る
解が枝分かれしないための条件を置く
近似をくり返して解へ近づく
初期値問題の解が局所的にただ一つ存在する