Você está na página 1de 20

Captulo 8

Transformada de Fourier

8.1 A Integral de Fourier


Se f : R R e uma funcao periodica de perodo 2L, suave por partes, entao

a0 X nx

nx
f (x) = + an cos + bn sen (8.1)
2 n=1
L L

nos pontos de continuidade de f , com


Z
1 L nt
an = f (t) cos dt, n > 0,
L L L
Z L (8.2)
1 nt
bn = f (t) sen dt, n > 1.
L L L

Se f nao e uma funcao periodica, entao ela nao pode ser representada por uma serie de Fourier. Podemos,
no entanto, representar f por uma integral de Fourier, se f for pelo menos suave por partes e satisfizer alem
disso a condicao Z
|f (x)| dx < ,

ou seja, se f for absolutamente integravel. Neste caso, podemos escrever


Z
f (x) = (A() cos x + B() sen x) d (8.3)
0

para todo x R que seja um ponto de continuidade de f , com


Z
1
A() = f (t) cos t dt, > 0,
Z
1 (8.4)
B() = f (t) sen t dt, > 0.

Mais precisamente,

Teorema. Seja f : R R uma funcao suave por partes, absolutamente integravel. Entao f tem uma
representacao por integral de Fourier que converge para f (x) nos pontos de continuidade de f e para
a media dos limites laterais nos pontos de descontinuidade de f .

1
2 Transformada de Fourier

Esta representacao integral para f pode ser motivado da seguinte forma: restrinja f ao intervalo fechado
[L, L] e estenda ela periodicamente fora deste intervalo. Entao, no intervalo [L, L], f tem a representacao
em serie de Fourier dada em (8.1) com os coeficientes dados em (8.2). Fazendo L , como a funcao f
e integravel em R, segue que necessariamente a0 0. Alem disso, a integrabilidade de f tambem implica
que a integral de f em R pode ser aproximada pela integral de f no intervalo [L, L], desde que L seja
suficientemente grande. Assim, temos que os coeficientes an e bn podem ser aproximados por
Z
1 nt n
an f (t) cos dt = A ,
L L L L
Z
1 nt n
bn f (t) sen dt = B .
L L L L
Logo,
h
X n nx n nx i
f (x) A cos +B sen .
n=1
L L L L L
Mas, se denotarmos n = n/L e = /L, o que equivale a fazer uma particao do intervalo [0, ) em
subintervalos de comprimento , reconhecemos uma soma de Riemann:

X
f (x) [A(n ) cos n x + B(n ) sen n x] .
n=1

Fazendo L , o que corresponde a fazer a norma da particao 0, esta soma de Riemann converge
para a integral de Fourier de f .
Exemplo 1. Obtenha a representacao integral de Fourier da funcao

1 se |x| 6 1,
f (x) =
0 se |x| > 1.
Temos
Z Z 1
1 1 2
A(0) = f (t) dt = dt = ,
1
Z Z 1 1
1 1 sen t 2 sen
A() = f (t) cos t dt = = ,
cos t dt =

1 1
Z Z 1 1
1 1 cos t
B() = f (t) sen t dt = sen t dt = = 0.
1 1
Observe que lim A() = A(0) (ou seja, obtivemos neste caso a funcao A() contnua) e a funcao B e
0
a funcao identicamente nula, o que era de se esperar, porque f e uma funcao par. Logo
Z
2 sen
f (x) = cos x d.
0
Em particular, segue do teorema da integral de Fourier que

Z /2 se |x| < 1,
sen
cos x d = /4 se |x| = 1,
0
0 se |x| > 1,
e, escolhendo x = 0, obtemos o valor da integral de Dirichlet
Z
sen
d = .
0 2
Rodney Josue Biezuner 3

Como vemos no exemplo acima, quando uma funcao e par ou mpar, sua integral de Fourier e mais
simples (da mesma forma e pelo mesmo motivo que a serie de Fourier de uma funcao periodica par ou mpar
e mais simples):

Se f e par, entao B() 0 e a integral de Fourier de f e dada simplesmente por


Z
f (x) = A() cos x d,
0

tambem chamada a integral de Fourier cosseno de f .


Se f e mpar, entao A() 0 e a integral de Fourier de f e dada simplesmente por
Z
f (x) = B() sen x d,
0

tambem chamada a integral de Fourier seno de f .

8.1.1 Exerccios
1. Encontre a representacao integral de Fourier das funcoes dadas (em todos os casos, a > 0).

1 se 0 < x < 1, x se 0 < x < a,
a) f (x) = h) f (x) =
0 caso contrario. 0 caso contrario.

