Complex dynamics: the intriguing case of wandering domains Gwyneth - - PowerPoint PPT Presentation

complex dynamics the intriguing case of wandering domains
SMART_READER_LITE
LIVE PREVIEW

Complex dynamics: the intriguing case of wandering domains Gwyneth - - PowerPoint PPT Presentation

Complex dynamics: the intriguing case of wandering domains Gwyneth Stallard The Open University Joint work with Anna Miriam Benini, Vasiliki Evdoridou, Nuria Fagella and Phil Rippon Barcelona March 2019 Basic definitions f : C C is


slide-1
SLIDE 1

Complex dynamics: the intriguing case of wandering domains

Gwyneth Stallard The Open University

Joint work with Anna Miriam Benini, Vasiliki Evdoridou, Nuria Fagella and Phil Rippon

Barcelona March 2019

slide-2
SLIDE 2

Basic definitions

f : C → C is analytic

slide-3
SLIDE 3

Basic definitions

f : C → C is analytic Definition The Fatou set (or stable set) is F(f) = {z : (f n) is equicontinuous in some neighbourhood of z}.

slide-4
SLIDE 4

Basic definitions

f : C → C is analytic Definition The Fatou set (or stable set) is F(f) = {z : (f n) is equicontinuous in some neighbourhood of z}. The Fatou set is open and z ∈ F(f) ⇐ ⇒ f(z) ∈ F(f).

slide-5
SLIDE 5

Basic definitions

f : C → C is analytic Definition The Fatou set (or stable set) is F(f) = {z : (f n) is equicontinuous in some neighbourhood of z}. The Fatou set is open and z ∈ F(f) ⇐ ⇒ f(z) ∈ F(f). Definition The Julia set (or chaotic set) is J(f) = C \ F(f).

slide-6
SLIDE 6

Components of the Fatou set

Let U be a component of the Fatou set (a Fatou component),

slide-7
SLIDE 7

Components of the Fatou set

Let U be a component of the Fatou set (a Fatou component), and let Un denote the Fatou component containing f n(U).

slide-8
SLIDE 8

Components of the Fatou set

Let U be a component of the Fatou set (a Fatou component), and let Un denote the Fatou component containing f n(U). U is periodic with period p if Up = U and Un = U for 1 ≤ n < p.

slide-9
SLIDE 9

Components of the Fatou set

Let U be a component of the Fatou set (a Fatou component), and let Un denote the Fatou component containing f n(U). U is periodic with period p if Up = U and Un = U for 1 ≤ n < p. U is pre-periodic if Um is periodic for some m ∈ N.

slide-10
SLIDE 10

Components of the Fatou set

Let U be a component of the Fatou set (a Fatou component), and let Un denote the Fatou component containing f n(U). U is periodic with period p if Up = U and Un = U for 1 ≤ n < p. U is pre-periodic if Um is periodic for some m ∈ N. U is a wandering domain if Um = Un for all m = n.

slide-11
SLIDE 11

Components of the Fatou set

Let U be a component of the Fatou set (a Fatou component), and let Un denote the Fatou component containing f n(U). U is periodic with period p if Up = U and Un = U for 1 ≤ n < p. U is pre-periodic if Um is periodic for some m ∈ N. U is a wandering domain if Um = Un for all m = n. Periodic Fatou components are well understood and there is a classification essentially due to Fatou and Cremer (1920s).

slide-12
SLIDE 12

Classification of invariant Fatou components

Attracting basin

Type 1: U is an attracting basin

slide-13
SLIDE 13

Classification of invariant Fatou components

Attracting basin

Type 1: U is an attracting basin g(z) = z2 − 1 f = g2 has an attracting basin

slide-14
SLIDE 14

Classification of invariant Fatou components

Attracting basin

Type 1: U is an attracting basin g(z) = z2 − 1 f = g2 has an attracting basin U contains an attracting fixed point z0: f(z0) = z0, |f ′(z0)| < 1

slide-15
SLIDE 15

Classification of invariant Fatou components

Attracting basin

