Contravariant derivative of a tensor field in terms of generalized coordinates?

Click For Summary
The discussion focuses on the definition and interpretation of the contravariant derivative of a tensor field in generalized coordinates. It highlights the relationship between the Laplacian and the gradient, emphasizing the need to express the gradient in contravariant components. Concerns are raised regarding the terminology of 'contravariant derivative' and its absence in certain literature. The conversation also explores the mathematical expressions for both covariant and contravariant derivatives, questioning if a similar interpretation exists for the contravariant derivative. The thread seeks clarity on the application of the metric in raising indices and its implications for tensor calculus.
yucheng
Messages
232
Reaction score
57
Homework Statement
N/A
Relevant Equations
N/A
1. The laplacian is defined such that
$$ \vec{\nabla} \cdot \vec{\nabla} V = \nabla_i \nabla^i V = \frac{1}{\sqrt{Z}} \frac{\partial}{\partial Z^{i}} \left(\sqrt{Z} Z^{ij} \frac{\partial V}{\partial Z^{j}}\right)$$

(##Z## is the determinant of the metric tensor, ##Z_i## is a generalized coordinate)

But

$$\vec{\nabla} V = \vec{e}^i\nabla_{i} V = \vec{e}^{i} \partial_i V$$

So we need to express the gradient in terms of contravariant components before using the divergence formula.In Pavel Grinfeld's book, the author claims that $$\nabla^{i} V = Z^{ij}\nabla_{j} V$$ and the author calls this the 'contravariant' derivative.

However, I am concerned because:
https://math.stackexchange.com/ques...erivative-or-why-are-all-derivatives-covarian

and I cannot find the term 'contravariant derivative' anywhere. So...?

Since the contravariant derivative is defined as

$$\nabla_{i} F^{j} = \frac{\partial F^{j}}{\partial Z^{i}} + F^{k} \Gamma^{j}_{ki}$$ ,is there a similar interpretation for $$\nabla^{i} F^{j}$$?

Thanks in advance!

P.S. This might be of interest, but maybe not

https://math.stackexchange.com/ques...-application-of-contravariant-derivative-on-a
 
Last edited:
Physics news on Phys.org
You can raise the index on ##\nabla## with the metric as per usual, i.e. ##\nabla^i = Z^{ij} \nabla_j##
 
ergospherical said:
You can raise the index on ##\nabla## with the metric as per usual, i.e. ##\nabla^i = Z^{ij} \nabla_j##
But is there an interpretation for

$$Z^{mi} \nabla_{i} F^{j} = Z^{mi}\frac{\partial F^{j}}{\partial Z^{i}} + F^{k}Z^{mi} \Gamma^{j}_{ki}$$?
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...