• Support PF! Buy your school textbooks, materials and every day products Here!

Christoffel symbols in differential geometry

  • #1
2
0

Homework Statement


I'm having trouble figuring out how to use Christoffel symbols. Apart from the first three terms here, I can't understand what's going on between line 3 and 4. What formulas/definitions are being used? How do you find the product of two chirstoffel symbols? Where are all the minuses coming from?
JL8EZ4h.png


Homework Equations


VLSVKobSFLG6CNltthQb03nUqT8fKtKsJzs5Twvot-3WhcWjseaKRZ3DlMLGKQehHFAqfkOi_BemWY2MFoq3zTIXJoQy0cAA.png



The Attempt at a Solution


It looks like the product rule is needed when three terms are multiplied together. The indices p and l seem to be interchangeable.
 

Answers and Replies

  • #2
stevendaryl
Staff Emeritus
Science Advisor
Insights Author
8,401
2,576
The reason for the minus sign is because there are two different rules for covariant derivatives, depending on whether the index is raised or lowered. I'm less comfortable with the comma and semi-colon notation, so let me use the notation I'm familiar with:

[itex]\nabla_i A^j = \partial_i A^j + \Gamma^j_{i k} A^k[/itex]

where I'm using [itex]\nabla_i X[/itex] to mean what you would write [itex]X_{; i}[/itex] and [itex]\partial_i[/itex] to mean what you would write [itex]X_{, i}[/itex]

For tensors with lowered indices, you get a minus sign:

[itex]\nabla_i A_j = \partial_i A_j - \Gamma^k_{i j} A_k[/itex]

For tensors with both kinds of indices, you get some minus signs and some plus signs:

[itex]\nabla_i A^{j}_{k} = \partial_i A^j_k + \Gamma^j_{i m} A^m_k - \Gamma^l_{i k} A^j_l[/itex]

One other thing you have to remember is that in an expression such as [itex]\Gamma^j_{ik} A^k[/itex], the repeated index, [itex]k[/itex] is a "dummy index", which means that you can just as well write it as [itex]\Gamma^j_{ip} A^p[/itex], or using any other symbol. What's important, though, is that you have to choose the "dummy" index so that it doesn't clash with any other index. So you can't choose [itex]i[/itex] or [itex]j[/itex].
 

Related Threads for: Christoffel symbols in differential geometry

  • Last Post
Replies
1
Views
1K
Replies
1
Views
907
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
12
Views
10K
Top