demostrar la igualdad integral y series

Question

Estoy atascado en una cuestión integral. Me ayudan por favor a demostrar que con $n=1$ el siguiente es verdadero $$ \int_{0}^{\infty}\left(\frac{2^n}{t^n}\left(\frac{t^n}{2^nn!}-\frac{1}{2^{n+2}}\frac{t^{n+2}}{1!(n+1)!}+\frac{1}{2^{n+4}}\frac{t^{n+4}}{2!(n+2)!}-\ldots\right)\right)^2tdt=2 $$

Gracias por su ayuda.

Answer 1

Vamos a considerar funciones de Bessel de primera especie como sugiere Peter Tamaroff : $$J_n(t):=\left(\frac t2 \right)^n \sum_{k=0}^\infty \frac {\left(-\frac {t^2}4 \right)^k}{k!(n+k)!}=\frac{t^n}{2^nn!}-\frac{1}{2^{n+2}}\frac{t^{n+2}}{1!(n+1)!}+\frac{1}{2^{n+4}}\frac{t^{n+4}}{2!(n+2)!}-\ldots$$

a continuación, usted desea una derivación de : $$ \int_{0}^{\infty}\left(\frac{2^n}{t^n}J_n(t)\right)^2\,dt=2 $$

Una prueba de la fórmula más general (en caso de $\ \Re(\mu+\nu+1)>\Re(\lambda)>0$) : $$\int_0^\infty \frac {J_\mu(at)J_\nu(at)}{t^\lambda}\,dt=\frac{(\frac a2)^{\lambda-1}\Gamma(\lambda)\Gamma\left(\frac {\mu+\nu-\lambda+1}2\right)}{2\Gamma\left(\frac{\lambda+\nu-\mu+1}2\right)\Gamma\left(\frac{\lambda+\nu+\mu+1}2\right)\Gamma\left(\frac{\lambda-\nu+\mu+1}2\right)}$$ es en Watson libro 'funciones de Bessel de la página 403.

Con $a=1, \nu=\mu=n, \lambda=2n-1\ $ esto se convierte en : $$\int_0^\infty \frac {J_n(t)^2}{t^{2n-1}}\,dt=\frac{(\frac 12)^{2n-2}\Gamma(2n-1)\Gamma\left(1\right)}{2\Gamma\left(n\right)\Gamma\left(2n\right)\Gamma\left(n\right)}=\frac 1{2^{2n-1}(2n-1)(n-1)!^2}$$

de modo que (por $n$ entero positivo) : $$ \int_{0}^{\infty}\left(\frac{2^n}{t^n}J_n(t)\right)^2\,dt=\frac 2{(2n-1)(n-1)!^2} $$