The Fractal Geometry of the Mandelbrot Set.

Slides:



Advertisements
Similar presentations
Finding Gold In The Forest …A Connection Between Fractal Trees, Topology, and The Golden Ratio.
Advertisements

The Exponential Function
Iteration, the Julia Set, and the Mandelbrot Set.
Approximating the area under a curve using Riemann Sums
1 Fractal Dust and Schottky Dancing Fractal Dust and nSchottky Dancing University of Utah GSAC Colloquium Josh Thompson.
Newton’s Method finds Zeros Efficiently finds Zeros of an equation: –Solves f(x)=0 Why do we care?
Play the Chaos Game Learn to Create Your Own Fractals.
Complex Dynamics and Crazy Mathematics Dynamics of three very different families of complex functions: 1.Polynomials (z 2 + c) 2. Entire maps ( exp(z))
Generalized Chebyshev polynomials and plane trees Anton Bankevich St. Petersburg State University Jass’07.
Structures in the Dynamical Plane Dynamics of the family of complex maps Paul Blanchard Toni Garijo Matt Holzer Dan Look Sebastian Marotta Mark Morabito.
Dynamic Classification of Escape Time Sierpinski Curve Julia Sets Dynamics of the family of complex maps Paul Blanchard Toni Garijo Matt Holzer U. Hoomiforgot.
CS 4731: Computer Graphics Lecture 5: Fractals Emmanuel Agu.
Fractals Joceline Lega Department of Mathematics University of Arizona.
Mandelbrot Fractals Betsey Davis MathScience Innovation Center.
HONR 300/CMSC 491 Computation, Complexity, and Emergence Mandelbrot & Julia Sets Prof. Marie desJardins February 22, 2012 Based on slides prepared by Nathaniel.
1 GEM2505M Frederick H. Willeboordse Taming Chaos.
Preperiodic Points and Unlikely Intersections joint work with Laura DeMarco Matthew Baker Georgia Institute of Technology AMS Southeastern Section Meeting.
Slide 5-1 Copyright © 2005 Pearson Education, Inc. SEVENTH EDITION and EXPANDED SEVENTH EDITION.
Solving Systems of Equations. Rule of Thumb: More equations than unknowns  system is unlikely to have a solution. Same number of equations as unknowns.
Dynamics of the family of complex maps Paul Blanchard Toni Garijo Matt Holzer U. Hoomiforgot Dan Look Sebastian Marotta with: (why the case n = 2 is )
1 GEM2505M Frederick H. Willeboordse Taming Chaos.
Fractals Siobhán Rafferty.
Chaotic Dynamical Systems Experimental Approach Frank Wang.
Excel quad iteration M-set iterator Movie maker 75.
Ch 9 Infinity page 1CSC 367 Fractals (9.2) Self similar curves appear identical at every level of detail often created by recursively drawing lines.
Dynamics of the family of complex maps Paul Blanchard Toni Garijo Matt Holzer Robert Kozma Dan Look Sebastian Marotta Mark Morabito with: Monica Moreno.
Field Trip #33 Creating and Saving Fractals. Julia Set We consider a complex function, f(z) For each point on the complex plane (x,y), where z = x + iy,
Nonoverlap of the Star Unfolding Boris Aronov and Joseph O’Rourke, 1991 A Summary by Brendan Lucier, 2004.
Fractals in nature.
1 Computability Julia sets Mark Braverman Microsoft Research January 6, 2009.
1 GEM2505M Frederick H. Willeboordse Taming Chaos.
Exponential Dynamics and (Crazy) Topology Cantor bouquetsIndecomposable continua.
Governor’s School for the Sciences Mathematics Day 4.
Dynamical Systems 4 Deterministic chaos, fractals Ing. Jaroslav Jíra, CSc.
1/8/2016Math KM1 Chapter 8: Radical Expressions, Equations, and Functions 8.1 Radical Expressions & Functions 8.2 Rational Numbers as Exponents 8.3.
Fractals! Bullock Math Academy March 22, 2014 Brian Shelburne
Topological Structures in the Julia Sets of Rational Maps Dynamics of the family of complex maps Paul Blanchard Mark Morabito Toni Garijo Monica Moreno.
Complexity Leadership Dynamical Systems & Leadership Jim Hazy July 19, 2007.
Fractals Rule! Some Background Information Helpful to People Wanting to Understand Fractal Geometry.
Data Structures and Algorithm Analysis Graph Algorithms Lecturer: Jing Liu Homepage:
A Primer on Chaos and Fractals Bruce Kessler Western Kentucky University as a prelude to Arcadia at Lipscomb University.
Dynamics of the family of complex maps Paul Blanchard Toni Garijo Matt Holzer Dan Look Sebastian Marotta Mark Morabito with: Monica Moreno Rocha Kevin.
PC-Trees & PQ-Trees. 2 Table of contents Review of PQ-trees –Template operations Introducing PC-trees The PC-tree algorithm –Terminal nodes –Splitting.
Coordinate systems. Coordinate systems Cartesian Polar Cylindrical Spherical.
Solving Systems of Equations. Rule of Thumb: More equations than unknowns  system is unlikely to have a solution. Same number of equations as unknowns.
Fractals and L-Systems
HONR 300/CMSC 491 Computation, Complexity, and Emergence
File Organization and Processing Week 3
Sets in the Complex Plane
Euclidean Geometry
Programming Abstractions
Cantor and Sierpinski, Julia and Fatou;
Journal 1/31/17 Objective Tonight’s Homework
Singular Perturbations of Complex Polynomials
Numerical Study of Partition Function Zeros on Recursive Lattices
ITERATIVE DYNAMIC SYSTEMS THROUGH THE MANDELBROT AND JULIA SETS
Complex Variables. Complex Variables Open Disks or Neighborhoods Definition. The set of all points z which satisfy the inequality |z – z0|
4.1 Objective: Students will look at polynomial functions of degree greater than 2, approximate the zeros, and interpret graphs.
Including Complex Dynamics in Complex Analysis Courses
PROJECT ACTIVITY : Trigonometry
Given f(x)= x4 –22x3 +39x2 +14x+120 , answer the following questions:
Programming Abstractions
Solution of Equations by Iteration
S.K.H. Bishop Mok Sau Tseng Secondary School
Complex Numbers: Trigonometric Form
1.6 Continuity Objectives:
Topic 23 Red Black Trees "People in every direction No words exchanged No time to exchange And all the little ants are marching Red and Black.
Chapter 2 Analytic Function
Computational Geometry
Presentation transcript:

