Você está na página 1de 53

Teoria das distribui c oes

Prof. Dr. Ricardo L. Viana


Departamento de Fsica
Universidade Federal do Paran a
Curitiba - PR
25 de fevereiro de 2011
2
Sumario
1 Funcao delta de Dirac 5
1.1 Denicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Aplica coes fsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Mecanica classica: forcas impulsivas . . . . . . . . . . . . 6
1.2.2 Eletromagnetismo: distribuicoes singulares de carga eletrica 7
1.3 Propriedades da funcao delta . . . . . . . . . . . . . . . . . . . 7
1.3.1 Filtragem . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.2 Paridade . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.3 Escala . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Representa coes da funcao delta . . . . . . . . . . . . . . . . . . 9
1.4.1 Representa cao integral . . . . . . . . . . . . . . . . . . . . 14
1.4.2 Relacao com a funcao degrau . . . . . . . . . . . . . . . . 15
1.5 Fun coes delta multidimensionais . . . . . . . . . . . . . . . . . . 15
1.5.1 Duas dimensoes . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5.2 Tres dimensoes . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6 Derivadas da funcao delta . . . . . . . . . . . . . . . . . . . . . 17
1.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Distribuicoes 21
2.1 Alguns conceitos basicos . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Funcionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.1 Fun coes de base . . . . . . . . . . . . . . . . . . . . . . . 22
2.3 Conceito de distribuicao . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.1 Distribuicoes regulares . . . . . . . . . . . . . . . . . . . . 24
2.3.2 Distribuicoes singulares . . . . . . . . . . . . . . . . . . . 24
2.4 A distribuicao delta de Dirac . . . . . . . . . . . . . . . . . . . . 25
2.5 Produto de distribuicoes . . . . . . . . . . . . . . . . . . . . . . . 25
2.6 Formula de Plemelj . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.7 Derivadas de distribuicoes . . . . . . . . . . . . . . . . . . . . . . 28
2.7.1 Derivadas de distribuicoes delta . . . . . . . . . . . . . . . 29
2.7.2 Derivadas parciais . . . . . . . . . . . . . . . . . . . . . . 29
2.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3 Transformadas integrais 35
3.1 Introdu cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . 35
3.2.1 Denicoes . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . 36
3
4 SUM

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). (1.9)


Como (x a) = 0 se x ,= a, a integral s o pode assumir valores nao-nulos para
x = a. Nesse caso o integrando, calculado em x = a, resulta f(a), pois
_
+

(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 y)(y a)dy = (x a). (1.14)


onde x ,= a pois, por motivos que serao esclarecidos no tratamento matematico
rigoroso que sera dado no proximo captulo, nao e bem-denido o produto de
duas funcoes delta no mesmo ponto.
1.3.2 Paridade
(x) = (x). (1.15)
Fazendo a mudanca de variavel y = x vericaremos as propriedades (1.1)
e (1.2) da funcao delta:
(x) = (y) =
_
0, se y ,= 0, ou x ,= 0,
, se y = 0, ou x = 0.
Como dx = dy, e permutando os limites da integra cao,
_
+

(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

E comum representarmos a funcao delta como o limite de uma sequencia


innita de funcoes bem-comportadas a um par ametro
n
(x)

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]

E comum encontrarmos em aplica coes fsicas a funcao seno cardinal, denida


como
sinc(x) =
sin x
x
. (1.23)
Pelo limite trigonometrico fundamental, temos que sinc(0) = 1, ou seja, x = 0
e uma singularidade removvel da funcao, nao um polo. Alem disso
_
+

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

foi introduzido em conformidade com a condi cao


de somabilidade que acabamos de comentar. Embora, a rigor, a funcao degrau
nao seja diferenciavel em x = x

