Anda di halaman 1dari 45

UTFPR - Campus Cornlio Procpio

Transformada de Fourier - 1
a
parte
Cristiane A. Pendeza Martinez
Coordenao do Curso de Licenciatura em Matemtica - COMAT
22 de fevereiro de 2013
UTFPR - Campus Cornlio Procpio
Sumrio
1
Introduo
2
A integral de Fourier
3
A integral cosseno de Fourier e a integral seno de Fourier
4
Forma complexa da integral de Fourier
UTFPR - Campus Cornlio Procpio
Sumrio
1
Introduo
2
A integral de Fourier
3
A integral cosseno de Fourier e a integral seno de Fourier
4
Forma complexa da integral de Fourier
UTFPR - Campus Cornlio Procpio
Sumrio
1
Introduo
2
A integral de Fourier
3
A integral cosseno de Fourier e a integral seno de Fourier
4
Forma complexa da integral de Fourier
UTFPR - Campus Cornlio Procpio
Sumrio
1
Introduo
2
A integral de Fourier
3
A integral cosseno de Fourier e a integral seno de Fourier
4
Forma complexa da integral de Fourier
UTFPR - Campus Cornlio Procpio
Introduo
Apresentao
Nosso objetivo principal trabalhar com a transformada de
Fourier, uma das mais conhecidas transformadas integrais.
As aplicaes dessa transformada ocorrem em diversas reas
do conhecimento: matemtica, engenharia, probabilidade e
estatstica, fsica, oceanograa, entre outras.
Especicamente, utilizaremos a transformada de Fourier para
resolver problemas que envolvam equaes diferenciais.
UTFPR - Campus Cornlio Procpio
Introduo
Transformadas integrais
Dada uma funo f (x) denida em um intervalo I da reta,
uma transformao integral tem a forma geral
I{f (x)} = F(y) =
_
I
k(x, y)f (x)dx
em que F(y) denominada a transformada da funo f (x),
sendo k(x, y) o ncleo da transformao.
UTFPR - Campus Cornlio Procpio
Introduo
Transformadas integrais
Alm da transformada, ser de grande utilidade calcular a
transformada inversa.
Desse modo, tem-se um par de transformaes integrais
_
_
_
F(y) = I{f (x)}
f (x) = I
1
{F(y)}
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Quando consideramos equaes diferenciais, podemos dizer, a
grosso modo, que a presena das derivadas da funo
incgnita dicultam a resoluo.
Consideremos, por exemplo, a equao diferencial ordinria
3y + 5y

+ 2y = f (x)
a qual vamos escrever na forma
3D
2
y + 5Dy + 2y = f (x)
sendo D = d/dx.
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Sob uma perspectiva simplista, seria desejvel resolver essa
equao diferencial tal como uma equao algbrica
y(x) =
f (x)
3D
2
+ 5D + 2
Infelizmente, esse raciocnio no faz sentido.
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Entretanto, justamente na busca pela representao
algbrica de uma dada equao diferencial que surge a ideia da
transformada de Fourier.
Usando a terminologia de sistema, a transformada de Fourier
pode ser entendida como uma caixa como nos mostra a gura
Notao: F() = I{f (x)}.
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Esse sistema apresenta trs propriedades importantes.
i) O sistema linear, como ilustra a gura
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
ii) O sistema "destri" derivadas, ou seja, se f

(x) entra na
caixa, ela sai como i F(), em que i =

1.
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
iii) O sistema inversvel, ou seja, existe outra caixa
denominada I
1
que, se atravessada pela funo de sada
F() da caixa I, fornece f (x) de volta.
Ento, F() = I{f (x)} e f (x) = I
1
{F()}.
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Voltemos equao diferencial 3y + 5y

+ 2y = f (x).
Neste momento, utilizaremos as trs propriedades anteriores
para resolver essa equao.
Primeiro, fazemos a equao diferencial passar pela caixa,
como nos mostra a gura
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Podemos imaginar a existncia de dois universos, um de cada
lado da caixa: o universo x e o universo .
O nosso problema, no universo x uma equao diferencial.
Mas ele levado em uma equao algbrica equivalente no
universo .
UTFPR - Campus Cornlio Procpio
Introduo
Motivao: equaes diferenciais
Em seguida, nesse universo , a equao algbrica
resolvida trivialmente
Y() =
F()
3
2
+ 5i + 2
Finalmente, a ideia passar Y() pela caixa I
1
para obter a
soluo y(x) da equao diferencial.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Nas prximas sees, obteremos a integral de Fourier de uma
determinada funo partindo da srie de Fourier da funo.
Alm disso, mais adiante, representaremos essa integral na
forma complexa, a partir da qual deniremos a transformada
de Fourier de uma funo.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Usaremos a srie de Fourier para representar uma funo em
um intervalo [L, L] ou [0, L], quando a funo f e sua
derivada f

