Transitividad Robusta de Conjuntos Maximales Invariantes

Dante Carrasco-Olivera, C.A. Morales, B. San Martn DC-BS Departamento de Matem ticas a Universidad Cat lica del Norte (UCN)-Antofagasta- Chile o CM Instituto de Matem tica a Universidad Federal de Ro de Janeiro (UFRJ)-Ro de Janeiro-Brasil COMCA-2008-Universidad Arturo Prat

Transitividad Robusta de Conjuntos Maximales Invariantes p. 1/3

Esbozo de la charla
Motivacin

Transitividad Robusta de Conjuntos Maximales Invariantes p. 2/3

Esbozo de la charla
Motivacin Preliminares

Transitividad Robusta de Conjuntos Maximales Invariantes p. 2/3

Esbozo de la charla
Motivacin Preliminares Enunciados del Teorema Principal

Transitividad Robusta de Conjuntos Maximales Invariantes p. 2/3

Esbozo de la charla
Motivacin Preliminares Enunciados del Teorema Principal Enunciados de resultados tcnicos

Transitividad Robusta de Conjuntos Maximales Invariantes p. 2/3

Esbozo de la charla
Motivacin Preliminares Enunciados del Teorema Principal Enunciados de resultados tcnicos Esbozo de la prueba del Teorema Principal

Transitividad Robusta de Conjuntos Maximales Invariantes p. 2/3

Motivacin
Sea M una 3-variedad compacta conexa con borde posiblemente no vaco M . Denotamos por X r (M, M ), r 1, el espacio de C r campo de vectores en M tangente a M (si es no vaco) equipado con la C r topoga. Fijamos X X r (M, M ) y denotemos por Xt , t R, el ujo generado por X in M . Por un ciclo singular de X nos referimos a un conjunto consistiendo de una singularidad , una rbita peridica O (ambas hiperblicas) y dos rbitas regulares 0 W u () W s (O) y 1 W u (O) W s (). En tal caso decimos que el ciclo singular est asociado a .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 3/3

Estamos precisamente interesados en ciclos singulares asociados a singularidades con autovalores reales u , s , ss satisfaciendo la relacin de autovalores ss < s < 0 < u . (1)

Existe tambin una variedad central-inestable W cu () tangente en al autoespacio asociado a {s , u }. Decimos que el ciclo es genrico si W s (O) es transversal a W cu () a lo largo de 0 y W u (O) es transversal a W s () a lo largo de 1 .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 4/3

Ciclo Singular

ls lss lu

Figura 1: Ciclo Singular.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 5/3

Secciones transversales

ls

lss

lu

Figura 2: Ciclo Singular.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 6/3

1. Resultado que motiva el trabajo

Morales-Pacico-Pujals (C. R. Acad. Sci. Paris Sr. I Math. 326 (1998), Ann. of Math. (2) 160 (2004)) Sea M una 3-variedad compacta sin borde. Teorema 1.1 Supngase que X X 1 (M ) tiene un conjunto C 1 robustamente transitivo . Entonces para uno de los dos campos de vectores X, X, es un conjunto hiperblico-singular, un atractor y cualquiera de sus singularidades son tipo-Lorenz.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 7/3

2. Objetivo de estudio
Teorema 2.1 Si X X 1 (M, M ), exhibe un ciclo genrico asociado a una singularidad M con autovalores reales satisfaciendo (1), entonces X tambin exhibe un conjunto C 1 robustamente transitivo conteniendo a Corolario 2.2 Para toda 3-variedad compacta con borde M existe X X 1 (M, M ), exhibiendo un conjunto C 1 robustamente transitivo el cual no es singular-hiperblico para X o X.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 8/3

Preliminares
2.1. Denici n o
Sea = [0, 1] [0, 1] el cuadrado unitario cerrado y U R2 un conjunto abierto conteniendo a . Fijemos dos nmeros reales a, b con 0 < a < b < 1. Denote por p = (x, y) = (xp , yp ) el sistema de coordenadas naturales en U . Pongamos L0 = {y = 0}; La = {y = a}; Lb = {y = b}; L1 = {y = 1}.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 9/3

Una curva c en U es la imagen de una aplicin C 1 inyectiva c : Dom(c) R U con Dom(c) es un intervalo compacto. Una curva c es horizontal si el grco de una aplicacin C 1 h : [0, 1] [0, 1], i.e., c = {(x, h(x)) : x [0, 1]} U . Denicin 2.3 Una foliacin continua F sobre U es llamada horizontal si sus hojas son curvas horizontales y las curvas Lo , La , Lb , L1 son hojas de F .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 10/3

Denotemos por H0,a = [0, 1] [0, a] y Hb,1 = [0, 1] [b, 1]. Denicin 2.4 (Aplicacin triangular) Una aplicacin R : H0,a Hb,1 U es llamada triangular si contrae y deja invariante a una foliacin F . Adems, R(L0 ) [0, 1), R(La ) U \, R(Lb ) U \ y R(L1 ) = {(x0 , 0)} para algn 0 < x0 < 1.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 11/3

Dado p U , vp Tp U y un subespacio 1dimensional Vp Tp U , denimos (vp , Vp ) el a gulo entre el vector n vp y y el subespacio Vp . Dado > 0, denotamos por C (p, Vp ) = C (p) el -campo de conos C (p) = {vp Tp U : (vp , Vp ) }. Un -campo de conos C es: invariante si DR(C (p)) int(C (R(p))) para todo p H0,a Hb,1 . transversal a una foliacin horizontal F si Tp L {v : v C (p)} para todo p L y L F . /

Transitividad Robusta de Conjuntos Maximales Invariantes p. 12/3

Denicin 2.5 (Aplicacin triangular quasi-hiperblica). Sea R : H0,a Hb,1 U una aplicacin triangular con foliacin horizontal asociada F . Dados K0 > 0, K1 > 0, 1 < . Decimos que R es (K0 , K1 , , )-quasi hiperblica si (H1) Existe = R > 1 tal que yR(p) K0 | yp 1 | , (H2) R es un C 1 -difeomorsmo en H0,a (Hb,1 \ {y = 1}).

p Hb,1 .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 13/3

(H3) Existen 0 < < 1 y un invariante campo de 2 1 conos C en U transversal a F tal que > 1, DR(p)v K1 | yp 1 |1 v , p Hb,1 , v C (p). y v DR(p)v v ,

p H0,a , v C (p). Ver gura 4.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 14/3

Aplicacin quasi-hiperblica

Transitividad Robusta de Conjuntos Maximales Invariantes p. 15/3

Derivada Schwarziana para aplicaciones unidimensional

Denicin 2.6 Sea h : Dom(f ) R R una C 3 aplicacin tal que Dh(t) = 0 para todo t Dom(h). La derivada Schwarziana de h en t Dom(h) es D3 h(t) 3 D2 h(t) Sh(t) = Dh(t) 2 Df (t)
2

Decimos que h tiene derivada Schwarziana negativa si Sh(t) < 0 para todo t Dom(h) tal que Dh(t) = 0.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 16/3

Hiptesis (H)
A cualquier foliacin horizontal F podemos asociar la aplicaci n de holonoma F : U R denida por o F (p) = F (p) {0} R. Toda foliacin horizontal F induce un sistema de coordenadas (x, y) en U como sigue: Dena : U R R by (x, y) = (x, F (x, y)). Entonces, (, y ) es denido por x (, y ) = (x, y) = (x, F (x, y)). x (2)

Transitividad Robusta de Conjuntos Maximales Invariantes p. 17/3

Para una C 1 foliacin F , consideramos que F satisface 1 F 3 F (x, y) |< and | (x, y) |> . | x 2 y 4 Sea R : H0,a Hb,1 U una aplicacin. Para toda foliacin horizontal F se dene un sistema de coordenadas (2). Si adicionalmente F es R-invariante, entonces podemos denir R = R 1 . La identidad x R(, y ) = (F (, y ), f ()) x y (3)

