Delta de Dirac

Resumen

FCFM Javier Alejandro Carrasco vila 2015

(javier.carrasco@ug.uchile.cl) Enero

1 Definicin que, como se dijo, no nos interesar la representa-

cin explcita de , sino su accin al integrar en los
A la funcin (generalizada) delta de Dirac se le suele intervalos que necesitemos.
llamar distrubucin delta, pues, nos referiremos a un
delta de Dirac como a aquel objeto matemtico que Un caso particular de la propiedad de selectividad se
posee ciertas propiedades y cuyo sentido (y utilidad) tiene considerando a b :
aparece al aplicarse sobre integrales en el integrando. Z
(x)f (x)dx = f (0)
Definicin Simblica (Delta de Dirac)
Simblicamente, un delta de Dirac es una funcin

Para una denicin completamente formal de un

delta de Dirac, es necesario conocer conceptos de la
: R {0, }
si x 6= 0 (funciones generalizadas),
sin embargo, existe la alternativa de utilizar
 teora de distribuciones

si x = 0
0,
para obtener una buena
x 7 (x) = lmites
,
representacin matemtica.
de sucesiones de funciones

tal que a, b R, a < 0 < b,

Definicin (Sucesin Delta)
b
Sea f : R R una funcin contnua. Una sucesin
Z
(x)dx = 1
delta (o secuencia delta) es cualquier sucesin de
funciones { (x)} con dominio y recorrido real
a

que cumple:
n nN
Nota
Es importante notar que no es una funcin en el
sentido del clculo habitual, y por lo tanto, tener en
cuenta que cada vez que se hable de
Z b
a, b R, a < 0 < b, lm n (x)f (x)dx = f (0)
, hablamos de una (cuya
funcin delta de
n a

denicin formal no corresponde a la recin mostra-

Dirac funcin generalizada

da). A diferencia de la denicin simblica dada para un

delta de Dirac, las sucesiones deltas, s existen (y al
Notemos que, en particular, haciendo a y menos una para cada par de valores a, b R) y son
b , se cumple una buena forma de representar un delta de Dirac,
ya que, en conjunto, cumplen las propiedades que

deseamos y que exigimos en nuestra denicin idea-
lizada anterior. De hecho, notemos que, considerando
Z
(x)dx = 1

el caso particular en que f (x) 1, obtenemos:
La razn importante de tener en cuenta esta deni-
cin o representacin simblica, es que, nos recuerda Z b

que no nos interesa el signicado de un delta de Di- lm n (x)dx = 1

rac como funcin generalizada, si no que la accin

n a

que ejerce sobre integrales, de hecho, la propiedad Adems, existen sucesiones delta que cumplen lo
ms importante que se utilizar de un delta de Dirac mencionado para el caso en que a b ,
es fcil de obtener a partir de esta denicin simb- es decir, que cumplen:
lica, y es la que se muestra a continuacin. lm
Z
n (x)f (x)dx = f (0)
n
Propiedad de Selectividad
Sea f : R R una funcin contnua. Entonces:
Z
lm n (x)dx = 1
n
b
Algunas sucesiones delta construdas a partir de fun-
Z

a
(x)f (x)dx = f (0), a, b R, a < 0 < b
ciones diferenciables son:
Se debe tener en cuenta que no existe una represen- n (x) = n 1

tacin general que cumpla las propiedades mencio-

1+n2 x2

nadas de para cualquier a, b R, luego, cada vez

2 2
n (x) = n en x

que escribamos estamos aceptando que hablamos

de cualquier representacin formal que cumpla estas
2
1 sin (nx)
n (x) = n x2

propiedades en los intervalos [a, b] jados previamen- Notemos que la segunda corresponde a la densidad
te implcitamente, es decir, cuando anotemos varias de una distribucin de probabilidad normal (distri-
veces un delta de Dirac, no necesariamente corres- bucin Gaussiana).
pondern al mismo. Esto no produce confusin ya

1
J.C.. Resumen
stas son sucesiones delta con a b , y se requiere que la funcin f sea contnua, lo cual
adems, tienen la particularidad de que cumplen: es muy importante tener en consideracin, ya que
se utilizar la misma notacin recin sealada pero

