MATerials MATemtics

Volum 2013, treball no. 1, 22 pp. ISSN: 1887-1097

Publicaci electrnica de divulgaci del Departament de Matemtiques
de la Universitat Autnoma de Barcelona
www.mat.uab.cat/matmat

MAT 2

Hay caos en la calculadora?

Rafael Ortega
Si tienes una calculadora cientfica a mano, puedes
hacer el siguiente experimento: escribes un nmero al
azar y despus presionas muchas veces la misma tecla.
En muchos casos acaba apareciendo un nmero fijo,
por ejemplo
sin

sin

ln

sin

ln

sin

ln

ln

...

...

...

La tecla ms misteriosa es cos . En este caso siempre se acaba en el nmero 00 7390851 . . . si la calculadora est en radianes.
La cantidad en pantalla es un nmero que va cambiando (sucesin)
x0 , x1 , x2 , . . . , xn , . . .
La tecla que repetimos representa una funcin

f = sin x, x , ln x, cos x, . . .
xn

xn+1

Hay caos en la calculadora?

Consideramos
xn+1 = f (xn ),

n = 0, 1, 2, . . .

donde f : I R es una funcin dada e I es un intervalo en R. Puede ocurrir

que las soluciones dejen de estar definidas a partir de un cierto n.
Ejemplo. xn+1 = ln xn , f (x) = ln x, f : ]0, [ R, x0 = e, x1 = 1, x2 = 0,
x3 no est definido.

Para evitar estas situaciones supondremos que la funcin f cumple f (I)

I. En ese caso, y para cada x0 I, hay una solucin {xn }n0 bien definida.
Hay un mtodo grfico para resolver ecuaciones en diferencias
y

y = f (x)

x0

x1

x = x0

y = f (x0 )
y = f (x)

x = f (x0 ) = x1
y=x

Este proceso se puede repetir:

y = f (x)

x0

x1
x2

x3 . . .

Rafael Ortega

La ecuacin logstica
Pensamos en una poblacin y designamos por xn el
tamao de esta poblacin despus de n periodos. Por
ejemplo, se puede considerar un bosque y xn designa el
nmero de rboles despus de n aos. Consideramos
= tasa de fecundidad por habitante y periodo
= probabilidad de muerte en un periodo.
Si suponemos que y son constantes con
> 0,

Thomas Malthus
(17661834)

0<<1

obtenemos
xn+1 = xn + xn xn
muertes

nacimientos

xn+1 = xn ,

=1+.

En este caso la poblacin sigue una progresin geomtrica (modelo malthusiano).

Supongamos ahora que y dependan del tamao de la poblacin
= (x),

= (x).

As, si la poblacin aumenta en exceso es lgico pensar que la probabilidad

de muerte aumenta mientras la tasa de fecundidad disminuye; es decir
&
%
1

= (x)

= (x)

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Hay caos en la calculadora?

Llegamos al modelo no lineal

xn+1 = xn + (xn ) xn (xn ) xn
= (1 + (xn ) (xn )) xn .
Elegimos las funciones montonas ms simples1 :
(x) = a b x, (x) = c + d x,
a, b, c, d > 0,
0 < c < 1.
Se obtiene
xn+1 = (1 + a c (b + d) xn ) xn .
Reduciendo parmetros:
xn+1 = (A B xn ) xn ;

A, B > 0.

Todava es posible eliminar un parmetro si se efecta el cambio de escala

X = x donde > 0 es un parmetro a determinar.
Sustituyendo en la ecuacin,
Xn+1 = (A B Xn ) Xn .
Si hacemos = A, = A/B obtenemos
Xn+1 = (1 Xn ) Xn ,

> 0.

Pensemos en una poblacin de organismos microscpicos para la que xn

designa la extensin del cultivo. Lo podemos medir en mm2 , cm2 , . . . y se
tendrn relaciones del tipo Xn = xn Cunto vale en cada caso?
Hemos llegado al modelo
xn+1 = (1 xn ) xn

(1)

con > 0. Como no queremos poblaciones negativas supondremos que hay

un tamao mximo para la poblacin
0 xn 1.
As trabajamos con I = [0, 1], f (x) = (1 x) x. Para que todo marche
exigiremos f (I) I.
1

En principio es criticable que pueda ser > 1, o < 0.

Rafael Ortega

/4

f (x)
1/2

La funcin f alcanza su mximo en x =

manera que


1
f (I) = 0, .
4

1
2

de

A partir de ahora supondremos 0 < 4; de esta manera las soluciones {xn } estn bien definidas en el futuro y permanecen en [0, 1]2 .
El modelo logstico continuo fue propuesto por Pierre Franois Verhulst (1804-1849). Se trataba de una
ecuacin diferencial con la que Verhulst esperaba predecir la evolucin de poblaciones humanas. Casi un siglo
ms tarde el mismo modelo se us para estudiar poblaciones animales (insectos, micro-organismos. . . ) y tambin el crecimiento de plantas (girasol. . . ) El modelo
discreto que hemos presentado es mucho ms reciente.
Su estudio se inici a partir de un artculo del bilogo
Robert May aparecido en 1976. Vale la pena leer el libro de May [4], que es ya un clsico de la ecologa, y
tambin el artculo de Li y Yorke [3] que fue pionero
desde el punto de vista matemtico.
A pesar de su aparente sencillez la ecuacin logstica puede tener comportamientos muy complejos. Empezamos estudiando otras ecuaciones cuyo
comportamiento es ms simple.

Dinmica para f creciente

Suponemos que I es un intervalo cerrado y f : I I es continua y estrictamente creciente. Partimos de x0 I. Si x1 = x0 la condicin inicial es un
punto fijo de f , f (x0 ) = x0 , y encontramos una solucin constante
{x0 , x0 , x0 , x0 , . . . }.
Si x1 6= x0 hay dos posibilidades
2

La crtica anterior a la eleccin de y pierde importancia.

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Hay caos en la calculadora?

a)
=

x1 > x0 = f (x1 ) > f (x0 ) = f (x2 ) > f (x1 ) . . .

x2

x1

x3

x2

y la sucesin xn es estrictamente creciente.

b)
=

x1 < x0 = f (x1 ) < f (x0 ) . . .

x2

x1

y {xn } es estrictamente decreciente.

En el caso a) se pueden dar dos posibilidades xn + o bien xn I
segn la sucesin est acotada o no.
En el caso b) puede ocurrir xn o xn I.
En los casos en que hay convergencia a se tiene que este nmero ha de
ser fijo por f . Es una consecuencia de la continuidad de f pues
xn+1 = f (xn ) f ().
En resumen, para f estrictamente creciente y continua las soluciones son
constantes o estrictamente montonas, y pueden converger a un punto fijo
de f o a infinito.

punto fijo ,

x0

x1

xn %

Rafael Ortega

Ejemplo (Algunas teclas de la calculadora).

xn+1 =

xn ,

...

I = [0, [.
0

x0

Hay dos puntos fijos = 0, 1. Dado x0 ]0, 1[ se cumple x0 < x1 < 1 y

por tanto xn % 1. De modo anlogo se discute x0 ]1, [.

exp

exp

exp

xn+1 = exn ,

exp

...

I = R.
x0

A partir de la frmula de Taylor se deduce la desigualdad ex 1 + x,

x R. As no hay puntos fijos y todas las soluciones van a +. Observamos
que
x1 = ex0 1 + x0 > x0 .

Dinmica para f decreciente

De nuevo I es un intervalo cerrado pero ahora f : I I es continua y
estrictamente decreciente.
Hay un nuevo fenmeno: la aparicin de 2-ciclos:
x0 I, x1 6= x0 , x2 = x0
Solucin: {x0 , x1 , x0 , x1 , . . . }.
Esto ocurre para f (x) = x, xn+1 = xn , {1, 1, 1, 1, . . . }. El nombre de
2-ciclo se puede asociar a la siguiente grfica:

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Hay caos en la calculadora?

x0

x1

y = f (x)

Supongamos ahora que x0 I no corresponde ni a un punto fijo ni a un

2-ciclo. Es decir, x0 6= x1 , x0 6= x2 . Supongamos por ejemplo x0 < x2 . Como
f es decreciente,
x0 < x2 = x1 = f (x0 ) > f (x2 ) = x3 = x2 < x4 . . .
Observamos que {x2n } es estrictamente creciente y {x2n+1 } es estrictamente
decreciente. Distinguimos dos casos:
1) x2n +.

Observamos que se cumplir x2n+1 , pues en otro caso x2n+1

I y de x2n = f (x2n1 ) se sigue que x2n f ().

y = f (x)

Rafael Ortega

2) x2n I (aqu hemos usado que I es cerrado).

