Signos de Los Tiempos

Divulgacin o
Las ecuaciones diferenciales ordinarias como signos de los tiempos

Juan E. Npoles Valdes a Universidad de la Cuenca del Plata, Lavalle 50, 3400 Corrientes, Argentina
idic@ucp.edu.ar
y Universidad Tecnolgica Nacional, French 414, o 3500 Resistencia, Chaco, Argentina

jnapoles@frre.utn.edu.ar
resumen En nuestro trabajo presentamos cmo se ha ido desarrollando el o aparato conceptual y metodolgico de la matemtica actual, a ra o a z del desarrollo de las investigaciones propias de las Ecuaciones Diferenciales Ordinarias (EDO por brevedad), y cmo en stas convero e gen ahora cient cos de disciplinas anes (y no tan anes) como son la topolog el anlisis funcional, la teor de conjuntos y otras que a, a a se han compenetrado perfectamente con las propias de las EDO. 1. De como la teor de las ecuaciones diferenciales ordinarias a tiene trazas de ser un raro invento
En el estudio de ciertos sistemas f sicos resulta interesante y casi siempre necesario conocer propiedades (de las soluciones de la ecuacin o sistema o que modela tal sistema) tales como acotamiento, estabilidad, periodicidad, etc., sin tener que recurrir a la ardua y laboriosa tarea, que en muchos casos es impracticable, de encontrar expresiones anal ticas para las soluciones. De este modo surgi el problema de investigar las propiedades de las soluciones o de una ecuacin diferencial a partir de su propia expresin, dando lugar o o
39
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H
Contenido
J. E. NAPOLES VALDES
a la teor cualitativa de ecuaciones diferenciales, teor que surge en la a a segunda mitad del siglo XIX y que fue abordada inicialmente por Jules Henri Poincar (18541912) y Alexander Mijailovich Liapunov (18571918), e aunque por motivos diferentes.1 Como se ha repetido tantas veces, para Galileo el libro de la Naturaleza est escrito en lenguaje matemtico y, para explicar un fenmeno, es necea a o sario leer sus caracteres: puntos, l neas, . . . Esto signica que ms que a atribuir el movimiento de los objetos graves los que se dirigen al centro de la Tierra a una causa, lo que se debe hacer es descubrir la regla que lo regula. Por ello, Galileo, al enunciar su solucin al problema de la ca o da libre, lo hace diciendo que cualquier cuerpo, grande o pequeo, ligero o n pesado, al caer libremente lo hace con una aceleracin constante. o Con Newton el problema se resuelve suponiendo la existencia de una relacin lineal entre la aceleracin en cada punto de la trayectoria y la fuerza o o que en cada punto acta sobre el cuerpo. Una vez conocida la expresin de u o la fuerza actuante y las condiciones iniciales, la trayectoria se puede calcular y, para sistemas que tengan sentido f sico, esto signica que dado un estado del sistema los estados futuros quedan un vocamente determinados: este es el sentido del determinismo que Laplace crey la mecnica de su tiempo o a hab puesto al descubierto. La ciencia, se dec mostraba que el mundo a a, funcionaba como un mecanismo de relojer a. Y sin embargo, en la prctica hab ciertos problemas que rehusaban a a someterse a este esquema, ya sea porque la ecuacin diferencial no ten o a solucin en cuadraturas y hab que conformarse con soluciones aproxio a madas, o porque la gran cantidad de ecuaciones involucradas hac imposia ble el conocimiento de la solucin del sistema. Esto apuntaba a que posio blemente nuestro conocimiento y prediccin de los fenmenos pod estar o o an vedados en ciertas situaciones que no correspondieran a simplicaciones de la realidad, lo cual ocurre en la mayor de los modelos estudiados. a As ocurri con la astronom y su intento de predecir con toda exactitud o a eclipses y movimientos de planetas (sirva como un buen ejemplo el problema de los N cuerpos). Afortunadamente, Poincar apunt, como ya dijimos, la e o direccin en que muchos de estos problemas deb ser tratados: la teor o an a cualitativa, o ms generalmente, el estudio de los sistemas dinmicos, como a a se le ha venido a llamar en las ultimas dcadas. e Puntualizaremos que la historia toma, en ocasiones, el camino opuesto al indicado. Tal es el caso de la ecuacin del pndulo libre, en la cual, el o e
1 El primero debido al estudio de guras de equilibrio y de la estabilidad del movimiento: Problme e gneral de la stabilit du mouvement, traduccin francesa (1907) del original en ruso (1892) y Sur les e e o gures dequilibre peu direntes des ellipsoids dune masse liquide homogne dove d un mouvement e e e de rotation (1906), y el otro debido a sus investigaciones en mecnica celeste: Sur les courbes dnie a e par une quations dierentielle (1880), Memoire sur les courbes dnie par une quation dierentielle e e e (18811886) y Les Methodes Nouvelles de la Mecanique Celeste (18921899).
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H H
40
Contenido
LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS
estudio cuantitativo precedi al cualitativo. o El primer estudio sistemtico, utilizando tcnicas cualitativas, para proa e bar la existencia de soluciones peridicas de una ecuacin diferencial, fue o o llevado a cabo por Poincar, dando un mtodo que lleva su nombre y que e e consiste en buscar puntos jos para un cierto funcional, denido sobre un subconjunto de Rn . Posteriormente y usando tcnicas del anlisis funcional, se aborda el e a mismo problema consistiendo la esencia del mtodo en determinar puntos e jos para un funcional denido en el espacio: C = {x: R Rn /x continua y T peridica}. o
Ms recientemente, se trata el problema arriba aludido con tcnicas de a e teor de bifurcacin, la cual surge al analizar la dinmica de sistemas f a o a sicos regidos por ecuaciones no lineales dependientes de un parmetro. a Por otra parte, el estudio de la existencia de soluciones se reduce, en ocasiones, a la bsqueda de los ceros de un determinado operador denido u sobre un apropiado espacio de Banach. Este mtodo tiene sus or e genes en los trabajos de Liapunov sobre la existencia y comportamiento de los estados de equilibrio de un u en rotacin, en los de Poincar sobre mecnica do o e a 2 sobre el estudio de la existencia de ecuaciones celeste y en los de E. Schmidt integrales no lineales. Hemos visto cmo las etapas anteriores del desarrollo de las EDO desemo bocan, hacia el ultimo cuarto del siglo XIX, en el trabajo de Poincar con el e desarrollo de la Teor cualitativa. Es a este eminente matemtico, a quien le a a corresponde hacer una profunda reexin del pasado, hacer algunos cambios o radicales y proponer nuevas alternativas. En su comunicacin al Congreso o Internacional de 1908 Poincar dijo: . . . En el pasado, una ecuacin slo e o o era considerada soluble cuando se pod expresar la solucin con ayuda de a o un nmero nito de funciones conocidas; pero esto es posible en una de cada u cien. Lo que podemos hacer siempre, o casi siempre, es resolver el problema cualitativo, de obtener la forma general de la curva representando la funcin o desconocida. . . 3 . En el trabajo de Poincar de 1881, encontramos el sistema autnomo de e o ecuaciones diferenciales: x = P (x, y),
2 Zur
y = Q(x, y); |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| | H H
theorie der linearen und nichtlinearen Integral-gleichung und der Verzweigung ihrer Losungen
(1908). 3 Vase Hirsch, M. W., The dynamical systems approach to dierential equations, Bull. Amer. Math. e Soc. 11 1 (1984) pg. 19. a 41
Contenido
en lugar de la tradicional ecuacin diferencial dy/dx = Q/P ; la totalidad de o las curvas denidas por esta ecuacin constituyen el llamado retrato de fases o de las soluciones. El mtodo de Poincar permite obtener las caracter e e sticas generales de todas las curvas, de las cuales, l demostr, existen solamente e o dos tipos: las trayectorias cerradas o ciclos l mites y las trayectorias que tienden a un ciclo l mite o a un punto cr tico en el que P = Q 0. En el acercamiento de Poincar encontramos dos puntos de vista centrales e en la forma de concebir la solucin de una ecuacin diferencial ordinaria. o o Por un lado, el que una solucin est descrita por una curva y no slo por o e o una expresin algebraica, y por otro, que una ecuacin diferencial sea un o o proceso determin stico, no considera la solucin slo como una funcin de la o o o variable independiente, sino como una funcin de las condiciones iniciales o (con las contribuciones de Hadamard, ms adelante). Estas ideas geomtricas de Poincar, as como los mtodos numricos de e e e e Runge y Kutta de principios de siglo, se comienzan a incorporar a los libros de texto despus de la segunda mitad de este siglo, bsicamente en e a los dedicados a los ingenieros. Asimismo, los mtodos operacionales que se e originan con Heaviside a nes del siglo pasado, los encontramos en muchos de los textos escritos en este siglo (en forma del operador D), como una tcnica para resolver ecuaciones diferenciales lineales, ms adelante en e a muchos libros es sustituido por el mtodo de la transformada de Laplace, e la cual es usada fundamentalmente para resolver ecuaciones diferenciales lineales, aunque se ha observado en estos aos su utilizacin en diversas n o investigaciones puras. Representemos a los puntos del plano euclidiano mediante pares de nmeu 2 . Un campo ros reales, x = (y, z), convirtindose en el plano cartesiano R e de vectores F en el plano dene un sistema dinmico mediante la relacin: a o dx = F(x), dt x R. (1)
Una solucin de (1) es un punto x(t) que recorre determinada regin, o o parametrizado por un intervalo de los nmeros reales t (casi siempre consiu derado el tiempo), de tal forma que en todo instante de tiempo su velocidad sea F(x(t)), es decir, se satisface para todo t: x (t) = F(x(t)). |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| || H H (2)
El problema clsico, tal y como lo hemos expresado es, dada una exa presin en coordenadas del campo vectorial F(x) = (F1 (y, z), F2 (y, z)) en o trminos de funciones conocidas, dar la expresin anal e o tica de la solucin o en trminos de dichas funciones conocidas. e Esto como sabemos, no siempre es posible.
42
Contenido
Poincar aport una nueva idea para atacar el problema de la solucin e o o comprendi que el problema como lo de las ecuaciones diferenciales. El o acabamos de plantear, no siempre es soluble, sin embargo, s es posible dar una descripcin geomtrica-cualitativa del conjunto de todas las soluciones o e y, en la mayor de los problemas, esta descripcin es ms satisfactoria que a o a una expresin en trminos de funciones conocidas o en serie. o e Es conocido que un sistema dinmico es utilizado para denotar todo a proceso de evolucin temporal en el que el pasado nos brinda datos para o determinar el futuro; as pudiramos pensar que esta nocin se reere a pro, e o cesos perfectamente determinados, donde el caos y el desorden no pueden existir. Sin embargo, nada ms lejos de la realidad. Un sistema dinmico a a consta de dos conceptos esenciales: el de estado y el de dinmica. Una maa nera prctica de ilustrar la evolucin de un estado es (como ya sabemos) a o por medio del espacio de fases, en el cual las coordenadas corresponden a las variables que describen el sistema. Por supuesto, la dimensin de este o espacio es el nmero de variables que se consideran necesarias y sucientes u para describir la evolucin del sistema. o Utilicemos el movimiento del pndulo para ilustrar stas y otras ideas. e e El estado quedar perfectamente determinado por los valores que toman la a posicin (el ngulo con respecto a la vertical) y la velocidad angular. De los o a datos iniciales (velocidad y posicin inicial), y mientras el pndulo oscila, se o e obtiene una rbita o trayectoria que puede trazarse en el espacio de fases. o El caso ms sencillo es el del pndulo sin friccin o simple una varilla a e o o hilo inextensible, jado en un punto y del cual pende un peso el cual presenta una rbita cerrada, dado que el movimiento se repite una y otra o vez, siguiendo el mismo camino. Cuando el pndulo se encuentre en alguna de sus dos posiciones extremas e de mxima elevacin, la velocidad ser nula; por consiguiente, su cantidad a o a de movimiento tambin. Por el contrario, al pasar por el punto ms bajo de e a su trayectoria, la velocidad ser mxima. Esto ocurrir en dos situaciones: a a a una para el movimiento de derecha a izquierda del pndulo y la otra para e la situacin inversa. En ambas, la cantidad de movimiento ser mxima. o a a Si se representan esas posiciones en el espacio de fases y se deja al sistema oscilar, la trayectoria ser, como dijimos antes, una l a nea curva cerrada el ptica. Dependiendo del impulso inicial dado al pndulo, la elipse tendr e a mayor o menor tamao. n Un pndulo real, sin embargo, tiene fricciones y resistencia del aire; por e ello, termina detenindose. La dinmica del sistema queda representada e a grcamente en el espacio de fases bidimensional por una espiral que tras a varios giros muere en el origen de coordenadas: velocidad y posicin nuo las. A ese punto del espacio de fases se le conoce como atractor 4 , ya que
4 Usado
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| ||| H H
primero por Stephen Smale (1930?) y no por Rene Thom (19232002) como muchos se alan. n
43
Contenido
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H
las trayectorias cercanas al origen tienden a l. Bajo estas condiciones, el e sistema permanece en dicho rgimen y por ello el origen se dice que es e asintticamente estable. o Los relojes actuales con apariencia analgica (tienen manecillas como o los antiguos pero reciben el auxilio energtico de una pila elctrica y un e e cristal de cuarzo) constituyen pndulos forzados, es decir, compensan las e prdidas de energ por rozamiento con inyecciones de impulso mecnico. e a a As no importa que el reloj desfallezca o se acelere en algn momento. El , u dispositivo electrnico incorporado se encargar de reanimarlo o relajarlo o a para que reencuentre su cadencia r tmica: el orden de la regularidad. En este caso, el atractor es una elipse con brazos espirales en el exterior y en el interior que terminan abrazndola y fundindose con ella en la intimidad a e ms absoluta. Se trata de un atractor muy especial, llamado ciclo l a mite estable: un bucle cerrado hacia el cual convergen las trayectorias vecinas. Ejemplos interesantes de ciclos l mite lo constituyen los sistemas presadepredador; por cierto, implantados natural o articialmente en todo tipo de ecosistemas: biolgicos, sociopol o ticos, religiosos, etc. Con pocos depredadores, las presas viven a sus anchas. Los primeros se reproducen plcidamente aumentando su nmero, mientras que las presas van desaa u pareciendo drsticamente. Los depredadores, en esa tesitura, comienzan a a morir por falta de alimento y las presas comienzan a reproducirse hasta superpoblar el ecosistema. Y el ciclo comienza de nuevo. Aunque aparezca una enfermedad que les afecte o se incremente articialmente alguna de las poblaciones, los cient cos demuestran que la tendencia del sistema es recuperar el ciclo. Un ciclo l mite. Es sorprendente que el comportamiento aparentemente aleatorio de los seres vivos integrantes del sistema, pueda autoorganizarse de forma que resulte una estructura ordenada. Esto es, la gnesis del orden a partir del caos. e O, el sutil orden que subyace en el caos. Ahora bien, podr extrapolarse esa peculativamente el concepto al proceso evolutivo del ser humano. Factores psicolgicos y ambientales, aparte de la conguracin gentica, podr deo o e an terminar en la infancia ciclos l mites estables de carcter mltiple: indivia u duos tendentes a ser felices o a no serlo, comportamientos c clicos pac cos o violentos, pautas de convivencia tolerantes o intolerantes, actitudes favorables o desfavorables hacia diversas formas de aprendizaje, etc. Todos los esfuerzos por modicar el ciclo, terminar por consolidarlo. Entonces an se podr pensar en transformar el contexto, lo cual, adems de ingenuo a a resulta algo bastante improbable. O bien, inyectar . . . caos. En los espacios de fases de una y dos dimensiones los unicos atractores son las posiciones de equilibrio asintticamente estable y los ciclos l o mites. Si el fenmeno requiere para su modelacin de un espacio de fases de dimensin o o o mayor, puede aparecer otro tipo de atractor: el toro; esto ocurre en la
44
Contenido
situacin en la cual el pndulo libre tiene dos movimientos independientes: o e oscila y gira alrededor de su punto de apoyo. Es interesante analizar el caso cuando este mismo pndulo, est sometido a friccin. e a o Es claro adems, que estando en presencia de un ciclo l a mite, el sistema f sico descrito, por ejemplo el pndulo, recibe energ externa suciente para e a compensar los rozamientos y el amortiguamiento consiguiente. Las rbitas o cercanas a un ciclo l mite estable se acercan indenidamente a este, lo que equivale, en el sistema f sico, a que el movimiento del pndulo se acerca a e un cierto rgimen de trabajo. e Hemos hecho alusin al oscilador armnico simple, pues este ha jugado o o un importante papel en la teor de las oscilaciones y puede compararse a al que juega el ciclo l mite en las oscilaciones no lineales y el de solitn o en los sistemas ondulatorios no lineales. Adems, es claro que fue el punto a de partida, en muchos aspectos, de la teor cualitativa en general y de la a teor de las oscilaciones en particular. a La observacin simple muestra que algunas posiciones de equilibrio de o sistemas sometidos a perturbaciones pequeas son estables; pero otras posin bilidades de posicin de equilibrio son, en principio, imposibles de realizar o desde el punto de vista prctico. As en el ejemplo del pndulo se tienen a , e dos posiciones de equilibrio, si un pndulo ocupa su posicin inferior, una e o perturbacin puede provocar solamente su oscilacin alrededor del punto o o de equilibrio. El estudio del pndulo constituye, desde hace un buen nmero de aos, un e u n cap tulo clsico de todo libro de texto de mecnica anal a a tica. Mgr. Lemaitre, lo adelant en sus conferencias en la Universidad de Louvain (Blgica). Sus o e notas de conferencia son tituladas: Lecciones de mecnica. El pndulo, y a e podemos leer en su introduccin: Una actitud intermedia que nosotros o seguiremos consiste en retener de la historia de la ciencia la preeminencia dada a un problema particular, el movimiento del pndulo y, por tanto, e presentar los conceptos fundamentales en el marco de este problema particular. . . Este problema del pndulo es uno de aquellos donde la ciencia de la e mecnica fue surtida de una de sus mayores contribuciones a la edicacin a o de las matemticas modernas, porque l puede ser ampliamente identia e cado con el estudio de las funciones el pticas alrededor de las cuales fue construida la teor de funciones de una variable compleja. . . . a Mucho ms reciente, en la Encyclopediae Universalis francesa, en un a art culo titulado Systemes dynamiques dierentiables, A. Chenchiner usa de nuevo el pndulo como un tema central, para iniciar al lector a la e teor moderna de sistemas dinmicos: el primer cap a a tulo describe en detalle ejemplos conectados al pndulo e introduce ms y ms comportamiene a a tos asintticos complejos cuyos anlisis van a requerir los conceptos ms o a a
45
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H
Contenido
abstractos de la ultima parte; en el cap tulo nueve de este art culo encontramos: el pndulo sin friccin; un sistema hamiltoniano, el pndulo con e o e friccin lineal: un sistema estructuralmente estable, perturbaciones peridio o cas de un pndulo friccionado y difeomorsmo que preservan el rea en el e a plano. A pesar de sus precursores, Galileo es el primer cient co asociado al estudio experimental y terico del pndulo. Es conocida la historia verdadera o e o falsa de su descubrimiento en 1583 o 1584, del isocronismo de las oscilaciones del pndulo, observando una lmpara suspendida en la Catedral e a de Pisa. El primer documento escrito de Galileo sobre el isocronismo del pndulo e es una carta de 1602 a Guidobaldo del Monte: Ud. debe perdonar mi insistencia en mi deseo de convencerlo de la verdad de la proposicin que o los movimientos en el mismo cuadrante de un c rculo son hechos a igual tiempo. En su famoso Dilogo escribi: El mismo pndulo hace sus oscilaa o e ciones con la misma frecuencia, o con poca diferencia, casi imperceptible, cuando stas son hechas por una circunferencia mayor o sobre una muy e pequea. Esto es, por supuesto, un planteamiento errneo o, en un camino n o positivo, podemos considerarlo como una manifestacin muy primitiva de lo o que es, posiblemente, la primera herramienta bsica en la ciencia no-lineal: a la linealizacin. Conocemos que el isocronismo no es una propiedad de las o soluciones de la ecuacin diferencial del pndulo con longitud l: o e u + pero de su forma linealizada si u + g u = 0. l g l sen u = 0,
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |
La expresin precisa T = 2(g/l)1/2 para el per o odo de las soluciones de esta ultima ecuacin, ser lo primero dado por Newton en su Principia, en o a 1687. Note que algunas aplicaciones del pndulo fueron ya presentidas por e Galileo, en particular a la medicin de un Pulsilogium para vericar el o pulso de un paciente; a la navegacin en la determinacin de la longitud, y o o a la horolog con la regulacin de los relojes mecnicos. a o a Una prueba de la independencia del desarrollo matemtico con respecto a a las exigencias de la prctica social est en el hecho de que este problema del a a isocronismo, todav es objeto de estudio por parte de diversos matemticos a a
46
Contenido
en el mundo. As sea la ecuacin diferencial: , o y + f (y) = 0, (3)
donde la funcin f (y) es continua, yf (y) > 0 si y > 0. Supngase que la o o y funcin F (y) = 0 f (s) ds satisface la relacin limy F (y) = , entonces, o o toda solucin de (3) es oscilatoria y peridica. El problema de isocronismo o o para esta ecuacin es el siguiente: Bajo cules condiciones todas las soluo a ciones de (3) tendrn el mismo per a odo? En un trabajo de A. Elbert5 este problema se extiende al caso de la ecuacin diferencial ms general: o a y + f (y)g(y ) = 0, (4)
donde la funcin f satisface los requerimientos anteriores para (3) y g es o una funcin que satisface las siguientes condiciones: o g(t) es continua y positiva sobre R. z dz ii ) Los l mites existen. 0 g(z) z s ds iii ) La funcin G(z) = o satisface la relacin lim G(z) = , con o z 0 g(s) un parmetro positivo. a Si Guidobaldo del Monte expres en o 1602 un buen grado de escepticismo al llamado isocronismo de Galileo, fue un astrnomo belga, Wendelin, el primero o en mostrar experimentalmente que el per odo de las oscilaciones crece con las amplitudes de las oscilaciones, y da tablas exactas en su Luminacarni Eclipses Lunares de 1644. Este hecho fue entonces deducido matemticamente por a Huggens en su famoso Horologium de 1673, y l mismo tambin observ los e e o fenmenos no-lineales de sincronizao cin en dos pndulos jados sobre una o e misma cuerda delgada. Doscientos quince aos despus, Van der Pol y Apn e pleton6 descubrieron un fenmeno ano a logo en circuitos elctricos. e
Problems for Nonlinear Second Order Dierential Equations, Public. Mathematicae, 34, Debrecen (1987), pp. 163167. 47
5 Isochronismo
i)
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H ||
Contenido
La relacin matemtica entre el per o a odo T y la amplitud A fue expresada por Euler en 1736 en su Mecnica por la serie: a T = 2 l g
1/2
1 +
k=1
1 3 (2k 1) 2 4 (2k)
sen
A , 2
(5)
y Poisson, en 18117 , analiz la ecuacin del per o o odo usando un mtodo de e desarrollo en series de potencia de un parmetro pequeo. La relacin (5) a n o fue formulada por Legendre en 1825 y por Jacob en 18298 para integrales y funciones el pticas. La teor cuantitativa del pndulo libre fue completada por la expresin a e o de las soluciones de la ecuacin (3) en trminos de funciones el o e pticas. Debemos a Poincar, en 1881, el estudio cualitativo de las soluciones de ecuae ciones diferenciales no-lineales, particularmente en el caso de la ecuacin o (3), la descripcin topolgica de las rbitas (u(t), u (t)) de las soluciones de o o o (3), en el plano de fases (u, u ). El retrato correspondiente, con el equilibrio estable (2k, 0), centros, el equilibrio inestable ((2k + 1), 0), puntos de sillas, las soluciones peridicas no constantes (rbitas cerradas) sobre las o o que Poincar apunt: Lo que hace que estas soluciones peridicas sean tan e o o apreciadas es que son, por as decirlo, la unica brecha por donde podemos intentar penetrar en un lugar considerado hasta aqu inabordable, las solu ciones rotatorias y las separatrices conectadas con el equilibrio inestable (rbitas heterocl o nicas u rbitas homocl o nicas, si identicamos, mdulo 2, o el equilibrio inestable, i.e., si trabajamos sobre la variedad natural cil ndrica de fases). Como tantas veces, la historia tom el camino opuesto con reso pecto a la metodolog de Poincar en el ataque de las ecuaciones diferena e ciales no-lineales: el estudio cuantitativo del pndulo libre hab precedido e a al cualitativo. El acercamiento cualitativo es particularmente util a la discusin de la o ecuacin del pndulo libre amortiguado: o e u + cu + g sen u = 0, l
cuyas soluciones no pueden ser expresadas en trminos de funciones conoe cidas, lo cual tambin es cierto para la ecuacin: e o |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H ||| u + cu + a sen u = b,
de Mecanique. sus clsicos Traite des fonctions elliptiques y Fundamenta nova theoriae functionem ellipticarum, a respectivamente.
8 En 7 Traite
48
Contenido
que aparece en el estudio de motores sincrnicos (con las contribuciones de o Edgerton, Fourmarier, Tricomi). En el caso de una ecuacin diferencial de la forma: o x + Ax + Bx = F, (5 )
donde A, B y F no son necesariamente constantes, el retrato de fases de sta son curvas en el plano xx . Este puede ser obtenido tanto, cuando e la ecuacin (5) sea lineal o no-lineal. Con el plano de fases obtenidas, el o prximo paso es normalmente el anlisis del comportamiento del sistema o a f sico, donde la palabra anlisis signicar un nmero de diferentes hechos a a u dependientes de la circunstancias. Algunos de los aspectos del anlisis puede a incluir uno o ms de los siguientes pasos: a 1. 2. 3. 4. 5. 6. 7. Clculo de la respuesta exacta transitoria para un conjunto de condia ciones iniciales. Prediccin del tipo de respuesta transitoria (oscilatoria o montona) o o para un cierto rango de condiciones iniciales. Estimado del exceso en la respuesta a la entrada de un paso de magnitud dada. Prediccin de la estabilidad del sistema. o Prediccin de la existencia y la amplitud de ciclos l o mites (oscilacin o no lineal de amplitud constante). Prediccin de la existencia de varios modos de operacin. o o Estudio del efecto de un tipo dado de no-linealidad sobre el comportamiento del sistema, comparado con el sistema lineal, con un sistema no lineal, con un tipo diferente de no-linealidad, o con un sistema el cual es no-lineal en el mismo sentido, pero con un grado diferente. Ensayar la respuesta a preguntas como: Esta no-linealidad mejora el comportamiento? Qu cambios se pueden hacer para suprimir el ciclo l e mite? Cmo podemos ajustar este sistema y hacer que satisfaga a las o especicaciones? La no-linealidad es continua o discontinua? En el primer caso, el plano de fases puede constar de dos, tres o ms hojas, y en el segundo, las l a neas de conmutacin originan una o quiebra en las trayectorias de fases. Anlisis de la inuencia de los parmetros y de la existencia de bifura a cacin en las soluciones peridicas de (5) en casos de existir estas. o o
8.
9.
49
Por tanto, es realmente claro que el retrato de fases debe ser obtenido como condicin, sino indispensable, por lo menos muy importante en el o anlisis del sistema. a
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H ||||
Contenido
Volviendo al problema clsico del pndulo, tenemos que si despus de a e e aumentar la perturbacin se logra, en algn momento, detener el pndulo o u e en la posicin superior, entonces hasta un pequeo golpe provoca su ca o n da. En este ejemplo, el estudio sobre la estabilidad, o mejor an, sobre las u oscilaciones, se resuelve de manera elemental pero, y siempre hay un pero, la realidad no tiene por qu acomodarse a nuestros intereses: si en el pndulo, e e que adems de rotar, oscila, se le adapta un resorte que lo una a un motor a que le trasmite impulsos, el movimiento que se engendra produce en el espacio de fases ahora de tres dimensiones una curva localizada en una regin nita del espacio, pero que no la invade completamente. Esto es, o ser una curva de longitud innita, encerrada en una regin nita y que a o nunca se corta a s misma. Seguir la trayectoria produce la sensacin de o estar contemplando un movimiento aleatorio, un movimiento que parece no seguir ningn patrn y que, claramente, diere de las formas habituales. u o Por esto, y por quedar connado a una regin nita del espacio, se dice que o la rbita da lugar a un atractor extrao 9 . o n David Ruelle10 y Floris Takens11 , f sico-matemtico el primero y maa temtico el segundo, crearon el trmino atractor extrao como una zona a e n bien delimitada del espacio de fases en la que las l neas de la trayectoria del sistema nunca se cortan. L neas de longitud innita connadas en rea a nita, describiendo rbitas no peridicas. o o Ni Ruelle ni Takens lo hab visto nunca, pero presagiaron su existencia; an ese monstruo matemtico, segn ellos, habr de ser fractal. Lorenz, lo a u a encontr casualmente en 196312 . Un atractor extrao con una forma de o n alas de mariposa que jams se cortaba a s mismo. Un complejo innito de a
R. Mart nez y R. Bulajich, Caos. Memoria antigua, realidad moderna, Ciencia XVIII 105 (1990) pp. 1231. 10 Profesor en el Institut des Hautes Etudes Scientiques de Bures-sur-Yvette, Francia, desde 1964, Honorario desde el 2000. Naci el 20 de Agosto de 1935 en Ghent (Blgica). o e 11 Editor de la clebre coleccin Springer Lecture Notes in Mathematics. Naci el 11 de diciembre de e o o 1940 en Zaandam, Holanda. 12 En su famoso paper de 1963, Deterministic nonperiodic ow, Edward Lorenz propuso como modelo de la dinmica de un ujo hidrodinmico disipativo una simplicacin de las ecuaciones de Navier-Stokes a a o que resulta en un sistema de tres ecuaciones diferenciales ordinarias no lineales. Las ecuaciones, ahora llamadas ecuaciones de Lorenz son: dx = s (y x), dt dy = r x y x z, dt dz = x y b z. dt
9 Vid.
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| H
Lorenz analiz este sistema para s = 10, r = 28, b = 8/3 y encontr que las soluciones presentaban o o propiedades sorprendentes. En particular, es posible encontrar una supercie que encierre al ujo impl cito, de forma que las trayectorias quedn connadas en su interior y, sin embargo, puede demostrarse que no a existen puntos jos estables, ni ciclos l mite. Qu ocurre entonces con las trayectorias? Las trayectorias e son atra das por un fractal, un conjunto con volumen cero y rea innita, que exhibe una asombrosa a complejidad y sobre el cul puntos muy cercanos pueden presentar una extraordinariamente rpida divera a gencia. En un art culo muy reciente (2002), W. Tucker resolvi uno de los famosos problemas de Smale, o demostrando que la estructura de este atractor es la de un atractor extra o. n 50
Contenido
supercies separadas como en un dulce de hojaldre. Un inslito espectculo o a geomtrico. e Los atractores extraos se generan como producto de la convivencia de n dos situaciones, aparentemente incompatibles: rbitas muy cercanas entre o s se separan rpidamente o, lo que es lo mismo, el comportamiento del a sistema depende, con extrema neza, de las condiciones iniciales. Por otra parte, como el sistema es amortiguado, un conjunto de condiciones iniciales que ocupan un cierto volumen del espacio de fases, se contrae. Contraccin o y separacin, lgicas antagnicas y sin embargo, coexistentes. Como el cono o o junto atractor tiene un cierto tamao, las rbitas no se pueden separar ms n o a all de cierta distancia y deben, por lo tanto, doblarse una y otra vez y, sin a cruzarse, ir formando lminas que se entrelazen de la manera ms complia a cada que se pueda imaginar. Caracter stica esencial que ya fue destacada: ante observaciones cada vez ms detalladas siempre se obtiene la complejia dad del conjunto, casi llenan una regin y, sin embargo, siempre hay huecos, o revelando as su estructura fractal. Despus de este necesario prembulo podemos declarar que estamos ine a teresados en ilustrar, no con un ejemplo particular como lo es el pndulo, e sino con el propio desarrollo de las EDO, cmo se ha ido desarrollando o el aparato conceptual y metodolgico de la matemtica actual, a ra del o a z desarrollo de las investigaciones propias de las EDO, y cmo en stas cono e vergen ahora cient cos de disciplinas anes (y no tan anes) como son la topolog el anlisis funcional, la teor de conjuntos y otras que se han a, a a compenetrado, perfectamente, con las propias de las EDO13 . Destacando de paso, que esto es un rasgo de la matemtica actual, el desarrollo de a sus mtodos a partir de investigaciones de campos espec e cos; rasgo que empieza a ser evidente a mediados del siglo pasado y que es algo que en estos momentos (dado el nivel de integracin de las diferentes disciplinas o matemticas) no puede ser obviado. a Las relaciones entre la matemtica y sus diferentes campos vienen siendo a un asunto muy discutido por ms que a veces lo puesto en cuestin sea la a o existencia misma de alguna relacin (en una u otra direccin) entre ellas. o o Desde luego, no faltan en la literatura diversos intentos de distanciarlas con demarcaciones o contraposiciones del tipo: matemtica pura/matemtica a a aplicada. Pero tambin existen lugares de cruce donde alguna suerte de e relacin parece obligada aunque, por lo general, el tratarse de una cita o inevitable no vuelve ms claro su sentido, ni ms previsible su desenlace. a a
13 Para otros puntos de vista, puede consultar J. E. Npoles y C. Negrn, De la mecnica anal a o a tica a las ecuaciones diferenciales ordinarias. Algunos apuntes histricos, Revista LLULL (Espaa), 17 32, o n 1994, pp. 190206 (un resumen del cual fue publicado en el Bol. Soc. Mat. Comp., 15, 1993, pp. 19) y los trabajos del autor Ecuaciones diferenciales y contemporaneidad y Cien a os de teor cualitativa. n a Algunos apuntes, dados a publicar.
51
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| | H
Contenido
Uno de estos lugares de cruce es la teor cualitativa; en ella, desde nes del a siglo diecinueve, las EDO han tenido que verse las caras con la matemtica. a Estos cruces pueden verse como lugares de encuentro o como lugares de despedida. As la teor cualitativa, en cuyo origen mismo ya se hab a an entrecruzado motivos diversos (loscos, dialcticos, matemticos), repreo e a senta hoy en d un cruce principal de los caminos de la matemtica. a a Por ejemplo, desde un punto de vista losco, es un lugar tanto de o conuencia como de bifurcacin entre la llamada matemtica pura y la o a aplicada. Desde un punto de vista histrico, tambin hay unas relaciones o e un tanto inciertas medio de alejamiento, medio de aproximacin entre o las teor de las EDO y su objeto paradigmtico de referencia, los modelos as a matemticos. Desde un punto de vista tcnico, atraviesan por un trance a e semejante la integracin de los marcos geomtrico, anal o e tico y numrico en e el estudio de un fenmeno determinado. En cualquier caso, las convergencias o y divergencias de nuestras v de anlisis del desarrollo de la teor cuaas a a litativa, convierten la relacin EDO-matemtica en un interesante ncleo o a u de problemas. Nos limitaremos a claricar algunos de ellos, en particular, los referidos al caos, los fractales y la teor de las catstrofes14 . Y puesto a a que caos y atractores extraos son manifestaciones distintas de una misma n realidad, ah va la receta que Ian Stewart proporciona para obtener un caos suculento 350 gramos de espacio de fases, 1 cucharada sopera de condiciones iniciales, estirar y doblar repetidamente, y sazonar al gusto. Le aseguro, amable lector, un exquisito plato impredictible.
2. El caos
Durante las ultimas dcadas, f e sicos, bilogos, astrnomos y economistas o o crearon un modelo terico que les sirviera para comprender la complejio dad que podemos observar en la naturaleza. La nueva disciplina, llamada ciencia del caos o teor del caos, ofrece un mtodo para descubrir orden y a e concierto donde antes slo se ve el azar, la irregularidad, lo impredecible, o a
14 En un marco general sobre las perspectivas actuales en losof e historia de las matemticas sobre a a el conocimiento matemtico, se deben destacar los ensayos de Morris Kline, Matemtica. La prdida de a a e la certidumbre, Siglo XXI, Madrid, 1985, y de R. Hersh, Experiencia matemtica, Labor, Barcelona, a 1988, as como los trabajos de Mark Steiner, Mathematical Knowledge, Cornell University Press, Ithaca, 1975, por su agudeza cr tica; Raymond L. Wilder, Mathematics as a Cultural System, Pergamon Press, Nueva York/Oxford, 1981, una visin prxima (aunque un tanto supercial) a un sentir hoy com n sobre los o o u aspectos culturales, sociales e histricos del desarrollo de las matemticas; Philip Kitcher, The Nature of o a Mathematical Knowledge, Oxford University Press, Nueva York/Oxford, 1983, como perspectiva general del campo temtico con singular atencin a algunos puntos (e.g., la discusin del presunto estatuto a a o o priori del conocimiento matemtico, el cambio histrico en matemticas, la rigorizacin) y Mary Tiles, a o a o Mathematics and the Image of Reason, Routledge, Londres/Nueva York, 1991, una s ntesis histricao losca apropiada. o
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| || H
52
Contenido
en una palabra, lo catico. Como dice Douglas Hofstaedter15 , uno de los o matemticos que ms intensamente se ha ocupado del tema: Sucede que a a una misteriosa clase de caos acecha detrs de una fachada de orden y que, a sin embargo, en lo ms profundo del caos acecha una clase de orden todav a a ms misterioso. a La ciencia del caos traspasa las disciplinas cient cas tradicionales enlazando tipos de desorden y de irregularidad que aparentemente no tienen nada que ver entre s desde la turbulencia del tiempo meteorolgico hasta : o los complicados ritmos del corazn humano, desde los torbellinos de agua o que se forman detrs de una piedra en un arroyo hasta las misteriosas uca tuaciones de los mercados de valores. A diferencia de los fenmenos de los que se ocupan la teor de la relao a tividad y la mecnica cuntica, los sistemas que ahora se describen como a a caticos pueden observarse sin telescopios ni microscopios. Y es que, a pesar o de haber surgido de un arduo esfuerzo matemtico, la teor del caos es un a a saber de lo cotidiano, de cosas que incluso intrigan a los nios: cmo se n o forman las nubes? o por qu el viento produce remolinos de arena? e Todos estos procesos aparentemente desordenados presentan ciertas caracter sticas cuanticables: su desarrollo en el tiempo depende muy sensiblemente del estado actual, es decir, de cmo estn distribuidas las variables o a en el instante en que se comienza la observacin del fenmeno en cuestin, o o o razn por la cual, aun no siendo aleatorio, lo parece. Pero para que sirve o descubrir las leyes que subyacen a los sistemas dinmicos supuestamente a impredecibles? Precisamente uno de los padres de la teor del caos, Eda ward N. Lorenz, invent en 1960 el primer simulador informtico de la o a atmsfera. Pues bien, experimentando con l, y a pesar de su simplicidad en o e comparacin con los potentes simuladores meteorolgicos actuales, Lorenz o o logr desentraar una de las principales leyes del caos: el efecto mariposa16 . o n Resulta que en un sistema dinmico y la atmsfera lo es, aunque a a o una enorme escala cambios peque nsimos en una de las variables pueden resultar amplicados y provocar efectos grand simos. Por eso, al menos en teor el aleteo de una mariposa en una selva de Borneo podr desencaa, a denar un huracn en la pen a nsula de Florida, en la otra punta del planeta. Pero claro, ser imposible demostrarlo. Eso tambin ense a Lorenz que, a e no
15 Uno de los matemticos y lsofos contemporneos ms destacados, recomendamos su Gdel, Esa o a a o cher, Bach: Un eterno y gracil bucle, Tusquets, Barcelona, 1987 (t tulo original Gdel, Escher y Bach: o An eternal Golden Braid, 1979), donde la pregunta puede un sistema comprenderse a s mismo? se investiga y da lugar a una aventura que recorre la matemtica, la f a sica, la biolog la psicolog y muy a, a especialmente, el lenguaje. Sorprendentes paralelismos ocultos entre los grabados de Escher y la m sica de u Bach nos remiten a las paradojas clsicas de los antiguos griegos y a un teorema de la lgica matemtica a o a moderna que ha estremecido el pensamiento del siglo XX: el de Kurt Gdel. Todo lenguaje, todo sistema o formal, todo programa de computadora, todo proceso de pensamiento, llegan, tarde o temprano, a la situacin l o mite de la autorreferencia: de querer expresarse sobre s mismos. Surge entonces la emocin del o innito, como dos espejos enfrentados y obligados a reejarse mutua e indenidamente. 16 Vase la nota n mero 12. e u
53
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| ||| H
Contenido
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H
por muy potentes y veloces que sean los ordenadores del futuro, jams se a podr vaticinar el tiempo que har maana con un cien por ciento de sea a n guridad: un pjaro, una mariposa, o incluso una mosca podr desbaratar a an los clculos ms meticulosos. . . a a En realidad, la historia es as Lorenz usaba su ordenador Royal McBee . para desentraar la maraa matemtica que l mismo hab creado con sus n n a e a doce ecuaciones para predecir el tiempo atmosfrico en el Massachusetts e Institute of Technology. Era el ao 1960. n Su pasin por el pronstico atmosfrico le vino durante la Segunda Guerra o o e Mundial. Tras su graduacin en Matemtica pura en el Dartmouth College o a en 1938, particip en la contienda diagnosticando el tiempo para las fuerzas o areas. Transcurrida la guerra opt por dedicar sus esfuerzos matemticos e o a aplicndolos a la meteorolog a a. La prediccin del tiempo se deb regir por ecuaciones, al igual que las o a rbitas de los planetas, satlites y galaxias, quiz ms complicadas, pero o e a a ecuaciones al n y al cabo. Para ello escogi 12 funciones, unas establec o an el v nculo entre velocidad y viento, otras entre presin y temperatura, y o as unas cuantas variables ms. No le promov slo un inters meramente a a o e f sico sino tambin matemtico. e a Su trabajo fue de boca en boca por el MIT, llegando a tal punto que se organizaban apuestas sobre los pronsticos que dar las ecuaciones de o an Lorenz. Hojeando los rollos y rollos de papel con datos numricos que arrojaba e su impresora, Lorenz ide un mtodo para que el ordenador sealara cada o e n minuto el paso de un d imprimiendo una hilera de nmeros. a u En 1961, Lorenz, cansado de observar ese vaivn numrico salido de la e e impresora de su ordenador, intent atajar partiendo de una sucesin ano o terior pero al traspasar los d gitos slo tecle 3 en vez de los 6 originales, o o esperando que el comportamiento no cambiar Los resultados obtenidos a. trajeron de cabeza a Lorenz pues no eran los esperados y revis el software o y hardware hasta darse cuenta nalmente, que el error lo cometi al truncar o el valor inicial de la funcin cambiando la entrada de 0.506127 a 0, 506. o No crey que una variacin tan pequea pudiera comportar un cambio o o n tan radical de la funcin al cabo de unas cuantas iteraciones. o Hab dado con el efecto mariposa. Este redondeo insignicante era a el aleteo de la mariposa en el Amazonas; y el comportamiento anmalo, o o digamos inesperado, de la funcin el huracn que se producir el prximo o a a o mes en las costas bretonas. Cualquier pronstico climatolgico se deteriora rpidamente por culpa o o a de un viento, de una entrada de aire caliente, por una bajada de presin, o por una tormenta inesperada. . . , ese error va creciendo geomtricamente y e la realidad al d siguiente no es la esperada sino otra totalmente distinta: a
54
Contenido
donde har sol, llueve; donde llover luce el sol; donde se podr ir a la a a, a playa, se encierran en el stano hasta que pase el huracn; etctera. o a e A su descubrimiento lo llam Lorenz Dependencia sensitiva de las condio ciones iniciales y con ello cre la base de una nueva ciencia: el caos, ciencia o que no resurgir hasta bien pasados los aos, cuando los colegas de Lorenz a n dejaron de ver su descubrimiento como simple distraccin matemtica y se o a cercioraron de la grandeza de su trabajo. Fue entonces cuando el boom del caos se produjo en el status cient co, y todos pretend verlo, incluso en an lugares donde no existe. Lorenz, animado por su descubrimiento, decidi comenzar a experimentar o con sus resultados en el campo de las corrientes de uidos y sus 12 frmulas o se vieron reducidas a 3 simples ecuaciones no lineales. Las ecuaciones lineales expresan relaciones proporcionales y su representacin grca es siempre una recta, adoptando la forma f (x) = ax + b. o a Las no lineales no son tan simples e intervienen una serie de factores a veces en mayor y otras en menor medida como puede ser el rozamiento, cuyo valor depende de la clase de rme, del peso y velocidad del mvil. o Sus tres ecuaciones respond al funcionamiento de una noria de agua an cuyo suministro de agua dista de ser idneo. El aparentemente sencillo o comportamiento de tan simple sistema mecnico se transforma en sorprena dentemente complicado cuando el suministro de agua supera al deseado y por los cajones de la noria no se desagua lo suciente para superar la friccin y seguir con su movimiento y velocidad uniforme. o
La velocidad de la noria aumenta y los cajones no se llenan por igual con lo cual llegar un momento en que el peso de los cajones que faltan a por llenarse vencer la friccin y la rueda comenzar a girar en sentido a o a contrario y seguir repitindose este proceso de cambio de sentido pero sin a e una pauta determinada ni predecible. Es decir, podr cambiar 5 veces en a
55
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H H
Contenido
10 minutos como estar otros 10 minutos sin cambiar, o cambiar 5 veces en los 3 minutos siguientes. Esta aparente azarosidad, depende de: El aumento de la velocidad de giro de la rueda. El caudal suministrado. Reduccin del tiempo de llenado de los cajones. o Los cajones que no se han llenado vencen a la velocidad de giro.
Lorenz represent grcamente los resultados obtenidos con sus 3 ecuao a ciones en una grca tridimensional, asignando el valor obtenido de cada a ecuacin a una de las 3 dimensiones del plano eucl o deo. La l nea de la grca no se tocaba jams, el desorden era total pues a a ningn punto se repet ya que no hab intersecciones, pero se vislumbr u a a o un nuevo tipo de desorden ordenado: el caos.
3. El mundo fractal
Intentaremos presentar, concisamente, una denicin comprensible de lo o que llamamos fractales, llevada al caso de la recta real. Despus de la famosa tesis de Frecht17 de 1906, las investigaciones soe e bre mtricas y espacios mtricos crecieron exponencialmente. Uno de los e e principales investigadores del tema fue el matemtico alemn Hausdor 18 , a a una de cuyas direcciones de trabajo relaciona los conceptos de medida y dimensin19 . Sea p un nmero real no negativo arbitrario, 0 p < + y, o u dado > 0, consideremos: a = extrinf p
d(Xk )<
k=1
[d(Xk )]p ,
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| | H H
17 Maurice Ren Frechet. Matemtico francs, nacido el 2 de septiembre de 1878 en Maligny, Yonne, e a e Bourgogne, y muerto el 4 de junio de 1973 en Paris. Disc pulo de Hadamard, desarroll bajo su dio reccin la tesis antes mencionada en la que, adems de introducir el concepto de espacio mtrico, eso a e tudi ecuaciones funcionales en este tipo de espacios y deni una nocin abstracta de compacidad. o o o Frchet realiz importantes aportes a la topolog el anlisis funcional (fundamentando la teor de e o a, a a espacios abstractos) y realiz notables contribuciones a la estad o stica, las probabilidades y el clculo. a En 1907 present su teorema de representacin de funcionales lineales en trminos de operador ino o e tegral. Este resultado fue obtenido independentemente por Riesz y es conocido como el Teorema de representacin de Riesz. Mayores informaciones pueden ser consultadas en http://www-groups.dcs.sto andrews.ac.uk/~history/Mathematicians/Frechet.html 18 Felix Hausdor naci el 8 de noviembre de 1868 en Breslau (hoy Wrocaw, Polonia); se suicid el o o 26 de enero de 1942, junto a su esposa y la hermana de sta, en repudio a la estrategia nazi antisemita. e En http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Hausdorff.html pueden ser consultados detalles adicionales. 19 Vase P. R. Halmos, Measure Theory, Van Nostrand C e a, Inc., 1961.
56
Contenido
donde X = Xk es una descomposicin nita o innita numerable cualo quiera de X, en subconjuntos Xk de dimetro d(Xk ) menores que . a Cuando 0, el nmero (X) tiende en forma montona creciente a u o p un determinado l mite (nito o innito) p (X). Esta medida puede servir para denir la dimensin de un conjunto, debido a que un conjunto puede o tener medida p-dimensional nita y no nula, a lo sumo para un slo valor p. o Observemos que la dimensin de Hausdor de un conjunto no es neceo sariamente un entero; por ejemplo, la dimensin del conjunto ternario de o Cantor (vase la seccin 502, nota 3 del texto citado en la referencia 17) e o es ln 2/ ln 3 = 0, 63093, como se demuestra en la memoria original de Hausdor 20 . Esta no es la unica denicin de fractal usada, puede utilizarse tambin la o e de Minkowskii, aunque desde el punto de vista tcnico es ms engorrosa (no e a obstante, ha mostrado su utilidad en diversos estudios actuales, cuando se le pensaba olvidada21 ). La dimensin de HausdorBesicovich describe cmo o o el volumen d-dimensional de un objeto se comporta bajo cambios de escala; la dimensin de Minkowski, en contraste, describe el comportamiento de los o puntos cerca del objeto en s esta posee algunas aplicaciones en problemas ; de vibracin, como las partes de un tambor que vibran cerca de la corona o y no la corona misma22 . En el desarrollo de la matemtica guran varios desengaos sucesivos, a n cuyo desenlace puede citarse en la prdida de la certidumbre como e reza el t tulo del libro de Kline ya aludido. Parafraseando a Vega, las matemticas han pasado, desde mediados del siglo XIX, entre otros, por a estos trances23 : 1o .La prdida de arraigadas evidencias y certezas f e sico-matemticas, sobre a todo a partir del desarrollo de las geometr no-euclideanas. Con ello se as fue diluyendo la fe del pensamiento moderno de los siglos XVII y XVIII en una suerte de armon preestablecida entre la geometr euclideana a a y bien la conguracin real del espacio f o sico o la conrmacin mental o de nuestra percepcin del espacio; tan es as que la asimilacin de los o , o conjuntos fractales an hoy en d no es ni siquiera satisfactoria. u a 2o .La quiebra de las aspiraciones a cimentar la solidez lgica y/o terica o o del edicio deductivo de la matemtica clsica. Se pens, por ejemplo, a a o
und Asseres Mars, Math. Ann. 79 (1919) pp. 157179. M. Lapidus y J. Fleckinger-Pell, Tambour fractal: vers une rsolution de la conjecture de e e WeylBerry pour les valeurs propes du laplacien, C.R. Acad. Sci. Par 306, srie I, 1988, pp. 171 s e 175, donde se prueba una importante conjetura sobre las frecuencias de vibracin de objetos que tienen o fronteras fractales, utilizando la menos familiar dimensin de Minkowski. o 22 Es lectura obligada The Fractal Geometry of Nature, Freeman, San Francisco, 1982, de Benoit Mandelbrot. 23 L. Vega, Est en crisis la idea clsica de demostracin matemtica?, Actas COMPUMAT96, a a o a Universidad de Holgu Septiembre de 1996. n,
21 Vase e 20 Dimension
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| || H H
57
Contenido
que las investigaciones en el campo de la existencia y la unicidad de las soluciones, para ecuaciones diferenciales denidas sobre espacios innitodimensionales, pod seguir el mismo esquema que en el caso de espacios an de dimensin nita, el ejemplo t o pico de que tal camino es incorrecto es el debido a Dieudonn24 . Un sealamiento similar puede hacerse a las e n primeras extensiones a B-espacios de la teor de la estabilidad. a Despus de estos y otros descalabros, es claro que la integracin de e o teor a veces dis as, miles, permitir obtener las nociones, los resultados y an los mtodos matemticos por diferentes v prcticas e intuitivas, antes de e a as a saltar al plano de la abstraccin terica y de la demostracin sistemtica o o o a en que se mueven los matemticos puros. a
4. La teor de las catastrofes a
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| ||| H H
Volvamos a algunos de los puntos tratados anteriormente. No es casual que la propiedad fractal resulte ser una medida de la complejidad de la rbita. o Lo interesante radica en que dicha complejidad, aunque asociada a un sistema completamente determinado por una regla matemtica, hace que sea a prcticamente imposible predecir el comportamiento del sistema a largo a plazo. Recordemos que en 1955 el matemtico americano Hassler Whitney a (19071989) public el art o culo Mappings of the Plane into the Plane, donde expuso las bases de una nueva teor matemtica La teor de singularia a a dades de aplicaciones suaves. A mediados de los aos 60 comienza a hablarse n del libro de Ren Thom (19232002), Stabilit Structulle et Morphognse, e e e que apareci en forma acabada en 1972 y que rpidamente despert la o a o atencin e inters de todos por una teor conocida ahora como Teor o e a a de las catstrofes. Thom propuso utilizar la teor topolgica de los sisa a o temas dinmicos para la modelacin de diversos fenmenos de crecimiento a o o y desarrollo en diversas ramas, principalmente la biolog El seal que a. n o bajo algunas condiciones exigidas, se deduce que el estudio de diversos sistemas se puede describir, localmente, mediante algunas formas elementales estndares llamadas catstrofes elementales. a a Desde los aos setenta este discurso de Rene Thom que apuntaba a una n nueva ciencia, a la que l llam Semiof e o sica, la f sica de las formas signicantes, cobr gran impulso, sobre todo porque busc dotar de sentido al o o observador que contempla la evolucin de las formas que ocurren en la nao turaleza: seres estables o formas emergentes y entidades no visibles, las llamadas pregnancias, especies de semillas de donde surge la forma. Esta metodolog hace una cr a tica a la ruptura galileana, acusndola de a
24 Deux
exemples singuliers dquations dierentielles, Acta Sci. Math. 12B (1950), pp. 3840. e 58
Contenido
haber abandonado algunas intuiciones fundamentales que formaban parte importante del discurso cient co de los antiguos25 . Algunos consideran que la teor de las catstrofes es una parte de la teoa a r de las singularidades, mientras otros arman lo contrario. Es una dispua ta bizantina. Aplicaremos el trmino terico de las catstrofes (siguiene o a do a Arnold), a cualquiera que trabaje sobre la teor de las catstrofes, a a concebida como uno de los trminos singularidades, bifurcacin o catstrofe. e o a De acuerdo con Thom, el trmino teor de las catstrofes es debido a e a a su disc pulo E. C. Zeeman26 . Desde un punto de vista de trabajo, podemos decir que la teor de las catstrofes no es ms que la teor de la a a a a bifurcacin desde un punto de vista topolgico, o sea, es el estudio, desde o o un punto de vista cualitativo, de las formas en que las soluciones de las ecuaciones diferenciales pueden variar. La primera informacin sobre esto o apareci, por primera vez en la prensa occidental, hace alrededor de 30 o aos. En Newsweek reportaron una revolucin en las matemticas, comn o a parable quizs, al descubrimiento del clculo diferencial e integral. Ara a maron que la nueva ciencia, la teor de las catstrofes, era mucho ms a a a importante que el anlisis matemtico: mientras ste slo considera procea a e o sos suaves, continuos, la otra provee un mtodo universal para el estudio e de todas las transiciones de salto, discontinuidades y cambios cualitativos sbitos. Aparecieron cientos de cient u cos y publicaciones sobre el tema y sus aplicaciones a variados campos que van desde el estudio del corazn al o estudio de la teor de part a culas elementales, pasando por el estudio de los desrdenes mentales y la censura policial a la literatura ertica. o o El punto losco es que el conjunto de los puntos catstrofes K son los o a que contienen el comportamiento signicativo del proceso, es decir, donde se trabaja es el lugar geomtrico de los puntos de equilibrio del sistema. El e es el esqueleto del cual el resto de la morfolog depende. a Consideremos un sistema dinmico gradiente: a dx = gradx F (x, a), dt donde x y a son vectores de nmeros reales (posiblemente unidimensional) u y F es innitamente diferenciable, o suave. Llamemos a x variable de estado y a la variable de control.
la pena reproducir las palabras de Thom en la Introduccin (p. 26): . . . De hecho, todas las o intuiciones fundamentales sobre morfognesis eran conocidas ya por Herclito; mi unico aporte es el e a haberlas puesto dentro de un marco geomtrico y dinmico, que algn d las har ms accesibles a un e a u a a a anlisis cuantitativo. . . . a 26 The Geometry of Catastrophe, Tiems Lit. Supp. (1971) pp. 15561557. 59
25 Vale
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H
Contenido
Busquemos los puntos de equilibrio, as tenemos: gradx F (x, a) = 0. (6)
El problema matemtico es cmo var las soluciones x de (1) con a, a o an para una F general. Si al resolver esto desde un punto de vista topolgico, o diferentes funciones F tienen el mismo comportamiento (local), se dicen que son equivalentes. Una clase de equivalencia de tales funciones F es llamada una catstrofe elemental. a Para una familia de funciones f : Rn R2 R, es decir, con n variables de estado, y con k parmetros de control, si n 2 y k 5, Thom estableci a o la existencia de formas cannicas, a las que hac o amos referencia antes. A ellas son reducibles las funciones en estudio, si cumplen con la restriccin o antes citada y otra que se comentar ms abajo. a a En las catstrofes elementales, que listamos a continuacin, las compoa o nentes x1 , x2 , . . . de x han sido reemplazadas por x, y, . . . y a1 , a2 , . . . por a, b, . . .
Nombre
F (x, a)
Denominacin o
Pliegue
x3 3
+ ax
4 2
A2 A
Cspide u
x + a x + bx 4 2
x5 5
Cola de milano
+ a x + b x + cx 3 2
6 4 3 2
A4 A5 A6 D4 D4
Mariposa
x + a x + b x + c x + dx 6 4 3 2 x7 + ax5 + bx4 + cx3 + dx2 + ex + f
Ombligo el ptico
x2 y y 3 + ay 2 + bx + cy
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H
Ombligo hiperblico o
x2 y + y 3 + ay 2 + bx + cy
60
Contenido
Nombre
F (x, a)
Denominacin o
Ombligo parablico o
x2 y + y 4 + ax2 + by 2 + cx + dy
D5 D6 D6 5
x2 y + y 5 + ay 3 + by 2 + cx2 + dx + ey
x2 y y 5 + ay 3 + by 2 + cx2 + dx + ey
x3 y 4 + axy 2 + by 2 + cxy + dx + ey
Estos nombres son escogidos por una gran variedad de razones y deben ser tratados meramente como mnemotcnicos, las siglas de la ultima columna e son las denominaciones de cada una de estas catstrofes elementales27 . a Estas catstrofes elementales poseen una propiedad de estabilidad muy a fuerte: la estabilidad estructural. Esta nocin, como sabemos, se remonta o al trabajo de Andronov y Pontriaguin de 193728 , concepto desarrollado posteriormente, en conexin con la topolog dinmica, por Smale29 . Esta o a a es una propiedad muy deseada y Thom (junto a nombres como Lefschetz y Arnold) la trata como un requerimiento esencial. Es importante destacar que la estabilidad estructural debe considerarse en un contexto determinado. El contexto comprende: a) una clase de sistemas matemticos C, b) una clase de perturbaciones P , c) una relacin de a o equivalencia R. En este contexto, un sistema es estructuralmente estable si demostramos que toda perturbacin en P , lleva a un sistema en C que es o equivalente, con respecto a R, al original. Un pndulo simple, por ejemplo, considerado como un oscilador no forzae do, es un sistema estructuralmente inestable (en el modelo usual) si la clase de perturbaciones incluye la posibilidad de trminos de amortiguamiento. e Restringiendo las perturbaciones al caso no disipativo solamente, es posible restaurar la estabilidad estructural. Si consideramos la existencia de simetr debemos restringir las clases P a, y C consecuentemente, y as de manera sucesiva.
consultar V. I. Arnold, Catastrophe Theory, Springer-Verlag, 1986, e I. Stewart, Elementary Catastrophe Theory, IEEE Trans. on Circuits and Systems, cas. 30 8 (1983) pp. 578586. 28 Sistmes grossiers, DAN 14, pp. 247251. e 29 Dierentiable Dynamical Systems, Bull. Amer. Math. Soc. 73 (1967) pp. 747817. 61
27 Puede
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |
Contenido
Sea f : Rn R, el carcter de los puntos cr a ticos de esta funcin puede o establecerse mediante el determinante de la matriz Hessiana Hf , tambin e conocida como matriz de estabilidad por razones que se harn claras ms a a adelante. Si el determinante de esta matriz es no nulo: det Hf = 0, en los puntos cr ticos r, entonces estos son no degenerados. Se tratar de a mximos, m a nimos o puntos de sillas. Por el Lema de Morse30 , se puede reducir a una forma cuadrtica en la vecindad del punto cr a tico:
n
f=
i=1
i xi .
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H ||
Entre otras razones, los puntos cr ticos de una funcin son importantes o debido a que denen su forma cualitativa y, por tanto, el comportamiento en general del fenmeno real que representan. o Cuando la matriz de estabilidad es singular para algn punto cr u tico B, se tiene un punto cr tico degenerado. En estas condiciones poco se podr a decir respecto a las caracter sticas de los puntos cr ticos si no se utilizara la teor de las catstrofes. El Lema de Morse no es aplicable y en principio a a no se cuenta con una forma cannica a la que fuera reducible la funcin. o o Una propiedad de gran inters, que depende del tipo del punto cr e tico (sea degenerado o no), es la de estabilidad estructural a la que volveremos a continuacin. Se dice que una funcin f : Rn R es estructuralmente o o estable si, para toda perturbacin sucientemente pequea p: Rn R, la o n funcin perturbada f + p es equivalente a la funcin f , es decir, si existe o o un difeomorsmo que aplique f en f + p. Topolgicamente, lo anterior equivale a decir que la funcin f +p conserva o o el mismo nmero y tipo de puntos cr u ticos que la funcin original f ; o sea, o que es cualitativamente la misma. Las funciones con puntos cr ticos no degenerados, o Morse, son estructuralmente estables; por el contrario, las que tienen puntos cr ticos degenerados son estructuralmente inestables. F sicamente, el concepto de inestabilidad estructural implica que la funcin, el fenmeno real mismo, puede modicarse signicativamente con una o o pequea perturbacin. n o Este tipo de comportamiento fue identicado por Birkho 31 , quien en30 M. Morse, The Critical Points of a Functions of n Variables, Trans. American Math. Soc. 33 (1931) pp. 7291. 31 G. Birkho, Hydrodynamics: A Study in Logic, Fact and Similitude, Princeton University Press, 1950.
62
Contenido
tonces establec que debe reconocerse la posibilidad, en mecnica de los a a uidos, de que causas arbitrariamente pequeas puedan producir efectos n nitos. La condicin de equilibrio: o f (xi , ci ) = 0, dene la supercie de equilibrio, o de estado, de cada funcin de catstrofe. o a Estas supercies son de especial importancia debido a que en ellas se puede establecer y modelar el comportamiento de histresis y discontinuidad. La e proyeccin de la supercie de equilibrio sobre el plano formado por los o parmetros de control (que se conoce como plano de control) permite idena ticar al conjunto bifurcacin, es decir, la regin donde la solucin de la o o o ecuacin de equilibrio se bifurca. o
5. El azar y la caolog a
Ya en 1903 Poincar postulaba acerca de lo aleatorio y del azar en los e siguientes trminos: El azar no es ms que la medida de la ignorancia del e a hombre, reconociendo a la vez la existencia de innumerables fenmenos que o no eran completamente aleatorios que simplemente no respond a una an dinmica lineal, aquellos a los que pequeos cambios en las condiciones a n iniciales conduc a enormes cambios en el resultado. an Se establece as lo que ms tarde Edward N. Lorenz llamar dependencia a a sensible. Podemos considerar esta observacin de Henri Poincar como el embrin o e o de un nuevo paradigma cient co: la creacin de una nueva Ciencia como o reconoce Gleick en el t tulo de uno de los libros iniciales y ms ilustrativo a de la teor 32 . a De este modo podemos anunciar esta teor como el primer intento en a la bsqueda de las leyes que gobiernan los innumerables fenmenos tan u o desconocidos en su dinmica y tan naturales y cotidianos a la vez el clima, a el movimiento de las nubes, el aire que se desplaza sobre el ala de un avin, o la sangre cuando uye a travs del corazn y todo su sistema dinmico e o a (el infarto como la transicin de un estado de regularidad a un estado o catico), las turbulencias en general, las formaciones geolgicas, la manera o o en que las ores silvestres aparecen en un campo, la bandera que ondea, el humo de un cigarrillo, el movimiento de una hoja al caer, las epidemias, los conictos blicos, los congestionamientos de trco, el comportamiento e a
32 Gleick,
James, Chaos-Making a New Science, Penguin Books Ltd, Harmondsworth, Middlesex, 1987.
63
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||
Contenido
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H ||||
de la bolsa. . . que no son susceptibles de control con las herramientas calculistas de las que nos provee la matemtica y la f a sica actual. La ciencia ha tenido tendencia a confundir no se sabe si por ignorancia como nos adelantaba H. Poincar el contenido determinista o de azar e asociado a un fenmeno atendiendo a su predicibilidad o no. As una gran o , cantidad de fenmenos generalmente naturales no predecibles se incoro poraban sutilmente al mundo de lo azaroso, quedando as estacionados sin ser sometidos a tratamiento alguno. Son los fenmenos anteriores fenmenos de azar? La respuesta es no. o o Los fenmenos de azar (completamente de azar) lanzar un dado legal o no son deterministas, pues no podemos predecir de antemano su resultado, pero sta no es una condicin suciente para que un fenmeno sea completae o o mente aleatorio; es decir, existen fenmenos de los que no podemos predecir o su comportamiento y no son de azar. Es sta una primera caracter e stica, segn Edward N. Lorenz, de los fenmenos caticos. u o o As Lorenz utiliza el trmino caos para referirse a un conjunto de procesos , e o fenmenos que parecen comportarse de acuerdo con el azar aunque, de o hecho, su desarrollo est determinado por leyes bien precisas. e Siguiendo en trminos de una exposicin no rigurosa, volvamos a los e o sistemas dinmicos. a Un sistema dinmico, digamos del tipo (1), podemos considerarlo como a una coleccin de partes que interactan entre s y se modican unas a otras o u a travs del tiempo. e El movimiento regular de los objetos, planetas en rbita, pndulos, reo e sortes, bolas que ruedan. . . , son fenmenos que se sitan en lo que llamamos o u una dinmica lineal, sus comportamientos se describen mediante ecuaciones a lineales y las matemticas resuelven este tipo de ecuaciones fcilmente. a a Decimos que sistema dinmico es lineal, cuando pequeos cambios en las a n condiciones iniciales del sistema no originan grandes cambios en el proceso y resultado nal del mismo. Cuando, por el contrario, la dependencia interactiva entre las partes que conguran el sistema es muy sensible pequeas variaciones en las condin ciones iniciales provocan cambios substanciales en el resultado nal (efecto mariposa) decimos que la dinmica que rige el sistema es no lineal, o que a el sistema est sujeto a una dinmica catica. a a o Una consecuencia inmediata de la dependencia sensible en cualquier sistema es la imposibilidad de realizar predicciones perfectas, ni siquiera mediocres. Es esta dependencia sensible otra caracter stica que incorporar en la descripcin de los fenmenos caticos; as podemos decir que un fenmeno o o o , o es catico cuando, pareciendo comportarse como un fenmeno aleatorio, o o
64
Contenido
no lo es, las partes que lo conforman sufren dependencia sensible o son sensiblemente dependientes. La Fractalidad, como veremos enseguida, es otra cualidad inherente a los procesos caticos. Desde los comienzos de la creacin de la ciencia en o o Grecia, como cuerpo de doctrina que pretender explicar el ser y el compora tamiento de nuestro universo, la cultura occidental se ha visto prisionera de la geometr eucl a dea para la explicacin de los fenmenos que acaecen, o o acarreando con ello una cultura heredada de la idea de que los puntos, las l neas, los c rculos, los cubos. . . , son de alguna manera ms naturales que a la propia naturaleza. El mundo platnico, el mundo de las ideas, era el o universo en donde estas formas eucl deas, formas perfectas, permanecieran como ideales. Para el mismo Platn, el universo de lo humano se caracteo rizaba precisamente por lo contrario, la imperfeccin; el universo humano o era una imagen imperfecta del universo utpico basado en las formas de la o geometr que Euclides postulaba. a Es de esta manera como hasta nuestros d la cultura y la forma de hacer as del hombre siguen intentando presas de la idea platnica y siguen inteno tando cambiar lo que la naturaleza nos da en sus formas por otras ideales; as el hombre es arquitecto de formas generalmente cbicas, las ruedas han , u de ser redondas, los jardines rectangulares o a lo ms circulares. . . Puede a que sea esta cultura eucl dea de nuestro universo lo que nos lleve a la destruccin de las formas naturales, fomentando el impulso por la creacin de o o ciudades cada vez ms cuadriculadas tanto en el plano como en el espacio, a en todo caso ms humanas? a Lo custico de esta situacin es el uso de la geometr eucl a o a dea para modelar la naturaleza, de manera que, cuando el modelo no se ajusta a ser explicado con dicha geometr la ciencia ocial pone en entredicho a la a, propia naturaleza en vez de a la geometr que utiliza. Puede decirse que a es Mandelbrot el creador de la geometr fractal, tambin conocida como a e geometr de la naturaleza. Despus de un periplo profesional bastante largo a e y variado, Mandelbrot ingresa en la Ecole Normale (Par en el per s), odo histrico en el que nace y se desarrolla en Francia y se exporta a las o matemticas de todo el mundo el fenmeno Bourbaki. Su dominio en la a o Ecole Normale fue tan absoluto, e insoportable para Mandelbrot, que huy o de aquella escuela y, diez aos despus, por la misma razn, de Francia. n e o Mandelbrot, con su hu nos suministra una herramienta imprescindible da, para el estudio del Caos, el objeto fractal, la dimensin fractal, la fractalio dad. Una meta inicial de la nueva geometr fractal es la de descubrir, desde a fuera, la forma de diversos objetos, para posteriormente estudiar una de las caracter sticas principales de cualquier objeto fractal, su dimensin, que no o ser ms que un a a ndice del grado de irregularidad e interrupcin que posee. o
65
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| H
Contenido
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| | H
As al contrario de las dimensiones habituales (enteras) a las que nos tiene , sometidos la geometr eucl a dea, la dimensin de un objeto puede ser muy o bien una fraccin simple como 1/2 o 5/3 e incluso un nmero irracional. o u No obstante, existen objetos fractales, irregulares o interrumpidos, que satisfacen dimensiones enteras 1, 2 y sin embargo no se parecen en nada ni a rectas ni a planos. El trmino fractal nace del adjetivo latino fractus, e que signica interrumpido o irregular. La geometr elemental no ensea que un punto aislado o un nmero a n u nito de puntos, constituyen una gura de dimensin 0; que una recta, as o como cualquier curva estndar, constituyen guras de dimensin 1; que un a o plano o cualquier supercie ordinaria, son guras de dimensin 2; que un o cubo, o una esfera, posee dimensin 3. En la nueva geometr fractal, existen o a curvas planas muy irregulares para las que su dimensin se encontrar entre o a 1 y 2, podr hablarse tambin en esta geometr de ciertas supercies muy a e a hojaldradas de dimensin intermedia entre 2 y 3, o podremos denir puntos o sobre la recta que generan objetos de dimensin comprendida entre 0 y 1. o Como hemos dicho, la dimensin fractal de un objeto es la medida de o su grado de irregularidad, considerada a todas las escalas, y puede ser algo mayor que la dimensin geomtrica eucl o e dea de un objeto. La dimensin o fractal es af a lo rpido que la medicin estimada del objeto aumenta n a o segn disminuye el tamao del instrumento de medida. Una dimensin u n o fractal mayor quiere decir que el fractal es ms irregular y que la medicin a o estimada aumenta con mayor rapidez. Para objetos de la geometr eucl a dea (l neas, curvas,. . . ) la dimensin del objeto y su dimensin fractal coinciden. o o El Espacio de Fase nace como una herramienta en la f sica actual, considerado como un espacio hipottico que posee tantas dimensiones como e el nmero de variables necesarias para especicar un estado de un sistema u dinmico dado. Las coordenadas de un punto en el espacio de fase son un a conjunto de valores simultneos de las variables. De esta manera, cualquier a estado del sistema parado durante un instante vendr representado como un a punto en el espacio de fase. Cuando el sistema cambia, el punto se mover a a otra posicin del espacio de fase, y si el sistema se modica sin tregua o de tiempo (con continuidad), el punto determinar una trayectoria a la que a denominamos rbita. Un ejemplo sencillo para ilustrar este concepto de eso pacio de fase, lo constituye un pndulo que oscila sin friccin. Una variable e o ser la posicin y otra la velocidad; las dos cambian continuamente; podea o mos considerar como espacio de fase un sistema cartesiano en el que cada eje representa a cada una de las variables. La grca que obtendr a amos ser a de una curva ms o menos cerrada, la cual se repite una y otra vez siempre. a La perspectiva de sistemas dinmicos pone mucho nfasis, como hemos a e dicho, en la nocin de espacio de fases. Hay que entender fase como el eso tado: el espacio de fases es un espacio de estados en el que las coordenadas
66
Contenido
de un punto deben darnos toda la informacin sobre el estado de todo el siso tema. Por ejemplo, toda la informacinmecnica sobre una part o a cula que 3 la dan su posicin y su momento, vectores de tres compose mueve en R o nentes cada uno. Entonces, el espacio de fases es un espacio 6-dimensional tal que cada punto se corresponde con un estado y su especicacin aporta o toda la informacin necesaria para, utilizando lasecuaciones de evolucin o o (generalmente, ecuaciones diferenciales) calcular la trayectoria del sistema (en este caso una part cula) por el espacio de fases, es decir el proceso f sico (sucesin de estados). o En lo que sigue, y ya que la topolog permite una variedad aterradora de a comportamientos en un espacio de fases 3D o ms, restringiremos nuestro a estudio al plano de fases, que se corresponde, en la analog anterior, con la a especicacin completa del estado de movimiento de una part o cula en una recta: posicin y velocidad en esa recta, x1 x y x2 x. o Un dibujo en el espacio (t, x1 , x2 ) es una curva solucin o una curva o integral del sistema, pero cuando se dibuja slo en (x1 , x2 ) se tiene una o trayectoria o una rbita del sistema dinmico (hemos proyectado sobre el o a plano (x1 , x2 ). El dibujo de las trayectorias en el plano de fases se llama mapa de fases. De curva integral a trayectoria el tiempo ha pasado de variable a parmetro. En la curva integral o solucinno hay echa puesto que a o la informacin sobre el sentido ya viene dada por la coordenada t. S hay o echa en la rbita, donde la informacin sobre el sentido del tiempo se ha o o de expresar mediante una evolucin en las trayectorias. o
Variables
Nombre del espacio Proceso Nombre del proceso Principio de determinacin o Descripcin de o los procesos
Espacio de soluciones Lugar geomtrico de puntos e Curva integral, curva solucin o t, x1 (t) = x2 (t) Grco de soluciones a
t, {x}i = 1n
Espacio de fases Curva parametrizada por t Trayectoria, rbita o Las trayectorias no se cortan, slo en el caso de siso temas autnomos o Mapa de fases
{xi (t)}i=1n
Si tomamos el pndulo expuesto a friccin, no son necesarias las ecuae o ciones del movimiento para conocer el resultado nal: el pndulo perder e a constantemente energ a causa de la friccin, y las trayectorias (rbitas) a o o que describen los puntos del espacio de fase decrecern en espiral hacia un a punto interior, que representa el estado estable, en este caso, el de la inmovilidad absoluta. Este punto nal es el ejemplo de atractor ms sencillo a posible; lo podemos imaginar como un imn del tamao de la cabeza de un a n aller. Podemos considerar un atractor en un sistema disipativo como un conjunto l mite (puede ser un punto como el de este ejemplo) del cual no
67
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| || H
Contenido
emanan rbitas. El oscilador armnico, el pndulo sin friccin, tiene una o o e o rbita circular y una solucin helicoidal. Cuando se proyecta la hlice sobre o o e el plano de fases, posicin-velocidad (x, x) = (x1 , x2 ), se obtiene la rbita o o 33 . cerrada Pues bien, la conexin entre la geometr fractal y la caolog nace de la o a a siguiente situacin: cuando representamos en un espacio de fase el estado o de un sistema catico, las rbitas y los atractores asociados a dicho sistema o o son objetos de dimensin fractal, esto es, son fractales. Son estos atractores o de dimensin fractal los que se denominan atractores extraos. o n
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| ||| H
Como hemos dicho, fue E. N. Lorenz quien en 1963 present el primer o atractor extrao, y el primero en calcular la dimensin fractal de dicho n o atractor. Este atractor, llamado de Lorenz (vase la gura anterior), se cae racterizaba por ser estable, de pocas dimensiones y no peridico. As lo o caracteriza Gleick, sus rbitas no se cortaban entre s sus lazos y espirales o , eran innitamente hondos; jams se juntaban y jams se intersecaban. Sin a a
33 Recomendamos Arnold, V.I., Ecuaciones diferenciales ordinarias, Mir, 1974; Simmons, G.F., Ecuaciones diferenciales, McGraw-Hill, 1993; Elsgoltz, L., Ecuaciones diferenciales y clculo variacional, Mir, a 3a ed, 1982.; Weisstein, E.W., CRC Concise Encyclopedia of Mathematics, Chapman & Hall, 1999, y Abellanas, L. y A. Galindo, Mtodos de clculo, McGraw-Hill, serie Schaum. 1990. e a
68
Contenido
embargo, permanec dentro de un espacio nito, connados en una casilla. an Cmo acontec aquello? Cmo cab en un espacio nito innumerables, o a o an innitas rbitas? Esto es la fractalidad. o Podemos concluir la caracterizacin de los sistemas o fenmenos caticos, o o o por tanto, como aquellos que, aparentando ser fenmenos de azar, no lo o son, presentan una dinmica no lineal (dependencia sensible) y su coma portamiento llevado al espacio de fases se caracteriza por la existencia de atractores extraos, atractores de dimensin fractal. n o Presentados los sistemas caticos y, as la caolog como ciencia que se o , a ocupa de su estudio, podemos, dentro de la caolog presentar dos enfoques a, bsicos generales. En el primero, el caos se considera como precursor y a socio del orden y no como su opuesto. Figura central en esta direccin o de investigacin del caos es Ilya Prigogine, Premio Nobel por su trabajo o en termodinmica irreversible. El t a tulo del libro del que es coautor con Isabelle Stengers, Order out of Caos (Orden a partir del caos) representa bsicamente este enfoque. a El segundo enfoque del que podemos elegir como representantes a E. N. Lorenz, Mitchell Feigenbaum, Benoit Mandelbrot, Robert Shaw. . . , destaca el orden oculto que existe dentro de los sistemas caticos34 . o El enfoque de losatractores extraos diere del orden a partir del caos n por la atencin que presta a los sistemas que siguen siendo caticos, esto o o es, los sistemas que no generan orden. Mientras Prigogine considera que la l nea del orden a partir del caos (l nea losca) reside en su capacidad para o resolver el problema metaf sico de reconciliacin entre el ser y el devenir, o los defensores de la l nea de los atractores extraos destacan la capacidad n de los sistemas caticos para generar informacin. El orden no ser ms o o a a que una manifestacin del desorden, una ancdota. o e De cualquier forma, no podemos dejar pasar cmo sutilmente existe o un nexo entre ambas direcciones. La herramienta indispensable que utilizan ambas para un tratamiento efectivo del caos y la geometr fractal: el a ordenador. Slo con las nuevas tecnolog informticas es posible una inveso a a tigacin positiva en estos campos y en cualquiera de las l o neas de trabajo aludidas anteriormente. El propio Mandelbrot ha sealado que la geometr n a fractal depende de las computadoras como ninguna otra geometr dependi a o antes de un objeto mecanizado; las computadoras han permitido practicar la matemtica como una ciencia experimental. As los fractales generaa , dos por computadoras se desenvuelven en una interaccin continua y uida o entre ser humano y la inteligencia de la mquina, resultado que inscribe a fuertemente al caos y la geometr fractal como un nuevo paradigma en el a seno de lo que hoy d llamamos posmodernismo. a
Stewart, Ian, Does God Play Dice? The Mathematics of Chaos, Penguin Books Ltd, Harmondsworth, Middlesex, 1989. 69
34 Vase e
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H
Contenido
Asistimos con el posmodernismo a un proceso de desnaturalizacin de o todos los contextos que rodean al ser humano y a la vez al propio ser humano. De este modo, los grandes centros de poder de este planeta codician el control de la tecnolog de la computacin, tecnolog que ser la herraa o a a mienta indispensable para controlar lo que ya, no a tan largo plazo, ser a nuestro nuevo hbitat: el ciberespacio. Frente a esta realidad tan incierta, a la gura del hombre se hace cada vez ms confusa, se encuentra en parte a desterrado en un mundo cada vez ms uctuante y fragmentado. a El individuo se diluye as bajo el efecto del byte, mientras que el trata, miento informtico lo reduce a la existencia estad a stica para constituir un efectivo, un mercado, un pblico, un electorado, o simplemente una muestra u en un sondeo. Nos encontramos en el instante de la historia donde se dibuja un horizonte, en el que la creacin y la curiosidad dan paso al aburrimiento, la o educacin a la programacin de los individuos; un mundo donde la cultura o o se atroa mientras que la ciencia y sus aplicaciones se hipertroan, en todo caso mucha ciencia y poca conciencia. Que ocurrir cuando el ser humano quede desnaturalizado y consideraa do una construccin, un articio, como cualquier otra cosa? Ser ese el o a momento de la fractura?
6. Realidad moderna
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H H
La descripcin matemtica del mundo depende, sobretodo, de una delicada o a interrelacin entre la continuidad y discontinuidad,fenmenos discretos. o o Singularidades, bifurcacin y catstrofe son trminos diferentes para la deso a e cripcin del surgimiento de estructuras discretas a partir de otras suaves, o continuas. La teor de las singularidades es una generalizacin del estudio de funa o ciones en sus puntos de mximo y de m a nimo. En la teor de Whitney a las funciones son reemplazadas por aplicaciones, i.e., coleccin de varias o funciones de varias variables. Whitney observ que, genricamente, slo dos tipos de singularidades o e o pueden aparecer. Todas las dems se transforman en una de estas, bajo a pequeas perturbaciones del cuerpo o de la direccin de proyeccin, mienn o o tras que estos dos tipos, pliegue y cspide, como l los llam, son estables u e o y persisten despus de pequeas deformaciones de la aplicacin. e n o En los ultimos 30 aos esta teor ha adquirido un sosticado nivel, prin n a cipalmente debido a los trabajos del propio Whitney, de Thom (1959) y J. Mather (1965). Se ha convertido en una poderosa herramienta con un amplio rango de aplicaciones, principalmente vinculada con la teor de la a bifurcacin. o
70
Contenido
El trmino bifurcacin como entendemos ahora, signica rompimiento y e o es usado en un sentido amplio para designar toda suerte de reorganizacin o cualitativa o metamorfosis de varias entidades que resultan de un cambio de los parmetros sobre las cuales ellas dependen. a Catstrofes son cambios bruscos que surgen como una respuesta sbita a u del sistema a un cambio suave en las condiciones externas. Como una ilustracin de esta teor presentaremos la prdida de la o a, e estabilidad del equilibrio y del modo auto-oscilante de comportamiento. La prdida de estabilidad de un estado de equilibrio por cambio de los e parmetros, no tiene por qu estar asociada, obligatoriamente, con la bifura e cacin del estado de equilibrio: se puede perder la estabilidad no slo por o o colindar con otro estado, sino tambin, por el mismo. e Analicemos las siguientes reorganizaciones del retrato de fases de un sistema plano: A. Por un cambio del parmetro el estado de equilibrio da nacimiento a a un ciclo l mite (de radio , donde el parmetro diere del valor de a bifurcacin por ). La estabilidad del equilibrio es transferida al ciclo y o el punto de equilibrio es inestable. B. Un ciclo l mite colapsa en el estado de equilibrio: el dominio de atraccin o del estado de equilibrio desaparece con el ciclo y cuando este desaparece, transere su inestabilidad al estado de equilibrio. Si nuestro estado de equilibrio es el comportamiento establecido en un sistema real, entonces bajo cambios de los parmetros los siguientes fenmenos a o son observados en los casos A y B. I ) Despus de la prdida de estabilidad del equilibrio queda establecido un e e comportamiento oscilatorio peridico, la amplitud de las oscilaciones es o proporcional a la ra cuadrada de la criticalidad (la diferencia entre el z parmetro y el valor cr a tico, en el cual el equilibrio pierde la estabilidad). Esta forma de prdida de estabilidad es llamada suave, puesto que el e comportamiento oscilante, para un valor de la criticalidad pequea, din ere poco del estado de equilibrio. II ) Antes de establecer el estado de prdida de la estabilidad, el dominio de e atraccin del estado tiende a ser muy pequeo y, al presentarse perturo n baciones, el dominio de atraccin desaparece completamente. o Esta forma es llamada dura. Aqu el sistema deja su estado estacionario con un salto a un estado diferente de movimiento. Este estado puede ser otro estado estacionario estable o cierto movimiento ms complicado. a Las condiciones de movimiento establecidas han sido llamadas atractores puesto que atraen las condiciones vecinas (transitorias). La existencia de
71
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| | H H
Contenido
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| || H H
atractores con curvas de fases exponencialmente divergentes sobre ellos y la estabilidad de tal tipo de fenmenos, fueron establecidos a comienzos o de los aos 60 por Smale, D.V. Anosov y Ya.G. Sinaj sobre la estabilidad n estructural de sistemas dinmicos. Independientemente de estos trabajos a tericos, el meteorlogo E. Lorenz en 1963, describi (como dijimos) un o o o atractor en un espacio de fases tridimensional, el cual hab observado en a experimentos numricos sobre la modelacin de convecciones, con curvas e o de fases que se alejan de l en varias direcciones y puntualiz la conexin e o o de este fenmeno y la turbulencia. o En los trabajos de Anosov y Sinaj la divergencia exponencial fue establecida, en particular para el movimiento de un punto material sobre una supercie de curvatura negativa. La primera aplicacin de la teor de o a la divergencia exponencial al estudio de la estabilidad hidrodinmica fue a publicada en 1966. La teor de PoincarAndronov, de la que ya hemos hablado, sobre la a e prdida de estabilidad del estado de equilibrio, posee muchas aplicaciones e en todos los campos de la teor de oscilaciones (tanto para sistemas con a un nmero nito de grados de libertad, como para medios continuos), que u es imposible enunciar aqu sistemas en mecnica, f : a sica, qu mica, biolog a y econom pierden estabilidad todo el tiempo. a, En art culos sobre teor de las catstrofes, la prdida suave de estabilidad a a e de estados de equilibrio es llamada usualmente Bifurcacin de Hopf. o En la teor de bifurcacin, como teor de las singularidades, los resultaa o a dos fundamentales y aplicaciones fueron obtenidos sin la ayuda de la teor a de las catstrofes. La contribucin de esta fue la introduccin del trmino a o o e atractor y el conocimiento sobre la bifurcacin de atractores. Una variedad o de atractores han sido descubiertos ahora en todas las reas de la teor a a de oscilaciones; por ejemplo, ha sido sugerido que los variados fenmenos o del lenguaje son diferentes atractores de un sistema dinmico productor a de sonidos. Hasta hace alrededor de dos dcadas, todo experimento que encontraba e complicadas oscilaciones aperidicas, digamos en reacciones qu o micas, era abandonado, citando impurezas en el experimento, efecto de cambios externos y cosas por el estilo. Ahora es claro que muchas de estas oscilaciones complejas estn conectadas con la esencia misma de la materia, con la a presencia del caos y atractores extraos, quizs determinado por las ecuan a ciones fundamentales del problema y no por los variados efectos externos; ellas pueden ser estudiadas a un nivel superior de los modos estacionarios clsicos y los modos peridicos de comportamiento de los procesos. a o Estas oscilaciones caticas y la presencia de atractores en diferentes o fenmenos de variados campos, ilustran bien a las claras, hasta donde ha o
72
Contenido
penetrado hoy la teor de las oscilaciones, que no se detiene, por supuesto, a en lo que hemos sealado en este trabajo. n Por otra parte, la caracter stica comn de las trayectorias en un rgimen u e catico es el tener una estructura geomtrica altamente irregular y que ante o e cierto tipo de enfoque estudiar la seccin de Poincar, por ejemplo da o e lugar a ciertos conjuntos fractales. Algo extraordinario es que los fractales resultaron ser ubicuitos en la naturaleza, tanto a nivel de las formas de algunos elementos naturales hojas, costas marinas, copo de nieve, etc. como en las formas geomtricas generadas siguiendo reglas relativamente e sencillas, rompiendo as con el viejo adagio que natura non facit saltus. A manera de conclusin, notemos que en estos apuntes no hemos hecho o alusin a la aparicin de los ordenadores, estos, presentes en grado sumo o o en todas las investigaciones relacionadas con las catstrofes, el caos y las a bifurcaciones, no han sido presentados en todo su papel. Las mquinas, que a por s solas no pod resolver toda la tarea, obligaron a los matemticos an a a formularse un nuevo conjunto de interrogantes, relacionados no slo con o los problemas concretos, sino con la naturaleza de su trabajo y con el modo que se resolv los problemas o se intentaban resolver. an Es ms, en tareas relacionadas con problemas prcticos, no es suciente, a a por ejemplo, el conocimiento de la existencia de la solucin. El no-matemtio a co poco puede hacer con un teorema abstracto de existencia. El matemtico, a buscando una salida a esta situacin, brinda procedimientos para construir o la solucin, y como no siempre se logra dar en cuadraturas, tiende a preseno tar procedimientos que envuelven una coleccin nita de operaciones. As o , si por un lado, siguiendo los impulsos de la lgica interna del desarrollo o de la matemtica, crecen en cantidad y variedad los resultados puramente a tericos sobre solubilidad de ecuaciones, por otro lado tenemos lo siguiente: o Qu signica para el f e sico experimental una solucin exacta? o Cmo interpretar esta nocin, si se sabe que los datos iniciales son ino o exactos? Sobre lo anterior es necesario entonces formular la estrategia de trabajo y considerar, por ejemplo, aspectos como los siguientes: 1 ) Estudiar la existencia y unicidad de las soluciones. 2 ) Elaboracin de algoritmos (sistemas de reglas prejadas en funcin del o o carcter del proceso). a 3 ) Anlisis de la dependencia continua de la solucin con respecto a los a o datos iniciales. 4 ) Estimado de los errores del algoritmo y los errores de clculo. a
73
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| ||| H H
Contenido
Sin embargo, en este caso surgen nuevos problemas, a los que ya hicimos alusin y que no reiteraremos aqu baste decir que la resolucin de un o , o problema prctico por parte de un matemtico para un no-matemtico, a a a envuelve conclusiones en que tienen que intervenir, obligatoriamente, el matemtico y el especialista que con l trabaja. Adems de todo lo expuesto, a e a pensamos que este trabajo puede servir de gu y referencia a otros ms a a completos y que tiene ciertas ventajas metodolgicas, a saber: o que en otros campos no considerados se pueden obtener conclusiones como las aqu brindadas; permite hacer conjeturas sobre los casos generales y, en ciertos casos en que se haga una conjetura falsa, comprobar dicha falsedad; acostumbra a considerar, ante determinados problemas, casos ms sima ples, la gnesis de la problemtica, que tanto pueden ayudar a la resoe a lucin de problemas ms complejos. o a Al margen de todo lo anterior, y apuntando algo sobre lo que debemos recalcar, es que fue Poincar el primero en vislumbrar los conceptos que hoy e en d intervienen en una teor matemtica llamada, genricamente, y sin a a a e denicin unnime, caos. Fue precisamente el problema de los tres cuerpos, o a que l demostr que no ten solucin en la forma planteada (ganando con e o a o ello, en 1887, el premio del rey de Suecia por la resolucin del problema) lo o que lo llev a pensar en la complejidad de un sistema. o Los aportes de Poincar no recibieron atencin suciente al principio, e o como sealbamos antes, por parte de los astrnomos, se tuvo que esperar n a o a la aparicin de los ordenadores, para que el enfoque de Poincar resulo e tara prometedor. Comportamientos extraos y desordenados aparecen en n las pantallas, comportamientos que, poco a poco, fueron cediendo a ser clasicados de alguna forma gracias, en gran medida, a los trabajos de Kolmogorov, Arnold y Morse en los aos 50 y 60 y que derivaron en el conocido n 35 . Teorema (y Teor KAM a) Guiados por el ms puro esp a ritu clsico, la clasicacin topolgica de a o o las singularidades en el plano de fases de un sistema de tres dimensiones, nos lleva a la aparicin de las nuevas formas ya aludidas: los fractales. o Denominacin que a partir de los trabajos de Mandelbrot ha llegado a ser o una de las denominaciones matemticas ms populares en los ultimos aos. a a n El estudio de los conjuntos fractales ha seguido las l neas sugeridas por otras muchas disciplinas, que se encuentran intr nsecamente ligadas con estos problemas y llev a los investigadores del caos en un programa de o desarrollo que seguir los pasos siguientes: a
35 Consulte
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H
del autor Ecuaciones diferenciales y contemporaneidad (dado a publicar). 74
Contenido
1 ) La b squeda de atractores extra os en presencia de fenmenos u n o aleatorios. Pongamos de ejemplo el estudio de la existencia y la estabilidad de solitones en sistemas generales con rozamiento no lineal, en los que pueden aparecer atractores espacio-temporales. 2 ) Clasicar estos atractores por su dimensin fractal. Inclusive o llevado al anlisis de la naturaleza fractal del universo el clculo de la a a dimensin fractal en imgenes binarias, la multifractalidad en turbuleno a cia tridimensional y muchos otros problemas actuales. 3 ) La aplicacin de la teor del grupo de renormalizacin. Utio a o lizada inclusive en los autmatas celulares y en el desarrollo de una o teor de la informacin para sistemas multiatractores. a o As vemos como la mecnica clsica y la matemtica asociada, han apor a a a tado nuevas facetas y abierto caminos del conocimiento sobre los que ni siquiera se pensaban a comienzos de siglo. Lejos de ser excepcin, el caos o permea la naturaleza y este nuevo hecho nos asegura que el universo contiene secretos y misterios de la dinmica que por ahora permanecen lejos a de la curiosidad humana. De esta manera hemos visto cmo el afn griego de reducir el cosmos o a a la geometr Ptolomeo con sus epiciclos y Kepler con sus elipses, nos a, ha llevado a un modelo del universo que se nos escurre entre los dedos al intentar conocer y controlar todas y cada una de sus partes. Estos apuntes no pretenden abarcar todos los cambios e interrelaciones entre la matemtica y las EDO; han sido referidos a las teor ms actuales a as a de las matemticas y cmo han contribuido las EDO al desarrollo de estas a o teor Por otra parte, nada se ha dicho, por ejemplo, sobre los cambios en as. la enseanza de estas disciplinas. Como dijimos, se han destacado algunos n tpicos que, a nuestro entender, han tenido una mayor incidencia en el o desarrollo de la matemtica y de las propias EDO. El anlisis detallado de a a las particularidades de estos cambios creemos que sean necesarios y utiles, no slo para el trabajo de los matemticos, sino adems, para los propios o a a f sicos, bilogos, etc., que trabajan en conjunto con los matemticos. o a Naturalmente, a estas contribuciones bsicas pueden sumarse otros mua chos valores aadidos, sea bajo la forma particular de ciertos resultados n parciales o ciertas estrategias metodolgicas, sea bajo la forma de orientao ciones o ideas de alcance ms general sobre los usos cr a ticos y heur sticos de los temas tratados, o sobre sus servicios como v de educacin racional a o en un sentido preciso: en el sentido de desarrollar la capacidad de juzgar sobre el papel atribuido a uno u otro mtodo. Pero no nos demoraremos e ahora en el vano intento de perseguir todos estos u otros anteriores cabos sueltos. El desarrollo actual de la matemtica es un arte largo y lo a que uno pudiera decir aqu de ella tendr que ser breve. a
75
|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H
Contenido

Signos de Los Tiempos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Signos de Los Tiempos

Cargado por

Copyright:

Formatos disponibles

Divulgacin o

Las ecuaciones diferenciales ordinarias como signos de los tiempos

y Universidad Tecnolgica Nacional, French 414, o 3500 Resistencia, Chaco, Argentina

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| H H

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| ||| H H

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H |

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

en el mundo. As sea la ecuacin diferencial: , o y + f (y) = 0, (3)

|||| |||| |||| H H H |||| |||| |||| H H H |||| |||| |||| H H H ||

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

Busquemos los puntos de equilibrio, as tenemos: gradx F (x, a) = 0. (6)

x + a x + b x + c x + dx 6 4 3 2 x7 + ax5 + bx4 + cx3 + dx2 + ex + f

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

del autor Ecuaciones diferenciales y contemporaneidad (dado a publicar). 74

LAS ECUACIONES DIFERENCIALES ORDINARIAS COMO SIGNOS DE LOS TIEMPOS

También podría gustarte