Gamma & Zeta Summation $\sum_{n=0}^{\infty}\frac{\Gamma(n+s)\zeta(n+s)}{(n+1)!}=0$

According to Gamma Summation & Zeta Summation: $$ \sum_{n=0}^{\infty} {(-1)^n \frac{\Gamma(n+s) \zeta(n+s)}{(n+1)!}}=\Gamma(s-1) \quad : \space Re\{s\}<2 $$

Show that: $$ \sum_{n=0}^{\infty} {\frac{\Gamma(n+s) \zeta(n+s)}{(n+1)!}}=0 \quad : \space Re\{s\}<1 $$

In other words, the Even & Odd parts are convergent series, equaling sums, and different signs: $$ \sum_{n=0}^{\infty} {\frac{\Gamma(2n+s) \zeta(2n+s)}{(2n+1)!}}=-\sum_{n=0}^{\infty} {\frac{\Gamma(2n+1+s) \zeta(2n+1+s)}{(2n+1+1)!}}=\frac{\Gamma(s-1)}{2} \space : \space Re\{s\}<1 $$


Solution 1:

  • note that $\frac{\Gamma(s+n)}{(n+1)!} = \frac{\Gamma(n+s)}{\Gamma(n+2)} = \mathcal{O}(n^{s-2})$, and since $\zeta(s+n) \to 1$, it converges for $Re(s) < 1$

  • but since $$\Gamma(s) \zeta(s) = \int_0^\infty \frac{x^{s-1} }{e^x-1}dx, \qquad \color{red}{\text{only for }} Re(s) > 1$$

    (for proving it : $\int_0^\infty x^{s-1} e^{-nx} dx = n^{-s}\Gamma(s), Re(s) > 0$ and $\frac{1}{e^x-1} = \sum_{n=1}^\infty e^{-nx}, x > 0$)

  • we have to consider the following regularized version $$\begin{eqnarray}\sum_{n=0}^\infty z^n \frac{\Gamma(s+n)\zeta(s+n)}{(n+1)!} &=& \int_0^\infty \sum_{n=1}^\infty z^n \frac{x^n}{n!}\frac{x^{s-2} }{e^x-1}dx \\ &=& \int_0^\infty (e^{zx}-1)\frac{x^{s-2} }{e^x-1}dx \\ & =& -\zeta(s-1)\Gamma(s-1)+ \int_0^\infty x^{s-2}\sum_{n=1}^\infty e^{-(n-z)x}dx \\ &=& \Gamma(s-1)(-\zeta(s-1)+\sum_{n=1}^\infty (n-z)^{1-s}) \\ &=& \Gamma(s-1) ((1-z)^{1-s}+\zeta(s-1,1-z)-\zeta(s-1)) \\ & &\qquad\qquad\qquad \color{red}{(Re(s) > 2, |z| < 1)}\end{eqnarray}$$ where $\zeta(s,a) = \sum_{n=1}^\infty (n+a)^{-s}$ is the Hurwitz zeta function, having a nice analytic continuation too, such that $\zeta(s) = \lim_{a\to 0} \zeta(s,a)$ also for $Re(s) < 1$. (**)

Hence, assuming the analytic continuation (*) of two variables $z,s$ works well (keeping $|z| < 1$) this stays true for $Re(s) < 1$ where we can extend to $|z| = 1$ and get $$\sum_{n=0}^\infty \frac{\Gamma(s+n)\zeta(s+n)}{(n+1)!} = \lim_{z \to 1^-}\sum_{n=0}^\infty z^n \frac{\Gamma(s+n)\zeta(s+n)}{(n+1)!} $$ $$\qquad =\lim_{z \to 1^-} \Gamma(s-1) ((1-z)^{1-s}+\zeta(s-1,1-z)-\zeta(s-1)) = 0\quad (Re(s) < 1, -s \not \in \mathbb{N})$$