The Fractal Geometry of the Mandelbrot Set

The Fractal Geometry of the Mandelbrot Set How to count

The Fractal Geometry of the Mandelbrot Set How to count How to add

Many people know the pretty pictures...

but few know the even prettier mathematics.

Oh, that's nothing but the 3/4 bulb ....

...hanging off the period 16 M-set.....

...lying in the 1/7 antenna...

...attached to the 1/3 bulb...

...hanging off the 3/7 bulb...

...on the northwest side of the main cardioid.

Oh, 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.

Start with a function: 2 x + constant

Start with a function: 2 x + constant and a seed: x

Then iterate: 2 x = x + constant 1

Then iterate: 2 x = x + constant 1 2 x = x + constant 2 1

Then iterate: x = x + constant x = x + constant x = x + constant 2 1 2 2 x = x + constant 2 1 2 x = x + constant 3 2

Then iterate: x = x + constant x = x + constant x = x + constant 2 x = x + constant 1 2 x = x + constant 2 1 2 x = x + constant 3 2 2 x = x + constant 4 3 etc.

Then iterate: x = x + constant x = x + constant x = x + constant 2 x = x + constant 1 2 x = x + constant 2 1 Orbit of x 2 x = x + constant 3 2 2 x = x + constant 4 3 etc. Goal: understand the fate of orbits.

2 Example: x + 1 Seed 0 x = 0 x = 1 x = 2 x = 3 x = 4 x = 5 x = 6

2 Example: x + 1 Seed 0 x = 0 x = 1 1 x = 2 x = 3 x = 4 x = 5 x = 6

2 Example: x + 1 Seed 0 x = 0 x = 1 1 x = 2 2 x = 3 x = 4 x = 5 x = 6

Example: x + 1 Seed 0 x = 0 x = 1 x = 2 x = 5 x = x = x = 2 1 2 3 4 5 x = 1 1 x = 2 2 x = 5 3 x = 4 x = 5 x = 6

Example: x + 1 Seed 0 x = 0 x = 1 x = 2 x = 5 x = 26 x = x = 2 1 2 3 4 x = 1 1 x = 2 2 x = 5 3 x = 26 4 x = 5 x = 6

