2
$\begingroup$

Probably this is known, but mathworld and wolfram alpha don't recognize this potential identities.

Numerical evidence suggests:

$$ \sum_{n=2}^\infty \frac{\zeta(n)}{a^n} =? \sum_{n=1}^\infty \frac{1}{a (a n^2 -n) } = \frac{-\gamma - \psi((a-1)/a)}{a} \qquad (1) $$

and

$$ \sum_{n=2}^\infty \frac{(-1)^n \zeta(n)}{a^n} =? \sum_{n=1}^\infty \frac{1}{a (a n^2 + n) } = \frac{\gamma + \psi(1/a)+a}{a} $$

for $a \in \mathbb{C}$ whenever the first sum converges.

Web search found the special case $a=2$ is proved in a paper.

Are these identities true?

mathworld 52 gives related identity for even zeta:

$$ \sum_{n=0}^\infty\zeta(2n+2) x^{2n}=\frac{1-\pi x \cot(\pi x)}{2 x^2} \qquad (52) $$

Setting $a=\pi$ in (1) and $x=1/\pi$ in (52) gives: $$\sum_{n=1}^\infty\zeta(2n+1)/\pi^{2n+1} = (-\gamma -\psi((\pi-1)/\pi)/\pi - (1-\cot(1))/2 $$

Verified with mpmath.nsum and $1000$ digits of precision.

$\endgroup$
2
  • 4
    $\begingroup$ The first two formulas (question marks) are easy to prove by expanding the Riemann zeta-function into its definition, changing the summation order and using the formula for a geometric series. $\endgroup$ Commented Jun 12, 2013 at 9:16
  • 1
    $\begingroup$ But of course absolute convergence must be checked to reverse the order of summation. Not hard. $\endgroup$ Commented Jun 12, 2013 at 13:30

1 Answer 1

2
$\begingroup$

Certainly $$ \psi(1+z)=−\gamma+\sum_{k=2}^\infty(−1)^k\zeta(k)z^{k−1} $$ and $$ \psi(z)=−\gamma−\frac1z+\sum_{k=1}^\infty\frac z{k(k+z)} $$ are classical - see e. g. DLMF

As for Mathematica, it answers to

Sum[Zeta[n]/a^n, {n, 2, \[Infinity]}]

with

(-EulerGamma - PolyGamma[0, 1 - 1/a])/a

to

Sum[((-1)^n Zeta[n])/a^n, {n, 2, \[Infinity]}]

with

(EulerGamma + PolyGamma[0, 1 + 1/a])/a

to

Sum[1/(a (a n^2 - n)), {n, \[Infinity]}]

with

-((EulerGamma + PolyGamma[0, 1 - 1/a])/a)

and to

Sum[1/(a (a n^2 + n)), {n, \[Infinity]}]

with

(EulerGamma + PolyGamma[0, 1 + 1/a])/a
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .