Proofs involving covariant derivatives

This article contains proof of formulas in Riemannian geometry that involve the Christoffel symbols.

Contracted Bianchi identities

Proof

Start with the Bianchi identity[1]

Contract both sides of the above equation with a pair of metric tensors:

The first term on the left contracts to yield a Ricci scalar, while the third term contracts to yield a mixed Ricci tensor,

The last two terms are the same (changing dummy index n to m) and can be combined into a single term which shall be moved to the right,

which is the same as

Swapping the index labels l and m yields

     Q.E.D.     (return to article)

The covariant divergence of the Einstein tensor vanishes

Proof

The last equation in the proof above can be expressed as

where δ is the Kronecker delta. Since the mixed Kronecker delta is equivalent to the mixed metric tensor,

and since the covariant derivative of the metric tensor is zero (so it can be moved in or out of the scope of any such derivative), then

Factor out the covariant derivative

then raise the index m throughout

The expression in parentheses is the Einstein tensor, so [1]

    Q.E.D.    (return to article)

this means that the covariant divergence of the Einstein tensor vanishes.

The Lie derivative of the metric

Proof

Starting with the local coordinate formula for a covariant symmetric tensor field , the Lie derivative along a vector field is

here, the notation means taking the partial derivative with respect to the coordinate .      Q.E.D.     (return to article)

See also

References

  1. Synge J.L., Schild A. (1949). Tensor Calculus. pp. 87–89-90.

Books

  • Bishop, R.L.; Goldberg, S.I. (1968), Tensor Analysis on Manifolds (First Dover 1980 ed.), The Macmillan Company, ISBN 0-486-64039-6
  • Danielson, Donald A. (2003). Vectors and Tensors in Engineering and Physics (2/e ed.). Westview (Perseus). ISBN 978-0-8133-4080-7.
  • Lovelock, David; Rund, Hanno (1989) [1975]. Tensors, Differential Forms, and Variational Principles. Dover. ISBN 978-0-486-65840-7.
  • Synge J.L., Schild A. (1949). Tensor Calculus. first Dover Publications 1978 edition. ISBN 978-0-486-63612-2.
  • J.R. Tyldesley (1975), An introduction to Tensor Analysis: For Engineers and Applied Scientists, Longman, ISBN 0-582-44355-5
  • D.C. Kay (1988), Tensor Calculus, Schaum’s Outlines, McGraw Hill (USA), ISBN 0-07-033484-6
  • T. Frankel (2012), The Geometry of Physics (3rd ed.), Cambridge University Press, ISBN 978-1107-602601


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.