Agnes Scott College
Larry Riddle, Agnes Scott College

KochCurve53

koch2
Helge von Koch

Koch Curve

"It is this similarity between the whole and its parts, even infintesimal ones, that makes us consider this curve of von Koch as a line truly marvelous among all. If it were gifted with life, it would not be possible to destroy it without anihilating it whole, for it would be continually reborn from the depths of its triangles, just as life in the universe is."

E. Cesaro, Atti d. R. Accademia d. Scienze d. Napoli, 2, XII, number 15. [Excerpt from an article by Paul Lévy, reprinted in Edgar's text Classics on Fractals.]


Description

 
 


Construction
Animation
Begin with a straight line (the blue segment in the top figure). Divide it into three equal segments and replace the middle segment by the two sides of an equilateral triangle of the same length as the segment being removed (the two red segments in the middle figure). Now repeat, taking each of the four resulting segments, dividing them into three equal parts and replacing each of the middle segments by two sides of an equilateral triangle (the red segments in the bottom figure). Continue this construction.

construction

The Koch curve is the limiting curve obtained by applying this construction an infinite number of times. For a proof that this construction does produce a "limit" that is an actual curve, i.e. the continuous image of the unit interval, see the text [4] by Edgar.

Iterated
Function
System

IFSdetails

 
 


IFS
Animation
The first iteration for the Koch curve consists of taking four copies of the unit horizontal line segment, each scaled by r = 1/3. Two segments must be rotated by 60°, one counterclockwise and one clockwise. Along with the required translations, this yields the following IFS.
 
\({f_1}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} 1/3 & 0 \\ 0 & 1/3 \\ \end{array}} \right]{\bf{x}}\)
 
   scale by r
\({f_2}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} {1/6} & { - \sqrt 3 /6} \\ {\sqrt 3 /6} & {1/6} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/3} \\ 0 \\ \end{array}} \right]\)
 
   scale by r, rotate by 60°
\({f_3}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} {1/6} & { \sqrt 3 /6} \\ {- \sqrt 3 /6} & {1/6} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/2} \\ \sqrt 3 / 6 \\ \end{array}} \right]\)
 
   scale by r, rotate by −60°
\({f_4}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} 1/3 & 0 \\ 0 & 1/3 \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {2/3} \\ 0 \\ \end{array}} \right]\)
 
   scale by r

The fixed attractor of this IFS is the Koch curve.

IFSimage

L-System

Angle 60
Axiom F
F —> F+F−−F+F

Similarity
Dimension

The Koch curve is self-similar with 4 non-overlapping copies of itself, each scaled by the factor r < 1. Therefore the similarity dimension, d, of the attractor of the IFS is the solution to

\[\sum\limits_{k = 1}^4 {{r^d}} = 1 \quad \Rightarrow \quad d = \frac{{\log (1/4)}}{{\log (1/3 )}} = \frac{{\log (4)}}{{\log (3 )}} = 1.26186 \]

Special
Properties

Koch constructed his curve in 1904 as an example of a non-differentiable curve, that is, a continuous curve that does not have a tangent at any of its points. Karl Weierstrass had first demonstrated the existence of such a curve in 1872. The article by Sime Ungar provides a simple geometric proof.

The length of the intermediate curve at the nth iteration of the construction is (4/3)n, where n = 0 denotes the original straight line segment. Therefore the length of the Koch curve is infinite. Moreover, the length of the curve between any two points on the curve is also infinite since there is a copy of the Koch curve between any two points.

Three copies of the Koch curve placed outward around the three sides of an equilateral triangle form a simple closed curve that forms the boundary of the Koch snowflake. Three copes of the Koch curve placed so that they point inside the equilateral triangle create a simple closed curve that forms the boundary of the Koch anti-snowflake.

snowflake2 antisnowflake

Variations

In the construction of the Koch curve, one can vary the size of the deleted section and one can also replace the equilateral triangle with a regular polygon with more sides. The construction of the (n,c)-Koch curve is described in the paper by Keleti and Paquette. Start with a closed line segment of length L and a positive number c less than 1. Replace the middle cL portion of the segment with the sides of a regular n-gon whose own sides are length cL.This results in n+1 new line segments. Apply the process recursively to each of these line segments, always gluing the regular n-gons outwards. The limit of this iterative process is the (n,c)-Koch curve. Three examples are given below. The paper by Keleti and Paquette investigates when the curve is self-intersecting or self-avoiding. A similar type of construction was described in the book by Gilbert Helmberg.
(4,1/3)-Koch curve
(4, 1/3)-Koch curve
(5,0.4)-Koch curve
(5, 0.4)-Koch curve
(6, 0.14)-Koch curve
(6, 0.14)-Koch curve

Variations

For a second variation, let K = {f1, f2, f3, f4} be the four functions in the Koch IFS. Let G be either the cyclic symmetry group Zn or the dihedral symmetry group Dn for n ≥ 2. The group Zn consists of counterclockwise rotations through angles that are multiples of 360°/n. The group Dn consists of symmetries of a regular polygon with n sides, including both the same rotations as in Zn and also reflections. The one exception is D2 since there is no regular polygon with 2 sides. This group D2 is also known as the Klein four-group.