1 se a < x < a, x2 se 0 < x < a,
b) f (x) = i) f (x) =
0 caso contrario. 0 caso contrario.

1 se 1 < x < 0,
1 |x| se 1 < x < 1,
c) f (x) = 1 se 0 < x < 1, j) f (x) =
0 caso contrario.
0 caso contrario.

0 se 1 < x < 1,
1 x2 se 1 < x < 1,
d) f (x) = 1 se 1 < |x| < 2, k) f (x) =
0 caso contrario.
0 caso contrario.

x se 1 < x < 1,
e) f (x) = l) f (x) = e|x| .
0 caso contrario.
(
cos x se <x< , 2
f ) f (x) = 2 2 m) f (x) = ex .
0 caso contrario.

x se 0 < x < 1,
sen x se 0 < x < ,
g) f (x) = n) f (x) = 2x se 1 < x < 2,
0 caso contrario.
0 caso contrario.
2. (a) Use o Exemplo 1 para mostrar que
Z
sen cos
d = .
0 4

(b) Use integracao por partes e o item anterior para obter


Z
sen2
2
d = .
0 2
4 Transformada de Fourier

(c) Use a identidade trigonometrica sen2 + cos2 = 1 e o item anterior para obter

Z
sen4
2
d = .
0 4

1
(Sugestao: sen2 = sen4 + sen2 cos2 = sen4 + 4 sen2 2.)

3. Usando a representacao integral de Fourier, prove que as seguintes integrais improprias tem os valores
especificados abaixo.

Z 0 se x < 0,
cos x + w sen x
a) d = /2 se x = 0,
1 + 2
0 ex se x > 0.
Z
1 cos /2 se 0 < x < ,
b) sen x d =
0 0 se x > .
Z
cos x
c) d = ex se x > 0.
0 1 + 2 2
w
Z cos cos x cos x se |x| < ,
d) 2 d = 2 2
2
0 1 0 se |x| > .
2
Z (

sen sen x sen x se 0 6 x 6 ,
e) d = 2
0 1 2 0 se x > .
Z
3 sen x
f) d = ex cos x se x > 0.
0 4 + 4 2

8.2 A Transformada de Fourier

8.2.1 Definicao

Recordamos a formula de Euler:

ei = cos + i sen .

Dela segue que

ei + ei ei ei
cos = e sen = .
2 2i
Rodney Josue Biezuner 5

Vamos escrever a integral de Fourier na forma complexa. Temos


Z
f (x) = (A() cos x + B() sen x) d
0
Z Z
1
= f (t)(cos t cos x + sen t sen x) dtd
0
Z Z
1
= f (t) cos (x t) dtd
0
Z Z
1
= f (t)(ei(xt) + ei(xt) ) dtd
2 0
Z Z Z Z
1 i(xt) 1
= f (t)e dtd + f (t)ei(xt) dtd
2 0 2 0
Z Z Z 0 Z
1 1
= f (t)ei(xt) dtd + f (t)ei(xt) dtd
2 0 2
Z Z
1
= f (t)ei(xt) dtd.
2
onde no ultimo passo fizemos a mudanca de variavel . Portanto, a forma complexa da integral de
Fourier e Z Z
1
f (x) = f (t)ei(xt) dtd. (8.5)
2
Por sua vez, a forma complexa da integral de Fourier pode ser escrita como
Z Z
1 1 it
f (x) = f (t)e dt eix d.
2 2

Defina a funcao fb : R C por Z


1
fb() = f (t)eit dt. (8.6)
2

Observe que apesar da funcao f ser uma funcao definida na reta (isto e, uma funcao de uma variavel real)
tomando valores reais, em geral a funcao fb e uma funcao definida na reta tomando valores complexos. De
fato, a funcao fb pode ser escrita mais explicitamente, usando a formula de Euler, na forma
Z Z
1
fb() = f (t) cos t dt i f (t) sen t dt .
2

A parte complexa de fb sera nula e portanto fb sera uma funcao real se e somente se a integral
Z
f (t) sen t = 0.

Isso ocorrera se e somente se a funcao f for par. Portanto, no estudo da transformada de Fourier e inevitavel
o aparecimento de funcoes de R em C, ja que a maioria das funcoes nao sao pares. Diremos que uma funcao
de R em C e absolutamente integravel se as suas partes real e imaginaria (que sao funcoes de de R em R)
forem absolutamente integraveis. O espaco de tais funcoes sera denotado por L1 (R, C). Na notacao acima,
temos que Z
1
f (x) = fb()eix d. (8.7)
2
Isso nos leva a seguinte definicao. Definimos a transformada de Fourier de f , como sendo a funcao F
que associa a cada funcao absolutamente integravel f : R R a funcao fb : R C definida pela expressao
6 Transformada de Fourier

