Hyperbolic spiral

From HandWiki
Short description: Spiral asymptotic to a line
A spiral staircase in the Cathedral of St. John the Divine. Several helical curves in the staircase project to hyperbolic spirals in its photograph.

A hyperbolic spiral is a type of spiral with a pitch angle that increases with distance from its center, unlike the constant angles of logarithmic spirals or decreasing angles of Archimedean spirals. As this curve widens, it approaches an asymptotic line. It can be found in the view up a spiral staircase and the starting arrangement of certain footraces, and is used to model spiral galaxies and architectural volutes.

As a plane curve, a hyperbolic spiral can be described in polar coordinates [math]\displaystyle{ (r,\varphi) }[/math] by the equation [math]\displaystyle{ r=\frac{a}{\varphi}, }[/math] for an arbitrary choice of the scale factor [math]\displaystyle{ a. }[/math]

Because of the reciprocal relation between [math]\displaystyle{ r }[/math] and [math]\displaystyle{ \varphi }[/math] it is also called a reciprocal spiral.[1] The same relation between Cartesian coordinates would describe a hyperbola, and the hyperbolic spiral was first discovered by applying the equation of a hyperbola to polar coordinates.[2] Hyperbolic spirals can also be generated as the inverse curves of Archimedean spirals,[3][4] or as the central projections of helixes.[5]

Hyperbolic spirals are patterns in the Euclidean plane, and should not be confused with other kinds of spirals drawn in the hyperbolic plane. In cases where the name of these spirals might be ambiguous, their alternative name, reciprocal spirals, can be used instead.[6]

History and applications

Pierre Varignon first studied the hyperbolic spiral in 1704,[7][8] as an example of the polar curve obtained from another curve (in this case the hyperbola) by reinterpreting the Cartesian coordinates of points on the given curve as polar coordinates of points on the polar curve. Varignon and later James Clerk Maxwell were interested in the roulettes obtained by tracing a point on this curve as it rolls along another curve; for instance, when a hyperbolic spiral rolls along a straight line, its center traces out a tractrix.[2]

Johann Bernoulli[9] and Roger Cotes also wrote about this curve, in connection with Isaac Newton's discovery that bodies that follow conic section trajectories must be subject to an inverse-square law, such as the one in Newton's law of universal gravitation. Newton asserted that the reverse was true: that conic sections were the only trajectories possible under an inverse-square law. Bernoulli criticized this step, observing that in the case of an inverse-cube law, multiple trajectories were possible, including both a logarithmic spiral (whose connection to the inverse-cube law was already observed by Newton) and a hyperbolic spiral. Cotes found a family of spirals, the Cotes's spirals, including the logarithmic and hyperbolic spirals, that all required an inverse-cube law. By 1720, Newton had resolved the controversy by proving that inverse-square laws always produce conic-section trajectories.[10][11][12][13]

The staggered start of a 200m race
The staggered start of a 200m race

For a hyperbolic spiral with equation [math]\displaystyle{ r=\tfrac{a}{\varphi} }[/math], a circular arc centered at the origin, continuing clockwise for length [math]\displaystyle{ a }[/math] from any of its points, will end on the [math]\displaystyle{ x }[/math]-axis.[3] Because of this equal-length property, the starting marks of 200m and 400m footraces are placed in staggered positions along a hyperbolic spiral. This ensures that the runners, restricted to their concentric lanes, all have equal-length paths to the finish line. For longer races where runners move to the inside lane after the start, a different spiral (the involute of a circle) is used instead.[14]

The pitch angle of NGC 4622 increases with distance[15]
Volutes on a Corinthian order capital in the Archaeological Museum of Epidaurus

The increasing pitch angle of the hyperbolic spiral, as a function of distance from its center, has led to the use of these spirals to model the shapes of some spiral galaxies, which in some cases have a similarly increasing pitch angle. However, this model does not provide a good fit to the shapes of all spiral galaxies.[16][17] In architecture, it has been suggested that hyperbolic spirals are a good match for the design of volutes from columns of the Corinthian order.[18] It also describes the perspective view up the axis of a spiral staircase or other helical structure.[5]

Along with the Archimedean and logarithmic spiral, the hyperbolic spiral has been used in psychological experiments on the perception of rotation.[19]

Constructions

Coordinate equations

