6
$\begingroup$

I encountered the following identities while reading this article on global calculus (p. 10):

$ d(\|df\|^2)=2\mathop{\iota_{\mathop{\mathrm{grad}} f}} \mathop{\mathrm{Hess}} f, $

$ \mathop{\mathrm{grad}}(\|df\|^2)=2\mathop{\nabla_{\mathop{\mathrm{grad}} f}}\mathop{\mathrm{grad}} f $

Here $\mathop{\mathrm{Hess}} f = \nabla d f$ is the covariant derivative of the 1-form $df$, and the norm $\|\cdot\|$ is given by Riemannian metric: $\|\upsilon\|^2=g(\upsilon,\upsilon)$.

I wonder how does one usually derive these identities (without using coordinates)?

1 Answers 1

7

By simply using the definition. The first thing to remember is that the covariant derivative commutes with metric and inverse metric. The second thing to remember is that the covariant and exterior derivatives agree when acting on a scalar function. So,

$ d(\|df\|^2) = \nabla(\|df\|^2) = \nabla g^{-1}(df,df) = g^{-1}(\nabla df, df) + g^{-1}(df, \nabla df) $

Next you use the symmetry of $g^{-1}$ as a bilinear form, and you use the definition for raising indices that for any one form $\omega$,

$ \iota_{\mathrm{grad}~f} = \omega(\mathrm{grad}~f) = g^{-1}(\omega, df) $

to arrive at

$ d(\|df\|)^2 = 2 \iota_{\mathrm{grad}~f} \mathrm{Hess}~f $

The computation for the second identity is similar. (Note that for the notations to make sense, you also need to use the fact that for a scalar function $f$, the second derivatives commute. In other words, the Hessian is a symmetric (0,2) tensor.)

  • 0
    Perhaps someone should ask your exercise as a question, it is indeed very good for someone learning differential geometry to do this :).2011-05-08