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

edit
"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."[1] 

Perturbation

edit

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

edit
  • type 1 and 2 = on the hyperbolic component ( parent component)[2]
  • type 3 and 4 = on the satellite ( child component)

type 1 on the main cardioid

edit
  • 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

edit
  • 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 then 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

edit

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)

edit

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

edit

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

edit

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

edit

References

edit
  1. The renormalization for parabolic fixed points and their perturbation by Hiroyuki Inou and Mitsuhiro Shishikura. May 5, 2006
  2. Dan Erik Krarup Sorensen: Complex Dynamical Systems: Rays and non-local connectivity. Ph. D. Thesis 1994, Mathematical Insitute TUD