Fredrik said:
Yes, I don't doubt that you're completely correct in the case of a non-rotating planet, but the only reason I can think of why the westward result is different from the eastward result in the Hafele-Keating GR calculation is that the effects of rotation are large enough to be significant. And the hypothetical situation we were talking about involves rotation. So the Schwarzschild metric isn't the right metric to use.
No, the result of the Hafele-Keating experiment is not due to frame-dragging. In the frame of the distant inertial observer, it is due to the differing speeds of the eastward and westward airplanes. In the rotating frame of the Earth airport, it is due to the Sagnac Effect.
I got interested in this problem this morning for some reason and did the full calculation. I hope it's right ;)
Eddie walks along the equator, and Peter walks over the pole to get to the other side of the Earth. Let's do this all in the inertial frame of a distant observer. So let the radius of the Earth be R and its rate of rotation \omega. Take the metric to be Schwartzshild and weak-field:
d\tau^2 = (1+2\Phi) dt^2 - (1-2\Phi)(dr^2 + r^2 d\theta^2 + r^2\sin^2\theta d\phi^2)
For Eddie, r=R, \theta = \pi/2, and d\phi= (\omega \pm v/R) d\tau, where the + sign is for motion with the rotation and the - sign is for motion against it. Plugging this stuff into the metric yields:
d\tau_E^2= (1+2\Phi) dt^2 - (1-2\Phi)R^2(\omega \pm v/R)^2d\tau_E^2
dt = d\tau_E\sqrt{\frac{1+(1-2\Phi)R^2(\omega \pm v/R)^2}{1+2\Phi}}
For Peter, r=R, d\theta = (v/R)d\tau, and d\phi = \omega d\tau. Plugging this into the metric:
d\tau_P^2 = (1+2\Phi) dt^2 - (1-2\Phi)(v^2 d\tau_P^2 + R^2\omega^2\sin^2\theta d\tau_P^2)
dt = d\tau_P\sqrt{\frac{1+(1-2\Phi)(v^2 + R^2\omega^2\sin^2\theta)}{{1+2\Phi}}
Setting dt=dt,
d\tau_E\sqrt{1+(1-2\Phi)R^2(\omega \pm v/R)^2} = d\tau_P\sqrt{1+(1-2\Phi)(v^2 + R^2\omega^2\sin^2\theta)}
d\tau_E\sqrt{1+(1-2\Phi)(R^2\omega^2 \pm 2\omega v R +v^2)} = d\tau_P\sqrt{1+(1-2\Phi)(v^2 + R^2\omega^2\sin^2\theta)}
When Eddie walks with the rotation of the earth, the sign is (+) and the left radical is always larger than the right radical, and therefore d\tau_E < d\tau_P, and Eddie takes less proper time to walk around the Earth than Peter does, becuase their gravitational potentials are equal and Eddie's total speed including rotation is always greater than Peter's. When Eddie walks against the rotation of the Earth, the sign is (-) and it's going to depend on how fast they are walking. This is all assuming that I did this right.
Obviously, I haven't included frame-dragging, which would make this a little more complicated (but still doable) but shouldn't change the results much.