SLIDE - TRANSFORMADA DE FOURIER

Transformada de Fourier
Vinicius Araujo Peralta
UTFPR
10 de Outubro de 2012
Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 1 / 20

A Transformada de Fourier
Definição
Definição
Dada uma função f : R → R, a transformada de Fourier de f é a
função F (α) = F{f (x)} dada por
Z +∞
F{f (x)} = e iαx f (x) dx.
−∞
Observação
Para efeito de cálculo
Z +∞ Z N
g (x) dx = lim g (x) dx.
M→∞
−∞ N→∞ −M

Definição
Definição
Dada uma função f : R → R, a transformada de Fourier de f é a
função F (α) = F{f (x)} dada por
Z +∞
F{f (x)} = e iαx f (x) dx.
−∞
Observação
Para efeito de cálculo
Z +∞ Z N
g (x) dx = lim g (x) dx.
M→∞
−∞ N→∞ −M

Transformada de Fourier Condição de Existência
Condição de Existência
A transformada de Fourier para uma função f : R → R existe se:

1 f e f 0 são seccionalmente contı́nuas em cada intervalo [−M, N],
onde M > 0 e N > 0;
2 Se f é absolutamente integrável em (−∞, ∞), isto é, se
Z ∞
|f (x)| dx < ∞.
−∞

Transformada de Fourier Transformada Inversa
Transformada Inversa
Definição
Definição
Definimos a transformada de inversa de Fourier, f (x) = F −1 {F (α)},
pela relação
Z ∞
−1 1
F {F (α)} = e −iαx F (α) dα
2π −∞

Exemplo 1
Obtenha a transformada de Fourier de

1, se |x| < a
f (x) = .
0, se |x| > a

O gráfico de f (x) para a = 3 é

2sen(3α)
O gráfico de F (α) =
3

Transformada de Fourier Cálculo da Transformada Inversa
Transformada Inversa de Fourier

A transformada inversa de Fourier é definida por
Z ∞
−1 1
F {F (α)} = e −iαx F (α) dα. (1)
2π −∞
Considerando α como uma variável complexa, tome o contorno
fechado C = [−R, R] ∪ CR representado na figura a seguir.
Figura: C = CR ∪ [−R, R]
O Teorema do Resı́duos pode ser usado para obter o valor da integral

I k
X
−iαx
res e −iαx F (α); αj .

e F (α) dα = 2πi (2)
C j=1
Por outro lado, como C = [−R, R] ∪ CR tem-se

I Z R Z
−iαx −iαx
e F (α) dα = e F (α) dα + e −iαx F (α) dα (3)
C −R CR
e note que
Z R Z ∞
−iαx R→∞
e F (α) dα −→ e −iαx F (α) dα (4)
−R −∞
por outro lado, do Lema de Jordan, temos que para x < 0

Z
R→∞
e −iαx F (α) dα −→ 0. (5)
CR

Deste modo, combinando (2)-(5), chegamos a seguinte identidade,

Z ∞ I k
X
−iαx −iαx

e F (α) dα = e F (α) dα = 2πi
−∞ C j=1
(6)
Assim temos a seguinte fórmula para o cálculo substituindo (6) em
(1)
k
X
−1
res e −iαx F (α); αj

F {F (α)} = i (7)
j=1
onde αj são as singularidades de F (α) que estão no interior do

contorno C e x < 0.

Para obter f (x) = F −1 {F (α)} para x > 0 considere o contorno

S = SR ∪ IR a seguir
Figura: S = SR ∪ IR

Aplicando novamente o Teorema do Resı́duos

I k
X
e −iαx F (α) dα = 2πi res e −iαx F (α); αj .

(8)
S j=1
Por outro lado, como S = IR ∪ SR tem-se

I Z Z
−iαx −iαx
e F (α) dα = e F (α) dα + e −iαx F (α) dα (9)
S IR SR
e note que
Z Z R Z ∞
−iαx −iαx R→∞
e F (α) dα = − e F (α) dα −→ − e −iαx F (α) dα
IR −R −∞
(10)
por outro lado, do Lema de Jordan, temos que para x > 0
Z
R→∞
e −iαx F (α) dα −→ 0. (11)
SR

Deste modo, de (8) - (11), chegamos a seguinte identidade,

Z ∞ I k
X
−iαx −iαx

− e F (α) dα = e F (α) dα = 2πi
−∞ S j=1
(12)
Assim temos a seguinte fórmula para o cálculo substituindo (12) em
(1)
k
X
−1
res e −iαx F (α); αj

F {F (α)} = −i (13)
j=1
onde αj são as singularidades de F (α) que estão no interior do

contorno S e x > 0.

Exercı́cios
1 Mostre que a transformada de Fourier de f (x) = e −|x| é

2
F (α) = .
1 + α2
1
2 Calcule a transformada de Fourier de f (x) = .
1 + x2

Transformada de Fourier Propriedades
Propriedades da Transformada de Fourier

Linearidade
Se F (α) = F {f (x)} e G (α) = F{g (x)} então
F{af (x) + bg (x)} = aF{f (x)} + bF{g (x)}
Translação
Se F (α) = F {f (x)} e c ∈ R então
F{f (x − c)} = e iαc F{f (x)}
Escala
Se F (α) = F {f (x)} e c 6= 0 então
1 α
F{f (cx)} = F .
|c| c
Derivada
Seja f : R → R diferenciável em (−∞, ∞), tal que f e f 0 sejam
seccionalmente contı́nuas e absolutamente integráveis em (−∞, ∞).
Se F (α) = F {f (x)} então
F{f 0 (x)} = −iαF{f (x)}.
Sob as mesmas hipóteses da proposição para f , f 0 , f 00 , . . ., tem-se
F{f (n) (x)} = (−iα)n F{f (x)}.

Integral
Se f é absolutamente integrável em (−∞, ∞) e se
Z x
|x|→∞
f (ξ) dξ −→ 0
0
então Z x
i
F f (ξ) dξ = F {f (x)} .
0 α

Convolução
Se F (α) = F {f (x)} e G (α) = F {g (x)} então
H(α) = F{(f ∗ g )(x)} = F (α)G (α)
onde Z ∞
(f ∗ g )(x) = f (x − ξ)g (ξ) dξ.
−∞

Transformada de Fourier Transformada Seno e Transformada Cosseno de Fourier
Transformada Seno de Fourier
Se f é uma função ı́mpar em (−∞, ∞) então

Z ∞
Fs (α) = f (x)sen(αx) dx
0
é chamada de Transformada seno de Fourier de f , e

2 ∞
Z
f (x) = Fs (α)sen(αx) dα
π 0
é a sua transformada inversa.

Transformada de Fourier Transformada Seno e Transformada Cosseno de Fourier
Transformada Cosseno de Fourier
Se f é uma função par em (−∞, ∞) então

Z ∞
Fc (α) = f (x) cos(αx) dx
0
é chamada de Transformada cosseno de Fourier de f , e

2 ∞
Z
f (x) = Fc (α) cos(αx) dα
π 0
é a sua transformada inversa.

SLIDE - TRANSFORMADA DE FOURIER

Enviado por

Direitos autorais:

Formatos disponíveis

SLIDE - TRANSFORMADA DE FOURIER

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

SLIDE - TRANSFORMADA DE FOURIER

Enviado por

Direitos autorais:

Formatos disponíveis

Transformada de Fourier

Vinicius Araujo Peralta

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 1 / 20

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 2 / 20

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 2 / 20

A transformada de Fourier para uma função f : R → R existe se:

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 3 / 20

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 4 / 20

Obtenha a transformada de Fourier de

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 5 / 20

O gráfico de f (x) para a = 3 é

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 6 / 20

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 7 / 20

Transformada Inversa de Fourier

O Teorema do Resı́duos pode ser usado para obter o valor da integral

Por outro lado, como C = [−R, R] ∪ CR tem-se

por outro lado, do Lema de Jordan, temos que para x < 0

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 9 / 20

Deste modo, combinando (2)-(5), chegamos a seguinte identidade,

onde αj são as singularidades de F (α) que estão no interior do

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 10 / 20

Para obter f (x) = F −1 {F (α)} para x > 0 considere o contorno

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 11 / 20

Aplicando novamente o Teorema do Resı́duos

Por outro lado, como S = IR ∪ SR tem-se

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 12 / 20

Deste modo, de (8) - (11), chegamos a seguinte identidade,

onde αj são as singularidades de F (α) que estão no interior do

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 13 / 20

1 Mostre que a transformada de Fourier de f (x) = e −|x| é

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 14 / 20

Propriedades da Transformada de Fourier

F{af (x) + bg (x)} = aF{f (x)} + bF{g (x)}

F{f (x − c)} = e iαc F{f (x)}

Propriedades da Transformada de Fourier

F{f 0 (x)} = −iαF{f (x)}.

Sob as mesmas hipóteses da proposição para f , f 0 , f 00 , . . ., tem-se

F{f (n) (x)} = (−iα)n F{f (x)}.

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 16 / 20

Propriedades da Transformada de Fourier

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 17 / 20

Propriedades da Transformada de Fourier

H(α) = F{(f ∗ g )(x)} = F (α)G (α)

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 18 / 20

Transformada Seno de Fourier

Se f é uma função ı́mpar em (−∞, ∞) então

é chamada de Transformada seno de Fourier de f , e

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 19 / 20

Transformada Cosseno de Fourier

Se f é uma função par em (−∞, ∞) então

é chamada de Transformada cosseno de Fourier de f , e

Vinicius Araujo Peralta (UTFPR) Cálculo 4 10 de Outubro de 2012 20 / 20

Você também pode gostar

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.