You are on page 1of 121

En muchas de las áreas de investigación del conocimiento humano nos encontramos con fenómenos que dependen de cierta condición

o condiciones y que, al cambiar algunas de ellas se tiene una forma distinta. Además, cabe resaltar la importancia del estudio de fenómenos en los que se presentan situaciones repetitivas o cíclicas. El comportamiento de los fenómenos anteriormente descritos puede ser modelado matemáticamante mediante el análisis de los sistemas dinámicos, es por eso la importancia de estudiar la teoría de sistemas dinámicos. En el presente trabajo se discuten los sistemas dinámicos discretos, en especial los semisistemas dinámicos discretos. La teoría de estos sistemas es muy extensa, nos limitaremos a los sistemas dinámicos en la circunferencia. En el primer capítulo se discuten los conceptos básicos de la teoría de Sistemas Dinámicos Discretos que sirven como introducción a la parte medular del trabajo y donde se tocan temas como la dinámica periódica, estabilidad, la iteración de funciones en un intervalo, las bifurcaciones y la conjugación topólogica. En la capítulo dos deÞnimos a las funciones de la circunferencia, las cuales determinan sistemas dinámicos. Dado que su dominio y codominio son el circulo, su gráÞca es un subconjunto del producto cartesiano de dos circulos, al cual le llamamos toro, podemos deÞnir funciones reales de valores reales que determinan ese mismo sistema, estas funciones se llaman levantamientos y son una herramienta para estudiar los sistemas dinámicos en la circunferencia, discutiremos algunas de sus propiedades importantes. En el capítulo tres damos un concepto de gran importancia, el cual es el número de rotación, analizando sus propiedades básicas. Este número deÞne la rotación promedio de un endomorÞsmo de la circunferencia y además está bien deÞnido en homeomorÞsmos donde será una herramienta primordial para entender el comportamiento del sistema. Por último en el capitulo cuatro ejempliÞcamos los resultados dados anteriormente en una familia clásica llamada la familia de Arnold, además de enunciar otros resultados 1

interesantes característicos de esta familia e involucrando un concepto nuevo llamado envolvencia, el cual nos será de gran ayuda. La herramienta computacional utilizada consistió en el software CIRCULO, en la implementación de un programa que genera las Lenguas de Arnold en la Silicon Graphics y de otros programas en la PC para calcular las bifurcaciones de puntos Þjos. Agradesco la valiosa colaboración y el apoyo incondicional del Dr. Humberto Carrillo Calvet, jefe del laboratorio de dinámica no-lineal de la Facultad de Ciencias de la U.N.A.M. , así mismo del M.en C. Fernando Ongay Larios de la Facultad de Ciencias de la U.A.E.M., de quienes laboran en el laboratorio antes mencionado y a todas las personas que tuvieron que ver en el desarrollo del presente trabajo.

Irma Elizabeth Díaz Bobadilla.

2

INTRODUCCIÓN..........................................................................1

CAPÍTULO 1 SISTEMAS DINÁMICOS DISCRETOS.................................5 1 SISTEMAS DINÁMICOS DISCRETOS.......................................5 2 DINÁMICA PERIÓDICA Y ESTABILIDAD...............................7 3 ITERACIONES DE FUNCIONES EN INTERVALOS................11 4 BIFURCACIONES EN UNA DIMENSIÓN................................13 5 CONJUGACIÓN TOPOLÓGICA................................................19

CAPÍTULO 2 ENDOMORFISMOS DE LA CIRCUNFERENCIA..............22 1 ENDOMORFISMOS DE LA CIRCUNFERENCIA.....................22 2 LEVANTAMIENTOS...................................................................25 3 ENVOLVENCIA...........................................................................34 4 HOMEOMORFISMOS DE LA CIRCUNFERENCIA..................38 4.1 HOMEOMORFISMOS QUE PRESERVAN ORIENTACIÒN...40 5 SISTEMAS CAÓTICOS...............................................................44

CAPÍTULO 3 NÚMEROS Y CONJUNTOS DE ROTACIÓN.......................48 1 ÓRBITAS PERIÓDICAS..............................................................49 2 NÚMEROS Y CONJUNTOS DE ROTACIÓN............................50 3 NÚMERO DE ROTACIÓN DE LAS ROTACIONES..................67 4 TEOREMAS SOBRE CONJUGACIÓN PARA DIFEOMORFISMOS CON NÚMERO DE ROTACIÓN IRRACIONAL..............................................................................69

3

.108 4 BIFURCACIÓN DE DOBLAMIENTO DE PERÍODO............104 3..................................... ............................1 BIFURCACIÓN DE PUNTOS FIJOS...........................................80 1..................................78 1 PUNTOS FIJOS............................................110 EPÍLOGO: DISCUSIÓN Y COMENTARIOS FINALES.................................................................................116 BIBLIOGRAFÍA..... .........................................115 APÉNDICE...........................1 BIESTABILIDAD DE PUNTOS FIJOS...........................................2 COEXISTENCIA DE ÓRBITAS DE DISTINTOS PERÍODOS...................................104 3..................................CAPÍTULO 4 ESTUDIO DE UNA FAMILIA DE FUNCIONES...........89 2 PUNTOS PERIÓDICOS EN LA REGIÓN DE HOMEOMORFISMOS......................................................................2 ESTABILIDAD DE PUNTOS FIJOS.....80 1...........92 3 BIESTABILIDAD............................120 4 ....................

1 SISTEMAS DINÁMICOS DISCRETOS. f 1 (x) = f (x). Los Sistemas Dinámicos ocurren en todas las ramas de las ciencias. Si f : X ! X es una función continua de una Variedad Diferencial X. las iteradas de f son las funciones f n deÞnidas inductivamente por f 0 (x) = x.Capítulo 1 SISTEMAS DINÁMICOS DISCRETOS El objetivo principal de esta capítulo es introducir algunas deÞniciones y resultados de la Teoría de Sistemas Dinámicos Discretos. Podemos decir que un sistema dinámico es un fenómeno que cambia con el tiempo y lo podemos modelar de alguna forma matemática. f n+1 (x) = f n (f (x)). desde las ecuaciones diferenciales de la mecánica clásica hasta las ecuaciones diferenciales en la Economía Matemática y la Biología. Si f es un homeomorÞsmo entonces también podemos deÞnir la función f !n (x) = (f !1 ) (x). 1. n 5 . para n " N. En los últimos décadas hemos visto una explosión de interés en el estudio de Sistemas Dinámicos.

entonces f !m (x) = (f !1 )m (x) . !n (x) = f n (x). donde ! es un función de clase C k . determina un Sistema Dinámico de clase C k en X. x " X (mapeo a tiempo uno) . una esfera. Sea X una Variedad Diferencial. Un Sistema Dinámico Discreto en X de clase C k es la terna (X.1. donde !(m. sólo que en lugar de considerar los enteros Z serán los naturales N. $ x " X y $ n " Z. Reciprocamente. 6 f # f !1 (x) = f 1!1 (x) = f 0 (x) = x = IdM Como f es difeomorÞsmo existe f !1 . m2 " Z. x representa el estado del sistema y toma valores en X al cual se le llama Espacio Fase del sistema dinámico. todo f : X ! X difeomorÞsmo de clase C k . Algunas veces el espacio fase es un espacio Euclideano o un subconjunto de él pero también puede no tener una estructura Euclideana como un circulo. Así mismo deÞnimos un Semisistema Dinámico Discreto (SSD). Dado un Sistema Dinámico determina una función f : X ! X difeomorÞsmo de clase C k dado que f 1 (x) = !1 (x). es la identidad (ii) La composición !m1 # !m2 = !m1 +m2 . ii) !0 (x) = !1!1 (x) = !1 # !!1 (x) = Por lo tanto. Z. k > 0 tal que ! : Z×X !X. un toro ó alguna otra Variedad Diferencial. A f se le llama la función generadora del Sistema Dinámico. para cada m1 . veamos si cumple las condiciones: i) !n # !m (x) = f n # f m (x) = f n+m (x) = !n+m (x). ! es un Sistema Dinámico. !). y la función !t : X !X satisface: (i) !0 : X !X. x) = !m (x).Definición 1.

cuando consideremos la semiórbita negativa haremos la aclaración. donde la terna es (X. f !1 no esta deÞnida entonces se tiene un semisitema dinámico. deÞnirá un semisistema dinámico y al revez. Definición 2. Para que tengamos un Sistema Dinámico requerimos que f sea una biyección de X en X. !). ii) f endomorÞsmo de clase C k k > 0. i) Si f no es inyectiva .2. Demostración. Como O(x) & O (y ) 6= ' entonces existe n1 . Proposición 2. Existe otra clase de Sistemas Dinámicos llamados Continuos. Para analizar a los sistemas dinámicos tenemos que entender el comportamiento asintótico ó eventual de un proceso iterativo. Si f es inyectiva sobre la Im(f ) entonces hay unicidad pero no tenemos un Sistema Dinámico Si Im(f ) % X f no es sobre ya que f !1 : Im(f ) % X ! X no puede iterarse cuando se sale de la Im(f ).2 DINÁMICA PERIÓDICA Y ESTABILIDAD. 1.Observaciones. entenderemos que este es Discreto. y la Nos referiremos a O+ (x) como la órbita de x. En lo sucesivo cuando nos reÞramos a un Sistema Dinámico. Sea f una función de clase C 1 . . n2 tal que {!n (x) : n ( n1 } = {!n (y ) : n ( n2 } 7 semiórbita negativa de x es la sucesión O! (x) = {f !n (x)}n"0 .1. Dado un Sistema Dinámico si O(x) & O(y ) 6= ' entonces O (x) = O(y ). R. Sea f : X ! X una función. Lo anterior se logra comprendiendo algunas deÞniciones de gran relevancia.La semiórbita positiva de x es la sucesión O+ (x) = {f n (x)}n"0 . los cuales se relacionan con ecuaciones diferenciales. O(x).

Una órbita de un punto periódico de período q. para las dinámicas más fundamentales que encontramos en los Sistemas Dinámicos. El conjunto de todos los puntos Þjos de f lo denotamos por F ix(f ) y el conjunto de puntos periódicos de período q como P erq (f ).6. Decimos que x# es estable si para toda vecindad U de x# . si f q (x) = x para algún El menor positivo q para el cual f q (x) = x. * U 0 + U de x# tal que si x " U 0 entonces f n (x) " U. Definición 2. es llamado el período de x. Sea xi " O(x) tal que !ni (x) = xi . q ) perio ó un q ) ciclo. a partir de n !n (x) = yi = !n (y ). esta constituida por ´dica puntos x. q es llamado el período de x. ni > n. en el sentido de Lyapunov. Sea x# un punto periódico de f. se dice que es inestable. Dado un Semisistema Dinámico i) Solo tiene O+ (x) x " M. entonces ni = n + m !ni (x) = !m+n (x) = !m # !n (x) = !m # !n (y ) = !n+m (y ) entonces xi " O(y ). por lo cual O(x) % O (y ). la cual es llamada órbita de período q. Ahora veremos las deÞniciones de estabilidad.por lo cual.5.3. para toda n > 0. Un punto x es un punto periódico de f . Observación 2. Los puntos periódicos de período q = ". ii) Si O+ (x) & O + (y ) 6= ' entonces O+ (x) = O + (x) q ( ".4. analogamente O(x) % O(x). Definición 2. que satisfacen f q (x) = x . 8 . Definición 2. son los puntos fijos de f. Por lo tanto O(x) = O(y ). Un punto periódico que no es estable.

Definición 2. Sea x# un punto periódico de período q. Demostración.Definición 2. por lo tanto f q (x) esta contenida en [x# ) ². Si x# es un punto periódico hiperbólico de período q y |(f q )0 (x# )| < ". A |x ) x# | < |x ) x# | . O(x# ) se llama atractor periódico exponencial. El punto es hiperbólico si |(f q )0 (x# )| 6= ". Los puntos periódicos estables pero no asintóticamente estables son llamados neutralmente ó marginalmente estables. Sea x# un punto periódico de período q. Como f q es de clase C 1 . existe ² > 0 tal que |(f q )0 (x)| < A < " para x " [x# ) ². n$% entonces x# es asintoticamente estable.10.7. Definición 2. ². En este caso.9. o . Proposición 2.8.11. entonces la órbita O(x# ) es asintóticamente estable. El número (f q )0 (x# ) es llamado el multiplicador del punto periódico. Sea x# un punto asintóticamente estable. Por el Teorema del Valor Medio |f q (x) ) x# | = |f q (x) ) f q (x# )| . La Cuenca de Atracción de x # es el conjunto n n # x : l´ õm f (x) = x n$% Definición 2. 9 . x# + ²] . x# + ²]. Vía el mismo argumento |f qn (x) ) x# | . Si x# es estable y para toda x en alguna vecindad U de x# lim f qn (x) = x# . Aqn |x ) x# | .

n$% l´ õm |f qn (x) ) x# | . entonces si n ! -. Diremos que x " ! (y ). entonces podemos deÞnir el conjunto alfa-límite de x. Si x# es un punto periódico hiperbólico de período q y |(f q )0 (x# )| > ".15. entonces existe una vecindad U de x# tal que si x " U. Sea x# un punto periódico de período q.12. x# se llama repulsor periódico exponencial. Definición 2. del sistema dinámico generado por f . n$% por lo tanto n$% l´ õm f qn (x) = x# es decir. Sea y " X . Si la función f tiene inverso. Diremos que x " " (y ). del sistema dinámico generado por f . l´ õm Aqn |x ) x# | . Definición 2.14. Sea x# un punto periódico de período q.18. si existe una sucesión {ni } de naturales tal que i) l´ õm f ni (y ) = x.17.16. Proposición 2. Definición 2. Sea y " X . Definición 2. es el conjunto de puntos de acumulación de {f n (x) : n " N }. O(x# ) es asintoticamente estable.con n > 0. es el conjunto de puntos de acumulación de {f n (x) : )n " N }. ! (x). x 6= x# entonces existe k tal que f n (x) " / U para todo n ( k . Definición 2. El conjunto omega-límite de x. Definición 2. ii) l´ õm ni = -. "(x). Si f 0 (x# ) = 0 entonces x# se le llama superestable.13. si existe una sucesión {ni } de naturales tal que 10 . El punto es semiatractor si |(f q )0 (x# )| = ". En este caso. i$% i$% De manera análoga se de deÞne el conjunto " ) l´ õmite.

Iteracio ´n de una f uncio ´n. Otra forma útil de examinar la dinámica es dibujando la gráÞca de la función f en el cuadrado I × I y la recta y = x que es la diagonal del cuadrado como se muestra en Figura 3. 3. tomamos un punto (x0 . A) En la Recta Real. el punto de intersección es (f (x0 ). a partir de este punto. hasta intersectar la gráÞca de f y de ahí la recta horizontal hasta intersectar nuevamente la diagonal. f (x0 )). que se proyecta sobre una órbita en I. i$% i$% 1.1 (A). trazamos la recta vertical. x0 ) en la diagonal. ii) l´ õm ni = -.i) l´ õm f !ni (y ) = x. Consideremos funciones f : I ! I donde I es un intervalo de números reales e incluso la recta real. x) en la diagonal del cuadrado.1. La dinámica puede ser visualizada en la recta por la gráÞca en Figura 3.1 (B). Podemos seguir iterando de esta manera y obtener una sucesión de puntos en la diagonal.3 ITERACIÓN DE FUNCIONES DEL INTERVALO. B ) En el cuadrado I × I Los puntos x " I los podemos identiÞcar con lo puntos (x. 11 . A B Fig.

Los puntos Þjos de la función f son evidentemente las intersecciones de la gráÞca f con la diagonal. Así mismo, los puntos periódicos de período q , son los puntos de intersección de la gráÞca f q con la diagonal. El principal resultado sobre la existencia de órbitas periódicas es el siguiente:

Teorema 3.1. (Sarkovskii, [3])Sea (I, f ) un Sistema Dinámico en I y deÞnase el siguiente orden de enteros positivos: 3 . 5 . 7 . ... . 2 · 3 . 2 · 5 . ... . 23 . 22 . 2 . ". Si f tiene una órbita de período n y n . m, entonces f tiene también una órbita de

período m.

Una consecuencia de este Teorema probada por Li y Yorke, es que si f tiene una órbita de período 3, entonces tiene órbitas de todos los períodos.

Un problema importante es determinar sus cuencas de atracción y cuantas órbitas periódicas atractoras existen. El principal resultado en esta dirección tiene que ver con la derivada de Schwarz. Sea f de clase C 3 , deÞnimos la derivada de Schwarz o Schwarziana de f en x como f 000 (x) 3 ) Sf (x) = 0 f (x) 2 µ f 00 (x) f 0 (x) ¶2 .

Teorema 3.2. [3] Supongase que Sf < 0 (Sf = )- es permitido) y que f tiene n puntos críticos (i.e. f 0 (x) = 0) entonces f tiene a lo más n + 2 órbitas periódicas atractoras.

12

1.4

BIFURCACIONES EN UNA DIMENSIÓN

En Sistemas Dinámicos el objeto de la teoría de bifurcación es estudiar los cambios que sufre una función cuando los parámetros cambian. Estos cambios usualmente envuelven estructuras de puntos periódicos, pero pueden haber otro tipo de cambios. Consideremos familias de funciones de valores reales, que dependen suavemente de un parámetro. Las bifurcaciones más estudiadas son las del sistema generado por la función logística, deÞnida como sigue: f! : [0, "] ! x [0, "],

7! #x(" ) x), con # ( 0.

espacio compacto1 de dimensión uno y # " U un abierto es un punto Þjo, en este caso nos interesa hacer la gráÞca de # contra x, de la relación implícita f! (x) = x. En el caso general, cuando estudiamos las bifurcaciones de órbitas periódicas de período q , es necesario hacer la gráÞca # contra x, de la relación
q (x) = x. f!

El caso más simple de bifurcación de una familia de funciones f! : X ! X con X un

En todos los casos las gráÞcas son un subconjunto de U × X . Entonces si conocemos la gráÞca de
n f! (x) = x,
1

Ver Apéndice

13

para todo n y la estabilidad de estas órbitas, conocemos el diagrama de bifurcación de la familia de funciones f! , el cual se traduce en información básica para entender los cambios de la dinámica (cambios cualitativos) al cambiar continuamente el parámetro #, ó la familia de parámetros en cado caso. Calcular análiticamente el diagrama de bifurcación es bastante diÞcil ya que si consideramos el caso más simple por ejemplo la función logística que es un polinomio de grado dos, equivale a resolver una ecuación polinomial de grado 2n ) ". Sin embargo, numéricamente se tienen más posibilidades para estudiar estos sistemas. A continuación daremos los teoremas que nos dan condiciones para bifurcaciones simples (a lo mas periódicas de periodo dos), sin contener información sobre la estabilidad de las órbitas periódicas que bifurcan. Consideremos f! una familia de funciones dependientes del parámetro #.

Teorema 4.1 (Bifurcación Silla-nodo) Si f! , es de clase C % , y si para algún punto (x0, #0 ) se satisfacen las condiciones: 1. f!0 (x0 ) = x0 ;
0 2. f! (x0 ) = "; 0 00 (x0 ) 6= 0; 3. f! 0

4.

" f!0 (x0 ) "!

6= 0.

Entonces existe un intervalo I alrededor de x0 y una función suave p(x) : I ! R, que satisface p(x0 ) = #0 ,y, fp(x) (x) = x, además p0 (x0 ) = 0 y p00 (x0 ) 6= 0. Demostración: Los puntos Þjos de f! (x) estan dados por f! (x) ) x / G(x, #) = 0.

14

Por el Teorema de la Función Implícita2 $ f!0 (x0 ) $ G(x0 . existe una única funcion Cr p(x).p(x0 )) ! " x2 ³ ´ " G(x0 . #0 ) = 6= 0.cumple (") y (2).p(x0 )) !1 "x ³ ´ = " f (x0 . más aun para un x suÞcientemente pequeño esta curva puede ser representada como una gráÞca sobre las x’s variables. por hipótesis f!0 (x0 ) = x0 . p (x)) / f (x. Ahora simplemente requerimos que dp(x0 ) dx d2 p(x0 ) dx2 =0 6= 0 derivando implicitamente G(x. entonces G(x0 . p (x)) / f! (x.con x suÞcientemente pequeño tal que G(x. es decir.p(x0 )) " p(x) = " 2 f (x0 . $# $# Buscamos condiciones bajo las cuales G(x.p(x0 )) " p(x) ´ = ³ " f (x0 .p(x0 )) " p(x) ´³ dp(x0 ) dx ´ + 6= 0 ³ " f (x0 .p(x0 )) "x 0 ´ )" =0 Analogamente ³ " G(x0 .p(x0 )) "x ´ )" =0 DeÞnimos G(x.p(x0 )) ! " x2 ³ ´ " f (x0 . #) .p(x0 )) ´ " p(x)³ =) dp(x0 ) + dx ´ " f (x0 . p (x)) ) x = 0 ³ " G(x0 .p(x0 )) " p(x) ´³ dp(x0 ) dx ³ ´ + dp(x0 ) dx ³ ´ " G(x0 .p(x0 )) " p(x) ´³ ´ ³ " f (x0 . p (x)) ) x = 0.p(x0 )) " p(x) ´³ dp(x0 ) dx ´ + ³ 2 d p(x0 ) dx2 ³ " G(x0 .p(x0 )) ! "x ³ ´ " G(x0 .p(x0 )) " p(x) ´ = ³ " f (x0 .p(x0 )) "x ³ = " G(x0 . #) = f! (x) ) x.p(x0 )) "x ´ = " 2 G(x0 . #0 ) = 0. 2 Consúltese Apéndice I 15 . #) deÞne una curva en el plano x ) # que lo cual implica que una curva simple de puntos Þjos pasa por (x.

A 3 B Consúltese Apéndice 16 . determinan la dirección de la bifurcación.p(x )) 0 0 " x2 " G(x0 .p(x0 )) "! ³ ! ³ " G(x0 .p(x )) 0 0 " x2 " f (x0 . p (x)) ) x = 0. en el plano (x.Aplicando el Teorema de la Función Implícita3 a G(x. $# $# entonces existe una función diferenciable p(x) : I ! R tal que G(x.p(x0 )) " p(x) ´ + ³ " f (x0 . Derivando implícitamente obtenemos que p0 (x).p(x0 )) "! )" ´=³ 2 f (x . #) tienen una tangente vertical en el punto (x0 .p(x0 )) "x ´ " G(x0 . #0 ). esta dada por ³ " G(x0 . Si ahora calculamos p00 (x). p(x)) / f (x. es decir.p(x0 )) "! ´ =0 ´ p0 (x0 ) = 0 entonces la gráÞca de G(x0 .p(x0 )) "! ´ 6= 0 Observación:El signo de p00 (x0 ) nos dice de que lado de #0 se localiza la curva de puntos Þjos. se tiene )" p (x0 ) = ³ 00 2 G(x .p(x0 )) " p(x) ´ p0 (x0 ) = ´ ³ =) " f (x0 . #0 ) = 6= 0.p(x0 )) "x ³ ³ " f (x0 . $ f!0 (x0 ) $ G(x0 .p(x0 )) !1 "x ´ " f (x0 . #).p(x0 )) "x ´ + ³ p0 (x0 ) = " G(x0 . #0 ) = 0.

Demostración.p(x0 )) !1 "x ´ " f (x0 . 2 (x ) " (f! 0 ) "! 0 6= 0 Entonces existe un intervalo I que contiene a x0 y una función diferenciable # = 2 p(x) : I ! R. Aplicando el Teorema de la Función Implícita4 a G(x. f! (x0 ) = x0 . 2 DeÞnimos G(x. #0 ) 0 = 6= 0. #) / f! (x) ) x = 0.1 Gra ´fica de la Bifurcacio ´n Si lla ) Nodo. Por hipótesis los puntos Þjos son 2 G(x.pero fp (x) (x) = x.p(x0 )) "! ´ =0 ´ p0 (x0 ) = 0 4 Consúltese Apéndice 17 . p(x)) / f 2 (x.p(x0 )) " p(x) ´ + ³ " f (x0 . A) p00 (x0 ) > 0.(Bifurcación Doblamiento de Período). tal que fp(x) (x) 6= x. $# $# entonces existe una función diferenciable p(x) : I ! R tal que G(x.p(x0 )) " p(x) ´ p (x0 ) = 0 ´ ³ =) " f (x0 . ¢ ¡ 2 $ f! (x0 ) $ G(x0 . B ) p00 (x0 ) < 0 Teorema 4. 4. #) / f! (x) ) x .p(x0 )) "x ´ + ³ p0 (x0 ) = " G(x0 .Figura. f! (x0 ) = )" 3. p (x)) ) x = 0.p(x0 )) "x ´ " G(x0 . para todo # en un intervalo I alrededor de #0 0 2. #).Supongamos que 1. esta dada por ³ " G(x0 .2.p(x0 )) "x ³ ³ " f (x0 . Derivando implicitamente obtenemos que p0 (x).p(x0 )) "! ³ ! ³ " G(x0 .

0 " H (0.!0 ) "x " H (0. x si x 6= 0 G0 (x. #) tienen una tangente vertical en el punto (x0 . #) = 0 ´ $ f 2 (x ) $ $ ³ ¡ 2 ¢0 0 H 0 (0. #0 ).!0 ) "! =0 18 . x 6= 0. existe una función diferenciable p(x) tal que H (x. #)) = f! (0) ) " = !0 6= 0. #).p(x )) 0 0 " x2 " f (x0 . en particular G(x. Observemos que p (x0 ) = ya que 2 00 (f! ) (0) = ((f! )0 (0))2 (f! )00 (0) + (f! )00 (0)(f! )0 (0) = 0.p(x0 )) "! )" ´=³ 2 f (x . #0 ) = G00 (0. Si ahora calculamos p00 (x). si x = 0 " H 0 (0.!) . p(x)) = 0. #0 ) = G0 (x. 2 además por hipótesis H (0.entonces la gráÞca de G(x0 .p(x )) 0 0 " x2 " G(x0 . #) = entonces H es diferenciable y se satisface G(x. #0 ). x entonces x es un punto periódico de período dos de f! .p(x0 )) "! ´ 6= 0 H (x. en el plano (x. #0 ). #0 ) = (G0 (x. $# $# $# Si ahora aplicamos el teorema de la función implícita a la función H. #0 ) = G000 (0. 2 " H 00 (0. se tiene )" p (x0 ) = ³ 00 2 G(x . p(x)) = 0. #0 ) = 0.

Al sufrir f una bifurcación de Doblamiento de período .2. f 2 sufre una bifurcación de Tenedor.5 CONJUGACIÓN TOPOLÓGICA Definición 5.Observación: La concavidad de la curva deÞnida por la función p(x) se puede conocer si calculamos )H 00 (0. 4. (f! A B Figura. g : X ! X .!0 ) "! ´2 ´ 2 000 00 f (0) + (f! (0))2 3 ! 2 )(0) " (f! "! 000 La gráÞca de la bifurcación de doblamiento de período depende del signo de f! (0)+ 00 (0))2 .2. 1.Gra ´f ica de la Bif urcacio ´n de Doblamiento de P er´ õodo con : Ã 32 ! Ã 32 ! A) ! " f! (x) " x3 " 2 f 2 (x) ! " x"! > 0. Sean f.1. Proposición 5.!0 ) "! ³ " H (0. Dos funciones que son topológicamente conjugadas dan lugar a sistemas dinámicos tal que 19 . B ) ! " f! (x) " x3 " 2 f 2 (x) ! " x"! < 0. #0 ) 00 p (x0 ) = ³ p (x0 ) = 00 " H (0. Decimos que f es topológicamente conjugada a g si existe un homeomorÞsmo h tal que h # f = g # h.

2. si el conjunto ! (f ) es el conjunto ! ) l´ õmite de f el correspondiente a g es {g n (x) : x " N} es decir. donde h es un homeomorÞsmo. Tienen igual número de puntos periódicos. Sus correspondientes ! ) l´ õmites son homeomorfos. Un subconjunto Y de X es Denso si para todo x " X y para toda vecindad U de x existe y " Y & U. 20 . Así que si x es un punto periódico de período n. Sean f y g topológicamente conjugadas. entonces g # h = h # f.1. Por otra parte. de donde se concluye que si x es un punto periódico de f . © !1 n ª (h f h)(x) : n " N Definición 5.3. o sea que g n (h(x)) = h (f n (x)) = h(x). Demostración. es decir f n (x) = h!1 (g n (h(x))). lo es también de g vía el homeomorÞsmo. entonces f n (x) = x.

Definición. 21 .4. 5. todos sus puntos son de acumulación y es denso en ninguna parte. Un conjunto de Cantor es un conjunto que es cerrado.

2.1 ENDOMORFISMOS DE LA CIRCUNFERENCIA La circunferencia S es la clase de equivalencia topológica del conjunto 22 . Las funciones de la circunferencia determinan sistemas dinámicos útiles para modelar diversos procesos naturales donde se maniÞesta una actividad cíclica. El estudio de estos sistemas dinámicos requiere combinar métodos matemáticos (analíticos y geométricos) con simulaciones computacionales. Después del trabajo pionero de Poincaré y Denjoy se han acumulado múltiples investigaciones de matemáticos y cientíÞcos contemporáneos que han estudiado la dinámica de las iteraciones de estas funciones desde un punto de vista puro y aplicado. En este capítulo discutiremos las ideas y resultados básicos que involucra el estudio de la dinámica de las funciones de la circunferencia.Capítulo 2 ENDOMORFISMOS DE LA CIRCUNFERENCIA.

1. ")}. donde los lados opuestos están identiÞcados. "] Consideramos las gráÞcas de estas funciones en el cuadrado en lugar de hacerlo en la superÞcie de una dona. siendo así más fáciles de dibujar. B ) Identidad en el cuadrado [0. "] × [0. Llamaremos a una función continua de la circunferencia un Endomorfismo de la Circunferencia. "] × [0. 1. Ejemplo 1: Para visualizar estas gráÞcas conviene pensar a T 2 como el cuadrado [0. es llamada una función de la Circunferencia. Otra representación de S nos la da el espacio topológico los extremos del intervalo [0. Cuando nos reÞramos a gráÞcas 23 .{e2#it /t " [0. Las gráÞcas de las funciones de la Circunferencia son curvas en T 2 = S × S. R Z que resulta de identiÞcar Una función f : S ! S. "] A B Figura. "]. A) Identidad en el T oro.

Demostración. % se puede redeÞnir por simplicidad % : R ! R2 . t 7! (cos t. cos t) existe para toda t " R. 1.2 Pr oyeccio ´n Cano ´nica Observación 1. ii) Para todo t. % (t) = % (s) si y solo si t = s (mod "). % (t) = % (s) si y solo si t = s + k. s " R. i) Observemos que si identiÞcamos C con R2 .en el Toro estaremos pensando en gráÞcas en el cuadrado [0. "].1 La Proyección Canónica es: %: R ! t S 7! e2#it Fig. Definición 1. es decir. sen t) d% t = ()sen t. k " Z.2 La proyección canónica cumple: i) % (t) es continua. "] × [0. por lo que % es diferenciable en R y por lo tanto es continua en R 24 .

2 LEVANTAMIENTOS Las funciones de la circunferencia las podemos representar por medio de funciones reales de valores reales. 2. Teorema 2. Definición 2. k"Z t = s mod ("). Al entero k (f ) se le llamará el grado de la función continua f. La discusión que sigue nos demuestra que el grado está bien deÞnido. % # F = f # %. Entonces existe una función continua F : R ! R y un entero k = k (f ) tal que: i) para cada t " R.1 Sea f un endomorÞsmo de la circunferencia. F (t + ") = F (t) + k.2 Cualquier función continua F que satisfaga (i) y (ii) de la proposición anterior se llamará un levantamiento de f . ii) conmuta el diagrama F R ! R % 0 f 0 % S ! S es decir.ii) % (t) = % (s) e2#it = e2#is e2#it e2#i(!s) = " e2#i(t!s) = " t = s + k. 25 .

y % # F = %( 1 " 2# it arg(f (e2#it ))) = e2#i( 2# arg(f (e ))) 2% i arg(f (e2#it )) = e = f (e2#it ) = f # % en dicho intervalo. t0 + "). F (t) por la misma relación que antes. t0 + 2). Para t " [t0 . DeÞnimos entonces F (t0 + ") = F (t0 ) + k y. Para t < t0 se hace algo semejante. Ejemplos : A B 26 . t0 + "). Por otro lado lim t$1 " " arg(f (e2#i(t0 +t) )) = arg(f (e2#it0 )) = F (t0 ) + k. con lo cual tenemos una función continua deÞnida en toda la recta real que satisface todos los requerimientos. para t " [t0 + ". 2% 2% donde k es el entero por el que diÞeren las dos ramas de arg en f (e2#it0 ) . 2% tomando una rama continua de arg.Demostración del Teorema 2. de este modo F es continua en t " [t0 . Es claro que este proceso lo podemos repetir indeÞnidamente y obtener así F (t) para t ( t0 tal que cumpla la conmutatividad del diagrama. pero con la nueva rama del argumento .1: Sea t0 " R tal que % (t0 ) = e2#it0 = ". deÞnamos: F (t) = " arg(f (e2#it )).

A) Gra ´f ica del Levantamiento. B ) Gra ´f ica en el T oro f (x) = 2x + 0. A) Gra ´f ica del Levantamiento. F (t + ") = F (t) + k. 27 $t " R y $m " Z.1 i).95)sen2% x. B ) Gra ´f ica en el T oro f (x) = 0.6 + (0. A) Gra ´f ica del Levantamiento.4)sen2% x.6)sen2% x. 2. A B Figura. B ) Gra ´f ica en el T oro f (x) = x + 0." + (0. k (f ) = 2.1.Figura.5 + (0. 2. 2. k (f ) = ". por el Teorema 2.3. Demostración: Sea f una función continua de grado k. aplicamos inducción sobre m. Observación 2.2.3 Si f es un endomorÞsmo de la circunferencia de grado k entonces para todo levantamiento F de f se tiene F (t + m) = F (t) + mk. k (f ) = 0. Si m = ". . A B Figura.

es decir. F (")) repetimos la misma gráÞca. comenzando en el punto (". A) Gra ´f ica del Levantamiento. Los levantamientos de un endomorÞsmo de la circunferencia son únicos salvo por la 28 . de la proposición anterior sabemos que el punto Þnal en 1 está k unidades arriba que el punto en 0. repitiendo este proceso. La gráÞca de un levantamiento se puede obtener en toda la recta. llamemos al trozo de la gráÞca de un levantamiento que asume valores en [0. "]. ahora sobre el intervalo [". A B Figura. 2. digamos en[0. 2]. un trozo fundamental. se obtiene la gráÞca del levantamiento. "]. a izquierda y derecha del trozo de la gráÞca conocido. conociéndola en un intervalo de longitud uno. F (t + m) = F (t) + mk F (t + m) = F (t + m ) " + ") = F (t + (m ) ")) + k = F (t) + (m ) ")k + k = F (t) + mk.Supongamos que se cumple para m ) " F (t + (m ) ")) = F (t) + (m ) ")k Probemos que se vale para m. B ) T rozo F undamental.4.

Entonces F # es también levantamiento de f. Por lo tanto. F # (t) ) F (t) " Z. Entonces F # es otro levantamiento continuo de f si y sólo si existe m " Z tal que F # (t) = F (t) + m.suma de una constante entera. F (t) son continuas y F # (t) ) F (t) es discreto. Aunque los levantamientos de un endomorÞsmo de la circunferencia no son únicos. 29 . entonces % (F # (t)) = f (% (t)) = % (F (t)). entonces es constante.4 Sea f un endomorÞsmo de la circunferencia y F un levantamiento continuo de f . $ t" R Como F # (t). Observación 2. F # (t) ) F (t) = m para algún m " Z. para todo t " R Demostración 1) Supongamos que F # es tal que existe m " Z F # (t) = F (t) + m. $ t " R aplicando % en ambos miembros % (F # (t)) = % (F (t) + m) = % (F (t)) = f (% (t)). 2)Sean F (t) y F # (t) levantamientos de f . entonces. $ t " R.

2. digamos F (0) = F0 . queda determinado un único levantamiento F (t). si suponemos la condición de que F (0) " [0.3)sen2% (x + 0. k un entero y F (t + ") = F (t) + k para t " R. la gráÞca de una función en la circunferencia puede obtenerse también de la gráÞca de sus levantamientos si consideramos un trozo fundamental de la gráÞca de cualquier levantamiento entonces cruzará verticalmente un número entero de cuadrados de lado uno. Ejemplo: Figura. Alternativamente.5 Supongamos que F : R ! R es una función continua. Entonces existe un único endomorÞsmo de la circunferencia f tal que F es un levantamiento de f . Obviamente este endomorÞsmo f es de grado k.3 + (0. digamos k.3 + (0.3)sen2% x).5. es decir.Þjando el valor del levantamiento en algún punto. esto nos determina un rectángulo de base uno y altura igual a un entero. de levantamientos a funciones de la circunferencia. 30 . B ) Gra ´f ica en el T oro f (x) = x + 0. "). Es posible también ir en la otra dirección. A) Gra ´f ica del Levantamiento. Cortemos ahora este rectángulo en k cuadrados unitarios y superponiéndolos obtenemos la gráÞca de f. k (f ) = ". podemos determinar un único levantamiento F de f. Teorema 2.

