The dynamics of circle maps
W. de Melo demelo@impa.br
W. de Melo demelo@impa.br
()
, august 2010 1 / 18 different backgrounds...
Dynamics in the circle
Circle Diffeomorphisms critical circle mappings covering maps, expanding circle maps multimodal maps
W. de Melo demelo@impa.br
()
, august 2010 2 / 18 different backgrounds...
Some problems
Conjugacy classes- conjugacy invariants
Full families
Structural stability: characterization, density
Rigidity: lower regularity of conjugacy ⇒ higher regularity bifurcation
W. de Melo demelo@impa.br
()
, august 2010 3 / 18 different backgrounds...
Poincaré, Denjoy (1932), Arnold (1961),
Herman, Yoccoz, .....
Yoccoz, (1984), Swiatek (1988), Herman, deMelo-Strien(2000), Yampolski (2002),
Khanin-Teplinsky (2007)
Shub (1969), Mañe , Shub-Sullivan deMelo-Salomão Vargas (2010), Strien,
W. de Melo demelo@impa.br
()
, august 2010 4 / 18 different backgrounds...
Lift to the real line
Covering map φ :
R
→
S
1 , φ ( t ) = e 2 π it
φ ( t ) = φ ( s ) ⇔ t − s ∈
Z
Lift of f :
S
1 →
S
1 :
F :
R
→
R such that φ ◦ F = φ ◦ f
F ( t + 1 ) = F ( t ) + d where d ∈
Z topological degree of f
G another lift of f ⇔ F ( t ) − G ( t ) ∈
Z
W. de Melo demelo@impa.br
()
, august 2010 5 / 18 different backgrounds...
The standard family: the Arnold´s tongues
F a ,µ
( t ) = t + a +
µ
2 π sin ( 2 π t )
µ < 1 f a ,µ diffeomorphisms, µ = 0 rigid rotation rotation number of a diffeo :
ρ ( f ) = lim n →∞
F n
( x ) − x n
µ > 1: rotation interval.
W. de Melo demelo@impa.br
()
, august 2010 6 / 18 different backgrounds...
W. de Melo demelo@impa.br
()
, august 2010 7 / 18 different backgrounds...
A dynamical dichotomy
Periodic behavior: x ∈ P f
⊂ S 1 ⇐⇒ ∃ neigh.
V of x s.t. the orbit of each y ∈ V is asymptotic to a periodic orbit.
Chaotic behavior: Ch f
= S 1 \ P f
P f is open and backward invariant. Each component that does not contain critical point is mapped onto another component.
Otherwise is mapped into the closure of a component.
W. de Melo demelo@impa.br
()
, august 2010 8 / 18 different backgrounds...
Each component of P f is eventually mapped in the closure of a periodic component.
there is a finite number of periodic components.
f diffeomorphism or critical circle map = ⇒ either P f is empty and irrational rotation or P f f
= is top. conj. to
S 1
W. de Melo demelo@impa.br
()
, august 2010 9 / 18 different backgrounds...
Full Family h is a strong semi-conjugacy between f and g if
1
2
3 h is continuous, monotone and onto.
h ◦ f = g ◦ h h
− 1
( y ) is either a unique point or an interval contained in P f
A family g
µ is 2 m -full if any 2 m -modal map f is strongly semi-conjugate to some g
µ
.
The standard family is 2-full
(deMelo-Salomão-Vargas: 2 m -full trigonometric family).
W. de Melo demelo@impa.br
()
, august 2010 10 / 18 different backgrounds...
The trigonometric family f
µ
:
S
1 →
S
1
F
µ
:
R
→
R the lift of f
µ
F
µ
( t ) = dt + µ
2 m sin ( 2 π mt ) +
P m − 1 j = 0
( µ
2 j sin ( 2 π jt ) + µ
2 j + 1 cos ( 2 π jt )) where
µ = ( µ
1
, . . . , µ
2 m
) ∈ ∆ := { µ ∈
R
2 m
µ
2 m
> 0 and f
µ
: is 2 m − multimodal } and d ∈
Z
, the topological degree of f
.
W. de Melo demelo@impa.br
()
, august 2010 11 / 18 different backgrounds...
Structural Stability and Hyperbolicity f is hyperbolic if ∃ N s.t
| df N
( x ) | > 1
∀ x ∈ Ch f
Koslovsky-Strien-Shen: structural stability is dense f structurally stable ⇒ f is hyperbolic
W. de Melo demelo@impa.br
()
, august 2010 12 / 18 different backgrounds...
Rigidity- diffeomorphisms
Rigidity: lower regularity of conjugacy implies higher regularity
Herman=Yoccoz: f smooth circle diffeomorphism whose rotation number is an irrational that satisfies a Diophantine condition is smoothly conjugate to a irrational rotation.
Arnold: ∃ smooth diffeo, with irrational rotation number (of Liouville type) such that the conjugacy with a rigid rotation maps a set of zero Lebesgue measure in a set of full Lebesgue measure.
W. de Melo demelo@impa.br
()
, august 2010 13 / 18 different backgrounds...
Rigidity of critical circle maps deMelo-deFaria, Yampolski,
Khanin-Templiski, Guarino-deMelo: h C 0 conjugacy between two smooth critical circle maps with irrational rotation number ⇒ h is C 1 .
W. de Melo demelo@impa.br
()
, august 2010 14 / 18 different backgrounds...
Main tool: renormalization
Critical circle map → commuting pair of interval maps commuting pair of interval maps → smooth conjugacy class of critical circle maps.
renormalization operator: first return map to smaller interval around the critical point+ affine rescale
W. de Melo demelo@impa.br
()
, august 2010 15 / 18 different backgrounds...
f(c) c f(c)
W. de Melo demelo@impa.br
()
, august 2010 16 / 18 different backgrounds...
W. de Melo demelo@impa.br
()
, august 2010 17 / 18 different backgrounds...
Complex Bounds
Given an infinitely renormalizable commuting pair, there exists an integer n
0 such that if n .
n
0 then the n − th iterate of the commuting pair by the renormalization operator has a holomorphic extension to a holomorphic commuting pair that belongs to a compact family.
W. de Melo demelo@impa.br
()
, august 2010 18 / 18 different backgrounds...
HOLOMORPHIC PAIR
ξ
η
ν a η( 0 ) 0 ηξ (0 ) b
W. de Melo demelo@impa.br
()
, august 2010 19 / 18 different backgrounds...