Christoffel symbol manipulation

Click For Summary
SUMMARY

The discussion centers on the manipulation of the Christoffel symbol, specifically the equation \(\Gamma^l_{ki} = \frac{1}{2} g^{lj} (\partial_k g_{ij} + \partial_i g_{jk} - \partial_j g_{ki})\). A participant questions whether multiplying the first metric into the equation transforms the derivatives into those of a mixed metric, leading to a simplification where the first two terms vanish due to the constancy of the Kronecker delta. The conclusion reached is that the metric components are not constants, and the product rule must be applied, confirming that the expression cannot be simplified as initially proposed.

PREREQUISITES
  • Understanding of differential geometry concepts, particularly the Christoffel symbols.
  • Familiarity with metric tensors and their properties.
  • Knowledge of partial derivatives in the context of tensor calculus.
  • Proficiency in applying the product rule in calculus.
NEXT STEPS
  • Study the derivation and properties of the Christoffel symbols in Riemannian geometry.
  • Learn about metric tensors and their role in general relativity.
  • Explore tensor calculus, focusing on operations involving partial derivatives.
  • Review the product rule and its applications in the context of tensor manipulation.
USEFUL FOR

This discussion is beneficial for students and researchers in mathematics and physics, particularly those focusing on differential geometry, general relativity, and tensor analysis.

redstone
Messages
26
Reaction score
0

Homework Statement


If the basic equation for the Christoffel symbol is
<br /> \Gamma^l_{ki} = \frac{1}{2} g^{lj} (\partial_k g_{ij} + \partial_i g_{jk} - \partial_j g_{ki})<br />
so if you bring multiply the first metric into that equation, won't that turn the first two derivatives into derivatives of a mixed metric
<br /> \Gamma^l_{ki} = \frac{1}{2} (\partial_k g^{l}_{i} + \partial_i g^{l}_{k} - g^{lj} \partial_j g_{ki})<br />
and then, wouldn't the first two terms go to zero, since they're just the derivative of the kronecker delta, which is constant? If that's correct, why not express the symbol instead as
<br /> \Gamma^l_{ki} = \frac{1}{2} ( - g^{lj} \partial_j g_{ki})<br />
 
Physics news on Phys.org
Because g^{lj}*partial_k(g_{ij}) is not generally equal to partial_k(g^{lj}*g_{ij})=0. The metric components are not generally constants. Use the product rule on the second expression.
 
oh, jeez, of course. I feel silly now.
Thanks!
 

Similar threads

  • · Replies 71 ·
3
Replies
71
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
4
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
6
Views
1K