In mathematics, a spherical conic or sphero-conic is a curve on the sphere, the intersection of the sphere with a concentric elliptic cone. It is the spherical analog of a conic section (ellipse, parabola, or hyperbola) in the plane, and as in the planar case, a spherical conic can be defined as the locus of points the sum or difference of whose great-circle distances to two foci is constant.[1] By taking the antipodal point to one focus, every spherical ellipse is also a spherical hyperbola, and vice versa. As a space curve, a spherical conic is a quartic, though its orthogonal projections in three principal axes are planar conics. Like planar conics, spherical conics also satisfy a "reflection property": the great-circle arcs from the two foci to any point on the conic have the tangent and normal to the conic at that point as their angle bisectors.

Spherical conics drawn on a spherical chalkboard. Two confocal conics in blue and yellow share foci F1 and F2. Angles formed with red great-circle arcs from the foci through one of the conics' intersections demonstrate the reflection property of spherical conics. Three mutually perpendicular conic centers and three lines of symmetry in green define a spherical octahedron aligned with the principal axes of the conic.
A grid on the square dihedron under inverse Peirce quincuncial projection is conformal except at four singularities around the equator, which become the foci of a grid of spherical conics.

Many theorems about conics in the plane extend to spherical conics. For example, Graves's theorem and Ivory's theorem about confocal conics can also be proven on the sphere; see confocal conic sections about the planar versions.[2]

Just as the arc length of an ellipse is given by an incomplete elliptic integral of the second kind, the arc length of a spherical conic is given by an incomplete elliptic integral of the third kind.[3]

An orthogonal coordinate system in Euclidean space based on concentric spheres and quadratic cones is called a conical or sphero-conical coordinate system. When restricted to the surface of a sphere, the remaining coordinates are confocal spherical conics. Sometimes this is called an elliptic coordinate system on the sphere, by analogy to a planar elliptic coordinate system. Such coordinates can be used in the computation of conformal maps from the sphere to the plane.[4]

Applications

edit

The solution of the Kepler problem in a space of uniform positive curvature is a spherical conic, with a potential proportional to the cotangent of geodesic distance.[5]

Because it preserves distances to a pair of specified points, the two-point equidistant projection maps the family of confocal conics on the sphere onto two families of confocal ellipses and hyperbolae in the plane.[6]

If a portion of the Earth is modeled as spherical, e.g. using the osculating sphere at a point on an ellipsoid of revolution, the hyperbolae used in hyperbolic navigation (which determines position based on the difference in received signal timing from fixed radio transmitters) are spherical conics.[7]

Notes

edit
  1. ^ Fuss, Nicolas (1788). "De proprietatibus quibusdam ellipseos in superficie sphaerica descriptae" [On certain properties of ellipses described on a spherical surface]. Nova Acta academiae scientiarum imperialis Petropolitanae (in Latin). 3: 90–99.
  2. ^ Stachel, Hellmuth; Wallner, Johannes (2004). "Ivory's theorem in hyperbolic spaces" (PDF). Siberian Mathematical Journal. 45 (4): 785–794.
  3. ^ Gudermann, Christoph (1835). "Integralia elliptica tertiae speciei reducendi methodus simplicior, quae simul ad ipsorum applicationem facillimam et computum numericum expeditum perducit. Sectionum conico–sphaericarum qudratura et rectification" [A simpler method of reducing elliptic integrals of the third kind, providing easy application and convenient numerical computation: Quadrature and rectification of conico-spherical sections]. Crelle's Journal. 14: 169–181.
    Booth, James (1844). "IV. On the rectification and quadrature of the spherical ellipse". The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 25 (163): 18–38. doi:10.1080/14786444408644925.
  4. ^ Guyou, Émile (1887). "Nouveau système de projection de la sphère: Généralisation de la projection de Mercator" [New sphere projection system: Generalization of the Mercator projection]. Annales Hydrographiques. Ser. 2 (in French). 9: 16–35.
    Adams, Oscar Sherman (1925). Elliptic functions applied to conformal world maps (PDF). US Government Printing Office. US Coast and Geodetic Survey Special Publication No. 112.
  5. ^ Higgs, Peter W. (1979). "Dynamical symmetries in a spherical geometry I". Journal of Physics A: Mathematical and General. 12 (3): 309–323. doi:10.1088/0305-4470/12/3/006.
    Kozlov, Valery Vasilevich; Harin, Alexander O. (1992). "Kepler's problem in constant curvature spaces". Celestial Mechanics and Dynamical Astronomy. 54 (4): 393–399. doi:10.1007/BF00049149.
    Cariñena, José F.; Rañada, Manuel F.; Santander, Mariano (2005). "Central potentials on spaces of constant curvature: The Kepler problem on the two-dimensional sphere S2 and the hyperbolic plane H2". Journal of Mathematical Physics. 46 (5): 052702. arXiv:math-ph/0504016. doi:10.1063/1.1893214.
    Arnold, Vladimir; Kozlov, Valery Vasilevich; Neishtadt, Anatoly I. (2007). Mathematical Aspects of Classical and Celestial Mechanics. doi:10.1007/978-3-540-48926-9.
    Diacu, Florin (2013). "The curved N-body problem: risks and rewards" (PDF). Mathematical Intelligencer. 35 (3): 24–33.
  6. ^ Cox, Jacques-François (1946). "The doubly equidistant projection". Bulletin Géodésique. 2 (1): 74–76. doi:10.1007/bf02521618.
  7. ^ Razin, Sheldon (1967). "Explicit (Noniterative) Loran Solution". Navigation. 14 (3): 265–269. doi:10.1002/j.2161-4296.1967.tb02208.x.
    Freiesleben, Hans-Christian (1976). "Spherical hyperbolae and ellipses". The Journal of Navigation. 29 (2): 194–199. doi:10.1017/S0373463300030186.

References

edit