Mandelbrot set

Last updated

The Mandelbrot set () is the set of complex numbers ${\displaystyle c}$ for which the function ${\displaystyle f_{c}(z)=z^{2}+c}$ does not diverge when iterated from ${\displaystyle z=0}$, i.e., for which the sequence ${\displaystyle f_{c}(0)}$, ${\displaystyle f_{c}(f_{c}(0))}$, etc., remains bounded in absolute value. Its definition is credited to Adrien Douady who named it in tribute to the mathematician Benoit Mandelbrot, a pioneer of fractal geometry. [1]

Contents

Images of the Mandelbrot set exhibit an elaborate and infinitely complicated boundary that reveals progressively ever-finer recursive detail at increasing magnifications, making the boundary of the Mandelbrot set a fractal curve. The "style" of this repeating detail depends on the region of the set being examined. Mandelbrot set images may be created by sampling the complex numbers and testing, for each sample point ${\displaystyle c,}$ whether the sequence ${\displaystyle f_{c}(0),f_{c}(f_{c}(0)),\dotsc }$ goes to infinity. Treating the real and imaginary parts of ${\displaystyle c}$ as image coordinates on the complex plane, pixels may then be coloured according to how soon the sequence ${\displaystyle |f_{c}(0)|,|f_{c}(f_{c}(0))|,\dotsc }$ crosses an arbitrarily chosen threshold (the threshold has to be at least 2, but is otherwise arbitrary). If ${\displaystyle c}$ is held constant and the initial value of ${\displaystyle z}$ is varied instead, one obtains the corresponding Julia set for the point ${\displaystyle c}$.

The Mandelbrot set has become popular outside mathematics both for its aesthetic appeal and as an example of a complex structure arising from the application of simple rules. It is one of the best-known examples of mathematical visualization, mathematical beauty, and motif.

History

The Mandelbrot set has its origin in complex dynamics, a field first investigated by the French mathematicians Pierre Fatou and Gaston Julia at the beginning of the 20th century. This fractal was first defined and drawn in 1978 by Robert W. Brooks and Peter Matelski as part of a study of Kleinian groups. [2] On 1 March 1980, at IBM's Thomas J. Watson Research Center in Yorktown Heights, New York, Benoit Mandelbrot first saw a visualization of the set. [3]

Mandelbrot studied the parameter space of quadratic polynomials in an article that appeared in 1980. [4] The mathematical study of the Mandelbrot set really began with work by the mathematicians Adrien Douady and John H. Hubbard (1985), [1] who established many of its fundamental properties and named the set in honor of Mandelbrot for his influential work in fractal geometry.

The mathematicians Heinz-Otto Peitgen and Peter Richter became well known for promoting the set with photographs, books (1986), [5] and an internationally touring exhibit of the German Goethe-Institut (1985). [6] [7]

The cover article of the August 1985 Scientific American introduced a wide audience to the algorithm for computing the Mandelbrot set. The cover featured an image located at −0.909 + −0.275 i and was created by Peitgen et al. [8] [9] The Mandelbrot set became prominent in the mid-1980s as a computer graphics demo, when personal computers became powerful enough to plot and display the set in high resolution. [10]

The work of Douady and Hubbard coincided with a huge increase in interest in complex dynamics and abstract mathematics, and the study of the Mandelbrot set has been a centerpiece of this field ever since. An exhaustive list of all who have contributed to the understanding of this set since then is long but would include Jean-Christophe Yoccoz, Mitsuhiro Shishikura, Curt McMullen, John Milnor and Mikhail Lyubich. [11] [12]

Formal definition

The Mandelbrot set is the set of values of c in the complex plane for which the orbit of the critical point z = 0 under iteration of the quadratic map

${\displaystyle z_{n+1}=z_{n}^{2}+c}$

remains bounded. [13] Thus, a complex number c is a member of the Mandelbrot set if, when starting with z0 = 0 and applying the iteration repeatedly, the absolute value of zn remains bounded for all n > 0.

For example, for c = 1, the sequence is 0, 1, 2, 5, 26, ..., which tends to infinity, so 1 is not an element of the Mandelbrot set. On the other hand, for c = −1, the sequence is 0, −1, 0, −1, 0, ..., which is bounded, so −1 does belong to the set.

The Mandelbrot set can also be defined as the connectedness locus of a family of polynomials.

Basic properties

The Mandelbrot set is a compact set, since it is closed and contained in the closed disk of radius 2 around the origin. More specifically, a point ${\displaystyle c}$ belongs to the Mandelbrot set if and only if ${\displaystyle |z_{n}|\leq 2}$ for all ${\displaystyle n\geq 0}$. In other words, the absolute value of ${\displaystyle z_{n}}$ must remain at or below 2 for ${\displaystyle c}$ to be in the Mandelbrot set, ${\displaystyle M}$, as if that absolute value exceeds 2, the sequence will escape to infinity.

The intersection of ${\displaystyle M}$ with the real axis is precisely the interval [−2, 1/4]. The parameters along this interval can be put in one-to-one correspondence with those of the real logistic family,

${\displaystyle x_{n+1}=rx_{n}(1-x_{n}),\quad r\in [1,4].}$

The correspondence is given by

${\displaystyle z=r\left({\frac {1}{2}}-x\right),\quad c={\frac {r}{2}}\left(1-{\frac {r}{2}}\right).}$

In fact, this gives a correspondence between the entire parameter space of the logistic family and that of the Mandelbrot set[ citation needed ].

Douady and Hubbard have shown that the Mandelbrot set is connected. In fact, they constructed an explicit conformal isomorphism between the complement of the Mandelbrot set and the complement of the closed unit disk. Mandelbrot had originally conjectured that the Mandelbrot set is disconnected. This conjecture was based on computer pictures generated by programs that are unable to detect the thin filaments connecting different parts of ${\displaystyle M}$. Upon further experiments, he revised his conjecture, deciding that ${\displaystyle M}$ should be connected. There also exists a topological proof to the connectedness that was discovered in 2001 by Jeremy Kahn. [14]

The dynamical formula for the uniformisation of the complement of the Mandelbrot set, arising from Douady and Hubbard's proof of the connectedness of ${\displaystyle M}$, gives rise to external rays of the Mandelbrot set. These rays can be used to study the Mandelbrot set in combinatorial terms and form the backbone of the Yoccoz parapuzzle. [15]

The boundary of the Mandelbrot set is exactly the bifurcation locus of the quadratic family; that is, the set of parameters ${\displaystyle c}$ for which the dynamics changes abruptly under small changes of ${\displaystyle c.}$ It can be constructed as the limit set of a sequence of plane algebraic curves, the Mandelbrot curves, of the general type known as polynomial lemniscates. The Mandelbrot curves are defined by setting p0 = z, pn+1 = pn2 + z, and then interpreting the set of points |pn(z)| = 2 in the complex plane as a curve in the real Cartesian plane of degree 2n+1 in x and y. Each curve n > 0 is the mapping of an initial circle of radius 2 under pn. These algebraic curves appear in images of the Mandelbrot set computed using the "escape time algorithm" mentioned below.

Other properties

Main cardioid and period bulbs

Upon looking at a picture of the Mandelbrot set, one immediately notices the large cardioid-shaped region in the center. This main cardioid is the region of parameters ${\displaystyle c}$ for which the map

${\displaystyle f_{c}(z)=z^{2}+c}$

has an attracting fixed point. It consists of all parameters of the form

${\displaystyle c={\frac {\mu }{2}}\left(1-{\frac {\mu }{2}}\right)}$

for some ${\displaystyle \mu }$ in the open unit disk.

To the left of the main cardioid, attached to it at the point ${\displaystyle c=-3/4}$, a circular-shaped bulb is visible. This bulb consists of those parameters ${\displaystyle c}$ for which ${\displaystyle f_{c}}$ has an attracting cycle of period 2. This set of parameters is an actual circle, namely that of radius 1/4 around −1.

There are infinitely many other bulbs tangent to the main cardioid: for every rational number ${\displaystyle {\tfrac {p}{q}}}$, with p and q coprime, there is such a bulb that is tangent at the parameter

${\displaystyle c_{\frac {p}{q}}={\frac {e^{2\pi i{\frac {p}{q}}}}{2}}\left(1-{\frac {e^{2\pi i{\frac {p}{q}}}}{2}}\right).}$

This bulb is called the ${\displaystyle {\tfrac {p}{q}}}$-bulb of the Mandelbrot set. It consists of parameters that have an attracting cycle of period ${\displaystyle q}$ and combinatorial rotation number ${\displaystyle {\tfrac {p}{q}}}$. More precisely, the ${\displaystyle q}$ periodic Fatou components containing the attracting cycle all touch at a common point (commonly called the ${\displaystyle \alpha }$-fixed point). If we label these components ${\displaystyle U_{0},\dots ,U_{q-1}}$ in counterclockwise orientation, then ${\displaystyle f_{c}}$ maps the component ${\displaystyle U_{j}}$ to the component ${\displaystyle U_{j+p\,(\operatorname {mod} q)}}$.

