Fractals/Iterations in the complex plane/petal

Petal of the Leau-Fatou flower

definition of the petal


"The petals ... are interesting not only because they give a rather good intuitive idea of the dynamics that arise near a parabolic point, but also because that the dynamic of f0 on a petal can be linearized, i.e., it is conjugated to the shift map T of C defined by T(w) := w + 1." (Laurea Triennale )


 * There is no unified definition of petals
 * "The petals are Jordan domains invariant by $$f^q$$" R PEREZ-MARCO (where q is a child period. and parabolic c parameter is a root point between parent and child component of Mandelbrot set)
 * Petal is trap which captures any orbit tending to parabolic point
 * petal is a part of the flower

Petal of a flower can be:
 * attracting / repelling
 * small/alfa/big/ (small attracting petals do not ovelap with repelling petals, but big do)

Each petal is invariant under f^period. In other words it is mapped to itself by f^period.

Attracting petal P is a:
 * Each petal is invariant under $$f^n $$. In other words it is mapped to itself by $$f^n $$: $$f^n(\overline{P}) \subset P \cup \left\{ p \right\} $$
 * domain (topological disc) containing:
 * parabolic periodic point p in its boundary $$\overline{P} \ni \left\{ p \right\} $$ (precisely in its root, which is a common points of all attracting and repelling petals = center of the Lea-Fatou flower)
 * critical point or it's n=period images on the other side (only small ??)
 * trap which captures any orbit tending to parabolic point
 * set contained inside component of filled-in Julia set. The attracting petals of parabolic fixed point are contained in it's basin of attraction
 * " ... is maximal with respect to this property. This preferred petal P max always has one or more critical points on its boundary."
 * "an attracting petal is the interior of an analytic curve which lies entirely in the Fatou set, has the right tangency property at the fixed point, and is mapped into its interior by the correct power of the map" Scott Sutherland
 * "... an attracting petal is a set of points in a sufficient small disk around the periodic point whose forward orbits always remain in the disk under powers of return map." (W P Thurston: On the geometry and dynamics of Iterated rational maps)

Petals $$P_j$$ are symmetric with respect to the d-1 directions:

$$ arg(z) = \frac{2 \Pi l}{d - 1}  $$

where:
 * d is (to do)
 * l is from 0 to d-2

Petals can have different size.

If $$\lambda^n = 1 $$ then Julia set should approach parabolic periodic point in n directions, between n petals.

"Using the language of holomorphic dynamics, people would say that you are studying the dynamics of a polynomial near the parabolic fixed point $$z=0$$. By a simple linear change of variables, the study of any such parabolic fixed point can be reduced to the study of $$z \mapsto z+z^{2}+O(z^3)$$. Then you can apply another change $$w=-\frac{1}{z}$$. Thus you are reduced to the study of $$f(w)=w+1+O(1/w)$$. If the real part $Re(w)$ is large enough you will obtain $$f^{n}(w)=w+n+O(\log n)$$. This will give you what you want (when going back to the z-variable).

The domain $$Re(w)>R$$ (for large $$R$$) looks like some kind of cardioid (in your particular case) when you visualize it in the z-variable (it's poetically called an attracting petal)." Sylvain Bonnot

Constructing the petal


Trap parameters:
 * shape
 * center
 * size

How to choose size of attracting trap such that level curves cross at critical point ?

Target set for the components for child period:
 * 1 and 2 target set can be circle with parabolic fixed point on it's boundary ( target set is inside component )
 * for period 3 and higher ( p > 2) target set is a triangle fragment of the circle with center at parabolic fixed point.

0/1 or 1/1
First attracting petal is a circle with:
 * center on the x axis
 * radius = (cabs(zf) + cabs(z))/2

Other (bigger) attracting petals are preimages of first petal which include first petal.

where:
 * z is the last point of critical orbit.
 * zf is a fixed point.

1/2
circular attracting petal:
 * center is between fixed point and critical point.
 * radius smaller than half of the distance between fixed and critical point.

1/3
Method by Scott Sutherland:
 * choose the connected component containing the critical point
 * find an analytic curve which lies entirely in the Fatou set, has the right tangency property at the fixed point, and is mapped into its interior by the correct power of the map
 * the other two are just the image of this curve under the first and second iterates.

Number of petals


For quadratic polynomials:

Multiplicity = ParentPeriod + ChildPeriod

NumberOfPetals = multiplicity - ParentPeriod

It is because in parabolic case fixed point coincidence with periodic cycle. Length of cycle (child period) is equal to number of petals.

For other polynomial maps:

For f(z)= -z+z^(p+1) parabolic flower has:
 * 2p petals for p odd
 * p petals for p even

... (to do)