[Math] On nonintersecting loxodromes

geometryspheres

The (spherical) loxodrome, or the rhumb line, is the curve of constant bearing on the sphere; that is, it is the spherical curve that cuts the meridians of the sphere at a constant angle. A more picturesque way of putting it is that if one wants to travel from one point of a (spherical) globe to the antipodal point (say, from the North Pole to the South Pole) in a fixed direction, the path one would be taking on the globe would be a loxodrome.

For a unit sphere, the loxodrome that cuts the meridians at an angle $\varphi\in\left(0,90^\circ\right]$ is given by

$$\begin{align*}x&=\mathrm{sech}(t\cot\;\varphi)\cos\;t\\y&=\mathrm{sech}(t\cot\;\varphi)\sin\;t\\z&=\tanh(t\cot\;\varphi)\end{align*}$$

While playing around with loxodromes, I noted that for certain values of $\varphi$, one can orient two identical loxodromes such that they do not intersect (that is, one can position two ships such that if both take similar loxodromic paths, they can never collide). Here for instance are two loxodromes whose constant angle $\varphi$ is $60^\circ$, oriented such that they do not cross each other:

noncrossing 60° loxodromes

On the other hand, for the (extreme!) case of $\varphi=90^{\circ}$, the two loxodromes degenerate to great circles, and it is well known that two great circles must always intersect (at two antipodal points).

Less extreme, but seemingly difficult, would be the problem of positioning two 80° loxodromes such that they do not intersect:

two 80° loxodromes


This brings me to my first question:

1) For what values of $\varphi$ does it become impossible to orient two loxodromes such that they do not cross each other?

For simplicity, one can of course fix one of the two loxodromes to go from the North Pole to the South Pole, and try to orient the other loxodrome so that it does not cross the fixed loxodrome.


That's the simpler version of my actual problem. Some experimentation seems to indicate that it is not possible to orient three loxodromes such that they do not cross each other. So…

2) Is it true that for all (admissible) values of $\varphi$, one cannot position three loxodromes such that none of them cross each other?

I've tried a bit of searching around to see if the problem has been previously considered, but I have not had any luck. Any pointers to the literature will be appreciated.

Best Answer

Updated answer to (2): Three non-intersecting $60^\circ$ loxodromes.

alt text

The axes are coplanar and inclined at $120^\circ$ to each other. This image shows that symmetry better:

alt text

And here's the Mercator projection:

alt text

My approach was to plot one loxodrome such that its Mercator projection is a (black) line through the origin. Then, I tilted the spherical loxodrome "toward the camera"; that is, I rotated the sphere about the horizontal axis to get new, curvy (red) projections.

alt text

From tilt-angles $108^\circ$ to $143^\circ$, the "curve" lies between parts of the "line", indicating a range of red loxodromes that don't intersect the black one.

alt text

For a certain sub-range ($108^\circ$ to about $125^\circ$), a third (blue) non-intersecting loxodrome can be added by rotating the red one about the Mercator origin. Here's an image from the end of that range, where red and blue are tangent.

alt text

That's the end of the illustrated intro. Now for some equations ...

Starting with your parameterization of the loxodrome, then tilting via angle $\theta$, gives this parameterization of the Mercator projection:

$$\begin{align} u &= \rm{atan}\left( \frac{\sin t}{\cos t \cos \theta + \sinh\left(t \cot\phi\right) \sin \theta }\right) \\ v &= \rm{atanh}\left( \frac{-\cos t \sin\theta + \sinh\left(t \cot\phi\right) \cos\theta }{\cosh\left(t \cot\phi\right)}\right) \end{align} $$

A tilted loxodrome crosses into the range of (possible) non-intersection with the un-tilted loxodrome when the "top" of the outer loop about its tilted north pole meets the Mercator origin. (The nature of loxodromes guarantees that the two loxodromes will be tangent there.) The point on the loop corresponds to $t=\pi$, for which $u$ is already zero; for $v$ to vanish, we must have

$$0 = -\cos\pi \sin\theta + \sinh\left(\pi \cot\phi\right) \cos\theta = \sin\theta+\sinh\left(\pi \cot\phi \right) \cos\theta$$

so

$$\tan\theta = -\sinh\left(\pi\cot\phi\right)$$

Consequently, appropriately adjusting the "branch" of $\rm{atan}$, the range begins at

$$\theta_0 := \pi - \rm{atan}\left(\sinh\left(\pi\cot\phi\right)\right)$$

The range of (possible) non-intersection ends when the loop around the tilted loxodrome's south pole brushes against the un-tilted loxodrome. This is when the point corresponding to $t=-\pi$ has $v = \pi\cot\phi$ (matching the upper-right point of the "straight" loxodrome projection). So, the range ends at

$$\theta_1 := 2\;\rm{atan}\left( \sinh\left(\pi\cot\phi\right) \right)$$

I write "range of possible non-intersection", because that range collapses when $\theta_0 = \theta_1$. This gives us a critical loxodrome angle.

$$\phi_{*} = \rm{atan}\left(\frac{\pi}{ \rm{asinh}\left( \tan\frac{\pi}{3} \right) } \right) \approx 67.2565^\circ$$

alt text

You cannot arrive at two non-intersecting loxodromes with $\phi > \phi_{*}$ --in particular, with $\phi=80^\circ$-- by tilting one relative to the other in the way I've described.

Here's $\phi = 80^\circ$:

alt text

Of course, "the way I've described" lacks generality. In addition to "vertical" tilts, one should also consider "lateral" spins (horizontal shifts in the Mercator projection). I'll leave that, and a full investigation of the three-loxodrome scenario, as an exercise.

Related Question