A rather elementary question for the differential geometers. Let $M$ be a Riemannian manifold, let $X\colon M \to TM$ be a vector field, and let $$\phi_t = \exp(tX)$$ be the "geodesic flow" of the vector field $X$, that is $\phi_t(p) = \exp_p(t X(p))$ for $p \in M$. I cannot seem to find anything about this notion of flow, does it perhaps have a name I am unaware of?

I am interested in the directional derivative along the flow, that is $$\frac{d}{dt} (f \circ \phi_t)(p) = \nabla_{\dot{\phi}_t(p)} f(\phi_t(p))$$ for fixed $p$ and varying $t$. I would hope that, because $\dot{\phi}_t(p)$ is the parallel transport of $X(p)$ along the geodesic $\gamma$ with $\gamma(0) = p$, $\dot{\gamma}(0) = X(p)$, there might be an expression involving only $X$ and the map $\phi_t$.

**Edit:**

I think the question might be whether one can use the fact that $\phi_t$ is actually a map on $M$. The directional derivative is e.g. in terms of the exterior derivative$$\nabla_{\dot{\phi}_t(p)} f(\phi_t(p)) = df_{\phi_t(p)}(\dot{\phi}_t(p)).$$ If, instead of the parallel transport $\dot{\phi}_t(p)$, we had the pushforward $d\phi_t X$ of $X$ by $\phi_t$, then this would simply be the pullback $$df_{\phi_t(p)}(d\phi_t X) = d(\phi_t^*f)_p(X) = X(\phi_t^*f)_p.$$ So I guess this boils down to a question about the difference between the pushforward of the exponential map and parallel transport, which should be a property of the (smoothness?) of the vector field $X$. Is there a way to make this idea more precise?

somethingmust be known about the derivative from the structure of the maps: Looking at e.g. this somewhat related question I take it that the difference between $\dot{\phi}_t(p)$ and $d\phi_t X$ is second order in $tX$ -- that would be a start. $\endgroup$ – user144437 Aug 16 at 16:49