Type 1: U is an attracting basin g(z) = z2 − 1 f = g2 has an attracting basin U contains an attracting fixed point z0: f(z0) = z0, |f ′(z0)| < 1 f n(z) → z0 for z ∈ U

slide-16
SLIDE 16

Classification of invariant Fatou components

Attracting basin

Type 1: U is an attracting basin g(z) = z2 − 1 f = g2 has an attracting basin U contains an attracting fixed point z0: f(z0) = z0, |f ′(z0)| < 1 f n(z) → z0 for z ∈ U U is super-attracting if f ′(z0) = 0

slide-17
SLIDE 17

Classification of invariant Fatou components

Parabolic basin

Type 2: U is a parabolic basin

slide-18
SLIDE 18

Classification of invariant Fatou components

Parabolic basin

Type 2: U is a parabolic basin f(z) = z2 + 0.25

slide-19
SLIDE 19

Classification of invariant Fatou components

Parabolic basin

Type 2: U is a parabolic basin f(z) = z2 + 0.25 ∂U contains a parabolic fixed point z0: f(z0) = z0, f ′(z0) = 1

slide-20
SLIDE 20

Classification of invariant Fatou components

Parabolic basin

Type 2: U is a parabolic basin f(z) = z2 + 0.25 ∂U contains a parabolic fixed point z0: f(z0) = z0, f ′(z0) = 1 f n(z) → z0 for z ∈ U

slide-21
SLIDE 21

Classification of invariant Fatou components

Siegel disc

Type 3: U is a Siegel disc

slide-22
SLIDE 22

Classification of invariant Fatou components

Siegel disc

Type 3: U is a Siegel disc f(z) = e2πi(1−

√ 5)/2z(z − 1)

slide-23
SLIDE 23

Classification of invariant Fatou components

Siegel disc

Type 3: U is a Siegel disc f(z) = e2πi(1−

√ 5)/2z(z − 1)

U contains a fixed point z0: f(z0) = z0, f ′(z0) = e2πiθ, θ is irrational

slide-24
SLIDE 24

Classification of invariant Fatou components

Siegel disc

Type 3: U is a Siegel disc f(z) = e2πi(1−

√ 5)/2z(z − 1)

U contains a fixed point z0: f(z0) = z0, f ′(z0) = e2πiθ, θ is irrational f : U → U is conjugate to an irrational rotation of the disc

slide-25
SLIDE 25

Classification of invariant Fatou components

Baker domain

Type 4: U is a Baker domain

slide-26
SLIDE 26

Classification of invariant Fatou components

Baker domain

Type 4: U is a Baker domain f(z) = z + 1 + e−z

slide-27
SLIDE 27

Classification of invariant Fatou components

Baker domain

Type 4: U is a Baker domain f(z) = z + 1 + e−z For z ∈ U, f n(z) tends to an essential singularity

slide-28
SLIDE 28

Classification of invariant Fatou components

Baker domain

Type 4: U is a Baker domain f(z) = z + 1 + e−z For z ∈ U, f n(z) tends to an essential singularity This type cannot occur for polynomials

slide-29
SLIDE 29

The existence of wandering domains

Theorem (Sullivan, 1982) If f is rational, then f has no wandering domains.

slide-30
SLIDE 30

The existence of wandering domains

Theorem (Sullivan, 1982) If f is rational, then f has no wandering domains. Corollary There is a complete classification of the behaviour in Fatou components of rational functions

slide-31
SLIDE 31

The existence of wandering domains

Theorem (Sullivan, 1982) If f is rational, then f has no wandering domains. Corollary There is a complete classification of the behaviour in Fatou components of rational functions Wandering domains do exist for transcendental entire functions, and are not well understood.

slide-32
SLIDE 32

Early examples of wandering domains

Herman (1984) gave simple examples of functions with simply connected wandering domains

slide-33
SLIDE 33

Early examples of wandering domains

Herman (1984) gave simple examples of functions with simply connected wandering domains e.g. f(z) = z − 1 + e−z + 2πi has a wandering attracting basin.

slide-34
SLIDE 34

