In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Lévy C curve is a
self-similar fractal curve
A fractal curve is, loosely, a mathematical curve (mathematics), curve whose shape retains the same general pattern of Pathological (mathematics), irregularity, regardless of how high it is magnified, that is, its graph takes the form of a fract ...
that was first described and whose
differentiability
In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non- vertical tangent line at each interior point in ...
properties were analysed by
Ernesto Cesàro
Ernesto Cesàro (12 March 1859 – 12 September 1906) was an Italian mathematician who worked in the field of differential geometry. He wrote a book, ''Lezioni di geometria intrinseca'' (Naples, 1890), on this topic, in which he also describes ...
in 1906 and
Georg Faber
Georg Faber (5 April 1877 – 7 March 1966) was a German mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numb ...
in 1910, but now bears the name of
French mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
Paul Lévy, who was the first to describe its
self-similarity
In mathematics, a self-similar object is exactly or approximately similar to a part of itself (i.e., the whole has the same shape as one or more of the parts). Many objects in the real world, such as coastlines, are statistically self-similar ...
properties as well as to provide a geometrical construction showing it as a representative curve in the same class as the
Koch curve. It is a special case of a period-doubling curve, a
de Rham curve
In mathematics, a de Rham curve is a continuous fractal curve obtained as the image of the Cantor space, or, equivalently, from the base-two expansion of the real numbers in the unit interval. Many well-known fractal curves, including the Cantor ...
.
L-system construction
If using a
Lindenmayer system
An L-system or Lindenmayer system is a parallel rewriting system and a type of formal grammar. An L-system consists of an alphabet of symbols that can be used to make strings, a collection of production rules that expand each symbol into some ...
then the construction of the C curve starts with a straight line. An
isosceles
In geometry, an isosceles triangle () is a triangle that has two sides of equal length and two angles of equal measure. Sometimes it is specified as having ''exactly'' two sides of equal length, and sometimes as having ''at least'' two sides ...
triangle with angles of 45°, 90° and 45° is built using this line as its
hypotenuse
In geometry, a hypotenuse is the side of a right triangle opposite to the right angle. It is the longest side of any such triangle; the two other shorter sides of such a triangle are called '' catheti'' or ''legs''. Every rectangle can be divided ...
. The original line is then replaced by the other two sides of this triangle.
At the second stage, the two new lines each form the base for another right-angled isosceles triangle, and are replaced by the other two sides of their respective triangle. So, after two stages, the curve takes the appearance of three sides of a rectangle with the same length as the original line, but only half as wide.
At each subsequent stage, each straight line segment in the curve is replaced by the other two sides of a right-angled isosceles triangle built on it. After ''n'' stages the curve consists of 2
''n'' line segments, each of which is smaller than the original line by a factor of 2
''n''/2.
This L-system can be described as follows:
where "" means "draw forward", "+" means "turn clockwise 45°", and "−" means "turn anticlockwise 45°".
The
fractal curve
A fractal curve is, loosely, a mathematical curve (mathematics), curve whose shape retains the same general pattern of Pathological (mathematics), irregularity, regardless of how high it is magnified, that is, its graph takes the form of a fract ...
that is the limit of this "infinite" process is the Lévy C curve. It takes its name from its resemblance to a highly ornamented version of the letter "C". The curve resembles the finer details of the
Pythagoras tree.
The
Hausdorff dimension
In mathematics, Hausdorff dimension is a measure of ''roughness'', or more specifically, fractal dimension, that was introduced in 1918 by mathematician Felix Hausdorff. For instance, the Hausdorff dimension of a single point is zero, of a line ...
of the C curve equals 2 (it contains open sets), whereas the boundary has dimension about 1.934
Variations
The standard C curve is built using 45° isosceles triangles. Variations of the C curve can be constructed by using isosceles triangles with angles other than 45°. As long as the angle is less than 60°, the new lines introduced at each stage are each shorter than the lines that they replace, so the construction process tends towards a limit curve. Angles less than 45° produce a fractal that is less tightly "curled".
IFS construction
If using an
iterated function system
In mathematics, iterated function systems (IFSs) are a method of constructing fractals; the resulting fractals are often self-similar. IFS fractals are more related to set theory than fractal geometry. They were introduced in 1981.
IFS fractals ...
(IFS, or the
chaos game IFS-method actually), then the construction of the C curve is a bit easier. It will need a set of two "rules" which are: Two
points in a
plane (the
translators
Translation is the communication of the meaning of a source-language text by means of an equivalent target-language text. The English language draws a terminological distinction (which does not exist in every language) between ''transl ...
), each associated with a
scale factor of 1/. The first rule is a rotation of 45° and the second −45°. This set will
iterate
Iteration is the repetition of a process in order to generate a (possibly unbounded) sequence of outcomes. Each repetition of the process is a single iteration, and the outcome of each iteration is then the starting point of the next iteration.
...
a point
'x'', ''y''from randomly choosing any of the two rules and use the parameters associated with the rule to scale/rotate and translate the point using a 2D-
transform function.
Put into formulae:
:
:
from the initial set of points
.
Sample Implementation of Levy C Curve
// Java Sample Implementation of Levy C Curve
import java.awt.Color;
import java.awt.Graphics;
import java.awt.Graphics2D;
import javax.swing.JFrame;
import javax.swing.JPanel;
import java.util.concurrent.ThreadLocalRandom;
public class C_curve extends JPanel
See also
*
Dragon curve
*
Pythagoras tree (fractal)
References
* Paul Lévy, ''Plane or Space Curves and Surfaces Consisting of Parts Similar to the Whole'' (1938), reprinted in ''Classics on Fractals'' Gerald A. Edgar ed. (1993) Addison-Wesley Publishing .
* E. Cesaro, ''Fonctions continues sans dérivée'', Archiv der Math. und Phys. 10 (1906) pp 57–63.
* G. Faber, ''Über stetige Funktionen II'', Math Annalen, 69 (1910) pp 372–443.
* S. Bailey, T. Kim, R. S. Strichartz, ''Inside the Lévy dragon'', ''
American Mathematical Monthly
''The American Mathematical Monthly'' is a peer-reviewed scientific journal of mathematics. It was established by Benjamin Finkel in 1894 and is published by Taylor & Francis on behalf of the Mathematical Association of America. It is an exposi ...
'' 109(8) (2002) pp 689–703
{{DEFAULTSORT:Levy C Curve
De Rham curves