Tema 3.

Series de Fourier

1 Series trigonométricas

Las series trigonométricas son de la forma

∞
1 X
S(x) = a0 + (an cos(nx) + bn sen(nx))
2 n=1

para todo x en el intervalo (−π, π].

Este tipo de series se utilizan en la resolución de problemas fı́sicos como son la trans-
misión de sonido, ondas electromagnéticas, etc.

2 Coeficientes de Fourier

Sea f : (−π, π] → R una función integrable. Definimos los coeficientes de Fourier de f

mediante:
1Zπ
a0 = f (x)dx
π −π
1Zπ
an = f (x)cos(nx)dx
π −π
1Zπ
bn = f (x)sen(nx)dx
π −π

para n ≥ 1.

La serie ∞
1 X
Sf (x) = a0 + (an cos(nx) + bn sen(nx))
2 n=1

obtenida usando los coeficientes de Fourier se llama serie de Fourier.

Como idea, este tipo de series verifican que entre todas las series trigonométricas, son
las que “mejor aproximan” una función f (x) dada.

1
3 Convergencia

Una función f : I → R (I intervalo) es suave a trozos si I se puede dividir en un número

finito de subintervalos, donde f y f 0 sean funciones continuas en cada uno de estos
subintervalos abiertos y las únicas discontinuidades de f y f 0 en I sean de salto finito,
esto último, quiere decir que los lı́mites laterales de f y f 0 en cada uno de los extremos
de estos subintervalos existan y sean finitos.

Obsérvese que no es esencial que las funciones f y f 0 existan en los extremos de los
subintervalos.

Teorema 3.1 Teorema de Dirichlet. Sea f : (−π, π] → R una función suave a trozos,
entonces la serie de Fourier de f converge (puntualmente):

• a la extensión periódica de f , en los puntos en los que ésta sea continua;

1 −
• a (f (x+ 0 ) + f (x0 )) en los puntos x0 ∈ R donde la extensión periódica de f tenga
2
discontinuidad de salto finito.

Ası́, en general tendremos

∞
1 − 1
(f (x+
X
0 ) + f (x 0 )) = a 0 + (an cos(nx) + bn sen(nx))
2 2 n=1

para todo x ∈ R.

Recordemos que

lim+ f (x) = f (x+

0) lim− f (x) = f (x−
0)
x→x0 x→x0

y que la extensión periódica de f (x) es la traslación de la porción definida de f en (−π, π],

a los sucesivos intervalos de longitud 2π a derecha e izquierda del intervalo (−π, π].

4 Funciones pares e impares

Una función f se dice que es par si f (−x) = f (x). Su gráfica es simétrica respecto al eje
Y.

Una función f se dice que es impar si f (−x) = −f (x). Su gráfica es simétrica respecto
al origen de coordenadas.

2
Teorema 4.1 Sea f : (−π, π] → R una función suave a trozos.

• Si f es par, sus coeficientes vienen dados por

2Zπ
an = f (x) cos (nx) dx, bn = 0
π 0
Por tanto, su series de Fourier es de la forma:
∞
1 X
Sf (x) = a0 + an cos(nx)
2 n=1

• Si f es impar, sus coeficientes vienen dados por

2Zπ
an = 0, bn = f (x) sen (nx) dx
π 0
Por tanto, su series de Fourier es de la forma:
∞
X
Sf (x) = bn sen(nx)
n=1

Proposición 4.2 Sea f : [0, π] → R entonces

• La serie de Fourier en cosenos de f (x) es

∞
1 X
Sf (x) = a0 + an cos(nx)
2 n=1

2Zπ
donde an = f (x)cos(nx)dx para todo n ≥ 0.
π 0
• La serie de Fourier en senos de f (x) es
∞
X
Sf (x) = bn sen(nx)
n=1

2Zπ
donde bn = f (x)sen(nx)dx para todo n ≥ 1.
π 0

5 Extensión a intervalos arbitrarios

En muchas aplicaciones es deseable adaptar la forma de una serie de Fourier a funciones

f (x) definidas sobre intervalos (−L, L], donde L es un número positivo cualquiera.

3
 Para ello hacemos un cambio de variable. La variable de f es x que se encuentra en
−L < x ≤ L, consideramos una nueva variable t que se encuentra en −π < t ≤ π. Por
una simple regla de tres tenemos:

t x πx Lt
= , o sea, t = y x= (1)
π L L π
Por tanto, f (x) se transforma en una función de t,

Lt
f (x) = f ( ) = g(t), −π < t ≤ π
π
Obsérvese que si f : (−L, L] → R es integrable (y satisface la condiciones de Dirichlet),
también g: (−π, π] → R será integrable (y verificará las condiciones de Dirichlet). Por
tanto, podemos desarrollar g(t) en serie de Fourier del modo usual. A partir de esta serie
y deshaciendo el cambio de variable, es decir, expresándola en términos de la variable x,
se obtiene la serie de Fourier de f (x).

La aplicación del cambio de variable (1), nos da directamente la fórmula de la serie

de Fourier de una función f (x) definida en un intervalo (−L, L], que es:

∞
a0 X nπx nπx
 
Sf (x) = + an cos + bn sen .
2 n=1 L L
donde
1ZL 1ZL nπx 1ZL nπx
a0 = f (x) dx, an = f (x) cos dx y bn = f (x) sen dx.
L −L L −L L L −L L

Nota 5.1 Guı́as de las soluciones de algunos ejercicios propuestos:

2) Los coeficientes de Fourier que obtenemos son:

π −2 (−1)n+1
a0 = , a2n = 0, a2n−1 = , bn =
2 (2n − 1)2 π n
∞
π X −2 (−1)n+1
Luego S(f )(x) = + cos(2n − 1)x + sin nx .
4 n=1 (2n − 1)2 π n
Por el Teorema de Dirichlet, S(f )(x) converge puntualemente a la extensión periódica
de f (x) en todos los puntos donde f (x) es continua (es decir, x 6= (2n − 1)π siendo
n un entero). En los puntos x = (2n − 1)π con n entero, S(f )(x) converge a π/2.
Si x = π entonces ∞
π π X −2
= + (−1) .
2 4 n=1 (2n − 1)2 π

4
 Por tanto,
∞
X 1 π2
2
= .
n=1 (2n − 1) π 8
Por otro lado,
∞ ∞ ∞ ∞
X 1 X 1 X 1 π2 1 X 1
= + = + .
n=1 n2 n=1 (2n − 1)
2
n=1 (2n)
2 8 4 n=1 n2
∞
X 1 π2 1 π2
Llamando S = 2
, obtenemos que S = + S, luego S = .
n=1 n 8 4 6
∞
X 2(−1)n+1
3) 1. Desarrollo en senos: sin nx
n=1 n
∞
π X −4
2. Desarrollo en cosenos: + cos(2n − 1)x
2 n=1 π(2n − 1)2
4) Calculamos los coeficientes de Fourier:
1Zπ
b1 = sin(2x)dx = 0 .
π 0
1
Para calcular bn con n > 1, usamos que sin A cos B = (sin(A + B) + sin(A − B)).
2
Obtenemos que
8n
b2n−1 = 0 b2n =
π(4n2 − 1)
Por tanto, el desarrollo en senos de f (x) = cos x es:
∞
8X n
2
sin 2nx .
π n=1 (4n − 1)

6) La función f está definida en el intervalo (−L, L). Hacemos el cambio de variable,

