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 :
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