De x2n+1 = f (x2n ) se sigue que tambin x2n+1 es convergente; x2n+1
I. Adems = f (). De la ecuacin x2n+2 = f (x2n+1 ) se sigue que
= f ().
Hay dos posibilidades:
2a) = es un punto fijo.

{xn } .

y = f (x)

2b) 6= forman un 2-ciclo.

y = f (x)

En resumen, las soluciones son oscilantes y si no se escapan a infinito

convergern a un punto fijo o a un 2-ciclo.
Ejemplo. Vamos a justificar una observacin hecha al inicio
cos

cos

cos

...

cos

...

xn+1 = cos xn .

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Hay caos en la calculadora?

10

x0

/2

/2
S

y = cos(x)

Comenzamos observando que f (x) = cos x tiene un nico punto fijo ,

pues g(x) = x cos x es estrictamente creciente y lm g(x) = . Adems
x

= 00 7 . . . Como f no es montona en R no podemos aplicar los resultados

anteriores con I = R. Observamos que, dado x0 R, x1 [1, 1] y x2 [0, 1],
pues
f (R) [1, 1], f ([1, 1]) = [cos 1, 1] [0, 1].
Como f ([0, 1]) [0, 1] concluimos que
xn [0, 1] n 2.
Trabajaremos en I = [0, 1] donde la funcin f s es estrictamente decreciente.
Aplicando la teora anterior sabemos que {xn } puede converger a o a un
2-ciclo. Vamos a probar que no hay 2-ciclos por reduccin al absurdo. Si
p, q I, p 6= q cumpliesen f (p) = q, f (q) = p aplicaramos el teorema del
valor medio para llegar a
p q = f (q) f (p) = f 0 (r) (q p) = sen r (q p)
donde r es algn nmero entre p y q; en particular r ]0, 1[. Entonces
|p q| = |sen r||q p| < |q p| y esto es absurdo.
De las discusiones anteriores concluimos que para todo x0 R se cumple
xn .

Rafael Ortega

11

Puntos peridicos
Consideramos un intervalo I y una funcin continua f : I I. Dado
N 1 un N -ciclo es una solucin de
xn+1 = f (xn )

que cumple x0 6= xn , 1 < n < N , xN = x0 .

Se dice tambin que x0 es un punto peridico con periodo mnimo N .
Observamos que los 1-ciclos son los puntos fijos. De las discusiones anteriores sabemos que no puede haber ciclos con N 3 si f es estrictamente
montona. Cuando hay cambios de monotona es posible encontrarlos. En el
dibujo se ha sealado un 3-ciclo
B

x0

x1

x2

Cualquier funcin f cuya grfica pase por A, B y C tendr el 3-ciclo x0 ,

x1 , x2 .
Teorema. Sea f : I I continua y tal que existe un 3-ciclo. Entonces existe
un N -ciclo para cada N 1.
(De acuerdo a este resultado no tenemos que esforzarnos para encontrar
una funcin que admita un 17-ciclo.)
Haremos la demostracin despus de tres lemas. Antes observamos que
N)

los puntos N -peridicos de f son puntos fijos de f N = f f


xN = f (xN 1 ) = f 2 (xN 2 ) = = f N (x0 )
= f N (x0 ) = x0 .
x N = x0

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

12

Hay caos en la calculadora?

Lema 1. Sea x I un punto peridico con periodo mnimo N 1. Supon 1 se cumple

gamos que para algn entero N

f N (x) = x.
, N |N
.
Entonces N divide a N
N . Suponemos N
>N
Demostracin. Por definicin de periodo mnimo N
= N q + r donde q y r son enteros, q 1,
y dividimos para obtener N
0 r < N . Se cumple

x = f N (x) = f r+N q (x) = f r f N .q). . f N (x) = f r (x).

Como r < N y N es periodo mnimo se ha de cumplir r = 0.
Lema 2. Sea g : [a, b] R continua y tal que
[a, b] g([a, b]).
Entonces g tiene un punto fijo.
Demostracin. Como a, b estn en la imagen de g encontramos , [a, b]
tales que g() = a, g() = b. Los puntos fijos de g coinciden con los ceros
de (x) = x g(x). Supongamos, por ejemplo < , vamos a aplicar el
teorema de Bolzano a en el intervalo [, ]
() = g() = a 0,

() = g() = b 0.

Observacin. La hiptesis del lema se puede cambiar por

g([a, b]) [a, b] .
Se obtiene as el teorema del punto fijo de Brouwer en una dimensin. Este
famoso teorema tambin es vlido en ms dimensiones pero esto no ocurre
con el lema anterior. Vamos a construir una aplicacin continua g : D R2 ,
D g(D), D homeomorfo al disco cerrado y que no tiene puntos fijos.
Para ello consideramos el espacio D

Rafael Ortega

13

y lo dividimos en dos regiones

I

II

La aplicacin g : D R2 transforma D en el anillo

A0 = C 0

B
g

II
C

I0
A

B0
II 0

Es claro que g(D) D. Adems no hay puntos fijos si I se rota hasta quedar
sobre I 0 y II se rota y se estira hasta quedar sobre II 0 . En el proceso hemos
pegado dos segmentos pero sta es una operacin continua.
Lema 3. Sea g : I0 R continua, I1 g(I0 ), I0 , I1 intervalos compactos.
Entonces existe I2 intervalo compacto, I2 I0 , tal que g(I2 ) = I1 .

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

14

Hay caos en la calculadora?

b
a

I0

Demostracin. Suponemos I1 = [a, b] y escogemos , I0 de manera que

g() = a, g() = b. Suponemos por ejemplo < . Definimos
= max{x [, ] : g(x) = a}.
Observamos que se trata del mximo de un compacto de R y por tanto est
bien definido. Adems, de la definicin de , g(x) 6= a, x ] , ]. Como
g() = b > a y g es continua concluimos que
g(x) > a,

x ] , ].

