Historia Cualitaiva

This is a reprint of
Lecturas Matem
aticas
Volumen 25 (2004), p
aginas 59111
Un siglo de teora cualitativa de

ecuaciones diferenciales
poles Valdes
Juan E. Na
Universidad de la Cuenca del Plata, Argentina
Lecturas Matem
aticas
Volumen 25 (2004), p
aginas 59111
Un siglo de teora cualitativa de

ecuaciones diferenciales
poles Valdes
Juan E. Na
Universidad de la Cuenca del Plata, Argentina

Abstract. In this essay, we present some ideas related to the
development of the qualitative theory of ordinary dierential equations, mainly to the techniques directly related to the theory of
limit cycles.
Key words and phrases. Qualitative theory of ordinary dierential
equations, History of mathematics.
2000 Mathematics Subject Classification. Primary: 01A65. Secondary: 01A72
Resumen. En el trabajo presentamos algunas ideas relativas al
desarrollo de la teora cualitativa de las ecuaciones diferenciales
ordinarias vinculadas, sobre todo a las tecnicas relacionadas directamente con la teora de ciclos lmites.
1. Introducci
on
En los u
ltimos 50 a
nos hemos presenciado, un notable desarrollo de
un campo de la fsica matematica, designado con el nombre de mec
anica
no lineal. Este termino, probablemente, no es del todo correcto, pues
los cambios no han ocurrido en la propia mec
anica, sino mayormente, en
las tecnicas de resolucion de sus problemas, sobre todo los tratados con
Juan E. Napoles Valdes
54
ayuda de las ecuaciones diferenciales, que ahora se sirven de ecuaciones

diferenciales no lineales.
Esta no es una idea nueva en la mecanica. En efecto, estos problemas
no lineales son conocidos desde los estudios de Euler, Lagrange y otros
geometras, sucientes para ilustrar este perodo no lineal de m
as de
un siglo. La principal dicultad de estos estudios, hoy cl
asicos, radica
en la ausencia de un metodo general para tratar estos problemas, los
cuales eran tratados sobre todo, con articios especiales para obtener
su soluci
on. 1892 es un annus mirabalis en la formalizaci
on de metodos
generales para la teora de las ecuaciones diferenciales no lineales y la
e,1 convirtieron la nolinealidad
mecanica no lineal. Liapunov y Poincar
en su objeto de estudio y aportaron metodos y conceptos fundamentales
en el estudio de las ecuaciones diferenciales lineales y no lineales.
Ese a
no se public
o la famosa memoria de Liapunov Problema general de la estabilidad del movimiento (en ruso), y el primer volumen del
e,
celebre Les Methodes Nouvelles de la Mecanique Celeste de Poincar
que marcaron un hito en el desarrollo de las ecuaciones diferenciales, en
particular, cuando sus resultados son combinados con las nuevas tecnicas
as estricto, almatematicas desarrolladas durante la pasada centuria2 . M
gunos aspectos de estos trabajos han mostrado su conexi
on con la teora
del caos, el nuevo paradigma de las matem
aticas y la fsica. Por ejeme sobre movimientos cercanos a o
rbitas
plo, los resultados de Poincar
1
Para mayores detalles biogr

acos de Poincar
e (1854-1912) y Liapunov (18571918) puede consultarse, por ejemplo, G. Darboux: Eloge historique dHenri
Poincare lu dans la seance publique annuelle du 15 decembre 1913, Gauthier
Villars, Pars, 1913; A. T. Grigorian: Lyapunov, Alexandr Mijailovich, Dictionary of Scientic Biography 8, New York (19701990), 559563 y A. M.
Lukomskaya & V. I. Smirnov (eds.): Aleksandr Mikhailovich Lyapunov,
Bibliografa, MoscowLeningrad, 1953.
Vease tambien http://www-gap.dcs.stand.ac.uk/history/Mathematicians/Lyapunov.html.
2
Para una mayor informaci
on tecnica, cons
ultese por ejemplo J. Mawhin: The
Centennial Legacy of Poincare and Lyapunov in Ordinary Dierential Equations,
Rendiconti del Circolo Matematico di Palermo, Serie II, no. 34 (1994), 946 y J. E.
poles V. & C. Negro
n: De la mecanica analtica a las ecuaciones diferenNa
ciales ordinarias, LLULL (Espa
na), 17 (no. 32) (1994), 190206 (un resumen de este
trabajo fue publicado en el Bol. Soc. Cub. Mat. Comp., no. 15 (1993), 19).
Un siglo de teora cualitativa de ecuaciones diferenciales
55
homoclnicas y heteroclnicas y el concepto de Liapunov de n

umeros
caractersticos, hoy llamados exponentes de Liapunov.
Despues de esa centuria de totalitarismo, se ha descubierto que las
matematicas pueden ser en ocasiones el estudio de estructuras y que
la fsica puede ser la fsica cuantica. Y el com
un denominador de esta
liberalizaci
on es la no linealidad.
La teora cualitativa es una idea asombrosa, se ha desarrollado al hilo
de una tradici
on alimentada por dos fuentes: de una recibe su caracterizacion teorica, program
atica; de la otra, su consistencia pr
actica y
paradigm
atica. Seg
un la primera, la teora cualitativa es la uni
on de
metodos y tecnicas matematicas de variados campos (analisis funcional,
topologa, etc.). Conforme a lo segundo, el paradigma de esta idea es
la prueba rubricada por las aplicaciones de las ecuaciones diferenciales;
se ha dicho incluso que el primer rasgo caracterstico de las ecuaciones
diferenciales es sus aplicaciones3 .
Tomemos un sistema con dos grados de libertad, es decir, uno en el
que podemos dibujar las guras en el plano. A diferencia del pendulo,
que tambien reside en el plano (o, al menos, sobre un cilindro, que es
pr
acticamente lo mismo), este sistema no sera hamiltoniano. De hecho,
no corresponder
a a ning
un modelo fsico particular. Se tratara de una
construcci
on puramente matem
atica, pensada para ilustrar el comportamiento tpico que presentara un sistema con dos grados de libertad.
Puede recordarse que, dada una u
nica ecuaci
on diferencial, podemos
visualizar el movimiento de todos los puntos iniciales posibles si pensamos en un uido imaginario que corre a lo largo de las trayectorias
de la ecuaci
on. Si escogemos un punto de partida, es decir, un conjunto
de condiciones iniciales para la ecuaci
on, entonces las coordenadas de
su movimiento subsiguiente son las soluciones de la ecuaci
on diferencial
para dicha condici
on inicial.
La imagen de como se ajustan estas lneas de ujo se denomina retrato
de fases de la ecuaci
on (Figura 1). Retrato parece ser sucientemente
Basta echar un vistazo al desarrollo hist

orico de las ecuaciones diferenciales para
comprobar tal armaci
on.
56
claro, y es mas imaginativo que muchos terminos matematicos. La curiosa palabra fase, parece ser que proviene del campo de la ingeniera
electrica. Las formas onduladas oscilantes tienen una amplitud, que nos
dice lo grandes que son, y una fase, que nos indica el lugar del ciclo en
que se encuentran. Si se representan ambas, se obtiene un dibujo en el
plano.
El ujo se indica por lneas curvas, que corresponden a la evoluci
on
temporal de las coordenadas de varios puntos iniciales. Las echas indican la direccion del movimiento a medida que transcurre el tiempo.
Figura 1. Retrato de fases de un ujo en un plano que muestra (de izquierda

a derecha) un sumidero, una silla de montar, un ciclo lmite y una fuente.
N
otese como el ujo encaja en su conjunto: las echas en las curvas m
as
pr
oximas se hallan alineadas bastante mas juntas. Esto signica que
el uido imaginario, cuyo ujo est
a representado por las lneas, no se
separa: el movimiento es continuo.
Existen cuatro caractersticas de este ujo particular sobre las cuales
me gustara llamar la atenci
on.
Primero, en la parte izquierda hay un punto hacia el cual conuyen en
espiral todas las lneas de ujo pr
oximas. Se le conoce como sumidero.
Es bastante similar a un tubo de desag
ue. Enfrente, en la parte derecha,
57
hay un tubo de desag

ue al reves, un punto a partir del cual el uido se
desparrama en espiral. Se le llama fuente. Piensese en el agua saliendo
a borbotones de un manantial.
En la parte central existe un lugar donde las lneas de ujo parecen
cruzarse. Se le conoce como silla de montar (o punto de silla). De hecho,
las lneas no se cruzan; sucede algo mas interesante, si dos chorros de un
uido real chocan uno con el otro, se ven estas sillas de montar.
Finalmente, rodeando la fuente, a la derecha, hay un bucle que se
cierra una sola vez. Este es un ciclo lmite. Se parece a un remolino, donde el uido gira y gira. Un torbellino. Hablando grosso modo,
los ujos en el plano poseen estas caractersticas (algunas o todas), y
nada m
as verdaderamente tpico. Puede que haya m
as de una de estas caractersticas, pero no se encontrara nada m
as complicado. Pero,
primero, pong
amonos nosotros mismos al corriente m
as detalladamente
con respecto a estas cuatro caractersticas fundamentales de los ujos
en el plano, es decir, de las ecuaciones diferenciales con dos grados de
libertad.
Sumideros. Un sumidero (Figura 2) es un lugar en donde una lnea
de ujo degenera para convertirse en un u
nico punto, hacia el cual conuyen todos los puntos vecinos. Si el sistema inicia su movimiento en el
punto central de un sumidero, no sucede nada. Simplemente se queda
ah. As pues, el sumidero representa un estado estacionario del sistema.
Por ejemplo, un pedazo de masa de repostera en un recipiente de los
usados para batir puede permanecer en reposo en el fondo.
Figura 2. Un sumidero
Figura 3. Una fuente
58
Mientras tanto, si el sistema comienza su movimiento por un punto

pr
oximo al sumidero, se movera hacia el. Si se deja el pedazo de masa
un poco en la parte superior de las paredes del recipiente, resbalar
a de
un modo pegajoso hacia abajo, hasta que alcance el fondo y se pare
(estoy usando masa pegajosa para introducir la fricci
on: si se usase una
bolita sin fricci
on, tendramos un sistema hamiltoniano y sucedera algo
bastante diferente).
Esto signica que el estado estacionario en un sumidero es estable. Si
tomamos el punto que representa el estado de un sistema y lo alejamos
un poco del sumidero, entonces dicho punto gira en espiral dirigiendose
de nuevo hacia el punto de donde parti
o. Si se empuja la masa un
poquito hacia arriba por la pared del recipiente, rodar
a hacia abajo.
Los sumideros son, pues, estados estacionarios estables.
Fuentes. Las fuentes (Figura 3) son tambien estados estacionarios.
Pero, ahora, los puntos vecinos se alejan. Es como un pedazo de masa
colocado sobre un recipiente volcado. Si se tiene mucho cuidado, puede
conseguirse que este quieto en la parte superior, pero si se le da un leve
empuj
on, resbala por las paredes y cae. Es decir, el estado estacionario
es inestable. Recuerdese que el pedazo de masa solo es muy ligeramente
pegajoso: no se adherira a una pendiente. Y piensese en un recipiente
con un fondo redondeado, no con uno plano. Quiz
as una analoga mejor
consista en tratar de poner en equilibrio un canto rodado encima de
otro. Puede hacerse -con cuidado-, pero resbalar
a con solo una brizna
de viento.
Sillas de montar. Las sillas de montar (Figura 4) son mas interesantes. Tambien son ese tipo de cosas en las que solo pensara un
matematico, excepto que la madre Naturaleza tiene todava una imaginaci
on m
as viva. En cierto sentido, son estados estacionarios que son
estables en algunas direcciones e inestables en otras.
Imaginemos un jinete con poca experiencia montado en un caballo,
sobre una silla que ha sido engrasada. Si el jinete se mueve hacia adelante
o hacia atr
as en la silla, simplemente se deslizara retrocediendo a la
posici
on central. Pero si empieza a resbalar hacia los lados, volcar
a. Su
posici
on es estable con respecto a los desplazamientos hacia adelante
59
y hacia atr
as; inestable con respecto a los desplazamientos laterales.
Debido a este tipo de analoga, a tales puntos se les da el nombre de
sillas de montar.
El punto de en medio de la cruz, el punto de silla propiamente dicho,
es -igual que todas las trayectorias que se reducen a puntos u
nicos- un
estado estacionario. Dos lneas de ujo se denominan las separatrices
de la silla. Se designan de esta forma porque separan el modo en que
uyen puntos pr
oximos. Imaginemonos recorriendo una separatriz desde
la izquierda de la Figura 4. Si empezamos justo por encima de ella,
daremos un giro brusco hacia la izquierda a medida que nos aproximemos
ni punto de silla; si empezamos por abajo, efectuaremos un giro brusco
hacia la derecha.
Figura 4. Una silla de montar: las lneas que se cruzan en el centro son sus
separatrices.
Parece como si se estirase el ujo hasta desgarrarse en el punto de

silla. Pero dije anteriormente que no es as. Esto es debido a que las
separatrices no pasan realmente por el punto de silla, en el sentido siguiente: si nos aproximamos al punto de silla a lo largo de su separatriz,
nos costara un tiempo innito alcanzarlo. As, en las proximidades de
dicho punto, el ujo se vuelve innitamente lento. El uido se estirara
los lados, pero no se desgarra.
60
Podramos pensar que las sillas son menos comunes que las fuentes y
los sumideros. Pero, de hecho, no lo son. Expondremos otra analoga,
que ayuda a explicar por que. Imaginemos un paisaje monta
noso, y
pensemos en que lugares es horizontal el suelo (o, al menos, el plano
tangente). Hay picos, puntos desde los cuales cualquier direccion es
hacia abajo, an
alogamente a las fuentes. Hay depresiones, desde las
cuales cualquier direcci
on es hacia arriba, an
alogamente a los sumideros.
Y hay curvas, en donde algunas direcciones son hacia arriba y otras
son hacia abajo, estos son an
alogos a las sillas.
En un pas de monta
nas, los pasos son tan comunes como los picos
y las depresiones. Mrese un mapa de los Alpes suizos. Por similitud,
las sillas son tan comunes como las fuentes y los sumideros. Puede
verselas, por ejemplo, en las isobaras de los mapas del tiempo, as como
los bucles cerrados que estan indicados por altas o bajas, que rodean
las fuentes y los sumideros de presi
on. Las isobaras se representan a
unas determinadas presiones, m
ultiplos de 10 milibares. De este modo,
raras veces se ven las separatrices en s mismas, con su forma de cruz
caracterstica; pero se puede reconocer su presencia por las cuatro curvas
d
andose la espalda que aparecen en las proximidades.
Poincar
e, y Bendixson4 , demostraron un teorema que prueba que
tpicamente solo tienen lugar estos cuatro tipos de comportamiento
en un sistema de ecuaciones diferenciales en el plano. Pero no es cierto
que toda ecuaci
on diferencial tenga s
olo estas cuatro caractersticas. Se
pueden inventar cosas m
as complicadas facilmente: lugares donde se
cruzan tres lneas, o ciclos lmites que son estables por dentro e inestables
por fuera.
4
Ivar Otto Bendixson (1861-1935). Matematico sueco, professor en la Stockholm University y Royal Technological Institute, desde 1911 hasta 1927 fue rector de
la universidad. Hizo contribuciones importantes en
algebra y an
alisis, aunque es
seguramente m
as recordado por el teorema de Poincare-Bendixson, que ocupa un lugar central en nuestro trabajo. Mayores detalles en Bendixson, Ivar Otto, Svenskt
Biogra.skt Lexikon 3 (Stockholm, 1922), 146150 y L. Garding: Mathematics and
Mathematicians: Mathematics in Sweden before 1950, Providence, RI, 1998, p
ags.
109112.
61
Aqu es donde aparece la palabra tpica. En un sentido que puede

hacerse perfectamente preciso, pero a expensas de tecnicismos, tales como hablar de epsilon-homeomorsmos, cosas que consideramos no adecuadas para este trabajo, puede demostrarse que tales excepciones son
innitamente raras. Si sumideros, fuentes, sillas y ciclos lmites son como
cuando al lanzar una moneda sale cara o cruz, entonces, las excepciones
son como cuando sale canto. S, en teora puede suceder; pero, en la
pr
actica, no lo hace.
En nuestro trabajo mostraremos algunas de las tendencias actuales
de la teora cualitativa de las ecuaciones diferenciales ordinarias vinculadas, sobretodo, a las tecnicas relacionadas directamente con la teora
de ciclos lmites, y como este desarrollo puede ser ilustrado mediante
el propio avance conceptual y metodol
ogico de las ecuaciones diferenciales ordinarias5 . En cualquier caso, como veremos en el trabajo, las
diferentes vas de analisis del desarrollo de la teora de ciclos lmites,
convierten a esta en un interesante n
ucleo de problemas6 .
5
poles & C. Negro

n, ob. cit., y los trabajos del autor
Vease J. E. Na
El legado hist
orico de las ecuaciones diferenciales ordinarias. Consideraciones (auto)crticas, Boletn de Matem
aticas, 5(1998), 5379 (http://www.matematicas.unal.
edu.co/revistas/boletin/vol5n1/98050105.pdf), Del caos y esas cosas. Una introducci
on comentada a la matem
atica contempor
anea, Revista Argentina de Ense
nanza de
la Ingeniera, A
no 2, No. 3, 2001, 65-74 y Ley, orden y caos en el Universo, Revista
Argentina de Ense
nanza de la Ingeniera, A
no 2, No. 4 (2001), 6776.
6
En un marco general sobre las perspectivas actuales en Filosofa e Historia de
las Matem
aticas sobre el conocimiento matem
atico, se deben destacar los ensayos de
Morris Kline: Matematica. La perdida de la certidumbre, Madrid: Siglo XXI,
atica, Barcelona: Labor, 1988, as como
1985, y de R. Hersh: Experiencia matem
los trabajos de Mark Steiner: Mathematical Knowledge, Ithaca: Cornell University Press, 1975, por su agudeza crtica; Raymond L. Wilder: Mathematics as
a Cultural System, New York/Oxford: Pergamon Press, 1981, una visi
on pr
oxima
(aunque un tanto supercial) a un sentir hoy com
un sobre los aspectos culturales, sociales e hist
oricos del desarrollo de las matem
aticas; Philip Kitcher: The Nature
of Mathematical Knowledge, New York/Oxford: Oxford University Press, 1983, como
perspectiva general del campo tem
atico con singular atenci
on a algunos puntos (e.g.
la discusi
on del presunto estatuto a priori del conocimiento matem
atico, el cambio
hist
orico en Matem
aticas, la rigorizaci
on) y Mary Tiles: Mathematics and the Image of Reason, London/ New York: Routledge, 1991 una sntesis hist
orica-los
oca
apropiada.
62
No deja de ser sorprendente que hoy da (en la onda postmoderna

del autodenominado pensamiento debil, en pleno auge del falibismo y
de otras epistemologas desilusionadas), dispongamos de algunos algoritmos efectivos que nos llevan logicamente en una serie nita de pasos a
resultados exactos (y nos hacen saber que ciertas clases de problemas son
solubles, aunque s
olo sea en ambitos matematicos de reducido alcance),
y de patrones de desarrollo que nos dan a conocer la necesidad o la imposibilidad racional de algo, sin descartar, por supuesto, las palabras de
Morris Kline al ilustrar el estado actual de la teora de la demostraci
on
cuando arma que ...las demostraciones de una generacion son las falacias de la siguiente.7
2. Ciclos lmites como signos de los tiempos

Aqu no me referire a las investigaciones del plano de fases vinculadas
a la teora de la estabilidad, a excepci
on de las necesarias para la correcta
comprensi
on de la exposicion. Para mayor claridad, hemos dividido la
presentaci
on, en diversos epgrafes.
Naturalmente, los apuntes presentados no pasan de ser un inventario
provisional y abierto por diversos motivos. Sin embargo, no dejan de
ser, creo, un tanto elocuente. Es un tema que, desde luego, no nos dir
a
gran cosa de las m
ultiples direcciones de la teora cualitativa, pero si
reviste cierta importancia para la historia de las ecuaciones diferenciales ordinarias por su valor de sntoma. Por otro lado, la consideraci
on
de esta suerte de indicios indirectos y sintom
aticos tiene hoy el interes
a
nadido de servir como una aplicaci
on o puesta a prueba de una perspectiva historiogr
aca, la llamada teora de la recepci
on, recientemente
invocada para renovar la historia de las matem
aticas8 . En suma, el desarrollo de la teora de ciclos lmites (a
un incompleta) puede ilustrar las
posibilidades y limitaciones de la teora de la recepci
on, al tiempo que
7
Vease M. Kline, ob.cit., p

ag. 384.
Consulte el maniesto de J. McCleary: A Theory of Reception for the History
of Mathematics, en The History of Modern Mathematics (eds. D. Rowe & J.
McCleary), New York, 1989, vol. 1: Ideas and their Reception.
8
63
nos da una informaci

on (al menos indirecta y complementaria) sobre la
suerte de la teora cualitativa en los tiempos modernos. A principios de
la decada de 1960, un topologo americano, Stephen Smale9 , retomo la
teora cualitativa de las ecuaciones diferenciales donde la haban dejado
Poincar
e y sus sucesores, especialmente George David Birkhoff. La
topologa haba avanzado mucho durante el medio siglo transcurrido:
puede que el momento fuera el adecuado para el progreso. Y aunque la
mayora de los top
ologos haban olvidado que la topologa provena de
problemas fsicos, Smale no lo haba olvidado.
e y Smale realizaron imHe de mencionar ahora que entre Poincar
portantes contribuciones a la din
amica (
unicamente estoy seleccionando
el hilo de un rico tapiz). Como dije al comienzo Liapunov, introdujo
los llamados exponentes de Liapunov, que se emplean corrientemente
como un metodo para detectar la presencia del caos. El trabajo de
Aleksandr Andronov, Aleksandr Adolfovich Vitt y S. E. Khaikin
sobre los osciladores no lineales, junto con las ideas topol
ogicas basicas
on especial en una seccion
de Solomon Lefschetz, merecen una menci
posterior. La escuela rusa fundada por Andrei Kolmogorov ha hecho numerosos descubrimientos fundamentales, inspirados por la teora
cinetica de la din
amica de los gases. En particular, tom
o la noci
on de
entropa, previamente un concepto de termodin
amica, y la deni
o para
un sistema dinamico arbitrario. El criterio de Kolmogorov-Sinai, sobre
la entropa no nula, es uno de los m
as ables para el caos. D. V. Anosov
introdujo y estudi
o una clase importante de sistemas caoticos, y Ya. G.
Sinai fue la primera persona que demostr
o el resultado extremadamente
difcil de que un sistema de partculas elasticas, simulando un gas, se
comporta, de hecho, ca
oticamente. Vladimir Arnold tiene una inuencia tremenda en el desarrollo de la din
amica moderna, especialmente en
los sistemas hamiltonianos, quizas con esto bastara, pero nombres como Pontriaguin, Chetaev, Barbashin, Krasovski, Bogdanov, entre
otros, son m
as que sucientes para ilustrar la importancia de la escuela
rusa (ver el Apendice para detalles especcos de la Escuela de Gorki).
La escuela norteamericana tena en Smale un abanderado ilustre.
9
(1930-?).
64
Smale tena una mente muy original. En su tesis doctoral demostr

o
un teorema general que implica, entre otras muchas cosas, que se le
puede dar la vuelta a una esfera (sin romperla) cambiando el interior
a permitido pasarla a traves de ella misma; pero ha
con el exterior10 . Est
de permanecer lisa, sin pliegues en ning
un lugar ni en ning
un momento.
Esto sonaba tan extra
no que su director de tesis no poda creerlo, pero
result
o que Smale estaba en lo cierto. Sin embargo, no fue hasta muchos
a
nos despues cuando alguien consigui
o hacerlo exactamente. Una de
las personas que lo realiz
o, el matematico frances Bernard Morin, lo
haca ciego. En realidad, visualizar no es la palabra adecuada. La
intuici
on, no la vista, es lo que se necesita para la topologa. Smale
fue el top
ologo mas destacado de la epoca, responsable de varios otros
descubrimientos importantes, incluyendo la primera demostraci
on, en
cinco o m
as dimensiones, de un problema que Poincare propuso en
1906, y que el resto de las personas pensaba que era impenetrable.
o el termino sistema
Para destacar el nuevo punto de vista, Smale us
din
amico en lugar de sistema de ecuaciones diferenciales. Y penso
en los sistemas dinamicos en terminos de su geometra, la topologa del
retrato de fase, en lugar de las f
ormulas empleadas para denirlos. De
hecho, el raramente escribio f
ormula alguna. Esto tenda a confundir a
los teoricos de las ecuaciones diferenciales clasicas. Smale llego a ponerlos furiosos al bombardearlos con conjeturas que ellos ya saban que eran
falsas. Pero esto no era mas que su modo de abordar el verdadero problema; y pronto los bombarde
o con verdaderos teoremas que sorprendieron,
incluso, a los m
as expertos.
Entre las primeras cuestiones que se pregunto haba una muy natural:
cual es el analogo en tres (o m
as) dimensiones del teorema de PoincareBendixson? O sea, cual es la lista de formas tpicas en que se comporta
un sistema de ecuaciones diferenciales?
10
Llamado la eversi
on de la esfera. Vease, por ejemplo, Francis, G.; J. M.
Sullivan; R.B. Kusner; K.A. Brakke; C. Hartman & G. Chappell:
The minimax sphere eversion, in Visualization and Mathematics, eds. Hege &
Polthier, Springer, 1997, pags. 320, que contiene un esbozo historico y laminas a
colores muy ilustrativas.
65
Poincar
e ya haba comenzado a estudiar esta cuesti
on. Hall
o todas
las clases tpicas posibles de estado estacionario. Hay cuatro. Son las
fuentes, los sumideros y dos tipos diferentes de sillas de montar. Una
fuente todava tiene todos los puntos pr
oximos moviendose hacia fuera,
y un sumidero es lo opuesto de una fuente. Una silla de montar puede
tener una supercie de puntos que se mueven hacia fuera y una lnea
de puntos que se mueven hacia adentro, o una lnea de puntos que se
mueven hacia afuera y una supercie de puntos que se mueven hacia
adentro.
Por supuesto, se pueden encontrar ciclos lmite en el espacio tridimensional, pero ahora son de tres clases: estables, inestables y con forma de
silla de montar.
Eso pareca ser todo. Nadie haba encontrado otras pautas de ujo
tpicas.
2.1. Ciclos Lmites. Los ciclos lmites son realmente interesantes.
Si empezamos en uno (Figura 5), siempre estaremos dando vueltas,
repitiendo constantemente el mismo movimiento. El movimiento es
peri
odico. Hay dos tipos basicos de ciclo lmite. El que se muestra
en la gura de abajo es un ciclo lmite estable: los puntos proximos se
mueven hacia el. Tambien existe un ciclo lmite inestable: los puntos
pr
oximos se alejan de el (para dibujarlo, basta con invertir todas las
echas de dicha gura).
Figura 5. Un ciclo limite estable es un bucle cerrado hacia el cual convergen las
trayectorias vecinas
66
Los crculos lmites dieren de las fuentes, de los sumideros y de las

sillas en que no podemos detectarlos mirando u
nicamente cerca de un
punto. Hemos de observar toda una region. Esto es lo que hace m
as
difcil detectar el movimiento peri
odico que los estados estacionarios.
Tambien lo hace mucho m
as interesante matem
aticamente hablando.
En 1927, un ingeniero electrico holandes llamado Balthasar van der
o un ciclo lmite extremadamente importante. Este tiene
Pol encontr
lugar en un modelo matem
atico de una valvula electronica (lo que se
conoce como tubo de vaco en los Estados Unidos de America). Estas

se usaban en las radios hasta que en 1947 William Shockiey, John
Bardeen y Walter Brattain, de los laboratorios de la Bell Telephone,
inventaron el transistor. Un an
alisis matematico similar tambien se aplica a los transistores. El ciclo lmite de Van der Pol corresponde a una
v
alvula oscilante: que da lugar a una forma ondulada la cual va hacia arriba y hacia abajo repetidamente. Suena como un silbido o un
chirrido.
Las ondas de radio oscilantes son la base de la transmisi
on por radio.
La idea es comenzar con una onda regular que oscila muy r
apidamente
y entonces cambiar su forma de acuerdo con el sonido que se supone que
representa. Las dos formas estandares para hacer esto son la modulaci
on
de la amplitud (AM) y la modulaci
on de la frecuencia (FM). La primera
cambia el tama
no de la onda mientras que la segunda cambia el espaciado entre las ondas. Pero primero se necesita un oscilador regular, para
poder tener algo que modular. De este modo, el ciclo lmite en el oscilador matematico de Van der Pol tiene importantes consecuencias para
la tecnologa. Es reconocido que uno de los descubrimientos fundamene, es el establecimiento de la existencia de estos ciclos
tales de Poincar
lmites que, como dije, pueden ser clasicados en estables (E), inestables
(I) y semiestables (S). Estos ciclos lmites, son estructuras crticas a las
cuales estan vinculadas casi todas las nociones que indicaremos.
Estas nociones seran m
as completas si las consideramos estructuras
topol
ogicas. As tenemos que en el interior de un ciclo lmite E existe
un punto singular I; an
alogamente, en el interior de un ciclo lmite I,
existe un punto singular E. De esta forma, la historia de un fen
omeno
oscilatorio puede brindarse completa. En el caso de un ciclo lmite E,
67
la trayectoria se desarrolla a partir del punto singular I y se enrolla

