Delta de Dirac

(Redirigido desde �Delta de dirac�)

Ir a la navegaci�nIr a la b�squeda

Diagrama esquem�tico de la funci�n delta de Dirac.

La delta de Dirac o funci�n delta de Dirac es una distribuci�n o funci�n
generalizada introducida por primera vez por el f�sico brit�nico Paul Dirac y, como
distribuci�n, define un funcional en forma de integral sobre un cierto espacio de
funciones.1? Se escribe como:

{\displaystyle \delta _{a}(x)\equiv \delta (x-a)}{\displaystyle \delta _{a}

(x)\equiv \delta (x-a)}

siendo {\displaystyle \delta (x)\,}{\displaystyle \delta (x)\,} la funci�n que

tiende a infinito cuando x=0 y, para cualquier otro valor de x, es igual a 0.

En f�sica, la delta de Dirac puede representar la distribuci�n de densidad de una

masa unidad concentrada en un punto a. Esta funci�n constituye una aproximaci�n muy
�til para funciones picudas y constituye el mismo tipo de abstracci�n matem�tica
que una carga o masa puntual. En ocasiones se denomina tambi�n funci�n de
impulso.2? Adem�s, la delta de Dirac permite definir la derivada generalizada de
funciones discontinuas. Concretamente, se tiene la siguiente relaci�n con la
funci�n escal�n:

{\displaystyle \delta _{a}(x)=\theta _{a}'(x)\,}{\displaystyle \delta _{a}

(x)=\theta _{a}'(x)\,}

Intuitivamente se puede imaginar la funci�n {\displaystyle \delta (x)\,}

{\displaystyle \delta (x)\,} como una funci�n que tiene un valor infinito en x = 0;
tiene un valor nulo en cualquier otro punto, de tal manera que su integral es uno.

�ndice
1 Definiciones
1.1 Definici�n como distribuci�n de densidad
1.2 Definici�n como l�mite de sucesiones de funciones
2 Propiedades
3 V�ase tambi�n
4 Referencias
5 Enlaces externos
Definiciones
La delta de Dirac es una funci�n generalizada que viene definida por la siguiente
f�rmula integral:

{\displaystyle \int _{-\infty }^{\infty }\delta (x-a)f(x)\,dx=f(a)\qquad

\left[{\text{e.g.}}\int _{-\infty }^{\infty }\delta (x)\,dx=1\right]}{\displaystyle
\int _{-\infty }^{\infty }\delta (x-a)f(x)\,dx=f(a)\qquad \left[{\text{e.g.}}\int
_{-\infty }^{\infty }\delta (x)\,dx=1\right]}

La delta de Dirac no es una funci�n estrictamente hablando, puesto que se puede ver
que requerir�a tomar valores infinitos. A veces, informalmente, se expresa la delta
de Dirac como el l�mite de una sucesi�n de funciones que tiende a cero en todo
punto del espacio excepto en un punto para el cual divergir�a hacia infinito; de
ah� la "expresi�n informal" como funci�n definida a trozos:

{\displaystyle \delta (x)={\begin{cases}\infty ,&x=0\\0,&x\neq 0\end{cases}};}

{\displaystyle \delta (x)={\begin{cases}\infty ,&x=0\\0,&x\neq 0\end{cases}};}

Es frecuente que en f�sica la delta de Dirac se use como una distribuci�n de

probabilidad idealizada; t�cnicamente, de hecho, es una distribuci�n (en el sentido
de Schwartz).

En t�rminos del an�lisis dimensional, esta definici�n de {\displaystyle \delta (x)}

{\displaystyle \delta (x)} implica que {\displaystyle \delta (x)}{\displaystyle
\delta (x)} posee dimensiones rec�procas a dx.

Definici�n como distribuci�n de densidad

{\displaystyle \int _{a}^{b}f(x)\delta (x-x_{0})\,dx=\left\
{{\begin{matrix}f(x_{0})&{\mbox{si }}a<x_{0}<b\\0&{\mbox{si }}x_{0}<a\ {\mbox{o}}\
x_{0}>b\end{matrix}}\right.}{\displaystyle \int _{a}^{b}f(x)\delta (x-
x_{0})\,dx=\left\
{{\begin{matrix}f(x_{0})&{\mbox{si }}a<x_{0}<b\\0&{\mbox{si }}x_{0}<a\ {\mbox{o}}\
x_{0}>b\end{matrix}}\right.}

Definici�n como l�mite de sucesiones de funciones

La delta de Dirac se define como "l�mite distribucional" de una sucesi�n de
funciones que convergen puntualmente a la funci�n cero en todos los puntos de su
dominio excepto uno. Se dice que una sucesi�n de funciones {\displaystyle f_{n}(x)}
{\displaystyle f_{n}(x)} converge distribucionalmente cuando:

{\displaystyle \left[\lim _{n\to \infty }\int _{-\infty }^{\infty }f_{n}(x)\phi

(x)dx\right]\to d(\phi )}{\displaystyle \left[\lim _{n\to \infty }\int _{-\infty }
^{\infty }f_{n}(x)\phi (x)dx\right]\to d(\phi )}

Donde {\displaystyle \phi }\phi es una funci�n 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 topol�gico del espacio original de funciones.

La delta de Dirac centrada se puede definir como el l�mite distribucional del

funcional dado por {\displaystyle d(\phi )=\phi (0)}{\displaystyle d(\phi )=\phi
(0)}, es decir, el l�mite en el sentido de las distribuciones de una sucesi�n de
funciones tales que:

{\displaystyle \left[\lim _{n\to \infty }\int _{-\infty }^{\infty }f_{n}(x)\phi

(x)dx\right]\to \phi (0)}{\displaystyle \left[\lim _{n\to \infty }\int _{-\infty }
^{\infty }f_{n}(x)\phi (x)dx\right]\to \phi (0)}

Algunos ejemplos posibles de sucesi�n de funciones que cumpla lo anterior son:

{\displaystyle {\begin{matrix}f_{n}(x)={\begin{cases}n\quad \|x\|<{\frac {1}

{2n}}\\0\quad \|x\|\geq {\frac {1}{2n}}\end{cases}}&f_{n}(x)={\cfrac {n}{\sqrt {\pi
}}}e^{-n^{2}x^{2}}\\f_{n}(x)={\cfrac {1}{\pi }}{\cfrac {n}{n^{2}x^{2}+1}}&f_{n}
(x)={\cfrac {\sin nx}{\pi x}}\end{matrix}}}{\displaystyle {\begin{matrix}f_{n}
(x)={\begin{cases}n\quad \|x\|<{\frac {1}{2n}}\\0\quad \|x\|\geq {\frac {1}
{2n}}\end{cases}}&f_{n}(x)={\cfrac {n}{\sqrt {\pi }}}e^{-n^{2}x^{2}}\\f_{n}
(x)={\cfrac {1}{\pi }}{\cfrac {n}{n^{2}x^{2}+1}}&f_{n}(x)={\cfrac {\sin nx}{\pi
x}}\end{matrix}}}

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

{\displaystyle \delta (x)=\delta (-x)\,\!}{\displaystyle \delta (x)=\delta (-

x)\,\!}
{\displaystyle f(x)\delta '(x)=-f'(x)\delta (x)\,\!}{\displaystyle f(x)\delta
'(x)=-f'(x)\delta (x)\,\!}
{\displaystyle \delta '(x)=-\delta '(-x)\,\!}{\displaystyle \delta '(x)=-\delta '(-
x)\,\!}
{\displaystyle x^{n}\delta (x)=0\qquad \forall n>0,x\in \mathbb {R} \,\!}
{\displaystyle x^{n}\delta (x)=0\qquad \forall n>0,x\in \mathbb {R} \,\!}
{\displaystyle (x-a)^{n}\delta (x-a)=0\qquad \forall n>0\,\!}{\displaystyle (x-
a)^{n}\delta (x-a)=0\qquad \forall n>0\,\!}
{\displaystyle \delta (ax-b)=|a|^{-1}\delta (x-(b/a))\qquad \forall a\neq 0\,\!}
{\displaystyle \delta (ax-b)=|a|^{-1}\delta (x-(b/a))\qquad \forall a\neq 0\,\!}
{\displaystyle h(x)\delta (x-a)=h(a)\delta (x-a)\,\!}{\displaystyle h(x)\delta (x-
a)=h(a)\delta (x-a)\,\!}
{\displaystyle h(x)\delta '(x-a)=h(a)\delta '(x-a)-h'(a)\delta (x-a)\,}
{\displaystyle h(x)\delta '(x-a)=h(a)\delta '(x-a)-h'(a)\delta (x-a)\,}
{\displaystyle \delta (f(x))=\sum _{n}|f'(x_{n})|^{-1}\delta (x-x_{n}),\quad
{\mbox{con}}\ f(x_{n})=0,\ f'(x_{n})\neq 0}{\displaystyle \delta (f(x))=\sum _{n}|
f'(x_{n})|^{-1}\delta (x-x_{n}),\quad {\mbox{con}}\ f(x_{n})=0,\ f'(x_{n})\neq 0}
{\displaystyle \delta (\omega )={\frac {1}{2\pi }}\int _{-\infty }^{+\infty }
e^{i\omega t}dt}{\displaystyle \delta (\omega )={\frac {1}{2\pi }}\int _{-\infty }
^{+\infty }e^{i\omega t}dt}
{\displaystyle \delta (x)}{\displaystyle \delta (x)} es de clase {\displaystyle
C^{-2}(\mathbb {R} )}{\displaystyle C^{-2}(\mathbb {R} )}
En coordenadas esf�ricas se tiene:

{\displaystyle \delta (\mathbf {r} -\mathbf {r} _{0})={\begin{cases}{\frac {1}

{r^{2}\sin \theta }}\delta (r-r_{0})\delta (\theta -\theta _{0})\delta (\phi -\phi
_{0})&x_{0},y_{0},z_{0}\neq 0\\{\frac {1}{2\pi r^{2}\sin \theta }}\delta (r-
r_{0})\delta (\theta -\theta _{0})&x_{0}=y_{0}=0,\ z_{0}\neq 0\\{\frac {1}{4\pi
r^{2}}}\delta (r-r_{0})&x_{0}=y_{0}=z_{0}=0\end{cases}}}{\displaystyle \delta
(\mathbf {r} -\mathbf {r} _{0})={\begin{cases}{\frac {1}{r^{2}\sin \theta }}\delta
(r-r_{0})\delta (\theta -\theta _{0})\delta (\phi -\phi _{0})&x_{0},y_{0},z_{0}\neq
0\\{\frac {1}{2\pi r^{2}\sin \theta }}\delta (r-r_{0})\delta (\theta -\theta
_{0})&x_{0}=y_{0}=0,\ z_{0}\neq 0\\{\frac {1}{4\pi r^{2}}}\delta (r-
r_{0})&x_{0}=y_{0}=z_{0}=0\end{cases}}}

V�ase tambi�n
Delta de Kronecker
Delta de Donsker
Teor�a de distribuciones
Transformada de Laplace
Referencias
Arfken, G. B.; Weber, H. J. (2000), Mathematical Methods for Physicists (5ta.
ed.), Boston, Massachusetts: Academic Press, ISBN 978-0-12-059825-0
Dirac, Paul (1958), The Principles of Quantum Mechanics (4ta. ed.), Oxford at the
Clarendon Press, ISBN 978-0-19-852011-5