Professional Documents
Culture Documents
Donde:
𝟏 𝑳 𝒏𝝅𝒙
𝒂𝒏 = ∫−𝑳 𝒇(𝒙) 𝐜𝐨𝐬 𝒅𝒙
𝑳 𝑳
{ 𝟏 𝑳 𝒏𝝅𝒙
; 𝑛 = 0,1,2, … COEFICIENTES DE FOURIER … (2)
𝒃𝒏 = ∫−𝑳 𝒇(𝒙) 𝐬𝐞𝐧 𝒅𝒙
𝑳 𝑳
Estos coeficientes pueden ser determinados equivalentemente, mediante:
𝟏 𝒄+𝟐𝑳 𝒏𝝅𝒙
𝒂𝒏 = ∫𝒄 𝒇(𝒙) 𝐜𝐨𝐬 𝒅𝒙
𝑳 𝑳
{ 𝟏 𝒄+𝟐𝑳 𝒏𝝅𝒙
; 𝑛 = 0,1,2, …………….. (3)
𝒃𝒏 = ∫𝒄 𝒇(𝒙) 𝐬𝐞𝐧 𝒅𝒙
𝑳 𝑳
𝑐: Es cualquier número real
OBSERVACIONES:
𝑎0 1 𝐿
1. 2
= 2𝐿 ∫−𝐿 𝑓(𝑥) 𝑑𝑥 es el valor medio de 𝑓(𝑥) sobre un periodo.
2. Si 𝐿 = 𝜋, los coeficientes de Fourier son particularmente sencillos.
CONDICIONES DE DIRICHLET:
Si la función periódica 𝑓(𝑥) de periodo 𝑃 = 2𝐿 definida sobre 〈−𝐿, 𝐿〉, tiene un único valor
con excepción posiblemente de un número finito de puntos sobre este intervalo y además
𝑓(𝑥) 𝑦 𝑓′(𝑥) son continuas por tramos sobre 〈−𝐿, 𝐿〉, entonces la serie (1) con coeficientes
(2) o (3) convergen a:
𝑓(𝑥) 𝑆𝑖 𝑥 𝑒𝑠 𝑝𝑢𝑛𝑡𝑜 𝑑𝑒 𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑖𝑑𝑎𝑑
{𝑓(𝑥+0)+𝑓(𝑥−0)
2
𝑆𝑖 𝑥 𝑒𝑠 𝑝𝑢𝑛𝑡𝑜 𝑑𝑒 𝑑𝑖𝑠𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑖𝑑𝑎𝑑
Resultados importantes:
1.
𝐿 𝐿
𝑘𝜋𝑥 𝑘𝜋𝑥
∫ 𝑆𝑒𝑛 𝑑𝑥 = ∫ 𝐶𝑜𝑠 𝑑𝑥 = 0 , 𝑘 ∈ ℤ+
−𝐿 𝐿 −𝐿 𝐿
2.
𝐿 𝐿
𝑚𝜋𝑥 𝑛𝜋𝑥 𝑚𝜋𝑥 𝑛𝜋𝑥 0 𝑚≠𝑛
∫ 𝐶𝑜𝑠 𝐶𝑜𝑠 𝑑𝑥 = ∫ 𝑆𝑒𝑛 𝑆𝑒𝑛 𝑑𝑥 = {
−𝐿 𝐿 𝐿 −𝐿 𝐿 𝐿 𝐿 𝑚=𝑛
∞
𝑛𝜋𝑥 𝑛𝜋𝑥
3. Si la serie 𝐴 + ∑ (𝑎𝑛 cos 𝐿
+ 𝑏𝑛 sin 𝐿
) converge a 𝑓(𝑥) en 〈– 𝐿, 𝐿〉∀𝑛 ∈ ℤ+ ,
𝑛=1
entonces:
a)
1 𝐿 𝑛𝜋𝑥 𝑎0
𝑎𝑛 = ∫ 𝑓(𝑥)𝐶𝑜𝑠 𝑑𝑥 ∧ 𝐴=
𝐿 −𝐿 𝐿 2
b)
1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥)𝑆𝑒𝑛 𝑑𝑥
𝐿 −𝐿 𝐿
En efecto:
∞
𝑛𝜋𝑥 𝑛𝜋𝑥
a) Por hipótesis: 𝑓(𝑥) = 𝐴 + ∑ (𝑎𝑛 Cos 𝐿
+ 𝑏𝑛 𝑆𝑒𝑛 𝐿
) …….. (𝛼) en
𝑛=1
〈– 𝐿, 𝐿〉∀𝑛 ∈ ℤ+
𝑚𝜋𝑥
Multiplicando (𝛼) por 𝐶𝑜𝑠 𝐿 e integrando de −𝐿 a 𝐿:
𝐿
𝑚𝜋𝑥
∫ 𝑓(𝑥)𝐶𝑜𝑠 𝑑𝑥
−𝐿 𝐿
∞
𝐿 𝐿
𝑚𝜋𝑥 𝑚𝜋𝑥 𝑛𝜋𝑥
= 𝐴 ∫ 𝐶𝑜𝑠 𝑑𝑥 + ∑ (𝑎𝑛 ∫ cos cos 𝑑𝑥
−𝐿 𝐿 −𝐿 𝐿 𝐿
𝑛=1
L
𝑛𝜋𝑥 𝑛𝜋𝑥
+ 𝑏𝑛 ∫ sen cos dx)
−L 𝐿 𝐿
𝐿 𝑚𝜋𝑥 1 𝐿 𝑛𝜋𝑥
⇰∫−𝐿 𝑓(𝑥)𝐶𝑜𝑠 𝐿
𝑑𝑥 = 𝑎𝑚 L⇔ 𝑎𝑛 = 𝐿 ∫−𝐿 𝑓(𝑥)𝐶𝑜𝑠 𝐿
𝑑𝑥 .
𝑚𝜋𝑥
b) Multiplicando (𝛼) por 𝑆𝑒𝑛 e integrando de −𝐿 a 𝐿:
𝐿
𝐿 𝐿
𝑚𝜋𝑥 𝑚𝜋𝑥
∫ 𝑓(𝑥)𝑆𝑒𝑛 𝑑𝑥 = 𝐴 ∫ 𝑆𝑒𝑛 𝑑𝑥 +
−𝐿 𝐿 −𝐿 𝐿
∞
𝐿 L
𝑚𝜋𝑥 𝑛𝜋𝑥 𝑛𝜋𝑥 𝑚𝜋𝑥
+ ∑ (𝑎𝑛 ∫ 𝑆𝑒𝑛 cos 𝑑𝑥 + 𝑏𝑛 ∫ 𝑆𝑒𝑛 𝑆𝑒𝑛 dx)
−𝐿 𝐿 𝐿 −L 𝐿 𝐿
𝑛=1
𝐿 𝑚𝜋𝑥 1 𝐿 𝑛𝜋𝑥
⇰∫−𝐿 𝑓(𝑥)𝑆𝑒𝑛 𝑑𝑥 = 𝑏𝑚 L⇔ 𝑏𝑛 = ∫−𝐿 𝑓(𝑥)𝑠𝑒𝑛 𝑑𝑥 .
𝐿 𝐿 𝐿
Nota: Estos resultados obtenidos son válidos también si los límites de integración −𝐿 a 𝐿,
son cambiados por 𝑐 a 𝑐 + 2𝐿.
0 −4 < 𝑥 < 0
Ejemplo 02: Dada la función periódica de periodo 8: 𝑓(𝑥) = { se desea:
1 0<𝑥<4
Ejemplo 03: Si 2𝜋 es el periodo de la función periódica 𝑓(𝑥) = 𝑥 2, 0 < 𝑥 < 2𝜋; se desea:
a) Encontrar su desarrollo de Fourier.
b) Usar el resultado obtenido para calcular la suma de la serie:
∞
1
∑
𝑛2
𝑛=1
8𝜋 2
𝑎0 =
3
−4𝜋
𝑏𝑛 =
𝑛
2 𝐿 𝑛𝜋𝑥
𝑎𝑛 = 0, 𝑏𝑛 = 𝐿 ∫−𝐿 𝑓(𝑥) sen
𝐿
𝑑𝑥 𝑷𝒂𝒓𝒂 𝒔𝒆𝒓𝒊𝒆𝒔 𝒅𝒆 𝒍𝒐𝒏𝒈𝒊𝒕𝒖𝒅 𝒎𝒆𝒅𝒊𝒂 𝒅𝒆 𝒔𝒆𝒏𝒐
:{ 2 𝐿 𝑛𝜋𝑥
𝑏𝑛 = 0, 𝑎𝑛 = ∫ 𝑓(𝑥) cos 𝐿 𝑑𝑥 𝑷𝒂𝒓𝒂 𝒔𝒆𝒓𝒊𝒆𝒔 𝒅𝒆 𝒍𝒐𝒏𝒈𝒊𝒕𝒖𝒅 𝒎𝒆𝒅𝒊𝒂 𝒅𝒆 𝒄𝒐𝒔𝒆𝒔𝒆𝒏𝒐
𝐿 −𝐿
LA IDENTIDAD DE PARSEVAL
Establece que:
∞
1 𝐿 𝑎0 2
∫ [𝑓(𝑥)]2 𝑑𝑥 = + ∑(𝑎𝑛 2 + 𝑏𝑛 2 )
𝐿 −𝐿 2
𝑛=1
I. SERIES DE FOURIER
∞
𝒂𝟎 𝒏𝝅𝒙 𝒏𝝅𝒙
𝒇(𝒙) = + ∑ (𝒂𝒏 𝐜𝐨𝐬 + 𝒃𝒏 𝐬𝐞𝐧 )
𝟐 𝑳 𝑳
𝒏=𝟏
𝟏 𝑳 𝒏𝝅𝒙
𝒂𝒏 = ∫ 𝒇(𝒙) 𝑪𝒐𝒔 𝒅𝒙
𝑳 −𝑳 𝑳
𝟏 𝑳 𝒏𝝅𝒙
𝒃𝒏 = ∫ 𝒇(𝒙) 𝑺𝒆𝒏 𝒅𝒙
𝑳 −𝑳 𝑳
2 𝐿 𝑛𝜋𝑥
𝑎𝑛 = 0, 𝑏𝑛 = ∫ 𝑓(𝑥) sen 𝑑𝑥 𝑷𝒂𝒓𝒂 𝒔𝒆𝒓𝒊𝒆𝒔 𝒅𝒆 𝒍𝒐𝒏𝒈𝒊𝒕𝒖𝒅 𝒎𝒆𝒅𝒊𝒂 𝒅𝒆 𝒔𝒆𝒏𝒐
𝐿 0 𝐿
2 𝐿 𝑛𝜋𝑥
𝑏𝑛 = 0, 𝑎𝑛 = ∫ 𝑓(𝑥) cos 𝑑𝑥 𝑷𝒂𝒓𝒂 𝒔𝒆𝒓𝒊𝒆𝒔 𝒅𝒆 𝒍𝒐𝒏𝒈𝒊𝒕𝒖𝒅 𝒎𝒆𝒅𝒊𝒂 𝒅𝒆 𝒄𝒐𝒔𝒆𝒏𝒐
{ 𝐿 0 𝐿
EJERCICIOS RESUELTOS
1. Sea la función 𝑓: [0, 𝜋] → ℝ, definida como 𝑓(𝑥) = 𝑥(𝜋 − 𝑥): se desea:
a) Encontrar una función par 𝐹(𝑥) y otra impar 𝐺(𝑥), ambas periódicas de periodos
𝜋 y 2𝜋 respectivamente, tales que:
𝐹(𝑥) = 𝐺(𝑥) = 𝑓(𝑥) ∀𝑥 ∈ [0,𝜋⟩
c) Comprobar que:
∞ ∞
(−1)𝑛+1 𝜋 2 (−1)𝑛+1 𝜋3
∑ = y que ∑ =
𝑛2 12 (2𝑛 − 1)3 32
𝑛=1 𝑛=1
∞
𝑓(𝑥) = ∫ [𝐴(𝛼)𝑐𝑜𝑠(𝛼𝑥) + 𝐵(𝛼)𝑠𝑒𝑛(𝛼𝑥)] 𝑑𝛼
0
DESARROLLO DE LA INTEGRAL DE FOURIER.
𝑥 : Punto de continuidad.
1 ∞
𝐴(𝛼) = ∫ 𝑓(𝑥)𝑐𝑜𝑠𝛼𝑥 𝑑𝑥
𝜋 −∞
1 ∞
𝐵(𝛼) = ∫ 𝑓(𝑥)𝑠𝑒𝑛𝛼𝑥 𝑑𝑥
{ 𝜋 −∞
1.
1 ∞ ∞
𝑓(𝑥) = ∫ ∫ 𝑓(𝜇)𝑐𝑜𝑠𝛼(𝑥 − 𝜇)𝑑𝜇 𝑑𝛼
𝜋 𝛼=0 𝜇=−∞
2.
1 ∞ ∞
𝑓(𝑥) = ∫ ∫ 𝑓(𝜇)𝑒 𝑖𝛼(𝑥−𝜇) 𝑑𝜇 𝑑𝛼
2𝜋 𝛼=0 𝜇=−∞
3.
1 ∞ 𝑖𝛼𝑥 ∞
𝑓(𝑥) = ∫ 𝑒 𝑑𝛼 ∫ 𝑓(𝜇)𝑒 −𝑖𝛼𝜇 𝑑𝜇
2𝜋 𝛼=0 𝜇=−∞
Nota:
𝑓(𝑥+𝟎)+𝑓(𝑥−𝟎)
a) Si 𝑥 no es punto de continuidad⇰ 𝑓(𝑥) = .
2
2 ∞ ∞
b) Si 𝑓(𝑥): impar ⇰ 𝑓(𝑥) = 𝜋 ∫0 𝑠𝑒𝑛𝛼𝑥 𝑑𝛼 ∫0 𝑓(𝜇) 𝑠𝑒𝑛𝛼𝜇 𝑑𝜇
2 ∞ ∞
c) Si 𝑓(𝑥): par ⇰ 𝑓(𝑥) = 𝜋 ∫0 𝑐𝑜𝑠𝛼𝑥 𝑑𝛼 ∫0 𝑓(𝜇) 𝑐𝑜𝑠𝛼𝜇 𝑑𝜇
V. TRANSFORMADA DE FOURIER
En la ecuación (3):
1 ∞ 𝑖𝛼𝑥 ∞
𝑓(𝑥) = ∫ 𝑒 𝑑𝛼 ∫ 𝑓(𝜇)𝑒 −𝑖𝛼𝜇 𝑑𝜇 (𝛽1 )
2𝜋 𝛼=0 ⏟𝜇=−∞
𝐹(𝛼)
∞
𝐹(𝛼) = 𝟏 ∫ 𝑓(𝜇)𝑒 −𝑖𝛼𝜇 𝑑𝜇 = ℱ[𝑓(𝑥)](𝛽2 )
𝜇=−∞
TRANSFORMADA DE FOURIER DE𝑓(𝑥)
Reemplazando (𝛽2 ) en (𝛽1 ):
1 ∞ 𝑖𝛼𝑥 1 ∞
𝑓(𝑥) = ∫ 𝑒 𝑑𝛼ℱ[𝑓(𝑥)] = ∫ ℱ[𝑓(𝑥)]𝑒 𝑖𝛼𝑥 𝑑𝛼 = ℱ −1 [𝑓(𝑥)]
2𝜋 𝛼=0 2𝜋 𝛼=0
Entonces:
𝟏 ∞
−1 [𝑓(𝑥)]
ℱ = 𝑓(𝑥) = ∫ ℱ[𝑓(𝑥)]𝑒 𝑖𝛼𝑥 𝑑𝛼
𝟐𝝅 𝛼=0
TRANSFORMADA INVERSA DE FOURIER DE𝐹(𝛼)
Nota: Las constantes 1 y 1 que anteceden a los signos de integral
2
pueden reemplazarse por dos constantes cualesquiera cuyo producto sea
igual a 1 .
2
2 ∞
𝑓(𝑥) = ∫ 𝐹𝑆 (𝛼)𝑠𝑒𝑛𝛼𝑥 𝑑𝛼
𝜋 0
TRANSFORMADA INVERSA DE SENO DE FOURIER DE 𝐹𝑆 (𝛼)
2. Si 𝑓 es par, entonces:
∞
𝐹𝐶 (𝛼) = ℱ𝐶 [𝑓(𝑥)] = ∫ 𝑓(𝜇)𝑐𝑜𝑠𝛼𝜇 𝑑𝜇
0
TRANSFORMADA DE COSENO DE FOURIER DE𝑓(𝑥)
2 ∞
𝑓(𝑥) = ∫ 𝐹𝐶 (𝛼)𝑠𝑒𝑛𝛼𝑥 𝑑𝛼
𝜋 0
TRANSFORMADA INVERSA DE COSENO DE FOURIER DE 𝐹𝑐 (𝛼)
∞
𝒇 ∗ 𝒈 = ∫ 𝒇(𝝁) 𝒈(𝒙 − 𝝁)𝒅𝝁
−∞
CIRCUNVOLUCIÓN DE𝒇 y 𝒈
También:
ℱ[𝑓 ∗ 𝑔] = ℱ[𝑓(𝑥)] ∙ ℱ[𝑔(𝑥)]
Propiedades:
a) 𝒇 ∗ 𝒈 = 𝒈 ∗ 𝒇
b) 𝒇 ∗ (𝒈 ∗ 𝒉) = (𝒇 ∗ 𝒈) ∗ 𝒉
c) 𝒇 ∗ (𝒈 + 𝒉) = 𝒇 ∗ 𝒈 + 𝒇 ∗ 𝒉
EJERCICIOS RESUELTOS
1. Hallar la representación mediante la integral de Fourier de la función:
1 − 𝑡 2 Si|𝑡| ≤ 1
𝑓(𝑡) = {
0 Si|𝑡| > 1
Solución
Se observa que la función es continua, admite derivadas laterales en todo ℝ; además es absolutamente
integrable:
∞ 1
4
∫ |𝑓(𝑡)| 𝑑𝑡 = ∫ (1 − 𝑡 2 ) 𝑑𝑡 =
−∞ −1 3
Luego, usamos la forma equivalente 1) de la integral de Fourier:
1 ∞ ∞
𝑓(𝑡) = ∫ (∫ 𝑓(𝜇)𝑐𝑜𝑠𝛼(𝑡 − 𝜇)𝑑𝜇) 𝑑𝛼
𝜋 𝛼=0 𝜇=−∞
1 ∞ 1
= ∫ (∫ (1 − 𝜇2 )𝑐𝑜𝑠𝛼(𝑡 − 𝜇)𝑑𝜇) 𝑑𝛼
𝜋 𝛼=0 −1
2 ∞ 1
= ∫ (∫ (1 − 𝜇2 )𝑐𝑜𝑠𝛼𝑡 𝑐𝑜𝑠𝛼𝜇 𝑑𝜇) 𝑑𝛼
𝜋 𝛼=0 0
2 ∞ 1
= ∫ 𝑐𝑜𝑠𝛼𝑡 𝑑𝛼 (∫ (1 − 𝜇2 ) 𝑐𝑜𝑠𝛼𝜇 𝑑𝜇)
𝜋 0 0
2 ∞ 2
= ∫ 𝑐𝑜𝑠𝛼𝑡 𝑑𝛼 [ 3 (𝑠𝑒𝑛𝛼 − 𝛼𝑐𝑜𝑠𝛼)]
𝜋 0 𝛼
Así, se tiene:
4 ∞ 𝑠𝑒𝑛𝛼 − 𝛼𝑐𝑜𝑠𝛼
𝑓(𝑡) = ∫ 𝑐𝑜𝑠𝛼𝑡 𝑑𝛼
𝜋 0 𝛼3
2. Hallar la transformada de seno de Fourier, la transformada de coseno de Fourier y
dibujar las gráficas de la función:
1 Si 0 ≤ 𝑥 < 1
𝑓(𝑥) = {
0 Si 𝑥 ≥ 1
Solución
∞ 1
1 − 𝑐𝑜𝑠𝛼
𝐹𝑆 (𝛼) = ℱ𝑆 [𝑓(𝑥)] = ∫ 𝑓(𝜇)𝑠𝑒𝑛𝛼𝜇 𝑑𝜇 = ∫ 𝑠𝑒𝑛𝛼𝜇 𝑑𝜇 =
0 0 𝛼
∞ 1
𝑠𝑒𝑛𝛼
𝐹𝐶 (𝛼) = ℱ𝐶 [𝑓(𝑥)] = ∫ 𝑓(𝜇)𝑐𝑜𝑠𝛼𝜇 𝑑𝜇 = ∫ 𝑐𝑜𝑠𝛼𝜇 𝑑𝜇 =
0 0 𝛼
Gráficas:
3. Sea 𝑓: 〈0,2〉 → ℝ una función definida como:
𝑥 si 0 < 𝑥 ≤ 1
𝑓(𝑥) = {
1 si 1 < 𝑥 < 2
Se desea:
a) Desarrollar 𝑓 en una serie de senos y otra en serie de cosenos.
b) Explique las razones por las cuales las dos series obtenidas en el apartado anterior
son convergentes ∀𝑥 ∈ ℝ.
c) Comprobar la igualdad de ambas series en 𝑥 = 1.
Solución
a) Se presentan las dos gráficas de las funciones periódicas de periodo 𝑇 = 4, donde
𝐹 es impar y 𝐺 es par coincidiendo con 𝑓 en el intervalo 〈0,2〉.
4 2 5𝜋𝑥 2
+( + ) sen − 𝑠𝑒𝑛3𝜋𝑥 + ⋯
25𝜋 2 5𝜋 2 6𝜋
Este desarrollo converge a 𝐹(𝑥) en todo ℝ, excepto en los puntos de la forma (8𝑛 +
4) con 𝑛 ∈ ℤ y a la función 𝑓 sólo en el intervalo 〈0,2〉
Donde: 𝐵(𝛼) = 0y
2 ∞ 2 ∞ 2 𝑎
𝐴(𝛼) = ∫ 𝑓(𝑡)𝑐𝑜𝑠𝛼𝑡 𝑑𝑡 = ∫ 𝒆−𝒂𝒕 𝑐𝑜𝑠𝛼𝑡 𝑑𝑡 = ( 2 )
𝜋 0 𝜋 0 𝜋 𝑎 + 𝛼2
Donde la integral de Fourier es:
∞
2𝑎 ∞ 𝑐𝑜𝑠(𝛼𝑡)
∫ 𝐴(𝛼)𝑐𝑜𝑠(𝛼𝑡) 𝑑𝛼 = ∫ 𝑑𝛼
0 𝜋 0 𝑎2 + 𝛼 2
∴ ∫ 𝑑𝛼 =
0
𝑎2 + 𝛼2 𝟐𝒂