Tema 4: Series de Fourier

Las series de Fourier surgen al intentar representar una funcion periodica f (x) en terminos
de funciones seno y coseno, que son las funciones periodicas mas simples y conocidas. La razon
se debe a la facilidad con que se resuelven ciertos problemas cuando se transforman estas
funciones periodicas en series de Fourier.
Recordemos que una funcion f : R R es periodica de perodo L (o L-periodica) cuando
existe L > 0 tal que f (x + L) = f (x), x R. En ese caso se tiene automaticamente que
f (x + nL) = f (x) para cualesquiera x R y n Z. Es obvio que si L es un perodo de f (x),
entonces tambien lo son L, 2L, 3L, .... Se denomina perodo fundamental de una funcion
periodica al perodo L > 0 tal que f (x) no es T -periodica para ning
un valor 0 < T < L. Cuando
no haya posibilidad de confusion, nos referiremos al perodo fundamental simplemente como
perodo de la funcion.
La pregunta que nos planteamos es si, dada una funcion f (x) periodica de perodo 2L,
podemos obtener f (x) como una combinacion de senos y cosenos de la forma:
a0 +

+
X

(an cos

n=1

 nx 
L

+ bn sen

 nx 
L

A la serie anterior se le denomina serie de Fourier de f (x) y a los coeficientes ak y bk ,

coeficientes de Fourier.
La cuestion anterior deriva en otras dos: en primer lugar, determinar los coeficientes ak y
bk y posteriormente, establecer si la serie converge a la propia funcion f (x).
Suponiendo que se da la convergencia e integrando termino a termino, puede deducirse la
expresion deZlos coeficientes de Fourier:
L
1
a0 =
f (x)dx
2L L
Z
 nx 
1 L
dx y
an =
f (x) cos
L L
L
Z
 nx 
1 L
bn =
f (x) sen
dx, n 1.
L L
L
Puesto que la funcion f (x) tiene perodo 2L, las integrales anteriores pueden hacerse sobre
cualquier intervalo de longitud 2L, por ejemplo [0, 2L].
En el caso particular en el que f (x) sea una funcion de perodo 2 e integrable en el intervalo
[, ], la serie de Fourier de f (x) adquiere la forma:
a0 +

+
X

(an cos(nx) + bn sen(nx))

n=1

1
con a0 =
2

1
f (x)dx, an =

1
f (x) cos(nx)dx y bn =

f (x) sen(nx)dx, n 1.

Ejemplo 1 Hallar la serie de Fourier de la funcion f (x) =

si < x < 0
si 0 < x <

Consideramos
extendida periodicamente a todo R con perodo 2L = 2.
Z L la funcion anterior
Z
1
1
a0 =
f (x)dx =
2dx = 1.
2L L
2 0
Para n
Z 1:
Z
 nx 
1 L
1
2
an =
f (x) cos
dx =
2 cos(nx)dx =
sen(nx)]0 = 0.
L L
L
0
n
Z
Z
 nx 
1 L
1
2
bn =
f (x) sen
dx =
2 sen(nx)dx =
cos(nx)]0 =
L
L

n
L
0

si n = 1, 3, 5, ...
n
=

0
si n = 2, 4, 6, ...
Por lo tanto, la serie de Fourier de f (x) es:


4
1
1
1+
sen(x) + sen(3x) + sen(5x) + ...

3
5
Teorema 1 Teorema de convergencia de Dirichlet.
Sea f (x) periodica de perodo 2L tal que ella y su derivada estan definidas y son continuas
salvo a lo sumo en n
umero finito de discontinuidades de salto.
a) Si f (x) es continua en un punto x0 , entonces la serie de Fourier de f (x) converge en ese
punto a f (x0 ).
+
 nx 
 nx 
X
0
0
+ bn sen
) = f (x0 )
a0 +
(an cos
L
L
n=1

b) Si f (x) tiene una discontinuidad de salto en x0 , entonces la serie de Fourier de f (x)

converge en ese punto al punto medio del salto, es decir:

a0 +

+
X
n=1

(an cos

 nx 
0

+ bn sen

 nx 
0

)=

+
f (x
0 ) + f (x0 )
2

donde f (x
m f (x) y f (x+
m+ f (x).
0 ) = l
0 ) = l
xx0

xx0

El teorema anterior nos dice, en particular, que si f (x) verifica esas condiciones podemos
redefinir el valor de f (x) en cada punto de discontinuidad como el punto medio del salto, o
f (x ) + f (x+ )
sea, f (x) =
y entonces la suma de su serie de Fourier coincide con f (x) en cada
2
x R.
Funciones pares e impares.
Recordemos que una funcion f (x) es par si f (x) = f (x) e impar si f (x) = f (x). El
producto de dos funciones pares es una funcion par, al igual que el producto de dos funciones
impares. Por otra parte, el producto de una funcion par y otra impar es una funcion impar.
Ademas:

f (x)dx = 2

Si f (x) es par, entonces

a

f (x)dx.
0

Si f (x) es impar, entonces

f (x)dx = 0.
a

Debido a las propiedades anteriores, los desarrollos en series de Fourier de la funciones pares
e impares tienen una expresion muy caracterstica, como veremos a continuacion.
Caso par:
Dada una funcion par f (x) de perodo 2L e integrable en el intervalo [L, L], entonces su
serie de Fourier es una serie de cosenos, es decir:
a0 +

+
X

(an cos

 nx 
L

n=1

con coeficientes:
Z
Z
 nx 
1 L
2 L
a0 =
f (x)dx, an =
f (x) cos
dx, n 1.
L 0
L 0
L
Caso impar:
Dada una funcion impar f (x) de perodo 2L e integrable en el intervalo [L, L], entonces
su serie de Fourier es una serie de senos, es decir:
+
X
n=1

bn sen

 nx 
L

con coeficientes:
Z
 nx 
2 L
bn =
f (x) sen
dx, n 1.
L 0
L
En ocasiones es necesario expresar una funcion como una serie de Fourier de senos o como
una serie de Fourier de cosenos. Esto se hace definiendo la funcion de manera adecuada fuera
de dicho intervalo para que sea par o impar.
Ejemplo 2 Hallar la serie de Fourier de f (x) = x en [, ].
Observemos en primer lugar que f (x) es una funcion impar (f (x) = x = f (x)) de
perodo 2L = 2, por lo que su serie de Fourier es una serie de senos.
Calculamos los coeficientes:
n 1:Z
Z
 nx 
2
2 L
f (x) sen
x sen(nx)dx = [por partes : u = x; dv = sen(nx)dx] =
dx =
bn =
L 0 
 0 




Z L

2 x cos(nx)
1
2 x
1
2 x
+
cos(nx)dx =
cos(nx) + 2 sen(nx) =
cos(nx) + 0 =

n 0
n
n
n
0
0
0
n
2

para n = 1, 3, 5, ...

n=n
2
=
= (1)n+1 .

2
2

=
para n = 2, 4, 6, ...
n
n
Por lo tanto, la serie de Fourier de f (x) es:
+
X
2
(1)n+1 sen(nx).
n
n=1