Você está na página 1de 3

Revista Brasileira de Ensino de F sica, v. 32, n. 4, 4701 (2010) www.sbsica.org.

br

Notas e Discusses o

Trs mitos sobre a funao delta de Dirac e c


(Three myths on Diracs delta function)

Nivaldo A. Lemos1
Departamento de F sica, Universidade Federal Fluminense, Niteri, RJ, Brasil o Recebido em 4/12/2009; Aceito em 12/3/2010; Publicado em 25/2/2011 So desfeitas trs concepoes matemticas errneas, porm recorrentes entre os f a e c a o e sicos, relacionadas ` funao a c delta de Dirac. Palavras-chave: funao delta de Dirac, teoria das distribuioes. c c Three mathematical misconceptions concerning Diracs delta function, recurring among physicists, are dispelled. Keywords: Dirac delta function, theory of distributions.

Quase todos os livros-texto de eletromagnetismo voltados para cursos de graduao introduzem a ca funo delta de Dirac para descrever a densidade de ca carga eltrica de uma carga pontual. A funo (x) e ca denida como igual a zero em toda parte exceto em e x = 0, onde ela innita de tal modo que sua integral e em qualquer intervalo aberto que contenha a origem e igual a um. Reitz e cols. [1] comentam que the Riemann integral of such a function is zero if it exists at all, but the integration can be handled by the more general Lebesgue integral. Marion e Heald [2] asseguram que it is possible to dene the delta-function as the limit of an ordinary function. Outra armao ca frequentemente encontrada em livros-texto de eletromagnetismo [3] que no uma funo porque o seu e a e ca valor no nito em x = 0. a e O propsito desta nota assinalar que todas as o e armaes acima so infundadas. E imposs co a vel interpretar (x) como uma funo por causa de suas proca priedades contraditrias, no por causa de seu valor o a innito em x = 0. Alm disso, nenhuma denio e ca razovel de integral, por mais geral que seja, pode a contornar tal impossibilidade. Por m, no poss a e vel denir a funao delta como o limite pontual de uma c sequncia de funoes ordinrias. e c a Antes de mais nada, uma funo honesta pode ser ca innita em certos pontos isolados ou mesmo num conjunto de medida nula. Por exemplo, a funo real ca |x|1/2 innita em x = 0 mas uma funo pere e ca feitamente leg tima. Em particular, ela integrvel em e a qualquer intervalo nito, mesmo incluindo a origem. A teoria geral da integrao lida com o conjunto R ca
1 E-mail:

dos nmeros reais estendidos [4,5], que consiste no conu junto dos nmeros reais juntamente com os s u mbolos e , ou seja, R = R {} {}. Para nossos objetivos basta considerar o conjunto [0, ] dos nmeros u reais estendidos no-negativos. A conveno mais util a ca e 0 = 0 = 0. (1) Com a regra adicional a = a = para todo a (0, ], as leis comutativa, associativa e distributiva so vlidas em [0, ] sem qualquer restrio [5]. a a ca Segue-se que, como usualmente denida, a saber, (x) = 0 para x = 0 e (0) = , uma funo genu e ca na com valores em R . Na teoria da integral de Lebesgue aprende-se que o conjunto cujo unico elemento o ponto e na origem tem medida nula, e que a integral de qualquer funo nula em toda parte exceto num conjunto ca de medida nula igual a zero. Este resultado pode ser e estendido para qualquer denio razovel de integral. ca a Considere a funo (x) = 2(x) e seja R (x)dx = I. ca De acordo com a aritmtica em [0, ], e so iguais e a ponto a ponto, de modo que a integral de tambm e tem que ser igual a I. Alm disso, qualquer integral e razovel deve depender linearmente do integrando, de a modo que R (x)dx = 2 R (x)dx = 2I. Portanto, I = 2I e o unico valor nito poss vel para I I = 0. e Em suma, a inexistncia de uma funo delta deve-se e ca a suas propriedades contraditrias, no a seu valor ino a nito na origem. Ressalte-se que a regra (1) no estranha aos f a e sicos, pois quando a funo delta tridimensional denida ca e por 3 (r) = (x)(y)(z) e se diz [6] que the threedimensional delta function is zero everywhere except

nivaldo@if.u.br.

Copyright by the Sociedade Brasileira de F sica. Printed in Brazil.

4701-2

Lemos

at (0,0,0), a regra aritmtica (1) est implicitamente e a sendo usada. De fato, para dizer, por exemplo, que (1)(1)(0) = 0 preciso usar 0 = 0. e Levando em considerao que (x) no aparece no ca a resultado nal do clculo de nenhuma grandeza f a sica mensurvel, no o valor em cada ponto que caracteriza a a e a funo delta, mas sua propriedade fundamental ca

Apndice: Demonstrao da Eq. (4) e ca


a E fcil comprovar que Portanto, escrevendo
(x)dx n

= 1 para todo n.

(x)n (x)dx = (0) +


(x)(x)dx = (0),

(2)

((x) (0))n (x)dx = (0) + In , basta provar que In 0 para toda funo D, onde ca

para qualquer funo sucientemente regular. Emca bora no exista como funo, esta propriedade que a ca e permite denir como uma distribuio [7]. ca Quanto ` crena de que poss denir a funo a c e vel ca delta como o limite de uma funo ordinria, podeca a se refut-la construindo uma sequncia de funes que a e co converge para a funo zero embora convirja para ca como uma distribuio. Considere a sequncia ca e
2 2 2n3 n (x) = x2 en x , n = 1, 2, 3, . . . ,