signicarn cosas levemente distintas (son otras las
Z
(x)dx = 1

n
exigencias de la funcin f ).
es decir, su integral se encuentra normalizada (sin Propiedad
necesidad de hacer n ). dH(x)
Nota (x) =
Una sucesin delta no converge a una funcin del-
dx

ta. De hecho, las tres sucesiones delta presentadas Una demostracin informal se puede lograr conside-
explcitamente, divergen (recordar que estamos en el rando una sucesin delta (x) y vericando que
contexto de lmites de sucesiones de funciones, es de-
n

cir, en el de los espacios de funciones, luego, lo que se lm n (x) = H(x)

debe comprobar es que no existe convergencia unifor-
n

me). En efecto, es fcil ver que ni siquiera se cumple donde Z x

la convergencia puntual (o simple), entonces, no se n (x) = n ()d

cumple la convergencia uniforme [(conv. uniforme Cualquier demostracin formal de esta u otra propie-

conv. puntual)(no conv. puntual no conv. uni- dad de un delta de Dirac, requerir, naturalmente, la
forme)]. aplicacin de fundamentos de la teora de funciones
En lo que sigue, siempre se considerarn, solo los ca- generalizadas (a menos que se pueda demostrar a
sos en que a y b , de forma implcita. partir de propiedades ya conocidas).
No obstante, se debe tener en consideracin, que lo Propiedad
escrito ser vlido para los casos en que se reempla- Sea f : R R una funcin m-diferenciable. Enton-
cen los lmites de las integrales indenidas por a y b ces:
tal cual como se mostr en esta seccin, con el cui-
dado de que, en algunos casos, pueden ser necesarias
dm (x) dm f (0)
Z

ciertas condiciones adicionales o modicar algunas dx m

f (x)dx = (1)m
dxm
de estas.

Notemos que lo anterior se representa mediante la

2 Propiedades
expresin

dm n (x) dm f (0)
Z

En la seccin anterior se mencion la importantsi- lm

dxm
f (x)dx = (1)m
dxm
ma . Ahora veremos otras
n

propiedades muy tiles de un delta de Dirac.

propiedad de selectividad
que exige que (x) sea diferenciable m veces y que:
n
Z k
d n (x)
Definicin f (x)dx < , n N k {0, ..., m}
(Funcin Escaln de Heaviside) dxk
La funcin escaln de Heaviside (o funcin es- Propiedad
caln unitario) es aquella funcin con dominio real Si f : R R es una funcin contnua en x = 0 o si
denida por: satisface que lm xf (x) = 0, entonces:
x0

0, si x < 0
 Z

1, si x 0
H(x) = x(x)f (x)dx = 0

Notacin Esto se resume en la notacin x(x) = 0.

Cuando escribamos g (x)(h (x)) = g (x)(h (x)),
con g , g , h , h funciones de R en R cualesquiera,
1 1 2 2
Notemos que la propiedad anterior no exige que f
tales que g , g sean no nulas, nos referiremos a que
1 2 1 2
sea contnua.
se cumple la igualdad:
1 2

Propiedad (Selectividad Cambiada)

Z Z
g1 (x)(h1 (x))f (x)dx = g2 (x)(h2 (x))f (x)dx d
(x a) = H(x a)
dx
para toda funcin f : R R contnua. es decir, f : R R funcin contnua,
En la notacin recin indicada, se excluyen los casos Z

en que g g son nulos debido a que, como se ver (x a)f (x)dx = f (a)

ms adelante, existe un caso especco en que no

1 2

Delta de Dirac 2
J.C.. Resumen
Propiedad
Ahora consideremos una funcin real f expandible
1 en serie de Fourier entre L y L, es decir,
(ax) = (x), a 6= 0
|a| a0 X   nx   nx 
f (x) = + an cos + bn sin
Del caso particular a = 1, se obtiene que (x) = 2 L L
, es decir, el delta de Dirac es una funcin
n=1

