Doyle spiral

Last updated

A Doyle spiral of type (8,16) printed in 1911 in Popular Science as an illustration of phyllotaxis. One of its spiral arms is shaded. PSM V79 D459 Logarithmic spiral in flower growth configuration.png
A Doyle spiral of type (8,16) printed in 1911 in Popular Science as an illustration of phyllotaxis. One of its spiral arms is shaded.

In the mathematics of circle packing, a Doyle spiral is a pattern of non-crossing circles in the plane in which each circle is surrounded by a ring of six tangent circles. These patterns contain spiral arms formed by circles linked through opposite points of tangency, with their centers on logarithmic spirals of three different shapes.

Contents

Doyle spirals are named after mathematician Peter G. Doyle, who made an important contribution to their mathematical construction in the late 1980s or early 1990s. [2] However, their study in phyllotaxis (the mathematics of plant growth) dates back to the early 1900s. [1] [3] [4]

Definition

A Doyle spiral is defined to be a certain type of circle packing, consisting of infinitely many circles in the plane, with no two circles having overlapping interiors. In a Doyle spiral, each circle is enclosed by a ring of six other circles. The six surrounding circles are tangent to the central circle and to their two neighbors in the ring. [5] [6]

Properties

Radii

As Doyle observed, [2] the only way to pack circles with the combinatorial structure of a Doyle spiral is to use circles whose radii are also highly structured. [5] For any such packing, there must exist three positive real numbers ,,and , so that each circle of radius is surrounded by circles whose radii are (in cyclic order)

, , , , , and .

Only certain triples of numbers ,,and come from Doyle spirals; others correspond to systems of circles that eventually overlap each other. [6]

Arms

Two concentric rings of nine circles in the rose window of St Albans Cathedral. These two rings are part of a (9,9) Doyle spiral, but the center circle and other circles do not follow the pattern. St Albans cathedral (15080601612).jpg
Two concentric rings of nine circles in the rose window of St Albans Cathedral. These two rings are part of a (9,9) Doyle spiral, but the center circle and other circles do not follow the pattern.

In a Doyle spiral, one can group the circles into connecting chains of circles through opposite points of tangency. These have been called arms, following the same terminology used for spiral galaxies. [8] [9] Within each arm, the circles have radii in a doubly infinite geometric sequence or a sequence of the same type with common multiplier or . In most Doyle spirals, the centers of the circles on a single arm lie on a logarithmic spiral, and all of the logarithmic spirals obtained in this way meet at a single central point. Some Doyle spirals instead have concentric circular arms (as in the stained glass window shown) or straight arms. [6]

Counting the arms

The precise shape of any Doyle spiral can be parameterized by three natural numbers, counting the number of arms of each of its three shapes. When one shape of arm occurs infinitely often, its count is defined as 0, rather than . The smallest arm count equals the difference of the other two arm counts, so any Doyle spiral can be described as being of type , where and are the two largest counts, in the sorted order . [10]

Doyle spiral (6,8) with spirals colored part3.svg
2 arms
Doyle spiral (6,8) with spirals colored part2.svg
6 arms
Doyle spiral (6,8) with spirals colored part1.svg
8 arms
Counting the arms of each type in a spiral of type (6,8)

Every pair with determines a Doyle spiral, with its third and smallest arm count equal to . The shape of this spiral is determined uniquely by these counts, up to similarity. [5] For a spiral of type , the radius multipliers are ,,and for complex numbers and satisfying the coherence equation and the tangency equations This implies that the radius multipliers are algebraic numbers. [8] [11] The self-similarities of a spiral centered on the origin form a discrete group generated by and . [11] A circle whose center is distance from the central point of the spiral has radius . [8]

Exact values of these parameters are known for a few simple cases. In other cases, they can be accurately approximated by a numerical search, and the results of this search can be used to determine numerical values for the sizes and positions of all of the circles. [5] [8]

Symmetry

Doyle spiral (6,8) under a Mobius transformation. The pattern of tangencies is preserved but the three outermost circles are not surrounded by their ring of tangent circles. Doyle spiral (6,8) under Mobius transformation.svg
Doyle spiral (6,8) under a Möbius transformation. The pattern of tangencies is preserved but the three outermost circles are not surrounded by their ring of tangent circles.

Doyle spirals have symmetries that combine scaling and rotation around the central point (or translation and rotation, in the case of the regular hexagonal packing of the plane by unit circles), taking any circle of the packing to any other circle. [6] Applying a Möbius transformation to a Doyle spiral preserves the shape and tangencies of its circles. Therefore, a Möbius transformation can produce additional patterns of non-crossing tangent circles, each tangent to six others. These patterns typically have a double-spiral pattern in which the connected sequences of circles spiral out of one center point (the image of the center of the Doyle spiral) and into another point (the image of the point at infinity). However, these do not meet all of the requirements of Doyle spirals: some circles in this pattern will not be surrounded by their six neighboring circles. [8] [12]

Examples and special cases

Coxeter's loxodromic sequence of tangent circles, a Doyle spiral of type (2,3) Coxeter circles.png
Coxeter's loxodromic sequence of tangent circles, a Doyle spiral of type (2,3)

The most general case of a Doyle spiral has three distinct radius multipliers, all different from 1, and three distinct arm counts, all nonzero. An example is Coxeter's loxodromic sequence of tangent circles, a Doyle spiral of type (2,3), with arm counts 1, 2, and 3, and with multipliers and for where denotes the golden ratio. Within the single spiral arm of tightest curvature, the circles in Coxeter's loxodromic sequence form a sequence whose radii are powers of . Every four consecutive circles in this sequence are tangent. [12]

When exactly one of the three arm counts is zero, the arms that it counts are circular, with radius multiplier 1. The number of circles in each of these circular arms equals the number of arms of each of the other two types. All the circular arms are concentric, centered where the spiral arms meet. [5] The multipliers for a Doyle spiral of type are and . [8] [lower-alpha 1] In the photo of a stained glass church window, the two rings of nine circles belong to a Doyle spiral of this form, of type (9,9).

Straight arms are produced for arm counts . In this case, the two spiraling arm types have the same radius multiplier, and are mirror reflections of each other. There are twice as many straight arms as there are spirals of either type. Each straight arm is formed by circles with centers that lie on a ray through the central point. [5] Because the number of straight arms must be even, the straight arms can be grouped into opposite pairs, with the two rays from each pair meeting to form a line. The multipliers for a Doyle spiral of type are and . [8] [lower-alpha 2] The Doyle spiral of type (8,16) from the Popular Science illustration is an example, with eight arms spiraling the same way as the shaded arm, another eight reflected arms, and sixteen rays.

Hexagonal packing of unit circles Circle packing (hexagonal).svg
Hexagonal packing of unit circles

A final special case is the Doyle spiral of type (0,0), a regular hexagonal packing of the plane by unit circles. Its radius multipliers are all one and its arms form parallel families of lines of three different slopes. [5]

Applications

The Doyle spirals form a discrete analogue of the exponential function, as part of the more general use of circle packings as discrete analogues of conformal maps. Indeed, patterns closely resembling Doyle spirals (but made of tangent shapes that are not circles) can be obtained by applying the exponential map to a scaled copy of the regular hexagonal circle packing. [5] The three ratios of radii between adjacent circles, fixed throughout the spiral, can be seen as analogous to a characterization of the exponential map as having fixed Schwarzian derivative. [6] Doyle spirals have been used to study Kleinian groups, discrete groups of symmetries of hyperbolic space, by embedding these spirals onto the sphere at infinity of hyperbolic space and lifting the symmetries of each spiral to symmetries of the space itself. [8]

