Picard-Lindelof theorem
= Picard-Lindelof theorem
{c}
{wiki=Picard–Lindelöf_theorem}
A vector field that is continuous in time and locally <Lipschitz continuous> in the state variable gives a unique local solution to its initial-value problem. A solution extends while it remains in a compact subset of the vector field's domain.