The change of behavior occurring at ${\displaystyle c_{\frac {p}{q}}}$ is known as a bifurcation: the attracting fixed point "collides" with a repelling period q-cycle. As we pass through the bifurcation parameter into the ${\displaystyle {\tfrac {p}{q}}}$-bulb, the attracting fixed point turns into a repelling fixed point (the ${\displaystyle \alpha }$-fixed point), and the period q-cycle becomes attracting.

Hyperbolic components

All the bulbs we encountered in the previous section were interior components of the Mandelbrot set in which the maps ${\displaystyle f_{c}}$ have an attracting periodic cycle. Such components are called hyperbolic components.

It is conjectured that these are the only interior regions of ${\displaystyle M}$. This problem, known as density of hyperbolicity, may be the most important open problem in the field of complex dynamics. Hypothetical non-hyperbolic components of the Mandelbrot set are often referred to as "queer" or ghost components. [16] [17] For real quadratic polynomials, this question was answered positively in the 1990s independently by Lyubich and by Graczyk and Świątek. (Note that hyperbolic components intersecting the real axis correspond exactly to periodic windows in the Feigenbaum diagram. So this result states that such windows exist near every parameter in the diagram.)

Not every hyperbolic component can be reached by a sequence of direct bifurcations from the main cardioid of the Mandelbrot set. However, such a component can be reached by a sequence of direct bifurcations from the main cardioid of a little Mandelbrot copy (see below).

Each of the hyperbolic components has a center, which is a point c such that the inner Fatou domain for ${\displaystyle f_{c}(z)}$ has a super-attracting cycle—that is, that the attraction is infinite (see the image here). This means that the cycle contains the critical point 0, so that 0 is iterated back to itself after some iterations. We therefore have that ${\displaystyle f_{c}^{n}(0)=0}$ for some n. If we call this polynomial ${\displaystyle Q^{n}(c)}$ (letting it depend on c instead of z), we have that ${\displaystyle Q^{n+1}(c)=Q^{n}(c)^{2}+c}$ and that the degree of ${\displaystyle Q^{n}(c)}$ is ${\displaystyle 2^{n-1}}$. We can therefore construct the centers of the hyperbolic components by successively solving the equations ${\displaystyle Q^{n}(c)=0,n=1,2,3,...}$. The number of new centers produced in each step is given by Sloane's .

Local connectivity

It is conjectured that the Mandelbrot set is locally connected. This famous conjecture is known as MLC (for Mandelbrot locally connected). By the work of Adrien Douady and John H. Hubbard, this conjecture would result in a simple abstract "pinched disk" model of the Mandelbrot set. In particular, it would imply the important hyperbolicity conjecture mentioned above.

The work of Jean-Christophe Yoccoz established local connectivity of the Mandelbrot set at all finitely renormalizable parameters; that is, roughly speaking those contained only in finitely many small Mandelbrot copies. [18] Since then, local connectivity has been proved at many other points of ${\displaystyle M}$, but the full conjecture is still open.

Self-similarity

The Mandelbrot set is self-similar under magnification in the neighborhoods of the Misiurewicz points. It is also conjectured to be self-similar around generalized Feigenbaum points (e.g., −1.401155 or −0.1528 + 1.0397i), in the sense of converging to a limit set. [19] [20] The Mandelbrot set in general is not strictly self-similar but it is quasi-self-similar, as small slightly different versions of itself can be found at arbitrarily small scales. These little copies of the Mandelbrot set are all slightly different, mostly because of the thin threads connecting them to the main body of the set.

Further results

The Hausdorff dimension of the boundary of the Mandelbrot set equals 2 as determined by a result of Mitsuhiro Shishikura. [21] It is not known whether the boundary of the Mandelbrot set has positive planar Lebesgue measure.

In the Blum–Shub–Smale model of real computation, the Mandelbrot set is not computable, but its complement is computably enumerable. However, many simple objects (e.g., the graph of exponentiation) are also not computable in the BSS model. At present, it is unknown whether the Mandelbrot set is computable in models of real computation based on computable analysis, which correspond more closely to the intuitive notion of "plotting the set by a computer". Hertling has shown that the Mandelbrot set is computable in this model if the hyperbolicity conjecture is true.

Relationship with Julia sets

