ピカール＝リンデレーフの定理

3行要約

1. 常微分方程式の初期値問題において、解の存在と一意性を保証する定理。
2. 関数がリプシッツ連続であるという条件下で、局所的な解がただ一つ存在することを示す。
3. 微分方程式の理論における最も基本的な基盤の一つとして広く知られている。