(devido `a descontinuidade), e possvel identi-


carmos a funcao delta de Dirac como a derivada da funcao degrau, num sentido
que s o sera tornado rigoroso quando abordarmos a teoria das distribuicoes no
proximo captulo:
(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

) s o nao e nula quando x > x

, podemos escrever H(x x

) = 1
para < x

< x, tal que


_
+

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

Figura 2.1: Um exemplo de funcao de base, dado por 2.9.


O conjunto de funcoes de base adequadas na teoria das distribuicoes forma um
espaco vetorial que sera denotado por T(R).
Um exemplo de funcao de base e [Fig. 2.1]:
(x) = h(x)h(1 x), (2.9)
onde
h(x) =
_
e
1/x
, se x > 0,
0, se x 0.
(2.10)
Essa funcao de anula em dois casos possveis: ou h(x) = 0, implicando x 0;
ou ent ao h(1 x) = 0, que ocorre se 1 x 0, ou x 1. Logo, a funcao s o tem
valores nao-nulos dentro do intervalo limitado (0, 1), que e o suporte compacto
para ela requerido. Dentro desse intervalo a funcao e
(x) = exp
_

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[] =< f, >=


_
b
a
f(x)(x)dx. (2.15)
Distribuicoes denidas dessa forma s ao ditas regulares. A propriedade de linea-
ridade (2.12) e vericada diretamente pelas propriedades do 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)] =
_

(x a)(x)dx = (a), (2.20)


que nao deve ser interpretada no sentido da integral de Riemann ou de Lebesgue
ja que, em x = a a integral (2.20) divergiria e nao poderia ser denida. Logo,
a integral (2.20) e uma mera representa cao de uma opera cao formal efetuada
pela distribuicao delta sobre a funcao de base q(x). O uso dessa integral e
conveniente do ponto de vista do calculo, pois podemos manipular expressoes
lineares com (x a) como se ela fosse uma funcao usual.
Por exemplo, podemos formar a combinacao linear k
1
(xx
1
) +k
2
(xx
2
)
e integr a-la multiplicada por uma funcao bem-comportada f(x), para obter uma
outra combinacao linear, a saber
_

[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

(x) nao s ao, em geral, bem-


denidas para a distribuicao delta de Dirac.
2.5 Produto de distribuicoes
A teoria das distribuicoes e essencialmente linear, e o produto de duas distri-
bui coes nem sempre e bem denido. Em determinados casos, porem, o produto e
26 CAP

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(x)(x a)(x)dx = f(a)(a), (2.24)


supondo que f(x) seja uma funcao contnua em x = a. Considerando o caso
particular quando f(x) = x a, com a ,= 0, temos
(x a)
a
[] = (a a)(a) = 0,
para todo x. Se a = 0, temos x(x) = 0, que e a propriedade (1.12), que mostra-
mos no Captulo anterior de forma nao-rigorosa. Podemos tambem generalizar
o resultado anterior. Se o produto xT = 0, ent ao T = c
0
e um m ultiplo da
distribuicao delta, onde c e uma constante indeterminada.
Outra situacao onde o produto de duas distribuicoes e bem-denido consiste
no caso onde temos duas funcoes de quadrado integr avel f(x) e g(x), para as
quais o produto das distribuicoes associadas P =

f g e bem-denido:
P[] = (

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

usando a parametriza cao sobre o semi-crculo

: 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 = g, onde (x) e uma


fun c ao arbitraria de x. Uma soluc ao particular dessa equa c ao e dada pela distri-
buic ao associada ao valor principal de Cauchy da integral que contorna os zeros
do denominador (x).
(a) Mostre que a soluc ao geral dessa equa c ao tem a forma

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

(a). A diferenca [f]


a
f
+
(a) f

(a) e dita o salto da


fun c ao no ponto de descontinuidade. A derivada de uma func ao f(x) com uma
descontinuidade de primeira especie e uma distribui c ao, a qual e a derivada da
distribui c ao regular

f associada ` a fun c ao
(a) Partindo dessa denic ao,

[] =

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

ITULO 3. TRANSFORMADAS INTEGRAIS


Transformada Smbolo N ucleo (K) t
1
t
2
K
1
u
1
u
2
Laplace / e
ut
0
e
ut
2i
c i c +i
Fourier T
e
iut

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

ITULO 3. TRANSFORMADAS INTEGRAIS


3.2.3 Transformada inversa de Laplace
A transformada inversa de Laplace e denida por meio da integral de inversao
de Mellin [4]
f(t) = /
1
f
L
(s) =
1
2i
lim
h
_
+ih
ih
e
ts
F(s)ds (3.17)
onde a integral e calculada no plano s-complexo ao longo do segmento de reta
dado por Re s = , onde e escolhido tal que todas as singularidades de F(s)
quem `a esquerda da reta, e a ordenada (no eixo imagin ario) v a de h ate +h.
Na pratica, a integral de inversao de Mellin e pouco usada, sendo prefervel
o uso de metodos algebricos (como a decomposicao em fracoes parciais) e de
tabelas de transformadas de Laplace. Para decompor uma fra cao racional
f(x)
g(x)
em uma soma de fracoes parciais, a mesma deve satisfazer as seguintes condi coes
[vide [16], Vol. 1, p. 389]:
o grau do numerador f(x) deve ser inferior ao grau do denominador g(x);
devemos conhecer os fatores do denominador g(x): qualquer polin omio
com coecientes reais pode ser expresso como o produto de fatores lineares
(x r) e quadr aticos (x
2
+px +q) reais.
seja (x r) um fator linear, e (x r)
m
a maior potencia de x r que
divide g(x): a esse fator corresponde uma soma de m fracoes parciais
A
1
(x r)
+
A
2
(x r)
2
+ +
A
m
(x r)
m
, (3.18)
seja (x
2
+px +q) um fator quadr atico, e (x
2
+px +q)
n
a maior potencia
desse fator que divide g(x). A esse fator corresponde uma soma de n
fracoes parciais
B
1
x +C
1
(x
2
+px +q)
+
B
2
x +C
2
(x
2
+px +q)
2
+ +
B
n
x +C
n
(x
2
+px +q)
n
(3.19)
determinamos os coecientes A
1
, ; B
1
, ; C
1
, identicando os
coecientes das potencias semelhantes de x nos numeradores e resolvendo
o sistema de equacoes algebricas.
Como um exemplo, vamos calcular a transformada inversa de Laplace da
funcao
f
L
(s) =
1
s
2
5s + 6
,
onde o denominador tem zeros simples em s = 3 e s = 2, de forma que podemos
decompor em fracoes parciais supondo
f
L
(s) =
1
(s 2)(s 3)
=
A
s 2
+
B
s 3
=
s(A+B) 3A2B
(s 2)(s 3)
,
3.2. TRANSFORMADA DE LAPLACE 39
Comparando os numeradores temos que A+B = 0 e 3A2B = 1, cuja solu cao
e A = a e B = 1, tal que, aplicando a transformada inversa de Laplace temos
f(t) = /
1
_
1
s
2
5s + 6
_
= /
1
_
1
s 2
+
1
s 3
_
= /
1
_
1
s 2
_
+/
1
_
1
s 3
_
.
Observando a tabela 3.2 concluimos que
/
1
_
1
s a
_
= e
at
, (3.20)
donde
f(t) = e
2t
+e
3t
.
Outro exemplo e
f
L
(s) =
3
(s + 1)(s
2
9)
,
onde o denominador ja est a escrito como o produto de um fator linear e um
quadr atico, donde a sua decomposicao em fracoes parciais e
f
L
(s) =
A
s + 1
+
Bs +C
s
2
+ 9
=
(A+B)s
2
+ (B +C)s + (9A+C)
(s + 1)(s
2
9)
,
Comparando os numeradores resulta o sistema de equacoes algebricas A+B =
B+C = 0 e 9A+C = 3, que e facilmente resolvido: A = C = 3/10 e B = 3/10;
de sorte que
f(t) =
3
10
_
/
1
_
1
s + 1
_
/
1
_
s
s
2
+ 9
_
+
1
3
/
1
_
3
s
2
+ 9
__
.
Da tabela 3.2 segue que
/
1
_
b
s
2
+b
2
_
= sin(bt), (3.21)
/
1
_
s
s
2
+b
2
_
= cos(bt), (3.22)
que, combinados com (3.20), fornecem a transformada inversa:
f(t) =
3
10
_
e
t
cos 3t +
1
3
sin 3t
_
.
3.2.4 Transformada de Laplace da funcao delta
A transformada de Laplace da funcao delta e dada por
/(t a) =
_

0
e
st
(t a)dt = e
sa
, (3.23)
onde a > 0. Caso a < 0, ent ao /(t a) = 0.
Para resolver equacoes diferenciais pelo metodo da transformada de Laplace,
tendo ou nao coecientes do tipo funcoes delta, procedemos da seguinte forma
1. aplicamos transformadas de Laplace em todos os termos da equacao (usando
linearidade);
2. resolvemos algebricamente a equacao para y
L
(s);
3. determinamos a transformada inversa de Laplace y(t) = /
1
y
L
(s)
40 CAP

ITULO 3. TRANSFORMADAS INTEGRAIS


Oscilador harm onico sob uma forca impulsiva
No Captulo 1, vimos que a funcao delta e conveniente para representarmos
forcas impulsivas, ou seja, forcas que agem durante um intervalo de tempo
muito curto com um impulso constante I. Podemos considerar a equacao de
movimento de um oscilador harmonico de massa m, constante da mola k e
constante de amortecimento b, sujeito a uma forca impulsiva aplicada no instante
t = t
0
:
my

+by

+ky = F(t) = I(t t


0
),
e devemos especicar a posicao e a velocidade iniciais y(0) e y

(0), respectiva-
mente.
Consideremos o exemplo numerico (correspondendo a um oscilador sem
atrito):
y

+y

= (t 10),
onde y(0) = 1 e y

(0) = 0. Usando (3.23) temos (escrevemos Y (s) /y(t)):


/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).

E instrutivo analisar algumas das propriedades da solu cao acima. Primeira-


mente, a solu cao e contnua em t = 10, que e o ponto em que a funcao delta e
aplicada: o limite `a esquerda,
lim
t10

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

(t) = 1 sin 10 + sin 10 = 1.


Outro exemplo, na mesma linha, e o problema de valor inicial
y

+ 3y

10y = 4(t 2),


com y(0) = 2 e y

(0) = 3. A aplica cao da transformada de Laplace a todos os


termos da equacao diferencial fornece
Y (s) /y(t) =
4e
2s
+ 2s + 3
s
2
+ 3s 10
= e
2s
4
7
_
1
s 2
+
1
s + 5
_
,
cuja transformada inversa da a solu cao do problema:
y(t) = e
2t
+e
5t
+
4
7
H(t 2)
_
e
2(t2)
e
5(t2)
_
.
3.3 Transformada de Fourier
3.3.1 Deni coes
A transformada de Fourier de uma funcao f(x), denida em < x < + e
1
f
F
(k) = Tf(x) =
1

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

ITULO 3. TRANSFORMADAS INTEGRAIS


Em geral (mas nem sempre) essa condi cao e satisfeita se [15]:
f(x)
|x|
0
Nessas condi coes, a transformada de Fourier e (i) contnua; (ii) limitada:
[f
F
(k)[
_
+

[f(x)[dx para todo k, (3.27)


e (iii) anula-se no innito:
f
F
(k)
|k|
0.
Um resultado importante e o teorema integral de Fourier, que resulta dire-
tamente da aplica cao das denicoes da transformada e transformada inversa de
uma funcao:
f(x) =
1

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

sinc ak. (3.33)


3.3. TRANSFORMADA DE FOURIER 43
0
a a

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

ITULO 3. TRANSFORMADAS INTEGRAIS


-10 -5 0 5 10
ka
0
0,2
0,4
0,6
0,8
1
I

/

I
0
Figura 3.2: Padr ao de interferencia para difracao por fenda unica.
Uma aplica cao fsica desse resultado e na mec anica qu antica: a funcao (1.22)
pode representar a envoltoria de um pacote de onda gaussiano, que e uma
superposicao de um n umero innito de ondas de materia de diferentes compri-
mentos de onda. A largura desse pacote, x, e a incerteza na determina cao
da posicao da partcula, cuja din amica e representada pelo pacote gaussiano.
A sua transformada de Fourier (3.35) representa o mesmo pacote no espaco de
momentum, e tambem e uma gaussiana, cuja largura k e a incerteza na deter-
minacao do n umero de onda k, ligado ao momentum p da partcula pela rela cao
de De Broglie p = k. Um calculo simples [vide o problema 7] mostra que
xp = 8,
que est a de acordo com o princpio da incerteza de Heisenberg xp /2.
Para um valor pequeno de [Fig. 3.3(a)] a gaussiana no espaco de posicao e
relativamente larga, signicando grande incerteza na determina cao da posicao;
enquanto a respectiva gaussiana no espaco de momentum [Fig. 3.3(b)] e rela-
tivamente estreita, indicando baixa incerteza na determina cao de momentum.
Para grande as conclus oes se invertem [Figs. 3.3(c) e (d)]. Isso sugere que o
princpio da incerteza, ainda que tenha um forte conte udo fsico, tambem e uma
consequencia matematica natural do formalismo da mec anica ondulatoria.
3.3.3 Propriedades
A transformada de Fourier, assim como a de Laplace, e linear, ou seja,
Tc
1
f
1
(x) +c
2
f
2
(x) = c
1
Tf
1
(x) +c
2
Tf
2
(x). (3.36)
Pela denicao, segue-se imediatamente que
f
F
(k) = f
F

(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

ITULO 3. TRANSFORMADAS INTEGRAIS


Analogamente, se x
m
f(x) e uma funcao integr avel em R, a transformada de
Fourier de f(x) e continuamente diferenciavel m vezes tal que
f
(m)
F
(k) = T(ix)
m
f(x). (3.41)
O teorema de Parseval assegura que, se a funcao f(x) e normalizada em L
2
,
assim tambem sua transformada de Fourier, ou seja,
_
+

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
_
+

df(x )g() f g = g f. (3.45)


onde usamos (3.15).
A transformada de Fourier da funcao delta e obtida a partir da propriedade
de ltragem (1.9) como
T(x a) =
1

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

ITULO 3. TRANSFORMADAS INTEGRAIS


de modo que, agora, a solu cao da equacao corresponde a encontrar a transfor-
mada de Fourier inversa dessa expressao que, de (3.48), e
u(r) = T
1
u
F
(k) =
1
(2)
3/2
_
d
3
ku
F
(k)e
ikr
=
1
(2)
3
_
d
3
k
e
ik(ra)
k
2
+m
2
. (3.59)
Para calcular a integral de volume acima usamos (3.54) (alinhando r a
com o eixo z, e (3.55)
u(r) =
1
(2)
3
_
2
0
d
_
1
1
d(cos )
_

0
k
2
dk
e
ik|ra| cos
k
2
+m
2
,
=
1
(2)
2
_

0
k
2
dk
k
2
+m
2
_
1
1
d(cos )e
ik|ra| cos
. .
I(k)
(3.60)
Fazendo a seguinte mudanca de variavel: t ik[r a[ cos , a integral em
torna-se elementar:
I(k) =
1
ik[r a[
_
ik|ra|
ik|ra|
dte
t
=
2 sin k[r a[
k[r a[
,
que, incorporada a (3.60) leva `a integral radial (no espaco-k):
u(r) =
2
(2)
2
_

0
k
2
dk
k
2
+m
2
sin k[r a[
k[r a[
, (3.61)
Duas novas transformacoes de variavel:
k[r a[, m[r a[, (3.62)
levam, apos uma algebra smples a
u(r) =
2
(2)
2
1
[r a[
_

0

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

ITULO 3. TRANSFORMADAS INTEGRAIS


3. Ache a transformada inversa de Laplace das seguintes func oes:
(a)
F(s) =
3s + 7
s
2
2s 3
,
(b)
F(s) =
2s
2
4
(s + 1)(s 2)(s 3)
,
(c)
F(s) =
3s + 1
(s 1)(s
2
+ 1)
,
(d)
F(s) =
1
s
3
+ s
2
+ s + 1
,
Dica: use o teorema do desenvolvimento de Heaviside: se P(s) e Q(s) s ao po-
lin omios tal que grauP(s) > grauQ(s), e se todas as razes r
i
de Q(s) forem
simples, entao
L
1
_
P(s)
Q(s)
_
=
n

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

+ 4y = 3 [H(t 1) H(t (1 + 2))] sin(t 1), y(0) = 0, 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

+ 10y = (t), y(0) = 0, y

(0) = 0,
(h)
y

+ 4y = 8(t 2), y(0) = 3, 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

ITULO 3. TRANSFORMADAS INTEGRAIS


Referencias Bibliogracas
[1] P. A. M. Dirac, The principles of quantum mechanics (Clarendon Press,
Oxford, 1947)
[2] L. Schwartz, Theorie des distributions, Vols. 1-2 (Hermann, Paris, 1950-
1951).
[3] I. M. Gelfand e G. E. Shilov, Generalized functions, Vols. 1-5 (Academic
Press, New York, 1966-1968).
[4] E. Butkov, Fsica Matematica (Guanabara Dois, Rio de Janeiro, 1978).
[5] J. C. A. Barata, Curso de Fsica-Matem atica, disponvel em
http://denebola.if.usp.br/ jbarata
[6] R. Courant e D. Hilbert, Methods of Mathematical Physics Vols. 1-2 (In-
terscience, New York, 1970).
[7] G. B. Arfken e H. J. Weber, Mathematical Methods for Physicists, 5a. Ed.
(Harcourt, San Diego, 2001).
[8] E. Kreyszig, Advanced Engineering Mathematics, 9a. Ed. (Wiley, Singa-
pore, 2006).
[9] F. W. Byron Jr. e R. W. Fuller, Mathematics of Classical and Quantum
Physics (Dover, New York,1970).
[10] P. M. Morse e H. Feshbach, Methods of Theoretical Physics (McGraw-Hill,
New York, 1953).
[11] J. D. Jackson, Classical Electrodynamics, 3rd. Ed. (Wiley, New York, 1998)
[12] L. I. Schi, Quantum Mechanics, 2nd. Ed. (McGraw-Hill, New York, 1955).
[13] C. L. R. Braga. Notas de Fsica Matematica (Ed. Livraria da Fsica, Sao
Paulo, 1996).
[14] D. G. Duy, Greens Functions with Applications (Chapman & Hall/CRC,
Boca Raton, 2001).
[15] A. Messiah, Quantum Mechanics, Vols. 1 & 2 (Dover, 1999), Appendix A.
[16] G. B. Thomas, Calculo, Vols 1 & 2 (Ao Livro Tecnico, Rio de Janeiro,
1969).
[17] J. C. A. Barata, Curso de Fsica-Matem atica, Captulo 31
53

Você também pode gostar