Linked from

The 17 pages that link to Picard–Lindelöf theorem, each with the reason it gives.

• Initial-value problemBroader topic: It provides a standard test for whether an ODE initial-value problem is locally well posed.

• Banach spaceRelated: Its standard proof constructs solutions by contraction on a complete function space.

• Brouwer fixed-point theoremCompared with: Its fixed-point iteration proves differential-equation solutions, while Brouwer guarantees existence without uniqueness.

• Fixed-point theoremRelated: Its standard proof converts an initial-value problem into a contraction fixed-point problem.

• Banach fixed-point theoremRelated: Its proof casts the differential equation as a fixed-point problem on a function space.

• Lipschitz continuityRelated: Local Lipschitz bounds prevent distinct solution trajectories from branching.

• Complete metric spaceRelated: Its proof constructs solutions through a contraction argument on a complete function space.

• Supremum normRelated: Its contraction argument often uses the supremum norm on a space of functions.

• Existence and uniqueness theoremBroader topic: It is the standard local result, with continuity securing existence and local Lipschitz continuity securing uniqueness.

• Émile PicardBroader topic: Picard’s work helped establish this central theorem on solutions of differential equations.

• Peano existence theoremCompared with: Its stronger hypothesis adds the uniqueness that Peano’s theorem does not provide.

• Uniqueness of solutionsRelated: It gives a standard condition under which an initial value problem has a unique local solution.

• Flow (mathematics)Related: Its hypotheses ensure nearby flow trajectories exist and do not branch.

• Grönwall's inequalityRelated: Grönwall's inequality supplies the uniqueness estimate in its usual proof.

• Carathéodory's existence theoremCompared with: Its stronger regularity condition yields uniqueness, which this existence theorem does not generally ensure.

• Osgood's lemmaCompared with: It is the standard benchmark that Osgood's weaker regularity condition refines.

• Lions–Lax–Milgram theoremCompared with: It solves initial-value problems by iteration rather than coercivity of a bilinear form.