Escolar Documentos
Profissional Documentos
Cultura Documentos
Una función 𝑓 es llamada continua a trozos en el intervalo [𝑎, 𝑏] si esta es continua en todo
el intervalo excepto en un número finito de puntos 𝑥 𝑗 donde 𝑙𝑖𝑚+ 𝑓 (𝑥) y 𝑙𝑖𝑚− 𝑓 (𝑥) existen.
𝑥→𝑥 𝑗 𝑥→𝑥 𝑗
1
Ejemplo: Dada la función 𝑓 (𝑥) = 𝑥 para 𝑥 ∈ [−1, 1]
La serie de Fourier correspondiente esta dada por
+∞
𝑎0 Õ
+ (𝑎 𝑛 𝑐𝑜𝑠 (𝑛𝜋𝑥) + 𝑏 𝑛 𝑠𝑒𝑛 (𝑛𝜋𝑥))
2 𝑛=1
donde
∫1 ∫1
𝑎𝑛 = 𝑥𝑐𝑜𝑠 (𝑛𝜋𝑥) 𝑑𝑥 y 𝑏 𝑛 = 𝑥𝑠𝑒𝑛 (𝑛𝜋𝑥) 𝑑𝑥
−1 −1
luego
∫1 1
𝑥2 1−1
• 𝑎0 = 𝑥𝑑𝑥 = 2 −1 = 2 =0
−1
2
Notese que la N-esima suma parcial de la serie de Fourier de la función 𝑓 esta dada por
𝑁
𝑎0 Õ
𝑆 𝑁 (𝑥) = + (𝑎 𝑛 𝑐𝑜𝑠 (𝑛𝜋𝑥) + 𝑏 𝑛 𝑠𝑒𝑛 (𝑛𝜋𝑥))
2 𝑛=1
donde
∫ 1
𝑎𝑛 = 𝑓 (𝑥) 𝑐𝑜𝑠 (𝑛𝜋𝑥) 𝑑𝑥
−1
∫ 1
𝑏𝑛 = 𝑓 (𝑥) 𝑠𝑒𝑛 (𝑛𝜋𝑥) 𝑑𝑥
−1
3
Cambiando de escala
Otra pregunta muy obvia sería como definir las series de Fourier para funciones definidas en inter-
valos diferentes a [−1; 1] . Por ejemplo supongamos que 𝑓 esta definida en el intervalo [−𝐿; 𝐿] para
𝐿 > 0, entonces definiremos una nueva función
𝑓 : [−1; 1] −→ R por e
e 𝑓 (𝑥) = 𝑓 (𝑥𝐿)
donde
∫1 ∫1
𝑓 (𝑥) 𝑐𝑜𝑠 (𝑛𝜋𝑥) 𝑑𝑥 para 𝑛 = 0, 1, 2, 3, · · ·
𝑎 𝑛 = −1 e y 𝑏𝑛 = −1
𝑓 (𝑥) 𝑠𝑒𝑛 (𝑛𝜋𝑥) 𝑑𝑥 para 𝑛 = 1, 2, 3, · · ·
e
donde
∫1 ∫1
𝑓 (𝑥) 𝑐𝑜𝑠 (𝑛𝜋𝑥) 𝑑𝑥 para 𝑛 = 0, 1, 2, 3, · · ·
𝑎 𝑛 = −1 e y 𝑏𝑛 = −1
𝑓 (𝑥) 𝑠𝑒𝑛 (𝑛𝜋𝑥) 𝑑𝑥 para 𝑛 = 1, 2, 3, · · ·
e
luego
∫1 ∫1
𝑎 𝑛 = −1 𝑓 (𝑥𝐿) 𝑐𝑜𝑠 (𝑛𝜋𝑥) 𝑑𝑥 para 𝑛 = 0, 1, 2, 3, · · · y 𝑏𝑛 = −1
𝑓 (𝑥𝐿) 𝑠𝑒𝑛 (𝑛𝜋𝑥) 𝑑𝑥 para 𝑛 = 1, 2, 3, · · ·
aplicando un cambio de variable obtenemos
Sea 𝑓 una función continua a trozos definida en el intervalo [−𝐿, 𝐿] . La serie de Fourier
completa se define como
+∞
𝑎0 Õ 𝑥 𝑥
𝑓 (𝑥) ∼ + 𝑎 𝑛 𝑐𝑜𝑠 𝑛𝜋 + 𝑏 𝑛 𝑠𝑒𝑛 𝑛𝜋 ,
2 𝑛=1 𝐿 𝐿
y
1 𝐿
𝑓 (𝑥) 𝑠𝑒𝑛 𝑛𝜋 𝐿𝑥 𝑑𝑥 para 𝑛 = 1, 2, 3, · · ·
∫
𝑏𝑛 = 𝐿 −𝐿
Ejemplo: (
0 −𝜋 ≤ 𝑥 < 0
Dada la función 𝑓 (𝑥) = . Desarrolle su serie de Fourier
𝜋−𝑥 0≤𝑥≤𝜋
4
Lema 1
Si 𝑓 es una función par definida en [−𝐿, 𝐿] , entonces
+∞
𝑎0 Õ 𝑘 𝜋𝑥
𝑓 (𝑥) ∼ + 𝑎 𝑘 𝑐𝑜𝑠
2 𝑘=1 𝐿
donde
2
∫ 𝐿
𝑘 𝜋𝑥
𝑎𝑘 = 𝑓 (𝑥) 𝑐𝑜𝑠 𝑑𝑥
𝐿 0 𝐿
para 𝑘 ≥ 0.
Lema 2
Si 𝑓 es una función impar definida en [−𝐿, 𝐿] , entonces
+∞
Õ 𝑘 𝜋𝑥
𝑓 (𝑥) ∼ 𝑏 𝑘 𝑠𝑒𝑛
𝑘=1
𝐿
donde
2
∫ 𝐿
𝑘 𝜋𝑥
𝑏𝑘 = 𝑓 (𝑥) 𝑠𝑒𝑛 𝑑𝑥
𝐿 0 𝐿
para 𝑘 ≥ 1.
donde
2
∫ 𝜋
𝑥
𝑏𝑛 = 𝑠𝑒𝑛 (𝑛𝑥) 𝑑𝑥
𝜋 0 2
h 𝜋 ∫ i h 𝜋 𝜋 i
1 1 𝑐𝑜𝑠 (𝑛𝑥) 𝜋 𝑐𝑜𝑠 (𝑛𝑥) 1 𝑐𝑜𝑠 (𝑛𝑥)
∫𝜋 𝑠𝑒𝑛(𝑛𝑥)
=⇒ 𝑏 𝑛 = 0
𝑥𝑠𝑒𝑛 (𝑛𝑥) 𝑑𝑥 = −𝑥 − 0
− 𝑑𝑥 = −𝑥 + 2
0 0 0
𝜋 𝜋 𝑛 𝑛 𝜋 𝑛 𝑛
5
Extensiones pares e impares
El objetivo aca es encontrar la serie de Fourier de una función 𝑓 definida en [0, 𝐿] , para esto
extenderemos la función 𝑓 al intervalo [−𝐿, 𝐿] y luego calcularemos los coeficientes de Fourier.
Existen dos formas naturales de hacer esta extensión, veamos
Definición Extensión Impar 𝑓 𝐼
𝑓 (𝑥) 0<𝑥≤𝐿
𝑓 𝐼 (𝑥) = − 𝑓 (−𝑥) −𝐿 ≤ 𝑥 < 0
0
𝑥=0
Õ+∞ 𝑛𝜋𝑥
𝑓 𝐼 (𝑥) ∼ 𝑏 𝑛 𝑠𝑒𝑛 para todo 𝑥 ∈ [−𝐿, 𝐿]
𝑛=1
𝐿
luego
Õ+∞ 𝑛𝜋𝑥
𝑓 (𝑥) ∼ 𝑏 𝑛 𝑠𝑒𝑛 para todo 𝑥 ∈ [0, 𝐿]
𝑛=1
𝐿
∫ 𝐿 𝑛𝜋𝑥
2
donde 𝑏 𝑛 = 𝐿 𝑓 (𝑥) 𝑠𝑒𝑛 𝑑𝑥
0 𝐿
6
Definición Extensión Par 𝑓 𝑃
𝑓 (𝑥) 0<𝑥≤𝐿
𝑓 𝑃 (𝑥) = 𝑓 (−𝑥) −𝐿 ≤ 𝑥 < 0
𝑓 (0+ ) 𝑥=0
+∞
𝑎0 Õ 𝑛𝜋𝑥
𝑓 𝑃 (𝑥) ∼ + 𝑎 𝑛 𝑐𝑜𝑠 para todo 𝑥 ∈ [−𝐿, 𝐿]
2 𝑛=1 𝐿
luego
+∞
𝑎0 Õ 𝑛𝜋𝑥
𝑓 (𝑥) ∼ + 𝑎 𝑛 𝑐𝑜𝑠 para todo 𝑥 ∈ [0, 𝐿]
2 𝑛=1 𝐿
∫ 𝐿 𝑛𝜋𝑥
2
donde 𝑎 𝑛 = 𝐿 𝑓 (𝑥) 𝑐𝑜𝑠 𝑑𝑥
0 𝐿
7
Series de Fourier convergentes en un intervalo cerrado [0, 𝐿]
+∞
• Sea 𝑎0
una serie convergente en el intervalo [0, 𝐿], si
Í 𝑛𝜋𝑥
2 + 𝑎 𝑛 𝑐𝑜𝑠 𝐿
𝑛=1
+∞
𝑎0 Õ 𝑛𝜋𝑥
𝑓 (𝑥) = + 𝑎 𝑛 𝑐𝑜𝑠
2 𝑛=1 𝐿
∫𝐿 ∫𝐿 " +∞
# ∫𝐿 +∞ ∫𝐿
𝑎0 Õ 𝑛𝜋𝑥 𝑎0 Õ 𝑛𝜋𝑥
𝑓 (𝑥) 𝑑𝑥 = + 𝑎 𝑛 𝑐𝑜𝑠 𝑑𝑥 = 𝑑𝑥+ 𝑎𝑛 𝑐𝑜𝑠 =
2 𝑛=1 𝐿 2 𝐿
0 0 𝑛=1 0 0
+∞ ∫𝐿
𝑎0 𝐿 Õ 𝑎𝑛 𝑛𝜋𝑥 𝑎0 𝐿
= + 𝑐𝑜𝑠 𝑑𝑥 =
2 𝑛=1 2 𝐿 2
−𝐿
consecuentemente
∫𝐿
2
𝑎0 = 𝑓 (𝑥) 𝑐𝑑𝑥
𝐿
0
Sea 𝑘 ∈ N entonces +∞
𝑘 𝜋𝑥 𝑎0 Õ 𝑛𝜋𝑥 𝑘 𝜋𝑥
𝑓 (𝑥) 𝑐𝑜𝑠 = + 𝑎 𝑛 𝑐𝑜𝑠 𝑐𝑜𝑠
𝐿 2 𝑛=1 𝐿 𝐿
∫𝐿 +∞ ∫𝐿
𝑎0 𝑘 𝜋𝑥 Í 𝑛𝜋𝑥
𝑘 𝜋𝑥
= 2 𝑐𝑜𝑠 𝐿 𝑑𝑥+ 𝑎𝑛 𝑐𝑜𝑠 𝐿 𝑐𝑜𝑠 𝐿 𝑑𝑥 =
0 𝑛=1 0
∫𝐿 +∞ ∫𝐿
𝑎0 𝑘 𝜋𝑥 Í 𝑎𝑛 𝑛𝜋𝑥
𝑘 𝜋𝑥 𝑎𝑘 𝐿
= 4 𝑐𝑜𝑠 𝐿 𝑑𝑥+ 2 𝑐𝑜𝑠 𝐿 𝑐𝑜𝑠 𝐿 𝑑𝑥 = 2
−𝐿 𝑛=1 −𝐿
2
∫𝐿
luego 𝑎 𝑘 = 𝐿 𝑓 (𝑥) 𝑐𝑜𝑠 𝑘 𝜋𝑥
𝐿 𝑑𝑥
0
+∞
• Sea una serie convergente en el intervalo [0, 𝐿], si
Í 𝑛𝜋𝑥
𝑏 𝑛 𝑠𝑒𝑛 𝐿
𝑛=1
Õ+∞ 𝑛𝜋𝑥
𝑓 (𝑥) = 𝑏 𝑛 𝑠𝑒𝑛
𝑛=1
𝐿
8
∫𝐿 ∫𝐿 +∞
Í
𝑘 𝜋𝑥 𝑛𝜋𝑥 𝑘 𝜋𝑥
𝑓 (𝑥) 𝑠𝑒𝑛 𝐿 𝑑𝑥 = 𝑏 𝑛 𝑠𝑒𝑛 𝐿 𝑠𝑒𝑛 𝐿 𝑑𝑥 =
0 0 𝑛=1
+∞ ∫𝐿 +∞ ∫𝐿
Í 𝑛𝜋𝑥 𝑘 𝜋𝑥 Í 𝑏𝑛 𝑛𝜋𝑥 𝑘 𝜋𝑥 𝑏𝑘 𝐿
= 𝑏𝑛 𝑠𝑒𝑛 𝐿 𝑠𝑒𝑛 𝐿 𝑑𝑥 = 2 𝑠𝑒𝑛 𝐿 𝑠𝑒𝑛 𝐿 𝑑𝑥 = 2
𝑛=1 0 𝑛=1 −𝐿
2
∫𝐿
luego 𝑏 𝑘 = 𝐿 𝑓 (𝑥) 𝑠𝑒𝑛 𝑘 𝜋𝑥
𝐿 𝑑𝑥
0
9
Por otro lado, si 𝑔 es una función definida sobre un intervalo de longitud p entonces este puede
ser extendida de manera unica a una función p-periódica definida sobre todo R imponiendo la
condición 𝑔(𝑥 + 𝑝) = 𝑔(𝑥)
10