Fractal

For other uses, see Fractal (disambiguation).

Figure 1a. The Mandelbrot set illustrates self-similarity. As you zoom in on the image at finer and finer scales, the same pattern re-appears so that it is virtually impossible to know at which level you are looking.

Figure 1b. Mandelbrot zoomed 6x

Figure 1c. Mandelbrot zoomed 100x

Figure 1d. Even 2000 times magnification of the Mandelbrot set uncovers fine detail resembling the full set.

A fractal is a mathematical set that has a fractal dimension that usually exceeds its topological dimension and may fall between the integers. Fractals are typically self-similar patterns, where self-similar means they are "the same from near as from far". Fractals may be exactly the same at every scale, or, as illustrated in Figure 1, they may be nearly the same at different scales. The definition of fractal goes beyond self-similarity per se to exclude trivial self-similarity and include the idea of a detailed pattern repeating itself.

As mathematical equations, fractals are usually nowhere differentiable, which means that they cannot be measured in traditional ways. An infinite fractal curve can be perceived of as winding through space differently from an ordinary line, still being a 1-dimensional line yet having a fractal dimension indicating it also resembles a surface.

The mathematical roots of the idea of fractals have been traced through a formal path of published works, starting in the 17th century with notions of recursion, then moving through increasingly rigorous mathematical treatment of the concept to the study of continuous but not differentiable functions in the 19th century, and on to the coining of the word fractal in the 20th century with a subsequent burgeoning of interest in fractals and computer-based modelling in the 21st century. The term "fractal" was first used by mathematician Benoît Mandelbrot in 1975. Mandelbrot based it on the Latin frāctus meaning "broken" or "fractured", and used it to extend the concept of theoretical fractional dimensions to geometric patterns in nature.

There is some disagreement amongst authorities about how the concept of a fractal should be formally defined. The general consensus is that theoretical fractals are infinitely self-similar, iterated, and detailed mathematical constructs having fractal dimensions, of which many examples have been formulated and studied in great depth. Fractals are not limited to geometric patterns, but can also describe processes in time. Fractal patterns with various degrees of self-similarity have been rendered or studied in images, structures and sounds and found in nature, technology, art, and law.

Introduction

The word "fractal" often has different connotations for laypeople than mathematicians, where the layperson is more likely to be familiar with fractal art than a mathematical conception. The mathematical concept is difficult to formally define even for mathematicians, but key features can be understood with little mathematical background.

File:File:"In A Whisper" by Andrew Arslan.jpg

Fractal art by artist Andrew Arslan.

The feature of "self-similarity", for instance, is easily understood by analogy to zooming in with a lens or other device that zooms in on digital images to uncover finer, previously invisible, new structure. If this is done on fractals, however, no new detail appears; nothing changes and the same pattern repeats over and over, or for some fractals, nearly the same pattern reappears over and over. Self-similarity itself is not necessarily counter-intuitive (e.g., people have pondered self-similarity informally such as in the infinite regress in parallel mirrors or the homunculus, the little man inside the head of the little man inside the head...). The difference for fractals is that the pattern reproduced must be detailed.

This idea of being detailed relates to another feature that can be understood without mathematical background: Having a fractional or fractal dimension greater than its topological dimension, for instance, refers to how a fractal scales compared to how geometric shapes are usually perceived. A regular line, for instance, is conventionally understood to be 1-dimensional; if such a curve is divided into pieces each 1/3 the length of the original, there are always 3 equal pieces. In contrast, consider the curve in Figure 2. It is also 1-dimensional for the same reason as the ordinary line, but it has, in addition, a fractal dimension greater than 1 because of how its detail can be measured. The fractal curve divided into parts 1/3 the length of the original line becomes 4 pieces rearranged to repeat the original detail, and this unusual relationship is the basis of its fractal dimension.

This also leads to understanding a third feature, that fractals as mathematical equations are "nowhere differentiable". In a concrete sense, this means fractals cannot be measured in traditional ways. To elaborate, in trying to find the length of a wavy non-fractal curve, one could find straight segments of some measuring tool small enough to lay end to end over the waves, where the pieces could get small enough to be considered to conform to the curve in the normal manner of measuring with a tape measure. But in measuring a wavy fractal curve such as the one in Figure 2, one would never find a small enough straight segment to conform to the curve, because the wavy pattern would always re-appear, albeit at a smaller size, essentially pulling a little more of the tape measure into the total length measured each time one attempted to fit it tighter and tighter to the curve. This is perhaps counter-intuitive, but it is how fractals behave.