(8.6); a sua inversa, chamada a transformada de Fourier inversa, e a funcao F 1 que associa a cada
funcao fb : R C que pertenca ao conjunto imagem de F a funcao absolutamente integravel f : R R
definida pela expressao (8.7). Assim, se f e contnua,

F 1 (F(f )) = f. (8.8)

Isso e uma consequencia imediata das definicoes acima:


Z Z Z
1 1 ix 1 1 it
F (F(f ))(x) = F(f )()e d = f (t)e dt eix d
2 2 2
Z Z
1
= f (t)ei(xt) dtd = f (x).
2

Exemplo 2. A transformada de Fourier de uma funcao absolutamente integravel, apesar de ser uma funcao
contnua, nao e em geral uma funcao absolutamente integravel. O contra-exemplo classico e a funcao
pulso
1 se |x| 6 1,
f (x) =
0 se |x| > 1.
De fato, calculando a transformada de Fourier de f , obtemos
Z Z 1
1 1 1 1
b
f () = f (t)eit
dt = eit dt = eit 1
2 2 1 2i
1 i i
1
= e e = (cos i sen cos i sen )
2i 2i
2i sen 2 sen
= = .
2i 2
Segue que a transformada de Fourier de f e a funcao
r
b 2 sen
f () = ,

que nao e uma funcao absolutamente integravel, como pode ser verificado. Observe porem que a
descontinuidade da funcao pulso foi suavizada pela sua transformada de Fourier, ja que fb e uma
funcao contnua. Com efeito,
Z Z 1 r
1 1 2 2
fb(0) = f (t)e i0
dt = dx = =
2 2 1 2

e portanto lim fb() = fb(0). Isso nao foi um acidente e e sempre verdade.
0

Teorema. Se f : R R e uma funcao absolutamente integravel, entao sua transformada de Fourier


fb : R C e uma funcao contnua e limitada. Se, alem disso, fb for absolutamente integravel, entao f
e contnua.

A transformada de Fourier da funcao pulso no Exemplo 2 e uma funcao real porque ela e uma funcao
par. Em geral, a transformada de Fourier de uma funcao real e uma funcao complexa, como no proximo
exemplo.

Exemplo 3. Encontre a transformada de Fourier da funcao


x
e se x > 0,
f (x) =
0 se x 6 0.
Rodney Josue Biezuner 7

Temos
Z Z Z
1 1 1
fb() = f (t)eit dt = etit dt = e(1+i)t dt
2 2 0 2 0
1

= e(1+i)t .
2(1 + i) 0

Como eit = 1, segue que


lim e(1+i)t = lim et eit = lim et = 0,
t x t

logo
1 1 i
fb() = = .
2(1 + i) 2(1 + 2 )

8.2.2 Propriedades Operacionais


A transformada de Fourier se comporta muito bem com relacao a varias das operacoes comumente efetua-
das em funcoes: combinacoes lineares, translacao, dilatacao, diferenciacao, multiplicacao por polinomios e
convolucao.

Propriedade 1 (Linearidade). Se f, g : R C sao funcoes absolutamente integraveis e a, b R, entao

F(af + bg) = aF(f ) + bF(g).

Prova. Segue direto da definicao e da propriedade de linearidade da integral.


Propriedade 2 (Transformadas de Fourier de Derivadas). Se f : R C e uma funcao diferenciavel
absolutamente integravel tal que f 0 tambem e uma funcao absolutamente integravel, entao

F(f 0 )() = iF(f )().

Se f : R C e uma funcao duas vezes diferenciavel absolutamente integravel tal que f 0 e f 00 tambem
sao funcoes absolutamente integraveis, entao

F(f 00 )() = iF(f 0 )() = 2 F(f )().

Em geral, se f : R C e uma funcao k vezes diferenciavel absolutamente integravel tal que as suas
derivadas ate a ordem k tambem sao funcoes absolutamente integraveis, entao

F(f (k) )() = (i)k F(f )().

Prova. Integrando por partes, temos que


Z Z
0 1 0 it 1
it it
F(f )() = f (t)e dx = f (t)e
(i) f (t)e dt
2 2
Z
= i f (t)eit dt = iF(f ),


porque, como f 0 e absolutamente integravel, necessariamente lim |f 0 (t)| = 0, logo lim f 0 (t)eit =
t t
0.
As formulas para as transformadas de Fourier de derivadas de ordem superior seguem da aplicacao
iterada desta formula.
8 Transformada de Fourier

