Difference between Covariant derivative notations

543 Views Asked by At

I try to understand the difference between the classical definition of covariant derivative :

$$\nabla_{i}V^{j}=\partial_{i}V^{j}+V^{k}\Gamma_{ik}^{j}\quad\quad(1)$$

(where index $i$ represents curvilinear cooordinates $x^{i}$ and $V^{j}$ the $j-\text{th}$ component of vector $V$)

and the definition of called " covariant derivative of a vector field $V$ along a vector field $Z$ " and noted :

$$\nabla_{Z}V\quad\quad(2)$$

What's the expression of (2) and how to make the link with equation (1) ?

I saw that equation (2) was used like this in the demonstration of Ricci theorem :

$$Z \langle X,Y \rangle = \langle \nabla_Z X, Y\rangle + \langle X, \nabla_Z Y\rangle$$

Sorry if this question seems to be evident but I am just starting to learn basics of geometry differential.

Thanks for your help

1

There are 1 best solutions below

5
On BEST ANSWER

After choosing coordinates $(x^1,\dots,x^n)$, each vector field $V$ can be expressed locally as $V = V^j \frac{\partial}{\partial x^j}$. If you are given a covariant derivative operator $\nabla$, the Christoffel symbols with respect to the coordinate system $(x^1,\dots,x^n)$ are defined by the equation

$$ \nabla_{\frac{\partial}{\partial x^i}} \frac{\partial}{\partial x^j} = \Gamma_{ij}^k \frac{\partial}{\partial x^k}. $$

Namely, $\Gamma_{ij}^k$ gives you the $\frac{\partial}{\partial x^k}$-th component of the covariant derivative of $\frac{\partial}{\partial x^j}$ in the direction $\frac{\partial}{\partial x^i}$. Using the product rule of the covariant derivative, we have

$$ \nabla_{\frac{\partial}{\partial x^i}} \left( V^j \frac{\partial}{\partial x^j} \right) = \frac{\partial V^j}{\partial x^i} \frac{\partial}{\partial x^j} + V^j \nabla_{\frac{\partial}{\partial x^i}} \left( \frac{\partial}{\partial x^j} \right) = \frac{\partial V^j}{\partial x^i} \frac{\partial}{\partial x^j} + V^j \Gamma_{ij}^k \frac{\partial}{\partial x^k}. $$

This can be abbreviated to

$$ (\nabla_i V)^k = \partial_i(V^k) + V^j \Gamma_{ij}^k $$

(so the $k$-th component of the covariant derivative $\nabla_i V$ is given by the regular derivative $\partial_i(V^k)$ of the $k$-th component plus a "correction factor" which involves the all the components of $V$ and the Christoffel symbols).