History

Figure 2. Koch snowflake, a fractal that begins with an equilateral triangle and then replaces the middle third of every line segment with a pair of line segments that form an equilateral "bump"

The history of fractals traces a path from chiefly theoretical studies to modern applications in computer graphics, with several notable people contributing canonical fractal forms along the way. According to Pickover, the mathematics behind fractals began to take shape in the 17th century when the mathematician and philosopher Gottfried Leibniz pondered recursive self-similarity (although he made the mistake of thinking that only the straight line was self-similar in this sense). In his writings, Leibniz used the term "fractional exponents", but lamented that "Geometry" did not yet know of them. Indeed, according to various historical accounts, after that point few mathematicians tackled the issues and the work of those who did remained obscured largely because of resistance to such unfamiliar emerging concepts, which were sometimes referred to as mathematical "monsters". Thus, it was not until two centuries had passed that in 1872 Karl Weierstrass presented the first definition of a function with a graph that would today be considered fractal, having the non-intuitive property of being everywhere continuous but nowhere differentiable. Not long after that, in 1883, Georg Cantor, who attended lectures by Weierstrass, published examples of subsets of the real line known as Cantor sets, which had unusual properties and are now recognized as fractals. Also in the last part of that century, Felix Klein and Henri Poincaré introduced a category of fractal that has come to be called "self-inverse" fractals.

Figure 3. A Julia set, a fractal related to the Mandelbrot set

One of the next milestones came in 1904, when Helge von Koch, extending ideas of Poincaré and dissatisfied with Weierstrass's abstract and analytic definition, gave a more geometric definition including hand drawn images of a similar function, which is now called the Koch curve (see Figure 2). Another milestone came a decade later in 1915, when Wacław Sierpiński constructed his famous triangle then, one year later, his carpet. By 1918, two French mathematicians, Pierre Fatou and Gaston Julia, though working independently, arrived essentially simultaneously at results describing what are now seen as fractal behaviour associated with mapping complex numbers and iterative functions and leading to further ideas about attractors and repellors (i.e., points that attract or repel other points), which have become very important in the study of fractals (see Figure 3 and Figure 4). Very shortly after that work was submitted, by March 1918, Felix Hausdorff expanded the definition of "dimension", significantly for the evolution of the definition of fractals, to allow for sets to have noninteger dimensions. The idea of self-similar curves was taken further by Paul Pierre Lévy, who, in his 1938 paper Plane or Space Curves and Surfaces Consisting of Parts Similar to the Whole described a new fractal curve, the Lévy C curve.

Figure 4. A strange attractor that exhibits multifractal scaling

Different researchers have postulated that without the aid of modern computer graphics, early investigators were limited to what they could depict in manual drawings, so lacked the means to visualize the beauty and appreciate some of the implications of many of the patterns they had discovered (the Julia set, for instance, could only be visualized through a few iterations as very simple drawings hardly resembling the image in Figure 3). That changed, however, in the 1960s, when Benoît Mandelbrot started writing about self-similarity in papers such as How Long Is the Coast of Britain? Statistical Self-Similarity and Fractional Dimension, which built on earlier work by Lewis Fry Richardson. In 1975 Mandelbrot solidified hundreds of years of thought and mathematical development in coining the word "fractal" and illustrated his mathematical definition with striking computer-constructed visualizations. These images, such as of his canonical Mandelbrot set pictured in Figure 1, captured the popular imagination; many of them were based on recursion, leading to the popular meaning of the term "fractal". Currently, fractal studies are essentially exclusively computer-based.

Characteristics

One often cited description that Mandelbrot published to describe geometric fractals is "a rough or fragmented geometric shape that can be split into parts, each of which is (at least approximately) a reduced-size copy of the whole"; this is generally helpful but limited. Authorities disagree on the exact definition of fractal, but most usually elaborate on the basic ideas of self-similarity and an unusual relationship with the space a fractal is embedded in. One point agreed on is that fractal patterns are characterized by fractal dimensions, but whereas these numbers quantify complexity (i.e., changing detail with changing scale), they neither uniquely describe nor specify details of how to construct particular fractal patterns. In 1975 when Mandelbrot coined the word "fractal", he did so to denote an object whose Hausdorff–Besicovitch dimension is greater than its topological dimension. It has been noted that this dimensional requirement is not met by fractal space-filling curves such as the Hilbert curve.

