1. INTRODUCTION
We can define many well known objects with respect to making a constant angle with a distinct direction. Our first example is helices that are special curves that lie on helicoids (minimal surfaces), see Figure 4. These are characterised by the property that tangent lines make a constant angle with a fixed direction. Helices are geodesics or length minimizing curves on the helicoids (Papst, Reference Papst2011). A generalisation of geodesics is magnetic curves. In Physics, a magnetic curve represents a trajectory of a charged particle moving on the manifold under the action of a magnetic field. Thus helices in Euclidean Space (or ${\bf {\opf E}}^3 $) are also characterised by the following property: they are magnetic trajectories related to magnetic fields parallel to their axis (Munteanu, Reference Munteanu2013). There are many interesting applications of helices such as α-helices, K-helices, Deoxyribonucleic Acid (DNA) double helix, collagen triple helix, nanosprings, carbon nanotubes, etc. (Ilarslan and Boyacioglu, Reference Ilarslan and Boyacioglu2008). A further example is logarithmic spirals or spira mirabilis, extensively investigated by Jacob Bernoulli, which make a constant angle with the radial direction. One of their interesting properties is the fact that they are self-similar. Thus we can see them in some phenomena and on different objects around us, for example; the approach of a hawk to its prey, the approach of an insect to a light source, the arms of a spiral galaxy, the nerves of the cornea, some spiral roses, sunflower heads, shells, horns, cosmology, fractal structures, architectures and so on (Boyadzhiev, Reference Boyadzhiev1999, Reference Boyadzhiev2007; Munteanu, Reference Munteanu2010). The third famous example is loxodromes or rhumb lines which intersect the meridians at a constant angle on the Earth's surface. Generally loxodromes are not great circles (geodesics), see Tseng and Chang (Reference Tseng and Chang2014). Hence they do not measure the shortest distance between two points on the Earth's surface. However loxodromes are primarily used in navigation since they do not require a change of course, i.e., course=θ=constant (Kos et al., Reference Kos, Filjar and Hess2009). In 1569, a major development for navigation was the Mercator map. The Mercator projection was used for centuries, but unfortunately has navigational errors (Alexander, Reference Alexander2004; Babaarslan and Munteanu, Reference Munteanu2013). It is well known that by using stereographic projection, loxodromes on a sphere are projected as logarithmic spirals on the plane of the equator (Noble, Reference Noble1905), see Figure 1. Also, if they are plotted on the Mercator grid, then they have the form of straight lines. For example; a voyager can head at a constant bearing 73° East of North to travel from New York to London (Alexander, Reference Alexander2004). Mercator used a conformal map in order for loxodromes on a sphere to be drawn as straight lines on a plane (Babaarslan and Munteanu, Reference Munteanu2013).
Noble (Reference Noble1905) found the equations of loxodromes on the rotational surfaces and also gave some particular examples of them such as sphere and spheroid. Kos et al. (Reference Kos, Vranic and Zec1999, Reference Kos, Filjar and Hess2009) computed the arc-length of the loxodrome on a sphere. Also Petrovic (Reference Petrovic2007) determined the arc-length of the loxodrome on a spheroid. Babaarslan and Munteanu (Reference Munteanu2013) computed all time-like loxodromes on the rotational surfaces which have time-like meridians or space-like meridians, respectively in Minkowski 3-space. Similarly, Babaarslan and Yayli (Reference Babaarslan and Yayli2014) found all space-like loxodromes on the rotational surfaces in Minkowski 3-space and gave some examples using the Mathematica computer programme.
We know that helicoidal surfaces are the natural generalisations of rotational surfaces. Furthermore we often come across helicoidal structures and objects that are related to navigation in nature, science and engineering. For instance; creeper plants, helicoidal staircases, helicoidal conveyors, parking garage ramps, helicoidal railways, moving walkways and footbridges, helicoidal towers and (nowadays) skyscrapers (Capanna et al., Reference Capanna, Francaviglia and Lorenzi2012), helicoidal fractures in geology (Pollard and Fletcher, Reference Pollard and Fletcher2005), helicoidal paths, tropical cyclones (Levina and Montgomery, Reference Levina and Montgomery2010), electronic states on the helicoidal surfaces (Jensen, Reference Jensen2009) and helical channels (Morales and Rosa, Reference Morales and Rosa2007).
According to the authors' knowledge, there is no article related to equation of loxodrome on a helicoidal surface in Euclidean 3-space. The main goal of this paper is to find the differential equation of the loxodrome on a helicoidal surface in Euclidean 3-space. Also we give some examples and draw the corresponding pictures by using the Mathematica computer program to understand loxodromes better. We hope to inspire more people to research the relations between loxodromes on different structures and other branches of science.
2. PRELIMINARIES
In this section, we recall some important notions and also give some properties of curves and surfaces in Euclidean 3-space ${\bf {\opf E}}^3 $. For more details, we refer to Babaarslan and Munteanu (Reference Munteanu2013), Babaarslan and Yayli (Reference Babaarslan and Yayli2014), Guler et al. (Reference Guler, Yayli and Hacisalihoglu2010), Ikawa (Reference Ikawa2000), O'Neill (Reference O'Neill1966) and Do Carmo (Reference Do Carmo1976).
The inner product of two vectors x = (x 1, x 2, x 3) and y = (y 1, y 2, y 3) in ${\bf {\opf E}}^3 $ is given by:
The norm (length) of a vector $x \in {\bf {\opf E}}^3 $ is $\vert\vert x \vert\vert = \sqrt {\left\langle {x,x} \right\rangle} $ and it is called a unit vector if ||x||=1. The angle θ between x and y is given by
where 0 < θ < π. In particular, if θ = π/2, then 〈x, y〉 = 0. Thus we can define vectors to be orthogonal provided their inner product is zero.
Let $\beta :I \subset {\bf {\opf R}} \to {\bf {\opf E}}^3 $ be a regular curve in ${\bf {\opf E}}^3 $ (i.e., $\dot \beta \ne 0$ for all t ∈ I). The arc-length of β between t 0 and t is given by
Then the parameter $s \in J \subset {\bf {\opf R}}$ is determined such as ||β′(s)|| = 1. Thus β is called a unit speed curve if ||β′(s)|| = 1.
Now we give the definitions of rotational surfaces and helicoidal surfaces and also some important formulas in ${\bf {\opf E}}^3 $.
Let $\beta :I \subset {\bf {\opf R}} \to P$ be a regular curve in a plane $P \subset {\bf {\opf E}}^3 $ and l be a straight line in P. If this profile curve β is rotated about the axis l, then it sweeps out a rotational surface in ${\bf {\opf E}}^3 $. Similarly, we assume that when the profile β rotates about the axis l, it simultaneously displaces parallel to l so that the speed of displacement is proportional to the speed of rotation. As a result it sweeps out a helicoidal surface in ${\bf {\opf E}}^3 $.
Let us assume that l = span{(0, 0, 1)}. Then the rotation which leaves the axis l invariant is given by the following rotational matrix
If the rotation axis is l, then there is a Euclidean transformation where the axis l is transformed to the x 3-axis of ${\bf {\opf E}}^3 $. Rotation leaves the planes that are orthogonal to the rotation axis l invariant. Thus we can choose the profile curve in a plane containing the rotation axis l. As a result we can take the profile curve β in the (x 1x 3)-plane that can be parameterised by β(u) = (f(u), 0, g(u)), $u \in I \subset {\bf {\opf R}},$ where f(u) ≠ 0.
A helicoidal surface with the rotation axis l and the pitch $\lambda \in {\rm {\opf R}}\backslash \{ 0\} $ can be parameterised as follows
or
When g is a constant function, the helicoidal surface is called the right helicoidal surface. Also, when λ = 0, the helicoidal surfaces reduce to rotational surfaces.
For a surface X(u, v), the first fundamental form or line-element in the base {X u, Xv} is given by
where E = 〈X u, Xu〉, F = 〈X u, Xv〉 and G = 〈X v, Xv〉 are the coefficients of the first fundamental form.
The angle θ between two regular curves $\beta :I \subset {\bf {\opf R}} \to X$ and $\gamma :I \subset {\bf {\opf R}} \to X$ which intersect at t = t 0 is given by
In particular, the angle ϕ between the constant parameter curves of X(u, v) is given by
Thus the constant parameter curves are orthogonal if and only if F(u, v) = 0 for all (u, v).
3. DIFFERENTIAL EQUATION OF THE LOXODROME
Let us consider the helicoidal surface H that is given by Equation (5). To simplify the calculations, we assume that f′2(u) + g′2(u) = 1 for all $u \in J \subset {\bf {\opf R}},$ that is, the profile curve β is parameterised by arc-length parameter. The coefficients of first fundamental form of the helicoidal surface are
Obviously, the constant parameter curves of H(u, v) are orthogonal if and only if H(u, v) is either a right helicoidal surface or a rotational surface. Substituting Equation (9) into (6), the first fundamental form of the helicoidal surface is determined by the following equation
Also the arc-length of any curve on the helicoidal surface between u 1 and u 2 is given by
We may assume that the loxodrome α(t) is the image of a curve (u(t), v(t)) in the (uv)-plane by H. Since in the basis {H u, Hv}, the vector α′(t) has the coordinates (u′, v′) and the vector H u has the coordinates (1, 0). At the point H(u, v) where the loxodrome intersects the meridian at a constant azimuth θ, we have
From Equation (12), we obtain the following differential equation of the loxodrome on the helicoidal surface:
Thus the general solution of the differential equation of the loxodrome on the helicoidal surface is
where ε = ±1.
For the loxodrome on the right helicoidal surface, Equation (13) reduces to Equation (15):
With the solution of this differential equation, we find the general solution of the differential equation of the loxodrome on the right helicoidal surface as
where ε = ± 1.
Noble (Reference Noble1905) and Kos et al. (Reference Kos, Filjar and Hess2009) found the differential equation of the loxodrome on a rotational surface. If we take λ = 0 in Equation (16), we find the general solution of the differential equation of the loxodrome on rotational surface as follows
where ε = ± 1. This equation coincides with the equation in (Noble, Reference Noble1905; Kos et al., Reference Kos, Filjar and Hess2009).
Next, we give the arc-length of the loxodrome on the right helicoidal surface. The arc-length of any curve on the right helicoidal surface between u 1 and u 2 is given by
By using Equation (15), the arc-length of the loxodrome is defined as follows
Similarly, the arc-length of the loxodrome on the rotational surface coincides with Equation (19).
Now we give three examples of loxodromes that lie on the helicoidal surfaces to strengthen our main results.
Example 1
Let us take f(u) = 2, g(u) = u + 1, u ∈ (−5, 5), λ = 3, θ = π/3, ε = 1 and v(0) = 0. By the straightforward calculation, we have v ∈ (−2·70959, 2·70959). Also the arc-length of the loxodrome is equal to 7·50903. We can draw the helicoidal surface H(u, v), the meridian (v = constant) and the loxodrome H(u, v(u)) in Figure 2.
Example 2
Let us take f(u) = sin u, g(u) = cos u, u ∈ (0·01, 3·14), λ = 2, θ = π/2, ε = − 1 and u 0 = 1·5708. By the straightforward calculation, we have v ∈ (−2·64916, 3·56775). The arc-length of the loxodrome is equal to 11·5391. We can draw the helicoidal surface H(u, v), the meridian (v = constant) and the loxodrome H(u, v(u)) in Figure 3.
Due to the energy minimisation principle, minimal surfaces are omnipresent in nature and science. Thus their study has been a fascinating notion for centuries. One of the non-trivial examples of minimal surfaces is the helicoid found by Meusnier (Bates et al., Reference Bates, Wei and Zhao2008). We can construct it by using Equation (5). The parallel (u = constant) on the helicoid is a helix and it is perpendicular to the meridians (v = constant). Thus a helix on the helicoid is also a loxodrome. This is an important property since helices are strongly related to navigation. Thus we can give the following example:
Example 3
Let us take f(u) = u, g(u) = 1, u ∈ (−4, 4), λ = 1, θ = π/4, ε = 1 and v(0) = 0. By the straightforward calculation, we have v ∈ (−2·09, 2·09). Also the arc-length of the loxodrome is equal to $8\sqrt 2. $ We can draw the right helicoidal surface (helicoid) H(u, v), the meridian (v = constant), the parallel (u = constant) and the loxodrome H(u, v(u)) in Figure 4.
4. CONCLUSION
Loxodromes correspond to curves that intersect all meridians at a constant angle on a helicoidal surface. Thus, they are very important in navigation. In general, the previous loxodrome studies were associated with rotational surfaces. But in nature, science and engineering, we can find surfaces other than rotational surfaces on which navigation is possible, for example; creeper plants, fractures in geology, parking garage ramps, helicoidal staircases, railways, moving walkways and footbridges, helical channels and so on. For this reason, in the present paper, we investigate the differential equations of loxodromes on the helicoidal surfaces in Euclidean 3-space, hoping that many other researchers work on loxodromes on different structures. In future work, we will investigate the differential equations of loxodromes on the helicoidal surfaces in Minkowski 3-space since loxodromes in this space have important meaning in relativity theory and they are interesting from the points of view of geometric and mathematical cosmology (Babaarslan and Yayli, Reference Babaarslan and Yayli2014).
ACKNOWLEDGMENT
The authors wish to express their gratitude to the reviewers for their valuable comments and suggestions.