CLASE N 7 ANLISIS LINEAL:

SERIES DE FOURIER
CONCEPTOS BSICOS
Las series de Fourier permiten representar funciones peridicas mediante
combinaciones de senos y cosenos (serie trigonomtrica de Fourier) o de exponenciales
(forma compleja de la serie de Fourier).
Si f es una funcin peridica de perodo 2T seccionalmente continua, admite la siguiente
representacin en los puntos de continuidad:

,
_

+ +
1
0
sen cos
2
) (
n
n n
T
t n
b
T
t n
a
a
t f

Donde:
dt
T
t n
t f
T
b
dt
T
t n
t f
T
a
T a
a
n
T a
a
n

+
+

2
2
sen ) (
1
cos ) (
1

Ntese que las integrales pueden ejecutarse entre dos valores cualesquiera separados
por un perodo. En los puntos de discontinuidad de la funcin, la serie anteriormente
mencionada converge a la semisuma de los lmites laterales de la funcin.
Otra forma de representar la misma funcin es mediante una serie compleja, en la cual
se aprovecha la frmula de Euler e
a + ib
= e
a
(cosb + isenb). Resulta, en tal caso:

T t in
n
e c t f
/
) (

Donde:

T
T
T t in
n
dt e t f
T
c
/
) (
2
1

PROBLEMAS RESUELTOS
1) Serie de Fourier de una funcin peridica de perodo distinto a 2. Hallar la serie
trigonomtrica de Fourier para la funcin peridica definida por:

'

+
< <

) ( ) 2 (
2 0 ,
) (
2
t f t f
t t
t f
SOLUCIN
Aqu T = 1. Hallemos en primer lugar los coeficientes. Son:

n n n
n n n n n
n
t n t n t n n t n
dt t n t b
n n
n n n n n
n
t n t n t n t n t n
dt t n t a
n
n
1 2 ) 2 cos( 4 ) 2 cos( 2 ) 2 sen( 4
) cos( ) cos( 2 ) 2 sen( 2
sen
4 ) 2 sen( 4 ) 2 sen( 2 ) 2 cos( 4
) sen( ) sen( 2 ) cos( 2
cos
3 3 3 3
2 2
2
0
3 3
2 2 2
2
0
2
2 2 3 3
2 2
2
0
3 3
2 2 2
partes por
2
0
2

+

El coeficiente a
0
debemos calcularlo por separado, dado que la forma de a
n
obtenida
arriba no est definida para n = 0. Calculamos, as:
3
8
2
0
3
2
0
2
0
3
0 cos

t
dt t t a
De esa forma, la serie de Fourier buscada ser:

,
_

+
1
2 2
sen
4
cos
4
3
4
) (
n
t n
n
t n
n
t f

2) Aprovechamiento de la serie de Fourier para calcular una serie numrica. Dada

'

< <
< <

t 0 ,
0 ,
) (
t
t
t f
a) Obtener la serie trigonomtrica de Fourier de f(t).
b) Graficar la suma de esa serie en [-4; 4].
c) Aprovechar dicha serie para calcular la suma de los recprocos de los cuadrados de
todos los enteros impares positivos.
SOLUCIN
Podemos hacer una extensin peridica de esta funcin, considerndola como de perodo
2. De esa manera tenemos T = y podemos calcular los coeficientes como:
dt
T
t n
t f
T
b
dt
T
t n
t f a
T a
a
n
T a
a
n

+
+

2
2
sen ) (
1
cos ) (
1

) cos 2 1 (
1 cos sen cos 1
) sen(
1
) sen(
1
) sen( ) (
1
) 1 (cos
1 sen cos 1 sen
) cos(
1
) cos(
1
) cos( ) (
1
2
0
0
2 2 2
0
0

n
n n
n n n
n
n
n
dt nt t dt nt dt nt t f b
n
n n
n n n
n n
n
dt nt t dt nt dt nt t f a
n
n

+
+

+
+
+




El coeficiente a
0
lo calculamos por separado y da:
2
1 1
) 0 cos( ) (
1
0
0
0

+


dt t dt dt t t f a
De modo que la serie queda:

,
_

+ +
1
2
sen ) cos 2 1 (
1
cos ) 1 (cos
1
4
) (
n
nt n
n
nt n
n
t S

b) Para graficar la suma de la serie, recordemos que coincide con la funcin en los puntos
en que sta es continua, y converge a la semisuma de los lmites laterales en los puntos de
discontinuidad. Tenemos as:
Los puntos gordos indican los valores que alcanza la serie en los puntos de
discontinuidad, que son la semisuma de los lmites laterales en cada caso.
c) Para evaluar la serie numrica que nos piden, evaluaremos la serie en un punto
adecuado. A todas luces el punto ms sencillo para evaluar la serie es t = 0. All tenemos
que los sen(nt) se hacen todos cero y los cos(nt) se hacen todos unos. De esa manera la
serie quedara:

+
1
2
) 1 (cos
1
4
) 0 (
n
n
n
S

2 3 4 -2 -3 -4 -

-
-/2
S(t)
t
El valor de cos(n) ser -1 cuando n sea impar, y 1 cuando n sea par. Por ende, resultar
que (cos(n) - 1) es -2 cuando n es impar, y 0 cuando n es par. De esa manera, en la serie
sobreviven slo los trminos impares, y en ellos reemplazamos (cos(n) - 1) por -2. As
podemos escribir:

+
1
2
) 1 2 (
2
4
) 0 (
n
n
S

Pero por otro lado, y de la grfica anterior, es S(0) = -/2. Reemplazando esto arriba
queda:
8 ) 1 2 (
1
4 ) 1 2 (
2
) 1 2 (
2
4 2
2
1
2
1
2
1
2

n n n
n n n
Obtuvimos as la suma de los recprocos de todos los naturales al cuadrado, como nos
peda el enunciado.
3) Serie compleja de Fourier. Desarrollar en serie compleja de Fourier f(t) = e
-

t
, donde -
< < . Aprovechar ese resultado para calcular la suma de la serie

2 2
) 1 (
n
n

.
SOLUCIN
Hallaremos en primer lugar los coeficientes:
( )
( )

n
in
e e
e e e e
in
e
in
dt e dt e e c
n i n i
t n i t n i nt i t
n
cos
) ( 2 ) ( 2
1
) ( 2
1
2
1
2
1
Euler de frmula

) ( ) (

Luego:
( ) ( )







+
+

nt i nt i T t in
n
e n
n
in e e
e n
in
e e
e c t f

2 2
/
) cos(
) ( 2
) (
) cos(
) ( 2
) (

Esta equivalencia es vlida en todos los puntos de continuidad de f, en particular en el 0.

Si evaluamos ahora la serie en 0, debe dar lo mismo que f(0), esto es, 1. Por otro lado la
exponencial e
int
, evaluada en 0, es igual a 1. De all tenemos:
( )

+
+
) cos(
) ( 2
) (
1 ) 0 (
2 2

n
n
in e e
f
Obsrvese por otra parte que los trminos en in con n positivo se anularn con los que
tienen n negativo, de modo que podemos escribir:
( ) ( )
( )

e e n n
e e
n
n
e e
n
n
2
) (
) 1 (
) 1 (
) ( 2
) cos(
) ( 2
1
2 2 2 2 2 2
4) Serie cosenoidal de Fourier. Dada la funcin

'

<
<

t , 2
0 , 1
) (
2
2
t
t f
a) Desarrollarla en serie cosenoidal de Fourier.
b) Hallar la suma de la serie en los intervalos (0; /2), (/2; ) y en los puntos 0 y .
c) Calcular la suma de la serie

1
1 2
) 1 (
n
n
n
.
SOLUCIN
Para que una serie de Fourier sea de slo cosenos la funcin debe ser par. Por ende,
debemos plantear una extensin peridica de f tal que sea simtrica respecto al eje de
ordenadas. Vemos que eso lo logramos planteando que la extensin peridica sea igual a
1 en (-/2; 0) y a 2 entre (-; -/2). Aparece como natural en ese caso que el perodo sea
2. La grfica ser:
Donde las lneas gruesas marcan la funcin original, y las de puntos la extensin
peridica. Vemos que para calcular los coeficientes conviene tomar el intervalo que va de
-/2 a 3/2, de modo de hace slo dos integrales por coeficiente. Por otra parte slo
debemos calcular los coeficientes a, dado que la funcin es par y su desarrollo no tendr
senos. Tenemos as:

n
n
ntdt ntdt ntdt t f a
n
2
3
sen 2
cos 2 cos 1
1
cos ) (
1
2 / 3
2 /
2 /
2 /
2 / 3
2 /

1
]
1

Por otro lado es fcil calcular que a

0
es 3. De esa forma:
2
-
1
-/2
f(t)
t
/2 3/2 -3/2
nt
n
n
t S
n
cos
2
3
sen 2
) (
1
2
3

Para calcular la serie que nos piden, tengamos en cuenta que S(0) = 1 (coincide con el
valor de la funcin, que es continua en ese punto). El cos(nt) es 1 en el mismo punto. As
tendremos:

+
1
2
3 2
3
sen 2
1 ) 0 (
n
n
n
S

Sabemos adems que el sen(3n/2) en esa sumatoria vale 0 para n pares, y alterna entre -1
y 1 para n impares. Ms precisamente, vale (-1)
k
para n = 2k - 1. De ese modo, slo
sobrevivirn los trminos impares, y ser:

+
1
2
1
1 1
2
3
4 1 2
) 1 (
) 1 2 (
) 1 ( 2
) 1 2 (
) 1 ( 2
1 ) 0 (
n
n
n
n
n
n
n n n
S


Que es el valor que buscbamos.