Existe una forma cerrada para $\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,\alpha\,n\right)} {{\it J}_{0}\left(\,\beta\,n\right)}}{{n}^{2}}}$ ?

Question

Utilizando el método mostrado aquí propuesto por Olivier Oloa con las simplificaciones propuestas por Anastasiya-Romanova, es posible demostrar que

$$\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,2\,n\right)} {{\it J}_{0}\left(\,n\right)}}{{n}^{2}}}={\frac {5}{8}}+{\frac {1}{6}}\,{\pi }^{2}-4\,{\frac { {\it EllipticE} \left( {\frac {1}{2}} \right) }{\pi }}-\frac{2}{{\pi }}\,\int _{0}^{1}\!{\frac { v\arcsin \left( {\frac {1}{2}}\,v \right) }{\sqrt {1-{v}^{2}}}}{dv} $$

pero para la última integral es posible tener una forma cerrada dada por Jack D'Aurizio (Nótese que Jack está usando la notación para funciones elípticas en Mathematica y yo estoy usando la notación más estándar usada por Maple). Entonces tenemos

$$\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,2\,n\right)} {{\it J}_{0}\left(\,n\right)}}{{n}^{2}}}=-8\,{\frac {{\it EllipticE} \left( \frac {1}{2} \right) }{\pi }}+3\,{\frac {{\it EllipticK} \left( \frac {1}{2} \right) }{\pi }}+\frac {5}{8}+\frac {1}{6}\,{\pi }^{2} $$

Según este resultado la respuesta a mi pregunta puede ser afirmativa. ¿Está usted de acuerdo?

Answer 1

Utilizando el método mostrado aquí propuesto por Olivier Oloa con simplificaciones propuestas por Anastasiya-Romanova y que es esencialmente el método que muestra David H, estoy obteniendo

$$\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,\alpha\,n\right)} {{\it J}_{0}\left(\,\beta\,n\right)}}{{n}^{2}}}=\frac {{\beta}^{2}}{8}\,+\frac{1}{6}\,{ \pi }^{2}+\frac{1}{8}\,{\alpha}^{2}-2\,{\alpha}^{2}{\it EllipticF} \left( { \frac {\beta}{\alpha}},{\frac {\alpha}{\beta}} \right) {\beta}^{-1}{ \pi }^{-1}+2\,\beta\,{\it EllipticF} \left( {\frac {\beta}{\alpha}},{ \frac {\alpha}{\beta}} \right) {\pi }^{-1}-2\,\beta\,{\it EllipticE} \left( {\frac {\beta}{\alpha}},{\frac {\alpha}{\beta}} \right) {\pi } ^{-1}-2\,\beta{\pi }^{-1}\,\int _{0}^{1}\!v\arcsin \left( {\frac {\beta\,v}{ \alpha}} \right) {\frac {1}{\sqrt {1-{v}^{2}}}}{dv} $$

Entonces hay una forma cerrada si la última integral tiene una forma cerrada. Pero para la última integral es posible tener una forma cerrada dada por Daniel H (Nótese que Daniel está usando la notación para funciones elípticas en Mathematica y yo estoy usando la notación más estándar usada por Maple). Entonces tenemos la siguiente forma cerrada:

$$\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,\alpha\,n\right)} {{\it J}_{0}\left(\,\beta\,n\right)}}{{n}^{2}}}=\frac{1}{8}\,{\beta}^{2}+\frac{1}{6}\,{ \pi }^{2}+\frac{1}{8}\,{\alpha}^{2}-2\,{\alpha}^{2}{\it EllipticF} \left( { \frac {\beta}{\alpha}},{\frac {\alpha}{\beta}} \right) {\beta}^{-1}{ \pi }^{-1}+2\,\beta\,{\it EllipticF} \left( {\frac {\beta}{\alpha}},{ \frac {\alpha}{\beta}} \right) {\pi }^{-1}-2\,\beta\,{\it EllipticE} \left( {\frac {\beta}{\alpha}},{\frac {\alpha}{\beta}} \right) {\pi } ^{-1}-2\,{\beta}^{2}{\it EllipticK} \left( {\frac {\beta}{\alpha}} \right) {\pi }^{-1}{\alpha}^{-1}+2\,\alpha\,{\it EllipticK} \left( { \frac {\beta}{\alpha}} \right) {\pi }^{-1}-2\,\alpha\,{\it EllipticE} \left( {\frac {\beta}{\alpha}} \right) {\pi }^{-1} $$

