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 significa 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 trigonom

etricas.
Definici
on 13.1 Llamamos serie trigonom
etrica a una serie de funciones reales, de la forma

X
X
X
fn (x) = (an cos nx + bn sen nx) = a0 + (an cos nx + bn sen nx), h13.1i
n=0 n=0 n=1

P
y denotaremos por S(x) = fn (x) a la funcion suma de la serie en su conjunto de convergencia.
n=0

Observacion 13.2 Las funciones fn (x) = an cos nx + bn sen nx, son periodicas de periodo 2 ,
por tanto, S(x) es una funcion periodica de periodo 2 .

13.1.1 Las series trigonom

etricas en modo complejo.
umeros complejos, como eix = cos x + i sen x, se tiene que
Usando los n

X X
einx + einx einx einx an ibn inx an + ibn inx
S(x) = a0 + an + bn = a0 + e + e
n=1
2 2i n=1
2 2
X
X
[1] an ibn inx an +ibn inx
= a0 + 2 e + 2 e
n=1 n=1
con la convergencia de ambas y reindexando, podemos escribirlo en la forma


X
c0 = a0
= cn einx donde c = a ibn , si n > 0
n n h13.2i

c = c
n= n n , si n < 0

an +ibn inx an ibn inx

[1]: Si las dos series siguientes convergen. Como 2 e = 2 e ambas convergen o
no simultaneamente.

P
Proposici
on 13.3 Sea S(z) = cn einz , con c0 = a0 , cn = an ibn , si n > 0, y cn = cn ,
n=
si n < 0, siendo an , bn IR. Entonces, si z = x IR se tiene que S(z) = S(x) IR.

Demostracion:
Es claro, pues entonces S(x) puede expresarse como h13.1i que es una serie real.

Teor
a de variable compleja. 154
 13.1 Series trigonometricas.

P
P
Proposici
on 13.4 Las series numericas an y bn son absolutamente convergentes s, y
n=0 n=1

P
solo si, la serie cn einx converge absolutamente en IR.
n=

P
Ademas, la serie cn einx converge uniformemente en IR.
n=

Demostracion:
|an |
|an | |bn |
Es inmediato ya que, para cada n IN, se tiene 2
|bn | |cn einx | = |cn | 2 + 2 .
2
Como la acotacion anterior es valida para todo x IR, el criterio M de Weierstrass asegura
la convergencia uniforme en IR.

P
Proposici
on 13.5 La funcion real S(x) = cn einx , con las condiciones indicadas en
n=
h13.2i, es 2 -periodica.

Demostracion:
En efecto, para todo x IR,

X
X
X
S(x + 2) = cn ein(x+2) = cn einx ein2 = cn einx = S(x).
n= n= n=

13.1.2 Integraci
on de una serie trigonom
etrica.

P
Supongamos que la serie trigonometrica S(x) = cn einx es uniformemente convergente en
n=
el intervalo [, ]. Entonces,
Z Z
X Z
X
S(x) dx = cn einx dx = cn einx dx
n= n=
1 Z
X Z Z
X
= cn einx dx + c0 dx + cn einx dx
n= n=1
# #
1
X einx
X einx 1
X
X
= cn + c0 2 + cn = 0 + c0 2 + 0 = 2c0 .
n=
in n=1
in n= n=1

Por tanto, si m 6= 0, se tiene que

Z Z
X
eimx S(x) dx = cn ei(nm)x dx
n=
X Z
m1 Z
X Z
= cn ei(nm)x dx + cm dx + cn ei(nm)x dx
n= n=m+1
m1
X
X
= 0 + 2cm + 0 = 2cm .
n= n=m+1

En consecuencia, para todo n ZZ, se tiene que

Z
1
cn = S(x)einx dx. h13.3i
2

Teor
a de variable compleja. 155
 13.2 Series de Fourier

Desde el punto de vista real, para cada n IN, se tiene que

Z Z Z
an bn 1 inx 1 1
i = cn = S(x)e dx = S(x) cos nx dx i S(x) sen nx dx,
2 2 2 2 2

luego
Z Z Z
1 1 1
a0 = S(x) dx an = S(x) cos nx dx bn = S(x) sen nx dx. h13.4i
2

De lo anterior, es claro que los coeficientes 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

Definici
on 13.6 si f es una funcion real 2 -periodica, tal que existen las integrales de h13.3i
(o de h13.4i), entonces la serie

X
X
cn einx = a0 + (an cos nx + bn sen nx)
n= n=1

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?

Definicion 13.7 Una funcion f : [a, b] IR se dice mon

otona a trozos si se puede dividir
el intervalo en un n
umero finito 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
lim f (x) + lim f (x)
+ xc f (c+ ) + f (c )
S(c) = xc =
2 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 finito, 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 grafica de f es:
s s s s s

5 3 3 5

c c c c c

Teor
a de variable compleja. 156
 13.2 Series de Fourier

Z
1
La serie de Fourier de f tiene por coeficientes c0 = 2 x dx = 0 y, para n > 0,

Z ( ) # Z inx
1 inx u=x du = dx 1 xeinx 1 e
cn = xe dx = inx : inx = dx
2 dv = e dx v = ein 2 in 2 in

!
1 ein ()ein() i ein + ein
= 0= ein + ein =
2 in in 2ni n 2
i cos n (1)n
= = i.
n n
n (1)n+1 2
Como a0 = c0 = 0, an = 2 Re(cn ) = 0 y bn = 2 Im(cn ) = 2 (1) n = n , y f es
monotona creciente en (, ], por el teorema 13.8 anterior, la serie

X (1)n+1 2
S(x) = sen nx
n=1
n

converge en (, ] (por la periodicidad en todo IR). Ademas, S(x) = x en (, ) y en se

+ ( )
tiene S() = f ( )+f
2 = ()+
2 = 0. 4

P
n
(1)k+1 2
Fig. 13.1. Aproximaciones de f (x) k sen kx, para n = 1, 2, 3, 4.
k=1

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

T
f (x) = f y = g(y) h13.5i

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:

Teor
a de variable compleja. 157
 13.2 Series de Fourier

13.1 En efecto,
[1]
T T T
g(x + 2) = f (x + 2) = f x + 2T = f x = g(x)
[1]: Por ser 2T -periodica la funcion f .
13.2 Sea [T, T ] = [T, t1 ] [t1 , t2 ] [tm1 , T ] y f monotona en cada uno de los [tk1 , tk ].
Entonces, tomando [, ] = [, T t1 ] [ T t1 , T t2 ] [ T tm1 , ], en cada intervalo de
la forma [ T tk1 , T tk ] la funcion g tiene la misma monotona que f en [tk1 , tk ].

En efecto,

para cualesquiera

x y x2 con
1 T tk1 x1 x2 T tk , se verifica que g(x1 ) =
T T T T
f x1 y g(x2 ) = f , pero como tk1
x2 x1
tk sera g(x1 ) g(x2 ) o x2
g(x1 ) g(x2 ) seg
un que f sea monotona creciente o decreciente en [tk1 , tk ].

Como consecuencia, de los resultados anteriores, si f en 2T -periodica, usando la funcion g

construida en h13.5i, se tiene

X
X n
f (x) = g(y) = cn einy = cn ei T x

n= n=
donde
Z Z ( T ) Z T

1 iny 1 iny y=x 1 n
cn = g(y)e dy = f T
y e dy = = f (x)ei T x
T dx
2 2 T 2
dy = dx
T
T Z
1 n
= f (x)ei T x dx.
2T T
En su version real nos queda:
Z T

1



a0 = 2T f (x) dx

T

X
Z T
f (x) = a0 + an cos( n n
T x) + bn sen( T x) con a =
n T
1
f (x) cos( n x)dx
T
h13.6i

T
n=1
Z

T


bn = T1 f (x) sen( n
T x)dx.
T

Ejemplo 13.11 Sea f una funcion 2-periodica, con f (x) = x2 en [1, 1].
La representacion grafica de f es:

5 3 1 1 3 5
Z 1
1 1
La serie de Fourier de f tiene por coeficientes c0 = 21 x2 dx = 3 y, para n > 0,
1
Z 1 ( ) #1 Z 1
1 2 i n x u = x2 du = 2xdx 1 x2 einx 1 2xeinx
cn = x e 1 dx = inx : inx = dx
2 1 dv = e dx v = ein 2 in 2 1 in
1
Z 1 Z 1
1 in in
1 inx sen(n) 1
= e e + xe dx = + xeinx dx
2in in 1 n in 1
( ) #1 Z 1 inx
u=x du = dx 1 xeinx 1 e
= inx : inx =0+ dx
dv = e dx v = ein in in in 1 in
1
1 in in 2 cos(n) (1)n 2
= (e (1)e ) + 0 = = .
n2 2 n2 2 n2 2

Teor
a de variable compleja. 158
 13.2 Series de Fourier

n
Como a0 = c0 = 13 , an = 2 Re(cn ) = (1)
n2 2
4
y bn = 2 Im(cn ) = 0, y f es monotona creciente
en (1, 1], por el teorema 13.8 anterior, la serie

1 X (1)n 4
S(x) = + cos(nx)
3 n=1 n2 2

converge en [1, 1] y S(x) = x2 en [1, 1]. 4

1
P
n
(1)k 4
Fig. 13.2. Aproximaciones de f (x) 3 + k2 2 cos(kx) , para n = 0, 1, 2, 3.
k=1

Si una funcion es 2T -periodica, para calcular cn 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
Z T Z +2T
f (x)dx = f (x) dx, para todo IR.
T

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
Z d Z d+2T Z d+2T Z d+2T
f (x)dx = f (t 2T )dt = f (t)dt = f (x)dx.
c c+2T c+2T c+2T

En particular, si c = T y d = , obtenemos
Z Z +2T
f (x)dx = f (x)dx,
T T

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

para todo IR.

Ejemplo 13.13 Sea f una funcion 1-periodica tal que f (x) = x en ( (0, 1].
x + 1, si x [ 12 , 0]
Como 1 = 2 12 y la expresion de f en el intervalo [ 12 , 21 ] es f (x) = ,
x, si x (0, 21 ]
sin el resultado anterior, los coeficientes se obtendran calculando
Z Z 1
! Z 1
1 0 2 1
i2nx i2nx
cn = (x + 1)e dx + xe dx , mientras que cn = xei2nx dx
1 12 0 1 0

permite un calculo mas sencillo.

Comprobar la igualdad de ambas expresiones y obtener la serie de Fourier. 4

Teor
a de variable compleja. 159
 13.2 Series de Fourier

13.2.2 Desarrollo de una funci

on no peri
odica 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 f1 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 f1 (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 significa 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 [ 21 , 1].
Podemos intentarlo de dos maneras:
Considerar g que sea
s s
c c
@ @
@ @
5 27
3
2 -peri
odica con g(x) = |x| en ( 12 , 1].
s s s s s
c c c c c
@ @ @ @ @
@ @ @ @ @
2 12 1 5
2
4 5

Por ser g monotona por trozos y 2 34 -periodica, coincide con su serie de Fourier S(x) =

P 4n
cn ei 3
x
en ( 12 , 1), pero no en los puntos de discontinuidad 21 y 1 donde la serie
n=
1+ 21
vale S( 12 ) = S(1) = 2 = 43 .
Si consideramos h que sea 2-periodica con h(x) = |x| en [1, 1], se tiene que f (x) = h(x)
en [ 12 , 1]
s
@ @ @ @ @
@ @ @s @ @
@ @ @ @ @
@ @ @ @ @
5 3 1 12 1 3 5

P
y, por ser h continua, coincide con su serie de Fourier S(x) = cn ei2nx en todo IR,
n=

P
luego h(x) = S(x) en IR y, en particular, f (x) = cn ei2nx en [ 21 , 1]. 4
n=

13.2.2.1 Casos particulares.

Proposici on 13.15 En la expresion real de la serie de Fourier (h13.1i) 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:

P nx
Sea f (x) = cn ei T , con cn = cn , entonces:
n=

Si f es par se verifica que f (x) = f (x), es decir,

X
X
X
X
n(x) (n)x
i i i nx nx
f (x) = cn e T = cn e T = cn e T = cn ei T = f (x)
n= n= n= n=

P
an
luego cn = cn y para n 1, cn = 2 IR. Es decir, f (x) = a0 + an cos( nx
T ).
n=0

Teor
a de variable compleja. 160
 13.3 Ejercicios

Si f es impar debe ser f (x) = f (x). Como en el apartado anterior,

X
X
X
n(x) nx nx
f (x) = cn ei T = cn ei T = f (x) = cn ei T

n= n= n=

P
luego cn = cn de donde cn = i b2n iIR. Es decir, f (x) = bn sen( nx
T ).
n=0

Ejemplo 13.16 La funcion usada en el ejemplo 13.11, f (x) = x2 en [1, 1] es par, pues

P
1 (1)n 4
f (x) = (x)2 = x2 = f (x), y su serie de Fourier obtenida S(x) = 3 + n2 2
cos(nx) solo
n=1
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

P (1)n+1 2
su serie de Fourier S(x) = n sen(nx) solo esta formada por terminos de senos. 4
n=1

Sea f (x) dada en el intervalo [0, T ]. Completando la definicion 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 definicion 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 definicion 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 definida de la forma siguiente
(
1, si < x < 0
f (x) = .
1, si 0 x

Calcular la serie de Fourier de dicha funcion y utilizar dicha serie para demostrar que

P (1)n+1
2n1 = 4 .
n=1

13.2 Sea f una funcion periodica de periodo 2 definida por

(
0, si x 0
f (x) = .
x, si 0 < x

P 1 2
Hallar su serie de Fourier y demostrar que (2n1)2
= 8 (dando x = 0).
n=1

Teor
a de variable compleja. 161
 13.3 Ejercicios

13.3 Hallar los coeficientes de Fourier para la funcion f definida por

(
0, si 5 < x < 0
f (x) =
3, si 0 < x < 5

sabiendo que es periodica de periodo 10.

Escribir la serie de Fourier correspondiente. Como habra que definir 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 = ex en el intervalo (T, T ) en una serie de Fourier.

13.5 Desarrollar la funcion y = sen x 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 1 1 1
8 = 1 + 32 + 52 + 72 + .

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

P
P
1 2 (1)n+1 2
que n 2 = 6 y n2
= 12 .
n=0 n=0

Teor
a de variable compleja. 162