The Mertens Function and the Proof of the Riemann's

The Mertens Function and the Proof of the Riemann's

THE MERTENS FUNCTION AND THE PROOF OF THE RIEMANN’S HYPOTHESIS Mohamed Sghiar To cite this version: Mohamed Sghiar. THE MERTENS FUNCTION AND THE PROOF OF THE RIEMANN’S HY- POTHESIS . International Journal of Engineering and Advanced Technology, Blue Eyes Intelligence Engineering & Sciences Publication Pvt. Ltd., 2017, Volume 7 (Issue 2). hal-01667383 HAL Id: hal-01667383 https://hal.archives-ouvertes.fr/hal-01667383 Submitted on 25 Apr 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. M. Sghiar. International Journal of Engineering and Advanced Technology (IJEAT) ISNN:2249-8958, Volume- 7 Issue-2, December 2017 THE MERTENS FUNCTION AND THE PROOF OF THE RIEMANN’S HYPOTHESIS Version of March 28, 2018 Deposited in the hal : <hal-01667383> version 4 M. SGHIAR [email protected] 9 Allée capitaine J. B Bossu, 21240, Talant, France Tel : 0033669753590 1 +) Abstract : I will prove that M(n) = O(n 2 where M is the Mertens function, and I deduce a new proof of the Riemann’s hypothesis. Keywords : Prime Number, number theory , distribution of prime num- bers, the law of prime numbers, the Riemann hypothesis, the Riemann zeta function, the Mertens function. I- INTRODUCTION, RECALL, NOTATIONS AND DEFINITIONS The Riemann’s function ζ (see [2]) is a complex analytic function that has appeared essentially in the theory of prime numbers. The position of its complex zeros is related to the distribution of prime numbers and is at the crossroads of many other theories. The Riemannn’s hypothesis (see [5] and [6]) conjectured that all nontrivial 1 zeros of ζ are in the line x = 2 . The Mobius function generally designates a particular multiplicative func- tion, defined on the strictly positive integers and with values in the set {−1, 0, 1} : 0 if n has at least one repeated factor µ(n) = 1 if n=1 k (−1) if n is the product of k distinct prime factors 1 M. Sghiar. International Journal of Engineering and Advanced Technology (IJEAT) ISNN:2249-8958, Volume- 7 Issue-2, December 2017 In number theory, the function of Mertens is defined by M(n) = P µ(k) 1≤k≤n and it has been falsely conjectured by Mertens that the absolute value of √ M(n) is always less than n , and that if we can prove that the absolute √ value of M(n) is always less than n, so Riemann’s hypothesis is true. Figure 1 – Mertens function to n=10,000,000 This conjecture is passed for real for a long time. But in 1984, Andrew Odlyzko and Hermante Riele [1] show that there is a number greater than 1030 which invalidates it (See also [3] and [4]) However it has been shown that the Riemann’s hypothesis [2] is equivalent to the following conjecture : 1 +) Conjecture : M(n) = O(n 2 . The purpose of this paper is to prove this conjecture and to deduce a new proof of Riemann’s hypothesis. Recall also that in [7] it has been shown that prime numbers are defined by a function Φ , follow a law in their appearance and their distribution is not a coincidence. II- THE PROOF OF THE CONJECTURE : 1 +) Proposition 1 : M(n) = O(n 2 P∞ 1 Lemma 1 : Let ζN (s) = n=N ns . If 0 < s < 1 then : ζN (s) = oN (1) Note : ζN (s) is defined by extension, and this means that the action of the force ζN on the particle s becomes weaker when N becomes large. 2 M. Sghiar. International Journal of Engineering and Advanced Technology (IJEAT) ISNN:2249-8958, Volume- 7 Issue-2, December 2017 Proof of the lemma : As a reminder, the ζ function of Riemann is a meromorphic and complex complex analytic function defined for s such that Re(s) > 1 by the Dirichlet P∞ 1 series :ζ(s) = n=1 ns Since the Dirichlet eta function can be defined by η(s) = (1 − 21−s) ζ(s) P∞ (−1)n−1 where : η(s) = n=1 ns with 0 < Re(s) we have in particular : ∞ n−1 1 X (−1) ζ(z) = 1−z z 1 − 2 n=1 n for z 6= 1 and 0 < Re(z). This extends the ζ function to the set {z ∈ C\{1}tel que 0 < Re(z)}. P∞ (−1)n−1 Let : ηN (s) = n=N ns with 0 < Re(s) P∞ 1 And let : ζN (s) = n=N ns First, by the uniqueness of the extensions of the analytic functions, ζN (s) is prolonged in {z ∈ C\{1}such taht 0 < Re(z)} by the function ζN (s) = PN−1 1 ζ(s) − n=1 ns P∞ 1 2 And as we have ζ2N (s) = η2N (s) + 2 n=N (2n)s = η2N (s) + 2s ζN (s) 1 It follows that : ζ2N (s) − 2s−1 ζN (s) = η2N (s) is defined for any s such that Re(s) > 0. 1 So ζ2N (s) − 2s−1 ζN (s) = oN (1) because η2N (s) = oN (1) . If s is such that 0 < s < 1 : P∞ And if lim ζ2N (s) = −∞ then as ζN (s) = i=N (ζi(s) − ζ2i(s)), we can N→+∞ assume that ζN (s) < ζ2N (s) - because there is an infinity of such s -, so we will 1 have ζ2N (s)−ζN (s) = oN (1) because |ζ2N (s) − ζN (s)| < ζ2N (s) − 2s−1 ζN (s) . 1 1 And consequently : ζN (s)− 2s−1 ζN (s) = ζN (s)−ζ2N (s)+ζ2N (s)− 2s−1 ζN (s) = oN (1). So ζN (s) = oN (1). which is absurd. It results that we have lim ζ2N (s) = lim ζN (s) = 0 N→+∞ N→+∞ 3 M. Sghiar. International Journal of Engineering and Advanced Technology (IJEAT) ISNN:2249-8958, Volume- 7 Issue-2, December 2017 Hence the lemma is proved. 1 Proof of the proposition : Let such that 0 < < 2 . Note that we have one of the possibilities : i- M(n + 1) = M(n) ii- M(n + 1) = M(n) + 1 iii- M(n + 1) = M(n) − 1 In any case we have : M(n + 1) M(n) 1 ≤ + 1 + 1 + 1 + (n + 1) 2 n 2 (n + 1) 2 It follows that : n+1 +∞ +∞ M(n + 1) X 1 X 1 X 1 ≤ = − 1 + 1 + 1 + 1 + (n + 1) 2 k=1 k 2 k=1 k 2 k=n+2 k 2 And hence for n large enough and by using the lemma 1 we have : M(n + 1) 1 ≤ ζ( + ) + o(1) 1 + (n + 1) 2 2 And the result is deduced. Lemma 2 : 1 Z +∞ M(x) = z dx ζ(z) 1 xz+1 For z such taht Re(z) > 1 Proof : We have : M(n) = X µ(k) 1≤k≤n where µ(k) is the Mobius function. We have the link between the inverse of the Riemann zeta function, the 4 M. Sghiar. International Journal of Engineering and Advanced Technology (IJEAT) ISNN:2249-8958, Volume- 7 Issue-2, December 2017 Möbius function and the Euler product : 1 +∞ 1 +∞ µ(n) = Y(1 − ) = X ζ(z) pz nz pk k n=1 where Re(z) > 1, pk is the k-th prime number. Mertens function, M(x) is closely linked with the positions of zeros of the Riemann zeta-function ζ(z). If we define M(0) = 0, we get this relation : +∞ +∞ 1 X µ(n) X M(n) − M(n − 1) = z = z ζ(z) n=1 n n=1 n +∞ +∞ +∞ +∞ X M(n) X M(n − 1) X M(n) X M(n) = z − z = z − z n=1 n n=1 n n=1 n n=1 (n + 1) +∞ +∞ X 1 1 X Z n+1 z = M(n)( z − z ) = M(n) z+1 dx n=1 n (n + 1) n=1 n x +∞ X Z n+1 M(x) Z +∞ M(x) = z z+1 dx = z z+1 dx n=1 n x 1 x Since M(x) is constant on each interval [n, n+1[. So : 1 Z +∞ M(x) = z dx ζ(z) 1 xz+1 Corollary 1 (The Riemann hypothesis) : All non-trivial zeros of ζ are 1 in the line x = 2 . Proof : By posing M(x) = P µ(k) , and by lemma 2, we can write : 1≤k≤x 1 Z +∞ M(x) = z dx ζ(z) 1 xz+1 1 The Proposition 1 shows that this integral converges for Re(z) > 2 , implying 1 1 that ζ(z) is defined for Re(z) > 2 . According to this result, it can define a 5 M. Sghiar. International Journal of Engineering and Advanced Technology (IJEAT) ISNN:2249-8958, Volume- 7 Issue-2, December 2017 1 function analytic in Re(z) > 1/2 and extend an analytic continuation of ζ(z) 1 from Re(z) > 1 to Re(z) > 1/2 and by symmetry for Re(z) < 2 . Thus, the 1 only non-trivial zeros of ζ satisfy Re(z) = 2 , which is the statement of the Riemann’s hypothesis. III- Conclusion : To prove the Riemann’s hypothesis we needed to prove and use a property of the Mertens function (Proposition 1). And curiously and inversely for the proof of this last proposition we have used properties of the Riemann function, which shows the close link between the Mertens function and the Riemann function, as shown by the equations above.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    8 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us