arxiv: v22 [math.gm] 20 Sep 2018

Transcription

1 O RIEMA HYPOTHESIS arxiv:96.464v [math.gm] Sep 8 RUIMIG ZHAG Abstract. In this work we present a proof to the celebrated Riemann hypothesis. In it we first apply the Plancherel theorem properties of the Möbius function µn to the Fourier series expansions for the periodic Bernoulli polynomials to prove that µn n + n 4 = O 7/+ǫ. But this alone is not strong enough to prove the Riemann hypothesis directly. In the next step we apply the analytical properties of the Riemann Xi function to reduce the Riemann hypothesis to the proofs of two integrals I, I having limit zero. The treatment of I, which is an integral with upper limit +, is straightforward, we can show it tends to by applying a well-known inequality for the Jacobi theta function θ 3. There are subtle cancellations in the second integral I, which has lower integration limit, they are mainly from the the arithmetical properties of µn. Fortunately, our asymptotic formula has captured enough of them to show that I tends to as well.. Introduction Let s = σ +it, σ,t R, the Riemann zeta function ζs is defined by [rews, apostol, edwards, hardy, karatsuba, rademacher, titchmarsh]. ζs = ns, σ >. n= It is known that ζs can be extended by analytic continuation to an meromorphic function that has only a simple pole at s = with residue. It is also known that ζs has simple zeros at all even negative integers n, n, they are called trivial zeros. It has been shown there are infinitely many nontrivial zeros inside the critical strip < σ <. It has been proved that a positive portion of the nontrivial zeros are on the critical line σ =. The celebrated Riemann hypothesis is the claim that all the nontrivial zeros are actually on the critical line. The Riemann Xi function is defined by [rews, apostol, edwards, karatsuba, rademacher, titchmarsh]. Ξs = +4s Γ 8π +is 4 +is 4 ζ +is where the Euler gamma function is defined by [rews, edwards, rademacher] Γs+ = s n+s n.3, s C. n n+ n=, Mathematics Subject Classification. M6; M; M6. Key words phrases. Riemann zeta function; Riemann Xi function; Riemann hypothesis. The work is supported by the ational atural Science Foundation of China grants o o

2 RUIMIG ZHAG The function Ξs is an even entire function that satisfies [edwards, titchmarsh].4 Ξs = where.5 ϕx = π n= ϕxe isx dx, s C, { πn 4 e 9x/ 3n e 5x/} exp n πe x, x R. It is known that ϕx is positive, even, infinitely differentiable ϕ x < for x >. Furthermore, for any ǫ > all nonnegative integers n we have.6 ϕ n x =O exp { π ǫe x } as x ±. It is known that Ξs has infinitely many zeros, all within the horizontal strip < t <, symmetrically located with respect to the real line. The Riemann hypothesis is equivalent to all zeros of Ξs are real, [edwards, titchmarsh]. In this work we shall first derive the asymptotic formula.3 by applying the Plancherel theorem the identities for the Möbius function µn,.., to the Fourier series expansions of the periodic Bernoulli polynomials. While this asymptotic formula gives a good estimate to the remainder of the Dirichlet series ζ4, but it is not strong enough to prove the Riemann hypothesis directly. In our next step we shall apply the Fourier integral formula.4 to reduce the proof of the Riemann hypothesis to the proof of integrals I, I having limit, where I integrates to + I integrates from. The treatment ofi is relatively easy, we can show it tends to by applying an estimate for the Jacobi theta function θ 3. The subtle cancellations in the second integral I are mainly from the the arithmetical properties of µn. However, our asymptotic formula has captured enough of them to enable us to prove that I tends to as well.. Main Results The Möbius functionµn in number theory is defined byµ =, µn = k if n is a product of k distinctive primes, µn = otherwise. For m it satisfies[apostol, edwards, hardy, karatsuba, rademacher, titchmarsh] { m =,. µn = m >. n m ζs = n= µn, Rs >. ns Theorem. For any arbitrary small positive ǫ we have µj.3 j 4 = O 7/ ǫ as.

3 O RIEMA HYPOTHESIS 3 Corollary. If s = σ+it C, σ,t R with σ > 4, then for any arbitrarily small positive ǫ all sufficiently large positive integer, there exists a positive number C such that.4 µj j s Definition 3. For all x R we let σ 4 +t + σ 4 C σ / ǫ..5 fx = π πe 9x/ 3e 5x/ exp πe x. Moreover, for all x R we define µmϕx+logm.6 f x =. m / m= Additionally, for each s = σ +it C such that σ R < t <, we let.7 I,s =.8 I,s = log ˆ log fx f xe isx dx fx f xe isx dx. Theorem 4. If s = σ +it such that σ,t R > t >, then we have.9 lim I,s = Theorem 5. If s = σ +it such that σ,t R > t >, then we have. lim I,s = Theorem 6. The Riemann zeta function ζs for Rs >, i.e. the Riemann hypothesis is valid. 3. Proofs Let s = σ+it C such that σ,t R, for any arbitrary small positive number ǫ, it is well-known that [edwards, karatsuba, rademacher, titchmarsh] 3. Γs = O e π t / t σ / O t ǫ σ 3. ζs = O t / σ/+ǫ σ O t / σ+ǫ σ < as t. Then for any arbitrarily small positive δ we have 3.3 Ξs = O e π δ σ /4

4 4 RUIMIG ZHAG as σ. Lemma 7. For all x R we have µmϕx+logm 3.4 fx f x =. m Furthermore, for t > 7 we also have xtˆ 3.5 fx f x = e Ξσ ite iσx Proof. By.5.5 we can write 3.6 ϕx = n= fx+logn n, k=+ µk dσ k t+/+iσ π. then by Dirichlet inversion or by a direct computation, [apostol, edwards, hardy, titchmarsh] 3.7 m= we obtain µmϕx+logm m = µm m= 3.8 fx = m= n= fx+logmn mn = µmϕx+logm m. Then 3.4 follows from From.4 by Fourier transform inversion we get 3.9 ϕx = π Ξse isx ds, x R. fx+logk k µm, Given any t > a large positive number T, we consider the integral of entire functionξse isx over the rectangular path R T on the complex plane with corners at T, T, T it, T it. Then by Cauchy s theorem we have 3. Ξse isx ds =. R T Thus, 3. ˆ T it T it ˆ T Ξse isx ds Ξse isx ds = T ˆ T it T m k ˆ T Ξse isx ds+ Ξse isx ds. T it Since t is a fixed positive number, then by 3. for any small positive number δ such that π > δ >, we have ˆ T it ˆ T 3. Ξse isx ds+ Ξse isx ds = O e π δt/4 T T it as T. Therefore, by taking limit T in 3., for each x R we have 3.3 ϕx = Ξse isxds it π = Ξse isxds it π = e xt Ξσ ite iσxdσ π.

5 O RIEMA HYPOTHESIS 5 Since for all t > 7 we have 3.4 ˆ Ξσ ite iσx µk dσ k t+/+iσ π ζ4 k=+ Ξσ it dσ π <, then by 3.3 for all t > 7 we have 3.5 fx f x = k=+ µkϕx+logk k / = e xt Ξσ ite iσx k=+ 3.. Proof of Theorem 4. Since µm, m, then by 3.4 we have 3.6 fx f x ϕx+logm m /. For each < a < π, by.6 there exists a positive number C such that for x we have 3.7 ϕx C exp ae x = Cexp ae x 3.8 fx f x C / exp am e x. For x > log, by the inequality at the end of page 9 in [karatsuba], 3.9 e πxn min x, e πx, x >,, πx n> 3.8 we obtain 3. fx f x C exp a e x a 3/ e x Cexp a e x. a / Then for any s = σ +it with σ,t R > t > we have 3. I,s Ce a/ a / log Then.9 follows from 3.. C fx f x e tx log e x /+t x dx e a dx a / e a/ e aex /+t x dx = Ce a/ 4a / e ay/ y t/ dy. µk dσ k t+/+iσ π.

6 6 RUIMIG ZHAG 3.. Proof of Theorem. The Bernoulli polynomialsb n x are defined by [rademacher] 3. They satisfy 3.3 ze xz e z = n= B n xz n, z < π. n! d dx B n+x = n+b n x, n 3.4 B n+ = B n+ =, B n = B n = B n, n. The periodic Bernoulli polynomials are usually denoted as 3.5 ψ n x = B n x x = B n {x}, n, where {x} < is the fractional part of x R. For x < they have the following Fourier series expansions, In particular, 3.8 ψ 3 x ψ n x n n! = sinkπx kπ n, n ψ n x n n! = = sinkπx kπ 3, For any Rs > we have µj 3.9 j s ζs = µj j s where j= j= 3.3 a m = Clearly, coskπx, n. kπ n ψ 4 x 48 j j m = k s = m= µj. 3.3 a =, a m =, m. Furthermore, 3.3 a m j j m coskπx kπ 4. a m m s j m = dm. It is well-known that for any given positive number ǫ we have dm = Om ǫ, [apostol, hardy]. Therefore, 3.33 a m = Om ǫ as m, uniformly with respect to.

7 O RIEMA HYPOTHESIS 7 For any we have 3.34 µj j 3ψ 3jx = µj sinjkπx jkπ 3 = sinmπx mπ 3 j + j m µj. For m +, by. we have 3.35 then we have j + j m µj = j j m µj = a m, m, 3.36 µj ψ 3 jx j 3 = sinmπx mπ 3 a m. Similarly, 3.37 µj ψ 4 jx j 4 = 48 cosmπx mπ 4 a m in particular, 3.38 µj ψ 4 j 4 = 48 a m mπ 4. It is known that [rews] 3.39 kx = π where 3.4 kx = sinkπx, k { x =, x < x <. then by 3.39, 3.36 the Plancherel theorem we get 3.4 ˆ µj j 3ψ 3jx kxdx = a m mπ 4. Since 3.4 d dx ψ4 jx ψ 4 = ψ 3 jx, ψ 4 j = ψ 4, j

8 8 RUIMIG ZHAG then 3.43 ˆ ˆ µj d j 3ψ 3jx kxdx = dx + ˆ = µj j 4 ψ 4jx ψ 4 dx = + ˆ = µj j 4ψ 4jx dx 4 ˆ a m mπ 4, µj j 4 ψ 4jx ψ 4 kxdx µj µj j 4ψ 4jx dx j 4ψ 4 where + in the integrals means approaching from below above. Hence, by we have a m 3.44 mπ 4 = ˆ µj 36 j 4 ψ 4jx dx. Then by we have a m 3.45 mπ 4 = 4 3 ˆ cosmπx mπ 4 a m dx. By the Cauchy Schwarz inequality we get a m mπ 4 ˆ cosmπx 3.46 π 4 m 4 a m dx ˆ cosmπx π 4 m 4 a m dx, which gives 3.47 a m mπ 4 4π 4 For any ǫ >, by 3.33 we have a m 3.48 = O then 3.49 m 8 a m m 8. m 8 ǫ = O 7 ǫ, a m mπ 4 = O 7/ ǫ as by combining Since for any we have µj 3.5 j 4 ζ4 = µj j 4 k 4 = a m m 4,

9 O RIEMA HYPOTHESIS 9 then, 3.5 µj j 4 = ζ4 Combining we obtain Proof of Corollary. Let 3.5 s m = k=m+ a m m 4 = 9 π 4 µk k 4, m, a m m 4. then for all s = σ+it C such that σ > 4 t R, for any sufficiently large positive integers, M with M > we have 3.53 M µj j s = M s j s j j 4 s = s + 4 s s M M 4 s + M = s + 4 s s M M 4 s +4 s s j j + 4 s j 4 s M j+ s jˆ x 3 s dx. For any ǫ >, by.3 there exist an positive C > a sufficiently large positive integer > such that for all m we have 3.54 s m C m 7/ ǫ. Then for σ > 4 we have Then, 3.58 M 4 s j+ s jˆ x 3 s dx σ j C 4 +t 7/ ǫ σ 4 +t = C 7/ ǫ σ 4 + σ 4 M σ 4 s + 4 s C + 4 σ 7/ ǫ s M M 4 s CM4 σ M 7/ ǫ = M µj j s C4 σ 7/ ǫ = C M σ / ǫ σ 4 +t + σ 4 j ˆ M + x 3 σ dx C σ 4 +t σ / ǫ σ 4, C σ / ǫ C σ / ǫ. C σ / ǫ. as. Since for σ > 4 the left h side of the inequality has a limit as M, then.4 is obtained by taking the limit M.

10 RUIMIG ZHAG 3.4. Proof of Theorem 5. First we observe that 3.59 I,s = ˆ log log log fx f xe isx dx+ ˆ log log fx f xe isx dx. Since for4 > t > 7 log log < x < log we havee xt < e tlog log = t log t. Then for any < ǫ < t 4 sufficiently large integer, by we have ˆ fx f x Ce xt t 7/ +σ 3.6 t ǫ Ξσ it + dσ t 7/ = O ǫ log t = O t/4 log 4. Hence, 3.6 ˆ log log log Thus 3.6 lim ext we observe that 3.63 ˆ log log From.5 it is clear that 3.64 ˆ log log then fx f xe isx dx = O ˆ log log log fx f xe isx dx = fxe isx dx = O 3.65 lim t/4 log 4 ˆ log log log fx f xe isx dx =. ˆ log log ˆ log log ˆ log log fxe isx dx+ e tx dx = O ˆ log log e 9x/ +e 5x/ exp πe x +t x dx, fxe isx dx =. Since in the second integral of 3.63 we have x < log log, then x+logm loglog ϕx+logm = ϕ x+logm ϕloglog for all m satisfying m. Hence by we have 3.66 f x = O Thus, 3.67 ˆ log log ϕloglog m= f xe isx dx = O = O e alog = O m log log alog / e tx dx = O alog /. alog+t / log t log 4. t/4 f xe isx dx.,

11 O RIEMA HYPOTHESIS hence, 3.68 lim ˆ log log f xe isx dx =. Then by combining 3.68, we obtain 3.69 lim ˆ log log fx f xe isx dx =, by combining 3.69, we have proved Proof of Theorem 6. We first observe that 3.7 where fxe isx dx = Φs, Is < 5, 3.7 Φs = +4s 8π +is/4γ +is Clearly, Φs has no zeros in < Is <. If we assume the Riemann hypothesis is false, then by the symmetry of.4 there must be a complex number s = σ +it with > t > such that 3.7 Ξs = Ξ s = 4. ϕxe isx dx =. Thus for sufficiently large, while on one h we have 3.73 hence, 3.74 lim {f x fx}e isx dx = Ξs + +4s is 8π is/4γ 4 On the other h, since 3.75 µk k / is = +4s 8π is/4γ is, 4 {f x fx}e isx dx = +4s is 8π is/4γ. 4 {f x fx}e isx dx = I,s I,s, then by Theorems 4 5 we should have 3.76 lim {f x fx}e isx dx = lim I,s lim I,s =. This is clearly absurd since both can not be both true. This contradiction proves that the Riemann hypothesis must be valid.

12 RUIMIG ZHAG References [rews] G. E. Andrews, R. Askey R. Roy, Special Functions, Cambridge University Press, Cambridge, 999. [apostol] T. Apostol, Introduction to Analytic umber Theory, Springer-Verlag, ew York, 976. [edwards] H. M. Edwards, Riemann s Zeta Function, Academic Press, 974. [hardy] G. H. Hardy E. M. Wright, An Introduction to the Theory of umbers, 4th edition, Claredon Press, Oxford 975. [karatsuba] A. A. Karatsuba S. M. Voronin, The Riemann zeta-function, translated from Russian by eal Koblitz, de Gruyter, Berlin, ew York 99. [rademacher] Hans Rademacher, Topics in Analytic umber Theory, Springer-Verlag, Berlin, 973. [titchmarsh] E. C. Titchmarsh, The Theory of Riemann Zeta Function, second edition, Clarendon Press, ew York, 987. College of Science, orthwest A&F University, Yangling, Shaanxi 7, P. R. China. address: ruimingzhang@yahoo.com