sobre el ciclo lmite por el interior. Para los ciclos lmites I, tenemos
el caso contrario. Estas observaciones son v
alidas para las trayectorias
exteriores.
Es com
un designar el primer caso por el smbolo IE y el segundo por
EI; la primera letra se reere a la estabilidad del punto singular y la
segunda a la estabilidad del ciclo lmite.
La mayor parte de los fen
omenos que nos encontramos en las aplicaciones son caracterizados por la conguraci
on IE, baste como ejemplo la
as se encuentra
ecuaci
on de Van der Pol x + (x2 1)x + x = 0, que m
en la teora de las oscilaciones autoentretenues.
Otras conguraciones simples que nos podemos encontrar, son las
as llamadas policclicas que designaremos por el smbolo IEIE . . . o
bien EIEI . . . ; la primera letra se reere a la estabilidad del punto
singular, centro de la conguraci
on, y las otras a la estabilidad de los
ciclos sucesivos hasta el exterior. Una conguraci
on del genero EIE
sera llamada una excitaci
on dura.
e, quien las estudi
o tamEstas generalizaciones son debidas a Poincar
bien, cuando existen varios puntos singulares en el interior de un ciclo.
En este caso, cada punto es caracterizado por su ndice. Llamaremos
ndice de la curva asociada al campo de vectores, al n
umero entero de
veces (generalmente 1) que el vector regresa con relacion a su posici
on;
este n
umero j es positivo si el vector regresa en el mismo sentido que
el punto C0 de contacto del campo con la curva, en caso contrario, j es
tomado con signo menos.
Exactamente el demostro el siguiente resultado:
Para que una curva cerrada, conteniendo un n
umero de
singularidades con ndices +1 y 1, sea un ciclo debe
suceder que
n
j = +1 .
j=1
El mostr
o que los nodos, los focos y los centros tienen el n
umero j = +1,
mientras que el punto de silla posee j = 1.
68
La determinaci
on directa de un ciclo lmite a partir de una ecuaci
on
diferencial es una tarea muy difcil. La dicultad radica en que para
determinar la existencia de un ciclo, el conocimiento de la ecuacion diferencial (o sea de sus parametros) no es suciente. Es necesario conocer
la naturaleza de la soluci
on (generalmente desconocida) de suerte que
estamos en un crculo vicioso.
Sin embargo, algunas tentativas han tenido exito, as el criterio de
Bendixon11 , permite decidir sobre la ausencia de ciclos lmites. Exe y Bendixon. Este
iste tambien un criterio positivo, debido a Poincar
criterio permite usar una analoga hidrodin
amica que identica los elementos singulares (puntos singulares, ciclos) como ujos positivos y los
elementos estables (puntos singulares, ciclos) como ujos negativos. Esta analoga es muy u
til, en las cuestiones del an
alisis de la estructura
topol
ogica del plano de fases.
Para sistemas dinamicos sobre el plano o sobre la esfera, estos resultados han sido generalizados por Denjoy12 para el caso del toro y por L.
on 2.
Schwartz13 para cualquier variedad de dimensi
11
Sur les courbes denies par des
equations dierentielles, Acta Math., 24 (1901),
188.
12
Arnaud Denjoy (1884-1974). Matematico frances. Alumno de Borel,
Painlev
e y Emile Borel en la Ecole
Normal Superieure, donde se gradu
o en
1906, pasando a la Fondation Thiers donde prepar
o su disertaci
on de 1909: Sur les
produits canoniques dordre inni. Fue profesor en Montpellier, Utrecht y Pars.
Por sus conocidos aportes a la teora de funciones de una variable real, recibi
o
muchos honores, fue elegido a la Academie des Sciences en 1941, perteneci
o a diversas academias en la URSS (laureado con la Medalla M.V. Lomonosov de Oro
en 1970), Amsterdam, Warsaw, and Liège. En 1954 recibi
o el honor de ser elegido Vicepresidente de la IMU. Vease mayores detalles en http://www-gap.dcs.stand.
ac.uk/history/Mathematicians/Denjoy.html
13
Matem
atico frances (1915-2002). Graduado de la Ecole
Normal Superieure en
1937, obtuvo su doctorado en Strasbourg en 1943. Las principales contribuciones de
Schwartz a la matematica, estan referidos a la teora de las distribuciones. Medalla
Fields en 1950, recibi
o muchsimos m
as premios, entre los que se destacan los de la
Academie des Sciences de Paris en 1955, 1964 y 1972. En 1972 fue electo miembro
de la Academia. Tambien recibi
o doctorados honorcos de muchas universidades,
incluyendo Humboldt (1960), Bruselas (1962), Lund (1981), Tel-Aviv (1981), Montreal (1985) y Atenas (1993). Cons
ultese tambien: http://www-gap.dcs.st-and.ac.uk/
history/Mathematicians/Schwartz.html para detalles adicionales.
69
En el caso de la ecuaci
on u + h(u)u + g(u) = 0, que cuando g(u) = u
es la llamada ecuacion de Lienard, se puede demostrar, bajo ciertas
condiciones, la existencia de una u
nica soluci
on peri
odica. Problemas
enard15 , resultados
de este tipo se remontan a B. Van der Pol14 y Li
an
alogos, concernientes a la ecuaci
on u +h(u, u )u +g(u) = e(t), fueron
dados por Levinson, Langenhop y Opial mas adelante y a
un hoy son
motivo de continuos renamientos16 .
2.2. Teora de la bifurcaci
on. En los trabajos concernientes a los
e estudi
o la inuencia de un par
aproblemas cosmogonicos17 , Poincar
metro de la ecuaci
on diferencial sobre la naturaleza de las soluciones.
Introdujo la denici
on siguiente (es claro que la solucion depende de este
parametro):
1. Si para peque
nas variaciones del par
ametro, digamos = 0 , la
solucion de la ecuaci
on diferencial, vara solamente de forma cuanametro
titativa, este valor 0 se denomina valor ordinario del par
.
on entra
2. Si, por el contrario, para un cierto valor = 0 , esta variaci
n
a un cambio cualitativo de la soluci
on, este valor 0 se llamara un
valor crtico o de bifurcaci
on.
e estudia, entre otras, la cuesti
on
En este artculo de 1885, Poincar
de cuales son las formas posibles de equilibrio de una masa de uido
homogeneo (sujeto a la gravedad) cuando gira alrededor de un eje jo
con un momento angular constante w, llegando a la conclusi
on de que
on en las formas de
para ciertos valores w0 y w1 existe una bifurcaci
e en su Les
equilibrio. A
nos mas tarde (1892-1899) el mismo Poincar
14
(1889-1959). On oscillation hysteresis in a triode generator with two degrees of

freedom, Philos. Mag. (6) 43 (1922), 700-719.
15
AlfredMarie Li
enard: Etude
des oscillations entretenues, Revue
Generale de lElectricite 23 (22) (1928), 901954.
16
Consulte la tesis doctoral del autor: Comportamiento cualitativo de las trayectorias de sistemas no aut
onomos de ecuaciones diferenciales ordinarias (Universidad de
Oriente, Santiago de Cuba, 1994), donde se presenta un desarrollo hist
orico bastante
completo de la teora cualitativa de sistemas bidimensionales.
17
Acta Math. 7 (1885): Figures dequilibre dune masse uide anim
ee dun mouvement de rotation, Pars 1905.
70
methodes . . . plantea un problema de bifurcaci

on para estudiar, como
ya dijimos, un sistema din
amico dependiente de un par
ametro.
o en la primera
Cabe destacar tambien a Liapunov, el cual desarroll
decada del pasadosiglo, una serie de trabajos, publicados en 1908, relativos al fen
omeno de la bifurcaci
on y que siguen teniendo mucha inuencia a
un hoy da.
Con posterioridad, son de gran interes los estudios de V. Karman
(1910), L. Landau (1944) y de E. Hopf, quien en 1942 hizo un trabajo completo sobre la bifurcaci
on de soluciones peri
odicas a partir de
una posici
on de equilibrio. Por u
ltimo recordemos a Crandall y a
Rabinowitz cuyos trabajos en los u
ltimos a
nos, aportan una serie de
resultados de gran importancia en los problemas de bifurcaci
on. De la
propia denici
on de valor de bifurcaci
on, y siguiendo a Andronov18 y
Pontriaguin19 , se deduce que para = 0 el sistema es no rudo.
18
Alexander A. Andronov (1901-1952), cientco ruso sobresaliente, una de
las personas m
as prominentes en la teora de sistemas din
amicos y uno de los pioneros de la ciencia nolineal. Fue tambien un gran tutor de investigaci
on para muchos
cientcos y estudiantes, el creador de la mundialmente conocida Escuela de Gorky
de oscilaciones nolineales, y coautor de varios famosos libros que jugaron un papel
importante en la instrucci
on de muchas generaciones de cientcos nolineales en la
anterior Uni
on Sovietica y en todo el mundo. Estos incluyen Teora de oscilaciones
amicos en
por Andronov, Vitt & Khaikin, Teora cualitativa de sistemas din
el plano, en dos vol
umenes, y Teora de la bifurcaci
on de sistemas planos por Andronov, Leontovich, Gordon & Maier. Sin exageracion se puede decir que
Alexander Andronov es uno de los cientcos que formaron la cara moderna de
la teora de oscilaciones nolineales de sistemas din
amicos. Sus enfoques a la ciencia
y la educaci
on, la penetraci
on profunda en el progreso futuro de la ciencia nolineal,
as como su personalidad brillante hace que persista en la memoria de sus numerosos
alumnos, de los seguidores, y de todas las personas que avalan la ciencia en Rusia, y en
el exterior. Alexander Andronov fue uno de los fundadores del Departamento
de la Fsica de la Radio en la Universidad de Nizhny Novgorod, (anteriormente Gorky
en 1946) y uno de sus primeros conferencistas brillantes. Era el primer departamento
en este campo en la antigua Uni
on Sovietica, y hasta hoy es uno de los principales
en el campo de la fsica de la radio y campos relacionados (la fsica del plasma,
las microondas, la electr
onica del quantum, la ac
ustica, la ingeniera electrica, etc.).
19
Lev Semionovich Pontriaguin (1908-1988) matematico ruso (nacido en

Mosc
u) de renombre mundial. La perdida de la vista a los catorce a
nos en un accidente
71
Para simplicar, consideremos el sistema autonomo de ecuaciones diferenciales de primer orden, dependiente de un par
ametro :
x = P (x, y, ) ,
y = Q(x, y, ) ;
donde P y Q son funciones analticas de sus argumentos. Como el

cuadro cualitativo de las trayectorias, en el plano de fases, se determina
por elementos singulares, los valores de bifurcacion del par
ametro ,
provocan la aparici
on de elementos singulares que tienen naturaleza no
ruda. Cuando con el valor de bifurcaci
on, aparece en el plano de fases,
solo un elemento singular, se suele decir, que el sistema anterior posee
primer grado de dureza. En semejantes sistemas, los elementos no rudos
pueden ser de uno de los siguientes tipos:
1. Estado complicado de equilibrio, que se obtiene durante la uni
on de
dos puntos singulares sencillos (por ejemplo, nodo y ensilladura).
2. Foco o centro degenerado.
3. Ciclo lmite doble, por ejemplo uno estable y el otro inestable.
4. Separatriz que va de una ensilladura a otra, o bien a ella misma.
Poincar
e menciona que las posiciones de equilibrio aparecen (o desa-
parecen) por pares en la forma de las races de ecuaciones algebraicas.

Estas ideas fueron generalizadas por Andronov en el caso de la bifurcacion del ciclo a partir de un punto singular. Supongamos que tenemos
no le impidi
o graduarse en la Universidad de Mosc
u, donde se convirti
o en profesor
en 1935. Fue uno de los top
ologos rusos m
as destacados y trabaj
o en el estudio
de grupos topol
ogicos, en la dualidad de la topologa algebraica y en ecuaciones
diferenciales, su libro, Topological Groups (1939), es todava un est
andar de trabajo.
En 1941 fue uno de los primeros en recibir el Premio Stalin (posteriormente llamado
Premios de Estado). En 1961 el public
o Teora matem
atica de procesos o
ptimos con
sus estudiantes V. G. Boltyanskii, R. V. Gamrelidze y E. F. Mishchenko,
al a
no siguiente apareci
o una traducci
on inglesa y, tambien en 1962, Pontryagin
recibi
o el Premio Lenin por su libro. En los a
nos siguientes, produjo una serie de
artculos en juegos diferenciales que extiende su trabajo en la teora del control. El
trabajo de Pontryagin en la teora del control se discute en la retrospectiva de
E. J. McShane: The Calculus of Variations from the beginning through Optimal
Control Theory, SIAM Journal on Control and Optimization 27 (5) (1989), 916939.
En 1970 fue honrado a nivel mundial, al ser elegido a Vicepresidente de la Uni
on
Internacional de Matem
atica (IMU), para mayores detalles cons
ultese http://wwwgap.
dcs.st-and.ac.uk/history/Mathematicians/Pontryagin.html
72
la conguraci
on topol
ogica IE y que, gracias a un par
ametro variable
apropiado, podemos modicar la conguraci
on de manera que el ciclo
estable E disminuya indenidamente hasta que se confunda en el lmite
= 0 sobre el punto singular. Andronov arma que
IE (IE)0 E ,
igualmente EI (EI)0 I .
Llamaremos a este genero de bifurcaci

on, bifurcaci
on de primera especie.
Signica que si el ciclo lmite disminuye indenidamente, como resultado
de la variaci
on del par
ametro, cuando el ciclo se confunda con el punto
singular (lo que es indicado entre parentesis) los dos desaparecen y dan
nacimiento a un punto singular de estabilidad opuesta al que exista
anteriormente.
Existe tambien la bifurcaci
on de segunda especie que deniremos en
e
el sentido de Poincar
IEI (EI) I ,
igualmente EIE (EI)E E .
En esta bifurcaci
on dos soluciones peri
odicas (una estable y la otra inestable) se confunden en el lmite = 0 para desaparecer despues. Las
echas dobles en estas relaciones, indican que estos fenomenos de bifurcaci
on son reversibles cuando se cambia el sentido de variaci
on del
parametro .
Conociendo la estructura de partici
on del espacio de fases, para alg
un
punto del plano de los par
ametros (que puede ser una recta, un plano
propiamente dicho o un espacio de determinada dimensi
on, en dependencia del n
umero de par
ametros que aparezcan) se puede, desplazandonos
continuamente por este plano, hallar la estructura del espacio de fases
para cualquier otro punto del plano de dichos par
ametros. Con ello, es
necesario conocer solo el caracter de la bifurcaci
on que tiene lugar en
el espacio de fases, al pasar por una u otra frontera de bifurcaci
on. En
esto consiste el valor heurstico de la teora de bifurcaci
on.
Ahora bien, la teora de la bifurcaci
on en sistemas dinamicos (y semidin amicos) constituye uno de los campos mas trabajados en los u
ltimos
tiempos en el area de las ecuaciones diferenciales. En ella se pueden distinguir dos tendencias: una de car
acter formal que se basa en metodos
del an
alisis funcional, la otra de tipo din
amico-geometrico, con enfasis en
73
las propiedades cualitativas (como la estabilidad) de los sistemas considerados. Con respecto a la segunda, podemos decir que s
olo ahora
es que se estan dando pasos en la creaci
on de una teora unicadora,
que permita desarrollar, de manera sistematica, los metodos de analisis
apropiados.
En particular, han faltado criterios generales para la existencia de una
bifurcaci
on de un punto de equilibrio (o de un conjunto invariante) en dependencia de un par
ametro. La metodologa requerida es precisamente
la teora general de los sistemas din
amicos y sus extensiones en espacios
de dimensi
on tanto nita como innita. Un primer paso en la direcci
on
20
de una tal teora unicadora fue dada en 1976 , cuando los autores probaron de nuevo y aplicaron al problema de existencia de bifurcaciones,
un principio de persistencia (o de robustez) para la estabilidad asint
otica
bajo peque
nos cambios del par
ametro.
Este principio fue formulado, originalmente en la primera mitad de
los a
nos 60, independientemente, por P. Seibert y T. Yoshizawa21 y
dice que cuando un sistema que contiene un atractor22 estable (conjunto
asint
oticamente estable) es sometido a una peque
na perturbaci
on, en el
sistema resultante aparece un atractor estable cerca del atractor original. En el trabajo de 1976, se extendi
o al resultado principal del artculo
23
on de Hopf que fue
de Hopf de 1942 que dio origen al termino bifurcaci
descrito m
as arriba y que, en su esencia, en el caso de un sistema plano,
dice que si al pasar un par
ametro a un determinado valor crtico, los
autovalores complejos conjugados de la parte lineal del sistema cambian
20
Marchetti, F.; P. Negrini, L. Salvadori & M. Scalia: Liapunov
direct method in approaching bifurcation problems, Ann. Mat. Pura Appl. (4) 108
(1976), 211226.
21
Stability under perturbations in generalized dynamical systems, Internat. Symp.
Nonlinear Dierential Equations and Dynamical Systems, Acad. Press, New York,
1963, 463473 y Stability Theory by Liapunovs Second Method, Jap. Math. Soc.,
Tokyo, 1966, respectivamente.
22
Termino usado primeramente por Smale y no por Ren
e Thom (1923
2002)como muchos se
nalan.
23
Abzeweigung einer periodischen Losung von einer stationaren Losung eines Differentialsystems, Ber. Math. Phys. Sachsische Akad. d. Wiss., Leipzig, 94 (1942),
1-22.
74
del signo negativo al positivo, el origen se convierte de foco estable en

uno inestable y se separa de el una orbita peri
odica estable. La extension mencionada consiste en reemplazar la condici
on que se reere a la
parte lineal por otra, m
as general, que pide simplemente el cambio de
la estabilidad asint
otica del origen (o de un conjunto invariante) a la
inestabilidad completa (o, como se dice tambien, a la calidad del repulsor). Este resultado es importante en casos donde la parte lineal del
sistema no da informacion necesaria. Tambien es aplicable a sistemas
mas generales que los denidos por ecuaciones diferenciales ordinarias.
on
Actualmente, algunos trabajos sobre el tema24 utilizan la bifurcaci
de Poincare-Andronov-Hopf generalizada, que no es mas que el tipo de
fenomeno caracterizado por la conversi
on de un atractor estable en un
repulsor al sobrepasar el par
ametro a un valor crtico, y que seg
un el resultado citado, es necesariamente acompa
nado por la escisi
on del atractor en dos o mas conjuntos invariantes, pasando la estabilidad a uno
o mas de ellos.
2.3. Estabilidad estructural. Lo primero que hizo Smale al comenzar sus estudios sobre sistemas dinamicos, fue decidir sobre el signicado preciso de tpico. No se pueden demostrar buenos teoremas si no se
tiene una idea clara sobre lo que se esta hablando. La idea necesaria,
para sistemas con dos grados de libertad, fue inventada por Aleksandr
nos treinta. Usaron el termino
Andronov y Lev Pontryagin en los a
sistemas rudos, gruesos o burdos. La idea es que el comportamiento
atpico siempre puede descomponerse haciendo cambios muy peque
nos
en las ecuaciones. Por ejemplo, un lugar donde se cruzan tres lneas de
ujo puede descomponerse en una con guraci
on de tres puntos de silla
(Figura 6). Por otra parte, las cuatro clases tpicas de comportamiento
en el plano no cambian si en las ecuaciones se hacen cambios sucientemente peque
nos. Si la altura de una monta
na cambia ligeramente,
digamos unos pocos metros, por efecto de un debil terremoto, los picos
siguen siendo picos, las depresiones, depresiones, y los pasos, pasos. Todos ellos cambian un poco, pero no se puede destruir totalmente un pico
con un peque
no terremoto.
24
Vease P. Seibert & J. S. Florio:On the Foundations of Bifurcation Theory,

Reporte de Investigaci
on, UAM-Iztapalapa, 1993 y las referencias citadas all.
75
Smale generaliz
o la idea de Andronov y Pontriagin a los sistemas
con muchos grados de libertad, y acu
no el termino estructuralmente
estable para denotar un ujo cuya topologa no cambia si se alteran las
ecuaciones que lo describen en una cantidad sucientemente peque
na.
Esta es una idea muy diferente a la de estado estable de una ecuaci
on
duda. Esta es una solucion que es estable frente a peque
nos cambios en
las condiciones iniciales. Pero la estabilidad estructural es una propiedad
de todo el sistema, y es estable con respecto a peque
nos cambios en el
sistema completo de ecuaciones.
Figura 6. Inestabilidad estructural: una silla de montar con tres separatrices se

rompe por la acci
on de peque
nas perturbaciones, y da lugar a tres sillas de montar y
a un sumidero
Es importante destacar, que la estabilidad estructural debe considerarse en un contexto determinado. El contexto comprende: a) una
clase de sistemas matematicos C, b) una clase de perturbaciones P , c)
una relaci
on de equivalencia R. En este contexto, un sistema es estructuralmente estable si demostramos que toda perturbaci
on en P , lleva a
un sistema en C que es equivalente, con respecto a R, al original. Un
pendulo simple, por ejemplo, considerado como un oscilador no forzado,
es un sistema estructuralmente inestable (en el modelo usual) si la clase
de perturbaciones incluye la posibilidad de terminos de amortiguamiento. Restringiendo las perturbaciones al caso no disipativo solamente, es
posible restaurar la estabilidad estructural.
76
Si consideramos la existencia de simetra, debemos restringir las clases

P y C consecuentemente y as, de manera sucesiva.
Figura 7. Representacion esquematica de un atractor general, denotado aqu por

una A negra: las regiones pr
oximas (sombreadas) se contraen hacia el atractor a
medida que pasa el tiempo
Despues Smale se pregunt

o: cualquier sistema din
amico estructuralmente estable en tres dimensiones posee u
nicamente fuentes, sumideros,
los dos tipos de sillas de montar y los tres tipos de ciclo lmite? De modo
mas general, podemos hacer armaciones similares para sistemas con
un n
umero arbitrario de grados de libertad?
Pareca como si no hubiera ejemplos que refutaran esta conjetura:
todo lo que se haba encontrado que fuese m
as complicado que los sumideros, las fuentes y los ciclos lmites, resultaba ser estructuralmente
inestable y, por lo tanto, no tpico. Por otra parte, Smale no poda establecer que estos constituyesen la lista completa. El teorema, si es que
en verdad era un teorema, resista todos los esfuerzos que se hicieron
para demostrarlo. La respuesta la encontraremos en la seccion 2.5.
2.4. El m
etodo de las transformaciones puntuales. Haba una
nicos atracbuena raz
on por la que Smale no poda demostrar que los u
tores en los sistemas tpicos fueran los puntos y los ciclos lmites. Porque
no era cierto.
77
Finalmente, se dio cuenta de esto. El primer ejemplo, que se remonta a

los matematicos rusos V. V. Nemytskii y V. V. Stepanov en 1949, tena
cuatro grados de libertad, pero, al n y al cabo, al espacio tridimensional
le ocurra lo mismo que al espacio tetradimensional.
Muchos de los aspectos de la conducta de las trayectorias de fases de
un sistema dinamico y, en una serie de casos, el retrato completo del
espacio de fases, pueden ser aclarados mediante la investigaci
on de la
conducta de los puntos de intersecci
on de las trayectorias con el llamado
segmento sin contacto (en el caso de un espacio de fases bidimensional)
o bien con la supercie secante (en el caso tridimensional).
La secuencia de los puntos de interseccion forma cierta transformaci
on
puntual T , al estudio de la cual se reduce el problema acerca de la
investigaci
on de la conducta de las trayectorias de fase. Con ello, resulta
que la estructura del sistema dinamico que consideramos se determina,
biunvocamente, por la estructura de la transformaci
on puntual T . En
particular, las soluciones peri
odicas de las ecuaciones diferenciales, o
sea, las trayectorias cerradas de fase, se ponen en correspondencia con
los puntos jos de la correspondiente transformaci
on puntual T . A un
movimiento peri
odico, estable o inestable, le corresponde un punto jo
estable o inestable.
Tracemos en el plano de fases, por los puntos no singulares un segmento que corte a la trayectoria t en cierto punto M (interior al segmento),
y en un cierto instante de tiempo que puede considerarse inicial. Si en
posteriores instantes de tiempo, la curva corta repetidas veces el segmento AB, se dir
a que el punto M tiene sucesores o posteriores. Entonces,
sobre la base del teorema sobre la dependencia de la soluci
on respecto
a los valores iniciales, todos los puntos en el segmento AB, sucientemente proximos al punto M , tambien tienen sucesores. Sean s y s
las coordenadas del punto M y de su sucesor sobre el segmento AB,
de acuerdo con lo anterior, existir
a la dependencia funcional s = f (s),
que lleva el nombre de funci
on secuencial. Ella expresa la ley de cierta
transformaci
on puntual del segmento AB (o parte de el) en si mismo,
estableciendo la correspondencia biunvoca, entre los puntos de dicho
segmento y sus sucesores. Los puntos jos de la transformacion T , se
hallan partiendo de la intersecci
on de la gr
aca de la funci
on secuencial
78
y la bisectriz s = s. Esta construcci

on geometrica lleva el nombre de
diagrama de Lamerais.
En muchos de los problemas, es imposible obtener la funci
on secuencial en forma explcita, en tal caso se debe hacer uso de la forma
parametrica de dicha funci
on, en la que interviene de forma implcita,
por lo menos dos soluciones de la ecuaci
on o sistema. Esto facilita no
solo el hallazgo de la funci
on secuencial, sino tambien su investigaci
on.
El metodo expuesto, cuya aparici
on esta ligada a los nombres de
Poincar
e y George David Birkhoff25 , fue introducido en la teora
de las oscilaciones no lineales por Andronov. Habiendo establecido
la relaci
on entre las autooscilaciones y los ciclos lmites de Poincare y
apoy
andose en el aparato matem
atico de la teora cualitativa, Andronov
ampli
o notoriamente las posibilidades del metodo de traspaso y enunci
o
los principios que constituyeron la base del metodo de las transformaciones puntuales y que permitieron emplear con ecacia dicho metodo
durante las investigaciones de sistemas concretos de control automatico
y de radiotecnia. La representaci
on parametrica de las funciones secuenciales, introducidas por el, permiti
o resolver un gran n
umero de
problemas abiertos que, por largo tiempo, estaban sin resolver.
2.5. Los atractores como objetos matem
aticos. . Desde el punto
as importante de un sistema din
amico
de vista de Smale, la propiedad m
es su comportamiento a largo plazo. Esto selecciona un conjunto mucho mas sencillo de movimientos de entre todos los del sistema completo.
A veces, el comportamiento dinamico de un sistema natural se vuelve
caotico y el tratamiento inform
atico de las medidas efectuadas permite
visualizar un atractor con una conguraci
on geometrica rara; ayudar
a este objeto matematico a elucidar los mecanismos fundamentales de
la turbulencia meteorol
ogica?
Se encuentran frecuentemente en fsica, en qumica y en biologa
poblaciones por ejemplo, sistemas cuya evolucion con el tiempo presenta un aspecto irregular, no peri
odico, caotico. Puede pensarse en
particular en el humo que se eleva por encima de un cigarrillo: a cierta
altura aparecen unas oscilaciones complicadas, que parecen desaar la
25
(1884-1944).
79
comprensi
on. Las leyes que rigen la evolucion temporal del sistema (el
conjunto de las partculas de humo en suspensi
on en el aire mas o menos
caliente) estan bien denidas y son deterministas, pero el sistema parece
provisto de una voluntad propia que le hace adoptar un comportamiento
fant
astico y complejo.
Figura 8. A partir de una transformaci

on geometrica sencilla realizada en
un anillo, Smale, en Berkeley, elabor
o un atractor extra
no, el solenoide,
que traza una especie de ovillo de hilos enrollados alrededor de un eje
Fsicos, qumicos, bi
ologos y tambien matematicos, han intentado
comprender esta situaci
on; les ha ayudado el concepto de atractor exon de ordenadores. Los atractores extra
nos son unos
tra
no26 y la utilizaci
objetos matematicos abstractos, a los que los ordenadores han dado vida
y apariencia. Nacieron de un deseo muy antiguo: el de comprender el
comportamiento de los sistemas naturales. Para lograrlo, el enfoque consiste en intentar modelizar los fen
omenos fsicos, qumicos y biologicos
deniendo los estados de un sistema por medio de cierto n
umero de
parametros. Estos par
ametros (que designamos x1 , x2 , . . . , xn en un
26
Dos matem
aticos, Floris Takens (n. 1941) y David Ruelle (n. 1935),
acu
naron dicho nombre para este nuevo tipo de atractor. Un atractor estructuralmente estable que no es uno de los tipos cl
asicos, el punto o el crculo, se dice que es
un atractor extra
no. El nombre constituye una declaraci
on de ignorancia, siempre que
los matem
aticos denominan a una cosa como patol
ogica, anormal, extra
na, o
algo parecido, lo que quieren decir es no entiendo esto. Pero es tambien una bandera, que contiene un mensaje, puede que no lo entienda, pero seguro que me parece
importante.
80
formalismo matem
atico) corresponderan, en qumica por ejemplo, a las
concentraciones de los diferentes reactivos que intervienen en el sistema.
Sabemos que durante una reacci
on se consumen los reactivos a la vez
que se forman nuevos productos. Por lo tanto, las concentraciones de
todas estas sustancias varan continuamente y su conocimiento en un
instante dado dene perfectamente el estado del sistema. Supongamos
ahora que estos datos se transeren a un registrador que tiene por objeto representar gracamente la evolucion temporal del sistema. Si la
informaci on consiste solo en dos concentraciones, el registrador puede
marcar en una hoja de papel un punto cuyas coordenadas son estas
dos concentraciones. Este punto describe un estado instant
aneo del sistema. Si por una raz
on cualquiera el sistema adopta un comportamiento
caotico, se vera aparecer en la hoja de papel un atractor extra
no en dos
dimensiones. No hay que suponer que la forma de este atractor tenga el
menor parecido con una cualquiera de las guras observadas en el experimento. Por ejemplo, el que dibujaremos a prop
osito de la turbulencia
de los uidos no tiene nada que ver con los torbellinos visualizados por el
experimentador. El objeto atractor extra
no consiste en una innidad de
puntos, cada uno de los cuales representa un estado del sistema ca
otico
considerado, pero no tiene realidad fsica. En el caso de la turbulencia
atmosferica, el atractor se parece a unas alas de mariposa. De hecho, el
ordenador s
olo traza un n
umero nito de puntos, sucientemente grande
no obstante para visualizar el atractor.
Tomemos un ejemplo que tiene un valor hist
orico propio ya que fue
el primer atractor extra
no estudiado detalladamente por el investigador
enon, del Observatorio de Niza. Su c
alculo tena un obfrances Michel H
jetivo muy modesto, y la primera vez que lo realizo no dispona mas que
de una calculadora de bolsillo programable. Luego pas
o a una m
aquina
mas potente.
81
Figura 9. Atractor de Henon
A los cinco a
nos de la publicaci
on del trabajo de Lorenz, H
enon descubra en el Instituto de Astrofsica de Paris un sistema din
amico de
gran sencillez mediante el cual se podan explicar las peque
nas oscilaciones que hacen que ciertos cuerpos celestes se desven levemente de su
orbita elptica. En los dos casos, parti
o de un sistema de dos par

