Enfoque Geom

etrico del Teorema de Sharkovskii

1 de marzo de 2017

En el siguiente documento mostraremos una estrecha relacion entre sistemas dinamicos

discretos y el teorema de Sharkovskii aplicando la geometra de las funciones primitivas,
y donde se permite observar los comportamientos periodicos y establecer orbitas entre
perodos.

1. Preliminares
1.1. (Sitemas din
amicos,
algebra y combinatoria)
Definici
on: (Orbita) La orbita de x es el conjunto de puntos x, f (x), f 2 (x), ..., y se
+
denota O (x). De manera an aloga se tiene para O (x) se define por el conjunto de puntos
2
x, g(x), g (x), ..., donde g es la funcion inversa de f . Si f es un homeomorfismo, defi-
nimos la orbita de x como el conjunto de puntos f n (x) para n Z y lo denotamos por O(x).

Ejemplo 1: Sea f (x) = x + 1, entonces la orbita de f en cero es O+ (0) = { 0, 1, 2, 3,

..., } y la orbita de g (inversa de f , g(x) = x1) en cero es O (0) = { 0, 1, 2, 3, ..., }.

Ejemplo 2: Sea f (x) = x, es claro que g(x) = x, sea a 6= 0 entonces O+ (a) = { a,

orbita de g es la misma de f , es decir: O (a) = { a, a }
a, }, la

Definici
on: (Punto fijo y peri odo) Un punto x se dice fijo para f si (f )x = x y
x es periodico de perodo n, si f n (x) = x para algun x Z. El menor entero positivo n
que cumpla la igualdad se denomina perodo primo de x. El conjunto de puntos periodicos
de perodo n se denomina P ern (f ) y el conjunto de todas las iteraciones de un punto
perodico forman una orbita perodica.

Ejemplo 3: Para la funci on f (x) = x3 , 1, 0 y 1 son puntos fijos. De manera similar

on g(x) = x2 1 tiene puntos fijos en 1 y 1. De la funcion anterior tenemos
para la funci
que 0 y 1 forman una orbita periodica de perodo 2. O+ (0) = { 0, 1, 0, 1, ..., } por
lo tanto P er2 (f ) = { 0 1 }

Definici
on: (Permutaciones) Sea A un conjunto fnito con n elementos y sea :
A A una funcion biyectiva entonces definimos Sn = { : A A : es biyectiva } el
conjunto de todas las biyecciones de un conjunto en si msmo.

Definici
on: (Partici
on) La particion de un intervalo se define como el siguiente con-
junto:

Pn = {xi , xi+1 R : xi < xi+1 , i = 1, ..., n 1}

Definici on: (Conjunto de Permutaciones) El conjunto de permutaciones asociado

a una funcion f , denotado por P erm(f ) esta definido de la siguiente manera: Una per-
mutacion P erm(f ) si y s
olo si existe una particion Pn tal que f (xi ) = x(i) , donde
xi , x(i) Pn . Es decir:

