Boletn de Matemticas a Nueva Serie, Volumen V (1998), pp.

53{79

EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ORDINARIAS. CONSIDERACIONES (AUTO)CR ITICAS

Juan E. Napoles Valds(*) e

Resumen. En el trabajo mostramos la trascendencia histrica de las cono tribuciones en el campo de las Ecuaciones Diferenciales Ordinarias y su signicado, no slo para las propias Matemticas, sino para otras ciencias anes o a (como la Mecnica), en las que se ha ido desarrollando el aparato conceptual y a metodolgico actual a ra del desarrollo de las investigaciones en las Ecuaciones o z Diferenciales Ordinarias. Abstract. In this paper we present the historical inuence of advances in Ordinary Dierential Equations on the development of Mathematics and Mechanics. Keywords. Dierential equations, history, methods and concepts.

1. Introduccin o \Lo contrario de una verdad no es el error, sino una verdad contraria" Pascal Como se ha repetido tantas veces, el libro de la Naturaleza -segn Galileo- est u a escrito en lenguaje matemtico y para explicar un fenmeno es necesario saber a o leer sus caracteres: puntos, lneas, ... Esto signica que, ms que atribuir el a movimiento de los objetos \graves" -los que se dirigen al centro de la Tierraa 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 cada libre, lo hace con una o aceleracin constante. o
(*)Texto recibido 19/2/99, revisado 28/6/99. Juan E. Npoles Valds, Universidad de la a e Cuenca del Plata, Plcido Mart a nez 964, Argentina. E-mail: cplata@compunort.com.ar 53

54

JUAN E. NAPOLES

Con Newton, el problema se resuelve suponiendo la existencia de una relacin o lineal entre la aceleracin en cada punto de la trayectoria y la fuerza que en o cada punto acta sobre el cuerpo. Una vez conocidas la expresin de la fuerza u o 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: ste es el sentido del e determinismo que Laplace crey que la Mecnica de su tiempo haba puesto al o a descubierto. La ciencia, se dec mostraba que el mundo funcionaba como un a, mecanismo de relojera. Y, sin embargo, en la prctica hab ciertos problemas que rehusaban someterse a a a este esquema, ya sea porque la ecuacin diferencial no tena solucin en o o cuadraturas y hab que conformarse con soluciones aproximadas, o porque la a gran cantidad de ecuaciones involucradas haca imposible el conocimiento de la solucin del sistema. Esto apuntaba a que posiblemente nuestro conocimiento o y prediccin de los fenmenos pod estar vedados en ciertas situaciones que o o an no pudieran corresponder a simplicaciones de la realidad, lo cual es el caso con la mayora de los modelos estudiados. Sucedi as con la Astronom y con 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 a la direccin en que e o o muchos de estos problemas deban ser tratados: la Teor Cualitativa, o ms a a general, el estudio de los Sistemas Dinmicos, como se le ha venido a llamar a en las ultimas dcadas. Puntualizaremos que la historia toma, en ocasiones, el e camino opuesto al indicado. Tal es el caso de la ecuacin del pndulo libre, en o e la cual el estudio cuantitativo precedi al cualitativo. o En los ultimos 50 a~os, hemos presenciado un notable desarrollo de un campo n de la F sica{Matemtica, designado con el nombre de Mecnica No Lineal. Este a a trmino, probablemente, no es del todo correcto; los cambios no han ocurrido e en la propia Mecnica sino, en su mayor en las tcnicas de resolucin de a a, e o sus problemas, sobre todo las que requieren ecuaciones diferenciales, que ahora utilizan ecuaciones diferenciales no lineales. Esta no es una idea nueva en la Mecnica. En efecto, estos problemas no a lineales son conocidos desde los estudios de Euler, Lagrange y otros gemetras, o sucientes para ilustrar la antigedad de las temticas no-lineales. La principal u a dicultad de estos estudios, hoy clsicos, radica en la ausencia de un mtodo a e general para tratar estos problemas, los cuales eran tratados, sobre todo, con articios especiales para obtener su solucin. o En lo que sigue, exhibiremos la trascendencia histrica de las contribuciones en o el campo de las Ecuaciones Diferenciales Ordinarias (EDO por comodidad) y su signicacin no slo para las propias Matemticas, sino para otras ciencias o o a

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

55

anes como la Mecnica. Mostraremos cmo se ha ido desarrollando el aparato a o conceptual y metodolgico de la matemtica actual, a raz del desarrollo de las o a investigaciones propias de las EDO, y cmo en stas convergen ahora cientcos o e de disciplinas, algunas no tan anes, que se han compenetrado perfectamente con las propias EDO(1) . Con esto destacamos, de paso, un rasgo prominente de la matemtica actual: el desarrollo de sus mtodos a partir de investigaciones a e espec cas diversas, rasgo que empieza a ser evidente a mediados del siglo pasado y que en estos momentos (dado el nivel de integracin de las diferentes o disciplinas matemticas) no puede ser obviado. a 2. Gnesis e \Hay una asombrosa imaginacin, incluso en la ciencia de las o matemticas... Repetimos, hay mucha ms imaginacin en la a a o cabeza de Arqu medes que en la de Homero" Voltaire El Calculus apareci impreso, por primera vez, en una memoria de seis pginas o a de Leibniz, en el Acta Eruditorium de 1684, que contena una denicin de la o diferencial y donde dio reglas sencillas para su clculo en sumas, productos, a cocientes, potencias y races(2) . Leibniz incluy tambin peque~as aplicaciones o e n a problemas de tangentes y puntos cr ticos. Desafortunadamente, este corto informe contuvo algunos errores, lo que contribuy a que resultara enigmtico a los matemticos de la poca. La base del o a a e mtodo de uxiones de Newton fue publicada primero, ms bien impropiamene a te, como lemas en su Principia de 1687. Aqu encontramos algunas propiedades de lmites y direcciones para encontrar \momentos" innitesimales peque~os n de productos, potencias y races(3) . Se dice que cuando Huygens, sobre 1690, dese ense~ar el nuevo mtodo, no o n e pudo encontrar un hombre calicado para exponerlo. Newton entre 1669 y 1676 compuso varios tratados sobre los elementos de las uxiones, pero no aparecieron impresos hasta 1704. John Craig, en 1685 y 1693, public dos o trabajos, basados en parte sobre el mtodo de Leibniz, pero stos no fueron e e entendidos como introducciones y presentaban, adems, dicultades con la leca tura, debidas a la foma geomtrica en la cual fueron presentados. e En el continente, los hermanos Bernoulli fueron pioneros en el nuevo clculo; a precisamente Jean fue quien instruy a L'H^pital, quien a su vez, prepar a o o o Huygens. Esta fue la atmsfera de entusiasmo que rode al nuevo clculo al ceo o a rrar el siglo XVII. El mismo Jean, sobre 1691{1692, prepar dos peque~os libros o n de textos, pero su publicacin fue aplazada, y el que trataba sobre el clculo o a integral apareci, nalmente, en 1742, y el clculo diferencial, casi doscientos o a

56

JUAN E. NAPOLES

a~os despus(4) . Es por tanto comprensible la atencin que se le dirigi al libro n e o o de texto de L'H^pital Analyse des inniment petits, como introduccin a un o o mundo nuevo en las matemticas. a Ante los creadores del Calculus, el problema de la integracin de las ecuao ciones diferenciales, en su inicio, se presentaba como parte de un problema ms general: el problema inverso del anlisis innitesimal. Naturalmente, la a a atencin, al inicio, se concentraba en las diferentes ecuaciones de primer oro den. Su solucin se buscaba en forma de funciones algebraicas o trascendentes o elementales, con ayuda de mtodos ms o menos exitosamente elegidos. Para e a reducir este problema a la operacin de bsqueda de funciones primitivas, los o u creadores del anlisis y sus disc a pulos tend en cada ecuacin diferencial a an o separar las variables. Este mtodo, con el que actualmente comienzan los texe tos sistemticos de la teor de ecuaciones diferenciales, result, al parecer, a a o histricamente el primero. o En primer lugar, se~alaremos que el trmino aequatio dierentialis fue primero n e usado por Leibniz (en un sentido bastante restringido) en 1676 para denotar una relacin entre las diferenciales dx y dy y dos variables x e y (5) , cono cepcin que se conserva hasta los tiempos de Euler (en los a~os 1768{1770). o n As mismo, es importante destacar que las Ecuaciones Diferenciales Ordinar ias (EDO) surgen prcticamente con la aparicin del Calculus. En la clebre a o e polmica Newton-Leibniz se tiene un gran hito cuando Newton comunica (por e medio de Oldenburg) a Leibniz el siguiente anagrama: 6a cc d ae 13e f f 7i el 9n 4o 4q rr 4s 9t 12 v x el cual en lat quiere decir \Data aequetione quotcunque uentes quantitaes n involvente uxiones invenire et veceversa", o bien: \Dada una ecuacin con o cantidades uentes, determinar las uxiones y viceversa". Este fue, como se~ala n Arnold, el descubrimiento fundamental de Newton, que consider necesario o mantener en secreto, y el cual en lenguaje matemtico contemporneo signica: a a \Es util resolver ecuaciones diferenciales". Curiosamente, Ince arma que la fecha de aparicin de stas es el 11 de Noviembre de 1675, cuando Leibniz o R e escribi la ecuacin ydy = y 2 =2 (contina Ince)... Por lo tanto, no habr o o u a resuelto una ecuacin diferencial, la cual por s misma es un asunto trivial, sino o que habra fraguado una herramienta poderosa, el signo de integral. La primera clasicacin de las EDO de primer orden (en lenguaje de la poca o e ecuaciones uxiales) fue propuesta por Newton. El primer tipo estaba compuesto de aquellas ecuaciones en las cuales dos uxiones x0 ; y 0 y un uente x o y estn relacionados, como por ejemplo x0 =y 0 = f(x) o x0 =y 0 = f (y), o bien a como escribir amos en la actualidad dy=dx = f (x); dy=dx = f(y); el segundo tipo abarcaba aquellas ecuaciones que involucran dos uxiones y dos uentes x0 =y 0 = f (x; y) (dy=dx = f (x; y)). Y, nalmente, el tercer tipo abarcaba a

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

57

ecuaciones que involucran ms de dos uxiones, las cuales en la actualidad a conducen a ecuaciones diferenciales en derivadas parciales. En la Teor de a Fluxiones, Newton resuelve dos problemas principales, formulados tanto en trminos mecnicos como en trminos matemticos: e a e a 1. Determinacin de la velocidad del movimiento en un momento de tiemo po dado. De otro modo: determinacin de la relacin entre las uxiones o o dada la relacin entre los uentes. o 2. Dada la velocidad del movimiento, determinacin del espacio recorrido o en un tiempo dado. En trminos matemticos: determinacin de la e a o relacin entre los uentes dada la relacin entre uxiones. o o El primer problema, llamado problema directo, representa el problema de la diferenciacin implcita de funciones, en el caso general, y obtencin de la o o ecuacin diferencial que expresa las leyes del fenmeno. El segundo, el proo o blema inverso, es el problema de la integracin de las ecuaciones diferenciales o presentadas en su forma ms general. En particular, en este problema se trata a de la bsqueda de las funciones primitivas. Los enfoques de Newton para la u solucin de un problema tan general y los procedimiento de su resolucin se o o construyeron paulatinamente. Ante todo, la simple inversin de los resultados de la bsqueda de uxiones le o u proporcion una enorme cantidad de cuadraturas. Con el tiempo, advirti la o o necesidad de agregar, en esta inversin, una constante aditiva. Despus result o e o que la operacin de inversin, incluso de ecuaciones comparativamente sencillas o o como M x0 + N y 0 = 0, obtenidas en el clculo de las uxiones, no siempre era a posible y no se obten la funcin original. Newton advirti esto, en el caso en a o o que M = M (x; y) y N = N (x; y) fueran funciones racionales enteras. Cuando la inversin inmediata del mtodo directo no conduc al xito, Newton o e a e acudi al desarrollo de funciones en series de potencias como medio universal o de la teor de las uxiones. Resolvi ecuaciones dadas, por ejemplo, respecto a a o y 0 =x0 o (poniendo x = 1) respecto a y, y desarroll la funcin del miembro dereo o cho en series de potencias, integrando a continuacin la serie trmino a trmino. o e e Este mtodo lo comunic mediante otro anagrama, el cual dice lo siguiente: \El e o primer mtodo consiste en la extraccin de una cantidad uente de la ecuacin e o o que contiene su uxin; el segundo en cambio consiste en la mera sustitucin o o de una serie en lugar de una cantidad incgnita cualquiera, de la cual pueden o deducirse fcilmente las otras, y en comparacin de los trminos homlogos de a o e o la ecuacin resultante para obtener los trminos de la serie supuesta"(6) . o e En la ultima dcada del siglo XVII los hermanos Bernoulli (James y Johann) e introdujeron trminos como el de \integrar" una ecuacin diferencial, as como e o el proceso de \separacin de variables" (separatio indeterminatarum) de una o ecuacin diferencial. o Alrededor de 1692, Johann Bernoulli I (1667{1748) encontr otro mtodo, utio e

58

JUAN E. NAPOLES

lizado en una serie de problemas: la \multiplicacin por un factor integrante" o (sobre todo, para resolver ecuaciones en las cuales el mtodo anterior no se e poda aplicar, digamos la ecuacin xdy ydx = 0, ya que aunque era posi o ble separar las variables Rno se pod integrar, pues en la poca no se hab a e a introducido el logaritmo dx=x = lnx), mtodo tambin usado por su sobrino e e Daniel (1700{1782), a partir de 1720. Este mtodo puede ser considerado como general para ecuaciones de la forma: e P (x; y)dx + Q(x; y)dy = 0: Es difcil realizarlo, no obstante, debido a la eleccin del factor de integracin. o o La costumbre de buscar factores de integracin como mtodo inicial para eno e contrar la solucin de una ecuacin diferencial fue mantenida hasta los tiempos o o de Cauchy (1821). Leibniz (1693), y despus Johann Bernoulli I, con ayuda de e la sustitucin y = xt, resolvieron las ecuaciones homogneas de primer orden. o e La ecuacin de Bernoulli (Johann I): o ady = yp(x)dx + by n q(x)dx; (a; b constantes) fue transformada mediante la sustitucin y 1n = v (primero o por Leibniz en 1693 y luego por Johann I en 1697) en una ecuacin diferencial o lineal de primer orden; aqu Johann anticip el mtodo de variacin de las o e o constantes introducido en 1775 por Lagrange. Finalmente, hacia el a~o 1700, n Johann logr resolver la ecuacin diferencial lineal de orden n: o o
n X

Ak xk

k=1

dk y + y = 0; dxk

introduciendo un factor integrante de la forma xP y disminuyendo, sucesivamente, el orden de la ecuacin. o Sin embargo, los mtodos eran incompletos y la teor general de las ecuaciones e a diferenciales, a comienzos del siglo XVIII, no poda ser propuesta. Hacia nales del siglo XVII y principios del siglo XVIII, la concepcin que o se ten del Universo cambia, debido en gran medida, a los aportes tanto a matemticos como metodolgicos de ese genio singular que fue Isaac Newton a o (1642{1727). Se ve que la Naturaleza tiene una serie de regularidades que se pueden analizar y predecir; de hecho, la ciencia en el siglo XVIII estableci o tantas leyes que gobiernan fenmenos naturales, que muchos pensaron que era o poco lo que quedaba por descubrir. La tarea de los cientcos era dilucidar las repercusiones de estas leyes en el mbito de los fenmenos particulares. a o Uno de los principales logros de este siglo, fue establecer ecuaciones para modelar fenmenos f o sicos, an cuando se tuvieran grandes xitos al tratar de u e

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

59

resolverlas. Basta, como ejemplo, citar a Euler (1707{1783): \Si no nos est a permitido alcanzar el entendimiento completo del movimiento de un uido o de la mecnica o los principios conocidos del movimiento, no es a ellos a los que a debemos echarles la culpa. Es el anlisis el que nos muestra su debilidad en este a respecto". Por otra parte, los notables avances en la solucin de las ecuaciones o diferenciales (en los cuales tuvo Euler notable incidencia, como ya veremos) hacan pensar que los problemas no resueltos, tales como el movimiento de los tres cuerpos bajo la inuencia de la gravedad, eran excepciones. Resultados de carcter general comienzan a advertirse a mediados de los a~os a n 20 del siglo XVIII. En 1724, el matemtico italiano J. F. Riccati (1676{1754) a estudi la ecuacin: o o dy=dx + ay 2 = bx ; (; a; b constantes), determinando la integrabilidad en funciones elementales de sta. De aqu que (y a propuesta de D'Alembert en 1769) la ecuacin lleve su e o nombre, denominacin extendida a todas las ecuaciones del tipo: o dy=dx = P (x)y 2 + Q(x)y + R(x); (P; Q y R funciones continuas). La investigacin de esta ecuacin fue ocupacin o o o de muchos matemticos: Leibniz, Goldbach (1690-1764), Johann I, Nicolas a I (1687-1759) y Daniel Bernoulli, entre otros. Daniel estableci que sta se o e integra mediante funciones elementales si = 2 = 4k=(2k1) k entero(7) . o En el a~o 1738, Euler aplic a la resolucin de esta ecuacin la teora de sen o o o ries; ms adelante descubri que, cuando existen dos soluciones particulares, a o la integracin de la ecuacin se reduce a cuadraturas y que, si se conoce una o o solucin particular v, entonces ella puede ser transformada en una ecuacin o o lineal mediante la transformacin y = v + 1=z. o Ya a nales de los a~os 30 del siglo XVIII, Euler elabor un algoritmo de ren o solucin de ecuaciones diferenciales lineales con coecientes constantes, basado o en la reduccin del orden de ciertas ecuaciones homogneas con ayuda de la o e funcin exponencial. En el a~o 1743, en uno de sus trabajos, fue publicado o n el mtodo de resolucin de una ecuacin lineal con ayuda de la sustitucin e o o o y = ekx y, en el caso de races reales mltiples de la ecuacin caracter u o stica, con la ayuda de y = u ekx . En el caso de la existencia de un par de ra ces complejas i , utiliz la o sustitucin y = u ex , sustituciones que reducen el problema a la ecuacin: o o d2 y=dx2 + 2 y = 0; la forma trigonomtrica de cuya solucin era conocida por Euler desde el a~o e o n 1740.

60

JUAN E. NAPOLES

Es a Euler a quien le corresponde la primera sistematizacin de los trabajos ano teriores en sus Instituciones Calculi Integralis (1768-1770), donde encontramos lo que se puede llamar la primera teor de las ecuaciones diferenciales ordia narias. Esta obra contiene una buena parte (y mucho ms) del material que a encontrar amos en un libro de texto actual, como el estudio de las ecuaciones diferenciales de 1er orden (y su correspondiente clasicacin en \separables", o \homogneas", \lineales", \exactas"), las de segundo orden (lineales, y las suse ceptibles de reducir el orden), y su generalizacin a las de orden superior. As o mismo, encontramos el mtodo de series de potencias para resolver ecuaciones e como y 00 + axn y = 0. Desde nuestra perspectiva, lo que vale destacar de este trabajo es su forma de conceptualizar las EDO; la expresin dy=dx signica o para Euler un cociente entre diferenciales y no nuestra derivada actual; en una ecuacin de segundo orden aparecen los diferentes ddy; dx2 en lugar de la o segunda derivada y 00 . La bsqueda de un factor de integracin era utilizada por Euler, en forma u o frecuente (1753), para reducir el orden de una ecuacin diferencial. As para o , resolver la ecuacin de segundo orden lineal no homognea procede reduciendo o e el orden en la siguiente forma. Sea la ecuacin: o X = Ay + Bdy=dx + Cddy=dx2 ; Euler multiplica por el factor ex dx y obtiene: ex dx = (ex Aydx + exBdy + ex Cddy=dx2 ); como se requiere que el factor ex dx reduzca el orden en uno, se supone la integral encontrada y se iguala con la ecuacin diferencial lineal de primer o orden ex (A0 y + B0 dy=dx), es decir, se establece la relacin: o (ex Aydx + exBdy + ex Cddy=dx2 ) = ex (A0 y + B 0 dy=dx): Para que esta igualdad se sostenga se requiere que la diferencial del lado derecho sea igual al integrando del primer miembro, donde A0 ; B 0 y son constantes a determinar en trminos de A; B y C. Igualando tendremos: e A = A0 ; B = A0 + B 0 ; C = B 0 de donde: A0 = A=; B 0 = C; B = A= + C:

Es decir, queda determinada por la races de la ecuacin cuadrtica: o a A B + C2 = 0:

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

61

De esta forma la ecuacin diferencial de segundo orden se reduce a la ecuacin o o diferencial de primer orden: Z B 0 dy=dx + A0 y = e x ex Xdx: D'Alembert (en 1766) encontr que la solucin general de una ecuacin lineal o o o no homognea es igual a la suma de una cierta solucin particular y la solucin e o o general de la correspondiente ecuacin homognea. o e Muchos matemticos (en particular Clairaut y Euler) siguieron elaborando el a mtodo del factor integrante. As en los a~os 1768-1769, Euler investig la e , n o clase de ecuaciones diferenciales que tienen factor integrante de un tipo dado, e intent extender estas investigaciones a ecuaciones de orden superior. Finalo mente, cerraremos esta etapa mencionando las contribuciones de Lagrange, las cuales, al igual que Euler, se situaron hacia el ultimo cuarto del siglo XVIII. Lagrange demostr que las solucin general de una ecuacin difereno o o cial lineal homognea de orden n, con coecientes constantes, es de la forma e y = c1 y1 +c2 y2 + +cn yn donde y1 ; : : : ; yn son un conjunto de soluciones linealmente independientes y c1 ; c2 ; : : : ; cn son constantes arbitrarias; as mismo, tambin descubri en su forma general el \mtodo de variacin de parmetros e o e o a (o constantes)", hacia 1774. De esta manera, en el siglo XVIII, el trabajo consist en la solucin de ecuaa o ciones particulares espec cas. As mismo, fueron elaboradas las premisas para la creacin de las bases para la teora general, con una serie de conceptos funo damentales, sobre los que hablaremos en el siguiente ep grafe. Simultneamente con estos trabajos, se produjeron diversos desarrollos en la a Mecnica. En 1750, Lagrange tom las ideas dinmicas de Euler y produjo a o a una reformulacin de la Dinmica. Dos ideas importantes se desprenden de su o a trabajo: la primera, fue el principio de conservacin de la energa y la segunda, o el introducir coordenadas generalizadas en el formalismo de la Mecnica, fora malismo que permiti interpretar la Mecnica desde diversos puntos de vista o a de la Matemtica. Ms tarde, William R. Hamilton reformul la Dinmica de a a o a un sistema, logrando una mayor generalidad. Hacemos mencin aqu de una rama particular de la F o sica: la Mecnica a Analtica, fundada por Euler, D' Alembert (1717-1783) y algunos otros cien tcos, y genialmente originada por Lagrange (1736-1813) en su obra maestra La Mecanique Analytique, que proyect en Tur cuando ten 19 a~os, aunque o n a n fue publicada en Par en 1788 ya cuando contaba con 52 a~os de edad. En s n esta obra, Lagrange hace notar que la ciencia de la Mecnica puede ser consia derada como una geometr de cuatro dimensiones: propone una nueva forma a de considerar la Mecnica que se hizo popular desde 1915, cuando Einstein la a utiliz en su Teora Especial, de principios de siglo. o

62

JUAN E. NAPOLES

El estudio analtico de la Mecnica rompe con la tradicin griega pues, a di a o ferencia de Newton, que consideraba utiles las guras en sus estudios de los problemas mecnicos, Lagrange mostr que se alcanzaban mejores resultados a o si desde el principio se empleaban mtodos analticos generales. e Precisamente, sta es una caracterstica que queremos destacar de la Mecnica e a Analtica: su carcter bifronte. Por un lado, es teora de los sistemas mecnicos, a a el conjunto de esquemas estructurales de la mecnica clsica y, por el otro, ciena a cia puramente matemtica (C. Lanczos), composicin de mtodos y estructuras a o e matemticas interrelacionadas, que pueden estudiarse independientemente del a contenido f sico. Desde este punto de vista, la mecnica anal a tica puede considerarse parte de la matemtica moderna. Esto fue comprendido genialmente por Lagrange desde a el siglo XVIII. 3. Fundamentos generales \La suerte est echada, he escrito mi libro, lo leern en la poca presente o en a a e la posteridad, no importa cundo; bien puede esperar un siglo un lector, a puesto que Dios ha esperado seis mil a~os un intrprete de sus palabras" n e Kepler En el a~o 1743 surgieron los conceptos de integral particular y general, enconn tradas por Euler ya en 1739. Ellos fueron publicados en la memoria donde se estudia un unico algoritmo de resolucin de ecuaciones lineales de orden n con o coecientes constantes. En sus trabajos de estos a~os, Euler consider tambin n o e las soluciones singulares de una serie de ecuaciones, las cuales ya eran conocidas del Methodus incrementorum... (1715) de Brook Taylor (1685-1731). Taylor advirti una solucin singular, considerando la ecuacin: o o o (1) 4x3 4x2 = (1 + z 2 )2 (dx=dz)2 :

Mediante la sustitucin x = v=y 2 ; v = 1 + z, transform (1) en la ecuacin: o o o (2) y2 2zyy0 + vy 2 = 1:

0

Diferenciando sta, tenemos: e 2y 00 (vy 0 zy) = 0; y a continuacin, igualando a cero la expresin entre parntesis y sustituyendo o o e en la ecuacin (2), y 0 = zy=v, Taylor obtuvo la expresin y 2 = v; x = 1, la o o

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

63

cual denomin \cierta solucin singular del problema". La poca claridad de o o este tipo de solucin, y su denominacin de singular, se conserv en las obras o o o de Clairaut, el cual consider (en 1736) la solucin singular de la ecuacin: o o o y = (x + 1)dy=dx (dy=dx)2 : Euler, no obstante, ya en el a~o 1736, advirti que, si se encuentra un factor n o integrante (x; y) de la ecuacin diferencial, entonces 1= = 0 puede dar lugar o a una solucin singular. Por ejemplo: o xdx + ydy = (x2 + y 2 r2 )1=2 dy; tiene como factor integrante = (x2 + y 2 r2 )1=2 y la solucin singular ser o a x2 + y 2 r2 = 0.

La claridad en este concepto fue obtenida por Lagrange slo en los a~os 1774o n 1776, dando una interpretacin geomtrica de las mismas como envolvente de o e las curvas integrales. Una exposicin sistemtica y unicada la dio el propio o a Lagrange en 1801-1806 en sus Lecciones sobre el clculo de funciones. a La teor general, de la que tanto se hab hablado, aparece expuesta por vez a a primera, como ya dijimos, en el famoso Instutiones... de Euler, obra que consta de tres tomos que vieron la luz sucesivamente en los 1768, 1769 y 1770, con un suplemento en 1794, culminando la serie de libros de Euler dedicados a la exposicin sistemtica del anlisis contemporneo. o a a a Existe una etapa intermedia entre esa poca y los trabajos de Poincar y Liae e punov, caracterizada fundamentalmente, por un lado, por los mtodos en series e para la bsqueda de soluciones, los cuales produjeron las llamadas funciones u especiales y, por otro, por la investigacin sobre los teoremas de existencia y o unicidad de las soluciones de una ecuacin diferencial, los cuales sirvieron, como o arma Ince, \para determinar, en forma rigurosa, la pregunta de la existencia de soluciones de aquellas ecuaciones que no fueron integrables por mtodos e elementales"(8) . Por otra parte, el doble carcter de la Mecnica Anal a a tica la convierte en medio natural donde resulta posible el proceso de conversin de \lo mecnico" en \lo o a matemtico". a De esta manera, los est mulos \externos" del desarrollo de la matemtica, a provenientes de la Mecnica, se convierten en factores \internos" de este dea sarrollo. Se pens, entonces, que era posible describir la Naturaleza con un o conjunto peque~o de leyes. Estas leyes, como regla general, eran establecidas n en trminos de ecuaciones diferenciales. Dado un estado natural del sistema e en un tiempo determinado y las leyes que lo describen, se consideraba que, en principio, se poda determinar, con toda precisin, todo estado futuro. o

64

JUAN E. NAPOLES

Por desgracia, estas consideraciones de carcter general pronto mostraron su a debilidad al intentar reducir las divergencias entre la teor y la prctica. El a a uso de la teor newtoniana para calcular las rbitas planetarias requiri mucho a o o trabajo y esfuerzo, por parte de los ms grandes cientcos de los siglos XVIII y a XIX, desde Euler a Lagrange, pasando por Laplace y Hamilton, y culminando con Poincar. Todos estos aportes vinieron a conformar lo que se conoci con e o el nombre de Mecnica Celeste y que fue anticipada por Coprnico(9) . Esta a e disciplina tendr como objetivo estudiar uno de los problemas ms difciles de a a la fsica y las matemticas, el llamado problema de los N cuerpos (en nuestro a caso el Sol y los planetas) que interactan gravitacionalmente. u Para nes del siglo XIX, se haba alcanzado un grado tal de precisin, que el o descubrimiento de una discrepancia de ocho segundos a lo largo del siglo, en el movimiento aparente de Mercurio, provoc una crisis de enorme magnitud, o que desemboc, a los pocos a~os, en la Teora Especial de la Relatividad(10) . o n Como hemos se~alado, la teor de las ecuaciones diferenciales ordinarias con a menz a desarrollarse en el siglo XVII, simultneamente con el surgimiento o a del clculo diferencial e integral. Se puede decir que la necesidad de resolver a las ecuaciones diferenciales para las exigencias de la Mecnica (es decir, para a encontrar las trayectorias de los movimientos) fue, a su vez, el est mulo para la creacin del nuevo mtodo de clculo por Newton y Leibniz. Las leyes de o e a Newton constituyen un modelo matemtico simple del movimiento mecnico. a a A travs de las ecuaciones diferenciales ordinarias, o de la aplicacin del nuevo e o clculo a los problemas de la Geometra y la Mecnica, se lograron resolver a a problemas que durante mucho tiempo no admit solucin. En la Mecnica an o a Celeste, result posible, no slo obtener y explicar hechos ya conocidos, sino o o tambin hacer nuevos descubrimientos (por ejemplo, el descubrimiento del plae neta Neptuno por Leverrier en 1846, sobre la base del anlisis de las ecuaciones a diferenciales). De esta manera, el primer rasgo de las ecuaciones diferenciales es su estrecha vinculacin con las aplicaciones; en otras palabras, la teora de o las ecuaciones diferenciales \naci" de las aplicaciones. Exactamente, en la o teor de las ecuaciones diferenciales, la matemtica acta como parte intea a u grante de las ciencias naturales, sobre la cual se fundamenta la deduccin y o compresin de la regularidades cualitativas y cuantitativas que componen el o contenido de las ciencias de la Naturaleza. Ms an, las ciencias naturales son, a u para la teor de las ecuaciones diferenciales ordinarias, una fuente maravillosa a de nuevos problemas; ellas determinan en medida considerable la direccin de o sus investigaciones y le otorgan una orientacin correcta. Es ms, las ecuaciones o a diferenciales no pueden desarrollarse sin el contacto con los problemas f sicos. Esto no es slo porque la Naturaleza es ms rica que la fantas humana, sino o a a porque las aplicaciones actan, en muchos casos, como un \examen" que toda u teor debe superar. a La teor sobre la no resolubilidad de ciertas clases de ecuaciones diferenciales, a

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

65

desarrollada en a~os recientes, muestra que incluso ecuaciones lineales \muy n simples" pueden no tener solucin, no slo en el sentido corriente, sino en las o o clases de funciones generalizadas y las clases de hiperfunciones y, por consiguiente, para estas ecuaciones no puede ser construida ninguna teora \sus tanciosa". En el plano histrico, la teora de los sistemas de ecuaciones difeo renciales ordinarias de segundo orden, pas a ser la primer forma matemtica o a de la Mecnica clsica. Se revel la estructura variacional de la mecnica y a a o a desde el punto de vista matemtico se hizo posible considerar la Mecnica a a como Clculo de Variaciones. El desarrollo del formalismo lagrangiano llev a a o la geometrizacin de la Mecnica que, hacia nales del siglo XIX, adquiri la o a o forma de geometra multidimensional de Riemann. A la vez, la geometrizacin o del formalismo hamiltoniano origin la geometr del espacio de fases y, en o a realidad, revel otra cara de la Mecnica: la Geometr Simplctica. o a a e Algunas de las mencionadas ramas de la Matemtica -el clculo de variaciones y a a la teora de las ecuaciones en derivadas parciales de primer orden- se modelaba (como ya dijimos), en paralelo, con la elaboracin de los formalismos de la o Mecnica Analtica. En otros casos, se identicaban los formalismos de la a mecnica con teoras matemticas ya formadas y se daban impulsos adicionales a a para el desarrollo de esas teor as. La equivalencia de algunos formalismos de la Mecnica Analtica contribuy a a o que se comprendieran las profundas relaciones entre ramas de las Matemticas a que antes parec tan diferentes. Las tareas de la Mecnica Anal an a tica en el marco de uno u otro formalismo llevaban, con frecuencia, a elaborar partes absolutamente nuevas de la Matemtica, como la teora de grupos y de las a Algebras de Lie y la Topolog (por ejemplo, en relacin con la teor cualitativa a o a de las ecuaciones diferenciales ordinarias). Cuando se comprenda la identidad de la estructura matemtica de la Mecnica a a con una u otra teor matemtica, ello era siempre positivo para la Mecnica, a a a ante la cual se abr nuevas posibilidades para resolver un c an rculo cada vez ms amplio de problemas y aplicar estos mtodos en la f a e sica y la astronom a. 4. El problema de la existencia y unicidad \Cualquiera que sobresale del nivel medio ha recibido dos educaciones la primera de sus maestros; la segunda, ms impersonal a e importante, de s mismo" Gibbons Como destacara Arnold(11) (n.1937), la teor de las ecuaciones diferenciaa les ordinarias \permite estudiar los ms diversos procesos de evolucin que a o pueden determinarse, tener dimensin nita y ser diferenciables". Estas tres o

66

JUAN E. NAPOLES

propiedades forman la base de la mecnica de los sistema discretos. Un proceso a se llama determinado si su estado pasado y futuro puede obtenerse a partir de un estado presente. El conjunto de todos los estados del proceso se llama Espacio de Fases. El proceso se denomina de dimensin nita si su espacio de fases o lo es, i.e., si el nmero de parmetros necesarios para descubrir completamente u a su estado es nito. El proceso se llama diferenciable si su espacio de fases tiene estructura de variedad diferencial. A propsito de lo anterior, la expresin exacta de la idea de la determinacin es o o o proporcionada por los teoremas de existencia y unicidad. Para una ecuacin eso calar de primer orden (y 0 = f (x; y)), esta preocupacin comienza con Euler -en o su Institutiones...- con su mtodo de las quebradas, el cual se usa en la actualie dad como un mtodo numrico. Cauchy contina con el mtodo, demostrando e e u e semejante teorema por primera vez en sus conferencias (1789-1857), dictadas en 1820-1830 bajo el t tulo Exposition d'une Mthode l'aide de laquelle on e a peut intger par approximation un grand nombre d'Equations direntielles au e e premier ordre y lo presentamos a continuacin, por su indudable valor histrico o o y metodolgico. o Teorema de Cauchy. Si el segundo miembro de la ecuacin diferencial o (3) y 0 = f (x; y);

es anal tico en ambas variables, x e y, en una vecindad del punto (x0 ; y0 ), entonces la ecuacin (3) posee una unica solucin y(x) que satisface la condicin o o o inicial (4) y(x0 ) = y0

y esta solucin es analtica en una vecindad de x0 . o Es fcil entender que el requerimiento de que f sea anal a tica es articial; por otra parte, esta restriccin falla en muchos problemas de aplicaciones. As, o como teora general, es demasiado exigente. El resultado clsico conocido hoy a es el producto de diversos renamientos: Teorema de Existencia y Unicidad. Si una funcin f es denida y cono tinua en una cierta regin abierta y conexa D del plano y satisface en ella una o condicin de Lipschitz respecto a y entonces, por cada punto interior de D, o pasa una y slo una curva integral de la ecuacin diferencial (3). o o Una caracter stica importante en el trabajo de Cauchy es el cambio que se da en la forma de conceptualizar una ecuacin diferencial ordinaria. En efecto, o en Cauchy no slo encontramos nuestra denicin de una ecuacin diferencial o o o ordinaria(12) , sino que adems su discurso es muy parecido al de cualquier texto a actual. Por cierto, durante esta misma poca, en el libro de Lacroix, Trait e e

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

67

Elmentaire de Calcul Direntiel et de Calcul Intgral, 1837, encontramos un e e e punto de vista anlogo. a El mtodo de demostracin, basado en la consideracin de las quebradas de Eue o o ler, dado por Cauchy en sus lecciones de la Ecole Polytechnique (considerando la continuidad de f (x; y)), est resumido en una memoria litograada en Praga en a 1835 y publicada en forma ms completa por su disc a pulo F. N. Moigno (Leons c de Calcul, 2, 1844, p. 385, 513), pero la esencia del mtodo se remonta a Euler e en su Institutiones Calculi Integralis; de ah el nombre dado. La prueba por Aproximaciones Sucesivas es debida a C. E. Picard (1856-1941) y E. L. Lindelf o (1870-1946). Este problema fue usado por J. Liouville (1809-1882) y Cauchy en diversos casos especiales. Sin embargo, el mtodo de Cauchy-Lipschitz tiene, e sobre el de Picard-Lindelf, la ventaja de que permite construir la solucin en o o todo intervalo nito donde sta es continua. e La condicin de Lipschitz es superua para el teorema de existencia. Con la o unica hiptesis de la continuidad de f ha probado C. Arzel (1847-1912) que o a (3) admite al menos una solucin por (x0 ; y0 ). Una demostracin de Montel o o (Thse, 1907), que utiliza las quebradas de Euler, puede verse en Valiron (Cours e d'analyse mathmatique). e Por otra parte, debe imponerse la condicin de Lipschitz u otra similar para o asegurar la unicidad. W. F. Osgood (Monatsh. Math. Phys., 9, 1898) ha colocado el problema sobre una base rme, probando que si f es continua en un entorno de (x0 ; y0 ), existe en general un haz de curvas integrales por dicho punto, comprendidad entre dos extremos y = 1 (x); y = 2 (x). La unicidad equivale a 1 (x) = 2 (x), y para esto, una condicin suciente es: o jf (x; y) f (x; z)j < w (jy zj) ; siendo w(u) una funcin continua 0 para u 0, nula slo si u = 0 y tal que o o para > 0 haga divergente la integral Z du : w(u) 0 Funciones con estas propiedades son Ku, Kuln(1/u) lnln(1/u), .... La primera es la condicin de Lipschitz, las dems son condiciones ms generales. Ms o a a a recientes son los teoremas de unicidad de Nagumo (Japonese J. of Math., 3, 1926), Perron (Math. Annalen, 95, 1926; Math. Zeitschri, 28, 1928), Mller u (Math. Zeit 26 (1927) 619-645), Wallach (Amer. J. Math. 70 (1940) 345-350), Olech (Bull. Acad. Polon. Sci Cl. III 4 (1956), 555-561) y Wintner (Bull. Un. Mat. Ital. (3) 21 (1956) 496-498), extendidos y/o generalizados en trabajos sucesivos de Antonino, Arino, Bownds, Bushell, Checa, Cleave, D Everitt, az, Gautier, Lemmert, Metcalf, Penot, Race, Redheery, Romaguera, Volkmann, Walter y otros que haran demasiado larga esta lista.

68

JUAN E. NAPOLES

Precisamente de Mller es el siguiente ejemplo de aproximaciones sucesivas no u convergentes. Sea: (5) u0 = U (t; u); u(0) = 0;

donde U (t; u) ser denida para t 0 y todo u. Consideremos las aproximaa ciones uo (t) 0 y un+1 = Z
t 0

U (s; un (s))ds si n 0:

Sea U (t; 0) = 2t, por tanto u1 (t) = t2 ; poniendo U(t; t2 ) = 2t, se tiene u2 (t) = t2 . Finalmente, poniendo U (t; t2 ) = 2t, se tiene u3 (t) = t2 . Entonces u2n (t) = t2 para n > 0 y u2n+1 = t2 para n 0. Podemos completar la denicin de U (t; u) como una funcin continua haciendo U (t; u) = 2t si o o u 0; U (t; u) = 2t si u t, y como una funcin lineal de u cuando 0 o u t; t > 0 jo. De esta forma, obtenemos un ejemplo en el cual U (t; u) es no creciente con respecto a u (para t 0 jo). En este caso la solucin o de (5) es unica (Corolario 6.3 de P. Hartman- Ordinary Dierential Equations, Wiley, 1964); sin embargo, ninguna subsucesin de las aproximaciones sucesivas o converge a una solucin. o En los ultimos a~os, sucesivos resultados sobre la unicidad de las soluciones n han sido obtenidos para cuando las condiciones de tipo Lipschitz no pueden ser aplicadas; son resultados que utilizan una descomposicin de la funcin del o o segundo miembro o condiciones ms dbiles sobre sta. a e e Sin embargo, hay un detalle sobre el que queremos volver y es el del \famoso" teorema de existencia de Peano. A nes del siglo pasado, G. Peano (1858-1932) publica dos artculos, en los cuales formula dos teoremas de existencia diferentes, considerando que x y f pertenecen al d-espacio euclideano Rd y t es real. Sea K un nmero positivo, u J = [0; 1]; f continua en J Rd y jf (t; x)j K para (t; x) 2 J Rd . Teorema 1(1886). Sea d = 1. El problema inicial (6) x0 (t) = f (t; x(t)) para t 2 J; x(0) = 0;

posee soluciones xmin ; xmax tales que, para toda solucin, xmin (t) x(t) o xmax (t) para t 2 J. Teorema 2(1890). Sea d 1. El problema inicial (6) posee al menos una solucin. o Observemos que, en el caso d = 1, el Teorema 2 es una consecuencia trivial de Teorema 1. Esto signica que toda prueba del Teorema 1 es tambin una e

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

69

prueba del Teorema 2; por otra parte, las demostraciones del Teorema 2 son ms simples que las del Teorema 1. De estas constataciones tenemos una a importante conclusin: o Todo los autores que mencionan el nombre de Peano llaman siempre al Teorema 2 el Teorema de Peano, cuando hemos visto que, en realidad, no es un unico Teorema. Una prueba elemental de Teorema de Peano es aquella en la cual se evita la equicontinuidad y en lugar del Lema de Arzel-Ascoli, se utilizan propiedades a especiales de R (o Rd ), sin entrar a valorar la nocin de constructividad eno fatizada por numerosos autores. Muchas pruebas elementales del Teorema 1 existen; sin embargo las del Teorema 2 son escasas. Una demostracin de este o tipo es de inters didctico al menos, puesto que el caso d = 1 del Teorema e a 2 es tratado separadamente en muchos textos. Por otra parte, la existencia de xmin (xmax ) puede justicarse como el nmo (supremo) del conjunto de todas las soluciones de (6) probando que ste no es vac (exactamente el e o planteamiento del Teorema 2). Extensiones del teorema de existencia a soluciones de tipo Carathodory, utie lizando el Anlisis Recursivo, etc., son an objeto de estudio. a u Podemos resumir todo lo anterior en la Figura 1 que muestra bien el estado de las investigaciones en este campo. Detengmonos, aunque sea brevemente, a para explicar cada uno de esos trminos. Del primero de ellos podemos decir e que resume algunas de las investigaciones a las que ya hemos hecho referencia sobre la unicidad de las soluciones; el segundo tpico reeja las investigaciones o sobre espacios de funciones acotadas, positivas, ...; el tercer tpico merece un o tratamiento especial, ya que extiende las investigaciones en este campo para ecuaciones diferenciales denidas sobre espacios innitodimensionales: uno de los primeros resultados en tal sentido es debido a F. R. Browder (en 1964), aunque W. J. Knight demostr que era incorrecto(13) . Quizs en este orden de o a cosas, el ejemplo tpico es el debido a Dieudonn(14) . e Sea N = f1; 2; 3; : : : g y tomemos: 11 := 11 (N) = fx=x = (xn )n2N sucesin acotadag; o introduzcamos el subespacio acotado de 11 : c0 = fx=x 2 11 ; lim xn = 0g:
n!1

La funcin: o

8 > 2; <p '() = ; > : 0;

si 4; si 0 4; 2 R si 0:

70

JUAN E. NAPOLES

es acotada, creciente y uniformemente continua. Las frmulas: o fn (x) = 1=n + '(xn ); n 2 N; x 2 11 ; f (x) = (fn (x))n2N ; x 2 11 ; denen una funcin f : 11 ! 11 acotada, creciente y uniformemente continua. o Vemos fcilmente que f (c0 ) c0 . Podr a amos entonces creer que el Problema de Cauchy: u(0) = 0; u0 = f (u); posee una solucin unica u : [0; T ] ! 11 . Sin embargo, Dieudonn mostr que o e o u(t) 2 c0 (0 < t T ). Esto muestra, a las claras, que requerimientos de otro = tipo eran necesarios para abordar el estudio de la Existencia y la Unicidad en espacios de innitas dimensiones. El ultimo tpico es, quizs, el ms reciente y se reere al estudio de la Existencia o a a y Unicidad en Inclusiones Diferenciales u otras ecuaciones diferenciales en las que intervienen diferentes nociones de derivadas. 5. Ep logo \Por una muestra peque~a podemos juzgar la pieza entera" n Cervantes A nes del siglo XIX, A. Cayley public varios artculos sobre el Mtodo de o e Newton para encontrar los ceros de una funcin compleja. Cayley procur o o dividir el plano complejo en regiones donde cualquier punto, tomado como aproximacin inicial para el Mtodo de Newton, convierta a la sucesin de puntos o e o generada por el mtodo en una sucesin convergente a un determinado cero e o de la funcin. Ms precisamente, Cayley consigui determinar tales regiones o a o para la funcin F (z) = z 2 c. Al intentar abordar otras funciones, digamos o F (z) = z 3 1, se encontr con clculos muy complejos y acab interrumpiendo o a o sus investigaciones. En el inicio de este siglo, Gaston Julia y Pierre Fatou publicaron una serie de artculos sobre el estudio de propiedades iterativas, teniendo como uno de los objetivos el Mtodo de Newton. Ellos probaron que la convergencia de este e mtodo puede no ser tan simple: aplicando el mtodo a una funcin dada, es e e o posible que haya sucesiones que converjan, que sean peridicas o que diverjan. o Julia y Fatou observaron que las fronteras entre las regiones de convergencia eran curvas extremadamente complicadas. En la dcada de los a~os 60, Benoit Mendelbrot comenz a estudiar algunos cone n o juntos irregulares de naturaleza altamente interesante, tales como las galaxias y

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

71

los copos de nieve. Mandelbrot consigui percibir ciertos patrones en las irreguo laridades presentadas por esas formas y as deni la nocin de Conjunto Frac o o tal. Esencialmente, un conjunto fractal es un conjunto que posee propiedades de auto-similaridad, esto es, un nmero nito de traslaciones de cualquier subu conjunto, no importa cun peque~o, reproduce el conjunto completo(15) . Posa n teriormente, Mandelbrot retom los trabajos de Fatou y Julia utilizando oro denadores para dise~ar las regiones estudiadas por l, de manera que pudiera n e observarse el comportamiento catico que produce la estructura fractal. o La representacin grca del comportamiento catico de los mtodo iterativos o a o e para sistemas no lineales es una poderosa herramienta para demostrar y comprender el fenmeno matemtico que aparece en esas aplicaciones(16) . o a Esta es un rea totalmente nueva, y an poco explorada, del Anlisis Numrico, a u a e con muchos puntos de contacto con la Teora de las EDO en general, y con la existencia y unicidad de las soluciones en particular. La utilizacin de la como putacin grca propicia la aparicin de nuevas cuestiones sobre el anlisis de o a o a la convergencia de algoritmos, inducindonos a pensar ms sobre el signicado e a \real" de convergencia local o global. Evidentemente, la integracin de estos temas est lejos de ser aclarada en toda o a su magnitud; nuestro objetivo es que los investigadores encaren estas disciplinas con una perspectiva diferente de la usual. Por otra parte, en el creciente desenvolvimiento de la Fsica de sistemas no lineales, se torna cada vez ms a presente, entre los f sicos, la utilizacin de funciones e integrales el o pticas(17) . Sin embargo, no es mucho lo que se conoce sobre el surgimiento y desarrollo de este tema, a partir del surgimiento del Calculus y las EDO. As trataremos , slo algunos puntos, importantes a nuestro juicio, en esta relacin. o o Jacobi caracteriza el 23 de diciembre de 1751 como la fecha de nacimiento de las funciones el pticas. Fue ese el d en que Euler inici la revisin de la coleccin a o o o de trabajos presentada por el matemtico autodidacta italiano Giulio Carlo, a Conde Fagnano y Marquz de Toshi (1682-1766), lo cual era un prerequisito e para su entrada a la Academia de Berl Dentro de los numerosos art n. culos de Fagnano, el titulado Mtodo para Medir la Lemniscata, publicado en 1718, e y que toma como base los hallazgos de Jakob Bernoulli de 1694, despert el o entusiasmo de Euler. Euler vislumbr all el nacimiento de la teora de las o funciones elpticas, que vendra, segn l, a extender considerablemente los u e l mites del Calculus. De manera sucinta, sea F (x; u) una funcin racional de u, x, siendo u2 una o funcin polinomial cbica o curtica de x sin factor repetido, o sea, u2 = o u a R a0 x4 + a1 x3 + a2 x2 + a3 x + a4 . En este caso, F (x; u)dx es denominada integral elptica. Un ejemplo conocido de esta clase de integrales es dado por: Z 1=2 (1 k2 x2 ) (1 x2 )(1 k2 x2 ) dx; a
0

72

JUAN E. NAPOLES

la cual es igual a la longitud del arco de una elipse de excentricidad k y eje mayor 2a. Desde un punto de vista histrico, todo parece indicar que sta es la razn o e o por la cual estas integrales reciben el nombre de el pticas(18) . Legendre, que por ms de 40 a~os estudi estas integrales, introdujo las tres formas cannicas a n o o para las mismas. Dentro de estas tenemos: (7) K(k) = Z
=2

(1 k2

dx ; sen2 x)1=2

que surge en el estudio del pndulo simple, al expresar la relacin entre el e o per odo T y la amplitud A mediante la serie(19) : T = 2 p (1=g) 1 + "
1 X 1:3 : : : (2k 1) 2

k=1

2:4 : : : 2k

sen (A=2) ;

2k

Estas funciones han resurgido con gran nfasis en innumerables problemas de e electromagnetismo, part culas elementales, mecnica cuntica, relatividad gea a neral, mecnica estadstica y otros, mostrando que su importancia trasciende, a en mucho, lo aqu presentado. Baste citar algunos de los que han trabajado en esta l nea: John Landen, Legendre, Gauss, Schumacher, Schering, ... Otra vertiente de avances di lugar a la Geometr de Supercies. Fue Euler o a (Recherches sur la courbure des surfaces, Memoires de l'Academie de Sciences de Berln, 16, 1760) el primero en estudiar la curvatura y direcciones principales de las supercies, inaugurando as la utilizacin de los mtodos del Calculus o e para el estudio de la geometr de supercies. a El trabajo de Euler muestra que las direcciones principales son, en general, determinadas por dos rectas mutuamente ortogonales. Se encuentra tambin e contenida en este artculo la famosa (una de ellas) Frmula de Euler, que o expresa que la curvatura normal en una direccin cualquiera en trminos de las o e curvaturas principales es el ngulo de la referida direccin con las principales. a o De hecho, en trminos ms modernos, esta frmula equivale a la diagonalizacin e a o o de la Segunda Forma Fundamental. En los puntos umb licos las dos curvaturas principales son iguales y las direcciones principales denen, fuera de estos puntos, dos campos de distribuciones de l neas tangentes a la supercie, llamados campos de lneas principales, uno de ellos correspondiente a la curvatura mxima y el otro a la m a nima. Los puntos

dada por Euler en 1736 en su Mechanica, aunque fue formulada por Legendre en 1825 (Trait des fonctions elliptiques) y por Jacobi en 1829 (Fundamenta e nova theoriae functionem ellipticarum) para integrales el pticas, llamando T = p 4 (1=g)K(k), con K(k) denida por (7), la integral el ptica completa de primera especie.

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

73

umb licos son considerados como singularidades de estos campos de l neas. No existe registro bibliogrco de que Euler tuviese visualizada la particin de a o las supercies en puntos umb licos y en red de curvas principales, que son formadas por las curvas integrales de los campos de direcciones principales. En las supercies de revolucin, esta red es generada por los paralelos y los o meridianos. Ser Monge (Sur les lignes de courbure de la surface de l'ellipsoide, a Journal de l'Ecole Polytch., II cah., 1796) el primero en percibir la importancia de la estructura denida en una supercie por los puntos umblicos y la red de curvas principales, llamada aqu de conguracin principal de la supercie. Se o debe a l, la integracin global de las ecuaciones diferenciales que representan e o los campos de lneas principales en el caso del elipsoide de tres ejes diferentes que lleva su nombre(20) . Este resultado constituy el primer ejemplo no trivial de conguracin princio o pal. Esto coloca a Monge como un indiscutible precursor de la Teora Cualita tiva de ED que, un siglo ms tarde, fue fundada y sistematizada por Poincar a e y Liapunov, y continuada por Andronov, Pontriaguin, Peixoto, ...(21) Monge tambin vislumbr aplicaciones de las lneas de curvatura en Arquitece o tura. Es muy interesante la argumentacin que, con bases estticas y prcticas, o e a presenta una propuesta para la contruccin de la bveda elipsoidal para el edio o cio de la Asamblea Legislativa. Esta propuesta utilizaba las l neas de curvatura como gu para la colocacin de piedras y los umb a o licos como puntos de soporte de las luminarias. En estos momentos, estos estudios han desembocado en la conocida Teor a de Singularidades, conectada con el Caos, los Fractales y la Teora de las Catstrofes(22) . a Existen, por supuesto, muchas direcciones diferentes a las aqu apuntadas. Hemos presentado aquellas que pudieran parecer poco vinculadas a la Teor a de las EDO. Representamos esquemticamente las direcciones aqu se~aladas a n en las Figuras 2, 3 y 4. Esperamos haber mostrado as que la Teora de las EDO es, en estos momen tos, una de las lneas principales de desarrollo de la Matemtica, imbricada a profundamente con mltiples corrientes y con una base paradigmtica nada u a despreciable: las aplicaciones, fuente inagotable de problemas y, por ende, de desarrollo(23) . Notas En un marco general sobre las perspectivas actuales en Filosof e Historia a de las Matemticas sobre el conocimiento matemtico, se deben destacar los a a ensayos [10] y [7] as como los trabajos [32] por su agudeza cr tica; [34] presenta
(1)

74

JUAN E. NAPOLES

una visin prxima (aunque un tanto supercial) a un sentir hoy comn sobre o o u los aspectos culturales, sociales e histricos del desarrollo de las Matemticas; o a [9] sirve de perspectiva general del campo temtico con singular atencin a ala o gunos puntos (e.g. la discusin del presunto estatuto a priori del conocimiento o matemtico, el cambio histrico en Matemticas, la rigorizacin) y [33] otorga a o a o una s ntesis histrica-losca apropiada. No debe descartarse un libro como o o [14]. Un trabajo que no debe pasarse por alto es \Pedagoga e historia de las ciencias, >simbiosis innata?" de Alejandro Garciadiego D. en [36], donde se presenta, en lenguaje ameno, la historia de la matemtica como problema: ms all a a a de descripciones y enfoques gentico-cronolgicos, la historia debe tratar de e o resolver los cmo y los porqu y destaca, como una de las problemticas de los o e a historiadores de la ciencia, la atencin que stos deben prestar al \desarrollo o e tcnico del pensamiento cientco, y [...] encontrar, entre otros, los conceptos e claves que inuenciaron el desarrollo de las ciencias". En esta direccin se o enmarca nuestro trabajo. No debe olvidarse en estas latitudes, la inuencia de un lsofo como Albert Lautman (ver [35]) y las referencias citadas all). o Una excelente traduccin del trabajo de Leibniz de 1684 aparece en [30]. o Sobre la trascendencia y repercusiones del surgimiento del Calculus en la Matemtica y la F a sica, principalmente, tratan [19] y [4].
(3) (4) (2)

Ver [26]. Consultar [25]. Ver [2].

(5) Ver [8]; no obstante, existen historiadores que arman la imposibilidad de ser precisos, por ejemplo [11], llegando incluso a contraponerse ambos en sus armaciones, pues mientras Ince arma que fue Leibniz quien primero habl o expl citamente de ecuaciones diferenciales, Kline por el contrario dice que fue Huygens en el Acta Eruditorium de 1693, e incluso con una fecha distinta a la dada por Kline. (6) (7) (8) (9)

Ver [15]. Ver [17]. Ver [8, p.93].

Sir Arthur Eddington observaba que uno de los grandes misterios del Universo consiste en que todo rota. En la poca del astrnomo polaco, la ase o tronom geocntrica llevaba reinando ms de mil a~os, aunque prelados insa e a n truidos advert que la Semana Santa llegaba demasiado pronto en el caan lendario anual y unos pocos astrlogos sab que la posicin de los planetas o an o diverg a veces, en varios grados, de lo que se pod prever con las tablas de a a Ptolomeo. El sistema heliocntrico (que se remonta a Aristarco de Samos, en e

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

75

el siglo III a.n.e.) resolvi stas y otras dicultades y la publicacin de la obra oe o de Coprnico De revolutionibus orbium coelestium (1543) abri el camino de la e o verdad celeste por la que transitar an, ms adelante, Kepler, Galileo, Newton, a Poincar, Liapunov y muchos ms. e a A pesar de que hay historiadores que piensan que la anomal del perihelio a de Mercurio slo alcanz a tener cierta signicacin crucial a la luz de la Teor o o o a de la Relatividad, i.e., como conrmacin predictiva emp o rica de esta teor a frente a la mecnica celeste clsica, debemos tener en cuenta que ste fue uno de a a e los tantos hechos acumulados que reejaban el \indeterminismo" de la mecnica a determin stica en boga.
(11) (10)

Ver [1].

(12) La denicin inicial de Cauchy es la siguiente: \On nomme quations o e direntielles, celles qui tablissent des relations entre une variable indpene e e dante x, des fonctions y; z : : : de cette variable, et les direntielles de ces e fonctions ou leurs drives des divers orders. L'ordre de la plus haute drive e e e e qui se trouve comprise dans une quation direntielle, sert xer ce qu'on ape e a pelle l'ordre de cette meme quation. Cela pos, une quation direntielle du e e e e premier ordre entre la variable x et les fonctions y; z : : : renfermera seulement avec x; y; z : : : les drives du premier ordre y 0 ; z 0 ; : : : Si les fonctions y; z; : : : se e e rduisent a une seule y, l'equation direntielle du premier ordre ne contiendra e e plus que les trois quantits x; y et y0 = dy=dx." e (13)

Ver [12] y [13].

(14) Ver [5]. Una versin de ste es el Problema 5, p.290 de su Foundations of o e Modern Analysis, New York: Academic Press, 1969. (15) (16) (17)

Consulte por ejemplo [3], [6], [16] y [29]. Consultar el trabajo del autor [23].

Sobre el surgimiento y primeras aplicaciones de stas, puede consultar [24], e [27] y [28].
(18) (19) (20) (21) (22) (23)

Ver [18]. Ver [24]. Consultar, por ejemplo, [31]. Ver [20]. Ver [22]. Otras direcciones de desarrollo son presentadas en [21].

76

JUAN E. NAPOLES

Referencias
1. V. I. Arnold, Ecuaciones Diferenciales Ordinarias, Mosc: Nauka, 1979 (en ruso). u 2. Jean Bernoulli, Die Dierentialrechnung aus dem Jahre 1691/92, Clsicos de Ostwald, a Leipzig, 1924. 3. M. Bridger, \Looking at the Mandelbrot set", The College Math. J. 19 (1988), 353-363. 4. P. Dedron et J. Itard, Mathmatiques et Mathmaticiens, Par Magnarde, 1959. e e s: 5. J.Dieudonn, \Deux exemples singuliers d'quations dierentielles", Acta Sci. Math. 12B e e (1950), 38-403. 6. G. A. Edgar, Measure, Topology and Fractal Geometry, Berlin: Springer-Verlag, 1990. 7. R. Hersh, Experiencia matemtica, Barcelona: Labor, 1988. a 8. E. Ince, Ordinary Dierential Equations, New York: Dover 1956 (1926). 9. P. Kitcher, The Nature of Mathematical Knowledge, New York/Oxford: Oxford University Press, 1983. 10. M. Kline, Matemtica. La prdida de la certidumbre, Madrid: Siglo XXI, 1985. a e 11. M. Kline, Mathematical Thought form Ancient to Modern Times, 1972. 12. W. J. Knight, \Solutions of dierential equations in Banach spaces", Duke Math. J. 41(2) (1974). 13. W. J. Knight, \A counter example to a theorem on dierential equations in Hilbert spaces", P.A.M.S. 51(2) (1975), 378-380. 14. I. Lakatos, Falsications and methodology of scientic research programmes, Cambridge, 1970. 15. Leibniz-Newton, El Clculo Innitesimal origen-polmica, Buenos Aires: Eudeba, 1977. a e 16. B. Mandelbrot, The fractal Geometry of Nature, San Francisco: Freeman, 1982. 17. N. M. Matveev, Mtodos de integracin de las ecuaciones diferenciales ordinarias, Ese o cuela Superior, 1963 (en ruso). 18. G. Mittag-Leer, \An Introduction to the theory of Elliptic Functions", Ann. of Math. 24 (1923), 271{351. 19. L. Motz and J. Hane W., Conquering Mathematics; From Arithmetic to Calculus, New York: Plenum, 1991. 20. J. E. Npoles, Cien A~os de Teor Cualitativa. Algunas observaciones, dado a publicar. a n a 21. J. E. Npoles, De Lagrange hasta Arnold. Apuntes metodolgicos a una historia de las a o ecuaciones diferenciales ordinarias, I.S.P.H., Publicacin Interna, 1996. o 22. J. E. Npoles, Ecuaciones Diferenciales y Contemporaneidad, dado a publicar. a 23. J. E. Npoles, \Una nota sobre el Teorema de Sarkovski", Revista Lecturas Matemticas a a (UNC-SMC) 16 (1995), no. 2, 211{214. 24. J. E. Npoles y C. Negrn, \De la Mecnica Anal a o a tica a las EDO. Algunos apuntes histricos", Revista LLULL 17 (1994), no. 32, 190{206. o 25. Isaac Newton, The mathematical papers of Isaac Newton, New York: Cambridge University Press, 1967-1970. 26. Isaac Newton, Opera quae exstant omnia, Londres: Samuel Horsley, 1779-1785. 27. J. Rey Pastor y J. Babini, Historia de la Matemtica, vol. 2, Barcelona: Gedisa, 1985. a 28. A. Ribeiro y D. Soares, \Reminisc^ncias e Clculo de Algunas Funes e Integrais El e a o pticas", Matemtica Universitaria (1993), no. 15, 20{32. a 29. G. Rubiano, \El conjunto de Mandelbrot", Bol. de Matemticas, Nueva Serie VIII a (1996), no. 1, 25{36. 30. D. E. Smith, A Source Book in Mathematics, New York, 1929, 619-626. 31. J. Sotomayor, \O Elipside de Monge", Matemtica Universitaria (1993), no. 15, 33-47. o a 32. M. Steiner, Mathematical Knowledge, Ithaca: Cornell University Press, 1975.

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

77

33. M. Tiles, Mathematics and the Image of Reason, London/New York: Routledge, 1991. 34. R. L. Wilder, Mathematics as a Cultural System, New York/Oxford: Pergamon Press, 1981. 35. F. Zalamea, \La losof de Albert Lautman", Mathesis 10 (1994), 273-289. a 36. F. Zalamea (ed.), El velo y la trenza, Bogot: Editorial Universidad Nacional, 1997. a

78

JUAN E. NAPOLES

EXISTENCIA Y UNICIDAD
. . . . . . . . . . . . . . . . . . . . . . ................................................................................................................................. . . ............................................................................................................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . RELACIONADOS CON LA ECUACION DIFERENCIAL PROPIAMENTE. . . . . . . . . . . . . . . . ........................................................... . . .......................................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . DEBILITAMIENTO DE LAS CONDICIONES A IMPONER EXTENSION A OTRAS CLASES CIONES DE FUNRELACIONADOS CON LA

NATURALEZA EXTERNA DEL PROBLEMA . . . . . . . . . . . . . . . ........................................................... . . . .......................................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . SOBRE NUEVOS ESPACIOS FUNCIONALES MODIFICACION DEL PROBLEMA ORIGINAL

Figura 1

CALCULUS

FRACTALES

.. . ................................... .................................. ..

. . . ... . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .......................................... . ......................................... .

FUNDAMENTOS GENERALES DE LAS EDO

........................... ........................... .. . . ..

METODOS APROXIMADOS

SISTEMA NO LINEALES

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...................................... ...................................... . .. . .

Figura 2

 EL LEGADO HISTORICO DE LAS ECUACIONES DIFERENCIALES ...

79

CALCULUS

FUNDAMENTOS INTEGRALES Y FUNCIONES ELIPTICAS

. ...................................................................... ..................................GENERALES..... .............................. .. . ..

MECANICA CLASICA

DE LAS EDO

. .. .. . ... . . . . . . . . . . . . . . . . . . . . . . . ................................................................................................... . . ................................................................................................. .

PENDULO SIMPLE

...... ...... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ......... ......... . . . . . .

Figura 3

CALCULUS

TEORIA DE LAS SINGULARIDADES

. . . .. ... . ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ................................................... . . .................................................

.. ............................................................................................................... .............................................................................................................. .. . . . . . . FUNDAMENTOS . . . . . . . . GENERALES . . . . . . . ... DE LAS EDO .. . .. .

GEOMETRIA DE SUPERFICIES

. . . GEOMETRIA ... . ................................................. ................................................. . DIFERENCIAL

Figura 4