Fractal Curves Generated by the Sum-of-Digits Function
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Fractal-like curves are generated by the sum-of-digit function for a given base with two additional parameters and . In some special cases, these curves reduce to known fractals; for example, when and , the curve is a scaled version of the famous Koch curve. For general parameters and , the curves can take on a remarkable and largely unpredictable variety of shapes, from distinctive geometric shapes to fractal-like patterns to random clouds exhibiting no apparent pattern.
Contributed by: Adithya Swaminathan, Dimitrios Tambakos and A. J. Hildebrand (June 2021)
(Based on an undergraduate research project at the Illinois Geometry Lab in Spring 2021)
Open content licensed under CC BY-NC-SA
Snapshots
Details
Let be the base- representation of . The the sum-of-digits function of in base is defined to be .
The curves shown in this Demonstration are constructed as follows. Fix an integer and two parameters and , and let
.
Let be the polygonal curve that starts at the origin and whose steps are unit vectors in the direction of the angles , . Thus, is the infinite curve obtained by connecting the partial sums
, ,
interpreted as points in the complex plane (with the empty sum interpreted as ).
There are several special cases that are of particular interest:
• When and , the curve is a scaled version of the Koch curve [1]. The point at step is , where is the Thue–Morse sequence, defined by if the sum of binary digits of is even, and otherwise.
• When , is an integer and is congruent to or modulo , the curve is periodic and represents a finite polygonal curve that can be explicitly described [2].
• When , the angles reduce to and so do not depend on the sum-of-digit function. The resulting curves are known as curlicue fractals [3].
• When and are integers, the curve encodes the behavior of the sum-of-digit function , with restricted to an arithmetic progression modulo , in residue classes modulo [1, 4].
• For general parameters and , the behavior of is more mysterious, and very little is known of such cases.
References
[1] J.-P. Allouche and G. Skordev, "Von Koch and Thue–Morse Revisited," Fractals, 15(4), 2007 pp. 405–409. doi:10.1142/S0218348X07003630.
[2] D. H. Lehmer and E. Lehmer, "Picturesque Exponential Sums, I," The American Mathematical Monthly, 86(9), 1979 pp. 725–733. doi:10.1080/00029890.1979.11994899.
[3] F. M. Dekking and M. Mendès France, "Uniform Distribution Modulo One: A Geometrical Viewpoint," Journal für die reine und angewandte Mathematik, 1981(329), 1981 pp. 143–153. doi:10.1515/crll.1981.329.143.
[4] F. M. Dekking, "On the Distribution of Digits in Arithmetic Sequences," Séminaire de théorie des nombres de Bordeaux (1982–1983), Bordeaux: Société Arithmétique de Bordeaux, 1982 pp. 1–12. www.jstor.org/stable/44166422.
Permanent Citation