Chain rule gradient Riemannian geometry

connectionsdifferential-geometryriemannian-geometry

Suppose that $M$ is a Riemannian manifold and $s:M\to M$, $f:M\to \mathbb{R}$ two given smooth maps.

Is there a way to compute $\nabla(f\circ s)$?

where $\nabla$ is the gradient. I am looking for something like the usual chain rule in $\mathbb{R}^n$.

In particular, I am trying to solve $\nabla(f\circ s)$ where $f$ is any smooth function, and $s(x)=\exp_x(\nabla \phi(x))$, for a potential $\phi:M\to\mathbb{R}$.

Best Answer

Let's use the definition of gradient as the vector field equivalent to the differential: given $x \in M$ and $v \in T_xM$, we have $$g_x(\nabla(f\circ s)(x),v) = {\rm d}(f\circ s)_x(v) = {\rm d}f_{s(x)}({\rm d}s_x(v)) = g_{s(x)}(\nabla f(s(x)), {\rm d}s_x(v)) = g_x(({\rm d}s_x)^\top \nabla f(s(x)), v),$$so that $$\nabla(f\circ s)(x) = ({\rm d}s_x)^\top \big(\nabla f(s(x))\big),$$where $({\rm d}s_x)^\top \colon T_{s(x)}M \to T_xM$ is the adjoint map of ${\rm d}s_x\colon T_xM \to T_{s(x)}M$, characterized by the relation $$g_{s(x)}({\rm d}s_x(v), w) = g_x(v,({\rm d}s_x)^\top(w)), \qquad \forall\,v \in T_xM, \quad \forall\,w \in T_{s(x)}M.$$

Related Question