Introduccin

La palabra caos proviene del griego kaos, que signica abertura, oquedad insondable y que en la Teogona de Hesodo designaba el espacio vaco innito que exista antes de todas las cosas. En latn chaos se interpretaba como la masa en estado bruto sin modelar, sobre la que el gran arquitecto del mundo introdujo orden y armona generando el Cosmos. Actualmente se usa tambin con el signicado de confusin y desorden. Sin embargo, desde hace unas tres dcadas, el sustantivo caos aparece a menudo calicado por el adjetivo determinista, lo que resulta un tanto chocante, incluso contradictorio, la primera vez que se lee o escucha. El objetivo de este artculo es explicar cmo pueden conjugarse ambas palabras y qu signican cuando aparecen unidas. En primer lugar recordaremos cmo se introdujo el determinismo en la ciencia. Luego pasaremos revista a los obstculos, de principio o de origen prctico, que aparecen cuando se quiere predecir la evolucin de un sistema determinista. Un modelo matemtico ingenuo de un sencillo dispositivo mecnico nos servir para
ww w.

at em

at ic

a1

.c om

introducir algunos conceptos, entre los que destacan las deniciones de caos y de los atractores caticos y extraos. Tras dar la ms simple de las deniciones de dimensin fractal, la usaremos para cuanticar el obstculo a la prediccin que supone la presencia de fronteras fractales entre cuancas de atraccin, incluso en ausencia de atractores caticos. Otro tipo de obstculo es generado, en el fenmeno de dispersin catica, por la presencia de rbitas peridicas no atractivas. Para terminar, mencionaremos algunos aspectos del caos que la longitud de este artculo ha obligado a dejar fuera.

El determinismo laplaciano
Al parecer la evolucin ha dotado al ser humano de una gran capacidad y tendencia a buscar explicaciones a los fenmenos que ocurren a su alrededor, lo que le hace muy propenso tanto a la curiosidad que mueve toda actividad cientca como a las supersticiones ms absurdas, por citar slo las consecuencias ms extremas de esa necesidad de entender que todos tenemos. En todo caso, hay pautas regulares muy visibles que no pudieron escapar a la atencin de nuestros antecesores hace milenios, como la incesante sucesin de das y noches, los meses lunares, las estaciones y su repercusin en el clima y en las tareas de recoleccin y, ms tarde, en la agricultura, o el movieminto del rmamento, con sus elementos inmutables (las estrellas jas que rotan al unsono) y los movimientos ms complicados pero ms o menos regulares de los planetas (vagabundos en el signicado original de la palabra). Pocas dudas podemos albergar sobre el inters que este orden celeste despert en los seres humanos y cuyo recuerdo pervive en monumentos megalticos como el famoso Stonehenge (3200 a 2500 A.C.), en la tablillas que desde 1800 A.C. recogen las observaciones meteorolgicas y astronmicas de la civilizacin babilonia, en la temprana astronoma china, en el calendario azteca, en ciertas construcciones mayas, etc. Tambin sabemos de tempranas explicaciones de carcter mitolgico o religioso del orden observado en el rmamento celeste, que es para unos la morada de los dioses y que para muchos ejerce una gran inuencia sobre los humanos (desde su obvia correlacin con las crecidas del Nilo, vitales para la agricultura egipcia, hasta supercheras como la astrologa). Pero aqu nos interesan nicamente las explicaciones cientcas. Cmo olvidar la perdurable inuencia de los trece libros de Claudio Ptolomeo que hoy conocemos por el nombre que les dieron los traductores rabes: el Almagesto? En ellos que, tras los Elementos de Euclides, constituyen uno de los textos cientcos de ms

ww

w.

at

em

at

ic a1

.c o