Efectuemos inducción sobre n en los incisos (i) . Veamos que la función está bien deÞnida. f. donde t es cualquier punto en % !1 (x). F (t + ") = F (t) + k. (i) Sea F es un levantamiento de f de grado k. entonces % (t0 ) = % (t) por lo que t0 ) t " Z de aquí que f (x) = % (F (t0 )) = % (F (t) + k (t0 ) t)) = % (F (t)). Por el Teorema 2. (ii) .6( i) Las iteradas f n de un endomorÞsmo de grado k tienen grado kn.Demostración: DeÞnimos f (x) = % (F (t)). Suponemos para n F n (t + ") = F n (t) + k n . Si t0 " R tal que % (t0 ) = x. 31 . Observación 2.1 i). es decir. (ii) F n es un levantamiento de f n si F es levantamiento del endomorÞsmo de la circunferencia. que no depende de la elección de t. Demostración.

3. por la observación 2. % # F n+1 = % # F n # F = f n # % # F = f n # f # % = f n+1 # % además como f es continua y claramente F n (t +") = F n (t)+ k (f ). Ejemplo: A 32 B .Por demostrar que se vale para n + ". F n+1 (t + ") = F (F n (t + ")) = F (F n (t) + k n ) = F (F n (t)) + k n k = F n+1 (t) + k n+1 . Por lo tanto f n es de grado k n .es decir % # F n = f n # %. (ii) Como F es un levantamiento de f % # F = f # %. Demostremos para n + ". Supongamos que vale para n. F n es un levantamiento de f n .

tenemos que F (t + ") = F (t) + k. g respectivamente. 33 . 2.9 Sea f un endomorÞsmo de la circunferencia. Como f y g tienen grado k . es decir es una función periódica Demostración. B ) k (f 2 ) = 4 Definición. se cumple el paso anterior y por lo cual F n (t) ) Gn (t) es de grado cero. G levantamientos de f. Sea n = ".Figura. Gra ´f ica del Levantamiento de f (x) = 2x + (0. F (t) ) G(t) es de grado cero. Para posterior referencia hacemos las siguientes observaciones. Observación 2. Gn son levantamientos de f n .5) sen 2% x : A) k (f ) = 2. F n (t) ) Gn (t) es una función de grado cero. monótono creciente.8 Sean f. g endomorÞsmos de la circunferencia de grado k y F. Observación 2.7 Sea f un endomorÞsmo de la circunferencia y F levantamiento continuo de f. En particular. g n endomorÞsmos de la circunferencia de grado k. entonces para todo t " R y n " Z. 2. Diremos que (i) f es monótono decreciente si F lo es. (ii) f es monótono creciente si F lo es. G(t + ") = G(t) + k entonces F (t + ") ) G(t + ") = F (t) + k ) G(t) ) k = F (t) ) G(t) Por lo tanto.6. si G(t) = t se tiene F n (t) ) t es de grado cero. Como F n.

2. ".10 Sea f un endomorÞsmo de la circunferencia. . 34 . F ). F ) tal que F q (t) = t + m(t. Demostración: Como F (t) ) t es continua. se tiene que F (T ) . ".de grado uno y sea F un levantamiento de f. existen T. t " R con 0 . 2. Si x es un punto periódico de período q de f y F es un levantamiento de f entonces dado t tal que %(t) = x existe un entero m(t. Entonces para n = ". si Mn =M a ´x (F n(t) ) t) y t&R mn =M ´ õn (F n (t) ) t). (T ) t) < " tal que. F (T ) ) T = M y F (t) ) t = m.3 ENVOLVENCIA. M ) m = (F (T ) ) T ) ) (F (t) ) t) = (F (T ) ) F (t)) ) (T ) t) . F (t + ") = F (t) + ". de grado uno. " ) (T ) t) . t&R se tiene Mn ) mn . de grado uno. F (T ) ) F (t) . Proposición 2... entonces. además como F (t) es monótona creciente. ".

s y l enteros y xr . como F1 . % (t2 ) = xs = f s (x). t1. F2 levantamientos continuos de f . de grado uno. F ) tal que F q (t) = t + m(t. F2 (t2 ) = t2 + m2 entonces tales que % (t1 ). entonces. 35 . F2 son levantamientos de f.11 Sea f un endomorÞsmo de la circunferencia. t " R. entonces f q (x) = x f q (% (t)) = % (t). Proposición 2. como x es un punto de período q de f. l " Z. Si x es q q (t1 ) = t1 + m1 . F1 (t) = F2 (t) + l. Sean r. F ). tales que % (t1 ) = xr = f r (x). Demostración. Sea t tal que % (t) = x. % (t2 ) " O(x) y F1 un punto periódico de período q de f . F1 .Demostración. siendo F un levantamiento de f. t2 " R m1 = m2 mod q. De aquí concluimos que existe m(t. f q (% (t)) = % (F q (t)) = % (t) . xs " S.

de grado uno. levantamiento continuo. Demostración.12 Un endomorÞsmo de la circunferencia f .Con k = r ) s ( 0 xr = f r (x) = f r!s+s (x) = f r!s (xs ) = f k (xs ) % (t1 ) = xr = f k (xs ) = f k (% (t2 )) = % (F k (t2 )) por lo cual. m " Z entonces. q q (t1 ) ) t1 = F2 (t1 ) + ql ) t1 m1 = F1 q k = F2 (F2 (t2 ) + m) + ql ) t1 q +k = F2 (t2 ) + m + ql ) t1 q k = F2 (F2 (t2 )) + m + ql ) t1 k = F2 (t2 + m2 ) + m + ql ) t1 k = F2 (t2 ) + m + m2 + ql ) t1 = t1 + m2 + ql ) t1 = m2 + ql Proposición 2. 1) Si existe un levantamiento F continuo y ti tal que F q (ti ) = ti + p con 0 . tiene una órbita O (xi ) de período q si y sólo si existe una única F. f q (% (ti )) = % (F q (ti )) = % (ti + p) = % (ti ) como % (ti ) = xi . tal que F q (t) = t + p con 0 . p < q. t1 = F k (t2 ) + m. p < q. entonces f q (xi ) = xi . para toda t tal que % (t) = xi para algún índice i. 36 .

2) Dado ti tal que % (ti ) = xi . F q (ti ) = ti + m = ti + p + cq. % (F q (ti )) = % (ti ). p < q. entonces (F # )q (ti ) = F q (ti ) ) cq = ti + p + cq ) cq = ti + p. f q (% (ti )) = % (ti ). consideremos otro levantamiento F. que cumpla (F )q (ti ) = ti + p. con 0 . entonces para todo F levantamiento de f. se tiene que. con l " Z distinto de cero. como F # = F + l. (F # )q (ti ) = F q (ti ) + lq = ti + p + lq. F q (ti ) = ti + m. entonces ti + p + lq = ti + p 37 . y el levantamiento F # cumple la condición buscada. pero (F # )q (ti ) = ti + p. Sea F # = F ) c. por el algoritmo de la división. Veamos que es única.

lq = 0. Demostración: Sean f un homeomorÞsmo y F.4 HOMEOMORFISMOS DE LA CIRCUNFERENCIA Los homeomorÞsmos de la circunferencia. m " Z tales que F q (t) = t + m.13 Sea O (xi ) una órbita de período q del endomorÞsmo de grado uno f. 2. F # levantamientos continuos de f y f !1 respectiva- 38 . Llamaremos Caraterística de una órbita a la pareja (p. Presentamos algunos resultados importantes respecto a estas funciones. q ) donde p es la envolvencia de la órbita y q el período de ella.1. Definición 2. Si f es un homeomorÞsmo de la circunferencia y F es un levantamiento continuo de f . las funciones continuas de la circunferencia cuya inversa también es continua. Observación 3. pero q > 0. es decir. entonces l = 0 lo cual es una contradicción. entonces F es un homeomorÞsmo y además F !1 es un levantamiento de f !1 . La envolvencia E de una órbita O (xi ) se deÞne como E = m mod q. F representación continua de f y t " R. han sido estudiadas extensamente.

Sean f. Si f y g son topológicamente conjugadas entonces F y G son topológicamente conjugadas. Demostración. entonces % # Id = Id # % = (f # f !1 ) # % = f # (f !1 # % ) = f # (% # F # ) = (f # % ) # F # = (% # F ) # F # y como % es suprayectiva. G sus levantamientos respectivos. F es homeomorÞsmo. g funciones continuas de la circunferencia y F. análogamente Id = F # # F por lo que F # = F !1 entonces. Si f y g son topológicamente conjugadas entonces existe h homeomorÞsmo tal que h#f =g#h 39 .mente. = % # (F # F # ) Observación 3.2. se tiene que Id = F # F # .

tenemos (h # f ) # % = (g # h) # % h # (f # % ) = g # (h # % ) h # (% # F ) = g # (% # H ) (h # % ) # F = ( g # % ) # H (% # H ) # F = (% # G) # H % # (H # F ) = % # (G # H ) como % es suprayectiva. El ”orden” natural de la circunferencia es tal que x < y .1 ii). Fig. nos encontramos con x primero y después con el punto y. Orden natural de la circunf erencia.1 HOMEOMORFISMOS QUE PRESERVAN ORIENTACIÓN. 40 . H #F =G#H y como H es homeomorÞsmo por la observación anterior. 2. 3. se tiene que F y G son topológicamente conjugadas. en sentido contrario de las manecillas del reloj.4.por el Teorema 2. si partiendo de un punto de referencia arbitrario.1.

Supongamos que F no es creciente. tales que t0 < t1 . el grado de f es uno. x < y implique que f (x) < f (y ). Supongamos 41 $t " R . es decir. Entonces todo levantamiento continuo F de f es estrictamente creciente y F (t + ") = F (t) + ". es claro que k > 0 pues F es estrictamente creciente. "). F es estrictamente creciente.4 Sea f un HPO.Definición 3. t1 " [0. su imagen en cada iteración. es decir. t1 " [0. entonces % (t0 ) < % (t1 ). y " S 1 . Sean t0 . Proposición 3. f (% (t0 )) ( f (% (t1 )) lo cual contradice el hecho de que f preserva la orientación. existen t0 . sea un segmento dirigido con la misma dirección que el segmento original que se tomó. aplicando % en ambos miembros % (F (t0 )) ( % (F (t1 )). Por lo tanto. Abreviaremos ”Homeomorfismo que preserva la Orientación ” por HPO. y por el Teorema 2. ") tales que F (t0 ) ( F (t1 ).3 Un homeomorÞsmo de la circunferencia f preserva la orientación en S 1 . Sea k el grado de f. si tomamos un segmento dirigido en la circunferencia y lo iteramos. con el ”orden” natural de la circunferencia. Demostración. si siempre que x. Que un homeomorÞsmo preserve la orientación es equivalente a que.1 ii).

