![Arxiv:2105.05317V3 [Math.NT] 18 Jun 2021](http://data.docslib.org/img/3b50699b24590f46b53a750eb78cc5fd-1.webp)
arXiv:2105.05317v3 [math.NT] 18 Jun 2021 odrv smttcfrua,adetmtsfor estimates and formulae, asymptotic derive to nltc rtatce ihro h hbse functions Chebyshev the of either attacked first analytic, hsterm nta fanalyzing of W Instead and [11], theorems, theorem. Tauberian Stein mat this methods, b [10], then, elementary given Selberg Since (e.g. an independently [9][7], approaches methods. Newman were in analytic [5], topic proofs using Levinson [13] first popular 1896 Its a in been Poussin century. has 19th theorem[1][3] the number prime The Introduction 1. ietPofo h rm ubrTermusing Theorem Number Function Prime Prime-counting the Riemann’s of Proof Direct A hoe yproving by theorem ehd,sc sprilsmain to summation, partial as such methods, Abstract. hoe nd aVl´ePusnsform: Vall´ee Poussin’s la de in theorem ehd,ti e prahue otu-nerto metho contour-integration uses approach function counting new fu this Chebyshev on expansion methods, asymptotic performing of Instead nentoa eatet h ffiitdHg colo SCNU of E-mail: School High Affiliated The Department, International Liu Zihao travor nti ae,w eeo oe nltcmto opoethe prove to method analytic novel a develop we paper, this In [email protected] J ψ ( ( x x ,wihol iesfrom differs only which ), = ) x π n X lim x →∞ ≤ lim ϑ ( →∞ ϑ x x ( ( iety rsn ros eadeseeetr or elementary regardless proofs, present directly, ) x x Λ( x π 1 = ) .Atog adu[]4 eie h rm number prime the derived [1][4] Landau Although ). n X ( n ≤ n x X = ) ≤ x li( = ) p X x µ ≤ µ ( n x k n ( log ≤ n x ) π X log + ) (3) 0 = ) ( (4) 0 = x p 2 eeltrotie sn elementary using obtained later were ) O π x ( ( ϑ x xe ( by ) x − n otu nertos oprove to integrations) contour and 1 c /k ih 1]hv xlrddifferent explored have [14] right √ eaiin uha pso [1], Apostol as such hematicians O log (2) ) aaadadd aVall´ee la de and Hadamard y ( √ x ) cin si ovninlanalytic conventional in as nctions x ltcnme hoysince theory number alytic o log log oaayeReansprime Riemann’s analyze to d x/ log x ). rm number prime (1) he still justified the equivalence of (3) and (4) to the prime number theorem with Chebyshev functions. Hence, it is an interesting task to investigate a method that avoids the use of (1) and (2). In this paper, we propose a proof of the prime number theorem that avoids the use of Chebyshev functions. In particular, we first introduce Riemann’s prime counting function J(x) to our problem and relate it to π(x). Then, by inverse Mellin transform, an integral representation is obtained for π(x). In the subsequent part of this paper, we evaluate the contour integral and obtain the prime number theorem in the version of de la Vall´ee Poussin. That is, there exists a positive constant c such that
c√log x π(x) = li(x)+ (xe− ) (5) O where li(x) is the logarithmic integral:
1 ε x dt li(x) = lim − + (6) ε 0+ log t → Z0 Z1+ε In essence, the main contribution of this paper is a new proof of the prime number theorem. The significance of this proof is that it is an analytic method that avoids the use of Chebyshev functions.
2. Riemann’s prime counting function J(x) Let an be defined by 1/k n = pk,p prime an = (7) (0 otherwise
In his paper on π(x), Riemann [2] defined J(x) as the summatory function for an: 1 J(x)= a = (8) n k n x 1 π(x1/k) π(√x) J(x) π(x)= − k ≤ k 2 k log x 2 k log x ≤ X≤ 2 ≤ X≤ 2 √x √x log log x ≤ k ≪ 2 k log x ≤ X≤ 2 By (9), asymptotic formula for J(x) can be ported to π(x) with ease, so we can study π(x) simultaneously when we analyze J(x). 3. Integral representation for J(x) and π(x) Riemann [2] had shown that 1 k+i xs J(x)= ∞ log ζ(s)ds (10) 2πi k i s Z − ∞ for noninteger x > 2 and k > 1 using Fourier analysis. However, because (10) involves infinite integrals, it would be difficult to analyze its asymptotic behavior directly, so we wish to convert (10) into a quantitative form. In other words, we prove a special case of Perron’s formula [13][8]. Lemma 1. For (s) > 1, we have ℜ ∞ a n = log ζ(s) (11) ns n=1 X Proof. Since (s) > 1, the left hand side converges absolutely, we can change the order of summation safely:ℜ ∞ a ∞ 1 1 n = = log ns kpks 1 p s n=1 p p − X X Xk=1 X − 1 = log = log ζ(s) 1 p s p − Y − Lemma 2. For k> 1 and noninteger x> 2, if we set 1 k+iT xs J(x)= log ζ(s)ds + R1(x,k,T ) (12) 2πi k iT s Z − then xk ∞ 1 R (x,k,T ) (13) 1 ≪ T nk log x/n nX=1 | | Proof. If we define 0 0 1 k+iT ys yk h(y)= ds + (16) 2πi k iT s O T log y Z − | | Since log ζ(s) converges absolutely whenever (s) = k > 1, we plug (16) and (11) into (15). Finally, a 1 allows us to deduce (13). ℜ | n|≤ Lemma 3. Using the same notation, we have xk x log x x R (x,k,T ) + + (17) 1 ≪ T (k 1) T T x N − | − | where N denotes the nearest integer to x. Proof. To handle the logarithms in the denominator in (13), we partition the sum into xk = + + + Tnk log x/N n n xk 1 xk 1 xk ∞ 1 T nk log x/n ≪ T nk ≤ T nk n=1 n so we have xk 1 1 1 x 1 T nk log x/n ≪ T log x/n ≪ T x n x/2 n N 1 x/2 n N 1 x/2 n N 1 ≤X≤ − | | ≤X≤ − | | ≤X≤ − − x N 1 dt x x/2 x log x − = log ≪ T x t T x N + 1 ≪ T Zx/2 − − in which the last part follows from the fact that N 1/2 x N + 1/2. Due to symmetry, (18) can be applied to the sum over N + 1 n 2x−to obtain≤ the≤ same estimate. For the last part, using (18), we have ≤ ≤ xk 1 x (19) Tnk log x/N ≪ T log x/N ≪ T x N | | | | | − | Combining all these estimates gives (17). Theorem 2. For half-odd integer x> 2 and k =1+1/ log x, we have 1 k+iT xs π(x)= log ζ(s)ds + R2(x, T ) (20) 2πi k iT s Z − with x log x R (x, T ) + √x log log x (21) 2 ≪ T Proof. Plugging k =1+1/ log x into (17) gives x log x x R (x, 1 + 1/ log x, T ) + (22) 1 ≪ T T x N | − | when x is half-odd, we have x N = 1/2, so the second term of (22) can be removed. Plugging (22) into (12), we get | − | 1 k+iT xs x log x J(x)= log ζ(s)ds + (23) 2πi k iT s O T Z − Finally, we replace J(x) with (23) in (9) to obtain the result. 4. Evaluation of the integral To handle the integral, we consider a rectangular region R with vertices 1 δ iT and k iT . This implies − ± ± 1 k+iT xs 1 xs log ζ(s)ds = log ζ(s)ds (24) 2πi k iT s 2πi ∂R s Z − I 1 1 δ iT 1 δ+iT k+iT + − − + − + (25) 2πi k iT 1 δ iT 1 δ+iT Z − Z − − Z − where ∂R denotes the boundary of R in counterclockwise direction and δ is chosen such that ζ(s) =0in R and on ∂R. This means that the only singularity of the integrand in R is at s = 1. However,6 because s = 1 is a logarithmic singularity, circumvention is needed to evaluate it. Lemma 4. If we define 1 xs 1 f(r)= log ds (26) 2πi s s/r 1 I(r+) − where (r+) denotes any counterclockwise path that encloses only the singularity at s = r, then xr f ′(r)= (27) r for r = 0. 6 Proof. Since ∂ 1 ∂ 1 1 log = [log r log(s r)] = + ∂r s/r 1 ∂r − − r s r − − we have 1 xs 1 1 f ′(r)= + ds 2πi s r s r I(r+) − xs s r xr = lim − + 1 = s r s r r → Lemma 5. Using the same notation, for all η > 0 we have f(1 + iη) = li(x1+iη) iπ (28) − 1 iη f(1 iη) = li(x − )+ iπ (29) − Proof. When η> 0, because (26) implies lima f(a) = 0, we have →∞ 1+iη f(1 + iη)= f(1 + iη) f( + iη)= f ′(r)dr − −∞ +iη Z−∞ 1+iη xr (1+iη) log x eu = dr = du +iη r ( +iη) log x u Z−∞ Z −∞ u=r log x By Cauchy’s integral theorem [12],| we{z can deform} the path of integration of the last integral into a line segment connecting and ε < 0, a clockwise circular arc connecting ε and ε, and finally a line segment connecting−∞ ε and− (1 + ηi) log x. That is, we have − ε (1+δi) log x ε f(1 + iη)= − + + (30) ε ε Z−∞ Z Z− for all ε> 0. As ε 0+, the latter integral becomes → ε u 0 εeiθ 0 e e iθ εeiθ lim du = lim iθ (iεe )dθ = i lim e dθ ε 0+ ε u ε 0+ π εe ε 0+ π → Z− → Z → Z 0 = i dθ = iπ − − Zπ iθ in which the interchanging of the limit operation follows from the fact that eεe converges to 1 uniformly: n iθ ∞ ε eεe 1 = eε 1 (31) | − |≤ n! − n=1 X As ε 0+, the first two integrals become → ε 1+iη ε (1+ηi) log x eu e− x dt lim − + du = lim + (32) + + ε 0 ε u ε 0 eε log t → "Z−∞ Z # → "Z−∞ Z # t=eu By (6), it is obvious that| the right{z hand side evaluates} to li(x1+iη). By plugging everything into (30), we see that (28) is true. A symmetric argument can be applied to prove (29). Theorem 3. Using the same notation, we have 1 xs log ζ(s)ds = li(x) (33) 2πi s I∂R Proof. Since ζ(s) 1/(s 1) when s is near one [13], we can transform the integrand: ∼ − 1 xs 1 xs 1 log ζ(s)ds = log ds (34) 2πi s 2πi s s 1 I∂R I(1+) − By (26), we see that the right hand side is exactly f(1), which can be calculated by evaluating its Cauchy principal value from (28) and (29): f(1 + iη)+ f(1 iη) f(1) = lim − = li(x) (35) η 0+ 2 → Since Theorem 3 allows us to evaluate (24), we now move our focus to (25). To begin with, we extract some properties of ζ(s) necessary for the proof. Lemma 6 (de la Vall´ee Poussin). Let s = σ + it. Then there exists a fixed constant A> 0 such that whenever 1 A/ log t σ 2 and t 2 we have ζ(s) = 0 and − | |≤ ≤ | |≥ 6 ζ ′ (s) log t (36) ζ ≪ | | Moreover, in the same region we have log ζ(s) log t (37) | |≪ | | Corollary 1. When s ∂R, we have ∈ log ζ(s) log T (38) | |≪ Proof. Proof for (36) is already covered in the third chapter of [13], so we move onto proving (37). Since log ζ(2 + it) log ζ(2), we can rewrite log ζ(s) into | |≤ σ ζ log ζ(s)= ′ (u + it)du + (1) 2 ζ O Z σ log t du = σ 2 log t ≪ | || | | − | | | Z2 It is evident that σ is bounded, so (37) directly follows. Theorem 4. If we choose δ = A/ log T and write 1 k+iT xs log ζ(s)ds = li(x)+ R3(x, T ) (39) 2πi k iT s Z − then A log x R (x, T ) x log2 T exp (40) 3 ≪ − log T Proof. By Corollary 1, it is evident that the integral over the horizontal segments of ∂R satsifies 1 δ iT xs log T 1 δ x log T − ± log ζ(s)ds − xudu (41) s ≪ T ≪ T log x Zk iT Zk ± Using Corollary 1, we can also establish an upper bound for the left vertical segment of ∂R: 1 δ+iT s T − x 1 δ du log ζ(s)ds x − log T (42) s ≪ 1 δ + it Z1 δ iT Z T − − − | − | 1 δ 2 2 A log x x − log T = x log T exp (43) ≪ − log T wherein the last inequality follows from the definition of δ. Plugging (41), (43) into (25) and applying Theorem 3 to (24) give us the desired result. With everything prepared, we move our attention back to the prime counting function π(x). 5. Proof of the prime number theorem Applying Theorem 4 to (20), we get π(x) = li(x)+ R2(x, T )+ R3(x, T ) (44) If we set log T = √log x, then we have √log x √log x R (x, e ) x log xe− (45) 2 ≪ √log x A√log x R (x, e ) x log xe− (46) 3 ≪ If we choose a proper 0 c√log x π(x) = li(x)+ (xe− ) (47) O Using the fact that li(x) x/ log x, we can also sharpen the remainder of (9): ∼ Corollary 2. Under Theorem 5, we have for x 2 that ≥ √x log log x π(x)= J(x)+ (48) O log x Proof. Similar to how Theorem 1 is proved, we just need to give a better upper bound for J(x) π(x). That is, − π(x1/k) 1 J(x) π(x)= π(√x) − k ≤ k 2 k log x 2 k log x ≤ X≤ 2 ≤ X≤ 2 √x 1 √x log log x ≪ log x k ≪ log x 2 k log x ≤ X≤ 2 where the second last follows from the fact that Theorem 5 implies π(x) x/ log x. ≪ ≪ 6. Conclusion In this paper, we present a new proof of the prime number theorem that avoids the use of Chebyshev functions. First, we prove (20) to transform the arithmetic problem into an analytic problem. To evaluate the integral on the right hand side of (20), we set up a counterclockwise rectangular path so that this task is divided in to (24) and (25). Subsequently, differentiation under integral is applied to evaluate (24), and classical zero-free region and upper bound for ζ(s) are used to give estimates for (25). Finally, choosing a proper T , we deduce again the prime number theorem in the version of de la Vall´ee Poussin. The most significant contribution of the proof is the evaluation of (24), which gives the main term of Theorem 5. Traditionally, number theorists study the prime number theorem and its generalizations (i.e. prime number theorem for arithmetic progressions[8], prime number theorem for automorphic L-functions[6], or sums of complex numbers over primes[3]) first using the weighted sum cnΛ(n)= cn log p (49) n x pk x X≤ X≤ and then convert it into sum over primes cp (50) p x X≤ using partial summation. However, introducing the parameter r suggests a possibility to directly evaluate sum over prime powers c k a c = p = c + R (51) n n k p n x pk x p x X≤ X≤ X≤ To study (50) from (49), partial summation is needed for conversion, but studying (50) from (51) only requires us to provide upper estimates for c k R = p (52) k 1 2 k log2 x p x /k ≤ X≤ ≤X Consequently, the proof technique presented in this paper may inspire new proofs of generalized prime number theorems[6][3] as they are also studied using Perron’s formula[13]. References [1] Tom M. Apostol. Introduction to analytic number theory. 1976. [2] H. M. Edwards. Riemann’s Zeta Function. Academic Press Inc., New York, 1974. [3] Henryk Iwaniec and Emmanuel Kowalski. Analytic number theory. Number v. 53 in Colloquium publications. American Mathematical Society, Providence, R.I, 2004. [4] E. Landau. Uber¨ einige neuere grenzwertsatze. Rendiconti del Circolo Matematico di Palermo, 34(1):121– 131, December 1912. [5] Norman Levinson. On the elementary proof of the prime number theorem. Proceedings of the Edinburgh Mathematical Society, 15(2):141–146, 1966. [6] Jianya Liu and Yangbo Ye. Perron’s Formula and the Prime Number Theorem for Automorphic L-Functions. Pure and Applied Mathematics Quarterly, 3(2):481–497, 2007. [7] Zhentao Ma. A Survey on Newmann’s proof of the prime number theorem. Journal of Physics: Conference Series, 1903(1):012012, April 2021. [8] Hugh L. Montgomery and Robert C. Vaughan. Multiplicative Number Theory I: Classical Theory. 2006. [9] D. J. Newman. Simple Analytic Proof of the Prime Number Theorem. The American Mathematical Monthly, 87(9):693–696, 1980. [10] Atle Selberg. An Elementary Proof of the Prime-Number Theorem. The Annals of Mathematics, 50(2):305, April 1949. [11] Elias M. Stein and Rami Shakarchi. Complex analysis. Number 2 in Princeton lectures in analysis. Princeton University Press, Princeton, N.J, 2003. OCLC: ocm51738532. [12] E. C. Titchmarsh. The theory of functions. Oxford science publications. Oxford Univ. Press, Oxford, 2. ed., reprinted edition, 2002. OCLC: 249703508. [13] E. C. Titchmarsh and D. R. Heath-Brown. The theory of the Riemann zeta-function. Oxford science publications. Clarendon Press ; Oxford University Press, Oxford [Oxfordshire] : New York, 2nd ed edition, 1986. [14] E. M. Wright. XVIII.—The Elementary Proof of the Prime Number Theorem. Proceedings of the Royal Society of Edinburgh. Section A. Mathematical and Physical Sciences, 63(3):257–267, 1952.