Spirals of tangent circles, often with Fibonacci numbers of arms, have been used to model phyllotaxis, the spiral growth patterns characteristic of certain plant species, beginning with the work of Gerrit van Iterson in 1907. [4] In this context, an arm of the Doyle spiral is called a parastichy and the arm counts of the Doyle spiral are called parastichy numbers. When the two parastichy numbers and are Fibonacci numbers, and either consecutive or separated by only one Fibonacci number, then the third parastichy number will also be a Fibonacci number. [13] With this application in mind, Arnold Emch in 1910 calculated the positions of circles in Doyle spirals of type , noting in his work the connections between these spirals, logarithmic spirals, and the exponential function. [1] [3] For modeling plant growth in this way, spiral packings of tangent circles on surfaces other than the plane, including cylinders and cones, may also be used. [14]

Spiral packings of circles have also been studied as a decorative motif in architectural design. [7]

Non-Doyle spiral patterns obtained by placing unit circles at equal angular offsets on Fermat's spiral; the central image is the one with golden-ratio angular offsets Sunflower spiral.png
Non-Doyle spiral patterns obtained by placing unit circles at equal angular offsets on Fermat's spiral; the central image is the one with golden-ratio angular offsets

Tangent circles can form spiral patterns whose local structure resembles a square grid rather than a hexagonal grid, which can be continuously transformed into Doyle packings. [13] The space of locally-square spiral packings is infinite-dimensional, unlike Doyle spirals, which can be determined by a constant number of parameters. [15] It is also possible to describe spiraling systems of overlapping circles that cover the plane, rather than non-crossing circles that pack the plane, with each point of the plane covered by at most two circles except for points where three circles meet at angles, and with each circle surrounded by six others. These have many properties in common with the Doyle spirals. [16]

The Doyle spiral should not be confused with a different spiral pattern of circles, studied for certain forms of plant growth such as the seed heads of sunflowers. In this pattern, the circles are of unit size rather than growing logarithmically, and are not tangent. Instead of having centers on a logarithmic spiral, they are placed on Fermat's spiral, offset by the golden angle from each other relative to the center of the spiral, where is the golden ratio. [17] [18]

Notes

  1. Here for . [8]
  2. Here for and . [8]

Related Research Articles

<span class="mw-page-title-main">Logarithmic spiral</span> Self-similar growth curve

A logarithmic spiral, equiangular spiral, or growth spiral is a self-similar spiral curve that often appears in nature. The first to describe a logarithmic spiral was Albrecht Dürer (1525) who called it an "eternal line". More than a century later, the curve was discussed by Descartes (1638), and later extensively investigated by Jacob Bernoulli, who called it Spira mirabilis, "the marvelous spiral".

<span class="mw-page-title-main">Quadratic formula</span> Formula that provides the solutions to a quadratic equation

In elementary algebra, the quadratic formula is a closed-form expression describing the solutions of a quadratic equation. Other ways of solving quadratic equations, such as completing the square, yield the same solutions.

<span class="mw-page-title-main">Spiral</span> Curve that winds around a central point

In mathematics, a spiral is a curve which emanates from a point, moving farther away as it revolves around the point. It is a subtype of whorled patterns, a broad group that also includes concentric objects.

<span class="mw-page-title-main">Hyperbolic spiral</span> Spiral asymptotic to a line

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.

<span class="mw-page-title-main">Fermat's spiral</span> Spiral that surrounds equal area per turn

A Fermat's spiral or parabolic spiral is a plane curve with the property that the area between any two consecutive full turns around the spiral is invariant. As a result, the distance between turns grows in inverse proportion to their distance from the spiral center, contrasting with the Archimedean spiral and the logarithmic spiral. Fermat spirals are named after Pierre de Fermat.

<span class="mw-page-title-main">Golden spiral</span> Self-similar curve related to golden ratio

In geometry, a golden spiral is a logarithmic spiral whose growth factor is φ, the golden ratio. That is, a golden spiral gets wider by a factor of φ for every quarter turn it makes.

<span class="mw-page-title-main">Law of tangents</span> Relates tangents of two angles of a triangle and the lengths of the opposing sides

In trigonometry, the law of tangents or tangent rule is a statement about the relationship between the tangents of two angles of a triangle and the lengths of the opposing sides.

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