The hyperbolic spiral has the equation [math]\displaystyle{ r=\frac a \varphi ,\quad \varphi \gt 0 }[/math] for polar coordinates [math]\displaystyle{ (r,\varphi) }[/math] and scale coefficient [math]\displaystyle{ a }[/math]. It can be represented in Cartesian coordinates by applying the standard polar-to-Cartesian conversions [math]\displaystyle{ x=r\cos\varphi }[/math] and [math]\displaystyle{ y=r\sin\varphi }[/math], obtaining a parametric equation for the Cartesian coordinates of this curve that treats [math]\displaystyle{ \varphi }[/math] as a parameter rather than as a coordinate:[20] [math]\displaystyle{ x = a \frac{\cos \varphi} \varphi, \qquad y = a \frac{\sin \varphi} \varphi ,\quad \varphi \gt 0. }[/math] Relaxing the constraint that [math]\displaystyle{ \varphi\gt 0 }[/math] to [math]\displaystyle{ \varphi\ne0 }[/math] and using the same equations produces a reflected copy of the spiral, and some sources treat these two copies as branches of a single curve.[4][21]

Hyperbolic spiral: branch for φ > 0
Hyperbolic spiral: both branches

The hyperbolic spiral is a transcendental curve, meaning that it cannot be defined from a polynomial equation of its Cartesian coordinates.[20] However, one can obtain a trigonometric equation in these coordinates by starting with its polar defining equation in the form [math]\displaystyle{ r\varphi=a }[/math] and replacing its variables according to the Cartesian-to-polar conversions [math]\displaystyle{ \varphi=\tan^{-1}\tfrac{y}{x} }[/math] and [math]\displaystyle{ r=\sqrt{x^2+y^2} }[/math], giving:[22] [math]\displaystyle{ \sqrt{x^2+y^2}\tan^{-1}\frac{y}{x}=a. }[/math]

It is also possible to use the polar equation to define a spiral curve in the hyperbolic plane, but this is different in some important respects from the usual form of the hyperbolic spiral in the Euclidean plane. In particular, the corresponding curve in the hyperbolic plane does not have an asymptotic line.[6]

Inversion

Hyperbolic spiral (blue) as image of an Archimedean spiral (green) by inversion through a circle (red)

Circle inversion through the unit circle is a transformation of the plane that, in polar coordinates, maps the point [math]\displaystyle{ (r,\varphi) }[/math] (excluding the origin) to [math]\displaystyle{ (\tfrac1r,\varphi) }[/math] and vice versa.[23] The image of an Archimedean spiral [math]\displaystyle{ r=\tfrac{\varphi}{a} }[/math] under this transformation (its inverse curve) is the hyperbolic spiral with equation [math]\displaystyle{ r=\tfrac{a}{\varphi} }[/math].[8]

Central projection of a helix

Hyperbolic spiral as central projection of a helix

The central projection of a helix onto a plane perpendicular to the axis of the helix describes the view that one would see of the guardrail of a spiral staircase, looking up or down from a viewpoint on the axis of the staircase.[5] To model this projection mathematically, consider the central projection from point [math]\displaystyle{ (0,0,d) }[/math] onto the image plane [math]\displaystyle{ z=0 }[/math]. This will map a point [math]\displaystyle{ (x,y,z) }[/math] to the point [math]\displaystyle{ \tfrac{d}{d-z}(x,y) }[/math].[24]

The image under this projection of the helix with parametric representation [math]\displaystyle{ (r\cos t, r\sin t, ct),\quad c\neq 0, }[/math] is the curve [math]\displaystyle{ \frac{dr}{d-ct}(\cos t,\sin t) }[/math] with the polar equation [math]\displaystyle{ \rho=\frac{dr}{d-ct}, }[/math] which describes a hyperbolic spiral.[24]

Properties

Asymptotes

The hyperbolic spiral approaches the origin as an asymptotic point.[22] Because [math]\displaystyle{ \lim_{\varphi\to 0}x = a\lim_{\varphi\to 0} \frac{\cos \varphi} \varphi =\infty,\qquad \lim_{\varphi\to 0}y = a\lim_{\varphi\to 0} \frac{\sin \varphi} \varphi = a, }[/math] the curve has an asymptotic line with equation [math]\displaystyle{ y=a }[/math].[20]

Pitch angle

Definition of sector (light blue) and pitch angle α

