Universidad de Granada Facultad de Ciencias Seminario de Historia de las Matemticas Licenciatura en Matemticas

Una pequea novela histrica sobre

Series de Taylor y Series de Fourier

o dilogos de dos estudiantes en Gotinga

Curso acadmico 2004-2005

scar Cortadellas Izquierdo

Series de Taylor y Series de Fourier

ndice

ndice
1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Llegada a Gotinga. La vida de Taylor . . . . . . . . . . . . . . . . . . . . . . 4

3 La rplica. La vida de Fourier y su trabajo . . . . . . . . . . . . . . . . 7

4 La vuelta de las vacaciones. La deduccin de Taylor . . . . . 12

5 Aplicaciones, analogas y diferencias . . . . . . . . . . . . . . . . . . . . . . 16

6 La Universidad Europea de las Ciencias . . . . . . . . . . . . . . . . . . 19

7 Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

Series de Taylor y Series de Fourier

Introduccin

Introduccin
Este trabajo ha sido escrito en forma de novela. Ya que estamos en una asignatura de Historia de las Matemticas, se trata de una historia sobre Historia de las Matemticas. La temtica del trabajo son las series de Taylor y de Fourier, as que he introducido dos personajes de manera que cada uno represente uno de los dos temas. Aprovechando la conyuntura de que Taylor era ingls y Fourier francs, los personajes son un estudiante ingls y uno francs, que por causas del destino cruzan sus vidas en Gotinga, ciudad mtica en la Historia de las Matemticas. El estudiante ingls es Luke, y como todo buen ingls es una persona educada, correcta, elegante y ordenada. Es tmido, no suele ponerse nervioso y procura tener todas las cosas controladas. Se supone que procede de una buena familia y quiere aprovechar su estancia en Gotinga para aprender todo lo que le sea posible. Pierre, el francs, es ms jovial y expresivo. Es dicharachero, comunicativo, irnico, ms distrado que Luke, suele gastar bromas y siente un gran apego por su patria, a la que deende a capa y espada. l sabe que es un estudiante inteligente y que puede hacer carrera dentro de las Matemticas, y ve su estancia en Gotinga tambin como una ocasin para crecer como persona. La historia no discurre en ninguna fecha concreta, pero se supone que ser entre nales del siglo XX o principios de XXI. Las referencias histricas que hacen los personajes, las demostraciones que exponen y las biografas que explican son completamente ciertas, si bien cualquier parecido de las vidas de los protagonistas con la realidad es pura coincidencia.

Series de Taylor y Series de Fourier

Llegada a Gotinga. La vida de Taylor

Llegada a Gotinga. La vida de Taylor

No resultaba fcil la vida en la universidad de Gotinga. La gente camina muy pensativa, siempre llevan libros bajo el brazo y no se detienen demasiado a conversar con las personas con las que se tropiezan. Debe ser el peso de la historia. Gauss an se percibe fuertemente en el ambiente. Hay algo que te obliga a esforzarte, un espritu de superacin que no te permite ser uno ms de los estudiantes. Si has llegado hasta aqu es porque tienes que destacar. Este es el caso de Luke y Pierre. Ambos son estudiantes de un importante programa europeo de matemticas. Luke procede de Inglaterra y es estudiante de Cambridge. En su tercer ao en la universidad y con una capacidad para las matemticas fuera de la media, sus profesores le invitaron a presentarse para el programa, ya que era una oportunidad que no poda dejar pasar. Pierre es francs, procede de la Escuela Normal Superior y tambin estaba en su tercer ao de carrera cuando gan el concurso que le otorgaba plaza para el programa . Ambos se conocen. Son compaeros en la residencia de estudiantes que han habilitado para los alumnos del programa. Se guardan un gran repesto, pero no tienen mucha relacin entre ellos. Como ya hemos dicho, la vida en Gotinga tiende a la soledad y al pensamiento. Pierre impresion gratamente a Luke cuando en el segundo da de clase sali a la pizarra y demostr que para la ecuacin del calor y bajo las condiciones habituales, la solucin dada por Fourier era nica. Luke no tard en demostrar su vala, y en la cuarta sesin de la clase de anlisis, en el tema de clculo de variaciones, demostr la ecuacin de Lagrange en Rn . Pero, como en casi todas las convivencias, no tard la discordia en aparecer entre ellos. Fue a la conclusin de una conferencia. El tema a tratar fue el desarrollo del clculo durante los siglos XVIII y XIX. A la salida de la misma, Pierre se encontraba en un corro hablando con otros compaeros del programa, y no paraba de comentar la importancia de las series de Fourier y de la matemtica francesa durante esos siglos, con cierto aire de superioridad y ngida elegancia. Aunque Luke era una persona ms bien reservada, no pudo evitar escuchar los comentarios de Pierre, y acercndose le coment: - Eso no es del todo cierto. No puedes estar hablando sobre la historia del clculo y obviar el gran papel de los matemticos ingleses, empezando por Newton y pasando, por ejemplo, por Taylor. Mentira si no dijese que en ese momento se cre un molesto silencio, mientras los alumnos se miraban unos a otros preguntndose el porqu de esa reaccin. Viendo esta situacin, Luke, sonrojado, opt por retirarse y volver a la residencia. 4

Series de Taylor y Series de Fourier

Llegada a Gotinga. La vida de Taylor

Pierre continu unos minutos ms charlando con sus compaeros, pero no estaba tranquilo.Tena que buscar a Luke y hablar con l. Cuando lleg a la residencia, busc el cuarto de Luke y le dio unos toques en la puerta: - Puedo pasar? - Adelante. - Siento si alguno de mis comentarios de antes te han ofendido. No eran en serio, no tena intencin de parecer grosero. - No tiene importancia, tampoco ha sido para tanto. Adems, creo que he perdido un poco los nervios. - De todas maneras, me gustara que me comentaras algo sobre Taylor, le coment Pierre para tratar de compensar su actuacin de antes. No creo que sea malo que aprenda algo nuevo. Luke no saba que hacer. No es que no supiera que contestar, ya que le gustaba mucho la historia de la matemtica y conoca muy bien el desarrollo histrico del clculo, sino que la pregunta le haba tomado completamente por sorpresa. Al cabo de un rato acert a decir: - Qu sabes sobre Taylor? - Pues que era ingls... y el teorema de Taylor, naturalmente. - !Qu desastre! Hay que ver lo mal que trata la historia a algunas personas. Taylor es mucho ms que el Teorema que lleva su nombre. Se trata de uno de los grandes del inicio del anlisis. Aparte tambin trabaj en soluciones particulares de ecuaciones en derivadas parciales, la frmula del cambio de variable, las relaciones entre la derivada de una funcin y la derivada de su inversa, el problema de la cuerda vibrante y tiene un tratado sobre perspectiva lineal que marc un hito en su poca por la perfeccin y rectitud de sus deniciones. Vers, como bien dices, Taylor era Ingls. Su nombre era Brook Taylor, y naci en 1685 en Edmonton, viniendo a morir en Londres, en 1731. No fue una vida muy larga ni fcil, ya que su madurez estuvo cargada de desgracias, pero suciente para dejar un legado para la historia. Su trabajo fue tan importante que Lagrage, en 1772 coment que el Teorema de Taylor era el principio bsico del clculo diferencial. Naci en una familia de bien, lo que permiti estudiar y en 1709 se licenci en Cambridge. Su primer gran trabajo lo escribi en 1708, pero no pudo ser publicado hasta 1715, cuando ya era miembro de la Royal Society... - Ah te gustara acabar a t, no?, dijo Pierre viendo el aire de aristcrata que haba puesto Luke al empezar su relato. - Tampoco aspiro a tanto. Bueno, la obra de la que estaba hablando es el Methodus incrementorum directa e inversa, donde aparece su famoso teo5

Series de Taylor y Series de Fourier

Llegada a Gotinga. La vida de Taylor

rema. Tambin en 1715 public Linear Perspective, la obra sobre perspectiva que ya te haba comentado antes. Durante 1712 y 1724, public otros trece artculos sobre experimentos con capilares, magnetismo y termmetros. sta es la poca de mayor produccin de Taylor, ya que a partir de aqu empezaron sus desgracias. - Ya me imagino que no tiene que ver con las matemticas, pero qu le pas exactamente? - Pues en 1721 rompe relaciones con su padre, debido a que decide casarse con una mujer de menor posicin social. Al cabo de dos aos, sta fallece durante el parto, y el hijo que esperaban tambin. Consigue recuperarse a duras penas, y a los dos aos, en 1725, encuentra el amor con su segunda esposa, Sabetta Sawbridge. A los cuatro aos muere su padre, y solo un ao despus Sabetta muere, nuevamente durante el parto, aunque en este caso la hija que esperaban sobrevive. Es normal que su vida quedara destrozada. Los dos se miraron, con una mirada de quien conoce los hechos pero que no puede cambiarlos. - Gracias por la historia. Me ha servido para saber un poco ms sobre Taylor. A lo mejor tambin existen matemticos ingleses que merezcan la pena, dijo Pierre mientras se daba la vuelta y sala del cuarto, esbozando media sonrisa. Camino a su habitacin, pensaba sobre lo que le haba contado Luke. l s conoca la historia de las matemticas, pero no conoca mucho sobre la historia de los matemticos. Decidi ponerse al da, para al poco tiempo poder hablar con Luke sobre historia. No le cost mucho tiempo decidir que se centrara en la gura de Fourier, ya que adems de francs (claro), conoca sus resultados de anlisis y le parecan bastante interesantes.

Series de Taylor y Series de Fourier

La rplica. La vida de Fourier y su trabajo

La rplica. La vida de Fourier y su trabajo

El ro Leine estaba congelado. Era invierno y las condiciones en Gotinga ya no eran tan apacibles. No resultaba agradable dar paseos, y la gran mayora del tiempo libre procuraban pasarlo en la residencia. Al menos all tenan calefaccin, aunque funcionara de manera bastante aleatoria. Era ya mediados de diciembre, y todos en la residencia estaban ms o menos pendientes de la llegada de las vacaciones para volver a casa. Pero no todos. Pierre andaba bastante ocupado ponindose al da sobre la vida de Fourier y su legado matemtico. Por n, a los pocos das se present en el cuarto de Luke: - Hola, Luke. Tienes fro?, dijo con sorpresa cuando vio a Luke envuelto en mantas sentado frente a la mesa llena de papeles. - Eres muy observador, le respondi con sorna. Dime, qu necesitas? - Vengo a darte lo que es tuyo. - Es qu me has cogido algo y no me he dado cuenta? - No es eso. Te acuerdas que hace dos meses me contaste la vida de Taylor? Pues ahora me toca a m comentarte la vida de algn matemtico. La verdad es que Luke estaba bastante aburrido. Llevaba tres horas delante de un ejercicio, y estaba tan cargado que empezaba a dudar que tuviera solucin. Un poco de descanso no le vendra mal. - Cuntame, a quin voy a tener el honor de conocer?, dijo haciendo una reverencia. - A Jean Baptiste Joseph Fourier. Luke recordaba haber ledo algo sobre la vida de Fourier, pero en este momento no era capaz de poner su mente en orden y aclarar las ideas. - Como te iba contando, dijo Pierre antes de hacer un carraspeo para aclarar su garganta, Fourier naci en 1768 en Auxerre, y muri el 16 de Mayo de 1830, en Pars. Es por lo tanto, posterior a Taylor, quiz una o dos generaciones matemticas posteriores a l. Se trata de uno de los matemticos aplicados, ms preocupado por la aplicacin prctica de las matemticas que en la claridad y trasparencia de las demostraciones. Su infancia no fue tan cndida, ya que tena catorce hermanos y qued hurfano cuando tena diez aos. Gracias al obispo de Auxerre, consigi entrar en el Colegio Militar de Auxerre, donde empez a interesarse por las matemticas. En 1787 sinti la llamada e inici su camino al sacerdocio. Pero su inters por las matemticas era ms fuerte y decidi dejar el seminario. Al volver a Auxerre fue nombrado profesor de matemticas en el colegio de los Benedictos, y en 1794, cuando fue creada la Escuela Normal, fue

Series de Taylor y Series de Fourier

La rplica. La vida de Fourier y su trabajo

nombrado profesor como premio a sus trabajos en Auxerre. Tras la Normal, Fourier fue destinado a la Politcnica. Fourier preparaba ingenieros y matemticos en la Politcnica cuando Napolen, en 1798, decidi que formara parte de la Legin de la Cultura para civilizar Egipto. Permaneci en Egipto forzadamente, y cuando los franceses reconocieron que deban ser los britnicos y no ellos los que regeneraran a los egipcios, el devoto pero desilusionado Fourier volvi a Francia. En este momento de la conversacin Pierre se detuvo a ver si Luke quera comentar algo sobre la persona de Napolen, su campaa sobre Egipto y el papel de los ingleses en la campaa, pero viendo que Luke no hablaba, continu: - A su vuelta de Egipto, Fourier fue nombrado, prefecto del Departamento de Isre. Estando en Grenoble, Fourier compuso su obra inmortal, la Theoria analytique de la chaleur. Ofreca tantas perspectivas que la Academia alent a Fourier para que la continuase, acordando que la teora matemtica del calor fuese propuesta para el Gran Premio en 1812. Fourier gan el premio, aunque su trabajo no fue bien digerido por la Academia por su falta de rigor. - Algo parecido ocurri con los trabajos de Taylor, dijo Luke. Muchos matemticos se quejan de la falta de formalismo de sus trabajos, pero hay que decir en su defensa que muchos de los conceptos que ahora conocemos no existan y ni siquiera tenan denido lo que era una funcin. - Ya, tenemos que ser un poco condescendientes con ellos. Pero volviendo al tema, un detalle de la personalidad de Fourier es el siguiente: l no digiri muy bien las crticas a su trabajo, y menos an que, aunque le concedieron el premio del concurso, no publicaran su trabajo. Lo guard celosamente, y cuando en 1822 fue elegido secretario de la seccin de matemticas de Academia de las Ciencias, aprovech su posicin para publicar su trabajo, del cual no cambi ni una coma. - Todo un personaje. - Pues s. Al n y al cabo, era francs, no? - Gracias por la conversacin. Ha sido muy interesante conocer todos esos detalles. - No estars intentando echarme, verdad? Lo digo porque an no he acabado. - Qu te queda entonces?, inquiri Luke. - Me gustara comentarte cmo nacieron las series de Fourier. Tienes por ah un folio? Creo que lo voy a necesitar. Y Pierre adopt la mejor de sus poses de profesor. Tomando el papel y el lpiz comenz diciendo: 8

Series de Taylor y Series de Fourier

La rplica. La vida de Fourier y su trabajo

- Como ya te dije antes, el concurso que gan Fourier trataba sobre proporcionar una teora matemtica de las leyes de la propagacin del calor. Cuando Fourier entreg su trabajo el jurado emiti el siguiente informe, dijo sacndose una cuartilla del bolsillo: Este trabajo contiene las ecuaciones diferenciales correctas que gobiernan la transmisin del calor, tanto en el interior de los cuerpos como en su supercie, y la novedad del tema junto con su importancia, ha motivado la concesin del premio... Sin embargo, la forma como el autor obtiene sus ecuaciones ... y el anlisis de su solucin deja algo que desear tanto en lo concerniente a la generalidad (de la solucin) como al rigor. - Las ecuaciones que obtuvo Fourier fueron las siguientes, y tomando uno de los folios escribi: k 2u u = 2 x t ; k( 2u 2u u + 2 )= x y t

segn sea una barra o un recinto plano. A la resolucin de cada uno de estos casos dedic Fourier una serie de artculos que culminaron con su Theoria analytique de la chaleur. Para llegar hasta la formulacin de las soluciones de sus ecuaciones, Fourier utiliza su mtodo favorito de separacin de variables. - El mismo que ya haban empleado por DAlembert y Bernouilli con anterioridad, verdad? - Efectivamente. Tomando u(x, y) = v(x)w(y) , demuestra que uk (x, y) = e(2k1)x cos(2k 1)y, con k perteneciente a los naturales. Ya que l tampoco tuvo un gran rigor en sus explicaciones, espero que t tampoco me tengas en cuenta que obvie los detalles engorrosos, trat de disculparse Pierre. Luke asinti con la cabeza, sin apenas levantar la vista de los folios donde Pierre trazaba las ecuaciones y las igualdades con un trazo bastante irregular. - Fourier trata entonces de buscar una solucin como superposicin de las anteriores, es decir, de la forma

u(x, y) =
n=0

an un (x, y),

para ciertos coecientes an . Sin embargo, el mismo Fourier observa que hay detalles que se le escapa, y llega a comentar en alguno de sus artculos:

Series de Taylor y Series de Fourier

La rplica. La vida de Fourier y su trabajo

Como estos resultados parecen desviarse de las consecuencias ordinarias del clculo, es necesario examinarlos con cuidado e interpretarlos en su verdadero sentido. Por otro lado, como cualquier funcin arbitraria f podra expresar la temperatura en el segmento < y < , resulta que por la existencia de 2 2 solucin del problema fsico, toda funcin arbitraria en un intervalo puede desarrollarse en serie de senos y cosenos, suponiendo por comodidad que el intervalo es el [, ]. Esto es:

f (x) =

(an cos(nx) + bn sen(nx))

n=0

Nos queda ahora acometer el clculo de los coecientes an y bn . Para ello, el mtodo ms sencillo y directo est basado en las relaciones de ortogonalidad de las funciones trigonomtricas:

sen(nx)cos(mx)dx = 0 sen(nx)sen(mx)dx = cos(nx)cos(mx)dx = 0 cos2 (nx)dx = sen2 (nx)dx = (n = 0)

(n = m)

Multiplicando ambos miembros de f (x) sucesivemente por sen(nx) y cos(mx) e integrando entre y ambas expresiones, si admitimos la validez de la integracin trmino a trmino de la serie, resulta, con relativamente poco esfuerzo, que 1 an = f (x)cos(nx)dx y que 1 f (x)sen(nx)dx. bn = De esta manera, queda totalmente denida la serie de Fourier de f . - Es muy interesante, pero como tu mismo has dicho, bastante poco rigurosa. - Ya, pero no deja de ser cierta, y se puede rigorizar con las tcnicas actuales sin mucho esfuerzo, como ya hicieron Dirichlet, Weierstrass y algn matemtico ms. - Bueno, tampoco te pongas as, no estaba criticando tu trabajo. En realidad, me parece una buena exposicin. Considera saldada tu cuenta sobre historia conmigo, brome Luke. Tras unos quince minutos hablando sobre qu haran durante las vacaciones, Pierre abandon el cuarto de Luke para irse al suyo. Luke mir los 10

Series de Taylor y Series de Fourier

La rplica. La vida de Fourier y su trabajo

folios escritos con la deduccin de Fourier y pens que las cuentas no estaban realmente saldadas. Pierre se haba esforzado en comentar la vida y el desarrollo histrico de las series de Fourier, y l no lo haba hecho. Se propuso que en vacaciones tratara de encontrar los trabajos de Taylor para poder explicrselos a Pierre a la vuelta. Cuando se puso a ordenar la mesa y recoger todos los folios, encontr el ejercicio en el que estaba trabajando. Se j bien en el enunciado. Quiz usando un cambio trigonomtrico y las relaciones de ortogonalidad podra resolverlo.

11

Series de Taylor y Series de Fourier La vuelta de las vacaciones. La deduccin de Taylor

La vuelta de las vacaciones La deduccin de Taylor

Al incio del nuevo ao poco o nada haba cambiado en Gotinga. El clima segua siendo invernal, la facultad segua pareciendo un gigante de piedra, y las personas parecan seguir perdidas en sus mundos interiores. Las vacaciones le haban venido bien a Luke. Se encontraba ms despejado, haba tenido la ocasin de ver a los suyos y de tomar buena comida casera. Y haba encontrado el tiempo y las ganas sucientes para estudiar los trabajos de Taylor. No dej pasar ni un da. Tras asistir por la maana los dos a clase, se fueron juntos a la residencia para comer. La comida no era mala, hoy tenan Knoedel, que venan a ser una especie de albndigas de patata, y eran una de las especialidades de la cocinera. Luke no quiso precipitarse, y dej pasar la comida tranquilamente mientras hablanban de lo que haban hecho durante las vacaciones. Fue despus de la comida, durante la sobremesa, cuando encontr el momento adecuado para darle la "sorpresa". La sobremesa solan realizar en el saln comn de la residencia. Haba butacas y mesas, una televisin y siempre haba peridicos de casi todos los pases. As podan estar ms o menos al da de lo que pasaba en cada uno de sus lugares de procedencia. Al llegar a la mesa donde siempre se ponan ellos, Luke sac folios y su pluma. - Hoy va a ser disitinto, coment. Te voy a explicar una cosa curiosa que he hecho estas vacaciones, dijo Luke. - Sorprndeme, dijo con cierto aire de cansancio Pierre, que haba llegado la noche anterior de Pars y llevaba ya cinco horas de clase encima. - Me toca ahora a m contarte cmo lleg Taylor a su famosa frmula. Pierre saba que tena que ver con las diferencias nitas, pero no saba exactamente de qu forma lo haba hecho Taylor. Pierre, de naturaleza curioso, pareci desperezarse y se puso rme sobre el asiento, dispuesto a escuchar la leccin que Luke estaba a punto de comenzar. - Taylor, como buen ingls (l tambin saba defender a los que eran de su patria), era una persona recta y disciplinada. Se haba formado bajo la alargada sombra de Newton, que haca unas pocas dcadas haba iniciado el clculo diferencial, y cuando lleg a su madurez matemtica era una eminencia en ese campo. Su frmula la public en su libro Methodus incrementorum directa e inversa, y la us para resolver uno de los problemas de Kepler. Como entenders, los trabajos que public Taylor seguan la notacin de Newton de puntos, superndices y subndices, pero yo te la voy a explicar de 12

Series de Taylor y Series de Fourier La vuelta de las vacaciones. La deduccin de Taylor

la manera actual. Lo primero que hizo Taylor fue tomar un funcin f y una cantidad r positiva y ja. Con estos datos deni..., y tomando el papel escribi: f (x) = f (x + r) f (x), la diferencia nita de f de primer orden. De igual manera escribe 2 f (x) = (f (x)) = f (x + 2r) 2f (x) + f (x) para la diferencia nita de segundo orden y as sucesivamente. Si ahora x pasa a valer x + nr, entonces f (x) pasa a valer f (x + nr). De esta manera podemos escribir n n(n 1) 2 n(n 1) 1 n f (x + nr) = f (x) + f (x) + f (x) + + f (x). 1 2! n! - Un momento. Esto no me queda nada claro, dijo con cara contrariada Pierre. - Espera un instante, le calm Luke. Ahora pensaba demostrarte que esa frmula es correcta. Suponte que tenemos la siguiente tabla, dijo mientras dibujaba una cuadrcula en el folio:
f (x) f (x) + f (x) f (x) + 2f (x) + 2 f (x) f (x) + 3f (x) + 32 f (x) + 3 f (x) f (x) f (x) + 2 f (x) f (x) + 22 f (x) + 3 f (x) 2 f (x) 2 f (x) + 3 f (x) 3 f (x)

tal que para pasar de una columna a la siguiente se aplica y para pasar de una la a la siguiente se suma cada elemento de la la anterior con el que est situado a su derecha en la misma la. De aqu podemos comprobar que el primer elemento de la segunda la es f (x + r), y as con todos los elementos de la segunda la hasta llegar a la la n + 1, que es f (x + nr). Si nos jamos, los coecientes de los trminos f (x), f (x), 2 f (x), ... , se forman de la misma manera que los coecientes del desarrollo de Newton del binomio (a + b), (a + b)2 , (a + b)3 , ... , y por tanto, usando las frmulas de Newton tenemos que estos coecientes son 1, n n(n 1) n(n 1)(n 2) , , ,.... 1! 2! 3!

Luke par aqu un momento para descansar la voz y permitir que Pierre siguiera el razonamiento. Tras unos instantes, sigui con la explicacin: - Ahora viene la parte ms complicada de la deduccin. No es que sea difcil de entender, ya que de hecho es muy intuitiva, pero es que, como en 13

Series de Taylor y Series de Fourier La vuelta de las vacaciones. La deduccin de Taylor

el caso de Fourier, no acomete los pasos con mucho rigor. Tampoco es que fuera culpa suya, como ya comentamos antes de las vacaciones, es que las bases del anlisis an no haban sido jadas. La idea de Taylor era tomar lmites cuando n , y r 0 pero no actuando directamente sobre la frmula que vimos antes de f (x + nr). l dice que puede tomar un h nmero positivo tal que h = nr. Despejando r, podemos comprobar que r tiende a cero cuando n tiende a innito y recprocamente. Escribamos la frmula de f (x + nr) de la siguiente forma
f (x+nr) = f (x)+ nr f (x) n(n 1)r2 2 f (x) n(n 1) 1 rn n f (x) + + + , 2 1 r 2! r n! rn

y ahora, haciendo tender r a cero, n tender a innito y obtendremos la frmula de Taylor, que es f (x + h) = f (x) + hf (x) + h2 f (x) + 2!

La cara de satisfaccin de Luke lo deca todo. Saba que lo haba explicado bien. Haba ido paso a paso, explicando cada idea, cada detalle. La prueba de que lo haba hecho bien era la postura de concentracin de tena Pierre sobre mirando los folios, queddose con la simpleza de la idea y de lo fcil que lo haba hecho Luke. - Muy bien, dijo por n. Estoy impresionado. Veo que Taylor tena las cosas claras. Sobre todo el concepto de paso al lmite que realiza para la conclusin de la deduccin. - se es el paso clave. En esa poca todava no estaba rigorizado ese concepto, pero ya Taylor rondaba la idea. Aunque su trabajo no es del todo correcto, fue MacLaurin quien ms tarde le dara forma a la demostracin con todo lujo de detalles. - Por eso el desarrollo de Taylor en cero se llama de MacLaurin, no?, pregunt Pierre. - Efectivamente, debido a las contribuciones que hizo a la teora de Taylor. - Me encantara quedarme para que pudiramos seguir hablando un rato sobre series de Taylor y Fourier, dijo Pierre, pero tengo clase dentro de media hora. Curso de lgebras de Lie. Es una clase que me encanta, dijo insistindo en la palabra encanta, con una gran mueca en la cara. Quedamos un da de estos para seguir charlando, vale?, le grit Pierre mientras se alejaba del saln. Luke se qued pensando una rato sentado en su silla. Intentaba discurrir cmo se le pudo ocurrir a Taylor la deduccin de su frmula. Qu motivos le 14

Series de Taylor y Series de Fourier La vuelta de las vacaciones. La deduccin de Taylor

impulsaron a dedicarse a esa rama nueva de las matemticas. Por qu usar diferencias nitas y relacionar los coecientes con la expresin del binomio de Newton. Cuando ms absorto estaba, una voz le hizo regresar del limbo. - Se me olvidaban los folios, dijo Pierre recogiendo de la mesa las hojas con la deduccin de la frmula de Taylor. Me gustara echarle un vistazo luego con ms calma. Hasta luego!

15

Series de Taylor y Series de Fourier

Aplicaciones, analogas y diferencias

Aplicaciones, analogas y diferencias

Tan slo pasaron dos das cuando Luke se encontr una nota en el suelo de su habitacin. En ella, la letra curva y desgastada de Pierre rezaba: psate esta tarde por mi habitacin y hablamos un poco sobre nuestros temas. He encontrado una multitud de situaciones donde son tiles las series de Fourier. Pasadas las seis de la tarde, Luke se encontraba en la puerta de Pierre. Golpe con los nudillos en la puerta y abri. El cuarto de Pierre estaba como siempre, ordenado localmente. Un montn de libros en un lado, ropa en el otro, una cantidad enorme de papeles garabateados encima de la mesa, Pierre sobre la mesa escribiendo afanosamente sobre un folio con una diminuta bombilla justo al lado de su cabeza ... , y la bandera de Francia bien grande sobre toda la pared del fondo. Hay cosas que Luke pensaba que nunca cambiaran. - Hola, mi joven amigo, salud Pierre. - Buenas, champin, le espole Luke. Aqu estoy de nuevo para que sigamos "departiendo". Qu tienes ahora que contarme? - Vers, he estado consultado algunos libros y he encontrado muchos campos donde las series de Fourier tienen una importancia relevante. Por ejemplo, cualquier proceso ondulatorio puede ser modelado mediante una serie de Fourier, en acstica, en estudios de rayos X, en cardiologa, en confeccin de imgenes digitales... Y, por supuesto y como ya sabemos, en la resolucin de ecuaciones en derivadas parciales. Un detalle curioso de aplicacin de las series de Fourier lo tenemos en la compresin de archivos en formato JPG. Sabemos que un archivo en JPG ocupa mucho menos que un archivo, por ejemplo, BMP. Pero sabes por que?, le inquiri Pierre. - Pues la verdad, no tengo ni idea, se sincer Luke. - Vers, a grandes rasgos, esta es la idea. Cada imagen se subdivide en imgenes ms pequeas, y cada una se codica segn el color usando series de Fourier, y esos datos son introducidos en una matriz. Lo que se hace al pasar a formato JPG es que algunos datos de la matriz se pierden, consiguindose ahorrar espacio en la memoria del ordenador, pero con el handicap de que al abrir el chero faltan algunos datos, con lo que al reconstruir la imagen, la aproximacin no es tan exacta. - Tiene sentido, dijo Luke, mirando hacia el techo con la mano puesta en la barbilla. Yo tambin me he estado informando sobre aplicaciones de las series de Taylor. Por ejemplo, se utilizan para calcular lmites indeterminados, en problemas de mximos y mnimos, en procedimientos de aproximacin de funciones... Tambin se usa para calcular la exponencial de una matriz, por ejemplo, y es pieza bsica en cualquier rama del clculo numrico. 16

Series de Taylor y Series de Fourier

Aplicaciones, analogas y diferencias

- En el fondo no son tan diferentes, interrumpi Pierre. Se trata de dos representaciones en serie de una funcin. - Ambas son series innitas, y sus coecientes se pueden calcular mediante frmulas conocidas, le sigui Luke. - S, pero no todo son similitudes. En primer lugar, la serie de Taylor es un serie de potencias, y la serie de Fourier es trigonomtrica, por lo que los criterios de convergencia son diferentes para cada uno. - Y la gran diferencia entre ambas es que la serie de Taylor, en los puntos donde representa la funcin de la que proviene, es una funcin analtica, de modo que toda ella est determina por su comportamiento en cualquier pequeo intervalo; mientras que la serie de Fourier, cuya procedencia es mucho ms general, tiene carcter local. - Es verdad. Tambin se diferencian en que, como has dicho, las series de Fourier permiten un mayor grado de generalidad en cuanto a las funciones a las que se puedan aplicar, ya que aunque existan puntos donde no exista la derivada de la funcin e incluso donde la funcin no sea continua, an podr la funcin admitir un desarrollo en serie de Fourier. - Eso tambin, pero no por ello pierden importancia las series de Taylor, dijo Luke tratando de defender a su paisano. - En absoluto he intentado decir eso, se disculp Pierre, son slo las diferencias que existen entre ellas. Ambas tienen su importancia, y aunque las de Fourier sean ms generales, no pongo en duda la importancia y la utilidad de las series de Taylor en la historia de las matemticas. A n de cuentas, quin no conoce la frmula de las series de Taylor? Incluso hay resultados que las conectan a ambas. Por ejemplo, el otro da vimos en clase que dos series de Fourier son conjugadas si representan las parte real y la parte imaginaria de la misma serie de Taylor. No es maravilloso? Luke se qued absorto. De repente le entr una especie de vrtigo. Abri la boca y dijo: la verdad es que nos queda mucho por aprender, no es as? Y Pierre asinti con la cabeza. Lentamente, sin decir nada. Siguieron hablando hasta bien entrada la madrugada, pero ya no slo de matemticas. Hablaron sobre ellos, sobre el futuro, sobre qu haran cuando terminase el programa y tuvieran que volver a sus pases. Era evidente que ambos tenan intencin de seguir haciendo camino por el mundo de las matemticas, pero no era able hacer cualquier tipo de aseveramiento acerca de lo que podra pasar. El curso sigui su camino, y en julio se termin el programa. Haba sido un xito, y tanto los profesores como los alumnos se haban quedado muy orgullosos por el trabajo bien hecho. Era de esperar que el programa se repitiese, pero ya con nuevos alumnos. 17

Series de Taylor y Series de Fourier

Aplicaciones, analogas y diferencias

En el momento en que haban llegado los autobuses para llevar a los estudiantes a los respectivos aeropuertos, Luke y Pierre aprovecharon para despedirse. - Ha sido un placer, Pierre, empez Luke. Me alegra que hayamos coincido los dos aqu en este programa. He aprendido muchsimo, y te prometo que sern cosas que recordar siempre. - Por la cuenta que te trae, sonri Pierre. Yo tambin lo he pasado muy bien. Es una lstima que eso se acabe. Pero en n, espero que todo te vaya bien y se cumplan todos sus objetivos. Quin sabe, quizs algn da podamos encontrarnos de nuevo. - Quin sabe, repiti Luke, mientras se suba al autobs. Hasta siempre!

18

Series de Taylor y Series de Fourier

La Universidad Europea de las Ciencias

La Universidad Europea de las Ciencias

Los aos pasaron. Tanto Luke como Pierre continuaron sus estudios, y ambos consiguieron acabar sus carreras con honores. Tras aos de duro esfuerzo en completar sus doctorados y sus tesis, acabaron dando clases en sus respectivas facultades, tomando con el tiempo lugares de gran importancia y trascendencia en sus entornos. Surgi entonces la propuesta de crear una Universidad Europea de las Ciencias, y como no, las Matemticas formaban un parte importante del proyecto. Se necesitaban doctores para juzgar las pruebas de acceso a los nuevos profesores. Luke fue nombrado miembro del jurado para la ctedra de Anlisis, en funcin de su cargo como jefe del departamente de Anlisis de la Universidad de Cambridge. Luke lleg cansado a la Universidad Europea. Haba sido un mal viaje en avin, lleno de turbulencias. Cuando por n entr en la facultad de Matemticas y se dispuso a buscar el departamento de Anlisis, encontr en el hall un grupo de personas que discutan sobre lo que crey escuchar eran Matemticas. Se acerc y pudo escuchar perfectamente como uno de los all presentes defenda, con cierto aire burln, que los matemticos franceses eran los mejores gemetras, toplogos, probabilistas e incluso analistas. Luke no pudo evitar sonreir cuando, acercndose, no tuvo ninguna duda de que se trataba de Pierre. - Pierre!, cmo ests? Cunto tiempo! - Luke? Eres t? Ja, ja,ja, eres Luke! Por Dios, cuantos aos han pasado? Veinte, veinticinco? - No lo s exactamente. Pero han sido muchos, dijo Luke mientras se daban un abrazo. Tambin t has sido escogido como jurado para las nuevas ctedras? - Pues s, para el departamento de Matemtica Aplicada. Por qu no quedamos esta noche y recordamos viejos tiempos? Ahora todava s mucho ms de series de Fourier, brome Pierre. - Perfecto, pero yo tambin he aprendido cosas nuevas sobre Taylor, algunas increbles, ni te lo imaginas. Quedamos esta noche entonces, pero t pones el vino, eh? - De acuerdo, pero que sepas que ser francs. Y es que, por mucho que se oponga Herclito, hay cosas que nunca cambian.

19

Series de Taylor y Series de Fourier

Bibliografa

Referencias
[AR] Juan Argelles Rodrguez, Historia de la Matemtica, Ediciones Akal, 1989 [BO] Carl Boyer, Historia de la Matemtica, Alianza Editorial, 1986 [CA] Antonio Caada Villar, Series de Fourier y aplicaciones, Ediciones Pirmide, 2002 [GU] Miguel de Guzmn, Impactos del Anlisis Armnico, Discurso de ingreso en la Real Academia de Ciencias Exactas, Fsicas y Naturales, Madrid, 1983 [BO] Fernando Bombal, Las series de Fourier y el desarrollo del anlisis en el siglo XIX, Universidad Complutense de Madrid [KA] Jean-Pierre Kahane, A century of interplay between Taylor seires, Fourier series and Browmian Motion, Bulletin of the London Mathematical Society

Algunos de los enlaces que he visitado en la realizacin de este trabajo han sido los siguientes: http://www.mat.uson.mx http://enciclopedia.us.es/index.php/Gotinga htpp://www-history.mcs.st-amdrews.ac.uk http://www.divulgamat.net

20