Matemticas

ANLISIS LINEAL
SERIES DE FOURIER

Ejercicios Resueltos
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:

a0
nt
nt
a n cos
bn sen

2 n 1
T
T

f (t )

Donde:

1 a 2T
nt
f (t ) cos
dt

a
T
T
1 a 2T
nt
bn
f (t ) sen
dt
a
T
T
an

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 ea + ib = ea(cosb + isenb). Resulta, en tal caso:

f (t )

e int / T

Donde:

cn

1
2T

f (t )e int / T dt

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:

t2 , 0 t 2
f (t 2) f (t )

f (t )

SOLUCIN
Aqu T = 1. Hallemos en primer lugar los coeficientes. Son:

an

t cos ntdt
2

bn

por partes

2nt cos(nt ) 2 sen(nt ) n 2 2 t 2 sen(nt )

n 3 3

4n cos( 2n ) 2 sen(2n ) 4n 2 2 sen(2n )

4
2 2
3 3
n
n

2nt sen( 2n ) 2 cos(nt ) n 2 2 t 2 cos(nt )

t sen ntdt
n 3 3

4n sen(2n ) 2 cos(2n ) 4n 2 2 cos(2n )

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

t 2 cos 0tdt

t3
3

8
3

De esa forma, la serie de Fourier buscada ser:

f (t )

4 4
4

2 2 cos nt
sen nt
3 n 1 n
n

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

, t 0
t , 0 t

f (t )

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:

an

bn

1
T

a 2T

a 2T

nt
dt
T
nt
f (t ) sen
dt
T
f (t ) cos

an

bn

f (t ) cos( nt )dt

cos(nt )dt

t cos( nt )dt

sen n
1
cos n n sen n
1

2
2 (cos n 1)
2
n
n
n
n

sen(nt )dt

t sen( nt )dt
0

1 cos n sen n n cos n
1

(1 2 cos n )
2
n
n
n
n

f (t ) sen( nt )dt

El coeficiente a0 lo calculamos por separado y da:

a0

f (t ) cos(0t )dt

dt

tdt

De modo que la serie queda:

S (t )

1
1

2 (cos n 1) cos nt (1 2 cos n ) sen nt

4 n 1 n
n

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:

S(t)

-4 -3

-2

-/2

-
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:

S ( 0)

1
2 (cos n 1)
4 n 1 n

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:

S ( 0)

4 n 1 (2n 1) 2

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

2
2

1
2

2
2
2
4 n 1 ( 2n 1) 2
4
8
n 1 ( 2n 1)
n 1 ( 2 n 1)

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

(1) n
.
2
n2

SOLUCIN
Hallaremos en primer lugar los coeficientes:
cn

1
2

e t e i nt dt

1
2

e ( i n ) t dt

1
e e i n e e i n

2 ( in )

1
e ( i n ) t
2 ( in )

frmula de Euler

e
cos n
2 ( in)

Luego:

f (t ) c n e

int / T

e e ( in)
i nt
cos(n )e
cos( n )e i nt
2
2
2 ( in)
2 ( n )

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 eint, evaluada en 0, es igual a 1. De all tenemos:

f (0) 1

e ( in)
cos( n )
2 ( 2 n 2 )

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 e
(1) n
2
n
cos(
n

1
)

2
2
2
2
2
2
2 ( n )
e e
2 ( n )
( n )

4) Serie cosenoidal de Fourier. Dada la funcin

1 , 0 t 2
f (t )

2 , 2 t
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) n

2n 1 .
n 1

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:

f(t)

2
1
-3/2 -

-/2

/2

3/2

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:

an

3 / 2

/2

f (t ) cos ntdt

/2

3 / 2

1 cos ntdt 2 cos ntdt

/2

/2

3n
2
n

2 sen

Por otro lado es fcil calcular que a0 es 3. De esa forma:

S (t ) 32

3n
2 cos nt
n

2 sen

n 1

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:

S (0) 1 32
n 1

3n
2
n

2 sen

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:

S (0) 1

3
2

2(1) n
2(1) n
(1) n

12

4
n 1 ( 2n 1)
n 1 ( 2n 1)
n 1 2n 1

Que es el valor que buscbamos.

http://www.loseskakeados.com