Fractals/Iterations in the complex plane/pperturbation

Parabolic perturbation of a root point is a way of peturbating this root into certains other nearby roots Description "Near a non-degenerate 1-parabolic point z0, the orbits are attracted towards z0 on one side and repelled away on the other side. The parabolic basin of z0 is an open set containing z0 on the boundary and occupies most of area near z0. So the local dynamics is relatively simple. However, once perturbed, it becomes the source of rich and delicate bifurcation phenomena. The points in the basin of unperturbed map can now escape through the “gate” between the bifurcated fixed points, thus new recurrent orbits may be created. These “new” orbits depend extremely sensitively on the perturbation, and this causes a drastic change of dynamics or the discontinuity of Julia sets. Also the perturbation into certain direction, such as z0 turning into irrationally indifferent fixed point (i.e. |λ| = 1 but λ is not a root of unity), can create highly recurrent behavior, which leads into delicate questions, e.g. the linearizability problem or Cremer Julia sets which are not locally connected."The renormalization for parabolic fixed points and their perturbation by Hiroyuki Inou and Mitsuhiro Shishikura. May 5, 2006 Perturbation Take a root point with rational internal argument . It has 2 equal simple continued fraction expansions ( representations): where internal argument is a proper fraction: so first term is equal to zero: when for all the expression is called a simple continued fraction For any n smaller then then length of the expansion ( using one of the 2 equal expansions) is th n-th convergent of x. The convergents are ordered as follows: First order type 1 and 2 = on the hyperbolic component ( parent component)Dan Erik Krarup Sorensen: Complex Dynamical Systems: Rays and non-local connectivity. Ph. D. Thesis 1994, Mathematical Insitute TUD type 3 and 4 = on the satellite ( child component) type 1 on the main cardioid take first ( canonical) cf expansion (with odd length) of t add one denominator a ( natural number): Note: length of the expansion is even: n = 2*m where m is a positive natural number rotation number is a bit less then t: Examples Fat Basilica Julia set and c = -0.75 and c = -0.690059870015044 +0.276026482784614 i. Root point of the wake 5/11 and c = -0.733308614559099 +0.148209926690813 i and c = -0.749816792870443 +0.015628223336210 i and c = -0.749998151299478 +0.001570009708645 i Fat Douady Rabbit and c = -0.125000000000000 +0.649519052838329 i and c = -0.014565020885908 +0.638716461552280 i and c = -0.067170580141901 +0.646596204019795 i and c = -0.118980261815329 +0.649487648552261 i and c = -0.124395662683559 +0.649518736524089 i How to compute t in Maxima CAS ( here ona should add a0 term): (%i3) c:[0,3,5]; (%i7) c5:cfdisrep(c); 1 (%o7) ----- 1 3 + - 5 (%i8) ratsimp(c5); 5 (%o8) -- 16 (%i9) float(c5); (%o9) 0.3125 (%i10) type 2 on the main cardioid take second cf expansion ( even length) add one denominator a ( natural number): Note: length of the expansion is odd: k = n+1 = 2*m+1 where m is a positive natural number rotation number is a bit greater than t: Examples Fat Basilica Julia set and c = -0.75 and c = -0.690059870015044 -0.276026482784614 i and c = -0.733308614559099 -0.148209926690813 i and c = -0.749816792870443 -0.015628223336210 i and c = -0.749998151299478 -0.001570009708645 i Maxima CAS code ( here ona should add a0 term): (%i4) x3:[0,2,1,5]; (%o4) [0, 2, 1, 5] (%i5) cf:cfdisrep(x3); 1 (%o5) --------- 1 2 + ----- 1 1 + - 5 (%i6) ratsimp(cf); 6 (%o6) -- 17 (%i7) Fat Douady Rabbit and c = -0.125000000000000 +0.649519052838329 i and c = -0.232901570671607 +0.639465024433325 i and c = -0.182114258418529 +0.646704689279094 i and c = -0.131011849556424 +0.649487772656967 i and c = -0.125604257709865 +0.649518736649880 i type 3 on the period 2 satellite component Fat Basilica Julia set on main cardioid and c = -0.75 on period 2 component ( internal ray 1/2) is a root point between period 2 and period 2*a and c = -0.922745751406263 +0.237764129073788 i and c = -0.797745751406263 +0.146946313073118 i and c = -0.750493317892932 +0.015697629882328 i and c = -0.750004934785966 +0.001570785991390 i type 3 on the Douady Rabbit satellite ( period 3 component) Fat Douady Rabbit on main cardioid: and c = -0.125000000000000 +0.649519052838329 i on period 3 component with root point on the internal angle = 1/3: is a root point between period 3 and period 3*a and c = -0.035468843775407 +0.713230932890222*I and c = -0.069357410041421 +0.667567542415601*I and c = -0.118968172732931 +0.649711213179649*I and c = -0.124395505045425 +0.649520981010889 i type 4 on the period 2 satellite component Fat Basilica Julia set on main cardioid and c = -0.75 on period 2 component ( internal ray 1/2) where c is a root point between period 2 and period 2*a and c = -0.922745751406263 -0.237764129073788 i and c = -0.797745751406263 -0.146946313073118 i and c = -0.750493317892932 -0.015697629882328 i and c = -0.750004934785966 -0.001570785991390 i type 4 on the Douady Rabbit satellite Fat Douady Rabbit on main cardioid: and c = -0.125000000000000 +0.649519052838329 i on period 3 component with root point on the internal angle = 1/3: where c is a root point between period 3 and period 3*a and c = -0.216358795928715 +0.719846780290728 i and c = -0.182180023389255 +0.668744570272412 i and c = -0.131051918394844 +0.649712528934645 i and c = -0.125604696369978 +0.649520982328093 i Compare perturbation technique in the deep Mandelbrot zoom the parabolic Mandelbrot set M1 = Mandelbrot set -a^2 plane for function having double fixed point of mutiplier = +1 at infinity and critical points at 1 and -1 Carsten Lunde Petersen: Dynamics preserving homeomorphism between M1 and M References Nonconformal perturbations of z -> z 2 + c: the 1:3 resonance, Nonlinearity 17 (2004) 765 - 789 by Henk Bruin and Martijn van Noort