INTRODUCCIÓN A LA DELTA DE DIRAC COMO UNA GENERALIZACIÓN DE LA FUNCIÓN
La Delta de Dirac y la Unidad Doblete (los llamados "derivados", de la Delta de Dirac) no son funciones. Por el contrario, son Funciones generales, también conocido como Distribuciones.
Las distribuciones son lineales Funcionales que se asignan las funciones de prueba (suave funciones) en números, mientras que una función asigna números a los números. Para la Delta de Dirac, la definición funcional está dada como
$$\langle f,\delta_a\rangle =f(a) \tag 1$$
donde $f$ es un ensayo adecuado de la función.
Ahora, en la práctica, se suele escribir la notación funcional en $(1)$ formalmente como
$$\langle f,\delta_a\rangle=\int_{-\infty}^{\infty}f(x)\delta(x-a)\,dx \tag 2$$
Pero el objeto en el lado derecho de la $(2)$ es realmente no es una integral. Y la evaluación de las $\delta (x-a)$ como una función no tiene sentido. En la práctica, con frecuencia vemos que la Delta de Dirac se define en los puntos por
$$\delta(x)=\begin{cases}0&,x\ne 0\\\\\infty&,x=0\end{cases}$$
pero esto es evidente absurdo. Más bien, la interpretación que aquí se puede hacer física a través de una regularización de la Delta de Dirac en donde hay una familia de funciones de $\delta_n(x)$ para los que
$$\lim_{n\to \infty}\delta_n(x)=
\begin{cases}
0&, x\ne 0\\\\
\infty&,x=0\end{casos}$$
y
$$\lim_{n\to \infty}\int_{-\infty}^\infty f(x)\delta_n(x-a)\,dx=f(a)$$
para todas las adecuadas funciones de prueba de $f$. Podemos formalmente escribir este regularización de la función delta como
$$\delta(x)\sim\lim_{n\to \infty}\delta_n(x)$$
Por lo tanto, podemos interpretar la integral de notación para la relación funcional en $(2)$
$$\int_{-\infty}^{\infty} f(x) \delta(x-a)\,dx=\lim_{n\to \infty}\int_{-\infty}^\infty f(x)\delta_n(x-a)\,dx$$
LA UNIDAD DOBLETE COMO UNA GENERALIZACIÓN DE LA FUNCIÓN
La Unidad Doblete $\delta'$ se define en términos de la Delta de Dirac como
$$\langle f,\delta_a'\rangle=-\langle f',\delta_a\rangle=-f'(a)$$
Por tanto, es funcional a la que se asigna una función de prueba de $f$ a $-f'$. Podemos formalmente, escribir
$$\langle f,\delta_a'\rangle=\int_{-\infty}^{\infty}f(x)\delta'(x-a)\,dx=-\int_{-\infty}^{\infty}f'(x)\delta(x-a)\,dx=-f'(a)$$
y proceder de forma heurística como con la Delta de Dirac. Tenga en cuenta que si $f(x)=e^{x^2}$$a=3$, tenemos inmediatamente que
$$\langle e^{x^2},\delta'_3\rangle =-\left.\frac{de^{x^2}}{dx}\right|_{x=3}=-6e^9$$