A continuacin definimos
= mn{x [ , ] : g(x) = b}.
(Vase la figura.) Se cumple g(x) < b, x [ , [. En consecuencia g( ) =
a, g( ) = b, a < g(x) < b, x ] , [ implica g([ , ]) = [a, b], pues
g es continua.

Demostracin del Teorema

Paso 1. Podemos suponer que el 3-ciclo cumple x0 < x1 < x2 . Esto no es
obvio. En principio hay 6 posibilidades

x0 < x2 < x1
x0 < x1 < x2
x1 < x0 < x2 (II).
(I) x1 < x2 < x0

x2 < x0 < x1
x2 < x1 < x0

Rafael Ortega

15

Las del grupo (I) las reducimos a la primera sin ms que cambiar la condicin
inicial, x0 x1 o x0 x2 .
Para las del grupo (II) hay que trabajar un poco ms. Todas se pueden
reducir a
x2 < x1 < x0 = x0 < x1 < x2 .
Si hacemos el cambio y = x,
xn+1 = f (xn ) = yn+1 = xn+1 = f (yn ).
Definimos g(y) = f (y), y J = {x : x I}. Observamos que x0 produce un N -ciclo para xn+1 = f (xn ) si y slo si x0 produce un N -ciclo
para gn+1 = g(yn ). Si probamos el teorema en el caso (I) y lo aplicamos a g
obtenemos el caso (II).
Paso 2. Existe un punto fijo.
Usaremos la notacin para el 3-ciclo x0 = a, x1 = b, x2 = c, a < b < c,
f (a) = b, f (b) = c, f (c) = a
a

J0

J 00

J 0 = [a, b], J 00 = [b, c].

Observamos que
f (a) = b, f (b) = c = f (J 0 ) J 00
f (b) = c, f (c) = a = f (J 00 ) J 0 J 00 .
En particular J 00 f (J 00 ) y el Lema 2 nos dice que hay un punto fijo en J 00 .
Paso 3. Existe un 2-ciclo.
Vamos a buscar un punto fijo de f 2 = f f , f 2 (x) = x, que no sea punto
fijo de f , f (x) 6= x.
Para ello observamos que J 0 f (J 00 ) y, por el Lema 3, encontramos un
intervalo compacto T J 00 de manera que f (T ) = J 0 .
f
T
a

J0

J 00

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

16

Hay caos en la calculadora?

De f 2 (T ) = f (J 0 ) J 00 T se sigue que podemos aplicar el Lema 2

a g = f 2 definida en T ; encontramos x T de manera que f 2 (x) = x.
Probamos que f (x) 6= x. En otro caso
J 00 T 3 x = f (x) f (T ) = J 0 .
As x J 0 J 00 = {b}. Esto es absurdo pues f 2 (x) = x mientras que f 2 (b) =
a 6= b.
Paso 4. Dado N 4 existe un intervalo compacto T J 00 tal que f k (T ) J 00 ,
k = 1, . . . , N 2, f N 1 (T ) = J 0 .
N 2
T
a

J0

N 1

De f (J 00 ) J 00 y el Lema 3 se sigue que podemos encontrar I1 intervalo

compacto, I1 J 00 , f (I1 ) = J 00 . Ahora I1 J 00 = f (I1 ) nos permite repetir el
proceso y encontrar I2 I1 con f (I2 ) = I1 . Repetimos el proceso N 2 veces
y encontramos un sistema de intervalos encajados
IN 2 IN 3 I2 I1 J 00
de manera que f (Ik ) = Ik1 , k = 2, . . . , N 2, f (I1 ) = J 00 . Se cumple
f N 2 (IN 2 ) = f N 3 (IN 3 ) = = f 2 (I2 ) = f (I1 ) = J 00 .
Aplicando f , f N 1 (IN 2 ) = f (J 00 ) J 0 y usamos el Lema 3 con g = f N 1 .
Encontramos T IN 2 : f N 1 (T ) = J 0 .
Se cumple T Ik = f k (T ) f k (Ik ) = J 00 si k < N 1.
Paso 5. Existe un N -ciclo, N 4, con condicin inicial en T
f N 1 (T ) = J 0 = f N (T ) = f (J 0 ) J 00 T.
Por el Lema 2 aplicado a g = f N , x T :
f N (x) = x.

Rafael Ortega

17

La demostracin no ha concluido. Hemos de probar que f k (x) 6= x si 1

k < N.
Supongamos por absurdo que el periodo mnimo de x no es N , digamos

N < N . Por el Lema 1 N divide a N , N = dN , d > 1. As,

f N 1 (x) = f dN

(x) = f N

f (d1)N (x) = f N
| {z }

(x).

=x

Por otra parte, como x T , f N 1 (x) f N 1 (T ) J 00 mientras que

f N 1 (x) J 0 . As f N 1 (x) J 0 J 00 . De f N 1 (x) = b, x = f N (x) = c.
Hemos llegado a una contradiccin con la definicin de T pues f (x) J 00
pero f (c) = a
/ J 00 .
Hemos acabado la demostracin.

El orden de arkovski
Ordenamos los nmeros naturales de la siguiente
manera: 3.5.7. .2n+1. .23.25.27. .22 3.22
5.22 7. .2p 3.2p 5.2p 7. .2m+1 .2m . .8.4.2.1.
Enunciamos sin demostracin:
Teorema. f : I I continua, I intervalo. Si f tiene un N -ciclo entonces tambin tiene un M -ciclo para
cada M / N .
Este resultado apareci por primera vez en el artculo [5] publicado en 1964 en una revista de la antigua Unin Sovitica. El caso N = 3 fue redescubierto
en [3], lo que explica en parte el famoso ttulo Periodo
tres implica caos. Tambin se puede consultar [1] para ms informacin.
O. M. arkovski.

La ecuacin logstica de nuevo

xn+1 = xn (1 xn ),

xn [0, 1],

0 < < 4.

Observamos que si 0 < 1 el nico punto fijo es = 0 (extincin).

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Hay caos en la calculadora?

18

(equilibrio ecolgico).

Para > 1 hay un segundo punto fijo = 1

=0

Tambin observamos que si 2, f ([0, 1]) [0, 12 ] si f (x) = x (1 x).

Nos podemos restringir a J = [0, 12 ], pues si x0 I, xn J para n 1. La
funcin f es estrictamente creciente en J y por tanto las soluciones {xn }n1
son estrictamente montonas y han de converger a un punto fijo . Si
1, xn 0 y hay extincin de la especie. Si 1 < 2 observamos
que f (x) > x si x ]0, [, f (x) < x si x ], 12 ]. De aqu se sigue que si
x0 > 0, x0 ]0, 1[, entonces x0 . La poblacin no se extingue y tiende al
equilibrio. Las cosas son mucho ms complicadas para > 2. Por ejemplo,
para algunos valores de aparecen 3-ciclos. As, si exigimos que x0 = 12

Rafael Ortega

19

genere un 3-ciclo,


1
1
1 2
x1 = , x2 = 1 ,
4
4
4




1 3
1
1
1 2
x3 = 1
1 1
.
4
4
4
4
1
x0 = ,
2

La ecuacin x0 = x3 conduce a un polinomio de grado 7 que admite la

raz = 30 832 . . .

1/2

Vamos a estudiar con detalle el caso lmite = 4 porque para este valor
del parmetro disponemos de una frmula explcita para las soluciones. Dado
x0 [0, 1] buscamos R de manera que x0 = sen2 (). Entonces
xn = sen2 (2n )
es la solucin de
xn+1 = 4 xn (1 xn ).
Para comprobarlo usamos la frmula del ngulo doble
xn+1 = sen2 (2 2n ) = [2 sen(2n ) cos(2n )]2
= 4 sen2 (2n ) cos2 (2n ) = 4 sen2 (2n )[1 sen2 (2n )]
= 4 xn (1 xn ).
A partir de esta frmula vamos a comprobar que se cumplen 3 propiedades:
1) Existen infinitos puntos peridicos (N -ciclos).

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