Propriedade 3 (Derivadas de Transformadas de Fourier). Se f : R C e uma funcao absoluta-


mente integravel tal que xf (x) tambem e uma funcao absolutamente integravel, entao

F(xf (x))() = iF(f )0 ().

Se f : R C e uma funcao absolutamente integravel tal que x2 f (x) tambem e uma funcao absoluta-
mente integravel, entao
F(xf (x))() = F(f )00 ().
Em geral, se f : R C e uma funcao absolutamente integravel tal que xk f (x) tambem e uma funcao
absolutamente integravel, entao

F(xk f (x))() = ik F(f )(k) ().

Prova. Passando a derivada para dentro do sinal de integracao, temos


Z Z
d 1 d 1 d
F(f (x))() = f (t)eit dt = [f (t)eit ] dt
d 2 d 2 d
Z Z
1 1
= (it)f (t)eit dt = (i) tf (t)eit dt
2 2
= iF(xf (x))().

Multiplicando ambos os lados por i obtemos a primeira formula. As outras formulas seguem da
aplicacao iterada da primeira.
Propriedade 4 (Transformada de Fourier de uma Translacao). Se f : R C e uma funcao absolu-
tamente integravel, entao
F(f (x a))() = eia F(f (x))().
Reciprocamente,
F(eiax f (x))() = F(f (x))( a).

Prova. Mudando variaveis, temos


Z Z
1 it 1
F(f (x a))() = f (t a)e dt = f (t)ei(t+a) dt
2 2
Z
= eia f (t)eit dt = eia F(f (t)).

A segunda formula e obtida diretamente:


Z Z
1 1
F(eix f (x))() = eiat f (t)eit dt = f (t)ei(a)t dt
2 2
= F(f (x))( a).


Propriedade 5 (Transformada de Fourier de uma Dilatacao). Se f : R C e uma funcao absolu-
tamente integravel e a 6= 0, entao
1
F(f (ax))() = F(f ) .
|a| a
Em particular,
F(f (x))() = F(f ) () .
Rodney Josue Biezuner 9

Prova. Mudando variaveis, se a > 0 temos que


Z Z
1 it 1 1
F(f (ax))() = f (at)e dt = f (t)ei a t dt
2 2 a
Z
1 1 1
= f (t)ei a t dt = F(f (x)) .
a 2 |a| a

Se a < 0, temos
Z Z
1 1 1
F(f (ax))() = f (at)eit dt = f (t)ei a t dt
2 2 a
Z
1 1 1
= f (t)ei a t dt = F(f (x)) .
a 2 |a| a

A convolucao de duas funcoes absolutamente integraveis f, g e definida como sendo a funcao


Z
(f g)(x) = f (x t)g(t) dt. (8.9)

Podemos assegurar que ela esta bem definida (isto e, a integral impropria que a define converge para todo
x), se as funcoes f e g, alem de serem absolutamente integraveis, sao tambem quadrado-integraveis, isto e,
seus quadrados tambem sao absolutamente integraveis:
Z Z
2 2
|f (t)| dt, |g(t)| dt < .

De fato, utilizando a desigualdade de Schwarz

a2 b2
|ab| 6 + ,
2 2
valida para todos a, b R, segue que
Z Z Z Z



6 1 2 1 2
f (x t)g(t) dt |f (x t)g(t)| dt 6 |f (x t)| dt + |g(t)| dt < .
2 2

Denotamos o espaco das funcoes quadrado-integraveis na reta por L2 (R). Alem disso, a convolucao de
funcoes absolutamente integraveis, quando esta definida, e tambem uma funcao absolutamente integravel,
de modo que a sua transformada de Fourier esta definida:
Z Z Z Z Z
|(f g)(x)| dx 6 |f (x t)| |g(t)| dt dx = |g(t)| |f (x t)| dx dt

Z Z Z Z
= |g(t)| |f (x)| dx dt = |f (x)| dx |g(t)| dt

< .

A transformada de Fourier comporta-se extremamente bem em relacao a convolucoes: ela transforma con-
volucao de funcoes essencialmente em produto de funcoes:

Propriedade 6 (Transformada de Fourier de uma Convolucao). Se f, g : R C sao funcoes abso-


lutamente integraveis, entao
F(f g) = 2F(f )F(g).
10 Transformada de Fourier

Prova. Mudando a ordem de integracao e usando a Propriedade 4, temos


Z Z Z
1 1
F(f g)() = (f g)(t)eit dt = f (t s)g(s) ds eit dt
2 2
Z Z Z
1 is
= f (t s)eit dt g(s) ds = e F(f )() g(s) ds
2
Z
is
= F(f )() g(s)e ds = F(f )() 2F(g)().

