Definite Integral in Legendre polynomial formula

131 Views Asked by At

\begin{equation*} \int_{-a}^{a}e^{-\rho x}P_n \left( \frac{x}{a} \right) dx = (-1)^n\sqrt{\frac{2\pi a}{\rho}}J_{n+1/2}(a\rho) ~~~~~~\text{for $a>0$} \end{equation*}

I am just wondering this formula is correct or not? Thanks in advance!