 Solution

An integral curve of a vector field $X$ through $p$ is a smooth curve $c:I\to M$, on an interval containing zero, satisfying $c(0)=p$ and $\dot{c}(t)=X_{c(t)}$. The local flow is the smoothly varying family of these integral curves of a vector field:Here $D$ is an open neighborhood of $\{0\}\times M$; for the maximal local flow, its fibre over $p$ is the maximal existence interval of $c_p$. Local existence, uniqueness and smooth dependence for a smooth ordinary differential equation give this family. Uniqueness also gives ${\varphi }_{t+s}(p)={\varphi }_t({\varphi }_s(p))$ whenever the relevant curves and compositions are defined, and ${\varphi }_{-t}={\varphi }_t^{-1}$ on their common domains.

Reparametrizing the integral curves of a vector field givesThus the flow of $2X$ is $\boxed{{\tilde{\varphi }}_t={\varphi }_{2t}}$, with domain $\{(t,p):(2t,p)\in D\}$.