Early examples of wandering domains

Herman (1984) gave simple examples of functions with simply connected wandering domains e.g. f(z) = z − 1 + e−z + 2πi has a wandering attracting basin.

slide-35
SLIDE 35

Early examples of wandering domains

Herman (1984) gave simple examples of functions with simply connected wandering domains e.g. f(z) = z − 1 + e−z + 2πi has a wandering attracting basin. Baker gave the first example of a wandering domain.

slide-36
SLIDE 36

Early examples of wandering domains

Herman (1984) gave simple examples of functions with simply connected wandering domains e.g. f(z) = z − 1 + e−z + 2πi has a wandering attracting basin. Baker gave the first example of a wandering domain.

  • In 1963 he constructed an infinite product f and a nested

sequence of annuli An tending to infinity with f(An) ⊂ An+1.

slide-37
SLIDE 37

Early examples of wandering domains

Herman (1984) gave simple examples of functions with simply connected wandering domains e.g. f(z) = z − 1 + e−z + 2πi has a wandering attracting basin. Baker gave the first example of a wandering domain.

  • In 1963 he constructed an infinite product f and a nested

sequence of annuli An tending to infinity with f(An) ⊂ An+1.

  • In 1976 he showed that these annuli belong to distinct

Fatou components (multiply connected wandering domains).

slide-38
SLIDE 38

Multiply connected wandering domains

Theorem (Baker, 1984) If U is a multiply connected Fatou component then U is a wandering domain

slide-39
SLIDE 39

Multiply connected wandering domains

Theorem (Baker, 1984) If U is a multiply connected Fatou component then U is a wandering domain Un+1 surrounds Un, for large n Un → ∞ as n → ∞.

slide-40
SLIDE 40

Multiply connected wandering domains

Theorem (Baker, 1984) If U is a multiply connected Fatou component then U is a wandering domain Un+1 surrounds Un, for large n Un → ∞ as n → ∞. Theorem (Zheng, 2006) If U is a multiply connected wandering domain then there exist sequences (rn) and (Rn) such that, for large n, Un ⊃ {z : rn ≤ |z| ≤ Rn}

slide-41
SLIDE 41

Multiply connected wandering domains

Theorem (Baker, 1984) If U is a multiply connected Fatou component then U is a wandering domain Un+1 surrounds Un, for large n Un → ∞ as n → ∞. Theorem (Zheng, 2006) If U is a multiply connected wandering domain then there exist sequences (rn) and (Rn) such that, for large n, Un ⊃ {z : rn ≤ |z| ≤ Rn} and Rn/rn → ∞ as n → ∞.

slide-42
SLIDE 42

Dynamical behaviour in multiply connected wandering domains

Theorem (Bergweiler, Rippon and Stallard, 2013) If U is a multiply connected wandering domain then for large n ∈ N, there is an absorbing annulus Bn = A(r an

n , r bn n ) ⊂ Un

with lim infn→∞ bn/an > 1

slide-43
SLIDE 43

Dynamical behaviour in multiply connected wandering domains

Theorem (Bergweiler, Rippon and Stallard, 2013) If U is a multiply connected wandering domain then for large n ∈ N, there is an absorbing annulus Bn = A(r an

n , r bn n ) ⊂ Un

with lim infn→∞ bn/an > 1 such that, for every compact set C ⊂ U, f n(C) ⊂ Bn for n ≥ N(C).

slide-44
SLIDE 44

Dynamical behaviour in multiply connected wandering domains

Theorem (Bergweiler, Rippon and Stallard, 2013) If U is a multiply connected wandering domain then for large n ∈ N, there is an absorbing annulus Bn = A(r an

n , r bn n ) ⊂ Un

with lim infn→∞ bn/an > 1 such that, for every compact set C ⊂ U, f n(C) ⊂ Bn for n ≥ N(C). f behaves like a large degree monomial inside Bn.

slide-45
SLIDE 45

Dynamical behaviour in multiply connected wandering domains

