How to evaluate $\sum J_0(\alpha n) z^{-n}$ in closed form?

Question

I need to evaluate $\sum_{n = -\infty}^{\infty} J_0(\alpha n) z^{-n}$ in closed form, where $z$ is complex variable and $J_0()$ is the zeroth order Bessel function of the first kind. How do I evaluate this summation?

Answer 1

This is not a full answer, but maybe it will get you somewhere.

You can prove (or maybe already know) that in fact $J_0(-z)=J_0(z)$. So we can split up the sum as $$ \underset{n=-\infty}{\overset{\infty}{\sum}}J_0(an)z^{-n}=\underset{n=-\infty}{\overset{-1}{\sum}}J_0(an)z^{-n}+\underset{n=0}{\overset{\infty}{\sum}}J_0(an)z^{-n} = \underset{n=1}{\overset{\infty}{\sum}}J_0(an)z^{n}+\underset{n=0}{\overset{\infty}{\sum}}J_0(an)z^{-n}$$ $$ = J_0(0)+\underset{n=1}{\overset{\infty}{\sum}}J_0(an)(z^n+z^{-n}) = 1+\underset{n=1}{\overset{\infty}{\sum}}J_0(an)(z^n+z^{-n})$$

I am not sure if this will lead to something useful, but it may simplify things somewhat.