**Required math: algebra, calculus**

**Required physics: none**

Reference: d’Inverno, Ray, *Introducing Einstein’s Relativity* (1992), Oxford Uni Press. – Section 6.3; Problem 6.3.

The Lie derivative is one way of calculating the derivative of a tensor field in such a way that this derivative is itself a tensor. The problem solved by the Lie derivative is that we cannot define a new tensor as the difference of two other tensors evaluated at different points, since in that case the transformation between coordinate systems of this difference does not follow the equation required of a tensor.

The Lie derivative required the introduction of an auxiliary vector field which defined a congruence of curves, which in turn defined the directions along which the Lie derivative is calculated. Suppose we try to find another formula for a derivative of a vector which does not require this congruence of curves.

A general vector can be written in terms of the basis vectors in some coordinate system as

As we vary the position, both the components of and the basis vectors will, in general, vary. For example, although the basis vectors in rectangular coordinates are constant, those in polar coordinates are not. Thus if we want the derivative of **V** we have to take into account this change in the basis vectors, so we get

The change in a basis vector is itself a vector, so it can be written in terms of the original set of basis vectors:

where the are defined by this equation, and are called the *connections*. We can use this definition to write the derivative of **V** entirely in terms of the original basis vectors:

where in the second line, we swapped the dummy indices and . The quantity in parentheses is called the *covariant derivative *of **V** and is written in a variety of ways in different books. Two of the more common notations are

We can require the covariant derivative to be a tensor, which means we can derive transformation equations for the connections . Since is a mixed second-rank tensor, it must transform as

Since is a contravariant vector, we have

Taking the derivative of this we get

For the second term in 7, we have

Summing these last two results and requiring they give 8 gives

In the fourth line we relabelled the dummy index on and to give all the s the same index. In the last line, we can cancel off since this equation must be true for all vectors, which means the coefficients of each component must be equal.

To isolate we can multiply both sides of this equation by and sum over :

Since

we get

The second term can be compressed a little by the calculation:

since , as is a constant tensor.

Thus we get

Substituting this into 20 we get

Pingback: Covariant derivative of covariant vector « Physics tutorials

Pingback: Covariant derivative of higher rank tensors « Physics tutorials

Pingback: Parallel transport of tensors « Physics tutorials

Pingback: Riemann tensor – commutator of rank 2 tensor | Physics tutorials

EduI just wanted to thank you very much for these precious demonstrations. They are helping me a lot!

Pingback: Covariant derivative of a contravariant vector | Page 2 | Physics Forums - The Fusion of Science and Community