2
$\begingroup$

In T.Aubin's book, a course in differential geometry, he write the formula $\Delta f=-\nabla^k\nabla_kf$ on a Riemannian manifold, but he never define the symbol $\nabla^k$. It seems that the notation is not the kth covariant derivative. So my question is: Does any one know what is the meaning of the symbol? Thank you very much and any reference is welcome.

$\endgroup$
  • $\begingroup$ This may not be what it means, but I know in time series theory its means the differencing operator $\endgroup$ – Kamster Jul 21 '14 at 2:29
  • $\begingroup$ mathworld.wolfram.com/BackwardDifference.html $\endgroup$ – Kamster Jul 21 '14 at 2:30
  • $\begingroup$ or maybe laplace operator? en.wikipedia.org/wiki/Del en.wikipedia.org/wiki/Laplace_operator $\endgroup$ – Kamster Jul 21 '14 at 2:36
  • $\begingroup$ It seems to me, that it's intended to simply specify the kth component of the derivative. The Einstein summation rule turns $\nabla^k\nabla_k$ into the $\Delta$ laplace operator. The only odd thing is the minus sign though. $\endgroup$ – Klaas van Aarsen Jul 21 '14 at 2:37
  • 1
    $\begingroup$ @IlikeSerena sometimes a minus is included for the Laplacian. There is not a universal convention on this point. $\endgroup$ – James S. Cook Jul 21 '14 at 3:40
5
$\begingroup$

It looks like here on functions $\nabla^k \nabla_k f$ means $g^{jk}\nabla_j\nabla_k f$ where $\nabla_j\nabla_k f = \nabla_{\partial_j}\nabla_{\partial_k}f = (\nabla \nabla f)_{jk}$. So for an $r$-tensor $\alpha_{i_1 \cdots i_r}$, we could lift an index on the $(r+1)$-tensor $\nabla_k \alpha_{i_1 \cdots i_r} = (\nabla \alpha)_{ki_1 \cdots i_r}$ and write $\nabla^k \alpha_{i_1 \cdots i_r}$ for $g^{jk}\nabla_j \alpha_{i_1 \cdots i_r}$.

$\endgroup$
  • $\begingroup$ I think you got it, +1! $\endgroup$ – Robert Lewis Jul 21 '14 at 2:58
  • $\begingroup$ So $g^{jk}$ would be defined in such a way that the result turns out negative? Or let me rephrase: where does the minus sign come from? $\endgroup$ – Klaas van Aarsen Jul 21 '14 at 3:48
  • $\begingroup$ @IlikeSerena see the comments in OP's, suresh gives the reason why some people work with a minus sign. $\endgroup$ – jef808 Jul 21 '14 at 13:22
  • $\begingroup$ Thanks! This the answer I'm searching. $\endgroup$ – MiGang Jul 22 '14 at 7:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.