Fun cao delta de Dirac

Prof. Dr. Ricardo Luiz Viana

Departamento de Fsica
Universidade Federal do Parana
Curitiba, Parana, Brasil
15 de marco de 2013
O fsico te orico ingles Paul Adrian Maurice Dirac introduziu, na decada
de 1930, a chamada funcao delta (x), como um recurso matem atico util na
descricao da mec anica quantica, da qual foi um dos principais criadores [1].
Posteriormente foram descobertas outras situa coes em que a funcao delta
pode ser usada. A rigor, no entanto, (x) nao e uma funcao, de fato, o que,
a princpio, causou um certo desconforto entre os matem aticos. Foi somente
a partir da decada de 1940 que um grupo de matem aticos, entre os quais
o frances Laurent Schwartz, desenvolveu uma teoria matem atica rigorosa
para a funcao delta, na qual ela e considerada uma funcao generalizada, ou
distribui cao. Em boa parte das manipulacoes formais, no entanto, a funcao
delta pode ser trabalhada como uma funcao usual, e que sera o enfoque deste
captulo. As demonstracoes de que tais resultados sao matematicamente
rigorosos e objeto da Teoria das Distribuicoes, que nao sera abordada aqui
[2, 3, 4, 5].
1 Funcao delta de Dirac
1.1 Deni cao
A fun cao delta de Dirac que e denida por meio das seguintes propriedades:
(x) =
_
0, se x = 0,
, se x = 0,
(1)
_