As a consequence of the definition of the Mandelbrot set, there is a close correspondence between the geometry of the Mandelbrot set at a given point and the structure of the corresponding Julia set. For instance, a point is in the Mandelbrot set exactly when the corresponding Julia set is connected.

This principle is exploited in virtually all deep results on the Mandelbrot set. For example, Shishikura proved that, for a dense set of parameters in the boundary of the Mandelbrot set, the Julia set has Hausdorff dimension two, and then transfers this information to the parameter plane. [21] Similarly, Yoccoz first proved the local connectivity of Julia sets, before establishing it for the Mandelbrot set at the corresponding parameters. [18] Adrien Douady phrases this principle as:

Plough in the dynamical plane, and harvest in parameter space.

Geometry

For every rational number ${\displaystyle {\tfrac {p}{q}}}$, where p and q are relatively prime, a hyperbolic component of period q bifurcates from the main cardioid. The part of the Mandelbrot set connected to the main cardioid at this bifurcation point is called the p/q-limb. Computer experiments suggest that the diameter of the limb tends to zero like ${\displaystyle {\tfrac {1}{q^{2}}}}$. The best current estimate known is the Yoccoz-inequality , which states that the size tends to zero like ${\displaystyle {\tfrac {1}{q}}}$.

A period-q limb will have q  1 "antennae" at the top of its limb. We can thus determine the period of a given bulb by counting these antennas. We can also find the numerator of the rotation number, p, by numbering each antenna counterclockwise from the limb from 1 to q - 1 and finding which antenna is the shortest. [22]

Pi in the Mandelbrot set

In an attempt to demonstrate that the thickness of the p/q-limb is zero, David Boll carried out a computer experiment in 1991, where he computed the number of iterations required for the series to diverge for z = −3/4 + (−3/4 being the location thereof). As the series does not diverge for the exact value of z = −3/4, the number of iterations required increases with a small ε. It turns out that multiplying the value of ε with the number of iterations required yields an approximation of π that becomes better for smaller ε. For example, for ε = 0.0000001 the number of iterations is 31415928 and the product is 3.1415928. [23] In 2001, Aaron Klebanoff proved Boll's discovery. [24]

Fibonacci sequence in the Mandelbrot set

It can be shown that the Fibonacci sequence is located within the Mandelbrot Set and that a relation exists between the main cardioid and the Farey Diagram. Upon mapping the main cardioid to a disk, one can notice that the amount of antennae that extends from the next largest Hyperbolic component, and that is located between the two previously selected components, follows suit with the Fibonacci sequence. The amount of antennae also correlates with the Farey Diagram and the denominator amounts within the corresponding fractional values, of which relate to the distance around the disk. Both portions of these fractional values themselves can be summed together after ${\displaystyle {\frac {1}{3}}}$ to produce the location of the next Hyperbolic component within the sequence. Thus, the Fibonacci sequence of 1, 2, 3, 5, 8, 13, and 21 can be found within the Mandelbrot set.

The Mandelbrot set shows more intricate detail the closer one looks or magnifies the image, usually called "zooming in". The following example of an image sequence zooming to a selected c value gives an impression of the infinite richness of different geometrical structures and explains some of their typical rules.

The magnification of the last image relative to the first one is about 1010 to 1. Relating to an ordinary monitor, it represents a section of a Mandelbrot set with a diameter of 4 million kilometers. Its border would show an astronomical number of different fractal structures.

The seahorse "body" is composed by 25 "spokes" consisting of two groups of 12 "spokes" each and one "spoke" connecting to the main cardioid. These two groups can be attributed by some kind of metamorphosis to the two "fingers" of the "upper hand" of the Mandelbrot set; therefore, the number of "spokes" increases from one "seahorse" to the next by 2; the "hub" is a so-called Misiurewicz point. Between the "upper part of the body" and the "tail" a distorted small copy of the Mandelbrot set called satellite may be recognized.

The islands in the third-to-last step seem to consist of infinitely many parts like Cantor sets, as is[ clarification needed ] actually the case for the corresponding Julia set Jc. However, they are connected by tiny structures, so that the whole represents a simply connected set. The tiny structures meet each other at a satellite in the center that is too small to be recognized at this magnification. The value of c for the corresponding Jc is not that of the image center but, relative to the main body of the Mandelbrot set, has the same position as the center of this image relative to the satellite shown in the 6th zoom step.

Generalizations

Animations of the Multibrot set for d from 0 to 5 (left) and from 0.05 to 2 (right).