vale para algnas C 0 aplicacin f : Dom(f ) R R y F : dom(F ) R2 R2 .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 18/3

Denicin 2.7 (Aplicaci n Schawarzian Contractiva). o Dados dos nmeros reales r, s con 0 < r < s < 1 y sea h : [0, r] [s, 1] una aplicacin. Decimos que ella es Schwarziana contractiva si: (h1) h es una C 3 maplicacin, creciente en [0, r] y decreciente en [s, 1], h(0) = 0, h(1) = 0, existe > 1 tal que h(t) = .t para todo t [0, r] y Dh(t) = 0 si y slo si t = 1. Adicionalmente, h(r) > 1 y h(s) > 1. (h2) h tiene derivada Schwarzian negativa sobre [s, 1). Ver gura 4.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 19/3

Aplicacion Schawarziana Contractiva

Transitividad Robusta de Conjuntos Maximales Invariantes p. 20/3

Denicin 2.8 (Hiptesis (H)). Sea R : H0,a Hb,1 U una aplicacin triangular con foliacin horizontal asociada F de clase C 3 . Decimos que R satisface (H) si la aplicacin f dada por (3) es Schwarziana contractiva.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 21/3

Notation. Sea A denota el conjunto de todas las aplicaciones R : H0,a Hb,1 U las cuales son (K0 , K1 , , ) quasi-hiperblicas con K0 > 0, K1 > 0, 1 < . Denicin 2.9 (C 1 -topologa en A ) En el espacio A consideramos la C 1 -topologa, la cual es denida por la mtrica a dC 1 (R, R) = mx

R(p) R(p) , DR(p) DR(p)

| R R |: p H0,a Hb,1 . Ahora enunciamos nuestro Teorema Principal.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 22/3

Enunciado del Teorema Principal

Teorema 2.10 Considere R0 una aplicacin (K0 , K1 , , ) quasi-hyperbolic (i,e., R0 A ) satisfaciendo (H) con K0 > 0, K1 > 0 y 1 < . Entonces existe una C 1 vecindad U = U (R0 ) de R0 en A tal que para toda aplicacin R U , el conjunto maximal invariante, Rn ()
nZ

(4)

es transitivo, i.e., existe un z en l tal que {Rn (z) : n N} es denso en el conjunto maximal invariante.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 23/3

Resultados Tcnicos
Teorema 2.11 Considere R0 una aplicacin (K0 , K1 , , ) quasi-hiperblico (i,e., R0 A ) satisfaciendo (H) con K0 > 0, K1 > 0 y 1 < . Entonces existe una C 1 -vecindad V = V (R0 ) de R0 en A tal que para todo R V , el conjunto contenido en , R = Ri (), no contiene curvas tangentes a C .
i=0

Corolario 2.12 Considere V la C 1 -vecindad dada por el Teorema 2.11. Entonces para toda R V y para toda curva tangente a C con (

Ri ()) = existe

i=0

n = n(R, ) tal que F (Rn ()) [0, 1].

Transitividad Robusta de Conjuntos Maximales Invariantes p. 24/3

Referente a ujos 3. Teoremas que se pretender hacer

Teorema 3.1 Si X X r (M, M ), r 3, exhibe un ciclo genrico asociado a una singularidad M con autovalores reales satisfaciendo 2 < 3 < 0 < 1 ., entonces X tambin exhibe un C r,1 conjunto robustamente transitivo conteniendo a . Teorema 3.2 Si X X r (M, M ), r 3, exhibe un ciclo genrico asociado a una singularidad M con autovalores reales satisfaciendo 2 < 3 < 0 < 1 ., entonces X tambin exhibe un C 1 conjunto robustamente transitivo conteniendo a .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 25/3

 Apendice 4. Esbozo de la prueba del Teorema 2.11

Fije R0 como en el enunciado del toerema. Considere V4 , 4 and 4 dados por la Proposicin ??. Considere la C 1 -vecindad V4 of R0 en A dado por el Corolario ??. Take V = V4 V5 . Now x R V . Fije la foliacin invariante F dada por la hiptesis. Tambin denotamos por g la aplicacin inducida por F . Descomponemos la prueba en algunos pasos. (1) R no tiene pozos.

Transitividad Robusta de Conjuntos Maximales Invariantes p. 26/3

Suppose that R =
i=0

Ri (), has a curve tangent to

C. (2) For all m = n, [Rm ()] [Rn ()] has no interior. (3) lengh(Rn ()) 0 cuando n + (4) F (Rn ()) acumula a 1. Por (3) podemos considerar 0 < < 4 y un entero n0 en tal sentido que n n0 lengh(Rn ()) < 4 . As, si para n n0 , Rn () [0, 1] (1 , 1) = entonces Rn () [0, 1] (1 4 , 1).

Transitividad Robusta de Conjuntos Maximales Invariantes p. 27/3

Por (3), existe una sucesin nk tal que Rnk () [0, 1] (1 4 , 1). Aplicamos (??) de la Proposicin ?? despus de una reparametrizacin de la curva tenemos que lengh(Rnk ()) nk n0 .lengh(Rn0 ()). 2 Como nk tenemos que lengh(Rnk ()) y esto es una contradiccin con (3).

Transitividad Robusta de Conjuntos Maximales Invariantes p. 28/3

5. Transividad Robusta
Una rbita de Xt es el conjunto O = OX (q) = {Xt (q) : t R} para algn q M . El conjunto omega-lmite de un punto p es el conjunto X (p) = {x : M : x = l n Xtn (p)para alguna sucesintn }. Una m singularidad de Xt es un punto M tal que X() = 0. Una rbita peridica de Xt es una rbita OX (p) tal que XT (p) = p para algn minimal T > 0. Una rbita cerrada de Xt es bien una singularidad o una rbita peridica de Xt .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 29/3

Denicin 5.1 Sea Xt un ujo sobre M . Un conjunto compacto M es: invariante si Xt () = , para todo t R; Transitivo si = X (p) para algn p ; No trivial si no es una rbita cerrada de Xt ; Aislado si existe una vecindad compacta U (llamado bloque aislante) de tal que =
tR

Xt (U );

Transitividad Robusta de Conjuntos Maximales Invariantes p. 30/3

Atractivo si es aislado y tiene un bloque aislante U tal que t 0, Xt (U ) U . Atractor si es un conjunto transitivo atractivo. Denote por m(A) = v =0 Av la norma mnima de un nf v operador lineal A Denicin 5.2 Sea un conjunto compacto invariante de Xt . Una descomposicin continua invariante T M = E F sobre es dominada si existen constantes positivas K, tales que t > 0 y x , DXt (x)|Ex Ket . m(DXt (x)|Fx )

Transitividad Robusta de Conjuntos Maximales Invariantes p. 31/3

Denicin 5.3 Un conjunto compacto invariante es parcialmente hiperb lico si exhibe una descomposicin o s c s dominada T M = E E tal que E es contractivo, i.e., s t DXt (x)|Ex Ke , para todo t > 0 y todo x . Denicin 5.4 Un conjunto hiperb lico-singular de o Xt es un conjunto parcialmente hiperblico con c singularidades hiperblicas y el subbrado central E expande volumen, i.e.,
c | det(DXt (x)|E | K 1 e t,

para todo t > 0 y todo x .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 32/3

Denicin 5.5 Un conjunto aislado es C r robustamente transitivo, si exhibe un bloque aislante U tal que para todo Y X r (M, M ) C r cercano a X la continuacin Yt (U ) (5) Y =
tR

de es un conjunto transitivo no-trivial de Y .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 33/3

Denicin 5.6 Un conjunto aislado es C r,k , 1 k r, robustamente transitivo, si exhibe un bloque eislante U tal que para todo Y X r (M, M ) C k cercano a X la continuacin Y =
tR

Yt (U )

(6)

de es un conjunto transitivo no-trivial de Y .

Transitividad Robusta de Conjuntos Maximales Invariantes p. 34/3