REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Junio 2014 • Vol. II, No.

La Función Delta de Dirac

Fernando Andino, Marlon Recarte, Michael Spilsbury
Universidad Nacional Autónoma de Honduras en el Valle de Sula

Abstract

La función de Dirac presenta propiedades verdaderamente útiles para modelar problemas de

la física – matemática. Se presenta un resumen detallado de las principales características y
propiedades de dicha ”función”, argumentándose la validez de las mismas.

Palabras clave: Función 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. Definición cantidad δ que depende de un parámetro x y

satisface las condiciones:
a función δ de Dirac no es propiamente

L una función, es una distribución o fun-

ción generalizada (localmente integrable)
introducida por primera vez por el físico ingles
δ (x) =

Z ∞
(
0 six 6= 0
∞ six = 0

Paul Dirac quien la denomino como función

δ (x)dx = 1
impropia, desde el punto de vista matemático, −∞
requiere el uso de la teoría de distribuciones
desarrollada por Laurent Schwartz (1940) e
introducidas anteriormente de forma indepen-
diente por Sergéi Sóbolev (1935).
Puede expresarse como limite de una sucesión
de funciones, lo que permite dar una idea in-
tuitiva y operativa de la misma. Esta función
constituye una aproximación muy útil para
funciones pulso o función de impulso y repre-
senta igual tipo de abstracción matemática que
el de una carga o masa puntual, permitiendo Figure 1: Representación de la delta de Dirac
definir las derivadas generalizadas de funciones
discontinuas. Si queremos tener una imagen rigurosa de δ,
En física esta función es muy útil ya que per- consideremos una función de variable real x
mite expresar magnitudes singulares en un que sea nula fuera de un pequeño dominio
punto como límite de magnitudes continuas, de amplitud  alrededor del origen x = 0 y
se usa para representar la distribución 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 función
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 límite para  → 0, esta
son variables reales. Para manejar estos infini- función tenderá a confundirse con δ.
tos con una notación rigurosa introducimos la

55
 REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Junio 2014 • Vol. II, No. 1

δ (x) no es una función de x según la definición

matemática ordinaria de función (que le exige
tener un valor definido para cada punto de su
dominio) sino algo mas general que llamaremos
función impropia. Para destacar su diferencia
con las funciones definidas de modo ordinario.
Por tanto, δ (x) no es un cantidad que pueda
usarse en análisis matemático 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 lógicas.
II. Propiedades
La propiedad más importante de δ (x) puede
expresarse con la siguiente ecuación,
Z ∞
f (x)δ (x)dx = f (0)
−∞
Figure 3
a sustituir x por a. Este resultado general es
válido aunque la función de x no sea una fun-
ción numérica, sino un vector o un operador
lineal dependiente de x. El intervalo de inte-
gración en las fórmulas anteriores no ha de ser
necesariamente de −∞ a ∞, sino que puede ser
cualquier dominio que incluya el punto crítico
en el que la función δ no se anula.
Podemos definir la función δ todavía de otro
modo, como la derivada u0 (x) de la función
u(x) definida así:
(
0 x<0
u(x) =
1 x>0
Para comprobar que esta nueva definición es
equivalente a la anterior haremos lo siguiente:
Sean a y b dos números 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 función continua
Al integrar por partes
de x. Es fácil ver la validez de esta ecuación
a partir de la imagen de δ (x) que acabamos b
Z b
de dar. El primer miembro de la ecuación f (x)u0 (x)dx = f (x)u(x)

anterior sólo puede depender de los valores −a −a
muy próximos 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 definición. = f (b) − f 0 (x)dx
Si hacemos el cambio en el origen en la ecuación 0
Z ∞ = f (b) − [f (b) − f (0)]
f (x)δ (x)dx = f (0) = f (0)
−∞
entonces podemos deducir la fórmula De acuerdo a esto la función δ aparece al
derivar una función discontinua.
Z ∞
Algunas ecuaciones elementales se pueden es-
f (x)δ (x − a)dx = f (a)
−∞ cribir con la función δ siendo esencialmente
reglas de manipulación para desarrollos alge-
en la que a es un número real cualquiera. Luego
braicos. Estas ecuaciones dan el mismo resul-
el resultado de multiplicar una función 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 FÍSICA, UNAH • Junio 2014 • Vol. II, No. 1

δ (−x) = δ (x) La función delta es una fun-

ción par. Consideremos una función 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 función delta Para una
función continua f y un número a 6= 0 tenemos
xδ (x) = 0 Para probar esto sea f (x) una
que
función 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 función 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
a→0 −∞
= f (x)δ (x2 − a2 )dx
−∞ 1
∞
= lim [f (−a) − f (0)]
Z a
a→0
+ 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 también puede probarse
Al hacer el cambio z = x2 − a2 usando integración 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 también 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 FÍSICA, UNAH • Junio 2014 • Vol. II, No. 1

P1
δ [f (x)] =  i
 δ (x − xi ) Si f (x)
 df 
 dx (xi )
 
es una función continua con xi raíces tal que
f (xi ) = 0. Sea g (x) una función arbitraria,
entonces Z ∞
g (x)δ [f (x)]dx
−∞

Tomando la serie de Taylor de la función f (x)

alrededor de la raíz 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 términos

(x − xi )n de orden n > 1 son despreciables, 6
quedando únicamente el término 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 √ e−n 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 FÍSICA, 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 límite n → ∞. El
orden no conmuta.
En muchas aplicaciones de la física 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(x−x0 )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 función delta
Notemos el comportamiento de las derivadas
de las representaciones de la función 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 características
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 FÍSICA, 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 (−∞, ∞) e−x π2 n! Si consideremos un sistema coordenado curvilí-
Ln Laguerre [0, ∞) e−x 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 función delta
k =0

δ (ξ1 − ξ10 ) δ (ξ2 − ξ20 ) δ (ξ3 − ξ30 )

δ (~r − r~0 ) =
h1 h2 h3

V. Coordenadas esféricas
ξ1 = r, ξ2 = θ, ξ3 = φ

x = r sin(θ ) cos(φ),
Figure 10 y = r sin(θ ) sin(φ),
z = r cos(θ )
Usando los esféricos armónicos

δ (cos(θ1 ) − cos(θ2 ))δ (φ1 − φ2 ) h1 = 1, h2 = r, h3 = r sin(θ ),

∞ X
X l dv = r2 sin(θ )drdθdφ
∗
= 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 función delta en tres 1
= 2 δ (r − r0 )δ (θ − θ0 )δ (φ − φ0 )
dimensiones r sin θ
Si se tiene simetría azimutal
δ 3 (~r) = δ (z )δ (y )δ (z )
donde ~r = xx̂ + y ŷ + z ẑ es el vector de posi-
1
ción. La función delta tridimensional es cero δ (~r − r~0 ) = δ (r − r0 )δ (θ − θ0 )
2πr2 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 )
4πr
δ 3 (~r)dτ
R3
Z ∞ Z ∞ ∞
VI. Coordenadas cilíndricas
Z
= δ (x)δ (y )δ (z )
−∞ −∞ −∞ ξ1 = ρ, ξ2 = φ, ξ3 = z
=1

Además generalizando
h1 = 1, h2 = ρ, h3 = 1, dv = ρdρdφdz

60
 REVISTA DE LA ESCUELA DE FÍSICA, UNAH • Junio 2014 • Vol. II, No. 1

La correspondiente función de Dirac es  

r̂
∇· = 4πδ 3 (~r)
r2
1
δ (~r − r~0 ) = δ (ρ − ρ0 )δ (φ − φ0 )δ (z − z0 )
ρ Además
 
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 función 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 mecánica cuán-
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(θ )dθdφr̂ ) = 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