|
Christoffel symbols of the second kind are the second type of tensor-like object derived from a Riemannian metric which is used to
study the geometry of the metric. Christoffel symbols of the second kind are variously
denoted as (Walton
1967) or (Misner
et al. 1973, Arfken 1985). They are also known as affine connections (Weinberg
1972, p. 71) or connection coefficients (Misner et al. 1973, p. 210).
Unfortunately, there are two different definitions of the Christoffel symbol
of the second kind.
Arfken (1985, p. 161) defines
where
is a partial derivative,
is the metric tensor,
 |
(4)
|
where is the radius vector, and
 |
(5)
|
Therefore, for an orthogonal curvilinear coordinate system, by this definition,
 |
(6)
|
The symmetry of definition (6) means that
 |
(7)
|
(Walton 1967).
This Christoffel symbol of the second kind is related to the Christoffel symbol of the first kind by
![Gamma^a_(bc)=g_(ad)[bc,d].](/images/equations/ChristoffelSymboloftheSecondKind/NumberedEquation5.gif) |
(8)
|
Walton (1967) lists Christoffel symbols of the second kind for the 12 basic orthogonal coordinate systems.
A different definition of Christoffel symbols of the second kind is given
by
 |
(9)
|
(Misner et al. 1973, p. 209), where denotes a
gradient. Note that this kind of Christoffel
symbol is not symmetric in and .
Christoffel symbols of the second kind are not tensors, but have tensor-like contravariant and covariant
indices. Christoffel symbols of the second kind also do not transform as tensors.
In fact, changing coordinates from to gives
 |
(10)
|
However, a fully covariant
Christoffel symbol of the second kind is given by
 |
(11)
|
(Misner et al. 1973, p. 210), where the s are the metric tensors, the s are commutation coefficients, and the commas indicate the comma derivative. In an orthonormal
basis,
and , so
 |
(12)
|
and
For tensors of tensor rank 3, the Christoffel symbols of the second kind may
be concisely summarized in matrix form:
![Gamma^l=[Gamma^l_(ii) Gamma^l_(ij) Gamma^l_(ik); Gamma^l_(ji) Gamma^l_(jj) Gamma^l_(jk); Gamma^l_(ki) Gamma^l_(kj) Gamma^l_(kk)].](/images/equations/ChristoffelSymboloftheSecondKind/NumberedEquation10.gif) |
(19)
|
The Christoffel symbols are given in terms of the coefficients of the first fundamental form , , and by
and and .
If , the Christoffel symbols of the second
kind simplify to
(Gray 1997).
The following relationships hold between the Christoffel symbols of the second kind and coefficients of the first fundamental
form,
(Gray 1997).
For a surface given in Monge's form ,
 |
(40)
|
Christoffel symbols of the second kind arise in the computation of geodesics. The geodesic
equation of free motion is
 |
(41)
|
or
 |
(42)
|
Expanding,
 |
(43)
|
 |
(44)
|
But
 |
(45)
|
so
 |
(46)
|
where
 |
(47)
|
Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL:
Academic Press, pp. 160-167, 1985.
Gray, A. "Christoffel Symbols." §22.3 in Modern Differential Geometry of Curves and Surfaces with Mathematica,
2nd ed. Boca Raton, FL: CRC Press, pp. 509-513, 1997.
Misner, C. W.; Thorne, K. S.; and Wheeler, J. A. Gravitation. San Francisco: W. H. Freeman, 1973.
Morse, P. M. and Feshbach, H. Methods of Theoretical Physics, Part I. New York: McGraw-Hill,
pp. 47-48, 1953.
Sternberg, S. Differential Geometry. New York: Chelsea, p. 354,
1983.
Walton, J. J. "Tensor Calculations on Computer: Appendix." Comm.
ACM 10, 183-186, 1967.
Weinberg, S. Gravitation and Cosmology: Principles and Applications of the General
Theory of Relativity. New York: Wiley, 1972.
|