Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Taylor Fourier
Taylor Fourier
Facultad de Ciencias
Seminario de Historia de las Matemticas
Licenciatura en Matemticas
Series de Taylor
y Series de Fourier
o
dilogos de dos estudiantes
en Gotinga
ndice
ndice
1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
7 Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
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 defiende 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 finales 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.
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) =
an un (x, y),
n=0
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 2 < y < 2 , resulta que por la existencia de
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) =
n=0
sen(nx)sen(mx)dx
= cos(nx)cos(mx)dx = 0
(n 6= m)
R
R
2
2
(n 6= 0)
cos (nx)dx = sen (nx)dx =
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
Z
1
an =
f (x)cos(nx)dx
y que
Z
1
f (x)sen(nx)dx.
bn =
De esta manera, queda totalmente definida 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
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 fij bien en el enunciado. Quiz
usando un cambio trigonomtrico y las relaciones de ortogonalidad podra
resolverlo.
11
la manera actual.
Lo primero que hizo Taylor fue tomar un funcin f y una cantidad r
positiva y fija. Con estos datos defini..., y tomando el papel escribi:
f (x) = f (x + r) f (x),
la diferencia finita de f de primer orden. De igual manera escribe
2 f (x) = (f (x)) = f (x + 2r) 2f (x) + f (x)
para la diferencia finita 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 fila a la siguiente se suma cada elemento de la fila anterior con el
que est situado a su derecha en la misma fila. De aqu podemos comprobar
que el primer elemento de la segunda fila es f (x + r), y as con todos los
elementos de la segunda fila hasta llegar a la fila n + 1, que es f (x + nr).
Si nos fijamos, los coeficientes de los trminos f (x), f (x), 2 f (x), ... , se
forman de la misma manera que los coeficientes 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 coeficientes son
1,
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
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 fijadas.
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 infinito y
recprocamente. Escribamos la frmula de f (x + nr) de la siguiente forma
f (x+nr) = f (x)+
f 00 (x)
+
2!
15
18
19
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
20