GeographicLib  1.29
Geodesics on a triaxial ellipsoid
Back to Geodesics on an ellipsoid of revolution. Forward to Transverse Mercator projection. Up to Contents.

Jacobi (1839) showed that the problem of geodesics on a triaxial ellipsoids (with 3 unequal axes) can be reduced by quadrature. Despite this, the detailed behavior of the geodesics is not very well known. In this section, I briefly give Jacobi's solution and illustrate the behavior of the geodesics and outline an algorithm for the solution of the inverse problem. The figures in this section are relatively small in order to allow them to be displayed quickly. Vector versions of these figures are available in triaxial-figs.pdf. This allows you to magnify the figures to show the details more clearly.

Go to

NOTES

  1. A triaxial ellipsoid approximates the earth only slightly better than an ellipsoid of revolution. If you are really considering measuring distances on the earth using a triaxial ellipsoid, you should also be worrying about the shape of the geoid, which essentially makes the geodesic problem a hopeless mess; see, for example, Waters (2011).
  2. There is nothing new in this section. It is just an exercise in exploring Jacobi's solution. My interest here is in generating long geodesics with the correct long-time behavior. Arnold gives a nice qualitative description of the solution in Mathematical Methods of Classical Mechanics (2nd edition, Springer, 1989), pp. 264–266.
  3. Possible reasons this problem might, nevertheless, be of interest are:
    • It is the first example of a dynamical system which has a non-trivial constant of motion. As such, Jacobi's paper generated a lot of excitement and was followed by many papers elaborating his solution. In particular, the unstable behavior of one of the closed geodesics of the ellipsoid, is an early example of a system with a positive Lyapunov exponent (one of the essential ingredients for chaotic behavior in dynamical systems).
    • Knowledge of ellipsoidal coordinates (used by Jacobi) might be useful in other areas of geodesy.
    • Geodesics which pass through the pole on an ellipsoid of revolution represent a degenerate class (they are all closed and all pass through the opposite pole). It is of interest to see how this degeneracy is broken with a surface with a more general shape.
  4. My interest in this problem was piqued by Jean-Marc Baillard. I put him onto Jacobi's solution without having looked at it in detail myself; and he quickly implemented the solution for an HP-41 calculator(!) which is posted here.
  5. I do not give full citations of the papers here. You can find these in the Online Geodesic Bibliography; this includes links to online versions of the papers.
  6. An alternative to exploring geodesics using Jacobi's solution is to integrate the equations for the geodesics directly. This is the approach taken by Oliver Knill and Michael Teodorescu. However it is difficult to ensure that the long time behavior is correctly modeled with such an approach.
  7. At this point, I have no plans to add the solution of triaxial geodesic problem to GeographicLib.
  8. If you only want to learn about geodesics on a biaxial ellipsoid (an ellipsoid of revolution), then see Geodesics on an ellipsoid of revolution or the paper

Triaxial coordinate systems

Consider the ellipsoid defined by

\[ f = \frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1, \]

where, without loss of generality, \( a \ge b \ge c \gt 0\). A point on the surface is specified by a latitude and longitude. The geographical latitude and longitude \((\phi, \lambda)\) are defined by

\[ \frac{\nabla f}{\left| \nabla f\right|} = \left( \begin{array}{c} \cos\phi \cos\lambda \\ \cos\phi \sin\lambda \\ \sin\phi \end{array}\right). \]

The parametric latitude and longitude \((\phi', \lambda')\) are defined by

