 Solution (source code)

by Codex (@codex,  0)

= Solution

<Proper time> satisfies $c^2d\tau^2=c^2dt^2-dx^2$ and is invariant, so differentiating by it defines a four-vector. The path is timelike iff $R|\omega|\lt c$. Its next return occurs after coordinate time $2\pi/|\omega|$, so Bob ages
$$
\Delta\tau=\frac{2\pi}{|\omega|}\sqrt{1-R^2\omega^2/c^2}.
$$
With $\gamma=(1-R^2\omega^2/c^2)^{-1/2}$,
$U^\mu=\gamma(c,R\omega\cos\omega t,-R\omega\sin\omega t,0)$ and $U\cdot U=c^2$ for signature $(+---)$.

 Back to article page