larga vida se propone un sistema que, basado en una de las guras geomtricas ms sencillas, la circunferencia, permita explicar y, lo que es ms importante, predecir el movimiento de los planetas con una precisin excelente para la calidad de las medidas astronmicas realizadas antes del siglo XVI. Es en la segunda mitad de esta centuria cuando tiene lugar la ingente labor de recogida de datos astronmicos realizada, antes de la invencin del telescopio, en cantidad y calidad sin precedentes por Tycho Brahe. Su sucesor, Johannes Kepler, se vali de esos datos, incompatibles con el sistema heliocntrico de Ptolomeo y con el geocntrico de Coprnico, para establecer sus famosas tres leyes que describen el movimiento de los planetas y se basan en otra las curvas bien conocidas por los gemetras de la antigedad: la elipse. Pero para una explicacin ms profunda, haca falta otro elemento importante: una ciencia, la mecnica, que estaba an muy poco desarrollada. Es imposible omitir a este respecto la mencin de las contribuciones de Galileo, entre las que es de especial relevancia para el tema que nos ocupa la observacin y descripcin de las oscilaciones lineales del pndulo, que no slo permitieron construir relojes mucho ms precisos, sino que constituyen el primer ejemplo de una de las tcnicas ms fructferas aunque, como veremos, de limitado alcance de las matemticas, la fsica y otras ciencias: la aproximacin lineal. Pero es la magna obra de Newton recogida en sus Principia donde no slo se establece una mecnica completa sino que, en un paso de una osada y acierto intelectual extraordinarios, slo explicables por un genio sin par, se enuncia su ley de gravitacin universal, que con el concurso de sus leyes del movimiento, permita explicar con gran precisin y detalle el movimiento de los astros. Las leyes contenidas en los Principia permitieron a Halley predecir en vida de Newton el retorno del cometa que lleva su nombre y gracias a desarrollos posteriores, que luego mencionaremos, y a tcnicas matemticas del clculo diferencial creado, al parecer independientemente, por Newton y Leibniz a Leverrier (y a Adams) descubrir en el siglo XIX el octavo planeta, Urano, no a travs del telescopio como haba hecho Herschel con Neptuno, sino mediante lpiz y papel. Este extraordinario valor predictivo de la mecnica celeste, que es presentada en forma mejorada en los cinco volmenes del Trait du Mcanique Cleste que e e e Pierre Simon Laplace comienza a publicar a nales del siglo XVIII, le conducen a decir lo siguiente: Una inteligencia que en un momento determinado conociera todas las fuerzas que animan a la naturaleza, as como la situacin o

ww

w.

at

em

at

ic

a1

.c

om

respectiva de los seres que la componen, si adems fuera lo suciena temente amplia como para someter a anlisis tales datos, abarcara a en una sola frmula los movimientos de los cuerpos ms grandes o a del universo y los del tomo ms ligero; nada le resultara incierto a a y tanto el futuro como el pasado estaran presentes ante sus ojos. El espritu humano ofrece, en la perfeccin que ha sabido dar a la o astronoma, un dbil esbozo de esta inteligencia. e sta es la esencia del determinismo laplaciano. Se puede predecir con total certeza el futuro si se cumplen tres premisas: 1) Se conocen las leyes (conociera todas las fuerzas) que gobiernan los fenmenos estudiados. Ser tarea de la ciencia correspondiente (fsica, economa, ecologa, etc.) hallar esas leyes, que darn el sistema dinmico (por ejemplo, un sistema de ecuaciones diferenciales, ordinarias o en derivadas parciales) que describa la evolucin del sistema. 2) Se conocen las condiciones iniciales (la situacin respectiva. . . ). Como asegura el correspondiente teorema de existencia y unicidad, para cada conjunto completo de condiciones iniciales existe una nica solucin, es decir, un futuro bien determinado. Pero esta existencia en principio de la solucin, aun teniendo carcter fundamental, no es suciente a efectos prcticos, como veremos enseguida. 3) Se es capaz de calcular la solucin (si adems fuera lo sucientemente amplia como para someter a anlisis tales datos) de forma exacta o aproximada, por mtodos analticos o numricos (hoy da, casi siempre, usando un algoritmo numrico en un rpido ordenador).

Los obstculos a la prediccin

Es fcil convencerse de que, aun admitiendo que la naturaleza o los fenmenos que estudiamos obedezcan en el fondo leyes perfectamente deterministas, en la prctica pueden aparecer obstculos de diversa ndole que diculten seriamente (o arruinen por completo) la prediccin de la evolucin futura. Empezando por el nal, podemos esperar ser siempre capaces de calcular la solucin de nuestro sistema dinmico, aunque sea de forma numrica, por muy rpidos que sean nuestros ordenadores y muy ecaces nuestros cdigos numricos? Hay que recordar que muchos sistemas fsicos son extraordinariamente complejos, con un nmero de componentes tan elevado el nmero de Avogadro que mide el

ww w.

at

em

at ic a1

.c om

