Dos problemas abiertos en la teorı́a de los sistemas dinámicos discretos*

Luis Rincón
Departamento de Matemáticas, Facultad de Ciencias UNAM
Circuito Exterior de CU, 04510 México DF
lars@fciencias.unam.mx

Durante la última sesión del Seminario Discreto organizado de ésta es necesariamente finita.
por Héctor Méndez y Jefferson King en nuestro departamen-
to (diciembre de 2005), platicamos sobre algunos aspectos Tx
elementales de la teorı́a ergódica. En esa sesión tuvimos la 1
oportunidad de mencionar dos problemas abiertos en siste-
mas dinámicos. Lo interesante del caso es que no es necesario
tener conocimientos profundos en alguna teorı́a matemática
para entender el planteamiento de estos problemas. Juzgue el
lector.
x
1
Problema 1
Transformación logı́stica T x = 4x(1 − x).
Un número del intervalo unitario (0, 1) es normal si su expan-
sión decimal contiene cada dı́gito en la debida proporción, es
decir, 1/10. El teorema de Borel de los números normales,
demostrado en 1909, establece que casi todo número, respec- Tn x
1 b b b
to de la medida de Lebesgue, es normal. Durante el seminario
demostramos tal resultado usando corrimientos de Bernoulli y b b

el teorema ergódico de Birkhoff. Pero parece ser que una cosa b b

es hablar de resultados globales y otra cosa distinta es obte-
ner esta propiedad para números particulares. El problema es
demostrar que los números e − 2 y π − 3 son normales.
Problema 2
Este es un problema propuesto por Michał Misiurewicz y pue-
de ser leido con mayor detalle, junto con otros problemas in-
teresantes, en la página web
http://www.math.iupui.edu/∼mmisiure/open/
Considere la famosa transformación logı́stica T x = 4x(1−x)
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 trans-
formación ϕn : [0, 1] → En dada por ϕn (x) = k/n si x se
encuentra en el intervalo [k/n−1/2n, k/n+1/2n). La acción
de ϕn es redondear un número en la precisión del conjunto
En . Ahora defina la transformación Tn = ϕn ◦T : En → En .
Esta transformación es entonces la aplicación de la transfor-
mación logı́stica de acuerdo a la precisión del conjunto En , y
realmente esta es la transformación logı́stica que uno utiliza
al hacer experimentos en una computadora pues la precisión
* Publicado en el no. 192 del Boletı́n del Departamento de Matemáticas de
b b
b b x
1
Transformación logı́stica cuando la precisión es de un decimal,
todas las órbitas convergen a cero.
Como En es finito, todas las órbitas de Tn son periódicas
o eventualmente periódicas. Misiurewicz define entonces an
como el número de elementos de En \{0} cuyas órbitas nunca
llegan a cero bajo iteraciones de Tn , y encuentra que an pa-
rece comportarse de manera impredecible. Por ejemplo, des-
pués de algunos experimentos obtiene que a34572 = 23480,
a34573 = 26294, a34574 = 1064, a34575 = 0, a34576 =
27090. Después eventualmente a125815 = 0. Es decir, cuando
la precisión es n = 34575 o n = 125815, las órbitas de todos
los punto de En terminan en cero. Misiurewics se pregunta si
an = 0 para una infinidad de valores de n. ¿Será cierta tal
afirmación?


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