PAllen
Science Advisor
- 9,423
- 2,616
As to how well known it is, both Synge’s 1960 book and MTW discuss it. Those are fairly early standard texts.bhobba said:When I posted a lot of sci.physics.reativity we had a lot of high powered people posting at one time - they gradually disappeared due to the cranks. But back then when I just found out about it and posted could I see a proof - only John Baez and Steve Calip knew about it - of those that posted there of course - and were not cranks. I suspect others did know it but not the proof - so kept quiet. I had to dig it up myself. John and Steve of course knew the proof but also knew I would learn more doing it myself. Of course they were right - that was a lesson I learned there and try to foster here - targeted at the appropriate level of course.
Thanks
Bill
There are actually many variants of proof. The one you reference is related to work done by Einstein, Infeld, and Hoffman way back in 1938 - the first derivation of particle motion from the field equations. This early type of proof is not affected by the issue of energy conditions because it does not actually apply to matter at all - you assume the vacuum field equations throughout, and are really talking about the motion of BH as stand ins for test particles.
The more complicated problem is showing that matter, in an appropriate limit, follows timelike geodesics. It is this case for which it has turned out that dominant energy condition is both necessary and sufficient for timelike geodesic motion to follow from the field equations, for the limit of small bodies. This line of work starts from Geroch, and the most rigorous derivation is by Gralla and Wald (for a while, several years ago, Sam Gralla was active on these forums).