nmero de tomos o molculas en un mol de cualquier sustancia es NA = 6.02 1023 que hace ilusoria la esperanza de calcular la posicin de todas las molculas de un litro de un gas, aun si simplicramos el modelo matemtico. Sabemos que en estos casos renunciamos, desde el principio, a tan detallado conocimiento y nos conformamos con el estudio de algunas magnitudes colectivas (por ejemplo, la temperatura en los distintos puntos de una barra) que describen alguna propiedades interesantes (la energa media de las partculas de la barra) y cuya evolucin puede ser determinista (gracias al teorema de existencia y unicidad para la ecuacin del calor). Acudimos para ello a ramas de la fsica como la termodinmica o la ms fundamental fsica estadstica, que a su vez tendr que usar herramientas matemticas como el clculo de probabilidades, en cuyo establecimiento tanta inuencia tuvo otro gran libro del mismo Laplace: Thorie Analytique des Probabilits (1812). e e La primera hiptesis del determinismo laplaciano era el conocimiento de las leyes que rigen los fenmenos sometidos a estudio. Dejando de lado el hecho de que nuestro conocimiento de las leyes naturales (o de la economa, por poner otro ejemplo) suele ser limitado, a veces esas mismas leyes imponen lmites a la capacidad de prediccin. El caso ms conocido es la interpretacin probabilstica de la mecnica cuntica y el principio de incertidumbre de Heisenberg: en el mundo microscpico la fsica no nos permite predecir dnde estar una partcula, sino o o a tan slo la probabilidad de encontrarla en un punto; ni siquiera pueden medirse o simultneamente con toda precisin la posicin y velocidad de la partcula. a o o En el mundo macroscpico, en la mecnica de uidos, existe un fenmeno cuya comprensin sigue siendo limitada: la turbulencia1 . Puesto que la ecuacin de evolucin de los uidos es conocida, una posible explicacin de la dicultad que a veces se asocia con los nombres de Landau y Hopf sera que se trata de un sistema muy complicado, con un nmero innito de grados de libertad. Sin embargo, desde hace tres o cuatro dcadas, cientcos de muy distintas especialidades han ido convencindose (y convencindonos) de que no hace falta un nmero grande de grados de libertad para tener comportamientos complicados. Recordemos lo que pasa con los dados: aun siendo un sistema relativamente
Al parecer, con relacin a este fenmeno Heisenberg dijo lo siguiente: Cuando me o o encuentre con Dios le har dos preguntas: por qu la relatividad? y por qu la turbulencia? e e e Estoy convencido de que tendr una respuesta para la primera. Frases anlogas se atribuyen a a a Lamb: Ahora soy viejo y cuando muera y vaya al cielo espero que me sean aclaradas dos cuestiones. Una es la electrodinmica cuntica y la otra el movimiento turbulento de los a a uidos. Soy bastante optimista con relacin a la primera. o
1

ww

w.

at

em

at

ic a1

.c om

sencillo cuya evolucin es descrita por la mecnica clsica, suelen ser aceptados como generadores de azar. Pero hay otro ejemplo, que ya preocupaba a Newton: el movimiento de la Luna y su generalizacin conocida con el nombre de problema de tres cuerpos. De hecho, fue estudiando este problema como Henri Poincar en el ensayo que gan el concurso convocado en 1889 por Oscar II rey de Suecia y Noruega entrevi por primera vez algunos de los aspectos de lo que ahora se conoce con el nombre de caos determinista. Sin embargo este trabajo (y otros de diversos matemticos y algn que otro astrnomo) tuvieron inicialmente una inuencia muy limitada, quiz porque la ausencia de ordenadores impidi visualizar algunos de los efectos prcticos de este tipo de fenmenos. Hubo que esperar a los aos 60 y 70 para que meteorlogos (Lorenz y el efecto mariposa), matemticos (Ruelle y Takens), fsicos (Feigenbaum) y bilogos (May) dieran un gran impulso al estudio del comportamiento catico de sistemas sencillos e hicieran notar a la comunidad cientca la importancia y ubicuidad del fenmeno, que a menudo est asociado a la imposibilidad prctica de cumplir con perfecta exactitud la segunda hiptesis del paradigma laplaciano. En efecto, como veremos luego, los inevitables errores en la determinacin de las condiciones iniciales son ampliados de forma exponencial por muchos sistemas dinmicos no lineales, de forma que la validez de la prediccin queda severamente limitada. El obstculo a la prediccin procede as de la conjuncin entre una realidad prctica (la precisin nita de toda medida) y la estructura matemtica de la ecuacin de evolucin.

