What is the connection between the Riemann hypothesis and prime numbers?

Click For Summary
The Riemann Hypothesis is fundamentally linked to the distribution of prime numbers through the zeros of the zeta function, which are believed to lie on the critical line with a real part of 1/2. This hypothesis implies that the prime counting function can be accurately approximated using the logarithmic integral Li(x), with a known error term. Discussions highlight the complexity of calculating Pi(x) and the challenges in proving the hypothesis, with various proposed methods and algorithms, including the Lagarias-Odlyzko algorithm. There is skepticism about the effectiveness of approximations versus exact calculations of Pi(x), with some arguing for alternative methods. The conversation underscores the ongoing debate and research surrounding the Riemann Hypothesis and its implications in number theory.
  • #31
But Shmoe then if \zeta(1/2+it)+\zeta(1/2-it)=0 and the both zeta function are non-zero the only possible solution is \zeta(1/2+it)=-\zeta(1/2-it) so taking the quotient (we can take it as none of them is zero) we would have that \frac{\zeta(1/2+it)}{\zeta(1/2-it)}=-1 so the modulus of the quotient would be one isn,t that true...( i don,t know the key in my computer to make the modulus of a complex variable,sorry about that)
 
Physics news on Phys.org
  • #32
eljose said:
But Shmoe then if \zeta(1/2+it)+\zeta(1/2-it)=0 and the both zeta function are non-zero the only possible solution is \zeta(1/2+it)=-\zeta(1/2-it) so taking the quotient (we can take it as none of them is zero) we would have that \frac{\zeta(1/2+it)}{\zeta(1/2-it)}=-1 so the modulus of the quotient would be one isn,t that true...( i don,t know the key in my computer to make the modulus of a complex variable,sorry about that)

I don't understand what you're trying to say. From your last post it looked like you were hoping that if \zeta(1/2+it)+\zeta(1/2-it)=0 then t had to be real. This is equivalent to \zeta(s)+\zeta(1-s)=0 implying that s is on the critical line, which I've explained to be false.
 
  • #33
but you are forgeting that:

\zeta(1/2-is)+\zeta(1/2+is)=\zeta(1/2-is)[1+\chi(1/2-is)]=0

as i have said that zeta is non-zero then we have s satisfy the roots of the equation

\chi(1/2-is)=-1 so the modulus of the function \chi(1/2-is) would be equal to 1.
 
  • #34
so you seem to be very clever to find "gaps" and fails in my works now i have a proof for you that is to proof that the set of functional equation...

k^{2}\chi(1/2+b-it)=\chi(1/2-b-it)

\chi(1/2-b+it)\chi^{*}(1/2-b+it)=1

