${\int }_0^1{P}_n(1-2x^2)\sin \left(xy\right)\mathrm{mathrm}dx=\mathrm{tfrac}12\pi \left(J_{n+\frac{1}{2}}\right(\mathrm{tfrac}12y)^)2$