Un dispositivo mecnico
Una buena parte de nuestra introduccin al caos se basar en un modelo matemtico simplicado del dispositivo mecnico de la gura 48. Una varilla de acero tiene un extremo jado en un soporte rgido mientras el otro puede oscilar entre dos imanes colocados simtricamente. El soporte se halla sometido a una fuerza externa armnica F = f cos t. Est claro que, por simetra y en ausencia de fuerza externa, en el centro es decir, cuando la varilla est en posicin vertical hay un punto de equilibrio inestable rodeado de dos puntos de equilibrio estables en posiciones simtricas con el extremo libre de la varilla cercano a uno de los imanes. Esta disposicin de puntos de equilibrio sugiere un modelo ingenuo en el que se sustituye la fuerza magntica sufrida por la varilla por la derivada cambiada de signo de un potencial como el que se muestra en la parte inferior de la gura 48, cuya representacin matemtica ms

ww

w.

at

em

at

ic a1

.c om

1 (5.1) V (x) = x2 2 x2 . 4 De este modo si, en un primer momento, despreciamos el rozamiento y la fuerza externa, la ecuacin del movimiento ser (tomando una masa unidad)

at

Si ahora aadimos una fuerza de rozamiento debida al aire proporcional a la velocidad ( x) y la fuerza externa, el sistema dinmico que describe la evolucin del sistema es la ecuacin de Dung: o x + x x + x3 = f cos t. (5.3)

(Escogeremos la unidad de tiempo de forma que = 1). Podramos tener la tentacin de pensar que hemos simplicado demasiado y, de hecho, esta ecuacin no nos resulta tan extraa. Si quitamos el segundo trmino entre parntesis es una ecuacin lineal de coecientes constantes con solucin trivial2 , pero, como veremos a continuacin, ese trmino no lineal tiene consecuencias dinmicas asombrosas, de forma que la ecuacin (5.3) es muy rica en comportamientos dinmicos.
Si, adems, cambiamos el signo del trmino que queda entre parntesis recuperamos el a e e oscilador armnico amortiguado, tan conocido de los cursos de f o sica de los primeros aos n de carrera y tan importante para introducir el fenmeno de resonancia. o
2

ww w.

x = V (x) = x x3 .

em

at

ic

sencilla es (en variables adimensionales)

a1

.c om

Figura 48 Un dispositivo mecnico y su modelo matemtico. a a

(5.2)

Oscilaciones peridicas o Supongamos inicialmente que no hay rozamiento ( = 0) ni fuerza externa (f = 0). En tal caso el sistema dinmico en conservativo y tenemos una integral primera (la ley de conservacin de la energa) que nos proporciona la ecuacin de las trayectorias en el espacio de fases (x, x): 1 2 1 2 x x 2 x2 = E. 2 4 (5.4)

Figura 49 Espacio de fases y algunas soluciones cuando = f = 0. En los mnimos de la energa potencial tenemos los centros estables (1, 0) mientras que al mximo le corresponde el origen (0, 0) que es un punto de ensilladura inestable. Las otras dos trayectorias de energa nula son rbitas homoclnicas que se hallan tanto en la variedad estable del origen como en la inestable. El resto de las trayectorias de fase corresponden a oscilaciones peridicas cuyas rbitas cerradas encierran un slo centro (si est dentro del correspondiente pozo de potencial: E < 0) o ambos (si la energa es suciente para pasar por encima del mximo: E > 0).

ww

w.

at

em

at

ic

a1

.c om

Oscilaciones amortiguadas Si ahora tenemos en cuenta el rozamiento, en toda rbita que no sea un punto de equilibrio la energa decrecer montonamente y (con las excepciones que luego consideraremos) la trayectoria tender hacia uno de los dos puntos (1, 0), que ahora son atractores puntuales: focos (o, en el caso sobreamortiguado > 8, nodos) asintticamente estables.

Figura 50 Espacio de fases y algunas soluciones para = 0, 2 y f = 0. El origen (0, 0) sigue siendo un punto de ensilladura inestable, pero ahora las variedades estable e inestable no coinciden. En esta ltima existen dos trayectorias que salen (en t ) del origen y tienden hacia uno de los atractores. Las dos rbitas de la variedad estable que entran en el origen (en t ) son ms interesantes, ya que al no ir a ninguno de los dos atractores constituyen la frontera entra las cuencas de atraccin de stos. Oscilaciones forzadas En presencia de fuerza externa los puntos de equilibrio son imposibles, pero el carcter peridico de la fuerza permite las soluciones peridicas, que ahora, a

ww w.

at

em

at

ic a1

.c o