Theorem (Bergweiler, Rippon and Stallard, 2013) If U is a multiply connected wandering domain then for large n ∈ N, there is an absorbing annulus Bn = A(r an

n , r bn n ) ⊂ Un

with lim infn→∞ bn/an > 1 such that, for every compact set C ⊂ U, f n(C) ⊂ Bn for n ≥ N(C). f behaves like a large degree monomial inside Bn. This led to progress on a longstanding question as to whether f ◦ g = g ◦ f implies J(f) = J(g) (Benini, Rippon and Stallard).

slide-46
SLIDE 46

Classifying simply connected wandering domains

EPSRC funded project

slide-47
SLIDE 47

Classifying simply connected wandering domains

EPSRC funded project

Gwyneth Stallard Phil Rippon Vasso Evdoridou Nuria Fagella Anna Benini

slide-48
SLIDE 48

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z.

slide-49
SLIDE 49

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z. Escaping (f n(z) → ∞)

slide-50
SLIDE 50

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z. Escaping (f n(z) → ∞)

  • most known examples are of this type and are escaping

versions of periodic components.

slide-51
SLIDE 51

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z. Escaping (f n(z) → ∞)

  • most known examples are of this type and are escaping

versions of periodic components.

Oscillating ((f n(z)) has bounded and unbounded subsequences)

slide-52
SLIDE 52

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z. Escaping (f n(z) → ∞)

  • most known examples are of this type and are escaping

versions of periodic components.

Oscillating ((f n(z)) has bounded and unbounded subsequences)

  • Eremenko and Lyubich (1987) constructed examples using

approximation theory

  • Bishop (2015) constructed examples using quasiconformal

folding

slide-53
SLIDE 53

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z. Escaping (f n(z) → ∞)

  • most known examples are of this type and are escaping

versions of periodic components.

Oscillating ((f n(z)) has bounded and unbounded subsequences)

  • Eremenko and Lyubich (1987) constructed examples using

approximation theory

  • Bishop (2015) constructed examples using quasiconformal

folding

Bounded ((f n(z)) is bounded)

slide-54
SLIDE 54

Background - orbits of simply connected wandering domains

There are three possible types of orbits of a wandering domain U containing a point z. Escaping (f n(z) → ∞)

  • most known examples are of this type and are escaping

versions of periodic components.

Oscillating ((f n(z)) has bounded and unbounded subsequences)

  • Eremenko and Lyubich (1987) constructed examples using

approximation theory

  • Bishop (2015) constructed examples using quasiconformal

folding

Bounded ((f n(z)) is bounded)

  • Not known if these can exist
slide-55
SLIDE 55

Escaping wandering domains

Question Are all escaping wandering domains escaping versions of periodic Fatou components?

slide-56
SLIDE 56

Escaping wandering domains

Question Are all escaping wandering domains escaping versions of periodic Fatou components? Wandering attracting domain f(z) = z + sin z + 2π

slide-57
SLIDE 57

Escaping wandering domains

Question Are all escaping wandering domains escaping versions of periodic Fatou components? Wandering attracting domain f(z) = z + sin z + 2π Wandering parabolic domain f(z) = z cos z + 2π

slide-58
SLIDE 58

Escaping wandering domains

Question Are all escaping wandering domains escaping versions of periodic Fatou components? Wandering attracting domain f(z) = z + sin z + 2π Wandering parabolic domain f(z) = z cos z + 2π Answer No - everything seems possible!

slide-59
SLIDE 59

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

slide-60
SLIDE 60

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

slide-61
SLIDE 61

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

2 U is semi-contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to c(z, w) > 0.

slide-62
SLIDE 62

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

2 U is semi-contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to c(z, w) > 0.

3 U is eventually isometric: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) is eventually constant.

slide-63
SLIDE 63

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

2 U is semi-contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to c(z, w) > 0.

3 U is eventually isometric: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) is eventually constant. A wandering domain that is the lift of an attracting basin / parabolic basin / Siegel disc is

slide-64
SLIDE 64

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

2 U is semi-contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to c(z, w) > 0.

3 U is eventually isometric: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) is eventually constant. A wandering domain that is the lift of an attracting basin / parabolic basin / Siegel disc is contracting

