My question is if it's possible justify the following calculations, that are an application of Frullani's theorem in complex context on assumption of the Riemann Hypothesis to prove that $$\sum_{n=1}^\infty\sum_{k=0}^\infty(-1)^k\frac{2^{2k+1}((\gamma_n)^{2k+1}-(\gamma_{n+1})^{2k+1})}{2k+1}=\arctan(2\Im \rho_1),$$ where $\rho_n$ is the sequence of non-trivial zeros of the Riemann Zeta function with $\gamma_n:=\Im\rho_n>0$.
Question. Does makes sense $$\sum_{n=1}^\infty\sum_{k=0}^\infty(-1)^k\frac{2^{2k+1}((\gamma_n)^{2k+1}-(\gamma_{n+1})^{2k+1})}{2k+1}=\arctan(2\Im \rho_1)$$ on assumption of the Riemann Hypothesis? My purpose is understand those steps and where were my mistakes. Thanks in advance.
Notice that $$\sum_{k=0}^\infty\frac{(-1)^k(2a)^{2k+1}}{2k+1}=\arctan(2a)$$ converges only when $|a|<\frac{1}{2}$, but here $\gamma_1>14>\frac{1}{2}$, thus I don't know if previous series converges, this is, where was my mistake? I provide us a sketch of this exercise.
$\bullet$ Use Frullani Theorem in complex context to show that $$\sum_{n=1}^\infty\int_0^\infty\frac{e^{-x\rho_n}-e^{-x\rho_{n+1}}}{x}dx=-\mathcal{Log}(\rho_1),$$ notice that here could be a mistake because I've used the complex logarithm (main branch) property for quotients $\mathcal{Log}(\frac{b}{a})=\mathcal{Log}(b)-\mathcal{Log}(a)$ , to define a telescoping series in LHS. Was here my mistake?
$\bullet$ On assumption of the Riemann Hypothesis, take the imaginary part to get using the Taylor series for the sine function $$\sum_{n=1}^\infty\sum_{k=0}^\infty \left( \frac{(\gamma_{n})^{2k+1}-(\gamma_{n+1})^{2k+1}}{(2k+1)!}(-1)^k\int_0^\infty e^{-x/2}x^{2k}dx\right) =\arctan(2\Im \rho_1),$$ where we change the series with the integral sign using the Dominated Convergence Theorem.
Is right the swap the series and the integral sign? I believe that yes, since the function in the integral is bounded when one takes the complex modulus.
$\bullet$ Finally one uses the identity $$\int_0^\infty e^{-\frac{x}{2}}x^{2k}dx=2^{2k+1}\Gamma(2k+1),$$ for integers $k\geq 0$, which is right, you can use a CAS or integration by parts and mathematical induction.
Say, $\sum_{n=0}^\infty(-1)^{n+1}-(-1)^n$ is telescoping, so surely it must equal $1$, the only term that does not cancel, which in other words says $$1=(-1+1)+(1-1)+(-1+1)+(1-1)+\dots$$How do you do telescoping unbounded partial sums? Obviously, if you assumed the Riemann Zeta hypothesis, then $\lim_{n\to\infty}\rho_n=\infty$, so you more or less just said
$$[\log(1)-\log(2)]+[\log(2)-\log(3)]+[\log(3)-\log(4)]\dots=\log(1)$$
just using different numbers is all you did.
So the real question is if you know what kind of math you are dealing with, because if you don't, you'll most certainly make mistakes, especially when it comes down to the different ways you can deal with certain things.
Note that
$$\sum_{n=1}^\infty a_n:=\lim_{N\to\infty}\sum_{n=1}^Na_n$$
which only exists if the limit exists.
if you did, however, have the background to understand the concept of $\sum_{n=1}^\infty a_n$ when the limit definition makes no sense, then you wouldn't ask if it made any sense because almost anyone who deals with such math does not attach "sense" to it. (yes, we are a little crazy, but I'm sure that's ok)