Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Dirac
Dirac
NOCIONES BASICAS
E. SAEZ
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 ,
(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
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 .
DELTA DE DIRAC
Fig. 3
rap
rap
, se llama Distribuci
on
E. SAEZ
Z
sen()()d
Z
sen()()d
()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 ()
, donde , a () = (a).
x
(a)
x=a
Fig. 5
DELTA DE DIRAC
(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
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
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
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
Tsen Tcos .
(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
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
Tf : R
7 Tf ()
, la funcion generalizada de f.
= 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.