Example: x + 1 Seed 0 x = 0 x = 1 x = 2 x = 5 x = 26 x = big x = 2 1 2 x = 1 1 x = 2 2 x = 5 3 x = 26 4 x = big 5 x = 6

Example: x + 1 Seed 0 x = 0 x = 1 x = 2 x = 5 x = 26 x = big x = 1 1 x = 2 2 x = 5 “Orbit tends to infinity” 3 x = 26 4 x = big 5 x = BIGGER 6

2 Example: x + 0 Seed 0 x = 0 x = 1 x = 2 x = 3 x = 4 x = 5 x = 6

2 Example: x + 0 Seed 0 x = 0 x = 0 1 x = 2 x = 3 x = 4 x = 5 x = 6

2 Example: x + 0 Seed 0 x = 0 x = 0 1 x = 0 2 x = 3 x = 4 x = 5 x = 6

Example: x + 0 Seed 0 x = 0 x = 0 x = 0 x = 0 x = x = x = 2 1 2 3 4 5 x = 0 1 x = 0 2 x = 0 3 x = 4 x = 5 x = 6

Example: x + 0 Seed 0 x = 0 x = 0 x = 0 x = 0 x = 0 x = 0 x = 0 2 Example: x + 0 Seed 0 x = 0 x = 0 1 x = 0 2 “A fixed point” x = 0 3 x = 0 4 x = 0 5 x = 0 6

2 Example: x - 1 Seed 0 x = 0 x = 1 x = 2 x = 3 x = 4 x = 5 x = 6

2 Example: x - 1 Seed 0 x = 0 x = -1 1 x = 2 x = 3 x = 4 x = 5 x = 6

2 Example: x - 1 Seed 0 x = 0 x = -1 1 x = 0 2 x = 3 x = 4 x = 5 x = 6

Example: x - 1 Seed 0 x = 0 x = -1 x = 0 x = -1 x = x = x = 2 1 2 3 4 x = -1 1 x = 0 2 x = -1 3 x = 4 x = 5 x = 6

Example: x - 1 Seed 0 x = 0 x = -1 x = 0 x = -1 x = 0 x = -1 x = 0 2 Example: x - 1 Seed 0 x = 0 x = -1 1 x = 0 2 x = -1 “A two- cycle” 3 x = 0 4 x = -1 5 x = 0 6

2 Example: x - 1.1 Seed 0 x = 0 x = 1 x = 2 x = 3 x = 4 x = 5 x = 6

Example: x - 1.1 Seed 0 x = 0 x = -1.1 x = x = x = x = x = 2 1 2 3 4 5 x = -1.1 1 x = 2 x = 3 x = 4 x = 5 x = 6

Example: x - 1.1 Seed 0 x = 0 x = -1.1 x = 0.11 x = x = x = x = 2 1 2 x = -1.1 1 x = 0.11 2 x = 3 x = 4 x = 5 x = 6

Example: x - 1.1 Seed 0 x = 0 x = -1.1 x = 0.11 x = x = x = x = 2 Example: x - 1.1 Seed 0 x = 0 x = -1.1 1 x = 0.11 2 x = 3 time for the computer! x = 4 x = 5 x = 6

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.

Complex Iteration 2 Iterate z + c complex numbers

2 Example: z + i Seed 0 z = 0 z = 1 z = 2 z = 3 z = 4 z = 5 z = 6

2 Example: z + i Seed 0 z = 0 z = i 1 z = 2 z = 3 z = 4 z = 5 z = 6

Example: z + i Seed 0 z = 0 z = i z = -1 + i z = z = z = z = 2 1 2 3 4 z = i 1 z = -1 + i 2 z = 3 z = 4 z = 5 z = 6

Example: z + i Seed 0 z = 0 z = i z = -1 + i z = -i z = z = z = 2 1 2 z = i 1 z = -1 + i 2 z = -i 3 z = 4 z = 5 z = 6

Example: z + i Seed 0 z = 0 z = i z = -1 + i z = -i z = -1 + i z = z = 2 Example: z + i Seed 0 z = 0 z = i 1 z = -1 + i 2 z = -i 3 z = -1 + i 4 z = 5 z = 6