Observación 3.6 Si f es un homeomorÞsmo que invierte orientación. Además tenemos que f : [0.7 f es una función continua de la circunferencia . pero F (t0 ) y F (t1 ) son el mismo punto en S 1 .5 Por la proposición anterior. entonces F (t + ") = F (t) + k. Así que k . t1 " [0. ") distintos tales que F (t1 ) ) F (t0 ) = ". si f es un HPO entonces para todo levantamiento F de f se tiene F (t + m) = F (t) + m. $ t " R y $ m " Z. se puede probar de manera análoga que todo levantamiento F de f es una función estrictamente decreciente y F (t + ") = F (t) ) ". es sobre. ". $t " R y $k " Z. lo cual es una contradicción. inyectiva. es decir F (t + ") = F (t) + ". Como f es de grado uno. 42 . es decir % mapea a t0 y a t1 en puntos distintos de S 1 . 2) Basta con demostrar que g = f !1 es continua. por lo cual existen t0 . ya que f es un homeomorÞsmo. Demostración. "]. Observación 3. por lo que concluimos que k = ".que k ( 2. "] ! [0. $ t " R Observación 3. de grado uno si y solo si f es un HPO.

Rotacio ´n R(0. Las rotaciones son los ejemplos más sencillos de HPO. es decir H1 & Dom(g ) = g !1 (H ). "] es un compacto. pero f es un HPO entonces tiene grado uno. H1 = f (H ) = g !1 (H ) dado que H1 es un subconjunto de f ([0. "] entonces H es compacto. Si & " Q se dice que R$ es una rotación racional y si & " / Q se dice que R$ es una rotación irracional. además f es inyectiva por lo que f !1 está bien deÞnida. 3. ") consideramos la función R$ : R ! R dada por el levantamiento R$ (t) = t + &. Ejemplo: Fig.2. entonces por el Teorema de Continuidad Global f !1 es continua 1) Basta con demostrar que f es de grado uno. de aquí que f (H ) es compacto por lo tanto cerrado. como f es continua en [0. "]) = Dom(g ). R$ es el levantamiento de una función de la circunferencia. "] entonces f ([0. Sea H cualquier subconjunto cerrado de [0. 43 . "]) es compacto.y dado que [0.5.5) = x + 0. Rotaciones Para cada & " [0.

5 SISTEMAS CAÓTICOS Una función de la circunferencia que no es homeomorÞsmo puede tener una dinámica bastante compleja. y 6= x con la propiedad que |f n (x) ) f n (y )| > '. existe y " N. Demostración. y " S. En esta sección explicaremos lo que se entiende por caos en Sistemas Dinámicos en la circunferencia. es decir.1. existe n " N tal que |f n (x) ) f n (y )| > '. Si f es una función de la circunferencia caótica y g es topológicamente conjugada a f . Sea f una función de la circunferencia. Es decir. '. existen algunos n " N y ' > 0 tales que para toda x " S y todo abierto N tal que x " N.2. x 6= y. Como se probó anteriormente. llegando al extremo de ser caótica. Si f es sensible respecto a condiciones iniciales.2. Supongamos que g no es sensible respecto a condiciones iniciales. entonces g es caótica. para toda ' > 0 existe y0 6= x0 tal que para toda n " N |f n (x) ) f n (y )| . si f y g son conjugadas. Definición 4. 44 . ii) Es sensible respecto a condiciones iniciales. entonces cada punto periódico de f corresponde con un punto periódico de g. Resta por demostrar que la sensibilidad respecto a condiciones iniciales se preserva por conjugación. entonces existe ' > 0 tal que para todos x. El sistema dinámico determinado por f es caótico si: i) Tiene puntos periódicos de todos los períodos. Proposición 4.

se tenga |h (x) ) h (y )| < '. '.3.Supongamos que la conjugación de f y g es h. podemos elegir ' de tal manera que si |x ) y | < '. se tiene que como |f n (x) ) f n (y )| . h (f n (y0 )) = g n h (y0 ) . se obtiene que h (f n (x0 )) = g n h (x0 ) . Como h está deÞnida en un compacto y es continua. entonces |h (f n (x0 )) ) h (f n (y0 ))| . y = f n (y0 ) . Si en particular se deÞnen x = f n (x0 ) . con n tal que |g n h (x) ) g n h (y )| > '. Proposición 4. pero como f y g son conjugadas. lo cual es una contradicción. Si f es un homeomorÞsmo de la circunferencia. entonces h es uniformemente continua. es decir. '. y entonces |g n h (x0 ) ) g n h (y0 )| . entonces no es 45 . '.

Así podemos obtener que ¯ ¯ 'eN !(x0 ) = ¯f N (x0 + ') ) f N (x0 )¯ µ N ¶ " df (x) #(x0 ) = l´ õm l´ õm ln . Como veremos en el siguiente capítulo. El número de Lyapunov asociado a un sistema dinámico generado por una función de la circunferencia f es 46 . Demostración.caótico. Una herramienta importante para detectar dinámicas estables o dinámicas caóticas es el número de Lyapounov. Más precisamente el número de Lyapunov. Definición 4. = l´ õm N $% N i=0 N !1 " X = l´ õm ln(f 0 (xi )) N $% N i=0 es decir de esta forma se tiene lo siguiente. el número de Lyapunov es positivo. si ( (f ) " Q. por otra parte . mide una de las características que deÞnen el caos: sensibilidad respecto a condiciones iniciales. la dinámica es periódica y si f " C 2 y ( (f ) " R ) Q entonces es topológicamente conjugado a una rotación . N $% %$% N dx ! $ N ! 1 " "Y 0 % ln # f (xi )& .4. en este caso. si es negativo el sistema tiene por lo menos una órbita atractora.

con b " [0. 47 . 3.3 f (x) = x + bsen2% x. B ) Diagrama de bif urcacio ´n con o ´rbitas atractoras. iii) #(f ) < 0 f tiene órbitas atractoras. ii) #(f ) > 0 para las órbitas de f que son sensibles respecto a condiciones iniciales. Fig. A) Gra ´fica del N u ´mero de Lyapunov. Se sabe que sobre un atractor A. ¯ i ¯ ¯ (x) ¯ ln ¯ dfdx ¯. de f se tiene: i) #(f ) no depende de la condición inicial x.#(f ) = l´ õm n$% 1 n n !1 P i=0 Proposición 4.5. "] .

48 . En el presente capítulo revisamos algunos resultados y propiedades del número de rotación. Un concepto de gran importancia es el número de rotación. el cual nos sirve de criterio para la existencia de órbitas periódicas de funciones de la circunferencia.Capítulo 3 NÚMEROS Y CONJUNTOS DE ROTACIÓN En el presente capítulo revisaremos algunos resultados sobre el número y conjunto de rotación.

3). B ) (4. de la órbita de h es 5. 2). El período de la órbita.1 Orbitas perio ´dicas de carater´ õticas : A) (4. 49 . de la órbita de r es 5. es decir el número de vueltas que da la órbita a la circunferencia antes de regresar al punto de partida. La envolvencia ó índice de la órbita. de la órbita de h es ". de la órbita de g es 3. "). ´ Fig. de la órbita de g es 4. C ) (5.1 ÓRBITAS PERIÓDICAS Consideremos órbitas periódicas de endomorÞsmos de la circunferencia. 1. de la órbita de r es 2. En los ejemplos el período de la órbita de f es 4.3. "). 2. es decir el entero q tal que f q (x) = x. Observemos la caraterística de las órbitas periódicas anteriores: ". D) (5. En los ejemplos el índice de la órbita de f es ".

Sea f un endomorÞsmo de la circunferencia y F un levantamiento de f. En general. n n$% donde F es cualquier levantamiento de f y t mod(") es un punto de la órbita en cuestión. ´ Fig. tenemos que: Observación 2.2 NUMEROS Y CONJUNTOS DE ROTACIÓN Si cualquier función f es una rotación R$ .1 Sea f un endomorÞsmo de la circunferencia entonces el avance promedio de f en cada iteración sobre una órbita cualquiera es l´ õm F n (t) . cuando f no es una rotación las iteradas no hacen un avance uniforme en cada iteración.3. 2. "k = (F k (t) ) F k!1 (t))2% . f k (x) con respecto al centro de la circunferencia. si existe una órbita periódica de f. los puntos iterados avanzan un mismo ángulo & en cada iteración.1 Angulo que generan f k!1 (x) y f k (x). "k es el ángulo que generan f k!1 (x). Demostración. Sin embargo. por lo que el avance promedio de los primeros n ángulos "0k s es n P &k k=1 n = k=1 n P (F k (t) ) F k!1 (t))2% n 50 .

= 2% k=1 n (F n (t) ) t) = 2% n entonces el avance promedio de todos los ángulos es: l´ õm F n (t) . q " Z por inducción. F nq (t) l´ õm = n$% nq ¶ t + np l´ õm n$% nq µ ¶ t p = l´ õm + n$% nq q p = q µ 51 . Como f tiene una órbita de período q y de índice p. n n P (F k (t) ) F k!1 (t)) n$% Proposición 2. Si t mod (") es un punto sobre una órbita que converge a una órbita periódica de período q y de índice p entonces l´ õm F n(t) p = . entonces existe t " R tal que F q (t) = t + p para algunos p. n q n$% Demostración. F nq (t) = t + np de aquí que.2 Sea f un endomorÞsmo de la circunferencia y F un levantamiento de f .

1. . = F (F (0)) = 0. q El límite de Ejemplos: F n (t) n n$% F n (t) n no existe en general. . entonces. F 3 (t) = F (F 2 (t))) = 2(2(2t))). Consideremos la función F (t) = t + (0.5)sen2% (0) = 0. 52 . Sea F (t) = 2t.por lo tanto el avance promedio sobre una órbita de período q y de índice p es p . de aquí que. aunque f sea continua.5)sen2% t hagamos t = 0 : F (0) = (0. l´ õm F n (t) n n$% depende de la condición inicial. n$% n n Notese que F es un levantamiento de una función f de grado 2. 2. . n$% l´ õm F n (t) 2n t = l´ õm = -. . F n (0) = F n!1 (F (0)) = F n!1 (0). = F n!2 (F (0)) = F n!2 (0). F n (t) = F (F n!1 (t)) = (2)n t. . F 2 (t) = F (F (t)) = 2(2t). . l´ õm = -. entonces.

sup |F (t) ) t| < A1 . n$% n n ahora sea t = 0. 53 .25 + (0. entonces existe K > 0 tal que ¯ n ¯ ¯ F (t) ¯ ¯ ¯ ¯ n ¯ < K. entonces F n (0. .25.25) . Sea F un levantamiento de f .25.75) = 0.8 del capítulo 2. t&R por otro lado.25. . F n (t) " = .25) = F n!2 (F 2 (0. $t " R para todo levantamiento F de f .25)) = F n!4 (0. F n (t) ) t es de grado cero entonces es acotada.por lo tanto.25) = F n!4 (F (0. como f tiene grado uno por la observación 2. .25) = 0. t&R t&R .5)sen2% (0. .25)) = F n!2 (0. sup |F n (t) ) t| < An .75. n$% l´ õm F n (t) 0 = l´ õm = 0.25) = 0. de grado uno. l´ õm n$% n 2 Proposición 2. F (0. por lo tanto.75 + (0.5)sen2%(0. = F 2 (F 2 (0. es decir. sup |F 2 (t) ) t| < A2 . F 2 (0.75) = 0.25) = 0.25) = F (0.25)) = F 2 (0. Demostración.3 Si f es un endomorÞsmo de la circunferencia.

¯ n ¯ ¯ F (t) ) t ¯ ¯ ¯. . + )(F n!1 (t)). = t + )(t) + . . |F n (t) ) t| = |)(t) + )(F (t)) + . ¯ ¯ ¯ ¯n¯ n ¯ ¯ ¯t¯ ¯ < A+¯ ¯n¯ es decir. . Definición 2. . tenemos que.F (t) = t + )(t). n sup |)(t)| = nA. + )(F n!1 (t))| .4 Sea f un endomorÞsmo de la circunferencia.A ¯ ¯ n ¯ n ¯ ¯ n ¯ ¯ F (t) ¯ ¯ ¯ ¯ ¯ = ¯ F (t) ) t + t ¯ ¯ n ¯ ¯ ¯ n ¯ n ¯ ¯ ¯ ¯ F (t) ) t ¯ ¯ t ¯ ¯+¯ ¯ . F n (t) = F (F n!1 (t)) = F n!1 (t) + )(F n!1 (t)) = F (F n!2 (t)) + )(F n!1 (t)) = F n!2 (t) + )(F n!2 (t)) + )(F n!1 (t)) . concluimos... t&R de aquí que. t) = lim sup n n$% 54 . de grado uno y F un levantamiento de f entonces el número de rotación de F en el punto t es F n (t) ((F. es acotada.

t) = " " R. g respectivamente. t + ") = F n (t + ") F n (t) + " = lim sup lim sup n n n$% µ n ¶ F (t) " F n (t) = lim sup + = lim sup n n n = ((F. G levantamientos de f.5 Sean f. t) = " para todo t " R iv) Si h # g = f # h. = F n (t) + np. ii) ((R& # F. . t) ii) Como (Rp # F )(t) = F (t) + p. si " " Z iii) ((R& . . entonces (Rp # F )n(t) = (F + p)n (t) = (F + p)n!1 # (F + p)(t) = (F + p)n!1 # F (t) + p = (F + p)n!2 # (F + p) # F (t) + p = (F + p)n!2 # F 2 (t) + 2p . se tiene ((G. entonces ((G. así tenemos que. H (t)). es de grado cero y en general no constante. t) = ((F. ) : R ! R. t) = ((F. con h homeomorÞsmo de la circunferencia. En particular si F = R& . i) ((F. de grado uno y F. t) + ".Observaciones 2. Demostración. i) ((F. g endomorÞsmos de la circunferencia. 55 .

56 . por inducción. Gn (t) + () # Gn )(t) ) H (t) = (F n ) Id) # H (t). g son topológicamente conjugadas. (H # Gn )(t) = (F n # H )(t). por la observación 3. Sustituimos H. t) = lim sup (Rp 'F = lim sup F (tn n n $% ³ n ´ n = lim sup F n(t) + p = lim sup F n(t) + p n$% n n = ((F. Gn (t) + () # Gn )(t) = (F n # H )(t) ) H (t) + H (t). t) + p. sus levantamientos también lo son. ((t + )) # Gn )(t) = (F n # H )(t). es decir que f . iii) ((R& . Como H tiene grado uno. sea ) = H ) t nótese que ) tiene grado cero. t) =lim sup n$% R$ n (t) n t+n& n =lim sup n$% n$% t n t+n& n =lim sup n$% =lim sup +" =" iv) Tenemos que. entonces (H # G)(t) = (F # H )(t).) (t) )+np ((Rp # F. Gn (t) + () # Gn )(t) ) t ) )(t) = (F n ) Id) # H (t). h # g = f # h.2 del capítulo 2.

