Tema 13

Series de Fourier.
Hemos visto, en el tema 8, que algunas funciones reales pueden representarse mediante su
desarrollo en serie de potencias, lo que signica que pueden aproximarse mediante polinomios.
Sin embargo, cuando las funciones presentan propiedades especiales como la periodicidad, que
los polinomios no poseen, no son los mejores aproximantes. En este tema, consideraremos otros
desarrollos en serie mas adecuados para funciones periodicas.
13.1 Series trigonometricas.
Denicion 13.1 Llamamos serie trigonometrica a una serie de funciones reales, de la forma

n=0
f
n
(x) =

n=0
(a
n
cos nx + b
n
sennx) = a
0
+

n=1
(a
n
cos nx + b
n
sennx), 13.1
y denotaremos por S(x) =

n=0
f
n
(x) a la funcion suma de la serie en su conjunto de convergencia.
Observacion 13.2 Las funciones f
n
(x) = a
n
cos nx +b
n
sennx, son periodicas de periodo 2,
por tanto, S(x) es una funcion periodica de periodo 2.
13.1.1 Las series trigonometricas en modo complejo.
Usando los n umeros complejos, como e
ix
= cos x + i senx, se tiene que
S(x) =a
0
+

n=1
a
n
e
inx
+ e
inx
2
+ b
n
e
inx
e
inx
2i
= a
0
+

n=1
a
n
ib
n
2
e
inx
+
a
n
+ ib
n
2
e
inx
[1]
=a
0
+

n=1
a
n
ib
n
2
e
inx
+

n=1
a
n
+ib
n
2
e
inx
con la convergencia de ambas y reindexando, podemos escribirlo en la forma
=

n=
c
n
e
inx
donde
_

_
c
0
=a
0
c
n
=a
n
ib
n
, si n > 0
c
n
=c
n
, si n < 0
13.2
[1]: Si las dos series siguientes convergen. Como
a
n
+ib
n
2
e
inx
=
a
n
ib
n
2
e
inx
ambas convergen o
no simultaneamente.
Proposicion 13.3 Sea S(z) =

n=
c
n
e
inz
, con c
0
= a
0
, c
n
= a
n
ib
n
, si n > 0, y c
n
= c
n
,
si n < 0, siendo a
n
, b
n
IR. Entonces, si z = x IR se tiene que S(z) = S(x) IR.
Demostracion:
Es claro, pues entonces S(x) puede expresarse como 13.1 que es una serie real.
Teora de variable compleja. 165
13 Series de Fourier.
Proposicion 13.4 Las series numericas

n=0
a
n
y

n=1
b
n
son absolutamente convergentes s, y
solo si, la serie

n=
c
n
e
inx
converge absolutamente en IR.
Ademas, la serie

n=
c
n
e
inx
converge uniformemente en IR.
Demostracion:
Es inmediato ya que, para cada n IN, se tiene
|a
n
|
2
|b
n
|
2
_
|c
n
e
inx
| = |c
n
|
|a
n
|
2
+
|b
n
|
2
.
Como la acotacion anterior es valida para todo x IR, el criterio M de Weierstrass asegura
la convergencia uniforme en IR.
Proposicion 13.5 La funcion real S(x) =

n=
c
n
e
inx
, con las condiciones indicadas en
13.2, es 2-periodica.
Demostracion:
En efecto, para todo x IR,
S(x + 2) =

n=
c
n
e
in(x+2)
=

n=
c
n
e
inx
e
in2
=

n=
c
n
e
inx
= S(x).
13.1.2 Integracion de una serie trigonometrica.
Supongamos que la serie trigonometrica S(x) =

n=
c
n
e
inx
es uniformemente convergente en
el intervalo [, ] . Entonces,
_

S(x) dx =

n=
_

c
n
e
inx
dx =

n=
_

c
n
e
inx
dx
=
1

n=
_

c
n
e
inx
dx +
_

c
0
dx +

n=1
_

c
n
e
inx
dx
=
1

n=
c
n
e
inx
in
_

+ c
0
2 +

n=1
c
n
e
inx
in
_

=
1

n=
0 + c
0
2 +

n=1
0 = 2c
0
.
Por tanto, si m = 0, se tiene que
_

e
imx
S(x) dx =

n=
_

c
n
e
i(nm)x
dx
=
m1

n=
_

c
n
e
i(nm)x
dx +
_

c
m
dx +

n=m+1
_

c
n
e
i(nm)x
dx
=
m1

n=
0 + 2c
m
+

n=m+1
0 = 2c
m
.
En consecuencia, para todo n ZZ, se tiene que
c
n
=
1
2
_

S(x)e
inx
dx. 13.3
166 Teora de variable compleja.
13.2 Series de Fourier
Desde el punto de vista real, para cada n IN, se tiene que
a
n
2
i
b
n
2
=c
n
=
1
2
_

S(x)e
inx
dx =
1
2
_

S(x) cos nxdx i

1
2
_

S(x) sennxdx,
luego
a
0
=
1
2
_

S(x) dx a
n
=
1

S(x) cos nxdx b

n
=
1

S(x) sennxdx. 13.4

De lo anterior, es claro que los coecientes de una serie trigonometrica estan ntimamente
ligados con la funcion suma. As, asociada a cada funcion real periodica se puede construir una
serie trigonometrica asociada (siempre que se puedan calcular las integrales anteriores).
13.2 Series de Fourier
Denicion 13.6 si f es una funcion real 2-periodica, tal que existen las integrales de 13.3
(o de 13.4), entonces la serie

n=
c
n
e
inx
= a
0
+

n=1
(a
n
cos nx + b
n
sennx)
se llama serie de Fourier de f .
Pero, bajo que condiciones una funcion periodica es expresable mediante su serie de Fourier?
Es decir, cuando una funcion periodica coincide con su serie de Fourier?
Denicion 13.7 Una funcion f: [a, b] IR se dice monotona a trozos si se puede dividir
el intervalo en un n umero nito de subintervalos, de forma que sea monotona en cada uno de
ellos.
Teorema 13.8 Si una funcion real f 2-periodica es monotona a trozos y acotada en [, ] ,
entonces la serie de Fourier de f converge en todos los puntos de IR.
Ademas, si S(x) es la suma de la serie de Fourier, se tiene que S(c) = f(c) si f es continua
en c y
S(c) =
lim
xc
+
f(x) + lim
xc

f(x)
2
=
f(c
+
) + f(c

)
2
si f no es continua en c.
Nota: Es claro que si la funcion es monotona por trozos y acotada en el segmento [a, b] , entonces
puede tener solo puntos de discontinuidad de primera especie, es decir de salto nito, por lo que
tiene sentido el valor que toma la serie en los puntos de discontinuidad.
Ejemplo 13.9 Sea f: IR IR con f(x + 2) = f(x) para todo x IR y siendo f(x) = x
cuando x (, ] .
La representacion graca de f es:
c c c c c

s s s s s
3 5 3 5
Teora de variable compleja. 167
13 Series de Fourier.
La serie de Fourier de f tiene por coecientes c
0
=
1
2
_

xdx = 0 y, para n > 0,

c
n
=
1
2
_

xe
inx
dx =
_
u =x
dv =e
inx
dx
:
du =dx
v =
e
inx
in
_
=
1
2
xe
inx
in
_

1
2
_

e
inx
in
dx
=
1
2
_
e
in
in

()e
in()
in
_
0 =

2ni
_
e
in
+ e
in
_
=
i
n
e
in
+ e
in
2
=
i cos n
n
=
(1)
n
n
i.
Como a
0
= c
0
= 0, a
n
= 2 Re(c
n
) = 0 y b
n
= 2 Im(c
n
) = 2
(1)
n
n
=
(1)
n+1
2
n
, y f es
monotona creciente en (, ] , por el teorema 13.8 anterior, la serie
S(x) =

n=1
(1)
n+1
2
n
sennx
converge en (, ] (por la periodicidad en todo IR). Ademas, S(x) = x en (, ) y en se
tiene S() =
f(
+
)+f(

)
2
=
()+
2
= 0.

Fig. 13.1. Aproximaciones de f(x)

n

k=1
(1)
k+1
2
k
senkx, para n = 1, 2, 3, 4.
13.2.1 Funciones de periodo arbitrario
Si f es una funcion 2T -periodica, T > 0, tambien puede construirse su serie de Fourier y los
resultados correspondientes son analogos a los anteriores.
Para ello, basta tomar x =
T

y, obteniendose
f(x) = f
_
T

y
_
= g(y) 13.5
una funcion g que sera 2-periodica. Si f es monotona a trozos en [T, T] tambien lo sera g
en [, ] .
Proposicion 13.10 Sea f real 2T -periodica y monotona a trozos en [T, T] . Entonces, la
funcion g(x) = f(
T

x) es:
13.1 periodica de periodo 2, y
13.2 monotona a trozos en [, ] .
Demostracion:
168 Teora de variable compleja.
13.2 Series de Fourier
13.1 En efecto,
g(x + 2) = f
_
T

(x + 2)
_
= f
_
T

x + 2T
_
[1]
= f
_
T

x
_
= g(x)
[1]: Por ser 2T -periodica la funcion f .
13.2 Sea [T, T] = [T, t
1
] [t
1
, t
2
] [t
m1
, T] y f monotona en cada uno de los [t
k1
, t
k
] .
Entonces, tomando [, ] = [,

T
t
1
] [

T
t
1
,

T
t
2
] [

T
t
m1
, ] , en cada intervalo de
la forma [

T
t
k1
,

T
t
k
] la funcion g tiene la misma monotona que f en [t
k1
, t
k
] .
En efecto, para cualesquiera x
1
y x
2
con

T
t
k1
x
1
x
2


T
t
k
, se verica que g(x
1
) =
f
_
T

x
1
_
y g(x
2
) = f
_
T

x
2
_
, pero como t
k1

T

x
1

T

x
2
t
k
sera g(x
1
) g(x
2
) o
g(x
1
) g(x
2
) seg un que f sea monotona creciente o decreciente en [t
k1
, t
k
] .
Como consecuencia, de los resultados anteriores, si f en 2T -periodica, usando la funcion g
construida en 13.5, se tiene
f(x) =g(y) =

n=
c
n
e
iny
=

n=
c
n
e
i
n
T
x
donde
c
n
=
1
2
_

g(y)e
iny
dy =
1
2
_

f
_
T

y
_
e
iny
dy =
_
T

y =x
T

dy =dx
_
=
1
2
_
T
T
f(x)e
i
n
T
x
T
dx
=
1
2T
_
T
T
f(x)e
i
n
T
x
dx.
En su version real nos queda:
f(x) = a
0
+

n=1
a
n
cos(
n
T
x) + b
n
sen(
n
T
x) con
_

_
a
0
=
1
2T
_
T
T
f(x) dx
a
n
=
1
T
_
T
T
f(x) cos(
n
T
x)dx
b
n
=
1
T
_
T
T
f(x) sen(
n
T
x)dx.
13.6
Ejemplo 13.11 Sea f una funcion 2-periodica, con f(x) = x
2
en [1, 1] .
La representacion graca de f es:
1 3 5 1 3 5
La serie de Fourier de f tiene por coecientes c
0
=
1
21
_
1
1
x
2
dx =
1
3
y, para n > 0,
c
n
=
1
2
_
1
1
x
2
e
i
n
1
x
dx =
_
u =x
2
dv =e
inx
dx
:
du =2xdx
v =
e
inx
in
_
=
1
2
x
2
e
inx
in
_
1
1

1
2
_
1
1
2xe
inx
in
dx
=
1
2in
_
e
in
e
in
_
+
1
in
_
1
1
xe
inx
dx =
sen(n)
n
+
1
in
_
1
1
xe
inx
dx
=
_
u =x
dv =e
inx
dx
:
du =dx
v =
e
inx
in
_
= 0 +
1
in
xe
inx
in
_
1
1

1
in
_
1
1
e
inx
in
dx
=
1
n
2

2
(e
in
(1)e
in
) + 0 =
2 cos(n)
n
2

2
=
(1)
n
2
n
2

2
.
Teora de variable compleja. 169
13 Series de Fourier.
Como a
0
= c
0
=
1
3
, a
n
= 2 Re(c
n
) =
(1)
n
4
n
2

2
y b
n
= 2 Im(c
n
) = 0, y f es monotona creciente
en (1, 1] , por el teorema 13.8 anterior, la serie
S(x) =
1
3
+

n=1
(1)
n
4
n
2

2
cos(nx)
converge en [1, 1] y S(x) = x
2
en [1, 1] .

Fig. 13.2. Aproximaciones de f(x)

1
3
+
n

k=1
(1)
k
4
k
2

2
cos(kx), para n = 0, 1, 2, 3.
Si una funcion es 2T -periodica, para calcular c
n
es obligatorio usar el intervalo [T, T] ?
Dada la periodicidad de las funciones parece razonable pensar que no, pues la funcion toma
los mismos valores en cualquier intervalo del tama no del periodo, y el siguiente resultado nos
asegura que no es as.
Lema 13.12 Sea f una funcion 2T -periodica e integrable, entonces
_
T
T
f(x)dx =
_
+2T

f(x) dx, para todo IR.

Demostracion:
Por ser f periodica de periodo 2T , se tiene que f(t 2T) = f(t), luego haciendo el cambio
x = t 2T , entonces c, d se puede escribir
_
d
c
f(x)dx =
_
d+2T
c+2T
f(t 2T)dt =
_
d+2T
c+2T
f(t)dt =
_
d+2T
c+2T
f(x)dx.
En particular, si c = T y d = , obtenemos
_

T
f(x)dx =
_
+2T
T
f(x)dx,
luego
_
T
T
f(x)dx =
_

T
f(x)dx +
_
T

f(x)dx =
_
+2T
T
f(x)dx +
_
T

f(x)dx =
_
+2T

f(x)dx,
para todo IR.
Ejemplo 13.13 Sea f una funcion 1-periodica tal que f(x) = x en (0, 1] .
Como 1 = 2
1
2
y la expresion de f en el intervalo [
1
2
,
1
2
] es f(x) =
_
x + 1, si x [
1
2
, 0]
x, si x (0,
1
2
]
,
sin el resultado anterior, los coecientes se obtendran calculando
c
n
=
1
1
_
_
0

1
2
(x + 1)e
i2nx
dx +
_ 1
2
0
xe
i2nx
dx
_
, mientras que c
n
=
1
1
_
1
0
xe
i2nx
dx
permite un calculo mas sencillo.
Comprobar la igualdad de ambas expresiones y obtener la serie de Fourier.

170 Teora de variable compleja.

13.2 Series de Fourier
13.2.2 Desarrollo de una funcion no periodica en serie de Fourier.
Sea f: [a, b] IR una funcion cualquiera monotona por trozos.
Podemos representar esta funcion f en los puntos de su continuidad por una serie de Fourier,
si consideramos una funcion f
1
periodica de periodo 2T |b a| , monotona por trozos y que
coincida con la funcion f en el intervalo [a, b] .
Entonces, desarrollando la funcion f
1
(x) en la serie de Fourier, la suma de esta serie en todos
los puntos del segmento [a, b] (excepto en los de discontinuidad) coincide con la funcion dada
f , lo que signica que hemos desarrollado f en serie de Fourier en el intervalo [a, b] .
Ejemplo 13.14 Desarrollar en serie de Fourier la funcion f(x) = |x| en el intervalo [
1
2
, 1] .
Podemos intentarlo de dos maneras:
Considerar g que sea
3
2
-periodica con g(x) = |x| en (
1
2
, 1] .
c c c c c c c
s s s s s s s
d
d
d
d
d
d
d
d
d
d
d
d
d
d

1
5
2
4 5
1
2
2
7
2
5
Por ser g monotona por trozos y 2
3
4
-periodica, coincide con su serie de Fourier S(x) =

n=
c
n
e
i
4n
3
x
en (
1
2
, 1), pero no en los puntos de discontinuidad
1
2
y 1 donde la serie
vale S(
1
2
) = S(1) =
1+
1
2
2
=
3
4
.
Si consideramos h que sea 2-periodica con h(x) = |x| en [1, 1] , se tiene que f(x) = h(x)
en [
1
2
, 1]
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d

s
s
d
d

1
2
1 3 5 1 3 5
y, por ser h continua, coincide con su serie de Fourier S(x) =

n=
c
n
e
i2nx
en todo IR,
luego h(x) = S(x) en IR y, en particular, f(x) =

n=
c
n
e
i2nx
en [
1
2
, 1] .

13.2.2.1 Casos particulares.

Proposicion 13.15 En la expresion real de la serie de Fourier (13.1) de una funcion par solo
pueden apararecer los terminos de los cosenos y en la de una funcion impar solo pueden aparecer
los terminos de los senos.
Demostracion:
Sea f(x) =

n=
c
n
e
i
nx
T
, con c
n
= c
n
, entonces:
Si f es par se verica que f(x) = f(x), es decir,
f(x) =

n=
c
n
e
i
n(x)
T
=

n=
c
n
e
i
(n)x
T
=

n=
c
n
e
i
nx
T
=

n=
c
n
e
i
nx
T
= f(x)
luego c
n
= c
n
y para n 1, c
n
=
a
n
2
IR. Es decir, f(x) = a
0
+

n=0
a
n
cos(
nx
T
).
Teora de variable compleja. 171
13 Series de Fourier.
Si f es impar debe ser f(x) = f(x). Como en el apartado anterior,
f(x) =

n=
c
n
e
i
n(x)
T
=

n=
c
n
e
i
nx
T
= f(x) =

n=
c
n
e
i
nx
T
luego c
n
= c
n
de donde c
n
= i
b
n
2
iIR. Es decir, f(x) =

n=0
b
n
sen(
nx
T
).
Ejemplo 13.16 La funcion usada en el ejemplo 13.11, f(x) = x
2
en [1, 1] es par, pues
f(x) = (x)
2
= x
2
= f(x), y su serie de Fourier obtenida S(x) =
1
3
+

n=1
(1)
n
4
n
2

2
cos(nx) solo
esta formada por terminos de cosenos.
La funcion del ejemplo 13.9, f(x) = x en [, ] es impar, pues f(x) = x = f(x), y
su serie de Fourier S(x) =

n=1
(1)
n+1
2
n
sen(nx) solo esta formada por terminos de senos.

Sea f(x) dada en el intervalo [0, T] . Completando la denicion de esta funcion de modo
arbitrario en el segmento [T, 0] (conservando la monotona por trozos), podemos desarrollar
esta funcion en la serie de Fourier. No obstante:
Si completamos la denicion de modo que f(x) = f(x) si T x < 0, obtenemos
una funcion par. Entonces esta funcion se desarrolla en la serie de Fourier de forma que
solamente contiene cosenos. De esta forma la funcion f(x), dada en [0, T] , la hemos
desarrollado en serie de cosenos.
Si completamos la denicion de la forma f(x) = f(x) si T x < 0, obtenemos una
funcion impar que se desarrolla en serie de senos.
De este modo, si en el intervalo [0, T] esta dada cierta funcion monotona por trozos f ,
podemos desarrollarla tanto en la serie de Fourier de cosenos, como en la serie de Fourier de
senos.
13.3 Ejercicios
13.1 Sea f una funcion periodica de periodo 2 denida de la forma siguiente
f(x) =
_
1, si < x < 0
1, si 0 x
.
Calcular la serie de Fourier de dicha funcion y utilizar dicha serie para demostrar que

n=1
(1)
n+1
2n1
=

4
.
13.2 Sea f una funcion periodica de periodo 2 denida por
f(x) =
_
0, si x 0
x, si 0 < x
.
Hallar su serie de Fourier y demostrar que

n=1
1
(2n1)
2
=

2
8
(dando x = 0).
172 Teora de variable compleja.
13.3 Ejercicios
13.3 Hallar los coecientes de Fourier para la funcion f denida por
f(x) =
_
0, si 5 < x < 0
3, si 0 < x < 5
sabiendo que es periodica de periodo 10.
Escribir la serie de Fourier correspondiente. Como habra que denir f en x = 5 ,
x = 0 y x = 5 para que la serie de Fourier converja hacia f(x), para todo x [5, 5] ?
13.4 Desarrollar la funcion y = e
x
en el intervalo (T, T) en una serie de Fourier.
13.5 Desarrollar la funcion y = senx en el intervalo (0, ) en una serie de cosenos.
13.6 Desarrollar la funcion y = cos 2x en el intervalo (0, ) en una serie de senos.
13.7 Dada la funcion f(x) = x, si 0 x , prolongarla de manera que sea par y de periodo
2. Desarrollarla en serie de Fourier y aprovechar este desarrollo para demostrar que

2
8
= 1 +
1
3
2
+
1
5
2
+
1
7
2
+ .
13.8 Dada la funcion: f(x) = x( x), si 0 x , prolongarla de manera que sea par y de
periodo 2. Desarrollarla en serie de Fourier y aprovechar este desarrollo para demostrar
que

n=0
1
n
2
=

2
6
y

n=0
(1)
n+1
n
2
=

2
12
.
Teora de variable compleja. 173