1: \begin{definition}%{Existence and Uniqueness Theorem for ODEs.} 

2: (Existence and Uniqueness Theorem.) Define the initial value problem 

3: \begin{align*} 

4: \dot x(t) = h(t, x(t)), \quad x(t_0) = x_0

5: \end{align*}

6: where $h(t,y(t))$ is a continuous function on the region $\mathcal{R} = \{ (t,x) :  | t- t_0 | < s, |x - x_0 | < y \}$, 

7: and $h$ is uniformly Lipschitz in $x$, meaning 

8: \begin{align*} 

9: \left| \dfrac{\partial h}{\partial x} \right| \leq C

10: \end{align*}

11: for some constant $C$ in the region $\mathcal{R}$. Then the solution $x(t)$ exists and is unique on the interval $|t - t_0| < s*$ for some $0 < s^* < s$.

12: \end{definition}

13: