Matem aticas III Intuici on de Fourier

2 P .

Tenemos una funci on f : [0, P ] R, periodizada con periodo P . Sea = Denimos la serie de Fourier de f como la serie trigonom etrica

Sf (x) = a0 +
n=1

(an cos(nx) + bn sin(nx)),

P

donde
P

1 a0 = P

f (t) dt,
0

2 an = P

f (t) cos(nt) dt,

0

2 bn = P

f (t) sin(nt) dt.

0

Esta es la serie que deni o Euler en 1777, con la expresi on que el mismo Euler di o a los coecientes. Podemos tomar una funci on continua a trozos con derivada continua a trozos (estas condiciones son sucientes para tener el teorema de la convergencia de la serie de Fourier y de su equivalencia con la funci on que la origina, pero no son las condiciones m as d ebiles que lo garantizan). Entonces f (x + h) + f (x h) = Sf (x). h0 2 lim En particular, si f es continua en un punto, en ese punto la serie de Fourier y la funci on coinciden. Fourier buscaba una transformaci on similar a la serie que hab a dado Euler pero para el caso de funciones que no fueran peri odicas, ni siquiera fueran nitas (y por tanto no se pudieran periodizar). La idea de Fourier era que para aplicar lo conocido de representaci on en forma de senos y cosenos a cualquier funci on de variable real hab a que pensar que las funciones denidas en toda la recta real tienen periodo de longitud innita. As que trat o de hacer l mites en la duraci on del periodo, o lo que es lo mismo, l mites a cero en la frecuencia . As la serie denida por Euler Sf fu e utilizada por Fourier para llegar a la expresi on de la transformaci on continua de la forma que narramos aqu . Los c alculos que Fourier realiz o son lo que exponemos a continuaci on y ya prevenimos que no se ajustan a ning un rigor matem atico. Suponemos f continua en x. Entonces

f (x) = a0 + 1 = P
n=1 P 0

(an cos(nx) + bn sin(nx)) 2 f (t) dt + ( P n=1 + 2 P

P

f (t) cos(nt) dt cos(nx) dt

0 P

f (t) sin(nt) dt sin(nx) dt)

0

1 = P

p 2

p 2

2 f (t) dt + P

p 2

(
n=1 p 2
p 2

f (t) cos(nt) dt cos(nx) dt f (t) sin(nt) dt sin(nx) dt)

p 2

+ 1 = P 1 = P = 2 1 = 2

p 2

p 2
p 2

2 f (t) dt + P 2 f (t) dt + P f (t) dt +

p 2

f (t)
p 2
p 2

(cos(nt) cos(nx) + sin(nt) sin(nx)) dt

n=1

f (t)
p 2

cos(n (t x)) dt
n=1

p 2

f (t) f (t)

cos(n (t x)) dt
n=1

1 f (t) dt +

cos(n (t x)) dt
n=1

()

Partimos de una funci on que sea absolutamente integrable en toda la recta real, esto es,

|f (t)| dt < . Entonces 1 lim 0 2

f (t) dt = 0.

Por otra parte tenemos que el conjunto de puntos de la forma {n ; n N} forman una partici on de la semirrecta real positiva, y si extendemos la noci on de integral de Rie

mann en un intervalo acotado a toda la semirrecta, tendremos que

n=1

cos(n (t x))

es una suma de Riemann de la funci on g (s) = cos(s(t x)) para el intervalo [0, ). As que si hacemos que la frecuencia de muestreo tienda a cero, es de imaginar que

la serie anterior tienda a la integral

0

cos(s(t x)) ds.

Por lo tanto, haciendo l mites (formalmente) en (*) tendremos que 1 f (x) =

f (t)
0

1 cos(s(t x)) ds dt =

f (t) cos(s(t x)) dt ds.

Esto es lo que Fourier enuncia como Teorema Integral (de Fourier): Sea f : R R, absolutamente integrable, con f y f continuas a trozos. Entonces para todo x donde f sea continua f (x) = 1
0

f (t) cos(s(t x)) dt ds.