Picard operator

Definition

Let $J = [t_{\min}, t_{\max}]$, let $t_0 \in J$ and let $x_0 \in \mathbb{R}^n$. Let $f : J \times \mathbb{R}^n \to \mathbb{R}^n$ be a function such that $s \mapsto f(s, \gamma(s))$ is integrable on $J$ for each continuous $\gamma : J \to \mathbb{R}^n$. The Picard operator of $f$ at $(t_0, x_0)$ maps a continuous curve $\gamma : J \to \mathbb{R}^n$ to the curve $P\gamma : J \to \mathbb{R}^n$ given by $$(P \gamma)(t) = x_0 + \int_{t_0}^{t} f\left(s, \gamma(s)\right) ds.$$