Matemática Aplicada: Clase 15
Alex Antequeda
Universidad de La Frontera
A. Antequeda IME278 IME278
Segundo semestre 2023 1 / 10
Resumen
Transformada de Fourier
Transformada de Fourier en senos y cosenos
Existencia de la transformada de Fourier
A. Antequeda IME278 IME278
Segundo semestre 2023 2 / 10
Transformada de Fourier
Transformada de Fourier
La integral de Fourier se puede representar como
Z ∞ Z ∞
1
f∼ f (u)e−iλ(u−x) du dλ
2π −∞ −∞
| {z }
forma compleja de la integral Fourier
Note que Z ∞
f (u)e−iλu du
−∞
es una función de λ. De esta forma,
Z ∞ Z ∞
1
f∼ f (u)e−iλu du eiλx dλ
2π −∞ −∞
| {z }
función de λ
A. Antequeda IME278 IME278
Segundo semestre 2023 3 / 10
Transformada de Fourier
Definición
Si f : R → R es una función absolutamente integrable, se define la
transformada de Fourier de f como
Z ∞
1
F[f ](λ) = √ f (u)e−iλu du
2π −∞
Observaciones:
• F[f ] es una función que depende de una variable λ
• En ocasiones, escribimos fb en lugar de F[f ]
A. Antequeda IME278 IME278
Segundo semestre 2023 4 / 10
Transformada de Fourier
Podemos reescribir la integral de Fourier como sigue:
1 ∞ ∞ 1 ∞ √ b
Z Z Z
f (u)e−iλ(u−x) du dλ = 2π f (λ)eiλx dλ
2π −∞ −∞ 2π −∞
Esto motiva la siguiente definición:
Definición
Si g : R → R es una función absolutamente integrable, se define la
transformada inversa de Fourier de g como
Z ∞
1
F −1 [g](x) = √ g(λ)eiλx dλ
2π −∞
Observaciones:
• F −1 [fb](x) coincide con la integral compleja de Fourier
• Si se cumplen las hipótesis del teorema de convergencia puntual de la integral
+ (x− )
de Fourier, entonces F −1 [fb](x) = f (x )+f
2
A. Antequeda IME278 IME278
Segundo semestre 2023 5 / 10
Ejemplos
• Sea f (x) = e−a|x| con a > 0.Entonces
1 ∞ Z
F[e−a|x| ](λ) = √ e−a|x| e−iλx dx
2π −∞
Z 0 Z ∞
1
=√ ex(a−iλ) dx + e−x(a+iλ) dx
2π −∞ 0
0 ∞
!
1 ex(a−iλ) e −x(a+iλ)
=√ −
2π a − iλ −∞ a + iλ 0
Note que lim |ex(a−iλ) | = lim eax = 0 pues a > 0.
x→−∞ x→−∞
Similarmente lim |e−x(a+iλ) | = 0.
x→∞ q
Por lo tanto, F[e−a|x| ](λ) = √1
2π
1
a−iλ + 1
a+iλ = √ 2a
2π(a2 +λ2 )
= 2
π · a
a2 +λ2
A. Antequeda IME278 IME278
Segundo semestre 2023 6 / 10
Ejemplos
e−x si x ≥ 0
• Sea f (x) = . Entonces
0 si x < 0
∞
e−x(1+iλ)
Z ∞
1 −x −iλx 1
fb(λ) = √ e } dx = − √ ·
e| {z
2π 0 2π 1 + iλ 0
e −x(1+iλ)
y de esta forma fb(λ) = √ 1
2π(1+iλ)
y del teorema de convergencia puntual
e−x si x > 0
F −1 [fb](x) = 1
2 si x = 0
si x < 0
0
A. Antequeda IME278 IME278
Segundo semestre 2023 7 / 10
Transformada de Fourier en senos y
cosenos
Transformada de Fourier en cosenos y senos
Definición
Suponga queZ f : [0, ∞] → R es seccionalmente suave en cualquier subintervalo
∞
[0, T ] y que |f (u)| du converge. Se definen
0
• La transformada de Fourier en cosenos de f , como
r Z ∞
2
Fc [f ](λ) = f (u) cos(λu) du
π 0
• La transformada de Fourier en senos de f , como
r Z ∞
2
Fs [f ](λ) = f (u) sin(λu) du
π 0
Observación
• La transformada de Fourier en cosenos corresponde a F[Pf ](λ)
• La transformada de Fourier en senos corresponde a iF[If ](λ)
A. Antequeda IME278 IME278
Segundo semestre 2023 8 / 10
Ejemplo
Sea f (x) = e−x , x ∈ R. Entonces
• La transformada de Fourier en cosenos de f es
r Z ∞ r
2 −u 2 1
Fc [f ](λ) = e cos(λu) du = ·
π 0 π 1 + λ2
• La transformada de Fourier en senos es
r Z ∞ r
2 −u 2 λ
Fs [f ](λ) = e sin(λu) du = ·
π 0 π 1 + λ2
A. Antequeda IME278 IME278
Segundo semestre 2023 9 / 10
Existencia de la transformada de
Fourier
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
A. Antequeda IME278 IME278
Segundo semestre 2023 10 / 10