A continuous-time Markov chain (CTMC) is a continuous stochastic process in which, for each state, the process will change state according to an exponential random variable and then move to a different state as specified by the probabilities of a stochastic matrix. An equivalent formulation describes the process as changing state according to the least value of a set of exponential random variables, one for each possible state it can move to, with the parameters determined by the current state.

In rotordynamics, the rigid rotor is a mechanical model of rotating systems. An arbitrary rigid rotor is a 3-dimensional rigid object, such as a top. To orient such an object in space requires three angles, known as Euler angles. A special rigid rotor is the linear rotor requiring only two angles to describe, for example of a diatomic molecule. More general molecules are 3-dimensional, such as water, ammonia, or methane.

<span class="mw-page-title-main">Scale (map)</span> Ratio of distance on a map to the corresponding distance on the ground

The scale of a map is the ratio of a distance on the map to the corresponding distance on the ground. This simple concept is complicated by the curvature of the Earth's surface, which forces scale to vary across a map. Because of this variation, the concept of scale becomes meaningful in two distinct ways.

There are several equivalent ways for defining trigonometric functions, and the proofs of the trigonometric identities between them depend on the chosen definition. The oldest and most elementary definitions are based on the geometry of right triangles and the ratio between their sides. The proofs given in this article use these definitions, and thus apply to non-negative angles not greater than a right angle. For greater and negative angles, see Trigonometric functions.

A ratio distribution is a probability distribution constructed as the distribution of the ratio of random variables having two other known distributions. Given two random variables X and Y, the distribution of the random variable Z that is formed as the ratio Z = X/Y is a ratio distribution.

In mathematics and statistics, a circular mean or angular mean is a mean designed for angles and similar cyclic quantities, such as times of day, and fractional parts of real numbers.

<span class="mw-page-title-main">Law of cosines</span> Property of all triangles on a Euclidean plane

In trigonometry, the law of cosines relates the lengths of the sides of a triangle to the cosine of one of its angles. For a triangle with sides and opposite respective angles and , the law of cosines states:

<span class="mw-page-title-main">Mollweide's formula</span> Relation between sides and angles of a triangle

In trigonometry, Mollweide's formula is a pair of relationships between sides and angles in a triangle.

<span class="mw-page-title-main">Plate theory</span> Mathematical model of the stresses within flat plates under loading

In continuum mechanics, plate theories are mathematical descriptions of the mechanics of flat plates that draw on the theory of beams. Plates are defined as plane structural elements with a small thickness compared to the planar dimensions. The typical thickness to width ratio of a plate structure is less than 0.1. A plate theory takes advantage of this disparity in length scale to reduce the full three-dimensional solid mechanics problem to a two-dimensional problem. The aim of plate theory is to calculate the deformation and stresses in a plate subjected to loads.

<span class="mw-page-title-main">Law of cotangents</span> Trigonometric identity relating the sides and angles of a triangle

In trigonometry, the law of cotangents is a relationship among the lengths of the sides of a triangle and the cotangents of the halves of the three angles.

<span class="mw-page-title-main">Conical spiral</span> Plane spiral projected onto the surface of a cone

In mathematics, a conical spiral, also known as a conical helix, is a space curve on a right circular cone, whose floor projection is a plane spiral. If the floor projection is a logarithmic spiral, it is called conchospiral.

