A wandering domain in class B on which all iterates are univalent
|
|
- Arleen Cannon
- 6 years ago
- Views:
Transcription
1 A wandering domain in class B on which all iterates are univalent Núria Fagella (with X. Jarque and K. Lazebnik) Facultat de Matemàtiques i Informàtica Universitat de Barcelona and Barcelona Graduate School of Mathematics Workshop on Complex Dynamics 2017 December 11-15, 2017 N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 1 / 32
2 Transcendental dynamics If f : C C (or to Ĉ) has an essential singularity at infinity we say that f is transcendental. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 2 / 32
3 Transcendental dynamics If f : C C (or to Ĉ) has an essential singularity at infinity we say that f is transcendental. Transcendental maps may have Fatou components that are not basins of attraction nor rotation domains: U is a Baker domain of period 1 if f n U loc. unif. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 2 / 32
4 Transcendental dynamics If f : C C (or to Ĉ) has an essential singularity at infinity we say that f is transcendental. Transcendental maps may have Fatou components that are not basins of attraction nor rotation domains: U is a Baker domain of period 1 if f n U loc. unif. U is a wandering domain if f n (U) f m (U) = for all n m. z + a + b sin(z) [Figures: Christian Henriksen] z + 2π + sin(z) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 2 / 32
5 Transcendental dynamics The set S(f ) of singularities of f 1 consists of critical values and asymtpotic values (and the closure of such). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 3 / 32
6 Transcendental dynamics The set S(f ) of singularities of f 1 consists of critical values and asymtpotic values (and the closure of such). A critical value is the image of a critical point, i.e. v = f (c) with f (c) = 0. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 3 / 32
7 Transcendental dynamics The set S(f ) of singularities of f 1 consists of critical values and asymtpotic values (and the closure of such). A critical value is the image of a critical point, i.e. v = f (c) with f (c) = 0. A point a Ĉ is an asymptotic value if there exists a curve γ(t) such that f (γ(t)) a. (Morally, a has infinitely many preimages collapsed at infinity). Example: z = 0 for f (z) = λe z. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 3 / 32
8 Transcendental dynamics The set S(f ) of singularities of f 1 consists of critical values and asymtpotic values (and the closure of such). A critical value is the image of a critical point, i.e. v = f (c) with f (c) = 0. A point a Ĉ is an asymptotic value if there exists a curve γ(t) such that f (γ(t)) a. (Morally, a has infinitely many preimages collapsed at infinity). Example: z = 0 for f (z) = λe z. f : C \ f 1 (S(f )) C \ S(f ) is a covering map of infinite degree. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 3 / 32
9 Transcendental dynamics The set S(f ) of singularities of f 1 consists of critical values and asymtpotic values (and the closure of such). A critical value is the image of a critical point, i.e. v = f (c) with f (c) = 0. A point a Ĉ is an asymptotic value if there exists a curve γ(t) such that f (γ(t)) a. (Morally, a has infinitely many preimages collapsed at infinity). Example: z = 0 for f (z) = λe z. f : C \ f 1 (S(f )) C \ S(f ) is a covering map of infinite degree. Define the postsingular set of f as P(f ) = s S n 0 f n (s). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 3 / 32
10 The Eremenko-Lyubich class Example: z λ Special classes B = {f ETF (or MTF) such that S(f ) is bounded} z sin(z). Maps in class B have no Baker domains and NO ESCAPING WANDERING DOMAINS (Escaping set J(f )). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 4 / 32
11 The Eremenko-Lyubich class Example: z λ Special classes B = {f ETF (or MTF) such that S(f ) is bounded} z sin(z). Maps in class B have no Baker domains and NO ESCAPING WANDERING DOMAINS (Escaping set J(f )). If U is a wandering domain, and L(U) is the set of limit functions of f n on U, then, all limit functions are constant and escaping if L(U) = { } U is oscillating if {, a} L(U) for some a C. bounded if / L(U). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 4 / 32
12 Existence of wandering domains Question Can maps in class B have wandering domains at all? N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 5 / 32
13 Existence of wandering domains Question Can maps in class B have wandering domains at all? Answer: yes. Theorem (Bishop 15) There exists an entire map f B such that f has an (oscillating) wandering domain. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 5 / 32
14 Existence of wandering domains Question Can maps in class B have wandering domains at all? Answer: yes. Theorem (Bishop 15) There exists an entire map f B such that f has an (oscillating) wandering domain. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 5 / 32
15 Univalent WD in class B Bishop s wandering domain contains critical points inside of arbitrarily high order. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 6 / 32
16 Univalent WD in class B Bishop s wandering domain contains critical points inside of arbitrarily high order. Question Is there an oscillating wandering domain with no singular values inside any of its iterates? N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 6 / 32
17 Univalent WD in class B Bishop s wandering domain contains critical points inside of arbitrarily high order. Question Is there an oscillating wandering domain with no singular values inside any of its iterates? Answer: yes. Theorem A (F-Lazebnik-Jarque 17) There exists an ETF f B such that f has a wandering domain U on which f n U is univalent for all n 0. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 6 / 32
18 Constructing entire functions Bishop s qc-folding construction Let f : C C be a transcendental entire function with exactly two critical values, say 1 and +1 no finite asymptotic values Question: What does f look like? N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 7 / 32
19 Bishop s qc-folding construction T = f 1 ([ 1, +1]) is an infinite bipartite tree. C T f C N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 8 / 32
20 Bishop s qc-folding construction T = f 1 ([ 1, +1]) is an infinite bipartite tree. C T f C H r i(2k+1)π i(2k)π cosh cosh : H r C\[ 1, +1] is a universal cover. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 8 / 32
21 Bishop s qc-folding construction T = f 1 ([ 1, +1]) is an infinite bipartite tree. C T f C Ω H r τ i(2k+1)π i(2k)π cosh Ω c.c. of C\T, τ Ω = (cosh 1 f Ω ) : Ω H r is conformal. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 8 / 32
22 Bishop s qc-folding construction Conversely: How to construct f from (T, τ)? More precisely: Given an infinite bipartite tree T C with good enough geometry a map τ such that τ Ω : Ω H r is conformal, Ω c.c. of C\T N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 9 / 32
23 Bishop s qc-folding construction Conversely: How to construct f from (T, τ)? More precisely: Given an infinite bipartite tree T C with good enough geometry a map τ such that τ Ω : Ω H r is conformal, Ω c.c. of C\T Question: Does there exist an entire function f : C C such that f = cosh τ? Main problem: In general, cosh τ is not continuous across T. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 9 / 32
24 Bishop s qc-folding construction Strategy: Step 1: Modify (T, τ) in a small neighborhood T (r 0 ) of T. More precisely, replace (T, τ) by (T, η) such that T T T (r 0 ) η = τ off T (r 0 ) η Ω : Ω H r is K-quasiconformal, Ω c.c. of C\T cosh η continuous across T (quasiregular map) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 10 / 32
25 Strategy: Bishop s qc-folding construction Step 1: Modify (T, τ) in a small neighborhood T (r 0 ) of T. More precisely, replace (T, τ) by (T, η) such that T T T (r 0 ) η = τ off T (r 0 ) η Ω : Ω H r is K-quasiconformal, Ω c.c. of C\T cosh η continuous across T (quasiregular map) Step 2: Apply MRMT. Obtain a qc map φ (the integrating map of µ cosh η ) so that f := cosh η φ 1 is entire. In particular f φ = cosh τ off T (r 0 ) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 10 / 32
26 C Bishop s qc-folding construction T H r Ω τ N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 11 / 32
27 C Bishop s qc-folding construction η H r T(r ) 0 Ω τ N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 11 / 32
28 C Bishop s qc-folding construction η H r T(r ) 0 Ω τ C cosh N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 11 / 32
29 C Bishop s qc-folding construction η H r T(r ) 0 Ω τ C ϕ ϕ(t) C cosh ϕ(t') N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 11 / 32
30 C Bishop s qc-folding construction η H r T(r ) 0 Ω τ C ϕ ϕ(t') ϕ(t) f C cosh N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 11 / 32
31 Bounded geometry Definition: We say that T has bounded geometry if edges of T are C 2 with uniform bounds angles between adjacent edges are uniformly bounded away from 0 1 diam(e) e, f adjacent edges, M diam(f ) M e, f non-adjacent edges, diam(e) dist(e,f ) M e z dist(z,e) diam(e) =r T(r) T (r) = e edge of T { } z C / dist(z, e) < r diam(e) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 12 / 32
32 Bounded geometry Lemma If T has bounded geometry, then r 0 > 0 such that Ω c.c. of C\T, square Q H r that has ) a τ Ω -edge as one side, Q τ Ω (T (r 0 ) Ω C H r τ T(r ) 0 Ω Every edge has two τ-sizes!!! N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 13 / 32
33 Bishop s Theorem Theorem (Bishop 12) If (T, τ) satisfies the following conditions 1 T has bounded geometry 2 every edge has τ-size π then an entire function f and a quasiconformal map φ such that f φ = cosh τ off T (r 0 ) Moreover f has exactly two critical values, 1 and +1 f has no finite asymptotic values φ(t ) f 1 ([ 1, +1]) (= φ(t )) c critical point of f, deg loc (c, f ) = deg(c, φ(t )) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 14 / 32
34 Bishop s qc-folding construction The main technical difficulty is to find a quasiconformal map ψ from a square to itself such that { ψ maps the left side to an edge of length π ψ is the identity on the right side ψ 3π π N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 15 / 32
35 Bishop s qc-folding construction The main technical difficulty is to find a quasiconformal map ψ from a square to itself such that { ψ maps the left side to an edge of length π ψ is the identity on the right side Solution: Add some extra edges and unfold. ψ 3π π N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 15 / 32
36 ψ 1 is called a quasiconformal folding. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 15 / 32 Bishop s qc-folding construction The main technical difficulty is to find a quasiconformal map ψ from a square to itself such that { ψ maps the left side to an edge of length π ψ is the identity on the right side Solution: Add some extra edges and unfold. ψ 3π π
37 Bishop s qc-folding construction The main technical difficulty is to find a quasiconformal map ψ from a square to itself such that { ψ maps the left side to an edge of length π ψ is the identity on the right side Solution: Add some extra edges and unfold. 13π W ψ π N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 15 / 32
38 ψ 1 is called a quasiconformal folding. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 15 / 32 Bishop s qc-folding construction The main technical difficulty is to find a quasiconformal map ψ from a square to itself such that { ψ maps the left side to an edge of length π ψ is the identity on the right side Solution: Add some extra edges and unfold. 13π W ψ π
39 Bishop s qc-folding construction adding singular values Generalization: We may also construct f with more critical values than only 1 and +1 some finite asymptotic values arbitrary high degree critical points Let T be an infinite bipartite graph. C R L R C R D R f D R R L N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 16 / 32
40 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
41 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R Ω τ Ω H r D L Ω Ω τ Ω τ Ω D H l N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
42 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R D L Ω Ω Ω τ Ω cosh H r τ Ω τ Ω D H l N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
43 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R Ω D (Ω, ) L Ω τ Ω cosh H r C\[ 1, +1] τ Ω (D, 0) τ Ω H l N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
44 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R Ω D (Ω, ) L Ω τ Ω cosh H r C\[ 1, +1] τ Ω (D, 0) τ Ω H l z z d Ω (D, 0) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
45 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R Ω D (Ω, ) L (Ω, ) τ Ω cosh H r C\[ 1, +1] τ Ω (D, 0) τ Ω (H l, ) z z d Ω (D, 0) ρ Ω (D, wω ) where ρ Ω : D D is quasiconformal with ρ Ω (z) = z, z D. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
46 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R Ω D (Ω, ) L (Ω, ) τ Ω cosh H r C\[ 1, +1] τ Ω (D, 0) τ Ω (H l, ) z z d Ω (D, 0) exp (D, 0) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
47 Bishop s qc folding construction - adding singular values The c.c. of C\T are sorted into three different types: R-components: τ Ω : Ω H r conformally D-components: τ Ω : Ω D conformally L-components: τ Ω : Ω H l conformally R Ω D (Ω, ) L (Ω, ) τ Ω cosh H r C\[ 1, +1] τ Ω (D, 0) τ Ω (H l, ) z z d Ω (D, 0) exp (D, 0) ρ Ω (D, vω ) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 17 / 32
48 Constructiong the oscillating wandering domains in class B f = F φ 1 with { F : C C quasiregular (transcendental) φ : C C quasiconformal so that φ µ 0 = F (µ 0 ) F is constructed using an infinite graph. D 1 D 2 D 3 D 4 D 5 S + N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 18 / 32
49 Oscillating wandering domains in class B F : S + λ sinh cosh H r C\[ 1, +1] z cosh(λ sinh(z)) λsinh S H r cosh C λ > 0 is fixed so that f n ( 1 2) + very fast. n + N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 19 / 32
50 Oscillating wandering domains in class B F : S + λ sinh cosh H r C\[ 1, +1] z cosh(λ sinh(z)) λsinh S H r cosh C 0 0 λ > 0 is fixed so that f n ( 1 2) + very fast. n + N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 19 / 32
51 For every n 1, Oscillating wandering domains in class B with z (z z n) dn ρ n F : (D n, z n ) (D, 0) ( (D, wn ) z ρ n (z zn ) dn) ρ n : D D quasiconformal ρ n (0) = w n (z- z ) d n D n n ρ n z n 0 w n 1/2 for some parameters d n n + + and w n n N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 20 /
52 For every n 1, Oscillating wandering domains in class B with z (z z n) dn ρ n F : (D n, z n ) (D, 0) ( (D, wn ) z ρ n (z zn ) dn) ρ n : D D quasiconformal ρ n (0) = w n supp(µ ρn ) { 1 2 z 1} (z- z ) d n D n n ρ n z n 0 w n 1/2 for some parameters d n n + + and w n n N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 20 /
53 Oscillating wandering domains in class B Using Bishop s construction F may be extended to a quasiregular map F : C C such that: z C, F ( z) = F (z) and F (z) = F (z) Crit(F ) = { 1, +1} {w n, n 1} { 1 Asym(F ) = 2} D with wn n F D 1 D 2 D 3 D 4 D 5 S N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 21 / 32
54 Oscillating wandering domains in class B Using Bishop s construction F may be extended to a quasiregular map F : C C such that: z C, F ( z) = F (z) and F (z) = F (z) Crit(F ) = { 1, +1} {w n, n 1} { 1 Asym(F ) = supp (F (µ 0 )) is small enough 2} D with wn n F D 1 D 2 D 3 D 4 D 5 S N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 21 / 32
55 Oscillating wandering domains in class B Using Bishop s construction F may be extended to a quasiregular map F : C C such that: z C, F ( z) = F (z) and F (z) = F (z) Crit(F ) = { 1, +1} {w n, n 1} { 1 2} D with wn Asym(F ) = supp (F (µ 0 )) is small enough in order that φ S + Id S + n F D 1 D 2 D 3 D 4 D 5 S Let f = F φ with φ : C C quasiconformal so that µ φ 1 = F (µ 0 ). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 21 / 32
56 Oscillating wandering domains in class B ~ ~ D n D n+1 1/2 f(1/2) f n f n-1 (1/2) (1/2) S + n+1 f (1/2) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 22 / 32
57 Oscillating wandering domains in class B f ~ ~ D n D n+1 1/2 f(1/2) f n f n-1 (1/2) (1/2) S + n+1 f (1/2) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 22 / 32
58 Oscillating wandering domains in class B f ~ 1_ ~ ~ D n 4 D n D n+1 1/2 f(1/2) f n f n-1 (1/2) (1/2) S + n+1 f (1/2) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 22 / 32
59 Oscillating wandering domains in class B f ~ 1_ ~ ~ D n 4 D n D n+1 U n 1/2 f(1/2) f n f n-1 (1/2) (1/2) S + n+1 f (1/2) f n (U n ) = 1 4 D n and inradius(u n ) C. ( df n dx x= 1 2 ) 1 N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 22 / 32
60 Oscillating wandering domains in class B ~ ~ D n D n+1 ~ 1_ D 4 n+1 U n+1 1/2 f(1/2) f n f n-1 (1/2) (1/2) S + n+1 f (1/2) f n (U n ) = 1 4 D n and inradius(u n ) C. f n+1 (U n+1 ) = 1 4 D n+1 and inradius(u n+1 ) C. ( df n ) 1 dx x= 1 ( 2 df n+1 ) 1 dx x= 1 2 N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 22 / 32
61 Oscillating wandering domains in class B f ~ 1_ ~ ~ D n 4 D n D n+1 U n+1 1/2 f(1/2) f n f n-1 (1/2) (1/2) S + n+1 f (1/2) ( df n+1 dx ) dn f n+1 (U n+1 ) = 1 D 4 n+1 and inradius(u n+1 ) C. ( w n f 1 D ) ( ( 4 n and diam f 1 D )) 4 n C. ( 1 4 x= 1 2 ) 1 N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 22 / 32
62 Oscillating wandering domains in class B This is an iterative process, where Bishop s theorem is applied infinitely many times. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 23 / 32
63 Oscillating wandering domains in class B This is an iterative process, where Bishop s theorem is applied infinitely many times. The parameters w n, d n are adjusted successively obtaining a new map f, everytime closer to the previous one, converging to a final map f. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 23 / 32
64 Oscillating wandering domains in class B This is an iterative process, where Bishop s theorem is applied infinitely many times. The parameters w n, d n are adjusted successively obtaining a new map f, everytime closer to the previous one, converging to a final map f. The correction map φ at every step is closer and closer to the identity, since the support of µ decreases exponentially. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 23 / 32
65 Modifying F to construct a univalent wandering domain The new map on D components Consider the map D D z z m + δz m 1 critical points which tend to D when m m 1 critical values which tend to δ in modulus when m. Let γ = { z = 3 2 } and then int(γ 1 ) contains all critical points. γ 1 γ N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 24 / 32
66 The new map on D components Define a quasiregular map ψ on D {z m + δz, if z int ( γ 1) ψ m = z m if z D, and linear interpolation in between int ( γ 1) and D. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 25 / 32
67 The new map on D components Define a quasiregular map ψ on D {z m + δz, if z int ( γ 1) ψ m = z m if z D, and linear interpolation in between int ( γ 1) and D. Claim 1 The dilatation of ψ m is uniformly bounded independently of m and δ << 1 2. supported on a region whose area tends to 0 as m. Idea of the proof N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 25 / 32
68 General strategy We resemble Bishop s construction with the following modifications: N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 26 / 32
69 General strategy We resemble Bishop s construction with the following modifications: Parameters λ, (w n ), (δ n ), (d n ). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 26 / 32
70 General strategy We resemble Bishop s construction with the following modifications: Parameters λ, (w n ), (δ n ), (d n ). Keep g(z) = cosh(λ sinh(z)) in the strip S +. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 26 / 32
71 General strategy We resemble Bishop s construction with the following modifications: Parameters λ, (w n ), (δ n ), (d n ). Keep g(z) = cosh(λ sinh(z)) in the strip S +. In the disks D n, substitute (z z n ) dn by ψ n (z z n ) := ψ dn (z z n ). N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 26 / 32
72 General strategy We resemble Bishop s construction with the following modifications: Parameters λ, (w n ), (δ n ), (d n ). Keep g(z) = cosh(λ sinh(z)) in the strip S +. In the disks D n, substitute (z z n ) dn by ψ n (z z n ) := ψ dn (z z n ). Compose with ρ n sending 0 to w n near 1 2. The critical values of ρ n φ n (z z n ) are now centered around w n. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 26 / 32
73 General strategy We resemble Bishop s construction with the following modifications: Parameters λ, (w n ), (δ n ), (d n ). Keep g(z) = cosh(λ sinh(z)) in the strip S +. In the disks D n, substitute (z z n ) dn by ψ n (z z n ) := ψ dn (z z n ). Compose with ρ n sending 0 to w n near 1 2. The critical values of ρ n φ n (z z n ) are now centered around w n. Bishop s theorem yields a quasiregular extension of g in C with dilatation independent of the parameters, and an entire map f = g φ, with φ qc. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 26 / 32
74 General strategy Now, as in Bishop, we modify g on the discs D n (adjust parameters d n, w n, δ n ), for n larger at each step. We iterate the process making sure that N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 27 / 32
75 General strategy Now, as in Bishop, we modify g on the discs D n (adjust parameters d n, w n, δ n ), for n larger at each step. We iterate the process making sure that the process converges N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 27 / 32
76 General strategy Now, as in Bishop, we modify g on the discs D n (adjust parameters d n, w n, δ n ), for n larger at each step. We iterate the process making sure that the process converges the modifications do not change the dynamics we want to preserve. N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 27 / 32
77 Exponents and dilatation parameters We consider straight annuli around D n (the safety belt) A n = {1 µ n < z z n < 1 + µ n }. Ã n D n, µn 2 µ n C n C n (cosh λ sinh φ 0 ) n Claim 2 radius(c n) radius(c n ) 1 + µ n n 1 µ n N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 28 / 32
78 First step We adjust µ 2 << µ 1, w 1 = f n 2 ( z n ) and δ 1 appropriately so that: D2, µ2 D 1, µ1 2 µ 1 Ã n2 2 µ 2 f n f 1 w 1 f 1 ( D 1, µ1 ) (f 1 ) n2 ( D n2 ) Crit. val. outside (f 1 ) n2 (Ãn 2 ) N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 29 / 32
79 Claim 3 The final check There exists a wandering domain U containing D 1, µ1, and it satisfies U n D. In particular, its orbit does not contain singular values and therefore f n U is univalent for all n. 3π 2π π 0 π 2π W 1 W 0 W 2 ˆτ V φ η 1 η 2 N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 30 / 32
80 Thank you for your attention! N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 31 / 32
81 Uniformly constant dilatation γ 1 w = m 1 Q 1 1 ψ m z m log log Estimate modq (right) and mod(ψ m (Q)) (left) and see that the quotient is uniformly bounded when m and δ 0. Go back N. Fagella, X. Jarque and K. Lazebnik (UB) Univalent WD RIMS Kyoto 32 / 32
Wandering domains and Singularities
Wandering domains and Singularities Núria Fagella Facultat de Matemàtiques i Informàtica Universitat de Barcelona and Barcelona Graduate School of Mathematics Workshop on Complex Dynamics 2017 Deember
More informationWandering domains and Singularities
Wandering domains and Singularities Núria Fagella Facultat de Matemtiques i Informtica Universitat de Barcelona and Barcelona Graduate School of Mathematics Complex dynamics and Quasiconformal Geometry
More informationQuasiconformal surgery and applications to transcendental dynamics
Quasiconformal surgery and applications to transcendental dynamics Núria Fagella Facultat de Matemàtiques i Informàtica Universitat de Barcelona and Barcelona Graduate School of Mathematics JackFest, Cancun,
More informationWandering domains from the inside
Wandering domains from the inside Núria Fagella (Joint with A. M. Benini, V. Evdoridou, P. Rippon and G. Stallard) Facultat de Matemàtiques i Informàtica Universitat de Barcelona and Barcelona Graduate
More informationQuasiconformal Folding (or dessins d adolescents) Christopher J. Bishop Stony Brook
Quasiconformal Folding (or dessins d adolescents) Christopher J. Bishop Stony Brook Workshop on Dynamics of Groups and Rational Maps IPAM, UCLA April 8-12, 2013 lecture slides available at www.math.sunysb.edu/~bishop/lectures
More informationWandering domains for composition of entire functions
This is a preprint of: Wandering domains for composition of entire functions, Nuria Fagella, Sebastién Godillon, Xavier Jarque, J. Math. Anal. Appl., vol. 429, 478 496, 2015. DOI: [10.1016/j.jmaa.2015.04.020]
More informationSeveral Constructions in the Eremenko-Lyubich Class. A Dissertation presented. Kirill Lazebnik. The Graduate School. in Partial Fulfillment of the
Several Constructions in the Eremenko-Lyubich Class A Dissertation presented by Kirill Lazebnik to The Graduate School in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy
More informationPeriodic cycles and singular values of entire transcendental functions
Periodic cycles and singular values of entire transcendental functions Anna Miriam Benini and Núria Fagella Universitat de Barcelona Barcelona Graduate School of Mathematics CAFT 2018 Heraklion, 4th of
More informationConstructing entire functions by quasiconformal folding
Acta Math., 214 (2015), 1 60 DOI: 10.1007/s11511-015-0122-0 c 2015 by Institut Mittag-Leffler. All rights reserved Constructing entire functions by quasiconformal folding by Christopher J. Bishop Stony
More informationON THE CONFIGURATION OF HERMAN RINGS OF MEROMORPHIC FUNCTIONS. 1. Introduction
ON THE CONFIGURATION OF HERMAN RINGS OF MEROMORPHIC FUNCTIONS NÚRIA FAGELLA AND JÖRN PETER Abstract. We prove some results concerning the possible configurations of Herman rings for transcendental meromorphic
More informationCONSTRUCTING ENTIRE FUNCTIONS BY QUASICONFORMAL FOLDING
CONSTRUCTING ENTIRE FUNCTIONS BY QUASICONFORMAL FOLDING CHRISTOPHER J. BISHOP Abstract. We give a method for constructing transcendental entire functions with good control of both the singular values of
More informationExistence of absorbing domains
Existence of absorbing domains K. Barański, N. Fagella, B. Karpińska and X. Jarque Warsaw U., U. de Barcelona, Warsaw U. of Technology Universitat de Barcelona Bȩdlewo, Poland April 23, 2012 (Diada de
More informationDeformation of Entire Functions with Baker Domains
Deformation of Entire Functions with Baker Domains Núria Fagella Dept. de Mat. Aplicada i Anàlisi Univ. de Barcelona, Gran Via 585 08007 Barcelona, Spain fagella@maia.ub.es Christian Henriksen The Tech.
More informationON THE CONFIGURATION OF HERMAN RINGS OF MEROMORPHIC FUNCTIONS
ON THE CONFIGURATION OF HERMAN RINGS OF MEROMORPHIC FUNCTIONS NÚRIA FAGELLA AND JÖRN PETER Abstract. We prove some results concerning the possible configurations of Herman rings for transcendental meromorphic
More informationarxiv: v2 [math.ds] 19 May 2015
HYPERBOLIC ENTIRE FUNCTIONS WITH BOUNDED FATOU COMPONENTS WALTER BERGWEILER, NÚRIA FAGELLA, AND LASSE REMPE-GILLEN arxiv:1404.0925v2 [math.ds] 19 May 2015 Abstract. We show that an invariant Fatou component
More informationUniversität Dortmund, Institut für Mathematik, D Dortmund (
Jordan and Julia Norbert Steinmetz Universität Dortmund, Institut für Mathematik, D 44221 Dortmund (e-mail: stein@math.uni-dortmund.de) Received: 8 November 1995 / Revised version: Mathematics Subject
More informationarxiv: v3 [math.ds] 30 Oct 2017
THERMODYNAMIC FORMALISM AND INTEGRAL MEANS SPECTRUM OF ASYMPTOTIC TRACTS FOR TRANSCENDENTAL ENTIRE FUNCTIONS arxiv:1709.05166v3 [math.ds] 30 Oct 2017 VOLKER MAYER AND MARIUSZ URBAŃSKI Abstract. We provide
More informationarxiv: v2 [math.ds] 29 Jul 2014
Repelling periodic points and landing of rays for post-singularly bounded exponential maps A. M. Benini, M. Lyubich November 6, 2018 arxiv:1208.0147v2 [math.ds] 29 Jul 2014 Abstract We show that repelling
More informationAn entire transcendental family with a persistent Siegel disc
An entire transcendental family with a persistent Siegel disc Rubén Berenguel, Núria Fagella July 1, 2009 Abstract We study the class of entire transcendental maps of finite order with one critical point
More informationThe quasi-fatou set in quasiregular dynamics
The quasi-fatou set in quasiregular dynamics Dan Nicks University of Nottingham July 2018 Talk overview Quick introduction to quasiregular maps on R d. These generalize analytic functions on C. Survey
More informationarxiv: v1 [math.ds] 20 Nov 2014
ACCESSES TO INFINITY FROM FATOU COMPONENTS KRZYSZTOF BARAŃSKI, NÚRIA FAGELLA, XAVIER JARQUE, AND BOGUS LAWA KARPIŃSKA arxiv:1411.5473v1 [math.ds] 20 Nov 2014 Abstract. We study the boundary behaviour of
More informationGluing linear differential equations
Gluing linear differential equations Alex Eremenko March 6, 2016 In this talk I describe the recent work joint with Walter Bergweiler where we introduce a method of construction of linear differential
More informationATTRACTING DYNAMICS OF EXPONENTIAL MAPS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 3 34 ATTRACTING DYNAMICS OF EXPONENTIAL MAPS Dierk Schleicher International University Bremen, School of Engineering and Science Postfach
More informationRecurrence of entire transcendental functions with simple post-singular sets
FUNDAMENTA MATHEMATICAE 187 (2005) Recurrence of entire transcendental functions with simple post-singular sets by Jan-Martin Hemke (Kiel) Abstract. We study how the orbits of the singularities of the
More informationarxiv: v1 [math.ds] 26 Oct 2015
FATOU S WEB V. EVDORIDOU arxiv:1510.07449v1 [math.ds] 6 Oct 015 Abstract. Let f be Fatou s function, that is, f(z) = z + 1 + e z. We prove that the escaping set of f has the structure of a spider s web
More informationarxiv: v1 [math.ds] 24 Apr 2007
DYNAMIC RAYS OF BOUNDED-TYPE ENTIRE FUNCTIONS GÜNTER ROTTENFUSSER, JOHANNES RÜCKERT, LASSE REMPE, AND DIERK SCHLEICHER arxiv:0704.3213v1 [math.ds] 24 Apr 2007 Abstract. We construct an entire function
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationSOME EXAMPLES OF BAKER DOMAINS
SOME EXAMPLES OF BAKER DOMAINS WALTER BERGWEILER AND JIAN-HUA ZHENG Abstract. We construct entire functions with hyperbolic and simply parabolic Baker domains on which the functions are not univalent.
More informationIndecomposable Continua and Misiurewicz Points in Exponential Dynamics
Indecomposable Continua and Misiurewicz Points in Exponential Dynamics Robert L. Devaney Mathematics Department Boston University Boston, MA 02215, USA Xavier Jarque Dep. Mat. Aplicada i Anàlisi Universitat
More informationRigidity for real polynomials
Rigidity for real polynomials O. Kozlovski, W. Shen, S. van Strien June 6, 2003 Abstract We prove the topological (or combinatorial) rigidity property for real polynomials with all critical points real
More informationApproximation of Baker domains and convergence of Julia sets
Approximation of Baker domains and convergence of Julia sets Dissertation zur Erlangung des Doktorgrades der Fakultät für Mathematik und Informatik der Georg-August-Universität zu Göttingen vorgelegt von
More informationDynamics of Entire Functions
Dynamics of Entire Functions Dierk Schleicher Abstract Complex dynamics of iterated entire holomorphic functions is an active and exciting area of research. This manuscript collects known background in
More informationTHE MACLANE CLASS AND THE EREMENKO LYUBICH CLASS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 42, 2017, 859 873 THE MACLANE CLASS AND THE EREMENKO LYUBICH CLASS Karl F. Barth, Philip J. Rippon and David J. Sixsmith Syracuse University, Department
More informationOpen Research Online The Open University s repository of research publications and other research outputs
Open Research Online The Open University s repository of research publications and other research outputs Functions of genus zero for which the fast escaping set has Hausdorff dimension two Journal Item
More informationAsymptotic values and analytic sets
Asymptotic values and analytic sets Alicia Cantón, Jingjing Qu Universidad Politécnica de Madrid, Tsinghua University (Beijing) The Real World is Complex a symposium in honor of Christian Berg August 26-28
More informationConnectivity of the Julia set for Newton maps. Xavier Jarque (Universitat de Barcelona) Surfing the complexity A journey through Dynamical Systems
Connectivity of the Julia set for Newton maps Xavier Jarque (Universitat de Barcelona) Surfing the complexity A journey through Dynamical Systems On the occasion of J. A. Rodríguez (Chachi) s 60th birthday
More informationMath 715 Homework 1 Solutions
. [arrier, Krook and Pearson Section 2- Exercise ] Show that no purely real function can be analytic, unless it is a constant. onsider a function f(z) = u(x, y) + iv(x, y) where z = x + iy and where u
More informationMEROMORPHIC FUNCTIONS WHOSE JULIA SETS CONTAIN A FREE JORDAN ARC
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 273 298 MEROMORPHIC FUNCTIONS WHOSE JULIA SETS CONTAIN A FREE JORDAN ARC Gwyneth M. Stallard Imperial College of Science,
More informationSemigroups of transcendental entire functions and their dynamics
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 127, No. 2, April 2017, pp. 349 360. DOI 10.1007/s12044-016-0298-z Semigroups of transcendental entire functions and their dynamics DINESH KUMAR 1, and SANJAY
More informationComplex Analysis Topic: Singularities
Complex Analysis Topic: Singularities MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Topic: Singularities 1 / 15 Zeroes of Analytic Functions A point z 0 C is
More informationARC-LIKE CONTINUA, JULIA SETS OF ENTIRE FUNCTIONS, AND EREMENKO S CONJECTURE
ARC-LIKE CONTINUA, JULIA SETS OF ENTIRE FUNCTIONS, AND EREMENKO S CONJECTURE LASSE REMPE-GILLEN Abstract. Let f be a transcendental entire function, and assume that f is hyperbolic with connected Fatou
More informationarxiv: v1 [math.ds] 6 Jun 2017
FATOU COMPONENTS AND SINGULARITIES OF MEROMORPHIC FUNCTIONS KRZYSZTOF BARAŃSKI, NÚRIA FAGELLA, XAVIER JARQUE, AND BOGUS LAWA KARPIŃSKA arxiv:1706.01732v1 [math.ds] 6 Jun 2017 Abstract. We prove several
More informationABSORBING SETS AND BAKER DOMAINS FOR HOLOMORPHIC MAPS
This is a preprint of: Absorbing sets and Baker domains for holomorphic maps, Krzysztof Baranski, Nuria Fagella, Xavier Jarque, Boguslawa Karpinska, J. London Math. Soc. (2), vol. 92(1), 144 162, 2014.
More informationThis is a preprint of: On a Family of Rational Perturbations of the Doubling Map, Jordi Canela, Nuria Fagella, Antoni Garijo, J. Difference Equ.
This is a preprint of: On a Family of Rational Perturbations of the Doubling Map, Jordi Canela, Nuria Fagella, Antoni Garijo, J. Difference Equ. Appl., vol. 21(8), 715 741, 2015. DOI: [10.1080/10236198.2015.1050387]
More informationON NEWTON S METHOD FOR ENTIRE FUNCTIONS
J. London Math. Soc. (2) 75 (2007) 659 676 C 2007 London Mathematical Society doi:10.1112/jlms/jdm046 ON NEWTON S METHOD FOR ENTIRE FUNCTIONS JOHANNES RÜCKERT and DIERK SCHLEICHER Abstract The Newton map
More informationSiegel Discs in Complex Dynamics
Siegel Discs in Complex Dynamics Tarakanta Nayak, Research Scholar Department of Mathematics, IIT Guwahati Email: tarakanta@iitg.ernet.in 1 Introduction and Definitions A dynamical system is a physical
More informationLocal dynamics of holomorphic maps
5 Local dynamics of holomorphic maps In this chapter we study the local dynamics of a holomorphic map near a fixed point. The setting will be the following. We have a holomorphic map defined in a neighbourhood
More informationESCAPE QUARTERED THEOREM AND THE CONNECTIVITY OF THE JULIA SETS OF A FAMILY OF RATIONAL MAPS
ESCAPE QUARTERED THEOREM AND THE CONNECTIVITY OF THE JULIA SETS OF A FAMILY OF RATIONAL MAPS YOU-MING WANG, FEI YANG, SONG ZHANG, AND LIANG-WEN LIAO Abstract. In this article, we investigate the dynamics
More informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
More informationAn alternative proof of Mañé s theorem on non-expanding Julia sets
An alternative proof of Mañé s theorem on non-expanding Julia sets Mitsuhiro Shishikura and Tan Lei Abstract We give a proof of the following theorem of Mañé: A forward invariant compact set in the Julia
More informationSIERPIŃSKI CURVE JULIA SETS FOR QUADRATIC RATIONAL MAPS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 39, 2014, 3 22 SIERPIŃSKI CURVE JULIA SETS FOR QUADRATIC RATIONAL MAPS Robert L. Devaney, Núria Fagella, Antonio Garijo and Xavier Jarque Boston
More informationDYNAMICS OF RATIONAL SEMIGROUPS
DYNAMICS OF RATIONAL SEMIGROUPS DAVID BOYD AND RICH STANKEWITZ Contents 1. Introduction 2 1.1. The expanding property of the Julia set 4 2. Uniformly Perfect Sets 7 2.1. Logarithmic capacity 9 2.2. Julia
More informationThe eventual hyperbolic dimension of entire functions
The eventual hyperbolic dimension of entire functions Joint work with Lasse Rempe-Gillen University of Liverpool Workshop on ergodic theory and holomorphic dynamics 1 October 2015 An important class of
More informationOn the regular leaf space of the cauliflower
On the regular leaf space of the cauliflower Tomoki Kawahira Department of Mathematics Graduate School of Science Kyoto University Email: kawahira@math.kyoto-u.ac.jp June 4, 2003 Abstract We construct
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationneighborhood of the point or do not. The grand orbit of any component of the Fatou set contains one of the following domains; an attractive basin, a s
On Teichmuller spaces of complex dynamics by entire functions Tatsunori Harada and Masahiko Taniguchi Abstract In this paper, we give avery brief exposition of the general Teichmuller theory for complex
More informationA TRANSCENDENTAL JULIA SET OF DIMENSION 1
A TRANSCENDENTAL JULIA SET OF DIMENSION 1 CHRISTOPHER J. BISHOP Abstract. We construct a transcendental entire function whose Julia set has locally finite 1-dimensional measure, hence Hausdorff dimension
More informationDYNAMICS OF TRANSCENDENTAL MEROMORPHIC FUNCTIONS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 23, 998, 225 250 DYNAMICS OF TRANSCENDENTAL MEROMORPHIC FUNCTIONS P. Domínguez Imperial College of Science, Technology and Medicine, Department
More informationDynamics of Tangent. Robert L. Devaney Department of Mathematics Boston University Boston, Mass Linda Keen
Dynamics of Tangent Robert L. Devaney Department of Mathematics Boston University Boston, Mass. 02215 Linda Keen Department of Mathematics Herbert H. Lehman College, CUNY Bronx, N.Y. 10468 Abstract We
More informationFinding Roots of Any Polynomial by Random Relaxed Newton s Methods. Hiroki Sumi
Finding Roots of Any Polynomial by Random Relaxed Newton s Methods Hiroki Sumi Graduate School of Human and Environmental Studies, Kyoto University, Japan E-mail: sumi@math.h.kyoto-u.ac.jp http://www.math.h.kyoto-u.ac.jp/
More informationLECTURE Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial
LECTURE. Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial f λ : R R x λx( x), where λ [, 4). Starting with the critical point x 0 := /2, we
More informationEvolution of the McMullen Domain for Singularly Perturbed Rational Maps
Volume 32, 2008 Pages 301 320 http://topology.auburn.edu/tp/ Evolution of the McMullen Domain for Singularly Perturbed Rational Maps by Robert L. Devaney and Sebastian M. Marotta Electronically published
More informationChapter 6: The metric space M(G) and normal families
Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider
More informationThe topological differences between the Mandelbrot set and the tricorn
The topological differences between the Mandelbrot set and the tricorn Sabyasachi Mukherjee Jacobs University Bremen Warwick, November 2014 Basic definitions We consider the iteration of quadratic anti-polynomials
More informationInteractions between Function Theory and Holomorphic Dynamics
Interactions between Function Theory and Holomorphic Dynamics Alexandre Eremenko July 23, 2018 Dedicated to Walter Bergweiler on the occasion of his 60-th birthday It is not surprising that in the study
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More informationCOMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH
COMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH Abstract. We study [ϕ t, X], the maximal space of strong continuity for a semigroup of composition operators induced
More informationOn the Bank Laine conjecture
On the Bank Laine conjecture Walter Bergweiler and Alexandre Eremenko Abstract We resolve a question of Bank and Laine on the zeros of solutions of w + Aw = 0 where A is an entire function of finite order.
More informationDYNAMICAL CONVERGENCE OF A CERTAIN POLYNOMIAL FAMILY TO f a (z) = z + e z + a
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 40, 2015, 449 463 DYNAMICAL CONVERGENCE OF A CERTAIN POLYNOMIAL FAMILY TO f a (z) = z + e z + a Shunsuke Morosawa Kochi University, Faculty of Science,
More informationUNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS. 1. Introduction and results
UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS RICH STANKEWITZ Abstract. Conditions are given which imply that analytic iterated function systems (IFS s) in the complex plane C have uniformly
More informationCOMPLEX ANALYSIS-II HOMEWORK
COMPLEX ANALYSIS-II HOMEWORK M. LYUBICH Homework (due by Thu Sep 7). Cross-ratios and symmetries of the four-punctured spheres The cross-ratio of four distinct (ordered) points (z,z 2,z 3,z 4 ) Ĉ4 on the
More informationSuperattracting fixed points of quasiregular mappings
Superattracting fixed points of quasiregular mappings Dan Nicks University of Nottingham July 2014 Joint work with Alastair Fletcher Introduction We will look at the behaviour of the iterates of a function
More informationDIMENSIONS OF JULIA SETS OF HYPERBOLIC ENTIRE FUNCTIONS
Bull. London Math. Soc. 36 2004 263 270 C 2004 London Mathematical Society DOI: 10.1112/S0024609303002698 DIMENSIONS OF JULIA SETS OF HYPERBOLIC ENTIRE FUNCTIONS GWYNETH M. STALLARD Abstract It is known
More informationThe Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania
The Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania AMS Subject Classification: Primary: 37F10 Secondary: 51N05, 54D70 Key Words: Julia Set, Complex Dynamics,
More informationSingular Perturbations in the McMullen Domain
Singular Perturbations in the McMullen Domain Robert L. Devaney Sebastian M. Marotta Department of Mathematics Boston University January 5, 2008 Abstract In this paper we study the dynamics of the family
More informationarxiv: v4 [math.ds] 1 Dec 2015
THE DYNAMICS OF SEMIGROUPS OF TRANSCENDENTAL ENTIRE FUNCTIONS II DINESH KUMAR AND SANJAY KUMAR arxiv:1401.045v4 [math.ds] 1 Dec 015 Abstract. We introduce the concept of escaping set for semigroups of
More informationarxiv: v2 [math.ds] 9 Jun 2013
SHAPES OF POLYNOMIAL JULIA SETS KATHRYN A. LINDSEY arxiv:209.043v2 [math.ds] 9 Jun 203 Abstract. Any Jordan curve in the complex plane can be approximated arbitrarily well in the Hausdorff topology by
More informationRational Maps with Cluster Cycles and the Mating of Polynomials
Rational Maps with Cluster Cycles and the Mating of Polynomials Thomas Sharland Institute of Mathematical Sciences Stony Brook University 14th September 2012 Dynamical Systems Seminar Tom Sharland (Stony
More informationThe Exponential Map Is Chaotic: An Invitation to Transcendental Dynamics
The Exponential Map Is Chaotic: An Invitation to Transcendental Dynamics Zhaiming Shen and Lasse Rempe-Gillen Abstract. We present an elementary and conceptual proof that the complex exponential map is
More informationITERATION OF A COMPOSITION OF EXPONENTIAL FUNCTIONS
transactions of the american mathematical society Volume 328, Number 2, December 1991 ITERATION OF A COMPOSITION OF EXPONENTIAL FUNCTIONS XIAOYING DONG Abstract. We show that for certain complex parameters
More informationQuasisymmetric uniformization
Quasisymmetric uniformization Daniel Meyer Jacobs University May 1, 2013 Quasisymmetry X, Y metric spaces, ϕ: X Y is quasisymmetric, if ( ) ϕ(x) ϕ(y) x y ϕ(x) ϕ(z) η, x z for all x, y, z X, η : [0, ) [0,
More informationNo Smooth Julia Sets for Complex Hénon Maps
No Smooth Julia Sets for Complex Hénon Maps Eric Bedford Stony Brook U. Dynamics of invertible polynomial maps of C 2 If we want invertible polynomial maps, we must move to dimension 2. One approach: Develop
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationJulia sets in higher dimensions
Julia sets in higher dimensions Dan Nicks University of Nottingham June 2017 Overview Complex dynamics. Quasiregular maps on R d. Iteration of quasiregular maps. Complex dynamics The study of iteration
More informationSingularities of inverse functions
Singularities of inverse functions Alexandre Eremenko May 26, 2013 Abstract This is a lecture delivered at the workshop The role of complex analysis in complex dynamics in Edinburgh on May 22 2013. 1.
More informationOn Bank-Laine functions
Computational Methods and Function Theory Volume 00 0000), No. 0, 000 000 XXYYYZZ On Bank-Laine functions Alastair Fletcher Keywords. Bank-Laine functions, zeros. 2000 MSC. 30D35, 34M05. Abstract. In this
More information3 Fatou and Julia sets
3 Fatou and Julia sets The following properties follow immediately from our definitions at the end of the previous chapter: 1. F (f) is open (by definition); hence J(f) is closed and therefore compact
More informationRigidity of escaping dynamics for transcendental entire functions
Acta Math., 203 (2009), 235 267 DOI: 10.1007/s11511-009-0042-y c 2009 by Institut Mittag-Leffler. All rights reserved Rigidity of escaping dynamics for transcendental entire functions by Lasse Rempe University
More informationMapping problems and harmonic univalent mappings
Mapping problems and harmonic univalent mappings Antti Rasila Helsinki University of Technology antti.rasila@tkk.fi (Mainly based on P. Duren s book Harmonic mappings in the plane) Helsinki Analysis Seminar,
More informationHyperbolic-parabolic deformations of rational maps
Hyperbolic-parabolic deformations of rational maps Guizhen CUI Lei TAN January 21, 2015 Abstract We develop a Thurston-like theory to characterize geometrically finite rational maps, then apply it to study
More informationSierpiński curve Julia sets for quadratic rational maps
Sierpiński curve Julia sets for quadratic rational maps Robert L. Devaney Department of Mathematics Boston University 111 Cummington Street Boston, MA 02215, USA Núria Fagella Dept. de Matemàtica Aplicada
More informationWeak Mean Stability in Random Holomorphic Dynamical Systems Hiroki Sumi Graduate School of Human and Environmental Studies Kyoto University Japan
Weak Mean Stability in Random Holomorphic Dynamical Systems Hiroki Sumi Graduate School of Human and Environmental Studies Kyoto University Japan E-mail: sumi@math.h.kyoto-u.ac.jp http://www.math.h.kyoto-u.ac.jp/
More informationDYNAMICS OF TRANSCENDENTAL HÉNON MAPS
DYNAMICS OF TRANSCENDENTAL HÉNON MAPS LEANDRO AROSIO, ANNA MIRIAM BENINI, JOHN ERIK FORNÆSS, AND HAN PETERS arxiv:1705.09183v1 [math.cv] 5 May 017 Abstract. The dynamics of transcendental functions in
More informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationCalderón s inverse problem in 2D Electrical Impedance Tomography
Calderón s inverse problem in 2D Electrical Impedance Tomography Kari Astala (University of Helsinki) Joint work with: Matti Lassas, Lassi Päivärinta, Samuli Siltanen, Jennifer Mueller and Alan Perämäki
More informationCheckerboard Julia Sets for Rational Maps
Checkerboard Julia Sets for Rational Maps arxiv:1103.3803v3 [math.ds] 20 Jun 2011 Paul Blanchard Figen Çilingir Daniel Cuzzocreo Robert L. Devaney Daniel M. Look Elizabeth D. Russell Current version: June
More informationDynamical Properties of Weierstrass Elliptic Functions on Square Lattices
Dynamical Properties of Weierstrass Elliptic Functions on Square Lattices Joshua J. Clemons A dissertation submitted to the faculty of the University of North Carolina at Chapel Hill in partial fulfillment
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationCombinatorial rigidity of multicritical maps
Combinatorial rigidity of multicritical maps Wenjuan Peng, Lei an o cite this version: Wenjuan Peng, Lei an. Combinatorial rigidity of multicritical maps. 30 pages. 2011. HAL Id: hal-00601631
More informationLECTURE 2. defined recursively by x i+1 := f λ (x i ) with starting point x 0 = 1/2. If we plot the set of accumulation points of P λ, that is,
LECTURE 2 1. Rational maps Last time, we considered the dynamical system obtained by iterating the map x f λ λx(1 x). We were mainly interested in cases where the orbit of the critical point was periodic.
More information