por
Juan M. Aguirregabiria, Universidad del Pas Vasco
Introduccin
La palabra caos proviene del griego kaos, que significa abertura, oquedad
insondable y que en la Teogona de Hesodo designaba el espacio vaco infinito 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 significado
de confusin y desorden. Sin embargo, desde hace unas tres dcadas, el sustantivo
caos aparece a menudo calificado 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
significan 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
81
82 5. Introduccin al Caos Determinista
introducir algunos conceptos, entre los que destacan las definiciones de caos y de
los atractores caticos y extraos. Tras dar la ms simple de las definiciones de
dimensin fractal, la usaremos para cuantificar 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 ten-
dencia 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 cientfica 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
firmamento, con sus elementos inmutables (las estrellas fijas que rotan al unsono)
y los movimientos ms complicados pero ms o menos regulares de los planetas
(vagabundos en el significado 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 firmamento celeste, que es para unos la morada
de los dioses y que para muchos ejerce una gran influencia 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 cientficas. Cmo olvidar
la perdurable influencia 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 cientficos de ms
83
larga vida se propone un sistema que, basado en una de las figuras geomtricas
ms sencillas, la circunferencia, permita explicar y, lo que es ms importante, pre-
decir 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, incompati-
bles 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 matemti-
cas, 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 com-
pleta 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 per-
mitieron 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 tc-
nicas matemticas del clculo diferencial creado, al parecer independientemente,
por Newton y Leibniz a Leverrier (y a Adams) descubrir en el siglo XIX el oc-
tavo 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 Traite du Mecanique Celeste que
Pierre Simon Laplace comienza a publicar a finales del siglo XVIII, le conducen a
decir lo siguiente:
Una inteligencia que en un momento determinado conociera to-
das las fuerzas que animan a la naturaleza, as como la situacion
84 5. Introduccin al Caos Determinista
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 as-
trnomo) tuvieron inicialmente una influencia muy limitada, quiz porque la ausen-
cia 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 bi-
logos (May) dieran un gran impulso al estudio del comportamiento catico de sis-
temas sencillos e hicieran notar a la comunidad cientfica 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 finita 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 mate-
mtico simplificado del dispositivo mecnico de la figura 48. Una varilla de acero
tiene un extremo fijado 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.
Oscilaciones peri
odicas
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. (5.4)
2 4
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.
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
90 5. Introduccin al Caos Determinista
Estrictamente hablando, hace falta un tiempo infinito para que la solucin al-
cance 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 solu-
cin se encuentra ya en el atractor y que se ha alcanzado el rgimen permanente:
una oscilacin peridica.
Oscilaciones ca
oticas
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 definicin de caos determinista: de-
pendencia 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 figura 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 condi-
3
En la figura 52 solo se ha dibujado el atractor de la derecha, pero es evidente que, al ser
el sistema dinamico invariante bajo reflexiones x x, existe uno simetrico a la izquierda.
92 5. Introduccin al Caos Determinista
y = x + by, (5.6)
z = b + (x a)z (5.7)
y que estudiaremos cuando a = 4.5 y b = 0.2. Una rbita tpica puede verse en la
figura 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
1 2
3 4 5
Figura 56 La transformacion del panadero.
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 transformaci on del panadero en evocacin
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 infinito 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 infinito de capas que se esboza en la
figura 57 le da al atractor su estructura fractal.
Tambin en el caso de la ecuacin de Duffing (5.3) tenemos un atractor catico
y extrao, aunque el mismo no es fcil de visualizar en proyecciones como las de la
figura 55. Con f 6= 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
95
Fractales
Recordemos cmo se define 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
96 5. Introduccin al Caos Determinista
conjunto que queda en el lmite de este proceso repetitivo tiene propiedades sor-
prendentes. Es fcil de mostrar que tiene tantos puntos como el segmento original,
porque puede establecerse una correspondencia biunvoca entre los puntos de am-
bos 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 definiremos luego, es 0 < ln 2/ ln 3 < 1. Adems, presenta una
invariancia de escala obvia: cada segmento de cada paso en el proceso de construc-
cin es semejante al segmento de partida.
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 infinita y que encierra un rea finita.
Dimensi
on fractal
Para medir cuantativamente la complejidad de un fractal puede usarse una defini-
cin 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 define como sigue. Para recubrir un seg-
mento 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
define la capacidad mediante el lmte
ln N (d)
D = lim , (5.11)
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 Duffing (5.3) para = 0.2, = 1 y f 0.13
no son caticos, sino ciclos lmite peridicos; pero como son dos, uno alrededor
98 5. Introduccin al Caos Determinista
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 = x 0 y
la solucin tiende hacia el atractor de la derecha, dibujaremos en negro el punto de
coordenadas (x0 , x 0 ), que quedar en blanco si la solucin tiende al atractor de la
izquierda.
Dispersin catica
Es ste otro aspecto del caos, en el que en vez de un atractor extrao existe
100 5. Introduccin al Caos Determinista
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 definicin e inters del coeficiente de incertidumbre del anterior
apartado puede aplicarse aqu casi al pie de la letra.
Para comprender mejor el fenmeno, hemos dibujado en la figura 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 discon-
tinuidad de la funcin de dispersin. La razn estriba en considerar las rbitas
peridicas que puede tener una partcula que estuviera desde siempre y para siem-
pre rebotando entre discos. Dichas rbitas son infinitas pero inestables. Una r-
bita 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 atrac-
tivo, pero ampla la distancia entre rbitas inicialmente muy prximas que pasen
102 5. Introduccin al Caos Determinista
Figura 68 Angulo de dispersion y n
umero de choques.