Shortest path on hyperboloid
On the sphere $S^2$, the shortest path between two points is the great circle path. How about $H^2$, the hyperboloid $x^2+y^2-z^2=-1, z\ge 1$, with the Euclidean distance? Is there a formula for the shortest path between two points on the surface? And what is the length of the shortest path?
Note that it is not the hyperbolic distance; it is the Euclidean distance.
Solution 1:
The Euclidean metric in $\mathbb{R}^3$ induces a metric on a hyperboloid, and the shortest path will be shortest with respect to this distance. Standard coordinates on a hyperboloid $z^2 - x^2 - y^2 = 1$ would be $$ x = \sinh(t) \sin \phi \qquad y = \sinh(t) \cos \phi \qquad z = \cosh(t) $$ with the interval: $$ \mathrm{d}s^2 = \cosh(2 t) \mathrm{d} t^2 + \sinh^2(t) \mathrm{d} \phi^2 $$ That means that non-zero Christoffel symbols are $$ \Gamma^t_{tt}=\tanh(2t) \qquad \Gamma^t_{tt}=-\frac{1}{2}\tanh(2t) \qquad \Gamma^\phi_{t\phi} = \Gamma^\phi_{\phi t} = \frac{1}{\tanh(t)} $$ Geodesic equations are readily obtained: $$ t^{\prime\prime}(s) + \tanh(2 t(s)) \left( (t^\prime(s))^2 - \frac{1}{2} (\phi^\prime(s))^2 \right) = 0 \qquad \phi^{\prime\prime}(s) + \frac{2}{\tanh(t(s))} t^\prime(s) \phi^\prime(s) = 0 $$ It is not hard to see, that the latter equation admits an integral of motion, i.e. $\phi^\prime(s) \sinh^2(t(s)) = \mathcal{L}$, because $$ \frac{\mathrm{d}}{\mathrm{d} s} \left( \phi^\prime(s) \sinh^2(t(s)) \right) = \sinh^2(t(s)) \left( \phi^{\prime\prime}(s) + \frac{2}{\tanh(t(s))} t^\prime(s) \phi^\prime(s) \right) \left. = \right|_{\text{eq. of motion}} = 0 $$
Unfortunately this does not get us any closer to the geometric interpretation of the geodesic. Is it an interesection of the hyperboloid with a plane containing two points ? I suspect so, but I do not see how to prove it.
Solution 2:
The shortest path between the points $p$ and $q$ on the upper sheet where $z>0$ on the hyperboloid $\{x^2+y^2-z^2=-1\}$ is the curve where the hyperboloid intersects the plane that contains the origin and the points $p$ and $q$.
(As for how to compute the Euclidean distance, the other posters seem to know their differential geometry better than I do. If you wanted the hyperbolic distance on the other hand, induced by the quadratic form used in defining the hyperboloid, there is a simpler way. But that was not your question and it's easier to look up.)
Solution 3:
You might want to look at A. Pressley, Differential Geometry, text problem 8.1, he calculates the geodesics for the hyperboloid of one sheet \begin{equation} x^2+y^2-z^2=1 \end{equation} and finds that they are actually four, two straight lines, one circle and one hyperbola. But he keeps things very simple and finds them just by using some basic definition.