DERIVACION E INTEGRACION DE SERIES DE FOURIER

La serie de Fourier de 𝑓 𝑥 se puede integrar término a término de 𝑎 a 𝑥, y la

𝑥
serie que resulta converge uniformemente hacia: 𝑓 𝑥 𝑑𝑥 siempre que
𝑎

𝑓 𝑥 sea casi continua en −𝐿 ≤ 𝑥 ≤ 𝐿 y 𝑎 y 𝑥, estén en el intervalo.

Ejemplo: Integral la serie:

𝑠𝑒𝑛𝑥 𝑠𝑒𝑛2𝑥 𝑠𝑒𝑛3𝑥
𝑥=2 − + −⋯ 𝑒𝑛 − 𝜋 < 𝑥 < 𝜋
1 2 3

Para demostrar que:

𝜋 3 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥

2
𝑥 = −4 − + −⋯ 𝑒𝑛 − 𝜋 ≤ 𝑥 ≤ 𝜋
3 12 22 32
Integrando de 0 a 𝑥:

𝑥 𝑥
𝑠𝑒𝑛𝑥 𝑠𝑒𝑛2𝑥 𝑠𝑒𝑛3𝑥
𝑥𝑑𝑥 = 2 − + − ⋯ 𝑑𝑥
0 0 1 2 3

𝑥 𝑥

𝑥2 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥

=2 − 2 + − +⋯
2 1 22 32
0 0

𝑥2 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥 𝑐𝑜𝑠0 𝑐𝑜𝑠0 𝑐𝑜𝑠0

=2 − + − + ⋯ − 2 − + 2 − 2 +⋯
2 12 22 32 12 2 3

1 1 1 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥

𝑥2 =4 2− 2+ 2−⋯ −4 − + −⋯
1 2 3 12 22 32

𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥

𝑥2 = 𝐶 − 4 − + −⋯ (1)
12 22 32
Como esto es una serie Fourier de cosenos, podemos calcular C como:
𝑎0 Por tanto:
𝐶=
2
1 1 1 𝜋2
1 2 𝐿 4 2− 2+ 2−⋯ =
1 2 3 3
𝐶= 𝑓 𝑥 𝑑𝑥
2 𝐿 0
Sust. en (1):
𝐿
1
𝐶= 𝑓 𝑥 𝑑𝑥 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥
𝐿 𝑥2 = 𝐶 − 4 − + −⋯ (1)
0 12 22 32
𝜋
1
𝐶= 𝑥 2 𝑑𝑥
𝜋 0
𝜋 2
𝜋2 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥 𝑐𝑜𝑠3𝑥
𝑥 = −4 − + −⋯
3 12 22 32
𝑥3
𝐶=
3𝜋
0
𝜋3
𝐶= −0
3𝜋

𝜋2
𝐶=
3
Forma Compleja de la Serie de Fourier Restando (1) y (2):
Tenemos:
𝑒 𝑖𝑥 = 𝑐𝑜𝑠𝑥 + 𝑖𝑠𝑒𝑛𝑥
𝑒 𝑖𝑥 = 𝑐𝑜𝑠𝑥 + 𝑖𝑠𝑒𝑛𝑥 (1)
−𝑒 −𝑖𝑥 = − cos 𝑥 + 𝑖𝑠𝑒𝑛𝑥
𝑒 −𝑖𝑥 = cos(−𝑥) + 𝑖𝑠𝑒𝑛(−𝑥)
−𝑖𝑥 𝑒 𝑖𝑥 − 𝑒 −𝑖𝑥 = 2𝑖𝑠𝑒𝑛𝑥
𝑒 = cos 𝑥 − 𝑖𝑠𝑒𝑛𝑥 (2)
𝑒 𝑖𝑥 − 𝑒 −𝑖𝑥
Sumando (1) y (2): 𝑠𝑒𝑛𝑥 =
2𝑖
𝑒 𝑖𝑥 = 𝑐𝑜𝑠𝑥 + 𝑖𝑠𝑒𝑛𝑥
𝑒 −𝑖𝑥 = cos 𝑥 − 𝑖𝑠𝑒𝑛𝑥
Tenemos:
∞
𝑒 𝑖𝑥 + 𝑒 −𝑖𝑥 = 2𝑐𝑜𝑠𝑥 𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓 𝑥 = + 𝑎𝑛 𝑐𝑜𝑠 + 𝑏𝑛 𝑠𝑒𝑛
2 𝐿 𝐿
𝑛=1
𝑒 𝑖𝑥 + 𝑒 −𝑖𝑥 ∞
𝑐𝑜𝑠𝑥 = 𝑎0 𝑒 𝑖𝑛𝜋𝑥/𝐿 + 𝑒 −𝑖𝑛𝜋𝑥/𝐿 𝑒 𝑖𝑛𝜋𝑥/𝐿 − 𝑒 −𝑖𝑛𝜋𝑥/𝐿
2
𝑓 𝑥 = + 𝑎𝑛 + 𝑏𝑛
2 2 2𝑖
𝑛=1

