REVISTA DE LA FACULTAD DE CIENCIAS - UNI

Un ejemplo de caos
Roger J. Metzger*
RESUMEN En este artculo introduciremos algunos conceptos de los Sistemas Dinmicos modernos a travs de un ejemplo relativamente simple, el mapa logstico o aplicacin logstica f(x) = cx(1-x).

ABSTRACT In this note we introduce some of the basic concepts of the modern Dynamical Systems through a relatively simple example, the so called logistic map or logistic transformation f(x) = cx(1 - x).

Introduccin
Hoy en da se habla mucho de que la naturaleza es catica, queriendo significar que es impredecible. Un ejemplo es la prediccin del tiempo. Que aunque conozcamos bien la situacin de hoy, no podemos decir mucho de como ser dentro de una semana. Se ha avanzado mucho en esta rea y a pesar de las super computadoras y los mtodos numricos, hay algo intrnseco en las leyes de la naturaleza (por lo menos as piensan algunos) que hace muy difcil saber el
*IMCA y Facultad de Ciencias, Universidad Nacional de Ingeniera. Lima-Per.

59

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

comportamiento futuro de los sistemas. En este artculo presentaremos, mediante un ejemplo, las definiciones y caractersticas de los sistemas que tienen este comportamiento catico. No sern todas, es verdad, pero espero que consigan dar un sabor de lo interesante que puede ser esta rea de la matemtica.

El mapa logstico
Este modelo surgi del estudio de la dinmica de las poblaciones (digamos de bacterias, o seres humanos, da lo mismo). Se desea estudiar la variacin de la cantidad de ejemplares de cierta especie en un ambiente cerrado, con las siguientes restricciones:

Se mantiene constante el potencial reproductivo. Esto toma en cuenta el

nmero de nacimientos y muertes por generacin.

Tambin se mantiene el nmero mximo de ejemplares (digamos M).

Lo cual es real pues depende entre otras cosas de la alimentacin disponible. Llamemos p(n) al nmero de ejemplares de la generacin nmero n. Por ejemplo, si n = 8, p(8) es el nmero de ejemplares luego de 8 ciclos reproductivos. Es decir el nmero de ejemplares de la 8va generacin (n- sima generacin en caso de n cualquiera). Si slo influyera el potencial reproductivo, el nmero de ejemplares de la generacin n+1 ser proporcional al nmero de ejemplares de la generacin n, es decir p(n+1 ) = kp(n), donde la n constante refleja el potencial reproductivo.

Pero el tamao de la poblacin tambin depende de su relacin con el nmero mximo de ejemplares que el ambiente admite.

Si estamos lejos del tope, la poblacin crecer ms rpidamente y crecer ms lentamente si estamos llegando a l. Inclusive, en este modelo, si en un momento se alcanza el mximo nmero de ejemplares de la especie, esta generacin acabar con toda la comida y la siguiente generacin no podr subsistir hasta la edad reproductiva. Es decir, si alguna generacin llega al mximo la poblacin desaparece. El factor por el que se multiplica es M - p(n) que puede ser interpretado como los recursos disponibles de la naturaleza (espacio, alimento) para la siguiente generacin.
60

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

La transformacin iterativa queda: p(n+1) = kp(n) (M - p(n)). Para lo que sigue conviene dividir esta ecuacin por M, y si definimos

x( n ) =

p( n ) M

y llamamos c a la constante kM entonces la ecuacin queda x(n+1) = cx(n) (1-x(n)). Observe que si para algn n0 se cumple que x(n0 ) = 1 entonces x(n) = 0 para todo n > n0. DEFINICIN 1 (Mapa logstico) La funcin f(x) = cx(1-x) es llamada mapa logstico, o aplicacin logstica. Para el caso que estamos investigando, si x0 es la poblacin inicial o generacin 0, entonces la poblacin de la primera generacin ser x(1) = cx0(1-x0) = f(x0) y la n-sima generacin estar dada por x(n) = cx(n-1)(1-x(n-1)) = f o f n-1 (x0) = f n (x0). DEFINICIN 2 (rbitas) Llamamos rbita del punto x0 al conjunto

O ( x0 ) = {f n ( x0 ) n N}. .

Otro modo de expresar una rbita es

