Past exam of the mathematics course of the University of Cambridge / 2019 / ib / Paper 3 / 12E / a / Solution

A local form of the Picard-Lindelof theorem is as follows. Let $F(t,y)$ be continuous on a rectangle about $(t_0,y_0)$ and uniformly Lipschitz in $y$ there. Then some interval about $t_0$ admits a unique continuously differentiable solution ofThe solution is the unique fixed point of the associated integral operator. If $F$ is continuous on $[a,b]\times {\mathbb{R}}^n$ and globally Lipschitz in $y$ with one constant, the solution exists uniquely throughout $[a,b]$.