Complex quadratic polynomial

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

Forms

When the quadratic polynomial has only one variable (univariate), one can distinguish its 4 main forms:

The general form: $f(x)=a_{2}x^{2}+a_{1}x+a_{0}\qquad \,$ where $\qquad a_{2}\neq 0$
The factored form used for logistic map $f_{r}(x)=rx(1-x)\,$
$f_{{\theta }}(x)=x^{2}+e^{{2\pi \theta i}}x\,$ which has an indifferent fixed point with multiplier $\lambda =e^{{2\pi \theta i}}\,$ at the origin^[1]
The monic and centered form, $f_{c}(x)=x^{2}+c\,$

The monic and centered form has the following properties:

It is the simplest form of a nonlinear function with one coefficient (parameter),
It is an unicritical polynomial, i.e. it has one critical point,
It is a centered polynomial (the sum of its critical points is zero),^[2]
It can be postcritically finite, i.e. If the orbit of the critical point is finite. It is when critical point is periodic or preperiodic.^[3]
It is a unimodal function,
It is a rational function,
It is an entire function.

Conjugation

Between forms

Since $f_{c}(x)\,$ is affine conjugate to the general form of the quadratic polynomial it is often used to study complex dynamics and to create images of Mandelbrot, Julia and Fatou sets.

When one wants change from $\theta \,$ to $c\,$ :^[4]

c = c(\theta) = \frac {e^{2 \pi \theta i}}{2} \left(1 - \frac {e^{2 \pi \theta i}}{2}\right).

When one wants change from $r\,$ to $c , \,$ the parameter transformation is^[5]

c = c(r)\,=\,\frac{1- (r-1)^2}{4}=-\frac{r}{2}\left(\frac{r-2}{2}\right)

and the transformation between the variables in $z_{t+1}=z_t^2+c$ and $x_{t+1}=rx_t(1-x_t)$ is

z=r\left(\frac{1}{2}-x\right).

With doubling map

There is semi-conjugacy between the dyadic transformation (the doubling map) and the quadratic polynomial case of c = –2.

Map

The monic and centered form, sometimes called the Douady-Hubbard family of quadratic polynomials,^[6] is typically used with variable $z\,$ and parameter $c\,$ :

f_{c}(z)=z^{2}+c.\,

When it is used as an evolution function of the discrete nonlinear dynamical system

z_{{n+1}}=f_{c}(z_{n})\,

it is named the quadratic map:^[7]

f_{c}:z\to z^{2}+c.\,

The Mandelbrot set is the set of values of the parameter c for which the initial condition z₀ = 0 does not cause the iterates to diverge to infinity.

Notation

Here $f^{n}\,$ denotes the n-th iteration of the function $f\,$ (and not exponentiation of the function):

f_{c}^{n}(z)=f_{c}^{1}(f_{c}^{{n-1}}(z))\,

z_{n}=f_{c}^{n}(z_{0}).\,

Because of the possible confusion with exponentiation, some authors write $f^{{\circ n}}\,$ for the nth iterate of the function $f.\,$

Critical items

Critical point

A critical point of $f_{c}\,$ is a point $z_{{cr}}\,$ in the dynamical plane such that the derivative vanishes:

f_{c}'(z_{{cr}})=0.\,

Since

f_{c}'(z)={\frac {d}{dz}}f_{c}(z)=2z

implies

z_{{cr}}=0\,

we see that the only (finite) critical point of $f_{c}\,$ is the point $z_{{cr}}=0\,$ .

$z_{0}$ is an initial point for Mandelbrot set iteration.^[8]

Critical value

A critical value $z_{{cv}}\$ of $f_{c}\,$ is the image of a critical point:

z_{{cv}}=f_{c}(z_{{cr}})\,

Since

z_{{cr}}=0\,

we have

z_{{cv}}=c.\,

So the parameter $c\,$ is the critical value of $f_{c}(z).\,$

Critical orbit

Dynamical plane with critical orbit falling into 3-period cycle

Dynamical plane with Julia set and critical orbit.

Dynamical plane : changes of critical orbit along internal ray of main cardioid for angle 1/6

Critical orbit tending to weakly attracting fixed point with abs(multiplier)=0.99993612384259

The forward orbit of a critical point is called a critical orbit. Critical orbits are very important because every attracting periodic orbit attracts a critical point, so studying the critical orbits helps us understand the dynamics in the Fatou set.^[9]^[10]^[11]

z_{0}=z_{{cr}}=0\,

z_{1}=f_{c}(z_{0})=c\,

z_{2}=f_{c}(z_{1})=c^{2}+c\,

