Func ao delta de Dirac

Prof. Dr. Ricardo Luiz Viana

Departamento de Fsica
Universidade Federal do Paran a
Curitiba, Paran a, Brasil
15 de abril de 2013
O fsico te orico ingles Paul Adrian Maurice Dirac introduziu, na decada
de 1930, a chamada func ao delta (x), como um recurso matem atico util na
descri c ao da mecanica qu antica, da qual foi um dos principais criadores [1].
Posteriormente foram descobertas outras situa c oes em que a func ao delta
pode ser usada. A rigor, no entanto, (x) nao e uma func ao, 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 rigorosa para a func ao
delta, na qual ela e considerada uma func ao generalizada, ou distribui c ao.
Em boa parte das manipulac oes formais, no entanto, a func ao delta pode
ser trabalhada como uma func ao usual, e sera este o enfoque deste captulo.
As demonstra c oes de que tais resultados sao matematicamente rigorosos e
objeto da Teoria das Distribuic oes, que nao sera abordada aqui [2, 3, 4, 5].
1 Funcao delta de Dirac
1.1 Denicao
A func ao delta de Dirac 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 func ao delta para argu-
mentos complexos.
A func ao 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 func ao, e sim o que chamamos de distribui c ao, ou
func ao 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 aplicac oes (x) obedece `as regras do c alculo aplicaveis
a func oes bem-comportadas. Por isso deixaremos doravante de colocar aspas
na palavra func ao.
2 Aplicac oes fsicas
2.1 Mecanica classica: forcas impulsivas
Suponha uma esfera de massa m e velocidade constante v, numa trajet oria
unidimensional, chocando-se elasticamente com uma parede rgida. Devido `a
elasticidade da esfera, a colisao tem uma dura c ao 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, (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.
2
t
F(t)
t
o
t
Figura 1: Uma for ca impulsiva.
No limite quando t 0, podemos escrever a for ca impulsiva usando a
func ao delta de Dirac
F(t) = I(t t
0
). (7)
Com efeito, usando (4) temos que
_

F(t)dt =
_

I(t t
0
)dt = I
_

(t t
0
)dt
. .
=1
= I.
2.2 Eletromagnetismo: distribuicoes singulares de carga
eletrica
Uma carga puntiforme q situada, ao longo do eixo x, na posic ao x = a,
equivale a uma distribui c ao 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
func oes 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 mecanica qu antica a informac ao que podemos obter de um sistema
esta inteiramente contida na respectiva func ao de onda (x). As observ aveis
fsicas sao representadas por operadores hermitianos

A, que tem autofunc oes

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-
serv avel A sobre o sistema descrito pela func ao de onda (x). O conjunto
de autovalores de um operador e o seu espectro, o qual pode ser discreto
(nito ou innito enumeravel) ou contnuo (innito nao-enumeravel).
As autofunc oes
n
(x) formam um conjunto completo e ortonormal (=
ortogonal + normalizado) de func oes. 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 func ao de onda como uma combina c ao linear
das autofunc oes (postulado da expansao):
(x) =

n
c
n

n
(x). (12)
Certas observ aveis, como a energia do oscilador harmonico, tem um es-
pectro discreto, porem outras, como a posic ao de uma partcula livre, tem
um espectro contnuo. O analogo da equa c ao (9) para o operador de posic ao
sera
x(x) = x(x), (13)
onde (x) e a autofunc ao associada ao autovalor x de posic ao. Para exprimir
a ortonormalidade destas autofunc oes, ou seja, escrever o analogo da propri-
edade (10) para o espectro contnuo, Dirac introduziu a func ao delta para
1
Esta subsecao pode ser omitida pelos alunos que ainda nao estudaram Mecanica
Qu antica.
4
que
< (x)|(x

) >=
_

(x)(x

)dx = (x x

) =
_
0, se x = x

,
, se x = x

,
(14)
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
somat oria, como em (12):
(x) =
_

c(x)(x)dx. (15)
3 Propriedades da fun cao delta
3.1 Filtragem
Seja f(x) uma func ao bem-comportada, ou seja, satisfaz `a deni c ao classica
de func ao. Ent ao vale a propriedade de ltragem
_
+

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

(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), (17)
No entanto, se a > b ou a < c, a func ao 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
_
+

(x)xdx = f(0) = 0,
5
tal que, para todo x (, +) temos a propriedade
x(x) = 0. (19)
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 func ao
bem-comportada, como a pr opria func ao delta:
_
+

(x y)(y a)dy = (x a). (21)

onde x = a pois, por motivos que serao esclarecidos no tratamento ma-
tematico rigoroso que sera dado no pr oximo captulo, nao e bem-denido o
produto de duas func oes delta no mesmo ponto.
3.2 Paridade
(x) = (x). (22)
Fazendo a mudanca de variavel y = x vericaremos as propriedades (1)
e (2) da func ao delta:
(x) = (y) =
_
0, se y = 0, ou x = 0,
, se y = 0, ou x = 0.
Como dx = dy, e permutando os limites da integrac ao,
_
+

(x)dx =
_

+
(y)(dy) =
_
+

(y)dy =
_
+

(x)dx,
onde trocamos y por x visto que sao variaveis mudas. Passando para o
primeiro membro
_
+

[(x) (x)]
. .
=0
dx = 0,
donde resulta (22).
6
3.3 Escala
Seja a = 0 um fator de escala, ent ao
(ax) =
1
|a|
(x). (23)
Vamos supor, inicialmente, que a > 0, e fazer a mudanca de variavel
y = ax. Ent ao, partindo da condi c ao de normalizac ao (2) com x y, temos
1 =
_
+

(y)dy = a
_
+

(ax)dx,
donde
_
+

(ax)dx =
1
a
=
1
|a|
.
Caso a < 0, ent ao |a| = a, e obtemos a mesma conclusao. Em ambos
os casos, podemos escrever
_
+

(ax)dx =
1
|a|
_
+

(x)dx,
_
+

_
(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 posic ao, pode-
mos considerar x um n umero puro e a a respectiva unidade (como metro,
nanometro, ano-luz, etc.). Ent ao a func ao delta (ax) tem dimens oes de in-
verso de comprimento, ou seja, a sua unidade e 1/metro, 1/ nanometro, 1/
ano-luz, etc.
3.4 Quando o argumento e uma funcao
Seja y(x) uma func ao 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
) . (24)
Para mostrar essa importante propriedade, vamos multplicar o primeiro
membro da igualdade acima por uma func ao bem-comportada f(x) e inte-
grar em (, +). Vamos recordar que a func ao delta so e nao-nula quando
7
seu argumento e zero, ou seja, as contribui c oes para essa integral so vir ao das
vizinhan cas dos pontos onde o argumento y(x) se anula, ou seja, justamente
os zeros x
i
de y(x), de modo que
_
+

f(x)[y(x)]dx =

i
_
x
i
+
x
i

f(x)[y(x)]dx,
onde consideramos a contribui c ao de todas as vizinhan cas dos zeros de y(x).
Fazemos, agora, a mudanca 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
_
+

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

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

f(x)[y(x)]dx =
_
+

i
1
|y

(x
i
)|
(x x
i
)f(x)dx,
_
+

dxf(x)
_
[y(x)]

i
(x x
i
)
|y

(x
i
)|
_
= 0,
tal que, para f(x) arbitr ario, resulta a propriedade (24).
Como um exemplo de aplicac ao, considere a func ao y(x) = x
2
a
2
, que
tem zeros smples nos pontos x = a, ja que y

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

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

(a)|
=
1
2a
[(x a) + (x + a)] . (25)
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 c ao do tipo pulso quadrado para a func ao delta para
alguns valores do par ametro n.
4 Representa c oes da fun cao delta

E comum representarmos a func ao delta como o limite de uma sequencia

innita de func oes 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
so e bem-denido quando o entendemos dentro de uma integral envolvendo
func oes normais f(x):
lim
n
_
+

n
(x)f(x)dx =
_
+

(x)f(x)dx. (26)
Ha innitas representa c oes possveis para a func ao 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)
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 c ao do tipo Lorentziana para a func ao delta para
alguns valores do par ametro n.
Para mostrar que a func ao acima e uma representa c ao para a func ao
delta, vamos vericar a deni c ao (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. 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,
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 c ao do tipo Gaussiana para a func ao delta para alguns
valores do par ametro n.
onde usamos a regra de LHospital para levantar a indeterminac ao.
Para x = 0 temos, de (28), que
n
(0) = n/, tal que lim
n

n
(0) = .
A condi c ao de normalizac ao (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.
Gaussiana [Fig. 4]

n
(x) =
n

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

E comum encontrarmos em aplicac oes fsicas a func ao
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 func ao, nao um polo. Alem
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 c ao do tipo seno cardinal para a func ao delta para
alguns valores do par ametro n.
disso
_
+

sinc xdx
_
+

sin x
x
dx = . (31)
como pode ser calculado usando resduos (integral de Dirichlet). Do
seno cardinal derivam duas representa c oes uteis para a func ao delta. A
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 c ao de normalizac ao ca, em vista de (31):
_
+

n
(x)dx =
n

_
+

sinc(nx)dx =
n

1
n
_
+

sinc ydy
. .
=
=
n

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

n
(x) =
1

sin
2
(nx)
nx
2
=
n

sinc
2
nx. (33)
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 c ao do tipo pico de difra c ao para a func ao delta para
alguns valores do par ametro n.
Ha, ainda, outras representa c oes, raramente usadas, como

n
(x) =
1
2n
|x|
1+(1/n)
, (34)
assim como, tambem, representa c oes assimetricas em relac ao 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 func oes de Airy e de Bessel de
ordem n.
Observe que nem todas as representa c oes possveis para a func ao delta
sao igualmente boas, quando as interpretamos no sentido da Eq. (26). Por
exemplo, considere a func ao normal f(x) = e
x
. Se usarmos, para ela, a
representa c ao lorentziana (28), teremos problemas, pois
_
+

n
(x)f(x)dx =
n

_
+

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

n
(x)f(x)dx =
1
n
_
+

e
x
sin
2
nxdx
nx
2
= .
13
Ja a representa c ao gaussiana (29) 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 =

, (37)
de modo que
lim
n
_
+

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 c ao do seno cardinal (32) temos, usando o teorema fundamental
do c alculo 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 transforma c ao 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 c ao integral
para a func ao delta
(x) =
1
2
_
+

e
ikx
dk, (39)
onde a integral deve ser tomada como valor principal de Cauchy, devido `a
singularidade existente em x = 0.
A representa c ao 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 enumeravel de pontos de descontinuidade
x
1
, x
2
, . . . x
i
. Em cada um desses pontos de descontinuidade o valor da func ao
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
.
14
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, ent ao pode ser usada a representa c ao integral
(39).
5.1 Relacao com a funcao degrau
A func ao 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 c ao de somabilidade que acabamos de comentar. Embora, a rigor, a
func ao degrau nao seja diferenci avel em x = x

(devido `a descontinuidade), e
possvel identicarmos a func ao delta de Dirac como a derivada da func ao de-
grau, num sentido que so sera tornado rigoroso quando abordarmos a teoria
das distribui c oes no pr oximo captulo:
(x x

) =
d
dx
H(x x

). (41)
Para vericar a plausibilidade dessa relac ao, vamos multiplicar a derivada
da func ao degrau por uma func ao 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(xx

) so nao e nula quando x > x

, podemos escrever H(xx

) = 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 c alculo diferencial. Pela propriedade de
ltragem (16)
_
+

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 func ao f(x) arbitr aria, a (41).
15
6 Func oes delta multidimensionais
6.1 Duas dimens oes
Denimos a func ao delta bidimensional como o produto de duas func oes delta
unidimensionais, ao longo das direc oes independentes x e y
(r r

) = (x x

)(y y

), (42)
com a seguinte normalizac ao:
_
+

dx
_
+

dy(r r

) = 1. (43)
A dimens ao da func ao delta bidimensional e o inverso de uma area. Seja
f(x, y) uma func ao normal de duas variaveis. A propriedade de ltragem e
escrita como
_
+

dx
_
+

dyf(x, y)(r r

) = f(x

, y

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

0
d(r r

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

) =
1

)(

). (46)
6.2 Tres dimens oes
A func ao 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
_
+

dx
_
+

dy
_
+

dz(r r

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

dz
_

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 aplicac ao 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.
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 func ao, no sentido estrito da palavra, e possvel
dar a ela uma interpreta c ao rigorosa (na teoria das distribui c oes, como sera
17
visto no pr oximo captulo) tal que seja possvel obter a sua derivada

(x), e
usar os recursos do c alculo usual para trabalhar com ela. Para isso, sempre
imaginamos que a func ao delta, bem como sua derivada, estejam multiplica-
das por uma func ao normal f(x) e integradas de a +. Por exemplo,
temos a seguinte propriedade fundamental da derivada da func ao delta:
_
+

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

f(x)

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

_
+

(x)(x a)dx = f

(a).
No eletromagnetismo e possvel associar a derivada da func ao delta com
a distribui c ao singular de carga correspondente a um dipolo eletrico que,
por deni c ao, 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 dip olo eletrico, a densidade
de carga do dip olo e
(x) = p

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

(x) =

(x), (53)
Para mostr a-la multiplicamos o primeiro membro por uma func ao 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,
18
onde zemos a mudanca de variavel y = x, integramos por partes, e usamos
(52). Passando tudo para o primeiro membro
_
+

(x) +

(x)]
. .
=0
f(x)dx = 0,
se f(x) for uma func ao arbitr aria, diferente de zero portanto, o que leva a
(53).
Derivando (39) chegamos `a representa c ao integral

(x) =
i
2
_
+

ke
ikx
dk. (54)
De forma analoga a (53), nova integrac ao por partes conduz `a derivada
segunda da func ao delta
_
+

(x a)f(x)dx = f

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

(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 func ao 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 func ao bem-
comportada da posic ao nesse espaco. Ent ao a derivada parcial da func ao
delta tridimensional em relac ao 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 func ao 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 dip olo eletrico de momento p e posicio-
nado em r = a:
(r) = p (r a).
8 Exerccios
1. Mostre que as propriedades de paridade (22) e escala (23) decorrem como
casos particulares da propriedade geral (24).
2. Calcule as integrais:
(a)
_
+

dx(x
2
+ x 2)(3x
2
5x + 1)
(b)
_
+

dx(x
2
+ 4x 21)(7x
3
3x
2
+ 2x 1)
3. Mostre que as funcoes gaussiana (29) e pico de difra cao (33) s ao repre-
senta cao possveis para a funcao delta.
4. 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
(r b) [(cos 1) + (cos + 1)]
5. Mostre as seguintes propriedades das derivadas da funcao 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).
20
(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).
6. Considere a seguinte representa cao, do tipo pulso-quadrado, para a funcao
delta

a
(x) =
_
1/(2a), se a x a,
0, se x < a, ou x > a.
Considere um conjunto de innitas copias desta funcao, com perodo 2L, e
desenvolva esta funcao em serie de Fourier, tal que, fazendo a 0, obtenha
a seguinte representa cao em serie para a funcao delta:
(x) =
1
2L
+
1
L

n=1
cos
nx
L
.
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