slide-65
SLIDE 65

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

2 U is semi-contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to c(z, w) > 0.

3 U is eventually isometric: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) is eventually constant. A wandering domain that is the lift of an attracting basin / parabolic basin / Siegel disc is contracting / contracting

slide-66
SLIDE 66

Classifying simply connected wandering domains

Hyperbolic contraction

Theorem Let U be a simply connected wandering domain and suppose z, w ∈ U have distinct orbits. Then there are three possibilities.

1 U is contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to 0.

2 U is semi-contracting: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) decreases to c(z, w) > 0.

3 U is eventually isometric: for all such pairs z, w ∈ U,

ρUn(f n(z), f n(w)) is eventually constant. A wandering domain that is the lift of an attracting basin / parabolic basin / Siegel disc is contracting / contracting / isometric.

slide-67
SLIDE 67

Proof of hyperbolic contraction classification

Pick a base point z0 ∈ U.

slide-68
SLIDE 68

Proof of hyperbolic contraction classification

Pick a base point z0 ∈ U. Let φn : Un → D denote a Riemann mapping with φ(f n(z0)) = 0.

slide-69
SLIDE 69

Proof of hyperbolic contraction classification

Pick a base point z0 ∈ U. Let φn : Un → D denote a Riemann mapping with φ(f n(z0)) = 0. Consider the sequence of inner functions gn = φnfφ−1

n−1.

slide-70
SLIDE 70

Proof of hyperbolic contraction classification

Pick a base point z0 ∈ U. Let φn : Un → D denote a Riemann mapping with φ(f n(z0)) = 0. Consider the sequence of inner functions gn = φnfφ−1

n−1.

Show that the rate of contraction depends on the values of g′

n(0) - using techniques of Beardon and Carne.

slide-71
SLIDE 71

Proof of hyperbolic contraction classification

Pick a base point z0 ∈ U. Let φn : Un → D denote a Riemann mapping with φ(f n(z0)) = 0. Consider the sequence of inner functions gn = φnfφ−1

n−1.

Show that the rate of contraction depends on the values of g′

n(0) - using techniques of Beardon and Carne. ∞

  • n=0

(1 − |g′

n(0)|) = ∞ ⇐

⇒ gn(w) → 0 as n → ∞ for all w ∈ D.

slide-72
SLIDE 72

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

slide-73
SLIDE 73

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞.

slide-74
SLIDE 74

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

slide-75
SLIDE 75

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

  • This implies that, for w ∈ D, |gn(w)| ≤ (d + ǫ)n, for large n.
slide-76
SLIDE 76

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

  • This implies that, for w ∈ D, |gn(w)| ≤ (d + ǫ)n, for large n.
  • A wandering domain that is the lift of an attracting basin is

strongly contracting

slide-77
SLIDE 77

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

  • This implies that, for w ∈ D, |gn(w)| ≤ (d + ǫ)n, for large n.
  • A wandering domain that is the lift of an attracting basin is

strongly contracting

  • A wandering domain that is the lift of a parabolic basin is

not strongly contracting.

slide-78
SLIDE 78

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

  • This implies that, for w ∈ D, |gn(w)| ≤ (d + ǫ)n, for large n.
  • A wandering domain that is the lift of an attracting basin is

strongly contracting

  • A wandering domain that is the lift of a parabolic basin is

not strongly contracting.

U is super-contracting if lim 1

n

n

k=1 |g′ k(0)| = 0

slide-79
SLIDE 79

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

  • This implies that, for w ∈ D, |gn(w)| ≤ (d + ǫ)n, for large n.
  • A wandering domain that is the lift of an attracting basin is

strongly contracting

  • A wandering domain that is the lift of a parabolic basin is

not strongly contracting.

U is super-contracting if lim 1

n

n

k=1 |g′ k(0)| = 0

  • This implies that, for w ∈ D, d ∈ (0, 1), |gn(w)| ≤ dn, for

large n.

slide-80
SLIDE 80

Contracting wandering domains

