Delta de Dirac

Resumen

FCFM Javier Alejandro Carrasco Ávila 2015

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

1 Definición que, como se dijo, no nos interesará la representa-

ción explícita de δ, sino su acción al integrar en los
A la función (generalizada) delta de Dirac se le suele intervalos que necesitemos.
llamar distrubución delta, pues, nos referiremos a un
delta de Dirac como a aquel objeto matemático 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)
Definición Simbólica (Delta de Dirac)
Simbólicamente, un delta de Dirac es una función
−∞

Para una denición 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
 teoría de distribuciones

si x = 0
0,
para obtener una buena
x 7−→ δ(x) = límites
∞,
representación matemática.
de sucesiones de funciones

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

Definición (Sucesión Delta)
b
Sea f : R → R una función contínua. Una sucesión
Z
δ(x)dx = 1
delta (o secuencia delta) es cualquier sucesión de
funciones {φ (x)} con dominio y recorrido real
a

que cumple:
n n∈N
Nota
Es importante notar que δ no es una función en el
sentido del cálculo habitual, y por lo tanto, tener en
cuenta que cada vez que se hable de
Z b
∃a, b ∈ R, a < 0 < b, lı́m φn (x)f (x)dx = f (0)
, hablamos de una (cuya
función delta de
n→∞ a

denición formal no corresponde a la recién mostra-

Dirac función generalizada

da). A diferencia de la denición simbólica 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 denición idea-
lizada anterior. De hecho, notemos que, considerando
Z
δ(x)dx = 1
−∞
el caso particular en que f (x) ≡ 1, obtenemos:
La razón importante de tener en cuenta esta deni-
ción o representación simbólica, es que, nos recuerda Z b

que no nos interesa el signicado de un delta de Di- lı́m φn (x)dx = 1

rac como función generalizada, si no que la acción

n→∞ a

que ejerce sobre integrales, de hecho, la propiedad Además, existen sucesiones delta que cumplen lo
más importante que se utilizará de un delta de Dirac mencionado para el caso en que a → −∞ ∧ b → ∞,
es fácil de obtener a partir de esta denición simbó- es decir, que cumplen:
lica, y es la que se muestra a continuación. lı́m
Z ∞
φn (x)f (x)dx = f (0)
n→∞ −∞
Propiedad de Selectividad
Sea f : R → R una función contínua. Entonces:
Z ∞
lı́m φn (x)dx = 1
n→∞ −∞
b
Algunas sucesiones delta construídas 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

tación general que cumpla las propiedades mencio-

π 1+n2 x2

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

2 2
φn (x) = √n e−n x
π

que escribamos δ estamos aceptando que hablamos

de cualquier representación 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 implícitamente, es decir, cuando anotemos varias de una distribución de probabilidad normal (distri-
veces un delta de Dirac, no necesariamente corres- bución Gaussiana).
ponderán al mismo. Esto no produce confusión ya

1
J.C.Á. Resumen
Éstas son sucesiones delta con a → −∞ ∧ b → ∞, y se requiere que la función f sea contínua, lo cual
además, tienen la particularidad de que cumplen: es muy importante tener en consideración, ya que
se utilizará la misma notación recién señalada pero
∞
signicarán cosas levemente distintas (son otras las
Z
φ (x)dx = 1
−∞
n
exigencias de la función f ).
es decir, su integral se encuentra normalizada (sin Propiedad
necesidad de hacer n → ∞). dH(x)
Nota δ(x) =
Una sucesión delta no converge a una función del-
dx

ta. De hecho, las tres sucesiones delta presentadas Una demostración informal se puede lograr conside-
explícitamente, divergen (recordar que estamos en el rando una sucesión delta φ (x) y vericando que
contexto de límites de sucesiones de funciones, es de-
n

cir, en el de los espacios de funciones, luego, lo que se lı́m Φn (x) = H(x)

debe comprobar es que no existe convergencia unifor-
n→∞

me). En efecto, es fácil 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 demostración formal de esta u otra propie-
−∞

conv. puntual)⇔(no conv. puntual ⇒ no conv. uni- dad de un delta de Dirac, requerirá, naturalmente, la
forme)]. aplicación de fundamentos de la teoría de funciones
En lo que sigue, siempre se considerarán, solo los ca- generalizadas (a menos que se pueda demostrar a
sos en que a → −∞ y b → ∞, de forma implícita. partir de propiedades ya conocidas).
No obstante, se debe tener en consideración, que lo Propiedad
escrito será válido para los casos en que se reempla- Sea f : R → R una función m-diferenciable. Enton-
cen los límites de las integrales indenidas por a y b ces:
tal cual como se mostró en esta sección, 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
expresión
∞
dm φn (x) dm f (0)
Z

