Einstein's Basis for Equivalence in his Field Equations

McGuire
Messages
2
Reaction score
0
The following is a question regarding the derivation of Einstein's field equations.

Background
In deriving his equations, it is my understanding that Einstein equated the Einstein Tensor Gμv and the Cosmological Constant*Metric Tensor with the Stress Energy Momentum Tensor Tμv term simply because the covariant derivative of all three terms equals zero.

Rμv - (1/2)*gμv*R + \Lambda*gμv = (8*pi*G)/(c4)*Tμv

Question
Is this basis for equivalence (that terms are equivalent if their covariant derivatives are equal) standard practice in mathematics, or did Einstein take a leap of faith?

Thank you very much for your time! Please let me know if I can clarify my question.
 
Last edited:
Physics news on Phys.org
Well we know that ##\nabla^{\mu}T_{\mu\nu} = 0## has to hold for the total matter field so the expression on the left hand side should obey the same thing as well and this definitely constrains the possible choice of tensor expressions for the left hand side but this is not the end all be all of Einstein's route to the field equation for obvious reasons. You can find tons of historical information about his thought process online just by googling.

This is not how it is done nowadays however. For classical GR you would start with an action for the gravitational field, say the Hilbert action, and derive the Einstein field equation from that using the usual variational principle. The condition ##\nabla^{\mu}T_{\mu\nu} = 0## will also follow suit from diffeomorphism invariance.
 
Excellent. Thank you!
 
No problem! For example here is one heuristic route. We know in Newtonian gravity that the relative tidal acceleration of two nearby particles with separation vector ##\vec{\xi}## is given by ##\vec{a} = -(\vec{\xi}\cdot \vec{\nabla})\vec{\nabla} \varphi## where ##\varphi## is the Newtonian gravitational potential. In GR, the relative tidal acceleration of two nearby worldlines is given by ##a^{\mu} = u^{\gamma}\nabla_{\gamma}(u^{\nu}\nabla_{\nu}\xi^{\mu}) = -R_{\gamma\beta\nu}{}{}^{\mu}\xi^{\beta}u^{\gamma}u^{\nu}## where ##\xi^{\mu}## is the separation vector again (now a 4-vector) and ##u^{\mu}## is the 4-velocity of the reference worldline.

So we have a natural correspondence between ##R_{\gamma\beta\nu}{}{}^{\mu}u^{\gamma}u^{\nu}## and ##\partial_{\beta}\partial^{\mu}\varphi## because ##(\vec{\xi}\cdot \vec{\nabla})\vec{\nabla} \varphi## in index notation is just ##\xi^{\beta}\partial_{\beta}\partial^{\mu}\varphi##. We also know that the mass density is given by ##\rho = T_{\mu\nu}u^{\mu}u^{\nu}## so Poisson's equation ##\nabla^2 \varphi = 4\pi \rho## suggests that we try the field equation ##R_{\mu\nu} = 4\pi T_{\mu\nu}##. This won't really be satisfactory because ##\nabla^{\mu}T_{\mu\nu} = 0## constrains us to consider divergence free Ricci tensors alone: ##\nabla^{\mu}R_{\mu\nu} = 0##. But from ##\nabla^{\mu}G_{\mu\nu} = 0## we know this can be true if and only if ##\nabla^{\mu}R = 0## which is a completely unphysical constraint on our field equation. From here we can easily remedy the problem by using ##G_{\mu\nu}## instead and arrive at the Einstein field equation.
 
I asked a question here, probably over 15 years ago on entanglement and I appreciated the thoughtful answers I received back then. The intervening years haven't made me any more knowledgeable in physics, so forgive my naïveté ! If a have a piece of paper in an area of high gravity, lets say near a black hole, and I draw a triangle on this paper and 'measure' the angles of the triangle, will they add to 180 degrees? How about if I'm looking at this paper outside of the (reasonable)...
Thread 'Relativity of simultaneity in actuality'
I’m attaching two figures from the book, Basic concepts in relativity and QT, by Resnick and Halliday. They are describing the relativity of simultaneity from a theoretical pov, which I understand. Basically, the lightning strikes at AA’ and BB’ can be deemed simultaneous either in frame S, in which case they will not be simultaneous in frame S’, and vice versa. Only in one of the frames are the two events simultaneous, but not in both, and this claim of simultaneity can be done by either of...
Back
Top