forem seccionalmente contnuas em R.
Sob certas hipteses, conseguiremos representar funes no
peridicas denidas em um intervalo innito (, ) ou em
um intervalo semi-innito [0, ) por meio de uma integral,
denominada integral de Fourier.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Seja f denida no intervalo [L, L], com f e f

seccionalmente
contnuas em R e
_

|f (x)|dx < , dada por


f (x) =
a
0
2
+

n=1
_
a
n
cos
_
nx
L
_
+ b
n
sen
_
nx
L
__
Logo
f (x) =
1
2L
_
L
L
f (u)du+
1
L

n=1
__
_
L
L
f (u) cos
_
nu
L
_
du
_
cos
_
nx
L
_
+
_
_
L
L
f (u)sen
_
nu
L
_
du
_
sen
_
nx
L
_
_
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Considerando

n
=
n
L
= n
_

L
_
= n, =
n+1

n
=
(n+1)
L

n
L
=

L
obtemos
f (x) =
1
2
_
_
L
L
f (u)du
_
+
1

n=1
__
_
L
L
f (u)cos(
n
u)du
_
cos(
n
x)
+
_
_
L
L
f (u)sen(
n
u)du
_
sen(
n
x)
_

Quando L 0, e
lim
0
1
2
_
_
L
L
f (u)du
_
= 0
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Assim,
f (x) = lim
0

n=1
F(
n
) = lim
0

n=1
F(n)
uma soma de Riemann que nos leva integral
f (x) =
1

_

0
___

f (u) cos(u)du
_
cos(x)
+
__

f (u)sen(u)du
_
sen(x)
_
d
=
1

_

0
__

f (u) cos[(u x)]du


_
d
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
A integral de Fourier de uma funo f denida no intervalo
(, ) dada por
f (x) =
1

_

0
[A() cos(x) + B()sen(x)]d (1)
em que
A() =
_

f (x) cos(x)dx
e
B() =
_

f (x)sen(x)dx
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Quando a integral (1) converge? Para respondermos a essa
pergunta primeiro veremos a seguinte denio.
Temos que
_

a
f (x)dx
dita absolutamente integrvel em (a, ) se
_

a
|f (x)|dx
convergir. Se
_

a
f (x)dx convergir mas
_

a
|f (x)|dx divergir,
ento
_

a
f (x)dx dita condicionalmente integrvel em
(a, ).
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
A funo f (x) =
1
x
2
denida no intervalo [1, )
absolutamente integrvel neste intervalo.
Para que f seja absolutamente integrvel devemos ter
_

1

1
x
2

dx <
De fato,
_

1
x
2

dx =
_

1
1
x
2
dx, e
_

1
1
x
2
dx = lim
k
_
k
1
1
x
2
dx = lim
k
_

1
x
_
k
1
= lim
k
_

1
k
+ 1
_
= 1
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
A funo f (x) =
1
x
2
denida no intervalo [1, )
absolutamente integrvel neste intervalo.
Para que f seja absolutamente integrvel devemos ter
_

1

1
x
2

dx <
De fato,
_

1
x
2

dx =
_

1
1
x
2
dx, e
_

1
1
x
2
dx = lim
k
_
k
1
1
x
2
dx = lim
k
_

1
x
_
k
1
= lim
k
_

1
k
+ 1
_
= 1
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
A funo f (x) =
1
x
2
denida no intervalo [1, )
absolutamente integrvel neste intervalo.
Para que f seja absolutamente integrvel devemos ter
_

1

1
x
2

dx <
De fato,
_

1
x
2

dx =
_

1
1
x
2
dx, e
_

1
1
x
2
dx = lim
k
_
k
1
1
x
2
dx = lim
k
_

1
x
_
k
1
= lim
k
_

1
k
+ 1
_
= 1
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Condio de convergncia
i) Se f e f

forem seccionalmente contnuas em qualquer
intervalo nito, e
ii) Se
_

|f (x)|dx converge, isto , se f for absolutamente


integrvel em (, )
Ento a integral de Fourier converge para f (x) nos pontos
onde f contnua e converge para
f (x
+
) + f (x

)
2
nos pontos
de descontinuidade.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
Exemplo
Seja
f (x) =
_

_
0, se x < 0
1, se 0 < x < 2
0, se x > 2
Pede-se
(a) Determine a integral de Fourier de f (x).
(b) Para quanto converge a integral de Fourier em x = 1 e
x = 2?
(c) Prove que
_

0
sen

d =

2
.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
Soluo(a): Temos
f (x) =
1

_

0
[A() cos(x) + B()sen(x)]dx
em que
A() =
_

f (x) cos(x)dx =
sen(2)

e
B() =
_

f (x)sen(x)dx =
1 cos(2)

UTFPR - Campus Cornlio Procpio


A integral de Fourier
Exemplo
Ento
f (x) =
1

_

0
_
sen(2)

cos(x)
_
+
__
1 cos(2)

_
sen(x)
_
d
e um simples clculo nos d que
f (x) =
2

_

0
sen

cos(x )d
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
Soluo (b): Em x = 1, a integral de Fourier converge para
f (1) = 1, j que a funo contnua nesse ponto.
Em x = 2, a integral de Fourier converge para a mdia dos
limites laterais, ou seja, para
f (2
+
) + f (2

)
2
=
0 + 1
2
=
1
2
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exemplo
Soluo (c): Tomando x = 1, temos
f (1) =
2

_

0
sen() cos(.1 )

d
1 =
2

_

0
sen() cos 0

d
_

0
sen()

d =

2
UTFPR - Campus Cornlio Procpio
A integral de Fourier
Exerccio
Exerccios
Represente por uma integral de Fourier as seguintes funes
(a) f (x) = e
|x|
(b) g(x) =
_
e
x
, se x > 0
e
x
, se x < 0
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
A integral cosseno de Fourier e a integral seno
de Fourier
Consideramos a integral de Fourier
f (x) =
1

_

0
[A() cos(x) + B()sen(x)]d
em que
A() =
_

f (x) cos(x)dx
e
B() =
_

f (x)sen(x)dx
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
A integral cosseno de Fourier
Se f uma funo par, ento
A() =
_

f (x) cos(x)dx = 2
_

0
f (x) cos(x)dx
e
B() =
_

f (x)sen(x)dx = 0
Logo, a integral cosseno de Fourier da forma
f (x) =
1

_

0
A() cos(x)d
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
A integral seno de Fourier
Se f uma funo mpar, ento
A() =
_

f (x) cos(x)dx = 0
e
B() =
_

f (x)sen(x)dx = 2
_

0
f (x)sen(x)dx
Logo, a integral seno de Fourier da forma
f (x) =
1

_

0
B()sen(x)d
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
Exemplo
Determine a integral de Fourier que representa a funo pulso
f (x) =
_
1, se |x| < a
0, se |x| > a
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
Exemplo
Soluo: A funo par, ento para obter a integral cosseno
de Fourier devemos calcular apenas A(), pois B() = 0.
Sendo
A() = 2
_

0
f (x) cos(x)dx = 2
_
a
0
1 cos(x)dx = 2
sen(a)

ento
f (x) =
2

_

0
sen(a) cos(x)

dx
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
Exerccios
Represente f (x) = e
x
, x > 0 cujo grco dado por
(a) por uma integral de cossenos;
(b) por uma integral de senos.
UTFPR - Campus Cornlio Procpio
A integral cosseno de Fourier e a integral seno de Fourier
Exerccios
Usando a representao por integral de Fourier, mostre que
(a)
_

0
sen()sen(x)
1
2
d =
_

2
sen(x), se |x| <
0, se |x| >
(b)
_

0
cos
_

2
_
cos(x)
1
2
d =
_

2
cos(x), se |x| <

2
0, se |x| >

2
UTFPR - Campus Cornlio Procpio
Forma complexa da integral de Fourier
Forma complexa da integral de Fourier
Da representao em integral de Fourier para f podemos
escrever:
f (x) =
1

_

0
A() cos(x) + B()sen(x)d
=
1

_

0
___

f (u) cos(u)du
_
cos(x)
+
__

f (u)sen(u)du
_
sen(x)
_
d
=
1

_

0
_

f (u) [cos(u) cos(x) + sen(u)sen(x)] dud


=
1

_

0
__

f (u) cos[(u x)]du


_
d
UTFPR - Campus Cornlio Procpio
Forma complexa da integral de Fourier
Forma complexa da integral de Fourier
Observe que a funo f (u) cos[(u x)] par em relao a
varivel ento
f (x) =
1
2
_

__

f (u) cos[(u x)]du


_
d (2)
Sendo a funo f (u)sen[(u x)] mpar em , ento
_

__

f (u)sen[(u x)]du
_
d = 0
UTFPR - Campus Cornlio Procpio
Forma complexa da integral de Fourier
Forma complexa da integral de Fourier
Assim, (2) pode ser escrita como
f (x) =
1
2
_

__

[f (u) cos[(ux)]+if (u)sen[(ux)]] du


_
d
=
1
2
_

__

f (u)[cos[(ux)]+ i sen[(ux)]]du
_
d
=
1
2
_

__

f (u)e
i (ux)
du
_
d
=
1
2
_

__

f (u)e
i u
e
i x
du
_
d
=
1
2
_

__

f (u)e
i u
du
_
e
i x
d
UTFPR - Campus Cornlio Procpio
Forma complexa da integral de Fourier
Forma complexa da integral de Fourier
Motivados pela forma complexa da integral de Fourier, nas
prximas sees deniremos a transformada de Fourier I e a
transformada inversa de Fourier I
1
.
f (x) =
1
2
_

__

f (u)e
i u
du
_
. .
F()=I{f (u)}
e
i x
d
. .
f (x)=I
1
{F()}