References

  1. 1 2 3 Emch, Arnold (November 1911), "Mathematics and engineering in nature", Popular Science Monthly , 79: 450–458
  2. 1 2 Doyle's description of the six radii of the ring of disks surrounding a central disk in these spirals appears not to have been published; it is cited as an "oral communication" by Carter, Ithiel; Rodin, Burt (1992), "An inverse problem for circle packing and conformal mapping", Transactions of the American Mathematical Society , 334 (2): 861–875, doi: 10.2307/2154486 , JSTOR   2154486, MR   1081937 , and described without citation as an observation of Doyle in Beardon, Dubejko & Stephenson (1994)
  3. 1 2 Emch, Arnold (1910), "Sur quelques exemples mathématiques dans les sciences naturelles.", L'Enseignement mathématique (in French), 12: 114–123
  4. 1 2 Jean, Roger V. (May 1983), "Introductory review: Mathematical modeling in phyllotaxis: the state of the art", Mathematical Biosciences , 64 (1): 1–27, doi:10.1016/0025-5564(83)90025-1
  5. 1 2 3 4 5 6 7 8 Beardon, Alan F.; Dubejko, Tomasz; Stephenson, Kenneth (1994), "Spiral hexagonal circle packings in the plane", Geometriae Dedicata , 49 (1): 39–70, doi:10.1007/BF01263534, MR   1261573, S2CID   122370986
  6. 1 2 3 4 5 Bobenko, Alexander I.; Hoffmann, Tim (2001), "Conformally symmetric circle packings: a generalization of Doyle's spirals", Experimental Mathematics , 10 (1): 141–150, doi:10.1080/10586458.2001.10504437, MR   1822860, S2CID   14578266
  7. 1 2 Fernández-Cabo, M. C. (June 2017), "Tangent circles on the plane using variable compass", Journal of Architectural Engineering, 23 (2): 04017001, doi:10.1061/(asce)ae.1943-5568.0000233
  8. 1 2 3 4 5 6 7 8 9 10 Wright, David J. (2006), "Searching for the cusp" (PDF), in Minsky, Yair; Sakuma, Makoto; Series, Caroline (eds.), Spaces of Kleinian Groups, London Mathematical Society Lecture Note Series, vol. 329, Cambridge University Press, pp. 301–336, MR   2258756
  9. Sutcliffe, Alan (2008), "Doyle spiral circle packings animated", in Sarhangi, Reza; Séquin, Carlo H. (eds.), Bridges Leeuwarden: Mathematics, Music, Art, Architecture, Culture, London: Tarquin Publications, pp. 131–138, ISBN   9780966520194
  10. Beardon, Dubejko & Stephenson (1994), Table I, p. 61
  11. 1 2 Stephenson, Kenneth (2005), Introduction to Circle Packing: The Theory of Discrete Analytic Functions, Cambridge: Cambridge University Press, p. 326, ISBN   978-0-521-82356-2, MR   2131318
  12. 1 2 Coxeter, H. S. M. (1968), "Loxodromic sequences of tangent spheres" , Aequationes Mathematicae , 1 (1–2): 104–121, doi:10.1007/BF01817563, MR   0235456, S2CID   119897862
  13. 1 2 Rothen, F.; Koch, A.-J. (1989), "Phyllotaxis or the properties of spiral lattices, II: Packing of circles along logarithmic spirals" , Journal de Physique , 50 (13): 1603–1621, doi:10.1051/jphys:0198900500130160300
  14. Erickson, R. O. (1983), "The geometry of phyllotaxis", in Dale, J. E.; Milthorpe, F. L. (eds.), The Growth and Functioning of Leaves: Proceedings of a Symposium Held Prior to the Thirteenth International Botanical Congress at the University of Sydney 18–20 August 1981, Cambridge University Press, pp. 53–88
  15. Schramm, Oded (1997), "Circle patterns with the combinatorics of the square grid", Duke Mathematical Journal , 86 (2): 347–389, doi:10.1215/S0012-7094-97-08611-7, MR   1430437
  16. Bobenko, Alexander I.; Hoffmann, Tim (2003), "Hexagonal circle patterns and integrable systems: patterns with constant angles", Duke Mathematical Journal, 116 (3): 525–566, arXiv: math/0109018 , doi:10.1215/S0012-7094-03-11635-X, MR   1958097, S2CID   22759
  17. Pickover, Clifford A. (July 1992), "On the aesthetics of inversion and osculation", The Visual Computer, 8 (4): 233–240, doi:10.1007/bf01900658, S2CID   13610388
  18. Vogel, Helmut (June 1979), "A better way to construct the sunflower head", Mathematical Biosciences, 44 (3–4): 179–189, doi:10.1016/0025-5564(79)90080-4

Further reading