The Prime Number Theorem

Total Page:16

File Type:pdf, Size:1020Kb

The Prime Number Theorem The Prime Number Theorem Yusuf Chebao The main purpose of these notes is to present a fairly readable version of a proof of the Prime Number Theorem (PNT), expanded from Sections 17-18 of Davenport's text [3]. We intend to make this exposition as self-contained as possible. However, some results from earlier sections in the text, as well as some principles from complex analysis, are assumed and listed without proofs in Section 1 below. In Section 2, we derive a formula for the sum of the von Mangoldt function, which is a key ingredient of our proof. The final steps of the proof are carried out in Section 3, where some connection between the PNT and the Riemann Hypothesis (RH) is also discussed. Let us first recall a few definitions: • The prime counting function π(x) is the number of all primes less than or equal to a positive real number x. • The logarithmic integral function is Z x 1 li(x) = dt: 2 log t Note that some authors denote this function as Li(x). Here we follow the convention by Davenport. • The big O notation: Let f; g and h be complex-valued functions whose domains contain a common infinite interval [a; 1). ◦ The relation f(x) = O(g(x)) means there exist some constants M and x0 such that jf(x)j ≤ Mjg(x)j for all x ≥ x0. ◦ The relation f(x) = h(x) + O(g(x)) means f(x) − h(x) = O(g(x)). This is to be understood that f(x) can be approximated by h(x), where g(x) is an error term. • We occasionally write f(x) ≪ g(x) for f(x) = O(g(x)). The form of the PNT that we will be proving is ( ) x π(x) = li(x) + O p (1) ec log x where c is a positive constant. We will also show that an immediate consequence of (1) is another form of the PNT: ( ) x x π(x) = + O : (2) log x log2 x 2 Several proofs of the PNT have been discovered. Significant contributions that lead to the first successful proof could be traced back at least to the 18th century, since the time of Legendre and Gauss. Below we record a number of notorious achievements and some well-known proofs of the PNT, listed by year. We do not intend to produce an exhaustive timeline nor a complete historical account here. 1851 Pafnuty Chebyshev showed that there exist constants c1 ≈ 0:9 and ≈ x ≤ ≤ x c2 1:1 such that c1 log x π(x) c2 log x for all large x. The preceding ≍ x inequalities are abbreviated as π(x) log x , and can be read as \π(x) x has the same order of magnitude as log x ". Thus Chebyshev was the first to demonstrate the correct order of magnitude for π(x). See Section 3.1 of [6] for a detailed discussion of Chebyshev's estimates. 1859 Bernhard Riemann, in his influential memoir \On the number of primes less than a given magnitude", used the zeta function ζ(s) which was extended analytically throughout the complex plane (except for a pole at s = 1), to investigate π(x). Among other things, he established an important functional equation for ζ(s), namely, ξ(s) = ξ(1 − s), − s s 2 where ξ(s) = π Γ( 2 )ζ(s) and Γ is the gamma function. In addition, he showed some connection between π(x) and the zeros of ζ(s). This paved a way to the first complete proof of the PNT a few decades later. 1896 Jacques Hadamard and Charles Jean de la Vall´ee-Poussin in- dependently gave the first complete proof of the PNT. The proof uses techniques from complex analysis, particularly the Argument Principle and the Residue Theorem, and is based on some careful analysis of the zeros of ζ(s), as suggested earlier by Riemann. This proof is sometimes referred to as an analytic proof of the PNT. 1931 Shikao Ikehara, in [7], used Wiener's Tauberian Theorem to derived the PNT. An outstanding aspect of this proof is that it only requires ζ(s) to be zero-free on the line Re(s) = 1, rather than a larger zero-free region as in the previous proof by Hadamard and de la Vall´ee-Poussin. 1949 Paul Erd}os in [4] and Atle Selberg in [9] published essentially the same elementary proof of the PNT. It is elementary in the sense that no sophisticated technique from complex analysis was used, although the argument was quite intricate. Unfortunately, there was a bitter disagreement between the two mathematicians as to whom the credit of the proof should be given. See [5] for an account of the dispute. 1980 Donald J. Newman found a simple proof of the PNT. It is analytic, but simple in a sense that it hardly uses anything beyondP Cauchy's Integral Formula, and uses classical results on θ(x) = p≤x log p by Chebyshev. It can also be viewed as a simpler version of the Tauberian argument by Ikehara. This is perceived by some as the easiest proof the PNT so far. See [1] or [8] for Newman's proof. Our proof of the PNT will follow essentially a classical approach by Hadamard and de la Vall´ee-Poussin. 3 The following diagram illustrates logical dependence of the main results in these notes. An arrow from A to B indicates that we use A (possibly along with some other results) to prove B. Theorems 1-2 Theorem 3 Theorem 4 Theorems 5-6 / Remark 7 XXXXX QQQ { XXXXX QQQ {{ XXXXX QQ { XXXXX QQQ {{ XXXXX QQ( {{ , {{ / / / {{ Theorem 8 Theorem 10 TheoremQQ 11Q Corollary 12 { QQQ {{ QQQ {{ QQQ {{ QQ( {} { Corollary 9 Theorem 13 / Theorem 14 Theorem 1 and Theorem 2 are basic principles about contour integrals that we will use to derive two formulas for the sum of von Mangoldt function in Theorem 10 and Theorem 11. Notice that Theorem 11 is a central result that is also based on Theorem 3 and Theorem 4, which are some facts about the gamma function and the zeta function. Theorem 13 is a crucial estimate for the sum of von Mangoldt function that will eventually yield Theorem 14, which is the PNT. 1 Preliminaries In this section, we collect some results (mostly without proofs) that are required for the next sections. First of all, in the derivations of the error terms, we almost always rely on the following fact about upper bounds for the moduli of contour integrals: Theorem 1. Let C := z(t); t 2 [a; b] be a smooth arc and let f(z) be a continuous function on C. Then Z Z b f(x)dz ≤ jf(z(t))jjdz(t)j ≤ ML C R a where M := max jf(z(t))j and L = b jz0(t)jdt is the length of C. t2[a;b] a R j j ≤ The relation C f(z)dz ML is called the ML inequality. Another important principle that we will be using repeatedly in Section 2 is: Theorem 2. (The Residue Theorem) Let C be a simple closed curve in a region A, traversed once in the counterclock- wise direction. Let f be a complex-valued function which is analytic on and inside C, except at some isolated singularities z1; : : : ; zk inside C. Then Z 1 Xk f(z)dz = Res(f; z ): 2πi j C j=i For the proofs of the two theorems above, see, for example, [1] or [2]. Further, we will extensively use many facts about the Riemann zeta function ζ(s), which is closely related to the gamma function Γ(s). 4 • The gamma function can be defined on C − f0; −1; −2;::: g by 1 [( ) ] e−γs Y s −1 Γ(s) = 1 + es=n s n n=1 ( P ) where γ = lim n 1 − log n is the Euler constant. It is known that Γ(s) is n!1 k=1 k zero-free and analytic in the complex plane, except at simple poles s = 0; −1; −2; −3;::: . In Section 2, we will need a fact about the logarithmic derivative of the gamma function that Γ0(s) = log s + O(jsj−1) (3) Γ(s) when jsj ! 1 and −π + δ < arg(s) ≤ π − δ for any δ > 0. This fact is taken from Section 10 of [3]. P • 1 s The Riemann zeta function is defined for Re(s) > 1 by ζ(s) = n=1 1=n , and can be extended to the right half-plane Re(s) > 0 by Z s 1 fxg ζ(s) = − s dx − s+1 s 1 1 x where fxg = x − bxc is the fractional part of x. One way to extend ζ(s) to the whole complex plane is to use the following form of Riemann's functional equation: ( ) πs ζ(s) = 2sπs−1ζ(1 − s)Γ(1 − s) sin : (4) 2 We know that ζ(s) is analytic in C, except for a simple pole at s = 1. It can be seen from (4) that the only zeros of ζ(s) on the left half-plane are s = −2; −4; −6;::: ; these are called the trivial zeros of the Riemann zeta function, and each of them has order one. All the remaining zeros of ζ(s) are in the critical strip fs 2 C : 0 < Re(s) < 1g, and are called nontrivial zeros. The Riemann Hypothesis (RH) asserts that 1 all nontrivial zeros of ζ(s) are on the critical line Re(s) = .
Recommended publications
  • An Amazing Prime Heuristic.Pdf
    This document has been moved to https://arxiv.org/abs/2103.04483 Please use that version instead. AN AMAZING PRIME HEURISTIC CHRIS K. CALDWELL 1. Introduction The record for the largest known twin prime is constantly changing. For example, in October of 2000, David Underbakke found the record primes: 83475759 264955 1: · The very next day Giovanni La Barbera found the new record primes: 1693965 266443 1: · The fact that the size of these records are close is no coincidence! Before we seek a record like this, we usually try to estimate how long the search might take, and use this information to determine our search parameters. To do this we need to know how common twin primes are. It has been conjectured that the number of twin primes less than or equal to N is asymptotic to N dx 2C2N 2C2 2 2 Z2 (log x) ∼ (log N) where C2, called the twin prime constant, is approximately 0:6601618. Using this we can estimate how many numbers we will need to try before we find a prime. In the case of Underbakke and La Barbera, they were both using the same sieving software (NewPGen1 by Paul Jobling) and the same primality proving software (Proth.exe2 by Yves Gallot) on similar hardware{so of course they choose similar ranges to search. But where does this conjecture come from? In this chapter we will discuss a general method to form conjectures similar to the twin prime conjecture above. We will then apply it to a number of different forms of primes such as Sophie Germain primes, primes in arithmetic progressions, primorial primes and even the Goldbach conjecture.
    [Show full text]
  • A Short and Simple Proof of the Riemann's Hypothesis
    A Short and Simple Proof of the Riemann’s Hypothesis Charaf Ech-Chatbi To cite this version: Charaf Ech-Chatbi. A Short and Simple Proof of the Riemann’s Hypothesis. 2021. hal-03091429v10 HAL Id: hal-03091429 https://hal.archives-ouvertes.fr/hal-03091429v10 Preprint submitted on 5 Mar 2021 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. A Short and Simple Proof of the Riemann’s Hypothesis Charaf ECH-CHATBI ∗ Sunday 21 February 2021 Abstract We present a short and simple proof of the Riemann’s Hypothesis (RH) where only undergraduate mathematics is needed. Keywords: Riemann Hypothesis; Zeta function; Prime Numbers; Millennium Problems. MSC2020 Classification: 11Mxx, 11-XX, 26-XX, 30-xx. 1 The Riemann Hypothesis 1.1 The importance of the Riemann Hypothesis The prime number theorem gives us the average distribution of the primes. The Riemann hypothesis tells us about the deviation from the average. Formulated in Riemann’s 1859 paper[1], it asserts that all the ’non-trivial’ zeros of the zeta function are complex numbers with real part 1/2. 1.2 Riemann Zeta Function For a complex number s where ℜ(s) > 1, the Zeta function is defined as the sum of the following series: +∞ 1 ζ(s)= (1) ns n=1 X In his 1859 paper[1], Riemann went further and extended the zeta function ζ(s), by analytical continuation, to an absolutely convergent function in the half plane ℜ(s) > 0, minus a simple pole at s = 1: s +∞ {x} ζ(s)= − s dx (2) s − 1 xs+1 Z1 ∗One Raffles Quay, North Tower Level 35.
    [Show full text]
  • Bayesian Perspectives on Mathematical Practice
    Bayesian perspectives on mathematical practice James Franklin University of New South Wales, Sydney, Australia In: B. Sriraman, ed, Handbook of the History and Philosophy of Mathematical Practice, Springer, 2020. Contents 1. Introduction 2. The relation of conjectures to proof 3. Applied mathematics and statistics: understanding the behavior of complex models 4. The objective Bayesian perspective on evidence 5. Evidence for and against the Riemann Hypothesis 6. Probabilistic relations between necessary truths? 7. The problem of induction in mathematics 8. Conclusion References Abstract Mathematicians often speak of conjectures as being confirmed by evi- dence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long re- sisted proof, such as the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in com- puter power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore be- come (among other things) an experimental science (though that has not dimin- ished the importance of proof in the traditional style). We examine how the evalu- ation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Nu- merical evidence in mathematics is related to the problem of induction; the occur- rence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical rea- soning.
    [Show full text]
  • 2 Primes Numbers
    V55.0106 Quantitative Reasoning: Computers, Number Theory and Cryptography 2 Primes Numbers Definition 2.1 A number is prime is it is greater than 1, and its only divisors are itself and 1. A number is called composite if it is greater than 1 and is the product of two numbers greater than 1. Thus, the positive numbers are divided into three mutually exclusive classes. The prime numbers, the composite numbers, and the unit 1. We can show that a number is composite numbers by finding a non-trivial factorization.8 Thus, 21 is composite because 21 = 3 7. The letter p is usually used to denote a prime number. × The first fifteen prime numbers are 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41 These are found by a process of elimination. Starting with 2, 3, 4, 5, 6, 7, etc., we eliminate the composite numbers 4, 6, 8, 9, and so on. There is a systematic way of finding a table of all primes up to a fixed number. The method is called a sieve method and is called the Sieve of Eratosthenes9. We first illustrate in a simple example by finding all primes from 2 through 25. We start by listing the candidates: 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25 The first number 2 is a prime, but all multiples of 2 after that are not. Underline these multiples. They are eliminated as composite numbers. The resulting list is as follows: 2, 3, 4,5,6,7,8,9,10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,25 The next number not eliminated is 3, the next prime.
    [Show full text]
  • Prime Number Theorem
    Prime Number Theorem Bent E. Petersen Contents 1 Introduction 1 2Asymptotics 6 3 The Logarithmic Integral 9 4TheCebyˇˇ sev Functions θ(x) and ψ(x) 11 5M¨obius Inversion 14 6 The Tail of the Zeta Series 16 7 The Logarithm log ζ(s) 17 < s 8 The Zeta Function on e =1 21 9 Mellin Transforms 26 10 Sketches of the Proof of the PNT 29 10.1 Cebyˇˇ sev function method .................. 30 10.2 Modified Cebyˇˇ sev function method .............. 30 10.3 Still another Cebyˇˇ sev function method ............ 30 10.4 Yet another Cebyˇˇ sev function method ............ 31 10.5 Riemann’s method ...................... 31 10.6 Modified Riemann method .................. 32 10.7 Littlewood’s Method ..................... 32 10.8 Ikehara Tauberian Theorem ................. 32 11ProofofthePrimeNumberTheorem 33 References 39 1 Introduction Let π(x) be the number of primes p ≤ x. It was discovered empirically by Gauss about 1793 (letter to Enke in 1849, see Gauss [9], volume 2, page 444 and Goldstein [10]) and by Legendre (in 1798 according to [14]) that x π(x) ∼ . log x This statement is the prime number theorem. Actually Gauss used the equiva- lent formulation (see page 10) Z x dt π(x) ∼ . 2 log t 1 B. E. Petersen Prime Number Theorem For some discussion of Gauss’ work see Goldstein [10] and Zagier [45]. In 1850 Cebyˇˇ sev [3] proved a result far weaker than the prime number theorem — that for certain constants 0 <A1 < 1 <A2 π(x) A < <A . 1 x/log x 2 An elementary proof of Cebyˇˇ sev’s theorem is given in Andrews [1].
    [Show full text]
  • Notes on the Prime Number Theorem
    Notes on the prime number theorem Kenji Kozai May 2, 2014 1 Statement We begin with a definition. Definition 1.1. We say that f(x) and g(x) are asymptotic as x → ∞, f(x) written f ∼ g, if limx→∞ g(x) = 1. The prime number theorem tells us about the asymptotic behavior of the number of primes that are less than a given number. Let π(x) be the number of primes numbers p such that p ≤ x. For example, π(2) = 1, π(3) = 2, π(4) = 2, etc. The statement that we will try to prove is as follows. Theorem 1.2 (Prime Number Theorem, p. 382). The asymptotic behavior of π(x) as x → ∞ is given by x π(x) ∼ . log x This was originally observed as early as the 1700s by Gauss and others. The first proof was given in 1896 by Hadamard and de la Vall´ee Poussin. We will give an overview of simplified proof. Most of the material comes from various sections of Gamelin – mostly XIV.1, XIV.3 and XIV.5. 2 The Gamma Function The gamma function Γ(z) is a meromorphic function that extends the fac- torial n! to arbitrary complex values. For Re z > 0, we can find the gamma function by the integral: ∞ Γ(z)= e−ttz−1dt, Re z > 0. Z0 1 To see the relation with the factorial, we integrate by parts: ∞ Γ(z +1) = e−ttzdt Z0 ∞ z −t ∞ −t z−1 = −t e |0 + z e t dt Z0 = zΓ(z). ∞ −t This holds whenever Re z > 0.
    [Show full text]
  • The Zeta Function and Its Relation to the Prime Number Theorem
    THE ZETA FUNCTION AND ITS RELATION TO THE PRIME NUMBER THEOREM BEN RIFFER-REINERT Abstract. The zeta function is an important function in mathe- matics. In this paper, I will demonstrate an important fact about the zeros of the zeta function, and how it relates to the prime number theorem. Contents 1. Importance of the Zeta Function 1 2. Trivial Zeros 4 3. Important Observations 5 4. Zeros on Re(z)=1 7 5. Estimating 1/ζ and ζ0 8 6. The Function 9 7. Acknowledgements 12 References 12 1. Importance of the Zeta Function The Zeta function is a very important function in mathematics. While it was not created by Riemann, it is named after him because he was able to prove an important relationship between its zeros and the distribution of the prime numbers. His result is critical to the proof of the prime number theorem. There are several functions that will be used frequently throughout this paper. They are defined below. Definition 1.1. We define the Riemann zeta funtion as 1 X 1 ζ(z) = nz n=1 when jzj ≥ 1: 1 2 BEN RIFFER-REINERT Definition 1.2. We define the gamma function as Z 1 Γ(z) = e−ttz−1dt 0 over the complex plane. Definition 1.3. We define the xi function for all z with Re(z) > 1 as ξ(z) = π−s=2Γ(s=2)ζ(s): 1 P Lemma 1.1. Suppose fang is a series. If an < 1; then the product n=1 1 Q (1 + an) converges. Further, the product converges to 0 if and only n=1 if one if its factors is 0.
    [Show full text]
  • WHAT IS the BEST APPROACH to COUNTING PRIMES? Andrew Granville 1. How Many Primes Are There? Predictions You Have Probably Seen
    WHAT IS THE BEST APPROACH TO COUNTING PRIMES? Andrew Granville As long as people have studied mathematics, they have wanted to know how many primes there are. Getting precise answers is a notoriously difficult problem, and the first suitable technique, due to Riemann, inspired an enormous amount of great mathematics, the techniques and insights penetrating many different fields. In this article we will review some of the best techniques for counting primes, centering our discussion around Riemann's seminal paper. We will go on to discuss its limitations, and then recent efforts to replace Riemann's theory with one that is significantly simpler. 1. How many primes are there? Predictions You have probably seen a proof that there are infinitely many prime numbers. This was known to the ancient Greeks, and today there are many different proofs, using tools from all sorts of fields. Once one knows that there are infinitely many prime numbers then it is natural to ask whether we can give an exact formula, or at least a good approximation, for the number of primes up to a given point. Such questions were no doubt asked, since antiquity, by those people who thought about prime numbers. With the advent of tables of factorizations, it was possible to make predictions supported by lots of data. Figure 1 is a photograph of Chernac's Table of Factorizations of all integers up to one million, published in 1811.1 There are exactly one thousand pages of factorization tables in the book, each giving the factorizations of one thousand numbers. For example, Page 677, seen here, enables us to factor all numbers between 676000 and 676999.
    [Show full text]
  • 8. Riemann's Plan for Proving the Prime Number Theorem
    8. RIEMANN'S PLAN FOR PROVING THE PRIME NUMBER THEOREM 8.1. A method to accurately estimate the number of primes. Up to the middle of the nineteenth century, every approach to estimating ¼(x) = #fprimes · xg was relatively direct, based upon elementary number theory and combinatorial principles, or the theory of quadratic forms. In 1859, however, the great geometer Riemann took up the challenge of counting the primes in a very di®erent way. He wrote just one paper that could be called \number theory," but that one short memoir had an impact that has lasted nearly a century and a half, and its ideas have de¯ned the subject we now call analytic number theory. Riemann's memoir described a surprising approach to the problem, an approach using the theory of complex analysis, which was at that time still very much a developing sub- ject.1 This new approach of Riemann seemed to stray far away from the realm in which the original problem lived. However, it has two key features: ² it is a potentially practical way to settle the question once and for all; ² it makes predictions that are similar, though not identical, to the Gauss prediction. Indeed it even suggests a secondary term to compensate for the overcount we saw in the data in the table in section 2.10. Riemann's method is the basis of our main proof of the prime number theorem, and we shall spend this chapter giving a leisurely introduction to the key ideas in it. Let us begin by extracting the key prediction from Riemann's memoir and restating it in entirely elementary language: lcm[1; 2; 3; ¢ ¢ ¢ ; x] is about ex: Using data to test its accuracy we obtain: Nearest integer to x ln(lcm[1; 2; 3; ¢ ¢ ¢ ; x]) Di®erence 100 94 -6 1000 997 -3 10000 10013 13 100000 100052 57 1000000 999587 -413 Riemann's prediction can be expressed precisely and explicitly as p (8.1.1) j log(lcm[1; 2; ¢ ¢ ¢ ; x]) ¡ xj · 2 x(log x)2 for all x ¸ 100: 1Indeed, Riemann's memoir on this number-theoretic problem was a signi¯cant factor in the develop- ment of the theory of analytic functions, notably their global aspects.
    [Show full text]
  • The Elementary Proof of the Prime Number Theorem
    The Elementary Proof of the Prime Number Theorem JOEL SPENCER AND RONALD GRAHAM rime numbers are the atoms of our mathematical notes to give as faithful an account of the events as he universe. Euclid showed that there are infinitely could. Whether he succeeded is a judgment for the PP many primes, but the subtleties of their distribution reader to make. Certainly, he was far closer to Erdos} than continue to fascinate mathematicians. Letting p(n) denote to Selberg. Let us be clear that we two authors both have the number of primes p B n, Gauss conjectured in the early an Erdos} number of one, and our own associations nineteenth century that p n n=ln n . In 1896, this with Erdos} were long and profound. We feel that the conjecture was proven independentlyð Þ ð byÞ Jacques Hadam- Straus recollections are an important historic contribution. ard and Charles de la Valle´e-Poussin. Their proofs both We also believe that the controversy itself sheds con- used complex analysis. The search was then on for an siderable light on the changing nature of mathematical ‘‘elementary proof’’ of this result. G. H. Hardy was doubtful research. that such a proof could be found, saying if one was found In November 2005, Atle Selberg was interviewed by Nils ‘‘that it is time for the books to be cast aside and for the A. Baas and Christian F. Skau [4]. He recalled the events of theory to be rewritten.’’ 1948 with remarkable precision. We quote extensively from But in the Spring of 1948 such a proof was found.
    [Show full text]
  • An Elementary Proof of the Prime Number Theorem
    AN ELEMENTARY PROOF OF THE PRIME NUMBER THEOREM ABHIMANYU CHOUDHARY Abstract. This paper presents an "elementary" proof of the prime number theorem, elementary in the sense that no complex analytic techniques are used. First proven by Hadamard and Valle-Poussin, the prime number the- orem states that the number of primes less than or equal to an integer x x asymptotically approaches the value ln x . Until 1949, the theorem was con- sidered too "deep" to be proven using elementary means, however Erdos and Selberg successfully proved the theorem without the use of complex analysis. My paper closely follows a modified version of their proof given by Norman Levinson in 1969. Contents 1. Arithmetic Functions 1 2. Elementary Results 2 3. Chebyshev's Functions and Asymptotic Formulae 4 4. Shapiro's Theorem 10 5. Selberg's Asymptotic Formula 12 6. Deriving the Prime Number Theory using Selberg's Identity 15 Acknowledgments 25 References 25 1. Arithmetic Functions Definition 1.1. The prime counting function denotes the number of primes not greater than x and is given by π(x), which can also be written as: X π(x) = 1 p≤x where the symbol p runs over the set of primes in increasing order. Using this notation, we state the prime number theorem, first conjectured by Legendre, as: Theorem 1.2. π(x) log x lim = 1 x!1 x Note that unless specified otherwise, log denotes the natural logarithm. 1 2 ABHIMANYU CHOUDHARY 2. Elementary Results Before proving the main result, we first introduce a number of foundational definitions and results.
    [Show full text]
  • 3.1 Prime Numbers
    Chapter 3 I Number Theory 159 3.1 Prime Numbers Prime numbers serve as the basic building blocks in the multiplicative structure of the integers. As you may recall, an integer n greater than one is prime if its only positive integer multiplicative factors are 1 and n. Furthermore, every integer can be expressed as a product of primes, and this expression is unique up to the order of the primes in the product. This important insight into the multiplicative structure of the integers has become known as the fundamental theorem of arithmetic . Beneath the simplicity of the prime numbers lies a sophisticated world of insights and results that has intrigued mathematicians for centuries. By the third century b.c.e. , Greek mathematicians had defined prime numbers, as one might expect from their familiarity with the division algorithm. In Book IX of Elements [73], Euclid gives a proof of the infinitude of primes—one of the most elegant proofs in all of mathematics. Just as important as this understanding of prime numbers are the many unsolved questions about primes. For example, the Riemann hypothesis is one of the most famous open questions in all of mathematics. This claim provides an analytic formula for the number of primes less than or equal to any given natural number. A proof of the Riemann hypothesis also has financial rewards. The Clay Mathematics Institute has chosen six open questions (including the Riemann hypothesis)—a complete solution of any one would earn a $1 million prize. Working toward defining a prime number, we recall an important theorem and definition from section 2.2.
    [Show full text]