グロンウォールの不等式

3行要約

1. 微分方程式の解の評価に用いられる基本的な不等式。
2. 未知関数の増大度を既知の関数の積分によって抑え込む。
3. 解の一意性や連続依存性の証明において決定的な役割を果たす。