ametros
x e y, y de dos ecuaciones que permiten calcular x(t + 1) e y(t + 1) en
funci
on de x(t) e y(t) que son x(t+1) = y(t)+1ax(t), y(t+1) = bx(t).
Dados los valores iniciales x(0), y(0), los par
ametros a = 1, 4 y b =
0, 5, pudo calcular x(t) e y(t) para t = 1, 2, . . . , 10.000 manteniendo
siempre una precision de dieciseis cifras signicativas. Hecho a mano,
este calculo requerira varios meses y, como su interes no es evidente (no
tiene ninguna aplicaci
on inmediata al estudio de un sistema natural)
nadie lo haba realizado. Para un ordenador, esta tarea fastidiosa y
repetitiva no tiene problemas y si se dispone de un plotter se pueden
trazar en un tiempo bastante breve los 10.000 puntos de coordenadas
(x(t), y(t)). Inesperadamente, los puntos se disponen sobre un sistema
de lneas de estructura compleja. En el origen de este resultado haba
una eleccion, la del punto inicial denido por x(0) e y(0), de ah la
enon, qu
e pasa cuando se cambia (x(0), y(0))?
segunda idea de M. H
Pues bien, si este par inicial esta mal elegido, el punto (x(t), y(t)) se
alejar
a hacia el innito (y saldr
a en concreto del marco de la hoja). Si
se elige bien entonces (x(1), y(1)), (x(2), y(2)), se parecer
an r
apidamente
a un mont
on de spaghetti cuyo aspecto general se reproducir
a cuando se
habr
an marcado algunos miles de puntos (ver Figura 9). Este mont
on
de spaghetti es precisamente el atractor de Henon. Es extra
no. Entre
82
otras curiosidades se
nalemos que si se cambian un poco a y b el atractor
puede desaparecer o cambiar de naturaleza. Tomemos por ejemplo a =
1, 5 y b = 0, 3, entonces cuando t se hace muy grande los puntos ya no
se parecen al mont
on de spaghetti sino a un conjunto de siete puntos.
Ya no nos atrevemos a hablar de atractor extra
no, y el atractor se
dice entonces peri
odico (de perodo 7), ya que los puntos dibujados en
los instantes t, t + 7 y t + 14 se superponen. Este resultado es bastante
molesto desde el punto de vista matematico. En efecto, al no haber podido demostrar todava que la aplicaci
on que dene el atractor de Henon
no tiene solamente atractores periodicos, nada nos permite armar sin
ninguna duda que el primer atractor es extra
no. Por lo tanto, su existencia es de momento una creencia basada en calculos de ordenador!
Hay otro ejemplo de atractor extra
no que sin duda vale la pena describir.
En primer lugar es, esteticamente, mas interesante ya que se desarrolla
en un espacio en tres dimensiones (n = 3). Pero, sobre todo, se conoce
bien desde el punto de vista matematico gracias a los trabajos de Smale
Berkeley. Esta vez, no escribimos las ecuaciones que permiten pasar de
x(t) a x(t +1), sino que denimos geometricamente los pasos del sistema
de un estado al siguiente. De hecho, suponemos que la transformaci
on
(F ) toma un anillo A, lo estira, lo comprime transversalmente y lo enrolla de manera que el resultado, es decir la imagen F (A), este contenida en
A y de ahora dos veces la vuelta al hueco central. Partiendo de un punto
X0 del anillo A, se pueden marcar los puntos X1 , X2 , . . . , hasta X5000 y
se ve como se dibuja un nuevo atractor extra
no. Es bastante fascinante
observar el papel en el que se traza el dibujo. Aproximadamente cada
segundo se marca un nuevo punto, de forma aparentemente err
atica.
S
olo al cabo de un tiempo bastante largo se puede adivinar la forma
nal de la gura. Este atractor se ha llamado solenoide (vease la Figura
8). Recuerda en efecto un enrollamiento de hilos alrededor de un eje27 .
Para explicar su aspecto, hay que se
nalar que el solenoide en cuestion no
solamente esta contenido en el anillo A, sino tambien en sus imagenes
27
Existe un aparato electrico denominado solenoide, en el cual se enrollan

kil
ometros de cobre alrededor de un n
ucleo de metal para hacer un electroim
an.
Los matem
aticos tomaron prestado este nombre para la construcci
on de Smale.
83
sucesivas que son unas mechas muy delgadas que giran numerosas veces alrededor del vaco central. Los par
ametros x1 (t), x2 (t), . . . , xm (t)
tienen que describir un sistema fsico, qumico o biol
ogico en el instante
t; se supone que el sistema tiene una evolucion temporal determinista
denida por unas ecuaciones. Con que precision podremos predecir la
evoluci
on si los valores iniciales estan afectados por un peque
no error,
como sucede siempre con los datos experimentales? Como crecera (o
decrecera) el error cuando t aumenta? Desde luego, la respuesta podr
a
depender de las ecuaciones y de los valores iniciales.
Para el solenoide, un razonamiento simple lleva a armar que el error
crece experimentalmente con el tiempo. La experiencia demuestra que
esta armaci
on sigue siendo valida para el atractor de Henon. Se dice
que los dos sistemas dinamicos considerados tienen una dependencia
sensible de las condiciones iniciales (dependencia SCI).
Hasta ahora, he intentado presentar el concepto de atractor extra
no
sin introducir demasiadas herramientas matematicas, la razon es simple:
la teora matem
atica de los atractores extra
nos es difcil y todava esta
poco desarrollada, por lo que preero no dar una denici
on matematica
de estos objetos. En la practica, sin embargo, si la aplicaci
on repetida de
una transformaci
on F produce unos puntos x1 , x2 , . . . que se acumulan
en un conjunto A, y si hay dependencia SCI, se dir
a que A es un atractor
extra
no.
Los atractores aparecen en numerosas ramas de la ciencia, sin embargo, al igual que ocurre con los fractales, hay un gran n
umero de sistemas
que se han desarrollado con car
acter meramente estetico. Uno de ellos
on
es el creado por Clifford A. Pickover en el centro de investigaci
Thomas J. Watson de IBM.
El planteamiento del sistema es como sigue, n = 0, 1, . . . , 50000, el
paso (h) es 0, 05 y el sistema es el siguiente:
xn+1 & = xn h sen (yn + tan(3 yn )),
yn+1 & = yn h sen (xn + tan(3 xn )),
con condiciones iniciales (x(0), y(0)) = (3, 2).
84
La representaci
on del atractor de Pickover suele hacerse en color, actuando de esta manera se comprende que este sistema se conozca con
el sobrenombre palomitas (poror
o) fractales. Nosotros, sin embargo, nos
limitaremos a la representaci
on monocroma adjunta.
Por u
ltimo, representare un sistema de caracter caotico solamente en
algunas regiones del plano. No entrare a analizar este sistema con mas
detalle, tan s
olo mencionare que las zonas estables se encuentran en los
hex
agonos solamente.
Se toma n = 0, 1, . . . , 50000, con condiciones iniciales

(x(0), y(0)) = (0, 01, 0, 01), el mismo paso h y el sistema es:
xn+1 & = 1 yn + |xn |,
yn+1 & = xn .
Proporcionan los atractores extra

nos una mejor descripci
on de la
turbulencia que los atractores casi peri
odicos?
Lamentablemente, esta es una pregunta que no siempre tiene una respuesta denitiva. As, del hecho de que la turbulencia se pueda interpretar por medio de atractores extra
nos no se tiene de deducir que todos los
sistemas mecanicos den lugar a atractores. Los sistemas mecanicos sin
rozamiento (conservativos) jamas daran lugar a atractores, cualesquiera
que sean, aunque algunos de ellos presentan una dependencia SCI. En
85
efecto, un resultado de la mecanica (el teorema de Liouville) arma que

el elemento de volumen, en el espacio de las fases, se conserva durante
la evoluci
on temporal, y esto impide la contracci
on del volumen que se
observa cerca de un atractor.
Los sistemas sicoqumicos que dan lugar a atractores extra
nos son
sistemas disipativos, es decir sistemas en los que una forma noble de
energa (energa mecanica, qumica, electrica, etc.) se transforma en
calor, una energa degradada, como dicen algunos.
Ademas, estos sistemas solo presentan un comportamiento interesante
si tienen una fuente constante de energa noble (en caso contrario tienden
al reposo). Hace 30 a
nos muchos investigadores, en particular qumicos,
consideraban que no existan reacciones qumicas con un comportamiento ca
otico, es decir, si un experimental obtena un trazado ca
otico en el
estudio de una reaccion, consideraban que el experimento estaba mal
planteado.
Afortunadamente, las cosas han cambiado. Se conocen ahora reacciones qumicas no periodicas: la reaccion de Zhabotnski-Bellussov con
las condiciones operativas modicadas, por ejemplo. Corresponde a un
atractor extra
no o a un atractor casi peri
odico? Esto todava no esta
claro.
86
La aplicaci
on de las ideas que he discutido plantea a menudo serios
problemas metodologicos. Como mantener las condiciones experimentales constantes y hacer las medidas precisas? El reconocimiento del
papel de los atractores extra
nos en muchos problemas es sin embargo un
gran progreso conceptual. Las uctuaciones no peri
odicas de un sistema
no indican necesariamente un experimento arruinado por misteriosas
fuerzas aleatorias sino, a menudo, un sistema din
amico con un atractor
extra
no, que se puede intentar comprender. No he hablado del atractivo
estetico o artstico de los atractores extra n
os. Estos sistemas de curvas,
estas nubes de puntos, recuerdan a veces galaxias o fuegos articiales, y
a veces extra
nas e inquietante oraciones. Es todo un mundo de formas
que est
an por explorar y de armonas que estan por descubrir28 .
2.6. Sistemas din
amicos discretos. A raz de la menci
on de los
dos u
ltimos sistemas din
amicos de la seccion anterior, pudieramos preguntarnos si los sistemas dinamicos tienen mucho que mostrarnos. La
respuesta es s.
En un sistema din
amico autentico, el tiempo uye continuamente desde menos innito hasta m
as innito, y pasa por todo los valores intermedios. En nuestro sistema discreto, el tiempo uir
a en pasos de un u
nico
h: 1, 2, 3, . . . unidades. No habr
a nada entre 1 y 2: no habr
a un tiempo
de 11/2 unidades, o 1, 22789, o cualquier otra cosa semejante. Solamente
n
umeros enteros, un reloj digital en lugar de uno anal
ogico. El sistema
pasara de un estado al siguiente en cada cambio de su reloj digital.
El termino tecnico para designar esto es din
amica discreta, y veremos
mas adelante que realmente existen conexiones muy estrechas entre la
din
amica discreta y la din
amica continua genuina, que los matematicos
han explotado hasta la saciedad.
El sistema consistira en un punto moviendose sobre un crculo. Por
simplicidad en la descripci
on, escojamos unidades de tal forma que el
28
Cons
ultese, por ejemplo, V. I. Arnold & A. Avez: Problemes ergodiques
de la mecanique classique, Paris, Gauthiers-Villars, 1967; R. Abraham & J.
E. Marsden: Foundations of Mechanics, 2a edicion, Benjamin/Cummings, Reading,Mass., 1978 y Bifurcation theory and applications in scientic disciplines, Ann.
N. Y. Acad. Sci. 316 (1979) y D. Ruelle: Hasard et chaos, Points, Odile Jacob,
1993.
87
permetro de la circunferencia del crculo sea exactamente una unidad.

