Ejercicio

Obtener la representación en serie de Fourier de la siguiente función a trozos, en el intervalo

[−3,3]. Graficar la representación en la serie de Fourier a converge la función.
−1 𝑠𝑖 − 3 ≤ 𝑥 ≤ 1
𝑓(𝑥) = { }
2 𝑠𝑖 1 < 𝑥 ≤ 3
Solución:

La serie de Fourier está dada por:

∞
𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓(𝑥) = 𝑎0 + ∑ (𝑎𝑛 𝑐𝑜𝑠 + 𝑏𝑛 𝑠𝑒𝑛 )
𝐿 𝐿
𝑛=1

Y de la gráfica de la función se muestra en la figura 5.4.4

El cálculo de los coeficientes está dado por las ecuaciones (3), (4), (5) de la sección anterior:

1 𝐿 1 1 3
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥 = [∫ (−1)𝑑𝑥 + ∫ (2)𝑑𝑥 ]
2𝐿 −𝐿 2(3) −3 1

1 1 3 1
𝑎0 = (−𝑥) | + 2𝑥 | = (−(1 + 3) + 2(3 − 1)) = 0
6 −3 1 6

1 𝐿 𝑛𝜋𝑥 1 1 𝑛𝜋𝑥 3
𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥)𝑐𝑜𝑠 𝑑𝑥 = [∫ (−1)𝑐𝑜𝑠 𝑑𝑥 + ∫ (2)cos 𝑑𝑥 ]
𝐿 −𝐿 𝐿 3 −3 3 1 3
1 −3 𝑛𝜋𝑥 1 6 𝑛𝜋𝑥 3 1 −3 𝑛𝜋 6 𝑛𝜋
𝑎𝑛 = [ 𝑠𝑒𝑛 | + 𝑠𝑒𝑛 | ] = [ 𝑠𝑒𝑛 − 𝑠𝑒𝑛 ]
3 𝑛𝜋 3 −3 𝑛𝜋 3 1 3 𝑛𝜋 3 𝑛𝜋 3
1 −9 𝑛𝜋 −3 𝑛𝜋
𝑎𝑛 = [ 𝑠𝑒𝑛 ] = 𝑠𝑒𝑛
3 𝑛𝜋 3 𝑛𝜋 3
 1 𝐿 𝑛𝜋𝑥 1 1 𝑛𝜋𝑥 3
𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 𝑑𝑥 = [∫ (−1)𝑠𝑒𝑛 𝑑𝑥 + ∫ (2)cos 𝑑𝑥 ]
𝐿 −𝐿 𝐿 3 −3 3 1 3
1 3 𝑛𝜋𝑥 1 6 𝑛𝜋𝑥 3 1 3 𝑛𝜋 6 𝑛𝜋
𝑏𝑛 = [ 𝑐𝑜𝑠 | − 𝑐𝑜𝑠 | ] = [ (𝑐𝑜𝑠 − 𝑐𝑜𝑠𝑛𝜋) − (𝑐𝑜𝑠𝑛𝜋 − 𝑐𝑜𝑠 ]
3 𝑛𝜋 3 −3 𝑛𝜋 3 1 3 𝑛𝜋 3 𝑛𝜋 3
1 3 𝑛𝜋𝑥 3 6 6 𝑛𝜋 9 𝑛𝜋
𝑏𝑛 = [ 𝑐𝑜𝑠 − 𝑐𝑜𝑠𝑛𝜋 − 𝑐𝑜𝑠𝑛𝜋 + 𝑐𝑜𝑠 ] = (𝑐𝑜𝑠 − (−1)𝑛 )
3 𝑛𝜋 3 𝑛𝜋 𝑛𝜋 𝑛𝜋 3 3𝑛𝜋 3
3 𝑛𝜋
𝑏𝑛 = (𝑐𝑜𝑠 + (−1)𝑛+1 )
𝑛𝜋 3

Así la serie de Fourier para la función queda representada por:

∞
3 1 𝑛𝜋 𝑛𝜋𝑥 1 𝑛𝜋 𝑛𝜋𝑥
𝑓(𝑥) = ∑ [− 𝑠𝑒𝑛 𝑐𝑜𝑠 + (𝑐𝑜𝑠 + (−1)𝑛+1 )𝑠𝑒𝑛 ]
𝜋 𝑛 3 3 𝑛 3 3
𝑛=1

Y para la discontinuidad 𝑥0 = 1 se tiene que la serie converge a

1 1 1
𝑓(𝑥) = [𝑓(1+ ) + 𝑓(1− )] (2 − 1) =
2 2 2
Entonces la gráfica de la función a la cual converge la serie está dada por la figura.
CONVERGENCIA DE LAS SERIES DE FOURIER

Teorema 4

Sea 𝑓 una función periódica con periodo 2𝜋 y sean 𝑓(𝑥) 𝑦𝑓 ′ (𝑥) seccionalmente continuas en
el intervalo (-𝜋, 𝜋)

Entonces, la serie de Fourier converge a:

a. 𝑓(𝑥) si x es un punto de continuidad.

1
b. ( lím 𝑓(𝑥) + lím− 𝑓(𝑥))
2 𝑥→𝑥 +
si x es un punto de discontinuidad.
0
𝑥→𝑥0

DEMOSTRACIÓN:

Supongamos que f(x) tiene primera y segunda derivadas continuas.

1 𝜋
Tomando 𝑎𝑛 𝜋 ∫−𝜋 𝑓(x)cos nxdx

Integrando:

𝑓(𝑥)𝑠𝑒𝑛 𝑛𝑥 𝜋 1 𝜋 ′
𝑎𝑛 = | − ∫ 𝑓 (𝑥)𝑠𝑒𝑛 𝑛𝑥𝑑𝑥
𝑛𝜋 −𝜋 𝑛𝜋 −𝜋

Integrando de nuevo:

𝜋
𝑓′(𝑥)𝑐𝑜𝑠 𝑛𝑥 𝜋 1
𝑎𝑛 = | − ∫ 𝑓 ′ ′(𝑥)𝑐𝑜𝑠 𝑛𝑥𝑑𝑥
𝑛2 𝜋 −𝜋 𝑛2 𝜋 −𝜋

El primer término se anula, gracias a la periodicidad de f’(x) como f’’(x) es continua en el

intervalo de integración, tenemos: |𝑓 ′ ′(𝑥)| < 𝑀 donde 𝑀 es una constante apropiada.

Además, |𝑐𝑜𝑠𝑛𝑥| ≤ 1
𝜋 𝜋
1 ′
1 2𝑀
𝑎𝑛 = 2
|∫ 𝑓 ′(𝑥)𝑐𝑜𝑠 𝑛𝑥𝑑𝑥 | < 2
∫ 𝑑𝑥 = 2 , 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑎 𝑛
𝑛 𝜋 −𝜋 𝑛 𝜋 −𝜋 𝑛
2𝑀
De la misma manera: |𝑏𝑛 | < 𝑛2

Podemos concluir que el valor absolute de cada término de la serie de Fourier correspondiente
a f(x) es a la suma igual al correspondiente término de la serie:

1 1 1 1 1 1
|𝑎0 | + 2𝑀 (1 + 2
+ 2 + 2 + ⋯ ) + 2𝑀 (1 + 2 + 2 + 2 + ⋯ )
2 3 4 2 3 4

1 1 1
|𝑎0 | + 4𝑀 (1 + + 32 + 4 2 + ⋯ )
22

Que es convergente. Por lo tanto, la serie de Fourier converge.