o tambin: la rbita del punto x 0 es la sucesin {x n }n donde N x n = f (x n 1 ), n N. En nuestro caso conocer la rbita de un punto x0 equivale a conocer la evolucin en el tiempo (contado en generaciones) de la poblacin a partir de una poblacin inicial x0. En la figura 1 mostramos el grfico del mapa logstico para un c cualquiera.
61

, O ( x 0 ) = {x 0 , f ( x0 ), f 2 ( x0 ,... f n (x0 ),...}

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

Algunas caractersticas del mapa logstico

Presentamos algunas caractersticas generales del mapa logstico. 1. El origen x = 0 es un punto fijo (i.e. f(x) = x ) del mapa logstico para cualquier valor de c. Ms an, se cumple f(1) = f(0) = 0 para cualquier valor de c. 2. El mximo de la curva est en 1/2 con f(1/2) = c/4.

3. Si c [0 ,4] entonces el rango de f est contenido en [0 ,1].

Figura 1: El mapa logstico.

Hagamos algunos experimentos mentales que pueden ser hechos en la computadora tambin. Si c est entre 0 y 1 tenemos que el origen x = 0 es el nico punto fijo del mapa logstico el cual es atractor, esto es:
n

lim f n ( x ) = 0, para cualquier valor de x I .

62

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

Para c entre 1 y 3 el origen se convierte en un repulsor a (la rbita de cualquier punto cercano se aleja de l) y aparece otro punto fijo en x* = (c-1)/c que es atractor. Antes de proseguir con las caractersticas de la funcin f para c (3 ,4 ) , hagamos un parntesis para calcular el valor absoluto de las derivadas de f en los puntos fijos. En el origen tenemos |f(0)| = c, con lo que:

|f(0)|< 1 cuando c (0,1) ,es decir cuando el origen es atractor.

Figura 2: Algunos puntos de una rbita para el mapa logstico.

|f(0)|>1 cuando c (1,4) ,es decir cuando el origen es repulsor.

Para el punto fijo x* =

c 1 tenemos c

c 1 c 1 f' = c 1 2 c = 2c c
a

Ms an, el origen es un repulsor para cualquier c>1.

63

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

de modo que

|f(x*)|< 1 cuando c (1,3) , es decir cuando el punto fijo x* es atractor.

Ahora, volvamos a f. Qu pasa cuando c > 3 ? En este caso el punto x * hallado antes se convierte en un repulsor (observe que en este caso |f(x*)| >1). Sin embargo la rbita de cualquier punto puede o no alcanzar una configuracin estable dependiendo del valor de c . Sugiero que para entender el significado de esta afirmacin se hagan los experimentos en la computadora. Aqu solo daremos una idea aproximada. Entonces, para c > 3 el punto fijo x* de f se convirti en repulsor sin embargo para valores de c inmediatamente posteriores a 3 existen 2 puntos peridicos de periodo 2 esto es:
* = x* y f x* = x* de modo que * y * tal que Existen dos puntos x1 f x1 x2 2 2 1 * = 2 * = * * . En otras palablas, * y * son puntos fijos = fof x1 f x1 x1 y f 2 x* x x x 2 2 1 2 * y x* de la funcin f 2, y si calculamos la derivada de f 2 en los puntos x1 2 encontraremos que es menor que 1 para valores cercanos de 3 y podremos encontrar el parmetro c = c 1 para el cual se cumple que:

( )
z

( )

( )

( )

( )

* y x* son atractores y vale Si 3 < c < c 1 los puntos fijos de x1 2

que
z

(f ) (x* ) < 1
2

para i = 1 y 2.

2 * Si c > c1 los puntos fijos x* i satisfacen ( f ) ( xi ) > 1 para i = 1 y 2, y

son repulsores.

Este fenmeno se conoce como bifurcacin de periodo y se repite conforme vamos incrementando el valor de c acercndonos a c = 4. Esto es, cuando los puntos x* mencionados anteriormente se convierten en repulsores, aparecen 4 puntos i
* y dos para x* ), los cuales son puntos peridicos atractores de ms (dos para x1 2 periodo 4 o, en otras palabras, puntos fijos atractores de la aplicacin f 4.

Este proceso de bifurcacin de periodo ocurre cada vez ms rpido. Con esto quiero decir que la sucesin

{c i } converge para un valor, que debido a mi

64

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

mala memoria, solamente puedo afirmar que es menor que 4b. El diagrama de bifurcaciones se muestra en la figura 3. Para simplificar la explicacin tomemos c = 4, es decir f(x)= 4x(1-x). En este valor del parmetro no existe ningn punto atractor y coexisten infinitos puntos peridicos (de cualquier periodo!!) todos repulsores. Si tratamos de imaginar esta situacin tendremos que admitir que la rbita de cualquier punto que no sea alguna preimagen de los puntos perdicos ser, por decir lo menos,catica, pues ser rechazado de cualquier punto peridico al cual se acerque. Es por eso que se afirma que el proceso de bifurcacin de periodo es uno de los caminos al caos de sistemas inicialmente estables.

Figura 3:

En la horizontal se han representado los valores del parmetro c, en la vertical los valores de x que constituyen los atractores del sistema si los hubiera. Por ejemplo, para c = 2,7 el atractor est formado por un solo punto, para c = 3,4 el atractor est formado por dos puntos (una rbita de periodo dos). Para c = 3,9 el sistema ya es catico.

Tal vez un lector interesado pueda hacer un experimento computacional para determinar este valor, quedaria muy agradecido que me lo comunicase.

65

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

Sensibilidad a las condiciones iniciales

Intuitivamente es claro, y se puede demostrar tambin, que dos puntos cercanos se mantienen juntos si los dos estn en el intervalo de un punto peridico. Si no hay puntos atractores (en el caso c = 4 por ejemplo), las rbitas de dos puntos cercanos se separan en un tiempo relativamente corto. A este fenmeno se le denomina sensibilidad a las condiciones iniciales y est ntimamente ligado al valor absoluto de la derivada. Veamos como. Si hacemos a la expansin de Taylor de una funcin suave cualquiera g, obtenemos: g(x+h)=g(x)+g(x).h+O(h). Que escrito de otro modo queda g(x+h)-g(x)=f(x).h+O(h). lo cual quiere decir que si dos puntos estn cerca (a distancia |h|) en la siguiente iteracin estarn, aproximadamente cerca (o alejados) una distancia |g(x).h| es decir ms que |h| si |g(x)| >1. Queremos saber si un punto cercano a x se alejar o no y vemos que esto depente de la derivada, esto motiva la siguiente definicin:

DEFINICIN 1 (Exponente de Lyapunov) Al nmero

1 n ( x ) = lim log f ' (x) n n

( )

se le llama exponente de Lyapunov de x para el sistema definido por la funcin f.

Por un teorema de teora ergdica (Teorema de Birkhoff) este lmite casi siempre existe y significa que si ( x ) > 0 entonces para n grande se tiene |(f n )(x)|>1 y el sistema definido por f ser sensible a las condiciones iniciales cercanas a x. Si un sistema tiene todos sus exponentes de Lyapunov positivos, se
66

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

dice que el sistema es sensible a las condiciones iniciales pues en este caso casi todo par de puntos inicialmente cercanos se alejarn a un ritmo prcticamente exponencial. Aqu estamos usando el lenguaje de Teora de la Medida en donde casi todo x significa que solo no se cumple en un subconjunto de I con medida de Lebesgue cero. As tambin grande significar un conjunto con medida positiva, y todo tambin querr decir que el conjunto mencionado tiene medida total. Tiene el mapa logstico exponentes de Lyapunov positivos? Esta pregunta no es trivial si tomamos en cuenta que el mapa logstico tiene un punto x =

a 1/2 tienen derivadas arbitrariamente pequeas en mdulo. Sin embargo la respuesta es afirmativa para un conjunto grande de parmetros c . Esta afirmacin puede ser enunciada de la siguiente manera:

1 con derivada igual a cero y por lo tanto los puntos cercanos 2

TEOREMA 1 Considere la funcin fc:[0,1] [0,1] tal que fc(x ) = cx( 1-x). Entonces el conjunto E = {c [0,4] / fc tiene exponentes de Lyapunov positivos} es grande, en el sentido que tiene medida de Lebesgue positiva. A la luz de este teorema podemos decir que el mapa logstico tiene comportamiento catico o sensibilidad en las condiciones iniciales para un conjunto grande de parmetros c. Referencias para este resultado pueden encontrarse en los trabajos de Collet y Eckman [2], y Benedicks y Carleson [1].

Otra manera de ver el problema

De ahora en adelante para simplificar la exposicin consideraremos c = 4, es decir estudiaremos la aplicacin f:[0,1] [0,1], f(x) = 4x(1-x).
67

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

DEFINICIN 1 (Conjugacin topolgica) Dos aplicaciones g y f : I I se dicen topolgicamente conjugadas si existe un homeomorfismo h : I I tal que g o h = h o f. Veamos en que nos ayuda este concepto. Si f y g son topolgicamente conjungados entonces hof
n

(x) = h o f (f

n-1

(x)) = g o h o (f

n-1

(x)) = ... = g

o h(x)

de modo que la rbita de x por f y la rbita de h(x) estn relacionadas del siguiente modo:
n n h Of (x ) = ho f (x ) / n N = g oh (x )/ n N =

}{

Og (h(x)),

As, como h es un homeomorfismo, las rbitas f tienen una relacin buena con las rbitas de g. Una consecuencia directa de este hecho es que puntos fijos son llevados en puntos fijos, es decir: x es punto fijo de f si y solo si h(x) es punto fijo de g. Lo mismo se aplica a las rbitas peridicas. De modo que si g tiene rbitas con comportamiento catico entonces f tambin las tendr. Aun cuando f sea una funcin un poco difcil de analizar puede ser que una funcin g, conjugada a ella, sea relativamente ms sencilla de estudiar. Para el caso de la aplicacin cuadrtica, la conjugacin se da con la siguiente funcin: g:[0,1] [0,1], con g(x) = 1- |2x -1|, que es seccionalmente lineal, como 1 . Esto 2 nos da una consecuencia rpida, los exponentes de Lyapnov de la aplicacin g son casi todos positivos (solo tenemos que sacar las preimagenes del punto 1/2). se muestra en la figura 4, y el mdulo de su derivada es 2 excepto en x = De ah se puede concluir que g tiene sensibilidad a las condiciones iniciales. De modo que podriamos haber concluido que el mapa logstico tiene sensibilidad con respecto a las condiciones iniciales examinando solamente a g y observando que entre g y f existe una conjugacin topolgica, pues esta conjugacin topolgica siendo un homeomorfismo preserva la nocin de vecindad y en este caso tambin la nocin de cercana.

68

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

Figura 4: El mapa tienda.

Aunque la aplicacin tienda tenga sus propias complicaciones, nadie negar que tiene una presentacin mucho ms fcil de estudiar que la aplicacin cuadrtica, por lo menos en lo que a rbitas se refiere. Para el lector interesado, el homeomorfismo que realiza la conjugacin tiene la forma h(x ) = 1 cos
2

x 2

Para concluir digamos que los Sistemas Dinmicos estn llenos de ejemplos como ste, donde siempre hay otra manera de ver el problema.

Apndice: Algunas definiciones

Damos aqui algunas definiciones que fueron usadas en el transcurso de esta exposicin.

Punto fijo de una aplicacin f : es un punto x X tal que

f ( x ) = x.
69

REVISTA DE LA FACULTAD DE CIENCIAS - UNI

Un homemorfismo es una funcin biyectiva f : entre espacios

topolgicos X e Y tal que tanto f como su inversa f
1

son continuas.

La medida de Lebesgue en el intervalo es una extensin de la medida

natural. Es decir es aquella que al intervalo [a , b ] le asigna la medida b a. Un ejemplo de conjunto con medida de Lebesgue cero es cualquier conjunto numerable de puntos.

REFERENCIAS
[1] M. Benedicks and L. Carleson, On iterations of 1 x Math. 122 (1985). 1-25.
2

on

( 1 ,1 ) , Ann. of

[2] [3]

P. Collet and J.P Eckmann, On the abundance of aperiodic behaviour for maps of the interval, Comm. Math. Phys. 73 (1980), 115-160. R. Markarin, Incertidumbre, caos: una visin fsico-matemtica, Certidumbres, Incertidumbres, Caos R. Markarin y R. Gambini(eds), Montevideo 1999. J.Palis and W. de Melo, Introduo Sistemas Dinmicos, Projeto Euclides, IMPA -Rio de Janeiro, 1978. J. Palis and F. Takens , Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations, Cambridge University Press, 1993.

[4] [5]

70