Você está na página 1de 37

UTFPR - Campus Cornlio Procpio

Transformada de Fourier - 1
a
parte
Notas de aula
Andr L. M. Martinez
Cristiane A. Pendeza Martinez
Coordenao do Curso de Licenciatura em Matemtica - COMAT
22 de maro de 2012
UTFPR - Campus Cornlio Procpio
Sumrio
1
Transformadas integrais
2
Motivao - Transformada de Fourier
3
A integral de Fourier
UTFPR - Campus Cornlio Procpio
Sumrio
1
Transformadas integrais
2
Motivao - Transformada de Fourier
3
A integral de Fourier
UTFPR - Campus Cornlio Procpio
Sumrio
1
Transformadas integrais
2
Motivao - Transformada de Fourier
3
A integral de Fourier
UTFPR - Campus Cornlio Procpio
Transformadas integrais
Transformadas integrais
Estudaremos as chamadas transformaes integrais as quais
tm grande aplicao na resoluo de equaes lineares.
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 (1)
onde F(y) denominada a transformada da funo f (x),
sendo k(x, y) o ncleo da transformao.
UTFPR - Campus Cornlio Procpio
Transformadas integrais
Transformadas integrais
O valor de uma transformao integral, para a determinao
da soluo f (x) de um problema est no fato de que muitas
vezes o chamado problema transformado, isto , o problema
corresponde ao original para a qual a soluo a transformada
F(y) de f (x), tem soluo acessvel.
Surge um novo problema: determinar a transformada inversa.
Tem-se, ento, um chamado par de transformaes:
_
F(y) = I{f (x)},
f (x) = I
1
{F(y)}.
UTFPR - Campus Cornlio Procpio
Transformadas integrais
Transformadas integrais:LINEARIDADE
A transformada de uma combinao linear de duas funes a
mesma combinao linear das respectivas transformadas:
I{f (x) + g(x)} = I{f (x)} + I{g(x)}
onde e so constantes.
Vale o princpio da superposio onde
I
_
n

i =1

i
f
i
(x)
_
=
i
n

i =1
I{f
i
(x)}.
UTFPR - Campus Cornlio Procpio
Transformadas integrais
Transformadas Finitas
As transformadas nitas esto associadas a problemas de
Sturm-Lioville regulares
d
dx
_
p(x)
dy(x)
dx
_
+ q(x)
dy(x)
dx
+ s(x)y(x) = 0,
para a < x < b com condies de contorno separadas
_

1
y(a) +
1
y

(a) = 0,

2
y(b) +
2
y

(b) = 0.
onde
2
i
+
2
i
= 0, para i = 1, 2.
UTFPR - Campus Cornlio Procpio
Transformadas integrais
Transformadas Finitas
A transformada nita de uma funo seccionalmente contnua
em [a, b] dada por
F(n) + F{f (x)} =
_
b
a
f (x)
n
(x)s(x)dx, n = 1, 2, 3, . . .
f (x) = F
1
{F(x)} =

n=1
F(n)
(
n
,
n
)

n
(x), para a x b
(
n
,
n
) =
_
b
a

n
(x)
n
(x)s(x)dx.
onde s(x) chamado peso e tal que (
n
,
m
) = 0, n = m
onde
n
so autofunes do problema de Sturm-Lioville [?].
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Quando consideramos equaes diferenciais podemos a grosso
modo dizer que a presena das derivadas da funo incgnita
atrapalham na resoluo!
Por exemplo consideremos a equao diferencial ordinria
3y + 5y

+ 2y = f (x),
a qual vamos escrever assim:
3D
2
y + 5Dy + 2y = f (x),
com D = d/dx.
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Podemos observar que seria timo se pudssemos resolver essa
equao, como se ela fosse uma equao algbrica, e escrever
y(x) =
f (x)
3D
2
+ 5D + 2
.
Mas isso no faz sentido!
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Podemos observar que seria timo se pudssemos resolver essa
equao, como se ela fosse uma equao algbrica, e escrever
y(x) =
f (x)
3D
2
+ 5D + 2
.
Mas isso no faz sentido!
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Entretanto, na simplicidade desse raciocnio, deve haver algo.
Na tentativa nosso esforo deve ser algebrizar a equao
diferencial de algum modo. E a que entra a ideia da
Transformada de Fourier. Usando a terminologia de sistema, a
Transformada de Fourier pode ser entendida como uma caixa
como nos mostra na gura:
Figura: Esquema original
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Usamos a notao F() = I{f (x)}. Este sistema tem trs
propriedades extremamente importantes:
1) O sistema linear, o que quer dizer que ele aditivo e
homogneo. Aditividade signica que, se temos duas funes
de entrada f (x) e g(x), tanto faz som-las antes e, a seguir,
passar pela caixa, como pass-las pela caixa e somar as
funes de sada F() e G(), depois que o resultado o
mesmo. Homogeneidade signica que, tanto faz multiplicar a
funo de entrada f (x) por uma constante e, a seguir,
passar pela caixa, como pass-la pela caixa e depois
multiplicar a funo de sada F() por :
I{f (x)} = I{f (x)}.
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
O esquema o da gura abaixo
Figura: Esquema
Nota: Em termos da lgebra Linear, o que se tem que I
uma transformao ou operador liner.
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
2) O sistema destri"derivadas, isto , se f

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

1. O esquema o da
gura abaixo.
Figura: Esquema
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
3) O sistema inversvel, isto , existe outra caixa,
denominada I
1
(gura abaixo), que, se atravessada pela
funo de sada F() da caixa I, fornece f (x), de volta.
Assim F() = I{f (x)}, temos f (x) = I
1
{F()}.
Figura: Esquema
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Bem, de volta ento equao diferencial, a ideia agora usar
as trs propriedades acima para resolver a equao diferencial.
Primeiro, fazemos a equao diferencial passar pela caixa,
como esta mostrado na gura:
Figura: Equao diferencial passando pela caixa"
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
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 num problema algbrico equivalente no universo .
Ento, neste universo , o problema algbrico e resolvido
trivialmente:
Y() =
F()
3
2
+ 5i + 2
.
UTFPR - Campus Cornlio Procpio
Motivao - Transformada de Fourier
Motivao - Transformada de Fourier
Finalmente, a ideia passar Y pela caixa I
1
para obter a
soluo y(x) do problema diferencial. No que diz respeito a
nossa ideia, isto tudo. Nosso problema ser estudar bem a
caixa nas sees seguintes. Que tipo de funes podem ser
entradas na caixa I? Isto dever ser analisado
cuidadosamente.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Usamos a srie de Fourier para representar uma funo em um
intervalo [L, L] ou [0, L], quando f e f

so seccionalmente
contnuas.
Representaremos funes no peridicas denidas em um
intervalo innito (, ) ou em um intervalo semi-innito
[0, ).
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Seja f denida no intervalo [L, L], f e f

seccionalmente
contnuas 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
u)
+
_
_
L
L
f (u)sen(
n
u)du
_
sen(
n
u)
_

Fazendo L crescer, quando L 0, assim


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 a 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 (2)
onde
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 (2) converge? Para analisar este fato
vericaremos a seguinte denio:
Denio
Temos que
_

a
f (x)dx
dita absolutamente convergente 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 convergente.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier
Exemplo
Seja
_

1
1
x
2
dx. Temos que a integral convergente pois
_

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
A integral de Fourier:CONDIO DE
CONVERGNCIA DA INTEGRAL DE
FOURIER
Temos as seguintes condies para convergncia da integral de
Fourier: Se
1
f e f

forem seccionalmente contnuas em qualquer


intervalo nito;
2
Se
_

|f (x)|dx converge, isto , 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
A integral de Fourier:CONDIO DE
CONVERGNCIA DA INTEGRAL DE
FOURIER
Exemplo
Seja
f (x) =
_

_
0, se x < 0
1, se 0 < x < 2
0, se x > 2.
Pede-se:
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier:CONDIO DE
CONVERGNCIA DA INTEGRAL DE
FOURIER
(a)Determine a integral de Fourier de f (x).
Soluo: Temos
f (x) =
1

_

0
[A() cos(x) + B()sen(x)]dx.
Ento
A() =
_

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

(Verique!)
e
B() =
_

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

.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier:CONDIO DE
CONVERGNCIA DA INTEGRAL DE
FOURIER
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
A integral de Fourier:CONDIO DE
CONVERGNCIA DA INTEGRAL DE
FOURIER
(b) Para quanto converge a integral de Fourier em x = 0 e
x = 2?
Soluo: Temos Para
x = 1
1+0
2
=
2

0
sen() cos()

d
1
2
=
2

0
sencos

dx
Para x = 2
0+1
2
=
f (2
+
)+f (2

)
2
.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral de Fourier:CONDIO DE
CONVERGNCIA DA INTEGRAL DE
FOURIER
(c) Prove que
_

0
sen

d =

2
.
Soluo: Temos
Para x = 1 f (1) =
2

_

0
sen()cos0

d
_

0
sen()

d =

2
.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral cosseno de Fourier e a integral seno
de Fourier
Seja a integral (2) onde
A() =
_

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

f (x)sen(x)dx.
Se f uma funo par, ento A()=2
_

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

f (x)sen(x)dx = 0.
UTFPR - Campus Cornlio Procpio
A integral de Fourier
A integral cosseno de Fourier e a integral seno
de Fourier
Logo a integral cosseno de Fourier da forma
f (x) =
1

_

0
A() cos(x)d. (3)
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. (4)
UTFPR - Campus Cornlio Procpio
A integral de Fourier
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 de Fourier
A integral cosseno de Fourier e a integral seno
de Fourier
Soluo: A funo par, ento para obter a integral de
cosseno de Fourier devemos calcular A(). Logo
A() = 2
_

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

ento
f (x) =
2

_

0
sen(a) cos(x)

dx.