Lt
x = . Desarrollamos en series de Fourier la función
π
(
0, si −π ≤ t < π/2
g(t) = f (Lt/π) =
1, si −π/2 ≤ t < π
Obtenemos:
1
a0 =
2 
− sin(nπ/2) + sin nπ − sin(nπ/2)  a2n = 0

an = = ⇒ (−1)n
nπ nπ  a2n−1 =

(2n − 1)π
 

 (−1)n − 1  b2(2n) = 0


 b
 2n = ⇒ −1
cos(nπ/2) − cos nπ

2nπ b2(2n−1) =
bn = ⇒ 
2(2n − 1)π
nπ 

 1
 b2n−1 =


(2n − 1)π

5
 Tenemos que
∞
(−1)n −1
X
S(g(t)) = 14 + (2n−1)π
cos((2n−1)t)+ 2(2n−1)π 1
sin(2(2n−1)t)+ (2n−1)π sin((2n−1)t)
n=1
πx
Deshaciendo el cambio de variable, t = ,
L
∞
1 X (−1)n (2n − 1)πx
S(f (x)) = + cos
4 n=1 (2n − 1)π L
−1 2(2n − 1)πx 1 (2n − 1)πx
+ sin + sin .
2(2n − 1)π L (2n − 1)π L
∞
π X (−1)n
Vamos a demostrar ahora que = .
4 n=0 2n + 1
Por el teorema de Dirichlet, g(0) = S(g(0)), por tanto
∞
1 X (−1)n −1 1
0= + cos 0 + sin 0 + sin 0
4 n=1 (2n − 1)π 2(2n − 1)π (2n − 1)π

es decir ∞
1 X (−1)n+1
0= +
4 n=1 (2n − 1)π
Despejando, obtenemos la solución deseada.

13) a) Veamos que es par: Si −π ≤ x < 0 entonces 0 < −x ≤ π y por tanto

f (−x) = π − (−x) = π + x = f (x). Análogamente, si 0 ≤ x ≤ π, entonces
f (−x) = π + (−x) = π − x = f (x).
Calculamos la serie de Fourier de f (x):

a0 = π

2(1 − cos(nπ))  a2n = 0

an = ⇒ 4
n2 π  a2n−1 =

π(2n − 1)2
∞
π X 4
Por tanto, S(f )(x) = + cos((2n − 1)x).
2 n=1 π(2n − 1)2
b) Como podemos observar, la extensión de f es continua en todo R. Por el
teorema de Dirichlet la serie converge a la extensión periódica de f en todo
R.
∞
π2 X 1
Hay que demostrar que = 2
. Como S(f )(x) = f (x) para todo
8 n=1 (2n − 1)
x, entonces
∞ ∞
π X 4 π X 4
π = f (0) = S(f )(0) = + 2
cos 0 = + .
2 n=1 π(2n − 1) 2 n=1 π(2n − 1)2

Despejando la serie, obtenemos la igualdad pedida.

6
15) a) Dado que la función es impar, an = 0 para todo n y por tanto sólo hay que
calcular
Z 1 Z 1
nπx cos(nπx) 1
bn = 2 f (x) sin dx = 2 sin(nπx) dx = 2[− ]0 =
0 1( 0 nπ
0 n par
2
= nπ ((−1)n+1 + 1) = 4
nπ
n impar
Luego la serie de Fourier es
∞
X 4
S(f (x)) = sin((2n − 1)πx)
n=1 (2n − 1)π

Probemos que f : [−1, 1] → R verifica las condiciones de Dirichlet. Para

ello, veamos, que el intervalo [−1, 1] puede subdividirse en un número finito
de subintervalos, en cada uno de los cuales f y f 0 son continuas y sus únicas
discontinuidades son de salto
( finito.
0 0<x<1
Es fácil obtener f 0 (x) = obviamente f y f 0 son continuas
0 −1 < x < 0
en los intervalos (−1, 0), (0, 1) y los únicos puntos donde presenta discon-
tinuidad son en −1, 0, 1 y son de salto finito.
1 1
b) Aplicando el teorema de Dirichlet, tenemos que S(f ( )) = f ( ) = 1. Por
2 2
otro lado, tenemos que
∞
1 X 4 π
S(f ( )) = sin((2n − 1) )
2 n=1 (2n − 1)π 2

teniendo en cuenta que sin((2n − 1) π2 ) = (−1)n+1 y lo expuesto anteriormente

concluimos con ∞
4
(−1)n+1
X
=1
n=1 (2n − 1)π
(
t 0 −π ≤ t ≤ 0
18) a) Cambio variable x = . g(t) =
π 1 0<t<π
∞
a0 X
g(t) = + (an cos(nt) + bn sen(nt))
2 n=1

