Picard operator

Summary

The Picard operator of an initial value problem $x' = f(t, x)$, $x(t_0) = x_0$ maps a curve $\gamma$ to $t \mapsto x_0 + \int_{t_0}^{t} f(s, \gamma(s))\, ds$. Its fixed points are the solutions of the problem. See the definition.