Multibrot set

Last updated
Multibrot 3 at the bottom-left of the main part. Fr251 multi3.jpg
Multibrot 3 at the bottom-left of the main part.
detail of multiJulia 8. Fr262 JS.jpg
detail of multiJulia 8.
Multibrot_4. Fr192 mbr.jpg
Multibrot_4.
Multibrot exponent 0 - 8

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. [1] [2] [3] The name is a portmanteau of multiple and Mandelbrot set. The same can be applied to the Julia set, this being called Multijulia set.

Contents

where d  2. The exponent d may be further generalized to negative and fractional values. [4]

Examples [5] [6]

The case of

is the classic Mandelbrot set from which the name is derived.

The sets for other values of d also show fractal images [7] when they are plotted on the complex plane.

Each of the examples of various powers d shown below is plotted to the same scale. Values of c belonging to the set are black. Values of c that have unbounded value under recursion, and thus do not belong in the set, are plotted in different colours, that show as contours, depending on the number of recursions that caused a value to exceed a fixed magnitude in the Escape Time algorithm.

Positive powers

The example d = 2 is the original Mandelbrot set. The examples for d > 2 are often called multibrot sets. These sets include the origin and have fractal perimeters, with (d 1)-fold rotational symmetry.

z - z + c Power2.png
zz + c
z - z + c Power3.png
zz + c
z - z + c Power4.png
zz + c
z - z + c Power5.png
zz + c
z - z + c Power6.png
zz + c
z - z + c MANDEL Z96+C medium.jpg
zz + c
z - z + c detail x40 MANDEL Z96+C detall.jpg
zz + c detail x40

Negative powers

When d is negative the set appears to surround but does not include the origin, However this is just an artifact of the fixed maximum radius allowed by the Escape Time algorithm, and is not a limit of the sets that actually have a shape in the middle with an no hole (You can see this by using the Lyapunov exponent [No hole because the origin diverges to undefined not infinity because the origin {0 or 0+0i} taken to a negative power becomes undefined]). There is interesting complex behaviour in the contours between the set and the origin, in a star-shaped area with (1 d)-fold rotational symmetry. The sets appear to have a circular perimeter, however this is an artifact of the fixed maximum radius allowed by the Escape Time algorithm, and is not a limit of the sets that actually extend in all directions to infinity.

z - z + c Power-2.png
zz + c
z - z + c Power-3.png
zz + c
z - z + c Power-4.png
zz + c
z - z + c Power-5.png
zz + c
z - z + c Power-6.png
zz + c

Fractional powers

Multibrots -2 to 2.gif

Rendering along the exponent

An alternative method is to render the exponent along the vertical axis. This requires either fixing the real or the imaginary value, and rendering the remaining value along the horizontal axis. The resulting set rises vertically from the origin in a narrow column to infinity. Magnification reveals increasing complexity. The first prominent bump or spike is seen at an exponent of 2, the location of the traditional Mandelbrot set at its cross-section. The third image here renders on a plane that is fixed at a 45-degree angle between the real and imaginary axes. [8]

Multibrot rendered with real value along horizontal axis and exponent along vertical axis, imaginary value fixed at zero Multibrot Rendered on Real Axis and Exponent.png
Multibrot rendered with real value along horizontal axis and exponent along vertical axis, imaginary value fixed at zero
Multibrot rendered with imaginary value on horizontal axis and exponent on vertical axis, real value fixed at zero Multibrot Rendered on Imaginary and Exponent.png
Multibrot rendered with imaginary value on horizontal axis and exponent on vertical axis, real value fixed at zero
Multibrot rendered with exponent on vertical axis along a plane angled 45-degrees between the real and imaginary axes. Multibrot Rendered with Exponent on Veritical Axis in a 45-Degree Plane.png
Multibrot rendered with exponent on vertical axis along a plane angled 45-degrees between the real and imaginary axes.

Rendering images

All the above images are rendered using an Escape Time algorithm that identifies points outside the set in a simple way. Much greater fractal detail is revealed by plotting the Lyapunov exponent, [9] as shown by the example below. The Lyapunov exponent is the error growth-rate of a given sequence. First calculate the iteration sequence with N iterations, then calculate the exponent as

and if the exponent is negative the sequence is stable. The white pixels in the picture are the parameters c for which the exponent is positive aka unstable. The colours show the periods of the cycles which the orbits are attracted to. All points colored dark-blue (outside) are attracted by a fixed point, all points in the middle (lighter blue) are attracted by a period 2 cycle and so on.

Enlarged first quadrant of the multibrot set for the iteration z - z + c rendered with the Escape Time algorithm. Power-2pe.png
Enlarged first quadrant of the multibrot set for the iteration zz + c rendered with the Escape Time algorithm.
Enlarged first quadrant of the multibrot set for the iteration z - z + c rendered using the Lyapunov exponent of the sequence as a stability criterion rather than using the Escape Time algorithm. Periodicity checking was used to colour the set according to the period of the cycles of the orbits. Multibrot Lupanov power-2 Q1.png
Enlarged first quadrant of the multibrot set for the iteration zz + c rendered using the Lyapunov exponent of the sequence as a stability criterion rather than using the Escape Time algorithm. Periodicity checking was used to colour the set according to the period of the cycles of the orbits.

Pseudocode

ESCAPE TIME ALGORITHM =====================  for each pixel on the screen do     x = x0 = x co-ordinate of pixel     y = y0 = y co-ordinate of pixel        iteration := 0     max_iteration := 1000        while (x*x + y*y ≤ (2*2) and iteration < max_iteration do         /* INSERT CODE(S)FOR Z^d FROM TABLE BELOW */         iteration := iteration + 1        if iteration = max_iteration then         colour := black     else         colour := iteration        plot(x0, y0, colour)

The complex value z has coordinates (x,y) on the complex plane and is raised to various powers inside the iteration loop by codes shown in this table. Powers not shown in the table can be obtained by concatenating the codes shown.

z2z1z2
(for Mandelbrot set)
z3z5zn

d=x^4+2*x^2*y^2+y^4
assert d != 0
xtmp = (x^2-y^2)/d+a
y = -2*x*y/d+b
x = xtmp

d=x^2+y^2
assert d != 0
x = x/d + a
y= -y/d + b

xtmp=x^2-y^2 + a
y=2*x*y + b
x=xtmp

xtmp=x^3-3*x*y^2 + a
y=3*x^2*y-y^3 + b
x=xtmp

xtmp=x^5-10*x^3*y^2+5*x*y^4 + a
y=5*x^4*y-10*x^2*y^3+y^5 + b
x=xtmp

xtmp=(x*x+y*y)^(n/2)*cos(n*atan2(y,x)) + a
y=(x*x+y*y)^(n/2)*sin(n*atan2(y,x)) + b
x=xtmp

Related Research Articles

<span class="mw-page-title-main">Mandelbrot set</span> Fractal named after mathematician Benoit Mandelbrot

The Mandelbrot set is a two-dimensional set with a relatively simple definition that exhibits great complexity, especially as it is magnified. It is popular for its aesthetic appeal and fractal structures. The set is defined in the complex plane as the complex numbers for which the function does not diverge to infinity when iterated starting at , i.e., for which the sequence , , etc., remains bounded in absolute value.

<span class="mw-page-title-main">Self-similarity</span> Whole of an object being mathematically similar to part of itself

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.

<span class="mw-page-title-main">Julia set</span> Fractal sets in complex dynamics of mathematics

In the context of complex dynamics, a branch 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".

Bresenham's line algorithm is a line drawing algorithm that determines the points of an n-dimensional raster that should be selected in order to form a close approximation to a straight line between two points. It is commonly used to draw line primitives in a bitmap image, as it uses only integer addition, subtraction, and bit shifting, all of which are very cheap operations in historically common computer architectures. It is an incremental error algorithm, and one of the earliest algorithms developed in the field of computer graphics. An extension to the original algorithm called the midpoint circle algorithm may be used for drawing circles.

<span class="mw-page-title-main">Lyapunov fractal</span> Type of fractal

In mathematics, Lyapunov fractals are bifurcational fractals derived from an extension of the logistic map in which the degree of the growth of the population, r, periodically switches between two values A and B.

<span class="mw-page-title-main">Lyapunov exponent</span> The rate of separation of infinitesimally close trajectories

In mathematics, the Lyapunov exponent or Lyapunov characteristic exponent of a dynamical system is a quantity that characterizes the rate of separation of infinitesimally close trajectories. Quantitatively, two trajectories in phase space with initial separation vector diverge at a rate given by

<span class="mw-page-title-main">Buddhabrot</span> Probability distribution over the trajectories of points that escape the Mandelbrot fractal

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 oval crown (ushnisha), and ringlet of hair.

<span class="mw-page-title-main">Pickover stalk</span> Inherent structure of the mandelbrot set

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.

<span class="mw-page-title-main">Newton fractal</span> Boundary set in the complex plane

The Newton fractal is a boundary set in the complex plane which is characterized by Newton's method applied to a fixed polynomial p(Z) ∈ ℂ[Z] or transcendental function. It is the Julia set of the meromorphic function zzp(z)/p′(z) which is given by Newton's method. When there are no attractive cycles (of order greater than 1), it divides the complex plane into regions Gk, each of which is associated with a root ζk of the polynomial, k = 1, …, deg(p). 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 (outside the region of quadratic convergence) the Newton method can be very sensitive to its choice of start point.

<span class="mw-page-title-main">Burning Ship fractal</span> Complex plane fractal

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

<span class="mw-page-title-main">Surface (mathematics)</span> Mathematical idealization of the surface of a body

In mathematics, a surface is a mathematical model of the common concept of a surface. It is a generalization of a plane, but, unlike a plane, it may be curved; this is analogous to a curve generalizing a straight line.

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.

<span class="mw-page-title-main">Tricorn (mathematics)</span>

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.

The filled-in Julia set of a polynomial is a Julia set and its interior, non-escaping set

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

<span class="mw-page-title-main">Douady rabbit</span> Fractal related to the mandelbrot set

The Douady rabbit is any of various particular filled Julia sets whose parameter is near the center of a period 3 bud of the Mandelbrot set for a complex quadratic map. It is named after French mathematician Adrien Douady.

<span class="mw-page-title-main">Fractal-generating software</span>

Fractal-generating software is any type of graphics software that generates images of fractals. There are many fractal generating programs available, both free and commercial. Mobile apps are available to play or tinker with fractals. Some programmers create fractal software for themselves because of the novelty and because of the challenge in understanding the related mathematics. The generation of fractals has led to some very large problems for pure mathematics.

<span class="mw-page-title-main">Orbit trap</span> Method of colouring fractal images

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.

<span class="mw-page-title-main">Mandelbox</span> Fractal with a boxlike shape

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.

<span class="mw-page-title-main">Plotting algorithms for the Mandelbrot set</span> Algorithms and methods of plotting the Mandelbrot set on a computing device

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. "Definition of multibrots" . Retrieved 2008-09-28.
  2. "Multibrots" . Retrieved 2008-09-28.
  3. Wolf Jung. "Homeomorphisms on Edges of the Mandelbrot Set" (PDF). p. 23. The Multibrot set Md is the connectedness locus of the family of unicritical polynomials zd + c, d  2
  4. "WolframAlpha Computation Knowledge Engine".
  5. "23 pretty JavaScript fractals". 23 October 2008. Archived from the original on 2014-08-11.
  6. "Javascript Fractals". Archived from the original on 2014-08-19.
  7. "Animated morph of multibrots d = 7 to 7" . Retrieved 2008-09-28.
  8. Fractal Generator, "Multibrot Slice"
  9. Ken Shirriff (Sep 1993). "An Investigation of Fractals Generated by z  1/zn + c". Computers & Graphics. 17 (5): 603–607. doi:10.1016/0097-8493(93)90012-x . Retrieved 2008-09-28.