According to Falconer, rather than being strictly defined, fractals should, in addition to being nowhere differentiable and able to have a fractal dimension, be generally characterized by a gestalt of the following features;

• Self-similarity, which may be manifested as:

• Exact self-similarity: identical at all scales; e.g. Koch snowflake
• Quasi self-similarity: approximates the same pattern at different scales; may contain small copies of the entire fractal in distorted and degenerate forms; e.g., the Mandelbrot set's satellites are approximations of the entire set, but not exact copies, as shown in Figure 1
• Statistical self-similarity: repeats a pattern stochastically so numerical or statistical measures are preserved across scales; e.g., randomly generated fractals; the well-known example of the coastline of Britain, for which one would not expect to find a segment scaled and repeated as neatly as the repeated unit that defines, for example, the Koch snowflake
• Qualitative self-similarity: as in a time series
• Multifractal scaling: characterized by more than one fractal dimension or scaling rule

• Fine or detailed structure at arbitrarily small scales. A consequence of this structure is fractals may have emergent properties (related to the next criterion in this list).

• Irregularity locally and globally that is not easily described in traditional Euclidean geometric language. For images of fractal patterns, this has been expressed by phrases such as "smoothly piling up surfaces" and "swirls upon swirls".

• Simple and "perhaps recursive" definitions see Common techniques for generating fractals

As a group, these criteria form guidelines for excluding certain cases, such as those that may be self-similar without having other typically fractal features. A straight line, for instance, is self-similar but not fractal because it lacks detail, is easily described in Euclidean language, has the same Hausdorff dimension as topological dimension, and is fully defined without a need for recursion.

Common techniques for generating fractals

Figure 5. Self-similar branching pattern modeled in silico using L-systems principles

Images of fractals can be created by fractal generating programs.

• Iterated function systems – use fixed geometric replacement rules; may be stochastic or deterministic; e.g., Koch snowflake, Cantor set, Haferman carpet, Sierpinski carpet, Sierpinski gasket, Peano curve, Harter-Heighway dragon curve, T-Square, Menger sponge

• Strange attractors – use iterations of a map or solutions of a system of initial-value differential equations that exhibit chaos (e.g., see multifractal image)

• L-systems - use string rewriting; may resemble branching patterns, such as in plants, biological cells (e.g., neurons and immune system cells), blood vessels, pulmonary structure, etc. (e.g., see Figure 5) or turtle graphics patterns such as space-filling curves and tilings

• Escape-time fractals – use a formula or recurrence relation at each point in a space (such as the complex plane); usually quasi-self-similar; also known as "orbit" fractals; e.g., the Mandelbrot set, Julia set, Burning Ship fractal, Nova fractal and Lyapunov fractal. The 2d vector fields that are generated by one or two iterations of escape-time formulae also give rise to a fractal form when points (or pixel data) are passed through this field repeatedly.

• Random fractals – use stochastic rules; e.g., Lévy flight, percolation clusters, self avoiding walks, fractal landscapes, trajectories of Brownian motion and the Brownian tree (i.e., dendritic fractals generated by modeling diffusion-limited aggregation or reaction-limited aggregation clusters).

A fractal generated by a finite subdivision rule for an alternating link.

• Finite subdivision rules use a recursive topological algorithm for refining tilings and they are similar to the process of cell division. The iterative processes used in creating the Cantor set and the Sierpinski carpet are examples of finite subdivision rules, as is barycentric subdivision.

Simulated fractals

A fractal flame

Fractal patterns have been modeled extensively, albeit within a range of scales rather than infinitely, owing to the practical limits of physical time and space. Models may simulate theoretical fractals or natural phenomena with fractal features. The outputs of the modelling process may be highly artistic renderings, outputs for investigation, or benchmarks for fractal analysis. Some specific applications of fractals to technology are listed elsewhere. Images and other outputs of modelling are normally referred to as being "fractals" even if they do not have strictly fractal characteristics, such as when it is possible to zoom into a region of the fractal image that does not exhibit any fractal properties. Also, these may include calculation or display artifacts which are not characteristics of true fractals.

