1
$\begingroup$

I hope this is not a silly question but I am trying to understand how this part of the equation works:

$$ \nabla_{\lambda} \left( \nabla_{\mu}(R_{\nu \lambda}) + \nabla_{\nu}(R_{\mu \lambda}) \right) $$

Where $R_{xx}$ is the Ricci tensor.

My question: Am I required to work out the covariant derivatives separate then work out the 'outer' covariant derivative of the result or should I use the double covariant derivative rule twice like so:

$$ \begin{align} \nabla_a \nabla_b h_{cd} &= \partial_a ( \partial_b h_{cd} - \Gamma^f_{bc} h_{fd} - \Gamma^f_{bd} h_{cf} ) \\ &\qquad \qquad - \Gamma^e_{ab} ( \partial_e h_{cd} - \Gamma^f_{ec} h_{fd} - \Gamma^f_{ed} h_{cf} ) \\ &\qquad \qquad - \Gamma^e_{ac} ( \partial_b h_{ed} - \Gamma^f_{be} h_{fd} - \Gamma^f_{bd} h_{ef} ) \\ &\qquad \qquad - \Gamma^e_{ad} ( \partial_b h_{ce} - \Gamma^f_{bc} h_{fe} - \Gamma^f_{be} h_{cf} ) \end{align} $$

Improve this question
$\endgroup$
  • $\begingroup$ I think the result is a tensor, which is a vector space homomorphism I believe, so both ways should be the same? $\endgroup$ – Emil Feb 7 '18 at 20:06
  • $\begingroup$ My Mathematica code is generating different results that's why. I am trying to derive the components of the field equations for $f(G)$ gravity $\endgroup$ – Mark Pace Feb 7 '18 at 20:25
  • $\begingroup$ If they are not a homomorphism, I would say the inner covariant derivatives first, then the plus, then the outer covariant derivative, then the trace over lambda. Oh wait a moment, the lambdas are doubly indexed covariant? Is that a bug? $\endgroup$ – Emil Feb 8 '18 at 6:46
  • $\begingroup$ Lamda is a free index in this instance $\endgroup$ – Mark Pace Feb 8 '18 at 7:49
  • $\begingroup$ what Mathematica package are you using, if any ? $\endgroup$ – magma Feb 8 '18 at 20:18
0
$\begingroup$

The answer is that yes it is homomorphism and one can simply expand the brackets accordingly.

$$ \begin{align} \nabla_a \nabla_b h_{cd} &= \partial_a ( \partial_b h_{cd} - \Gamma^f_{bc} h_{fd} - \Gamma^f_{bd} h_{cf} ) \\ &\qquad \qquad - \Gamma^e_{ab} ( \partial_e h_{cd} - \Gamma^f_{ec} h_{fd} - \Gamma^f_{ed} h_{cf} ) \\ &\qquad \qquad - \Gamma^e_{ac} ( \partial_b h_{ed} - \Gamma^f_{be} h_{fd} - \Gamma^f_{bd} h_{ef} ) \\ &\qquad \qquad - \Gamma^e_{ad} ( \partial_b h_{ce} - \Gamma^f_{bc} h_{fe} - \Gamma^f_{be} h_{cf} ) \end{align} $$

May be used in this instance

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.