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

How to Prove contracted Bianchi Identity

  1. May 18, 2007 #1
    How to prove

    of cause [itex]g^{im}R_{ilkm}=R_{lk}[/itex], but I don't know how the contraction can pass through the covariant derivative?
    Last edited: May 18, 2007
  2. jcsd
  3. May 18, 2007 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Because derivatives and (finite) sums commute. e.g.

    \frac{d}{dx} \sum_{i = a}^b f_i(x) = \sum_{i = a}^b \frac{df_i}{dx}(x)
  4. May 18, 2007 #3


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    The derivative operator is usually taken to be "metric compatible", i.e.,
    [tex]\nabla_a g_{bc}=0[/tex].
  5. May 18, 2007 #4
    Yes, I know that. But [tex]\nabla_{\partial_j}R_{ilkm}=(\nabla_{\partial_j}R)(\partial_i,\partial_l,\partial_k,\partial_m)[/tex] How can the contraction really happen?(since [tex]\nabla_a g_{bc}=0[/tex] means [tex](\nabla_a g)(\partial_b,\partial_c)=0[/tex])
    Would you like to give me more detail? Thank you!
    Last edited: May 18, 2007
  6. May 18, 2007 #5

    Chris Hillman

    User Avatar
    Science Advisor

    This is OT, but George Jones just pointed out that today's issue of the daily paper in Toronto featured a picture of the uncontracted Bianchi identities. For some reason a politician is in the foreground.

    Industrious students can look for papers pointing out that Bianchi himself credited these identities to someone else.
  7. Jun 8, 2007 #6
    [itex]g^{im}\nabla_{\partial_j}R_{ilkm}=\nabla_{\partial_j}(g^{im}R_{ilkm}) - R_{ilkm}\nabla_{\partial_j}g^{im}=\nabla_{\partial_j}R_{ lk}[/itex]

    because [tex]\nabla_a g_{bc}=0[/tex]

    it respects the Leibniz derivation
    Last edited: Jun 8, 2007
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook