AMPLIACIN DE MATEMTICAS (2o Ing.

de Telecomunicacin)
Departamento de Matemtica Aplicada II. Universidad de Sevilla
CURSO ACADMICO 2008-2009

Prctica III: Series de Fourier.

Series de Fourier
Definiciones. Sea f : R R una funcin continua a trozos y peridica de perodo T y
sea = 2/T . Los coeficientes de Fourier de f son los nmeros definidos por
2
an =
T

y
2
bn =
T

f(t) cos(nt) dt

para n = 0, 1, 2 . . . ,

f(t)sen (nt) dt

para n = 1, 2, . . .

Puesto que la funcin tiene perodo T , las integrales anteriores pueden hacerse sobre
cualquier intervalo de longitud T , por ejemplo [T /2, T /2].

P
1
La serie a0 +
[an cos(nt) + bn sen (nt)], donde los an y los bn son los correspon2
n=1
dientes coeficientes de Fourier de una funcin f, se llama desarrollo en serie de Fourier, o
simplemente serie de Fourier, de f . Para indicar que una serie trigonomtrica es la serie
de Fourier de una funcin dada se suele escribir

X
1
f (t) a0 +
[an cos(nt) + bn sen (nt)] .
2
n=1

Condiciones de Dirichlet. Sea f : R R una funcin peridica de perodo T . Se dice

que f satisface las condiciones de Dirichlet si en cada perodo la funcin f : [0, T ] R es
continua salvo en un nmero finito de discontinuidades todas ellas de salto y slo tiene una
cantidad finita de mximos y mnimos locales estrictos. Puede probarse, en particular,
que si una funcin peridica es tal que ella y su derivada estn definidas y son continuas
salvo un nmero finito de discontinuidades de salto, entonces dicha funcin verifica las
condiciones de Dirichlet. Prcticamente todas las funciones seales de inters en las
aplicaciones las verifican.
1

Teorema de convergencia de Dirichlet. Sea f : R R una funcin peridica de

perodo T que satisface las condiciones de Dirichlet y sea

X
1
f (t) a0 +
[an cos(nt) + bn sen (nt)] ,
2
n=1

con = 2/T , su serie de Fourier.

(1) Si f es continua en un punto t, entonces la serie de Fourier converge en ese punto
a f(t), o sea,

X
1
[an cos(nt) + bn sen (nt)] = f (t).
a0 +
2
n=1
(2) Si f tiene una discontinuad de salto en un punto t, entonces la serie de Fourier
converge en ese punto al punto medio del salto, o sea,

X
1
f(t ) + f(t+ )
a0 +
,
[an cos(nt) + bn sen (nt)] =
2
2
n=1

donde, como es habitual, f(t ) =

y f (t+ ) =

lim f(t ) indica el lmite de f en t por la izquierda

0, >0

lim f(t + ) indica el lmite de f en t por la derecha.

0, >0

El teorema nos dice, en particular, que si f satisface las condiciones de Dirichlet y

redefinimos el valor de f en cada punto de discontinuidad como el punto medio del salto,
f (t ) + f (t+ )
, entonces la suma de la serie de Fourier coincide con
o sea, poniendo f (t) =
2
f (t) en cada t R. Por eso, en lo que sigue, y salvo que se diga lo contrario, supondremos
que esto se cumple.
Desarrollos de medio intervalo. Sea f : [0, L] R una funcin continua a trozos. Sea
T = 2L, entonces la extensin T -peridica y par de f es la funcin definida en el intervalo
[L, L] = [T /2, T /2] por

f (t)
si L t 0,
fpar (t) =
f (t)
si 0 t L,
y extendida peridicamente a toda la recta real R. Obviamente, fpar es una funcin par,
as que su desarrollo en serie de Fourier es una serie de cosenos que se conoce, en este
contexto, como el desarrollo de f en serie de cosenos en medio intervalo [0, L] y viene
dado por

X
1
f(t) a0 +
an cos(nt)
en [0, L],
2
n=1
siendo = /L y

2
an =
L

f(t) cos(nt) dt (n = 0, 1, 2, . . . ).

La extensin T -peridica e impar de f es la funcin definida en [L, L] = [T /2, T /2]

por
fimpar (t) =

f (t)
f (t)

si L t 0,
si 0 t L,

y extendida peridicamente a toda la recta real R. Obviamente, fimpar es una funcin

impar, as que su desarrollo en serie de Fourier es una serie de senos que se conoce, en
este contexto, como el desarrollo de f en serie de senos en medio intervalo [0, L] y viene
dado por

X
f(t)
bn sen (nt)
en [0, L],
n=1

siendo = /L y

2
bn =
L

f(t)sen (nt) dt (n = 1, 2, . . . ).

Ejercicio resuelto 1. Considera la funcin f : [0, 2] R dada por f (x) = 1 x/2.

Un clculo elemental muestra que los coeficientes del desarrollo en serie de Fourier de
2
. Disea una funcin de Matlab que dibuje la suma
senos de f vienen dados por bn =
n
parcial de los N primeros sumandos de la serie de Fourier de senos de la funcin y muestre
simultneamente la grfica de f.
Solucin. Basta crear la siguiente funcin en un archivo llamado fousen.m. Obsrvese
la estructura de la lnea que define la funcin f.
function fousen(N)
x=-2:0.005:2;
sumparcial=0;
b=zeros(1,N);
for k=1:N
b(k)=2/(k*pi);
sumparcial=sumparcial+b(k)*sin(k*x*pi/2);
end
f=(x<0).*(-1-x/2)+(x>=0).*(1-x/2);
plot(x,f,b,x,sumparcial,g),shg
En el ejercicio anterior hemos obtenido explcitamente el valor de los coeficientes de
Fourier de la funcin f. Usando Matlab podemos aproximar dichos coeficientes mediante
las diferentes funciones de integracin numrica entre las que destacamos quad y quadl.
Ejercicio resuelto 2. Considera la funcin 2-peridica f : R R tal que f (x) = x2 si
1 < x < 1. Disea una funcin de Matlab que aproxime numricamente los N primeros
coeficientes de la serie de Fourier de la funcin y que dibuje la suma parcial frente a f.
Solucin. Puesto que la funcin es par, tenemos que
Z 1
Z
2
2 1
f(t) cos(nt) dt = 2
t2 cos(nt) dt
a0 = , an =
3
2 1
0
3

para n = 1, 2 . . . ,

y
2
bn =
2

f(t)sen (nt) dt = 0

para n = 1, 2, . . .

De esta forma, la solucin del problema viene dada por la siguiente funcin que debe ser
almacenada en un archivo llamado fou.m.
function fou(N)
x=-1:0.05:1;
a=zeros(1,N);
sumparcial=1/3;
for k=1:N
a(k)=quadl(@fun,-1,1,1e-9,[],k);
sumparcial=sumparcial+a(k)*cos(k*x*pi);
end
f=x.^2;
plot(x,f,b,x,sumparcial,g),shg
function y=fun(t,n)
y=(t.^2).*cos(n*pi*t);
Nota: Obsrvese el funcionamiento de la funcin quadl y los parmetros de los que
depende. Pide ayuda a Matlab para entender su estructura.
Ejercicio 3. Considera la funcin 2-peridica f : R R tal que f(x) = 1 si 0 < x < 1 y
f (x) = 1 si 1 < x < 0. Calcula los coeficientes del desarrollo en serie de Fourier de f.
Disea una funcin de Matlab que proporcione los N primeros coeficientes de la serie de
Fourier de la funcin y que dibuje la suma parcial frente a f.

El fenmeno de Gibbs
El teorema de Dirichlet nos dice que, en los puntos de discontinuidad, la grfica de la
suma de la serie de Fourier pasa por el punto medio del salto. Si se dibujan las sumas
parciales se ve que en las cercanas de los puntos de discontinuidad se reduce la velocidad
de convergencia de la serie y que la grfica de la suma parcial oscila alrededor de la grfica
de la funcin. Cuando se aumenta el nmero de trminos, las oscilaciones se condensan
a ambos lados del punto pero su amplitud no parece decrecer. Esto se conoce como el
fenmeno de Gibbs,en honor de J.W. Gibbs (18391903) que lo analiz en 1899 probando
queZ la amplitud de la oscilacin a cada lado de la grfica de la funcin tiende a ser
1 sen (t)
dt 1 0.0895 veces el tamao del salto, o sea, aproximadamente el 9% del
2 0
t
tamao del salto.
Ejercicio resuelto 4. Ejecute la funcin obtenida en el ejercicio 1 con N = 4, 8, 16, 32
y verifique el fenmeno de Gibbs en x = 0. Estime grficamente el valor del salto. Para
tal estimacin, consulte previamente la ayuda de Matlab sobre la funcin ginput.
Solucin. Hacemos uso de la funcin ginput.
>> fousen(32),A=ginput(2)
4

>> salto=A(2,2)-A(1,2)
Ejercicio 5. Ejecute la funcin obtenida en el ejercicio 3 con N = 4, 8, 16, 32 y verifique
el fenmeno de Gibbs en x = 0. Estime grficamente el valor del salto.
Ejercicio 6. Repita los ejercicios 1 y 4 cambiando el desarrollo en serie de Fourier de
senos de f por el desarrollo en serie de Fourier de cosenos comentando las diferencias
observadas.

Igualdad de Parseval
Igualdad de Parseval. Sea f una funcin peridica de perodo T que verifica las
condiciones de Dirichlet y sea

X
1
f(t) a0 +
[an cos(nt) + bn sen (nt)]
2
n=1

su serie de Fourier. Entonces

Z

1 T
1 2 1 X 2
2
[f(t)] dt = a0 +
an + b2n .
T 0
4
2 n=1

(*)

En particular, la serieZde los cuadrados de los coeficientes de Fourier es convergente.

1 T
La integral P =
[f(t)]2 dt se llama media cuadrtica o potencia media de f . Por
T 0
ejemplo, si f (t) representa el voltaje que se aplica a una resistencia de 1 ohmio, entonces
la potencia media de f coincide con la potencia elctrica media (energa por unidad de
tiempo medida en watios) disipada por la resistencia en cada perodo. Ahora bien, la
potencia media de cada uno de los armnicos presentes en la seal es
Z
1 T
1
P0 =
[a0 /2]2 dt = a20 ,
T 0
4
Z T
1
1
1
[an cos(nt) + bn sen (nt)]2 dt = a2n + b2n (n = 1, 2, . . . ),
Pn =
T 0
2
2
luego la igualdad de Parseval nos dice que la potencia media de la seal es la suma de las

P
potencias medias de sus componentes armnicos, P =
Pn .
n=0

Ejercicio 7. Disee una funcin de Matlab que aproxime la potencia media de la funcin
del ejercicio 3. Dicha funcin debe depender del nmero de sumandos de la serie (*).