Prime Zeta Function at 1

Prime Zeta Function at 1
$\begingroup$

I wanted to find $$\lim_{s\to 1} (P(s)-\ln(\zeta(s)))$$ and here is my attempt:

So we know that $$M=\gamma +\sum_{n=2}^\infty \mu(n) \frac {\ln(\zeta(n))}{n}$$ and that $$P(s)=\sum_{n=1}^\infty \mu(n) \frac {\ln(\zeta(sn))}{n}$$ where $M$ is Mertens constant (here), $\gamma$ the Euler Mascheroni constant (here), $\mu(s)$ the Möbius function (here), $\zeta(s)$ the Riemann zeta function (here) and $P(s)$ the prime zeta function (here).

If we let s=1 then $P(1)=\infty=\sum_{n=1}^\infty \mu(n) \frac {\ln(\zeta(n))}{n}$

but if we subtract $\mu(1) \frac {\ln(\zeta(1))}{1}$ (which is also equal to $\infty$) then we have $P(1)-\mu(1) \frac {\ln(\zeta(1))}{1}=P(1)-\ln(\zeta(1))=\sum_{n=2}^\infty \mu(n) \frac {\ln(\zeta(n))}{n}=M-\gamma$

and we can write that as $$\lim_{s\to 1^+} (P(s)-\ln(\zeta(s)))=M-\gamma$$

If you type $P(1)-\ln(\zeta(1))$ into wolfram alpha, it yields $\infty$. But if you give it very small numbers near one it gives nearly perfect results

$P(1.001)-\ln(\zeta(1.001))=-0.31496...$

$M-\gamma=-0.31571...$

I think that some things here are not really legit, but is that correct? Are there better ways to prove this result? And I'm sorry if there are any grammatical or spelling mistakes.

$\endgroup$
0

2 Answers

$\begingroup$
  • $$\zeta(s) = \prod_p \frac1{1-p^{-s}}, \qquad \Re(s) > 1$$ gives $$\log \zeta(s) =- \sum_p \log(1-p^{-s}) = \sum_{p^k} \frac{p^{-sk}}{k} = \sum_k \frac{P(sk)}{k}$$ so $$P(s) = \sum_k \frac{\mu(k)}{k} \log \zeta(sk)$$ at first for $\Re(s) > 1$ and by analytic continuation for $\Re(s) > 0$ so that $$ \lim_{s \to 1} P(s) - \log \zeta(s) = \sum_{k\ge2} \frac{\mu(k)}{k} \log \zeta(k)$$

  • At first for $\Re(s) > 1$ and by analytic continuation for $\Re(s) > 0$ $$\zeta(s)- \frac1{s-1} = \sum_n (n^{-s} -\int_n^{n+1} x^{-s}dx)$$ gives that $f(s)=(s-1)\zeta(s) $ is analytic at $s=1$ with $f(1)=1$ thus $F(s)=\log (s-1)\zeta(s)$ is analytic at $s=1$ with $F(1)=0$.

  • The $\gamma$ appearing in the Mertens constant $M$ comes from $\gamma = \sum_n (n^{-1} -\int_n^{n+1} x^{-1}dx)$

$\endgroup$
$\begingroup$

Your argument is (nearly) correct . Because, $P(1+e)=\ln\frac{1}{e}+C+O(e)$

Where C is your M - $\gamma$

And for

$\ln\zeta(1+e)= \ln \frac {1}{e} + O(\ln(e))$ For small e

For more details Visit

$\endgroup$
3

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Robert Thorne
Author

Robert Thorne

Robert Thorne covers electric vehicle innovations, autonomous driving systems, global mobility trends, and automotive engineering developments.