Cabe destacar el siguiente caso particular: $$\sum _{n=1}^{\infty }{\frac {{{\it J}_{0}\left(\,\alpha\,n\right)} {{\it J}_{0}\left(\,\frac{1}{2}\,\alpha\,n\right)}}{{n}^{2}}}={\frac {5}{32}}\,{ \alpha}^{2}+\frac{1}{6}\,{\pi }^{2}-3\,{\frac {\alpha\,{\it EllipticF} \left( \frac{1}{2},2 \right) }{\pi }}-{\frac {\alpha\,{\it EllipticE} \left( \frac{1}{2},2 \right) }{\pi }}-2\,{\frac {\alpha\,{\it EllipticE} \left( \frac{1}{2} \right) }{\pi }}+\frac{3}{2}\,{\frac {\alpha\,{\it EllipticK} \left( \frac{1}{2} \right) }{\pi }} $$

Answer 2

(Demasiado largo para comentarlo)

La función de Bessel del primer tipo de orden cero, $J_{0}{\left(z\right)}$ tiene la siguiente representación integral:

$$J_{0}{\left(z\right)}=\frac{2}{\pi}\int_{0}^{1}\mathrm{d}t\,\frac{\cos{\left(zt\right)}}{\sqrt{1-t^2}}.$$

Representar las funciones de Bessel en la serie mediante las integrales,

$$J_{0}{\left(\alpha n\right)}=\frac{2}{\pi}\int_{0}^{1}\mathrm{d}x\,\frac{\cos{\left(\alpha nx\right)}}{\sqrt{1-x^2}},$$

$$J_{0}{\left(\beta n\right)}=\frac{2}{\pi}\int_{0}^{1}\mathrm{d}y\,\frac{\cos{\left(\beta ny\right)}}{\sqrt{1-y^2}}.$$

Supongamos que $0<\alpha,\beta$ y $\alpha+\beta<2\pi$ . Entonces,

$$\sum_{n=1}^{\infty}\frac{\cos{\left[\left(\alpha x+\beta y\right)n\right]}}{n^2}=\frac{\pi^2}{6}-\frac{\pi \left(\alpha x+\beta y\right)}{2}+\frac{\left(\alpha x+\beta y\right)^2}{4}.$$

Podemos entonces escribir la serie como una integral doble:

$$\begin{align} S{\left(\alpha,\beta\right)} &=\sum_{n=1}^{\infty}\frac{J_{0}{\left(\alpha n\right)} J_{0}{\left(\beta n\right)}}{n^2}\\ &=\frac{4}{\pi^2}\sum_{n=1}^{\infty}\frac{1}{n^2} \int_{0}^{1}\mathrm{d}x\,\frac{\cos{\left(\alpha nx\right)}}{\sqrt{1-x^2}} \int_{0}^{1}\mathrm{d}y\,\frac{\cos{\left(\beta ny\right)}}{\sqrt{1-y^2}}\\ &=\frac{4}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\sum_{n=1}^{\infty}\frac{\cos{\left(\alpha nx\right)}\,\cos{\left(\beta ny\right)}}{n^2\,\sqrt{1-x^2}\,\sqrt{1-y^2}}\\ &=\frac{4}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left(\alpha nx\right)}\,\cos{\left(\beta ny\right)}}{n^2}\\ &=\frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left[(\alpha x-\beta y)n\right]}+\cos{\left[(\alpha x+\beta y)n\right]}}{n^2}\\ &=\frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left[(\alpha x-\beta y)n\right]}}{n^2}\\ &~ + \frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left[(\alpha x+\beta y)n\right]}}{n^2}\\ &=\frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left[(\alpha x-\beta y)n\right]}}{n^2}\\ &~ + \frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\left[\frac{\pi^2}{6}-\frac{\pi \left(\alpha x+\beta y\right)}{2}+\frac{\left(\alpha x+\beta y\right)^2}{4}\right]\\ &=\frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left[(\alpha x-\beta y)n\right]}}{n^2}\\ &~ + \frac{2}{\pi^2}\left[\frac{\pi^4}{24}-\frac{\pi^2}{4}\left(\alpha+\beta\right)+\frac12\alpha\beta+\frac{\pi^2}{32}\left(\alpha^2+\beta^2\right)\right]\\ &=\frac{2}{\pi^2}\int_{0}^{1}\mathrm{d}x\int_{0}^{1}\mathrm{d}y\,\frac{1}{\sqrt{1-x^2}\,\sqrt{1-y^2}}\sum_{n=1}^{\infty}\frac{\cos{\left[(\alpha x-\beta y)n\right]}}{n^2}\\ &~ + \left[\frac{\pi^2}{12}-\frac{1}{2}\left(\alpha+\beta\right)+\frac{\alpha\beta}{\pi^2}+\frac{1}{16}\left(\alpha^2+\beta^2\right)\right]\\ \end{align}$$

...