Delta de Dirac

De Wikipedia, la enciclopedia libre

Diagrama esquemtico de la funcin delta de Dirac.

La delta de Dirac (inapropiadamente llamada funcin delta de Dirac) es una distribucin (funcin generalizada) introducida por primera vez por el fsico ingls Paul Dirac y, como distribucin, define un funcional en forma de integral sobre un cierto espacio de funciones. Se escribe como:

Siendo

para el caso

En fsica, la delta de Dirac puede representar la distribucin de densidad de una masa unidad concentrada en un punto a. Esta funcin constituye una aproximacin muy til para funciones picudas y constituye el mismo tipo de abstraccin matemtica que una carga o masa puntual. En ocasiones se denomina tambin funcin de impulso. Adems, la delta de Dirac permite definir la derivada generalizada de funciones discontinuas. Concretamente, se tiene la siguiente relacin con la funcin escaln:

Intuitivamente se puede imaginar la funcin (x) como una funcin que tiene un valor infinito en x = 0; tiene un valor nulo en cualquier otro punto, de tal manera que su integral es uno.

Definiciones
La delta de Dirac es una funcin generalizada que viene definida por la siguiente frmula integral:

La delta de Dirac no es una funcin estrictamente hablando, puesto que se puede ver que requerira tomar valores infinitos. A veces, informalmente, se define la delta de Dirac como el lmite de una sucesin de funciones que tiende a cero en todo punto del espacio excepto en un punto para el cual divergera hacia infinito; de ah la "definicin convencional" dada por la tambin convencional frmula aplicada a las funciones definidas a trozos:

Es frecuente que en fsica la delta de Dirac se use como una distribucin de probabilidad idealizada; tcnicamente, de hecho, es una distribucin (en el sentido de Schwartz). En trminos del anlisis dimensional, esta definicin de dimensiones recprocas a dx. implica que posee

Definicin como distribucin de densidad

Definicin como lmite de sucesiones de funciones

La delta de Dirac se define como "lmite distribucional" de una sucesin de funciones que convergen puntualmente a la funcin cero en todos los puntos de su dominio excepto uno. Se dice que una sucesin de funciones fn(x) converge distribucionalmente cuando:

Donde es una funcin perteneciente a un espacio vectorial de funciones, y d es un funcional continuo del espacio vectorial dual (el conjunto de esos elementos continuos es un subespacio vectorial del dual, conocido como espacio dual topolgico del espacio original de funciones.

La delta de Dirac centrada se puede definir como el lmite distribucional del funcional dado por , es decir, el lmite en el sentido de las distribuciones de una sucesin de funciones tales que:

Algunos ejemplos posibles de sucesin de funciones que cumpla lo anterior son:

Propiedades
Estas propiedades se pueden demostrar multiplicando ambos miembros de cada igualdad por una funcin f(x) e integrando teniendo en cuenta que la funcin delta no puede formar parte del resultado a menos que est dentro de una integral.

En coordenadas esfricas se tiene: