De Rham curve

Consider some complete metric space $(M,d)$ (generally $\backslash mathbb\{R\}$² with the usual euclidean distance), and a pair of contracting maps on M:

:$d\_0:\backslash \; M\; \backslash to\; M$

:$d\_1:\backslash \; M\; \backslash to\; M.$

By the Banach fixed-point theorem, these have fixed points $p\_0$ and $p\_1$ respectively. Let x be a real number in the interval $[0,1]$, having binary expansion

:$x\; =\; \backslash sum\_\{k=1\}^\backslash infty\; \backslash frac\{b\_k\}\{2^k\},$

where each $b\_k$ is 0 or 1. Consider the map

:$c\_x:\backslash \; M\; \backslash to\; M$

defined by

:$c\_x\; =\; d\_\{b\_1\}\; \backslash circ\; d\_\{b\_2\}\; \backslash circ\; \backslash cdots\; \backslash circ\; d\_\{b\_k\}\; \backslash circ\; \backslash cdots,$

where $\backslash circ$ denotes function composition. It can be shown that each $c\_x$ will map the common basin of attraction of $d\_0$ and $d\_1$ to a single point $p\_x$ in $M$. The collection of points $p\_x$, parameterized by a single real parameter x, is known as the de Rham curve.

The construction in terms of binary digits can be understood in two distinct ways. One way is as a mapping of Cantor space to distinct points in the plane. Cantor space is the set of all infinitely-long strings of binary digits. It is a discrete space, and is disconnected. Cantor space can be mapped onto the unit real interval by treating each string as a binary expansion of a real number. In this map, the dyadic rationals have two distinct representations as strings of binary digits. For example, the real number one-half has two equivalent binary expansions: $h\_1=0.1000\backslash cdots$ and $h\_0=0.01111\backslash cdots$ This is analogous to how one has 0.999...=1.000... in decimal expansions. The two points $h\_0$ and $h\_1$ are distinct points in Cantor space, but both are mapped to the real number one-half. In this way, the reals of the unit interval are a continuous image of Cantor space.

The same notion of continuity is applied to the de Rham curve by asking that the fixed points be paired, so that

:$d\_0(p\_1)\; =\; d\_1(p\_0)$

With this pairing, the binary expansions of the dyadic rationals always map to the same point, thus ensuring continuity at that point. Consider the behavior at one-half. For any point p in the plane, one has two distinct sequences:

:$d\_0\; \backslash circ\; d\_1\; \backslash circ\; d\_1\; \backslash circ\; d\_1\; \backslash circ\; \backslash cdots\; (p)$

and

:$d\_1\; \backslash circ\; d\_0\; \backslash circ\; d\_0\; \backslash circ\; d\_0\; \backslash circ\; \backslash cdots\; (p)$

corresponding to the two binary expansions $1/2=0.01111\backslash cdots$ and $1/2=0.1000\backslash cdots$. Since the two maps are both contracting, the first sequence converges to $d\_0(p\_1)$ and the second to $d\_1(p\_0)$. If these two are equal, then both binary expansions of 1/2 map to the same point. This argument can be repeated at any dyadic rational, thus ensuring continuity at those points. Real numbers that are not dyadic rationals have only one, unique binary representation, and from this it follows that the curve cannot be discontinuous at such points. The resulting de Rham curve $p\_x$ is a continuous function of x, at all x.

In general, the de Rham curves are not differentiable.

De Rham curves are by construction self-similar, since

:$p(x)=d\_0(p(2x))$ for $x\; \backslash in\; [0,\; 1/2]$ and

:$p(x)=d\_1(p(2x-1))$ for $x\; \backslash in\; [1/2,\; 1].$

The self-symmetries of all of the de Rham curves are given by the monoid that describes the symmetries of the infinite binary tree or Cantor space. This so-called period-doubling monoid is a subset of the modular group.

The image of the curve, i.e. the set of points $\backslash \{p(x),\; x\; \backslash in\; [0,1]\backslash \}$, can be obtained by an Iterated function system using the set of contraction mappings $\backslash \{d\_0,\backslash \; d\_1\backslash \}$. But the result of an iterated function system with two contraction mappings is a de Rham curve if and only if the contraction mappings satisfy the continuity condition.

Detailed, worked examples of the self-similarities can be found in the articles on the Cantor function and on Minkowski's question-mark function. Precisely the same monoid of self-similarities, the dyadic monoid, apply to every de Rham curve.

The following systems generate continuous curves.

Image:Cesaro-0.3.png

Image:Cesaro-0.5.png.]]

Cesàro curves, also known as Cesàro–Faber curves or Lévy C curves, are De Rham curves generated by affine transformations conserving orientation, with fixed points $p\_0=0$ and $p\_1=1$.

Because of these constraints, Cesàro curves are uniquely determined by a complex number $a$ such that and .

The contraction mappings $d\_0$ and $d\_1$ are then defined as complex functions in the complex plane by:

:$d\_0(z)\; =\; az$

:$d\_1(z)\; =\; a\; +\; (1-a)z.$

For the value of $a=(1+i)/2$, the resulting curve is the Lévy C curve.

Image:Koch-Peano-0.37.png.]]

Image:Koch-Peano-0.45.png

In a similar way, we can define the Koch–Peano family of curves as the set of De Rham curves generated by affine transformations reversing orientation, with fixed points $p\_0=0$ and $p\_1=1$.

These mappings are expressed in the complex plane as a function of $\backslash overline\{z\}$, the complex conjugate of $z$:

:$d\_0(z)\; =\; a\backslash overline\{z\}$

:$d\_1(z)\; =\; a\; +\; (1-a)\backslash overline\{z\}.$

The name of the family comes from its two most famous members. The Koch curve is obtained by setting:

:$a\_\backslash text\{Koch\}=\backslash frac\{1\}\{2\}\; +\; i\backslash frac\{\backslash sqrt\{3\}\}\{6\},$

while the Peano curve corresponds to:

:$a\_\backslash text\{Peano\}=\backslash frac\{(1+i)\}\{2\}.$

The de Rham curve for $a=(1+ib)/2$ for values of $b$ just less than one visually resembles the Osgood curve. These two curves are closely related, but are not the same. The Osgood curve is obtained by repeated set subtraction, and thus is a perfect set, much like the Cantor set itself. The construction of the Osgood set asks that progressively smaller triangles to be subtracted, leaving behind a "fat" set of non-zero measure; the construction is analogous to the fat Cantor set, which has a non-zero measure. By contrast, the de Rham curve is not "fat"; the construction does not offer a way to "fatten up" the "line segments" that run "in between" the dyadic rationals.

Image:Curve_0.33_-0.38_-0.18_-0.42.png

Image:Curve_-0.10_-0.80_-0.30_-0.60.png

Image:Curve_0.00_0.60_0.18_0.60.png

Image:Curve_-0.35_0.00_-0.35_0.00.png

The Cesàro–Faber and Peano–Koch curves are both special cases of the general case of a pair of affine linear transformations on the complex plane. By fixing one endpoint of the curve at 0 and the other at 1, the general case is obtained by iterating on the two transforms

:$d\_0=\backslash begin\{pmatrix\}$

1 & 0 & 0 \\

0 & \alpha &\delta \\

0 & \beta & \varepsilon

\end{pmatrix}

and

:$d\_1=\backslash begin\{pmatrix\}$

1&0&0 \\

\alpha & 1-\alpha&\zeta \\

\beta&-\beta&\eta

\end{pmatrix}.

Being affine transforms, these transforms act on a point $(u,v)$ of the 2-D plane by acting on the vector

:$\backslash begin\{pmatrix\}$

1 \\

u \\

v \end{pmatrix}.

The midpoint of the curve can be seen to be located at $(u,v)=(\backslash alpha,\backslash beta)$; the other four parameters may be varied to create a large variety of curves.

The blancmange curve of parameter $w$ can be obtained by setting $\backslash alpha=\backslash beta=1/2$, $\backslash delta=\backslash zeta=0$ and $\backslash varepsilon=\backslash eta=w$. That is:

:$d\_0=\backslash begin\{pmatrix\}$

1&0&0 \\

0 & 1/2&0 \\

0&1/2&w

\end{pmatrix}

and

:$d\_1=\backslash begin\{pmatrix\}$

1&0&0 \\

1/2 & 1/2&0 \\

1/2&-1/2&w

\end{pmatrix}.

Since the blancmange curve for parameter $w=1/4$ is a parabola of the equation $f(x)=4x(1-x)$, this illustrates the fact that on some occasions, de Rham curves can be smooth.

Minkowski's question mark function is generated by the pair of maps

:$d\_0(z)\; =\; \backslash frac\{z\}\{z+1\}$

and

:$d\_1(z)=\; \backslash frac\{1\}\{2-z\}.$

Given any two functions $d\_0$ and $d\_1$, one can define a mapping from Cantor space, by repeated iteration of the digits, exactly the same way as for the de Rham curves. In general, the result will not be a de Rham curve, when the terms of the continuity condition are not met. Thus, there are many sets that might be in one-to-one correspondence with Cantor space, whose points can be uniquely labelled by points in the Cantor space; however, these are not de Rham curves, when the dyadic rationals do not map to the same point.

The Mandelbrot set is generated by a period-doubling iterated equation $z\_\{n+1\}=z\_n^2+c.$ The corresponding Julia set is obtained by iterating the opposite direction. This is done by writing $z\_n=\backslash pm\backslash sqrt\{z\_\{n+1\}-c\}$, which gives two distinct roots that the forward iterate $z\_\{n+1\}$ "came from". These two roots can be distinguished as