\[ \begin{aligned} x &= a \cos\phi' \cos\lambda', \\ y &= b \cos\phi' \sin\lambda', \\ z &= c \sin\phi'. \\ \end{aligned} \]

Jacobi employed the ellipsoidal latitude and longitude \((\beta, \omega)\) defined by

\[ \begin{aligned} x &= a \cos\omega \frac{\sqrt{a^2 - b^2\sin^2\beta - c^2\cos^2\beta}} {\sqrt{a^2 - c^2}}, \\ y &= b \cos\beta \sin\omega, \\ z &= c \sin\beta \frac{\sqrt{a^2\sin^2\omega + b^2\cos^2\omega - c^2}} {\sqrt{a^2 - c^2}}. \end{aligned} \]

Grid lines of constant \(\beta\) and \(\omega\) are given in Fig. 1.

Geodesic grid on a triaxial ellipsoid

Fig. 1


Fig. 1: The ellipsoidal grid. The blue (resp. green) lines are lines of constant \(\beta\) (resp. \(\omega\)); the grid spacing is 10°. Also shown in red are two of the principal sections of the ellipsoid, defined by \(x = 0\) and \(z = 0\). The third principal section, \(y = 0\), is covered by the lines \(\beta = \pm 90^\circ\) and \(\omega = 90^\circ \pm 90^\circ\). These lines meet at four umbilical points (two of which are visible in this figure) where the principal radii of curvature are equal. The parameters of the ellipsoid are \(a = 1.01\), \(b = 1\), \(c = 0.8\), and it is viewed in an orthographic projection from a point above \(\phi = 40^\circ\), \(\lambda = 30^\circ\). These parameters were chosen to accentuate the ellipsoidal effects on geodesics (relative to those on the earth) while still allowing the connection to an ellipsoid of revolution to be made.

The grid lines of the ellipsoid coordinates are "lines of curvature" on the ellipsoid, i.e., they are parallel to the direction of principal curvature (Monge, 1796). They are also intersections of the ellipsoid with confocal systems of hyperboloids of one and two sheets (Dupin, 1813). Finally they are geodesic ellipses and hyperbolas defined using two adjacent umbilical points. For example, the lines of constant \(\beta\) in Fig. 1 can be generated with the familiar string construction for ellipses with the ends of the string pinned to the two umbilical points.

Inter-conversions between these three latitudes and longitudes and the cartesian coordinates are simple algebraic exercises.

Jacobi's solution

Solving the geodesic problem for an ellipsoid of revolution is, from the mathematical point of view, trivial; because of symmetry, geodesics have a constant of the motion (analogous to the angular momentum) which was found by Clairaut (1733). By 1806 (with the work of Legendre, Oriani, et al.), there was a complete understanding of the qualitative behavior of geodesics on an ellipsoid of revolution.

On the other hand, geodesics on a triaxial ellipsoid have no obvious constant of the motion and thus represented a challenging "unsolved" problem in the first half of the nineteenth century. Jacobi discovered that the geodesic equations are separable if they are expressed in ellipsoidal coordinates. You can get an idea of the importance Jacobi attached to his discovery from the letter he wrote to his friend and neighbor Bessel:

The day before yesterday, I reduced to quadrature the problem of geodesic lines on an ellipsoid with three unequal axes. They are the simplest formulas in the world, Abelian integrals, which become the well known elliptic integrals if 2 axes are set equal.
Königsberg, 28th Dec. '38.

On the same day he wrote a similar letter to the editor of Compte Rendus and his result was published in J. Crelle in (1839) with a French translation (from German) appearing in J. Liouville in (1841).

Here is the solution, exactly as given by Jacobi here (with minor changes in notation):

\[ \begin{aligned} \delta &= \int \frac {\sqrt{b^2\sin^2\beta + c^2\cos^2\beta}\,d\beta} {\sqrt{a^2 - b^2\sin^2\beta - c^2\cos^2\beta} \sqrt{(b^2-c^2)\cos^2\beta - \gamma}}\\ &\quad - \int \frac {\sqrt{a^2\sin^2\omega + b^2\cos^2\omega}\,d\omega} {\sqrt{a^2\sin^2\omega + b^2\cos^2\omega - c^2} \sqrt{(a^2-b^2)\sin^2\omega + \gamma}} \end{aligned} \]

As Jacobi notes "a function of the angle \(\beta\) equals a function of the angle \(\omega\). These two functions are just Abelian integrals..." Two constants \(\delta\) and \(\gamma\) appear in the solution. Typically \(\delta\) is zero if the lower limits of the integrals are taken to be the starting point of the geodesic and the direction of the geodesics is determined by \(\gamma\). However for geodesics that start at an umbilical points, we have \(\gamma = 0\) and \(\delta\) determines the direction at the umbilical point. Incidentally the constant \(\gamma\) may be expressed as

\[ \gamma = (b^2-c^2)\cos^2\beta\sin^2\alpha-(a^2-b^2)\sin^2\omega\cos^2\alpha \]

where \(\alpha\) is the angle the geodesic makes with lines of constant \(\omega\). In the limit \(a\rightarrow b\), this reduces to \(\cos\beta\sin\alpha = \text{const.}\), the familiar Clairaut relation. A nice derivation of Jacobi's result is given by Darboux (1894) §§583–584 where he gives the solution found by Liouville (1846) for general quadratic surfaces. In this formulation, the distance along the geodesic, \(s\), is also found using

\[ \begin{aligned} \frac{ds}{(b^2-c^2)\cos^2\beta + (a^2-b^2)\sin^2\omega} &= \frac {\sqrt{b^2\sin^2\beta + c^2\cos^2\beta}\,d\beta} {\sqrt{a^2 - b^2\sin^2\beta - c^2\cos^2\beta} \sqrt{(b^2-c^2)\cos^2\beta - \gamma}}\\ &= \frac {\sqrt{a^2\sin^2\omega + b^2\cos^2\omega}\,d\omega} {\sqrt{a^2\sin^2\omega + b^2\cos^2\omega - c^2} \sqrt{(a^2-b^2)\sin^2\omega + \gamma}} \end{aligned} \]

An alternative expression for the distance is

\[ \begin{aligned} ds &= \frac {\sqrt{b^2\sin^2\beta + c^2\cos^2\beta} \sqrt{(b^2-c^2)\cos^2\beta - \gamma}\,d\beta} {\sqrt{a^2 - b^2\sin^2\beta - c^2\cos^2\beta}}\\ &\quad {}+ \frac {\sqrt{a^2\sin^2\omega + b^2\cos^2\omega} \sqrt{(a^2-b^2)\sin^2\omega + \gamma}\,d\omega} {\sqrt{a^2\sin^2\omega + b^2\cos^2\omega - c^2}} \end{aligned} \]

Jacobi's solution is a convenient way to compute geodesics on an ellipsoid. Care must be taken with the signs of the square roots (which are determined by the initial azimuth of the geodesic). Also if \(\gamma \gt 0\) (resp. \(\gamma \lt 0\)), then the \(\beta\) (resp. \(\omega\)) integrand diverges. The integrand can be transformed into a finite one by a change of variable, e.g., \(\sin\beta = \sin\sigma \sqrt{1 - \gamma/(b^2-c^2)}\). The resulting integrals are periodic, so the behavior of an arbitrarily long geodesic is entirely captured by tabulating the integrals over a single period.

The situation is more complicated if \(\gamma = 0\) (corresponding to umbilical geodesics). Both integrands have simple poles at the umbilical points. However, this behavior may be subtracted from the integrands to yield (for example) the sum of a term involving \(\tanh^{-1}\sin\beta\) and a finite integral. Since both integrals contain similar logarithmic singularities they can be equated (thus fixing the ratio \(\cos\beta/\sin\omega\) at the umbilical point) and connection formulas can be found which allow the geodesic to be followed through the umbilical point. The study of umbilical geodesics was of special interest to a group of Irish mathematicians in the 1840's and 1850's, including Michael and William Roberts (twins!), Hart, Graves, and Salmon.

Survey of triaxial geodesics

Before delving into the nature of geodesics on a triaxial geodesic, it is worth reviewing geodesics on an ellipsoid of revolution. There are two classes of simple closed geodesics (i.e., geodesics which close on themselves without intersection): the equator and all the meridians. All other geodesics oscillate between two equal and opposite circles of latitude; but after completing a full oscillation in latitude these fall slightly short (for an oblate ellipsoid) of completing a full circuit in longitude.

Turning to the triaxial case, we find that there are only 3 simple closed geodesics, the three principal sections of the ellipsoid given by \(x = 0\), \(y = 0\), and \(z = 0\). To survey the other geodesics, it is convenient to consider geodesics which intersect the middle principal section, \(y = 0\), at right angles. Such geodesics are shown in Figs. 2–6, where I use the same ellipsoid parameters as in Fig. 1 and the same viewing direction. In addition, The three principal ellipses are shown in red in each of these figures.

If the starting point is \(\beta_1 \in (-90^\circ, 90^\circ)\), \(\omega_1 = 0\), and \(\alpha_1 = 90^\circ\), then the geodesic encircles the ellipsoid in a "circumpolar" sense. The geodesic oscillates north and south of the equator; on each oscillation it completes slightly less that a full circuit around the ellipsoid resulting in the geodesic filling the area bounded by the two latitude lines \(\beta = \pm \beta_1\). Two examples are given in Figs. 2 and 3. Figure 2 shows practically the same behavior as for an oblate ellipsoid of revolution (because \(a \approx b\)). However, if the starting point is at a higher latitude (Fig. 3) the distortions resulting from \(a \ne b\) are evident.

Example of a circumpolar geodesic on a
triaxial ellipsoid

Fig. 2


Fig. 2: Example of a circumpolar geodesic on a triaxial ellipsoid. The starting point of this geodesic is \(\beta_1 = 45.1^\circ\), \(\omega_1 = 0^\circ\), and \(\alpha_1 = 90^\circ\).

Another example of a circumpolar geodesic on a
triaxial ellipsoid

Fig. 3


Fig. 3: Another example of a circumpolar geodesic on a triaxial ellipsoid. The starting point of this geodesic is \(\beta_1 = 87.48^\circ\), \(\omega_1 = 0^\circ\), and \(\alpha_1 = 90^\circ\).

If the starting point is \(\beta_1 = 90^\circ\), \(\omega_1 \in (0^\circ, 180^\circ)\), and \(\alpha_1 = 0^\circ\), then the geodesic encircles the ellipsoid in a "transpolar" sense. The geodesic oscillates east and west of the ellipse \(x = 0\); on each oscillation it completes slightly more that a full circuit around the ellipsoid resulting in the geodesic filling the area bounded by the two longitude lines \(\omega = \omega_1\) and \(\omega = 180^\circ - \omega_1\). If \(a = b\), all meridians are geodesics; the effect of \(a \ne b\) causes such geodesics to oscillate east and west. Two examples are given in Figs. 4 and 5.

Example of a transpolar geodesic on a
triaxial ellipsoid

Fig. 4


Fig. 4: Example of a transpolar geodesic on a triaxial ellipsoid. The starting point of this geodesic is \(\beta_1 = 90^\circ\), \(\omega_1 = 39.9^\circ\), and \(\alpha_1 = 0^\circ\).

Another example of a transpolar geodesic on a
triaxial ellipsoid

Fig. 5


Fig. 5: Another example of a transpolar geodesic on a triaxial ellipsoid. The starting point of this geodesic is \(\beta_1 = 90^\circ\), \(\omega_1 = 9.966^\circ\), and \(\alpha_1 = 0^\circ\).

If the starting point is \(\beta_1 = 90^\circ\), \(\omega_1 = 0^\circ\) (an umbilical point), and \(\alpha_1 = 45^\circ\) (the geodesic leaves the ellipse \(y = 0\) at right angles), then the geodesic repeatedly intersects the opposite umbilical point and returns to its starting point. However on each circuit the angle at which intersects \(y = 0\) becomes closer to \(0^\circ\) or \(180^\circ\) so that asymptotically the geodesic lies on the ellipse \(y = 0\). This is shown in Fig. 6. Note that a single geodesic does not fill an area on the ellipsoid.

Example of an umbilical geodesic on a
triaxial ellipsoid

Fig. 6


Fig. 6: Example of an umbilical geodesic on a triaxial ellipsoid. The starting point of this geodesic is \(\beta_1 = 90^\circ\), \(\omega_1 = 0^\circ\), and \(\alpha_1 = 45^\circ\) and the geodesics is followed forwards and backwards until it lies close to the plane \(y = 0\) in both directions.

Umbilical geodesic enjoy several interesting properties.

The stability of closed geodesics

The stability of the three simple closed geodesics can be determined by examining the properties of Jacobi's solution. In particular the unstable behavior of umbilical geodesics was shown by Hart (1849). However an alternative approach is to use the equations that Gauss (1828) gives for a perturbed geodesic

\[ \frac {d^2m}{ds^2} + Km = 0 \]

where \(m\) is the distance of perturbed geodesic from a reference geodesic and \(K\) is the Gaussian curvature of the surface. If the reference geodesic is closed, then this is a linear homogeneous differential equation with periodic coefficients. In fact it's a special case of Hill's equation which can be treated using Floquet theory, see DLMF, §28.29. Using the notation of §3 of Algorithms for geodesics, the stability is determined by computing the reduced length \(m_{12}\) and the geodesic scales \(M_{12}, M_{21}\) over half the perimeter of the ellipse and determining the eigenvalues \(\lambda_{1,2}\) of

\[ {\cal M} = \left(\begin{array}{cc} M_{12} & m_{12}\\ -\frac{1 - M_{12}M_{21}}{m_{12}} & M_{21} \end{array}\right). \]

Because \(\mathrm{det}\,{\cal M} = 1\), the eigenvalues are determined by \(\mathrm{tr}\,{\cal M}\). In particular if \(\left|\mathrm{tr}\,{\cal M}\right| < 2\), we have \(\left|\lambda_{1,2}\right| = 1\) and the solution is stable; if \(\left|\mathrm{tr}\,{\cal M}\right| > 2\), one of \(\left|\lambda_{1,2}\right|\) is larger than unity and the solution is (exponentially) unstable. In the transition case, \(\left|\mathrm{tr}\,{\cal M}\right| = 2\), the solution is stable provided that the off-diagonal elements of \({\cal M}\) are zero; otherwise the solution is linearly unstable.

The exponential instability of the geodesic on the ellipse \(y = 0\) is confirmed by this analysis and results from the resonance between the natural frequency of the equation for \(m\) and the driving frequency when \(b\) lies in \((c, a)\). If \(b\) is equal to either of the other axes (and the triaxial ellipsoid degenerates to an ellipsoid of revolution), then the solution is linearly unstable. (For example, a geodesic is which is close to a meridian on an oblate ellipsoid, slowly moves away from that meridian.)

The inverse problem

In order to solve the inverse geodesic problem, it helps to have an understanding of the properties of all the geodesics emanating from a single point \((\beta_1, \omega_1)\).

(These assertions follow directly from the equations for the geodesics; some of them are somewhat surprising given the asymmetries of the ellipsoid.) Consider now terminating the geodesics from \((\beta_1, \omega_1)\) at the point where they first intersect (or touch) the line \(\beta = -\beta_1\). To focus the discussion, take \(\beta_1 \le 0\).

These properties show that the inverse problem can be solved using techniques similar to those employed for an ellipsoid of revolution (see §4 of Algorithms for geodesics).

The shortest path found by this method is unique unless:

Back to Geodesics on an ellipsoid of revolution. Forward to Transverse Mercator projection. Up to Contents.