Figura 51 Cuencas de atraccin para = 0, 2 y f = 0. o diferencia de lo que ocurra en el caso conservativo donde hay un conjunto innito de oscilaciones con perodos dependientes de la amplitud (es decir, de la energa), sern oscilaciones aisladas con un perodo compatible con el de la fuerza externa. Es bien conocido lo que pasa en el caso lineal: tras un transitorio denido por las condiciones iniciales se pierda la memoria de stas y la evolucin entra en un rgimen peridico permanente. Lo mismo sucede con el oscilador de Dufng para = 0.2 y f = 0.23: las soluciones tienden a uno de los dos atractores peridicos, las dos rbitas peridicas que abrazan cada uno de los desaparecidos puntos de equilibrio en (1, 0).

Figura 52 Una solucin para = 0.2 y f = 0.23. o

ww

w.

at

em at

ic a1

.c om

Estrictamente hablando, hace falta un tiempo innito para que la solucin alcance uno de los dos atractores3 , mas desde cualquier punto de vista prctico, a partir de cierto momento, a menudo no muy lejano, puede considerarse que la solucin se encuentra ya en el atractor y que se ha alcanzado el rgimen permanente: una oscilacin peridica.

Figura 53 Una solucin para = 0.2 y f = 0.3. o

Al aumentar la intensidad de la fuerza externa la naturaleza de la evolucin cambia por completo: las rbitas peridicas parecen desaparecer y las soluciones oscilan sin cesar, pero sin que se advierta ninguna regularidad.

Atractores caticos
Adems de la aparente irregularidad de la solucin el sistema exhibe en este caso una propiedad que suele tomarse como denicin de caos determinista: dependencia extrema con respecto a las condiciones iniciales. En efecto veamos lo que sucede si se consideran dos conjuntos de condiciones iniciales muy prximos en t = 0: (x, x) = (0.4, 0) y (x, x) = (0.40001, 0). Las soluciones son inicialmente indistinguibles a la resolucin de la gura 54, pero luego se separan muy rpidamente. Es fcil comprender dnde est la obstruccin a la prediccin: si el sistema es catico, en la evolucin los inevitables errores cometidos al determinar las condiEn la gura 52 slo se ha dibujado el atractor de la derecha, pero es evidente que, al ser o el sistema dinmico invariante bajo reexiones x x, existe uno simtrico a la izquierda. a e
3

ww

w.

M at

Oscilaciones caticas o

em

at ic

a1

.c o

Figura 54 Dos soluciones inicialmente muy prximas para = 0.2, f = 0.3. o ciones iniciales crecern de forma dramtica. De hecho, mientras las soluciones se mantienen an muy prximas, la distancia entre ellas crece como et , siendo el mximo exponente de Liapunov del sistema dinmico. Este obstculo a la prediccin se conoce con el nombre de efecto mariposa desde que uno de los padres de la disciplina, Edward Lorenz, diera una charla con el provocativo ttulo de Puede el batir de las alas de una mariposa en Brasil dar lugar a un tornado en Texas?.

Figura 55 Proyecciones de una rbita del atractor de Rssler. o o

Atractores extraos
Existe un ejemplo ms articial que permite comprender mejor uno de los mecanismos fundamentales del caos: el sistema de Rssler, que se escribe como x = y z, (5.5)

ww w.

at

em

at ic

a1

.c

om

y = x + by, z = b + (x a)z

(5.6) (5.7)

y que estudiaremos cuando a = 4.5 y b = 0.2. Una rbita tpica puede verse en la gura 55 donde se recogen las tres proyecciones cartesianas y otra a lo largo de la direccin (, ) = (59 , 41 ). Tambin en este caso vemos una rbita irregular, no peridica, que se mantiene en un subconjunto del espacio de fases tridimensional. De hecho observamos que una parte importante del tiempo est cerca del plano (x, y) donde la dinmica ser aproximadamente la correspondiente a tomar z = 0 en las ecuaciones (5.5)(5.6): x = y, (5.8) y = x + by. (5.9) Esto explica cmo se mueve el sistema cerca del plano z = 0 en una espiral hacia

at

ic a1
1

.c o

ww w.

at

em

Figura 56 La transformacin del panadero. o fuera, hasta que cerca del semieje positivo x el valor de x es lo sucientemente grande como para hacer z > 0 en (5.7). Entonces z empieza a aumentar hasta que, bastante antes de llegar al semieje negativo x, z = b + (x a)z se hace negativo y z comienza a decrecer de forma que la rbita vuelve a las cercanas del plano z = 0. Cerca de la espiral z 0 y durante los tramos en que z es positivo la distancia entre soluciones muy prximas crecer exponencialmente, es decir, habr dependencia sensible de las condiciones iniciales. Como se ve en la gura 56, las rbitas se separan entre s y las que estn en una cierta banda cerca de z = 0 se hallarn en una banda que sigue ensanchndose cuando z > 0, pero que luego se repliega sobre la banda que hay cerca del plano (x, y). Este doble proceso de estirar (para separar

Figura 57 Estructura del atractor de Rssler. o exponencialmente las rbitas) y plegar (para que la regin visitada del espacio de fases se mantenga acotada) es uno de los mecanismos fundamentales del caos determinista y siguiendo la tendencia de la ciencia de la sociedad de consumo a elegir, en perjuicio de las lenguas clsicas, nombres chocantes o con supuesto gancho publicitario se llama transformacin del panadero en evocacin o del proceso de homogeneizacin de los componentes de una masa de pastelera por medio del rodillo que estira la masa y del plegamiento de la misma sobre s misma para que mantenga dimensiones manejables. Adems de generar en el proceso de estiramiento un exponente de Liapunov positivo, que hace que el atractor sea catico, la transformacin del panadero es tambin responsable de la estructura del tipo de la del conjunto de Cantor que recordaremos en el apartado 5 del atractor que hace de l un atractor extrao. En efecto, como ste es un conjunto invariante que se repliega sobre s mismo una y otra vez, debe estar formado por un nmero innito de capas de espesor nulo, ya que el atractor tiene volumen nulo por ser el sistema disipativo y perderse constantemente volumen del espacio de fases. Este conjunto innito de capas que se esboza en la gura 57 le da al atractor su estructura fractal. Tambin en el caso de la ecuacin de Dufng (5.3) tenemos un atractor catico y extrao, aunque el mismo no es fcil de visualizar en proyecciones como las de la gura 55. Con f = 0 el espacio de fases es tridimensional pero la tercera variable, t, slo aparece en el argumento de un coseno, por lo que la correspondiente dimensin es cclica y se representa de forma natural mediante un ngulo

ww

w.

at e

at

ic

a1

.c o

0 t mod 2 < 2. Para visualizar el atractor, es til considerar una seccin estroboscpica del mismo para valores t = t0 + 2n, (n = 0, 1, . . .), es decir dibujaremos el corte del atractor con el plano = t0 .

Figura 58 Secciones estroboscpicas del atractor de Dung. o El propio atractor en el espacio de fases tridimensional es, como todo atractor, un conjunto invariante; pero en la gura 58 vemos 16 de esas secciones para t0 = (k 1)/8, (k = 1, 2, . . . , 16), que nos muestran la evolucin de la seccin estroboscpica con el tiempo. Si observamos con atencin la secuencia de secciones, podemos observar con claridad la transformacin del panadero en accin: el atractor se va estirando, al tiempo que se pliega sobre s mismo. Esto produce la divergencia exponencial de las soluciones y la estructura fractal del atractor, con un nmero innito de capas. Esa compleja estructura, con una invariancia de escala que, aunque aproximada, recuerda la exacta que poseen los conjuntos de Cantor, puede entreverse en las sucesivas ampliaciones de partes de la seccin t0 = 0 que se muestran en la gura 59.

Fractales
Recordemos cmo se dene el conjunto ternario de Cantor, que hemos mencionado en varias ocasiones. De un segmento se retira su tercio central, en los dos segmentos que quedan se retira el tercio central, y as sucesivamente. El

ww w.

at

em

at

ic a1

.c om

Figura 59 Ampliaciones de la seccin estroboscpica para t mod 2 = 0. o o conjunto que queda en el lmite de este proceso repetitivo tiene propiedades sorprendentes. Es fcil de mostrar que tiene tantos puntos como el segmento original, porque puede establecerse una correspondencia biunvoca entre los puntos de ambos conjuntos. En cambio, su longitud (su medida de Lebesgue) es nula, como se ve sumando las longitudes de los segmentos retirados. Es un fractal, porque su dimensin, que deniremos luego, es 0 < ln 2/ ln 3 < 1. Adems, presenta una invariancia de escala obvia: cada segmento de cada paso en el proceso de construccin es semejante al segmento de partida.

Figura 60 Construccin del conjunto ternario de Cantor y del copo de nieve o de von Koch. Es ste el ms simple, pero no el nico, de los objetos autosemejantes con propiedades sorprendentes conocidos en geometra desde el siglo XIX. Otro ejemplo famoso es el copo de nieve de von Koch, que se construye dividiendo en

ww

w.

at

em at

ic

a1

.c

om

tres cada lado de un tringulo equiltero y sustituyendo su tercio central por otros dos segmentos que con el formaran un tringulo equiltero. El proceso se repite, una y otra vez, con cada segmento. El lmite es una curva continua, sin derivada en ningn punto, de longitud innita y que encierra un rea nita.

