Cauchy

POR BALTASAR RODRIGUEZ SALINAS * JOS L. DE MARA **

El matemtico francs Agustn-Louis Cauchy es uno de los ms fructferos de todos los tiempos, tanto por su labor investigadora como por su elaboracin y rigorizacin de muchas ideas anteriores y contemporneas. De hecho, Cauchy instaur un mtodo de fundamentacin de las matemticas, especialmente del Anlisis y se le considera el fundador del rigor en matemticas. Sin duda es el ms citado por los docentes universitarios que explican Anlisis, pues existen objetos matemticos, teoremas, criterios y frmulas que llevan su nombre y que actualmente forman parte de los programas de matemticas. Es muy difcil entender el trabajo de Cauchy sin entroncarlo previamente en el momento histrico en que vivi, pues coincide con la poca de la Revolucin Francesa, poca sin duda de violentos cambios polticos y sociales. Todo esto aadido a su carcter profundamente monrquico y catlico hicieron que su obra y su vida siguiesen los ciclos monrquicos y revolucionarios de finales del siglo XVIII y primera mitad del siglo XIX. En la reciente biografa escrita por Bruno Belhoste (1991) se nos muestra en un esquema (ver esquema I) la fundamentacin ideolgica de Cauchy en las que aparecen verdades de primer orden basadas en la Religin Catlica y verdades de segundo orden basadas en las Matemticas. Los bigrafos de Cauchy opinan que el entorno histrico de su infancia influy de forma definitiva en todo su posterior crecimiento y maduracin cientfica. En el ao 1774 reinaba en Francia Luis XVI con una monarqua autoritaria que desemboc en 1788 en la Bancarrota del Estado. Esta crisis afectaba a la familia de Cauchy, pues su padre Luis Francisco haba pasado por cargos administrativos de relevancia. Siendo un brillante estudiante de Ciencias clsicas en la Universidad de Pars, a la edad de veintitrs aos, en 1783, se convirti en secretario general de Luis-Thiroux de Crosnes que ostentaba el cargo de Intendente de la alta Normanda. Cuando este ltimo fue ascendido al cargo de Teniente General de la Polica de Pars se llev consigo a Cauchy y le nombr lugarteniente. Luis Francisco Cauchy
* Acadmico Numerario. ** Profesor de la U.N.E.D.

80

se cas en Pars con Marie-Madeleine Desestre con la que tuvo cuatro hijos y dos hijas. De sus hijas, Teresa muri pronto y Adela se cas con su primo G. de Neugurg. Su hijo ms pequeo Amadeo muri en 1831. Alejandro (1792-1857) ocup cargos judiciales y Eugenio (1802-1877) se dirigi por la Administracin.
OBSERVACIN
J D U

< <
FSICA

CIENCIAS NATURALES

<

'w'

MATEMTICAS

VERDADES DE SEGUNDO ORDEN

f t

VERDADES DE PRIMER ORDEN

ESQUEMA I

Agustn-Luis naci el 21 de agosto de 1789 en Pars y fue bautizado en la Iglesia de Saint-Roch pocas semanas despus del asalto a la Bastilla y entre cambios como la abolicin del Rgimen Feudal y la Declaricin de los Derechos del Hombre. La carrera del padre de Cauchy se vio comprometida por la insurreccin de Pars en la que clases bajas e intelectuales pidieron la dimisin del primer ministro, Necker. Muchos mandatarios fueron guillotinados, como Fleselles, Foullon y Bertier de Savigny. Luis-Thiroux, como Teniente General de Polica, fue privado de su libertad el da 15 de julio y por tanto Luis-Francisco Cauchy se vio seriamente amenazado. Los bigrafos se inclinan a pensar que estos aos determinaron la tremenda lucha que durante su vida mantuvo Agustn-Luis para intentar deshacer los resultados de la Gran Revolucin de 1789 a la que vea como un gran desastre. Cuando Luis Thiroux fue condenado a muerte en 1790, el padre de Cauchy, temiendo por su vida y la de su familia, dej Pars con su mujer y dos hijos, Agustn y el pequeo Alejandro-Laurent, recin nacido el 12 de marzo. Huyeron a Arcueil, donde permanecieron hasta que pas el reinado del terror pasando en algunas ocasiones hambre. All estaba la "Sociedad de Arcueil" fundada por Laplace y Berthollet. Como ancdota, Luis Francisco present varias veces a Laplace y a Legendre a su hijo Agustn y Laplace en una ocasin dijo refirindose a Cauchy: "Ahora veis aqu un muchacho que un da nos reemplazar a todos nosotros simples gemetras".

En Arcueil, Luis Francisco se hizo cargo de la educacin de sus hijos, formndoles en latn y griego, as como dndoles una amplia formacin religiosa que familiariz a Cauchy con los textos Bblicos. En una carta de Luis Francisco se dice: "Las Ciencias son hermanas de las Artes y nadie interesado en las ltimas puede ignorar las primeras". Con la cada de Robespierre, el 27 de julio de 1794, la familia regres a Pars, donde Luis Francisco fue nombrado Director de la Oficina de Artes y Oficios. Continu educando a sus hijos y observando la gran capacidad de su hijo Agustn se lo coment a Laplace que le aconsej de la siguiente forma: "No le permita abrir un libro de matemticas ni escribir un simple nmero antes de que acabe sus estudios de literatura". Los contactos personales con partidarios de Napolen contribuyeron a que a comienzos de 1800, Luis Francisco fuese nombrado Secretario del Senado. Siguiendo el consejo de Laplace y de Legendre, el padre de Agustn inscribi a su hijo en l'Ecole Centrale du Panthon en otoo de 1802, donde complet sus estudios de Humanidades. Este colegio era uno de los tres mejores de Pars. En dos aos estudi lenguas clsicas, dibujo y ciencias naturales. El cdigo disciplinario era liberal contrariamente a los Liceos Imperiales que en 1804 Napolen instaurara. A pesar de sus mltiples premios nacionales en Humanidades, y pese a la tradicin de su familia, decidi ser ingeniero, lo que agradeci su padre aunque siguieron fomentando sus estudios de clsicas, aprendiendo hebreo y presentando ambos artculos sobre temas bblicos en la Academia de Inscripciones y Bellas Artes. Cauchy tena un carcter vigoroso y una enorme pasin por la verdad que sus contemporneos confundieron con testarudez, sobre todo en materia de poltica. Sin pretender simplificar se pueden explicar las caractersticas de Agustn en trminos de su familia: Gran habilidad para formalizar situaciones y manipular abstracciones, gran rigor lgico y conceptual, as como claridad y precisin de exposicin. Cualidades de gran valor en el estudio de las leyes. Por eso no sorprende en Cauchy su continua obsesin por la formalizacin de los mtodos y procedimientos matemticos que hasta entonces haban sido usados sin justificacin. En otoo de 1804 recibi clases de matemticas por Dinet y en 1805 fue examinado por Biot resultando segundo de los 293 candidatos y 125 admitidos, por lo que pudo elegir destino en l'Ecole des Ponts y Chausses. En aquel tiempo los estudiantes tenan que elegir varios libros de texto. Cauchy eligi los siguientes: Curso de Anlisis Algebraico de Garnies. Tratado elemental de Clculo Diferencial e Integral de Lacroix.

82

Tratado de Mecnica de Prony. Geometra Descriptiva de Monge. Hojas de Anlisis Aplicado a la Geometra de Monge. Aplicacin del Algebra a la Geometra de Monge y Hachette. Su especial talento para resolver problemas geomtricos fue comentado entre sus profesores. Por ejemplo en 1806 resolvi un problema sobre la determinacin de lneas de mxima pendiente y Hachette le public en Correspondance sur l'Ecole Polytecnique una elegante demostracin del Teorema de Monge. "Si una superficie con ecuacin de grado n es contactada por un cono, la curva de contacto de esas dos superficies pertenece a una superficie curva de grado n-l". Cuando dej l'Ecole Polytecnique tena 18 aos. Al final de 1807 fue a l'Ecole de Ponts et Chausses donde gan 4 premios de estudios. En vacaciones asista a la Sociedad de Arcueil y en 1808 fue asignado a las obras del sistema de aguas de Pars, al Ourcq Canal y a la construccin del Acueducto de Saint-Denis. En dos manuscritos present un trabajo sobre la teora de puentes de piedra y sobre la construccin de Arcos. En esos momentos ya perteneca a la congregacin de la Santa Virgen, fundada en 1801 por el jesuita Jean Baptiste Bourdier-Delpuits, para llevar la oracin a la Universidad bajo el lema "Cor unum et nima una". El enfrentamiento entre el Papado y Napolen puso a la congregacin contra el Imperio. Habiendo completado su estancia en l'Ecole des Ponts et Chauses, fue nombrado ingeniero ayudante en enero de 1810 por Count Mole, Director General de l'Ecole y enviado a Cherbourg donde Napolen comenzaba a construir su flota para las operaciones contra Inglaterra. Cauchy, fsicamente frgil y por primera vez separado de su familia durante su estancia en Cherburgo y durante un largo perodo de tiempo, demostr con creces sus cualidades como ingeniero y organizador. Escriba a su padre el 8 de junio de 1810: "El proyecto del Puerto de Napolen es ms y ms importante y el trabajo me proporciona conocimientos muy interesantes". Llevaba consigo al partir: La Mecnica Celeste de Laplace. El Tratado de las funciones analticas de Lagrange. La Imitacin de Cristo de Kempis. Si bien el ambiente no era muy propicio para la creacin, all en Cherburgo comenz su carrera como matemtico. En un artculo presentado en 1809 Poinsot haba establecido la existencia de tres nuevos poliedros regulares no convexos: dos dodecaedros y un icosaedro. Estos con los cinco regulares convexos y un dodecaedro de Kepler eran los poliedros regulares conocidos. Poinsot no era capaz de demostrar que eran los nicos. En 1811 Cauchy present un artculo

83

resolviendo el problema de Poinsot y generalizando la clsica frmula de Euler a redes de polgonos y poliedros. La evaluacin del trabajo corresponde a Legendre y Malus, que observ: "Las demostraciones son rigurosas y desarrolladas de forma elegante". Animado Cauchy en 1812 present otro trabajo sobre polgonos y poliedros. En la primera parte estableci ocho teoremas de variacin de ngulos en polgonos rectangulares y esfricos y en la segunda parte hizo una demostracin por absurdo del teorema 1 del libro 9 de los Elementos de Euclides, segn ambos: "Dos poliedros convexos con caras iguales y similarmente colocadas, son necesariamente iguales salvo isometras y superposiciones. Es decir un poliedro rgido es completamente rgido". Despus de una polmica con Malus a propsito de la demostracin por absurdo, Legendre, Biot y Carnot aprobaron el artculo con estas palabras: "Queramos dar una idea de la demostracin de Cauchy, pero hemos reproducido casi completamente sus argumentos. As hemos comprobado la brillantez con que el joven gemetra ha resuelto un problema que se haba resistido a los maestros". Tambin prob un teorema de la que se llamara posteriormente Teora de Galois, generalizando un teorema de Ruffmi. A partir de ello se puede deducir que Cauchy, como slo muy pocos matemticos del siglo XIX, ya desde el inicio de su carrera cientfica aspiraba a dominar un amplio sector de la totalidad de las matemticas, incluyendo algunos campos de aplicacin de ellas. Resulta por eso comprensible que Cauchy acometiese diversas disciplinas de las matemticas con diferente intensidad y con resultados de muy distinta envergadura cientfica. Cauchy fue uno de los matemticos ms fecundos que han existido. Public siete libros y ms de 800 trabajos cientficos. En el ao 1813 Cauchy regres a Pars. No resulta del todo claro por qu renunci a su empleo de ingeniero en Cherburgo. Al parecer su familia era de la opinin de que le sera mucho ms conveniente quedarse en Pars para no desperdiciar sus cualidades y consagrarse por entero a la ciencia. En los aos siguientes Cauchy pudo dedicarse sistemticamente a problemas matemticos. Fue el perodo de su ms afortunada actividad cientfica, durante el que, aunque slo fuese en estado embrionario, alcanz sus ms relevantes resultados cientficos. Este perodo se prolong hasta la Revolucin de julio de 1830. Por de pronto Cauchy tuvo que esforzarse por conseguir alguna ocupacin cientfica oficial, ya fuese en la Academia o en una Universidad. Aunque indudablemente le apoyaban eminentes matemticos franceses debido a la importancia de sus trabajos ya publicados o a causa de los contactos personales de la familia Cauchy, igual da - todos sus esfuerzos resultaron infructuosos. Haciendo valer la influencia poltica de su importante cargo pblico intervino tambin el padre de Cauchy, pero en vano. As Cauchy fue propuesto en los aos 1813 y 1814 como miembro de la Academia para los puestos que en aqul entonces haban quedado

84 vacantes. Pese al reconocimiento de sus mritos cientficos, fueron elegidos otros de mucha ms edad. Slo tras la restauracin de la Monarqua se abrieron al antirrepublicano Cauchy las puertas de todas las Instituciones y obtuvo reconocimiento pblico. Mientras tanto, en 1814, envi Cauchy a la Academia Francesa un tratado sobre las integrales definidas que se convertira en la base de las funciones complejas. En 1816 gan un premio de la Academia por un trabajo sobre la propagacin de las ondas en la superficie de un lquido, los resultados an son clsicos en hidrodinmica. Invent el mtodo de las caractersticas, que es crucial para la teora de las ecuaciones en derivadas parciales en 1819. Y en 1822 se ocup de una materia que le llevara a un lugar preferente entre los grandes cientficos, la teora de la elasticidad. En 1816, tras la cada de Napolen, fue reorganizada la estructura de las Instituciones Cientficas de Pars, y se procedi contra los cientficos de orientacin revolucionaria y aquellos que se comprometieron con la Revolucin. En esta situacin fueron obligados a abandonar las instituciones cientficas, entre otros, los matemticos L.N.M. Carnot y G. Monge, cuyos mritos cientficos estaban fuera de toda duda. Cauchy fue nombrado, no elegido, para una de las plazas vacantes de la Academia. Antes Cauchy haba sido profesor adjunto (1815) y catedrtico (1816) en la Escuela Politcnica. En algn momento antes de 1830 debi ser destinado a la Facultad de Ciencias y tambin al Colegio de Francia. Sus famosos textos, que datan de este perodo, hechos con una exactitud poco usual hasta entonces y que contienen su obra fundamental en anlisis, se convirtieron en clsicos. Estas obras han sido traducidas varias veces. En 1818 Cauchy se cas con Alose de Bure, hija de un editor que public la mayora de sus obras. Tuvieron dos hijas, una de las cuales se cas con el vizconde de l'Escalopier y la otra con el conde de Saint-Pol. Cauchy vivi en la rue Serpente en Pars y en la cercana ciudad de Seaux. La tranquila vida de Cauchy pronto se vio convulsionada por la Revolucin de 1830, en la cual fue reemplazado Carlos X de Borbn por Luis Felipe de Orleans. Cauchy rehus jurarle fidelidad con lo que perdi sus ctedras. Pero esto no fue suficiente, Cauchy se exili. No est claro por qu lo hizo: quizs porque tema un nuevo Terror y nuevas persecuciones religiosas, quizs porque quera indicar sus sentimientos contra la nueva autoridad, o quizs porque sencillamente no quera honestamente vivir bajo un usurpador. Dejando su familia, Cauchy fue primero a Friburgo, donde vivi con los jesutas. Ellos le recomendaron al rey de Cerdea, quien le ofreci una ctedra en la Universidad de Turin. Cauchy acept. En 1833, fue llamado a Praga, donde Carlos X se haba establecido, para encargarse de la educacin del prncipe heredero, ms tarde duque de Chambord. Cauchy acept, para emular a Bossuet y Fnelon, la direccin de dicha educacin. Por ese tiempo fue nombrado barn por Carlos X. En 1834 se reuni con su mujer en Praga. La vida en la corte y los viajes le llevaron mucho tiempo a Cauchy y el ritmo de sus publicaciones baj. En 1838 su trabajo en Praga finaliz y

85

86 volvi a Pars. Continu su trabajo en la Academia asistiendo a la reunin de los lunes y presentando una o ms publicaciones en el semanal Comptes Rendus; se dice que la Academia puso lmite al tamao de ellas. En el curso de menos de veinte aos. Comptes Rendus public 589 notas de Cauchy y muchas ms fueron enviadas y no publicadas. Como acadmico estaba libre del juramento de fidelidad. Un intento de procurarle una ctedra en el Colegio de Francia se perdi por su intrasigencia. Biot nos cuenta que dos ministerios de educacin intentaron establecer relacin con Cauchy sin resultados. Bertrand ms especificamente dice que la nica cosa que le pedan era mantener el secreto de no haber jurado. Pero segn Biot, "incluso tal posibilidad asustaba a Cauchy e intent convencer por todos los medios que pudo imaginar diplomticamente contra una sensibilidad casi infantil". Pero esto prueba el amor que tena Cauchy a la verdad y que no comprenda Biot. Sin embargo, exista en Pars con la denominacin de Buieau des longitudes una oficina especfica de pesos y medidas cuyos miembros reciban sueldo. En el ao 1839 Cauchy fue elegido por los miembros de esta oficina de longitudes para un puesto que haba quedado vacante. Si bien no fue explcitamente ratificado en su cargo por el Gobierno, continu en sus funciones, de forma que estaba en una situacin semilegal para una institucin del Estado francs. Cuando la revolucin de febrero de 1848 estableci la Segunda Repblica, una de sus primera medidas fue derogar el juramento de fidelidad. Entonces Cauchy volvi a su ctedra de la Sorbona (la nica que estaba vacante) y la mantuvo incluso cuando Napolen III restaur el juramento en 1852, pero fueron eximidos el republicano Arago y el monrquico Cauchy. Un amplio rastro de trabajos traza la vida de Cauchy. Al principio, en un apacible ambiente hogareo Cauchy desarroll su actividad cientfica y pedaggica. Ambas cosas se superponan en l. La ltima comunicacin de Cauchy a la Academia acaba con la frase "esto es lo que explicar en una prxima memoria". Dieciocho das ms tarde muri. Tambin hizo poesa en latn y francs, la cual ha sido olvidada. Aunque Cauchy no interviniese directamente en los acontecimientos polticos, sin embargo su actividad y sus opiniones tuvieron para l claras consecuencias polticas. Por otra parte, siendo Cauchy uno de los cientficos ms eminentes de la Francia postrevolucionaria era todo un modelo para la unin de Fe y Ciencia, de Iglesia e Instituciones Cientficas, una prueba de la ratificacin racional de la rectitud de la poltica eclesistica. Cauchy era libre y bien saba lo que haca, pero esto no lo ven algunos que careciendo de fe y sobre todo con categora inferior a Cauchy le presentan como manipulado por la Iglesia. Esto queda contestado por lo que deca en una ocasin Cauchy: "Yo soy cristiano, es decir, yo creo en la divinidad de Jesucristo, con Tycho-Brahe, Coprnico, Descartes, Newton, Fermt, Leibniz, Pascal, Grimaldi, Euler, Guldin, Boscowich, Gerdil, con todos los grandes astrnomos, todos los grandes fsicos, todos los grandes matemticos de los siglos pasados. Yo soy tambin catlico como

87

la mayor parte de ellos; y, si se me pregunta la razn, yo la dar con mucho gusto. Se vera que mis convicciones son el resultado, no de prejuicios de nacimiento, sino de un examen profundo". Lo ms importante de todo es que Cauchy era coherente con su pensamiento religioso. Ms de un tercio de sus bigrafos lo retratan como un catlico ferviente que tom parte en ayudas como la de Franois Regis para madres solteras, para la alimentacin de Irlanda y para la redencin de presos por el trabajo, desempeando una importante actividad en la Sociedad de San Vicente de Paul. Cauchy fue uno de los fundadores del Instituto catlico, una institucin de enseanza superior. Sirvi en un comit que promovi la observancia del Sabbath y mantuvo trabajos para los becarios en Levante. Biot dice que fue un trabajador social en Sceaux y gast su salario entero en los pobres de la ciudad. Justificaba su comportamiento diciendo: "No tiene importancia, es slo mi salario; no es mi dinero, es del emperador". La vida de Cauchy fue estudiada principalmente por Valson, el cual tiende a presentarlo como un santo con virtudes y sin defectos. Su estilo mantiene cierto aire dulzn de las historias de santos. Contrariamente a la intencin de Valson, esa biografa ha dado lugar a que algunos no creyentes viesen un Cauchy fantico y testarudo. N.H. Abel llam a Cauchy loco, infinitamente catlico y fantico. Estas cosas pueden ser debidas a una forma de reaccionar contra el libro de Valson. Una historia que es dificilmente creible es contada por Bertrand en una referencia de Valson. Bertrand, quien admiraba profundamente el genio cientfico de Cauchy, cuenta que en 1849, cuando se incorpor a su ctedra de Mecnica celeste en la Sorbona:... su primera leccin decepcion profundamente a los asistentes sorprendidos desagradablemente por la variedad confusa de cosas expuestas. La tercera leccin, recuerdo, estaba casi enteramente dedicada a la extraccin de la raz cuadrada, donde el nmero 17 fue tomado como ejemplo, obteniendo la dcima cifra decimal mediante un mtodo conocido por los asistentes, pero nuevo para Cauchy que haba dado con l la noche anterior. Yo no volv, pero fue un error porque las siguientes lecciones me habran introducido en los ms brillantes descubrimientos de los diez aos anteriores del maestro. Esta historia es una reaccin vehemente a lo que afirm Valson sobre Cauchy diciendo que era un profesor que "nunca dejaba un tema hasta que lo exprima de tal modo que satisfaca los requerimientos de los espritus ms exigentes". De hecho la manera como sola trabajar Cauchy distaba bastante de lo descrito por Valson, como ya veremos. De acuerdo con Valson cuando Mme. Cauchy se junt con su marido en Praga, l se lamentaba de estar separado de sus padres, pero no mencion en ningn momento a sus hijas. En cambio, de acuerdo con Biot, su mujer y sus hijas vivieron con Cauchy en Praga, y Valson no menciona a sus hijas en casi ningn momento exceptuando sus nacimientos, y para indicar que se encontraban a su lado en el momento de su muerte. Tampoco menciona a su mujer en muchas ocasiones. Esto hace parecer que Cauchy fuese un hombre de escasas relaciones humanas aunque efectuase

numerosos trabajos de caridad. Bertrand tampoco habla de Cauchy como poseedor de grandes virtudes humanas, a pesar de que se ajusta ms a la realidad. Biot habla de que Cauchy defenda las posturas democrticas y se relacionaba con personas peculiares como Laurent, denominando la forma de actuar de Cauchy como "la de un nio". Pero est claro que todos ellos exigan demasiado a Cauchy, como si fuese un verdadero santo. Hans Freudenthal escribe as: La primera prueba de su extraa conducta es su exilio. Se puede entender su negativa al juramento, pero no es tan fcil de entender su exilio con un rey que adems era un depravado. Pudo ser una heroicidad, pero por el contrario no lo fue.Fue una hazaa donde un paladn leal sigui a un rey y todo el resto de Francia vic aquella etapa como una suave transicin de una crisis altamente peligrosa para el pas. Su comportamiento quijotesco da lugar a pensar que era una persona bastante melodramtica. Stendhal le juzg as ya en 1826 cuando relata una sesin en la Academia de Ciencias en los siguientes trminos: Despus de una conferencia de un naturalista Cauchy se levant y protest del aplauso diciendo: "Aunque todo lo expuesto fuese tan cierto como errneo pienso que es, no sera conveniente divulgarlo entre el pblico, esto no puede ms que perjudicar nuestra religin", lo que produjo grandes carcajadas entre el pblico y dej a Cauchy como algo que el mismo pretenda, como un mrtir despreciado. Probablemente Stendhal estaba equivocado y Biot conociese mejor la realidad y expres que Cauchy era como un nio. Entre sus escritos se pueden encontrar dos defendiendo a los jesutas que se basaban en que stos eran perseguidos por su virtud. No es fcil de entender la ingenuidad de estos artculos si no fuese Cauchy quien los escribi. Otra historia confirmada de Cauchy, extrada del diario del rey de Cerdea con fecha de 10 de enero de 1831, es que durante una audiencia Cauchy contest cinco veces iniciando su respuesta con "Ya me imaginaba que Su Majestad me preguntara esto y ya vengo preparado para responder". Entonces sac una memoria de su bolsillo y comenz a leer. H. Freudenthal aade: Su mana de leer memorias es confirmada por el General d'Hautpoul en sus escritos de Praga. Es curioso observar que los que acusan a Cauchy de comportarse como un nio, caen en puerilidades en sus juicios. As no ven la grandeza de Cauchy al fijarse en los defectos que tena como todo hombre. Como R. Tagore decimos: "El que de noche llora porque no ve el Sol, las lgrimas le impiden ver las estrellas". La altura matemtica de Cauchy es indiscutible. Y su altura moral es coherente por ser un hombre de principios que le llevaban a la prctica de una caridad moderna. Y esto naturalmente no es bien visto por los que detestan a la Iglesia, que desearan no ver ambas cosas reunidas en un hombre de la categora cientfica de Cauchy. Algunas veces a lo largo de sus publicaciones en la Academia, de pronto cambi de tema y sigui otro tema diferente del expuesto; el tema se aclaraba unas semanas o unos meses ms tarde. Era entonces cuando Cauchy enviaba a la Academia una informacin sobre un artculo de un

89 savant tranger, no miembro de la Academia, que le haba sido enviado para su examen. Entre tanto haba probado algn resultado que lo mejoraba generalizndolo o profundizndolo. Desde luego en su notificacin nunca olvidaba indicar sus investigaciones previas relacionadas con el artculo. Esto aparentemente parece denotar un comportamiento injusto y en otro caso lo sera pero no en el de Cauchy. Cauchy no diriga las matemticas, sino que stas lo dirigan a l. Si se encontraba con una idea, no perda tiempo en publicarla. Que apareciera en el semanario Comptes Rendus no era nada fcil y por esto fund en 1826 una revista privada llamada Exercises de mathmatiques. Sus doce nmeros anuales se llenaron con artculos de Cauchy de los temas ms diversos sin ningn orden ni concierto. Cinco volmenes de Exercises aparecieron antes de dejar Pars. Reanud las publicaciones en Turin, despus en Praga y otra vez en Pars. As aparecieron diez volmenes. Adems public en otras revistas y existen al menos dieciocho memorias suyas publicadas separadamente, fuera de cualquier coleccin o publicacin peridica, adems de numerosos libros de texto. Sus publicaciones eran tan numerosas que ni la Academia poda publicarlas. En las reuniones de la Academia del 14, 21 y 28 de agosto de 1848 present cinco trabajos y cinco memorias, y en las reuniones siguientes hasta el 18 de diciembre, diecinueve trabajos y diez memorias. Sobre el 1 de marzo de 1847 Lam present a la Academia una demostracin del ltimo teorema de Fermt. Liouville indic que se basaba en hiptesis no probadas en la aritmtica de cuerpos. Cauchy trat inmediatamente este problema, que haba considerado anteriormente. Durante varias semanas inform de seis intentos infructuosos en la resolucin del problema, entonces no resuelto. Alrededor del 24 de mayo Liouville ley una carta de Ernst Kummer que negaban las suposiciones de Lam, pero ni siquiera este incidente hizo callar a Cauchy y quince das ms tarde haba generalizado los resultados de Kummer. La historia de que la memoria de Abel se perdi por negligencia de Cauchy no se ha podido probar. Se supone cierta porque D.E. Smith descubri un trabajo de 1829 de Legendre y Cauchy sobre el trabajo de Abel. No es cierto que Cauchy no reconociese los mritos ajenos. Cuando lea un trabajo modestamente reconoca sus mritos aunque mejorase sus propios resultados. De todos los matemticos de la poca fue de los ms considerados por sus compaeros. Sus recensiones sobre sus propios descubrimientos eran muy ingenuas porque jams olvidaba agradecer lo que deba a otros. Si caa en un error peda disculpas de forma candida. La mayor parte de sus trabajos estn escritos apresuradamente, pero no de forma poco correcta. Era totalmente distinto de Gauss, quien public mucho menos de lo que era capaz y muchos de sus trabajos ni siquiera vieron la luz. Los trabajos de Cauchy tienen una frescura de la que carecen los de Gauss, que son maduros. Adems estimulaban nuevas investigaciones mucho ms que los de Gauss, y en temas ms diversos y amplios que los de ste. Sus publicaciones y mtodos hacan pensar a Gauss que Cauchy tena una inteligencia demoniaca que le haca conocer todos los secretos mejor

90 y ms profundamente que cualquier otro hombre. No hay tal misterio. Cauchy publicaba tan rpidamente que hasta en alguna ocasin repiti el mismo trabajo y hasta no recordaba si lo haba publicado anteriormente. Como ya hemos dicho, public siete libros y ms de 800 trabajos. Existen ms conceptos y teoremas llamados de Cauchy que de cualquier otro matemtico. Slo en elasticidad existen al menos dieciseis conceptos con su nombre. Todos ellos son simples y fundamentales. Cauchy los descubri de forma no muy simple y el modo con que los usaba o no usaba demuestra que no saba que eran fundamentales. En todo lo que Cauchy abord hay una inusual falta de profundidad. El fue uno de los ms grandes matemticos y seguramente el ms universal, adems de contribuir considerablemente a la fsica matemtica. Pero por el contrario fue aparentemente superficial y uno de los que ms han contribuido a la matemtica sin saberlo. Como todo tiene su fin, Cauchy muri el 23 de mayo de 1857. Cuando el mismo mes de mayo enferm se congregaron en torno a l representantes de la Iglesia. Los jesutas llegaron apresuradamente y el Cardenal de Pars le administr la extremauncin. Publicaciones Los trabajos de Cauchy aparecieron en las publicaciones de la Academia, en algunas revistas cientficas, en libros o en colecciones como los Exercises. Algunos de sus cursos fueron publicados por otros. De acuerdo con Valson existen dieciocho memorias sueltas. Un jesuta, llamado Padre Jullien, catalog sus trabajos supervisados por el propio Cauchy. El catlogo no se public. La lista de Valson se basa en este catlogo, pero no se saba si estaba completo, ni tampoco est claro que Valson viese las memorias sueltas e incluso se duda si existieron. Son muy pocas las que han sido reproducidas. Cauchy dej muchas ancdotas relacionadas con ellas, pero no se conocen su paradero. Lo que la Academia posee es muy poco. En 1882 la Academia comenz la edicin de las obras completas de Cauchy. Falta el volumen XV de la segunda serie. No se sabe si se public finalmente toda o si est incompleta. Parece ser que el volumen que falta pudiera estar reservado para las memorias sueltas, entre las que estn algunos de los trabajos ms importantes de Cauchy. Afortunadamente una de ellas se imprimi separadamente. La publicacin por la Academia de los trabajos de Cauchy no contiene ancdotas. Se ordenaron los trabajos de acuerdo con el lugar donde se publicaron. La primera serie contiene las publicaciones de la Academia, la segunda serie el resto. Esto hace de la publicacin un poco engorrosa. No hay comentarios ni referencias ni estn corregidas las erratas de imprenta. Algunos trabajos se imprimieron dos veces. En otros casos, sin embargo, estas repeticiones se eludieron. Estas crticas no quieren quitar el valor tremendo de la publicacin de la Academia.

91

COURS D'ANALYSE
DE

L'ECOLE ROYALE POLYTECHNIQUE ;

PAR M, AUGUSTIN-LOUIS C A U C I I Y ,
Inse'nieor des Ponts et Chausse'es, Professeur d'Analyse l'Ecole polytechnique, Membre de VAcadmie des sciences, Chevalier de la Legion d'honneur.

V" PARTIE.

ANALYSE

ALGBRIQUE.

DE

L'IMPRIMERIE

ROYALE.

Chez DEDUUE frres. Libraires du Roi et de la Bibliolhquc duRui^. rue Serpente, n.''' 7. 18-21.

92 Un importante trabajo bibliogrfico sobre Cauchy fue hecho por B. Boncompagni. Desde la biografa de Valson y los dos bosquejos de Biot y Bertrand no se ha hecho ninguna nueva investigacin biogrfica sobre Cauchy, exceptuando la de Terracini. El trabajo de Valson es bastante poco satisfactorio pues en muchos casos l no entenda las matemticas de Cauchy, por ejemplo la definicin de residuo la utilizaba de forma equivocada. Lamentablemente, nadie ha realizado ningn estudio global sobre Cauchy. Existen, sin embargo, algunas investigaciones histricas sobre reas concretas de las matemticas que dedican algn espacio a Cauchy. Casorati sobre funciones complejas, Verdet sobre ptica, Studnicka sobre determinantes, Todhunter sobre elasticidad, Brill y Noether sobre funciones complejas, Stckel y Jourdain sobre funciones complejas, Burkhard sobre varios tpicos, Miller sobre teora de grupos, Jourdain sobre clculo. Love sobre elasticidad. Lamb sobre hidrodinmica, Whittaker sobre ptica, Carrucio sobre funciones complejas. Courant y Hilbert sobre ecuaciones diferenciales, Truesdell y Toupin sobre elasticidad. [Vase 21]. Es difcil tener un conocimiento tan amplio de materias como lo tuvo Cauchy y por ello es difcil evaluar su obra exactamente como se merece. Clculo El clsico Cours d'analyse (1821) es uno de los libros de Cauchy de Clculo que impresionaron profundamente a sus contemporneos. N.H. Abel dijo de l: "Un trabajo excelente que debe ser ledo por todos los analistas que aman el rigor de las matemticas". En la introduccin el mismo Cauchy dice: "En cuanto a los mtodos he intentado utilizarlos con el mayor rigor posible que requiere la geometra y nunca teniendo en cuenta los argumentos tomados de la generalidad del lgebra". Cauchy no necesitaba ninguna metafsica del clculo. Rechazaba la generalidad del lgebra que asuma que lo que era vlido para nmeros reales lo era para los nmeros complejos, que lo que es cierto para las magnitudes finitas lo es para las infinitesimales, que lo que es cierto para las series convergentes lo es para las divergentes. Esto parece trivial hoy, pero fue una idea revolucionaria en su tiempo. Cauchy rehus hablar sobre la suma de series infinitas excepto en el caso que fueran convergentes y fue l quien defini por primera vez la convergencia ordinaria y absoluta de las series, y los lmites de sucesiones y funciones. El descubri y formul criterios de convergencia: el principio de Cauchy de Sm^n - Sn tendiendo a cero, el criterio de la raz usando el lmite superior de yan , el criterio del cociente sobre an+\/an , el criterio integral. Defini el lmite superior e inferior, fue el primero en demostrar la convergencia de ( 1 + \/n)^ y tambin el primero en utilizar el smbolo del lmite.

93

Cauchy estudi la convergencia de series para las operaciones de suma y producto, y reagrupamiento. Para evitar problemas defini con mucho cuidado la convergencia de las series dobles. No es raro en sus trabajos el clculo del radio de convergencia de las series de potencias. Mediante el famoso ejemplo de exp {-x ) advirti del peligro de usar las series de Taylor sin cuidado. Prob el teorema de Lagrange con su resto, primero por clculo integral y ms tarde mediante un teorema generalizado del valor medio. En la primera demostracin us la expresin integral del resto que est relacionada con su famosa frmula

J ...J findt=-^^

{t-xf-'f{x)dx.

El celebrado calcul des limites (1831-32) es un mtodo importante con series de potencias que aparece de la multiplicacin, inversin, sustitucin y en la resolucin de ecuaciones diferenciales, que de una manera estndar reduce las cuestiones de convergencia a las de las series geomtricas. Cauchy invent nuestra nocin de continuidad y prob que una funcin continua tiene un cero entre argumentos cuyos valores son de distinto signo, teorema tambin probado por Bolzano. Y tambin consider funciones multiformes. En contra de Lagrange una y otra vez daba importancia al lmite origen del cociente diferencial. Dio la primera definicin rigurosa de integral definida como lmite de sumas y defini las integrales impropias, el bien conocido concepto de valor principal de una integral con integrando sigular, y consider integrales de funciones infinitamente grandes sobre caminos infinitamente pequeos acercndose al concepto de - funcin. Cauchy hizo mucho uso de los factores discontinuos y de la transformacin de Fourier. Tambin invent lo que hoy llamamos jacobiano, aunque su definicin se limitaba a dos y tres dimensiones. Dio una demostracin del teorema fundamental del lgebra utilizando la tcnica del valor absoluto de una funcin analtica. Sus investigaciones (1813, publicadas en 1815) sobre el nmero de races reales slo fueron superadas por Sturm en 1829. En 1831 expres el nmero de races complejas de / ( z ) en un dominio mediante la frmula del residuo logartmico, haciendo notar que la misma expresin da el nmero de veces que R e / ( z ) / I m / ( z ) pasade-oo a oo a lo largo de una curva cerrada, en otras palabras, el nmero de vueltas que da la imagen de / alrededor de cero. Esto proporcion una nueva demostracin del teorema fundamental del lgebra, semejante a la de Gauss. En matemticas Cauchy nunca fue dogmtico. Aunque insista sobre el lmite origen del cociente diferencial, l nunca rechaz la formal aproximacin, que l llam simblica. En sentido amplio us la aproximacin formal a las ecuaciones diferenciales y en diferencias. La verdad es que Cauchy fue ms flexible que dogmtico pues en varias ocasiones trabaj en contra de sus propios criterios. Trabaj con series, transformadas de Fourier, integrales impropias y mltiples como si los principios de rigor que l mismo haba fundado no existiesen. Desde luego.

94 es bien conocido que l crea que la suma de una serie convergente de funciones continuas era continua. Abel dio un contraejemplo, y es claro que Cauchy conoca las dificultades que existan. Es menos conocido que Cauchy lleg a formular rigurosamente tal cuestin para la convergencia uniforme. Sin embargo, no se dio cuenta de la importancia que tena la convergencia uniforme. Prob que

lim(l+-r=i
n-^oo
n

0 ^ '

mediante un mtodo muy conocido pero no justificado de permutacin de lmites. Su demostracin de que lim (/(jc+l)-/(x)) = a implica lirnf ipc) /x= a es un modelo y el primer ejemplo donde aparece e . Es probablemente el comienzo de un mtodo que se ha reafirmado despus de Cauchy. Funciones complejas. Los descubrimientos ms importantes ligados al nombre de Cauchy en las matemticas puras y aplicadas son sin duda alguna sus teoremas fundamentales sobre funciones de variable compleja. Funciones complejas particulares haban sido estudiadas por Euler. En hidrodinmica D'Alembert haba estudiado lo que hoy se llaman ecuaciones de Cauchy-Riemann y lo haba hecho mediante funciones complejas. A comienzos del siglo XIX los .nmeros complejos no eran aceptados de forma unnime y las funciones multiformes, como la funcin logaritmo, producan grandes discusiones. La interpretacin geomtrica, aunque conocida por algunos, fue dada a conocer al gran pblico por Gauss en 1830. Es claro que era antes conocida por los matemticos que la interpretaban las funciones complejas como pares de funciones reales. La demostracin de Gauss del teorema fundamental del lgebra, aunque interpretado en el campo real, presupone algunos hechos de la teora de funciones complejas. Las ideas ms atrevidas fueron dadas por Euler y Laplace al trasladar caminos del campo real al complejo. La primera teora intelegible sobre los nmeros complejos se halla en el Cours d'analyse de 1821. En l se justifica las operaciones algebraicas y pasos al lmite con nmeros complejos, considerando valores absolutos, y se define la continuidad de las funciones complejas. Cauchy no dio clases sobre integracin compleja, aunque esta materia haba sido objeto de la mmoire presentada a la Academia Francesa en 1814 y publicada en 1825. En su introduccin se aclara que esa memoria se escribi para justificar los fructferos mtodos de Euler y Laplace. No obstante, an se senta Cauchy incmodo en el campo complejo. Interpretaba las funciones complejas como pares de funciones reales de dos variables con las

95 condiciones de Cauchy-Riemann. Esto es ms esquivar el mtodo complejo que abordarlo. Gracias a las objeciones crticas de Legendre, Cauchy restaur la visin compleja en notas a pie de pgina en sus publicaciones de 1825, aunque no lleg a admitir caminos de integracin complejos. El problema que Cauchy consideraba en su memoria es poco claro en la actualidad. El consideraba una funcin diferenciable f=u+iv de la variable compleja z = jc+ iy y usando las ecuaciones de Cauchy-Riemann formaba la integral doble

u. dxdy = Wvy dxdy

sobre el rectngulo xo< x< xi , yo< y < y\ . Realizando las integraciones obtuvo la igualdad fundamental (1 ) J
yo

(M (xi,y) - u(xo , y)) dy=}

=r

(v (x,yi) - v (.x,yo)) dx.

-^-O

Usando la otra ecuacin diferencial de Cauchy Riemann obtuvo la otra igualdad fundamental, que juntas dan (2) i]^^ if {x\, j ) - / (xo , y)) dy= J^^ (f ix,yi) - f (x,yo)) dx,

que es el teorema de la integral de Cauchy para un circuito rectangular si se coloca la i entre la (i y la j . Por supuesto se supone en esta demostracin la regularidad. Cauchy haba advertido que las frmulas anteriores podan caer en defecto si existe una singularidad en el rectngulo. Esta observacin fue hecha incluso al comienzo del teorema. Trat de calcular la diferencia entre los dos miembros de (2) pero una exposicin muy confusa le hizo decir que la aclarara en otro trabajo. Sea a + ib la singularidad (simple polar). Entonces las integrales (1) y (2) deben ser interpretadas por sus valores principales. Esto significa que el primer miembro de (1) es el lmite de la integral sobre los rectngulos {xo< x< xi ,yo< y < b-E } y {xo < x < Xi , b + E< y < yi} y la diferencia entre ambos miembros de (1) y (2) es el lmite de la integral sobre {XQ< X< X\ , b-E< y< b-^E } .En otras palabras, es

limj

ifix,b+E)-fix,b-E))dx,

donde xo y xi pueden ser sustituidos por otros valores a-S , a+8 ms prximos a a. Esta expresin es lo que llama Cauchy una integral singular. En el trabajo de 1814 permite que la singularidad caiga en el borde del rectngulo. Desde luego, si existe una singularidad a-^ib en el rectngulo, de acuerdo con el teorema del residuo la diferencia de los dos miembros de

96 (2) debe ser 271/-veces el coeficiente de (z- {a+ ib ))~ ' en la serie de Laurent dcf{z) . Esto todava no era conocido por Cauchy en su trabajo de 1814. El consider solamente singularidades polares simples, tomando/ (z) como una fraccin g (z) /h {z) y probando que la diferencia es igual a
(3) 27c/^(^+'^^

h \a-ib) '

En 1825 en sus notas a pie de pgina da la expresin (4) 271 / lime/((a+/& ) + E )

que ya haba aparecido en 1823. El resultado general ms importante es el clculo de J _^ / (z) dz (sobre el eje real) como la suma de las expresiones (3) del semiplano supeiior, las singularidades sobre el eje real son contadas como la mitad de estas sumas. Las condiciones en las que piensa que se puede pasar del rectngulo como camino de integracin al eje real no las formula claramente. Parece que requiere que f(z) se anule en el infinito lo cual es obviamente demasiado. En cualquier caso aplica el resultado a funciones con una infinidad de polos, y este requerimiento no es coherente. En 1826 dio condiciones ms sofisticadas pero an excesivamente exigentes, y adems al final del trabajo vuelve a las condiciones antiguas. En 1827 descubri "buenas condiciones": zf (z) es acotada sobre una apropiada sucesin de crculos con centros fijos y radios tendiendo a infinito. Incluso en la forma publicada en 1814, el teorema de la integral de Cauchy era ya un instrumento muy potente, y por este mtodo se podan calcular gran nmero de integrales definidas. El mtodo por integrales dobles parece un poco extrao, pero en aqul tiempo debi de parecer natural, de hecho Gauss us el mismo tipo de integrales para tratar singularidades en su tercera demostracin del teorema fundamental del lgebra (1816). La integracin propiamente compleja no aparece en la memoria de 1814, e incluso las reflexiones de Poisson en 1823 son rechazadas por Cauchy. Pero como fueron un aguijn, l y no Poisson sigui adelante con la idea. En una memoria suelta de 1825 hizo una gran avance hacia lo que es el teorema de la integral de Cauchy. Defini integrales sobre caminos arbitrarios en el campo complejo, y a travs de las ecuaciones de Cauchy-Riemann dedujo mediante el clculo variacional el resultado de que en un dominio de regularidad de f(z) la integral slo depende de los extremos del camino. Curiosamente no introdujo caminos cerrados. Ms tarde, permiti que el camino atravesara una singularidad simple polar a,

97 en cuyo caso se deba interpretar mediante su valor principal. Desde luego, entonces la variacin sera distinta de cero e igual a lim / (fl+ ) ni. e->0 En el caso de una singularidad mltiple polar a, las integrales sobre los caminos a ambos lados de a difieren en 1 ,. '"-^-'" lim ^-^ (m-1) !e->o Je ~
2K I

una frmula dada en 1823 por lo menos. (Hacemos notar que en ese momento Cauchy desconoca los desarrollos en serie de potencias de las funciones analticas). Lo anterior lleva al teorema del residuo para polos, y fue extendido a singularidades generales aisladas por L.A. Laurent en 1843. Es un hecho histrico que permitiendo singularidades simples sobre el camino de integracin, Cauchy usaba su teorema del residuo como un instrumento mucho ms potente que la presentada generalmente en los libros de texto actuales con su formulacin restringida. La importante memoria de 1825 ni se us ni se mencion hasta 1851, una circunstancia muy extraa y difcil de explicar. Es que Cauchy no crea en el mtodo variacional para la demostracin? Estaba preocupado por la condicin (innecesaria) que haba impuesto a los caminos, limitndose a un rectngulo dado? Es que Cauchy no se haba dado cuenta de que poda haber formulado su teorema para caminos cerrados que tanto necesitaba? En cualquier caso durante veinticinco aos se limit a caminos rectangulares y coronas circulares, basndose ms en la anticuada memoria de 1814 que en la de 1825. El crculo como camino de integracin y la frmula de la integral de Cauchy para este caso particular ya haba sido usada de alguna forma en 1822 y 1823, e incluso en 1819. La bien conocida expresin integral para la ensima derivada tambin aparece, pero desde luego en la forma
. 271

/^"^{0)=Jo

ire^'r"fire'')de,

ya que los caminos de integracin compleja eran eludidos. En 1840 (incluso antes hacia 1831) tal expresin se poda considerar como un promedio sobre el crculo unidad, y calculada como lmite de promedios sobre los polgonos regulares. Aplicaciones indirectas de la definicin de Cauchy de la integral se usaron frecuentemente en los aos siguientes. En los Exercices de 1826-27 muchos de sus trabajos fueron dedicados al clculo de residuos. El residuo def(z) en a se define de la forma habitual para las singularidades polares,

98 y el residuo en un cierto dominio, como la suma de los residuos en los diferentes puntos del dominio. Demostr gran nmero de teoremas sobre residuos sin recurrir a la expresin de la integral, y parece que frecuentemente Cauchy se olvidaba de la frmula. Por medio de los residuos Cauchy lleg a desarrollar f(z) en fracciones simples en la forma

en el caso que dicha funcin tenga polos simples. Originalmente la condicin en el infinito para la que se supona vlida era mucho ms exigente. Y seguramente no lo era cuando Cauchy para condiciones ms amplias lo aplic al desarrollo en fracciones simples. Es extrao que en este caso Cauchy no llegara a la "condicin buena", y es ms extrao an que en 1843 requiriera la continuidad en el infinito que es una condicin muy fuerte. Desde el desarrollo en fracciones simples de funciones meromorfas hay slo un paso a la representacin del producto de funciones enteras y esto lo us Cauchy en 1829-30. En casos particulares, Cauchy tuvo en cuenta el factor exponencial, necesario en el producto de factores lineales. El problema general, sin embargo, no se resolvi hasta Weierstrass. Polos y ceros en este tipo de investigaciones solan ser simples. Cauchy estudi el caso de que fueran mltiples, pero sin gran xito. Cauchy us los residuos para muchas cuestiones. Expres el nmero de ceros de una funcin en un dominio mediante el residuo logartmico y de forma ms general para la suma sobre los ceros Zi de f(z) as X 9 ( z, ) = suma de los residuos de \/; .
J KZ)

que tuvo muchas aplicaciones. Era muy consciente de la importancia que desempeaba la ordenacin de tales sumas infinitas. En 1827 Cauchy obtuvo la frmula de inversin de Fourier en este contexto. En 1827 Cauchy desarroll un mtodo para comprobar la convergencia de una especial serie de potencias para funciones implcitas, la llamada serie de Lagrange de la mecnica celeste. Es el mtodo que en el caso general llega al desarrollo en serie de potencias: una funcin en el campo complejo con derivada continua puede desarrollarse en una serie de potencias convergente en un crculo tal que su frontera contiene el punto singular ms prximo al centro de l, z = 0. Esto lo demostr en las memorias sueltas de Turin de 1831-32. Un resumen de estos trabajos fue publicado en 1837 como notas en Comptes rendus y el trabajo mismo y una parte esencial de l en 1840-41. Aqu Cauchy deduce de una forma insuperable su frmula de la integral por medio de

99

J/(0-/fe)^^,o.
a partir de su teorema de la integral, pero formulada para caminos circulares, aunque tambin se aplica a circuitos cualesquiera. El desarrollo del integrando de 2ni ' t;-z^ ^^^^

en potencias de z, en un entorno de O, permite obtener el desarrollo en serie de potencias de / (z). Cauchy tambin halla una expresin integral del resto y las desigualdades \an\ < max f {z)\ /r"" \z\ =r

para los coeficientes, que se convertira en la piedra angular del potente clculo de lmites. Todo lo anterior resume la tremenda produccin de Cauchy en slo este rea de trabajo. Todo es inspirador pero de alguna manera decepcionante. Parece que Cauchy no tena una visin general clara de su trabajo. Las demostraciones son innecesariamente complicadas y trabajos antiguos son mejorados por otros ms modernos, y repetidamente mencionados y usados. Muchas veces parece que tuviese una venda en sus ojos; por ejemplo, no se dio cuenta de que como consecuencia de sus resultados se deduce que una funcin regular acotada en todo el plano debe ser una constante hasta que Liouville descubri este resultado para el caso de las funciones doblemente peridicas, por esta razn se le llama impropiamente teorema de Liouville. Entonces, en vez de u'^>ar el teorema de los coeficientes de las series de potencias, utiliz desarrollos en fracciones simples que no es el mtodo apropiado por la condicin exigida en el oo . Cauchy tampoco descubri el teorema de Laurent ni el teorema para una funcin con un conjunto de acumulacin (no vaco) de ceros sobre un dominio regular, que l conoca slo de forma burda. Lo ms decepcionante de todo es que no supo ver la importancia trascendental que tiene su memoria de 1825. Se limit simplemente a caminos de integracin rectangulares y circulares y a un caso particular de su frmula integral. A los grandes hombres se les exige mucho, y Cauchy no deba ser una excepcin. Esto explica muchas de las crticas a Cauchy. Una sucesin de notas de Comptes rendus de 1846 marca un notable progreso. Cauchy introduce por fin la integracin sobre caminos cerrados cualesquiera, aunque no como una consecuencia inmediata de su memoria de 1825.

100 Un paso ms importante fue su estudio y conocimiento de las funciones analticas multiformes. La historia de este conocimiento es paradigmtico de lo que ocurre frecuentemente en las matemticas: una nocin intuitiva que es fructfera pero que no encaja en los requerimientos matemticos de rigor se usa primero de una forma ingenua y no crtica; en la siguiente fase se ignora u olvida, y los resultados a los que daba lugar se obtienen si es necesario mediante molestos rodeos; finalmente, es reinterpretada para salvar tanto la concepcin como el rigor matemtico. Cauchy lleg a la fase crtica con las funciones multiformes. Desde 1821 trat las funciones multiformes con remedios drsticos: si estaba ramificada en el origen la admita en el semiplano superior nada ms. Afortunadamente, a menudo se olvidaba de su fuerte requerimiento con el que si hubiese seguido hubiera tenido serios problemas como le ocurri en 1844; de forma extraa escribi un trabajo totalmente confuso cuando ya haba tomado el camino para alejarse de tan fuerte condicin. En efecto, mediante un corte en el plano por el eje positivo de abcisas defini el dominio de las funciones ramificadas en el origen; us incluso caminos de integracin en l formados por I zl = r en el sentido positivo, r< z < /? en el sentido positivo, I zl = /? en el sentido negativo, r< z < R en el sentido negativo, de forma que los dos trozos rectilneos daban lugar a una funcin salto. Tales caminos s 3 haban obtenido anteriormente de una forma natural por una aplicacin de caminos rectangulares. El progreso que Cauchy consigui en 1846 consisti en restaurar el concepto intuitivo de funcin multiforme. Tales funciones pudieron entonces ser estudiadas a lo largo de caminos de integracin arbitrarios, que se pueden considerar cerrados slo si ambas, la variable y la funcin, vuelven a los valores con que comenzaron (desde luego esto no es totalmente correcto). La integracin sobre tales caminos cerrados da lugar a los "ndices de periodicidad" que ya no son debidas a los residuos. Esto es una resurreccin de la antigua idea de funcin multiforme con todas sus dificultades. En 1851, el ao de la celebrada tesis de Riemann, despus de las investigaciones de Puiseux sobre ramificaciones, que tambin dependen de los trabajos de Cauchy, ste lleg a algunos refinamientos. Mediante lneas uniendo singularidades y, como en su trabajo de 1844, propuso calcular los ndices de periodicidad por medio de las funciones de salto a lo largo de tales cortes. Esto es demasiado tosco y le llev a cometer errores sobre el nmero de periodos linealmente independientes. La reinterpretacin correcta de las funciones multiformes es por medio de las superficies de Riemann. En cualquier caso el progreso realizado por Cauchy en 1846 fue trascendental. Sus trabajos sobre funciones elpticas e hiperelpticas arrojaron luz sobre el conocimiento de todas las funciones. A pesar de las investigaciones de Riemann esto pareca suficiente para aquel tiempo. As, Briot y Boucquet, cuando prepararon la segunda edicin de su obra clsica, no vieron ninguna ventaja en usar las superficies de Riemann y todava presentaron la teora de Cauchy en la forma antigua.

101 La obra de Cauchy sobre funciones complejas es muy extensa. El poda haber escrito un libro sobre este tema pero nunca lo hizo. Los primeros que hicieron esta labor fueron Briot y Boucquet. Pero hay que tener en cuenta que hasta las superficies de Riemann, con la nica excepcin del teorema de Laurent y del teorema de acumulacin de ceros, todo lo dems fundamental fue obra de Cauchy. Tambin realiz un trabajo no tan fundamental como la generalizacin del teorema de Abel, investigando "factoriales geomtricos". Teora de errores Cauchy realiz tres trabajos sobre la teora de errores, que present lgicamente relacionados, aunque para entenderlos hay que estudiarlos por separado. El primero parece realizado en 1814, aunque no se public hasta 1824 y 1831. Laplace haba tratado de ajustar un conjunto de n datos de observacin (x/, y i ) por una relacin lineal y = ax+b . Antes de Laplace se proceda desplazando la media

(YiXi/n , Y^yi/n )
al origen para homogeneizar el problema, y despus estimar a por X 5/ y i / X S Xi, donde , = JC, /i x, i . Laplace propuso la aleccin dt a y b que hiciese mnimo el mximo error I y i - axi - b \ o de forma alternativa que hiciese mnima la suma de los errores absolutos. Para hacer esto Laplace desarroll un bello mtodo que es el primer modelo de programacin lineal. Cauchy, siguiendo una sugerencia de Laplace, extendi su mtodo ajustando ternas de observaciones (x, ,yi, Z/ ) a la relacin z = ax+ by-\- c . Donde Laplace haba razonado por anlisis puro, Cauchy present una demostracin en el marco de la geometra, lo que demuestra su aficin a ella. En aquel tiempo Cauchy consider el problema de Laplace, ajustando por mnimos cuadrados, lo cual se haba abandonado. Pero, en 1837, intent defender el mtodo pre-Laplaciano. Postul el error mximo (entre los I y, - aXi I ) a ser "mnimo bajo las peores condiciones". No est claro lo que esto significaba, aunque es un principio tan vago que es suficiente para justificar los mtodos ms antiguos. De hecho Cauchy trabajaba en un problema diferente: ajustar sistemas de datos observados a polinomios (algebraicos, trigonomtricos o de otro tipo) u = ax+ by-\- cz + ... donde el nmero de trminos deba depender de la bondad de ajustados a la que se llega en el curso del clculo. Lo que Cauchy realiza no es ms que

102 una eliminacin sistemtica de a,b,c, ... En 1853, cuando Cauchy volvi a prestar atencin a este mtodo fue atacado por Bienaym. Cauchy entonces hizo un extrao quiebro. Lo que parece un argumento a favor de su segundo mtodo es un tercer intento no relacionado con los dos primeros. Cauchy supona que los errores
8 , = Ui-

aXi-

by i -

cu-

...

tena una frecuencia de probabilidad /. Los coeficientes ki mediante los que se elimina a de E;/e/=0, se deben elegir para maximizar la probabilidad de XA:, 8, en un intervalo dado (- p , p). Este es un postulado poco aceptable, puesto que generalmente los ki resultantes dependen de la eleccin de p . El remedio dado por Cauchy es postular que / debe de estar tan bien adaptada que ki no depende de p . Esta es una hiptesis muy extraa, puesto que / no depende del observador sino de la naturaleza; pero s se obtiene un resultado bonito: las nicas / que satisfacen estos requerimientos son aquellas que tienen una transformada de Fourier (p tal que 9(0=exp(a^^)

donde a y N son constantes. Para N=l stas son las clebres estocsticas de Cauchy con la frecuencia de probabilidad

Su comportamiento paradgico fue notado por Bienaym al no mejorar con la media, y lo utiliz como argumento contra Cauchy. Cauchy prob tambin el teorema central del lmite por medio de la transformacin de Fourier en condiciones ms generales que las de Laplace. Algebra Cauchy public en 1812 el primer tratado accesible sobre determinantes; que contiene: el teorema del producto, simultneamente descubierto por J. Binet; la inversa de una matriz y los teoremas sobre determinantes formados por subdeterminantes. Conoca los jacobianos de dimensin 3 y, en 1829, simultneamente con Jacobi public la transformacin ortogonal de una forma cuadrtica sobre los ejes principales, aunque esto lo debi de descubrir mucho antes en sus trabajos sobre elasticidad. Por su tratado el concepto de determinante se hizo famoso y es raro que l utilizara despus el nombre de resultante.

103 Cauchy dio la primera teora sistemtica de nmeros complejos. Ms tarde identific la interpretacin geomtrica con la algebraica mediante los polinomios en x mdulo jc + 1. Uno de los primeros trabajos de Cauchy generaliza un teorema de Ruffini. El prueba que si mediante las permutaciones de sus n variables un polinomio toma ms de dos valores, entonces l toma al menos p valores, donde p es el mayor primo en n; en otras palabras, no hay subgrupos del grupo simtrico de n permutaciones con un ndice / tal que 2< i < p . Berrtrand reemplaz p por el mismo n para n > 4, aunque para probarlo tuvo que utilizar un teorema de la teora de nmeros (postulado de Bertrand) probado ms tarde por P.L. Chebyschev. Cauchy prob posteriormente el resultado de Bertrand sin esta suposicin. Su mtodo dio origen al clculo de sustituciones, el mtodo de grupos de permutaciones. Conceptos de la teora de grupos, tales como el orden de un elemento, la nocin de subgrupo y la conjugacin son la base de estos trabajos. Tambin es fundamental el teorema de Cauchy para grupos finitos: Para cualquier primo p que divida al orden hay un elemento de orden p. Este teorema fue notablemente mejorado por Sylow. En 1812 Cauchy abord el teorema de Fermt sobre nmeros poligonales, estableciendo que todo nmero entero positivo es suma de n nmeros n-gonales. En aquel tiempo se conocan demostraciones para n = 3,4. Cauchy lo prob de forma general con la novedad de que todos excepto cuatro de los sumandos pueden ser tomados iguales a O 1. La demostracin de Cauchy se basa en una investigacin de las soluciones simultneas de
J^

J^ i

"~~

'

Jba^

i ""'

Cauchy contribuy a muchas partes de la teora de nmeros e intent demostrar el ltimo teorema de Fermt. Geometra Su contribucin ms importante es su demostracin de que, salvo congruencias, un poliedro convexo est determinado por sus caras. Su geometra diferencial elemental de 1826-27 influy de forma importante en varias partes de las matemticas. Desde luego su teora de elasticidad contiene mucha geometra diferencial de aplicaciones y de campos vectoriales y tensoriales, y las nociones de gradiente, divergencia, rotacional y su invarianza ortogonal. Ecuaciones diferenciales Lo que es fundamentalmente nuevo en las investigaciones de Cauchy sobre ecuaciones diferenciales se puede expresar en dos ideas:

104 1) Que la existencia de las soluciones no es propiamente evidente, sino que ha de ser probada incluso en el caso que no puedan expresarse en forma algortmica. 2) Que la unicidad se debe lograr mediante las condiciones iniciales (o de contorno) y no por la accidental constante de integracin. As surge el famoso problema de Cauchy en ecuaciones en derivadas parciales, que se le debi de ocurrir en sus primeras investigaciones sobre ondas en lquidos (1815). La dificultad de este problema explica que no se hubiera planteado antes. Para resolver las ecuaciones diferenciales ordinarias, Cauchy utiliz el mtodo de aproximacin de Cauchy-Lipschitz, aunque su demostracin no se public hasta 1840. El celebrado clculo de lmites con datos analticos dio paso a las soluciones analticas de las ecuaciones diferenciales ordinarias. Cauchy descubri en 1819 simultneamente con J.F. Pfaff el mtodo de las caractersticas para las ecuaciones en derivadas parciales de primer orden. Su mtodo era mejor y ms simple que el de Pfaff, pero pareca artificial. El lenguaje geomtrico con el que hoy se explica se debe a Lie. Por supuesto Cauchy aplic tambin el clculo de lmites a las ecuaciones en derivadas parciales. Pero no est claro qu clase de ecuaciones tena Cauchy en mente. En 1875 Sonja Kowalewska formul y resolvi el problema mediante un teorema de existencia que usualmente aparece con el nombre de Cauchy-Kowalewska. Otro mtodo para resolver un sistema
dxi 7 = Xi {X\ , ... , Xn )

fue por medio de exp t Z con

Z= E x , ( x ) ^
' o Xi

y por una anloga expresin si X, depende de t. La convergencia de tales series se obtiene tambin por el clculo de lmites. La parte ms importante de las investigaciones de Cauchy en ecuaciones diferenciales est relacionada con las ecuaciones en derivadas parciales con coeficientes constantes que l encontr en hidrodinmica, elasticidad y ptica. La herramienta ms sobresaliente en su investigacin fue la transformacin de Fourier. La utiliz por primera vez en 1815 en su trabajo sobre ondas en lquidos, y en 1817-18. El descubrimiento de Fourier aunque data de 1807 y 1811 fue publicado en 1824-26 y, por tanto, la reclamacin de Cauchy sobre la paternidad de la frmula de la inversin es muy razonable. Pero es de sealar que reconoci la prioridad de Fourier llamndola con el nombre de ste. Cauchy utiliz la transformacin de Fourier con ms habilidad an que ste e incluso que Poisson, y fue el primero en formular el teorema de inversin

105 La transformacin de Fourier no ha vuelto a ser utilizada hasta hace muy poco cuando se fundamentaron las integrales de Fourier con todo rigor, pero haba pasado tanto tiempo desde los trabajos pioneros de Cauchy que ya se haban olvidado. Desde 1821 Cauchy consider ecuaciones en derivadas parciales de la forma siguiente F(^,...,^,^)w=0 axi axn ot donde F es un polinomio en las n+1 variables u\,...,Un,s ecuaciones tienen la solucin exponencial
exp (
ZJ

(5)

. Tales

Ui Xi + st )

para todo sistema de w, ,s que cumpla (6) F (ui ,...,Un, s)= 0.

El mtodo de la transformacin de Fourier permite obtener la solucin general mediante la superposicin de tales soluciones exponenciales con ui ,..., Un ,s imaginarios. Para las ecuaciones de ondas esto significa soluciones de ondas por la superposicin de ondas planas armnicas. En los trabajos de 1821 y 1823 un mtodo de interpolacin sirvi para satisfacer las condiciones iniciales para t = O, Otra posibilidad es mediante soluciones procedentes de perturbaciones locales (ondas esfricas para especiales condiciones) que dan lugar a soluciones generales por superposicin. Esta idea est presente en los trabajos sobre ondas de 1815, y est dejada a un lado pero no ausente en 1821 y 1823. En 1826 introduce el clculo de residuos como una nueva herramienta para resolver las ecuaciones diferenciales ordinarias con coeficientes constantes. La solucin general de F ( d/dt ) w = O se expresa por la integral

2ni

^^n ' F(0

^t

alrededor de las races de F, con un polinomio arbitrario < I > ( ) . Varias veces Cauchy evita distinciones casusticas respecto a las races mltiples deF. En 1830, cuando Cauchy se interes por la ptica, esta frmula se aplic a ecuaciones en derivadas parciales, que significaba que (5) y (6) eran resueltas de forma elegante y explcita respecto de 5 y , mientras que el mtodo de la transformacin de Fourier lo haca respecto de J C i ,..., x^ .

106 alrededor de las races de F, con un polinomio arbitrario 4> ( ) . Varias veces Cauchy evita distinciones casusticas respecto a las races mltiples deF. En 1830, cuando Cauchy se interes por la ptica, esta frmula se aplic a ecuaciones en derivadas parciales, que significaba que (5) y (6) eran resueltas de forma elegante y explcita respecto dt sy t, mientras que el mtodo de la transformacin de Fourier lo haca respecto de Xi ,..., j C n. La frmula que se obtiene en coordenadas polares no est resuelta y su demostracin no es accesible porque la memoria de la cual el trabajo de 1830 es un resumen parece que no fue nunca publicado o se perdi. La construccin de frentes de ondas se haca por argumentos intuitivos, basados en el principio de Huygens, aunque l mismo no demostr ni dijo nada. De acuerdo con este mismo principio Cauchy construy soluciones de rayos como una superposicin de perturbaciones en planos superpuestos que podan inclinarse ligeramente unos sobre otros, como Cauchy deca. Desde junio de 1830 a marzo de 1842 hizo varios trabajos en ptica en ecuaciones en derivadas parciales con coeficientes constantes. Este trabajo fue sugerido por la intervencin de P.H. Blanchet. Comienza con un sistema lineal de ecuaciones diferenciales ordinarias, en notacin moderna

(7)

f=^..

donde x es un n-vector y A es una aplicacin lineal. Se considera S (s) = det (A - s) y se define la funcin principal 9 como la solucin de S(-^)e=0, at Q^'\0)= o para i< n- 2 ,
e("-i)(0)= 1 ,

que se obtiene como una integral 2ni ' S (s)

alrededor de las races de S. A partir de 0 la solucin de (7) con el valor inicial (ai ,..., a) se obtiene elegantemente mediante el uso de Q (s) = det (A- s).(Ay aplicando Q (d/dt) al vector s)- ^ ,

107

(-ir'(a,e,...,ae).
Este mtodo se extiende a ecuaciones en derivadas parciales resolviendo (5) para las condiciones iniciales ( j - Yw = O para 0< i< n- 2 ,

La frmula obtenida es mucho ms simple que la de 1830, particularmente si F es homognea. Si adems el valor inicial de (d/dt) "" w es una funcin H de = T obtiene suponiendo primeramente H lineal y usando despus la homogeneidad de F,

('')= (|)'""2#^'''+"'^donde {d/dt )"^ es la integral de O a y {d/dt )"''= {{d/dt T^f. Una frmula anloga se obtiene si los datos iniciales vienen dados por una funcin cuadrtica de x como, por ejemplo, r = ( XJC / ) . El mtodo directo de 1830 se aplica tambin al estudio de perturbaciones locales y frentes de ondas, con el principio de Huygens como base. Cauchy aparentemente consideraba que las perturbaciones de anchura infinitesimal permanecan infinitesimales, aunque esto se demostr falso posteriormente. Slo con la intervencin de Blanchet admiti Cauchy su error. Es dudoso que estas investigaciones de Cauchy tuvieran una influencia inmediata. Mecnica Cauchy alcanz prestigio por contribuciones a la mecnica de los cuerpos rgidos tales como el elipsoide de inercia y sus ejes principales, las superficies de los ejes de inercia de un movimiento rgido, descubiertos simultneamente por Poinsot, y la primera prueba rigurosa de que un movimiento infinitesimal es un movimiento helicoidal. En 1822 Cauchy anunciaba el nacimiento de la moderna teora de la elasticidad as: "Las presentes investigaciones han sido sugeridas por un trabajo de M. Navier del 14 de agosto de 1820. Para establecer la ecuacin del equilibrio de un plano elstico, el autor haba considerado dos clases de fuerzas, las primeras producidas por dilatacin o contraccin, las otras por flexin del

108 plano. Adems, en sus investigaciones l supona ambas perpendiculares a las lneas o caras sobre las que actan. Vino a mi mente que ambas clases podan reducirse a una, que llamaremos tensin o presin, de la misma naturaleza que la presin hidrodinmica ejercida por un fluido sobre la superficie de un slido. La nueva presin no tendra por qu ser perpendicular a las caras ni tener la misma direccin en cada punto ... Adems, la presin o tensin ejercida sobre un plano arbitrario se descompone en magnitud y direccin en las ejercidas sobre tres planos perpendiculares. Yo adopt este punto de vista cuando Fresnel me habl de l en torno a su trabajo sobre la luz, el cual ha sido presentado parcialmente a la Academia, y me dijo que haba obtenido un teorema anlogo al mo ..." Raramente una teora matemtica ha sido explicada en tan pocas palabras y sin utilizacin de smbolos. Desde la ley de Hook en 1660 hasta 1821, la teora de la elasticidad era bsicamente unidimensional. La teora de Euler de la membrana vibrante fue una de las pocas excepciones. Incluso la teora unidimensional de la elasticidad fue una maravillosa base para el anlisis de Euler de las derivadas parciales y de las ecuaciones en derivadas parciales. El trabajo de Navier (1821) sobre equilibrio y vibracin de slidos elsticos fue ledo en la Acaciemia y publicado en 1827. La investigacin de Navier fue la base de la mecnica analtica aplicada a un medio molecular isotrpico que cumple la ley de Hook en dimensiones moleculares: cualquier cambio en la distancia entre dos molculas causa una fuerza proporcional entre ellas, el factor de proporcionalidad decrece rpidamente con el crecimiento de la distancia. Cauchy conoci este trabajo de Navier. Pero no fue ste el trabajo que aluda en la anterior cita. La primera investigacin de Cauchy fue independiente de la de Navier: no fue molecular sino geomtrica. Otro progreso tuvo lugar en 1821. Thomas Young hizo investigaciones sobre interferencias en 1801 que clarificaban que la luz deba ser de carcter ondulatorio en un fluido gaseoso hipottico: el ter. Consecuentemente las ondas fueron pensadas como longitudinales, como el sonido en el aire, aunque el fenmeno de la polarizacin apuntaba a vibraciones transversales. En 1821 Fresnel dio el gran paso de imaginar el ter con resistencia a la distorsin, como un slido en un fluido; y maravillosamente encontr la transmisin por ondas transversales. Esto anim a Cauchy a seguir sus investigaciones. La corta comunicacin antes citada fue seguida por detallados tratados en 1827-29, pero todas las fundamentales nociones de la mecnica de medios continuos fueron clarificados en una nota de 1822: el tensor de esfuerzos (y el concepto de tensor en general), el tensor de torsin, la simetra de ambos tensores, sus ejes principales, el principio de equilibrio y la idea feliz de requerir la ley de Hooke para los principales esfuerzos y torsiones. Para los medios homogneos esto llevaba a las ecuaciones de Navier con una constante elstica, pero independientemente de la subestructura molecular (de Navier). Pronto Cauchy introdujo la segunda constante elstica que surgi de una relacin independiente entre el

109 volumen de esfuerzo y el volumen de torsin. Esto condujo a la aceptada teora de elasticidad en medios istropos. Para medios anistropos Cauchy fue inducido por la idea de Poisson a admitir una dependencia lineal general entre esfuerzos y torsiones que tena treinta y seis parmetros. La nica nocin fundamental que faltaba fue el potencial elstico que permite reducir el nmero de parmetros a treinta y uno, que fue debido a Green (1837). Mientras tanto, Cauchy en 1828-29 sigui las ideas moleculares de Navier y lleg a una teora de cincuenta parmetros para medios anistropos. Las discusiones del siglo XIX estaban en favor de la axiomtica de "multiconstantes" y en contra de la teora molecular de "rari-constanrtes", si no en contra de toda teora molecular de elasticidad. Cauchy aplic la teora general varios problemas concretos: a las lminas, a las vigas rectangulares (definitivamente resuelto por Saint Venant) y a las placas planas (en las cuales Kichhoff finalmente tuvo xito). La aplicacin que estudi Cauchy con ms empeo fue la teora elstica de la luz. El instrumento matemtico de esta teora era la teora de ecuaciones en derivadas parciales con coeficientes constantes. En l tora fsica fue uno de los ms grandes intentos pre-Maxwelianos necesarios antes de que los fsicos se convencieran de la imposibilidad d cualquier teora elstica de la luz. Cauchy desarroll tres teoras diferentes de refraccin y reflexin. Los problemas para explicar la doble refraccin (en los cuales tuvo bastante xito), para ajustar las constantes elsticas a los datos observados sobre la velocidad de la luz bajo diferentes condiciones con el fin de obtener el seno de Fresnel y las leyes tangenciales de polarizacin para convenientes condiciones de frontera y para eliminar las vibraciones longitudinales extraas. Cuando supuso las vibraciones transversales paralelas u ortogonales al plano de polarizacin (y esto lo hizo en la primera y segunda teora, respectivamente), obtuvo extraas relaciones entre las constantes elsticas y se vio obligado a admitir improbables e inmotivadas condiciones de frontera. Su tercera teora, aparentemente influenciada por Green, se bas en una curiosa hiptesis de un ter con compresibilidad negativa posteriormente llamado lbil por Lord Kelvin - lo cual suprima las ondas longitudinales. En 1835 Cauchy se ocup tambin de la dispersin. El problema era explicar la dependencia de la velocidad de la luz segn la longitud de onda mediante una ms refinada valoracin de la estructura molecular. Mecnica celeste Quien no comprenda los mtodos computacionales de los astrnomos antes de la llegada de los aparatos electrnicos puede dificilmente evaluar las numerosas y amplias contribuciones de Cauchy a la mecnica celeste. En los libros de astronoma es frecuentemente citado por sus contribuciones. En efecto, debe destacarse que las series que los astrnomos usan fueron estudiadas por Cauchy, probando su

