Peano existence theorem (source code)

= Peano existence theorem
{c}
{wiki=Peano_existence_theorem}

A continuous finite-dimensional <vector field> has a local solution through every initial point. The theorem asserts existence without uniqueness; local <Lipschitz continuity> supplies uniqueness through the <Picard-Lindelof theorem>.