k^2=[\chi(1/2-b+it) with []=modulus of the complex number

have a fixed b as it solution...and more complicate to prove that the only solutions to it for b and k are k=b+1=1...i am waiting for your respones oh masterminds of mathematics...
 
  • #35
respond to a proof of what? I can't understand a word of what you're saying but that's not down to the mathematics.
 
  • #36
shmoe said:
I just noticed this:



It was Littlewood who did this. There's an upper bound for where the first sign change is guaranteed to happen. I can't recall what the current best upper bound is, but it's still well out of computational reach (the first was by Skewes and was something like 10^34 digits, this has been greatly improved though).

ya, I think I read somewhere that it was about 10^10^10
 
  • #37
eljose said:
\chi(1/2-is)=-1 so the modulus of the function \chi(1/2-is) would be equal to 1.

So? I've already explained that |\chi(s)|=1 does not imply s is on the critical line.

eljose said:
so you seem to be very clever to find "gaps" and fails in my works now i have a proof for you that is to proof that the set of functional equation...

k^{2}\chi(1/2+b-it)=\chi(1/2-b-it)

\chi(1/2-b+it)\chi^{*}(1/2-b+it)=1

k^2=[\chi(1/2-b+it) with []=modulus of the complex number

have a fixed b as it solution...and more complicate to prove that the only solutions to it for b and k are k=b+1=1...

I'm not sure I understand what you're saying, but with t=0, k=1, and b=1/2-\alpha where I defined \alpha in https://www.physicsforums.com/showthread.php?t=84445 we have:

(1)^2\chi(1/2+b)=1=\chi(1/2-b)

\chi(1/2-b)\overline{\chi(1/2-b)}=1

and

(1)^2=|\chi(1/2-b)|

So this looks like a solution that doesn't have b=0.

Or do you want a k and b that hold for all real values of t? Honestly it's hard to understand what you're saying, your post is really confusing (though bravo for finally using the standard symbol \chi). If this is indeed what you're after your second equation is saying |\chi(1/2-b+it)|=1 for all real t, so just use an approximation like

|\chi(\sigma+it)|\sim\left(\frac{t}{2\pi}\right)^{1/2-\sigma}

as t\rightarrow\infty, valid in any fixed vertical strip (this follows from Stirlings). This asymptotic implies that the modulus can't always be 1 unless \sigma=1/2, i.e. our only possibility is b=0. When b=0 and t is real, |\chi(1/2+it)|=1 follows from the definition of \chi. k=-1 or +1 follows from your first or last equation.

eljose said:
i am waiting for your respones oh masterminds of mathematics...

Tell you what, if you'd prefer me to never read or respond to your posts again just ask nicely and you've got it.
 
  • #38
Jonny_trigonometry said:
ya, I think I read somewhere that it was about 10^10^10

Here's the mathworld link:

http://mathworld.wolfram.com/SkewesNumber.html

truns out I was off. By a lot. Skewes original bound was in the 10^(10^34) digit range, but is now a "mere" 317 digits.

The largest value of pi(x) that's been computed exactly is in the range 10^22 if this table is any indication:

http://mathworld.wolfram.com/PrimeCountingFunction.html

so it may be some time before we see an explicit crossing :wink:
 
  • #39
sorry i didn,t want to offend you i was only looking solutions to the functional equation that holds for a series of values of t (t does not include 0) b and t are both real so the equations are satisfied:( b and t are real and k>0 and 1/2>b>-1/2 so 1/2-b and 1/2+b can take the values in the interval (0,1)

k^{2}\chi(1/2+b+it)=\chi(1/2-b+it)

\chi(1/2-b-it)\chi^*(1/2+b-it)=1

k=[\chi(1/2-b-it)]

with [] meaning the modulus of the complex number,to prove my assumption would be equivalent to prove that having f the real function satisfying:

f(a+ib)f^*(c+ib)=1 with f satisfying f(a+ib)=f^*(a-ib) then we have that a=c

Edit:operating with the second equation i get the condition:

\Ganma(1/2-b-it)\Ganma(1/2+b+it)Cos(\ipit-\pib/2)=\pi

but don,t know if this will be enough to prove that b=0
 
Last edited:
  • #40
well i have made some advances in proving riemann hypothesis the final key to the jigsaw is to prove that the equality:

\int_0^{\infty}\int_0^{\infty}dxdy(x/y)^{-1/2}(x/y)^{-b}(x/y)^{-it}e^{-(x+y)}=\int_0^{\infty}\int_0^{\infty}dxdy(x/y)^{-1/2}(x/y)^{b/2}(x/y)^{-it}e^{-(x+y)} holds only for b=0 that,s all for the moment :)

sorry i made a mistake so this conclusion wouldn,t be valid :frown: :cry: :frown: :cry: :frown: :cry: the only conclusion i have got is that the set of functional equations:

\chi(1/2+b-it)\chi(1/2-b+it)=1

k^{2}\chi(1/2-b+it)=\chi(1/2+b+it)

you can check that if b=0 then k=1 (t is different from zero) the non trivial roots of the function \zeta(1/2+is) can be written as s=t+ib. if exist a solution of the functional equations above with b non-zero then Riemann hypothesis would be false...

also you can check that both equation are invariant with the symmetries:

(k,b,t)\rightarrow(k,b,-t) and (1/k,b,t)\rightarrow(k,-b,-t)
 
Last edited:
  • #41
You do realize that those iterated integrals are separable, right? They can be written as a function of x alone times a function of y alone.
 
  • #42
we also have that -1/2<b<-1/2 and the same for -b...
 
  • #43
dear philosophking, in the midst of the rampant lunacy being indulged here, in post 32 I have actually tried to answer to some extent your original question, based on my reading of riemanns original paper and in the context of his works in general.

does it mean anything to you?
 
  • #44
I have an intuition about a method of attempting to solve the Goldbach conjecture. Does any more knowledgeable person here think the following would help simplify the problem?

Instead of attempting to prove that p + q = 2n showing that all even numbers can be expressed as the sum of two primes, would it be feasible to prove each of the following three subdivided problems?

That the three series of even numbers

A) 6n

B) 2+6n

C) 4+6n

are each composed of even numbers which can be written as the sum of two primes?

I see it as likely that the following facts may help: 1 + 6n is a series composed of primes (exactly half of them) along with certain composite integers which are the product of a pair of primes, while 5 + 6n is also a series similarly composed of the other half of the primes along with composites which are the product of a pair of primes.

Furthermore, adding two primes on the series 1 + 6n always gives a sum which is a member of 2+6n, AND adding any pair of primes on the series 5 + 6n always gives an even number on 4 + 6n, whereas adding one prime from 1+6n with another from the series 5+6n always gives a sum that is a member of 6n itself. This highly restricted pattern of series membership appears to reveal a tendency which could be exploited in an attempted proof.

Finally, adding the three series A B and C above would of course give all the even numbers, so proving that each of the three respects the Goldbach rule would prove the whole conjecture.
 
Last edited:
  • #45
I'm no expert on the goldbach problem, but I guarantee that those who are working on it are well aware of modular arithmetic. It's very standard to consider breaking problems up into cases of congruence classes, indeed the goldbach problem is already talking about even integers.

"I see it as likely that the following facts may help: 1 + 6n is a series composed of primes (exactly half of them) along with certain composite integers which are the product of a pair of primes, while 5 + 6n is also a series similarly composed of the other half of the primes along with composites which are the product of a pair of primes."

I'm not sure what you mean by the part in bold above. What 'certain composites' are you referring to? Just the ones that are products of two primes? There are lots of composites in these sequences that are the products of many primes as I'm sure you know.

I wouldn't use the term "exactly half of them", they have the same asymptotic density, but you don't 'usually' expect a perfect split in the respective prime counting functions like the word 'exactly' suggests (see also the "Chebyshev bias" or "primes race")


Also, why not start a new thread for this? Maybe it could be split off.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 10 ·
Replies
10
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
8
Views
11K