English

On a pair of zeta functions

Number Theory 2016-10-21 v9

Abstract

Let mm be a positive integer, and define ζm(s)=n=1(e2πi/m)ω(n)ns    and    ζm(s)=n=1(e2πi/m)Ω(n)ns,\zeta_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}{n^s}\ \ \ \ \text{and} \ \ \ \ \zeta^*_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}{n^s}, for (s)>1\Re(s)>1, where ω(n)\omega(n) denotes the number of distinct prime factors of nn, and Ω(n)\Omega(n) represents the total number of prime factors of nn (counted with multiplicity). In this paper we study these two zeta functions and related arithmetical functions. We show that n=1n is squarefree(e2πi/m)ω(n)n=0if  m>4,\sum^\infty_{n=1\atop n\ \text{is squarefree}}\frac{(-e^{2\pi i/m})^{\omega(n)}}n=0\quad\text{if}\ \ m>4, which is similar to the known identity n=1μ(n)/n=0\sum_{n=1}^\infty\mu(n)/n=0 equivalent to the Prime Number Theorem. For m>4m>4, we prove that ζm(1):=n=1(e2πi/m)ω(n)n=0    and    ζm(1):=n=1(e2πi/m)Ω(n)n=0.\zeta_m(1):=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}n=0 \ \ \ \ \text{and}\ \ \ \ \zeta^*_m(1):=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}n=0. We also raise a hypothesis on the parities of Ω(n)n\Omega(n)-n which implies the Riemann Hypothesis.

Keywords

Cite

@article{arxiv.1204.6689,
  title  = {On a pair of zeta functions},
  author = {Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:1204.6689},
  year   = {2016}
}

Comments

22 pages, final published version