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

Deniciones. Sea f : R R una funcin continua a trozos y peridica de perodo T y sea = 2/T . Los coecientes de Fourier de f son los nmeros denidos por 2 an = T y 2 bn = T Z
T

f(t) cos(nt) dt
T

para n = 0, 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 coecientes 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

f(t)sen (nt) dt

para n = 1, 2, . . .

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 nito de discontinuidades todas ellas de salto y slo tiene una cantidad nita de mximos y mnimos locales estrictos. Puede probarse, en particular, que si una funcin peridica es tal que ella y su derivada estn denidas y son continuas salvo un nmero nito de discontinuidades de salto, entonces dicha funcin verica las condiciones de Dirichlet. Prcticamente todas las funciones seales de inters en las aplicaciones las verican. 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+ ) =

0, >0

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

0, >0

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

El teorema nos dice, en particular, que si f satisface las condiciones de Dirichlet y redenimos 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 denida 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 Z
L

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

La extensin T -peridica e impar de f es la funcin denida en [L, L] = [T /2, T /2] por fimpar (t) = f (t) f (t) si L t 0, si 0 t L,

siendo = /L y

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

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 coecientes 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 grca de f. Solucin. Basta crear la siguiente funcin en un archivo llamado fousen.m. Obsrvese la estructura de la lnea que dene 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 coecientes de Fourier de la funcin f. Usando Matlab podemos aproximar dichos coecientes 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 coecientes 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

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 coecientes del desarrollo en serie de Fourier de f. Disea una funcin de Matlab que proporcione los N primeros coecientes de la serie de Fourier de la funcin y que dibuje la suma parcial frente a f.

f(t)sen (nt) dt = 0

para n = 1, 2, . . .

El fenmeno de Gibbs
El teorema de Dirichlet nos dice que, en los puntos de discontinuidad, la grca 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 grca de la suma parcial oscila alrededor de la grca 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 que la amplitud de la oscilacin a cada lado de la grca de la funcin tiende a ser Z 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 verique el fenmeno de Gibbs en x = 0. Estime grcamente 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 verique el fenmeno de Gibbs en x = 0. Estime grcamente 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 verica 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 + b2 . n T 0 4 2 n=1

(*)

En particular, la serieZ los cuadrados de los coecientes de Fourier es convergente. de 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 = a2 , T 0 4 0 Z 1 T 1 1 [an cos(nt) + bn sen (nt)]2 dt = a2 + b2 (n = 1, 2, . . . ), Pn = n T 0 2 2 n 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 (*).