lio convergencia. Tambin debe recordarse su contribucin a la solucin de la ecuacin de Kepler y a los desarrollos de la funcin pertubatriz. La ms conocida contribucin de Cauchy a la astronoma (1845) es la comprobacin de la complicada computacin de Leverrier de la gran desigualdad en el movimiento medio del asteroide Palas por un mtodo ms simple. Para ello estudi la transicin de la anomala excntrica a la anomala media. El "mtodo mixto" de Cauchy consisti en combinar integraciones racionales y numricas y estimaciones asintticas en trminos distantes en el desarrollo de la funcin pertubatriz segn los mltiplos de la anomala media. Tales mtodos asintticos haban interesado a Cauchy tempranamente en 1827.

Bibliografa
1. BELHOSTE, B.: Le cours d'analyse de Cauchy l'Ecole Polytechnique en seconde anne, Sciences et Tecniques en Perspective, 9, 1984-1985, pp. 101-178. 2. 3. 4. 5. 6. BELHOSTE, B.: Cauchy, un mathmaticien Lgitimiste au XIXe sicle. Paris. 1985. BELHOSTE, B.: Augustin-Louis Cauchy, A Biography. Springer.Verlag New York, 1991. CALLOT, J.P.: Histoire de l'Ecole Polytechnique, les Presses Modernes, 1958. CAUCHY, A.L.: Oeuvres compltes, 1st, 12 vol, 2nd ser., 14 vol, Paris, 1882CAUCHY, A.L.: Expos Sommaire d'une Mthode pour Dterminer a Priori le Nombre des Racines Relles Positives et le Nombre de Racines Relles Negatives d'un Degr Quelconque, Paris, 1813. CAUCHY, A.L.: Cours d'Analyse de l'Ecole Royale Polytechnique, 1re Partie, Analyse Algbrique, Paris, 1821. CAUCHY, A.L.: Rsum des Leons Donns l'Ecole Royale Polytecnique sur le Calcul Infinitsimal. 1st vol, Paris, 1823. CAUCHY, A.L.: Mmoire sur les Integrales Dfinies Prises entre les limites Imaginaires, Paris, 1825. 10. 11. CAUCHY, A.L.: Exercises de Mathmatiques, Paris, 5 vol 1826-1830 CAUCHY, A.L.: Leons sur les Applications du Calcul Infinitsimal la Gomtrie, Paris, 2 vol., 1826-1828. 12. 13. CAUCHY. A.L.: Leons sur le Calcul Diffrentiel, Paris, 1829. CAUCHY, A.L.: Mmoire sur l'Application du Calcul des Rsidus la Solution des Problmes de Physique Mathmatique, Paris, 14. 15. 16. 1827. 1830. 1830.

7.

8.

9.

CAUCHY, A.L.: Mmoire sur la thorie de la Lumire, Paris,

CAUCHY, A.L.: Mmoire sur la Dispersion de la Lumire, Paris, CAUCHY, A.L.: Rsums Analytiques, Turin, 1833.

Ill

17. 18.

CAUCHY, A.L.: Nouveaux Exercices des Mathmatiques, Prague, 1836. CAUCHY, A.L.: Mmoire sur un mthode Genrale pour la Determination des Racines Relles des Equations Algbriques ou mme Trascendantes, Paris, 1837.

19. 20 21

CAUCHY, A.L.: Recueil de Mmoires sur la Physique Mathmatique, Paris, 1839. CAUCHY, A.L.: Exercices d'Analyse et de Phisique Mathmatique, Paris, 1841-1853. FREUDENTHAL, H.: Cauchy, Augustin-Louis, Dictionary of Scientific Biography, 3, New York: Charles Scribners's Sons, 1971, pp. 131-148.

22 23.

GRABINER, J.V.: The Origins of Cauchy's Rigorous Analysis, Cambridge: MIT Press., 1981. VALSON, C.C: La Vie et les Travaux du Baron Cauchy, 2 vol, Paris, Gautiers-Villars, 1868.