Captulo 4

Series de Fourier Trigonomtricas

En el captulo anterior hemos visto que toda funcin f L2 ([ , ] ; R) se puede desarrollar en serie trigonomtrica de senos y cosenos del tipo a0 X + (an cos nx + bn sin nx) 2 n=1

(4.1)

la cual adems converge en L2 a la funcin f. Quedan pendientes otras muchas cuestiones concernientes a estas series, cuestiones del tipo: Bajo qu condiciones (4.1) converge puntual y/o uniformemente a la funcin f ? Bajo qu condiciones se puede derivar y/o integrar (4.1)? En los casos en los que esta respuesta sea armativa, qu relacin existe entre la derivada (o la integral) de f y la derivada (o la integral) de (4.1)? En este captulo daremos respuesta a cada una de estas cuestiones. Es importante sealar tambin que al margen de las EDPs, las series de Fourier son una herramienta bsica en algunos campos de la ingeniera, especialmente en los relacionados con la Teora de la Seal.

4.1

Series de Fourier de Funciones Peridicas

f : R R ( C)

Se dice que la funcin es 2 peridica si para todo x R se satisface que f (x + 2 ) = f (x) . Las funciones trigonomtricas sin x y cos x son los ejemplos ms elementales de funciones 2 peridicas. Denicin 4.1.1 Supongamos que f es 2 peridica y absolutamente integrable en [ , ] . Llamaremos serie de Fourier de la funcin f a la serie de funciones a0 X + (an cos nx + bn sin nx) 2 n=1 donde 1 an = Z

(4.2)

f (x) cos nx dx 47

, n0

48 y 1 bn = Z

Captulo 4. Series de Fourier Trigonomtricas

f (x) sin nx dx

Los coecientes an y bn se denominan coecientes de Fourier de la funcin f. Nota 4.1.1 Ntese que lo nico que estamos haciendo en la denicin anterior es escribir f como combinacin lineal de los elementos de la base [ {cos nx} {sin nx} n=0 n=1

, n 1.

en el espacio de Hilbert L2 ([ , ] ; R) .

Teniendo en cuenta la denicin de los coecientes de Fourier, un simple clculo muestra que si f es impar (esto es, f (x) = f (x) para todo x R), entonces Z 2 f (x) sin nx dx (4.3) an = 0 y bn = 0 y si f es par (esto es, f (x) = f (x) para todo x R), entonces Z 2 f (x) cos nx dx y bn = 0. an = 0

(4.4)

Uno de los objetivos prioritarios de este tema es averiguar en qu forma se parecen f y su serie de Fourier asociada. Un primer resultado en esta direccin que hemos heredado del captulo anterior es el siguiente: Teorema 4.1.1 (Convergencia en L2 o en media cuadrtica) Si f es 2 peridica y adems f L2 ([ , ] ; R) , entonces la serie de Fourier de f converge en la norma de L2 ([ , ] ; R) a la funcin f. Adems, kf k2 2 X |a0 |2 |an |2 + |bn |2 . + = 2
n=1

(Identidad de Parseval)

Estudiaremos a continuacin un par de ejemplos concretos. Ejemplo 4.1.1 Consideremos la funcin 2 peridica denida como f (x) = |x| para x

y f (x + 2 ) = f (x) x R. Se trata de una funcin par, y por tanto bn = 0. Adems, Z 2 x dx = a0 = 0 y Z 2 an = x cos nx dx 0 Z 2 sin nx 2 x sin nx dx = n 0 0 n 2 (1)n 1 = . n2

4.1. Series de Fourier de Funciones Peridicas Por tanto, la serie de Fourier asociada a f es 4 2 X
1 4 X cos (2k 1) x cos nx = . n2 2 (2k 1)2 k=1

49

n=1,3,5,

Por supuesto f L2 , con lo que esta serie de Fourier converge a f en la norma de L2 .

(a)

(b)

(c) En la grca anterior aparecen representados, en (a) la extensin 2 peridica de f (x) = cos(2k1)x 4 Pn |x| , en (b) S1 y en (c) S3 , donde Sn = k=1 (2k1)2 es el trmino nsimo de la serie 2 de Fourier asociada a f. Ejemplo 4.1.2 Consideremos ahora la funcin f (x) = x para <x

y f (x + 2 ) = f (x) x R. Se trata de una funcin impar, y por tanto, an = 0. Adems, Z 2 x sin nx dx bn = 0 Z 1 x 2 cos nx + cos nx dx = n n 0 0 2 = (1)n+1 . n

50 Por tanto, la serie de Fourier de f es

Captulo 4. Series de Fourier Trigonomtricas

X 2 (1)n+1 sin nx. n n=1

Tambin f L2 con lo que

es decir, la serie de Fourier converge en la norma de L2 a f.

N X 2 (1)n+1 sin nx = 0 lim f N n

n=1 2

(a)

(b)

(c) En la grca anterior aparecen representados, P en (a) la grca de la extensin 2 peridica k+1 2 sin kx es el trmino nsimo de f (x) = x, en (b) S5 y en (c) S15 , donde Sn = n k=1 k (1) de la serie de Fourier asociada a f.

4.2

Teoremas de Convergencia para Series de Fourier

Recordaremos en primer lugar los conceptos de convergencia puntual y uniforme de series de funciones. Sea fn : R2 R

4.2. Teoremas de Convergencia para Series de Fourier una sucesin de funciones. Se dice que la serie de funciones P

51 fn (t, x) converge puntualmente

a la funcin f : R2 R si para cada (t, x) y cada > 0 existe un n0 = n0 (t, x, ) N tal que si n n0 , entonces n X fk (t, x) f (t, x) < .
k=0

n0

Se dice que la serie de funciones

R2 R si para cada > 0 existe un n0 = n0 () N tal que si n n0 , entonces n X fk (t, x) f (t, x) < para todo (t, x) .
k=0 n0

n0

fn (t, x) converge uniformemente a la funcin f :

entonces la funcin f es continua. El criterio ms til que garantiza la convergencia uniforme de una serie de funciones es el llamado Criterio de Mayoracin de Weierstrass. Dicho criterio arma que si existe una sucesin de constantes positivas Mn tales que |fn (t, x)| Mn (t, x)

Por supuesto, la convergencia uniforme implica convergencia P puntual. Otro resultado importante es que si las funciones fn (t, x) son continuas y la serie fn (t, x) converge uniformemente a f ,

y si adems la serie numrica

es uniformemente convergente.

n0

Mn es convergente, entonces la serie de funciones

n0

fn (t, x)

Denicin 4.2.1 Una funcin f : [a, b] R se dice continua a trozos si existe una particin a = x0 < x1 < < xn = b del intervalo [a, b] tal que f es continua en cada uno de los subintervalos ]xk1 , xk [ (k = 1, 2, , n) y si existen los lmites por la derecha y por la izquierda en cada punto xk (k = 1, 2, , n 1), por la derecha en a = x0 y por la izquierda en xn = b. Es decir, si f es continua en [a, b] salvo a lo ms en un nmero nito de puntos donde presenta discontinuidades de primera especie nita. Denicin 4.2.2 Una funcin f : [a, b] R se dice diferenciable a trozos si f y su primera derivada f 0 son continuas a trozos. Denotaremos por P C (2 ) (del ingls Piecewise Continuous) al conjunto de las funciones f : R R, 2 peridicas y continuas a trozos en el intervalo de periodicidad, que a partir de ahora supondremos ser [ , ] . Por P S (2 ) (en ingls Piecewise Smooth) denotaremos al conjunto de las funciones f : R R, 2 peridicas y diferenciables a trozos en el intervalo de periodicidad. Es evidente que toda funcin continua a trozos est en L2 , y por supuesto, lo mismo sucede con toda funcin diferenciable a trozos. A partir de ahora denotaremos por Sn (f, x) la suma parcial n-sima de la serie de Fourier en el punto x asociada a la funcin f, es decir, Sn (f, x) = a0 X + (ak cos kx + bk sin kx) . 2
k=1 n

52

Captulo 4. Series de Fourier Trigonomtricas

Teorema 4.2.1 (Convergencia Puntual) Si f P S (2 ) , entonces,

n

lim Sn (f, x) =

f (x) + f (x+) 2 f (x+) = lim f (x + h) .

h0
h>0

donde f (x) = lim f (x + h)

h0
h<0

En particular
n

lim Sn (f, x) = f (x)

para todo x R donde f es continua. La demostracin de este teorema (tambin conocido como Teorema de Dirichlet) es larga y complicada. Dicha demostracin puede encontrarse en [8, Th. 2.1, p. 35], [19, Th. 2.6, p. 47] y tambin en [16, p.p. 106-109]. Veamos ahora que nos dice este teorema en relacin a los dos ejemplos que hemos considerado anteriormente. Empecemos con la funcin f (x) = |x| para x .

Se trata de una funcin continua que tiene derivada en todos los puntos del intervalo ] , [ excepto en el punto x = 0. Adems, 1 si 0 < x < 0 f (x) = 1 si < x < 0 es decir, f P S (2 ) . Por tanto, el teorema de convergencia puntual anterior nos dice que
4 X cos (2k 1) x = |x| 2 (2k 1)2 k=1

x R,

es decir, la serie de Fourier asociada a f converge puntualmente a la propia funcin f. Consideremos ahora la funcin f (x) = x para < x .

Se trata de una funcin continua en todo punto excepto en los puntos k , con k un nmero impar. Por supuesto, tambin es una funcin diferenciable a trozos y por tanto,
X 2 (1)n+1 sin nx = x x ] , [ . n

n=1

Sin embargo, en los puntos de discontinuidad k , con k impar, se tiene que f (k ) = y f (k +) = , con lo cual 1 2 [f (k ) + f (k +)] = 0, es decir, la serie de Fourier en estos puntos converge a cero, que no coincide con el valor de la funcin en estos puntos. El siguiente resultado nos proporciona una condicin suciente que garantiza la convergencia uniforme de la serie de Fourier asociada a una funcin dada. Una demostracin puede encontrarse en [8, Th. 2.5, p. 41] y tambin en [19, Th. 2.15, p. 57].

4.2. Teoremas de Convergencia para Series de Fourier

53

es convergente.

Teorema 4.2.2 (Convergencia Uniforme) Sea f una funcin 2 peridica, continua y diferenciable a trozos en [ , ]. Supongamos adems que f ( ) = f ( ) . Entonces, la serie de Fourier de f converge uniformemente sobre R a la funcin f. Adems, la serie de los coecientes de Fourier X (|an | + |bn |)
n=1

Ntese que la serie de Fourier que hemos estudiado en el Ejemplo 4.1.1 converge uniformemente a la funcin 2 peridica f (x) = |x| , ya que dicha funcin es continua y diferenciable a trozos. No sucede igual con la funcin considerada en el Ejemplo 4.1.2, donde no existe convergencia puntual de la serie de Fourier asociada a dicha funcin, y por tanto, tampoco existe convergencia uniforme en ningn intervalo que contenga un punto de discontinuidad de f . Finalmente, veamos como se comportan las series de Fourier respecto de las dos operaciones fundamentales del Clculo: la derivacin y la integracin. La demostracin de los dos resultados que siguen a continuacin puede encontrarse en [8, Ths. 2.3 y 2.4] y tambin en [19, Ths. 2.26 y 2.27, p. 77]. Teorema 4.2.3 (Derivacin) Sea f una funcin 2 peridica, continua, diferenciable a trozos y supongamos que f 0 es diferenciable a trozos en [ , ]. Supongamos adems que f ( ) = f ( ) . Entonces, X f 0 (x) = (nbn cos nx nan sin nx)
n=1

para todo punto x R donde es continua. Adems, en los puntos en los que f 0 tiene saltos se tiene que X 1 0 f (x) + f 0 (x+) (nbn cos nx nan sin nx) = 2
n=1

f0

Este teorema nos dice que si f es una funcin 2 peridica, continua, diferenciable a trozos y si f 0 es diferenciable a trozos, entonces la serie de Fourier asociada a f 0 se obtiene derivando trmino a trmino la serie de Fourier asociada a f. Respecto de la integracin, se tiene el siguiente resultado: Teorema 4.2.4 (Integracin) Sea f una funcin 2 peridica y continua a trozos. Si el trmino a0 de la serie de Fourier asociada a f es nulo, entonces Z x X bn an 1 sin nx cos nx xR f (t) dt = A0 + 2 n n 0 n=1 con 1 A0 = Z

y donde la convergencia es uniforme. Si a0 6= 0, aplicamos el resultado anterior a la extensin 2 peridica de la funcin f (x) a0 /2. Este teorema nos dice que si f es una funcin 2 peridica y continua a trozos, entonces la serie de Fourier asociada a la primitiva de f se obtiene integrando trmino a trmino la serie de Fourier asociada a f. Veamos un ejemplo.

f (t) dt dx

54

Captulo 4. Series de Fourier Trigonomtricas

Ejemplo 4.2.1 Consideremos la funcin 1 si < x < 0 . f (x) = 1 si 0 x La serie de Fourier asociada a f es
4X 1 sin (2n 1) x. n=1 2n 1

(4.5)

Dado que f es 2 peridica y continua a trozos, se satisfacen la hiptesis del teorema de integracin anterior y por tanto, la serie de Fourier asociada a Z x f (t) dt = |x| para < x <
0

se obtiene integrando trmino a trmino la serie (4.5). De esta forma obtenemos

1 4X 2 cos (2n 1) x. 2 n=1 (2n 1)

4.3

Series de Fourier sobre Intervalos

Sea f = f (x) una funcin peridica de periodo 2T, T > 0. Mediante el cambio de variable x= T y, se tiene que la funcin T y g (y) = f es 2 peridica. Por tanto, si a0 X + (an cos ny + bn sin ny ) , 2 n=1 con 1 an = Z

g (y) cos ny dy

1 y bn =

g (y ) sin ny dy,

es la serie de Fourier asociada a la funcin g , entonces, deshaciendo el cambio obtenemos que la serie de Fourier de la funcin de partida f es A0 X n x n x An cos + + Bn sin 2 T T
n=1

donde An = 1 T

f (x) cos

n x 1 dx y Bn = T T

f (x) sin

n x dx T

y por tanto, stos son los coecientes de Fourier de la funcin 2T peridica f. Nota 4.3.1 Lgicamente, todos los resultados que hemos obtenido en este captulo para funciones 2 peridicas son vlidos para funciones 2T peridicas.

4.4. Ejercicios

55

Denicin 4.3.1 Sea f : ]0, ] R una funcin continua a trozos. Se denomina extensin par de f, de periodo 2 , a la funcin f (x) si x ]0, ] fp (x) = f (x) si x ] , 0] y lgicamente fp (x + 2 ) = f (x) . Ntese que fp P C (2 ) y es una funcin par. Se denomina extensin impar de f, de periodo 2 , a la funcin si x ]0, ] f (x) f (x) si x [ , 0[ fi (x) = 0 si x = 0 y tambin fi (x + 2 ) = f (x) . Ntese que fi P C (2 ) y es una funcin impar. Dado que fi y fp son funciones impar y par, respectivamente, los coecientes de Fourier de estas funciones se calculan por medio de las frmulas (4.3) y (4.4).

4.4

Ejercicios

1. Sean f y g dos funciones 2 peridicas, continuas y diferenciables a trozos. Supongamos que f y g tienen los mismos coecientes de Fourier. Se satisface la igualdad f (x) = g (x) para todo x R? Por qu? 2. Sea f L2 ([ , ] ; R) . Demuestra que si an y bn son los coecientes de Fourier de la funcin f, entonces lim an = lim bn = 0.
n n

3. Unicidad de los coecientes de Fourier. Sean f y g dos funciones 2 peridicas, continuas a trozos, y supongamos que f = g en todos los puntos de [ , ] , excepto en un nmero nito de ellos. Probar que entonces los coecientes de Fourier de las series de Fourier de f y g son iguales. 4. Forma compleja de una serie de Fourier. Sea n x n x a0 X + + bn sin an cos S (f, x) = 2 L L n=1 la serie de Fourier asociada a una funcin 2Lperidica f. Utiliza las expresiones complejas de las funciones sin x y cos x para probar que S (f, x) = donde
X

cn einx/L

n=

a0 an ibn an + ibn , cn = y cn = . 2 2 2 Esta ltima forma de escribir una serie de Fourier se denomina forma compleja de la serie de Fourier. c0 =

56

Captulo 4. Series de Fourier Trigonomtricas 5. Una de las aplicaciones de las series de Fourier es que nos permiten sumar determinadas series numricas. Teniendo en cuenta los desarrollos en serie de Fourier de las funciones 2 peridicas f (x) = |x| y f (x) = x, calcula la suma de las siguientes series numricas: (a)
X 1 n2 n=1

(b)

1 2 n=1 (2n 1)

(c)

n=1

X (1)n+1

2n 1

Indicacin: para (a) usar la identidad de Parseval y para (b) y (c) el teorema de convergencia puntual de series de Fourier. 6. Calcula los desarrollos en serie de Fourier de las extensiones par e impar de las funciones (a) f (x) = 2x 4 , 0 < x , (b) f (x) = x2 , 0 < x .

y estudia la convergencia en L2 , puntual y uniforme de dichas series. 7. Calcula el desarrollo en serie de Fourier de la funcin x + 1 si 1 < x < 0 f (x) = x 1 si 0 x < 1 y estudia la convergencia en L2 , puntual y uniforme de dicha serie. 8. Teniendo en cuenta el desarrollo en serie de Fourier cosenos de la funcin f (x) = x2 , calcula el desarrollo en serie de Fourier de la funcin f (x) = 2x. 9. Fenmeno de Gibbs. Consideremos la funcin f (x) = x , 0 < x 2 . (a) Calcula el desarrollo en serie de Fourier de la extensin 2 peridica de f. (b) Estudia la convergencia en L2 ([ , ]) , puntual y uniforme de dicha serie de Fourier.

(c) Si dibujsemos diferentes sumas parciales de la serie de Fourier asociada a f observaramos que a medida que aadimos ms y ms trminos, dichas sumas parciales desarrollan picos o esquinas cerca del punto x = 0. Adems, dichas esquinas tienden a cero en anchura pero no en altura. Este fenmeno se conoce con el nombre de fenmeno de Gibbs. A qu crees que es debido este fenmeno? Esboza una grca aproximada de la suma parcial 20 (por ejemplo) de la serie de Fourier asociada a f. Indicacin: para responder a esta cuestin no has de hacer ningn clculo. Simplemente limtate a buscar una explicacin razonable a esta cuestin basndote en los resultados que has obtenido en el apartado (b). 10. Series de Fourier en Teora de la Seal. Una seal (onda de sonido, electromagntica....) se representa matemticamente por medio de una funcin real de variable real f = f (t) , donde t normalmente representa el tiempo. La seal se dice peridica de periodo T > 0 si f (t + T ) = f (t) para todo tiempo t. La energa de una tal seal se dene como E (f ) = Z
T

|f (t)|2 dt,

4.5. Objetivos

57

es decir, la norma al cuadrado en L2 ([0, T ]) de f. La potencia de la seal es P (f ) = E (f ) /T. Si escribimos la serie de Fourier asociada a f en forma compleja, esto es, S (f, t) =
X

cn eint/T ,

n=

entonces el espectro (en amplitud) de la seal se dibuja representando en cada punto n/T un segmento (o echa) de longitud |cn | , es decir, se trata de representar amplitud frente a frecuencia. Estos nmeros |cn | se denominan armnicos de la seal. Comprueba que P (f ) =
X

n=

|cn |2 .

Supongamos que nos dan una seal peridica f (t) = 1 |t| , |t| 1.

Para esta seal, calcula su energa, su potencia y sus armnicos. Esboza tambin la grca de su espectro.

4.5

Objetivos

Entender el concepto de serie de Fourier asociada a una funcin peridica y adquirir habilidad en el clculo de los desarrollos en serie de Fourier. Entender los conceptos de convergencia en media cuadrtica, puntual y uniforme. Conocer los resultados de convergencia de series de Fourier.

4.6

Comentarios sobre la Bibliografa

Como se ha mencionado repetidamente a lo largo del captulo, las referencias bsicas que hemos utilizado son los libros de Folland [8, Ch. 2] y Pinkus-Zafrany [19, Ch. 2]. Referencias en castellano que pueden ser muy tiles al alumno son los libros de Pedregal [16, p.p. 105-116] y Marcelln-Casass-Zarzo [13, Cap. 12]. Respecto de las aplicaciones de las series de Fourier a la Teora de la Seal, se recomienda [10].