Beruflich Dokumente
Kultur Dokumente
Resumen
si x = 0
0,
para obtener una buena
x 7 (x) = lmites
,
representacin matemtica.
de sucesiones de funciones
que cumple:
n nN
Nota
Es importante notar que no es una funcin en el
sentido del clculo habitual, y por lo tanto, tener en
cuenta que cada vez que se hable de
Z b
a, b R, a < 0 < b, lm n (x)f (x)dx = f (0)
, hablamos de una (cuya
funcin delta de
n a
que ejerce sobre integrales, de hecho, la propiedad Adems, existen sucesiones delta que cumplen lo
ms importante que se utilizar de un delta de Dirac mencionado para el caso en que a b ,
es fcil de obtener a partir de esta denicin simb- es decir, que cumplen:
lica, y es la que se muestra a continuacin. lm
Z
n (x)f (x)dx = f (0)
n
Propiedad de Selectividad
Sea f : R R una funcin contnua. Entonces:
Z
lm n (x)dx = 1
n
b
Algunas sucesiones delta construdas 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
propiedades en los intervalos [a, b] jados previamen- Notemos que la segunda corresponde a la densidad
te implcitamente, es decir, cuando anotemos varias de una distribucin de probabilidad normal (distri-
veces un delta de Dirac, no necesariamente corres- bucin Gaussiana).
pondern al mismo. Esto no produce confusin ya
1
J.C.. Resumen
stas son sucesiones delta con a b , y se requiere que la funcin f sea contnua, lo cual
adems, tienen la particularidad de que cumplen: es muy importante tener en consideracin, ya que
se utilizar la misma notacin recin sealada pero
signicarn cosas levemente distintas (son otras las
Z
(x)dx = 1
n
exigencias de la funcin f ).
es decir, su integral se encuentra normalizada (sin Propiedad
necesidad de hacer n ). dH(x)
Nota (x) =
Una sucesin delta no converge a una funcin del-
dx
ta. De hecho, las tres sucesiones delta presentadas Una demostracin informal se puede lograr conside-
explcitamente, divergen (recordar que estamos en el rando una sucesin delta (x) y vericando que
contexto de lmites de sucesiones de funciones, es de-
n
conv. puntual)(no conv. puntual no conv. uni- dad de un delta de Dirac, requerir, naturalmente, la
forme)]. aplicacin de fundamentos de la teora de funciones
En lo que sigue, siempre se considerarn, solo los ca- generalizadas (a menos que se pueda demostrar a
sos en que a y b , de forma implcita. partir de propiedades ya conocidas).
No obstante, se debe tener en consideracin, que lo Propiedad
escrito ser vlido para los casos en que se reempla- Sea f : R R una funcin m-diferenciable. Enton-
cen los lmites de las integrales indenidas por a y b ces:
tal cual como se mostr en esta seccin, con el cui-
dado de que, en algunos casos, pueden ser necesarias
dm (x) dm f (0)
Z
0, si x < 0
Z
1, si x 0
H(x) = x(x)f (x)dx = 0
en que g g son nulos debido a que, como se ver (x a)f (x)dx = f (a)
Delta de Dirac 2
J.C.. Resumen
Propiedad
Ahora consideremos una funcin real f expandible
1 en serie de Fourier entre L y L, es decir,
(ax) = (x), a 6= 0
|a| a0 X nx nx
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 funcin
n=1
m
X 1
(g(x)) = dg(xk ) (x xk ) Representacin 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 denicin simblica dada en la Explcitamente:
seccin 1 y la aproximacin lineal de primer orden
Delta de Dirac 3
J.C.. Resumen
expresin ms prctica. Nuestro anlisis, nos lleva a concluir que, si primero
se desarrolla la integral respecto a x, para una gran
Representacin 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, bsicamente, 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, sera posible denir
Z
(x)f (x)dx = f (0)
un delta de Dirac como una funcin en el sentido del
Clculo habitual, lo cual no es el caso (y por ello se A continuacin, consideremos un pulso rectangular
debe denir como una funcin generalizada). positivo normalizado P (t t ). +
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
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 distribucin del- madas de Fourier con coecientes para ambas,
0
1
ta no es exactamente la misma que la denida en el sin embargo, es comn usar una denicin alternati-
0 2
que (t) (construida de esta forma) es una funcin caso, las relaciones presentadas cambian a las expre-
2
(generalizada) par, dado que en la teora de las trans- siones que se muestran a continuacin.
formadas de Laplace, todas las funciones se asumen
cero para t < 0. Con (t) construida as, obtendra- Representacin en
mos lo que podra llamarse "la mitad de la distri- Transformada de Fourier (2)
muchos problemas que involucran transformadas de Estos resultados se obtienen de forma idntica 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)] () := (xa)eix dx, a R
2 4 Extensin a Rn
donde la igualdad es por la denicin de la trans- Sea ~r R un vector n-dimensional. Si, al represen-
formada de Fourier. Pero aqu podemos usar di- n
lo que, junto con el hecho de que (a) = (+a) en tres dimensiones se escribe
(paridad), nos lleva a la expresin x1
x2 x3
u1
x1
u1
x2
u1
x3
F eia () = 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,
tiene que
(r)
(~r) = ,
4r2
donde r k~rk, que reduce 3 integrales en una sola.
Claro, tambin es vlida la frmula ms general que
se mostr, pero en ese caso se deben realizar las 3
integrales.
Referencias
[1] Eugene Butkov,
. Addison-Wesley Publishing Com-
Mathematical Phy-
bre de 1990.
Si existe algn error de tipeo u otro tipo, por favor, enviar un
mail a javier.carrasco@ug.uchile.cl para corregirlo. Ade-
ms, es bienvenido cualquier consejo y/o comentario construc-
tivo sobre el texto (para extenderlo, modicarlo, etc.).-
Delta de Dirac 6