arxiv: v23 [math.gm] 5 Jan 2019

Transcription

1 Rieann Hypothesis. Duragabetov A.A a, Kazakhstan Abstract arxiv:7.46v23 ath.gm] 5 Jan 29 Results by J. Hadaard, E. Landau, A. Walvis, T. Estarann, and P.R. Chernoff concerning pseudo zeta functions are further developed and applied to the Rieann hypothesis. Keywords: Euler, Chebyshev, Dirichlet, Rieann, hypothesis, zeta function,m üntz, function, cople nubers, regular function, integral function representation 2 MSC: M26. INTRODUCTION series In this work we are studying the properties of odified zeta functions. Rieann s zeta function is defined by the Dirichlet s ζ(z) = n= nz, z = σ +it () absolutely and uniforly converging in any finite region of the cople z-plane, for which σ + δ,δ >. If σ > the function is represented by the following Euler product forula ζ(z) = p p z ] (2) wherepisallprienubers. ζ(z)wasfirstlyintroducedbyeulerin737],whoalsoobtainedforula(2). Thepresentstudy is concerned with the analytical properties of the following generalized zeta functions: P(s) = j p, Re(s) > +δ,δ >, s j where {p j : j } is an increasing enueration of all prie nubers. Hadaard was the first to apply P(s) in the study of the zeta function 2]. Chernoff ade significant progress in the Rieann hypothesis using P(s) 3]. In the present study, odifications of Chernoff s results are obtained. Specifically, his study on the pseudo zeta function is copleted. Chernoff obtained an equivalent forulation of the Rieann hypothesis in ters of a pseudo zeta function as follows. THEOREM. (Chernoff) Let C(s) = ]. n> (nln(n)) Then, C(s) continues analytically into the critical strip and has s no zeros there. The significance of this theore is that if the pries were distributed ore regularly (i.e., if p n nlogn), then the Rieann hypothesis would be trivially true. In an effort to further develop the work of Chernoff and Hadaard, the following question naturally arises: Does the pseudo zeta function P(s) continues analytically into the critical strip? It should be noted that analytic etensions of P(s) were first studied by E. Landau and A. Walvis 4] and T. Estarann 5], 6]; however, no satisfactory estiates for P(s) were obtained, and the present study is concerned with this question. THEOREM. ( E. Landau, A. Walvis, T. Estarann) Eail address: aset.duragabet@gail.co (Duragabetov A.A) URL: (Duragabetov A.A) Preprint subitted to Elsevier January 8, 29

2 Let µ(n) functionmöbius. Then, P(s) = n µ(n)lnζ(ns) n as Re(s) > +δ, δ >, P (s) = n µ(n)lnζ(ns) n eroorphic function as Re(s) > δ, δ >. The ost significant contribution to the study of zeta functions is found in the results obtained by Müntz 7]. M üntz generalized all the results fro the studies of zeta functions analytical properties. He noticed that all the properties can be integrated in one theory, which is called the Müntz theore for zeta functions. Our goal is to use this theore on the analogs of zeta functions. We are interested in the analytical properties of the following generalizations of zeta functions: P (z) = <p p z,ζ (z) = ζ(z) P (z), R(z) > +δ,δ >, where p are prie nubers. (3) 2. RESULTS These are the well-known results obtained bym üntz for the zeta function. Theore. Let the function F() be liited on every finite interval and have an order α, α >, F() is continuous and liited on every finite interval and has an order, >, then this equation holds ζ(z) z F()d = z F(n) F(v)dv d (4) Let N be the set of all natural nubers and N P - the set of all prie nubers greater than and less than, N = N \N P - the set of all natural nubers without the prie nubers less than Considering all the inforation above let us rewrite n= ζ (z) = n N n z. For the function ζ (z) = ζ(z) P (z), let us apply the results obtained bymüntz for the zeta function representation. With the help of the given definitions we forulate the analog of Müntz theore. Let us introduce the functions and sets g() = ], ] / N P, g() =, ] N P R = (, )\ (p,p), ν () = F(n). p N P n N Lea. Let F() = e then ν () Ce, F(u)(u g(u))du < C. 2

3 Proof. According to the Lea conditions we have as >, ν () F(n) e n e e n Ce n N n N n The second stateent of Lea follows fro the following estiates. F(u)(u g(u))du F(u)(u g(u))du F(u) du C Theore 2. Let the function F() = e, C = F(u)du u R then for the function ζ (z)müntz forulas is true. R(z) >, ζ (z)γ(z) = Proof. According to the theore conditions we have z z ν () C ] d+ C z + z ν ()d (5) C n N F(n)d = After the substitution of variables n=y we can rewrite n N z F(n)d = n N n z n N z F(n)d (6) y z F(y)dy = ζ (z) z F()d (7) The last steps are true and result fro the theore conditions and Weierstrass theore of unifor convergence of iproper integrals. According to the theore conditions we have Lea iplies According to the result above we obtain By definition ν (),C F(n) F(u)du = n N u R n N F(n) u R F(u)du < C F(u)(u g(u))du F(n) F(u)d(u) < C n N u R By perforing calculations siilar to the M üntz theore we obtain as R(z) >, ν () C < C (8) z ν ()d = z ν () C ] d+ C z + z ν ()d 3

4 ζ (z)γ(z) = z ν () C ] d+ C z + Forula (9) iplies holoorphic continuation left side into doain (z < R(z), z > ). z ν ()d (9) The last stateent of the theore is obtained as follows. C = F(u)du u R t> F(t) dt = The rectangles in which the zeta function hasn t zeros are first introduced as follows: D(n,δ) = (s /2+δ < Re(s) < 2, I(s n ) < I(s) < I(s n+ ), δ < z ) D out (n,δ) = (s +δ < Re(s) 2, I(s n ) < I(s) < I(s n+ )) where ζ(s n+ ) =, ζ(s n ) =, Theore 3. The following stateents are true. α, N α such, that i, j > N α C i C j < α >, N > / 2 such that i, j > N F(n) F(n) n N Pi n N Pj < e N /2 e N /2 e N /2, as > ǫ >, N ǫ such that i, j > N ǫ sup ζi (z) ζ j (z) ǫ Proof. C and Bolzano-Weierstrass Theore iplies there is sequence i such that li C i = C. The convergence i of the sequence iplies fundaental of sequence C i. As > choose N = in( i, j ), then F(n) F(n) n N i n N j = e k k N Pj N Pi i k j e k e N e e e N/2 N/2 e N/2 e N/2 >, and N > / 2 iplies F(n) F(n) n N Pi n N Pj < e N /2 e N /2 e N /2, 4

5 Theore2 yield We can rewrite ζ i (z) ζ j (z) = Γ (z) z n N i F(n) F(n) C i C j n N j Γ (z) z F(n) F(n) C i C j d+ n N i n N j Γ (z) z F(n) F(n) d+ n N i n N j Γ C i C j z = Γ (z)(j +J 2 +J 3 +J 4 ). sup ζ i (z) ζ j (z) sup Γ (z)(j +J 2 +J 3 +J 4 ) ( ) C(n, δ) C (e / +α/ /2 δ )+C 2 /2+δ +C 3 +C 4 α/δ d for a given ǫ, choose α(ǫ,n,,δ,c), (ǫ,n,δ,c) such, that ( ) C(n, δ) C (e / +α/ /2 δ )+C 2 /2+δ +C 3 +C 4 α/δ = ǫ. ǫ Choose (ǫ,n,δ,c) = 2 C(n,δ)(C +2C 2+C 3+C 4), α(ǫ,n,,δ,c) = δ iplies sup ζi (z) ζ j (z) ǫ i, j > N ǫ where N ǫ > / 2 +N α +N. Theore is proved. Lea 2. The following stateents are true. p z = i C as z D δ/2 out(n,δ), i P(z)/ < CC δ as z D(n,δ). =2 Proof. Estiates of series of haronic series give estiates for the sus in the following way C p z = i = i p z P(z)/ =2 = i p R(z) = i p +δ/2 p δ/2 P(z)/ C δ 2 δ / < CC δ =2 =2 i δ/2 Theore 4. The following stateents are true. ln(ζ(z)) =2P(z)/ in doain D(n,δ) li sup ζ (z) < C(n,δ) sup i ζ (z) ζ i (z) = and function Q(z) = ζ (z) ζ(z) is analitical continution function 5

6 Proof. Theore 3 yield first stateent. Theore 3 and Cauchy s criterion for sequence ζ i iplies second stateent of Theore 4. Lea 2 and z D out (n,δ) iplies Q(z) = ζ (z) ζ(z) = li i (ζ i (z) ζ(z)) = li i P i (z) = P(z)+ li recent equality and z D out (n,δ) yield Q(z) ln(ζ(z)) =2 P(z)/. i Last identity iplies Q(z) is holoorphic continuation for ln(ζ(z)) =2P(z)/ into D(n,δ) Theore 5. The Rieann s function has nontrivial zeros only on the line R(z) = /2; p z = P(z) = i Proof. The Theore 4 iplies ln(ζ(z)) = Q(z)+ P(z)/ = Q(z)+R(z) = ζ(z) ζ (z)+r(z) for z D(n,δ) Lea 2 iplies =2 ln(ζ(z) ζ(z)) + ζ (z)) + R(z) + Q(z). Theore 3, Theore 4 iplies Forula of () and arbitrariness δ,n iplies Rieann hypothesis is hold. sup ln(ζ(z) < C(n, δ) () References ] Leonhard Euler. Introduction to Analysis of the Infinite by John Blanton (Book I, ISBN , Springer-Verlag 988;) 2] Hadaard J. Une application d une forule inteorale relative au series de Dirichlet, 3] Paul R. Chernoff A pseudo zeta function and the distribution of pries PNAS 2 97 (4) ; doi:.73/pnas A933), 4] Landau E., Walfisz A. Ober die Nichtfortsetzbarkeit einiger durch Dirichletsrhe Reihen defi- nierter Funktionen, Rend, di Palero, 44 A99), Congress Cabridge 92,, 5] Estarann T. On certain functions represented by Dirichlet series, Proc. Lond. Math. Soc. (2), , ] Estarann T. On a proble of analytic continuation, Proc. Lond. Math. Soc, , ] M üntz C. H Beziehungen der Rieannschen ζ-funktion zu willkurlichen reellen Funktionen, Mat. Tidsskrift, B (992),