:$d\_0(z)\; =\; +\backslash sqrt\{z-c\}$

and

:$d\_1(z)=\; -\backslash sqrt\{z-c\}\; .$

Fixing the complex number $c$, the result is the Julia set for that value of $c$. This curve is continuous when $c$ is inside the Mandelbrot set; otherwise, it is a disconnected dust of points. However, the reason for continuity is not due to the de Rham condition, as, in general, the points corresponding to the dyadic rationals are far away from one-another. In fact, this property can be used to define a notion of "polar opposites", of conjugate points in the Julia set.

It is easy to generalize the definition by using more than two contraction mappings. If one uses n mappings, then the n-ary decomposition of x has to be used instead of the binary expansion of real numbers. The continuity condition has to be generalized in:

:$d\_i(p\_\{n-1\})=d\_\{i+1\}(p\_0)$, for $i=0\; \backslash ldots\; n-2.$

This continuity condition can be understood with the following example. Suppose one is working in base-10. Then one has (famously) that 0.999...= 1.000... which is a continuity equation that must be enforced at every such gap. That is, given the decimal digits $b\_1,b\_2,\backslash cdots,b\_k$ with $b\_k\backslash ne\; 9$, one has

:$b\_1,b\_2,\backslash cdots,b\_k,9,9,9,\backslash cdots\; =\; b\_1,b\_2,\backslash cdots,b\_k+1,0,0,0,\backslash cdots$

Such a generalization allows, for example, to produce the Sierpiński arrowhead curve (whose image is the Sierpiński triangle), by using the contraction mappings of an iterated function system that produces the Sierpiński triangle.

Ornstein and others describe a multifractal system, where instead of working in a fixed base, one works in a variable base.

Consider the product space of variable base-$m\_n$ discrete spaces

:$\backslash Omega=\backslash prod\_\{n\backslash in\backslash mathbb\{N\}\}A\_\{n\}$

for $A\_n=\backslash mathbb\{Z\}/m\_n\backslash mathbb\{Z\}=\backslash \{\; 0,1,\backslash cdots,m\_n-1\backslash \}$ the cyclic group, for $m\_n\backslash ge2$ an integer. Any real number in the unit interval can be expanded in a sequence $(a\_1,a\_2,a\_3,\backslash cdots)$ such that each $a\_n\backslash in\; A\_n$. More precisely, a real number $0\backslash le\; x\backslash le\; 1$ is written as

:$x=\backslash sum\_\{n=1\}^\backslash infty\; \backslash frac\{a\_n\}\{\backslash prod\_\{k=1\}^n\; m\_k\}$

This expansion is not unique, if all $a\_n=0$ past some point

:$a\_1,a\_2,\backslash cdots,a\_K,0,0,\backslash cdots\; =\; a\_1,a\_2,\backslash cdots,a\_K-1,m\_\{K+1\}-1,\; m\_\{K+2\}-1,\backslash cdots$

Such points are analogous to the dyadic rationals in the dyadic expansion, and the continuity equations on the curve must be applied at these points.

For each $A\_n$, one must specify two things: a set of two points $p\_0^\{(n)\}$ and $p\_1^\{(n)\}$ and a set of $m\_n$ functions $d\_j^\{(n)\}(z)$ (with $j\backslash in\; A\_n$). The continuity condition is then as above,

:$d\_j^\{(n)\}(p^\{(n+1)\}\_1)=d\_\{j+1\}^\{(n)\}(p^\{(n+1)\}\_0)$, for $j=0,\; \backslash cdots\; ,m\_n-2.$

Ornstein's original example used

:$\backslash Omega=\backslash left(\backslash mathbb\{Z\}/2\backslash mathbb\{Z\}\backslash right)\backslash times\; \backslash left(\backslash mathbb\{Z\}/3\backslash mathbb\{Z\}\backslash right)\backslash times\; \backslash left(\backslash mathbb\{Z\}/4\backslash mathbb\{Z\}\backslash right)\backslash times\; \backslash cdots$

• Iterated function system
• Refinable function
• Modular group
• Fuchsian group

{{reflist}}

• Georges de Rham, On Some Curves Defined by Functional Equations (1957), reprinted in Classics on Fractals, ed. Gerald A. Edgar (Addison-Wesley, 1993), pp. 285–298.
• Linas Vepstas, [http://linas.org/math/de_Rham.pdf A Gallery of de Rham curves], (2006).
• Linas Vepstas, [http://linas.org/math/chap-takagi.pdf Symmetries of Period-Doubling Maps], (2006). (A general exploration of the modular group symmetry in fractal curves.)

{{Fractals}}