From vector calculus in polar coordinates one gets the formula [math]\displaystyle{ \tan\alpha=\tfrac{r'}{r} }[/math] for the pitch angle [math]\displaystyle{ \alpha }[/math] between the tangent of any curve and the tangent of its corresponding polar circle.[25] For the hyperbolic spiral [math]\displaystyle{ r=\tfrac{a}{\varphi} }[/math] the pitch angle is[19] [math]\displaystyle{ \alpha=\tan^{-1}\left(-\frac{1}{\varphi}\right). }[/math]

Curvature

The curvature of any curve with polar equation [math]\displaystyle{ r=r(\varphi) }[/math] is[26] [math]\displaystyle{ \kappa = \frac{r^2 + 2(r')^2 - r\, r''}{\left(r^2+(r')^2\right)^{3/2}} . }[/math] From the equation [math]\displaystyle{ r=a/\varphi }[/math] and its derivatives [math]\displaystyle{ r'=-a/\varphi^2 }[/math] and [math]\displaystyle{ r''=2a/\varphi^3 }[/math] one gets the curvature of a hyperbolic spiral, in terms of the radius [math]\displaystyle{ r }[/math] or of the angle [math]\displaystyle{ \varphi }[/math] of any of its points:[27] [math]\displaystyle{ \kappa = \frac{\varphi^4}{a \left(\varphi^2 + 1\right)^{3/2}} = \frac{a^3}{r(a^2+r^2)^{3/2}}. }[/math]

Arc length

The length of the arc of a hyperbolic spiral [math]\displaystyle{ r=a/\varphi }[/math] between the points [math]\displaystyle{ (r(\varphi_1),\varphi_1) }[/math] and [math]\displaystyle{ (r(\varphi_2),\varphi_2) }[/math] can be calculated by the integral:[20] [math]\displaystyle{ \begin{align} L&=a \int_{\varphi_1}^{\varphi_2}\frac{\sqrt{1+\varphi^2}}{\varphi^2}\,d\varphi \\ &= a\left[-\frac{\sqrt{1+\varphi^2}}{\varphi}+\ln\left(\varphi+\sqrt{1+\varphi^2}\right)\right]_{\varphi_1}^{\varphi_2} . \end{align} }[/math] Here, the bracket notation means to calculate the formula within the brackets for both [math]\displaystyle{ \varphi_1 }[/math] and [math]\displaystyle{ \varphi_2 }[/math], and to subtract the result for [math]\displaystyle{ \varphi_1 }[/math] from the result for [math]\displaystyle{ \varphi_2 }[/math].

Sector area

The area of a sector (see diagram above) of a hyperbolic spiral with equation [math]\displaystyle{ r=a/\varphi }[/math] is:[20] [math]\displaystyle{ \begin{align} A&=\frac12\int_{\varphi_1}^{\varphi_2} r(\varphi)^2\, d\varphi\\ &=\frac{a}{2}\bigl(r(\varphi_1)-r(\varphi_2)\bigr) . \end{align} }[/math] That is, the area is proportional to the difference in radii, with constant of proportionality [math]\displaystyle{ a/2 }[/math].[13][20]

References

  1. Waud, Samuel Wilkes (1835), A Treatise on Algebraical Geometry, Baldwin and Cradock, p. 194, https://archive.org/details/treatiseonalgebr00wauduoft/page/194 
  2. 2.0 2.1 "XXXV.—On the theory of rolling curves", Transactions of the Royal Society of Edinburgh 16 (5): 519–540, 1849, doi:10.1017/s008045680002247x, Zenodo2250749, https://archive.org/details/membershipdirect16asli/page/519/ 
  3. 3.0 3.1 Bowser, Edward Albert (1882), "The reciprocal or hyperbolic spiral", An Elementary Treatise on Analytic Geometry: Embracing Plane Geometry and an Introduction to Geometry of Three Dimensions (4th ed.), D. Van Nostrand, p. 232, https://archive.org/details/anelementarytre09bowsgoog/page/n250 
  4. 4.0 4.1 Drábek, Karel (1994), "Plane curves and constructions", in Rektorys, Karel, Survey of Applicable Mathematics, Mathematics and Its Applications, 280–281, Springer Netherlands, pp. 112–166, doi:10.1007/978-94-015-8308-4_4, ISBN 9789401583084 ; see p. 138
  5. 5.0 5.1 5.2 Hammer, Øyvind (2016), "15: The case of the staircase", The Perfect Shape: Spiral Stories, Springer International Publishing, pp. 65–68, doi:10.1007/978-3-319-47373-4_15 
  6. 6.0 6.1 Dunham, Douglas (2003), "Hyperbolic spirals and spiral patterns", in Barrallo, Javier; Friedman, Nathaniel; Maldonado, Juan Antonio et al., Meeting Alhambra, ISAMA-BRIDGES Conference Proceedings, Granada, Spain: University of Granada, pp. 521–528, ISBN 84-930669-1-5, https://archive.bridgesmathart.org/2003/bridges2003-521.html 
  7. "Nouvelle formation de Spirales – exemple II", Mémoires de l'Académie des sciences de l'Institut de France: 94–103, 1704, https://books.google.com/books?id=o73OAAAAMAAJ&pg=RA1-PA94 
  8. 8.0 8.1 "Curves: Hyperbolic Spiral", MacTutor History of Mathematics Archive (University of St Andrews), https://mathshistory.st-andrews.ac.uk/Curves/Hyperbolic/ 
  9. Johann Bernoulli should not be confused with his older brother Jacob Bernoulli, who made extensive studies of the logarithmic spiral.
  10. Hammer (2016), pp. 119–120.
  11. Guicciardini, Niccolò (1995), "Johann Bernoulli, John Keill and the inverse problem of central forces", Annals of Science 52 (6): 537–575, doi:10.1080/00033799500200401 
  12. "Extrait de la Réponse de M. Bernoulli à M. Herman, datée de Basle le 7 Octobre 1710", Mémoires de l'Académie des Sciences: 521–33, 1710 . As cited by (Guicciardini 1995), footnote 47, p. 554.
  13. 13.0 13.1 Cotesium, Rogerum (1722), Smith, Robertus, ed. (in la), Harmonia Mensurarum, Sive Analysis & Synthesis per Rationum & Angulorum Mensuras, Cambridge . For the Cotes spirals, see pp. 30–35; the hyperbolic spiral is case 4, p. 34. Hammer dates this material to 1714, but it was not published until after Cotes's death.
  14. Haines, C. R. (December 1977), "Old curves in a new setting", The Mathematical Gazette 61 (418): 262–266, doi:10.2307/3617399 
  15. Ringermacher, Harry I.; Mead, Lawrence R. (July 2009), "A new formula describing the scaffold structure of spiral galaxies", Monthly Notices of the Royal Astronomical Society 397 (1): 164–171, doi:10.1111/j.1365-2966.2009.14950.x, Bibcode2009MNRAS.397..164R 
  16. Kennicutt, R. C. Jr. (December 1981), "The shapes of spiral arms along the Hubble sequence", The Astronomical Journal (American Astronomical Society) 86: 1847, doi:10.1086/113064, Bibcode1981AJ.....86.1847K 
  17. Savchenko, S. S.; Reshetnikov, V. P. (September 2013), "Pitch angle variations in spiral galaxies", Monthly Notices of the Royal Astronomical Society 436 (2): 1074–1083, doi:10.1093/mnras/stt1627 
  18. Nicholson, Peter (1825), A Popular Course of Pure and Mixed Mathematics for the Use of Schools and Students, G. B. Whittaker, p. 436, https://books.google.com/books?id=Wtc2AAAAMAAJ&pg=PA436 
  19. 19.0 19.1 Scott, Thomas R.; Noland, J. H. (1965), "Some stimulus dimensions of rotating spirals", Psychological Review 72 (5): 344–357, doi:10.1037/h0022204, ProQuest 614277135, PMID 5318086 
  20. 20.0 20.1 20.2 20.3 20.4 20.5 Polezhaev, Andrey (2019), "Spirals, their types and peculiarities", in Tsuji, Kinko; Müller, Stefan C., Spirals and Vortices: In Culture, Nature, and Science, The Frontiers Collection, Springer International Publishing, pp. 91–112, doi:10.1007/978-3-030-05798-5_4, ISBN 9783030057985 ; see especially Section 2.2, Hyperbolic spiral, p. 96
  21. Morris, Christopher G., ed. (1992), "Hyperbolic spiral", Academic Press Dictionary of Science and Technology, Academic Press, p. 1068, https://books.google.com/books?id=nauWlPTBcjIC&pg=PA1068 
  22. 22.0 22.1 Shikin, Eugene V. (2014), "Hyperbolic spiral (reciprocal spiral)", Handbook and Atlas of Curves, CRC Press, pp. 222–223, ISBN 9781498710671, https://books.google.com/books?id=H05ZDwAAQBAJ&pg=PA222 
  23. "Inversions and the Riemann sphere", Indra's Pearls: The Vision of Felix Klein, Cambridge University Press, 2002, p. 54, ISBN 9781107717190, https://books.google.com/books?id=OzTzAgAAQBAJ&pg=PA54 
  24. 24.0 24.1 Loria, Gino; Roever, W. H. (February 1919), "On certain constructions of descriptive geometry", The American Mathematical Monthly 26 (2): 45–53, doi:10.1080/00029890.1919.11998485 ; for the central projection of a helix, see p. 51
  25. Kepr, Bořivoj (1994), "Differential geometry", in Rektorys, Karel, Survey of Applicable Mathematics, Mathematics and Its Applications, 280–281, Springer Netherlands, pp. 260–335, doi:10.1007/978-94-015-8308-4_9, ISBN 9789401583084 . For an equivalent formula for the direction angle (the complementary angle to the pitch angle) see Section 9.9, Theorem 1, p. 300
  26. Rutter, J.W. (2018), "Theorem 7.11", Geometry of Curves, CRC Press, p. 143, ISBN 9781482285673, https://books.google.com/books?id=yUlZDwAAQBAJ&pg=PA143 
  27. Ganguli, Surendramohan (1926), "289: The hyperbolic spiral", The Theory of Plane Curves, II (2nd ed.), University of Calcutta, pp. 364–365, https://archive.org/details/theoryofplanecur033158mbp/page/n389 

External links

pt:Espiral logarítmica