1. Ordinary differential equations🔗

In this section, we will recall the required theory of ordinary differential equations. Most of this should end up in mathlib.

We consider the initial value problem \begin{aligned} \dot{x} &= f(x, t)\\ x(0) &= x_0 \end{aligned} with various assumptions on the regularity of f.

1. 1.1. Local existence and uniqueness
2. 1.2. Global existence
3. 1.3. Peano existence
4. 1.4. Caratheodory existence