8.2.3 Transformada de Fourier da Funcao Gaussiana


A transformada de Fourier da funcao gaussiana desempenha um papel fundamental na resolucao da equacao
do calor na barra infinita, conforme veremos mais tarde. Aqui vamos calcula-la. Recordamos a integral
impropria Z
2
ex dx = .

O seu valor pode ser obtido da seguinte forma:


Z 2 Z Z Z Z
2 2 2 2 2
ex dx = ex dx ey dy = ex ey dxdy

Z Z Z 2 Z Z 2
2
+y 2 ) r 2 1 2
= e(x dxdy = e rdrd = er d
0 0 0 2 0
Z 2
1
= d = .
2 0

Teorema. Seja a > 0. Entao,


ax2 1 2
F(e 2 ) = e 2a .
a
Em particular,
x2 2
F(e 2 ) = e 2 ,
x2
isto e, a transformada de Fourier da funcao e 2 e ela propria.
ax2
Prova. Seja f (x) = e 2 . Entao f satisfaz a equacao diferencial

f 0 (x) + axf (x) = 0.

Aplicando a transformada de Fourier a ambos os lados desta equacao, obtemos (usando as Propriedades
1, 2 e 3)
i fb() + aifb0 () = 0
ou

fb0 () + fb() = 0.
a
Resolvendo esta equacao atraves de uma integracao simples, obtemos
2
fb() = Ce 2a

Rodney Josue Biezuner 11


para alguma constante C. [Em uma notacao mais usual, a equacao diferencial e y 0 + y = 0, donde
a
y0 2
y 0 = y ou = ; integrando ambos os lados desta equacao obtemos log y = 2a + C e da
a y a
o resultado acima.] A constante C pode ser determinada atraves da integral impropria relembrada
acima:
Z Z r Z
1 1 at2 1 2 2 1
C = fb(0) = f (t) dt =
e 2 dt = es ds = .
2 2 2 a a


x2
A funcao gaussiana e 2 nao e a unica funcao cuja transformada de Fourier e ela propria.
12 Transformada de Fourier

8.2.4 Tabela de Transformadas de Fourier

f (x) F(f )()


r
1 se |x| < a, 2 sen(a)
1.
0 se |x| > a.

1 se a < x < b, i(eib eia )
2.
0 caso contrario. 2
(
|x| r sen2 a
1 se |x| < a, , a > 0. 2 2
3. a 2
0 se |x| > a, a 2
r
x se |x| < a, 2 a cos(a) sen(a)
4. , a > 0. i
0 se |x| > a, 2
r
sen x se |x| < , 2 sen()
5. i
0 se |x| > , 2 1

sen(ax) se |x| < b, i sen[( a)b] sen[( + a)b]
6. , a, b > 0. +
0 se |x| > b, 2 a +a

cos(ax) se |x| < b, 1 sen[( a)b] sen[( + a)b]
7. , a, b > 0. +
0 se |x| > b, 2 a +a
r a||
1 e
8. , a > 0.
x2 + a2 2 a
r
2 a ||
9. , a > 0. e a
1 + a2 x2
2 ax (
||
4 sen 2 1 se || < a,
10. , a > 0. a
2 ax2 0 se || > a.
r
a|x| 2 a
11. e , a > 0.
a2 + 2

eax se x > 0, 1 1
12. , a > 0.
0 se x < 0, 2 a + i

0 se x > 0, 1 1
13. , a > 0.
eax se x < 0, 2 a i

n a|x| (n + 1) 1 1
14. |x| e , a > 0, n > 0. n+1
+
2 (a i) (a + i)n+1
a 2 1 2
15. e 2 x , a > 0. e 2a
a
Rodney Josue Biezuner 13

8.2.5 Exerccios
1. Calcule a transformada de Fourier das funcoes a seguir (em todos os casos, a > 0).

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

x2 se |x| < 1,
b) f (x) = e|x| . h) f (x) =
0 caso contrario.

e|x| se |x| < 1, 1 |x| se |x| < 1,
c) f (x) = i) f (x) =
0 se |x| > 1. 0 caso contrario.

ex se x < 0, 1 x2 se |x| < 1,
d) f (x) = j) f (x) =
0 se x > 0. 0 caso contrario.
( x
sen x se |x| < , 1 se |x| < a,
e) f (x) = k) f (x) = a
0 caso contrario. 0 se |x| > a.
(
cos x se |x| < ,
f ) f (x) = 2
0 caso contrario.

2. (Relacao de Reciprocidade para a Transformada de Fourier)

(a) Use a definicao das transformadas para provar que

F(f )(x) = F 1 (f )(x).

(b) Use o item anterior para obter a seguinte relacao de reciprocidade:

F 2 (f )(x) = f (x).

(c) Conclua que f e uma funcao par se e somente se F 2 (f ) = f ; f e uma funcao mpar se e somente
se F 2 (f ) = f .
(d) Mostre que para qualquer funcao f temos F 4 (f ) = f .

3. Usando a Propriedade 4, conclua as identidades a seguir:

F(f )( a) + F(f )( + a)
F(cos(ax)f (x)) = ,
2
F(f )( a) F(f )( + a)
F(sen(ax)f (x)) = .
2i

4. Use o exerccio anterior e transformadas de Fourier de funcoes conhecidas para calcular as transforma-
das de Fourier das seguintes funcoes:
cos x sen 2x
a) f (x) = x2 . b) f (x) = |x| .
e e
cos x + cos 2x sen x + cos 2x
c) f (x) = . d) f (x) = .
x2 + 1 x2 + 4

cos x se |x| < 1, sen x se |x| < 1,
e) f (x) = f ) f (x) =
0 se |x| > 1. 0 se |x| > 1.
14 Transformada de Fourier

5. Use uma transformada de Fourier conhecida e as propriedades operacionais para calcular a transfor-
mada de Fourier das funcoes a seguir.

x se |x| 6 1, x2
a) f (x) = f ) f (x) = .
0 se |x| > 1. (1 + x2 )2
2 2
b) f (x) = xex . g) f (x) = (1 x2 )ex .

c) f (x) = x2 e|x| . h) f (x) = (1 x)2 e|x| .



xex se x < 0, 1 2
d) f (x) = i) f (x) = xe 2 (x1) .
0 se x > 0.
x
e) f (x) = . j) f (x) = (1 x)e|x1|
1 + x2
Rodney Josue Biezuner 15

8.3 O Metodo da Transformada de Fourier


Suponha que u(x, t) seja uma funcao das variaveis x R e t > 0. Se fixarmos a variavel temporal t, a
u(x, t) torna-se uma funcao apenas da variavel espacial x, definida na reta toda, e podemos tomar a sua
transformada de Fourier com relacao a variavel x. Denotaremos esta transformada por u b(, t). Em outras
palavras, Z
1
b(, t) = F(u(x, t)) =
u u(x, t)eix dx. (8.10)
2
Agora, da Propriedade 3 da transformada de Fourier, segue que

u
dxx (, t) = ib
u(, t),
2
u
dxx (, t) = (i) ub(, t) = 2 u
b(, t),

ou seja, derivadas espaciais sao transformadas em expressoes que envolvem apenas a funcao u b(, t) multi-
plicada por um monomio em . Por outro lado, derivando dentro do sinal de integracao com relacao a t,
temos que
Z Z
1 d 1
ubt (, t) = ut (x, t)eix dx = u(x, t)eix dx = u
bt (, t),
2 dt 2

o que significa que a derivada temporal e preservada pela transformada de Fourier. Assim, vemos que quando
aplicamos a transformada de Fourier a uma equacao diferencial parcial em duas variaveis, as derivadas
parciais espaciais desaparecem e apenas as derivadas temporais permanecem. Em outras palavras, aplicando
a transformada de Fourier transformamos a equacao diferencial parcial em uma equacao diferencial ordinaria
em t. Esta observacao e a essencia do metodo da transformada de Fourier para resolver equacoes diferenciais
parciais. Em resumo, o metodo funciona da seguinte maneira:
Passo 1: Obtenha a transformada de Fourier de todas as equacoes envolvidas (i.e., a equacao diferencial
parcial e a condicao inicial).
Passo 2: Resolva a equacao diferencial ordinaria, obtendo a solucao ub(, t).
Passo 3: Aplique a transformada de Fourier inversa a u b(, t) para obter u(, t).
A ttulo de exemplo, vamos aplicar este metodo as equacoes do calor e da onda.

8.3.1 A Equacao do Calor para uma Barra Infinita


Vamos resolver o problema de conducao de calor em uma barra homogenea, isolada termicamente e infinita.
Este e o problema de valor inicial (problema de Cauchy)

ut = kuxx se < x < e t > 0,
(8.11)
u(x, 0) = f (x) se < x < .

Assumimos que a funcao f e contnua, limitada e absolutamente integravel. Aplicando a transformada de


Fourier a este problema, obtemos a equacao diferencial ordinaria em t

bt (, t) = k 2 u
u b(, t)
b(, 0) = fb().
u

A solucao geral desta equacao e