1
 P erm(f ) = { : f (xi ) = x(i) , xi , x(i) Pn

Ejemplo 4: Sea A = {a,b,c} las posibles biyecciones que se reflejan de A, ya que A tiene
3 elementos entonces 3! ser umero de permutaciones S3 = {6}.
a su n
Sean f0 , f1 , f2 , f3 , f4 , f5 esas posibles biyecciones de S3 entonces obtenemos lo siguiente:

f0 (a) = a, f0 (b) = b, f0 (c) = c

f1 (a) = b, f1 (b) = c, f1 (c) = a
f2 (a) = c, f2 (b) = a, f2 (c) = b
f3 (a) = c, f3 (b) = b, f3 (c) = a
f4 (a) = a, f4 (b) = c, f4 (c) = b
f5 (a) = c, f5 (b) = a, f5 (c) = b

Tomemos las biyecciones f2 y f3 , y veamos que sucede con la ley de composicion entre
ellas:

(f2 f3 )(a)=f (f3 (a)) = f2 (c) = b (f2 f3 )(b)=f (f3 (b)) = f2 (b) = a
(f2 f3 )(c)=f (f3 (c)) = f2 (a) = c

Ahora sea : A {1, 2, 3} tal que: (a) = 1, (b) = 2, (c) = 3, para a, b y c A.

on k P erm(f ) para este ejercicio como:
Definimos la permutaci
 
1 2 3
k =
k (1) k (2) k (3)

Tal que k (xi ) := fk (xi ), mediante esta etiqueta de k podemos obtener n! permuta-
ciones que en este ejemplo son 6. Veamos una de las permutaiones:

3 (1) := f3 (a) = (f3 (a)) = (c) = 3 3 (2) := f3 (b) = (f3 (b)) = (b) = 2
3 (3) := f3 (c) = (f3 (c)) = (a) = 1

2 (1) := f2 (a) = (f2 (a)) = (c) = 3 2 (2) := f2 (b) = (f2 (b)) = (a) = 1
2 (3) := f2 (c) = (f2 (c)) = (b) = 2

Asi nos queda las siguientes permutacion:

 
1 2 3
3 =
3 2 1
 
1 2 3
2 =
3 1 2

Siguiendo con la composicion f2 f3 podemos obtener a traves de estas, una nueva per-
mutacion como se ve en lo siguiente:

(2 3 )(1) := ( f2 f3 )(a) = ( f2 (f3 (a))) = f2 (c) = (b) = 2

(2 3 )(2) := ( f2 f3 )(b) = ( f2 (f3 (b))) = f2 (b) = (a) = 1
(2 3 )(3) := ( f2 f3 )(c) = ( f2 (f3 (c))) = f2 (a) = (c) = 3

Lo que nos queda lo siguiente:

 
1 2 3
2 3 =
2 3 1
Por lo tanto tenemos el siguiente resultado para permutaciones:

k j = fk fj para todo i y j.

2
2. Din
amica Combinatoria
Un apartado importante de los sitemas dinamicos es aquel que corresponde al estudio
del comportamiento del caos. Con los preliminares podemos establecer la posibilidad de
acercanos a dicho comportamiento a traves de orbitas periodicas y ver como el Teorema
de Sharkovskii relaciona la existencia de estas orbitas periodicas y como estas pueden ser
estudiadas a traves de los grafos de Markov y funciones primitivas.

2.1. Teorema de Sharkovskii

En Marzo de 1962 Sharkovskii publico el artculo Coexistence of cycles of a continuous
map of the line into itself, donde define una relacion de orden para los numeros enteros
positivos mediante el smbolo () en la que 1 2 si la existencia de un ciclo de orden
1 implica la existencia de uno de orden 2 .

Teorema: (Orden de Sharkovskii) La relacion definida previamente () transforma

el conjunto de los enteros positivos en un conjunto ordenado como se muestra acontinua-
cion:
3 5 7 9 11 . . . 3 2 5 2 . . . 23 22 2 1
Esto quiere decir que al encontrar un ciclo de orden n en una funcion, existen en ellas
ciclos de orden m, con n m.

Los grafos de Markov son utilizados para estudiar la estructura de las ortbitas pe-
riodias. Estos describen la
orbita periodica a traves de las relaciones existentes entre las
particiones que la definen y sus imagenes.

Definici on: (Grafo de Markov) Sean xi , xi+1 R, i = 1, 2, ..., n 1 tales que

xi < xi+1 , y P erm(f ). El grafo de Markov de f y tiene n 1 vertices J1 , J2 , ..., Jn1 ,
entonces existira una flecha de Jk a Jl si y solo si Jl f (Jk ).

El teorema de Sharkovskii establece la existencia de orbitas periodicas y garatiza la

existencia de nuevos perodos a partir de otros conocidos pero no es facil encontrar funcio-
nes continuas de R en R con dichos comportamientos. Las funciones primitivas permiten
encontrar ejemplos de funciones con comportamientos periodicos a partir de na orbita
establecida. La construccion de una funcion primitiva esta inspirada en las funciones que
Sharkovskii utiliz
o para la demostracion de su teorema.

Definici on: (Funci on primitiva) Dada una permutacion Sn , la funcion pri-

mitiva fe asociada a esta permutaci
on esta definida de la siguiente manera:
i: f (k) = (k)
ii: f (x) = (k), si x < 1
iii: f (x) = (n), si x > n donde k = 1, ..., n y 0 t 1

2.2. Aplicaci
on al an
alisis de
orbitas
Desarrollando este ejemplo junto con la aplicacion de los grafos de Markov y las fun-
ciones primitivas para interpretar el Teorema de Sharkovskii. Dada una permutacion ,
estableceremos su funci
on primitiva y a traves de funcion primitiva su grafo de Markov, asi
de esta manera poder dar en el grafo realizado una evidencia del Teorema de Sharkovskii.

Ejemplo 5: Consideremos la permutacion

 
1 2 3 4 5 6
=
6 4 5 1 2 3

3
Busquemos la funci
on primitiva fe asociada a

f (1) = (1) = 6 P1 (1, 6)

f (2) = (2) = 4 P2 (2, 4)
f (3) = (3) = 5 P3 (3, 5)
f (4) = (4) = 1 P4 (4, 1)
f (5) = (5) = 2 P5 (5, 2)
f (6) = (6) = 3 P6 (6, 3)

Tomando P1 (1, 6) y P2 (2, 4) buscamos su pendiente m1 = 2 y con la formula para hallar

on lineal, obtenemos: y = 2x + 8, de la misma manera hacemos con los demas
una ecuaci
puntos hasta obtener las funciones restantes asociadas a la primitiva. Asi:

6


si x < 1







2x + 8 si 1 x < 2




x+2 si 2 x < 3


f=
e
4x + 17 si 3 x < 4








x3 si 4 x < 6









3 si x > 6

Podemos concluir que mk = (k + 1) (k) para la obtencion de las pendientes de las

funciones asociadas a la primitiva.

La grafica de fe es:

Retomando la permutaci on , tendra n 1 vertices que representan los intervalos para

construir los gr
afos de Markov y para este caso obentemos 5 vertices J1 , J2 , J3 , J4 y J5
donde:

J1 = [1, 2], J2 = [2, 3], J3 = [3, 4], J4 = [4, 5], J5 = [5, 6]

Veamos que se cumplen las condiciones para realizar los grafos de Markov de f y :

S
fe([1, 2]) = [4, 6] fe(J1 ) = J4 J5
fe([2, 3]) = [4, 5] fe(J2 ) = J4

4
 S S S
fe([3, 4]) = [1, 5] fe(J3 ) = [1, 5] = J1 J2 J3 J4
fe([4, 5]) = [1, 2] fe(J4 ) = J1
fe([5, 6]) = [2, 3] fe(J5 ) = J2

Por conocimiento de teora de conjunto, obtenemos los siguientes resultados:

J4 fe(J1 )
J5 fe(J1 )
J1 fe(J3 )
J2 fe(J3 )
J3 fe(J3 )
J4 fe(J3 )

Aplicando la definici
on de los grafos de Markov obtenemos la siguiente cadena:

Gracias a esta presentaci

on es posible evidenciar la existencia de un punto fijo en J3 ,
una orbita de segundo orden en J1 y J4 y una orbita de orden 4 en J1 , J5 , J2 , y J4 .