Multibrot sets

Multibrot sets are bounded sets found in the complex plane for members of the general monic univariate polynomial family of recursions

${\displaystyle z\mapsto z^{d}+c.\ }$

For an integer d, these sets are connectedness loci for the Julia sets built from the same formula. The full cubic connectedness locus has also been studied; here one considers the two-parameter recursion ${\displaystyle z\mapsto z^{3}+3kz+c}$, whose two critical points are the complex square roots of the parameter k. A parameter is in the cubic connectedness locus if both critical points are stable. [25] For general families of holomorphic functions, the boundary of the Mandelbrot set generalizes to the bifurcation locus, which is a natural object to study even when the connectedness locus is not useful.

The Multibrot set is obtained by varying the value of the exponent d. The article has a video that shows the development from d = 0 to 7, at which point there are 6 i.e. (d − 1) lobes around the perimeter. A similar development with negative exponents results in (1 − d) clefts on the inside of a ring.

Higher dimensions

There is no perfect extension of the Mandelbrot set into 3D. This is because there is no 3D analogue of the complex numbers for it to iterate on. However, there is an extension of the complex numbers into 4 dimensions, called the quaternions, that creates a perfect extension of the Mandelbrot set and the Julia sets into 4 dimensions. [26] These can then be either cross-sectioned or projected into a 3D structure. However, the quaternion (4-dimensional) Mandelbrot set is simply a solid of revolution of the 2-dimensional Mandelbrot set (in the j-k plane), and is therefore largely uninteresting to look at, as it does not have any of the properties that would be expected from a 4-dimensional fractal [27] . Taking a 3-dimensional cross section at d = 0 (q = a + bi +cj + dk) results in a solid of revolution of the 2-dimensional Mandelbrot set around the real axis.

Other, non-analytic, mappings

Of particular interest is the tricorn fractal, the connectedness locus of the anti-holomorphic family

${\displaystyle z\mapsto {\bar {z}}^{2}+c.}$

The tricorn (also sometimes called the Mandelbar) was encountered by Milnor in his study of parameter slices of real cubic polynomials. It is not locally connected. This property is inherited by the connectedness locus of real cubic polynomials.

Another non-analytic generalization is the Burning Ship fractal, which is obtained by iterating the following:

${\displaystyle z\mapsto (|\Re \left(z\right)|+i|\Im \left(z\right)|)^{2}+c.}$

Computer drawings

There exist a multitude of various algorithms for plotting the Mandelbrot set via a computing device. Here, the most widely used and simplest algorithm will be demonstrated, namely, the naïve "escape time algorithm". In the escape time algorithm, a repeating calculation is performed for each x, y point in the plot area and based on the behavior of that calculation, a color is chosen for that pixel.

The x and y locations of each point are used as starting values in a repeating, or iterating calculation (described in detail below). The result of each iteration is used as the starting values for the next. The values are checked during each iteration to see whether they have reached a critical "escape" condition, or "bailout". If that condition is reached, the calculation is stopped, the pixel is drawn, and the next x, y point is examined.

The color of each point represents how quickly the values reached the escape point. Often black is used to show values that fail to escape before the iteration limit, and gradually brighter colors are used for points that escape. This gives a visual representation of how many cycles were required before reaching the escape condition.

To render such an image, the region of the complex plane we are considering is subdivided into a certain number of pixels. To color any such pixel, let ${\displaystyle c}$ be the midpoint of that pixel. We now iterate the critical point 0 under ${\displaystyle f_{c}}$, checking at each step whether the orbit point has modulus larger than 2. When this is the case, we know that ${\displaystyle c}$ does not belong to the Mandelbrot set, and we color our pixel according to the number of iterations used to find out. Otherwise, we keep iterating up to a fixed number of steps, after which we decide that our parameter is "probably" in the Mandelbrot set, or at least very close to it, and color the pixel black.

In pseudocode, this algorithm would look as follows. The algorithm does not use complex numbers and manually simulates complex-number operations using two real numbers, for those who do not have a complex data type. The program may be simplified if the programming language includes complex-data-type operations.

for each pixel (Px, Py) on the screen do     x0 := scaled x coordinate of pixel (scaled to lie in the Mandelbrot X scale (-2.00, 0.47))     y0 := scaled y coordinate of pixel (scaled to lie in the Mandelbrot Y scale (-1.12, 1.12))     x := 0.0     y := 0.0     iteration := 0     max_iteration := 1000     while (x*x + y*y ≤ 2*2 AND iteration < max_iteration) do         xtemp := x*x - y*y + x0         y := 2*x*y + y0         x := xtemp         iteration := iteration + 1                color := palette[iteration]     plot(Px, Py, color)

