Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ARIO
3.2.3 Transformada inversa de Laplace . . . . . . . . . . . . . . 38
3.2.4 Transformada de Laplace da funcao delta . . . . . . . . . 39
3.3 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.1 Denicoes . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.2 Exemplos de transformadas de Fourier . . . . . . . . . . . 42
3.3.3 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3.4 Transformadas de Fourier em v arias dimensoes . . . . . . 46
3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Captulo 1
Funcao delta de Dirac
1.1 Denicao
O fsico teorico Paul Dirac introduziu, na decada de 1930, uma funcao (x)
que e denida por meio das seguintes propriedades:
(x) =
_
0, se x ,= 0,
, se x = 0,
(1.1)
_
(x)dx = 1, (1.2)
onde < x < e um real. N ao se dene a funcao delta para argumentos
complexos.
A funcao delta denida em (1.1)-(1.2) e aplicada em x = 0. Podemos
generalizar para o caso em que e aplicada em x = a:
(x a) =
_
0, se x ,= a,
, se x = a,
(1.3)
_
(x a)dx = 1, (1.4)
A rigor (x) nao e uma funcao, e sim o que chamamos de distribuicao, ou
funcao generalizada. Por exemplo, se (0) e igual a innito, se interpretarmos
a integral em (1.2) no sentido de Riemann - como o limite de uma soma -
chegaramos a um resultado tambem innito, ao inves de ser igual a um. No
entanto, para muitas aplica coes (x) obedece `as regras do calculo aplicaveis a
funcoes bem-comportadas. Inicialmente adotaremos esse ponto de vista, reali-
zando manipula coes formais que, mesmo sendo nao-rigorosas, podem ser justi-
cadas usando a teoria das distribuicoes que sera vista no proximo captulo.
5
6 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
t
F(t)
t
o
t
Figura 1.1: Uma forca impulsiva.
1.2 Aplicacoes fsicas
1.2.1 Mecanica classica: forcas impulsivas
Suponha uma esfera de massa m e velocidade constante v chocando-se elasti-
camente com uma parede rgida. Devido `a elasticidade da esfera, a colisao tem
uma duracao t, tempo durante o qual ha uma transferencia de momentum
entre a esfera e a parede e vice-versa. O impulso sobre a esfera e dado por
I =
_
t
0
+t/2
t
0
t/2
F(t)dt, (1.5)
onde t
0
indica o instante medio em que ocorre a colisao, e F(t) e a forca depen-
dente do tempo que a parede exerce sobre a esfera [Fig. 1.1].
Do teorema do impulso e momentum linear, temos que
I = p = p
f
p
i
= mv (mv) = 2mv = constante, (1.6)
de modo que, se o intervalo de tempo t diminuir, o valor maximo da forca
F
max
= F(t
0
) ira aumentar para que o impulso permane ca constante.
No limite quando t 0, podemos escrever a forca impulsiva usando a
funcao delta de Dirac
F(t) = I(t t
0
). (1.7)
Com efeito, usando (1.4) temos que
_
F(t)dt =
_
I(t t
0
)dt = I
_
(t t
0
)dt
. .
=1
= I.
1.3. PROPRIEDADES DA FUNC
AO DELTA 7
1.2.2 Eletromagnetismo: distribuicoes singulares de carga
eletrica
Uma carga puntiforme q situada, ao longo do eixo x, na posicao x = a, equivale
a uma distribuicao singular de carga eletrica, cuja densidade (linear) e
(x) =
dq
dx
= q(x a) (1.8)
pois, integrando sobre todo o eixo, temos
_
(x)dx =
_
q(x a)dx = q
_
(x a)dx
. .
=1
= q.
Uma corrente eletrica lamentar i tambem podem ser representada, usando
funcoes delta multidimensionais (a serem vistas mais `a frente), como densidades
superciais de corrente j(r) singulares, ja que
_
j(r) dA = i.
1.3 Propriedades da funcao delta
1.3.1 Filtragem
Seja f(x) uma funcao bem-comportada, ou seja, satisfaz `a denicao classica
de funcao. Ent ao vale a propriedade de ltragem
_
+
(x a)f(x)dx = f(a)
_
+
(x a)dx
. .
=1
= f(a).
A propriedade de ltragem vale tambem para sub-intervalos nitos da reta
real. Se c a b ent ao
_
b
c
(x a)f(x)dx = f(a), (1.10)
No entanto, se a > b ou a < c, a funcao delta anula-se em todos os pontos do
intervalo [c, b], donde
_
b
c
(x a)f(x)dx = 0. (1.11)
Escolhendo f(x) = x e a = 0, (1.9) fornece
_
+
(x)xdx = f(0) = 0,
8 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
tal que, para todo x (, +) temos a propriedade
x(x) = 0. (1.12)
Analogamente mostra-se que
f(x)(x a) = f(a)(x a). (1.13)
A propriedade de ltragem e v alida mesmo que f(x) nao seja uma funcao
bem-comportada, como a propria funcao delta:
_
+
(x)dx =
_
+
(y)(dy) =
_
+
(y)dy =
_
+
(x)dx,
onde trocamos y por x visto que s ao variaveis mudas. Passando para o pri-
meiro membro
_
+
[(x) (x)]
. .
=0
dx = 0,
donde resulta (1.15).
1.3.3 Escala
Seja a ,= 0 um fator de escala, ent ao
(ax) =
1
[a[
(x). (1.16)
Vamos supor, inicialmente, que a > 0, e fazer a mudanca de variavel y = ax.
Ent ao, partindo da condi cao de normaliza cao (1.2) com x y, temos
1 =
_
+
(y)dy = a
_
+
(ax)dx,
1.4. REPRESENTAC
OES DA FUNC
AO DELTA 9
donde
_
+
(ax)dx =
1
a
=
1
[a[
.
Caso a < 0, ent ao [a[ = a, e obtemos a mesma conclus ao. Em ambos os
casos, podemos escrever
_
+
(ax)dx =
1
[a[
_
+
(x)dx,
_
+
_
(ax)
1
[a[
(x)
_
. .
=0
dx = 0,
donde resulta (1.16). Uma interessante consequencia da propriedade de escala
e que, caso ax seja o resultado de uma medida fsica de posicao, podemos con-
siderar x um n umero puro e a a respectiva unidade (como metro, nan ometro,
ano-luz, etc.). Ent ao a funcao delta (ax) tem dimensoes de inverso de compri-
mento, ou seja, a sua unidade e 1/metro, 1/ nan ometro, 1/ ano-luz, etc.
Uma generalizacao dessa propriedade consiste no caso em que y(x) e uma
funcao de x que possua zeros smples nos pontos x
1
, x
2
, . . . , x
i
, . . ., tal que
y(x
i
) = 0 e y
(x
i
) = 0. Ent ao
[y(x)] =
i
1
[y
(x
i
)[
(x x
i
) . (1.17)
Como um exemplo de aplica cao, considere a funcao y(x) = x
2
a
2
, que tem
zeros smples nos pontos x = a, ja que y
(x
i
) = 2a ,= 0. Ent ao, de (1.17)
temos que
(x
2
a
2
) =
(x a)
[y
(a)[
+
(x +a)
[y
(a)[
=
1
2a
[(x a) +(x +a)] . (1.18)
1.4 Representacoes da funcao delta
n=1
, quando o
par ametro tende a innito: (x) = lim
n
n
(x). A rigor, no entanto, esse
limite nao existe por v arios motivos (e innito, nao e unico, etc.); e s o e bem-
denido quando o entendemos dentro de uma integral envolvendo funcoes nor-
mais f(x):
lim
n
_
+
n
(x)f(x)dx =
_
+
(x)f(x)dx. (1.19)
H a innitas representa coes possveis para a funcao delta. As mais usadas na
pratica s ao as seguintes:
10 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
-2 -1,5 -1 -0,5 0 0,5 1 1,5 2
0
1
2
3
4
5
6
n=1
n=2
n=3
n=5
n=10
Figura 1.2: Representa cao do tipo pulso quadrado para a funcao delta para
alguns valores do par ametro n.
Pulso quadrado [Fig. 1.2]
n
(x) =
_
n/2, se 1/n x +1/n,
0, se x < 1/n, ou x > 1/n.
(1.20)
Para mostrar que a funcao acima e uma representa cao para a funcao delta,
vamos vericar a denicao (1.1)-(1.2). De fato,
lim
n
n
(x) =
_
, se x = 0,
0, se x ,= 0.
Alem disso, resulta que, para todo n, temos
_
+
n
(x)dx =
_
+1/n
1/n
n
2
dx =
n
2
_
2
n
_
= 1.
Lorentziana [Fig. 1.3]
n
(x) =
1
n
1 +n
2
x
2
(1.21)
Para vericar (1.1) ha dois limites a serem calculados:
lim
n
n
(x) =
=
1
lim
n
1
2nx
2
= 0, se x ,= 0,
1.4. REPRESENTAC
OES DA FUNC
AO DELTA 11
-10 -5 0 5 10
0
0,2
0,4
0,6
0,8
1
n=1
n=2
n=3
Figura 1.3: Representa cao do tipo Lorentziana para a funcao delta para alguns
valores do par ametro n.
onde usamos a regra de LHospital para levantar a indetermina cao. Para x = 0
temos, de (1.21), que
n
(0) = n/, tal que lim
n
n
(0) = . A condi cao de
normaliza cao (1.2) decorre de
_
+
n
(x)dx =
n
_
+
dx
1 +n
2
x
2
=
n
1
n
_
+
dx
1 +y
2
. .
=
=
n
n
= 1,
onde zemos y = nx. A integral denida acima pode ser encontrada usando
resduos (vide apendice).
Gaussiana [Fig. 1.4]
n
(x) =
n
e
n
2
x
2
, (1.22)
Seno cardinal [Fig. 1.5]
sinc xdx
_
+
sin x
x
dx = . (1.24)
12 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
-5 -4 -3 -2 -1 0 1 2 3 4 5
0
0,5
1
1,5
2
n=1
n=2
n=3
Figura 1.4: Representa cao do tipo Gaussiana para a funcao delta para alguns
valores do par ametro n.
-20 -10 0 10 20
-0,2
0
0,2
0,4
0,6
0,8
1
n=1
n=2
n=3
Figura 1.5: Representa cao do tipo seno cardinal para a funcao delta para
alguns valores do par ametro n.
1.4. REPRESENTAC
OES DA FUNC
AO DELTA 13
-20 -10 0 10 20
0
0,2
0,4
0,6
0,8
1
n=1
n=2
n=3
Figura 1.6: Representa cao do tipo pico de difracao para a funcao delta para
alguns valores do par ametro n.
como pode ser calculado usando resduos (integral de Dirichlet). Do seno car-
dinal derivam duas representa coes uteis para a funcao delta. A primeira e [Fig.
1.5]
n
(x) =
sin nx
x
=
n
sinc(nx) . (1.25)
Para x = 0 temos que
n
(0) = n/, donde lim
n
n
(0) = . A condi cao de
normaliza cao ca, em vista de (1.24):
_
+
n
(x)dx =
n
_
+
sinc(nx)dx =
n
1
n
_
+
sinc ydy
. .
=
=
n
n
_
= 1.
Uma outra representa cao usa o quadrado da funcao sinc, e recebe o nome de
pico de difracao por assemelhar-se ao padrao de difra cao de uma fenda unica
em otica [Fig. 1.6]:
n
(x) =
1
sin
2
(nx)
nx
2
=
n
sinc
2
nx. (1.26)
Observe que nem todas as representa coes possveis para a funcao delta s ao
igualmente boas, quando as interpretamos no sentido da Eq. (1.19). Por exem-
plo, considere a funcao normal f(x) = e
x
. Se usarmos, para ela, a repre-
senta cao lorentziana (1.21), teremos problemas, pois
_
+
n
(x)f(x)dx =
n
_
+
e
x
dx
1 +n
2
x
2
= ,
14 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
a mesma coisa ocorrendo para o pico de difracao (1.26), pois
_
+
n
(x)f(x)dx =
1
n
_
+
e
x
sin
2
nxdx
nx
2
= .
Ja a representa cao gaussiana (1.22) pode ser utilizada, pois
_
+
n
(x)f(x)dx =
n
_
+
e
x
e
n
2
x
2
dx = e
1/4n
2
,
como pode ser vericado completando o quadrado no integrando e usando a
integral gaussiana
_
+
e
y
2
dy =
, (1.27)
de modo que
lim
n
_
+
n
(x)f(x)dx = lim
n
e
1/4n
2
= 1.
1.4.1 Representa cao integral
Usando
sin nx =
e
inx
e
inx
2i
(1.28)
na representa cao do seno cardinal (1.25) temos, usando o teorema fundamental
do calculo integral, que
n
(x) =
1
x
e
inx
e
inx
2i
=
1
2
1
ix
e
y
[
+inx
inx
=
1
2
1
ix
_
+inx
inx
e
y
dy.
Fazendo a transformacao de variavel y = ikx temos que
n
(x) =
1
2
1
ix
ix
_
+n
n
e
ikx
dk =
1
2
_
+n
n
e
ikx
dk,
que, no limite de n tendendo ao innito, nos da uma representa cao integral para
a funcao delta
(x) =
1
2
_
+
e
ikx
dk, (1.29)
onde a integral deve ser tomada como valor principal de Cauchy, devido `a sin-
gularidade existente em x = 0.
A representa cao integral (1.29) s o pode ser usada com funcoes bem-comportadas
f(x) que sejam contnuas por partes em (, +), ou seja, f(x) pode ter um
n umero nito ou innito enumeravel de pontos de descontinuidade x
1
, x
2
, . . . x
i
.
Em cada um desses pontos de descontinuidade o valor da funcao f(x) deve ser
substituido pela media dos seus valores `a direita e `a esquerda da descontinui-
dade:
f(x
i
0) +f(x
i
+ 0)
2
.
Logo, f(x) deve ser som avel da mesma forma que exigimos para um desenvolvi-
mento em serie de Fourier. Em outras palavras, se f(x) admite uma expansao
em serie de Fourier, ent ao pode ser usada a representa cao integral (1.29).
1.5. FUNC
OES DELTA MULTIDIMENSIONAIS 15
1.4.2 Relacao com a funcao degrau
A funcao degrau unitario de Heaviside e denida como
H(x x
) =
_
_
1, se x > x
,
1/2, se x = x
,
0, se x < x
.
(1.30)
onde o valor medio em x = x
) =
d
dx
H(x x
). (1.31)
Para vericar a plausibilidade dessa rela cao, vamos multiplicar a derivada
da funcao degrau por uma funcao bem-comportada f(x) e integrar em R
_
+
f(x
)
d
dx
H(x x
)dx
=
d
dx
_
+
f(x
)H(x x
)dx
.
Como H(x x
) = 1
para < x
f(x
)
d
dx
H(x x
)dx
=
d
dx
_
x
f(x
)dx
= f(x),
usando o teorema fundamental do calculo diferencial. Pela propriedade de l-
tragem (1.9)
_
+
f(x
)
_
+
f(x
)
d
dx
H(x x
)dx
=
_
+
f(x
)(x x
)dx
_
+
f(x
)
_
d
dx
H(x x
) (x x
)
_
. .
=0
dx
= 0,
que conduz, para uma funcao f(x) arbitraria, a (1.31).
1.5 Funcoes delta multidimensionais
1.5.1 Duas dimensoes
Denimos a funcao delta bidimensional como o produto de duas funcoes delta
unidimensionais, ao longo das direcoes independentes x e y
(r r
) = (x x
)(y y
), (1.32)
com a seguinte normaliza cao:
_
+
dx
_
+
dy(r r
) = 1. (1.33)
16 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
A dimensao da funcao delta bidimensional e o inverso de uma area. Seja f(x, y)
uma funcao normal de duas variaveis. A propriedade de ltragem e escrita como
_
+
dx
_
+
dyf(x, y)(r r
) = f(x
, y
). (1.34)
Usando coordenadas polares planas (, ), tal que x = cos e y = sin ,
a condi cao de normaliza cao (1.33) torna-se
_
2
0
d
_
0
d(r r
) = 1, (1.35)
que e satisfeita caso
(r r
) =
1
)(
). (1.36)
1.5.2 Tres dimensoes
A funcao delta tridimensional e o produto de tres func oes delta unidimensionais
(com dimensao de inverso de volume):
(r r
) = (x x
)(y y
)(z z
), (1.37)
tal que
_
+
dx
_
+
dy
_
+
dz(r r
) = 1. (1.38)
Usando coordenadas cilndricas (, , z) a Eq. (1.38) ca
_
2
0
_
+
dzd
_
0
d(r r
) = 1, (1.39)
que leva `a expressao
(r r
) =
1
)(
)(z z
). (1.40)
Analogamente, para coordenadas esfericas polares (r, , ) a Eq. (1.38) sera
satisfeita se
(r r
) =
1
r
2
(r r
)(cos cos
)(
), (1.41)
uma vez que o elemento de volume e dV = r
2
dr sin dd.
Como um exemplo de aplica cao no eletromagnetismo, vamos escrever na
forma de uma densidade de carga eletrica um anel de raio R com centro na
origem e no plano z = 0, uniformemente carregado com uma carga total Q. A
densidade de carga e, em coordenadas cilndricas
(, , z) =
Q
2R
( R)(z),
ja que, integrando em todo o espaco
_
d
3
r(r) =
Q
2R
_
0
d( R)
. .
=R
_
2
0
d
. .
=2
_
+
(z)dz
. .
=1
= Q.
1.6. DERIVADAS DA FUNC
AO DELTA 17
Observe que, devido `a simetria axial do sistema, a densidade de carga nao pode
depender do angulo azimutal .
Se resolvermos usar coordenadas esfericas, lembrando que o plano do anel e
caracterizado por = /2, cujo cosseno e nulo, temos
(r, , ) =
Q
2R
2
(r R)(cos ),
cuja integral e
_
d
3
r(r) =
Q
2R
2
_
0
r
2
dr(r R)
. .
=R
2
_
+1
1
d(cos )(cos )
. .
=1
_
2
0
d
. .
=2
= Q.
1.6 Derivadas da funcao delta
Embora (x) nao seja uma funcao, no sentido estrito da palavra, e possvel
dar a ela uma interpreta cao rigorosa (na teoria das distribuicoes, como sera
visto no proximo captulo) tal que seja possvel obter a sua derivada
(x), e
usar os recursos do calculo usual para trabalhar com ela. Para isso, sempre
imaginamos que a , bem como suas derivadas, estejam multiplicadas por uma
funcao normal f(x) e integradas de a +. Por exemplo, temos a seguinte
propriedade fundamental da derivada da funcao delta:
_
+
(x a)f(x)dx = f
(a), (1.42)
que pode ser demonstrada como segue: integrando por partes o lado esquerdo
da expressao acima temos
_
+
f(x)
(x a)dx = f(x) (x a)
. .
=0
_
+
(x)(x a)dx = f
(a).
No eletromagnetismo e possvel associar a derivada da funcao delta com
a distribuicao singular de carga correspondente a um dip olo eletrico que, por
denicao, e um sistema formado por duas cargas puntiformes q e +q, separadas
por uma distancia 2a, ou seja, s ao xadas nos pontos x = a e x = +a,
respectivamente. A densidade de carga em uma dimensao sera, pois,
(x) = q(x a) q(x (a)) = q[(x a) (x +a)].
Fazendo a tender a zero, temos
lim
a0
(x a) (x +a)
2a
=
d
dx
(0),
tal que, lembrando que p q(2a) e o momento de dip olo eletrico, a densidade
de carga do dip olo e
(x) = p
(0).
V arias propriedades importantes decorrem da denicao (1.42), como
(x) =
(x), (1.43)
18 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
Para mostra-la multiplicamos o primeiro membro por uma funcao normal
f(x) e integramos de a +:
_
+
(x)f(x)dx =
_
(y)f(y)(dy) =
_
+
(y)f(y)dy
f(y) (y)
..
=0
+
_
+
(y)(y)dx = f
(0) =
_
+
(x)f(x)dx,
onde zemos a mudanca de variavel y = x, integramos por partes, e usamos
(1.42). Passando tudo para o primeiro membro
_
+
(x) +
(x)]
. .
=0
f(x)dx = 0,
se f(x) for uma funcao arbitraria, diferente de zero portanto, o que leva a (1.43).
Derivando (1.29) chegamos `a representa cao integral
(x) =
i
2
_
+
ke
ikx
dk. (1.44)
De forma analoga a (1.43), nova integra cao por partes conduz `a derivada
segunda da funcao delta
_
+
(x a)f(x)dx = f
(a), (1.45)
que pode ser generalizanda para a derivada de ordem m:
_
+
(m)
(x a)f(x)dx = (1)
m
f
(m)
(a). (1.46)
1.7 Exerccios
1. Mostre, integrando nos entornos de x = a, que
(x
2
a
2
) =
1
2a
[(x + a) + (x a)]
2. Mostre que as propriedades de paridade (1.15) e escala (1.16) decorrem como
casos particulares da propriedade geral (1.17).
3. Calcule as integrais: (a)
_
+
dx(x
2
+ x 2)(3x
2
5x + 1)
(b)
_
+
dx(x
3
2x
2
x + 2)(4x
4
3x
3
+ 8x 1)
4. Mostre que as fun c oes gaussiana (1.22) e pico de difra cao (1.26) s ao repre-
senta c oes possveis para a func ao delta.
1.7. EXERC
ICIOS 19
5. Considere uma linha uniformemente carregada com uma carga total Q ao longo
do eixo z e cujo ponto medio encontra-se na origem do sistema de coordenadas.
Se o comprimento total da linha e 2b, mostre que a densidade volumetrica de
carga associada e, em coordenadas esfericas, dada por
(r) =
Q
2b
1
2r
2
[(cos 1) + (cos + 1)]
6. Mostre as seguintes propriedades das derivadas da func ao delta. (a)
x
(x) = (x),
(b)
x
2
(x) = 0,
(c)
_
+
(x y)(y a)dy =
(x a),
(d)
(x) = (x),
(e)
x
2
(x) = 2(x).
(f)
(m)
(x) = (1)
m
(m)
(x),
(g)
x
m+1
(m)
(x) = 0,
(h)
_
+
(m)
(x y)
(n)
(y a)dy =
(m+n)
(x a).
7. Demonstre a propriedade (1.17). Sugest ao: multplique o primeiro membro por
uma fun c ao bem-comportada f(x) e integre em (, +). As contribui c oes
nao-nulas para essa integral s o virao das vizinhan cas dos pontos onde o argu-
mento y(x) se anula, ou seja, dos seus zeros. Fazendo a mudanca de variavel
z = y(x) e aplicando a propriedade de ltragem, resulta a propriedade procu-
rada, para f(x) arbitrario.
8. Mostre que a densidade de carga singular correspondente a um dipolo eletrico
de momento p e posicionado em r = a pode ser expressa na seguinte forma:
(r) = p (r a).
20 CAP
ITULO 1. FUNC
AO DELTA DE DIRAC
Captulo 2
Distribuic oes
As funcoes delta, introduzidas por Dirac [1], pertencem a uma categoria geral
de objetos matematicos chamados distribuicoes ou funcoes generalizadas, cuja
teoria rigorosa foi desenvolvida por v arios matematicos a partir de 1940, como
L. Schwartz [2] e I. Gelfand [3]. Uma distribuicao e um funcional linear denido
sobre um dado espaco de funcoes apropriadas. Com a teoria das distribuicoes, as
manipula coes formais (porem nao-rigorosas) feitas no captulo anterior podem
ser justicadas.
2.1 Alguns conceitos basicos
Uma funcao real de variavel real f(x) e integr avel no intervalo [a, b] R (isto
e, pertence ao espaco de funcoes L[a, b]) se a sua integral existe nesse intervalo:
_
b
a
f(x) dx < . (2.1)
Em geral, essa integral deve ser tomada no sentido de Lebesgue, que e mais
geral do que no sentido de Riemann (o limite de uma soma). Uma funcao e
absolutamente integravel se
_
b
a
[f(x)[ dx < . (2.2)
Uma funcao e localmente integr avel se existem integrais do tipo (2.1) para
quaisquer sub-intervalos limitados contidos em [a, b]. Por exemplo, a funcao
f(x) = sin x e localmente integr avel pois, para qualquer sub-intervalo limitado
de R, temos
_
b
a
sin xdx = cos a cos b < .
Via de regra, funcoes contnuas s ao localmente integr aveis num dado intervalo,
mas ha exemplos de funcoes localmente integr aveis possuindo descontinuidades
(vide Problema 1).
Uma funcao real f(x) e de quadrado integr avel em [a, b] se
_
b
a
[f(x)]
2
dx < , (2.3)
21
22 CAP
ITULO 2. DISTRIBUIC
OES
e pertence ao espaco de funcoes L
2
[a, b]. O produto interno em L
2
e denido
como
< f, g >
_
b
a
f(x)g(x)dx. (2.4)
2.2 Funcionais
Um funcional e uma aplica cao de um espaco de funcoes sobre R, isto e, um
funcional S associa uma dada funcao f(x) a um n umero real a, o que escrevemos
simbolicamente como
S[f(x)] = a. (2.5)
Observe que, enquanto uma funcao y = f(x) associa um n umero y a um valor
especco de x, um funcional depende dos valores de f(x) para todos os valores
de x em um dado intervalo [x
1
, x
2
], nao apenas para um deles.
Como um exemplo, considere o funcional
S[f(x)] =
_
1
0
[f(x)]
2
dx, (2.6)
Escolhendo diferentes funcoes obtemos valores distintos para o funcional, como
S[sin(x)] =
_
1
0
sin
2
xdx =
1
2
sin(2)
4
, (2.7)
S[x
n
] =
_
1
0
x
2n
dx =
1
2n + 1
, (n ,= 1/2). (2.8)
Um funcional pode nao ser bem-denido para todas as funcoes f(x). Por
exemplo, o funcional (2.6) s o pode ser aplicado `as funcoes que sejam de quadrado
integr avel no intervalo [0, 1]. Por exemplo, a funcao f(x) = 1/
x nao e de
quadrado integr avel neste intervalo pois
_
1
0
[(x)]
2
dx =
_
1
0
dx
x
= ln 1 ln 0 = ,
de modo que o funcional (2.6) nao e denido para essa funcao. De modo geral,
para denir um funcional, devemos sempre indicar o espaco de funcoes (ditas
fun c oes de base ou ainda funcoes-teste (x)) sobre as quais age o funcional.
2.2.1 Fun coes de base
H a dois requisitos para que uma dada funcao (x) seja considerada adequada
na teoria das distribuicoes. Ela deve:
ser diferenciavel um n umero arbitrariamente grande de vezes;
tiver suporte compacto, quer dizer, ter valores nulos fora de um dado
intervalo limitado. O suporte de uma funcao f(x) e o fecho do conjunto
de todos os pontos onde f nao se anula.
2.3. CONCEITO DE DISTRIBUIC
AO 23
-1 -0,5 0 0,5 1 1,5 2
x
0
0,005
0,01
0,015
0,02
1
x
1
x
_
, (2.11)
a qual e innitamente diferenciavel.
2.3 Conceito de distribuicao
Uma distribuicao (ou funcao generalizada) T[] e um funcional linear e contnuo
sobre um espaco de funcoes de base adequadas (x). Um funcional T e linear
se, dadas funcoes de base
1
(x) e
2
(x) e n umeros arbitrarios k
1
e k
2
, ent ao
T[k
1
1
(x) +k
2
2
(x)] = k
1
T[
1
(x)] +k
2
T[
2
(x)] (2.12)
24 CAP
ITULO 2. DISTRIBUIC
OES
O exemplo de funcional dado anteriormente na Equa cao (2.6) nao e uma distri-
bui cao, pois nao satisfaz a propriedade linear (2.12), como pode ser vericado
diretamente. Uma distribuicao pode ser multiplicada por um n umero real e so-
mada a outra distribuicao, de modo que as distribuicoes pertencem a um espaco
vetorial linear. Este espaco sera denotado T
(R).
Um funcional Te contnuo se, considerando uma sequencia innita de funcoes
de base
i
(x)
i=1
, tal que exista o limite
(x) = lim
i
i
(x), (2.13)
ent ao
lim
i
T[
i
(x)] = T[(x)]. (2.14)
2.3.1 Distribui coes regulares
A toda funcao f(x) localmente integr avel corresponde uma distribuicao
f de-
nida pelo produto interno
f[k
1
1
+k
2
2
] =< f, k
1
1
+k
2
2
>= k
1
< f,
1
> +k
2
< f,
2
>
= k
1
f[
1
] +k
2
f[
2
].
Considerando que existe o limite (2.13), ent ao (2.14) leva a
lim
i
f[
i
] =
_
b
a
f(x)
_
lim
i
i
(x)
_
dx =
_
b
a
f(x)(x)dx =
f[],
o que conrma a continuidade.
Duas funcoes localmente integr aveis f
1
(x) e f
2
(x) denem a mesma distri-
bui cao regular (2.15) se elas s ao iguais em quase todos os pontos do intervalo
[a, b]. O termo quase todos, aqui, tem o signicado usual da teoria de in-
tegra cao: iguais para todos os pontos de [a, b] com a possvel exce cao de um
conjunto de pontos de medida de Lebesgue nula.
2.3.2 Distribui coes singulares
H a distribuicoes, porem, que nao podem ser denidas por (2.15). Por exemplo,
a funcao f(x) = 1/x diverge em x = 0, portanto nao e locamente integr avel em
R. No entanto, podemos denir uma distribuicao associada ao valor principal
de Cauchy de 1/x:
_
VP
1
x
_
[] = T
_
+
(x)
x
dx, (2.16)
onde o valor principal de Cauchy da integral divergente e dado por
T
_
+
(x)
x
dx = lim
0
__
(x)
x
dx +
_
(x)
x
dx
_
, (2.17)
2.4. A DISTRIBUIC
AO DELTA DE DIRAC 25
tal que as propriedades de linearidade e a continuidade podem ser vericadas
diretamente. Distribuicoes como (2.16) s ao ditas singulares.
2.4 A distribuicao delta de Dirac
A funcao delta de Dirac e, na verdade, uma distribuicao singular sobre um
conjunto apropriado de funcoes de base. Seja, por exemplo, (x): ela e um
funcional linear e contnuo que, agindo sobre uma funcao de base (x), retorna
o valor dessa funcao no ponto x = 0, ou seja, (0):
0
[] = (0), (2.18)
De forma geral, denimos a distribuicao delta de Dirac como
a
[] = (a). (2.19)
Para mostrar que (xa) e uma distribuicao, temos de provar a linearidade
a
[k
1
1
+k
2
2
] = k
1
1
(a) +k
2
2
(a) = k
1
a
[
1
] +k
2
a
[
2
],
e a continuidade
lim
i
a
[
i
] = lim
i
i
(a) = (a) =
a
[].
Sendo uma distribuicao singular, o funcional associado ` a distribuicao delta
de Dirac nao pode ser escrito como uma integral da forma (2.15). Entretanto,
e conveniente escrever simbolicamente o funcional
a
[] como uma integral
a
[(x)] =
_
[k
1
(x x
1
) +k
2
(x x
2
)]f(x)dx = k
1
f(x
1
) +k
2
f(x
2
). (2.21)
No entanto expressoes nao-lineares como
_
(x) e e
ITULO 2. DISTRIBUIC
OES
bem denido, como no caso de uma distribuicao T arbitraria e uma distribuicao
regular
f associada a uma funcao localmente integr avel f(x), cujo produto
P =
fT, (2.22)
e uma distribuicao se T for um funcional linear e contnuo da funcao f(x)(x),
onde e uma funcao de base:
P[] = T[f(x)(x)]. (2.23)
Em geral, se f(x) e suave (innitamente diferenciavel), o produto
fT existe
para qualquer distribuicao T, regular ou singular. Como um exemplo, seja T a
distribuicao delta de Dirac
a
. Ent ao o produto da mesma com uma distribuicao
regular
f sera, usando a expressao simbolica (2.20) para a integral
P[] = (
f
a
)[] =
_
+
f g)[] =
_
+
f(x)g(x)(x)dx. (2.25)
Ja um contra-exemplo, ou seja, um exemplo de produto distribucional que
nao e bem-denido, e a expressao [(x)]
2
. Usando a representa cao simbolica
(2.20) chegamos a um resultado innito, pois
(
0
0
)[] =
_
+
(x)(x)(x)dx = (0)
..
=
(0) = .
Em contrapartida, o produto de duas distribuicoes delta em pontos diferentes
(a ,= b) e bem-denido, pois
(
a
b
)[] =
_
+
(x a)(x b)(x)dx = (a b)
. .
=0
(a) = 0,
de modo que a funcao delta bidimensional, por exemplo, (r) = (x)(y) e
bem-denida.
2.6. F
ORMULA DE PLEMELJ 27
y
x
()
y
x 0 0
z z (a) (b)
Figura 2.2: Duas maneiras equivalentes de contornar um polo no eixo real.
2.6 F ormula de Plemelj
Seja (x) uma funcao de base adequada. A chamada formula de Plemelj e
_
+
(x)
x
dx = T
_
+
(x)
x
dx i(0), (2.26)
Para demonstrar essa formula, vamos calcular o primeiro membro de (2.26)
como uma integral no plano complexo:
I =
_
+
(x)
x
dx. (2.27)
onde o percurso de integra cao e o eixo real. Como o integrando tem um polo
em x = 0, porem, precisamos contorn a-lo, o que pode ser feito de duas maneiras
equivalentes: (i) deslocando o polo de uma quantidade innitesimal sobre o
eixo imagin ario positivo, e fazendo depois o limite 0 [Fig. 2.2(a)]:
I = lim
0
+
_
+
(x)
x +i
dx, (2.28)
(ii) contornando o polo usando um percurso semi-circular de raio , denotado
(), e fazendo depois o limite 0 [Fig. 2.2(b)]:
I = lim
0
_
(z)
z
dz, (2.29)
onde = (, ] () [, ). Logo temos tres integrais:
I = lim
0
__
(x)
x
dx +
_
(x)
x
dx
_
. .
=P
dx(x)/x
+ lim
0
_
()
(x)
x
dx
. .
=I
(2.30)
Podemos calcular I
: z =
e
i
, com variando de ate zero. Como dz = ie
i
d, ent ao
I
=
_
0
(e
i
ie
i
d
e
i
= i
_
0
(e
i
)d. (2.31)
28 CAP
ITULO 2. DISTRIBUIC
OES
Tomando, agora, o limite
lim
0
I
= i
_
0
d lim
0
(e
i
)
. .
=(0)
= i(0). (2.32)
resultando
lim
0
+
_
+
(x)
x +i
dx = T
_
+
(x)
x
dx i(0), (2.33)
que e a Eq. (2.26).
A formula de Plemelj pode tambem ser escrita como uma identidade envol-
vendo apenas as distribuicoes correspondentes
lim
0
+
1
x +i
= VP
1
x
i
0
. (2.34)
De modo mais geral, quando o polo est a em x = a, e considerando que ha dois
caminhos possveis para circunda-lo (por cima e por baixo) no plano complexo,
introduzimos um duplo sinal na formula de Plemelj:
lim
0
+
1
x a i
dx = VP
1
x a
i
a
. (2.35)
2.7 Derivadas de distribuicoes
Se insistssemos em pensar em (x) como uma funcao no sentido usual do termo,
nao faria sentido algum trabalhar com sua derivada, ja que ela nao e diferenciavel
(a rigor, nem existe) no ponto x = 0. No entanto, e possvel trabalhar com as
derivadas de qualquer ordem de (x) do ponto de vista da Teoria das Distri-
bui coes. Seja uma distribuicao generica T . A sua derivada
1
em rela cao a x,
denotada dT/dx, ou ainda T
, e denida como
T
[(x)] = T[
(x)], (2.36)
onde (x) s ao funcoes de base, as quais, por denicao, s ao sempre innitamente
diferenciaveis dentro de um intervalo limitado, de modo que a derivada de uma
distribuicao sera sempre bem-denida.
Caso T seja uma distribuicao regular
f, associada `a funcao locamente in-
tegr avel f(x), a derivada da distribuicao
f correspondente a f e a distribuicao
associada `a funcao f
(x):
[] =
_
(x)(x)dx =
=
_
_
d
dx
[f(x)(x)]
(x)f(x)
_
dx
= (x)f(x)[
(x)f(x)dx =
f[
], (2.37)
1
Tambem conhecida como derivada fraca ou distribucional.
2.7. DERIVADAS DE DISTRIBUIC
OES 29
em conformidade com (2.36), onde usamos o fato das funcoes de base anularem-
se no innito.
Seja P =
fT o produto de duas distribuicoes, que e sempre bem-denido
pois
f e uma distribuicao regular. A derivada do produto e dada pela regra
usual do calculo
P
=
f
T +
fT
. (2.38)
Como as funcoes de base s ao innitamente diferenciaveis, podemos denir
derivadas de qualquer ordem q para uma distribuicao como:
d
q
dx
q
T[(x)] = T
(q)
[(x)] = (1)
q
T[
(q)
(x)], (2.39)
de modo que todas as distribuicoes s ao innitamente diferenciaveis, mesmo as
singulares. A derivada distribuicional e mais fraca que a derivada usual, pois
ela pode ser usada em situacoes onde a denicao usual falha. Um exemplo e a
funcao y(x) = ln [x[, como veremos mais adiante neste captulo.
2.7.1 Derivadas de distribuicoes delta
Se, por exemplo, considerarmos a distribuicao delta de Dirac
a
, as suas deri-
vadas s ao funcionais lineares e contnuas que retornam o valor da derivada da
funcao de base no ponto x = a, a menos de um sinal
a
[] =
(a). (2.40)
Em particular
0
[] =
(0), (2.41)
sendo que, nas aplica coes praticas, usamos a linguagem (nao-rigorosa)
(x) para
indicar a derivada da funcao delta, como zemos no captulo anterior.
Observe que a funcao delta nao e diferenciavel no sentido usual, mas e in-
nitamente diferenciavel no sentido distribucional. Em geral, a q-esima derivada
da distribuicao delta e denida como
(q)
a
[] = (1)
q
a
[
(q)
] = (1)
q
(q)
(a). (2.42)
2.7.2 Derivadas parciais
Toda a nossa discussao pode ser facilmente generalizada para mais de uma
dimensao espacial. Seja x
i
uma coordenada generica no espaco tridimensional,
ent ao a derivada parcial da distribuicao T em rela cao a ela sera
x
i
T[(r)] = T
_
x
i
_
, (2.43)
sendo que, em geral, a m-esima derivada parcial e
m
x
m
i
T[] = (1)
m
T
_
x
m
i
_
. (2.44)
Estes resultados nos permitem denir operadores diferenciais vetoriais agindo
sobre distribuicoes, como o gradiente
3
i=1
e
i
/x
i
:
T[] = T[] (2.45)
30 CAP
ITULO 2. DISTRIBUIC
OES
e o Laplaciano
2
= =
3
i=1
2
/x
2
i
:
2
T[] = T[
2
] (2.46)
Seja r = [r[ =
_
x
2
1
+x
2
2
+x
3
3
o modulo do vetor posicao no espaco. A
funcao f(r) = 1/r tem uma singularidade na origem, de modo que nao e dife-
renciavel nesse ponto. No entanto, se encarada como uma distribuicao agindo
sobre funcoes de base apropriadas
2
, podemos denir derivadas de qualquer
ordem para ela. O Laplaciano de 1/r, por exemplo, e muito empregado em
eletrostatica:
2
_
1
r
_
= 4(r) (2.47)
Para demonstrar essa importante rela cao, usamos (2.46) na distribuicao regular
associada `a funcao f(r) = 1/r:
2
_
1
r
_
[] =
_
1
r
_
[
2
] =
1
r
,
2
=
_
d
3
r
r
=
_
d
. .
=4
_
0
r
2
dr
1
r
3
d
dr
_
r
2
d
dr
_
= 4
_
r
d
dr
_
0
r
2
d
dr
_
dr
r
2
__
= 4
_
0
d = 4(0) = 4
0
[].
onde usamos simetria radial e o fato que tanto , bem como sua derivada radial,
anulam-se no innito.
2.8 Exerccios
1. Mostre que a fun c ao
(ln x)
+
_
ln x, se x > 0,
0, se x 0,
e localmente integravel em R, mesmo contendo uma descontinuidade em x = 0.
2. O funcional
T[] =
_
1
0
[(x)]
2
dx
e uma distribui c ao? Por que?
3. A fun c ao
(x) =
_
_
0, x < 1
x + 1, 1 x 0
1 x, 0 x 1
0, x > 1
e aceit avel como fun c ao de base? Por que?
4. Mostre que, para < a < b < , e aceit avel como func ao de base:
(x) =
_
0, se x a ou x b,
exp
_
1
(xa)
2
1
(xb)
2
_
, se a < x < b,
2
Innitamente diferenci aveis e com suporte limitado, ou seja, so nao se anulam dentro de
um intervalo limitado r [0, R].
2.8. EXERC
ICIOS 31
5. Considere a fun c ao:
f(x) =
_
0, se x = 0,
exp
_
1
x
2
_
, se x = 0,
(2.48)
(a) Mostre que f(x) tende a 1 para x mas nao e analtica em x = 0.
(b) Mostre que f(x) e innitamente diferenci avel em (0, ). Sugest ao: mostre
por induc ao matematica que derivada de ordem qualquer de f(x), para x = 0,
e igual ao fator exponencial e
1/x
2
multiplicado por um polinomio em 1/x.
Verique que o fator exponencial cai a zero muito mais rapidamente do que o
polinomial.
6. Um caso onde o produto de tres distribui c oes nao e bem-denido envolve a
distribui c ao delta
0
[], na distribui c ao regular associada `a fun c ao identidade
f(x) = x, e o valor principal de Cauchy
_
VP
1
x
_
[]. Mostre que o produto das
tres nao e associativo.
7. Sejam
f e g distribui c oes regulares associadas `as fun c oes f(x) e g(x), respec-
tivamente, satisfazendo `a seguinte rela c ao m utua (x)
f =
f
H
+
f
P
= c
0
+
_
VP
1
(x)
_
g.
onde c e uma constante a ser determinada.
(b) Mostre que a formula de Plemelj (2.26) e um caso particular dessa soluc ao
geral quando f(x) = 1/x e g(x) = 1.
8. Na teoria das distribui c oes e possvel dar uma interpretac ao `as derivadas de
fun c oes com descontinuidades. Seja f(x) uma fun c ao integravel e continuamente
diferenci avel em R, com exce c ao do ponto x = a. O ponto x = a e uma
descontinuidade de primeira especie se existem os limites `a esquerda e `a direita:
f
+
(a) = lim
xa
+
f(x) < , f
(a) = lim
xa
f(x) < ,
com f
+
(a) = f
[] =
f[
] = < f,
>=
_
+
f(x)
(x)dx
mostre que
[] = [f]
a
a
[] +
f
[],
Sugest ao: separe uma vizinhan ca de raio centrada no ponto x = a e usamos o
teorema do valor medio do c alculo integral para mostrar que, no limite a 0,
uma das integrais se anula.
32 CAP
ITULO 2. DISTRIBUIC
OES
(b) Mostre que a fun c ao degrau unitario de Heaviside:
H(x a) =
_
_
1, se x > a,
1/2, se x = a,
0, se x < a,
tem uma descontinuidade de primeira especie em x = a, e calcule sua derivada
= [H]
a
a
+
H
=
a
,
(c) Mostre que a fun c ao sinal:
(x a) =
_
_
1, se x > a,
0, se x = a,
1, se x < a,
tem uma descontinuidade de primeira especie em x = a, onde sua derivada e
= []
a
a
+
= 2
a
.
9.
E possvel ate mesmo dar uma interpretac ao `as derivadas de func oes com des-
continuidades que nao s ao de primeira especie, mas a an alise tem de ser feita
caso a caso. Por exemplo, a fun c ao y = ln |x| e localmente integravel em R, mas
tem uma descontinuidade em x = 0 que nao e de primeira especie, pois o salto
resulta numa indeterminac ao ([y]
0
= y
+
(0) y
(0) = ).
(a) Mostre que a fun c ao ln |x| e localmente integravel, ou seja, que existem
a, b R tais que
_
b
a
ln |x|dx < . Sugest ao: faca a < 0 e b > 0 e use
_
k
0
lnxdx =
k(ln k 1), para k > 0.
(b) A derivada usual de y = ln |x|, que e 1/x, nao e uma func ao localmente
integravel. No entanto, podemos denir uma derivada no sentido distribucional:
y
[] = y[
] =
_
+
ln |x|
(x)dx.
Mostre que, integrando por partes, obtemos
(ln |x|)
[] =
_
VP
1
x
_
[].
onde VP1/x e a distribui c ao valor principal de 1/x.
10. Fa ca o mesmo com a fun c ao do Problema 1 f(x) = (ln x)
+
. Mostre que ela nao
tem uma descontinuidade de primeira especie mas que, mesmo assim, e possvel
dar uma interpretac ao distribucional `a sua derivada, como
(ln x)
+
[] =
_
PF
H(x)
x
_
[].
onde denimos uma distribui c ao singular dita parte nita de Hadamard,
_
PF
H(x)
x
_
[] = PF
_
0
(x)
x
dx = lim
0
__
b
dx
(x)
x
+ ln )
_
.
11. Mostre que: (a)
=
a
, onde
H(x) = H(x), sendo H(x) a func ao degrau
unitario de Heaviside H(x);
(b)
|x|
= 2
0
;
(c)
(sin k|x|)
= k
2
sin k|x| + 2k
0
,
2.8. EXERC
ICIOS 33
12. Mostre que a fun c ao seguinte e admissvel como fun cao de base [14]
(x) =
_
exp[a
2
/(a
2
x
2
)], a < x < a
0, caso contrario.
13. Mostre que, em duas dimens oes, vale a rela c ao
2
ln
1
r
= 2(r)
34 CAP
ITULO 2. DISTRIBUIC
OES
Captulo 3
Transformadas integrais
3.1 Introducao
Seja f(t) uma funcao denida no domnio t
1
< t < t
2
. Uma transformada
integral da funcao f(t) no domnio u
1
< u < u
2
, denotada f
T
(u) = T f(t), e
o seguinte operador integral
f
T
(u) = T f(t) =
_
t
2
t
1
K(t, u)f(t)dt, (3.1)
onde K(t, u) e dito o n ucleo (kernel) do operador. Quando o n ucleo tem uma
inversa K
1
podemos denir uma transformada inversa da funcao f
T
(u):
f(t) = T
1
f
T
(u) =
_
u
2
u
1
K
1
(t, u)f
T
(u)du. (3.2)
A motiva cao para o uso de transformadas integrais reside no fato de que
elas simplicam bastante a solu cao de equacoes diferenciais lineares, sejam elas
ordinarias ou parciais. Por exemplo, se no domnio t a equacao e diferencial,
no domnio u ela pode ser algebrica e mais facil de resolver do que a equacao
diferencial correspondente. Para obter a solu cao no domnio t, fazemos uma
transformada inversa.
H a v arias transformadas integrais de interesse na Fsica Matem atica [vide a
Tabela 3.1], sendo que, na pratica, as mais utilizadas s ao as transformadas de
Laplace e Fourier. A primeira e mais adequada para problemas de valores iniciais
(equacoes com derivadas temporais). A segunda e mais util para problemas de
contorno (equacoes com derivadas espaciais). H a casos onde ambas devem ser
utilizadas simultaneamente, como nas equacoes da onda e do calor, por exemplo.
3.2 Transformada de Laplace
Sendo a transformada de Laplace um assunto visto no curso de Calculo [?,
16], nos iremos nos limitar a enunciar sem demonstracao a maioria das suas
formulas e propriedades, salvo quando for um resultado mais avancado ou uma
demonstra cao particularmente interessante.
35
36 CAP
2
e
iut
2
+
Mellin / t
u1
0
t
u
2i
c i c +i
Hankel 1 tJ
(ut) 0 uJ
(ut) 0
Hilbert 1
1
1
ut
1
1
ut
Tabela 3.1: Transformadas integrais.
3.2.1 Deni coes
Seja uma funcao (usualmente do tempo) f(t) denida para 0 t < . A sua
transformada de Laplace e denida como
f
L
(s) = /f(t) =
_
0
dte
st
f(t), (3.3)
onde s = +i e um n umero complexo, em geral.
Caso f(t) seja contnua por partes em todo intervalo nito de [0, ), e
satisfaz a condi cao (ser do tipo exponencial)
[f(t)[ Me
at
, (3.4)
para todo t [0, ), ent ao a transformada de Laplace /f(t) existe para todo
s > a. Essa condi cao normalmente impoe alguma restri cao sobre os valores de
s a serem considerados. A transformada de Laplace e unica: para cada funcao
ha uma e somente uma transformada.
Se f(t) = k (funcao constante), a sua transformada de Laplace e
f
L
(s) = k
_
0
dte
st
=
1
s
, (3.5)
caso s > 0. Em geral, se s for complexo, essa condi cao e Re s > 0. Para f(t) = t
(funcao identidade), a transformada por ser encontrada integrando por partes:
f
L
(s) =
_
0
tdte
st
=
e
st
t
s
0
+
1
s
_
0
dte
st
=
1
s
2
, (3.6)
onde, supondo Re s > 0, usamos lim
t
te
st
= 0.
Na tabela 3.2 apresentamos as transformadas de Laplace de algumas funcoes
frequentemente usadas nas aplica coes em Fsica Matem atica, sobretudo as que
envolvem o tempo como variavel independente.
3.2.2 Propriedades
A transformada de Laplace e linear, ou seja, dadas duas fun coes f
(
t) e f
2
(t)
e duas constantes c
1
e c
2
, a transformada de uma combinacao linear e a com-
binacao das transformadas:
/c
1
f
1
(t) +c
2
f
2
(t) = c
1
/f
1
(t) +c
2
/f
2
(t), (3.7)
3.2. TRANSFORMADA DE LAPLACE 37
f(t) f
L
(s) = /f(t) restri cao f(t) f
L
(s) = /f(t) restri cao
1
1
s
s > 0 t
1
s
2
s > 0
t
n n!
s
n+1
n N, s > 0 e
at 1
sa
s > a
sin(kt)
k
s
2
+k
2
s > 0 cos(kt)
s
s
2
+k
2
s > 0
t sin(kt)
2ks
(s
2
+k
2
)
2
s > [k[ t cos(kt)
s
2
k
2
(s
2
+k
2
)
2
s > [k[
te
t 1
(s+1)
2
s > 1 e
at
t
n n!
(sa)
n+1
n N, s > a
e
at
sin(kt)
k
(sa)
2
+k
2
s > a e
at
cos(kt)
sa
(sa)
2
+k
2
s > a
1 e
t/ 1
s(1+s)
s >
1
H(t a)
e
as
s
s > 0
Tabela 3.2: Algumas transformadas de Laplace de funcoes importantes.
As propriedades do amortecimento e e deslocamento s ao, respectivamente
/f(t)e
at
= f
L
(s +a), (3.8)
/f(t a)H(t a) = e
as
f
L
(s), (3.9)
onde a funcao degrau unitario de Heaviside e
H(t a) =
_
0, se t < a,
1, se t > a,
. (3.10)
As transformadas de Laplace das derivadas primeiras e segunda s ao parti-
cularmente importantes no estudo de equacoes diferenciais (as linhas indicam
derivadas temporais):
/f
(t) = sf
L
(s) f
(0), (3.11)
/f
(t) = s
2
f
L
(s) sf(0) f
(0), (3.12)
que podem ser generalizadas como
/f
(n)
(t) = s
n
f
L
(s)
n
k=1
s
k1
f
(nk)
(0). (3.13)
A transforrada de uma integral e
/
__
t
0
f()d
_
=
1
s
f
L
(s). (3.14)
O produto das transformadas de duas funcoes e a transformada da convolucao
entre elas:
/f(t)/g(t) = /(f g)(t), (3.15)
onde
(f g)(t) =
_
t
0
f()g(t )d. (3.16)
38 CAP
+by
(0), respectiva-
mente.
Consideremos o exemplo numerico (correspondendo a um oscilador sem
atrito):
y
+y
= (t 10),
onde y(0) = 1 e y
. .
s
2
Y (s)sy(0)y
(0)
+/y
. .
=Y (s)
= /(t 10)
. .
=e
10s
de forma que a transformada de Laplace da solu cao e
Y (s) =
s +e
10s
s
2
+ 1
.
Agora temos de fazer o caminho de volta, computando a transformada in-
versa:
y(t) = /
1
Y (s) = /
1
s
s
2
+ 1
. .
=cos t
+/
1
e
10s
s
2
+ 1
.
Usando a propriedade do deslocamento (3.9) temos que
/
1
e
as
Y (s) = y(t a)H(t a), (3.24)
donde
/
1
e
10s
s
2
+ 1
= H(t 10) /
1
1
s
2
+ 1
t10
= H(t 10) sin(t 10),
onde usamos (3.21). Logo a solu cao da equacao diferencial e
y(t) = cos t +H(t 10) sin(t 10).
y(t) = lim
t10
cos t = cos 10,
e igual ao limite `a direita,
lim
t10
+
y(t) = lim
t10
[cos t + sin(t 10)] = cos 10 + sin 0 = cos 10.
3.3. TRANSFORMADA DE FOURIER 41
Ja a derivada da solu cao e descontnua em t = 10, pois o limite `a esquerda
lim
t10
(t) = lim
t10
sin t = sin 10,
e diferente do limite `a direita,
lim
t10
+
y
(t) = lim
t10
[sin t + cos(t 10)] = sin 10 + 1
de modo que o salto da derivada da solu cao no ponto onde a funcao delta e
aplicada:
[y
]
10
lim
t10
+
y
(t) lim
t10
+ 3y
2
_
+
dxf(x)e
ikx
, (3.25)
e a transformada inversa da funcao f
F
(p) e
f(x) = T
1
f
F
(k) =
1
2
_
+
dkf
F
(k)e
ikx
. (3.26)
A transformada de Fourier existe desde que a funcao f(x) seja contnua por
partes, ou seja, tenha um n umero nito de descontinuidades em (, +), e
que seja absolutamente integr avel nesse intervalo, ou seja, se
_
[f(x)[dx < .
1
Essas deni coes na literatura mudam bastante conforme os autores. N os utilizaremos as
deni coes do Butkov [4].
42 CAP
2
_
+
dke
ikx
_
1
2
_
+
de
ik
_
=
1
2
_
+
dk
_
+
de
ik(x)
. (3.28)
3.3.2 Exemplos de transformadas de Fourier
Senos e cossenos
Seja a funcao constante f(x) = k. Usando a representa cao integral da funcao
delta (1.29), a sua transformada de Fourier e
f
F
(k) =
1
2
_
dxe
ikx
=
2 (k). (3.29)
De forma analoga, a transformada de Fourier da exponencial complexa e
ik
0
x
e
2(k + k
0
). Como resultado, obtemos as importantes transformadas de
Fourier do seno e cosseno:
Tcos k
0
x =
1
2
_
Te
ik
0
x
+Te
ik
0
x
_
=
_
2
((k +k
0
) +(k k
0
)) ,
(3.30)
Tsin k
0
x =
1
2i
_
Te
ik
0
x
Te
ik
0
x
_
= i
_
2
((k +k
0
) (k k
0
)) ,
(3.31)
Pulso quadrado
f(x) =
_
1, se [x[ a,
0, se [x[ > a,
. (3.32)
Sua transformada de Fourier e o seno cardinal (1.23):
f
F
(k) =
1
2
_
+a
a
dxe
ikx
= a
_
2
sin ak
ak
= a
_
2
1
f(x)
x
2a
Figura 3.1: Difra cao da luz por uma fenda unica.
Como uma aplica cao fsica desse resultado, consideremos a difracao de luz
de comprimento de onda por uma fenda de largura 2a [Fig. 3.1]. A funcao
f(x) dada por (3.32) pode, nesse contexto, ser identicada como a funcao de
transmissao de luz pela fenda. Identicando
k =
2
sin ,
onde e a posicao angular medida a partir do eixo de simetria, vemos que o
quadrado da transformada de Fourier e o padrao de intensidade da luz difratada
[Fig. 3.2]
I = [f
F
(k)[
2
= I
0
_
sin ka
ka
_
2
,
onde I
0
= 2a
2
/, tal que os mnimos de difracao ocorrem quando a intensidade
e nula, ou seja, quando ka = n, onde n = 0, 1, 2, . . .. Esses mnimos s ao
identicados por posicoes angulares dadas por
n = 2a sin .
Gaussiana
Outra importante funcao e a gaussiana
f(x) = e
x
2
, (3.34)
cuja transformada de Fourier pode ser encontrada facilmente completando o
quadrado na exponencial do integrando,
f
F
(p) =
1
2
_
+a
a
dxe
x
2
+ikx
=
_
1
2
e
k
2
/4
, (3.35)
e que tambem e uma gaussiana.
44 CAP
(k). (3.37)
3.3. TRANSFORMADA DE FOURIER 45
-10 -5 0 5 10
x
0
0,2
0,4
0,6
0,8
1
f
(
x
)
-10 -5 0 5 10
k
0
0,5
1
1,5
2
2,5
3
f
F
(
k
)
-10 -5 0 5 10
x
0
0,2
0,4
0,6
0,8
1
f
(
x
)
-10 -5 0 5 10
k
0
0,05
0,1
0,15
0,2
0,25
f
F
(
k
)
(a) (b)
(c) (d)
Figura 3.3: Gaussianas para (a) = 0, 1 e (c) = 10, com as transformadas de
Fourier em (b) e (d), respectivamente.
Como consequencia, se f(x) e uma funcao par, sua transformada de Fourier e
real; caso f(x) seja mpar, sua transformada sera imagin aria pura. Em geral, a
transformada sera um n umero complexo.
Uma importante propriedade e a da deriva cao:
Tf
(x) = ikf
F
(k), (3.38)
que mostramos da seguinte forma: integrando por partes temos
Tf
(x) =
1
2
_
dx
df
dx
e
ikx
=
1
2
f
(x)e
ikx
ik
2
_
dxf(x)e
ikx
.
Vimos que f(x) deve ser absolutamente integr avel em R para que tenha trans-
formada de Fourier. Essa condi cao e satisfeita se f(x) se anula quando [x[ tende
a innito. Caso isso ocorra o primeiro termo acima se anula e chegamos a (3.38).
Em consequencia de (3.38)
Tf
(x) = k
2
f
F
(k). (3.39)
Como regra geral, quanto mais suave for f(x) (ou seja, quanto maior for o
n umero de derivadas contnuas), tanto mais compacta ser a sua transformada
de Fourier. Se f(x) for m vezes continuamente diferenciavel, e se as suas m
primeiras derivadas s ao integr aveis, ent ao a transformada de Fourier da m-esima
derivada de f(x) sera
Tf
(m)
(x) = (ik)
m
f
F
(k), (3.40)
46 CAP
dx[f(x)[
2
=
_
+
dk[f
F
(k)[
2
. (3.42)
Outras propriedades uteis s ao as de amortecimento e deslocamento, que s ao,
respectivamente
Tf(x)e
ax
= f
F
(k ia), (3.43)
Tf(x a) = e
ika
f
F
(k), (3.44)
Sejam f
F
(k) = Tf(x) e g
F
(k) = Tg(x) duas transformadas de Fourier.
O teorema da convolucao e
T
1
f
F
(k)g
F
(k) =
1
2
_
+
2
_
+
(x a)e
ikx
dx =
1
2
e
ika
, (3.46)
o que nos habilita a usar as transformadas de Fourier na resolucao de equacoes
diferenciais ordinarias ou parciais envolvendo funcoes delta.
3.3.4 Transformadas de Fourier em varias dimensoes
Podemos generalizar estes resultados para D dimensoes. As transformadas di-
reta e inversa de Fourier s ao denidas como
f
F
(k) = Tf(r) =
1
(2)
D/2
_
d
D
rf(r)e
ikr
, (3.47)
f(r) = T
1
f
F
(k) =
1
(2)
D/2
_
d
D
kf
F
(k)e
ikr
, (3.48)
onde tanto r como k s ao vetores num espaco D-dimensional. Algumas proprie-
dades s ao adaptadas, nesse caso, para
Tf(r) = ikf
F
(k), (3.49)
T
2
f(r) = k
2
f
F
(k). (3.50)
3.3. TRANSFORMADA DE FOURIER 47
A transformada de Fourier da funcao delta D-dimensional e a generalizacao
de (3.46),
T(r r
0
) =
1
(2)
D/2
_
d
D
r(r r
0
)e
ikr
=
e
ikr
0
(2)
D/2
, (3.51)
onde r
0
e um vetor constante.
Vamos apresentar as formulas especcas para os casos bi e tridimensional.
Para D = 2, e usando coordenadas polares onde r = (, ) e k = (k, ), se
alinharmos k com o eixo x temos que
e
ikr
= e
ik cos
. (3.52)
Caso alinhemos r com o eixo x, ent ao trocamos por . Os elementos de area
s ao
d
2
r = dS = dd, d
2
k = kdkd. (3.53)
Em D = 3 e conveniente o uso de coordenadas esfericas onde r = (r, , ) e
k = (k, , ). Alinhando k com o eixo z
e
ikr
= e
ikr cos
, (3.54)
sendo o angulo correspondente se alinharmos r com o eixo z. Os elementos
de volume s ao dados por
d
3
r = dV = dsin dr
2
dr, d
3
k = dsin dk
2
dk. (3.55)
Exemplo: a equa cao de Helmholtz modicada
Como um exemplo ao mesmo tempo de calculo de transformadas de Fourier
em tres dimensoes e de como as mesmas podem ser usadas para resolver uma
equacao diferencial, vamos considerar a seguinte equacao diferencial parcial
(chamada de Helmholtz modicada devido ao sinal negativo no segundo termo)
com uma funcao delta tridimensional no termo independente
2
u(r) m
2
u(r) = (r a), (3.56)
onde m e um n umero real arbitrario e a e um vetor constante. A condi cao de
contorno, aqui, e u(r) 0 para [r[ .
De (3.47) a transformada de Fourier da variavel dependente e
u
F
(k) = Tf(r) =
1
(2)
3/2
_
d
3
ru(r)e
ikr
, (3.57)
Aplicando transformadas de Fourier `a equacao (3.56), e usando (3.50) e
(3.51) temos
T
2
u(r)
. .
=k
2
u
F
m
2
u
F
=
e
ika
(2)
3/2
(k
2
+m
2
)u
F
(k) =
e
ika
(2)
3/2
u
F
(k) =
e
ika
(2)
3/2
(k
2
+m
2
)
. (3.58)
48 CAP
2
sin d
2
+
2
. (3.63)
Como o integrando acima e uam funcao par de , ent ao a integral de zero a
innito e metade da integral de a . Logo
u(r) =
1
4
2
1
[r a[
_
sin d
2
+
2
. .
J(r)
, (3.64)
onde a integral
J(r) = lim
R
_
R
R
sin d
2
+
2
= lim
R
_
R
R
f()d, (3.65)
pode ser efetuada usando resduos no plano complexo, onde denimos a funcao
f() = e
i
/(
2
+m
2
). As singularidades dessa funcao s ao os pontos = i,
3.4. EXERC
ICIOS 49
de modo que adotamos um contorno fechado de integra cao C = [R, +R]UC
R
,
onde C
R
e um semicrculo de raio R no semi-plano superior, envolvendo pois
apenas o ponto = i, de modo que
_
f()d =
_
R
R
f()d +
_
C
R
f()d. (3.66)
Pelo teorema dos resduos
_
f()d = 2i lim
i
( i)f() = 2i lim
i
( i)
e
i
( +i)( i)
= ie
,
(3.67)
Ja a integral sobre o semi-crculo e nula quando R tende a innito, devido ao
lema de Jordan, de modo que (3.66) fornece, nesse limite,
J(r) =
_
ie
= e
= ie
m|ra|
, (3.68)
que, quando aplicada em (3.64), resulta na transformada inversa de Fourier que
e a solu cao da equacao (3.56)
2
:
u(r) =
1
4
e
m|ra|
[r a[
, (3.69)
e que satisfaz a condi cao de contorno, ja que
lim
|r|
e
m|ra|
[r a[
= 0. (3.70)
3.4 Exerccios
1. Decomponha em fra c oes parciais
4 2x
(x
2
+ 1)(x 1)
2
.
2. Calcule a transformada de Laplace das seguintes fun c oes:
(a)
f(t) = 4e
5t
+ 6t
3
3 sin(4t) + 2 cos(2t),
(b)
f(t) = e
2t
sin(4t),
(c)
f(t) =
_
cos
_
t
2
3
_
, se t >
2
3
;
0, se t
2
3
.
,
(d) (Dica: expanda a fun c ao de Bessel em serie e calcule a transformada termo-
a-termo)
f(t) = J
0
(t),
(e)
f(t) = J
1
(t),
2
Na verdade, essa e a fun cao de Green da equa cao de Helmholtz modicada.
50 CAP
i=1
P(r
i
)
Q
(r
i
)
e
r
i
t
,
(e)
F(s) =
s
(s
2
+ k
2
)
2
,
Dica: use o teorema de convoluc ao.
4. Resolva, usando transformadas de Laplace, os seguintes problemas de valores
iniciais (os primos signicam derivadas em rela c ao ao tempo):
(a)
y
+ 2y
+ 5y = 0, y(0) = 1, y
(0) = 0,
(b)
y
+ y
= e
2t
sin t, y(0) = 0, y
(0) = 0,
(c)
y
+ 4y = cos t, y(0) = 1, y
(0) = 2,
(d)
y
+ 4y
+ 13y = 0, y(0) = 1, y
(0) = 2,
(e)
y
(0) = 0,
(f)
y
+ y = f(t), y(0) = 0, y
(0) = 0,
f(t) =
_
(3/10)t se 0 t 10;
3 se t > 10.
(g)
2y
+ 4y
(0) = 0,
(h)
y
(0) = 0,
3.4. EXERC
ICIOS 51
(i)
q
+ 110q
+
1
0, 001
q = 90(t 1), q(0) = 0, q
(0) = 90,
5. Calcule a transformada de Fourier das seguintes fun c oes
(a)
f(x) =
a
x
2
+ a
2
, (a > 0),
(b)
f(x) = e
|x|
Dica: use simetria das fun c oes e integre por partes.
(c) f(x) =
[a,+a]
(x), onde a fun c ao caracterstica e denida como
I
(x) =
_
1 se x I;
0 se x I.
(d)
f(x) =
_
1 x
2
se |x| 1;
0 se |x| > 1.
6. Resolva, usando transformadas de Fourier, a equa c ao diferencial de um oscilador
harm onico amortecido e for cado
x + 2 x +
2
0
x = f(t)
onde
0
> > 0, e
f(t) =
_
f
0
se |t| < ;
0 se |t| .
7. Podemos denir a semi-largura de uma gaussiana como a abscissa de um ponto
cuja ordenada e 1/e o valor m aximo da fun c ao. Aplicando essa ideia `as gaus-
sianas (3.34) e (3.35) mostre que o produto das larguras e xk = 8. Da
rela c ao de De Broglie, mostre que isso implica na seguinte forma do princpio
da incerteza xp = 8.
52 CAP