Research Article | Open Access
Guangjun Yang, Xiaoling Yang, Ping Wang, "Arithmetic-Analytic Representation of Peano Curve", International Journal of Mathematics and Mathematical Sciences, vol. 2019, Article ID 6745202, 7 pages, 2019. https://doi.org/10.1155/2019/6745202
Arithmetic-Analytic Representation of Peano Curve
In this work, we obtained a nonmatrix analytic expression for the generator of the Peano curve. Applying the iteration method of fractal, we established a simple arithmetic-analytic representation of the Peano curve as a function of ternary numbers. We proved that the curve passes each point in a unit square and that the coordinate functions satisfy a Hölder inequality with index , which implies that the curve is everywhere continuous and nowhere differentiable.
Space-filing curves, such as the Peano curves, are geometrically interesting curves and have important applications, particularly in parallel computing. Bagga et al.  developed a matrix multiplication utilizing the Peano curves in designing a cache oblivious algorithm. Platos et al.  created a model of signal coverage based on optimized representation by space-filling curves to reduce memory consuming in computation. Sasidharan and Snir  showed how to reduce communication and improve the quality of partitions using a space-filling curve. Much more applications of space-filing curves can be found in Bader’s book titled Space-Filling Curves: An Introduction with Applications in Scientific Computing .
Peano in 1890  geometrically constructed a continuous curve, later called the Peano curve, that fills the unit square . The idea of the construction is to divide each square into 9 smaller equal squares continuously and to determine a path, or curve, so it goes through each square. The limit of this path is the Peano curve. Many different such paths can be designed as shown in Figures 1–3.
The most discussed is the one shown in Figure 4.
More discussions of constructions of such curves can be found in Sagan  and Jaffard and Nicolay [9, 10]. Recently, Makarov and Podkorytov  constructed a nonsymmetric plane Peano curves whose coordinate functions satisfy the Lipschitz conditions. However, there has not been any analytic expression of the Peano curve with which we can study them analytically and more thoroughly.
The goal of this work is to use fractal iteration method to establish an analytic expression of the iterated function system (IFS), then a series representation of the Peano curve; thus, we are able to discuss various properties of the curve. Specifically, we will prove the coordinate functions of the curve satisfy a Hölder inequality with index , which shows that the Peano curve is everywhere continuous and nowhere differentiable. We will also show the analytically constructed curve passes each point in a unit square.
2. Peano Curve Generated by Iteration
Sagan (cf. ) studied the Peano curve with an IFS expressed in matrix form. Matrix multiplication makes it very complicated to work with the IFS. In this section, we will obtain the IFS for the Peano curve in an analytic (series) form, which allows us not only to obtain more convenient coordinate functions for the curve but also to prove the nondifferentiability of the functions.
Divide into 9 equal subintervals, each of which is divided into 9 equal subintervals. We have, k-steps later, subintervals , each with length . Similarly keep dividing into 9 smaller equal squares, k-steps later, we have squares each with side length . The problem is to find for mapping to .
The initiator of the Peano curve is a diagonal of a unit square and can be obtained by stretching line segment times and rotating counterclockwise, represented in complex coordinate system by
The generator of the Peano curve can be expressed aswhich represent the nine diagonals in Figure 4 as functions of . Divide into nine equal sections:
Denote . Separating the real and imaginary parts in (5), we have
Continuing this process, withwe obtain
Since , , sending , we arrive at the series expression of the Peano curve:
Both series in (14) converge because .
3. Properties of the Peano Curve
in (14) are functions of with
Theorem 3.1. Curve (14) fills a unit square up.
Proof. Let us first check the expression of :Denoting or ,We havethat is,Similarly,Therefore,Because the arbitrarity of ,fills the square up.
Theorem 3.2. Curve (14) is everywhere continuous and nowhere differentiable.
Proof. We will first show forwhich means x and y satisfy the Hölder inequality with index .
In fact, from (15), i.e.,Thus,Similarly,Inequalities (24) and (25) imply that and are continuous everywhere.
Next, we prove that and are nowhere differentiable.
TakeThen,Therefore,For any and any positive integer l, there exists , such thatIf , it follows from (31) thatIf , then eithermust hold. Otherwise, we would have bothwhich implycontradicting the triangle inequality. Therefore, we can always take or , such that andTherefore,which shows is not differentiable.
Similarly, we can also show that is not differentiable.
Theorems 3.1 and 3.2 imply that the Peano curve is a continuous curve that fills a unit square and it is nowhere differentiable.
The iteration data used to support the findings of this study are included within the article.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
- S. Bagga, A. Girdhar, M. C. Trivedi, and Y. Z. Yang, “RMI approach to cluster based cache oblivious peano curves,” in Proccedings of the Second International Conference on Computational Intelligence & Communication Technology (CICT), IEEE Xplore, Ghaziabad, India, February 2016.
- J. Platos, P. Kromer, and V. Snasel, “Efficient area association using space filling curves,” in Proceedings of the International Conference on Intelligent Networking and Collaborative Systems, IEEE Xplore, Taipei, Taiwan, September 2015.
- A. Sasidharan and M. Snir, “Space-filling curves for partitioning adaptively refined meshes,” Mathematics and Computer Science, 2015.
- M. Bader, Space-Filling Curves: An Introduction with Applications in Scientific Computing, Springer-Verlag, Berlin, Germany, 2013.
- G. Peano, “Sur une courbe, qui remplit toute une aire plane,” Mathematische Annalen, vol. 36, no. 1, pp. 157–160, 1890.
- E. H. Moore, “On certain crinkly curves,” Transactions of the American Mathematical Society, vol. 1, no. 1, pp. 72–90, 1900.
- S. C. Milne, “Peano curves and smoothness of functions,” Advances in Mathematics, vol. 35, no. 2, pp. 129–157, 1980.
- H. Sagan, Space-Filling Curve, Springer-Verlag, Berlin, Germany, 1994.
- S. Jaffard and S. Nicolay, “Pointwise smoothness of space-filling functions,” Applied and Computational Harmonic Analysis, vol. 26, no. 2, pp. 181–199, 2009.
- S. Jaffard and S. Nicolay, “Recent developments in fractals and related fields,” in Space-Filling Function and Daveport Series, Springer-Verlay, Berlin, Germany, 2010.
- B. M. Makarov and A. N. Podkorytov, “On the coordinate functions of peano curves,” St. Petersburg Mathematical Journal, vol. 28, no. 1, pp. 115–125, 2017.
Copyright © 2019 Guangjun Yang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.