REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No.

La Funcin Delta de Dirac

Fernando Andino, Marlon Recarte, Michael Spilsbury
Universidad Nacional Autnoma de Honduras en el Valle de Sula

Abstract

La funcin de Dirac presenta propiedades verdaderamente tiles para modelar problemas de

la fsica matemtica. Se presenta un resumen detallado de las principales caractersticas y
propiedades de dicha funcin, argumentndose la validez de las mismas.

Palabras clave: Funcin de Dirac, Delta de Dirac, Distribuciones

The Dirac function has properties truly useful to model problems in physics and mathematics.
This document includes a detailed overview of the main characteristics and properties of the
function, arguing the validity of them.

Keywords: Dirac function, Delta function, Distributions

I. Definicin cantidad que depende de un parmetro x y

satisface las condiciones:
a funcin de Dirac no es propiamente

L una funcin, es una distribucin o fun-

cin generalizada (localmente integrable)
introducida por primera vez por el fsico ingles
(x) =

Z
(
0 six 6= 0
six = 0

Paul Dirac quien la denomino como funcin

(x)dx = 1
impropia, desde el punto de vista matemtico,
requiere el uso de la teora de distribuciones
desarrollada por Laurent Schwartz (1940) e
introducidas anteriormente de forma indepen-
diente por Sergi Sbolev (1935).
Puede expresarse como limite de una sucesin
de funciones, lo que permite dar una idea in-
tuitiva y operativa de la misma. Esta funcin
constituye una aproximacin muy til para
funciones pulso o funcin de impulso y repre-
senta igual tipo de abstraccin matemtica que
el de una carga o masa puntual, permitiendo Figure 1: Representacin de la delta de Dirac
definir las derivadas generalizadas de funciones
discontinuas. Si queremos tener una imagen rigurosa de ,
En fsica esta funcin es muy til ya que per- consideremos una funcin de variable real x
mite expresar magnitudes singulares en un que sea nula fuera de un pequeo dominio
punto como lmite de magnitudes continuas, de amplitud  alrededor del origen x = 0 y
se usa para representar la distribucin de den- que en el interior de este dominio sea igual a
sidad de una masa unidad concentrada en un uno. No importa la forma exacta de la funcin
punto. en el interior de este dominio, con tal que
La delta de Dirac es introducida para represen- no sufra en l variaciones innecesariamente
tar cierto tipo de infinitos y sus argumentos bruscas. Tomando el lmite para  0, esta
son variables reales. Para manejar estos infini- funcin tender a confundirse con .
tos con una notacin rigurosa introducimos la

55
 REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No. 1

(x) no es una funcin de x segn la definicin

matemtica ordinaria de funcin (que le exige
tener un valor definido para cada punto de su
dominio) sino algo mas general que llamaremos
funcin impropia. Para destacar su diferencia
con las funciones definidas de modo ordinario.
Por tanto, (x) no es un cantidad que pueda
usarse en anlisis matemtico con tanta gen-
eralidad como las funciones ordinarias, y su
uso debe restringirse a cierto tipos de expre-
siones sencillas para las que sea evidente que
no pueda dar lugar a inconsecuencias lgicas.
II. Propiedades
La propiedad ms importante de (x) puede
expresarse con la siguiente ecuacin,
Z en el que la funcin no se anula.
f (x) (x)dx = f (0)
Figure 3
a sustituir x por a. Este resultado general es
vlido aunque la funcin de x no sea una fun-
cin numrica, sino un vector o un operador
lineal dependiente de x. El intervalo de inte-
gracin en las frmulas anteriores no ha de ser
necesariamente de a , sino que puede ser
cualquier dominio que incluya el punto crtico
Podemos definir la funcin todava de otro
modo, como la derivada u0 (x) de la funcin
u(x) definida as:
(
0 x<0
u(x) =
1 x>0
Para comprobar que esta nueva definicin es
equivalente a la anterior haremos lo siguiente:
Sean a y b dos nmeros positivos cualquiera

Z b Z b
Figure 2
f (x) (x)dx = f (x)u0 (x)dx
a a
en la que f (x) es cualquier funcin continua
Al integrar por partes
de x. Es fcil ver la validez de esta ecuacin
a partir de la imagen de (x) que acabamos b
Z b
de dar. El primer miembro de la ecuacin f (x)u0 (x)dx = f (x)u(x)

anterior slo puede depender de los valores a a
muy prximos al origen, de forma que sin error Z b
notable podemos sustituir f (x) por su valor en f 0 (x)u(x)dx
a
el origen f (0). Esto resulta como consecuencia Z b
de la definicin. = f (b) f 0 (x)dx
Si hacemos el cambio en el origen en la ecuacin 0
Z = f (b) [f (b) f (0)]
f (x) (x)dx = f (0) = f (0)

entonces podemos deducir la frmula De acuerdo a esto la funcin aparece al
derivar una funcin discontinua.
Z
Algunas ecuaciones elementales se pueden es-
f (x) (x a)dx = f (a)
cribir con la funcin siendo esencialmente
reglas de manipulacin para desarrollos alge-
en la que a es un nmero real cualquiera. Luego
braicos. Estas ecuaciones dan el mismo resul-
el resultado de multiplicar una funcin de x por
tado en sus dos miembros y se utilizan como
(x a) e integrar para todo x es equivalente
factores en un integrando.

56
 REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No. 1

(x) = (x) La funcin delta es una fun-

cin par. Consideremos una funcin f arbi- 1
( x2 a 2 ) = ( (x a) + (x a))
traria, entonces 2a
R
Z (a x) (x b) = (a b) Este resul-
f (x) (x)dx tado puede demostrarse usando

Z Z
= f (x) (x)dx f (x) (x a)dx = f (a), tomando

= f (0) f (x) = (x b), tendremos :
Z Z
= f (x) (x)dx (x b) (x a)dx = (a b)

por lo que (x) = (x).

Derivada de la funcin delta Para una
funcin continua f y un nmero a 6= 0 tenemos
x (x) = 0 Para probar esto sea f (x) una
que
funcin continua, notemos que
 
(t + a) (t)
Z Z
f (x)x (x)dx = 0 f (t) dt
a
Z
entonces como f (x) es arbitraria el factor 1
= f (t) (t + a)dt
x (x) en el integrando debe ser cero. a
Z 
(x2 a2 ) = 2a1
( (x a) + (x a)), f (t) (t)dt

para (a > 0) Consideremos una funcin f 1
arbitraria, entonces = [f (a) f (0)]
a
Si a 0 entonces
Z
f (x) (x2 a2 )dx  
(t + a) (t)
Z

0
lim f (t) dt
a
Z
a0
= f (x) (x2 a2 )dx
1

= lim [f (a) f (0)]
Z a
a0
+ f (x) (x2 a2 )dx 0
= f (0)
0
Z 0
Por lo que
= f (a) (x2 a2 )dx
Z
Z
f (x) 0 (x)dx = f 0 (0)
+ f (a) (x2 a2 )dx
0
El resultado anterior tambin puede probarse
Al hacer el cambio z = x2 a2 usando integracin por partes

Z

Z 0 1 
2
f (x) (x a )dx 2 f (x) (x)dx = f (x) (x)
1
Z
Z a2
dz f 0 (x) (x)dx
= f (a) (z )
2 z + a2
Z 0
= f (0)
dz
+ f (a) (z )
a2 2 z + a2 Este resultado tambin puede generalizarse
1 1
= f (a) + f (a)
2a 2a
Z
f (x) (n) (x)dx = (1)n f (n) (0)
De esto entonces

57
 REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No. 1

P1
[f (x)] =  i
 (x xi ) Si f (x)
 df 
 dx (xi )
 
es una funcin continua con xi races tal que
f (xi ) = 0. Sea g (x) una funcin arbitraria,
entonces Z
g (x) [f (x)]dx

Tomando la serie de Taylor de la funcin f (x)

alrededor de la raz xi tenemos:

f 0 ( xi )
f ( x ) = f ( xi ) + ( x xi ) Figure 4
1!
f 00 (x
i)
+ ( x xi ) 2 +
2!

X f n ( xi )
= ( x xi ) n
n!
n=0

Donde el termino f (xi ) = 0 y los trminos

(x xi )n de orden n > 1 son despreciables, 6
quedando nicamente el trmino f 0 (xi )(x
xi ), por lo cual
4

Z
g (x) [f (x)]dx 2

XZ
= g (x) [f 0 (xi )(x xi )]dx -1.0 -0.5 0.5 1.0
i
Z X 
1
= g (x)   (x xi ) dx Figure 5
i
 
f 0 ( xi ) 
 

III. Aplicaciones

I. Representaciones
Los siguientes tres ejemplos constituyen repre-
sentaciones de la delta de Dirac. 3.0

2.5
n 2 2
(x) = lim en x
n 2.0

sin(nx) 1.5

(x) = lim
n x 1.0

n 1 0.5

(x) = lim
n 1 + n2 x2
-1.0 -0.5 0.5 1.0

Todas ellas satisfacen

Z Figure 6
lim fn ( x ) g ( x ) = g ( 0 )
n

58
 REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No. 1

Es importante tener presente que en el uso de

las representaciones, las integrales se realizan
primero y luego se toma el lmite n . El
orden no conmuta.
En muchas aplicaciones de la fsica nos encon-
traremos con las siguientes representaciones
equivalentes de la delta:

sin(nx)
(x) = lim
n x
Z n Figure 8
1
= lim eixt dt
n 2 n
Z
1 
d n 1

= eixt dt lim
2 n dx 1 + n2 x2

Ver figura 9
Z
1 i(xx0 )t
( x x0 ) = e dt
2

sin(n(x x0 ))
(x x0 ) = lim
n ( x x0 )

 
n 1
(x x0 ) = lim
n 1 + n ( x x0 ) 2
2

Figure 9
II. Derivada de la funcin delta
Notemos el comportamiento de las derivadas
de las representaciones de la funcin delta III. Representaciones utilizando fun-
d

n n2 x2
 ciones ortogonales
lim e
n dx Si ~e(x) es ortogonal a ~e(x0 ) entonces
Ver figura 7
( x x0 ) = e ( x ) e ( x0 )
p
X  w ( x ) w ( x0 ) 
0
= n (x) n (x )
n
En2

donde
Z
En2 = 2n (x)w (x)dx
I
En la siguiente tabla se presentan algunos poli-
nomios ortogonales y sus caractersticas
Figure 7

 
0
X 1

d sin(nx)
 (x x ) = k+ Pk ( x ) Pk ( x 0 )
lim 2
n dx k =0
x
Ver figura 8 Si consideramos x0 = 0 entonces

59
 REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No. 1

Table 1: Usando los polinomios de Legendre Z

f (~r) 3 (~r ~a)d = f (~a)
n Nombre I w (x) En2 R3
2 n
Hn Hermite (, ) ex 2 n! Si consideremos un sistema coordenado curvil-
Ln Laguerre [0, ) ex 1 neo con coordenadas (1 , 2 , 3 ) y factor de
2
Pn Legendre [1, 1] 1 2n+1 escala

" 2  2  2 #1/2
x y z
hi = + +
  i i i
X 1
(x) = k+ Pk ( x ) Pk ( 0 )
2 Podemos expresar la funcin delta
k =0

(1 10 ) (2 20 ) (3 30 )
(~r r~0 ) =
h1 h2 h3

V. Coordenadas esfricas
1 = r, 2 = , 3 =

x = r sin( ) cos(),
Figure 10 y = r sin( ) sin(),
z = r cos( )
Usando los esfricos armnicos

(cos(1 ) cos(2 )) (1 2 ) h1 = 1, h2 = r, h3 = r sin( ),

X
X l dv = r2 sin( )drdd

= Yl,m (1 , 1 )Yl,m ( 2 , 2 )
l=0 m=l Por lo que

IV. Delta de Dirac tridimensional (~r r~0 )

Es simple generalizar la funcin delta en tres 1
= 2 (r r0 ) ( 0 ) ( 0 )
dimensiones r sin
Si se tiene simetra azimutal
3 (~r) = (z ) (y ) (z )
donde ~r = xx + y y + z z es el vector de posi-
1
cin. La funcin delta tridimensional es cero (~r r~0 ) = (r r0 ) ( 0 )
2r2 sin
en todo punto excepto en (0, 0, 0). Su integral
de volumen es: Si no hay dependencia de ,
1
Z (~r r~0 ) = (r r0 )
4r
3 (~r)d
R3
Z Z
VI. Coordenadas cilndricas
Z
= (x) (y ) (z )
1 = , 2 = , 3 = z
=1

Adems generalizando
h1 = 1, h2 = , h3 = 1, dv = dddz

60
 REVISTA DE LA ESCUELA DE FSICA, UNAH Junio 2014 Vol. II, No. 1

La correspondiente funcin de Dirac es  

r
= 4 3 (~r)
r2
1
(~r r~0 ) = ( 0 ) ( 0 ) (z z0 )
Adems
 
1 r
1 = 2
(~r r~0 ) = ( 0 ) (z z0 ) r r
2
Entonces
1
(~r r~0 ) = ( 0 )  
2 21
= 4 3 (~r)
r
r
VII. Divergencia de r2
Consideremos la funcin vectorial ~v = r
. Al References
r2
calcular la divergencia de ~v obtenemos
[1] Arfken and Weber. Mathematical Methods
for Physicists. Elseiver Academic Press,
 
1 2 1 1 2005.
~v = r = 2 (1) = 0 [2] Paul Dirac. Principios de mecnica cun-
r2 r r2 r r
tica. Ediciones Ariel, 1958.
Por otro lado si calculamos el flujo de V sobre
una esfera de radio R centrada en el origen [3] David J. Griffiths. Introduction to Quan-
tenemos tum Mechanics. Pearson Prentice Hall,
2005.
I Z  
r [4] Hoskins. Delta Functions Introduction to
~v d~a = (R2 sin( )ddr) = 4
R2 Generalised Functions. Woodhead Publish-
ing, 2009.
Usando lo anterior y el teorema de la divergen-
cia se tiene una paradoja [5] Jackson. Classical electrodynamics. John
Z I Wiley and Sons, 1962.
~v d = ~v d~a
[6] Morse and Feshbach. Methods of Theoreti-
Por lo que podemos definir cal Physics Vol 1. McGraw Hill, 1953.

61