(generalizada) par (esto signica que las sucesiones

(x) Si adems, f es contnua a trozos y contnua en x = 0
delta estn conformadas por funciones pares). (en particular, si f , es contnua), es claro que

a0 X
Propiedad f (0) = + an
2 n=1
(x2 a2 ) =
1
2a
((x + a) + (x a)) , a > 0 As, podemos concluir que
Z L
Propiedad a0 X
Sea g : R R una funcin diferenciable con m
lm Pa (x)f (x)dx = + an = f (0)
L a0 2
races distintas entre s. Sean x , ..., x estas ra-
n=1

ces (i.e. g(x ) = 0, k = 1, ..., m). Entonces, si

1 m
Es decir, lm P (x) cumple la propiedad de selec-
tividad (que es la que dene a la distribucin delta),
a0 a

6= 0, k {1, ..., m}, se tiene que

k
dg(xk )
con lo que hemos obtenido una representacin nueva
para un delta de Dirac.
dx

m
X 1
(g(x)) =  dg(xk )  (x xk ) Representacin en Serie de Fourier
Sea L > 0. Un delta de Dirac lo podemos represen-
 
k=1  dx 

Esta ltima propiedad se puede demostrar informal- tar por medio de una serie de Fourier entre L y L.
mente utilizando la denicin simblica dada en la Explcitamente:
seccin 1 y la aproximacin lineal de primer orden

(aprox. de Taylor de orden 1) de la funcin g en

1 1 X  nx 
(x) = + cos
torno a cada una de sus races. 2L L n=1 L

Notemos que la penltima propiedad corresponde a Adems,

un caso particular de la ltima. (x ) =
2 X

sin

n

sin
 nx 
,0 < < L
Propiedad L n=1 L L
Sea g : R R una funcin contnua. Entonces:
La segunda expresin se obtiene de la serie de Fou-
g(x)(x) = g(0)(x) rier en senos para (x ). De formas anlogas se
pueden obtener otras representaciones en series de
3 Representaciones
Fourier.
Anteriormente se present la representacin de un Ahora, notando que
delta de Dirac por medio de . En 1
Z +i
1 xz
esta seccin se presentan otras tres representaciones
sucesiones de Dirac
H(x) = e dz, R\{0},
muy tiles.
2i i z
donde 6= 0 debido al polo en z = 0, y derivando
Definicin (Funcin Pulso) (1) respecto a x, obtenemos que
Sea a (0, ). El pulso de ancho 2a (o funcin
pulso de ancho 2a) y rea unitaria es la funcin real:
Z +i
dH(x) 1
(x) = = exz dz,
dx 2i
si x a
i

pero esta vez, ya que no existe polo en el integrando,

0,
, si a < x < a
1
tenemos que puede ser cualquier valor real. Luego,
si x a
P (x) =
por conveniencia, escogeremos = 0, obteniendo
a 2a
0,

Consideremos el pulso P (x) y L > a. Notemos que 1

Z +i

P (x) se puede expresar, en serie de Fourier entre

a (x) = exz dz
2i
L y L, como (b = 0, pues es una funcin par):
a i
n
que corresponde a una nueva representacin de la
distribucin delta, sin embargo, se puede modicar
la expresin anterior mediante el cambio de variables

1 1 X  na   nx 

k = iz (que es una rotacin del plano en 90 en

Pa (x) = + sin cos
2L n=1 na L L o
el sentido de los punteros del reloj), resultando una

Delta de Dirac 3
J.C.. Resumen
expresin ms prctica. Nuestro anlisis, nos lleva a concluir que, si primero
se desarrolla la integral respecto a x, para una gran
Representacin Integral
variedad de funciones f (x), se cumple la igualdad
Z
1 1
Z Z
(x) = eikx dk eikx f (x)dkdx = f (0)
2 2
Nota
Ambas representaciones mencionadas resultan ser, que es, bsicamente, escribir de forma sorprendente
respectivamente, una serie divergente y una integral la propiedad de selectividad:
divergente, lo cual no nos debe sorprender, pues, si
fueran expresiones convergentes, sera posible denir
Z
(x)f (x)dx = f (0)
un delta de Dirac como una funcin en el sentido del