∞
𝑎0 𝑒 𝑖𝑛𝜋𝑥/𝐿 + 𝑒 −𝑖𝑛𝜋𝑥/𝐿 𝑒 𝑖𝑛𝜋𝑥/𝐿 − 𝑒 −𝑖𝑛𝜋𝑥/𝐿
𝑓 𝑥 = + 𝑎𝑛 + 𝑖𝑏𝑛
2 2 2𝑖 2
𝑛=1
 ∞
𝑎0 𝑒 𝑖𝑛𝜋𝑥/𝐿 + 𝑒 −𝑖𝑛𝜋𝑥/𝐿 𝑒 𝑖𝑛𝜋𝑥/𝐿 − 𝑒 −𝑖𝑛𝜋𝑥/𝐿
𝑓 𝑥 = + 𝑎𝑛 − 𝑖𝑏𝑛
2 2 2
𝑛=1

∞
𝑎0 1 𝑖𝑛𝜋𝑥/𝐿
1
𝑓 𝑥 = + 𝑎𝑛 − 𝑖𝑏𝑛 𝑒 + 𝑎𝑛 + 𝑖𝑏𝑛 𝑒 −𝑖𝑛𝜋𝑥/𝐿
2 2 2
𝑛=1

∞ ∞

𝑓 𝑥 = 𝑐0 + 𝑐𝑛 𝑒 𝑖𝑛𝜋𝑥/𝐿 + 𝑐−𝑛 𝑒 −𝑖𝑛𝜋𝑥/𝐿

𝑛=1 𝑛=1

Donde:
𝑎0
𝑐0 =
2
1
𝑐𝑛 = 𝑎𝑛 − 𝑖𝑏𝑛
2

1
𝑐−𝑛 = 𝑎𝑛 + 𝑖𝑏𝑛
2
Cuando la función 𝑓 es real, 𝑐𝑛 y 𝑐−𝑛 son complejos conjugados y pueden
escribirse también en términos de las funciones exponenciales compleja:
𝑎0 𝐿
1
𝑐0 = = 𝑓 𝑥 𝑑𝑥
2 2𝐿 −𝐿

𝐿 𝐿
1 1 1 𝑛𝜋𝑥 1 𝑛𝜋𝑥
𝑐𝑛 = 𝑎𝑛 − 𝑖𝑏𝑛 = 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥 −𝑖 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥
2 2 𝐿 −𝐿 𝐿 𝐿 −𝐿 𝐿

𝐿 𝑛𝜋𝑥 𝑛𝜋𝑥
1 1
= 𝑓(𝑥) 𝑐𝑜𝑠 𝑑𝑥 −𝑖𝑠𝑒𝑛 𝑑𝑥
2𝐿 −𝐿 𝐿 𝐿

𝑃𝑒𝑟𝑜:
𝑒 −𝑖𝑥 = cos 𝑥 − 𝑖𝑠𝑒𝑛𝑥

𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
𝑛𝜋𝑥
−𝑖 𝐿 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑒 = cos − 𝑖𝑠𝑒𝑛 2
𝐿 𝐿
𝑆𝑢𝑠𝑡. 2 𝑒𝑛 (1):

𝐿
1
𝑐𝑛 = 𝑓(𝑥)𝑒 −𝑖𝑛𝜋𝑥/𝐿 𝑑𝑥
2𝐿 −𝐿
 𝐿 𝐿
1 1 1 𝑛𝜋𝑥 1 𝑛𝜋𝑥
𝑐−𝑛 = 𝑎𝑛 + 𝑖𝑏𝑛 = 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥 +𝑖 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥
2 2 𝐿 −𝐿 𝐿 𝐿 −𝐿 𝐿

𝐿 𝑛𝜋𝑥 𝑛𝜋𝑥
1 3
= 𝑓(𝑥) 𝑐𝑜𝑠 𝑑𝑥 +𝑖𝑠𝑒𝑛 𝑑𝑥
2𝐿 −𝐿 𝐿 𝐿

𝑃𝑒𝑟𝑜:
𝑒 𝑖𝑥 = cos 𝑥 + 𝑖𝑠𝑒𝑛𝑥

𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠:
𝑛𝜋𝑥
𝑖 𝐿 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑒 = cos + 𝑖𝑠𝑒𝑛 4
𝐿 𝐿
𝑆𝑢𝑠𝑡. 4 𝑒𝑛 (3):

𝐿
1
𝑐−𝑛 = 𝑓(𝑥)𝑒 𝑖𝑛𝜋𝑥/𝐿 𝑑𝑥
2𝐿 −𝐿
Puesto que los subíndices de coeficientes y exponentes se encuentran en el rango de todo
el conjunto de enteros no negativos… -3, -2, -1, 0, 1, 2, 3, . . . , podemos sumar tanto enteros
negativos como no negativos. En otras palabras, es posible utilizar una suma y una integral
quedefina todos los coeficientes 𝑐0 , 𝑐𝑛 , 𝑐−𝑛 . Tendremos:

𝑓 𝑥 = 𝑐𝑛 𝑒 𝑖𝑛𝜋𝑥/𝐿
𝑛=−∞

Donde:
𝐿
1 −
𝑖𝑛𝜋𝑥
𝑐𝑛 = 𝑓 𝑥 𝑒 𝐿 𝑑𝑥, 𝑛 = 0, ±1, ±2, ±3, …
2𝐿 −𝐿
Ejemplo: Encuentre la serie compleja de Fourier de 𝑓 en el intervalo dado:
𝑓 𝑥 =𝑥 0 < 𝑥 < 2𝜋
∞

𝑓 𝑥 = 𝑐𝑛 𝑒 𝑖𝑛𝜋/𝐿 𝑛 = 0, ±1, ±2, ±3, …

𝑛=−∞

𝐿
1 𝑖𝑛𝜋𝑥
− 𝐿
𝑐𝑛 = 𝑓 𝑥 𝑒 𝑑𝑥, 𝑛 = 0, ±1, ±2, ±3, …
2𝐿 −𝐿

2𝐿 = 2𝜋 𝐿=𝜋
2𝜋 2𝜋
1 𝑖𝑛𝜋𝑥
− 𝜋 1
𝑐𝑛 = 𝑥𝑒 𝑑𝑥 = 𝑥𝑒 −𝑖𝑛𝑥 𝑑𝑥
2𝜋 0 2𝜋 0

𝑢=𝑥 𝑑𝑢 = 𝑑𝑥

−𝑖𝑛𝑥 𝑒 −𝑖𝑛𝑥
𝑑𝑣 = 𝑒 −𝑖𝑛𝑥 𝑑𝑥 𝑣= 𝑒 𝑑𝑥 𝑣=−
𝑖𝑛
2𝜋

1 𝑒 −𝑖𝑛𝑥 𝑒 −𝑖𝑛𝑥
𝑐𝑛 = 𝑥 − + 𝑑𝑥
2𝜋 𝑖𝑛 𝑖𝑛
0
 2𝜋
Sust. (2) en (1):
1 𝑥𝑒 −𝑖𝑛𝑥 𝑒 −𝑖𝑛𝑥
𝑐𝑛 = − + 2 2
2𝜋 𝑖𝑛 𝑖 𝑛
1 2𝜋 1 1
0 𝑐𝑛 = − − +
2𝜋 𝑖𝑛 𝑛2 𝑛2
0
1 2𝜋𝑒 −2𝑖𝑛𝜋 𝑒 −2𝑖𝑛2𝜋 0𝑒 −𝑖𝑛𝜋0 𝑒0
𝑐𝑛 = − + 2 2 + − 2 2 1
2𝜋 𝑖𝑛 𝑖 𝑛 𝑖𝑛 𝑖 𝑛 𝑐𝑛 = −
𝑖𝑛
1 2𝜋𝑒 −2𝑖𝑛𝜋 𝑒 −2𝑖𝑛𝜋 1 1
𝑐𝑛 = − − + 1 𝑖 𝑖 𝑖
2𝜋 𝑖𝑛 𝑛2 𝑛2 𝑐𝑛 = − × =− 2 =
𝑖𝑛 𝑖 𝑖 𝑛 𝑛
𝑃𝑒𝑟𝑜:
𝑒 𝑖𝑥 = 𝑐𝑜𝑠𝑥 + 𝑖𝑠𝑒𝑛𝑥 𝑖
0 𝑐𝑛 =
𝑛
𝑇𝑒𝑛𝑑𝑟𝑒𝑚𝑜𝑠 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞𝑢𝑒:
𝑒 −2𝑖𝑛𝜋 = 𝑐𝑜𝑠 −2𝑛𝜋 + 𝑖𝑠𝑒𝑛 −2𝑛𝜋

𝑒 −2𝑖𝑛𝜋 = 𝑐𝑜𝑠2𝑛𝜋

𝑒 −2𝑖𝑛𝜋 = 1 2
Puesto que el último resultado no es válido
en 𝑛 = 0, calculamos ese término en forma 𝑆𝑢𝑠𝑡. 𝑐0 𝑦 𝑐𝑛 𝑒𝑛:
separada:
∞

1 𝐿 𝑓 𝑥 = 𝑐𝑛 𝑒 𝑖𝑛𝜋𝑥/𝐿
𝑐0 = 𝑓 𝑥 𝑑𝑥 𝑛=−∞
2𝐿 −𝐿
2𝜋
1
𝑐0 = 𝑥𝑑𝑥 ∞
2𝜋 0 𝑖 𝑖𝑛𝜋𝑥/𝜋
2𝜋
𝑓 𝑥 =𝜋+ 𝑒
𝑛
𝑛=−∞
1 𝑥2
𝑐0 =
2𝜋 2
0
∞
𝑖 𝑖𝑛𝑥
𝑓 𝑥 =𝑥=𝜋+ 𝑒
1 4𝜋 2 𝑛
𝑐0 = −0 𝑛=−∞,𝑛≠0
2𝜋 2

𝑐0 = 𝜋