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

I Metric transformation under coordinate transformation

  1. Jun 22, 2017 #1
    In the second volume, Field Theory, of popular series of Theoretical Physics by Landau-Lifschitz are given following equations as in attached file from the book. Here is considered metric change under coordinate transformation. How is the new, prime metric expressed in original coordinates is obtained as in (94.2). In right hand side of the equation right before (94.2) the last three terms is equal to Killing equations as it is said that could be verified by direct trial. What would direct trial like. I checked but got different results.



    Untitled.png
    Untitled1.png
     
  2. jcsd
  3. Jun 24, 2017 #2

    strangerep

    User Avatar
    Science Advisor

    But you did not show us your attempt here, so how can anyone see what you might have done wrong?

    Btw, here is a Latex introduction to help you get started with using Latex to display math here on PF.
     
  4. Jun 25, 2017 #3

    haushofer

    User Avatar
    Science Advisor

    We don't have paranormal powers here at PF :P
     
  5. Jun 25, 2017 #4

    pervect

    User Avatar
    Staff Emeritus
    Science Advisor

    Direct trial would just (IMO) be evaluating
    $$\xi^{i;k}+\xi^{k;l}$$

    To do this I'd write $$\xi^{i;k} = g^{kp} \, \xi^i{}_{;p} \approx \eta^{kp} \, \xi^i{}_{;p} = \eta^{kp} \nabla_p \xi^i$$

    and carry on from there, rewriting the other term in the same manner, and using the Christoffel symbols to calculate the covariant derivative ##\nabla_p \xi^i##. There's probably a way to write this more clearly without switching out of the semi-colon notation midstream, but I never liked the semicolon notation that much, hopefully you can deal with the notation switch.

    I haven't actually carried this plan out. The "approximation" here is a standard one: raising (or lowering, if applicable, which it isn't in this case) indices with the unperturbed flat metric ##\eta^{ij}## rather than the full metric ##g^{ij} = \eta^{ij} + h^{ij}##. This works in linear theory because we're only keeping terms of the first order.

    I'm too lazy to carry this out in full, but that's the approach I'd use if I wasn't too lazy.
     
  6. Jun 26, 2017 #5
    But it is not mentioned that metric is almost flat. I carrried out these calculations. it seems everything is correct. I am missing key point here.

    photo_2017-06-26_10-28-23.jpg
     
  7. Jun 26, 2017 #6

    strangerep

    User Avatar
    Science Advisor

    You're just missing an index manipulation trick. In the final term, swap the ##m## and ##n## dummy indices. You'll find that the 2nd and 3rd terms in your first parentheses cancel.

    (If you make the effort of writing out your last line properly in latex, I'll make the effort of showing you the manipulation in more detail, also in latex.)
     
  8. Jun 26, 2017 #7
    Here is the last line

    $$\frac 1 2 \left( \frac {\partial g_{nm}} {\partial x^l} + \frac {\partial g_{nl}} {\partial x^m} - \frac {\partial g_{lm}} {\partial x^n} \right) \xi^l \left(g^{mk}g^{in}+g^{mi}g^{kn} \right)$$
     
    Last edited: Jun 26, 2017
  9. Jun 26, 2017 #8

    samalkhaiat

    User Avatar
    Science Advisor

    Use the metricity condition [itex]\nabla_{l}g^{ik} = 0[/itex] to express [tex]-\partial_{l}g^{ik} = g^{in}\ \Gamma^{k}_{ln} + g^{nk} \ \Gamma^{i}_{ln} .[/tex] Substitute the above in the first term of the expression bellow [tex]\delta g^{ik} = - \epsilon^{l}\partial_{l}g^{ik} +g^{in}\partial_{n}\epsilon^{k} + g^{nk}\partial_{n}\epsilon^{i} .[/tex] You will then see that the first term and the third term add up to [itex]g^{in}\nabla_{n}\epsilon^{k} \equiv \nabla^{i}\epsilon^{k}[/itex], while the second and the fourth terms give you [itex]g^{nk}\nabla_{n}\epsilon^{i} \equiv \nabla^{k}\epsilon^{i}[/itex].

    Of course you obtain the same result, if you substitute [itex]\partial \epsilon = \nabla \epsilon - \epsilon \Gamma[/itex] in the last two terms of [tex]\delta g = - \epsilon \cdot \partial g + g \cdot \partial \epsilon + g \cdot \partial \epsilon ,[/tex] and then collect the [itex]\Gamma[/itex]’s terms to form [itex]\nabla g[/itex]: [tex]\delta g = - \epsilon \cdot \nabla g + g \cdot \nabla \epsilon + g \cdot \nabla \epsilon .[/tex] So, the metricity condition [itex]\nabla g = 0[/itex] implies and is implied by [tex]\delta g^{ik} = \nabla^{i} \epsilon^{k} + \nabla^{k}\epsilon^{i}[/tex].
     
  10. Jun 26, 2017 #9

    strangerep

    User Avatar
    Science Advisor

    OK, so let's concentrate on just this subexpression:
    $$\left( \frac {\partial g_{nm}} {\partial x^l} + \frac {\partial g_{nl}} {\partial x^m} - \frac {\partial g_{lm}} {\partial x^n} \right) g^{mk}g^{in}~~~~~~~~ (1) $$ The ##m## and ##n## indices are dummy summation indices, so we may interchange them throughout, i.e., $$\left( \frac {\partial g_{mn}} {\partial x^l} + \frac {\partial g_{ml}} {\partial x^n} - \frac {\partial g_{ln}} {\partial x^m} \right) g^{nk}g^{im} ~~~~~~~~ (2)$$ Then, since ##g## is a symmetric tensor, this can be rewritten as $$\left( \frac {\partial g_{nm}} {\partial x^l} + \frac {\partial g_{lm}} {\partial x^n} - \frac {\partial g_{nl}} {\partial x^m} \right) g^{mi}g^{kn}~~~~~~~~ (3)$$ Notice how, if you swap ##k,i## in (3), then add it to (1), the 2nd and 3rd terms in the parentheses cancel? That's the step you were missing in the last line of your post #5.

    Actually, there are some shortcut techniques that would help you perform such computations faster.

    a) If you have an expression like ##A_{ij} S^{ij}##, where ##A## is antisymmetric and ##S## is symmetric, then the expression is 0.

    b) Instead of writing out each expression tediously as you did in post #5, you could have just done it for ##\xi^{k;i}## and then swapped the ##k,i## indices at the end to get the 2nd term.

    c) Because the 2nd parenthesis factor is symmetric in ##k,i## (after swapping the ##m,n## dummy indices in the 2nd term), you can immediately know that any term inside the 1st parentheses which is antisymmetric in ##m,n## will not contribute, because of point (a) above.

    I hope that helps.

    (Btw, be sure to study Samalkhaiat's post #8 carefully. Sometimes it takes several readings and a bit of pen+paper work to get full value from his posts.)
     
  11. Jun 27, 2017 #10
    Dear Samalkhaiat and Strangerep,

    your comments are very helpful. Using the metricity condition and symmetries I obtained the wished result. I appreiciate your comments!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted