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 más adecuados para funciones periódicas.

13.1 Series trigonométricas.

Definición 13.1 – Llamamos serie trigonométrica 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 función suma de la serie en su conjunto de convergencia.
n=0

Observación 13.2 – Las funciones fn (x) = an cos nx + bn sen nx, son periódicas de periodo 2π ,
por tanto, S(x) es una función periódica de periodo 2π .

13.1.1 Las series trigonométricas en modo complejo.

Usando los números complejos, como eix = cos x + i sen x, se tiene que
∞
X X∞
einx + e−inx einx − e−inx 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 simultáneamente.
∞
P
Proposición 13.3 – Sea S(z) = cn einz , con c0 = a0 , cn = an − ibn , si n > 0, y cn = c−n ,
n=−∞
si n < 0, siendo an , bn ∈ IR. Entonces, si z = x ∈ IR se tiene que S(z) = S(x) ∈ IR.

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

Teorı́a de variable compleja. 165

13 Series de Fourier.

∞
P ∞
P
Proposición 13.4 – Las series numéricas an y bn son absolutamente convergentes sı́, y
n=0 n=1
∞
P
sólo si, la serie cn einx converge absolutamente en IR.
n=−∞
∞
P
Además, la serie cn einx converge uniformemente en IR.
n=−∞

Demostración: ¾
|an |
|an | |bn |
Es inmediato ya que, para cada n ∈ IN, se tiene 2
|bn | ≤ |cn einx | = |cn | ≤ 2 + 2 .
2
Como la acotación anterior es válida para todo x ∈ IR, el criterio M de Weierstrass asegura
la convergencia uniforme en IR.

∞
P
Proposición 13.5 – La función real S(x) = cn einx , con las condiciones indicadas en
n=−∞
h13.2i, es 2π -periódica.

Demostración:
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ón de una serie trigonométrica.

∞
P
Supongamos que la serie trigonométrica 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 = 2πc0 .
n=−∞
in −π n=1
in −π n=−∞ n=1

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

Z π ∞ Z π
X
−imx
e S(x) dx = cn ei(n−m)x dx
−π n=−∞ −π
X Z π
m−1 Z π ∞
X Z π
i(n−m)x
= cn e dx + cm dx + cn ei(n−m)x dx
n=−∞ −π −π n=m+1 −π
m−1
X ∞
X
= 0 + 2πcm + 0 = 2πcm .
n=−∞ n=m+1

En consecuencia, para todo n ∈ ZZ, se tiene que

Z π
1
cn = S(x)e−inx dx. h13.3i
2π −π

166 Teorı́a de variable compleja.

 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 trigonométrica están ı́ntimamente
ligados con la función suma. Ası́, asociada a cada función real periódica se puede construir una
serie trigonométrica asociada (siempre que se puedan calcular las integrales anteriores).

13.2 Series de Fourier

Definición 13.6 – si f es una función real 2π -periódica, 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 qué condiciones una función periódica es expresable mediante su serie de Fourier?
Es decir, ¿cuándo una función periódica coincide con su serie de Fourier?

Definición 13.7 – Una función f : [a, b] −→ IR se dice monótona a trozos si se puede dividir
el intervalo en un número finito de subintervalos, de forma que sea monótona en cada uno de
ellos.

Teorema 13.8 – Si una función real f 2π -periódica es monótona a trozos y acotada en [−π, π],
entonces la serie de Fourier de f converge en todos los puntos de IR.
Además, 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)
+ x→c− f (c+ ) + f (c− )
S(c) = x→c =
2 2
si f no es continua en c.

Nota: Es claro que si la función es monótona por trozos y acotada en el segmento [a, b], entonces
puede tener sólo 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 representación gráfica de f es:
s s s s s

−5π −3π −π π 3π 5π

c c c c c

Teorı́a de variable compleja. 167

13 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 xe−inx 1 e
cn = xe dx = −inx : −inx = − dx
2π −π dv = e dx v = e−in 2π −in 2π −π −in
−π
à !
1 πe−inπ (−π)e−in(−π) π ³ ´ i e−inπ + einπ
= − −0= e−inπ + einπ =
2π −in −in −2nπi 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
monótona 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). Además, 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 función 2T -periódica, T > 0, también puede construirse su serie de Fourier y los
resultados correspondientes son análogos a los anteriores.
Para ello, basta tomar x = Tπ y , obteniéndose
³ ´
T
f (x) = f πy = g(y) h13.5i

una función g que será 2π -periódica. Si f es monótona a trozos en [−T, T ] también lo será g
en [−π, π].

Proposición 13.10 – Sea f real 2T -periódica y monótona a trozos en [−T, T ]. Entonces, la

función g(x) = f ( Tπ x) es:

13.1 periódica de periodo 2π , y

13.2 monótona a trozos en [−π, π].

Demostración:

168 Teorı́a de variable compleja.

 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 -periódica la función f .
13.2 Sea [−T, T ] = [−T, t1 ] ∪ [t1 , t2 ] ∪ · · · ∪ [tm−1 , T ] y f monótona en cada uno de los [tk−1 , tk ].
Entonces, tomando [−π, π] = [−π, Tπ t1 ] ∪ [ Tπ t1 , Tπ t2 ] ∪ · · · ∪ [ Tπ tm−1 , π], en cada intervalo de
la forma [ Tπ tk−1 , Tπ tk ] la función g tiene la misma monotonı́a que f en [tk−1 , tk ].
π π
En³ efecto,
´
para cualesquiera
³
x y x2 con
´ 1 T tk−1 ≤ x1 ≤ x2 ≤ T tk , se verifica que g(x1 ) =
T T T T
f π x1 y g(x2 ) = f , pero como tk−1 ≤
π x2 ≤ π x1
≤ tk será g(x1 ) ≤ g(x2 ) ó π x2
g(x1 ) ≥ g(x2 ) según que f sea monótona creciente o decreciente en [tk−1 , tk ].

Como consecuencia, de los resultados anteriores, si f en 2T -periódica, usando la función 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)e−i T xπ
T dx
2π 2π T 2π
π dy = dx
−π −π −T
T Z
1 nπ
= f (x)e−i T x dx.
2T −T
En su versión 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 función 2-periódica, con f (x) = x2 en [−1, 1].
La representación gráfica de f es:

−5 −3 −1 1 3 5
Z 1
1 1
La serie de Fourier de f tiene por coeficientes c0 = 2·1 x2 dx = 3 y, para n > 0,
−1
Z 1 ( ) #1 Z 1
1 2 −i nπ x u = x2 du = 2xdx 1 x2 e−inπx 1 2xe−inπx
cn = x e 1 dx = −inπx : −inπx = − dx
2 −1 dv = e dx v = e−inπ 2 −inπ 2 −1 −inπ
−1
Z 1 Z 1
−1 ³ −inπ inπ
´ 1 −inπx sen(nπ) 1
= e −e + xe dx = + xe−inπx dx
2inπ inπ −1 nπ inπ −1
( ) #1 Z 1 −inπx
u=x du = dx 1 xe−inπx 1 e
= −inπx : −inπx =0+ − dx
dv = e dx v = e−inπ 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. 169

13 Series de Fourier.

n
Como a0 = c0 = 31 , an = 2 Re(cn ) = (−1)
n2 π 2
4
y bn = −2 Im(cn ) = 0, y f es monótona creciente
en (−1, 1], por el teorema 13.8 anterior, la serie
∞
1 X (−1)n 4
S(x) = + cos(nπx)
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(kπx) , para n = 0, 1, 2, 3 .
k=1

Si una función es 2T -periódica, para calcular cn ¿es obligatorio usar el intervalo [−T, T ]?
Dada la periodicidad de las funciones parece razonable pensar que no, pues la función toma
los mismos valores en cualquier intervalo del tamaño del periodo, y el siguiente resultado nos
asegura que no es ası́.
Lema 13.12 – Sea f una función 2T -periódica e integrable, entonces
Z T Z λ+2T
f (x)dx = f (x) dx, para todo λ ∈ IR.
−T λ

Demostración:
Por ser f periódica 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 función 1-periódica tal que f (x) = x en ( (0, 1].
x + 1, si x ∈ [− 21 , 0]
Como 1 = 2 21 y la expresión de f en el intervalo [− 12 , 12 ] es f (x) = ,
x, si x ∈ (0, 12 ]
sin el resultado anterior, los coeficientes se obtendrı́an calculando
ÃZ Z 1
! Z 1
1 0 2 1
−i2nπx −i2nπx
cn = (x + 1)e dx + xe dx , mientras que cn = xe−i2nπx dx
1 − 12 0 1 0

permite un cálculo más sencillo.

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

170 Teorı́a de variable compleja.

 13.2 Series de Fourier

13.2.2 Desarrollo de una función no periódica en serie de Fourier.

Sea f : [a, b] −→ IR una función cualquiera monótona por trozos.
Podemos representar esta función f en los puntos de su continuidad por una serie de Fourier,
si consideramos una función f1 periódica de periodo 2T ≥ |b − a|, monótona por trozos y que
coincida con la función f en el intervalo [a, b].
Entonces, desarrollando la función 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 función 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 función f (x) = |x| en el intervalo [− 21 , 1].
Podemos intentarlo de dos maneras:
3
¦ Considerar g que sea 2 -periódica con g(x) = |x| en (− 12 , 1].
s s s s s s s
c c c c c c c
@ @ @ @ @ @ @
@ @ @ @ @ @ @
−5 − 27 −2 − 12 1 5
2
4 5

Por ser g monótona por trozos y 2 34 -periódica, 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-periódica 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 ei2nπx en todo IR,
n=−∞
∞
P
luego h(x) = S(x) en IR y, en particular, f (x) = cn ei2nπx en [− 21 , 1]. 4
n=−∞

13.2.2.1 Casos particulares.

Proposición 13.15 – En la expresión real de la serie de Fourier (h13.1i) de una función par solo
pueden apararecer los términos de los cosenos y en la de una función impar solo pueden aparecer
los términos de los senos.

Demostración:
∞
P πnx
Sea f (x) = cn ei T , con c−n = 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 = c−n 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. 171

13 Series de Fourier.

¦ 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 función 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(nπx) sólo
n=1
está formada por términos de cosenos.
La función 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) sólo está formada por términos de senos. 4
n=1

Sea f (x) dada en el intervalo [0, T ]. Completando la definición de esta función de modo
arbitrario en el segmento [−T, 0] (conservando la monotonı́a por trozos), podemos desarrollar
esta función en la serie de Fourier. No obstante:

¦ Si completamos la definición de modo que f (x) = f (−x) si −T ≤ x < 0, obtenemos

una función par. Entonces esta función se desarrolla en la serie de Fourier de forma que
solamente contiene cosenos. De esta forma la función f (x), dada en [0, T ], la hemos
desarrollado en serie de cosenos.

¦ Si completamos la definición de la forma f (x) = −f (−x) si −T ≤ x < 0, obtenemos una

función impar que se desarrolla en serie de senos.

De este modo, si en el intervalo [0, T ] está dada cierta función monótona 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 función periódica 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 función y utilizar dicha serie para demostrar que
∞
P (−1)n+1 π
2n−1 = 4 .
n=1

13.2 Sea f una función periódica 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 (2n−1)2
= 8 (dando x = 0).
n=1

172 Teorı́a de variable compleja.

 13.3 Ejercicios

13.3 Hallar los coeficientes de Fourier para la función f definida por

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

sabiendo que es periódica de periodo 10.

Escribir la serie de Fourier correspondiente. ¿Cómo habrı́a 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 función y = ex en el intervalo (−T, T ) en una serie de Fourier.

13.5 Desarrollar la función y = sen x en el intervalo (0, π) en una serie de cosenos.

13.6 Desarrollar la función y = cos 2x en el intervalo (0, π) en una serie de senos.

13.7 Dada la función 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 función: 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. 173