Clculo habitual, lo cual no es el caso (y por ello se A continuacin, consideremos un pulso rectangular
debe denir como una funcin generalizada). positivo normalizado P (t t ). +
0

Hagamos una leve modicacin a la representacin Definicin (Funcin Pulso) (2)

integral y consideremos la funcin Sea (0, ). Sea t
> 0. El pulso rectangular
positivo normalizado es la funcin real:
0
Z
1
si 0 t t
2 2
a (x) = ea k
eikx dk, a 6= 0
0,
si t < t < t
2 0
P+ (t t0 ) = 1

En este caso, el factor de convergencia e hace a la si t t +

, 0 0 +
a2 k2
integral convergente (de all el nombre); y dado que
0, 0

la funcin e es uniformemente contnua, se tiene

ikx Nota
Existen muchas formas posibles de denir funciones
que
pulso. Para uso exclusivo de este texto, se denieron
las 2 ya presentadas, pues son adecuadas al contexto
Z
1
lm a (x) = eikx dk = (x)
2
y entregan claridad. Por ejemplo, la segunda funcin
a0

Pero, (x) puede ser calculada y evaluada muy f- pulso no se encuentra denida para valores negati-
cilmente. En efecto, completando cuadrados, se ob-
a

tiene la expresin vos, lo cual es adecuado al contexto de la transforma-

da de Laplace, que se dene slo para el semiespacio
positivo. Adems, el concepto de puede
referirse a que el rea es 1 (como en nuestro caso)
normalizado
Z
1 x22 x 2
a (x) = e 4a e(ak+ 2ai ) dk
2
o a que la funcin toma el valor 1. Tambin note-
y la integral es trivialmente calculada al considerar mos que un pulso no tiene por qu ser rectangular
el c.v. u = ak + que implica
x
du = adk y recor- (en el primer caso se deni como uno rectangular
dando el conocido resultado R e du = , con
2ai
u2 sin mencionarse en el nombre). Por estas razones, se
lo que se obtiene
debe tener algo de precaucin al leer desarrollos ma-
1 x2
temticos que involucren este tipo de funciones.
a (x) = e 4a2
Notemos que la transformada de Laplace del pulso
P (t t ) es
2a
que no es ms que la densidad de una distribucin
+
0

de probabilidad Gaussiana (notemos que, haciendo t0 +

el c.v. n = , se obtiene la segunda sucesin delta 1 es

Z
1 st
L P+ (t t0 ) (s) = e dt = est0
 
1

presentada a modo de ejemplo en la seccin 2), por

2a t0 s

lo que no debe sorprender el resultado Luego, basta ver que

Z
a (x)dx = 1, a R lm P+ (t t0 ) = (t t0 )
0

por lo que es de esperar, y puede ser probado rigu- y que

1 es
rosamente, que lm
0 s
=1
para concluir el valor de la transformada de Laplace
de un delta de Dirac.
Z
lm a (x)f (x)dx = f (0)
a0

para toda funcin de "comportamiento razonable- Representacin en

mente bueno" f (x) (para mayor precisin es ne- Transformada de Laplace

cesario adentrarse en la teora de distribuciones).

Bastar que f sea diferenciable en x = 0. L [(t t0 )] (s) = est0 , t > 0

Delta de Dirac 4
J.C.. Resumen
Importante! Nota
Al considerar t = 0, se obtiene L [(t)] (s) = 1, sin Hemos considerado las transformadas y antitransfor-
embargo, en este caso (t = 0), la distribucin del- madas de Fourier con coecientes para ambas,
0
1
ta no es exactamente la misma que la denida en el sin embargo, es comn usar una denicin alternati-
0 2

intervalo (, ). Por ejemplo, no podramos decir va con coecientes 1 y respectivamente, en cuyo

1

que (t) (construida de esta forma) es una funcin caso, las relaciones presentadas cambian a las expre-
2

(generalizada) par, dado que en la teora de las trans- siones que se muestran a continuacin.
formadas de Laplace, todas las funciones se asumen
cero para t < 0. Con (t) construida as, obtendra- Representacin en

