Matemática Aplicada: Clase 16

Mauricio Godoy Molina & Diego Lagos

Universidad de La Frontera

2do semestre 2021

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 1 / 19

 Resumen

1 Tarea 2

2 Clase anterior

3 Existencia de la transformada de Fourier

4 Propiedades de la transformada de Fourier

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 2 / 19

 Resumen

1 Tarea 2

2 Clase anterior

3 Existencia de la transformada de Fourier

4 Propiedades de la transformada de Fourier

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 3 / 19

 Aviso

El plazo de la entrega de la Tarea 2 es hasta el miércoles 17 de

noviembre a las 23:59 hrs a través del Campus Virtual

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 4 / 19

 Resumen

1 Tarea 2

2 Clase anterior

3 Existencia de la transformada de Fourier

4 Propiedades de la transformada de Fourier

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 5 / 19

 Transformada y transformada inversa de Fourier

Definición
Sea f : R → R una función absolutamente integrable.
la transformada de Fourier de f como
Z ∞
1
F[f ](λ) = √ f (ξ)e−iλξ dξ
2π −∞

la transformada inversa de Fourier de f como

Z ∞
−1 1
F [f ](x) = √ f (λ)eiλx dλ
2π −∞

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 6 / 19

 Transformada y transformada inversa de Fourier

Observación.
Recalcamos que las integrales que aparecen en la definición de
transformada de Fourier y transformada inversa de Fourier, deben
entenderse en el sentido del valor principal de Cauchy
F −1 [fb](x) coincide con la integral compleja de Fourier. Por tanto, si
f verifica las hipótesis del teorema de convergencia puntual, entonces
1
F −1 [fb](x) = (f (x+ ) + f (x− ))
2

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 7 / 19

 Transformada de Fourier en cosenos y senos
Definición
Suponga que f : [0, ∞] →Z R es seccionalmente suave en cualquier
∞
subintervalo [0, T ] y que |f (ξ)|dξ converge. Se definen
0
La transformada de Fourier en cosenos de f como
r Z ∞
2
Fc [f ](λ) = f (ξ) cos(λξ)dξ
π 0

La transformada de Fourier en senos de f como

r Z ∞
2
Fs [f ](λ) = f (ξ) sin(λξ)dξ
π 0

Observación.
La transformada de Fourier en cosenos corresponde a F[Pf ](λ)
La transformada de Fourier en senos corresponde a iF[If ](λ)
Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 8 / 19
 Resumen

1 Tarea 2

2 Clase anterior

3 Existencia de la transformada de Fourier

4 Propiedades de la transformada de Fourier

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 9 / 19

 Teorema de existencia

Teorema
Suponga que f : R → R es una función con las siguientes propiedades:
f es seccionalmente continua en cada subintervalo [−T, T ] (con
T > 0)
f es absolutamente integrable, es decir,
Z ∞ Z T
|f (x)|dx = lim |f (x)|dx
−∞ T →∞ −T

existe
Entonces, la transformada de Fourier existe

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 10 / 19

 Resumen

1 Tarea 2

2 Clase anterior

3 Existencia de la transformada de Fourier

4 Propiedades de la transformada de Fourier

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 11 / 19

 Linealidad

Propiedad 1 (Linealidad)
Suponga que f : R → R y g : R → R son dos funciones tales que sus
transformadas de Fourier existen. Entonces para cualquier par de escalares
a, b ∈ C, la transformada de Fourier de af + bg existe y

F[af + bg] = aF(f ) + bF[g]

Resumimos este teorema diciendo que la transformada de Fourier es lineal

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 12 / 19

 Primer teorema de traslación

Propiedad 2
Si la transformada de Fourier de f : R → R existe. Entonces para
cualquier α ∈ R se verifica que

F[f (x)eiαx ][λ] = fb(λ − α)

Ejemplo. Para α ∈ R, se sabe que cos(αx) = 21 (eiαx + e−iαx ). Por tanto,

para cualquier función f : R → R cuya transformada de Fourier existe, la
propiedad de linealidad y el primer teorema de traslación implican lo
siguiente:
1
F[f (x) cos(x)](λ) = (fb(λ − α) + fb(λ + α))
2

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 13 / 19

 Segundo teorema de traslación

Propiedad 3
Si la transformada de Fourier de f : R → R existe. Entonces para
cualquier α ∈ R se verifica que

F[f (x − α)](λ) = e−iλα fb(λ)

Ejemplo. En la clase anterior vimos que para a > 0 se tiene

2a
F[e−a|x| ](λ) = √
2π(a2 + λ2 )

Por tanto, el segundo teorema de traslación implica

2ae−2λi
F[e−a|x−2| ](λ) = √
2π(a2 + λ2 )

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 14 / 19

 Cambio de escala
Propiedad 4
Si la transformada de Fourier de f : R → R existe. Entonces para
cualquier α ∈ R − {0} se verifica que

1 b λ
 
F [f (αx)](λ) = f
|α| α

Ejemplo. Tomando α = 3 y f (x) = e−a|x| (con a > 0) tenemos

1 λ 6a
 
F[e−3a|x| ](λ) = fb =√
3 3 2π(9a2 + λ2 )

Ejercicio: Un caso más simple que considerar es

2
F[e−|x| ](λ) = √
2π(1 + λ2 )

Cambie la escala y obtenga la fórmula general para F[e−a|x| ](λ)

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 15 / 19
 Transformada de la transformada
Propiedad 5
Suponga que f : R → R es una función seccionalmente suave y
absolutamente integrable. Entonces

F[fb](λ) ∼ f (−λ)

ˆ f (−λ− )+f (−λ+ )

Es decir, fˆ(λ) es el promedio 2

ˆ
Observación: Si f es continua, entonces fˆ(λ) = f (−λ)

1
 
Ejercicio: Calcule F (λ). Ojo:
1 + x2
"√ #
−|x| 2 2π −|x| 1
F[e ](λ) = √ =⇒ F e (λ) =
2π(1 + λ2 ) 2 1 + λ2

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 16 / 19

 Hipótesis técnica fundamental
Definición
Sea f : R → R una función infinitamente diferenciable. Decimos que f
tiende rápidamente a cero si

lim xm f (n) (x) = 0

|x|→∞

para todo m, n ∈ N ∪ {0}

Interpretación: f y todas sus derivadas tienden a cero más rápido que

cualquier polinomio cuando |x| → ∞

Teorema
Si f : R → R tiende rápidamente a cero, entonces f es absolutamente
integrable

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 17 / 19

 Ejemplo
2
f (x) = e−x tiende rápidamente a cero, pues
2 2
f (n) (x) = Pn (x) e−x y lim xm Pn (x)e−x = 0
| {z } |x|→∞
polinomio

para todo m, n ∈ N ∪ {0}

4

-4 -2 2 4

-2

-4

f (x) está en azul, f 0 (x) está en amarillo,

f 00 (x) está en verde, f 000 (x) está en rojo
Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 18 / 19
 Transformada de Fourier de una derivada
Teorema
Si f : R → R tiende rápidamente a cero, entonces

F[f 0 ](λ) = iλF[f ](λ) equivalentemente fb0 (λ) = iλfb(λ)

Más en general:

F[f (n) ](λ) = (iλ)n F[f ](λ) equivalentemente fd

(n) (λ) = (iλ)n fb(λ)

Demostración: Para el caso n = 1, tenemos

1 ∞ Z
0
F[f ](λ) = √ f 0 (ξ)e−iξλ dξ
2π −∞
Z ∞
(?) 1 −iξλ 
ξ=∞ iλ
= √ f (ξ)e  +√ f (ξ)e−iξλ dξ = iλF[f ](λ)
2π | {z
ξ=−∞
} 2π −∞
=0

donde en (?) usamos integración por partes

Mauricio Godoy M. – Diego Lagos (UFRO) IME278 2do semestre 2021 19 / 19