Example: z + i Seed 0 z = 0 z = i z = -1 + i z = -i z = -1 + i z = -i 2 Example: z + i Seed 0 z = 0 z = i 1 z = -1 + i 2 z = -i 3 z = -1 + i 4 z = -i 5 z = 6

Example: z + i Seed 0 z = 0 z = i z = -1 + i z = -i z = -1 + i z = -i 2 Example: z + i Seed 0 z = 0 z = i 1 z = -1 + i 2 z = -i 3 z = -1 + i 4 z = -i 5 2-cycle z = -1 + i 6

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + i Seed 0 i -1 1 -i

2 Example: z + 2i Seed 0 z = 0 z = 1 z = 2 z = 3 z = 4 z = 5 z = 6

Example: z + 2i Seed 0 z = 0 z = 2i z = -4 + 2i z = 12 - 14i z = 2i 1 z = -4 + 2i 2 Off to infinity z = 12 - 14i 3 z = -52 + 336i 4 z = big 5 z = BIGGER 6

Same observation Sometimes orbit of 0 goes to infinity, other times it does not.

The Mandelbrot Set: All c-values for which orbit of 0 does NOT go to infinity.

Algorithm for computing M Start with a grid of complex numbers

Algorithm for computing M Each grid point is a complex c-value.

Algorithm for computing M Compute the orbit of 0 for each c. If the orbit of 0 escapes, color that grid point. red = fastest escape

Algorithm for computing M Compute the orbit of 0 for each c. If the orbit of 0 escapes, color that grid point. orange = slower

Algorithm 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

Algorithm for computing M Compute the orbit of 0 for each c. If the orbit of 0 does not escape, leave that grid point black.

Algorithm for computing M Compute the orbit of 0 for each c. If the orbit of 0 does not escape, leave that grid point black.

The eventual orbit of 0 Eventual orbit

The eventual orbit of 0 Eventual orbit

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0 3-cycle

The eventual orbit of 0

The eventual orbit of 0

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0 4-cycle

The eventual orbit of 0

The eventual orbit of 0

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 5-cycle

The eventual orbit of 0 2-cycle

The eventual orbit of 0 2-cycle

The eventual orbit of 0 2-cycle

The eventual orbit of 0 2-cycle

The eventual orbit of 0 2-cycle

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 fixed point

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 goes to infinity

The eventual orbit of 0 gone to infinity

How understand the of the bulbs? periods

How understand the of the bulbs? periods

junction point three spokes attached

junction point three spokes attached Period 3 bulb

Period 4 bulb

Period 5 bulb

Period 7 bulb

Period 13 bulb

Period ?? bulb

Period 3,145,183 bulb well, I may be off a bit...

Filled Julia Set of F: Fix a c-value. The filled Julia set K(F) is the set of all of the complex seeds whose orbits do NOT go to infinity.

Filled Julia Set of F: Julia Set of F: Fix a c-value. The filled Julia set K(F) is the set of all of the complex seeds whose orbits do NOT go to infinity. Julia Set of F: Several equivalent definitions of J(F):

Filled Julia Set of F: Julia Set of F: Fix a c-value. The filled Julia set K(F) is the set of all of the complex seeds whose orbits do NOT go to infinity. Julia Set of F: 1. The boundary of the filled Julia set

Filled Julia Set of F: Julia Set of F: Fix a c-value. The filled Julia set K(F) is the set of all of the complex seeds whose orbits do NOT go to infinity. Julia Set of F: 1. The boundary of the filled Julia set 2. The closure of the set of repelling periodic points

Filled Julia Set of F: Julia Set of F: Fix a c-value. The filled Julia set K(F) is the set of all of the complex seeds whose orbits do NOT go to infinity. Julia Set of F: 1. The boundary of the filled Julia set 2. The closure of the set of repelling periodic points The set of points at which the family of iterates is not a normal family in the sense of Montel

Filled Julia Set of F: Julia Set of F: Fix a c-value. The filled Julia set K(F) is the set of all of the complex seeds whose orbits do NOT go to infinity. Julia Set of F: 1. The boundary of the filled Julia set 2. The closure of the set of repelling periodic points The set of points at which the family of iterates is not a normal family in the sense of Montel 4. The chaotic set

2 Example: z Seed: In filled Julia set?

2 Example: z Seed: In filled Julia set? Yes

2 Example: z Seed: In filled Julia set? Yes 1

2 Example: z Seed: In filled Julia set? Yes 1 Yes

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes i

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes i Yes

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes i Yes 2i

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes i Yes 2i No

2 Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes i Yes 2i No 5

Example: z Seed: In filled Julia set? Yes 1 Yes -1 Yes i Yes 2i No 5 Yes 1 Yes -1 Yes i Yes 2i No 5 No way

All seeds on or inside the unit circle. Filled Julia Set for z2 i -1 1 All seeds on or inside the unit circle.

2 Example: z Seed: In the Julia set? 1 -1 i 2i 5

Example: z Seed: In the Julia set? No 1 Yes -1 Yes i Yes 2i No 5 No 1 Yes -1 Yes i Yes 2i No 5 No way

All seeds on the unit circle. The Julia Set for z2 i -1 1 All seeds on the unit circle.

Given any point p in the Julia set, The Julia Set for z2 i p -1 1 Given any point p in the Julia set,

Given any point p in the Julia set, and any neighborhood N of p, The Julia Set for z2 i N p -1 1 Given any point p in the Julia set, and any neighborhood N of p,

Given any point p in the Julia set, and any The Julia Set for z2 i N p -1 1 Given any point p in the Julia set, and any neighborhood N of p, the union of the forward images of N fills the entire plane (except 0), so z2 + c is chaotic on the Julia set.

Other filled Julia sets

Other filled Julia sets c = 0

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -1

Other filled Julia sets c = -.12+.75i

Other filled Julia sets c = -.12+.75i

Other filled Julia sets c = -.12+.75i

Other filled Julia sets c = -.12+.75i

Other filled Julia sets c = -.12+.75i

Other filled Julia sets c = -.12+.75i

The Julia set of z2 + c is always a fractal, except when c = 0 (J = S1) or c = -2 (J = [-2,2]).

If c is in the Mandelbrot set, then the filled Julia set is always a connected set.

Other filled Julia sets But if c is not in the Mandelbrot set, then the filled Julia set is totally disconnected.

Other filled Julia sets c = .3

Other filled Julia sets c = -.8+.4i

Amazingly, 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.

Furthermore, if z2 + c has an attracting cycle, then the orbit of 0 tends to this cycle. That is why we can attach a period to each of the bulbs in the Mandelbrot set.

z2 + c undergoes a “saddle node” bifurcation when c = 1/4: y = x c = 1/4 1/2 c = 1/4: a single neutral fixed point at 1/2, and the orbit of 0 tends to this fixed point

z2 + c undergoes a “saddle node” bifurcation when c = 1/4: y = x c = 1/4 c = 0.1 q p -3/4 < c < 1/4: a pair of fixed points: an attracting fixed point q and a repelling fixed point p, and the orbit of 0 tends to q

z2 + c undergoes a “saddle node” bifurcation when c = 1/4: y = x c = 1/4 c = 0.1 q p c > 1/4: no fixed points on the real axis and the orbit of 0 tends to ∞

So the Julia set of z2 + c suddenly changes from a connected set to a Cantor set when c passes through 1/4 y = x q p

Animations: In and out of M Saddle-node arrangement of bulbs

How do we understand the arrangement of the bulbs?

How 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

??? bulb shortest spoke principal spoke

1/3 bulb

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

1/3 bulb 1/3

??? bulb 1/3

1/4 bulb 1/3

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

1/4 bulb 1/3 1/4

??? bulb 1/3 1/4

2/5 bulb 1/3 1/4

2/5 bulb 1/3 2/5 1/4

2/5 bulb 1/3 2/5 1/4

2/5 bulb 1/3 2/5 1/4

2/5 bulb 1/3 2/5 1/4

2/5 bulb 1/3 2/5 1/4

??? bulb 1/3 2/5 1/4

3/7 bulb 1/3 2/5 1/4

3/7 bulb 1/3 2/5 1/4 3/7

3/7 bulb 1/3 2/5 1/4 3/7

3/7 bulb 1/3 2/5 1/4 3/7

3/7 bulb 1/3 2/5 1/4 3/7

3/7 bulb 1/3 2/5 1/4 3/7

3/7 bulb 1/3 2/5 1/4 3/7

3/7 bulb 1/3 2/5 1/4 3/7

??? bulb 1/3 2/5 1/4 3/7