Recall U is contracting if ∞

n=0(1 − |g′ n(0)|) = ∞.

This implies that, for w ∈ D, gn(w) → 0 as n → ∞. U is strongly contracting if lim sup 1

n

n

k=1 |g′ k(0)| = d < 1

  • This implies that, for w ∈ D, |gn(w)| ≤ (d + ǫ)n, for large n.
  • A wandering domain that is the lift of an attracting basin is

strongly contracting

  • A wandering domain that is the lift of a parabolic basin is

not strongly contracting.

U is super-contracting if lim 1

n

n

k=1 |g′ k(0)| = 0

  • This implies that, for w ∈ D, d ∈ (0, 1), |gn(w)| ≤ dn, for

large n.

  • A wandering domain that is the lift of a super-attracting

basin is super-contracting.

slide-81
SLIDE 81

Classifying simply connected wandering domains

Distance from boundary

Theorem Let U be a simply connected wandering domain. Then there are three possibilities.

slide-82
SLIDE 82

Classifying simply connected wandering domains

Distance from boundary

Theorem Let U be a simply connected wandering domain. Then there are three possibilities. A Away For all z ∈ U, f n(z) stays away from ∂Un.

slide-83
SLIDE 83

Classifying simply connected wandering domains

Distance from boundary

Theorem Let U be a simply connected wandering domain. Then there are three possibilities. A Away For all z ∈ U, f n(z) stays away from ∂Un. B Bungee For all z ∈ U, there is a subsequence f nk(z) which converges to ∂Unk and a subsequence which stays away.

slide-84
SLIDE 84

Classifying simply connected wandering domains

Distance from boundary

Theorem Let U be a simply connected wandering domain. Then there are three possibilities. A Away For all z ∈ U, f n(z) stays away from ∂Un. B Bungee For all z ∈ U, there is a subsequence f nk(z) which converges to ∂Unk and a subsequence which stays away. C Converges For all z ∈ U, f n(z) converges to ∂Un.

slide-85
SLIDE 85

Classifying simply connected wandering domains

Distance from boundary

Theorem Let U be a simply connected wandering domain. Then there are three possibilities. A Away For all z ∈ U, f n(z) stays away from ∂Un. B Bungee For all z ∈ U, there is a subsequence f nk(z) which converges to ∂Unk and a subsequence which stays away. C Converges For all z ∈ U, f n(z) converges to ∂Un. Definition We say f n(z) converges to the boundary if ∆nρUn(f n(z)) → ∞ as n → ∞,

slide-86
SLIDE 86

Classifying simply connected wandering domains

Distance from boundary

Theorem Let U be a simply connected wandering domain. Then there are three possibilities. A Away For all z ∈ U, f n(z) stays away from ∂Un. B Bungee For all z ∈ U, there is a subsequence f nk(z) which converges to ∂Unk and a subsequence which stays away. C Converges For all z ∈ U, f n(z) converges to ∂Un. Definition We say f n(z) converges to the boundary if ∆nρUn(f n(z)) → ∞ as n → ∞, ∆n = sup{

d 1+d : d = diamD, D is a disc contained in Un}.

slide-87
SLIDE 87

Examples of simply connected wandering domains

These two theorems together give 9 classes of simply connected wandering domains.

slide-88
SLIDE 88

Examples of simply connected wandering domains

These two theorems together give 9 classes of simply connected wandering domains. All previously known examples of escaping wandering domains belong to just 3 of these classes.

slide-89
SLIDE 89

Examples of simply connected wandering domains

These two theorems together give 9 classes of simply connected wandering domains. All previously known examples of escaping wandering domains belong to just 3 of these classes. We give a new technique which allows us to construct examples of all 9 possible types of bounded escaping wandering domains.

slide-90
SLIDE 90

Examples of simply connected wandering domains

These two theorems together give 9 classes of simply connected wandering domains. All previously known examples of escaping wandering domains belong to just 3 of these classes. We give a new technique which allows us to construct examples of all 9 possible types of bounded escaping wandering domains. Vasso will tell you about this tomorrow!