If u, β are non-negative continuous on [0, T] and u(t) ≤ α + ∫₀ᵗ β(s)u(s) ds, then u(t) ≤ α · exp(∫₀ᵗ β(s) ds). Grönwall 1919 (integral form); Bellman 1943 discrete form. Keystone for uniqueness of ODE solutions and continuous dependence…
If u, β are non-negative continuous on [0, T] and u(t) ≤ α + ∫₀ᵗ β(s)u(s) ds, then u(t) ≤ α · exp(∫₀ᵗ β(s) ds). Grönwall 1919 (integral form); Bellman 1943 discrete form. Keystone for uniqueness of ODE solutions and continuous dependence…