Title: Excel quad iteration
1Excel quad iteration M-set iterator Movie maker
75
2The Fractal Geometry of the Mandelbrot Set
How the computer has revolutionized mathematics
3The Fractal Geometry of the Mandelbrot Set
You need to know
4The Fractal Geometry of the Mandelbrot Set
You need to know
How to count
5The Fractal Geometry of the Mandelbrot Set
You need to know
How to count
How to add
6Many people know the pretty pictures...
7but few know the even prettier mathematics.
8(No Transcript)
9(No Transcript)
10(No Transcript)
11(No Transcript)
12(No Transcript)
13(No Transcript)
14(No Transcript)
15(No Transcript)
16(No Transcript)
17(No Transcript)
18(No Transcript)
19(No Transcript)
20(No Transcript)
21Oh, that's nothing but the 3/4 bulb ....
22...hanging off the period 16 M-set.....
23...lying in the 1/7 antenna...
24...attached to the 1/3 bulb...
25 ...hanging off the 3/7 bulb...
26...on the northwest side of the main cardioid.
27Oh, that's nothing but the 3/4 bulb, hanging
off the period 16 M-set, lying in the 1/7
antenna of the 1/3 bulb attached to the 3/7
bulb on the northwest side of the main cardioid.
28Start with a function
2
x constant
29Start with a function
2
x constant
and a seed
x
0
30Then iterate
2
x x constant
1
0
31Then iterate
2
x x constant
1
0
2
x x constant
2
1
32Then iterate
2
x x constant
1
0
2
x x constant
2
1
2
x x constant
3
2
33Then iterate
2
x x constant
1
0
2
x x constant
2
1
2
x x constant
3
2
2
x x constant
4
3
34Then iterate
2
x x constant
1
0
2
x x constant
2
1
Orbit of x
2
0
x x constant
3
2
2
x x constant
4
3
etc.
Goal understand the fate of orbits.
352
Example x 1 Seed 0
x 0
0
x
1
x
2
x
3
x
4
x
5
x
6
362
Example x 1 Seed 0
x 0
0
x 1
1
x
2
x
3
x
4
x
5
x
6
372
Example x 1 Seed 0
x 0
0
x 1
1
x 2
2
x
3
x
4
x
5
x
6
382
Example x 1 Seed 0
x 0
0
x 1
1
x 2
2
x 5
3
x
4
x
5
x
6
392
Example x 1 Seed 0
x 0
0
x 1
1
x 2
2
x 5
3
x 26
4
x
5
x
6
402
Example x 1 Seed 0
x 0
0
x 1
1
x 2
2
x 5
3
x 26
4
x big
5
x
6
412
Example x 1 Seed 0
x 0
0
x 1
1
x 2
2
x 5
3
x 26
4
x big
5
x BIGGER
6
422
Example x 1 Seed 0
x 0
0
x 1
1
x 2
2
Orbit tends to infinity
x 5
3
x 26
4
x big
5
x BIGGER
6
432
Example x 0 Seed 0
x 0
0
x
1
x
2
x
3
x
4
x
5
x
6
442
Example x 0 Seed 0
x 0
0
x 0
1
x
2
x
3
x
4
x
5
x
6
452
Example x 0 Seed 0
x 0
0
x 0
1
x 0
2
x
3
x
4
x
5
x
6
462
Example x 0 Seed 0
x 0
0
x 0
1
x 0
2
x 0
3
x
4
x
5
x
6
472
Example x 0 Seed 0
x 0
0
x 0
1
x 0
2
A fixed point
x 0
3
x 0
4
x 0
5
x 0
6
482
Example x - 1 Seed 0
x 0
0
x
1
x
2
x
3
x
4
x
5
x
6
492
Example x - 1 Seed 0
x 0
0
x -1
1
x
2
x
3
x
4
x
5
x
6
502
Example x - 1 Seed 0
x 0
0
x -1
1
x 0
2
x
3
x
4
x
5
x
6
512
Example x - 1 Seed 0
x 0
0
x -1
1
x 0
2
x -1
3
x
4
x
5
x
6
522
Example x - 1 Seed 0
x 0
0
x -1
1
x 0
2
x -1
3
x 0
4
x
5
x
6
532
Example x - 1 Seed 0
x 0
0
x -1
1
x 0
2
x -1
A two- cycle
3
x 0
4
x -1
5
x 0
6
542
Example x - 1.1 Seed 0
x 0
0
x
1
x
2
x
3
x
4
x
5
x
6
552
Example x - 1.1 Seed 0
x 0
0
x -1.1
1
x
2
x
3
x
4
x
5
x
6
562
Example x - 1.1 Seed 0
x 0
0
x -1.1
1
x 0.11
2
x
3
x
4
x
5
x
6
572
Example x - 1.1 Seed 0
x 0
0
x -1.1
1
x 0.11
2
x
3
time for the computer!
x
4
x
5
x
6
Excel OrbDgm
58 Observation
For some real values of c, the orbit of 0 goes
to infinity, but for other values, the orbit of
0 does not escape.
59Complex Iteration
2
Iterate z c
complex numbers
602
Example z i Seed 0
z 0
0
z
1
z
2
z
3
z
4
z
5
z
6
612
Example z i Seed 0
z 0
0
z i
1
z
2
z
3
z
4
z
5
z
6
622
Example z i Seed 0
z 0
0
z i
1
z -1 i
2
z
3
z
4
z
5
z
6
632
Example z i Seed 0
z 0
0
z i
1
z -1 i
2
z -i
3
z
4
z
5
z
6
642
Example z i Seed 0
z 0
0
z i
1
z -1 i
2
z -i
3
z -1 i
4
z
5
z
6
652
Example z i Seed 0
z 0
0
z i
1
z -1 i
2
z -i
3
z -1 i
4
z -i
5
z
6
662
Example z i Seed 0
z 0
0
z i
1
z -1 i
2
z -i
3
z -1 i
4
z -i
5
2-cycle
z -1 i
6
672
Example z i Seed 0
i
1
-1
-i
682
Example z i Seed 0
i
1
-1
-i
692
Example z i Seed 0
i
1
-1
-i
702
Example z i Seed 0
i
1
-1
-i
712
Example z i Seed 0
i
1
-1
-i
722
Example z i Seed 0
i
1
-1
-i
732
Example z i Seed 0
i
1
-1
-i
742
Example z i Seed 0
i
1
-1
-i
752
Example z 2i Seed 0
z 0
0
z
1
z
2
z
3
z
4
z
5
z
6
762
Example z 2i Seed 0
z 0
0
z 2i
1
z -4 2i
2
Off to infinity
z 12 - 14i
3
z -52 336i
4
z big
5
z BIGGER
6
77Same observation
Sometimes orbit of 0 goes to infinity, other
times it does not.
78The Mandelbrot Set
All c-values for which the orbit of 0 does NOT
go to infinity.
79Algorithm for computing M
Start with a grid of complex numbers
80Algorithm for computing M
Each grid point is a complex c-value.
81Algorithm for computing M
Compute the orbit of 0 for each c. If the orbit
of 0 escapes, color that grid point.
red fastest escape
82Algorithm for computing M
Compute the orbit of 0 for each c. If the orbit
of 0 escapes, color that grid point.
orange slower
83Algorithm for computing M
Compute the orbit of 0 for each c. If the orbit
of 0 escapes, color that grid point.
yellow green blue violet
84Algorithm for computing M
Compute the orbit of 0 for each c. If the orbit
of 0 does not escape, leave that grid point
black.
85Algorithm for computing M
Compute the orbit of 0 for each c. If the orbit
of 0 does not escape, leave that grid point
black.
86The eventual orbit of 0
87The eventual orbit of 0
88The eventual orbit of 0
3-cycle
89The eventual orbit of 0
3-cycle
90The eventual orbit of 0
3-cycle
91The eventual orbit of 0
3-cycle
92The eventual orbit of 0
3-cycle
93The eventual orbit of 0
3-cycle
94The eventual orbit of 0
3-cycle
95The eventual orbit of 0
3-cycle
96The eventual orbit of 0
3-cycle
97The eventual orbit of 0
98The eventual orbit of 0
99The eventual orbit of 0
4-cycle
100The eventual orbit of 0
4-cycle
101The eventual orbit of 0
4-cycle
102The eventual orbit of 0
4-cycle
103The eventual orbit of 0
4-cycle
104The eventual orbit of 0
4-cycle
105The eventual orbit of 0
4-cycle
106The eventual orbit of 0
4-cycle
107The eventual orbit of 0
108The eventual orbit of 0
109The eventual orbit of 0
5-cycle
110The eventual orbit of 0
5-cycle
111The eventual orbit of 0
5-cycle
112The eventual orbit of 0
5-cycle
113The eventual orbit of 0
5-cycle
114The eventual orbit of 0
5-cycle
115The eventual orbit of 0
5-cycle
116The eventual orbit of 0
5-cycle
117The eventual orbit of 0
5-cycle
118The eventual orbit of 0
5-cycle
119The eventual orbit of 0
5-cycle
120The eventual orbit of 0
2-cycle
121The eventual orbit of 0
2-cycle
122The eventual orbit of 0
2-cycle
123The eventual orbit of 0
2-cycle
124The eventual orbit of 0
2-cycle
125The eventual orbit of 0
fixed point
126The eventual orbit of 0
fixed point
127The eventual orbit of 0
fixed point
128The eventual orbit of 0
fixed point
129The eventual orbit of 0
fixed point
130The eventual orbit of 0
fixed point
131The eventual orbit of 0
fixed point
132The eventual orbit of 0
fixed point
133The eventual orbit of 0
goes to infinity
134The eventual orbit of 0
goes to infinity
135The eventual orbit of 0
goes to infinity
136The eventual orbit of 0
goes to infinity
137The eventual orbit of 0
goes to infinity
138The eventual orbit of 0
goes to infinity
139The eventual orbit of 0
goes to infinity
140The eventual orbit of 0
goes to infinity
141The eventual orbit of 0
goes to infinity
142The eventual orbit of 0
goes to infinity
143The eventual orbit of 0
goes to infinity
144The eventual orbit of 0
gone to infinity
145 How understand the periods of the
bulbs?
146 How understand the periods of the
bulbs?
147junction point
three spokes attached
148junction point
three spokes attached
Period 3 bulb
149(No Transcript)
150(No Transcript)
151Period 4 bulb
152(No Transcript)
153(No Transcript)
154Period 5 bulb
155(No Transcript)
156(No Transcript)
157Period 7 bulb
158(No Transcript)
159(No Transcript)
160(No Transcript)
161Period 13 bulb
162Filled Julia Set
163Filled Julia Set
Fix a c-value. The filled Julia set is all of
the complex seeds whose orbits do NOT go to
infinity.
1642
Example z
Seed
In Julia set?
0
1652
Example z
Seed
In Julia set?
0
Yes
1662
Example z
Seed
In Julia set?
0
Yes
1
1672
Example z
Seed
In Julia set?
0
Yes
1
Yes
1682
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
1692
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
1702
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
i
1712
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
i
Yes
1722
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
i
Yes
2i
1732
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
i
Yes
No
2i
1742
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
i
Yes
No
2i
5
1752
Example z
Seed
In Julia set?
0
Yes
1
Yes
-1
Yes
i
Yes
No
2i
5
No way
176Filled Julia Set for z
2
i
1
-1
All seeds on and inside the unit circle.
177Other filled Julia sets
Choose c from some component of the Mandelbrot
set, then use the same algorithm as
before colored points escape to 8 and so are not
in the filled Julia set black points form the
filled Julia set.
M-set computer
178If c is in the Mandelbrot set, then the filled
Julia set is always a connected set.
179Other filled Julia sets
But if c is not in the Mandelbrot set, then the
filled Julia set is totally disconnected.
180Amazingly, the orbit of 0 knows it all
Theorem For z2 c If the orbit of 0
goes to infinity, the Julia set is a Cantor set
(totally disconnected, fractal dust), and c
is not in the Mandelbrot set. But if the orbit
of 0 does not go to infinity, the Julia set is
connected (just one piece), and c is in the
Mandelbrot set.
M-set movie maker --- frame 200
181Animations
In and out of M
Saddle node
Period doubling
Period 4 bifurcation
arrangement of the bulbs
182How do we understand the arrangement of the
bulbs?
183How do we understand the arrangement of the
bulbs?
Assign a fraction p/q to each bulb hanging off
the main cardioid q period of the bulb.
184?/3 bulb
shortest spoke
principal spoke
1851/3 bulb
1861/3 bulb
1/3
1871/3 bulb
1/3
1881/3 bulb
1/3
1891/3 bulb
1/3
1901/3 bulb
1/3
1911/3 bulb
1/3
1921/3 bulb
1/3
1931/3 bulb
1/3
1941/3 bulb
1/3
1951/3 bulb
1/3
196??? bulb
1/3
1971/4 bulb
1/3
1981/4 bulb
1/3
1/4
1991/4 bulb
1/3
1/4
2001/4 bulb
1/3
1/4
2011/4 bulb
1/3
1/4
2021/4 bulb
1/3
1/4
2031/4 bulb
1/3
1/4
2041/4 bulb
1/3
1/4
2051/4 bulb
1/3
1/4
2061/4 bulb
1/3
1/4
207??? bulb
1/3
1/4
2082/5 bulb
1/3
1/4
2092/5 bulb
1/3
2/5
1/4
2102/5 bulb
1/3
2/5
1/4
2112/5 bulb
1/3
2/5
1/4
2122/5 bulb
1/3
2/5
1/4
2132/5 bulb
1/3
2/5
1/4
214??? bulb
1/3
2/5
1/4
2153/7 bulb
1/3
2/5
1/4
2163/7 bulb
1/3
2/5
1/4
3/7
2173/7 bulb
1/3
2/5
1/4
3/7
2183/7 bulb
1/3
2/5
1/4
3/7
2193/7 bulb
1/3
2/5
1/4
3/7
2203/7 bulb
1/3
2/5
1/4
3/7
2213/7 bulb
1/3
2/5
1/4
3/7
2223/7 bulb
1/3
2/5
1/4
3/7
223??? bulb
1/3
2/5
1/4
3/7
2241/2 bulb
1/3
2/5
1/4
3/7
1/2
2251/2 bulb
1/3
2/5
1/4
3/7
1/2
2261/2 bulb
1/3
2/5
1/4
3/7
1/2
2271/2 bulb
1/3
2/5
1/4
3/7
1/2
228??? bulb
1/3
2/5
1/4
3/7
1/2
2292/3 bulb
1/3
2/5
1/4
3/7
1/2
2/3
2302/3 bulb
1/3
2/5
1/4
3/7
1/2
2/3
2312/3 bulb
1/3
2/5
1/4
3/7
1/2
2/3
2322/3 bulb
1/3
2/5
1/4
3/7
1/2
2/3
2332/3 bulb
1/3
2/5
1/4
3/7
1/2
2/3
2342/3 bulb
1/3
2/5
1/4
3/7
1/2
2/3
235How to count
236How to count
1/4
237How to count
1/3
1/4
238How to count
1/3
2/5
1/4
239How to count
1/3
2/5
1/4
3/7
240How to count
1/3
2/5
1/4
3/7
1/2
241How to count
1/3
2/5
1/4
3/7
1/2
2/3
242How to count
1/3
2/5
1/4
3/7
1/2
2/3
The bulbs are arranged in the exact order of the
rational numbers.
243How to count
1/3
32,123/96,787
2/5
1/4
3/7
1/101
1/2
2/3
The bulbs are arranged in the exact order of the
rational numbers.
244Animations
Mandelbulbs
Spiralling fingers
245How to add
246How to add
1/2
247How to add
1/3
1/2
248How to add
1/3
2/5
1/2
249How to add
1/3
2/5
3/7
1/2
2501/2 1/3 2/5
2511/2 2/5 3/7
252Undergrads who add fractions this way will be
subject to a minimum of five years in jail where
they must do at least 500 integrals per
day. Only PhDs in mathematics are allowed to
add fractions this way.
253Heres an interesting sequence
2
2
1/2
0/1
254Watch the denominators
1/3
2
2
1/2
0/1
255Watch the denominators
1/3
2/5
2
2
1/2
0/1
256Watch the denominators
1/3
3/8
2/5
2
2
1/2
0/1
257Watch the denominators
1/3
3/8
5/13
2/5
2
2
1/2
0/1
258Whats next?
1/3
3/8
5/13
2/5
2
2
1/2
0/1
259Whats next?
8/21
1/3
3/8
5/13
2/5
2
2
1/2
0/1
260The Fibonacci sequence
13/34
8/21
1/3
3/8
5/13
2/5
2
2
1/2
0/1
261The Farey Tree
262The Farey Tree
How get the fraction in between with the smallest
denominator?
263The Farey Tree
How get the fraction in between with the smallest
denominator?
Farey addition
264The Farey Tree
265The Farey Tree
266The Farey Tree
....
essentially the golden number
267Another sequence
(denominators only)
2
1
268Another sequence
(denominators only)
3
2
1
269Another sequence
(denominators only)
3
4
2
1
270Another sequence
(denominators only)
3
4
5
2
1
271Another sequence
(denominators only)
3
4
5
2
6
1
272Another sequence
(denominators only)
3
4
5
2
6
7
1
273sequence
Devaney
3
4
5
2
6
7
1
274The Dynamical Systems and Technology
Project at Boston University
website math.bu.edu/DYSYS
Mandelbrot set explorer Applets for
investigating M-set Applets for other complex
functions Chaos games, orbit diagrams, etc.
Have fun!
275Other topics
Farey.qt
Farey tree
D-sequence
Far from rationals
Continued fraction expansion
Website
276Continued fraction expansion
Lets rewrite the sequence 1/2, 1/3,
2/5, 3/8, 5/13, 8/21, 13/34, .....
as a continued fraction
277Continued fraction expansion
1 2
1 2
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
278Continued fraction expansion
1 3
1 2
1 1
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
279Continued fraction expansion
2 5
1 2
1 1
1 1
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
280Continued fraction expansion
3 8
1 2
1 1
1 1
1 1
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
281Continued fraction expansion
5
1 2
1 1
13
1 1
1 1
1 1
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
282Continued fraction expansion
8
1 2
1 1
21
1 1
1 1
1 1
1 1
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
283Continued fraction expansion
13
1 2
1 1
34
1 1
1 1
1 1
1 1
1 1
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
284Continued fraction expansion
13
1 2
1 1
34
1 1
1 1
1 1
1 1
1 1
essentially the 1/golden number
the sequence 1/2, 1/3, 2/5, 3/8, 5/13, 8/21,
13/34,.....
285We understand what happens for
1 a
1 b
1 c
1 d
1 e
1 f
1 g
etc.
where all entries in the sequence a, b, c,
d,.... are bounded above. But if that
sequence grows too quickly, were in trouble!!!
286The real way to prove all this
Need to measure the size of bulbs the
length of spokes the size of the ears.
287There is an external Riemann map
C - D C - M taking the exterior of the
unit disk to the exterior of the Mandelbrot set.
288 takes straight rays in C - D to the
external rays in C - M
external ray of angle 1/3
1/3
0
1/2
2/3
289Suppose p/q is periodic of period k
under doubling mod 1
period 2
period 3
period 4
290Suppose p/q is periodic of period k
under doubling mod 1
period 2
period 3
period 4
Then the external ray of angle p/q lands at the
root point of a period k bulb in the
Mandelbrot set.
2910 is fixed under angle doubling, so lands at the
cusp of the main cardioid.
1/3
0
2/3
2921/3 and 2/3 have period 2 under doubling, so
and land at the root of the period 2
bulb.
1/3
2
0
2/3
293And if lies between 1/3 and 2/3, then
lies between and .
1/3
2
0
2/3
294So the size of the period 2 bulb is, by
definition, the length of the set of rays
between the root point rays, i.e., 2/3-1/31/3.
1/3
2
0
2/3
2951/15 and 2/15 have period 4, and are smaller than
1/7....
1/3
2/7
1/7
3
3/7
2/15
1/15
2
0
3
4/7
6/7
2/3
5/7
2961/15 and 2/15 have period 4, and are smaller than
1/7....
1/3
2/7
1/7
3
3/7
2/15
1/15
2
0
3
4/7
6/7
2/3
5/7
2973/15 and 4/15 have period 4, and are between 1/7
and 2/7....
1/3
2/7
1/7
3
3/7
2/15
1/15
2
0
3
4/7
6/7
2/3
5/7
2983/15 and 4/15 have period 4, and are between 1/7
and 2/7....
1/3
2/7
1/7
3
3/7
2/15
1/15
2
0
3
4/7
6/7
2/3
5/7
2993/15 and 4/15 have period 4, and are between 1/7
and 2/7....
1/7
2/7
3003/15 and 4/15 have period 4, and are between 1/7
and 2/7....
3/15
4/15
1/7
2/7
301So what do we know about M?
All rational external rays land at a single
point in M.
302So what do we know about M?
All rational external rays land at a single
point in M.
Rays that are periodic under doubling land at
root points of a bulb.
Non-periodic rational rays land at Misiurewicz
points (how we measure length of antennas).
303So what do we know about M?
Highly irrational rays also land at unique
points, and we understand what goes on
here. Highly irrational" far from
rationals, i.e.,
304So what do we NOT know about M?
But we don't know if irrationals that are
close to rationals land. So we won't
understand quadratic functions until we figure
this out.
305MLC Conjecture
The boundary of the M-set is locally connected
--- if so, all rays land and we are in heaven!.
But if not......
306The Dynamical Systems and Technology
Project at Boston University
website math.bu.edu/DYSYS
Have fun!
307A number is far from the rationals if
308A number is far from the rationals if
309A number is far from the rationals if
This happens if the continued fraction
expansion of has only bounded terms.