What does $\nabla^j$ mean in Riemannian geometry?

177 Views Asked by At

I was learning about Holder space from this paper page 8, and it uses the notation $\nabla^j u$ for a function $u$ on a Riemannian manifold $M$.

I am confused about the meaning of it. I think it might mean $\nabla_{\frac{\partial}{\partial x_j}}u = \frac{\partial}{\partial x_j }u$ locally, since this description would match the definition of the Holder space on the Euclidean space. But it is not well defined in my opinion, since it is not invariant under coordinate change.

After recalling the definition of a Holder space on on an Euclidean space, I am now convinced the author should mean something like $\nabla^j u = \nabla_{\frac{\partial}{\partial x_{l_1}}}\ldots \nabla_{\frac{\partial}{\partial x_{l_j}}}u$. However as I said before, this seems to not be independent of the coordinate choice.

1

There are 1 best solutions below

3
On BEST ANSWER

As stated in the comments, in this context $\nabla^j u$ denotes the $j^\rm{th}$ covariant derivative of $u,$ i.e. $$\underbrace{\nabla\cdots\nabla}_ju,$$ which (when $u$ is a scalar function) is a $(0,j)$-tensor field.

(Remember that for any $(a,b)$-tensor $T,$ its derivatives in all directions can be bundled up into the $(a,b+1)$-tensor $\nabla T$ defined by $(\nabla T)(v,\cdots) = (\nabla_v T)(\cdots).$)