2
b(, t) = C()ek t .
u
Para obter o valor de C(), usamos a condicao inicial:

fb() = u
b(, 0) = C().
16 Transformada de Fourier

Portanto,
2
b(, t) = fb()ek t .
u (8.12)
Tomando transformadas de Fourier inversas de ambos os lados da equacao, obtemos
Z
1 2
u(x, t) = fb()ek t eix d. (8.13)
2

As vezes, no entanto, esta solucao nao e conveniente em certas aplicacoes praticas. Usando a propriedade da
transformada de Fourier com relacao a uma convolucao, podemos obter uma solucao em termos da condicao
inicial f (x). De fato, voltando a equacao que da a solucao ub(, t), observamos que a segunda funcao do
lado direito e uma gaussiana em que, conforme vimos anteriormente, a menos de uma constante e a
transformada de Fourier dela propria. Mais precisamente,
a 2 1 2
F(e 2 x ) = e 2a .
a

Da, se r
1 x2
g(x) = e 4kt ,
2kt
entao
2
gb() = ek t .
[Tome a = 1/(2kt).] Logo, podemos escrever

b(, t) = fb()b
u g ().

Lembrando agora que a transformadade Fourier de uma convolucao e o produto das transformadas de
Fourier das funcoes multiplicadas por 2, ou seja
1
fb()b
g () = f[ g(),
2
segue que
1
b(, t) = f[
u g().
2
Portanto, aplicando a transformada de Fourier inversa, obtemos
1
u(x, t) = (f g)(x)
2
ou Z
1 (xs)2
u(x, t) = f (s)e 4kt ds. (8.14)
2 kt

Esta e a solucao da equacao do calor em uma barra infinita, e alem disso a unica solucao do problema,
se entendermos por solucao uma funcao contnua e limitada em t > 0 (existem outras solucoes, mas elas
nao sao limitadas, e do ponto de vista fsico esperamos que a solucao do problema seja uma distribuicao de
temperaturas limitada).

Exemplo 4. Resolva o problema



1
ut = uxx se < x < e t > 0,
4
u(x, 0) = ex2 se < x < .
Rodney Josue Biezuner 17

2
Solucao: Denotando f (x) = ex , segue que
2 1 2 2 t 1 (1+t) 2
b(, t) = fb()ek t = e 4 e 4 = e 4 .
u
2 2
Logo, r
1 (1+t) 2 1 2 1+t
x2 1 x2
u(x, t) = F 1 (e 4 ) = e = e 1+t .
2 2 1+t 1+t
1+t 1 2
pois fazendo 4 = 2a , segue que a = 1+t .

8.3.2 A Equacao da Onda em uma Corda Infinita


Vamos resolver o problema das vibracoes transversais de uma corda infinita, homogenea e de peso desprezvel:

utt = c2 uxx se < x < e t > 0,
u(x, 0) = f (x) se < x < , (8.15)

ut (x, 0) = g(x) se < x < .

Assumimos que as funcoes f, g sao contnuas, limitadas e absolutamente integraveis. Aplicando a transfor-
mada de Fourier a este problema, obtemos a equacao diferencial ordinaria em t

ubtt (, t) = c2 2 u
b(, t)
b(, 0) = fb(),
u

u
bt (, 0) = gb().
A solucao geral desta equacao e

u
b(, t) = A() cos ct + B() sen ct.

Para obter os valores de A() e B(), usamos a condicoes iniciais:

fb() = u
b(, 0) = A(),
gb() = u
bt (, 0) = cB().

Portanto,
gb()
b(, t) = fb() cos ct +
u sen ct.
c
Aplicando a transformada de Fourier inversa, obtemos a solucao do problema:
Z
1 gb()
u(x, t) = fb() cos ct + sen ct eix d. (8.16)
2 c
Em alguns casos especficos, esta integral pode ser computada explicitamente.

Exemplo 5. Resolva o problema



u = uxx se < x < e t > 0,
tt 1
u(x, 0) = se < x < ,

1 + x2
ut (x, 0) = 0. se < x < .
1
Solucao: Denotando f (x) = , segue que
1 + x2
r
||
b(, t) = fb() cos t =
u e cos t.
2
18 Transformada de Fourier

Logo,

r r
1 || 1 ei + ei ||
u(x, t) = F (e cos t) = F e
2 2 2
r r
1 1 i || 1 1 i ||
= F e e + F e e
2 2 2 2

1 1 1
= 2
+ ,
2 1 + (x + t) 1 + (x + t)2

r
|| 1
usando a propriedade da transformada de Fourier de uma translacao, pois F 1 e = .
2 1 + x2
Observe que esta resposta coincide com a solucao de DAlembert.

8.3.3 Exerccios

1. Resolva a equacao do calor ou da onda dada. Em todos os casos, assuma < x < e t > 0.


utt = uxx (
u = uxx

tt
1 cos x se 6x6 ,
a) u(x, 0) = b) u(x, 0) = 2 2

4 + x2
0 caso contrario,
ut (x, 0) = 0.

ut (x, 0) = 0.

ut = 1
ut = uxx se < x < e t > 0, 100 u
xx
c) 2 d) 100 se 1 6 x 6 1,
u(x, 0) = ex se < x < . u(x, 0) = .
0 se x > 1.


utt = uxx r u = uxx
t (
2 sen x |x|
e) u(x, 0) = f) 1 se 2 6 x 6 2, .


x u(x, 0) =
2
ut (x, 0) = 0. 0 se x > 1.

ut = 1
ut = 41 uxx


100 u
xx
100 se 2 < x < 0,
g) 20 se 1 6 x 6 1, h)
u(x, 0) =
u(x, 0) = 50 se 0 < x < 1,
0 se x > 1.
0 caso contrario.
(
ut = uxx ut = uxx
i) 100 j)
u(x, 0) = . u(x, 0) = e|x| .
1 + x2

2. Usando o metodo da transformada de Fourier, resolva o problema de valor inicial dado. Em todos os
casos, assuma < x < e t > 0.
Rodney Josue Biezuner 19


uxt = uxxr
utt = uxxxx
a) |x| b)
u(x, 0) = e u(x, 0) = f (x).
2

3ut + ux = 0 aut + bux = 0
c) d)
u(x, 0) = f (x). u(x, 0) = f (x).

ut + tux = 0 ut = t2 ux
e) f)
u(x, 0) = f (x). u(x, 0) = 3 cos x.

ut + a(t)ux = 0 ut + (sen t)ux = 0
g) h)
u(x, 0) = f (x), u(x, 0) = sen x.

ut = ux ut = tuxx
i) j)
u(x, 0) = f (x). u(x, 0) = f (x),

utt + 2ut = u
ut = a(t)uxx
k) , a(t) > 0. l) u(x, 0) = f (x),
u(x, 0) = f (x),
ut (x, 0) = g(x).

ut = et uxx ut = tuxxxx
m) n)
u(x, 0) = 100, u(x, 0) = f (x),

utt = uxxt utt 4uxxt + 3uxxxx
o) u(x, 0) = f (x), p) u(x, 0) = f (x),

ut (x, 0) = g(x). ut (x, 0) = g(x).

3. Resolva o problema do calor com conveccao na barra infinita (isto e, existe troca de calor da barra com
o meio ambiente):

ut = c2 uxx + kux se < x < e t > 0,
u(x, 0) = f (x) se < x < .

4. Resolva o problema da vibracao da corda infinita com amortecimento (b > 0):



utt = c2 uxx 2but se < x < e t > 0,
u(x, 0) = f (x) se < x < ,

ut (x, 0) = g(x) se < x < .

5. Resolva o problema da vibracao na viga infinita:



utt = c2 uxxxx se < x < e t > 0,
u(x, 0) = f (x) se < x < ,

ut (x, 0) = g(x) se < x < .

6. Resolva a equacao de Korteweg-de Vries linearizada:



ut = c2 uxxx se < x < e t > 0,
u(x, 0) = f (x) se < x < .

2/2
Encontre a solucao para f (x) = ex e quando f e a funcao pulso (em ambos os casos tome c = 1).
20 Transformada de Fourier

7. Usando o metodo da transformada de Fourier, mostre que a solucao da equacao de Laplace no semiplano
superior (problema de Dirichlet)

uxx + uyy = 0 se < x < e y > 0,
u(x, 0) = f (x) se < x < .

e dada por Z
y f (s)
u(x, y) = ds.
(x s)2 + y 2
Use esta formula (chamada a formula integral de Poisson) para resolver o problema de Dirichlet para

100 se 1 6 x 6 1,
f (x) =
0 se x > 1.

Determine as isotermas no semiplano superior para este problema especfico.


8. Definimos o nucleo de Poisson como sendo a funcao
r
2 y
Py (x) = , para < x < e y > 0.
x2 + y 2
Usando a transformada de Fourier, mostre a propriedade de semigrupo do nucleo de Poisson:

(Py1 Py2 )(x) = Py1 +y2 (x).

De posse desta propriedade e usando tambem o exerccio anterior, resolva o problema de Dirichlet para
1
f (x) = . Quais sao as isotermas neste caso?
1 + x2

Você também pode gostar