Modeled fractals may be sounds, digital images, electrochemical patterns, circadian rhythms, etc. Fractal patterns have been reconstructed in physical 3-dimensional space and virtually, often called "in silico" modeling. Models of fractals are generally created using fractal-generating software that implements techniques such as those outlined above. As one illustration, trees, ferns, cells of the nervous system, blood and lung vasculature, and other branching patterns in nature can be modeled on a computer by using recursive algorithms and L-systems techniques. The recursive nature of some patterns is obvious in certain examples—a branch from a tree or a frond from a fern is a miniature replica of the whole: not identical, but similar in nature. Similarly, random fractals have been used to describe/create many highly irregular real-world objects. A limitation of modeling fractals is that resemblance of a fractal model to a natural phenomenon does not prove that the phenomenon being modeled is formed by a process similar to the modeling algorithm.

Natural phenomena with fractal features

Further information: Patterns in nature

Approximate fractals found in nature display self-similarity over extended, but finite, scale ranges. The connection between fractals and leaves, for instance, is currently being used to determine how much carbon is contained in trees.

Examples of phenomena known or anticipated to have fractal features are listed below:

• clouds
• river networks
• fault lines
• mountain ranges     
• craters
• lightning bolts
• coastlines

• animal coloration patterns      
• Romanesco broccoli
• heart rates
• heartbeat
• earthquakes
• snow flakes

• crystals
• blood vessels and pulmonary vessels
• ocean waves
• DNA
• various vegetables (cauliflower & broccoli)
• Psychological subjective perception

• 
  Frost crystals formed naturally on cold glass illustrate fractal process development in a purely physical system
• 
  A fractal is formed when pulling apart two glue-covered acrylic sheets
• 
  High voltage breakdown within a 4″ block of acrylic creates a fractal Lichtenberg figure
• 
  Romanesco broccoli, showing self-similar form approximating a natural fractal
• 
  A simple fractal consisting of "rectangular" leaves developing into a "rectangular" fern

In creative works

thumb

Further information: Fractal art

Fractal patterns have been found in the paintings of American artist Jackson Pollock. While Pollock's paintings appear to be composed of chaotic dripping and splattering, computer analysis has found fractal patterns in his work.

Decalcomania, a technique used by artists such as Max Ernst, can produce fractal-like patterns. It involves pressing paint between two surfaces and pulling them apart.

Cyberneticist Ron Eglash has suggested that fractal geometry and mathematics are prevalent in African art, games, divination, trade, and architecture. Circular houses appear in circles of circles, rectangular houses in rectangles of rectangles, and so on. Such scaling patterns can also be found in African textiles, sculpture, and even cornrow hairstyles.

In a 1996 interview with Michael Silverblatt, David Foster Wallace admitted that the structure of the first draft of Infinite Jest he gave to his editor Michael Pietsch was inspired by fractals, specifically the Sierpinski triangle (aka Sierpinski gasket) but that the edited novel is "more like a lopsided Sierpinsky Gasket".

In law

If a rule or principle of law is conceptualized as defining a two-dimensional "area" of conduct, conduct within which should be legal and conduct outside of which should be illegal, it has been observed that the border of that area must be a fractal, because of the infinite and recursive potential exceptions and extensions necessary to account appropriately for all variations in fact pattern that may arise.

Applications in technology

Main article: Fractal analysis

• fractal antennas
• Fractal transistor
• fractal heat exchangers
• digital imaging
• urban growth
• Classification of histopathology slides
• Fractal landscape or Coastline complexity
• Enzyme/enzymology (Michaelis-Menten kinetics)
• Generation of new music
• Signal and image compression
• Creation of digital photographic enlargements
• Fractal in soil mechanics

• Computer and video game design
• computer graphics
• organic environments
• procedural generation
• Fractography and fracture mechanics
• Small angle scattering theory of fractally rough systems
• T-shirts and other fashion
• Generation of patterns for camouflage, such as MARPAT
• Digital sundial
• Technical analysis of price series
• Fractals in networks

• medicine
• neuroscience
• diagnostic imaging
• pathology
• geology
• geography
• archaeology
• soil mechanics
• seismology
• search and rescue
• technical analysis

See also

• Banach fixed point theorem Template:Nb10
• Bifurcation theory
• Box counting
• Butterfly effect
• Complexity
• Constructal theory
• Cymatics
• Diamond-square algorithm
• Droste effect
• Feigenbaum function
• Fractal compression

• Fractal cosmology
• Fractal-generating software
• Fracton
• Golden ratio
• Graftal
• Greeble
• Lacunarity
• List of fractals by Hausdorff dimension Template:Nb10
• Publications in fractal geometry
• Mandelbulb

• Multifractal system
• Newton fractal
• Patterns in nature
• Percolation
• Power law
• Random walk
• Sacred geometry
• Self-reference
• Strange loop
• Turbulence

Fractal-generating programs

There are many fractal generating programs available, both free and commercial. Some of the fractal generating programs include:

• Apophysis - open source software for Microsoft Windows based systems
• Electric Sheep - open source distributed computing software
• Fractint - freeware with available source code
• Sterling - Freeware software for Microsoft Windows based systems
• SpangFract - For Mac OS
• Ultra Fractal - A proprietary fractal generator for Microsoft Windows and Mac OS X based systems
• XaoS - A cross platform open source fractal zooming program
• Terragen - a fractal terrain generator

Most of the above programs make two-dimensional fractals, with a few creating three-dimensional fractal objects, such as a Quaternion. A specific type of three-dimensional fractal, called mandelbulbs, was introduced in 2009.

Further reading

• Barnsley, Michael F.; and Rising, Hawley; Fractals Everywhere. Boston: Academic Press Professional, 1993. ISBN 0-12-079061-0
• Falconer, Kenneth; Techniques in Fractal Geometry. John Wiley and Sons, 1997. ISBN 0-471-92287-0
• Jürgens, Hartmut; Peitgen, Heins-Otto; and Saupe, Dietmar; Chaos and Fractals: New Frontiers of Science. New York: Springer-Verlag, 1992. ISBN 0-387-97903-4
• Mandelbrot, Benoît B.; The Fractal Geometry of Nature. New York: W. H. Freeman and Co., 1982. ISBN 0-7167-1186-9
• Peitgen, Heinz-Otto; and Saupe, Dietmar; eds.; The Science of Fractal Images. New York: Springer-Verlag, 1988. ISBN 0-387-96608-0
• Pickover, Clifford A.; ed.; Chaos and Fractals: A Computer Graphical Journey - A 10 Year Compilation of Advanced Research. Elsevier, 1998. ISBN 0-444-50002-2
• Jones, Jesse; Fractals for the Macintosh, Waite Group Press, Corte Madera, CA, 1993. ISBN 1-878739-46-8.
• Lauwerier, Hans; Fractals: Endlessly Repeated Geometrical Figures, Translated by Sophia Gill-Hoffstadt, Princeton University Press, Princeton NJ, 1991. ISBN 0-691-08551-X, cloth. ISBN 0-691-02445-6 paperback. "This book has been written for a wide audience..." Includes sample BASIC programs in an appendix.
• Sprott, Julien Clinton (2003). Chaos and Time-Series Analysis. Oxford University Press. ISBN 0-19-850839-5 and ISBN 978-0-19-850839-7. {{cite book}}: Check |isbn= value: invalid character (help)
• Wahl, Bernt; Van Roy, Peter; Larsen, Michael; and Kampman, Eric; Exploring Fractals on the Macintosh, Addison Wesley, 1995. ISBN 0-201-62630-6
• Lesmoir-Gordon, Nigel; "The Colours of Infinity: The Beauty, The Power and the Sense of Fractals." ISBN 1-904555-05-5 (The book comes with a related DVD of the Arthur C. Clarke documentary introduction to the fractal concept and the Mandelbrot set.
• Liu, Huajie; Fractal Art, Changsha: Hunan Science and Technology Press, 1997, ISBN 9787535722348.
• Gouyet, Jean-François; Physics and Fractal Structures (Foreword by B. Mandelbrot); Masson, 1996. ISBN 2-225-85130-1, and New York: Springer-Verlag, 1996. ISBN 978-0-387-94153-0. Out-of-print. Available in PDF version at."Physics and Fractal Structures" (in Template:Fr icon). Jfgouyet.fr. Retrieved 2010-10-17.{{cite web}}: CS1 maint: unrecognized language (link)
• Bunde, Armin; Havlin, Shlomo (1996). Fractals and Disordered Systems. Springer.
• Bunde, Armin; Havlin, Shlomo (1995). Fractals in Science. Springer.
• ben-Avraham, Daniel; Havlin, Shlomo (2000). Diffusion and Reactions in Fractals and Disordered Systems. Cambridge University Press.

External links

• Template:Dmoz
• Scaling and Fractals presented by Shlomo Havlin, Bar-Ilan University
• Hunting the Hidden Dimension, PBS NOVA, first aired August 24, 2011
• Benoit Mandelbrot: Fractals and the Art of Roughness, TED (conference), February 2010
• Zoom Video in Mandelbox(Exemple of 3D fractal)