Tema 7

Series de Fourier
7.1 Conceptos previos sobre series
n

Dada la sucesin {an } , an IR, n IN, se llama suma parcial n-sima al nmero o e u n=1 Sn = a1 + a2 + . . . + an =
i=1

ai

. La sucesin {Sn } recibe el nombre de sucesin de sumas parciales de {an } . o o n=1 n=1 Si {Sn } es convergente, se dice que {an } es sumable y lim Sn = S representa la suma de n=1 n=1 n todos los trminos de {an } . En este caso denotaremos e n=1
n

S = lim Sn = lim
n

ai =
i=1 n=1

an .

an recibe el nombre de serie numrica de trmino general an y se dir que e e a con suma S IR. Si lim Sn = + o se dice que
n n=1 n n=1 n=1

an es convergente

an es divergente. an es oscilante.

Si no existe el lim Sn se dice que

n=1

Decidir si
n=1

an es convergente, divergente u oscilante es estudiar el carcter de la serie. a

Ejemplo 1.

n=1

0 es convergente porque an = 0 y Sn = 0, n IN, con lo que lim Sn = 0.

n

n=1

1 es divergente porque bn = 1 y Sn = n, n IN, por tanto lim Sn = lim n = .

n n

n=1

(1)n es oscilante porque cn = (1)n y Sn =

0, npar, por lo que no existe lim Sn . n 1, nimpar,

En general, se suman pocas series porque es dif encontrar la expresin de la suma parcial, aunque cil o existen diferentes criterios que permiten decidir el carcter sin conocer las sumas parciales. Estos a criterios no son objeto de este tema pero es conveniente saber que las propiedades de las sumas con un nmero nito de sumandos no se cumplen para una serie. u

Matemticas III a

ma

7.1 Conceptos previos sobre series

Denicin 2.- Una sucesin de funciones reales de variable real con dominio A IR es una o o funcin o F : IN F = {f / f :A IR} . n F (n) = fn . fn es llamado trmino general de la sucesin de funciones y utilizaremos la notacin {fn (x)} , e o o n=1 x A IR, n IN, fn (x) IR, para denotar la sucesin. o El estudio de la convergencia se complica: el contador n IN es discreto, mientras que x A IR es una variable continua. Denicin 3.- Se dice que la sucesin de funciones {fn (x)} , x A IR, n IN, fn (x) IR, o o n=1 converge en el punto x0 A si la sucesin numrica {fn (x0 )} converge, es decir, si lim fn (x0 ) o e n=1 n IR. Llamaremos dominio de convergencia puntual de {fn (x)} , x A IR, al conjunto n=1 B = {x0 A/{fn (x)} n=1 converge puntualmente en x0 } = {x0 A/ lim fn (x0 ) IR}.
n

Llamaremos funcin l o mite puntual de

{fn (x)} , n=1

x A IR, a la funcin o

f : B IR x f (x) = lim fn (x). .

n

Ejemplo 4.- Estudiar la convergencia puntual de las siguientes sucesiones de funciones. x 1. {fn (x)} = { } , x IR. n=1 n n=1 x0 x Fijamos x0 IR, lim fn (x0 ) = lim = 0, por tanto la sucesin { } converge puntualmente o n n n n n=1 a la funcin f (x) = 0 en cada x IR. o 2. {gn (x)} = {xn (1 x)} , x [0, 1]. n=1 n=1 Fijamos x0 [0, 1], lim gn (x0 ) = lim xn (1 x0 ) = 0, por lo que la sucesin {xn (1 x)} o n=1 n n 0 converge puntualmente a la funcin g(x) = 0 en cada x [0, 1]. o 3. {hn (x)} = {xn } , x [1, 1]. n=1 n=1 Fijamos x0 [1, 1], y estudiamos el l mite lim hn (x0 ) = lim xn = 0
n

no existe,

o Se concluye que la sucesin {xn } converge puntualmente a la funcin h(x) = o n=1 y no converge en 1.

0, 1,

x0 = 1, 1 < x0 < 1, x0 = 1. 0, 1 < x < 1, 1, x = 1,

Una vez estudiado qu ocurre en cada punto, veamos el comportamiento global de la sucesin de e o funciones en su dominio de convergencia puntual. Puede ser deseable que cuando n tiende hacia innito las grcas de las funciones de la sucesin se acerquen a la vez a la grca de la funcin que es a o a o su l mite puntual. Denicin 5.- Sea {fn (x)} , x A IR, y f : B A IR su funcin l o o mite puntual. Se dice n=1 que {fn (x)} converge uniformemente hacia f (x) en C B A si n=1
n

lim

sup |fn (x) f (x)| = 0.

xC

Matemticas III a

ma

7.1 Conceptos previos sobre series

Ejemplo 6.- En el apartado 2 del Ejemplo 4 vimos la convergencia puntual en cada x [0, 1] {gn (x)} = {xn (1 x)} g(x) = 0. n=1 n=1 Para estudiar si la convergencia es uniforme en [0, 1], consideramos |gn (x) g(x)| = gn (x) = xn (1 x) sup xn (1 x) = sup {gn (0), gn (1), gn (
x[0,1] n x[0,1] x[0,1]

n n )} = sup {0, 0, n+1 n+1 x[0,1]

1 }= n+1

n n+1

1 , n+1

y lim sup |gn (x) g(x)| = 0, lo que implica la convergencia uniforme en [0, 1] de {xn (1 x)} n=1 hacia g(x) = 0. La convegencia uniforme de una sucesin de funciones garantiza que se heredan algunas propiedades de o las funciones de la sucesin a la funcin l o o mite puntual (sin la convergencia uniforme no se garantiza), por ejemplo la acotacin, la continuidad y la integrabilidad. As en el apartado 3 del Ejemplo 4, no hay o , convergencia uniforme de {xn } hacia su funcin l o mite puntual h(x) en [0, 1], porque las funciones n=1 hn (x) son continuas en [0, 1] y h(x) no. Denicin 7.- Dada {fn (x)} , x A IR, se llama sucesin de sumas parciales de {fn (x)} o o n=1 n=1 a la sucesin de funciones {Sn (x)} , x A, donde o n=1 Sn (x) = f1 (x) + f2 (x) + . . . + fn (x), x A.

Se dice que {fn (x)} es sumable en x A si su sucesin de sumas parciales es convergente en cada o n=1 x A, es decir, si existe lim Sn (x) para cada x A. A este l mite le llamamos serie de funciones n , x A y lo denotamos como asociada a {fn (x)}n=1

fn (x),
n=1

x A.

Denicin 8.- Sea la serie de funciones o

n=1

fn (x),

x A y B A su dominio de convergencia

puntual. Se llama funcin suma de la serie a la funcin o o S : B IR

S(x) = lim Sn (x) =

n n=1

fn (x).

Denicin 9.- Se dice que o

n=1

fn (x),

x A converge uniformemente en C B A a la funcin o

suma S(x) si {Sn (x)} S(x) uniformemente en C. n=1 Esta convergencia uniforme es dif de estudiar y tambin garantiza que la funcin suma S(x) herede cil e o las propiedades de las funciones fn (x) (acotacin, continuidad, integrabilidad). De entre las series de o funciones destacamos dos tipos: las series de Taylor (series de potencias) y las series de Fourier (series trigonomtricas). e Denicin 10.- Se llama serie de potencias centrada en c IR a cualquier serie de funciones de la o

forma
n=0

an (x c)n ,

an IR.

Es caracter stico de estas series que convergen en un intervalo A centrado en c y radio de convergencia

R, (c R, c + R) A [c R, c + R]. Si S(x) es su funcin suma en A, S(x) = o cumple que

Matemticas III a

an (x c)n , se
n=0

ma
1. S(x) es continua en (c R, c + R).

7.2 Serie de Fourier

2. S(x) es derivable en (c R, c + R) y S (x) =

n=1

nan (x c)n1 . an (x c)n+1 es una primitiva de S(x). n+1 n=0

3. S(x) es integrable en (c R, c + R) y G(x) =

Como consecuencia S(x) es indenidamente derivable en (c R, c + R). Denicin 11.- Sea f (x) una funcin indenidamente derivable en (c R, c + R), se llama serie de o o Taylor de f (x) en el punto c, a la serie de potencias f n) (c) (x c)n . n! n=0 Se tiene que f (x) = f n) (c) (x c)n lim Rn (x) = 0, n n! n=0

x (c R, c + R),

siendo Rn (x) el resto de la serie de Taylor; es decir, Rn (x) =

f n+1) () (x c)n+1 , donde es un punto (n + 1)!

situado entre x y c. En el resto del cap tulo introduciremos las series de Fourier, que tienen un uso destacado en el estudio y solucin de las ecuaciones en derivadas parciales. o

7.2

Serie de Fourier

Denicin 12.- Una funcin f denida en IR se dice que es peridica si existe un nmero T > 0 tal o o o u que f (x + T ) = f (x) para todo x IR. El nmero T ms pequeo con esta propiedad se llama per u a n odo fundamental de f . Obviamente se satisface f (x + nT ) = f (x) para n entero y x IR. Ejemplo 13.- Las funciones sen(x) y cos(x) son peridicas de per o odo 2, para todo x IR. Ejemplo 14.- Para cada entero positivo n = 1, 2, . . . , se tiene que n(x + 2L) nx nx = cos + 2n = cos , L L L n(x + 2L) nx nx sen = sen + 2n = sen , L L L cos por tanto, cos nx L y sen nx L son funciones peridicas con per o odo 2L.

Sea f una funcin denida en [L, L] (ver la Figura 1.2) o Construimos la extensin peridica de f en (L, L] a IR, de per o o odo 2L, vase la Figura 1.2. e Para esta funcin extendida peridicamente tiene sentido buscar un desarrollo en serie de la forma o o siguiente
nx 1 f (x) a0 + an cos 2 L n=1

+ bn sen

nx L

7.1

Matemticas III a

ma

7.2 Serie de Fourier

donde a0 , an y bn son coecientes constantes que deberemos calcular. Posteriormente discutiremos la convergencia de la serie. Es fcil comprobar por clculo directo a a
L

cos
L L

nx L

dx = 0,
L

sen dx = dx = sen

nx L

dx = 0,

n = 1, 2, ,

7.2 7.3 7.4 7.5

cos
L L

nx L nx L

cos sen
L

mx L mx L nx L

0, n = m, L, n = m, 0, n = m, L, n = m, mx L dx = 0,

n, m = 1, 2, , n, m = 1, 2, , n, m = 1, 2, .

sen
L

cos
L

Las relaciones (1.2)-(1.5) indican la ortogonalidad de las funciones que intervienen en la serie. Para calcular los coecientes de la serie de Fourier de f vamos a considerar (1.1) como una igualdad. Si integramos (1.1) trmino a trmino en [L, L] y usamos (1.2) obtenemos que e e a0 = 1 L
L

f (x) dx.
L

7.6

Si multiplicamos (1.1) por cos(mx/L) e integramos en [L, L] y utilizamos (1.2), (1.3) y (1.5) se tiene Lam . Reemplazando m por n, se consigue an = 1 L
L

f (x) cos
L

nx L

dx,

n = 1, 2, .

7.7

Finalmente multiplicamos (1.1) por sen(mx/L) y repetimos el procedimiento anterior, pero utilizando (1.4) y (1.5) y llegamos a bn = 1 L
L

f (x) sen
L

nx L

dx,

n = 1, 2, .

7.8

Los nmeros a0 , an y bn dados por (1.6), (1.7), (1.8) se denominan coecientes de Fourier de f . u Denicin 15.- Se dice que una funcin f es continua a trozos en [a, b] si es continua salvo a lo sumo o o en un nmero nito de puntos en [a, b] donde tiene discontinuidades de salto nito. u Se dice que f es regular a trozos en [a, b] si f y f son continuas a trozos en [a, b]. Si f es regular a trozos en [L, L], entonces los valores de f en los puntos de discontinuidad no afectan L a la construccin de su serie de Fourier. Ms concretamente, L f (x) dx existe y es independiente de o a los valores de f en sus puntos de discontinuidad (que son un nmero nito). u Teorema 16.- Si f es regular a trozos en [L, L], entonces su serie de Fourier converge puntualmente a 1. la extensin peridica de f en IR en todos los puntos donde esta extensin es continua; o o o 2. salto nito.
1 2 (f (x) + f (x+))

en los puntos x donde la extensin peridica de f tiene una discontinuidad de o o

Esto signica que si f es regular a trozos en [L, L], en cada x en (L, L) donde f es continua, la suma de la serie (1.1) es igual a f (x). Adems si f es continua en [L, L] y f (L) = f (L) entonces la a suma de la serie (1.1) es igual a f (x) para todo x en [L, L].

Matemticas III a

ma
Ejemplo 17.- Se considera la funcin denida por o f (x) = x + 2, 2 x < 0, 0, 0 x 2,

7.3 Serie de Fourier en senos

cuya grca puede verse en la Figura 17. Claramente, aqu L = 2. a La extensin peridica de per o o odo 4 de f , denida como f (x + 4) = f (x) para todo x de IR, se muestra en la Figura 1.2. Usando (1.6)-(1.8) e integracin por partes, se obtienen o a0 = an = bn = 1 2 1 2
L

1 2

f (x) dx =
2

1 2

(x + 2) dx = 1,
2

f (x) cos
L L

nx L nx L

dx = dx = 1 2

1 2

(x + 2) cos
L 0

nx L nx L

dx = (1 (1)n ) dx = 2 , n

2 n2 2

f (x) sen
L

(x + 2) sen
L

n = 1, 2, . . . ,

y la serie de Fourier de f es
2 nx 1 (1 (1)n ) 2 2 cos f (x) + 2 n=1 n 2

2 nx sen n 2

Por el Teorema 16, en 2 x 2 (la serie) =

x + 2,

es decir, la serie converge a f (x) en [2, 0) y en (0, 2], donde la extensin peridica de f es continua; o o en x = 0 donde la extensin tiene un discontinuidad de salto nito, la serie converge a o 1 1 (f (x) + f (x+)) = (2 + 0) = 1. 2 2 La grca de la funcin denida por la suma de la serie se muestra en la Figura 1.2. a o En la Figura 1.2 se muestra cmo los 5 pimeros trminos de la serie aproximan a f . o e

1, 0,

2 x < 0, x = 0, 0 < x 2,

7.3

Serie de Fourier en senos

Para cierto tipo de funciones la serie (1.1) tiene una forma ms simple. a Denicin 18.- Una funcin f denida en un intervalo simtrico respecto al origen se dice que es o o e impar si f (x) = f (x) para todo x del intervalo. Por otra parte si f (x) = f (x) para todo x del intervalo, se dice que f es una funcin par. o Ejemplo 19.1. Las funciones sen(nx/L), n = 1, 2, . . . , son impares. Las funciones cos(nx/L), n = 0, 1, 2, . . . , son pares. 2. La funcin que est a la izquierda en la Figura 2 es impar (su grca es simtrica respecto del o a a e origen) y la de la parte derecha es par (su grca es simtrica respecto del eje y). a e

Matemticas III a

ma

7.3 Serie de Fourier en senos

Es fcil comprobar que el producto de dos funciones impares es par, que el producto de dos funciones a pares es par y el producto de una funcin par y otra impar es impar. o Si f es impar en [L, L], entonces
0 0 0 L

f (x) dx =
L L L

f (x) d(x) =
L 0

f (x) dx =
0 L

f (x) dx,

con lo que f (x) dx =

L

f (x) dx +
L 0

f (x) dx = 0.

Si f es par en [L, L], entonces

0 0 0 L

f (x) dx =
L L L

f (x) d(x) =
L 0 L

f (x) dx =
0 L

f (x) dx,

y por tanto f (x) dx =

L

f (x) dx +
L 0

f (x) dx = 2
0

f (x) dx.

Si f es impar, tambin lo es f (x) cos(nx/L) y, por (1.6) y (1.7) se tiene que e an = 0, n = 0, 1, 2, . . . ,

es decir, la serie de Fourier de una funcin impar en [L, L] contiene slo trminos senos. De forma o o e similar, si f es par, entonces f (x) sen(nx/L) es impar y por (1.8) bn = 0, n = 1, 2, . . . ,

lo que signica que la serie de Fourier de una funcin par tiene slo trminos cosenos, incluido el o o e trmino constante. Sea f una funcin denida en [0, L]. Construimos la extensin impar de f de e o o (0, L] a [L, L] tomando f (x) = f (x) para todo x en [L, L], x = 0, y f (0) = 0. A continuacin o construimos la extensin peridica con per o o odo 2L de esta funcin impar de (L, L] a IR. o Vemoslo con un ejemplo. En la Figura 1.3 tenemos una funcin denida en [0, L]. a o En la Figura 1.3 mostramos la extensin impar en [L, L] y en la Figura 1.3 se puede ver su o extensin peridica o o Finalmente construimos la serie de Fourier de la extensin peridica que por ser impar slo tiene o o o trminos senos, es decir e

f (x)
n=1

bn sen

nx , L

7.9

donde de acuerdo con las Notas 1.3 y 1.3, los coecientes vienen dados por bn = 2 L
L

f (x) sen
0

nx L

dx,

n = 1, 2, .

7.10

La serie de (1.9) se denomina desarrollo en serie de senos Fourier de f (x). Ejemplo 20.- Se considera la funcin f (x) = 1 x, 0 x 1, que se muestra en la Figura 20. o En la Figura 1.3 se dibuja la extensin impar de f y en la Figura 1.3 su extensin peridica de o o o per odo 2. Usando (1.10) con L = 1 e integracin por partes se obtiene o
1

bn = 2 y entonces

(1 x) sen(nx)) dx =
0

2 , n

n = 1, 2, ,

f (x)
n=1
Matemticas III a

2 sen(nx). n
7

ma
Por el Teorema 16, para 0 < x 1, la serie = 0, x = 0, 1 x, 0 < x 1,

7.4 Serie de Fourier en cosenos

es decir, la serie converge a f (x) para 0 < x 1, donde la extensin peridica de f a IR es continua, y o o a 1 1 (f (0) + f (0+)) = (1 + 1) = 0 2 2 en x = 0, donde la extensin peridica tiene una discontinuidad de salto nito. o o

7.4

Serie de Fourier en cosenos

Teniendo en cuenta la Nota 1.3, una funcin denida en [0, L] puede ser desarrollada en serie de Fourier o en cosenos. La construccin es similar a la de la serie de Fourier en senos. Sea f una funcin denida o o en [0, L]. Extendemos f como una funcin par de (0, L] a [L, L] tomando f (x) = f (x) para todo o x en [L, L]. Despus construimos la extensin peridica con per e o o odo 2L de esta funcin par o de (L, L] a IR. Por ejemplo en la Figura 1.4 tenemos una funcin denida en [0, L]. o En la Figura 1.4 mostramos la extensin par en [L, L] y en la Figura 1.4 se puede ver su extensin o o peridica o Finalmente construimos la serie de Fourier de la extensin peridica que por ser par slo tiene o o o trminos cosenos, es decir e
1 nx f (x) a0 + an cos , 2 L n=1

7.11

donde de acuerdo con (1.6), (1.7) y la Nota 1.3, los coecientes vienen dados por a0 = an = 2 L
L

2 L

f (x) dx,
0

7.12 7.13

f (x) cos
0

nx L

dx,

n = 1, 2, .

La serie de (1.11) se denomina desarrollo en serie de Fourier en cosenos de f (x). Ejemplo 21.- Se considera la funcin f (x) = 1 x, 0 x 1, que se muestra en la Figura 20. o En la Figura 1.4 se dibuja la extensin par de f y en la Figura 1.4 su extensin peridica de per o o o odo 2. Usando (1.12) y (1.13) con L = 1 e integracin por partes se obtiene o
1

a0 = 2
1

(1 x) dx = 1,
0

an = 2

(1 x) cos(nx)) dx = (1 (1)n )

2 n2 2

n = 1, 2, ,

y entonces la serie de Fourier en cosenos es

1 2 f (x) + (1 (1)n ) 2 2 cos(nx). 2 n=1 n

Por el Teorema 16, la serie coincide con f (x) para 0 x 1, porque la extensin peridica de f a IR o o es continua.

Matemticas III a

ma
7.5 Convergencia y derivacin o

7.5 Convergencia y derivacin o

Primero vamos a hacer varias aclaraciones. Una funcin denida en [0, L] puede ser desarrollada en o una serie de Fourier, o en una serie de Fourier en senos, o en una serie de Fourier en cosenos. Mientras que las dos ultimas son unicas, la primera no, ya que la serie de Fourier no requiere simetr y f se a puede extender a [L, L] de innitas formas. Una funcin denida en [L, L], en general, slo puede o o ser desarrollada en serie de Fourier. Antes vimos que no podemos usar automticamente la igualdad a entre una funcin f y su serie de Fourier. De acuerdo con el Teorema 16, para una serie de Fourier de o una funcin f regular a trozos, slo podemos considerar la igualdad con f para los puntos de (L, L) o o donde f es continua; tambin podemos hacerlo en x = L y x = L cuando f es continua en esos e puntos por la derecha y por la izquierda respectivamente, y f (L) = f (L). Para una serie de senos, se da la igualdad en x = L si en ese punto f es continua por la izquierda y f (L) = 0. Para una serie de cosenos la igualdad es siempre posible si f es continua en x = L por la izquierda. Argumentos similares se pueden usar para las series de senos y de cosenos en x = 0. En algunas aplicaciones a menudo necesitamos derivar las series de Fourier trmino a trmino. Por tanto, es importante saber e e cundo podemos hacer esta operacin. a o Teorema 22.1. Si f es continua en [L, L], f (L) = f (L), y f es regular a trozos en [L, L], entonces la serie de Fourier de f puede ser derivada trmino a trmino y la serie resultante es la e e , que converge a f (x) en todos los puntos x en los que f (x) es continua. serie de Fourier de f 2. Si f es continua en [0, L], f (0) = f (L) = 0, y f es regular a trozos en [0, L], entonces la serie de Fourier en senos de f puede ser derivada trmino a trmino y la serie resultante es la serie de e e Fourier en cosenos de f , que converge a f (x) en todos los puntos x en los f (x) es continua. 3. Si f es continua en [0, L] y f es regular a trozos en [0, L], entonces la serie de Fourier en cosenos de f puede ser derivada trmino a trmino y la serie resultante es la serie de Fourier en senos de e e , que converge a f (x) en todos los puntos x en los que f (x) es continua. f En los problemas de ecuaciones en derivadas parciales que estudiaremos en los temas siguientes las condiciones del teorema anterior se satisfacen siempre y derivaremos formalmente la correspondiente serie de Fourier trmino a trmino sin hacer mencin expl e e o cita de estas condiciones.

7.6

Ejercicios

1. Construir la serie de Fourier de la funcin f dada. En cada caso discutir la convergencia de la o serie en el intervalo [L, L] en el que f est denida y dibujar la funcin a la que la serie converge a o puntualmente en el intervalo [3L, 3L]. (a) f (x) = (b) f (x) = (c) f (x) = 1, 1 x 0, 0, 0 < x 1. 0, x 0, 3, 0 < x . 1, /2 x 0, 2, 0 < x /2. 2 x 2. x, 1 x 0, 2x 1, 0 < x 1. 1 x 1. ex , 2 x 2.
9

(d) f (x) = 1 2x, (e) f (x) =

(f) f (x) = x2 2x + 3, (g) f (x) =

Matemticas III a

ma
(h) f (x) = (i) f (x) = 1, /2 x 0, sen(x), 0 < x /2. 3, x /2, 1, /2 < x .

7.6 Ejercicios

2. Construir la serie de Fourier en senos y la serie de Fourier en cosenos de la funcin f dada. En o cada caso discutir la convergencia de la serie en el intervalo [L, L] en el que f est denida y a dibujar la funcin a la que la serie converge puntualmente en el intervalo [3L, 3L]. o (a) f (x) = (b) f (x) = 0, 0 x 1, 1, 1 < x 2. 2, 0 x /2, 3, /2 < x . 0 x 1. 2 + x, 0 x 1, 1 x, 1 < x 2. 0 x . cos(x), 0 x /2, 1, /2 < x .

(c) f (x) = 2 x, (d) f (x) =

(e) f (x) = x + sen(x), (f) f (x) =

Matemticas III a

10