En la sección anterior se mencionó la importantísi- lı́m

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)
Definición f (x)dx < ∞, ∀n ∈ N ∧ ∀k ∈ {0, ..., m}
(Función Escalón de Heaviside) −∞ dxk
La función escalón de Heaviside (o función es- Propiedad
calón unitario) es aquella función con dominio real Si f : R → R es una función contínua en x = 0 o si
denida por: satisface que lı́m xf (x) = 0, entonces:
x→0

0, si x < 0
 Z ∞

1, si x ≥ 0
H(x) = xδ(x)f (x)dx = 0
−∞

Notación Esto se resume en la notación 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 contínua.
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 función f : R → R contínua. es decir, ∀f : R → R función contínua,
En la notación recién 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)

más adelante, existe un caso especíco en que no

1 2 −∞

Delta de Dirac 2
J.C.Á. Resumen
Propiedad
Ahora consideremos una función real f expandible
1 en serie de Fourier entre −L y L, es decir,
δ(ax) = δ(x), ∀a 6= 0 ∞
|a| a0 X   nπx   nπx 
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 función
n=1

(generalizada) par (esto signica que las sucesiones

δ(−x) Si además, f es contínua a trozos y contínua en x = 0
delta están conformadas por funciones pares). (en particular, si f , es contínua), 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 función diferenciable con m
lı́m Pa (x)f (x)dx = + an = f (0)
−L a→0 2
raíces 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, lı́m P (x) cumple la propiedad de selec-
tividad (que es la que dene a la distribución delta),
a→0 a

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

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

m
X 1
δ(g(x)) =  dg(xk )  δ(x − xk ) Representación 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 denición simbólica dada en la Explícitamente:
sección 1 y la aproximación lineal de primer orden ∞

(aprox. de Taylor de orden 1) de la función g en

1 1 X  nπx 
δ(x) = + cos
torno a cada una de sus raíces. 2L L n=1 L

Notemos que la penúltima propiedad corresponde a Además,

un caso particular de la última. δ(x − ξ) =
2 X
∞
sin

nπξ

sin
 nπx 
,0 < ξ < L
Propiedad L n=1 L L
Sea g : R → R una función contínua. Entonces:
La segunda expresión se obtiene de la serie de Fou-
g(x)δ(x) = g(0)δ(x) rier en senos para δ(x − ξ). De formas análogas se
pueden obtener otras representaciones en series de
3 Representaciones
Fourier.
Anteriormente se presentó la representación de un Ahora, notando que
delta de Dirac por medio de . En 1
Z γ+i∞
1 xz
esta sección se presentan otras tres representaciones
sucesiones de Dirac
H(x) = e dz, ∀γ ∈ R\{0},
muy útiles.
2πi γ−i∞ z
donde γ 6= 0 debido al polo en z = 0, y derivando
Definición (Función Pulso) (1) respecto a x, obtenemos que
Sea a ∈ (0, ∞). El pulso de ancho 2a (o función
pulso de ancho 2a) y área unitaria es la función real:
Z γ+i∞
dH(x) 1
δ(x) = = exz dz,
dx 2πi
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
2πi
−L y L, como (b = 0, pues es una función par):
a −i∞
n
que corresponde a una nueva representación de la
distribución delta, sin embargo, se puede modicar
la expresión anterior mediante el cambio de variables
∞
1 1 X  nπa   nπx 

k = −iz (que es una rotación del plano en 90 en

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

Delta de Dirac 3
J.C.Á. Resumen
expresión más práctica. Nuestro análisis, nos lleva a concluir que, si primero
se desarrolla la integral respecto a x, para una gran
Representación 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, básicamente, 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, sería posible denir
Z ∞
δ(x)f (x)dx = f (0)
un delta de Dirac como una función en el sentido del −∞

Cálculo habitual, lo cual no es el caso (y por ello se A continuación, consideremos un pulso rectangular
debe denir como una función generalizada). positivo normalizado P (t − t ). +
τ 0

Hagamos una leve modicación a la representación Definición (Función Pulso) (2)

integral y consideremos la función Sea τ ∈ (0, ∞). Sea t
> 0. El pulso rectangular
positivo normalizado es la función real:
0
Z ∞
1
si 0 ≤ t ≤ t
2 2
ψa (x) = e−a 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 función e es uniformemente contínua, 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
lı́m ψa (x) = eikx dk = δ(x)
2π
y entregan claridad. Por ejemplo, la segunda función
a→0 −∞

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 expresión vos, lo cual es adecuado al contexto de la transforma-

da de Laplace, que se dene sólo para el semiespacio
∞ positivo. Además, 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 función toma el valor 1. También 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 precaución al leer desarrollos ma-
1 −x2
temáticos 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 más que la densidad de una distribución
+
τ 0

de probabilidad Gaussiana (notemos que, haciendo t0 +τ

el c.v. n = , se obtiene la segunda sucesión delta 1 − e−sτ

Z
1 −st
L Pτ+ (t − t0 ) (s) = e dt = e−st0
 
1

presentada a modo de ejemplo en la sección 2), por

2a t0 τ sτ

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

Z ∞
ψa (x)dx = 1, ∀a ∈ R lı́m Pτ+ (t − t0 ) = δ(t − t0 )
τ →0
−∞

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

1 − e−sτ
rosamente, que lı́m
τ →0 sτ
=1
∞ para concluir el valor de la transformada de Laplace
de un delta de Dirac.
Z
lı́m ψa (x)f (x)dx = f (0)
a→0 −∞

para toda función de "comportamiento razonable- Representación en

mente bueno" f (x) (para mayor precisión es ne- Transformada de Laplace

cesario adentrarse en la teoría de distribuciones).

