Let’s start with

Your first reaction should be “that’s not a convergent series!”. But I don’t think that

should scare you away from the algebra:

Swapping summations:

And rewriting the inside:

Now this is a tricky step: we’re outside the part of where the standard Dirichlet series actually converges. But lo’ we can ask what’s the Ramanujan summation pulling from wikipedia, we have:

,

where we set and , we get:

And the integral, since the bounds are identical, is zero, thus we have the Ramanujan constant for the series is

mpmath says this is:

-(0.5) - nsum(lambda n: bernoulli(2*n)/fac(2*n), [1,inf]) =
mpf('-0.58197670686932645')

Now here’s where things get both interesting and screwy, the zeta function is

defined for all negative real $s$, with trivial zeros at negative even integers. Indeed, throwing

into wolfram alpha or mpmath produces

>>> nsum(lambda n: zeta(-n)/fac(n), [0,inf])
mpf('-0.58197670686932645')

But what is this number? It’s , or more to the point,

The real question here, then, is not why:

, but in what circumstances does algebra performed on divergent series, and outside the right domain of definition of the zeta function still produce correct results? The direct manipulation of divergent series is much less painful to perform that the Ramanujan summation, and it would be helpful if those circumstances in which direct manipulation is possible to know when one can manipulate without the risk of error.

### Like this:

Like Loading...

*Related*

You can do the first sum numerically as well:

>>> nsum(exp, [0,inf])

mpf('-0.58197670686932645')

Hmm, but your initial problem was the geometric series with quotient e, beginning with e, which is e/(1-e) = -1.58197670687, and not -0.58197670687 .

*except* that we are summing a divergent series, so usual rules do not apply

Hmm, Owen, I don’t really like to insist on a nice blog. But I’ve discussed the same question late 2007, however without knowing that this was nearby Ramanujan-summation. Please take a look at http://go.helms-net.de/math/tetdocs/ProblemWithBellmatrix.pdf to see, what I mean.