Quadratic polynomial
Acomplex quadratic polynomial is aquadratic polynomial whosecoefficients andvariable arecomplex numbers .
Quadratic polynomials have the following properties, regardless of the form:
It is a unicritical polynomial, i.e. it has onefinite critical point in the complex plane, Dynamical plane consist of maximally 2 basins: the basin of infinity and basin of the finite critical point (if the finite critical point does not escape) It can bepostcritically finite , i.e. the orbit of the critical point can be finite, because the critical point is periodic or preperiodic.[ 1] It is aunimodal function , It is arational function , It is anentire function . When the quadratic polynomial has only one variable (univariate ), one can distinguish its four main forms:
Themonic and centered form has been studied extensively, and has the following properties:
The lambda formf λ ( z ) = z 2 + λ z {\displaystyle f_{\lambda }(z)=z^{2}+\lambda z} is:
Sincef c ( x ) {\displaystyle f_{c}(x)} isaffine conjugate to the general form of the quadratic polynomial it is often used to studycomplex dynamics and to create images ofMandelbrot ,Julia andFatou sets .
When one wants change fromθ {\displaystyle \theta } toc {\displaystyle c} :[ 2]
c = c ( θ ) = e 2 π θ i 2 ( 1 − e 2 π θ i 2 ) . {\displaystyle c=c(\theta )={\frac {e^{2\pi \theta i}}{2}}\left(1-{\frac {e^{2\pi \theta i}}{2}}\right).} When one wants change fromr {\displaystyle r} toc {\displaystyle c} , the parameter transformation is[ 5]
c = c ( r ) = 1 − ( r − 1 ) 2 4 = − r 2 ( r − 2 2 ) {\displaystyle c=c(r)={\frac {1-(r-1)^{2}}{4}}=-{\frac {r}{2}}\left({\frac {r-2}{2}}\right)} and the transformation between the variables inz t + 1 = z t 2 + c {\displaystyle z_{t+1}=z_{t}^{2}+c} andx t + 1 = r x t ( 1 − x t ) {\displaystyle x_{t+1}=rx_{t}(1-x_{t})} is
z = r ( 1 2 − x ) . {\displaystyle z=r\left({\frac {1}{2}}-x\right).} There is semi-conjugacy between thedyadic transformation (the doubling map) and the quadratic polynomial case ofc = –2.
Heref n {\displaystyle f^{n}} denotes then -thiterate of the functionf {\displaystyle f} :
f c n ( z ) = f c 1 ( f c n − 1 ( z ) ) {\displaystyle f_{c}^{n}(z)=f_{c}^{1}(f_{c}^{n-1}(z))} so
z n = f c n ( z 0 ) . {\displaystyle z_{n}=f_{c}^{n}(z_{0}).} Because of the possible confusion with exponentiation, some authors writef ∘ n {\displaystyle f^{\circ n}} for then th iterate off {\displaystyle f} .
The monic and centered formf c ( x ) = x 2 + c {\displaystyle f_{c}(x)=x^{2}+c} can be marked by:
the parameterc {\displaystyle c} the external angleθ {\displaystyle \theta } of the ray that lands:atc in Mandelbrot set on the parameter plane on the critical value:z =c in Julia set on the dynamic plane so :
f c = f θ {\displaystyle f_{c}=f_{\theta }} c = c ( θ ) {\displaystyle c=c({\theta })} Examples:
The monic and centered form, sometimes called theDouady-Hubbard family of quadratic polynomials ,[ 6] is typically used with variablez {\displaystyle z} andparameter c {\displaystyle c} :
f c ( z ) = z 2 + c . {\displaystyle f_{c}(z)=z^{2}+c.} When it is used as anevolution function of thediscrete nonlinear dynamical system
z n + 1 = f c ( z n ) {\displaystyle z_{n+1}=f_{c}(z_{n})} it is named thequadratic map :[ 7]
f c : z → z 2 + c . {\displaystyle f_{c}:z\to z^{2}+c.} TheMandelbrot set is the set of values of the parameterc for which the initial conditionz 0 = 0 does not cause the iterates to diverge to infinity.
Acritical point off c {\displaystyle f_{c}} is a pointz c r {\displaystyle z_{cr}} onthe dynamical plane such that thederivative vanishes:
f c ′ ( z c r ) = 0. {\displaystyle f_{c}'(z_{cr})=0.} Since
f c ′ ( z ) = d d z f c ( z ) = 2 z {\displaystyle f_{c}'(z)={\frac {d}{dz}}f_{c}(z)=2z} implies
z c r = 0 , {\displaystyle z_{cr}=0,} we see that the only (finite) critical point off c {\displaystyle f_{c}} is the pointz c r = 0 {\displaystyle z_{cr}=0} .
z 0 {\displaystyle z_{0}} is an initial point forMandelbrot set iteration.[ 8]
For the quadratic familyf c ( z ) = z 2 + c {\displaystyle f_{c}(z)=z^{2}+c} the critical point z = 0 is thecenter of symmetry of theJulia set Jc, so it is aconvex combination of two points in Jc.[ 9]
Extended complex plane [ edit ] In theRiemann sphere polynomial has 2d-2 critical points. Here zero andinfinity are critical points.
Acritical value z c v {\displaystyle z_{cv}} off c {\displaystyle f_{c}} is the image of a critical point:
z c v = f c ( z c r ) {\displaystyle z_{cv}=f_{c}(z_{cr})} Since
z c r = 0 {\displaystyle z_{cr}=0} we have
z c v = c {\displaystyle z_{cv}=c} So the parameterc {\displaystyle c} is the critical value off c ( z ) {\displaystyle f_{c}(z)} .
Critical level curves [ edit ] A critical level curve the level curve which contain critical point. It acts as a sort of skeleton[ 10] of dynamical plane
Example : level curves cross atsaddle point , which is a special type of critical point.
Critical limit set is the set of forward orbit of all critical points
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 Theforward orbit of a critical point is called acritical orbit . Critical orbits are very important because every attractingperiodic orbit attracts a critical point, so studying the critical orbits helps us understand the dynamics in theFatou set .[ 11] [ 12] [ 13]
z 0 = z c r = 0 {\displaystyle z_{0}=z_{cr}=0} z 1 = f c ( z 0 ) = c {\displaystyle z_{1}=f_{c}(z_{0})=c} z 2 = f c ( z 1 ) = c 2 + c {\displaystyle z_{2}=f_{c}(z_{1})=c^{2}+c} z 3 = f c ( z 2 ) = ( c 2 + c ) 2 + c {\displaystyle z_{3}=f_{c}(z_{2})=(c^{2}+c)^{2}+c} ⋮ {\displaystyle \ \vdots } This orbit falls into anattracting periodic cycle if one exists.
Thecritical sector is a sector of the dynamical plane containing the critical point.
Critical set is a set of critical points
Critical polynomial [ edit ] P n ( c ) = f c n ( z c r ) = f c n ( 0 ) {\displaystyle P_{n}(c)=f_{c}^{n}(z_{cr})=f_{c}^{n}(0)} so
P 0 ( c ) = 0 {\displaystyle P_{0}(c)=0} P 1 ( c ) = c {\displaystyle P_{1}(c)=c} P 2 ( c ) = c 2 + c {\displaystyle P_{2}(c)=c^{2}+c} P 3 ( c ) = ( c 2 + c ) 2 + c {\displaystyle P_{3}(c)=(c^{2}+c)^{2}+c} These polynomials are used for:
finding centers of these Mandelbrot set components of periodn . Centers areroots ofn -th critical polynomials centers = { c : P n ( c ) = 0 } {\displaystyle {\text{centers}}=\{c:P_{n}(c)=0\}} M n , k = { c : P k ( c ) = P k + n ( c ) } {\displaystyle M_{n,k}=\{c:P_{k}(c)=P_{k+n}(c)\}} Critical curves Diagrams of critical polynomials are calledcritical curves .[ 14]
These curves create the skeleton (the dark lines) of abifurcation diagram .[ 15] [ 16]
One can use the Julia-Mandelbrot 4-dimensional (4D) space for a global analysis of this dynamical system.[ 17]
w -plane andc -planeIn this space there are two basic types of 2D planes:
There is also another plane used to analyze such dynamical systemsw -plane :
the conjugation plane[ 18] model plane[ 19] Thephase space of a quadratic map is called itsparameter plane . Here:
z 0 = z c r {\displaystyle z_{0}=z_{cr}} is constant andc {\displaystyle 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:
There are many different subtypes of the parameter plane.[ 21] [ 22]
Multiplier map See also :
Boettcher map which maps exterior of Mandelbrot set to the exterior of unit discmultiplier map which maps interior of hyperbolic component of Mandelbrot set to the interior of unit disc "The polynomial Pc maps each dynamical ray to another ray doubling the angle (which we measure in full turns, i.e. 0 = 1 = 2π rad = 360°), and the dynamical rays of any polynomial "look like straight rays" near infinity. This allows us to study the Mandelbrot and Julia sets combinatorially, replacing the dynamical plane by the unit circle, rays by angles, and the quadratic polynomial by the doubling modulo one map." Virpi Kauko[ 23]
On the dynamical plane one can find:
The dynamical plane consists of:
Here,c {\displaystyle c} is a constant andz {\displaystyle z} is a variable.
The two-dimensional dynamical plane can be treated as aPoincaré cross-section of three-dimensional space of continuous dynamical system.[ 24] [ 25]
Dynamicalz -planes can be divided into two groups:
The extended complex plane plus apoint at infinity
First derivative with respect toc [ edit ] On the parameter plane:
The firstderivative off c n ( z 0 ) {\displaystyle f_{c}^{n}(z_{0})} with respect toc is
z n ′ = d d c f c n ( z 0 ) . {\displaystyle z_{n}'={\frac {d}{dc}}f_{c}^{n}(z_{0}).} This derivative can be found byiteration starting with
z 0 ′ = d d c f c 0 ( z 0 ) = 1 {\displaystyle z_{0}'={\frac {d}{dc}}f_{c}^{0}(z_{0})=1} and then replacing at every consecutive step
z n + 1 ′ = d d c f c n + 1 ( z 0 ) = 2 ⋅ f c n ( z ) ⋅ d d c f c n ( z 0 ) + 1 = 2 ⋅ z n ⋅ z n ′ + 1. {\displaystyle 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 thechain rule for the derivative.
This derivative is used in thedistance estimation method for drawing a Mandelbrot set .
First derivative with respect toz [ edit ] On the dynamical plane:
At afixed point z 0 {\displaystyle z_{0}} ,
f c ′ ( z 0 ) = d d z f c ( z 0 ) = 2 z 0 . {\displaystyle f_{c}'(z_{0})={\frac {d}{dz}}f_{c}(z_{0})=2z_{0}.} At aperiodic point z 0 of periodp the first derivative of a function
( f c p ) ′ ( z 0 ) = d d z f c p ( z 0 ) = ∏ i = 0 p − 1 f c ′ ( z i ) = 2 p ∏ i = 0 p − 1 z i = λ {\displaystyle (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λ {\displaystyle \lambda } and referred to as the multiplier or the Lyapunov characteristic number. Itslogarithm is known as the Lyapunov exponent. Absolute value of multiplier is used to check thestability ofperiodic (also fixed) points .
At anonperiodic point , the derivative, denoted byz n ′ {\displaystyle z'_{n}} , can be found byiteration starting with
z 0 ′ = 1 , {\displaystyle z'_{0}=1,} and then using
z n ′ = 2 ∗ z n − 1 ∗ z n − 1 ′ . {\displaystyle z'_{n}=2*z_{n-1}*z'_{n-1}.} This derivative is used for computing the external distance to the Julia set.
Schwarzian derivative [ edit ] TheSchwarzian derivative (SD for short) off is:[ 26]
( S f ) ( z ) = f ‴ ( z ) f ′ ( z ) − 3 2 ( f ″ ( z ) f ′ ( z ) ) 2 . {\displaystyle (Sf)(z)={\frac {f'''(z)}{f'(z)}}-{\frac {3}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}.} ^ Poirier, Alfredo (1993). "On postcritically finite polynomials, part 1: Critical portraits".arXiv :math/9305207 . ^a b "Michael Yampolsky, Saeed Zakeri : Mating Siegel quadratic polynomials" (PDF) .^ Bodil Branner : Holomorphic dynamical systems in the complex plane. Mat-Report No 1996-42. Technical University of Denmark^ Dynamical Systems and Small Divisors, Editors: Stefano Marmi, Jean-Christophe Yoccoz, page 46 ^ "Show that the familiar logistic map $x_{n+1} = sx_n(1 - x_n)$, can be recoded into the form $x_{n+1} = x_n^2 + c$" .Mathematics Stack Exchange .^ 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" .mathworld.wolfram.com . ^ Java program by Dieter Röß showing result of changing initial point of Mandelbrot iterations Archived 26 April 2012 at theWayback Machine ^ "Convex Julia sets" .MathOverflow .^ Richards, Trevor (11 May 2015). "Conformal equivalence of analytic functions on compact sets".arXiv :1505.02671v1 [math.CV ]. ^ M. Romera Archived 22 June 2008 at theWayback Machine ,G. Pastor Archived 1 May 2008 at theWayback Machine , and F. Montoya :Multifurcations in nonhyperbolic fixed points of the Mandelbrot map. Archived 11 December 2009 at theWayback Machine Fractalia Archived 19 September 2008 at theWayback Machine 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" .Khan Academy .^ The Road to Chaos is Filled with Polynomial Curvesby 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 . Archived fromthe original on 5 December 2009. Retrieved2 December 2009 .^ "M. Romera, G. Pastor and F. Montoya, "Misiurewicz points in one-dimensional quadratic maps", Physica A, 232 (1996), 517-535. Preprint" (PDF) . Archived fromthe original (PDF) on 2 October 2006.^ "Julia-Mandelbrot Space, Mu-Ency at MROB" .www.mrob.com .^ 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 ^ Rempe, Lasse; Schleicher, Dierk (12 May 2008). "Bifurcation Loci of Exponential Maps and Quadratic Polynomials: Local Connectivity, Triviality of Fibers, and Density of Hyperbolicity".arXiv :0805.1658 [math.DS ]. ^ "Julia and Mandelbrot sets, alternate planes" .aleph0.clarku.edu .^ "Exponential Map, Mu-Ency at MROB" .mrob.com .^ Trees of visible components in the Mandelbrot set by Virpi K a u k o , FUNDAM E N TA MATHEMATICAE 164 (2000) ^ "The Mandelbrot Set is named after mathematician Benoit B" .www.sgtnd.narod.ru .^ Moehlis, Kresimir Josic, Eric T. Shea-Brown (2006) Periodic orbit. Scholarpedia ,^ "Lecture Notes | Mathematical Exposition | Mathematics" .MIT OpenCourseWare .
Concepts
Theoretical branches Chaotic maps (list )
Physical systems Chaos theorists Related articles