F2 levantamientos continuos de f . µ Gn (t) ) Id n ¶ F n (H (t)) ) H (t) = lim sup n entonces ((G. Sea x " C (F1 . t) % [0. entonces C (F1 ) = C (F2 ) / C (f ) para todo F1 . t) entonces existe t " R tal que x = l´ õm sup n$% n (t) F1 n n (t)+nm F2 n n (t) F2 n = l´ õm sup n$% = l´ õm sup n$% +m 57 .7 Si f es un endomorÞsmo de la circunferencia de grado uno. de grado uno y F un levantamiento de f entonces C (F. tenemos lim sup n$% µ Gn (t) ) t () # Gn )(t) + n n lim sup n$% ¶ (F n ) t) # H (t) )(t) = lim sup + n n µ ¶ µ ¶ . n n n n Gn (t) t () # Gn )(t) ((F n ) t) # H )(t) )(t) ) + = + .6 Si f es un endomorÞsmo de la circunferencia. Gn (t) ) t () # Gn )(t) ((F n ) Id) # H )(t) )(t) + = + . Definición 2. H (t)). ") está dado por: C (F ) = {((F. n n n n n si calculamos el límite superior cuando n ! -. t) : t " R} mod (") Proposición 2.Gn (t) ) t + () # Gn)(t) = (F n ) Id) # H (t) + )(t). Demostración. t) = ((F.

monótono creciente de grado uno y F un levantamiento de f .11 Sea f un endomorÞsmo de la circunferencia. monótono. Palis. Teorema 2. Definición 2. n $t " R n$% es independiente del levantamiento y de t. [5. de grado uno y F un levantamiento de f . n$% n lim ((f ) es llamado el número de rotación de f . de grado uno y F un levantamiento de f El conjunto de rotación de f es el conjunto C (f ). Primero demostraremos que el límite exite. 58 . Cuando f es un endomorÞsmo de la circunferencia. Por la observación 2.6]) C (f ) es un intervalo cerrado. ((F ) el número de rotación del levantamiento y en este caso: C (f ) = {((f )} $t " R. Definición 2. monótono creciente.10. Takens e Ito.8 Sea f un endomorÞsmo de la circunferencia.de lo anterior x " C (F2 . t) .9 del capítulo 2. Entonces ((F ) = F n (t) n$% n F n (t) ((f ) = lim mod ("). C (f ) se reduce a un punto.10 Sea f un endomorÞsmo de la circunferencia.9 (Newhose. Proposición 2. conocido como el número de rotación de f. Entonces existe lim F n (t) . Demostración de la proposición 2. de grado uno.

¯ nk ¯ ¯ F (0) F k (0) ¯ " ¯ ¯ ¯ nk ) k ¯ . F k (0) ) " . F k (0) ) " . k . + . F k (t2 ) ) t2 . n . k + n. F k (0) " F nk (0) F k (0) " ) . Mk ) " < mk .tenemos que Mk ) mk < ". ¯ ¯ nk ¯ F (0) F n (0) ¯ " ¯ ¯ ¯ nk ) n ¯ . F k (0) + ". k k nk k k de lo anterior tenemos. F k (0) + " n n n X X X k kj k(j !1) (F (0) ) ") . $t1 . Esto prueba que el límite existe para 59 . t2 " R (1) Sea t1 = 0 y t = F k(j !1) (0). F k (F k(j !1) (0)) ) F k(j !1) (0) . . es de Cauchy. F kj (0) ) F k(j !1) (0) . F nk (0) . nF k (0) + n dividimos entre nk. (F (0) ) F (0)) . Mk < mk + " < F k (t1 ) ) t1 + " F k (t1 ) ) t1 ) " < F k (t2 ) ) t2 < F k (t1 ) ) t1 + ". y similarmente De las desigualdades anteriores se tiene. Entonces F k (t1 ) ) t1 ) " . Por lo tanto la sucesión F n (0) n ¯ k ¯ ¯ F (0) F n (0) ¯ " " ¯ ¯ ¯ k ) n ¯ . (F k (0) + ") j =1 j =1 j =1 nF k (0) ) n . sustituimos en la desigualdad anterior.

tal que (p. entonces si |t1 ) t2 | < ". Sean t1 . ¯ ¯ n n n ¯ ¯ n ¯ F (t1 ) ) F n (t2 ) ¯ ¯ = 0. 60 .13. monótono creciente de grado uno. entonces ¯ n ¯ ¯ F (t1 ) ) F n (t2 ) ¯ " + |t1 ) t2 | 2 ¯ ¯< < . tenemos. |F n (t1 ) ) t1 ) (F n (t2 ) ) t2 )| + |t1 ) t2 | < " + |t1 ) t2 | . Si F es un levantamiento de f entonces $n " Z . Sea f un endomorÞsmo de la circunferencia.7 del capítulo 2. El número de rotación es un indicador de la dinámica generada por las funciones de la circunferencia. Ahora demostraremos que es independiente de t. Sea t1 = 0 en (1) y dividimos entre k F k (0) " F k (t2 ) t2 F k (0) " ) < ) < + . Teorema 2. |F n (t1 ) ) F n (t2 )| . lim ¯ ¯ n$% ¯ n en el límite Y por último de la proposición 4. t2 condiciones iniciales tales que t1 6= t2 . q ) = " si y sólo si ((f ) = p q " Q. se sigue la independencia del levantamiento. k k k k k k esto prueba que lim F n (t2 ) n n$% existe.t = 0. Entonces f tiene una órbita de período q y de índice p. F n (t) ) t es de grado 0.

((f ) = l´ õm F nq (t) = l´ õm t+np qn n$% n$% qn = l´ õm t + p q n$% qn =p q 1) Supongamos que f no tiene órbitas de período q y de índice p. existe t tal que F q (t) = t + p. para algun t " R y p " Z entonces. entonces. F nq (t) = F q (F (n!1)q (t)) = F (n!1)q (t) + p ± ² = F q (F (n!2)q (t)) + p ± ² = F (n!2)q (t) + 2(p ± ²) = . y para todo t " R. existe ² > 0. es decir. Como f tiene una órbita de período q y de índice p. F nq (t) = t + n(p ± ²) $t " R. 61 . F nq (t) = t + np. para todo levantamiento F de f. F q (t) 6= t ) p Ésto signiÞca que dados t y F. tal que: F q (t) = t + p ± ². por lo tanto..Demostración: 2) Sea F un levantamiento de f.. = t + n(p ± ²).

Entonces ¯ ¯ n ¯ ¯ " F ( t ) ) t ¯((F ) ) ¯< . q " Z. sumamos t1 a todos los miembros. j =1 j =1 j =1 62 . F n (t1 ) ) " < F n (F n(j !1) (t0 )) ) F n(j !1) (t0 ) + t1 < F n (t1 ) + ". Para posterior referencia hacemos la siguiente observación. de grado uno y F un levantamiento de f . F n (t1 ) ) t1 ) " < F n (F k(j !1) (t0 )) ) F n(j !1) (t0 ) < F n (t1 ) ) t1 + ". q Corolario 2. m m m X X X n nj n(j !1) (F (t1 ) ) ") < (F (t0 ) ) F (t0 ) + t1 ) < (F n (t1 ) + ").15 Sea f un endomorÞsmo de la circunferencia. monótono creciente. Sean t0 . ((f ) < p)² q o ´ ((f ) > p+² q para cualquier p. nq nq q entonces. ¯ ¯ n n Demostración. Por lo tanto ((f ) 6= p (mod ").n$% lim t + n(p ± ²) p±² F nq (t) = = . de grado uno. monótono creciente.14 Sea f un endomorÞsmo de la circunferencia. f tiene un punto Þjo si y sólo si ((f ) = 0. Proposición 2. t1 " R y t2 = F n(j !1) (t0 ) en (").

m(F n (t1 ) ) ") < F mn (t0 ) + mt1 < m(F n (t1 ) + ").16. Proposición 2. ) ¯ n ¯ n$% mn n ¯ ¯ n ¯ ¯ ¯((F ) ) F (t1 ) ) t1 ¯ < " . ¯ mn ) ¯ n n ¯ ¯µ ¶ mn n ¯ " ¯ F ( t ) F ( t ) ) t 0 1 1 ¯ lim ¯< . m(F n (t1 ) ) ") F mn (t0 ) + mt1 m(F n (t1 ) + ") < < . ¯ n ¯ n 63 . monótono crecientes. de grado uno y sean F. mn mn mn F n (t1 ) ) " F mn (t0 ) + mt1 F n (t1 ) + " < < . n mn n ¯ mn ¯ ¯ F (t0 ) + mt1 F n (t1 ) ¯ " ¯ ¯< . existe * > 0 tal que si kF ) Gko = sup |F (t) ) G(t)| < * t&R ¯ mn ¯ ¯ F (t0 ) F n (t1 ) ) t1 ¯ " ¯ ¯< . Sean f . g endomorÞsmos de la circunferencia. G levantamientos de f y g respectivamente. ) ¯ mn n ¯ n ¯ mn ¯ ¯ F (t0 ) t1 F n (t1 ) ¯ " ¯ ¯ ¯ mn + n ) n ¯ < n . Entonces dado ² > 0.

Demostración. Sea {tm } una sucesión cualquiera. |F n (0) ) Gn (0)| < entonces |((F ) ) ((G)| .1 Demostración. La proposición anterior nos dice que ((F ) es continua para la C 0 ) topología.entonces |((F ) ) ((G)| < ². de grado uno y sean F. g endomorÞsmos de la circunferencia. se tiene ((F # G) = ((F ) + ((G). tal que 2 n ² <2 . monótonos crecientes. ¯ ¯ |((F ) ) ((G)| = ¯((F ) ) ¯ ¯ . 1 Ver Apéndice 64 .tal que.y elegimos * > 0.15 tenemos que. Entonces si conmutan. 1 n F n (t) n + 1 n |F n (t) ) Gn (t)| + ¯ n n n ¯ + F n(t) ) G n(t) + G n(t) ) ((G)¯ ¯ ¯ n ¯ ¯ ¯ ¯ F (t) Gn (t) ¯ ¯ Gn (t) ¯ F n (t) ¯ + + ) ) ( ( G ) ¯ ¯ ¯ ¯ ¯ n n n n 1 n = 2 n + 1 n |F n (t) ) Gn (t)| Þjamos n " Z. G sus levantamientos respectivos. por lo tanto n² si kF ) Gko < * 2 2 " n² 2 ² ² ² + = + < + =² n n 2 n 2 2 2 |((F ) ) ((G)| < ² si kF ) Gko < * .17 (Herman [4]) Sean f. por la proposición 2. Proposición 2. es decir F # G = G # F. ¯((F ) ) .

¯((F ) ) ¯ n ¯ n n$% l´ õm F n (tm ) ) tm = ((F ). así que. de grado uno y F levantamiento de f. Sea f un endomorÞsmo de la circunferencia. n entonces. por lo tanto.por lo cual. Corolario 2.18. Entonces ((F n ) = n((F ) para n > 0. ¯ ¯ n ¯ " ¯ F ( t ) ) t m m ¯< . 65 . tenemos que. µ ¶ F n (t) ) lim n$% n µ ¶ ((F # G) = ((F ) + ((G). n$% n µ como F # G = G # F. ((F # G) ) ((F ) = µ (F # G)n (t) lim n$% n ¶ ¶ F n (t) ) lim . monótono creciente. (F # G)n (t) = F n # Gn (t) = Gn # F n (t). (Gn (F n (t)) ((F # G) ) ((F ) = lim n$% n = ((G).

66 . Sea f un hoemomorÞsmo de la circunferencia. ((F ) = )((F !1 ) entonces.Proposición 2. y F levantamiento de f. por la proposición 2. Demostración. entonces. ((F n ) = n((F ) para todo n " Z.15 tenemos que. Sea n = " y {(F !1 )n (t)} una sucesión . ¡ ¢ n como F n (F !1 ) (t) = t.19. Entonces ((F n ) = n((F ) para todo n " Z. ¯ ¯ ¡ ¢ n n ¯ F n (F !1 ) (t) ) (F !1 ) (t) ¯ ¯ ¯ " ¯((F ) ) ¯< ¯ ¯ n n ¯ ¯ !1 n ¯ ¯ " t ) ( F ) ( t ) ¯((F ) ) ¯< ¯ ¯ n n ¯ ¡ ¡ ¢¢¯ ¯((F ) ) )( F !1 ¯ < " n ((F ) + ((F !1 ) = 0 por lo tanto.

3 NÚMERO DE ROTACIÓN DE LAS ROTACIONES. Si ((Ra ) = a " R ) Q entonces todas las órbitas de Ra (x) son densas en S ( las órbitas son cuasiperiódicas ). m " Z + . Sea Ra = x + a una rotación. supongamos que dos puntos cualesquiera de cualquier órbita fueran iguales entonces existirian n. Primero demostremos que cualesquiera dos puntos de cualquier órbita de Ra son distintos. Proposición 3. En está sección veremos algunos resultados sobre el número de rotación de las rotaciones. Demostración.(Jácobi). por lo tanto n = m. Ahora demostremos que Ra no tiene puntos periódicos. lo cual contradice el hecho de que a " R ) Q. Sea x " S.3. con n 6= m tal que n m Ra (x) = Ra (x) n ix m ix Ra (e ) = Ra (e ) ei(x+n2#a) = ei(x+m2#a) ei2#a(n!a)) = 0 entoncesl (n ) m)a " Z .1. Sea x " S 1 y supongamos que x " Ra es un punto periódico entonces existe n " Z 67 . en el caso que esté sea racional o irracional.

Ra ¤ £ l ¤ £ l 2l Rl a x.tal que n Ra (x) n ix Ra (e ) = x = eix ei(x+n2#a) = eix ei2#an = 0 entonces a " Z .2. entonces para todo ² > 0 existe n. q ) . lo cual contradice que a " R ) Q . Demostración. Proposición 3. es decir n m |Ra (x) ) Ra (x)| < |x ) y | ¯ k ix ¯ 0 ix ¯ ¯Ra (e ) ) Ra (e ) < ² ¯ k ix ¯ ¯Ra (e ) ) eix ¯ < ² ¤ £ l l (x) es el arco que une a x con Ra (x). Ra es de Cauchy.W. como consecuencia del T. 68 . Sea Ra = x + a una rotación. m " Z+ tal que m |Rn a (x) ) Ra (x)| < ² n ix ix |Ra (e ) ) Rm a (e )| < ² Sea k = n ) m Ra es una simetria en S. Ra (x) = Ra (x). Ra (x) = S. el cual dice ”Todo conjunto de puntos inÞnito y acotado tiene por lo menos un punto límite”.B. por lo tanto entonces x. Ra (x) < ² £ nl ¤ (n+1)l 3n&N Ra (x). Por el Teorema de Bolzano-Weierstrass. además Ra preserva longitudes en S. Si ((Ra ) = a " Q entonces todas las órbitas de Ra (x) tiene característica (p. tenemos el críterio de la n convergencia de Cauchy. Cualquier conjunto inÞnito de puntos debe tener un punto límite.

h respectivamente. que todas las órbitas de Ra tienen característica (p. G. Demostración. q ). 69 . Proposición 4. Si h # f = g # h . g endomorÞsmos de la circunferencia.4 TEOREMAS DE CONJUGACIÓN PARA DIFEOMORFISMOS CON NÚMERO DE ROTACIÓN IRRACIONAL. q si hacemos la q-ésima iterada. h # f n = g n # h.Tenemos que ((Ra ) = a " Q. entonces a = p q y p Ra (x) = x + . Si h#f =g#h y n " N por inducción. entonces ((f ) = ((g ).1 Sean f. g. sean F. El número de rotación es invariante bajo conjugación. entonces. tenemos q Ra (x) = x + p. H levantamiento de f. monótonos. es decir. 3. de grado uno y h un endomorÞsmo de grado uno. (H # F n )(t) = (Gn # H )(t).

Como h tiene grado uno, sea ) = H ) t .Sustituimos ((t + )) # F n )(t) = (Gn # H )(t) ) H (t) + H (t), F n (t) + () # F n )(t) ) H (t) = (Gn # H )(t) ) H (t), F n (t) + () # F n )(t) ) t ) )(t) = (Gn # H )(t) ) H (t), F n (t) ) t + () # F n )(t) = (Gn # H )(t) ) H (t) + )(t), (Gn ) t) # H (t) )(t) F n (t) ) t () # F n )(t) + = + , n n n n si n ! -, tenemos
n$%

lim

µ

F n (t) ) t ()(F n ))(t) + n n

= lim

n$%

µ

Gn (H (t)) ) H (t) )(t) + n n

,

tomando la parte fraccionaria, como el número de rotación para estas funciones es independiente de la condición inicial, entonces lim µ F n (t) n ¶ = lim µ Gn(t) n ¶

n$%

n$%

((f ) = ((g ). El recíproco de la proposición anterior no es válido; dos funciones pueden tener el mismo número de rotación y no ser conjugadas.

Ejemplo: Consideremos la rotación " R 1 (x) = x + , 2 2 la cual tiene ((R 1 ) =
2

1 2

y f (x) = x + 0.5 + (0."2)sen2% x, 70

con t = 0 tenemos f (0) = 0 + 0.5 + (0."2)sen2% (0) = 0.5

f 2 (0) = f (0.5) = 0.5 + 0.5 + (0."2)sen2% (0.5) = ".0 como 0 y 1 son el mismo punto f 2 (0) = 0. ((f ) = lim
F n (t) n n$%

=

1 2

Entonces su número de rotación es igual pero no son conjugadas. Esto se debe a la proposición 5.2 del capítulo 1. Para que valga el recíproco de la proposición 4.1 hay que imponer condiciones adicionales.

que f = h!1 # R& # h.

R ) Q. Entonces f es C 0 ) conjugada a R& , es decir, existe un homeomorÞsmo h tal

Teorema 4.2.(Denjoy [3]). Sea f un difeomorÞsmo de clase C 2 y ((f ) = " "

Teorema 4.3. Si f un endomorÞsmo de la circunferencia con ((f ) = " " R ) Q se tiene que: i) ! (x) no depende de x. ii) ! (x) es el total S ó un conjunto de Cantor. Demostración i) Sean m, n " Z con m < n I = [f m (x), f n (x)], entonces, cada intervalo de la sucesión ª © !k(m!n) (I ) : k " N , f

71

intersecta a su predecesor, de este modo, © ª 3 f !k(m!n) (I ) : k " N = S, ó la sucesión converge a un punto Þjo de f m!n . Si f m!n tiene un punto Þjo, f tiene puntos periódicos y ((f ) " Q, lo cual es una contradicción. Si ahora, tomamos z " ! (x) entonces, existe una sucesión {f ml (I ) : l " N} , que tiene como punto límite a z. Consideremos ahora el conjunto Il = [f ml (x), f nl (x)] , y la sucesión asociada © !k(m !n ) ª l l f (Il ) : l " N ,

esta sucesión cubre a S. Entonces dado cualquier y " S, existe k = kl tal que y " f !k(ml !nl ) (Il ), de aquí que , para cada l, f !k(ml !nl ) (y ) " Il , y como,
l$%

l´ õm f ml (x) = z,

es decir,
l$%

l´ õm f ml (Il ) = z,

72

Además la frontera de ! (x). q " Z ) {0} y para toda + " R. Entonces los puntos de $ (! (x)) . Como el número de rotación es irracional. entonces f no tine puntos periódicos. como ! (x) es un conjunto mínimo no puede contener subconjuntos propios invariantes. Teorema 4. ii) ( : R ! R es continua. $ (! (x))es tambien invariante bajo f.4 Sea F levantamiento de f. Si hacemos lo análogo para y. un endomorÞsmo de la circunferencia. monótono creciente. ii) Si tomamos x " ! (x). obtenemos ! (x) = ! (y ). entonces x es punto de acumulación y ! (x) es perfecto. entonces si $ (! (x)) = ' tenemos ! (x) = S. se tiene . de donde ! (x) es denso en ninguna parte. entonces (!1 ( p ) es un intervalo de interior no vacío. son todos distintos. son límites de suceciones en ! (x) y (! (x))c . (R( # F )q 6= Rp . entonces existe una sucesión convergente {f ml (I ) : l " N} . de tal modo que los puntos de {f ml (I ) : l " N} . de grado uno y # " R 7! R! # F de clase C ' . Por lo tanto es un Cantor. y si $ (! (x)) = ! (x) entonces int(! (x)) = '.se tiene que l$% l´ õm f !k(ml !nl ) (y ) = z de esta forma z " ! (y ). monótona no decreciente y ((R) = R. DeÞnamos ((#) = ((R! # F ) entonces i) ((# + ") = ((#) + ". q 73 iv) Si F es tal que para toda p " Z. iii) Si ((#0 ) " R ) Q entonces ( es estrictamente creciente en #0 . tal que l$% l´ õm f ml (x) = x.

entonces (R!1 # F )(t) < (R!0 # F )(t) por la proposición 3. ((# + ") = ((R!+1 # F ) = ((R1 # R! # F ) = " + ((R! # F ) = " + ((#) ii) Demostremos que es continua. Demostremos que es monótona no decreciente. es decir un conjunto perfecto. entonces F # (R!1 # F )(t) < F # (R!0 # F )(t) R!1 # F # (Ra1 # F )(t) < R!0 # F # (R!0 # F )(t) (R!1 # F )2 (t) < (R!0 # F )2 (t) siguiendo este proceso tenemos (R!1 # F )n (t) < R!0 # F )n (t) ( 74 . n " Z.5 ii).5 del capítulo 2. si # " R 7!(R! # F "D0 (S )) entonces ( : R ! R y ((R! # F ) = ((#) es continua por la continuidad de ( proposición 4. sean #1 < #0 y n > ".13. totalmente discontinuo.v ) K = R ) Int((!1 (Q) ) es un Cantor. Además ((R) = R. F es estrictamente creciente. Demostración: i) Tenemos por la observación 2.

( es estrictamente creciente en #0 . Por lo tanto (!1 ( p ) es un q intervalo de interior no vacio. (R!1 # F )n (t) (R!0 # F )n (t) < n n ((#1 ) = l´ õm n$% (R!1 # F )n (t) (R!0 # F )n (t) . ((#0 ) .por lo tanto. ((#2 ) " R ) Q.12 del capítulo 2. (2 " ((V ). existe (1 < (2 tal que (1 . es decir (Rs # F )q = Rp lo cual es una contradicción ya que f tiene la propiedad A0 . Consideremos #0 tal que #1 < #0 < #2 con ((#0 ) " R ) Q y ((#1 ). Supongamos que ((#1 ) . 75 . ((#1 ). iii) Por ii) tenemos que ( es monótona no decreciente. entonces q ((s) = p q p q "Q lo cual implica por la proposición 4. Dado #0 " K y V cualquier intervalo abierto que contiene al punto #0 . entonces tendríamos que ((#1 ) < ((#0 ) < ((#2 ) es decir. entonces existe q tal que (!1 ( p ) = {s} un solo punto. Demostraremos que el interior de K es vacío. lo cual es una contradicción. v) Tenemos que K es cerrado. ( es monótona no decreciente. que R& # F tiene una órbita periódica de período q y de índce p. l´ õm = ((#2 ) n$% n n es decir. ((#2 ) " Q. ((#2 ) entonces si se diera la igualdad. iv) Supongamos que (!1 ( p ) es un intervalo de interior vacío.

R. Por lo tanto.. M. ¶ . (!1 ( p q contiene a #0 existe (!1 ( p ) % V intervalo donde ( es racional y los puntos extremos de q De lo anterior tenemos que K es un conjunto perfecto y totalmente discontinuo.. tal que " se desarrolla en fracciones continuas de la forma à " a1 + 1 a2 +. õm sup B $% n$% log 1)i)N (" + ai ) "Q . existe una sucesión (ai )i&N . (Arnold [1]) Sea f un difeomorÞsmo analítico suÞcientemente próximo a R& y ((f ) = " " R ) Q.. Observación 4. Para enunciarlo hacemos una clasiÞcicación de los números irracionales. Decimos que " Sea A = {" " R ) Q : " satisface la condición A} . " = a0 + ! 1 Definición 4. R ) A tiene medida de Lebesgue nula y si " " A entonces para todo ² > 0... el interior de K es vacío Demostremos que no existen puntos aislados en K. ai " Z. Teorema 4. En cada intervalo abierto que ) son elementos de K.Sean p q " ((1 .7. Si " " R ) Q. Entonces f es analíticamente conjugada a la rotación R&.. Sea "" R ) Q y " = a0 + satisface la condición A si se tiene: µ a1 + a 1 2 +. Herman descubrió un interesante resultado que complementa los anteriores.6.5. (2 ) entonces (!1 ( p ) " V por que ( es no decreciente y (!1 ( p )" / K ya q q que no puede contener un intervalo en el ( que sea racional. donde ai " Z+ para toda i. existe C² > 0 tal que para todo ¯ ¯ ¯" ) ¯ ¯ p¯ ¯ > C² q ¯ q2+² 76 p q ¶ µP ai "B log 1)i)N (" + ai ) P lim l´ = 0.

8.) 2 = . Entonces f es ($. Si 3 .Teorema 4.y ! ) 2 = ! ). ! y f un difeomorÞsmo de clase C r . > 0) C r!1!) ) conjugada a R& (con la convención . 77 .(Herman [4]). con ((F ) = " " A. r .

por eso es llamada la Familia de Funciones de Arnold. A: S!S x 7! x + a + b sen 2% x.Capítulo 4 ESTUDIO DE LA FAMILIA DE FUNCIONES DE ARNOLD. Esta familia ha sido estudiada por varios autores y notablemente por V. e denotaremos el levantamiento de A como A. EjempliÞcaremos resultados teóricos conocidos y realizaremos simulaciones computa- Observemos como cambian las gráÞcas de A(x) en el toro y las de sus respectivos 78 . En este capítulo consideramos la familia clásica de funciones de la circunferencia dependiente de los parámetros a. cionales. Arnold. I. b.

7. D) a = 0 b = 0. 79 . b = 0. al cambiar los valores de los parámetros. b = 0. B ) a = 0.4. E. Gra ´ficas de Levantamientos y Gra ´ficas en el T oro A. C. A B C D E F Figura. F ) a = 0.4. 1.4.levantamientos. En el panel anterior vemos que el efecto que causa al variar el parámetro b es aumentar la amplitud y al variar el parámetro a es trasladar verticalmente la gráÞca de la función.

Cuando la gráÞca de A (x) toca a la identidad o bien cuando la gráÞca del levantamiento toca alguna de las rectas b = a + k.0.1. A(x) tiene puntos Þjos.4. A 80 .1.1 PUNTOS FIJOS. Si observamos las siguientes Þguras. toca en dos puntos a b = a + ". A B Figura. A) Gra ´f ica del Levantamiento. B ) Gra ´f ica en el T oro a = ". por ejemplo. en un punto a b = a y en otro punto a b = a ) " por lo cual A (x) tiene cuatro puntos Þjos.1 BIFURCACIÓN DE PUNTOS FIJOS. k " Z. 4.0 Vemos que la gráÞca en el toro plano toca a la identidad en cuatro puntos y la del levantamiento. 1. b = ".

C y del parametro b en las gra ´f icas D. b = 0.1.B C D E Figura.1.2.1.1 del capítulo 1. C ) a = 0.4 notamos que A (x) puede sufrir bifurcaciones silla-nodo cuando incrementamos el parámetro b ó el parámetro a en la recta b = a. B ) a = 0.1.2. D) b = 0. E. Para cualquier k " Z. sobre el conjunto b = |k ) a| del espacio de parámetros la función de Arnold sufre una Bifurcación silla-nodo.".3. A) a = 0. V ariacio ´n del par a ´metro a en las gra ´ficas B. 81 . que nos garantiza la bifurcación silla-nodo.3 E ) b = 0. Demostración Veamos en donde se cumplen las condiciones del Teorema 4. 1. Proposición 1.

entonces = " + 2% b cos 2% x 4 = " + 2% b " ) sen2 2% x q ¡ a ¢2 = " + 2% b " ) k ! b 4 = " + 2% b " ) " = ". = )4% 2 b sen 2% x ¡ a¢ = )4% 2 b k! b = )4% 2 b (±") = ±4% 2 b 6= 0 e(x) d2 A dx2 Por último veriÞquemos que. es decir. entonces sen2% x0 = k)a b a + b sen 2% x = k x + a + b sen 2% x = x + k e(x). = ± ". Por demostrar que existe x0 " [0. Como b = |k ) a| . sea x0 tal que sen 2%x0 = ±".e (x) = x + k. $a 82 . ") tal que A |k!a| b k!a b = ". x0 es punto Þjo de A Probemos que e(x) dA dx = " y que e(x) dA dx e(x) d2 A dx2 6= 0. e(x) $A k)a = sen 2% x0 = = ±" 6= 0 $b b e(x) $A = " 6= 0.

Observemos lo que ocurre al seguir aumentando los valores del parámetro b.0. D) b = 2.0. C ) b = ".2. B ) b = ". A B C D Figura. a = 0 y A) b = 0.5.1.5. 1. A B 83 .

".1. 2 e) Si k ) " . 2k!1 . k. < a . < a . Proposición 1. Como observamos al aumentar b se vuelve a dar la bifurcación tangente.3. D) b = ".C D Figura. 1.5 y A) b = 0. a . 2 d) Si k ) " . l ) " . La siguiente proposición permite producir un diagrama para localizar todas los puntos del plano de parámetros donde se producen este tipo de bifurcaciones de puntos Þjos. 2 l)" . 2k!1 2 b = a ) k + l A (x) tiene 4l ) " puntos Þjos. < a . a . Entonces: a) Si k ) " . 2 b) Si k ) " < a < 2k!1 2 b = )a + k + l ) " A (x) tiene 4l ) 3 puntos Þjos. k. b < )a + k + l ) " A (x) tiene 4 (l ) ") puntos Þjos. C ) b = ". 2k!1 2 2k!1 . k. 2k!1 .1. a = 0. si continuamos aumentado b ocurre una sucesión de bifurcaciones silla-nodo. Sean k. B ) b = 0. l ó ó )a + k + l ) " < b < a ) k + l A (x) tiene 2 (2l ) ") puntos Þjos. 2k!1 . 2 c) Si k ) " . 2k!1 . 2k!1 2 a ) k + l < b < )a + k + l ) " b = )a + k + l ) " )a + k + l ) " < b . ó 84 .5.2. a . k.0. l " N . a .b < a)k+l b =a)k+l ó ó < a .5.

4. L]. k.5. a ) k + l < b .1. 85 .2k!1 2 < a . Figura. Figura. N u ´mero de puntos f ijos en el espacio de para ´metros [k ) ". l A (x) tiene 4l puntos Þjos.1. 1. N u ´mero de puntos f ijos en el espacio de para ´metros de la f uncio ´n A(x). k ] × [L ) ". 1.

Figura.1.Observemos ahora el diagrama de bifurcaciones Þjando a y variando b Figura. Para k Þjo. Sean k.7. l " N.1.5 y b " [0. 4] .1. realizamos inducción sobre l. Diagrama de Bif urcaciones con a = 0. 1.0 y b " [0.2. Diagrama de Bif urcaciones con a = 0. 1. 4] . 86 .6. Demostración de la proposición 1.

n " N entonces Veamos donde hay puntos Þjos.8. N u ´mero de puntos f ijos en el espacio de para ´metros [k ) ". 87 ¯ ¯ ¯n ) a¯ ¯ ¯ ¯ b ¯. |b| y claramente no hay puntos Þjos en donde |n ) a| > |b| . |b| de lo anterior tenemos que existen puntos Þjos en las regiones tales que |n ) a| .Primero sea l = ". 1. ". k ] × [0. e(x) = x + n. es decir las x tales que A x + a + b sen 2% x = x + n a + b sen 2% x = n sen 2%x = pero sen 2% x ." . "] de la f uncio ´n A(x). la región sería Figura.1. entonces n)a b |n ) a| .

a)k+">b dado que las rectas que cruzan la región estudiada son b = k ) a y b = a ) k + ". pero además ocurre otra bifurcación tangente en particular A k ) a < b ó bien 2k!1 2 e (x) tiene 2 puntos Þjos. Acotando superiormente las regiones obtenemos los resultados. k y b = a)k+" 2k!1 2 e (x) tiene ahora 3 aumentado un punto Þjo más distinto de los anteriores. a . Así por hipótesis de inducción A 88 y l . < a . . b entonces )a + k + l ) " < b ó bien si 2k!1 2 <a. 2 entonces < a . es decir A puntos Þjos. 2k!1 .es decir si n = k . a . k entonces 0 . a . 2k!1 2 Analizando todas las regiones que nos generan estas rectas. la bifurcación siilla-nodo ocurre en las rectas. k 2k!1 2 e (x) tiene 4l y l . Si k ) " . en Supongamos que las aÞrmaciones de la proposición son ciertas para algún l. y b = k ) a ó bien e (x) tiene y k)a < b A < a . 0 . k. a . 2k!1 2 2k!1 2 y b= <a. Por otro lado si k ) " .k 2 puntos Þjos. a . b entonces a ) k + l < b. Demostremos para l + ". a ) k + " < b. b < a ) k + " y si 2k!1 2 2k!1 . entonces si k ) " < a < a ) k + " ó bien k)" . b < k ) a. pero además ya ocurrió otra bifurcación silla-nodo particular A e (x) tiene ahora 4 aumentado 2 puntos Þjos más distintos de los anteriores. por la proposición anterior.k y y a ) k + " < b ó bien 2k!1 2 e (x) tiene 1 punto Þjo y cuando b = k)a A 2k!1 2 <a. así tenemos que la región donde no hay puntos Þjos es si k ) " . es decir A puntos Þjos. si k ) " . 2 e(x) tiene 2 puntos Þjos. Por último. k)a>b y si n = k ) ".

e (x) tiene 4((l + ") ) ") puntos Þjos. puntos Þjos, es decir A a ) k + l + " ó bien
2k!1 2 2k!1 2

Analizando todas las regiones que nos generan estas rectas, por la proposición anterior,
2k!1 2

la bifurcación silla-nodo ocurre en las rectas, entonces si k ) " < a < <a,k
2k!1 2

y

b =

y

e (x) tiene 2(2(l + ") ) "). Þjos más, distintos de los que ya tenía, es decir A Por otro lado si k ) " , a ,
2k!1 2

e (x) tiene 4(l + ") ) 3 y cuando k ) " , a , distinto de los que ya tenía, es decir A y a ) k + l + " < b ó bien <a,k y b = k ) a + l ó bien
2k!1 2

e (x) tiene 1 punto Þjo más, b = k)a+l A

e (x) tiene 2 puntos y k)a+l < b A < a , k y

e (x) tiene 2(2(l + ") ) ") puntos Þjos, pero además ocurre b = a ) k + l + " en particular A otra bifurcación silla-nodo aumentado un punto Þjo más distinto de los anteriores, es e (x) tiene ahora 4(l + ") ) " puntos Þjos. decir A Por último, si k )" , a ,
2k!1 , 2

e (x) tiene 2(2(l + ") ) ") puntos Þjos, pero además ya ocurrió otra bifurcación particular A e (x) tiene silla-nodo, aumentado 2 puntos Þjos más distintos de los anteriores, es decir A ahora 4(l + ") puntos Þjos. Las cotas superiores para las regiones donde coexisten n puntos Þjos estan dadas por las cotas inferiores donde coexisten n + 2 puntos Þjos.

k )a+l < b ó bien

2k!1 2

< a , k,

a)k +l+" < b, en

4.1.2

ESTABILIDAD DE PUNTOS FIJOS.

La proposición anterior nos determina el número de puntos Þjos en un espacio de parámetros, pero no el tipo de estabilidad, esta la determina el siguente resultado.

Proposición 1.2.1. Si a, b satisfacen a ) k , b, k ) a , b y b2 ) (a ) k )2 , para algún k " N, la función A (x) tiene un punto Þjo estable. 89 " %2

Figura. 1.2.1 Regiones de puntos f ijos estables.

Como ejemplo tomemos un punto en la región de estabilidad (marcado con una cruz) y observemos la dinámica del correspondiente sistema dinámico.

Fig. 1.2.2. a = 0, b = 0.25, existencia de un punto f ijo estable. Demostración de la proposición 1.2.1.

90

e (x) tiene un punto Þjo si Tenemos que A

es decir,

e(x) = x + k, k " N A

x + a + b sen 2 % x = x + k, es decir que, sen 2% x = esta condición se cumple si k)a , b

Por otro lado tenemos que el punto Þjo es estable si ¯ ¯ ¯ e0 ¯ ¯A (x)¯ < " |" + 2%b cos 2% x| < " como, p cos 2% x = ± " ) sen2 (2% x), ¯ ¯ s ¯ µ ¶2 ¯ ¯ ¯ ¯" ± 2% b " ) k ) a ¯ < ", ¯ ¯ b ¯ ¯ 0 < b2 ) (a ) k )2 < " . %2

¯ ¯ ¯k ) a¯ ¯ ¯ ¯ b ¯ , ".

es decir,

de esta forma, se obtiene

91

A(x) tiende a la rotación y puede considerarse. para b pequeño. p q Cuando b = 0 y a = " Q la función A(x) se reduce a una rotación.1. 2. Por ejemplo. los puntos de período dos serán los puntos Þjos de A2 (x) que no son Þjos de A (x) . Hasta el momento nos hemos concentrado en puntos Þjos.2 PUNTOS PERIÓDICOS EN LA REGIÓN DE HOMEOMORFISMOS. Cuando b tiende a cero. 92 . 2 Todas sus órbitas son periódicas de período dos.4. veamos que sucede con los puntos periódicos de período mayor que uno. Rotacion con b = 0. " Figura. Para encontrar puntos periódicos de período q tendríamos que encontrar las órbitas de período q de A(x) o bien los puntos Þjos de Aq (x). como una perturbación no lineal de la familia de rotaciones. a = .

" < " " .3. 0 < b < Demostración.2. a= 1 . b = 0. 2. 2# A (x) es un difeomorÞsmo. "00 1 . 1 . a = 0. a = "6 . 2. A) b = 0. b = 0. 2 Observamos que cuando incrementamos b únicamente se preserva una órbita periódica atractora.3 > .03. P erurbacio ´n no ) lineal de la rotacio ´n. 2. Si a ( 0.4. 2# Cuando aproximamos a a un número irracional. 93 . Figura. B ) b = 0.1. en este caso a una órbita de período grande (q = "00). 2% 2% Observación 2. Cuando b > 1 2# el sistema tiene la función A(x) pierde la inyectividad. A B Figura.Figura.

por el Teorema de Rolle existiría x# tal que A0 (x# ) = 0. por lo tanto A es un difeomorÞsmo Teorema 2. q2 ). su número de rotación sería p1 p2 = ((A) = q2 q1 lo cual contradice que el número de rotación es único. Supongamos que A tiene órbitas de característica (p1 . además A es inyectiva globalmente. por el Teorema 2. Demostración.Como b < 1 . 2% b cos 2% x 6= )" A0 (x) = " + 2% b cos 2% x 6= 0 así por el Teorema de la función Inversa1 A es un difeomorÞsmo local.13 del capítulo 3. q1 ) y (p2 . pues si no lo fuera.2 Si A es un homeomorÞsmo entonces todas sus órbitas periódicas tienen la misma característica. 2# entonces " < 1 . lo cual contradice que A0 (x) = 0 para todo x en dicha región. Este Teorema no es válido cuando no es homeomorÞsmo ya que pueden coexistir 1 Ver Apéndice 94 . 2# b y cos 2%x 6= " 2% b ya que cos 2% x ( )".

5. Coexistencia de atractores con a = 0. Por el Teorema 2. ´ B ) Orbita de per´ õodo cinco. 2. 2."0 del capítulo 2 en cada lengua. A(x) tiene órbitas de característica (p.1. que denotamos L p es el conjunto de puntos (a. es igual a (p. Lenguas de Arnold. A B Figura. b).6. q) y por el Teorema 2. Definición 2. b) en q q el espacio de parámetros tales que el número de rotación de A (x) . ½ ¾ p q = Lp (a. b = 0. ´ A) Orbita de per´ õodo cuatro.atractores de distintos períodos. q) = " p < q.285.2.2". ((A(x)) = q p q con Figura. del mismo capítulo las lenguas no se intersectan 95 .3 La Lengua p .

2.a = 0. b = 0. f ijo semiatractor."5."5.7 . F rontera L 0 . b) que pertenecen a distintas L p .Ejemplos de la dinámica de A(x) en el toro y en la circunferencia con parámetros (a. 1 Observemos el comportamiento del sistema dinámico determinado por A(x) cuando escogemos los parámetros a y b en diferentes lenguas. En la lengua L 1 tenemos lo siguiente: 2 A B 96 . q A B Figura.

5. D) P untos atractores y repulsores en S En la lengua L 1 tenemos también una órbita atractora y otra repulsora. pero ahora 3 de período tres. 2. B ) P untos de per´ õodo dos atractores en S . P ara ´metros a = 0. b = 0.8. C ) P untos fijos de A2 (x). 2 ´ A) Orbita atractora en el T oro."5 en L 1 .C D Figura. A B 97 .

3 ´ A) Orbita atractora en el T oro. 2. A B 98 . B ) P untos de per´ õodo tres atractores en S .C D Figura.9. C ) P untos fijos de A3 (x). P ara ´metros a = 0. D) P untos atractores y repulsores en S Si ahora tomamos parámetros en la lengua L 1 observamos que solo existen dos órbitas 4 periódicas una atractora y otra repulsora. b = 0.35."5 en L 1 .

C ) P untos f ijos de A4 (x). El siguiente resultado nos conÞrma la generalidad de este hecho. que nos corrobora que en la región de homeomorÞsmos no puede haber más de dos puntos Þjos."5 en L 1 . sin embargo en los ejemplos observamos que coexisten a lo más dos órbitas una repulsora y otra atractora.C D Figura. Corolario 2. P ara ´metros a = 0. Teorema de Jacobson 2. Un difeomorÞsmo de la circunferencia f (x) = x + -(x) para el cual la función angular .1.10.es un polinomio trigonométrico de grado s > 0 tiene a lo más 2s órbitas periódicas. A (x) tiene a lo más 2 órbitas periódicas. D) P untos atractores y repulsores en S Un HomeomorÞsmo puede tener múltiples atractores.5. b = 0. b) en la zona de difeomorÞsmos. Este resultado es consistente con la Þgura 1. Para todo (a. 4 ´ A) Orbita atractora en el T oro.28. B ) P untos de per´ õodo cuatro atractores en S . 2. 99 .4.5.

Ejemplo: Figura. Fijemos b y variemos a. la dinámica en el circulo y las lenguas de Arnold. 100 . iii) Si (b (a0 ) " R ) Q entonces (b es estrictamente creciente en a0 . e) entonTeorema 2. Es interesante también analizar como varia el número de rotación al Þjar un parámetro y variar el otro.Es importante saber que tipo de estabilidad tiene las órbitas.6. sus levantamientos. Gra ´f ica del nu ´mero de rotacio ´n variando a " [0. es decir un conjunto perfecto y totalmente ces discontinuo."59 A estas gráÞcas se les llama escaleras del diablo. (! b ( q ) es un intervalo de interior no vacío. 1 v ) K = R ) Int((! b (Q) es un Cantor . En los ejemplos anteriores vemos que existen a lo más dos órbitas periódicas y su estabilidad es complementaria.[Herman]. 2. Hasta el momento hemos visto variando a y b. 1 p iv) Si b > 0. deÞnamos (b (a) = ((A i) (b (a + ") = (b (a) + ". gráÞcas de funciones en el toro. Sea A un homeomorÞsmo. monótona no decreciente y (b (R) = R. 3] y fijando b = 0.11. ii) (b : R ! R es continua.

2. En las siguientes Þguras vemos como cambia la medida de esta sección cuando b tiende a cero. con " " R ) Q unión las fronteras de las L p .Es importante notar que los cantors K son 3(!1 (").7. q 1 p Del resultado anterior sabemos que (! b ( q ) es un intervalo de interior no vacío.1. Por ejemplo en la Þgura 1. 1 Tenemos una cota para la anchura de las lenguas a una altura b. A B 101 . podemos veriÞcar que este teorema se cumple pues L 1 tiene una anchura igual a Cb con C = 2.6. una estimación para el ancho de ellas a una altura b esta dada por el siguiente resultado. ahora podríamos preguntarnos por la medida de los puntos en una sección transversal que no están en las lenguas. y 2. El ancho de la lengua L p a la altura b q no excede a Cbq . Sea A(x) un homeomorÞsmo. donde C es una constante positiva. Teorema 2. es decir los cortes transversales de lenguas tienen interior no vacío.1.

b " [0.06."59. "] . b) : a " [0. 2.C D E F Figura.8. A) b = 0. C ) b = 0. B Teorema 2. D) b = 0. tal que A(x) es analíticamente conjugada a una rotación irracional } entonces B $0 l´ õm m(EB ) = ". 102 . esto ha sido expresado y demostrado en alguna L p q por Arnold y Herman en los siguientes resultados Teorema 2.9. variando el para ´metro b con a " [0. Gra ´f icas de (b (a). E ) b = 0.". B ) b = 0.03. (Arnold [1]) Sea EB = {(a.12."3. "]. B ]. F ) b = 0 Lo que observamos en el panel anterior es que la medida de los puntos que no están tiende a uno cuando b tiende a cero.

Sea Þja . Sea {A e) = m{a " [0. Teorema 2. M (b. v " [0. Dados u. entonces de la circunferencia y r ( 2 + 2. 103 . b) : a " [0. 21 ]. "] y b Þjo sea n o eb es C r!2 ) conjugada a una traslación irracional . la medida de lebesgue del conjunto considerado tiende a 1. "]. tal que A(x) es analíticamente conjugada a # una rotación irracional } entonces l´ õm 1 m(E B ) = 0. 2 en }n&N una sucesión de levantamientos de Cr )dif eomorf ismos Teorema 2. Herman generaliza el Teorema para conjugaciones no analíticas. > 0 pequeña (. b " [B.12. . "] : A e es C r!1!) 0 ) conjugada a una traslación ergódica} ! " M (A en ! Id en la C 2n+2) )topología. .Sea E B = {(a. "0!100 ) y . 0 > .. 1 )B 2# B $ 2# El siguiente resultado por Herman es también muy interesante Definición 2. u. v ) = m a " [u. Entonces si A es decir. 0 = 3 . . Para cualesquiera u. se tiene que M (b. v ] : A es decir la medida de Lebesgue del conjunto considerado. v ) > 0. "] tales que (b (u) 6= (b (v ). u.11. . v " [0.10.

3.1. Rq:p es la cerradura del conjunto de puntos (a. Al conjunto Rq:p se le llama Lengua Generalizada ( o Zona de Resonancia) q : p.1 Lengua generalizada 2 : ".3.1. Definición 3. 104 .1.3 BIESTABILIDAD 4. b) tales que A tiene una órbita periódica atractora de característica (p.4.1 BIESTABILIDAD DE PUNTOS FIJOS La Lengua de Arnold está deÞnida en términos del número de rotación y pierde sentido cuando b > 1 . R2:1 El siguiente resultado es útil para encontrar órbitas periódicas. q ) . Figura. 2# A continuación veremos una forma natural de entender el concepto de lengua fuera de la zona de homeomorÞsmos.

n " N tales que Am (t) ) [Am (t)] = An (t) ) [An (t)] m ) n = q.1." Z + tales que Am (x) ) [Am (x)] = An (x) ) [An (x)] m)n = q [Am (x)] ) [An (x)] = p.2. entonces de la condición de lengua generalizada Aq (t) ) [Aq (t)] = t ) [t] = t + p ) [f q (t)] . A tiene una órbita periódica de característica (p. como m = q + n. entonces. 105 . n = 0.Teorema 3. q ) si y sólo si existen x. n. Demostración. Hagamos m = q. se tiene Am (t) = An+q (t) = An (Aq (t)) = An (t) ) [An (t)] + [Am (t)] . si existe x y m. Aq (t) = t + p. Por otra parte. de aquí que [Aq (t)] ) [t] = p. m. [Am (t)] ) [An (t)] = p. si deÞnimos ) [An(t)] + [Am (t)] = p y = [An (t)] .

1. q ). es decir la función tiene una órbita atractora de característica (p.entonces Aq (t) = t + p. b. 2 = &k&* B 0 % determina los valores de parámetros para los cuales la función A tiene dos puntos Þjos estables coexistiendo.1. b) : a ) k . b ) (a ) k ) . Proposición 3. En la región donde A no es inyectiva puede darse la coexistencia de atractores.2 Re gio ´n de biestbilidad de puntos f ijos atractores Como ilustración tomemos un par de parámetros en alguna de estas regiones donde 106 .3. El conjunto ½ ¾ " 2 2 B = &k&* (a. b. )a + k . 3. Figura.

coexisten dos Þjos atractores y observemos la gráÞca del endomorÞsmo correspondiente. 107 .1. Figura.3 a = 0. a saber las soluciones en x de la ecuación: x= Si k!a b 1 2# arcsen > 0 las soluciones son: x1 = x2 = ¡ k!a ¢ b 1 arcsen 2# 1 2 ) x1 ¡ k!a ¢ b Si k!a b < 0 las soluciones son: x1 = 1 2 + 1 arcsen 2# 1 arcsen 2# x2 = " ) Si k!a b = 0 las soluciones son: x1 = 0 x2 = 1 2 ¡ k!a ¢ b ¡ k!a ¢ b Si k = k1 = k2 para cada una de estas k se obtienen dos soluciones estables. coexistencia de f ijos atractores. 3. Demostración de la proposición.52. b) " B 0 .5. Sabemos que para cada (a. existe un punto Þjo estable. b = 0.

3. Otro fenómeno interesante que puede observarse en esta familia es la coexistencia de órbitas periódicas de distintos períodos como por ejemplo: A B C D E F 108 .4.2 COEXISTENCIA DE ÓRBITAS DE DISTINTOS PERÍODOS .

2.2.39.47. es decir pueden coexistir atractores p3 q3 periódicos de distintas características.Sean 6= p2 q2 6= entonces Rq1 :p1 & Rq2 :p2 & Rq3 :p3 = '. Orbitas de per´ õodo cuatro.Para todo p1 q1 p1 p2 .2.5. b = 0... ´ E ) a = 0. Orbitas de per´ õodo dos. Rq2 :p2 . En la siguiente Figura se puede observar otras regiones de biestabildad en el espacio de parámetros. Orbitas de per´ õodo uno y dos. 3. Orbitas de per´ õodo tres. es decir más de dos lenguas generalizadas no se intersectan d). b). ´ A) a = 0.26. ´ D) a = 0..5. b = 0. b = 0. b = 0.43.Figura. a). ´ F ) a = 0.1. b = 0. Orbitas de per´ õodo dos y cuatro.5.La frontera de las cuencas de atracción de los atractores periódicos es un Con109 . Coexistencia de o ´rbitas atractoras. Figura.30. 3.Lenguas generalizadas Los experimentos computacionales y el análisis que hemos hecho. ´ B ) a = 0.365. Orbitas de per´ õodo dos y tres.6. ´ C ) a = 0. q1 q2 se tiene que Rq1 :p1 &Rq2 :p2 6= '.432". nos hacen pensar que: Dadas dos Lenguas de Arnold Generalizadas Rq1 :p1 .62. b = 0.

2 A2 (x) f ijando a = 0 y variando b : A) b = 0. En las Þguras siguientes vemos gráÞcas de funciones en la primera y segunda iterada. 4. C ) b = 0. En la Þgura 4.3. ya que anteriormente teniamos que no puede haber 110 . B ) b = 0.2 observamos que el punto Þjo atractor se vuelve repulsor.4.35.junto de Cantor.4 BIFURCACIONES DE DOBLAMIENTO DE PERÍODO Fuera de la región de homeomorÞsmos puede ocurrir otro tipo de bifurcación. A B C A B C Figura. en la región de estabilidad dad por la proposición. 4. en el límite de esta y fuera de esta. pero aparece una óbita periódica de períodos.

sobre el conjunto b2 ) (k ) a)2 = " %2 del espacio de parámetros la función de Arnold sufre una Bifurcación de Doblamiento de Período.2 del capítulo 1 que nos garantiza la bifurcación doblamiento de período. Veamos en donde se cumplen las condiciones del Teorema 4. e (x0 ) = x0 + k Por demostrar que existe x0 " [0. . Demostración. ") tal que A e (x0 ) = x0 + a + bsen2% x0 = x0 + k A sen2% x0 = 2 k)a b (k ) a)2 sen 2% x0 = b2 Otra condición es que e(x0 ) dA dx = )".solamente puntos repulsores. Proposición 4.1. Para cualquier k " Z. por lo cual debe de aparecer algún punto de período mayor que sea atractor. Lo que acabamos de observar es conocido en A(x) como una bifurcación de doblamiento de período y en A2 (x) una bifurcación de tenedor. entonces = " + 2% bcos2% x0 4 = " + 2% b " ) sen2 2% x0 q ¡ a ¢2 = " + 2% b " ) k ! b b2 ) (k ) a)2 = 111 1 #2 e(x0 ) dA dx como.

³ e2 (x0 ) = x0 + 2a + b sen 2% x0 + b sen 2% (x0 + a + b sen 2% x0 ) A ´0 2 e A (x0 ) = " + 2% b cos 2% x0 + (" + 2% b cos 2% x0 ) 2% b cos 2% (x0 + a + b sen 2% x0 ) e2 (x0 ))0 " (A "b = 2% cos 2% x0 + (2% + 8% 2 b cos 2% x0 ) cos 2% (x0 + a + b sen 2% x0 ) ) (" + 2% b cos 2% x0 ) 2% b sen 2% (x0 + a + b sen 2% x0 ) sen 2% x0 ¡ ¡ a ¢¢ = 2% cos 2% x0 + (2% + 8% 2 b cos 2% x0 ) cos 2% x0 + a + b k! + b ¡ ¡ k!a ¢¢ 2% b sen 2% x0 + a + b b sen 2%x0 = 4% cos 2% x0 + 8% 2 b cos 2 2% x0 + 2% b sen2 2% x0 ¡1¢ ¡ 1 ¢2 ¡ ¢ 2 2 = 4% # b + 2 % b ) + 8 % b #b #b = 12# +2# 2 b2 !2 #b 6= 0 e2 (x0 ))0 " (A "a Existen otras regiones donde se producen este tipo de bifurcaciones pero no son ac- = ) (" + 2%b cos 2% x0 ) 4% 2 b sen 2% (x0 + a + b sen 2% x0 ) ¡ ¡ a ¢¢ = )4% 2 b ()") sen 2% x0 + a + b k! b q 1 2 2 = 4% b sen 2% x0 = 4% b " ) #2 b2 6= 0 112 .(k ) a)2 " =") 2 2 2 b % b entonces. e(x0 ) dA = )" dx 6= 0 y Por último veriÞquemos que e2 (x0 ))0 " (A "b e2 (x0 ))0 " (A "a 6= 0.

4. Lenguas de Arnold en el espacio de para ´metros [0.3. 4.4 Diagrama de bif urcaciones a = 0. Figura.cesibles analíticamente. b " (0. 0.3. "] × [0.6) Observamos en el diagrama de bifurcaciones que si incrementamos b se da una cascada 113 . Figura. "] .

b = 0. por ejemplo cuando se inestabiliza la de período dos aparece una de período cuatro. 114 . ´ Figura.de bifurcaciones de boblamiento de período. Orbita de per´ õodo 4. 4.5.55. a = 0.

A. 115 . Se exponen resultados teóricos así como resultados computacionales y gráÞcas obtenidos usando el sistema de software CIRCULO desarrollado por Carrillo. Se introdujo el concepto de envolvencia de una órbita periódica en un semisistema dinámco en la circunferencia. noción que. también llamada Familia de Arnold.DISCUSIÓN Y COMENTARIOS FINALES.N. Como ejemplo se han analizado varios aspectos interesantes de la dinámica de la familia Clásica.M. En este trabajo se ha hecho una recopilación de resultados sobre la dinámica de funciones de la circunferencia que aparecen dispersos en la literatura. García y Nava en el Laboratorio de Dinámica no-lineal de la Facultad de Ciencias de la U. hasta donde nosotros sabemos no aparece en la literatura del tema y resulta fundamental para describir la dinámica de estos sistemas así como para poder dar una deÞnición apropiada del concepto de lengua generalizada de Arnold en el espacio de parámetros.

. R = {'} 3 {E + R/E es unión de intervalos abiertos} . Y un conjunto y g : X ! Y una funcion suprayectiva. Sean (X. 2 3&&A A&. 2 A1 & A2 & . ) un espacio topológico. . es llamado Espacio Cociente y a . conjuntos abiertos en X.. 116 . g es la topología fuerte inducida por (X. X " . ' " . . g ) donde . Una topología en un conjunto X es una familia . 3. ) y g. & An " . Sean X y Y espacios topológicos y g : X ! Y funcion suprayectiva y continua. La pareja (Y. R2 = {'} 3 {E + R/E es unión de bolas abiertas} Definición.. ) le llamamos espacio topológico y a los elementos que pertenecen a .. .. Definición a).Si . 2. Si {A& }&&A " . de subconjuntos de X que satisfacen: 1. ) y g .. Ejemplos: Topologia usual : . b). } Teorema 1. g la llamaremos la topología cociente en Y inducida por (X. . Para algunos detalles en el transcurso del trabajo nos será útil recordar algunos aspectos de espacio de funciones y de topólogia. g = {A + X : g !1 (A) " .1. a la pareja (X. . " . Recopilaremos algunas deÞniciones y resultados (sin demostraciones). Si g es abierta o cerrada entonces la topología de Y coincide con la topología cociente. . . Es decir . An " . es una topología en X . ESPACIOS TOPOLÓGICOS. Si A1 .

")}. y ) = (cos2% x. "] × [0. "]/˜. T 1 es homeomorfo a S. donde El espacio cociente (S × S. Proposición. y ) 5 (x0 . Definición. Con las topologias usuales de estos espacios. 117 . sen2% x). Tf ) donde f : [0. y 0 ) si y sólo si x ) y. Definición.Teorema 2 Si Y posee la topologia cociente inducida por una funcion continua y suprayectiva g : X ! Y Entonces existe un homeomorÞsmo h de Y en el espacio de partición D = {g !1 (y ) : y " Y } Definición. sen2% y )). El Toro de dimensión 1 es el espacio cociente T 1 = [0. (cos2% y. Sean ([0. "] ! S g (x) = (cos2% x. "] × [0. "]/˜ . "] ! S × S es la función dada por f (x. Demostración. x0 ) y 0 " Z. (S. Como espacio topologico S es equivalente en el plano complejo (C ) a S = {e(2#ix) /x " [0. TR ). sen2% x) es supreyectiva continua y cerrada. La función g : [0. TR2 ) es un espacio cociente. "]. TR2 ) espacios topológicos. El toro de dimensión 2 es el espacio cociente T 2 = [0. la siguiente función es un homeomorÞsmo g : T1 ! S g ([x]) = e2#ix (x. donde la relación de equivalencia es x 5 y si y solo si x ) y " Z. Entonces por el Teorema 1 (S.

si existe todas las derivadas C r (X. f es una función de clase C r . la función g : T2 ! S × S es un homeomorÞsmo de estos espacios. El conjunto C 0 (X. Definición. revisaremos algo de cálculo. [x. Y ) es la colección de todas las funciones continuas de X a Y. Y ) se deÞne con la ' ) bola alrededor de f. Sean X. como sigue: B0 % (f ) = {g : X ! Y continuas : $x " X kf (x) ) g (x)k < '} El conjunto de las ' ) bolas (' > 0) alrededor de las funciones f : X ! Y Convergencia Uniforme en X . r D(k) g " B0 % (D f ) Las C r ) ' ) bolas (' > 0) alrededor de funciones de clase C r forman una base para la topología en C r (X.y] es un representante de cada clase de equivalencia de T 2 . Topológicamente C 0 (X. r y $ x " X forman Demostración. Y ).La topología producto en T<2 coindide con la topología en T<2 . llamada la C r ) topo ´ log ´ õa. se tiene que si una base para norma uniforme o la C 0 -topología . Y espacios topólogicos. Con las topologías usuales de los espacios T 2 y S × S. T 2 es homeomorfo a S × S . Y ) son ° (k) ° © ª r °D f (x) ) D(k) g (x)° < ' Br % (f ) = g " C (X. ESPACIO DE FUNCIONES Definición. Y ) es la colección de todas las funciones de clase C r de X a Y Topólogicamente las C r ) ' ) bolas alrededor de f " C r (X. 2. Esta es justamente la Topólogia de la (k ) esta deÞnición es equivalente a que para toda k . Proposición. La función f (x) es un homeomorfismo si f es una 118 . Definición. Y ) : $ k . Para deÞnir las topologias de orden más grande. Sea f : X ! Y.

entonces existen intervalos abiertos I alrededor de x0 y J alrededor de y0 . Teorema (de la Función Inversa) Sean f :R ! R una función de clase C % y x " R tal que f 0 (x) 6= 0. (Valor Medio) Si f : [a. b] ! R es de clase C 1 . si f (x). " f (x0 . Definición. Teorema. entonces para toda z entre u y v existe c " (a. La función f (x) es un Cr )difeomorfismo. Sea f : X ! Y. entonces existe un punto c " (a.función biyectiva . Y ) es la colección de todos los difeomorÞsmos de clase C r de X a Y Teorema. para toda x " I. Teorema. f (x0 . continua y f !1 (x) tambien es continua. b) tal que f (c) = z. Dif f r (X. y0 ) = 0 2. b] ! R de clase C 0 .y0 ) "y 6= 0. f !1 (x) son Cr )homeomorÞsmos. Si f (a) = u y f (b) = v. b) tal que f (b) ) f (a) = f 0 (c)(b ) a). Entonces existe U vecindad de x. V vecindad de f (x) y una función g : V ! U de clase C 1 tales que f # g = IdV g # f = IdU . p(x)) = 0. (Valor Intermedio) Sea f : [a. 119 . y una función p : I ! J de clase C 1 tal que p(x0 ) = y0 y f (x. (de la Función Implicita) Si f es una función de clase C 1 y 1.

S. [7] R.. Palis J. C.S. Berlin 1977. R: Herman.. R: Herman. 49 (1979). [2] D. [5] Ito R. 57 5-71. [4] M. Camb Philos. Soc 89. pag.osewd. 1990.Bibliografía [1] Arnold . I.E. 1-233. 271-293. Sur la conjugaison di!érentiable des di!éomorphismes du cercle à des rotations.H. pag. M. Springer Lecture Notes in Math. Dinámica generada por homeomorÞsmos del circulo. Devaney.L. [3] Block L. Coppel W. V. 107-111 (1981) [6] Newhouse S. 120 . Addison-Wesley. 1986. U.H. USA.E.S. Place. An introduction to Dynamical Systems. Publ. [8] A.K. . Math. Rotation sets are cl. Soc.. Bifurcations and stability of families of di!eomorphisms.I. Mesure de Lebesgue et nombre de rotation.. Math. 2a Ser 46. Dinamics in One dimentions. Springer Verlang. 1988 UNAM. 213 (1965). Cambridge University Press. A. I.K. and Takens F. Am. On the mappings on tha circunference onto itself. no 597. publ.. Math Proc. Tesis profesional. Arrowsmith. An Introduction to Chaotic Dynamical Systems. Small denominators I.M. Guzman.

Guzman.[9] J. an Introduction.I. Facultad de Ciencias. Melo (1982) Geometric Theory of Dinamical Systems. Di!erentiable Dynamics. Berlin New York. The M.R.. W. Press. Tesis de Maestría. Introduction to the Orbits Structure of Di!eomorphism. 1971. Springer. 121 . [10] Zbigniew Nitecki.T. 1994 UNAM. Sistemas Dinámicos en la Circunferencia: Aplicaciones a Teoría de Números y Modelación de Neuronas. [11] Palis J.