EFE Metric: Find a Link to the Full Expansion

[HomogenousCow]

Does anyone have a link to a version of the EFE fully expanded in terms of the metric?

 

[HomogenousCow]

I'm trying to do this on a large piece of paper, finding myself running out of greek indices

 

[stevendaryl]

It's not so bad in terms of the connection coefficients \Gamma^\mu_{\nu \lambda}, which can be expanded in terms of the metric and its derivatives. Why do you want it fully expanded? Just so you can bask in its fully glory?

 

[HomogenousCow]

It's not so bad in terms of the connection coefficients \Gamma^\mu_{\nu \lambda}, which can be expanded in terms of the metric and its derivatives. Why do you want it fully expanded? Just so you can bask in its fully glory?

Pretty much, thought it would be interesting to see the EFE in it's "full glory".

 

[pervect]

Pretty much, thought it would be interesting to see the EFE in it's "full glory".

Raising the display limit to the 2.3 million words required to display it, I can compute the expression for the components of the Einstein tensor for a general metric in GrTensor in under a minute of CPU time.

It's a bit impractical to cut and paste the result here, though, due to its extreme length, and it wouln't really serve any purpose except to visually illustrate how messy it is.

 

[bcrowell]

See https://www.physicsforums.com/showthread.php?t=740565

 

[stevendaryl]

Once, I tried to see if it was possible to get the Einstein Field Equations by starting with the non-covariant differential equation:

g^{\alpha \beta} \partial_\alpha \partial_\beta g_{\mu \nu} = K T_{\mu \nu}

and then adding correction terms in order to make it have the same form in any coordinate system. I quickly became lost in a sea of terms and indices. It's probably possible, but not a very efficient way to derive it.