Entonces podemos describir d
onde esta el punto sobre este crculo mediante un n
umero comprendido entre 0 y 1; su distancia angular en
estas unidades rodea el crculo desde alguna posici
on determinada, que
tomamos como cero.
Pidamos ahora que el punto debe obedecer a la siguiente ley din
amica:
si en un instante determinado se encuentra en la posici
on x, entonces,
as abajo).
en el instante siguiente se movera a x (que sera determinada m
Geometricamente, el crculo se estira 10 veces su longitud, y se enrolla
diez veces sobre s mismo (Figura 10). La ley se aplica en cada instante,
uno tras otro, de modo que el punto se mueve iterando la aplicaci
on.
Figura 10. Representacion esquematica de un crculo estirado y enrollado diez

veces sobre s mismo
Una aplicaci
on es simplemente una regla del tipo x se transforma
en algo especicado en terminos de A. Ya sabemos, entonces, lo que
signica iterar: repetir.
Analicemos la din
amica de este sistema. Dividamos el permetro del
crculo en diez sectores identicos que denotaremos por 0, 1, 2, . . . , 9. As,
cuando diga itinerario de un punto sobre el crculo, me estare reriendo
88
a la lista de sectores que visita a medida que se itera el procedimiento

de enrollamiento.
En terminos de la unidad angular de medida, el sector 0 comprende
el intervalo desde 0 hasta 0, 099999 . . . , el sector 1 va desde 0, 1 hasta
0, 199999 y as sucesivamente. De este modo yo podra decir que
un punto comienza en 0, 25543786. Esto signica que se encuentra en
el sector 2, algo mas alla de la mitad del recorrido. Cuando realizo la
aplicaci
on, y enrollo el crculo rode
andolo diez veces sobre s mismo, su
longitud aumenta en un factor 10. As, el punto se mueve a la posici
on
angular 2, 5543786. Ahora viene la cuesti
on de habilidad. Una unidad
alrededor del crculo simplemente nos lleva de nuevo a 0, y lo mismo
sucede para dos unidades, de tal manera que el resultado sera el mismo
que si se tratase del angulo 0, 5543786. Este

se encuentra en el sector 5.
Cuando iteramos la representaci
on, lo que observamos es esto:
tiempo
tiempo
tiempo
tiempo
tiempo
tiempo
tiempo
tiempo
tiempo
0
1
2
3
4
5
6
7
8
0,25543786
2,5543786
5,543786
5,43786
4,3786
3,786
7,86
8.6
6
=0,5543786
=0,543786
=0,43786
=0,3786
=0,786
=0,86
=0,6
=0,0
sector
sector
sector
sector
sector
sector
sector
sector
sector
2
5
5
4
3
7
8
6
0
despues de lo cual se obtiene simplemente 0, 0, 0, . . . . En cada

situaci
on basta con multiplicar por diez y separar el primer dgito. El
itinerario de dicho punto visita, por este orden, los sectores 2, 5, 5, 4, 3,
7, 8, 6, 0, 0, 0, . . . Hemos visto esos n
umeros antes?
S, son los dgitos decimales del punto de donde partimos. Esto no
es accidental. Si se multiplica por diez y se elimina el primer dgito,
sencillamente, se esta desplazando la expansi
on decimal un lugar hacia
la izquierda. Esto es v
alido para cualquier punto del que partamos. Por
ejemplo, si empezamos con un punto situado en /10 = 0, 314159265 ,
entonces su itinerario visitar
a los sectores 3, 1, 4, 1, 5, 9, 2, 6, 5, . . . por
este orden. La din
amica reproduce los dgitos decimales sucesivos de !
89
Sea como fuere, espero que se estara de acuerdo en que este sistema
din
amico discreto es muy sencillo y, sin duda alguna, determinista. No
solo existe una f
ormula exacta para determinar hacia d
onde se mueve x,
a saber x 10x, sino que esta f
ormula es muy f
acil de calcular.
Primera curiosidad. Supongamos que el punto de partida tiene exactamente la misma expansi
on decimal que para los primeros mil millones de decimales; pero que, a partir de entonces, va como . . . 1212121212 . . .
umero. Es extremadamente
por siempre. Llamemos a este nuevo n
pr
oximo a , mucho m
as cercano de lo que cualquier medida pr
actica
podra distinguir.
Por iteraci
on del enrollamiento de diez pliegues, tanto como tienen
el mismo itinerario para los primeros mil millones de pasos. Pero, despues de ello, el punto simplemente oscila entre los sectores 1 y 2,
mientras que va a visitar... los billones y billones de dgitos que
tiene todava por delante. No tengo ni idea de cu
ales son, pero seguro
que no ser
an 121212 . . . De este modo, dos condiciones iniciales y ,
tremendamente proximas, acaban haciendo cosas totalmente independientes.
Segunda curiosidad. Sup
ongase que tomamos un dado, cuyas caras
estan marcadas desde el 1 hasta el 6, y lo lanzamos al azar un n
umero
innito de veces. Acabamos obteniendo una lista innita, algo como
1162541456522124366451432 . . . y as sucesivamente. Esta es una secuencia aleatoria de n
umeros.
Y hay un punto sobre el crculo cuya expansi
on decimal reproduce
esta secuencia, a saber x = 0, 1162541456522124366451432 . . . Si itero
la representaci
on a partir de x, genero la secuencia aleatoria. De modo
que una representaci
on determinista, aplicada a este punto inicial particular, genera una secuencia tan aleatoria como los lanzamientos de un
dado. Tercera curiosidad. Casi todos los n
umeros en el intervalo desde 0 hasta 1 tienen expansiones decimales que son aleatorias. Esto fue
demostrado por un matem
atico americano llamado Gregory Chaitin29 ,
quien estudi
o las limitaciones de la computacion. Es creble si se dice de
29
Hijo de padres argentinos, vivi

o durante varios a.nos en Buenos Aires y dict
o
clases en la UBA. Para ne
otos en el tema, consultar una entrevista que le realiz
o el
diario Clarn en http://www.cs.auckland.ac.nz/CDMTCS/chaitin/gmartin.html
90
la forma adecuada: un n
umero elegido al azar tendr
a dgitos al azar.
Por tanto, el sistema din
amico determinista que hemos construido se
comporta de esta forma aleatoria, no solamente para unos pocos puntos
iniciales raros, sino para casi todos los puntos!
Figura 11. Seccion de Poincare (lnea discontinua) a traves de un ciclo lmite

(lnea gruesa): los puntos iniciales sobre la secci
on de Poincare se contraen en su
primera vuelta hacia el punto que representa al ciclo lmite.
Cuarta curiosidad. Preguntemonos cuando es peri

odico el itinerario
de un punto, es decir, cu
ando se repite exactamente una y otra vez. La
respuesta es: cuando su expansi
on decimal se repita. Hay un teorema
que dice que tales n
umeros son precisamente aquellos que son racionales:
son fracciones exactas de p/q, siendo p y q n
umeros enteros. Existen
innitos n
umeros racionales entre 0 y 1 (tales como 2/3 o 199/431), e
innitos n
umeros irracionales entre 0 y 1 (tales como /10, 2 1).
Se hallan totalmente mezclados: entre dos racionales cualesquiera hay
un irracional, y entre dos irracionales cualesquiera, un racional. De
manera que los puntos iniciales que conducen a movimientos periodicos,
y aquellos que no, se encuentran mezclados como el az
ucar y la harina
en un pastel. Esto signica tambien que los puntos peri
odicos son todos
inestables; si los desplazamos ligeramente hacia un irracional proximo,
91
dejan de ser peri

odicos. De hecho, todos los movimientos posibles son
inestables!
Incidentalmente, no imaginemos que los racionales e irracionales se
alternan de cualquier manera a lo largo del intervalo, que es lo que
puede sugerir la descripci
on anterior. Por el contrario, la mayora de
los n
umeros en el intervalo son irracionales: los racionales son muy, pero
que muy raros.
Por supuesto, puede argumentarse que esta es una ecuaci
on bastante
absurda. Los sistemas din
amicos reales no hacen este tipo de cosas. Para
empezar, en el sistema anterior, los puntos diferenciados 0, 42 y 0,52 se
mueven ambos hacia el mismo punto 0, 2 en la primera etapa; pero
en un sistema din
amico genuino los puntos diferentes nunca se juntan
cuando se mueven. De manera que todo el comportamiento extra
no que
acabamos de describir es una consecuencia de la receta ridculamente
articial que hemos utilizado para la din
amica Correcto? Falso.
Para ver por que, debemos echar otra ojeada a una de las ideas fune: c
omo detectar soluciones periodicas mirando
damentales de Poincar
a una seccion transversal.
Consideremos un sistema en el plano que tenga un ciclo lmite estable. Recuerdese que esto es un bucle cerrado y que los puntos vecinos se mueven hacia el. Un top
ologo lo llamara un atractor peri
odico.
Dibujemos un peque
no segmento de lnea que corte por la mitad el ciclo
lmite (Figura 11). Para cada punto en el segmento, sigamos su recorrido
din
amico. Al nal choca de nuevo contra el segmento. Puede hacerlo,
de hecho, sobre el ciclo lmite, si es as, vuelve a donde empez
o. Si no
es as, acaba m
as cerca del ciclo lmite que donde estaba al comenzar.
Es decir, la receta sigamos la dinamica hasta que nos choquemos de
nuevo con el segmento por primera vez determina una aplicaci
on del
segmento en s mismo que lo comprime hacia el punto en el cual el ciclo
lmite lo cruza. Hemos odo hablar del punto sin retorno, pero este es
el punto del primer retorno. Si se itera la aplicaci
on del primer retorno,
se obtiene el primer retorno, despues el segundo, luego el tercero... Se
esta midiendo la din
amica completa a intervalos regulares de tiempo.
Un ingeniero electrico llamara a esto muestreo estroboscopico. Es
as como se ajusta el rotor de un lector de CD o DVD para que gire
92
a la velocidad correcta, el muestreo se hace, en este caso, mediante un

lector que parpadea a la frecuencia requerida y detecta marcas colocadas peri
odicamente en el borde del CD. Tomemos ahora otro sistema,
el cual puede o no tener un ciclo lmite. No lo sabemos, todava. Supongamos que hay alg
un segmento de lnea en el espacio de las fases, con la
propiedad de que cada punto inicial en el segmento nalmente regresa y
choca de nuevo contra el segmento. Puede que lo haya, o puede que no,
veamos que pasa cuando lo hay.
Figura 12. La seccion de Poincare puede ser muy complicada en dos dimensiones.
En el atractor de Ueda, que se ilustra aqu, los puntos se arremolinan de modo muy
similar a como cuando se agita una taza de cafe.
Armo que necesariamente hay al menos un ciclo lmite que atraviesa

el segmento. La razon es un teorema de topologa, cada aplicaci
on continua de un segmento de lnea en s mismo debe tener al menos un punto
jo, un punto que se aplica sobre s mismo. La idea que subyace en la
demostraci
on es parecida a lo que sigue. El extremo izquierdo del segmento se aplica en alg
un punto del segmento. Si este punto es tambien
el extremo izquierdo, ya tenemos nuestro punto jo. Si no, el extremo
izquierdo se desplaza a la derecha.
Similarmente, el extremo derecho se mueve hacia la izquierda, de modo que todo el segmento se contrae dentro de s. Miremos a lo largo
del segmento de izquierda a derecha. Los puntos pr
oximos al extremo
93
izquierdo tambien se mueven para la derecha; los puntos pr

oximos al
extremo derecho se mueven para la izquierda. En alg
un lugar de en
medio debe haber un sitio en donde el movimiento cambie de ir hacia
la derecha a ir hacia la izquierda. La u
nica forma de cambiar continuamente del movimiento hacia la derecha al movimiento hacia la izquierda
es a traves del movimiento nulo. Si conducimos a lo largo de una carretera y comenzamos girando hacia la derecha y posteriormente giramos
hacia la izquierda, entonces, en alg
un lugar intermedio debemos haber
ido, por un instante, recto hacia adelante (puede haber m
as de un lugar
de estos, en una carretera llena de curvas a derecha e izquierda hemos de
enderezar, al menos momentaneamente, entre cada curva y la siguiente).
Recapitulemos. Si hay un segmento de lnea, tal que todo punto que
comienza sobre el nalmente regresa a el, entonces hay al menos una
solucion peri
odica que pasa a traves de dicho segmento.
Dejando aparte el espinoso asunto de encontrar dicho segmento, vemos
que este es un teorema bastante notable. No depende de los detalles de
la din
amica. Aunque usa una caracterstica fundamental de la din
amica,
el uido no se desgarra en partes. El ujo es continuo. Pero esto es
todo lo que usa. Lo que hemos hecho es la esencia de la din
amica cualitativa. Hemos empleado un hecho topologico para deducir un resultado
din
amico. El hecho topol
ogico es toda representaci
on continua de un
intervalo en s mismo tiene un punto jo. El hecho din
amico es la
existencia, dado un segmento adecuado, de un movimiento peri
odico.
Como ya se menciono, este tipo de segmento se denomina secci
on de
Poincare. La aplicaci
on asociada es la aplicaci
on de Poincare. Existe
una idea semejante en tres dimensiones; pero ahora el segmento ha de
reemplazarse por una porci
on de supercie. Tpicamente, esto es un
disco topol
ogico, un peque
no pedazo de supercie sin ning
un agujero.
Las aplicaciones de un disco en s mismo pueden ser muy complicadas
(Figura 12). A pesar de esto, en topologa hay un teorema general sobre
las aplicaciones de un disco en s mismo, de nuevo debe haber un punto
jo. As, un ujo en tres dimensiones que posee una seccion de Poincare
que es un disco, ha de tener una trayectoria peri
odica que pase a traves
de dicho disco.
94
De hecho, existe una versi

on ndimensional. La secci
on de Poincare
es un hiperdisco (n 1)dimensional; y un resultado algo complicado,
llamado el teorema de Brouwer del punto jo, lleva a la conclusi
on de
que, al menos, una trayectoria peri
odica debe pasar a traves suyo. La
topologa, como ya hemos se
nalado, es muy poderosa. Ella tambien
cambia el enfasis. En lugar de resolver las ecuaciones, examino la seccion de Poincare, lo que hace que las tecnicas empleadas sean bastante
diferentes.
3. A modo de conclusi
on
De esta manera, he apuntado algunos detalles que permitir
an comprender la importancia que ha tenido, en el desarrollo de las ecuaciones diferenciales ordinarias, la teora cualitativa y diversas ramas de
la propia matem
atica relacionada con esta y como, tomando un topico
particular de las ecuaciones diferenciales ordinarias, el desarrollo de una
y otra se han ido entrelazando y han contribuido, como pelda
nos mutuos, al desarrollo simult
aneo de ambas. Un punto que nos permite
abundar en el marco anterior, lo constituye el hecho de que, la proliferaci
on de los dispositivos del control automatico en la tecnica moderna,
conere a la teora de la regulaci
on autom
atica un papel extraordinariamente importante. Uno de los principales problemas que se les plantea
a los constructores de reguladores autom
aticos es el de la estabilidad del
funcionamiento del sistema m
aquina-regulador, o sea, la determinaci
on
de un regimen de trabajo estable, en cierta forma lo m
as parecido
posible a un ciclo lmite estable, al cual todos los demas modos de
funcionamiento convergen.
En muchos casos, este problema puede resolverse con ayuda del metodo
directo de Liapunov. El sistema de regulacion autom
atica mas antiguo,
es el formado por la m
aquina de vapor y el regulador centrfugo de
Watt. Este regulador centrfugo, ideado por Watt a nales del siglo
XIX, cumplio perfectamente sus funciones hasta la segunda mitad del
siglo XIX, cuando hubo que modicar su estructura y, con ello, su funcionamiento result
o menos seguro.
95
Numerosos ingenieros y cientcos trataron de dar soluci

on a este
problema, que fue resuelto de manera especialmente elegante y sencilla por el ingeniero ruso Vichnegradski, fundador de la teora de la
regulaci
on autom
atica. La memoria de Vichnegradski: Sobre los reguladores de acci
on directa (1876, en ruso) constituy
o el punto de partida
de la teora de la regulaci
on de las maquinas, para hacer frente a las
exigencias de la pr
actica industrial. En este siglo se han ido desarrollando nuevos metodos a partir de los trabajos de Poincar
e, Andronov,
Khaikin, Witt, Bulgakov, ... los que han contribuido al desarrollo de
esta direccion, y sus resultados son considerados como cl
asicos.
En los u
ltimos a
nos, se modic
o fuertemente el aspecto de la teora
cualitativa de las ecuaciones diferenciales ordinarias. Uno de los progresos mas importantes, como ya presente, consistio en el descubrimiento
de regiones lmites de nuevo tipo, que recibieron el nombre de atractores.
Resulto que, paralelamente a los regmenes lmites estacionarios y
peri
odicos, son tambien posibles regmenes lmites de una naturaleza
completamente distinta, en las cuales cada trayectoria por separada es
inestable, mientras que el mismo fenomeno de la salida al regimen lmite
en cuestion es estructuralmente estable. El descubrimiento y el estudio
detallado de tales regmenes (atractores) para los sistemas de ecuaciones
diferenciales ordinarias, requiri
o de la participaci
on de los recursos de
la geometra diferencial y la topologa, del an
alisis funcional y la teora
de las probabilidades. En la actualidad tiene lugar una penetraci
on
intensiva de estos conceptos matematicos en las aplicaciones. As, por
ejemplo, los fenomenos que tienen lugar durante el paso de una corriente
laminar a una turbulenta, con el aumento de los n
umeros de Reynolds,
se describen mediante un atractor. Durante la utilizaci
on de cualquier
modelo matem
atico surge el problema de la validez de la aplicaci
on de
los resultados matematicos a la realidad objetiva. Si el resultado es
fuertemente sensible a una peque
na modicaci
on del modelo, entonces,
variaciones tan peque
nas como se quiera del mismo, conducir
an a un
modelo con propiedades distintas. No se pueden extender tales resultados al proceso real investigado, debido a que en la construccion del
modelo se realiza siempre una cierta idealizaci
on y los par
ametros se
determinan solamente de manera aproximada.
96
De aqu al concepto de sistemas gruesos y de estabilidad estructural

ogico, si se quiere.
(de Andronov, Pontriaguin y Smale) fue un paso l
Este concepto result
o muy fructfero, en el caso de los espacios de fases
de dimensiones peque
nas (1 o 2) y en este caso, los problemas de la estabilidad estructural, fueron detalladamente estudiados. De esta manera,
la teora de las ecuaciones diferenciales en el presente, constituye una
rama de la matem
atica, excepcionalmente rica por su contenido, que
se desarrolla r
apidamente, en estrecha relacion con otros dominios de
la matem
atica y sus aplicaciones. Sin embargo, no se puede negar la
signicaci
on que para las matem
aticas, han tenido algunos problemas
particulares.
El objetivo primordial de estas investigaciones relacionadas con los
ciclos lmites viene a ser, por regla general, el de facilitar una base
matematica necesaria para atender ciertas demandas insoslayables de
capacitacion tecnica, olvidemonos de la division matem
atica pura / matem
atica aplicada. Es decir, nuestros autores se mueven sobre todo por
intereses de orden te
orico o pr
actico, con contribuciones que persiguen
unos efectos relativamente inmediatos.
Estos trabajos sugieren, en n, la existencia de dos vas principales
de ilustraci
on de las ecuaciones diferenciales como bien fue apuntado al
inicio del trabajo. Sobre la va especcamente teorica, dependa mas
de empe
nos personales (sobre todo a inicios de siglo) que de un plan o
ideario general; en el caso de la va pr
actica, esta represent
o una forma
de acumulacion de hechos que se resistan a ser clasicados de alguna
forma y de relaci
on directa con las aplicaciones.
Como colof
on, queremos apuntar dos observaciones nales sobre las
limitaciones del material y del enfoque que se ha empleado, en particular
si se adoptan como un elemento de juicio acerca de la ndole de los
motivos matematicos o acerca de la calidad del conocimiento matematico
en las ecuaciones diferenciales de esta epoca.
En primer lugar, no estara de mas tomar en consideracion otros
t
opicos de interes para esta epoca. Por ejemplo, la ecuaci
on de Lienard
o la teora de la estabilidad. En segundo lugar, conviene contrastar o
compensar estos resultados, sugeridos por el enfoque de la teora de la
recepcion, con la informaci
on que se haya obtenido o se pueda obtener
97
a la luz de otras perspectivas historiogr

acas y, por referencia a otras
formas diversas de contribuci
on al desarrollo de la teora cualitativa en
el siglo XX. El cauce fundamental de la matem
atica; como el de un gran
ro, es alimentado, en primer lugar, por los arroyuelos. Los grandes descubrimientos, con mucha frecuencia, se garantizan y preparan mediante
el trabajo meticuloso de muchos investigadores. Todo lo dicho no s
olo se
reere a la matematica, sino tambien, a una de sus lneas mas ricas, la
teora de las ecuaciones diferenciales, rama que en la actualidad constituye un conjunto difcilmente abarcable de hechos, ideas y metodos muy
u
tiles para las aplicaciones y capaces de estimular las investigaciones
teoricas en otras ramas de las matematicas y fuera de esta.
Ap
endice
Empezaremos a desarrollar el caso de la Escuela de Gorki de Andronov, desde el punto en que resulta menos familiar al lector30 . Las
races y sus fuentes, por ellos mismos reconocidas, son dos: (1) su meno en optica, radiofsica, y
tor, el fsico L. I. Mandelsthaln, que trabaj
teora de oscilaciones contena un programa unicado para el estudio de
e,
la Naturaleza en base de la fsica de las oscilaciones y (2) Poincar
cuyo trabajo el rese
no desde antes de 1928 y nunca dej
o de estudiar,
recomendandolo a los estudiantes, y logr
o publicarlo en la Uni
on Sovietica. Despues de adquirir un fuerte entrenamiento en matem
aticas y
30
Vease S. Diner: Les voies du chaos deterministe dans lecole russe, en Chaos
et determinisme, A. Dahan Dalmedico, J. L. Chabert & K. Chemlam
(Eds), Editions du Seuil, Pars, 1992; A. Dahan Dalmedico: La renaissance des
systèmes dynamiques aux Etats-Unis

après la deuxième guerre mondiale: Laction
de Solomon Lefschetz, Suplemento ai Rendiconti dei circolo matem
atico di Palermo,
Ser. II 34 (1994), 133-166;A. Dahan Dalmedico: La theorie des oscillations
dAndronov, Ponencia presentada en la Conferencia A. A. Andronov, des cycles limites de Poincare aux lasers, Institut Henri Poincare, Pars, 1996, Marzo 23, para
algunos aspectos de la escuela de Andronov, y tambien D. Aubin & A. Dahan
Dalmedico: Writing the history of dynamical system and chaos: Longue Duree and
Revolution, Disciplines and Cultures, Historia Matem
atica 29 (2002), 273-339 y A.
Dahan Dalmedico & I. Gouzevitch: Andronov and the Gorki school: from
auto-oscillations to radiophysics and control theory, de pr
oxima aparici
on.
98
en fsica, en su tesis Andronov ataco un problema de ingeniera sugerion en cuenta en el caso del
do por Mandelsthaln: tomar la autoinducci
interruptor electromagnetico, analogo a la oscilacion-relajaci
on de van
der Pol, este oscilador es un sistema disipativo cuyas vibraciones son
sostenidas por una fuente externa de energa no oscilante. En el espacio
de fases, Andronov31 not
o, que este movimiento es analogo a los ciclos
lmites de Poincare. Usando resultados del Methodes nouvelles de la
mecanique, desarroll
o un metodo para estudiar la estabilidad de soluciones peri
odicas. Esto signicaba, lejos de ser evidente, que uno podra
e para sistemas mec
anicos
transferir metodos y resultados de Poincar
hamiltonianos a sistemas disipativos con pocos grados de libertad; y
esto era un paso crucial. M
as adelante, transponiendo, o extendiendo
e, Andronov se esforzara por desarrollar el proel arsenal de Poincar
grama de Mandelsthaln. Usando tambien la herencia de Lyapunov,
Andronov se centr
o en el problema de la estabilidad. Combinando el
e con la teora de la estametodo del peque
no-par
ametro de Poincar
bilidad de Lyapunov, estableci
o un metodo para encontrar soluciones
peri
odicas y estudiar su estabilidad (la teora de Lyapunov ha tendido
a ser descuidada en las rese
nas hist
oricas dadas por los teoricos de los
sistemas dinamicos, inuenciados por Smale, sobretodo).
u, en Gorki, donde haba un
En 1931 Andronov coloco lejos de Mosc
instituto peque
no de radiofsica, el liderazgo en este campo. Este instituto, al que el decidio desarrollar, le permiti
o encontrar su propia escuela
de investigaci
on dedicada al estudio de oscilaciones no lineales. Desde un punto de vista cientco y estrategico, el contexto era favorable
al estudio de oscilaciones auto-sostenidas (auto-entretenues). En este
perodo, las preguntas referentes a oscilaciones en circuitos electricos,
termoionicos, y electronicos, y despues la exploraci
on electronica y la
television atrajeron mucho m
as interes que el que siempre hizo el estudio de las vibraciones mec
anicas. Una raz
on para esto era que las
vibraciones, indeseables en los dispositivos mec
anicos (tales como trenes
y aeroplanos), eran los efectos parasitos que un investigador intentaba eliminar o al menos controlar, mas que estudiar y calibrar de hecho
31
A. Andronov: Les cycles lymites de Poincare et la theorie des oscillations

auto-entretenues, Comptes Redus de lAcademie des sciences 189 (1929), 559561.
99
exacto (e.g., en los receptores de radio)32 . En los a

nos 30, la estabilizaci
on de vibraciones y de fenomenos no lineales de la resonancia
pareca vital para la potencia militar sovietica. En la Primera Conferencia de la Uni
on sobre las Auto-oscilaciones, llevada a cabo en Mosc
u
en noviembre de 1931, la importancia cientca y tecnologica del problema fue subrayada, el trabajo fue organizado, y pusieron en Andronov
y su instituto de Gorki todo el peso de los esfuerzos de dicha investigaci
on. Recolectando a un equipo de matem
aticos, de fsicos, y de
ingenieros puros y aplicados, el se propuso abordar problemas te
oricos
y pr
acticos simult
aneamente y en colaboracion estrecha. En el curso
de los a
nos 30, la teora de oscilaciones no lineales, el estudio de las
ecuaciones diferenciales con un n
umero peque
no de grados de libertad
que provenan principalmente de la radio tecnologa, form
o el campo
privilegiado de investigaci
on de Andronov, en contacto cercano con sus
aplicaciones: circuitos electricos con tubos al vaco, tubos de neon, oscilaciones de relajaci
on en radiofsica e ingeniera electrica, oscilacion en
ruedas del vehculo, regulaci
on y control de m
aquinas, etc. Las variadas
herramientas, altamente te
oricas, usadas y desarrolladas por Andronov
y sus colaboradores (aplicaciones puntuales, recurrencias, bifurcaciones,
casos crticos, estabilidad, y la famosa noci
on de systèmes grossiers
discutida abajo) eran todas destinadas a las aplicaciones. En particue
lar, el metodo de las aplicaciones puntuales, explorado por Poincar
en el caso de la seccion que lleva su nombre, fue, por una epoca, esencial. Bien adaptado a los problemas de ingeniera (especialmente a la
regulaci
on autom
atica) donde eran u
tiles las ecuaciones discretas, este
perodo, las preguntas referentes a oscilaciones en circuitos electricos,
termoionicos, y electronicos, y despues la exploraci
on electronica y la
television atrajeron mucho m
as interes que el que siempre hizo el estudio de las vibraciones mec
anicas. Una raz
on para esto era que las
vibraciones, indeseables en los dispositivos mec
anicos (tales como trenes
y aeroplanos), eran los efectos parasitos que un investigador intentaba
32
Para la historia de la ingeniera electrica y de la radio, vease S. Bennett:
History of control engineering 1930-1955, IEEE Control Engineering, Vol. 47, London: Peter Peregrinu, 1993 y P. Dunsheath: A history of electrical engineering,
London: Faber & Faber, 1962.
100
eliminar o al menos controlar, mas que estudiar y calibrar de hecho exacnos 30, la estabilizaci
on
to (e.g., en los receptores de radio)33 . En los a
de vibraciones y de fenomenos no lineales de la resonancia pareca vital
para la potencia militar sovietica. En la Primera Conferencia de la Uni
on
sobre las Auto-oscilaciones, llevada a cabo en Mosc
u en noviembre de
1931, la importancia cientca y tecnologica del problema fue subrayada,
el trabajo fue organizado, y pusieron en Andronov y su instituto de Gorki todo el peso de los esfuerzos de dicha investigaci on. Recolectando a
un equipo de matem
aticos, de fsicos, y de ingenieros puros y aplicados,
el se propuso abordar problemas te
oricos y practicos simult
aneamente
y en colaboraci
on estrecha. En el curso de los a
nos 30, la teora de oscilaciones no lineales, el estudio de las ecuaciones diferenciales con un
n
umero peque
no de grados de libertad que provenan principalmente de
la radio tecnologa, form
o el campo privilegiado de investigaci
on de Andronov, en contacto cercano con sus aplicaciones: circuitos electricos con
tubos al vaco, tubos de neon, oscilaciones de relajaci
on en radiofsica e
ingeniera electrica, oscilacion en ruedas del vehculo, regulaci
on y control de m
aquinas, etc. Las variadas herramientas, altamente teoricas,
usadas y desarrolladas por Andronov y sus colaboradores (aplicaciones
puntuales, recurrencias, bifurcaciones, casos crticos, estabilidad, y la
famosa nocion de sistemes grossiers discutida abajo) eran todas destinadas a las aplicaciones. En particular, el metodo de las aplicaciones
e en el caso de la secci
on que lleva su
puntuales, explorado por Poincar
nombre, fue, por una epoca, esencial. Bien adaptado a los problemas de
ingeniera (especialmente a la regulaci
on autom
atica) donde eran u
tiles
las ecuaciones discretas, este metodo hizo natural pensar en los estados del sistema como puntos en el Espacio de Fases. Tambien hizo m
as
f
acil extender el marco te
orico com
un a los sistemas hamiltonianos y
disipativos. La mayora de estos resultados, junto con su contexto de
uso, fueron recolectados en el libro Teora de oscilaciones de Andronov,
Vitt y Khaikin, publicada en 1937 (vctima de la purga Stalinista de
33
Para la historia de la ingeniera electrica y de la radio, vease S. Bennett:
History of control engineering 1930-1955, IEEE Control Engineering, Vol.47, London: Peter Peregrinu, 1993 y P. Dunsheath: A History of Electrical Engineering,
London: Faber & Faber, 1962.
101
1937, Aleksandr Adolfovich Vitt no aparecio en la edici

on rusa original. El libro fue traducido al ingles por Lefschetz en 1949 en una forma
abreviada, y en 1966 en su totalidad). La estructura del tratado reej
o
el programa de investigaci
on del cual emergi
o: el asunto b
asico eran las
oscilaciones en sistemas no lineales con un grado de libertad y la atencion fue centrada especialmente en los ejemplos concretos tratados tan
completamente como fuera posible (el pendulo de Froude, circuito con
tubos al vaco, estabilizador de naves, roturas de Prony, y as sucesivamente). Contrario a la Mec
anica Celeste (donde la Ley de Newton fue
supuesta para ser exactamente cierta), la consideraci
on de los sistemas
fsicos verdaderos nos fuerzan siempre a simplificar e idealizar.34
En una larga introducci
on ellos explicaron que: Es evidente que puesto
que las peque
nas perturbaciones al azar son inevitables en todos los sistemas fsicos, los procesos que son posibles solamente en ausencia de
cualquier desviaci
on al azar o las perturbaciones cualesquiera no pueden
ocurrir realmente en ella35 . Estas consideraciones haban conducido
a Andronov y a sus colaboradores (su esposa E. Leontovich, A. G.
Maier, N. N. Bautin, y otros) a desarrollar la teora de bifurcaciones,
es decir, el estudio de cambios cualitativos en retratos de la fase donde
los par
ametros fueran variados levemente, y, de all, a la doble estabilidad del sistema, con respecto a variaciones en las condiciones iniciales
(en referencia a la teora de Lyapunov), y con respecto a variaciones en
un par
ametro, o, como el escribi
o, el modelo matematico s mismo.
La implicaci
on de este segundo tipo de estabilidad estaba clara: tenemos siempre que tener en cuenta la posibilidad de variaciones peque
nas
de la forma de las ecuaciones diferenciales que describen un sistema
on de sistemas gruefsico.36 De tales preocupaciones emergio la noci
sos. Primero introducido en la literatura como systèmes grossiers por
Andronov y Pontriagin, este t
ermino se ha traducido en ingles, como
sistemas gruesos o asperos. En su traducci
on de 1949 del citado
34
Vease la edici
on en ingles de 1966, p
ag. xv, de Andronov, Vitt & Khaikin:
Ob.cit..
35
Ibid., p
ag. xviii.
36
A. Andronov & L. Pontriaguin: Systèmes grossiers, Doklady Akademi
Nauk SSSR 14 (1937), 247-250.
102
libro de Andronov, Vitt y Khaikin, Lefschetz llamo a estos sistemas

sistemas estructuralmente estables. Como Arnold ha enfatizado37 ,
esta nocion apareci
o en el trabajo de Andronov como una denici
on
matematicamente rigurosa e idea general sobre el tipo de sistemas u
tiles
para modelar matematicamente en la fsica e ingeniera. En terminos
matematicos, indic
o que un sistema era grueso si una variaci
on peque
na
en la ecuaci
on induca un homeomorsmo peque
no bajo el cual el
retrato de la fase permaneca sin cambios desde el punto de vista cualitativo, transforma trayectoria en trayectoria, puntos crticos en puntos
crticos, ciclos lmites en ciclos lmites, etcetera, es decir, en dosdimensiones, el retrato de fases del sistema modicado,
x = P (x, y) + p(x, y);
y = Q(x, y) + q(x, y),
era cualitativamente equivalente al no perturbado (con p = q = 0).

La pregunta fsica mas importante referida a estados estacionarios, estados de equilibrio o movimientos peri
odicos, los [movimientos] m
as
on por la
tpicos sobre intervalos largos del tiempo.38 Esta es la raz
cual la b
usqueda de ciclos lmites, en general muy difcil, era crucial, y
el tratado resumi
o los metodos disponibles para esta tarea (el metodo
del ndice de Poincare, el criterio de Bendixson, y los propios metodos de
Andronov). Bajo la restricci
on de la doble estabilidad mencionada arriba, estaba interesado en clasicar los comportamientos tpicos previstos.
Los metodos matematicos sosticados fueron elaborados para contestar
a la pregunta: Que es necesario conocer sobre un sistema dado para
poder determinar totalmente la estructura cualitativa de sus orbitas?
En el lenguaje topol
ogico contemporaneo, esto signica identicar un invariante completo del sistema bajo conjugaci
on topol
ogica. Desde 1937,
parece, la escuela de Andronov haba desarrollado la teora de sistemas
gruesos de dos dimensiones, incluyendo una caracterizaci
on de las bifurcaciones posibles y de la identicaci
on de un invariante topol
ogico
(el esquema), la consecuencia de las cuales era que, en sistemas gruesos
37
V. I. Arnold: Catastrophe Theory, en Dynamical systems V: Bifurcation theory and catastrophe theory, Encyclopedia of Mathematical Sciences, V. I. Arnold
(Ed.) Vol.5, 1994, Berln, Springer Verlag, p
ags. 207264.
38
Andronov et al. 1949, pag. xxvii.
103
de dos dimensiones, solo los ciclos lmites estables podran representar

fenomenos auto-oscilantes.
Al nal de los a
nos 30, Andronov y su escuela volcaron su atenci
on a la teora del control autom
atico (din
amica de vuelo, de relojes,
de reguladores engranados, etc.). Un rasgo caracterstico fue que Ano problemas multidimensionales, los que apuntaron el
dronov consider
arsenal desarrollado para el caso de dos dimensiones a situaciones no
estandard. Andronov, Bautin, Maier, y otros, se ocuparon de problemas de la estabilizaci
on (e.g., para aeroplanos con piloto-autom
atico, el
tambien llamado problema de Mises-Vishegradsky) y de otros problemas
de oscilaciones no lineales. Las preguntas referentes a la fsica teorica
de las oscilaciones tambien fueron estudiadas desde un punto de vista
pr
actico: diodos y magnetrones en particular, lo que condujo al estudio
estadstico de la alta frecuencia. La escuela de Andronov por lo tanto,
inici
o el estudio de uctuaciones y la inuencia del ruido par
asito en los
procesos auto-oscilantes, en los cuales cono la electronica moderna y,
mas adelante, los masers y los lasers.39
Durante la Gran Guerra Patria, y m
as a
un en la Guerra Fra, el
nanciamiento del Instituto de Gorki creci
o grandemente. Una Escuela
de Radiofsica fue establecida, la cual permaneca en estrecho contacto con el Instituto de Andronov. Los contratos con los militares y las
P.O. Box eran abundantes (para las comunicaciones top-secret con el
Ministerio de defensa en la vieja Uni
on Sovietica; un n
umero de P.O.
Box era a menudo la u
nica identidad dada a las correspondencias). Varios otros temas, de variados campos de la fsica (fsica de alta frecuencia,
electronica, astrofsica) as como ciencia de la ingeniera, se convirtieron
en su reino: ondas y radar, interacciones entre los campos magneticos
(cruciales para los problemas de la instrumentaci
on), problemas de lanzamiento de los misiles, etc. Despues de la muerte de Andronov en
1951, sus colaboradores Zheliztsov y Neimark fueron conectados con
39
Pontryagin, Andronov, y Vitt publicaron su famosa nota Sobre el
tratamiento estadstico de los sistemas din
amicos en 1933; sobre los masers y los
lasers, vease a J. L. Bromberg: The laser in America: 1959-1970, Cambridge,
MA, MIT Press, 1991.
104
trabajos secretos sobre los reactores nucleares y el control de los procesos

de explosi
on, debido a su maestra en la regulaci
on.
El cuadro global del trabajo realizado en la Uni
on Sovietica todava
sigue siendo algo oscuro40 . Mencionemos que hubo otra escuela desarrollada en Kiev, Ucrania, en los a
nos 30. Los m
as famosos representantes
eran Nikolai M. Krylov y Nikolai M. Bogoliubov (N. M. Krylov no
debe ser confundido con N. S. Krylov, mencionado antes). Para exposiciones accesibles de este perodo, vease Krylov & Bogoliubov41 . La Escuela de Kiev centrada en la mecanica no lineal utilizaba, m
as que los
acercamientos cualitativos analticos, los metodos cuantitativos, tales como metodos asint
oticos, desarrollos en serie, y procedimientos de aproxe42 .
imacion y promediaci
on, que provenan principalmente de Poincar
En Kiev, como en Gorki, las preocupaciones pr
acticas y tecnologicas
fueron mezcladas rmemente con progresos teoricos o matematicos fundamentales.
La segunda escuela que desempe
no un papel fundamental en la Uni
on
Sovietica era, por supuesto, la de Andrei N. Kolmogorov, cuyo trabajo sobre mec
anica cl
asica fue inuenciado por Krylov y Bogoliubov.
e en el alcance y la profundidad, la
Comparable solamente a Poincar
o la teora de los sistemas dinamicos desde
obra de Kolmogorov cruz
diferentes angulos: teora de las probabilidades, procesos estocasticos,
teora de informaci
on, turbulencia, teora espectral, y, sobretodo, la
teora general de sistemas hamiltonianos en la mec
anica cl
asica y la
teora erg
odica. El editor de sus Trabajos Selectos, V. M. Tikhomirov,
dividi
o los trabajos de Kolmogorov en tres reinos: orden (matematicas y mecanicos), caos (teora de las probabilidades y estadstica), e
40
El artculo que da el examen m

as completo de la diversidad de la investigaci
on
sovietica en el dominio es S. Diner, Ob. Cit.
41
N. M. Krylov & N. Bogoliubov: Problèmes fondamentaux de la
mecanique non lineaire, Revue generale des sciences pures et apliquees 44 (1933),
919 e Introduction to nonlinear mechanics: A free translation by Solomon Lefschetz
of excerpts from two russian monograph, Princeton: Princeton Univ Press, London:
Oxford Univ. Press, 1943. Una exposici
on inuyente es N. Bogoliubov & Y.
A. Mitropolski: Asymptotic methods in the tehory of nonlinear oscillations, New
York: Gordon & Breach, 1961.
42
Les methodes nouvelles ..., Vol. 2.
105
informaci on y teoras algortmicas, donde estos dos reinos no tenan

o, el concepto de
ninguna frontera natural. Como Tikhomirov explic
la aleatoriedad como complejidad algortmica, la tentativa en descubrir
la esencia de la noci
on de la orden y el caos llenan la vida creativa de
Andrei Nikolaievich, y as podemos hablar de todos sus esfuerzos creativos en un solo nudo.43 Es importante acentuar que, contrariamente
e, Kolmogorov entren
o a los estudiantes para que se hicieran
a Poincar
lderes del mundo en el campo de los sistemas din
amicos, con comunicaciones de la teora que fueron conocidas en el oeste en los a
nos 70; entre
dichos estudiantes tenemos a Manin, Arnold, Sina y Novikov44 . Claramente, un estudio detallado de las matematicas en la Uni
on Sovietica y
su impacto en la revoluci
on del caos todava esta por llegar.
(Recibido en noviembre de 2003)

e-mail: jnapoles@frre.utn.edu.ar ; idic@ucp.edu.ar
Universidad de la Cuenca del Plata

Lavalle 50 (3400) Corrientes, Argentina
Universidad Tecnolo gica Nacional
French 414 (3500) Resistencia, Chaco, Argentina
43
Citado en S. Diner, Ob. Cit., 353-354.

Sobre Kolmogorov vease S. Diner, Ob. Cit., V. I. Arnold: On A.
N. Kolmogorov, en Golden years of Moscow mathematics, S. Zdravkovska &
P. L. Duren (Eds.), Providence, RI: Amer. Math. Soc., 1993, 129153 y A. N.
Shiryaev: Kolmogorov: life and creative activies, Annals of Probability 17 (1989),
866944, as como el volumen corregido por las sociedades matem
aticas americana
y de Londres del 2000, Kolmogorov in perspective, H. M. McFaden.
44

Historia Cualitaiva

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Historia Cualitaiva

Enviado por

Direitos autorais:

Formatos disponíveis

This is a reprint of

Un siglo de teora cualitativa de

Un siglo de teora cualitativa de

Universidad de la Cuenca del Plata, Argentina

Juan E. Napoles Valdes

ayuda de las ecuaciones diferenciales, que ahora se sirven de ecuaciones

Para mayores detalles biogr

Un siglo de teora cualitativa de ecuaciones diferenciales

homoclnicas y heteroclnicas y el concepto de Liapunov de n

Basta echar un vistazo al desarrollo hist

Juan E. Napoles Valdes

Figura 1. Retrato de fases de un ujo en un plano que muestra (de izquierda

Un siglo de teora cualitativa de ecuaciones diferenciales

hay un tubo de desag

Figura 3. Una fuente

Juan E. Napoles Valdes

Mientras tanto, si el sistema comienza su movimiento por un punto

Un siglo de teora cualitativa de ecuaciones diferenciales

Parece como si se estirase el ujo hasta desgarrarse en el punto de

Juan E. Napoles Valdes

Un siglo de teora cualitativa de ecuaciones diferenciales

Aqu es donde aparece la palabra tpica. En un sentido que puede

poles & C. Negro

Juan E. Napoles Valdes

No deja de ser sorprendente que hoy da (en la onda postmoderna

2. Ciclos lmites como signos de los tiempos

Vease M. Kline, ob.cit., p

Un siglo de teora cualitativa de ecuaciones diferenciales

nos da una informaci

Juan E. Napoles Valdes

Smale tena una mente muy original. En su tesis doctoral demostr

Un siglo de teora cualitativa de ecuaciones diferenciales

Juan E. Napoles Valdes

Los crculos lmites dieren de las fuentes, de los sumideros y de las

conoce como tubo de vaco en los Estados Unidos de America). Estas

Un siglo de teora cualitativa de ecuaciones diferenciales

la trayectoria se desarrolla a partir del punto singular I y se enrolla

Juan E. Napoles Valdes

Un siglo de teora cualitativa de ecuaciones diferenciales

(1889-1959). On oscillation hysteresis in a triode generator with two degrees of

Juan E. Napoles Valdes

methodes . . . plantea un problema de bifurcaci

Lev Semionovich Pontriaguin (1908-1988) matematico ruso (nacido en

Un siglo de teora cualitativa de ecuaciones diferenciales

donde P y Q son funciones analticas de sus argumentos. Como el

parecen) por pares en la forma de las races de ecuaciones algebraicas.

Juan E. Napoles Valdes

Llamaremos a este genero de bifurcaci

igualmente EIE (EI)E E .

Un siglo de teora cualitativa de ecuaciones diferenciales

Juan E. Napoles Valdes

del signo negativo al positivo, el origen se convierte de foco estable en

Vease P. Seibert & J. S. Florio:On the Foundations of Bifurcation Theory,

Un siglo de teora cualitativa de ecuaciones diferenciales

Figura 6. Inestabilidad estructural: una silla de montar con tres separatrices se

Juan E. Napoles Valdes

Si consideramos la existencia de simetra, debemos restringir las clases

Figura 7. Representacion esquematica de un atractor general, denotado aqu por

Despues Smale se pregunt

Un siglo de teora cualitativa de ecuaciones diferenciales

Finalmente, se dio cuenta de esto. El primer ejemplo, que se remonta a

Juan E. Napoles Valdes

y la bisectriz s = s. Esta construcci

Un siglo de teora cualitativa de ecuaciones diferenciales