In =

2n3 2 n2 x2 x e ((x) (0))dx .

Fazendo a mudana de varivel nx = y, esta integral c a torna-se In =

fn (y)dy,

(3)

com

2 2 y fn (y) = y 2 ey ( ) (0) . n

que converge (vide Apndice) para (x) no seguinte sene tido


n

Como
n

y lim ( ) (0) = (0) (0) = 0 n

lim

(x)n (x)dx =

porque cont e nua, segue-se que (4)


n

(x)(x)dx = (0),

lim fn (x) = 0 x R ,

se sucientemente regular na teoria das dise tribuies exige-se que seja um elemento do conjunto co D das funes innitamente diferenciveis e de suporte co a compacto, isto , nulas fora de um subconjunto fechado e e limitado da reta real [7]. Da Eq. (3) decorre que n (0) = 0 para todo n N e limn n (x) = 0 para x = 0. Assim, o limite pontual da sequncia de funes e co (3) a funo identicamente nula, o que nos levaria a e ca concluir que (x) 0. Se fosse poss passar ao limite vel sob o sinal de integral na Eq. (4), o valor da integral seria zero para qualquer funo , o que falso. Em ca e s ntese, a sequncia n converge para a distribuio , e ca no para uma inexistente funo delta. a ca De um ponto de vista matematicamente rigoroso, uma distribuio, ao passo que do ponto de vista dos e ca f sicos (x) costuma ser intuitivamente pensada como se fosse uma funo. Na verdade, (x) uma notao ca e ca abreviada muito conveniente para a operao de pasca sagem ao limite indicada na Eq. (4). Tomar o limite sob o sinal de integral na Eq. (4) no permitido em a e termos de funes ordinrias, mas pode ser feito formalco a mente com a ajuda do s mbolo (x). Da mesma forma, a equaao simblica c o (/r2 ) = 4 3 (r) permite uma r extenso do teorema da divergncia a circunstncias de a e a interesse f sico em que ele no rigorosamente vlido, a e a uma vez que o campo vetorial /r2 no diferencivel r a e a em r = 0.

isto , fn converge pontualmente para zero em toda a e reta real. Alm disso, fn dominada por uma funo e e ca integrvel, pois a
2 2 2 x 4M |fn (x)| x2 ex max ( )(0) x2 ex , n

onde M = max|(x)| e o mximo tomado sobre o a e suporte de (uma funo cont ca nua num subconjunto fechado e limitado de R assume um valor mximo). a Portanto, pelo teorema da convergncia dominada de e Lebesgue [4, 5],
n

lim In = lim

fn (x)dx =

lim fn (x)dx = 0 ,

o que completa a demonstrao. ca

Referncias e
[1] J.R. Reitz, F.J. Milford and R.W. Christy, Foundations of Electromagnetic Theory (Addison-Wesley, Reading, 1979), 3a ediao, p. 44, nota de rodap. c e [2] J.B. Marion e M.A. Heald, Classical Electromagnetic Radiation (Academic Press, New York, 1980), 2a ed., p. 26 e especialmente o Problema 1-30. [3] D.J. Griths, Introduction to Electrodynamics (Prentice Hall, New Jersey, 1999), 3a ed., p. 46.

Trs mitos sobre a funao delta de Dirac e c

4701-3

[4] E.J. McShane, Integration (Princeton, New Jersey, 1944), pp. 20-21; H.L. Royden, Real Analysis (Macmillan, New York, 1968), 2a ed., p. 34. [5] W. Rudin, Real and Complex Analysis (McGraw-Hill, New York, 1974), 2a ed., pp. 19-20.

[6] Ref. [3], p. 50. [7] L. Schwartz, Mathematics for the Physical Sciences (Dover, New York, 2008); J.I. Richards and H. Youn, Theory of Distributions: A Nontechnical Introduction (Cambridge University Press, Cambridge, 1990).