DELTA DE DIRAC .

NOCIONES B

ASICAS
E. S

AEZ
Consideremos la gr aca de la funci on h

(x a) denida por la Fig. 1:

a
a

2
a +

2
1

x
, a R , > 0.
Fig. 1
Formalmente, dado a R , > 0, la funci on denida por la Fig. 1, esta dada por:
h

(x a) =
_
0 si x < a

2
, x > a +

2
1

si a

2
< x < a +

2
,
o bien, en termino de la funci on Escal on de Heaviside:
(x a) =
_
0 si x < a
1 si x a
,
a
h

(x a) =
_
(x a +

2
) (x a

2
)

.
Es simple comprobar que para todo > 0,
_

(xa)dx =
_
a+

2
a

2
1

dx = 1 . Luego
es inmediato que:
lim
0
_

(x a)dx = 1.
Departamento de Matem atica, UTFSM
email: eduardo.saez@usm.cl.
1
2 E. S

AEZ
a

La Fig. 2 , muestra gr acamente,

el proceso al lmite de la Fig. 1.
x
, a R , 0.
Fig. 2
El proceso anterior suguiere denir un paso al lmite, preservando las dos propiedades
siguientes:
(1) (x a) =
_
0 si x = a
_

(x a)dx = 1
Delta de Dirac
Comentario Importante: Notese que el Delta de Dirac , !! no es!! una funci on en el
sentido usual del Calculo . Las dos propiedades de la denicion en (1), estan en con-
tradiccion con los resultados del Calculo pues se sabe que una funci on identicamente
nula excepto un punto tiene siempre integral cero, en lugar de uno. Mas exactamente:
f(x) = 0, x = a
_

f(x)dx =
_
a

f(x)dx
. .
0
+
_

a
f(x)dx
. .
0
= 0, a R.
Lo anterior signica que no es posible aplicar los resultados del Calculo, al Delta
de Dirac, pues este no satisface la hip otesis basica de tratarse de una funci on en el
sentido ordinario del Calculo Integral.
En lo que sigue veremos un nuevo concepto, que explica en forma m as clara que es
realmente el Delta de Dirac.
Denici on 1. Una funcion , se llama de tendencia rapida a cero y escribiremos

rap
0, si es denida como, : (, ) R , de clase C

y tiene la propiedad:
lim
|x|

(n)
(x)x
m
= 0, n, m N
0
.
Comentario: El valor nulo del lmite anterior, signica que la funci on y todas sus
derivadas tienen la propiedad de tender a cero mas rapido que cualquier crecimiento
de las potencia de x
n
con n N
0
, cuando |x| es muy grande. Geometricamente la
propiedad signica que la graca de y las gracas de todas las derivadas
(n)
, para
|x| muy grande se confunden con el eje x , ver Fig. 3.
DELTA DE DIRAC 3
x
0
Fig. 3
Comentario: Las integrales impropias de las funciones,
rap
0 y en general de
las funciones derivadas
(n)
rap
0, n N
0
, siempre existen , pues para K > 0
sucientemente grande
_

(n)
()d
_
K
K

(n)
()d
El conjunto = {|
rap
0} con las leyes usuales para suma de funciones y
multiplicaci on por escalares , es decir , con las operaciones para funciones de sumas
de im agenes y multiplicaci on de im agenes por escalares , mas exactamente:
_
( + )() = () + ()
()() = ()
, R , (, ),
es un Espacio Vectorial Real. Geometricamente, podemos interpretar los vectores del
espacio como simples curvas y que corresponden a las gracas de las funciones

(n)
rap
0, n N
0
.
Denici on 2. Cualquier aplicaci on Lineal
T : R
T()
, se llama Distribucion
Intuitivamente: una Distribuci on es simplemente una aplicaci on, que preserva la
suma y multiplicaci on por escalar de , y que a cada curva de se le asocia un
unico escalar como im agen.
Observaci on . Notese que por denicion dom(T) = , es decir, el dominio de las
distribuciones es el conjunto de las funciones
rap
0, diferencia fundamental con
las funciones , f, en el sentido del C alculo Diferencial donde el dominio dom(f) R
, o bien , en el caso de funciones de varias variables dom(f) R
n
.
Denici on 3. Dos distribuciones T
1
, T
2
: R son iguales si y s olo si
, T
1
() = T
2
()
Notese que la idea de igualdad para distribuciones es simplemente, la idea usual para
funciones (se asocia a cada elemento en el dominio la misma im agen).
4 E. S

AEZ
Ejemplo 1. Sea la funcion seno de la Trigonometra, sen : (, ) [1, 1].
Entonces es posible asociar a la funcion seno una distribucion , C omo ?.
Es inmediato que la integral impropia siguiente converge ya que

sen()()d

sen()

()

d
_

()

d <
Luego, tiene sentido denir la Distribuci on seno
T
sen
: R , tal que , T
sen
() =
_

sen()()d
La Distribuci on T
sen
signica que a cada curva de , usando la convergencia de la
integral impropia, se le asocia un n umero real como muestra geometricamente la
Fig. 4.
x
T
sen

0
R
T
sen
()

Fig. 4
La propiedad de linealidad de T
sen
, es consecuencia inmediata de las propiedades de
las integrales convergentes y se tiene:
_
T
sen
( + ) = T
sen
() + T
sen
()
T
sen
() = T
sen
() , R
La distribucion T
sen
, se llama Funcion Seno Generalizada.
Denici on 4. Sea a R. La aplicaci on Delta de Dirac es simplemente la dis-
tribucion denida por:

a
: R

a
()
, donde ,
a
() = (a).
Comentario: Geometricamente, el Delta de Dirac
a
, es la distribucion que asocia,
a cada curva la segunda coordenada del punto (a, (a)) de la curva . Notese
que el Delta de Dirac no considera para nada la graca de la curva para puntos
con abscisa x = a, ver Fig. 5.
(a) x

Fig. 5
x=a
(a, (a))

a
DELTA DE DIRAC 5
Sabemos que la distribucion Delta de Dirac no es una funci on en el sentido ordi-
nario del C alculo. Que sentido tiene una integral que involucre un Delta de Dirac
?. Para responder esta pregunta y usando la denicion misma del Delta de Dirac
tiene sentido denir:
_

(x a)(x)dx :=
a
() = (a) , , a R.
Observaci on. 1) Como
a
, no es en el sentido usual del C alculo, una funci on de una
variable . La integral anterior, tampoco es una integral en el sentido ordinario del
C alculo Integral.
2) Notese que por la denicion anterior , el resultado de la integral es simplemente
el unico valor puntual que considera el Delta de Dirac, es decir, la im agen en el punto
a de la funcion .
Con argumentos mas avanzados que lo de estas notas, se demuestra que la denicion
anterior se puede extender a funciones continuas y se tiene:
(2) f C
o

(x a)f(x)dx := f(a) , a R.
Aplicaci on interesante: La Transformada de Laplace de una funci on f : [0, )
R, seccionalmente continua y mayorada por una exponencial se dene por la integral
L[f](s) :=
_

0
f(t)e
st
dt , s > s
0
Si a 0. Que sentido tiene considerar L[
a
](s) =
_

0
(t a)e
st
dt ?. La f ormula
(2) le da sentido a las integrales que contienen el Delta de Dirac, en efecto, si f =
a
en la formula anterior , el valor de la integral de la formula (2) dice que el resultado
es simplemente el valor puntual de la exponencial en el punto a , es decir
L[
a
](s) =
a
(e
st
) = e
sa
, a 0 , (ver Fig. 6 )
a
f(t) = e
st
t
e
sa
En particular si a = 0 , la exponencial es la funcion constante e
0t
1, en consecuen-
cia L[
0
](s) = 1
An alogamente a la aplicaci on anterior, es posible dar sentido a la Transformada
de Fourier de funciones continuas.
6 E. S

AEZ
Aplicando la formula (2) al Delta de Dirac:
F[
a
]() :=
_

(x a)e
ix
dx = e
ia
, a R
En particular si a = 0 , F[
0
]() :=
_

(x)e
ix
dx = e
i0
1
Recordando la Transformada Inversa de Fourier, F
1
[e
ia
](x) = (x a) , de
donde:
(x a) =
1
2
_

e
ia
e
ix
d =
1
2
_

e
ia
e
ix
d
Cambiando en la segunda integral, x , se tiene:
( a) =
1
2
_

e
ia
e
i
d
Pero ( a) = ( + a), de donde es inmediato que
F[e
ia
]() = ( + a) , a R
1. Derivada de una distribuci

on
El concepto ordinario de derivada, como lmite de una razon de cambios, no es
aplicable a las distribuciones ya que las distribuciones no son funciones en el sentido
ordinario del C alculo Diferencial.
Sabemos que si , entonces la derivada ordinaria del C alculo Diferencial de
es tambien una funcion

. En consecuencia bajo una distribucion T, la im agen

T(

) R . Esta propiedad permite denir la derivada de una distribucion como otra

distribucion mediante el siguiente concepto.
Denici on 5. Supongamos una distribucion T : R , tal que, T() .
Entonces la distribucion T

: R , tal que , T(

) se llama Primera
Derivada de la distribucion T.
Ejemplo 2. Del C alculo Diferencial se tiene que
d
dx
(sen x) cos x. Cu al es la
derivada de la funcion seno en el sentido Distribucional ?.
Consideremos la Distribuci on T
sen
del Ejemplo 1, entonces la derivada Distribu-
cional por la denicion anterior est a dada por
T

sen
: R , tal que , T

sen
() = T
sen
(

)
Pero
_

_
T
sen
(

) =
_

sen x

(x)dx , integrando por partes ,

=
_
sen x(x)

cos x(x)dx
_
=
_

cos x(x)dx
= T
cos
()
DELTA DE DIRAC 7
Por el calculo anterior, T

sen
() = T
cos
() , . Luego por la Denici on 3.
T

sen
T
cos
.
Pregunta Interesante: Las derivadas tanto en el sentido del C alculo como en
el sentido de las funciones generalizadas es analogo al ejemplo anterior ?
Respuesta: Consideremos la funcion Escalon de Heaviside. La derivada de la
funcion de Heaviside en el sentido del C alculo Diferencial est a dado por:

(x a) =
_
0 si x < a, x > a
si x = a
La derivada de la funcion Escalon en el sentido distribucional por la Denici on 5 est a
dada por:
T

a
: R , tal que , T

a
() = T

a
(

)
Pero
_

_
T

a
(

) =
_

(x a)

(x)dx
=
_

(x)dx
= (x)

a
= (a)
=
a
()
Por el calculo anterior, T

a
() =
a
() , . Luego por la Denici on 3.
T

a

a
.
Ejemplo 3. La funcion Rampa se dene por:
r(x a) =
_
0 si x < a
x a si x a
,
a
La derivada de la funcion Rampa en el sentido del C alculo Diferencial est a dada por:
r

(x a) =
_
_
_
0 si x < a
si x = a
1 si x > a
Si T
r
a
designa la Distribuci on Rampa (funci on Rampa generalizada) , su derivada en
el sentido distribucional, por la Denici on 5, est a dada por:
T

r
a
: R , tal que , T

r
a
() = T
r
a
(

)
Pero
_

_
T
r
a
(

) =
_

r(x a)

(x)dx
=
_

a
(r a)

(x)dx
=
_
(x a)(x)

a
(x)dx
_
=
_

a
(x)dx
=
_

(x a)(x)dx
= T

a
()
8 E. S

AEZ
Por el calculo anterior, T

r
a
() = T

a
() , . Luego por la Denici on 3.
T

r
a
T

a
.
Observaci on: Notese que T

r
a
= T

a
=
a
Ejemplo 4. Ejemplo interesante
Sea f : R R una funcion , tal que lim
|x|
f(x)(x) = 0, , de clase C
1
, salvo
en el punto a R donde f tiene una discontinuidad de primera clase (discontinuidad
de salto). Sea h(a) = f(a

) f(a
+
) R el salto en el punto (ver Fig. 6)
x
Fig. 6
x=a
h(a)
y consideremos ;
T
f
: R
T
f
()
, la funcion generalizada de f.
Entonces la derivada en el sentido de las distribuciones:
T

f
() = T
f
(

)
=
_
a

f(x)

(x)dx
_

a
f(x)

(x)dx
=
_
f(x)(x)

_
a

(x)(x)dx + f(x)(x)

a
f

(x)(x)dx
_
=
_
f(a
+
)(a)
_

(x)(x)dx f(a

)(a)
_
=
_

(x)(x)dx +
_
f(a

) f(a
+
)
_
(a)
= T
f
() + h(a)
a
() ,
Luego , T

f
= T
f
+ h(a)
a
.
References
[1] Nino Boccara. Distributions . Ellipses . Collection Mathematiques pour LIngenieur. 1997.
[2] Laurent Schwartz.Mathematics for the Physical Sciences. Dover Publications, Inc. Mineola,
New York. 1966
[3] Laurent Schwartz. Theorie des Distributions. Paris, Hermann, 1966.