Contracted Christoffel symbols in terms determinant(?) of metric

Click For Summary
SUMMARY

The contracted Christoffel symbols ##\Gamma_{ab}^b## can be expressed as the partial derivative of the logarithm of the square root of the determinant of the metric tensor, specifically as $$\Gamma_{ab}^b=\partial_a\ln{\sqrt g}$$. This relationship holds true for both diagonal and non-diagonal metrics, as demonstrated through the manipulation of the metric tensor's properties. The derivation involves recognizing that $$\partial_ag=gg^{bc}\partial_ag_{bc}$$, which confirms the validity of the expression across various metric forms.

PREREQUISITES
  • Understanding of Christoffel symbols in differential geometry
  • Familiarity with metric tensors and their determinants
  • Knowledge of partial derivatives and logarithmic functions
  • Basic concepts of tensor calculus
NEXT STEPS
  • Study the properties of Christoffel symbols in various coordinate systems
  • Learn about the implications of metric tensor determinants in general relativity
  • Explore the derivation of the Levi-Civita connection from the metric tensor
  • Investigate applications of contracted Christoffel symbols in geodesic equations
USEFUL FOR

This discussion is beneficial for students and researchers in differential geometry, physicists working with general relativity, and mathematicians focused on tensor calculus and its applications in theoretical physics.

George Keeling
Gold Member
Messages
183
Reaction score
42
TL;DR
Should I try to prove this with non-diagonal metric?
M. Blennow's book has problem 2.18:
Show that the contracted Christoffel symbols ##\Gamma_{ab}^b## can be written in terms of a partial derivative of the logarithm of the square root of the metric tensor $$\Gamma_{ab}^b=\partial_a\ln{\sqrt g}$$I think that means square root of the determinant of the metric tensor (and it does in the next question). I don't know how to take a square root of a tensor.

I start with $$\partial_a\ln{\sqrt g}=\frac{1}{2}\partial_a\ln{g}=\frac{1}{2}\frac{1}{g}\partial_ag=\frac{1}{2}g^{-1}\partial_ag$$and$$\Gamma_{ab}^b=\frac{1}{2}g^{bc}\left(\partial_ag_{cb}+\partial_bg_{ac}-\partial_cg_{ab}\right)$$If the metric is diagonal it is pretty easy to show in ##n##-dimensions that those are both the same as$$\frac{1}{2}\sum_{i=1}^{i=n}{g^{ii}\partial_ag_{ii}}$$Should I be trying to prove ##\Gamma_{ab}^b=\partial_a\ln{\sqrt g}\ ## for a non-diagonal metric too?

(Carroll has a similar exercise which is restricted to a diagonal metric. Perhaps he is just not so cruel!)
 
Physics news on Phys.org
Oops! After a refreshing nights sleep I remembered that ##\partial_ag=gg^{bc}\partial_ag_{bc}## and saw the light. So ##\Gamma_{ab}^b=\partial_a\ln{\sqrt g}## is true for any old metric.
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 19 ·
Replies
19
Views
6K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
7K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 18 ·
Replies
18
Views
3K