z_{3}=f_{c}(z_{2})=(c^{2}+c)^{2}+c\,

...\,

This orbit falls into an attracting periodic cycle if one exists.

Wikimedia Commons has media related to Category:Critical orbits.

Critical sector

The critical sector is a sector of the dynamical plane containing the critical point.

Critical polynomial

P_{n}(c)=f_{c}^{n}(z_{{cr}})=f_{c}^{n}(0)\,

P_{0}(c)=0\,

P_{1}(c)=c\,

P_{2}(c)=c^{2}+c\,

P_{3}(c)=(c^{2}+c)^{2}+c\,

These polynomials are used for:

finding centers of these Mandelbrot set components of period n. Centers are roots of n-th critical polynomials

centers=\{c:P_{n}(c)=0\}\,

finding roots of Mandelbrot set components of period n (local minimum of $P_{n}(c)\,$ )
Misiurewicz points

M_{{n,k}}=\{c:P_{k}(c)=P_{{k+n}}(c)\}\,

Critical curves

Diagrams of critical polynomials are called critical curves.^[12]

These curves create the skeleton (the dark lines) of a bifurcation diagram.^[13]^[14]

Planes

w-plane and c-plane

One can use the Julia-Mandelbrot 4-dimensional space for a global analysis of this dynamical system.^[15]

In this space there are 2 basic types of 2-D planes:

the dynamical (dynamic) plane, $f_{c}\,$ -plane or c-plane
the parameter plane or z-plane

There is also another plane used to analyze such dynamical systems w-plane:

the conjugation plane^[16]
model plane^[17]

Parameter plane

Gamma parameter plane for complex logistic map

z_{{n+1}}=\gamma z_{n}\left(1-z_{n}\right),

The phase space of a quadratic map is called its parameter plane. Here:

$z_0 = z_{cr} \,$ is constant and $c\,$ is variable.

There is no dynamics here. It is only a set of parameter values. There are no orbits on the parameter plane.

The parameter plane consists of:

The Mandelbrot set
- The bifurcation locus = boundary of Mandelbrot set
- Bounded hyperbolic components of the Mandelbrot set = interior of Mandelbrot set^[18]

There are many different subtypes of the parameter plane.^[19]^[20]

Dynamical plane

On the dynamical plane one can find:

The Julia set
The Filled Julia set
The Fatou set
Orbits

The dynamical plane consists of:

Here, $c\,$ is a constant and $z\,$ is a variable.

The two-dimensional dynamical plane can be treated as a Poincaré cross-section of three-dimensional space of continuous dynamical system.^[21]^[22]

Dynamical z-planes can be divided in two groups :

$f_{0}$ plane for $c=0$ ( see complex squaring map )
$f_{c}$ planes ( all other planes for $c\neq 0$ )

Derivatives

Derivative with respect to c

On the parameter plane:

$c$ is a variable
$z_{0}=0$ is constant

The first derivative of $f_{c}^{n}(z_{0})$ with respect to c is

z_{n}'={\frac {d}{dc}}f_{c}^{n}(z_{0}).

This derivative can be found by iteration starting with

z_{0}'={\frac {d}{dc}}f_{c}^{0}(z_{0})=1

and then replacing at every consecutive step

z_{{n+1}}'={\frac {d}{dc}}f_{c}^{{n+1}}(z_{0})=2\cdot {}f_{c}^{n}(z)\cdot {\frac {d}{dc}}f_{c}^{n}(z_{0})+1=2\cdot z_{n}\cdot z_{n}'+1.

This can easily be verified by using the chain rule for the derivative.

This derivative is used in the distance estimation method for drawing a Mandelbrot set.

Derivative with respect to z

On the dynamical plane:

$z$ is a variable;
$c$ is a constant.

At a fixed point $z_0\, ,$

f_c'(z_0) = \frac{d}{dz}f_c(z_0) = 2z_0 .

At a periodic point z₀ of period p the first derivative of a function

(f_{c}^{p})'(z_{0})={\frac {d}{dz}}f_{c}^{p}(z_{0})=\prod _{i=0}^{p-1}f_{c}'(z_{i})=2^{p}\prod _{i=0}^{p-1}z_{i}=\lambda

is often represented by $\lambda$ and referred to as the multiplier or the Lyapunov characteristic number. It's logarithm is known as the Lyapunov exponent. It used to check the stability of periodic (also fixed) points.

At a nonperiodic point, the derivative, denoted by $z'_n, \,$ can be found by iteration starting with

z'_0 = 1, \,

and then using

z'_n= 2*z_{n-1}*z'_{n-1}. \,

This derivative is used for computing the external distance to the Julia set.

Schwarzian derivative

The Schwarzian derivative (SD for short) of f is:^[23]

(Sf)(z)={\frac {f'''(z)}{f'(z)}}-{\frac {3}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}

References

↑ Michael Yampolsky, Saeed Zakeri : Mating Siegel quadratic polynomials.
↑ Bodil Branner: Holomorphic dynamical systems in the complex plane. Mat-Report No 1996-42. Technical University of Denmark
↑ Alfredo Poirier : On Post Critically Finite Polynomials Part One: Critical Portraits
↑ Michael Yampolsky, Saeed Zakeri : Mating Siegel quadratic polynomials.
↑ stackexchange questions : Show that the familiar logistic map ...
↑ Yunping Jing : Local connectivity of the Mandelbrot set at certain infinitely renormalizable points Complex Dynamics and Related Topics, New Studies in Advanced Mathematics, 2004, The International Press, 236-264
↑ Weisstein, Eric W. "Quadratic Map." From MathWorld--A Wolfram Web Resource
↑ Java program by Dieter Röß showing result of changing initial point of Mandelbrot iterations
↑ M. Romera, G. Pastor, and F. Montoya : Multifurcations in nonhyperbolic fixed points of the Mandelbrot map. Fractalia 6, No. 21, 10-12 (1997)
↑ Burns A M : Plotting the Escape: An Animation of Parabolic Bifurcations in the Mandelbrot Set. Mathematics Magazine, Vol. 75, No. 2 (Apr., 2002), pp. 104-116
↑ Khan Academy : Mandelbrot Spirals 2
↑ The Road to Chaos is Filled with Polynomial Curves by Richard D. Neidinger and R. John Annen III. American Mathematical Monthly, Vol. 103, No. 8, October 1996, pp. 640-653
↑ Hao, Bailin (1989). Elementary Symbolic Dynamics and Chaos in Dissipative Systems. World Scientific. ISBN 9971-5-0682-3.
↑ M. Romera, G. Pastor and F. Montoya, "Misiurewicz points in one-dimensional quadratic maps", Physica A, 232 (1996), 517-535. Preprint
↑ Julia-Mandelbrot Space at Mu-ency by Robert Munafo
↑ Carleson, Lennart, Gamelin, Theodore W.: Complex Dynamics Series: Universitext, Subseries: Universitext: Tracts in Mathematics, 1st ed. 1993. Corr. 2nd printing, 1996, IX, 192 p. 28 illus., ISBN 978-0-387-97942-7
↑ Holomorphic motions and puzzels by P Roesch
↑ Lasse Rempe, Dierk Schleicher : Bifurcation Loci of Exponential Maps and Quadratic Polynomials: Local Connectivity, Triviality of Fibers, and Density of Hyperbolicity
↑ Alternate Parameter Planes by David E. Joyce
↑ exponentialmap by Robert Munafo
↑ Mandelbrot set by Saratov group of theoretical nonlinear dynamics
↑ Moehlis, Kresimir Josic, Eric T. Shea-Brown (2006) Periodic orbit. Scholarpedia,
↑ The Schwarzian Derivative & the Critical Orbit by Wes McKinney 18.091 20 April 2005

External links

Wikimedia Commons has media related to Category:Complex quadratic map.

Chaos theory

Chaos theory	Anosov diffeomorphism Bifurcation theory Butterfly effect Chaos theory in organizational development Complexity Control of chaos Dynamical system Edge of chaos Fractal Predictability Quantum chaos Santa Fe Institute Synchronization of chaos Unintended consequences

Chaotic maps (list)	Arnold tongue Arnold's cat map Baker's map Complex quadratic map Complex squaring map Coupled map lattice Double pendulum Double scroll attractor Duffing equation Duffing map Dyadic transformation Dynamical billiards outer Exponential map Gauss map Gingerbreadman map Hénon map Horseshoe map Ikeda map Interval exchange map Kaplan–Yorke map Logistic map Lorenz system Multiscroll attractor Rabinovich–Fabrikant equations Rössler attractor Standard map Swinging Atwood's machine Tent map Tinkerbell map Van der Pol oscillator Zaslavskii map

Chaos systems	Bouncing ball dynamics Chua's circuit Economic bubble Tilt-A-Whirl

Chaos theorists	Michael Berry Leon O. Chua Mitchell Feigenbaum Martin Gutzwiller Brosl Hasslacher Michel Hénon Edward Norton Lorenz Aleksandr Lyapunov Benoît Mandelbrot Henri Poincaré Otto Rössler David Ruelle Oleksandr Mykolaiovych Sharkovsky Floris Takens James A. Yorke

This article is issued from Wikipedia - version of the 8/13/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.