I had seen this post on the digamma root sum and began to wonder about extending these zeta type sums to the roots of other functions. Playing around with the Bessel function of the first kind I obtained a few nice results that you guys might enjoy deriving or proving.

Probelm 1:

Let $m=2n,\;n\in\left\{1,\;2,\;3,\dots\right\}$

Show that

$$\sum_{j\;\in\; U_\alpha}\frac{1}{j^m}=\frac{3^{\frac{m}{2}-1}\zeta(m)\Gamma(\alpha+1)\Gamma\left(\frac{m+3}{2}\right)}{2^{\frac{m}{2}-2}\pi^{m+\frac{1}{2}}(\alpha+1)^{\frac{m}{2}}\Gamma\left(\alpha+\frac{m}{2}+1\right)}$$

where

$$U_\alpha=\left\{j\;|\;J_\alpha(j)=0,\;j>0\right\}.$$

The above can be simplified quite a bit since $m$ is a positive even integer, most notably all the $\pi$s cancel out. Also, the values that $\alpha$ is valid for are dependent on $m$ and it's fairly easy to see what the invalid values are. I was never able to make a solid proof for this formula but it was obtained from a pattern I saw from doing repeated long division of Taylor series, so I admit there is still a chance this (and everything besides the contents of problem 2) could be wrong.

Problem 2:

In addition to the above sum an easier (much easier) pair of related sums to consider are

$$\sum_{j\;\in\; U_\frac{1}{2}}\frac{1}{j^s}=\frac{\zeta(s)}{\pi^s}$$

and

$$\sum_{j\;\in\;U_{-\frac{1}{2}}}\frac{1}{j^s}=\frac{\left(2^s-1\right)\zeta(s)}{\pi^s}$$

where $\Re[s]>1$ in each sum.

Question:

If we define

$$\Omega_\alpha(s)=\sum_{j\;\in\;U_{\alpha}}\frac{1}{j^s}$$

then does

$$\Omega_\alpha(s)=-\frac{1}{4\pi i}\oint_\gamma\frac{1}{z^{s}}\left(\frac{J_{\alpha+1}(z)}{J_\alpha(z)}\right)dz$$

where $\gamma$ is a positively oriented circular contour of radius $r$ (chosen so it only encloses the pole at the origin) centered at $z=0$ act as an analytic continuation of $\Omega_\alpha(s)$ in $s$? My guess is that this doesn't work due to the fact that $\gamma$ doesn't play well with the branch generated by some values of $s$. If my guess is correct and this doesn't work, then how could a nice closed formed analytic continuation or a functional equation for $\Omega_\alpha(s)$ be made?

Another nice result:

We have

$$\frac{J_{\alpha+1}(z)}{J_\alpha(z)}=-2\sum_{n=0}^\infty\Omega_\alpha\left(2(n+1)\right)z^{2n+1}$$

where the radius of convergence is determined by the root of $J_{\alpha}(z)$ with smallest absolute value. Setting $\alpha=-\frac{1}{2}$ should give the series for $\tan(z)$.