We can form a new IFS by applying each of the symmetries in G to each of the functions in K, i.e. form the set of affine transformations GK = { gf : g in G and f in K}. For example, if G = Z3, then the three elements of G are the identity (no rotation), r120, a counterclockwise rotation through 120°, and r240, a counterclockwise rotation through 240°. The new IFS would then consist of the 12 functions {fk, r120fk, r240fk for k = 1,2,3,4}. The first iteration would look like the following (using a horizontal line as the initial set as in the construction of the regular Koch curve).

Z3design

This IFS again has a unique attractor, shown below, since each of the 12 affine transformations is contractive.

KochZ3

Notice that the self-similar parts of this fractal overlap, but that overall the fractal has three-fold rotational symmetry. If we rotate the fractal by 120°, then we are really just applying r120 to each of the 12 functions in the IFS. But this just permutes the elements of the IFS. For example, r120r120fk is just the same as r240fk since two rotations through 120° is the same as one rotation through 240°. So if A is the attractor for the IFS, then \[A = \bigcup\limits_{k = 1}^4 {\left( {{f_k}(A)\cup {{r_{120}}{f_k}(A)\cup {{r_{240}}{f_k}(A)} } } \right)} \] and rotating A by 120° yields \[\begin{align} {r_{120}}(A) &= {r_{120}}\left( {\bigcup\limits_{k = 1}^4 {\left( {{f_k}(A)\cup {{r_{120}}{f_k}(A)\cup {{r_{240}}{f_k}(A)} } } \right)} } \right) \\ &= \bigcup\limits_{k = 1}^4 {\left( {{r_{120}}{f_k}(A)\cup {{r_{240}}{f_k}(A)\cup {{f_k}(A)} } } \right)} = A \\ \end{align}\]

The four elements of the group Z4 produces rotational symmetry with angles of 0°, 90°, 180°, and 270°. Applying these to the Koch curve iterated system produces the following fractal with four-fold rotational symmetry. It is colored using pixel counting (the color depends on how many times a particular pixel is plotted during the drawing of the fractal using the random chaos game algorithm).

kochZ4v2

Here is the fractal obtained using the dihedral group D4. It is also colored using pixel counting. This fractal has both four-fold rotational symmetry (through rotations of 90°) as well as a reflective symmetry across horizontal, vertical, and diagonal lines. For more details on symmetric fractals, see the book by Field and Golubitsky [15].

kochD4 gradient
[Enlarge]

References

  1. Bannon, Thomas. "Fractals and Transformations," Mathematics Teacher, Vol. 84, No. 3 (March 1991), 178-185. [Accessible at JSTOR (subscription required)]
  2. Barcellos, Anthony. "The Fractal Geometry of Mandelbrot," The College Mathematics Journal, Vol. 15, No. 2, (1984), 98-114. [Available at the MAA Mathematical Sciences Digital Library (MathDL)]
  3. Camp, Dane. "A Fractal Excursion," Mathematics Teacher, VOl. 84, No. 4 (April 1991), 265-275. [Accessible at JSTOR (subscription required)]
  4. Edgar, Gerald A. Measure, Topology, and Fractal Geometry, Sringer-Verlag, 1990.
  5. Edgar, Gerald A. Classics on Fractals, Addison-Wesley 1993. Contains a translation of Koch's original article (see [8]). [Most of the chapter on Koch is viewable at Google Books]
  6. Gardner, Martin. "Mathematical Games," Scientific American, April 1965, 128.
  7. Helmberg, Gilbert. Getting Acquainted with Fractals, de Gruyter Publishing, 2007. [See Preview at Google Books]
  8. Jones, Juw. "Fractals Before Mandelbrot-A Selective History," in Fractals and Chaos, Crilly, Earnshaw, and Jones, Editors, Springer-Verlag 1991.
  9. Koch, H. von. "Sur une courbe continue sans tangente, obtenue par une construction géométrique élémentaire," Arkiv for Matematik 1 (1904) 681-704.
  10. Mandelbrot, Benoit. The Fractal Geometry of Nature, W.H. Freeman and Co. 1983. [Preview available at Google Books]
  11. McWorter Jr., William A. and Jane Morrill Tazelaar. "Creating Fractals,", Byte, August 1987, 123-132.
  12. Peitgen, Heinz-Otto, Hartmut Jurgens and Dietmar Saupe. Fractals for the Classroom, Part One: Introduction to Fractals and Chaos, Springer-Verlag New York, Inc. 1990.
  13. Ungar, Sime. "The Koch Curve: A Geometric Proof," The American Mathematical Monthly, Vol. 114, No. 1 (January 2007), 61-66. [Available from JSTOR (subscription required)]
  14. Keleti, Tamás and Elliot Paquette. "The Trouble with von Koch Curves Built from n-gons,", the American Mathematical Monthly, Vol. 117, No. 2 (February 2010), 124-137. An online supplement containing an interactive java applet is available at MathDL, the MAA Mathematical Sciences Digital Library.
  15. Field, Michael and Martin Golubitsky. Symmetry in Chaos: A Search for Pattern in Mathematics, Art, and Nature (2nd Edition), SIAM, 2009. [See Preview at Google Books. Chapter 7 is on Symmetric Fractals.]