I'm dealing with the integral \begin{equation} \int\limits_{-1}^{+1}\delta'(\cos(\pi x))(x^2+1)\ \mathrm{d}x \label{1}\tag{1} \end{equation} This makes me in me lot of confusion about the derivative of the Dirac's Delta, as I only know how to deal with the derivative of the Dirac Delta Distribution, that is the usual derivative of a distribution $$ \delta_0^{(n)}(f) = (-1)^n\delta_0(f') $$ Also, I've found some exercises where it is said that it is true the derivation rule for function composition as \begin{equation} \frac{\mathrm{d}}{\mathrm{d}x}\delta(f(x)) = \delta'(f(x))f'(x) \label{2}\tag{2} \end{equation} so that i can make a swap in \eqref{1} between the derivative of the distribution and the delta of the argument function of the Delta: \begin{gather} \delta'_{\frac{2k+1}{2}}(x^2+1) \equiv \langle\delta'_{\frac{2k+1}{2}}, x^2+1 \rangle = \int\limits_{-1}^{+1}\delta'(\cos(\pi x))(-\pi\sin(\pi x))\frac{(x^2+1)}{(-\pi\sin(\pi x))}\ \mathrm{d}x = \\ \int\limits_{-1}^{+1}\frac{\mathrm{d}\delta(\cos(\pi x))}{\mathrm{d}x}\frac{(x^2+1)}{(-\pi\sin(\pi x))}\ \mathrm{d}x = -\langle\delta_{\frac{2k+1}{2}}, \left(\frac{x^2+1}{-\pi\sin(\pi x)}\right)' \rangle =\\ \frac{1}{\pi}\int\limits_{-1}^{+1}\delta(\cos(\pi x))\frac{\mathrm{d}}{\mathrm{d}x}\left(\frac{x^2+1}{\sin(\pi x)}\right)\ \mathrm{d}x \end{gather} from the last relation we can simplify the delta by finding the zeros of the function inside the delta \begin{align} \delta(\cos(\pi x)) = \frac{1}{\pi}\sum_{k\in\mathbb{Z}}\delta_{\frac{2k+1}{2}} \end{align} Inside the interval of integration there are just two zeros, for k = 0, -1, so \begin{gather} \frac{1}{\pi}\int\limits_{-1}^{+1}\frac{1}{\pi}\left(\delta\left(x - \frac{1}{2}\right) + \delta\left(x + \frac{1}{2}\right)\right)\frac{2x\sin(\pi x) - (x^2+1)\pi\cos(\pi x)}{\sin^2(\pi x)}\ \mathrm{d}x\\ = \frac{2}{\pi^2} \end{gather} result which is not right, as I checked on Mathematica and with the result of the exercise. Summing up all my doubts:
- How do I solve cases like this with the derivative of the delta function?
- Can I apply \eqref{2} all the times I deal with the function? Under which circumstance can I use it?
- Does anybody know some good literature very rigorous and helpful to solve this kind of doubt, maybe with solved exercises? Thanks.