Dos problemas abiertos en la teora de los sistemas dinamicos discretos*

Luis Rincon
Departamento de Matematicas, Facultad de Ciencias UNAM
Circuito Exterior de CU, 04510 Mexico DF
lars@fciencias.unam.mx

Durante la u ltima sesion del Seminario Discreto organizado

por Hector Mendez y Jefferson King en nuestro departamento (diciembre de 2005), platicamos sobre algunos aspectos
elementales de la teora ergodica. En esa sesion tuvimos la
oportunidad de mencionar dos problemas abiertos en sistemas dinamicos. Lo interesante del caso es que no es necesario
tener conocimientos profundos en alguna teora matematica
para entender el planteamiento de estos problemas. Juzgue el
lector.

de e sta es necesariamente finita.

Tx

Problema 1

Transformacion logstica T x = 4x(1 x).

Un numero del intervalo unitario (0, 1) es normal si su expansion decimal contiene cada dgito en la debida proporcion, es
decir, 1/10. El teorema de Borel de los numeros normales,
demostrado en 1909, establece que casi todo numero, respecto de la medida de Lebesgue, es normal. Durante el seminario
demostramos tal resultado usando corrimientos de Bernoulli y
el teorema ergodico de Birkhoff. Pero parece ser que una cosa
es hablar de resultados globales y otra cosa distinta es obtener esta propiedad para numeros particulares. El problema es
demostrar que los numeros e 2 y 3 son normales.

Tn x
b b b

1
b
b
b

b
b
b

Problema 2

Transformacion logstica cuando la precision es de un decimal,

todas las o rbitas convergen a cero.

Este es un problema propuesto por Micha Misiurewicz y puede ser leido con mayor detalle, junto con otros problemas interesantes, en la pagina web
http://www.math.iupui.edu/mmisiure/open/
Considere la famosa transformacion logstica T x = 4x(1x)
del intervalo unitario en si mismo. Para cada natural n defina
el conjunto En = {0, 1/n, 2/n, . . . , (n 1)/n, 1} y la transformacion n : [0, 1] En dada por n (x) = k/n si x se
encuentra en el intervalo [k/n1/2n, k/n+1/2n). La accion
de n es redondear un numero en la precision del conjunto
En . Ahora defina la transformacion Tn = n T : En En .
Esta transformacion es entonces la aplicacion de la transformacion logstica de acuerdo a la precision del conjunto En , y
realmente esta es la transformacion logstica que uno utiliza
al hacer experimentos en una computadora pues la precision

Como En es finito, todas las o rbitas de Tn son periodicas

o eventualmente periodicas. Misiurewicz define entonces an
como el numero de elementos de En \{0} cuyas o rbitas nunca
llegan a cero bajo iteraciones de Tn , y encuentra que an parece comportarse de manera impredecible. Por ejemplo, despues de algunos experimentos obtiene que a34572 = 23480,
a34573 = 26294, a34574 = 1064, a34575 = 0, a34576 =
27090. Despues eventualmente a125815 = 0. Es decir, cuando
la precision es n = 34575 o n = 125815, las o rbitas de todos
los punto de En terminan en cero. Misiurewics se pregunta si
an = 0 para una infinidad de valores de n. Sera cierta tal
afirmacion?


* Publicado en el no. 192 del Boletn del Departamento de Matem

aticas de
la Facultad de Ciencias de la UNAM, en Febrero de 2006.