Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Euler-Lagrange and Christoffel symbols

  1. Feb 2, 2013 #1
    I am pretty much confused with all the algebra of Christoffel symbols:

    I have an expression for infinitesimal length: [itex] F= g_{ij} \frac{dx^i dx^j}{du^2} [/itex] and by using Euler-Lagrange equation (basically finding the shortest distance between two points) want to find the equation for geodesics with affine parameter. But getting bogged in the indices and unable to extricate them so as to introduce the Christoffel symbols. Any help or suggestion on how to improve skills with this type of calculations is highly appreciated.
     
  2. jcsd
  3. Feb 2, 2013 #2

    Bill_K

    User Avatar
    Science Advisor

    You don't need any Christoffel symbols, just write down the Euler-Lagrange equations with F as the Lagrangian, and presto, you've got the geodesic equations.
     
  4. Feb 2, 2013 #3

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    You don't need to introduce the Christoffel symbols, they show up in the equations of motion naturally.

    The Euler-Lagrange equations for the Lagrangian [itex]g_{ij} U^i U^j[/itex] (where I introduced [itex]U^i[/itex] as a shorthand for [itex]\dfrac{dx^i}{du}[/itex]) are:

    [itex]\dfrac{d}{dt} \dfrac{\partial L}{\partial U^i} = \dfrac{\partial L}{\partial x^i}[/itex]

    [itex]2 \dfrac{d}{dt} (g_{ij} U^i) = \dfrac{\partial}{\partial x^i} g_{kj} U^k U^j[/itex]

    If you solve this for [itex]\dfrac{dU^i}{dt}[/itex], you get the usual geodesic equation:

    [itex]\dfrac{dU^i}{dt} = - \Gamma^i_{jk} U^j U^k[/itex]

    with [itex]\Gamma^i_{jk}[/itex] replaced by terms involving [itex]g_{ij}[/itex] and [itex]g^{ij}[/itex] and [itex]\dfrac{\partial g_{ij}}{\partial x^k}[/itex].
     
  5. Feb 2, 2013 #4
    I am confused right at the point how to solve that equation and rearrange indices in such a manner as to get Christoffel symbols.
     
  6. Feb 2, 2013 #5

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    I worked it out for myself, and there are a few tricky parts to it. Maybe there's a more direct way to get the answer, but here's how I did it (fair warning: this is extremely long and boring):

    Start with the "Lagrangian" [itex]L = g_{ij} U^i U^j[/itex], where [itex]U^i = \dfrac{dx^i}{ds}[/itex] then the Lagrangian equations of motion are:

    [itex] 2 \dfrac{d}{ds} (g_{ij} U^j) = (\partial_i g_{jk}) U^j U^k[/itex]

    where [itex]\partial_i[/itex] is shorthand for [itex]\dfrac{\partial}{\partial x^i}[/itex] (To get the right-hand side, I changed the dummy index [itex]i[/itex] to [itex]k[/itex] to keep from clashing with the [itex]i[/itex] in the [itex]\partial_i[/itex])

    Now use the product rule: [itex]\dfrac{d}{ds} (g_{ij} U^j) = \dfrac{d g_{ij}}{ds} U^j + g_{ij} \dfrac{dU^j}{ds}[/itex]

    Then use the chain rule:
    [itex]\dfrac{d g_{ij}}{ds} = \dfrac{\partial g_{ij}}{\partial x^k} \dfrac{dx^k}{ds} = \partial_k g_{ij} U^k[/itex]

    So the equations of motion become:

    [itex]2 (\partial_k g_{ij} U^k U^j + g_{ij} \dfrac{dU^j}{dt}) = (\partial_i g_{jk}) U^j U^k[/itex]

    Now, rearrange to get:
    [itex]g_{ij} \dfrac{dU^j}{dt} = -(\partial_k g_{ij}) U^k U^j + \frac{1}{2} (\partial_i g_{jk}) U^j U^k = -\frac{1}{2}(2 \partial_k g_{ij} - \partial_i g_{jk})U^j U^k[/itex]

    At this point, we can raise the indices on both sides by multiplying by [itex]g^{li}[/itex] and summing over [itex]i[/itex]:

    [itex]\dfrac{dU^l}{dt} = -\frac{1}{2}g^{li}(2 \partial_k g_{ij} - \partial_i g_{jk})U^j U^k[/itex]

    This has the form

    [itex]\dfrac{dU^l}{dt} = -Q^l_{jk} U^j U^k[/itex]

    where the coefficients [itex]Q^l_{jk}[/itex] are defined by:

    [itex]Q^l_{jk} = \frac{1}{2}g^{li}(2 \partial_k g_{ij} - \partial_i g_{jk})[/itex]

    [itex]Q^l_{jk}[/itex] is not quite the Christoffel coefficients, because [itex]\Gamma^l_{jk}[/itex] is symmetric in [itex]j[/itex] and [itex]k[/itex], while [itex]Q^l_{jk}[/itex] is not. However, we can split [itex]Q^l_{jk}[/itex] into symmetric and anti-symmetric parts:
    [itex]Q^l_{jk} = S^l_{jk} + A^l_{jk}[/itex]
    where
    [itex]S^l_{jk} = \frac{1}{2}(Q^l_{jk} + Q^l_{kj}) = \frac{1}{2}g^{lj}(\partial_k g_{ij} + \partial_j g_{ik} - \partial_i g_{jk})[/itex]
    [itex]A^l_{jk} = \frac{1}{2}(Q^l_{jk} - Q^l_{kj}) = \frac{1}{2}g^{lj}(\partial_k g_{ij} - \partial_j g_{ik}) [/itex]

    Then the equations of motion become:
    [itex]\dfrac{dU^l}{dt} = -S^l_{jk} U^j U^k - A^l_{jk} U^j U^k[/itex]

    The term [itex]A^l_{jk} U^j U^k[/itex] is 0, so only the symmetric part matters. So we have:

    [itex]\dfrac{dU^l}{dt} = -S^l_{jk} U^j U^k[/itex]

    At this point, we can identify [itex]\Gamma^l_{jk}[/itex] with [itex]S^l_{jk}[/itex]:

    [itex]\Gamma^l_{jk} = \frac{1}{2}g^{li}(\partial_k g_{ij} + \partial_j g_{ik} - \partial_i g_{jk})[/itex]
     
    Last edited: Feb 2, 2013
  7. Feb 2, 2013 #6
    Thank you very much. I was stuck at the point where you split Q into syummetric and antisymmetric parts.
     
  8. Feb 2, 2013 #7
    You mixed up a few indices towards the end. For example in [itex]\Gamma^l_{jk} = \frac{1}{2}g^{lj}(\partial_k g_{ij} + \partial_j g_{ik} - \partial_i g_{jk})[/itex] you should be summing over i, not j.
     
  9. Feb 2, 2013 #8

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    Thanks.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Euler-Lagrange and Christoffel symbols
  1. Christoffell symbols (Replies: 6)

  2. Christoffel symbols (Replies: 5)

  3. Christoffel symbols (Replies: 4)

  4. Euler Lagrange of this (Replies: 2)

Loading...