mos lo que podra llamarse "la mitad de la distri- Transformada de Fourier (2)

bucin delta original". Una consecuencia prctica es

que, en este caso, la propiedad de selectividad cam- F [(x a)] () = eia , a R
biara a: Z y adems,
(t)f (t)dt = f (0 + 0)
F eia () = ( + a), a R
 

Esto es algo que vale la pena recordar ya que, en

0

muchos problemas que involucran transformadas de
Laplace, el valor f (0) no es posible denirlo.
Por ltimo, notemos que se puede dar sentido a la
transformada de Fourier de un delta de Dirac:
Z
1
F [(x a)] () := (xa)eix dx, a R
2 4 Extensin a Rn
donde la igualdad es por la denicin de la trans-
formada de Fourier. Pero aqu podemos usar di-
Estos resultados se obtienen de forma idntica a los
anteriores, simplemente usando las deniciones al-
ternativas de transformadas y antitransformadas de
Fourier mencionadas.
Sea ~r R un vector n-dimensional. Si, al represen-
n

tarse en coordenadas cartesianas, el vector se escribe

rectamente la propiedad de selectividad cambiada,
obteniendo la nueva representacin deseada. ~r =
n
X
xi x
i
Representacin en i=1
Transformada de Fourier (1)
entonces, su delta de Dirac se dene
ia n
e
F [(x a)] () = , a R
Y
2 (~r) (xi )

Notemos que un caso particular, es el de a = 0, que

i=1

nos dice que y as, la integracin se realiza de forma independien-

te en cada dimensin.
ei0
F [(x)] () =
2
=
1
2
Notemos que se obtiene el resultado:
Tambin podemos aplicar la antitransformada de
Z
(~r)dV = 1
Fourier (o transformada inversa de Fourier), resul- Ahora, consideremos un sistema de coordenadas dis-
tando tinto al cartesiano denido por las relaciones (que

F 1 eia (x) = 2(x a), a R,
 
deben ser invertibles):
por lo que se tiene: Relaciones Directas:
ui = ui (x1 , ..., xn ), i = 1, ..., n
Relaciones Inversas:
Z Z
1 ia ix 1 ia ix
(xa) = e e d = e e d
2 2
xi = xi (u1 , ..., un ), i = 1, ..., n
Luego, haciendo el c.v. x = , se obtiene Dado que, el diferencial de volumen es
Z
1
( a) = eia ei d, dV = dx1 dxn = |det (J)| du1 dun ,
donde J es el Jacobiano de la transformacin, que
2

lo que, junto con el hecho de que (a) = (+a) en tres dimensiones se escribe
(paridad), nos lleva a la expresin x1

x2 x3
u1
x1
u1
x2
u1
x3
F eia () = 2( + a), a R
 
JR3 ,

u2 u2 u2
x1 x2 x3
u3 u3 u3

Delta de Dirac 5
J.C.. Resumen
entonces, se debe cumplir
Z Z
(~r)dx1 dxn = (~r) |det (J)| du1 dun = 1,

por lo que, necesariamente

Qn
i=1 (ui )
(~r)
|det (J)|

Un caso especial es el que ocurre en coordenadas es-

fricas en R , que, debido a la simetra de stas, se
3

tiene que
(r)
(~r) = ,
4r2
donde r k~rk, que reduce 3 integrales en una sola.
Claro, tambin es vlida la frmula ms general que
se mostr, pero en ese caso se deben realizar las 3
integrales.

Referencias
[1] Eugene Butkov,
. Addison-Wesley Publishing Com-
Mathematical Phy-

pany, Inc. Cop. 1968.

sics

[2] E. Neal Moore, .

Krieger Publishing Company. Noviem-
Theoretical Mechanics

bre de 1990.

Si existe algn error de tipeo u otro tipo, por favor, enviar un
mail a javier.carrasco@ug.uchile.cl para corregirlo. Ade-
ms, es bienvenido cualquier consejo y/o comentario construc-
tivo sobre el texto (para extenderlo, modicarlo, etc.).-

Delta de Dirac 6