Here, relating the pseudocode to ${\displaystyle c}$, ${\displaystyle z}$ and ${\displaystyle f_{c}}$:

• ${\displaystyle z=x+iy\ }$
• ${\displaystyle z^{2}=x^{2}+i2xy-y^{2}\ }$
• ${\displaystyle c=x_{0}+iy_{0}\ }$

and so, as can be seen in the pseudocode in the computation of x and y:

• ${\displaystyle x=\mathop {\mathrm {Re} } (z^{2}+c)=x^{2}-y^{2}+x_{0}}$ and ${\displaystyle y=\mathop {\mathrm {Im} } (z^{2}+c)=2xy+y_{0}.\ }$

To get colorful images of the set, the assignment of a color to each value of the number of executed iterations can be made using one of a variety of functions (linear, exponential, etc.).

The Mandelbrot set is considered by many the most popular fractal, [28] [29] and has been referenced several times in popular culture.

• The Jonathan Coulton song "Mandelbrot Set" is a tribute to both the fractal itself and to the man it is named after, Benoit Mandelbrot. [30]
• The second book of the Mode series by Piers Anthony, Fractal Mode, describes a world that is a perfect 3D model of the set. [31]
• The Arthur C. Clarke novel The Ghost from the Grand Banks features an artificial lake made to replicate the shape of the Mandelbrot set. [32]
• Benoit Mandelbrot and the eponymous set were the subjects of the Google Doodle on November 20, 2020 (the late Benoit Mandelbrot's 96th birthday). [33]
• The American rock band Heart has an image of a Mandelbrot set on the cover of their 2004 album, Jupiters Darling .
• The television series Dirk Gently's Holistic Detective Agency (2016) prominently features the Mandelbrot set in connection with the visions of the character Amanda. In the second season, her jacket has a large image of the fractal on the back. [34]

Related Research Articles

In mathematics, a self-similar object is exactly or approximately similar to a part of itself. Many objects in the real world, such as coastlines, are statistically self-similar: parts of them show the same statistical properties at many scales. Self-similarity is a typical property of fractals. Scale invariance is an exact form of self-similarity where at any magnification there is a smaller piece of the object that is similar to the whole. For instance, a side of the Koch snowflake is both symmetrical and scale-invariant; it can be continually magnified 3x without changing shape. The non-trivial similarity evident in fractals is distinguished by their fine structure, or detail on arbitrarily small scales. As a counterexample, whereas any portion of a straight line may resemble the whole, further detail is not revealed.

In the context of complex dynamics, a topic of mathematics, the Julia set and the Fatou set are two complementary sets defined from a function. Informally, the Fatou set of the function consists of values with the property that all nearby values behave similarly under repeated iteration of the function, and the Julia set consists of values such that an arbitrarily small perturbation can cause drastic changes in the sequence of iterated function values. Thus the behavior of the function on the Fatou set is "regular", while on the Julia set its behavior is "chaotic".

A cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion. It's also the set of points of reflections of a fixed point on a circle through all tangents to the circle.

This article describes periodic points of some complex quadratic maps. A map is a formula for computing a value of a variable based on its own previous value or values; a quadratic map is one that involves the previous value raised to the powers one and two; and a complex map is one in which the variable and the parameters are complex numbers. A periodic point of a map is a value of the variable that occurs repeatedly after intervals of a fixed length.

The Buddhabrot is the probability distribution over the trajectories of points that escape the Mandelbrot fractal. Its name reflects its pareidolic resemblance to classical depictions of Gautama Buddha, seated in a meditation pose with a forehead mark (tikka), a traditional topknot (ushnisha) and ringlet hair.

Pickover stalks are certain kinds of details to be found empirically in the Mandelbrot set, in the study of fractal geometry. They are so named after the researcher Clifford Pickover, whose "epsilon cross" method was instrumental in their discovery. An "epsilon cross" is a cross-shaped orbit trap.

The Newton fractal is a boundary set in the complex plane which is characterized by Newton's method applied to a fixed polynomial or transcendental function. It is the Julia set of the meromorphic function which is given by Newton's method. When there are no attractive cycles, it divides the complex plane into regions , each of which is associated with a root of the polynomial, . In this way the Newton fractal is similar to the Mandelbrot set, and like other fractals it exhibits an intricate appearance arising from a simple description. It is relevant to numerical analysis because it shows that the Newton method can be very sensitive to its choice of start point.

The Burning Ship fractal, first described and created by Michael Michelitsch and Otto E. Rössler in 1992, is generated by iterating the function:

An external ray is a curve that runs from infinity toward a Julia or Mandelbrot set. Although this curve is only rarely a half-line (ray) it is called a ray because it is an image of a ray.

In mathematics, the tricorn, sometimes called the Mandelbar set, is a fractal defined in a similar way to the Mandelbrot set, but using the mapping instead of used for the Mandelbrot set. It was introduced by W. D. Crowe, R. Hasson, P. J. Rippon, and P. E. D. Strain-Clark. John Milnor found tricorn-like sets as a prototypical configuration in the parameter space of real cubic polynomials, and in various other families of rational maps.

In mathematics, a Misiurewicz point is a parameter in the Mandelbrot set for which the critical point is strictly preperiodic. By analogy, the term Misiurewicz point is also used for parameters in a multibrot set where the unique critical point is strictly preperiodic.

The filled-in Julia set of a polynomial is :

In mathematics, Fatou components are components of the Fatou set. They were named after Pierre Fatou.

A complex quadratic polynomial is a quadratic polynomial whose coefficients and variable are complex numbers.

The Douady rabbit is any of various particular filled Julia sets associated with the parameter near the center period 3 buds of Mandelbrot set for complex quadratic map.

In mathematics, a multibrot set is the set of values in the complex plane whose absolute value remains below some finite value throughout iterations by a member of the general monic univariate polynomial family of recursions. The name is a portmanteau of multiple and Mandelbrot set. The same can be applied to the Julia set, this being called multi-Julia set.

The Mandelbulb is a three-dimensional fractal, constructed for the first time in 1997 by Jules Ruis and in 2009 further developed by Daniel White and Paul Nylander using spherical coordinates.

In mathematics, an orbit trap is a method of colouring fractal images based upon how close an iterative function, used to create the fractal, approaches a geometric shape, called a "trap". Typical traps are points, lines, circles, flower shapes and even raster images. Orbit traps are typically used to colour two dimensional fractals representing the complex plane.

In mathematics, the mandelbox is a fractal with a boxlike shape found by Tom Lowe in 2010. It is defined in a similar way to the famous Mandelbrot set as the values of a parameter such that the origin does not escape to infinity under iteration of certain geometrical transformations. The mandelbox is defined as a map of continuous Julia sets, but, unlike the Mandelbrot set, can be defined in any number of dimensions. It is typically drawn in three dimensions for illustrative purposes.

There are many programs and algorithms used to plot the Mandelbrot set and other fractals, some of which are described in fractal-generating software. These programs use a variety of algorithms to determine the color of individual pixels efficiently.

References

1. Adrien Douady and John H. Hubbard, Etude dynamique des polynômes complexes, Prépublications mathémathiques d'Orsay 2/4 (1984 / 1985)
2. Robert Brooks and Peter Matelski, The dynamics of 2-generator subgroups of PSL(2,C), in Irwin Kra (1 May 1981). Irwin Kra (ed.). Riemann Surfaces and Related Topics: Proceedings of the 1978 Stony Brook Conference (PDF). Bernard Maskit. Princeton University Press. ISBN   0-691-08267-7. Archived from the original (PDF) on 28 July 2019. Retrieved 1 July 2019.
3. R.P. Taylor & J.C. Sprott (2008). "Biophilic Fractals and the Visual Journey of Organic Screen-savers" (PDF). Nonlinear Dynamics, Psychology, and Life Sciences. Society for Chaos Theory in Psychology & Life Sciences. 12 (1): 117–129. PMID   18157930 . Retrieved 1 January 2009.
4. Mandelbrot, Benoit (1980). "Fractal aspects of the iteration of ${\displaystyle z\mapsto \lambda z(1-z)}$ for complex ${\displaystyle \lambda ,z}$". Annals of the New York Academy of Sciences. 357 (1): 249–259. doi:10.1111/j.1749-6632.1980.tb29690.x. S2CID   85237669.
5. Peitgen, Heinz-Otto; Richter Peter (1986). The Beauty of Fractals. Heidelberg: Springer-Verlag. ISBN   0-387-15851-0.
6. Frontiers of Chaos, Exhibition of the Goethe-Institut by H.O. Peitgen, P. Richter, H. Jürgens, M. Prüfer, D.Saupe. Since 1985 shown in over 40 countries.
7. Gleick, James (1987). Chaos: Making a New Science. London: Cardinal. p. 229.
8. Dewdney, A. K. (1985). "Computer Recreations, August 1985; A computer microscope zooms in for a look at the most complex object in mathematics" (PDF). Scientific American.
9. John Briggs (1992). Fractals: The Patterns of Chaos. p. 80.
10. Pountain, Dick (September 1986). "Turbocharging Mandelbrot". Byte . Retrieved 11 November 2015.
11. Lyubich, Mikhail (May–June 1999). "Six Lectures on Real and Complex Dynamics" . Retrieved 4 April 2007.Cite journal requires |journal= (help)
12. Lyubich, Mikhail (November 1998). "Regular and stochastic dynamics in the real quadratic family" (PDF). Proceedings of the National Academy of Sciences of the United States of America. 95 (24): 14025–14027. Bibcode:1998PNAS...9514025L. doi:. PMC  . PMID   9826646 . Retrieved 4 April 2007.
13. "Mandelbrot Set Explorer: Mathematical Glossary" . Retrieved 7 October 2007.
14. Kahn, Jeremy (8 August 2001). "The Mandelbrot Set is Connected: a Topological Proof" (PDF).
15. The Mandelbrot set, theme and variations. Tan, Lei. Cambridge University Press, 2000. ISBN   978-0-521-77476-5. Section 2.1, "Yoccoz para-puzzles", p. 121
16. Douady, Adrien; Hubbard, John H. Exploring the Mandelbrot set. The Orsay Notes. p. 12.
17. Jung, Wolf (2002). Homeomorphisms on Edges of the Mandelbrot Set (Doctoral thesis). RWTH Aachen University. .
18. Hubbard, J. H. (1993). "Local connectivity of Julia sets and bifurcation loci: three theorems of J.-C. Yoccoz" (PDF). Topological methods in modern mathematics (Stony Brook, NY, 1991). Houston, TX: Publish or Perish. pp. 467–511. MR   1215974.. Hubbard cites as his source a 1989 unpublished manuscript of Yoccoz.
19. Lei (1990). "Similarity between the Mandelbrot set and Julia Sets". Communications in Mathematical Physics. 134 (3): 587–617. Bibcode:1990CMaPh.134..587L. doi:10.1007/bf02098448. S2CID   122439436.
20. J. Milnor (1989). "Self-Similarity and Hairiness in the Mandelbrot Set". In M. C. Tangora (ed.). Computers in Geometry and Topology. New York: Taylor & Francis. pp. 211–257. ISBN   9780824780319.)
21. Shishikura, Mitsuhiro (1998). "The Hausdorff dimension of the boundary of the Mandelbrot set and Julia sets". Annals of Mathematics. Second Series. 147 (2): 225–267. arXiv:. doi:10.2307/121009. JSTOR   121009. MR   1626737. S2CID   14847943..
22. "Number Sequences in the Mandelbrot Set". youtube.com. The Mathemagicians' Guild. 4 June 2020.
23. Flake, Gary William (1998). The Computational Beauty of Nature. p. 125. ISBN   978-0-262-56127-3.
24. Klebanoff, Aaron D. (2001). "π in the Mandelbrot Set". Fractals. 9 (4): 393–402. doi:10.1142/S0218348X01000828.
25. Rudy Rucker's discussion of the CCM: CS.sjsu.edu
26. http://archive.bridgesmathart.org/2010/bridges2010-247.pdf retrieved 19 August 2018
27. Barrallo, Javier (2010). "Expanding the Mandelbrot Set into Higher Dimensions" (PDF). BridgesMathArt. Retrieved September 15 2021.Check date values in: |access-date= (help)
28. Mandelbaum, Ryan F. (2018). "This Trippy Music Video Is Made of 3D Fractals." Retrieved 17 January 2019
29. Moeller, Olga de. (2018)."what are Fratals?" Retrieved 17 January 2019.
30. "Mandelbrot Set". JoCopeda. Retrieved 15 January 2015.
31. Piers Anthony (1992). Fractal Mode. HarperCollins. ISBN   978-0-246-13902-3.
32. Arthur C. Clarke (29 September 2011). The Ghost From The Grand Banks. Orion. ISBN   978-0-575-12179-9.
33. Sheridan, Wade (20 November 2020). "Google honors mathematician Benoit Mandelbrot with new Doodle". United Press International . Retrieved 30 December 2020.