Global Existence and Uniqueness for Lipschitz Ordinary Differential Equations in Integral Form
theoremAnalysisthm:picard-lindelof-global-2026aLet be real numbers, let be a natural number, let (Euclidean space), and let be a function such that:
(i) (composition continuity) for every function with continuous components, the function has continuous components;
(ii) (global Lipschitz condition) there is a real such that, with the Euclidean distance ,
Then there is exactly one function with continuous components such that, componentwise with the Riemann integral (whose integrands are continuous by (i), so the integrals exist by Continuous Functions on a Closed Interval are Riemann Integrable; degenerate intervals follow the convention of Mean-Square Riemann Integral of a Family of Random Variables),
Here exactly one means: such an exists, and any two such functions are equal at every point of .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.