20

Hay caos en la calculadora?

Buscamos de manera que 0 < < 2 < 4 < 8 = + = = 7 . Es

claro que la solucin
 
2
xn = sen 2n
es un 3-ciclo.
7
En consecuencia sabemos que hay N -ciclos para cada N 1. Tambin puedes
calcularlos.
2) El efecto mariposa.
Dado x0 I y > 0, existe x0 I, |x0 x0 | < tal que, para algn n 1,
1
|xn xn | .
2
[Partimos de la ley logstica, que es determinista, pero suponemos que al
comenzar el proceso cometemos un pequeo error (se sustituye x0 por x0 ).
Esto es lo normal, pues usamos un nmero finito de cifras decimales. A muy
largo plazo xn y xn estn muy alejados. Una pequea perturbacin (el vuelo
de una mariposa) puede producir un gran efecto a largo plazo (la tormenta).]
La funcin f () = sen2 es -peridica y se cumple
|f (1 ) f (2 )| |1 2 |
(usa el Teorema del valor medio).
1

f
0

/2

Escribimos x0 = sen2 () y buscamos [0, ] de manera que

|sen2 (2n + ) sen2 (2n )| >

1
2

(la grfica de f prueba que siempre es posible encontrar tal )




2
x0 = sen + n , |x0 x0 | n < si n grande.
2
2

Rafael Ortega

21

Se cumple |xn xn | 12 .
3) La rbita densa.
Existe x0 I tal que
{x0 : n N} es denso en [0, 1].
Construimos un nmero =

P
n=1

n
,
2n

n {0, 1} de acuerdo a la siguiente ley:

{n } = {|{z}
0 , |{z}
1 , 0, 0 , 0, 1 , 1, 0 , 1, 1 , 0, 0, 0, . . . }.
|{z} |{z} |{z} |{z} | {z }
Escribimos todas las palabras de una letra 0, 1. A continuacin todas las de
dos letras 0, 0; 0, 1; 1, 0; 1, 1; todas las de tres. . . Esta construccin recuerda
mucho a un cuento de Borges (La Biblioteca de Babel).
Con un poco de trabajo se puede probar que x0 = sen2 , = cumple
los requisitos.
Algunos matemticos afirman que estas tres propiedades son una definicin de Caos. Se puede consultar [2].

Referencias
[1] Alsed, L.; Llibre, J.; Misiurewicz, M. Combinatorial dynamics
and entropy in dimension one. Second edition. Advanced Series in Nonlinear Dynamics, 5. World Scientific Publishing Co., Inc., River Edge,
NJ, 2000. xvi+415 pp.
[2] Devaney, R. L. An Introduction to Chaotic Dynamical Systems,
2nd ed. Reading, MA: Addison-Wesley, 1989.
[3] Li, Tien Yien; Yorke, J- A. Period three implies chaos. Amer. Math.
Monthly 82 (1975), no. 10, 985992.
[4] May, R. Stability and complexity in model ecosystems, Princeton University Press, 2001.
[5] arkovski, O. M. Co-existence of cycles of a continuous mapping of
the line into itself. (Russian) Ukrain. Mat. . 16 (1964), 6171.

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

22

Hay caos en la calculadora?

Departamento de Matemtica Aplicada

Universidad de Granada
rortega@ugr.es

Publicat el 9 de maig de 2013