Está en la página 1de 8

DELTA DE DIRAC .

NOCIONES BASICAS

E. SAEZ

Consideremos la grafica de la funcion h (x a) definida por la Fig. 1:

a+

, a R , > 0.
x

Fig. 1
Formalmente, dado a R , > 0, la funcion definida por la Fig. 1, esta dada por:

0 si x < a 2 , x > a + 2
h (x a) =
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

1
h (x a) = (x a + ) (x a ) .
2
2
R a+
R
Es simple comprobar que para todo > 0, h (x a)dx = a 2 1 dx = 1 . Luego
2
es inmediato que:
Z
lim
h (x a)dx = 1.
0

Departamento de Matem
atica, UTFSM
email: eduardo.saez@usm.cl.
1


E. SAEZ

La Fig. 2 , muestra graficamente,


, a R , 0.

el proceso al lmite de la Fig. 1.

Fig. 2
El proceso anterior suguiere definir un paso al lmite, preservando las dos propiedades
siguientes:

0
si x 6= a
(1)
(x a) = R
(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 definicion en (1), estan en contradiccion 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:
Z a
Z
Z
f (x)dx +
f (x)dx =
f (x) = 0, x 6= a
f (x)dx = 0, a R.

a
{z
}
|
{z
} |
0

Lo anterior significa 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.
Definici
on 1. Una funcion , se llama de tendencia rapida a cero y escribiremos
rap
0, si es definida como, : (, ) R , de clase C y tiene la propiedad:
lim (n) (x)xm = 0,

|x|

n, m N0 .

Comentario: El valor nulo del lmite anterior, significa que la funci


on y todas sus
derivadas tienen la propiedad de tender a cero mas rapido que cualquier crecimiento
de las potencia de xn con n N0 , cuando |x| es muy grande. Geometricamente la
propiedad significa que la grafica de y las graficas de todas las derivadas (n) , para
|x| muy grande se confunden con el eje x , ver Fig. 3.

DELTA DE DIRAC

Fig. 3
rap

Comentario: Las integrales impropias de las funciones, 0 y en general de


rap
las funciones derivadas (n) 0, n N0 , siempre existen , pues para K > 0
suficientemente grande
Z K
Z
(n)
(n) ()d
()d
K

rap

El conjunto = {| 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 graficas de las funciones
rap
(n) 0, n N0 .
Definici
on 2. Cualquier aplicaci
on Lineal
T : R
7 T ()

, se llama Distribuci
on

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
u
nico escalar como im
agen.
Observaci
on . Notese que por definicion dom(T ) = , es decir, el dominio de las
rap
distribuciones es el conjunto de las funciones 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 ) Rn .
Definici
on 3. Dos distribuciones T1 , T2 : R son iguales si y s
olo si
, T1 () = T2 ()
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).


E. SAEZ

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
Z

Z

sen()()d

Z






sen() () d

Luego, tiene sentido definir la Distribuci


on seno

Tsen : R , tal que , Tsen () =





() d <

sen()()d

La Distribuci
on Tsen significa 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.
Tsen

0
Fig. 4

R
Tsen ()

La propiedad de linealidad de Tsen , es consecuencia inmediata de las propiedades de


las integrales convergentes y se tiene:

Tsen ( + ) = Tsen () + Tsen ()
Tsen () = Tsen () , R
La distribucion Tsen , se llama Funci
on Seno Generalizada.
Definici
on 4. Sea a R. La aplicaci
on Delta de Dirac es simplemente la distribucion definida por:
a : R
7 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 grafica de la curva para puntos
con abscisa x 6= a, ver Fig. 5.
a
(a, (a))

x
(a)
x=a
Fig. 5

DELTA DE DIRAC

Sabemos que la distribucion Delta de Dirac no es una funci


on en el sentido ordinario del C
alculo. Que sentido tiene una integral que involucre un Delta de Dirac
?. Para responder esta pregunta y usando la definicion misma del Delta de Dirac
tiene sentido definir:
R