1/2 bulb 1/3 2/5 1/4 3/7 1/2

1/2 bulb 1/3 2/5 1/4 3/7 1/2

1/2 bulb 1/3 2/5 1/4 3/7 1/2

1/2 bulb 1/3 2/5 1/4 3/7 1/2

??? bulb 1/3 2/5 1/4 3/7 1/2

2/3 bulb 1/3 2/5 1/4 3/7 1/2 2/3

2/3 bulb 1/3 2/5 1/4 3/7 1/2 2/3

2/3 bulb 1/3 2/5 1/4 3/7 1/2 2/3

2/3 bulb 1/3 2/5 1/4 3/7 1/2 2/3

2/3 bulb 1/3 2/5 1/4 3/7 1/2 2/3

2/3 bulb 1/3 2/5 1/4 3/7 1/2 2/3

How to count The bulbs are arranged in the exact 1/3 2/5 1/4 3/7 1/2 2/3 The bulbs are arranged in the exact order of the rational numbers.

How to count The bulbs are arranged in the exact 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.

Mandelbulbs Spiralling fingers

The real way.... Along the boundary of the main cardioid, z2 + c has a neutral fixed point.

The real way.... Along the boundary of the main cardioid, z2 + c has a neutral fixed point. So: z2 + c = z 2z = exp(2πiθ)

The real way.... Along the boundary of the main cardioid, z2 + c has a neutral fixed point. So: z2 + c = z 2z = exp(2πiθ) Or: c = z - z2 z = (exp(2πiθ))/2

The real way.... Along the boundary of the main cardioid, z2 + c has a neutral fixed point. So: z2 + c = z 2z = exp(2πiθ) Or: c = z - z2 z = (exp(2πiθ))/2 c = e2πiθ/2 - e4πiθ/4 This gives the equation of the boundary of the main cardioid

The real way.... θ=1/3 Along the boundary of the main cardioid, z2 + c has a neutral fixed point. So: z2 + c = z 2z = exp(2πiθ) Or: c = z - z2 z = (exp(2πiθ))/2 c = e2πiθ/2 - e4πiθ/4 This gives the equation of the boundary of the main cardioid θ=2/5 θ=0 θ=1/2 Same arrangement as before.

Sub-bulbs

Sub-bulbs Period three bulb

Sub-bulbs Per 2·3 Per 3·3 Per 4·3 Period three bulb

Sub-bulbs Per 4·3 Period three bulb

Sub-bulbs 3 spokes Per 4·3 4 spokes Period 4·3 bulb Period three bulb

Sub-bulbs 3 spokes Per 5·3 5 spokes Period 5·3 bulb Period three bulb

How to add

How to add 1/2

How to add 1/3 1/2

How to add 1/3 2/5 1/2

How to add 1/3 2/5 3/7 1/2

1/2 + 1/3 = 2/5 + =

1/2 + 2/5 = 3/7 + = Farey addition

The Fibonacci Sequence 2 2

The Fibonacci Sequence 2 2 1/2 0/1

The Fibonacci Sequence 1/3 2 2 1/2 0/1

The Fibonacci Sequence 1/3 2/5 2 2 1/2 0/1

The Fibonacci Sequence 1/3 3/8 2/5 2 2 1/2 0/1

The Fibonacci Sequence 1/3 5/13 3/8 2/5 2 2 1/2 0/1

The Fibonacci Sequence 8/21 1/3 5/13 3/8 2/5 2 2 1/2 0/1

The Farey Tree

The Farey Tree The Farey parents

The Farey Tree The Farey child

The Farey Tree Farey grandchildren

The Farey Tree ... produces at each stage the fraction with the smallest denominator between the parents

The Farey Tree .... essentially the golden number

Another sequence (denominators only) 2 1

Another sequence (denominators only) 3 2 1

Another sequence (denominators only) 3 4 2 1

Another sequence (denominators only) 3 4 5 2 1

Another sequence (denominators only) 3 4 5 2 6 1

Another sequence (denominators only) 3 4 5 2 6 7 1

Devaney sequence 3 4 5 2 6 7 1

The 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!

Other topics Farey.qt Farey tree D-sequence Far from rationals Continued Fraction Expansion How to measure antennas Website

The real way to prove all this: Need to measure: the size of bulbs the length of spokes the size of the “ears.”

There is an external Riemann map : C - D C - M taking the exterior of the unit disk to the exterior of the Mandelbrot set.

takes straight rays in C - D to the “external rays” in C - M external rays of angle 0 and 1/2 1/2

takes straight rays in C - D to the “external rays” in C - M external rays of angle 1/3 and 2/3 1/3 1/2 2/3

Suppose p/q is periodic of period k under doubling mod 1: period 2 period 3 period 4

Suppose 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.

0 is fixed under angle doubling, so lands at the cusp of the main cardioid. 1/3 2/3

1/3 and 2/3 have period 2 under doubling, so and land at the root of the period 2 bulb. 1/3 2 2/3

And if lies between 1/3 and 2/3, then lies between and . 2/3

So 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/3=1/3. 1/3 2 2/3

1/7 and 2/7 have period 3, and are between 0 and 1/3.... 2/7 1/3 1/7 2 2/3

on this period three bulb, whose So the 1/7 and 2/7 rays land on this period three bulb, whose size is 2/7 - 1/7 = 1/7. 2/7 1/3 1/7 3 2

Same with the 3/7, 4/7, 5/7 and 6/7 rays. 2/7 1/3 1/7 3/7 3 2 3 4/7 4/7 3 6/7 2/3 5/7

1/15 and 2/15 have period 4, and are between 0 and 1/7.... 2/7 1/3 1/7 3

So the 1/15 and 2/15 rays land on this period 4 bulb. 2/7 1/3 1/7 2/15 3

3/15 and 4/15 have period 4, and are between 1/7 and 2/7.... 4/15 2/7 1/3 1/7 3 2 3

3/15 and 4/15 have period 4, and are between 1/7 and 2/7.... 4/15 2/7 1/3 1/7 3 2 3

3/15 and 4/15 have period 4, and are between 1/7 and 2/7.... 2/7 1/7

3/15 and 4/15 have period 4, and are between 1/7 and 2/7.... 4/15 3/15

So what do we know about M? All rational external rays land at a single point in M.

So 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).

Misiurewicz Points A Misiurewicz point is a c-value where the orbit of 0 is eventually periodic. c = -2 For example, c = -2 is a Misiurewicz point. We have 0 -2 2 2 which is fixed and the Julia set is the closed interval [-2, 2].

c = i is also a Misiurewicz Misiurewicz Points c = i is also a Misiurewicz point. We have 0 i -1+i -i -1+I -i which has period 2. c = i

Misiurewicz Points c = i is also a Misiurewicz point. We have 0 i -1+i -i -1+I -i which has period 2. Now the Julia set is a “dendrite” which always happens in the Misiurewicz case (except when c = -2).

Highly irrational rays also land at unique points, and we understand what goes on here. “Highly irrational" = “far” from rationals, i.e.,

Specifically a “highly irrational” ray corresponds to a Brjuno number θ whose continued fraction expansion has a sequence of convergents pn/qn that satisfy For such a map, the neutral fixed point is surrounded by an open disk on which the map is conjugate to the irrational rotation by angle θ. This disk is called a Siegel disk.

A Siegel disk for z2 + c All orbits rotate around the fixed point as an irrational rotation. Here c is the golden mean (the most highly irrational θ-value).

So 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.

MLC Conjecture: The boundary of the M-set is “locally connected” --- if so, all rays land and we are in heaven!. But if not......

The Dynamical Systems and Technology Project at Boston University website: math.bu.edu/DYSYS Have fun!

A number is far from the rationals if:

A number is far from the rationals if:

A number is far from the rationals if: This happens if the “continued fraction expansion” of has only bounded terms.

Continued fraction expansion Let’s rewrite the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34, ..... as a continued fraction:

Continued fraction expansion 1 2 1 2 = the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 1 3 1 2 = + 1 the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 2 5 1 2 = + 1 + 1 the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 3 8 1 2 = + 1 + 1 + 1 the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 5 1 2 = 13 + 1 + 1 + 1 + 1 the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 8 1 2 = 21 + 1 + 1 + 1 + 1 + 1 the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 13 1 2 = 34 + 1 + 1 + 1 + 1 + 1 + 1 the sequence: 1/2, 1/3, 2/5, 3/8, 5/13, 8/21, 13/34,.....

Continued fraction expansion 13 1 2 = 34 + 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,.....

We 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, we’re in trouble!!!