Is this a route to the prime number theorem?

  • Context: Graduate 
  • Thread starter Thread starter arivero
  • Start date Start date
  • Tags Tags
    Prime Theorem
Click For Summary
SUMMARY

The discussion centers on the Dirichlet Eta Function and its relation to the prime number theorem. Each prime number p defines a function \(\eta_p\) that introduces zeros at specific points in the complex plane, particularly at \(s = (\log 2 + 2 n i \pi) / \log p\). For \(p=2\), this function eliminates the pole of the Riemann zeta function at \(s=1\). The exploration suggests that a cumulative function \(\eta_\infty(s)\) may share zeros with the Riemann zeta function while also introducing new zeros with density \(1/\log p\) along the line \(r=\log(2)/\log(p)\).

PREREQUISITES
  • Understanding of the Riemann zeta function
  • Familiarity with Dirichlet series
  • Knowledge of complex analysis
  • Basic concepts of prime number theory
NEXT STEPS
  • Study the properties of the Dirichlet Eta Function
  • Investigate the implications of zeros of the Riemann zeta function
  • Explore the Euler product formula in number theory
  • Learn about the distribution of prime numbers and their relation to analytic functions
USEFUL FOR

Mathematicians, number theorists, and researchers interested in analytic number theory and the distribution of prime numbers.

arivero
Gold Member
Messages
3,485
Reaction score
188
I notice that the trick to define Dirichlet Eta Function can be repeated for each prime number, let p a prime, and then

[tex]\eta_p= (1 - p^{-s}) \zeta(s) - p^{-s} \zeta(s) = (1 - 2 p^s) \zeta(s)[/tex]

So each prime p defines a function [tex]\eta_p[/tex] that adds a family of zeros at [itex]s= (\log 2 + 2 n i \pi) / \log p[/itex]. Particularly, for p=2 it kills the only pole of zeta in s = 1.

Repeating the trick for each prime, we seem to obtain a function [tex]\eta_\infty(s)[/tex] having the same zeros that the Riemann zeta plus families of zeros of density 1/log p placed at the lines r=log(2)/log(p)

Or, if we don't like to crowd the critical strip, we can use only the left part of the eta, the [tex]\eta^F_p(s)= (1 - p^{-s}) \zeta(s)[/tex], and then for [tex]\eta^F_\infty(s)[/tex] we get all the families cummulated in the r=0 line.

But on other hand it can be argued that [tex]\eta^F_\infty(s)=1[/tex], as we have removed all the factors in Euler product. So there should be some relation between the n/log(p) zeros in the imaginary line and the other zeros in the Riemann function
 
Last edited by a moderator:
Physics news on Phys.org
It is hard to tell anything as long as ##\eta_\infty## is basically undefined.
 

Similar threads

  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
Replies
4
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K