(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 definicion anterior , el resultado de la integral es simplemente
el u
nico 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 definicion
anterior se puede extender a funciones continuas y se tiene:
(2)

f Co

(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 define por la integral
Z
f (t)est dt , s > s0
L [f ](s) :=
0

R
ormula
Si a 0. Que sentido tiene considerar L [a ](s) = 0 (t a)est dt ?. La f
(2) le da sentido a las integrales que contienen el Delta de Dirac, en efecto, si f = a
en la f
ormula 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 (est ) = esa , a 0 , (ver Fig. 6 )

f (t) = est

sa

En particular si a = 0 , la exponencial es la funcion constante e0t 1, en consecuencia L [0 ](s) = 1


An
alogamente a la aplicaci
on anterior, es posible dar sentido a la Transformada
de Fourier de funciones continuas.


E. SAEZ

Aplicando la f
ormula (2) al Delta de Dirac:
Z
F [a ]() :=
(x a)eix dx = eia , a R

En particular si a = 0 , F [0 ]() :=

(x)eix dx = ei0 1

Recordando la Transformada Inversa de Fourier, F 1 [eia ](x) = (x a) , de


donde:
Z
Z
1
1
ia ix
(x a) =
e
e d =
eia eix d
2
2
Cambiando en la segunda integral, x , se tiene:
Z
1
( a) =
eia ei d
2
Pero ( a) = ( + a), de donde es inmediato que
F [eia ]() = ( + a) , a R
n
1. Derivada de una distribucio
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 definir la derivada de una distribucion como otra
distribucion mediante el siguiente concepto.
Definici
on 5. Supongamos una distribucion T : R , tal que, 7 T () .
Entonces la distribucion T : R , tal que , 7 T ( ) se llama Primera
Derivada de la distribucion T .
d
Ejemplo 2. Del C
alculo Diferencial se tiene que
(sen x) cos x. Cu
al es la
dx
derivada de la funcion seno en el sentido Distribucional ?.
Consideremos la Distribuci
on Tsen del Ejemplo 1, entonces la derivada Distribucional por la definicion anterior est
a dada por

Tsen
: R , tal que , Tsen
() = Tsen ( )

Pero

Tsen ( ) =

R
h sen x (x)dx , integrando pori partes ,
R

cos x(x)dx
sen x(x)

R
cos
x(x)dx

Tcos ()

DELTA DE DIRAC

Por el calculo anterior, Tsen


() = Tcos () , . Luego por la Definici
on 3.

Tsen Tcos .

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:

0 si x < a, x > a
(x a) =
si x = a
La derivada de la funcion Escalon en el sentido distribucional por la Definici
on 5 est
a
dada por:
T a : R , tal que , T a () = Ta ( )
Pero

(x a) (x)dx
T
(
)
=

= a (x)dx


= (x)

= (a)

= a ()

on 3.
Por el calculo anterior, Ta () = a () , . Luego por la Definici
T a a .
Ejemplo 3. La funcion Rampa se define 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:

0 si x < a

si x = a
r (x a) =
1 si x > a

Si Tra designa la Distribuci


on Rampa (funci
on Rampa generalizada) , su derivada en
el sentido distribucional, por la Definici
on 5, est
a dada por:
Tra : R , tal que , Tra () = Tra ( )
Pero

r(x a) (x)dx
T
(
)
=

r
a

= h a (r a) (x)dx

R
i

= (x a)(x) a (x)dx
a
R

= Ra (x)dx

= (x a)(x)dx

= Ta ()


E. SAEZ

Por el calculo anterior, Tra () = Ta () , . Luego por la Definici


on 3.
Tra Ta .
Observaci
on: Notese que Tra = T a = a
Ejemplo 4. Ejemplo interesante
Sea f : R R una funcion , tal que lim f (x)(x) = 0, , de clase C 1 , salvo
|x|

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)
h(a)
x
x=a
Fig. 6
y consideremos ;

Tf : R
7 Tf ()

, la funcion generalizada de f.

Entonces la derivada en el sentido de las distribuciones:


Tf () = TRf ( )
R
a
= h f (x) (x)dx a f (x) (x)dx
R
i
Ra

a

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

i a
h
R

+
= f (a )(a) f (x)(x)dx f (a )(a)
h
i
R
= f (x)(x)dx + f (a ) f (a+ ) (a)
= Tf () + h(a)a () ,
Luego , Tf = Tf + 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.

También podría gustarte