All Questions

Let us define the Dirichlet series $$\mathcal C(s):=\sum_{n\text{ composite}}\frac{1}{n^s},\quad P(s):=\sum_{p\text{ prime}}\frac{1}{p^s}.$$ They are absolutely convergent in the half-plane $\sigma>...

Consider the following function: $$F(s)= \sum_m \mu(m) \sum_n \frac{e^{-n/2}\zeta^\prime (mns)}{n \zeta(mns)}$$ Now, we can see, that function has simple poles ${\left[\frac{1}{n}\right]}_{n=1}^\...

On p. 286 of Borwein's paper entitled "Computational Strategies for the Riemann zeta function", the author mentions a formula due to Ramaswami: $$(1-2^{1-s})\zeta(s) = \sum_{n=1}^{\infty} \...

For the purpose of formalisation in a theorem prover, I am looking for a simple definition of the analytic extension of the Hurwitz ζ function $\zeta(s,q)$ valid for all $s\in\mathbb{C}\setminus\{1\}$ ...

Is the reciprocal of the Zeta function analytically continuable? As $1/\zeta(n) = \sum_{n=1}^\infty \mu(n)/{n^s}$, this does not look obvious.