(x)dx = 1, (2)
1
onde < x < e um real. Nao se dene a fun cao delta para argu-
mentos complexos.
A fun cao delta denida em (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,
(3)
_

(x a)dx = 1, (4)
A rigor (x) nao e uma funcao, e sim o que chamamos de distribui cao, ou
funcao generalizada. Por exemplo, se (0) e igual a innito, se interpretarmos
a integral em (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 aplicacoes (x) obedece `as regras do calculo aplic aveis
a funcoes bem-comportadas. Por isso deixaremos doravante de colocar aspas
na palavra funcao.
2 Aplica c oes fsicas
2.1 Mecanica classica: forcas impulsivas
Suponha uma esfera de massa m e velocidade constante v chocando-se elas-
ticamente com uma parede rgida. Devido `a elasticidade da esfera, a colisao
tem uma duracao t, tempo durante o qual ha uma transferencia de mo-
mentum 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, (5)
onde t
0
indica o instante medio em que ocorre a colisao, e F(t) e a for ca
dependente do tempo que a parede exerce sobre a esfera [Fig. 1]. Do teorema
do impulso e momentum linear, temos que
I = p = p
f
p
i
= mv (mv) = 2mv = constante, (6)
de modo que, se o intervalo de tempo t diminuir, o valor m aximo da for ca
F
max
= F(t
0
) ira aumentar para que o impulso permaneca constante.
No limite quando t 0, podemos escrever a for ca impulsiva usando a
funcao delta de Dirac
F(t) = I(t t
0
). (7)
2
t
F(t)
t
o
t
Figura 1: Uma for ca impulsiva.
Com efeito, usando (4) temos que
_

F(t)dt =
_

I(t t
0
)dt = I
_

(t t
0
)dt
. .
=1
= I.
2.2 Eletromagnetismo: distribui coes singulares de carga
eletrica
Uma carga puntiforme q situada, ao longo do eixo x, na posicao x = a,
equivale a uma distribui cao singular de carga eletrica, cuja densidade (linear)
e
(x) =
dq
dx
= q(x a) (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 densi-
dades superciais de corrente j(r) singulares, ja que
_
j(r) dA = i.
3
2.3 Mecanica quantica: espectro contnuo
1
Na mec anica quantica a informacao que podemos obter de um sistema esta
inteiramente contida na respectiva funcao de onda (x). As observaveis
fsicas sao representadas por operadores hermitianos

A, que tem autofuncoes

n
(x) associadas aos autovalores a
n
, tais que

A
n
(x) = a
n

n
(x). (9)
Os autovalores a
n
sao os unicos resultados possveis para medidas da ob-
servavel A sobre o sistema descrito pela funcao de onda (x). O conjunto
de autovalores de um operador e o seu espectro, o qual pode ser discreto
(nito ou innito enumer avel) ou contnuo (innito nao-enumer avel).
As autofuncoes
n
(x) formam um conjunto completo e ortonormal (=
ortogonal + normalizado) de funcoes. No espectro discreto essa propriedade
se exprime como
<
n
(x)|
m
(x) >=
_

n
(x)
m
(x)dx =
nm
, (10)
onde o delta de Kronecker e denido como:

nm
=
_
1, se n = m,
0, se n = m,
(11)
o que permite escrevermos a funcao de onda como uma combinacao linear
das autofuncoes (postulado da expansao):
(x) =

n
c
n

n
(x). (12)
Certas observaveis, como a energia do oscilador harm onico, tem um es-
pectro discreto, porem outras, como a posicao de uma partcula livre, tem
um espectro contnuo. O analogo da equa cao (9) para o operador de posicao
sera
x(x) = x(x), (13)
onde (x) e a autofuncao associada ao autovalor x de posicao. Para exprimir
a ortonormalidade destas autofuncoes, ou seja, escrever o analogo da propri-
edade (10) para o espectro contnuo, Dirac introduziu a funcao delta para
que
< (x)|(x

) >=
_

(x)(x

)dx = (x x

) =
_
0, se x = x

,
, se x = x

,
(14)
1
Esta subsec ao pode ser omitida pelos alunos que ainda n ao estudaram Mecanica
Qu antica.
4
ou seja, algo como uma versao no espectro contnuo do delta de Kronecker.
O postulado da expansao sera escrito com uma integral ao inves de uma
somatoria, como em (12):
(x) =
_

c(x)(x)dx. (15)
3 Propriedades da fun cao delta
3.1 Filtragem
Seja f(x) uma funcao bem-comportada, ou seja, satisfaz `a deni cao cl assica
de funcao. Entao vale a propriedade de ltragem
_
+L
L
(x a)f(x)dx = f(a). (16)
Como (x a) = 0 se x = a, a integral so pode assumir valores nao-nulos
para x = a. Nesse caso o integrando, calculado em x = a, resulta f(a), pois
_
+L
L
(x a)f(x)dx = f(a)
_
+L
L
(x a)dx
. .
=1
= f(a).
A propriedade de ltragem vale tambem para sub-intervalos nitos da
reta real. Se c a b entao
_
b
c
(x a)f(x)dx = f(a), (17)
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. (18)
Escolhendo f(x) = x e a = 0, (16) fornece
_
+L
L
(x)xdx = f(0) = 0,
tal que, para todo x (, +) temos a propriedade
x(x) = 0. (19)
5
Analogamente mostra-se que
f(x)(x a) = f(a)(x a). (20)
A propriedade de ltragem e v alida mesmo que f(x) nao seja uma funcao
bem-comportada, como a pr opria funcao delta:
_
+L
L
(x y)(y a)dy = (x a). (21)
onde x = a pois, por motivos que serao esclarecidos no tratamento ma-
tem atico rigoroso que sera dado no pr oximo captulo, nao e bem-denido o
produto de duas funcoes delta no mesmo ponto.
3.2 Paridade
(x) = (x). (22)
Fazendo a mudan ca de variavel y = x vericaremos as propriedades (1)
e (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,
_
+L
L
(x)dx =
_

+
(y)(dy) =
_
+L
L
(y)dy =
_
+L
L
(x)dx,
onde trocamos y por x visto que sao variaveis mudas. Passando para o
primeiro membro
_
+L
L
[(x) (x)]
. .
=0
dx = 0,
donde resulta (22).
3.3 Escala
Seja a = 0 um fator de escala, entao
(ax) =
1
|a|
(x). (23)
6
Vamos supor, inicialmente, que a > 0, e fazer a mudan ca de variavel
y = ax. Entao, partindo da condi cao de normaliza cao (2) com x y, temos
1 =
_
+L
L
(y)dy = a
_
+L
L
(ax)dx,
donde
_
+L
L
(ax)dx =
1
a
=
1
|a|
.
Caso a < 0, entao |a| = a, e obtemos a mesma conclusao. Em ambos
os casos, podemos escrever
_
+L
L
(ax)dx =
1
|a|
_
+L
L
(x)dx,
_
+L
L
_
(ax)
1
|a|
(x)
_
. .
=0
dx = 0,
donde resulta (23). Uma interessante consequencia da propriedade de es-
cala e que, caso ax seja o resultado de uma medida fsica de posicao, pode-
mos considerar x um n umero puro e a a respectiva unidade (como metro,
nan ometro, ano-luz, etc.). Entao a funcao delta (ax) tem dimens oes de in-
verso de comprimento, ou seja, a sua unidade e 1/metro, 1/ nan ometro, 1/
ano-luz, etc.
3.4 Quando o argumento e uma fun cao
Seja y(x) 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. Entao
[y(x)] =

i
1
|y

(x
i
)|
(x x
i
) . (24)
Para mostrar essa importante propriedade, vamos multplicar o primeiro
membro da igualdade acima por uma funcao bem-comportada f(x) e inte-
grar em (, +). Vamos recordar que a funcao delta so e nao-nula quando
seu argumento e zero, ou seja, as contribuicoes para essa integral so vir ao das
vizinhancas dos pontos onde o argumento y(x) se anula, ou seja, justamente
os zeros x
i
de y(x), de modo que
_
+L
L
f(x)[y(x)]dx =

i
_
x
i
+
x
i

f(x)[y(x)]dx,
7
onde consideramos a contribuicao de todas as vizinhancas dos zeros de y(x).
Fazemos, agora, a mudan ca de variavel z = y(x), onde x = y
1
(z). Logo
dz = dy(x) = |y

(x)|dx. Os limites das integrais acima tambem mudam, pois

x = x
i
z = y(x
i
),
de sorte que
_
+L
L
f(x)[y(x)]dx =

i
_
x
i
+
x
i

f[y
1
(z)](z)
dz
|y

(x)|
.
Pela propriedade de ltragem, cada integral no segundo membro da igual-
dade acima e igual ao respectivo integrando, calculado no ponto z = 0, ou
seja, justamente onde x = x
i
= y
1
(0). Logo
_
+L
L
f(x)[y(x)]dx =

i
f[y
1
(0)]
1
|y

(x
i
)|
=

i
f(x
i
)
1
|y

(x
i
)|
.
Finalmente, usando novamente a propridade de ltragem, mas no sentido
inverso, podemos escrever
_
+L
L
f(x)[y(x)]dx =
_
+L
L

i
1
|y

(x
i
)|
(x x
i
)f(x)dx,
_
+L
L
dxf(x)
_
[y(x)]

i
(x x
i
)
|y

(x
i
)|
_
= 0,
tal que, para f(x) arbitrario, resulta a propriedade (24).
Como um exemplo de aplicacao, considere a funcao y(x) = x
2
a
2
, que
tem zeros smples nos pontos x = a, ja que y

(x
i
) = 2a = 0. Entao, de
(24) temos que
(x
2
a
2
) =
(x a)
|y

(a)|
+
(x + a)
|y

(a)|
=
1
2a
[(x a) + (x + a)] . (25)
4 Representa c oes da fun cao delta

E comum representarmos a fun cao 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
8
-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 2: Representa cao do tipo pulso quadrado para a fun c ao delta para
alguns valores do par ametro n.
so e bem-denido quando o entendemos dentro de uma integral envolvendo
funcoes normais f(x):
lim
n
_
+L
L

n
(x)f(x)dx =
_
+L
L
(x)f(x)dx. (26)
Ha innitas representa coes possveis para a funcao delta. As mais usadas na
pr atica sao as seguintes:
Pulso quadrado [Fig. 2]

n
(x) =
_
n/2, se 1/n x +1/n,
0, se x < 1/n, ou x > 1/n.
(27)
Para mostrar que a funcao acima e uma representa cao para a funcao
delta, vamos vericar a deni cao (1)-(2). De fato,
lim
n

n
(x) =
_
, se x = 0,
0, se x = 0.
9
-10 -5 0 5 10
0
0,2
0,4
0,6
0,8
1
n=1
n=2
n=3
Figura 3: Representa cao do tipo Lorentziana para a fun cao delta para
alguns valores do par ametro n.
Alem disso, resulta que, para todo n, temos
_
+L
L

n
(x)dx =
_
+1/n
1/n
n
2
dx =
n
2
_
2
n
_
= 1.
Lorentziana [Fig. 3]

n
(x) =
1

n
1 + n
2
x
2
(28)
Para vericar (1) ha dois limites a serem calculados:
lim
n

n
(x) =

=
1

lim
n
1
2nx
2
= 0, se x = 0,
onde usamos a regra de LHospital para levantar a indeterminacao.
Para x = 0 temos, de (28), que
n
(0) = n/, tal que lim
n

n
(0) = .
A condi cao de normaliza cao (2) decorre de
_
+L
L

n
(x)dx =
n

_
+L
L
dx
1 + n
2
x
2
=
n

1
n
_
+L
L
dx
1 + y
2
. .
=
=
n

n
= 1,
10
-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 4: Representa cao do tipo Gaussiana para a fun cao delta para alguns
valores do par ametro n.
onde zemos y = nx. A integral denida acima pode ser encontrada
usando resduos.
Gaussiana [Fig. 4]

n
(x) =
n

e
n
2
x
2
, (29)
Seno cardinal.

E comum encontrarmos em aplicacoes fsicas a funcao
seno cardinal, denida como
sinc(x) =
sin x
x
. (30)
Pelo limite trigonometrico fundamental, temos que sinc(0) = 1, ou seja,
x = 0 e uma singularidade removvel da funcao, nao um polo. Alem
disso
_
+L
L
sinc xdx
_
+L
L
sin x
x
dx = . (31)
como pode ser calculado usando resduos (integral de Dirichlet). Do
seno cardinal derivam duas representa coes uteis para a fun cao delta. A
11
-20 -10 0 10 20
-0,2
0
0,2
0,4
0,6
0,8
1
n=1
n=2
n=3
Figura 5: Representa cao do tipo seno cardinal para a fun cao delta para
alguns valores do par ametro n.
primeira e [Fig. 5]

n
(x) =
sin nx
x
=
n

sinc(nx) . (32)
Para x = 0 temos que
n
(0) = n/, donde lim
n

n
(0) = . A
condi cao de normaliza cao ca, em vista de (31):
_
+L
L

n
(x)dx =
n

_
+L
L
sinc(nx)dx =
n

1
n
_
+L
L
sinc ydy
. .
=
=
n

n
_
= 1.
Pico de difracao. Consiste no quadrado da funcao sinc, e recebe este
nome por assemelhar-se ao padrao de difracao de uma fenda unica em
otica [Fig. 6]:

n
(x) =
1

sin
2
(nx)
nx
2
=
n

sinc
2
nx. (33)
Ha, ainda, outras representa coes, raramente usadas, como

n
(x) =
1
2n
|x|
1+(1/n)
, (34)
12
-20 -10 0 10 20
0
0,2
0,4
0,6
0,8
1
n=1
n=2
n=3
Figura 6: Representa cao do tipo pico de difracao para a fun cao delta para
alguns valores do par ametro n.
assim como, tambem, representa coes assimetricas em rela cao a x = 0:

n
(x) = nAi(nx), (35)

n
(x) = nJ
n
[n(x + 1)], (36)
onde Ai(x) e J
n
(x) sao, respectivamente, as funcoes de Airy e de Bessel de
ordem n.
Observe que nem todas as representa coes possveis para a funcao delta
sao igualmente boas, quando as interpretamos no sentido da Eq. (26). Por
exemplo, considere a funcao normal f(x) = e
x
. Se usarmos, para ela, a
representa cao lorentziana (28), teremos problemas, pois
_
+L
L

n
(x)f(x)dx =
n

_
+L
L
e
x
dx
1 + n
2
x
2
= ,
a mesma coisa ocorrendo para o pico de difracao (33), pois
_
+L
L

n
(x)f(x)dx =
1
n
_
+L
L
e
x
sin
2
nxdx
nx
2
= .
J a a representa cao gaussiana (29) pode ser utilizada, pois
_
+L
L

n
(x)f(x)dx =
n

_
+L
L
e
x
e
n
2
x
2
dx = e
1/4n
2
,
13
como pode ser vericado completando o quadrado no integrando e usando a
integral gaussiana
_
+L
L
e
y
2
dy =

, (37)
de modo que
lim
n
_
+L
L

n
(x)f(x)dx = lim
n
e
1/4n
2
= 1.
5 Representa cao integral
Usando
sin nx =
e
inx
e
inx
2i
(38)
na representa cao do seno cardinal (32) 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
_
+L
L
e
ikx
dk, (39)
onde a integral deve ser tomada como valor principal de Cauchy, devido ` a
singularidade existente em x = 0.
A representa cao integral (39) so pode ser usada com func oes bem-comportadas
f(x) que sejam contnuas por partes em (, +), ou seja, f(x) pode
ter um n umero nito ou innito enumer avel 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 descontinuidade:
f(x
i
0) + f(x
i
+ 0)
2
.
Logo, f(x) deve ser somavel da mesma forma que exigimos para um desen-
volvimento em serie de Fourier. Em outras palavras, se f(x) admite uma
expansao em serie de Fourier, entao pode ser usada a representa cao integral
(39).
14
5.1 Relacao com a fun cao 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

.
(40)
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 identicarmos a funcao delta de Dirac como a derivada da funcao de-
grau, num sentido que so sera tornado rigoroso quando abordarmos a teoria
das distribui coes no pr oximo captulo:
(x x

) =
d
dx
H(x x

). (41)
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
_
+L
L
f(x

)
d
dx
H(x x

)dx

=
d
dx
_
+L
L
f(x

)H(x x

)dx

.
Como H(xx

) so nao e nula quando x > x

, podemos escrever H(xx

) = 1
para < x

< x, tal que

_
+L
L
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
ltragem (16)
_
+L
L
f(x

)
_
+L
L
f(x

)
d
dx
H(x x

)dx

=
_
+L
L
f(x

)(x x

)dx

_
+L
L
f(x

)
_
d
dx
H(x x

) (x x

)
_
. .
=0
dx

= 0,
que conduz, para uma funcao f(x) arbitraria, a (41).
15
6 Func oes delta multidimensionais
6.1 Duas dimensoes
Denimos a funcao delta bidimensional como o produto de duas funcoes delta
unidimensionais, ao longo das dire coes independentes x e y
(r r

) = (x x

)(y y

), (42)
com a seguinte normaliza cao:
_
+L
L
dx
_
+L
L
dy(r r

) = 1. (43)
A dimens ao 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
_
+L
L
dx
_
+L
L
dyf(x, y)(r r

) = f(x

, y

). (44)
Usando coordenadas polares planas (, ), tal que x = cos e y =
sin , a condi cao de normaliza cao (43) torna-se
_
2
0
d
_

0
d(r r

) = 1, (45)
que e satisfeita caso
(r r

) =
1

)(

). (46)
6.2 Tres dimensoes
A funcao delta tridimensional e o produto de tres funcoes delta unidimensi-
onais (com dimens ao de inverso de volume):
(r r

) = (x x

)(y y

)(z z

), (47)
tal que
_
+L
L
dx
_
+L
L
dy
_
+L
L
dz(r r

) = 1. (48)
Usando coordenadas cilndricas (, , z) a Eq. (48) ca
_
2
0
_
+L
L
dzd
_

0
d(r r

) = 1, (49)
16
que leva `a expressao
(r r

) =
1

)(

)(z z

). (50)
Analogamente, para coordenadas esfericas polares (r, , ) a Eq. (48) sera
satisfeita se
(r r

) =
1
r
2
(r r

)(cos cos

)(

), (51)
uma vez que o elemento de volume e dV = r
2
dr sin dd.
Como um exemplo de aplicacao 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),
j a que, integrando em todo o espaco
_
d
3
r(r) =
Q
2R
_

0
d( R)
. .
=R
_
2
0
d
. .
=2
_
+L
L
(z)dz
. .
=1
= Q.
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.
7 Derivadas da fun cao delta
Embora (x) nao seja uma funcao, no sentido estrito da palavra, e possvel
dar a ela uma interpreta cao rigorosa (na teoria das distribui coes, como sera
visto no pr oximo captulo) tal que seja possvel obter a sua derivada

(x), e
17
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:
_
+L
L

(x a)f(x)dx = f

(a), (52)
que pode ser demonstrada como segue: integrando por partes o lado es-
querdo da expressao acima temos
_
+L
L
f(x)

(x a)dx = f(x) (x a)
. .
=0

_
+L
L
f

(x)(x a)dx = f

(a).
No eletromagnetismo e possvel associar a derivada da funcao delta com
a distribui cao singular de carga correspondente a um dip olo eletrico que,
por deni cao, e um sistema formado por duas cargas puntiformes q e +q,
separadas por uma dist ancia 2a, ou seja, sao xadas nos pontos x = a e
x = +a, respectivamente. A densidade de carga em uma dimens ao 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 dipolo eletrico, a densidade
de carga do dipolo e
(x) = p

(0).
Varias propriedades importantes decorrem da deni cao (52), como

(x) =

(x), (53)
Para mostra-la multiplicamos o primeiro membro por uma funcao normal
f(x) e integramos de a +:
_
+L
L

(x)f(x)dx =
_

(y)f(y)(dy) =
_
+L
L

(y)f(y)dy
f(y) (y)
..
=0

+
_
+L
L
f

(y)(y)dx = f

(0) =
_
+L
L

(x)f(x)dx,
18
onde zemos a mudan ca de variavel y = x, integramos por partes, e usamos
(52). Passando tudo para o primeiro membro
_
+L
L
[

(x) +

(x)]
. .
=0
f(x)dx = 0,
se f(x) for uma funcao arbitraria, diferente de zero portanto, o que leva a
(53).
Derivando (39) chegamos `a representa cao integral

(x) =
i
2
_
+L
L
ke
ikx
dk. (54)
De forma analoga a (53), nova integra cao por partes conduz ` a derivada
segunda da funcao delta
_
+L
L

(x a)f(x)dx = f

(a), (55)
que pode ser generalizanda para a derivada de ordem m:
_
+L
L

(m)
(x a)f(x)dx = (1)
m
f
(m)
(a). (56)
7.1 Derivadas parciais
Nao ha maiores diculdades para generalizar o tratamento dado ` as derivadas
da funcao delta para mais de uma dimens ao espacial. Seja x
i
uma coorde-
nada generica no espaco Euclidiano e f(r) = f(x
1
, x
2
, x
3
) uma funcao bem-
comportada da posicao nesse espaco. Entao a derivada parcial da funcao
delta tridimensional em rela cao a ela sera tal que, integrando em todo o
espaco
_
d
3
rf(r)

x
i
(r) =
f
x
i

r=0
, (57)
ou, sendo a = (a
x
, a
y
, a
z
) um vetor de componentes constantes,
_
d
3
rf(r)

x
i
(r a) =
f
x
i

r=a
, (58)
Este procedimento nos permite denir o gradiente da funcao delta

3
i=1
e
i
/x
i
como
_
d
3
rf(r)(r a) = f(a), (59)
19
que, no eletromagnetismo, pode ser empregado para exprimir a densidade de
carga singular correspondente a um dipolo eletrico de momento p e posicio-
nado em r = a:
(r) = p (r a).
8 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 (22) e escala (23) decorrem como
casos particulares da propriedade geral (24).
3. Calcule as integrais: (a)
_
+L
L
dx(x
2
+ x 2)(3x
2
5x + 1)
(b)
_
+L
L
dx(x
3
2x
2
x + 2)(4x
4
3x
3
+ 8x 1)
4. Mostre que as funcoes gaussiana (29) e pico de difracao (33) s ao repre-
sentacoes possveis para a funcao delta.
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 funcao delta. (a)
x

(x) = (x),
(b)
x
2

(x) = 0,
(c)
_
+L
L

(x y)(y a)dy =

(x a),
20
(d)

(x) = (x),
(e)
x
2

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

(m)
(x) = (1)
m

(m)
(x),
(g)
x
m+1

(m)
(x) = 0,
(h)
_
+L
L

(m)
(x y)
(n)
(y a)dy =
(m+n)
(x a).
Referencias
[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] G. B. Arfken e H. J. Weber, Mathematical Methods for Physicists, 5a.
Ed. (Harcourt, San Diego, 2001).
21