Parabolic fixed point of period p is a landing point of p dynamic external rays. These rays divide neighborhood into curvilinear sectors.
On the main cardioid
Maxima CAS code :
kill(all); remvalue(all); DoublingMap(r):= block([d,n], n:ratnumer(r), d:ratdenom(r), mod(2*n,d)/d)$ GivePeriod (r):= block([rNew, rOld, period, pMax, p], pMax:100, period:0, p:1, rNew:DoublingMap(r), while ((p<pMax) and notequal(rNew,r)) do (rOld:rNew, rNew:DoublingMap(rOld), p:p+1 ), if equal(rNew,r) then period:p, period ); /* f(z) is used as a global function I do not know how to put it as a argument */ GiveOrbit(r0,OrbitLength):= block( [r,Orbit], r:r0, Orbit:[r], for i:1 thru OrbitLength step 1 do ( r:DoublingMap(r), Orbit:endcons(r,Orbit)), return(sort(Orbit)) )$ compile(all); R: 4985538889/17179869183; p: GivePeriod(R); orbit:GiveOrbit(R, p); /* angles around critical point */ e1:first(orbit); e2:last(orbit);
1/p
In the elephant valley[1][2] ( from parameter plane ) it is easy to find rays landing on the roots and dynamic external rays that land on the parabolic fixed point z.
- first choose internal angle (= combinatorial rotation number) : 1/p
- compute pair of parameter rays :
- compute list of p external angles of dynamic rays :
internal angle of main cardioid | parameter c = root point | parameter rays | parabolic fixed point z | dynamic rays |
---|---|---|---|---|
0/1 | (0/1; 1/1) | (1/1) | ||
1/2 | (1/3; 2/3) | (1/3; 2/3) | ||
1/3 | (1/7; 2/7) | (1/7; 2/7; 4/7) | ||
1/4 | (1/15; 2/15) | (1/15; 2/15; 4/15; 8/15) | ||
1/5 | (1/31; 2/31) | (1/31; 2/31; 4/31; 8/31; 16/31) | ||
1/6 | (1/63; 2/63) | (1/63; 2/63; 4/63, 8/63, 16/33; 32/63) | ||
1/7 | (1/127; 2/127) | (1/127; 2/127; 4/127, 8/127, 16/127; 32/127; 64/127) | ||
1/p |
Note that :
- internal ray 0/1 = 1/1
- internal angle 1/p means that ray goes from period 1 component ( parent period = 1) to period p component ( child period = p)
- as child period grows computations are harder
- exponential growth[3] of . One can easly create a numeric value that is too large to be represented within the available storage space ( integer overflow[4] ). For example is to big for short ( 16 bit ) and long ( 32 bit) integer.
n/p
It is not so simple, as in 1/p case, to compute orbit portrait[7] of parabolic fixed point.
Algorithm :
- choose child period p
- compute internal angle ( rational number) = n/p ( where n<p and n/p is ... ( to do ))
- compute denominator of external angle =
- find parameter rays that land on the root point which is on the boundary of main cardioid :
- compute all pairs for periods 1-p
- remove pairs which land not on the main cardioid ( inside < 1/3; 2/3 > wake )
- compute pairs of external angles which are not inside pairs of lower periods (see image on the right )
- choose n-th pair of angles which land on the root point
- switch to dynamic plane : use one angle from pair of parameter rays ( rays with the same angles land on the parabolic fixed point) to compute orbit portrait of parabolic fixed point
Child period 5
From all 15 period five components only 4 components are directly connected to the main cardioid [8]
internal angle of main cardioid | parameter c = root point | parameter rays | parabolic fixed point z | dynamic rays |
---|---|---|---|---|
1/5 | (1/31; 2/31) | (1/31; 2/31; 4/31; 8/31; 16/31) | ||
2/5 | -0.504+0.568 i | (9/31,10/31) | (5/31 , 10/31 , 20/31 , 9/31 , 18/31) | |
3/5 | (21/31,22/31) | (11/31 , 22/31 , 13/31 , 26/31 , 21/31) | ||
4/5 | (29/31,30/31) | (15/31 , 30/31 , 29/31 , 27/31 , 23/31) |
Child period 7
From all 63 period seven components only 6 components are directly connected to the main cardioid [9]
internal angle of main cardioid | parameter c = root point | parameter rays | parabolic fixed point z | dynamic rays |
---|---|---|---|---|
1/7 | (1/127; 2/127) | (1/127; 2/127; 4/127; 8/127; 16/127, 32/127, 64/127) | ||
2/7 | (17/127; 18/127) | (17/127; 34/127; 68/127; 9/127; 18/127, 36/127, 72/127) | ||
3/7 | (42/127; 43/127) | (42/127, 84/127, 82/127, 37/127, 74/127, 21/127, 42/127) | ||
4/7 | (84/127; 85/127) | (84/127, 41/127, 82/127, 37/127, 74/127, 21/127, 42/127) | ||
5/7 | (109/127; 110/127) | (109/127, 91/127, 55/127, 110/127, 93/127, 59/127, 118/127) | ||
6/7 | (125/127; 126/127) | (125/127, 123/127, 119/127, 111/127, 95/127, 63/127, 126/127) |
Child period 34
See image by Arnaud Cheritat [10]
Angles of the wake external rays ( on parameter plane ) in different formats :[11]
There are 8 589 869 055 components of period 34.
External angle landing on the root points :
where denominator d is :
internal angle of main cardioid | parameter c = root point | external angles of the wake (decimal fractions) | external angles of the wake ( binary fractions) | parabolic fixed point z | dynamic rays ( orbit portrait , only numerators) |
---|---|---|---|---|---|
1/34 | (1/d; 2/d) | ||||
13/34 | -0.392571548476155+0.585781365897037i | (4985538889/d ; 4985538890/d) | (p0100101001001010010100100101001001; p0100101001001010010100100101001010) | -0.3695044586103295 ; 0.3368478218232787 | [4985538889,9971077778,2762286373,5524572746,11049145492,4918421801,9836843602,
2493818021,4987636042,9975272084,2770674985,5541349970,11082699940,4985530697, 9971061394,2762253605,5524507210,11049014420,4918159657,9836319314,2492769445, 4985538890,9971077780,2762286377,5524572754,11049145508,4918421833,9836843666, 2493818149,4987636298,9975272596,2770676009,5541352018,11082704036] |
Widest sector ( which incudes critical component ) is :
( 2492769445/17179869183; 11082704036/17179869183 )
Last componet = component to the left of component including critical point zcr = 0.0. This component is almost not changing when iPeriodChild is increasing , see this video
89
34/89
See image by Arnaud Cheritat [12]
Let's find some info using program Mandel by Wolf Jung :
t = 34/89 = 0,382022472 // internal angle = rotational number c = -0.390837354761211 +0.586641524321638 i // Parameter c z = -0.368804231870311 +0.337614334047815 i // fixed point alfa
denominator or external angle ( computed with this program ) :
Location of root point using book program by Claude Heiland-Allen:
1/3 = 0.3333 3/8 = 0,375 8/21 = 0,380952381 21/55 = 0,381818182 34/89 = 0,382022472 13/34 = 0,382352941 5/13 = 0,384615385 2/5 = 0.4 1/2 = 0.5
External angles of rays that land on the root point one can compute with book program by Claude Heiland-Allen :
./mandelbrot_external_angles 53 -3.9089629378291085e-01 5.8676031775674931e-01 89 .(01001010010010100101001001010010010100101001001010010100100101001001010010100100101001001) .(01001010010010100101001001010010010100101001001010010100100101001001010010100100101001010)
Converting to other forms using gmp :
decimal fraction = 179622968672387565806504265 / 618970019642690137449562111
decimal canonical form = 179622968672387565806504265/618970019642690137449562111
binary fraction = 01001010010010100101001001010010010100101001001010010100100101001001010010100100101001001/11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
decimal floating point number : 0.290196557138708685358212600555
decimal fraction = 179622968672387565806504266 / 618970019642690137449562111
decimal canonical form = 179622968672387565806504266/618970019642690137449562111
binary fraction = 01001010010010100101001001010010010100101001001010010100100101001001010010100100101001010/11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
decimal floating point number : 0.290196557138708685358212602171
Note that difference in floating form of external angles :
0.290 196 557 138 708 685 358 212 602 171 0.290 196 557 138 708 685 358 212 600 555
is on 27-th decimal digit after decimal sign
0.(010 010 100 100 101 001 010 010 010 100 100 101 001 010 010 010 100 101 001 001 010 010 010 100 101 001 001 010 010 01) 0.(010 010 100 100 101 001 010 010 010 100 100 101 001 010 010 010 100 101 001 001 010 010 010 100 101 001 001 010 010 10)
and on 88-th binary digit after decimal sign.
Numerators of the orbit portrait ( external angles of rays landing on the fixed point alfa ) :
179622968672387565806504265 179622968672387565806504265 359245937344775131613008530 99521855046860125776454949 199043710093720251552909898 398087420187440503105819796 177204820732190868762077481 354409641464381737524154962 89849263286073337598747813 179698526572146675197495626 359397053144293350394991252 99824086645896563340420393 199648173291793126680840786 399296346583586253361681572 179622673524482369273801033 359245347048964738547602066 99520674455239339645642021 199041348910478679291284042 398082697820957358582568084 177195375999224579715574057 354390751998449159431148114 89811484354208181412734117 179622968708416362825468234 359245937416832725650936468 99521855190975313852310825 199043710381950627704621650 398087420763901255409243300 177204821885112373368924489 354409643770224746737848978 89849267897759356026135845 179698535795518712052271690 359397071591037424104543380 99824123539384710759524649 199648247078769421519049298 399296494157538843038098596 179622968672387548626635081 359245937344775097253270162 99521855046860057056978213 199043710093720114113956426 398087420187440228227912852 177204820732190319006263593 354409641464380638012527186 89849263286071138575492261 179698526572142277150984522 359397053144284554301969044 99824086645878971154375977 199648173291757942308751954 399296346583515884617503908 179622673524341631785445705 359245347048683263570891410 99520674454676389692220709 199041348909352779384441418 398082697818705558768882836 177195375994720980088203561 354390751989441960176407122 89811484336193782903252133 179622968672387565806504266 359245937344775131613008532 99521855046860125776454953 199043710093720251552909906 398087420187440503105819812 177204820732190868762077513 354409641464381737524155026 89849263286073337598747941 179698526572146675197495882 359397053144293350394991764 99824086645896563340421417 199648173291793126680842834 399296346583586253361685668 179622673524482369273809225 359245347048964738547618450 99520674455239339645674789 199041348910478679291349578 398082697820957358582699156 177195375999224579715836201 354390751998449159431672402 89811484354208181413782693 179622968708416362827565386 359245937416832725655130772 99521855190975313860699433 199043710381950627721398866 398087420763901255442797732 177204821885112373436033353 354409643770224746872066706 89849267897759356294571301 179698535795518712589142602 359397071591037425178285204 99824123539384712907008297 199648247078769425814016594 399296494157538851628033188
References
- ↑ muency : elephant valley
- ↑ Visual Guide To Patterns In The Mandelbrot Set by Miqel
- ↑ integer number in wikipedia
- ↑ Integer overflow in wikipedia
- ↑ planetmath : San Marco fractal
- ↑ wikipedia : Douady rabbit
- ↑ wikipedia : orbit portrait
- ↑ Parameter rays of root points of period p components by A Majewski
- ↑ Parameter rays of root points of period p components by A Majewski
- ↑ Arnaud Cheritat - gallery
- ↑ knowledgedoor calculators: convert_a_ratio_of_integers
- ↑ Arnaud Cheritat - gallery