Bastará que f sea diferenciable en x = 0. L [δ(t − t0 )] (s) = e−st0 , ∀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 distribución del- madas de Fourier con coecientes para ambas,
0
√1
ta no es exactamente la misma que la denida en el sin embargo, es común usar una denición alternati-
0 2π

intervalo (−∞, ∞). Por ejemplo, no podríamos decir va con coecientes 1 y respectivamente, en cuyo
1

que δ(t) (construida de esta forma) es una función caso, las relaciones presentadas cambian a las expre-
2π

(generalizada) par, dado que en la teoría de las trans- siones que se muestran a continuación.
formadas de Laplace, todas las funciones se asumen
cero para t < 0. Con δ(t) construida así, obtendría- Representación en

mos lo que podría llamarse "la mitad de la distri- Transformada de Fourier (2)

bución delta original". Una consecuencia práctica es

que, en este caso, la propiedad de selectividad cam- F [δ(x − a)] (λ) = e−iλa , ∀a ∈ R
biaría a: Z ∞ y además,
δ(t)f (t)dt = f (0 + 0)
F e−iξa (λ) = δ(λ + a), ∀a ∈ R
 

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

0

muchos problemas que involucran transformadas de Estos resultados se obtienen de forma idéntica a los
Laplace, el valor f (0) no es posible denirlo. anteriores, simplemente usando las deniciones al-
Por último, notemos que se puede dar sentido a la ternativas de transformadas y antitransformadas de
transformada de Fourier de un delta de Dirac: Fourier mencionadas.
Z ∞
1
F [δ(x − a)] (λ) := √ δ(x−a)e−iλx dx, a ∈ R
2π −∞ 4 Extensión a Rn
donde la igualdad es por la denición de la trans- Sea ~r ∈ R un vector n-dimensional. Si, al represen-
formada de Fourier. Pero aquí podemos usar di- n

tarse en coordenadas cartesianas, el vector se escribe

rectamente la propiedad de selectividad cambiada,
obteniendo la nueva representación deseada. ~r =
n
X
xi x̂i
Representación en i=1
Transformada de Fourier (1)
entonces, su delta de Dirac se dene
−iλa 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 integración se realiza de forma independien-

te en cada dimensión.
e−iλ0
F [δ(x)] (λ) = √
2π
=√
1
2π
Notemos que se obtiene el resultado:
También 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 e−iλa (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 −iλa iλx 1 −iξa iξx
δ(x−a) = 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) = e−iξa e−iξλ dξ, dV = dx1 · · · dxn = |det (J)| du1 · · · dun ,
donde J es el Jacobiano de la transformación, que
2π −∞

lo que, junto con el hecho de que δ(−λ−a) = δ(λ+a) en tres dimensiones se escribe
(paridad), nos lleva a la expresión ∂x1

∂x2 ∂x3
√ ∂u1
∂x1
∂u1
∂x2
∂u1
∂x3
F e−iξa (λ) = 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-

féricas en R , que, debido a la simetría de éstas, se
3

tiene que
δ(r)
δ(~r) = ,
4πr2
donde r ≡ k~rk, que reduce 3 integrales en una sola.
Claro, también es válida la fórmula más 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 algún error de tipeo u otro tipo, por favor, enviar un
mail a javier.carrasco@ug.uchile.cl para corregirlo. Ade-
más, es bienvenido cualquier consejo y/o comentario construc-
tivo sobre el texto (para extenderlo, modicarlo, etc.).-

Delta de Dirac 6