Figura 61 Recubrimientos de un segmento y un cuadrado. Dimensin fractal o Para medir cuantativamente la complejidad de un fractal puede usarse una denicin apropiada de dimensin. La que mejores propiedades matemticas tiene es la dimensin de Hausdorff, pero es ms fcil de entender y ms til en aplicaciones prcticas la llamada capacidad que se dene como sigue. Para recubrir un segmento de longitud l se necesita un nico disco de dimetro d = l, N = 2 discos de dimetro d = l/2 y, en general, N = l/d discos de dimetro d. Puesto que la dimensin del segmento es D = 1, el nmero de discos de dimetro d necesarios para recubrirlo es N (d) = KdD (5.10) donde la constante K debe elegirse adecuadamente: la longitud l en este ejemplo. Es fcil convencerse de que la misma frmula es aplicable para recubrir un cuadrado con discos y D = 2, para recubrir un cubo con bolas y D = 3 y, en general, para recubrir cualquier conjunto normal. En consecuencia, como generalizacin se dene la capacidad mediante el lmte ln N (d) , (5.11) D = lim d0 ln d siendo N (d) el nmero de bolas necesarias dimetro d necesarias para recubrirlo. No es difcil demostrar (usando la invariancia de escala) que en el caso del copo de nieve de von Koch se obtiene D = ln 4/ ln 3 1.26186. Como la dimensin de este conjunto es superior a su dimensin topolgica, se dice que es un fractal.

Fronteras fractales entre cuencas de atraccin

Los atractores de la ecuacin de Dufng (5.3) para = 0.2, = 1 y f 0.13 no son caticos, sino ciclos lmite peridicos; pero como son dos, uno alrededor

ww

w.

at

em at

ic a1

.c om

Figura 62 Recubrimientos de la curva de von Koch. de cada mnimo del potencial, para predecir el futuro habr que saber en cul de las cuencas de atraccin se encuentran las condiciones iniciales. Para dibujar la proyeccin de las cuencas de atraccin, elegiremos siempre las condiciones iniciales en t = 0, de forma que si entonces la posicin es x = x0 y la velocidad x = x0 y la solucin tiende hacia el atractor de la derecha, dibujaremos en negro el punto de coordenadas (x0 , x0 ), que quedar en blanco si la solucin tiende al atractor de la izquierda.

Figura 63 Cuencas de atraccin de la ecuacin de Dung-en para o o f = 0.1, 0.15. En los dos casos de la gura 63 podemos observar si olvidamos el efecto debido a la resolucin nita del clculo que las cuencas de atraccin no son demasiado distintas de la del caso f = 0 recogido en la gura 51 y estn separadas por una frontera lisa. Si el error al determinar las condiciones iniciales es d, no estaremos seguros de hacia qu atractor irn los puntos que se encuentren a una distancia d o menor de la frontera entre cuencas. Para saber cuntos son esos puntos dudosos, recordemos que el nmero de discos de radio d que hacen falta para recubrir la frontera es N (d) dD mientras que para recubrir la parte de espacio de fases mostrada es N (d) dF , siendo D y F las dimensiones de la frontera y el espacio de fases, respectivamente. En consecuencia la proporcin de condiciones iniciales dudosas ser dF D y el exponente de incertidumbre z = F D. Si

ww

w.

at

em

at

ic

a1

.c om

la frontera es lisa, tendremos D = F 1 y z = 1, de forma que para disminuir en un factor 10, por ejemplo, la proporcin de condiciones iniciales de futuro dudoso, debemos mejorar en el mismo factor la calidad de la medida de las mismas.

Figura 65 Ampliaciones de la cuencas de atraccin de la ecuacin de Dung o o para f = 0.2.

Dispersin catica
Es ste otro aspecto del caos, en el que en vez de un atractor extrao existe

ww

Sin embargo, si la frontera fuese fractal, tendramos F 1 < D < F y para ganar ese mismo factor habra que hacer un esfuerzo mucho mayor. Por ejemplo, si tuviramos D = F 0.2 para reducir en un factor 10 la proporcin de condiciones iniciales dudosas habr que reducir 105 veces el error cometido al determinarlas. Es claro el obstculo a la prediccin que esto supone, incluso si el sistema no tiene atractores caticos. En la ecuacin de Dufng, tenemos fronteras fractales entre cuencas de atraccin para f = 2 y f = 2.3, por ejemplo, como se intuye en la gura 64 y, con ms claridad, en la gura 65.

