DELTA DE DIRAC .

NOCIONES B

ASICAS
E. S

AEZ
Consideremos la graca de la funcion 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 funcion 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 funcion Escalon 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 gracamente,

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 funcion 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 funcion 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 hipotesis basica de tratarse de una funcion en el
sentido ordinario del Calculo Integral.
En lo que sigue veremos un nuevo concepto, que explica en forma mas clara que es
realmente el Delta de Dirac.
Denicion 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 funcion 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 , 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
multiplicacion por escalares , es decir , con las operaciones para funciones de sumas
de imagenes y multiplicacion de imagenes 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
.
Denicion 2. Cualquier aplicacion Lineal
T : R
T()
, se llama Distribucion
Intuitivamente: una Distribucion es simplemente una aplicacion, que preserva la
suma y multiplicacion por escalar de , y que a cada curva de se le asocia un
unico escalar como imagen.
Observacion . 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 Calculo Diferencial donde el dominio dom(f) R
, o bien , en el caso de funciones de varias variables dom(f) R
n
.
Denicion 3. Dos distribuciones T
1
, T
2
: R son iguales si y solo 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 imagen).
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 , Como ?.
Es inmediato que la integral impropia siguiente converge ya que

sen()()d

sen()

()

d
_

()

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

sen()()d
La Distribucion T
sen
signica que a cada curva de , usando la convergencia de la
integral , 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.
Denicion 4. Sea a R. La aplicacion 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 funcion en el sentido ordi-
nario del Calculo. 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.
Observacion. 1) Como
a
, no es en el sentido usual del Calculo, una funcion de una
variable . La integral anterior, tampoco es una integral en el sentido ordinario del
Calculo 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 imagen 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.
Aplicacion interesante: La Transformada de Laplace de una funcion 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 formula
(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
Analogamente a la aplicacion 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 un cuociente de cambios, no es
aplicable a las distribuciones ya que las distribuciones no son funciones en el sentido
ordinario del Calculo Diferencial.
Sabemos que si , entonces la derivada ordinaria del Calculo Diferencial de
es tambien una funcion

. En consecuencia bajo una distribucion T, la imagen

T(

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

distribucion mediante el siguiente concepto.
Denicion 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 Calculo Diferencial se tiene que
d
dx
(sen x) cos x. Cual es la
derivada de la funcion seno en el sentido Distribucional ?.
Consideremos la Distribucion T
sen
del Ejemplo 1, entonces la derivada Distribu-
cional por la denicion anterior esta 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 Denicion 3.
T

sen
T
cos
.
Pregunta Interesante: Las derivadas tanto en el sentido del Calculo 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 Calculo Diferencial esta 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 Denicion 5 esta
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 Denicion 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 Calculo Diferencial esta dada por:
r

(x a) =
_
_
_
0 si x < a
si x = a
1 si x > a
Si T
ra
designa la Distribucion Rampa (funcion Rampa generalizada) , su derivada en
el sentido distribucional, por la Denicion 5, esta dada por:
T

ra
: R , tal que , T

ra
() = T
ra
(

)
Pero
_

_
T
ra
(

) =
_

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

ra
() = T
a
() , . Luego por la Denicion 3.
T

ra
T
a
.
Observacion: Notese que T

ra
= 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. Theorie des Distributions. Paris, Hermann, 1966.