Análisis Matemático II

Series de Fourier (parte 2)

Fernando Mejías
Series trigonométricas
Definición. Una serie trigonométrica es una serie de funciones de la forma
∞
∑︁
a0 + (an cos nx + bn sen nx).
n=1

Una función periódica f es representada por una serie de Fourier si

∞
∑︁
(1) f (x) = a0 + (an cos nx + bn sen nx).
n=1

Los números an y bn son los coeficientes de Fourier dados por las fórmulas de
Euler:
∫ 𝜋
1
(2) a0 = f (x) dx,
2𝜋 −𝜋
∫ 𝜋
1
(3) an = f (x) cos nx dx, n ∈ N,
𝜋 −𝜋
∫ 𝜋
1
(4) bn = f (x) sen nx dx, n ∈ N.
𝜋 −𝜋
Fernando Mejías Análisis Matemático II 2 / 15
Series de Fourier

Teorema 1. Sea f una función periódica con período 2𝜋, continua a trozos en el
intervalo [−𝜋 , 𝜋] y tal que para cada x existen las derivadas laterales f−0 (x), f+0 (x).
Entonces la serie de Fourier de f converge hacia f (x) para todo x, excepto en los
puntos donde f es discontinua, en cuyo caso converge hacia la media aritmética de
los límites laterales f (x−) y f (x+).

Fernando Mejías Análisis Matemático II 3 / 15

Problemas preliminares
Ejemplo 1. Hallar la serie de Fourier para la función f definida pòr
(
k si x ∈ (0, 𝜋),
f (x) = y f (x + 2𝜋) = f (x),
−k si x ∈ (−𝜋 , 0),
siendo k > 0 (constante).
∫ 𝜋 ∫ 0 ∫ 𝜋 
1 1
a0 = f (x) dx = (−k) dx + k dx = 0
2𝜋 −𝜋 2𝜋 −𝜋 0

∫
1 𝜋
an = f (x) cos nx dx
𝜋 −𝜋
∫ 0 ∫ 
1 𝜋
= (−k) cos nx dx + k cos nx dx
𝜋 −𝜋 0
"  #
k sen nx 0

1 k sen nx  𝜋
= − +
𝜋 n 
−𝜋 n 
0

= 0.
Fernando Mejías Análisis Matemático II 4 / 15
Problemas preliminares
Análogamente
∫
1 𝜋
bn = f (x) sen nx dx
𝜋 −𝜋
∫ 0 ∫ 
1 𝜋
= (−k) sen nx dx + k sen nx dx
𝜋 −𝜋 0
" #
k cos nx 0
 
1 k cos nx  𝜋
= −
𝜋 n −𝜋 n  0
2k
= (1 − cos n𝜋)
n𝜋
2k
= [1 + (−1) n+1 ].
n𝜋
Entonces la serie de Fourier de f es
∞
2k ∑︁ 1 + (−1) n+1
sen nx.
𝜋 n
n=1

Fernando Mejías Análisis Matemático II 5 / 15

Funciones periódicas en general

Si f es una función periódica con período 2L entonces las ecuaciones (1)-(4) se

convierten en
∞ 
∑︁ n𝜋x n𝜋x 
(5) f (x) = a0 + an cos + bn sen ,
L L
n=1
∫ L
1
(6) a0 = f (x) dx,
2L −L
∫ L
1 n𝜋x
(7) an = f (x) cos dx, n ∈ N,
L −L L
∫ L
1 n𝜋x
(8) bn = f (x) sen dx, n ∈ N.
L −L L

Fernando Mejías Análisis Matemático II 6 / 15

Series de Fourier para funciones pares

Si f es una función periódica de período 2L y par, entonces bn = 0 para todo n y f

se puede representar con la serie cosenoidal de Fourier:
∞
∑︁ n𝜋x
(9) f (x) = a0 + an cos ,
L
n=1

con
∫ L
1
(10) a0 = f (x) dx,
L 0
∫ L
2 n𝜋x
(11) an = f (x) cos dx, n ∈ N.
L 0 L

Fernando Mejías Análisis Matemático II 7 / 15

Series de Fourier para funciones impares

Si f es una función periódica de período 2L e impar, entonces an = 0 para todo n

y f se puede representar con la serie senoidal de Fourier:
∞
∑︁ n𝜋x
(12) f (x) = a0 + bn sen ,
L
n=1

con
∫ L
2 n𝜋x
(13) bn = f (x) sen dx, n ∈ N.
L 0 L

Fernando Mejías Análisis Matemático II 8 / 15

Ejemplos
Ejemplo 2. Hallar la serie de Fourier de la función f definida sobre R por
f (x) = x|x| si x ∈ (−1, 1)
y f (x + 2) = f (x) para todo x.

Solución. Notemos que f se puede expresar de la forma

(
−x 2 si −1 < x ≤ 0,
f (x) = 2
x si 0 ≤ x < 1.

f es impar luego la serie de Fourier se reduce a serie senoidal, es decir a0 = an = 0

para todo n, así
∞
∑︁
bn sen nx,
n=1
donde ∫ 1
bn = 2 x 2 sen n𝜋x dx, n ∈ N.
0
Fernando Mejías Análisis Matemático II 9 / 15
Ejemplos (continuación)
Aplicando el método de integración por partes queda
∫ ∫
1 2
x 2 sen n𝜋x dx = − x 2 cos n𝜋x + x cos n𝜋x dx
n𝜋 n𝜋
 ∫ 
1 2 2 1 1
= − x cos n𝜋x + x sen n𝜋x − sen n𝜋x dx
n𝜋 n𝜋 n𝜋 n𝜋
1 2 2
= − x 2 cos n𝜋x + 2 2 x sen n𝜋x + 3 3 cos n𝜋x.
n𝜋 n 𝜋 n 𝜋
Luego
∫ 1
1 2 2
x 2 sen n𝜋x dx = (−1) n+1 + 3 3 (−1) n − 3 3 .
0 n𝜋 n 𝜋 n 𝜋
Así que la serie de Fourier es
∞  
2 ∑︁ 1 n+1 2 n 2
(−1) + 3 2 (−1) − 3 2 .
𝜋 n n 𝜋 n 𝜋
n=0

Fernando Mejías Análisis Matemático II 10 / 15

Ejemplos (continuación)

Ejemplo 3. Hallar la serie de Fourier para la función f (x) = |x| si x ∈ [−𝜋 , 𝜋] y

f (x + 2𝜋) = f (x).
Solución. f (x) es una función par, entonces bn = 0 para todo n.

𝜋2
∫ 𝜋
2 𝜋
a0 = x dx = = .
2𝜋 0 2𝜋 2

∫ 𝜋   𝜋
2 2 x 1 
an = x cos nx dx = sen nx + 2 cos nx 
𝜋 0 𝜋 n n 0
2 2[(−1) n − 1]
= 2 (cos n𝜋 − cos 0) =
n 𝜋 n2 𝜋
∞
𝜋 2 ∑︁ [(−1) n − 1]
f (x) = + cos nx.
2 𝜋
n=1
n2

Fernando Mejías Análisis Matemático II 11 / 15

Ejemplos (continuación)

Ejemplo 4. Hallar la serie de Fourier para la función g (x) = g1 (x) + g2 (x) donde
g1 (x) = x, g2 (x) = 𝜋 para x < 0, g2 (x) = −𝜋 para x > 0. g1 (x) y g2 (x) son
impares.
Solución. Para g2 (x) tenemos que an = 0 para n ≥ 0 y:
∫ 𝜋 𝜋
2 2 
bn = (−𝜋) sen nx dx = cos nx 
𝜋 0 n 0
2 2
= (cos n𝜋 − cos 0) = [(−1) n − 1].
n n
Luego
∞
∑︁ [(−1) n − 1]
g2 (x) = 2 sen nx.
n
n=1

Fernando Mejías Análisis Matemático II 12 / 15

Ejemplos (continuación)

Para g1 (x)
∫   𝜋
2 𝜋
2 x 1 
bn = x sen nx dx = − cos nx + 2 sen nx 
𝜋 0 𝜋 n n 0
2  𝜋  2 2(−1) n+1
= − cos n𝜋 = − (−1) n = .
𝜋 n n n
Entonces
∞ ∞
∑︁ (−1) n+1 ∑︁ [(−1) n − 1]
g (x) = 2 sen nx + 2 sen nx
n n
n=1 n=1
∞
∑︁ 1
= −2 sen nx.
n
n=1

Fernando Mejías Análisis Matemático II 13 / 15

Ejemplos (continuación)
Ejemplo 5. Hallar la serie de Fourier para la función h(x) = x 2 si x ∈ [−1, 1] y
h(x + 2) = h(x).
Solución. h es una función par, entonces bn = 0 para todo n.
1
𝜋2 1
∫
2
a0 = x 2 dx = = .
2·1 0 2𝜋 3

∫ 1
2
an = x cos n𝜋x dx
1 0
1
x2 2

2x 2 
=2 x sen nx + 2 2 cos n𝜋x − 3 3 sen n𝜋x 
n𝜋 n 𝜋 n 𝜋 0
4 4[(−1) n − 1]
= 2 2 cos n𝜋 =
n 𝜋 n2 𝜋 2
∞
1 4 ∑︁ (−1) n
h(x) = + 2 cos n𝜋x.
3 𝜋
n=1
n2

Fernando Mejías Análisis Matemático II 14 / 15

Ejemplos (continuación)

Ejemplo 6. Utilizar el ejemplo 5 para demostrar la siguiente igualdad:

1 1 1 𝜋2
1+ + + +··· = .
4 9 16 6
Solución. Tomando x = 1 en el ejercicio anterior resulta
∞ ∞ ∞
1 4 ∑︁ (−1) n 1 4 ∑︁ (−1) n n 1 4 ∑︁ (−1) 2n
1= + 2 cos n𝜋 = + (−1) = + ,
3 𝜋
n=1
n2 3 𝜋2
n=1
n2 3 𝜋2
n=1
n2

de donde
∞
4 ∑︁ 1 2
= .
𝜋 2 n=1 n 2 3

Fernando Mejías Análisis Matemático II 15 / 15