# Complex quadratic polynomial

Last updated

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

## Properties

Quadratic polynomials have the following properties, regardless of the form:

## Forms

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

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

The monic and centered form has been studied extensively, and has the following properties:

The lambda form ${\displaystyle f_{\lambda }(z)=z^{2}+\lambda z}$ is:

• the simplest non-trivial perturbation of unperturbated system ${\displaystyle z\mapsto \lambda z}$
• "the first family of dynamical systems in which explicit necessary and sufficient conditions are known for when a small divisor problem is stable" [4]

## Conjugation

### Between forms

Since ${\displaystyle 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 ${\displaystyle \theta }$ to ${\displaystyle c}$: [5]

${\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 from ${\displaystyle r}$ to ${\displaystyle c}$, the parameter transformation is [6]

${\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 in ${\displaystyle z_{t+1}=z_{t}^{2}+c}$ and ${\displaystyle x_{t+1}=rx_{t}(1-x_{t})}$ is

${\displaystyle 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.

## Notation

### Iteration

Here ${\displaystyle f^{n}}$ denotes the n-th iterate of the function ${\displaystyle f}$:

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

so

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

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

### Parameter

The monic and centered form ${\displaystyle f_{c}(x)=x^{2}+c}$ can be marked by:

• the parameter ${\displaystyle c}$
• the external angle ${\displaystyle \theta }$ of the ray that lands:
• at c in M on the parameter plane
• at z = c in J(f) on the dynamic plane

so :

${\displaystyle f_{c}=f_{\theta }}$
${\displaystyle c=c({\theta })}$

### Map

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

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

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

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

it is named the quadratic map : [8]

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

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

## Critical items

### Critical points

#### complex plane

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

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

Since

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

implies

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

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

${\displaystyle z_{0}}$ is an initial point for Mandelbrot set iteration. [9]

#### extended complex plane

In the Riemann sphere polynomial has 2d-2 critical points. Here zere and infinity are critical points.

### Critical value

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

${\displaystyle z_{cv}=f_{c}(z_{cr})}$

Since

${\displaystyle z_{cr}=0}$

we have

${\displaystyle z_{cv}=c.}$

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

### Critical level curves

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 at saddle point, which is a special type of critical point.

### Critical limit set

Critical limit set is the set of forward orbit of all critical points

### Critical orbit

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. [11] [12] [13]

${\displaystyle z_{0}=z_{cr}=0}$
${\displaystyle z_{1}=f_{c}(z_{0})=c}$
${\displaystyle z_{2}=f_{c}(z_{1})=c^{2}+c}$
${\displaystyle z_{3}=f_{c}(z_{2})=(c^{2}+c)^{2}+c}$
${\displaystyle \ \vdots }$

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

### Critical sector

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

### Critical set

Critical set is a set of critical points

### Critical polynomial

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

so

${\displaystyle P_{0}(c)=0}$
${\displaystyle P_{1}(c)=c}$
${\displaystyle P_{2}(c)=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 period n. Centers are roots of n-th critical polynomials
${\displaystyle {\text{centers}}=\{c:P_{n}(c)=0\}}$
• finding roots of Mandelbrot set components of period n (local minimum of ${\displaystyle P_{n}(c)}$)
• Misiurewicz points
${\displaystyle M_{n,k}=\{c:P_{k}(c)=P_{k+n}(c)\}}$

### Critical curves

Diagrams of critical polynomials are called critical curves. [14]

These curves create the skeleton (the dark lines) of a bifurcation diagram. [15] [16]

## Spaces, planes

### 4D space

One can use the Julia-Mandelbrot 4-dimensional (4D) space for a global analysis of this dynamical system. [17]

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

• the dynamical (dynamic) plane, ${\displaystyle 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 [18]
• model plane [19]

#### 2D Parameter plane

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

${\displaystyle z_{0}=z_{cr}}$ is constant and ${\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]

• Boettcher map which maps exterior of Mandelbrot set to the exterior of unit disc
• multiplier map which maps interior of hyperbolic component of Mandelbrot set to the interior of unit disc

#### 2D Dynamical plane

"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, ${\displaystyle c}$ is a constant and ${\displaystyle 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. [24] [25]

Dynamical z-planes can be divided into two groups:

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

### Riemann sphere

The extended complex plane plus a point at infinity

## Derivatives

### First derivative with respect to c

On the parameter plane:

• ${\displaystyle c}$ is a variable
• ${\displaystyle z_{0}=0}$ is constant

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

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

This derivative can be found by iteration starting with

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

and then replacing at every consecutive step

${\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 the chain rule for the derivative.

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

### First derivative with respect to z

On the dynamical plane:

• ${\displaystyle z}$ is a variable;
• ${\displaystyle c}$ is a constant.

At a fixed point${\displaystyle z_{0}}$,

${\displaystyle f_{c}'(z_{0})={\frac {d}{dz}}f_{c}(z_{0})=2z_{0}.}$

At a periodic point z0 of period p the first derivative of a function

${\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. Its 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 ${\displaystyle z'_{n}}$, can be found by iteration starting with

${\displaystyle z'_{0}=1,}$

and then using

${\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

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

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

## Related Research Articles

In mathematics, an equation is a statement that asserts the equality of two expressions, which are connected by the equals sign "=". The word equation and its cognates in other languages may have subtly different meanings; for example, in French an équation is defined as containing one or more variables, while in English, any equality is an equation.

The Mandelbrot set is the set of complex numbers for which the function does not diverge when iterated from , i.e., for which the sequence , , etc., remains bounded in absolute value. Its definition is credited to Adrien Douady who named it in tribute to the mathematician Benoit Mandelbrot, a pioneer of fractal geometry.

A sphere is a geometrical object in three-dimensional space that is the surface of a ball.

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace who first studied its properties. This is often written as

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

In mathematics, specifically bifurcation theory, the Feigenbaum constants are two mathematical constants which both express ratios in a bifurcation diagram for a non-linear map. They are named after the physicist Mitchell J. Feigenbaum.

An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.

In algebra, a quadratic function, a quadratic polynomial, a polynomial of degree 2, or simply a quadratic, is a polynomial function with one or more variables in which the highest-degree term is of the second degree.

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.

In mathematics, the Schwarzian derivative, named after the German mathematician Hermann Schwarz, is a certain operator that is invariant under all Möbius transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms and hypergeometric functions. It plays an important role in the theory of univalent functions, conformal mapping and Teichmüller spaces.

This article describes periodic points of some complex quadratic maps. A map is a formula for computing a value of a variable based on its own previous value or values; a quadratic map is one that involves the previous value raised to the powers one and two; and a complex map is one in which the variable and the parameters are complex numbers. A periodic point of a map is a value of the variable that occurs repeatedly after intervals of a fixed length.

In mathematics, particularly in dynamical systems, Arnold tongues are a pictorial phenomenon that occur when visualizing how the rotation number of a dynamical system, or other related invariant property thereof, changes according to two or more of its parameters. The regions of constant rotation number have been observed, for some dynamical systems, to form geometric shapes that resemble tongues, in which case they are called Arnold tongues.

The Newton fractal is a boundary set in the complex plane which is characterized by Newton's method applied to a fixed polynomial or transcendental function. It is the Julia set of the meromorphic function which is given by Newton's method. When there are no attractive cycles, it divides the complex plane into regions , each of which is associated with a root of the polynomial, . 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 the Newton method can be very sensitive to its choice of start point.

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.

In mathematics, an orbit portrait is a combinatorial tool used in complex dynamics for understanding the behavior of one-complex dimensional quadratic maps.

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.

In mathematics, a Misiurewicz point is a parameter in the Mandelbrot set for which the critical point is strictly preperiodic. By analogy, the term Misiurewicz point is also used for parameters in a multibrot set where the unique critical point is strictly preperiodic.

Towards the end of the nineteenth century, Sophus Lie introduced the notion of Lie group in order to study the solutions of ordinary differential equations (ODEs). He showed the following main property: the order of an ordinary differential equation can be reduced by one if it is invariant under one-parameter Lie group of point transformations. This observation unified and extended the available integration techniques. Lie devoted the remainder of his mathematical career to developing these continuous groups that have now an impact on many areas of mathematically based sciences. The applications of Lie groups to differential systems were mainly established by Lie and Emmy Noether, and then advocated by Élie Cartan.

In the mathematical discipline known as complex dynamics, the Herman ring is a Fatou component where the rational function is conformally conjugate to an irrational rotation of the standard annulus.

In geophysics and physical geodesy, a geopotential model is the theoretical analysis of measuring and calculating the effects of Earth's gravitational field.

## References

1. Bodil Branner: Holomorphic dynamical systems in the complex plane. Mat-Report No 1996-42. Technical University of Denmark
2. Dynamical Systems and Small Divisors, Editors: Stefano Marmi, Jean-Christophe Yoccoz, page 46
3. 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
4. M. Romera Archived 22 June 2008 at the Wayback Machine , G. Pastor Archived 1 May 2008 at the Wayback Machine , and F. Montoya : Multifurcations in nonhyperbolic fixed points of the Mandelbrot map. Archived 11 December 2009 at the Wayback Machine Fractalia Archived 19 September 2008 at the Wayback Machine 6, No. 21, 10-12 (1997)
5. 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
6. 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
7. Hao, Bailin (1989). Elementary Symbolic Dynamics and Chaos in Dissipative Systems. World Scientific. ISBN   9971-5-0682-3. Archived from the original on 5 December 2009. Retrieved 2 December 2009.
8. 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
9. Holomorphic motions and puzzels by P Roesch
10. Lasse Rempe , Dierk Schleicher : Bifurcation Loci of Exponential Maps and Quadratic Polynomials: Local Connectivity, Triviality of Fibers, and Density of Hyperbolicity