MisceLAnea MatemArica $2 (2000) 39-50 SMM €} Los sistemas dindmicos, ,Qué son y para qué sirven? Ernesto A. Lacomba Departamento de Matemiticas Universidad Auténoma Metropolitana-Iztapalapa Av. Michoacan y La Purisima Col. Vicentina Apdo. Postal 55-534 09340 México, D.F. México hs98@xanum.uam.mx 1 Introducci6n histérica. Los problemas de la dinémica han fascinado a los cientificos durante miles de afios. Los inds notables son los de la mecénica celeste, consis- tente en el estudio de movimientos de cuerpos dentro del sistema solar. Los intentos de Newton para comprender y modelar los movimientos observados de los planetas incorporaron las leyes de Kepler y dieron ori- gen a su desarrollo del célculo. Asi surgié el planteamiento de modelos de problemas dindmicos como ecuaciones diferenciales ordinarias. ‘A pesar de que dichas ecuaciones parecen muy elegantes y sim- ples, la solucién de problemas especificos resulté notablemente dificil y ocupé las mentes de muchos de los més grandes matematicos de los siglos XVIII y XIX. Mientras que para ecuaciones diferenciales ordi- narias lineales fue desarrollada una teoria relativamente completa, los sistemas no lineales permanecieron esencialmente inaccesibles, excep- to por las aplicaciones exitosas de los métodos de perturbaciones a problemas muy cercanos de sistemas lineales o de otros sistemas cuyas soluciones se conocen explicitamente. Las aplicaciones més famosas e impresionantes fueron de nuevo en la mecanica celeste, donde se pu- do determinar con mucha precisién las érbitas de los planetas. Como 3940 E. A. LACOMBA un ejemplo, las irregularidades en el movimiento del planeta Urano a mediados del siglo XIX condujeron al descubrimiento del planeta Nep- tuno. Primero se tuvo certeza de su existencia en forma teérica, y més tarde fue descubierto fisicamente en el espacio. Algo parecido ocurrié después con Plutén. En los métodos de perturbaciones uno toma una solucién conocida a un problema mas simple pero andlogo y la modifica para conseguir una mejor aproximacidn a la solucién verdadera, que no se puede calcular en forma exacta. Para su aplicacién se requiere de un pequeito pardmetro, en términos del cual hacemos una expansién en serie de potencias. E] anélisis era la herramienta favorita para el estudio de problemas dindmicos hasta que el trabajo de Poincaré a fines del siglo XIX [6] mostré que los métodos de perturbaciones podrfan no darnos resultados correctos en todos los casos, porque las series usadas en tales cdlculos divergian. Entonces Poincaré fusion6 el andlisis con la geometria al de- sarrollar un punto de vista cualitativo para el estudio de las ecuaciones diferenciales ordinarias. Asi surgié lo que actualmente se conoce como Sistemas Dindmicos. Incidentalmente, también dié lugar a otras ra- mas de las Matematicas, como la Topologia Algebraica y la Topologia Diferencial. Los métodos de Poincaré se caracterizan sobre todo por el punto de vista geométrico global. El visualizaba un sistema dindmico como un campo de vectores en el espacio fase, asi que una solucin es una curva suave tangente en cada uno de sus puntos al vector basado en dicho punto. Su preocupacién fundamental era la descripcién global de todas las soluciones (o “retrato fase”) y el efecto de pequefias perturbaciones de las condiciones iniciales (estabilidad). En particular se interesaba mucho por la existencia de érbitas periédicas en el problema de tres cuerpos. El estudio de estabilidad de un sistema tuvo también su origen en cuestiones de mecénica celeste como la estabilidad del sistema solar, estudiadas originalmente por Newton, Lagrange y Laplace. En la época de Poincaré, el problema general de estabilidad fue simulténeamente estudiado por Liapunov, cuya tesis doctoral [4] fue el punto de partida de la teorfa moderna de estabilidad. Después de Poincaré, los sistemas dindmicos como métodos de and- lisis cualitativo de ecuaciones diferenciales fueron desarrollados por los siguientes matematicos. El primero fue Birkhoff [2], quien impulsé el trabajo iniciado por Poincaré al dar forma coherente a los sistemas dindmicos precisando las nociones basicas, a la vez que probé la exis- tencia de una infinidad de soluciones periédicas en el problema de tres cuerpos. Después Andronov y Pontriagin [1] introdujeron el conceptoLos SISTEMAS DINAMICOS 41 de estabilidad estructural, donde uno se pregunta si pequefias pertur- baciones de un campo de vectores a otro ligcramente diferente nos dan un retrato fase de soluciones que cualitativamente esté cercano del co- rrespondiente al campo vectorial original. Esto tiene gran importancia practica porque los coeficientes de una ecuacién diferencial se deter- minan experimentalmente y por lo tanto de manera aproximada. Fi- nalmente, Kolmogorov, Arnold y Moser (5] probaron la estabilidad de ciertas soluciones periédicas en el problema de 3 cuerpos, exhibiendo una infinidad de soluciones periddicas y cuasi periédicas (superposicin de soluciones periédicas de distintos periodos) vecinas. Asi dieron ori- gen a una teoria conocida con sus tres nombres y que podia pensarse como una solucién parcial al problema de estabilidad del sistema solar. Entonces Smale enriquecié substancialmente la teorfa general al bosquejar el estudio sistematico de sistemas hiperbdlicos [7]. Su idea basica era la biisqueda global de propiedades genéricas o estables. Pro- puso asi cierto mimero de problemas muy relevantes, resolviendo al- gunos de ellos y estimulando mucho del trabajo posterior en el tema. Como un ejemplo, al construir la famosa “herradura” que ahora lleva su nombre, dié lugar a la aplicacién sistematica de la Hamada “dindmica simbélica”en sistemas dindmicos para describir el comportamiento caé- tico a largo plazo de las soluciones. De esta forma resulta que el com- portamiento de ciertas érbitas puede plasmarse en la complejidad ya conocida de un conjunto de Cantor. La aparicién de caos es mas bien una regla general para sistemas no lineales. Tambien probé que generalmente no se tiene estabilidad estructural. Desde el trabajo de Poincaré cuando se toman secciones transve sales a ciertas soluciones (generalmente periddicas) de una ecuacién diferencial ordinaria para entender el comportamiento de las érbitas vecinas, aparece otro tipo de sistemas dindmicos llamados discretos, que consisten en el estudio cualitativo de las ecuaciones en diferencias 0 iteracién de aplicaciones o mapeos. Estas tienen diversas aplicaciones en muchas dreas: biologia, economia, andlisis numérico, etc. En una ecuacién en diferencias podemos pensar que el cambio ocurre en in- tervalos discretos de tiempo. Simplemente al discretizar una ecuacién diferencial ordinaria para resolverla por métodos numéricos aparecen ecuaciones en diferencias que hay que resolver recursivamente. Como otro ejemplo, al modelar poblaciones de animales que se reproducen en ciertas épocas del aiio, es preferible usar ecuaciones en diferencias en vez de ecuaciones diferenciales porque el tamaiio de la siguiente ge- neracién est determinada en gran parte por el tamajio de la actual.