General Discussion > Math and Science

A question about zeroes of the Zeta function

(1/1)

Xeda112358:

The problem:
Is there an ##s\in \mathbb{C}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697989")]);console.log("Queued!"); such that ##\zeta(s)=\zeta(2s)=0##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb69799a")]);console.log("Queued!");? If so, what is ##\lim_{z\rightarrow s}{\frac{\zeta(s)^{2}}{\zeta(2s)}}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979a7")]);console.log("Queued!");?


Okee dokee, I know this is getting dangerously close to the Riemann Hypothesis, but I swear that wasn't my original intent!


I was playing around with infinite sums and products and I wanted to figure out the sum form of ##\prod_{p}{\frac{1+p^{-s}}{1-p^-s}}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979b7")]);console.log("Queued!");. I started by knowing that ##\prod_{p}{(1-p^{-s})}^{-1} = \zeta(s)##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979c0")]);console.log("Queued!");, and from previous work, ##\prod_{p}{\sum_{k=0}^{n-1}{(p^{-s})^{k}}} = \frac{\zeta(s)}{\zeta(ns)}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979c8")]);console.log("Queued!");). From that, I knew ##\prod_{p}{1+p^{-s}} = \frac{\zeta(s)}{\zeta(2s)}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979d1")]);console.log("Queued!");, thus I know the product converges when ##\zeta(2s) \neq 0, \zeta(s) \in \mathbb{C}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979db")]);console.log("Queued!");. I knew convergence wasn't an issue (for the most part) so I expanded the product some (a reversal of Euler's conversion from ##\zeta(s) = \sum_{k=1}^{\infty}{k^{-s}} = \prod_{p}{(1-p^{-s})}^{-1}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979e4")]);console.log("Queued!");) and obtained:

##\prod_{p}{\frac{1+p^{-s}}{1-p^-s}}= \sum_{k=1}^{\infty}{2^{f(k)}k^{-s}}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979ed")]);console.log("Queued!");,


 where ##f(k)##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979f6")]);console.log("Queued!"); is the number of prime factors of k. It turns out that this has been known since 1979 and after I had access to the internet, I figured out the typical symbol used for my ##f(k)##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb6979ff")]);console.log("Queued!"); in this context is ##\omega(k)##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a09")]);console.log("Queued!");. So that was cool, and I could write that sum and product in terms of the zeta function as ##\frac{\zeta(s)}{\zeta(2s)}\zeta(s) = \frac{\zeta(s)^{2}}{\zeta(2s)}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a12")]);console.log("Queued!");, so do with that what you will (I tried to use it to find the number of prime factors of a number n, but I didn't get anywhere useful). What I decided to pursue was when this function was zero. As long as ##\zeta(s)=0, \zeta(2s)\neq 0##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a1c")]);console.log("Queued!");, we know that it is 0, but I haven't yet figured out if there is ever an instance where ##s\in \mathbb{C}, \zeta(s)=\zeta(2s)=0##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a26")]);console.log("Queued!");. If there is such an s, then the Riemann Hypothesis is false. However, if such an s does not exist, this says nothing about the Riemann Hypothesis :P .
Spoiler For Why the existence of an s would prove RH false: It is simple: RH says that ##\zeta(s)=0##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a48")]);console.log("Queued!"); if and only if ##Re(s)=\frac{1}{2}##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a54")]);console.log("Queued!");. So if ##\zeta(s)=\zeta(2s)=0##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a5f")]);console.log("Queued!");, assuming RH is true, then ##Re(s)=Re(2s)=2Re(s)##MathJax.Hub.Queue(["Typeset", MathJax.Hub, document.getElementById("bbclatex66478eb697a6a")]);console.log("Queued!");, which would imply s=0, a contradiction to the Riemann Hypothesis which we just assumed was true!


As well, if there is such an s, I wanted to know if it could be one of those removable discontinuity thingies.


EDIT: fixed a tag and an incorrect restatement of the RIemann Hypothesis :P

Navigation

[0] Message Index