Complex squaring map

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the complex squaring map, a polynomial mapping of degree two, is a simple and accessible demonstration of chaos in dynamical systems. It can be constructed by performing the following steps:

  1. Choose any complex number on the unit circle whose argument (complex angle) is not a rational fraction of π,
  2. Repeatedly square that number.

This repetition (iteration) produces a sequence of complex numbers that can be described by their complex angle alone. Any choice of starting angle that satisfies (1) above will produce an extremely complicated sequence of angles, that belies the simplicity of the steps. In fact, it can be shown that the sequence will be chaotic, i.e. it is sensitive to the detailed choice of starting angle.

Chaos and the complex squaring map[edit]

The informal reason why the iteration is chaotic is that the angle doubles on every iteration and doubling grows very quickly as the angle becomes ever larger, but angles which differ by multiples of 2π (radians) are identical. Thus, when the angle exceeds 2π, it must wrap to the remainder on division by 2π. Therefore the angle is transformed according to the dyadic transformation (also known as the 2x mod 1 map). As the initial value z0 has been chosen so that its argument is not a rational multiple of π, the forward orbit of zn cannot repeat itself and become periodic.

More formally, the iteration can be written as:

 \qquad z_{n+1} = z_n^2

where z_n is the resulting sequence of complex numbers obtained by iterating the steps above, and z_0 represents the initial starting number. We can solve this iteration exactly:

 \qquad z_n = z_0^{2^n}

Starting with angle θ, we can write the initial term as z_0 = \exp(i\theta) so that z_n = \exp(i2^n\theta). This makes the successive doubling of the angle clear. (This is equivalent to the relation z_n = \cos(2^n\theta)+i \sin(2^n\theta).)

Generalisations[edit]

This map is a special case of the complex quadratic map, which has exact solutions for many special cases.[1] The complex map obtained by raising the previous number to any natural number power z_{n+1} = z_n^p is also exactly solvable as z_n = z_0^{p^n}. In the case p = 2, the dynamics can be mapped to the dyadic transformation, as described above, but for p > 2, we obtain a shift map in the number base p. For example, p = 10 is a decimal shift map.

See also[edit]

References[edit]

  1. ^ M. Little, D. Heesch (2004), Chaotic root-finding for a small class of polynomials, Journal of Difference Equations and Applications, 10(11):949–953.