w.

at

em

at

ic

a1

.c om

Figura 64 Cuencas de atraccin de la ecuacin de Dung-en para o o f = 0.2, 0.23.

un conjunto invariante extrao no atractivo. Como en la dispersin el movimiento asinttico es libre resulta muy simple, pero aun as puede ser difcil de predecir.

Nos limitaremos a considerar uno de los casos ms sencillos en dos dimensiones: tres discos rgidos inmviles contra los que se enva una partcula puntual que colisiona elsticamente con los discos hasta que consigue salir de entre ellos. Se desprecia el rozamiento. Los discos de radio unidad estn colocados en los vrtices de un tringulo equiltero de lado 2.5. Supongamos que se enva una partcula puntual a lo largo de una recta paralela a un eje de simetra y que dista de l un parmetro de impacto b. Al salir a de la regin de interaccin, lo har en una cierta direccin dada por el ngulo de dispersin que forma su velocidad con el eje. En la gura 66 se han dibujado las trayectorias de las partculas con b = 0.325 + n105 para n = 0, 1, 2. An siendo inicialmente indistinguibles, los ngulos de dispersin son bien distintos. Como la direccin de salida depende del parmetro de impacto b, tendremos una funcin de dispersin (b), que como se ve en la gura 67, tiene trozos o o continuos y otros que aparentan ser discontinuos, como lo muestran las sucesivas ampliaciones de la gura 67: el conjunto de puntos de discontinuidad de (b) tiene una estructura fractal anloga a la del conjunto de Cantor. Al igual que suceda con las fronteras fractales entre cuencas de atraccin, aun cuando el movimiento nal es

ww

w.

at e

at

Figura 66 Tres discos r gidos y tres rbitas. o

ic a1

.c o

Para comprender mejor el fenmeno, hemos dibujado en la gura 68 el nmero de choques que sufre la partcula antes de salir de la regin de dispersin. Puede apreciarse que ese nmero es claramente superior cerca de los puntos de discontinuidad de la funcin de dispersin. La razn estriba en considerar las rbitas peridicas que puede tener una partcula que estuviera desde siempre y para siempre rebotando entre discos. Dichas rbitas son innitas pero inestables. Una rbita de dispersin como las que hemos considerado no ser nunca peridica, pero puede mantenerse muy cerca de una rbita peridica durante un nmero importante de choques. Si dos rbitas inicialmente muy prximas sufren por ese motivo un nmero grande de choques, pueden acabar saliendo en direcciones bien distintas, ya que la distancia entre ellas es ampliada en cada choque, lo que a su vez puede hacer variar el nmero de choques. sta es por tanto la razn del obstculo a la prediccin: el conjunto invariante que engloba las rbitas peridicas no es atractivo, pero ampla la distancia entre rbitas inicialmente muy prximas que pasen

ww

muy sencillo, puede resultar muy difcil prever el futuro si el parmetro de impacto que nos interesa est muy cerca de uno de los puntos de discontinuidad. Debera ser claro que la denicin e inters del coeciente de incertidumbre del anterior apartado puede aplicarse aqu casi al pie de la letra.

w.

at e

at

Figura 67 Funcin de dispersin. o o

ic

a1

.c om

cerca del mismo.

Figura 68 Angulo de dispersin y nmero de choques. o u

En la somera introduccin al caos hecha en las anteriores pginas no ha sido posible mencionar ms que un nmero limitado de aspectos del mismo. No queremos, sin embargo, dejar de citar algunos de los otros temas de inters en la disciplina. As, nada se ha dicho sobre uno de los temas de investigacin ms activo en los ltimos aos y que tiene un gran inters prctico: el control del caos. La dinmica simblica permite extraer importantes consecuencias de complejos sistemas dinmicos: por ejemplo, permite analizar las rbitas peridicas inestables responsables de la dispersin catica del apartado 5. Para los fsicos resulta de gran inters la traduccin del caos de la mecnica clsica a la mecnica cuntica, donde las ecuaciones de evolucin son lineales y, por ello, no caticas. Tambin resultan tiles las generalizaciones de las tcnicas del grupo de renormalizacin, que tan fructferas han sido en fsica de la materia condensada y en altas energas: permiten entender la aparicin de nmeros universales, es decir, ampliamente independientes del sistema dinmico particular analizado. Por n, digamos que sistemas caticos han sido usados en libros, cine y diseo por ordenador para generar un cierto tipo bastante peculiar de belleza.

ww

w.

at

em

Otros aspectos del caos

at

ic

a1

.c

om