1Zπ
a0 = 1dt = 1
π 0
1Zπ sen(nπ) − sen(0)
an = cos(nt)dt = =0
π 0 n (
1Zπ −cos(nπ) + cos(0) 0 n par
bn = sen(nt)dt = = 2
π 0 n nπ
n impar

∞
1 X sen((2n − 1)t)
S(g)(t) = +2 )
2 n=1 (2n − 1)π

7
 Por tanto,
∞
1 2X sen((2n − 1)πx)
S(f )(x) = +
2 π n=1 2n − 1
b) x ∈/ Z, por Dirichlet (hay que verificar que se satisfacen las condiciones de
Dirichlet) f (x) = S(f )(x). Despejar la serie.
Si x ∈ Z entonces S(f )(x) = 1/2 mientras que f (x) vale 0 ó 1 según sea x
par ó impar. Luego la igualdad no es cierta.
c) Inmediato. Es posible agrupar porque ambas series son convergentes.
d) En ambos se trata de una suma alternada. Sumamos hasta N . En (2) el error
serı́a
2N + 1
|E| ≤ (usando el criterio de Leibniz)
1 + (2N + 1)2
1
En (4) |E| ≤
(2N + 1)(1 + (2N + 1)2 )
Si N grande vemos que la primera cota es de orden O(1/N ) y la segunda
O(1/N 3 ).
Entonces (4) cometerı́a menor error.

19) (a) Si α ∈ Z, como cos(−nx) = cos(nx), la serie de Fourier coincide con la función
f (x).
(b) Si α 6∈ Z, la función es par, por tanto, bn = 0.
1Zπ 2
a0 = cos(αx)dx = sen(απ)
π −π πα
!
1Zπ 1 sen((α + n)π) sen((α − n)π)
an = cos(αx)cos(nx)dx = +
π −π π α+n α−n
Por tanto
∞
!
1 X 1 sen((α + n)π) sen((α − n)π)
S(f )(x) = sen(απ) + + cos(nx)
πα n=1 π α+n α−n

(c) Aplicando la ayuda y usando el teorema de Dirichlet

∞
1 X 2α(−1)n sen(απ)
cos(αx) = sen(απ) + cos(nx)
απ n=1 π(α2 − n2 )

Ahora basta con dividir la ecuación entre 2αsen(απ) y multiplicar por π

(d) Aplicar teorema de Weierstrass.
(e) Sustituir α y x por π y operar. Como la suma es desde n = 1, nos queda
!
1 1 1
2
− 2 .
2 tg π π

8
21) a) Sabemos que la serie de Fourier de la extensión par de f es lo que se llama
serie de Fourier en cosenos de f . Respectivamente, la serie de Fourier de la
extensión impar de f es lo que se llama serie de Fourier en senos de f .
Denotemos por fp y fi las extensiones par e impar de f , respectivamente.
Sabemos que la serie de Fourier de fp (serie de Fourier en cosenos de f ) es de
la forma ∞X
a0 /2 + an cos(nx)
n=1

y que la serie de Fourier de fi (serie de Fourier en senos de f ) es de la forma

∞
X
bn sen (nx)
n=1

El enunciado del problema asegura que tanto fp con fi satisfacen las condi-
ciones de Dirichlet en (−π, π]; por tanto, en ambos casos, podemos aplicar la
ayuda y tendrı́amos
∞ ∞
1Zπ 2 2 1Zπ 2
a2n , b2n
X X
fp (x) dx = a0 /2 + fi (x) dx =
π −π n=1 π −π n=1

Teniendo en cuenta que fp2 (x) = fi2 (x), ∀x ∈ (−π, π] se concluye la igualdad
pedida.
b) Calculemos la serie de Fourier en senos de cos x.
2Zπ 1Zπ
bn = cos xsen (nx) dx = (sen(n + 1)x + sen(n − 1)x) dx =
π 0 π 0
#π
1 + (−1)n
" !
1 cos(n + 1)x cos(n − 1)x 2n
= − − =
π n+1 n−1 0
π n2 − 1
Caigamos en la cuenta de que al aparecer 1/(n − 1) en la expresión anterior
estamos suponiendo que n 6= 1.
Tratemos aparte el caso n = 1
#π
2 sen2 x
"
2Zπ
b1 = cos xsen x dx = =0
π 0 π 2 0

8n
Por tanto, b2n−1 = 0 y b2n = . Ası́ pues la serie de Fourier en
π(4n2 − 1)
cosenos de cos x es:
∞
X 8n
2
sen 2nx
n=1 π(4n − 1)

La serie de Fourier en cosenos de cos x es claramente cos x. Ya que por ser cos x
par, la serie de Fourier en cosenos de cos x es su serie de Fourier en (−π, π],
esta función satisface las condiciones de Dirichlet y además es continua en

9
 todo R, por tanto sabemos que la serie de Fourier del cos x converge al cos x
en todo R
∞
X
cos x = S(cos x) = a0 /2 + an cos nx, ∀x ∈ R
n=0

por tanto, a1 = 1 y para n 6= 1, an = 0.

Otro modo de llegar a este resultado es calcular los an mediante sus fórmulas
y usar la identidad
cos A cos B = 1/2(cos(A + B) + cos(A − B))
c) Vamos a usar el apartado a), para ello hay que probar que la extensiones par
e impar del cos x satisfacen las condiciones de Dirichlet, (esto es un simple
ejercicio).
Por el apartado a) aplicado a f (x) = cos x, tenemos que
∞
X 64n2
2 2 2
=1
n=1 π (4n − 1)
∞
n2
= π 2 /64
X
Por tanto, 2 2
n=1 (4n − 1)

1Zπ Z π
22) a) Como a0 = f (x)dx, entonces f (x)dx = πa0 = 6 π.
π −π −π
b) Por el teorema de Dirichlet, S(f )(π) = f (π), luego
∞
(−1)n 1
= 3 + e−1 − 1 = 2 +
X
f (π) = 3 + .
n=1 n! e
∞
1 6X 1
c) S(f )(x) = − − cos(2n − 1)x.
2 π n=1 2n − 1
d) Aplicando la igualdad que nos dice el enunciado,
∞
1Zπ 2 1 36 X 1
g(x) dx = + 2 .
π −π 2 π n=1 (2n − 1)2
∞
X 1 π2 π2
Por tanto, 2
= (5 − 1) =
n=1 (2n − 1) 36 8

23) a) Teniendo en cuenta que f es par, todos los coeficientes de Fourier bn son nulos.
Además,
2Zπ
a0 = (π − x) dx = π
π 0
2Zπ 2 xsen nx cos nx πsen nx π
 
an = (π − x) cos nx dx = − − +
π 0 π n n2 n 0

4 1
2 1 − (−1)n
" # (
π (2k−1)2
n = 2k − 1
= =
π n2 0 n = 2k

10
 Luego,
π X4 1
Sf (x) = + cos(2k − 1)x .
2 π (2k − 1)2
Es un simple ejercicio ver que f satisface las condiciones de Dirichlet. Además
la extensión periodica de f es continua. Ası́ pues, tenemos que sf (x) converge
puntualmente a f (x) en todo R.
b) Para hallar la suma pedida, evaluemos Sf (x) en x = 0. Observemos que
Sf (0) = f (0) = π y operemos convenientemente hasta llegar a que

1 1 π2
1+ + + . . . = .
32 52 8

11