Tetration fractals

Written by Paul Bourke
May 2013


Introduction to tetration

Addition is the repeated adding of 1 (unation).

Multiplication is repeated addition (duation).

Powers or exponentiation is repeated multiplication (trination).

Tetration (term atributed to Reuben Louis Goodstein) is repeated exponentiation.

Generally for ba, "a" is refereed to as the base and "b" is called the height. The notation used here is often the standard one but there are a number of other notations in common usage, many of which generalise into higher orders, pentation and beyond. As one might imagine tetration of real numbers results in really big numbers really fast as shown in the table below, the empty columns would require more space than is reasonable for all the digits. Note that by definition even0 = 1 and odd0 = 0.

a 0a 1a 2a 3a 4a 5a
1 1 1 1 1 1 1
2 1 2 2 16 65536
3 1 3 27 7625597484987
4 1 4 256 134078079299425970995740249982058461274 793658205923933777235614437217640300735 469768018742981669034276900318581864860 50853753882811946569946433649006084096

But is as is often the case things get more interesting in the complex plane. In order to study the behaviour of tetration on the complex plane one needs to be able to compute the complex power of a complex number.

In the discussion here we will use the principle branch of natural logarithm of a complex number, that is, where the angle in the Euler formula is in the range of -pi to pi. Computationally this is given by the atan2() function in most programming languages. If z is written as c + id then

It should be noted that tetration is right associative and that this order is important, for example.

Implementation via a recursive function is the obvious choice noting the following definition.

This might be implemented in C as: tetrationlibrary.h and tetrationlibrary.c

Tetration behaviour that exhibits fractal characteristics (also sometimes called the "power tower fractal") can be revealed in a number of ways. One is to shade each position in the image (value "z" on the complex plane) depending on whether or not the value nz escapes to infinity as n increases. This requires a test and is similar to "bailout" parameter for typical Mandelbrot style calculations, once a term in the series exceeds this threshold value then the series is assumed to diverge to infinity. Unlike the Mandelbrot, in the tetration fractal this threshold determines the quality of the fractal, higher values are more accurate but of course take longer to compute. There are a number of possible tests, for example:

  • The real component of the complex number exceeds the threshold
  • The imaginary component of the complex number exceeds the threshold
  • The magnitude of the complex number exceeds the threshold
  • Either the real or imaginary component of the complex number exceeds the threshold
  • ... and so on

Four of the cases above are illustrated below.


Real component exceeds threshold

Imaginary component exceeds threshold

Magnitude exceeds threshold

Either real or imaginary components exceeds threshold
Fractal Image gallery


Center = (-0.5,0.0), range = 9.0


Center = (-1.9,0.0), range = 3.0


Center = (-0.188,0.235), range = 0.02


Center = (-0.25,0.0), range = 0.8


Center = (-1.3,2.85), range = 0.8


Center = (2.2,-2.5), range = 2.0


Center = (2.15,-0.91), range = 0.5


Center = (-2.37,-0.38), range = 0.5


Center = (-0.94,0.41), range = 0.2


Center = (-0.95,2.4), range = 0.1


Center = (0.4,2.0), range = 0.2


Center = (-1.3,2.85), range = 0.8

References

  • Rucker, Rudy (1982). Infinity and the Mind: The Science and Philosophy of the Infinite. Princeton, N.J.: Princeton University Press. ISBN 978-0-691-00172-2.
  • Benjamic Rose. Tetration and nth-term iterative operators. Stevens Institute of Technology, 2008.
  • N. Bromer (1987). Superexponentiation. Mathematics Magazine 60 (3): pp 169-174.
  • MacDonnell, J. F. Some Critical Points of the Hyperpower Function, International Journal of Mathematical Education, 1989, Vol. 20, #2.
  • H. Langer. An elementary proof of the convergence of iterated exponentiations Elem. Math. 51, pp. 75-77, 1986
  • Euler, L. De serie Lambertina Plurimisque eius insignibus proprietatibus. Acta Acad. Scient. Petropol. 2, 29–51, 1783. Reprinted in Euler, L. Opera Omnia, Series Prima, Vol. 6: Commentationes Algebraicae. Leipzig, Germany: Teubner, pp. 350–369, 1921.
  • Olver, Frank W. J., Daniel W. Lozier, Ronald F. Boisvert, Charles W. Clark, 2010: NIST Handbook of Mathematical Functions. Camb. Univ. Press. 968 pp. ISBN:9780521192255.