the $\lim_{z \to 1^-} $ is justified by the fact the LHS converges absolutely when $|z| \le 1, Re(s) < 1$ (so it is continuous in $z$), and the fact the RHS is continuous in $|z| \le 1$ too

(*) and it does since the RHS $\Gamma(s-1) ((1-z)^{1-s}+\zeta(s-1,1-z)-\zeta(s-1))$ is obviously holomorphic/analytic/meromorphic in $s$, while the LHS is also holomorphic in $s$, by showing $\sum_{n=0}^\infty z^n \frac{\frac{d}{ds}\Gamma(s+n)\zeta(s+n)}{(n+1)!}$ converges absolutely when $|z| < 1$, and when $|z|= 1, Re(s) < 1$

(**) integrating by parts $\zeta(s,a) = \sum_{n=1}^\infty (n+a)^{-s} = \int_{a-\epsilon}^\infty \sum_{n=1}^\infty \delta(x-n-a)x^{-s}dx = s \int_a^\infty \lfloor x+a \rfloor x^{-s-1} dx$ $ $ $= \frac{s a^{-s}}{s-1}+a^{-s}+s \int_a^\infty (\lfloor x+a \rfloor-x-a) x^{-s-1} dx \ \ (Re(s) > 0)$, and we can integrate by parts several times the same way

Solution 2:

In Handbuch, Edmund Landau provided the identity of rising factorial: $$ \begin{align} \,& \zeta(s)=\frac{s}{s-1}-\sum _{n=1}^{\infty}\left[\frac{s(s+1)\cdots(s+n-1)}{(n+1)!}\left(\zeta(s+n)-1\right)\right] \,\,\,\colon\,s\in\mathbb{C} \\[2mm] \,& \Rightarrow\,\Gamma(s)\zeta(s)=\frac{\Gamma(s+1)}{s-1}-\sum _{n=1}^{\infty}\left[\frac{\Gamma(s+n)}{(n+1)!}\left(\zeta(s+n)-1\right)\right] \\[2mm] \,& \qquad\qquad\quad\,\,\,=\Gamma(s-1)+\Gamma(s)-\sum _{n=1}^{\infty}\left[\frac{\Gamma(s+n)\zeta(s+n)}{(n+1)!}-\frac{\Gamma(s+n)}{(n+1)!}\right]\,\Rightarrow \end{align} $$

$$ \sum _{n=0}^{\infty}\frac{\Gamma(s+n)\zeta(s+n)}{(n+1)!}-\sum _{n=0}^{\infty}\frac{\Gamma(s+n)}{(n+1)!}=\Gamma(s-1) \quad\colon\,s\in\mathbb{C}\qquad\qquad\qquad\tag{1} $$

And from the summation identity of gamma function: $$ \begin{align} \,& \quad\sum_{n=0}^{\infty}\frac{\Gamma(n+s)}{n!}=0 \,\,\colon\,Re\{s\}\lt0 \,\,\Rightarrow\,\, \sum_{n=0}^{\infty}\frac{\Gamma(n+s-1)}{n!}=0 \,\,\colon\,Re\{s\}\lt1\,\,\Rightarrow \\[2mm] \,& -\sum_{n=\color{red}{1}}^{\infty}\frac{\Gamma(n+s-1)}{n!}=\Gamma(s-1) \,\Rightarrow\, -\sum_{n=\color{red}{0}}^{\infty}\frac{\Gamma(n+s)}{(n+1)!}=\Gamma(s-1) \,\,\colon\,Re\{s\}\lt1\tag{2} \\[2mm] \end{align} $$ Limiting the range of $(1)$ to be $\small\left\{\,Re\{s\}\lt1\,\right\}$ like $(2)$,
the gamma series from LHS of $(1)$ will cancel $\small\Gamma(s-1)$ of RHS,
leaving: $$ \sum_{n=0}^{\infty}\frac{\Gamma(n+s)\zeta(n+s)}{(n+1)!}=0\,\,\,\colon\space Re\{s\}\lt1 $$ As desired.