DOCSLIB.ORG

Analytic Number Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Analytic Number Theory Andrew Kobin Fall 2013 Contents Contents Contents 0 Introduction 1 1 Preliminaries 2 1.1 Basic Number Theory . .2 1.2 Basic Analysis . .3 1.3 Euler-Maclaurin Summation . .4 1.4 The Bernoulli Numbers . 13 2 Euler's Work 15 2.1 On the Sums of Series of Reciprocals . 15 2.2 Newton's Identities . 20 2.3 Euler's Product Form . 22 2.4 The Prime Number Theorem . 31 3 Complex Analysis 35 3.1 Arithmetic . 35 3.2 Functions and Limits . 37 3.3 Line Integrals . 44 3.4 Differentiability . 46 3.5 Integration in the Complex Plane . 52 3.6 Singularities and the Residue Theorem . 57 4 The Zeta Function 62 4.1 The Functional Equation . 62 4.2 Finding the Zeros . 68 4.3 Sketch of the Prime Number Theorem . 69 4.4 Generalized Riemann Hypothesis . 71 i 0 Introduction 0 Introduction These notes were compiled from a semester of lectures at Wake Forest University by Dr. 1 X 1 John Webb. The primary focus is the Riemann Zeta Function: ζ(s) = ns n=1 1 X 1 Example 0.0.1. ζ(1) = , the harmonic series, is a divergent series. n n=1 1 X 1 π2 Example 0.0.2. We know ζ(2) = converges to , but how? n2 6 n=1 Euler's Results π2 Proved that ζ(2) = 6 900+ papers over his lifetime { Some 15 of them dealt with the Zeta Function Riemann wrote one paper on the topic { Revolutionized analytic number theory x Prime Number Theorem: π(x) ≈ , where π(x) is the number of primes less than log(x) or equal to x. Riemann gave a map of how to prove this theorem. Modern Research Riemann Hypothesis L-functions Calculating zeroes of the Zeta Function 1 1 Preliminaries 1 Preliminaries 1.1 Basic Number Theory Z is the integers f0; ±1; ±2;:::g. Definition. For an integer n, we say d is a divisor of n, d j n, if there exists an integer c such that dc = n. Properties (1) n j n for all n 2 Z (2) If d j n and n j m then d j m (3) If d j n and d j m then d j (xn + ym) (4) If d j n then ad j an for all a 2 Z (5) If ad j an then d j n if a 6= 0 (6)1 j n for all n 2 Z (7) n j 0 for all n 2 Z (8) If 0 j n then n = 0 (9) If d j n and n 6= 0 then jdj ≤ jnj (10) If d j n and n j d then jdj = jnj Definition. Given n; m 2 Z, we say that d ≥ 1 is the greatest common divisor of n and m if d j n, d j m, and for all e that divides n and m, jej ≤ d. Notes: Given another divisor of n; m, say e, then e j gcd(n; m) Given gcd(n; m), there exist integers x and y such that xn + ym = gcd(n; m) f(xn + ym) j x; y 2 Zg = fk · gcd(n; m) j k 2 Zg Definition. An integer p ≥ 2 is prime if its only positive divisors are 1 and p. Definition. An integer n > 1 is composite if it is not prime. Note: 1 is not prime. Theorem 1.1.1 (Fundamental Theorem of Arithmetic). Any integer n, jnj > 1, can be uniquely written as the product of powers of distinct primes e1 e2 er n = p1 p2 ··· pr ; where pi is prime and ei 2 Z for all i. Example 1.1.2. 2013 = 3 · 11 · 61. 2 1.2 Basic Analysis 1 Preliminaries 1.2 Basic Analysis Definition. If f is a function, f(x) converges to L 2 , denoted lim f(x) = L, if for all R x!1 " > 0 there exists N > 0 such that for all x > N, jf(x) − Lj < ". Definition. A function f(x) diverges (to 1), denoted lim f(x) = 1, if for all M > 0 x!1 there exists some N > 0 such that for all x > N, f(x) > M. This can be adapted for −∞ as well. Definition. Given functions f(x) and g(x) defined on R (or Z) ≥ a, with g(x) > 0 and monotonic on [a; 1), we say that f(x) = O(g(x)) if for all x ≥ a there exists some constant M > 0 such that jf(x)j ≤ Mg(x), also denoted f(x) << g(x). Definition. Given functions f and g, f(x) >> g(x) if there exists some constant m > 0 such that jf(x)j ≥ mg(x) for all x > a. Definition. If f(x) >> g(x) and f(x) << g(x) then f and g are said to have the same order, denoted f(x) g(x). X 1 Example 1.2.1. = O(log(x)) p p prime p≤x Proof. What if we sum over all integers?: x X 1 n n=1 x x 1 X 1 X 1 X Z 1 We know ≥ . Recall the integral test: f(n) and f(x) dx both converge n p n=1 p=2 n=1 1 or both diverge (if f > 0 and f is monotone on [1; 1)). So we have x X 1 Z x 1 ≤ dt = log(x): n t n=2 1 In fact, x X 1 log(x) < < 2 log(x): n n=1 x x x X 1 X 1 X 1 Therefore ≤ < 2 log(x) for all x > 2. Hence = O(log(x)). p n p p=2 n=1 p=2 x x X 1 X 1 But is way bigger than so this is a bad approximation tool. n p n=1 p=2 3 1.3 Euler-Maclaurin Summation 1 Preliminaries Example 1.2.2. sin(x) << 1 Let g(x) = 1, then j sin(x)j ≤ g(x) for all x 2 R. So sin(x) << 1. But is sin(x) 1? No, since sin(x) = 0 at infinitely many points. Example 1.2.3. f(x) = sin(x) + x First, f(x) << x because if M = 2, jf(x)j ≤ 2x for x > 0. And f(x) >> x because if m = 1=2, jf(x)j ≥ 1=2x for x > 0. Thus f(x) x. Definition. Two functions f and g are asymptotic to each other, denoted f(x) ∼ g(x), if f(x) lim = 1: x!1 g(x) Example 1.2.4. f(x) = sin(x) + x, g(x) = x f(x) sin(x) + x sin(x) lim = lim = lim + 1 = 0 + 1 = 1 x!1 g(x) x!1 x x!1 x thus f(x) ∼ g(x). Proposition 1.2.5. If f(x) ∼ g(x) then f(x) g(x). Proof omitted. Note that the converse is not true in general. x X 1 Z x 1 Example 1.2.6. The integral test actually states that ∼ dt = log(x). n t n=1 1 1.3 Euler-Maclaurin Summation n−1 X Z n Let f(x) > 0 and strictly decreasing on [1; 1). Examine dn = f(k) − f(x) dx. k=1 1 f(x) 4 3 2 dn 1 1 2 4 6 n8 4 1.3 Euler-Maclaurin Summation 1 Preliminaries Proposition 1.3.1. dn < f(1) for any n > 1. n−1 X Z k+1 Proof. Rewrite dn = (f(k) − f(x)) dx. Then k=1 k n−1 X dn < (f(k) − f(k + 1)) = f(1) − f(n) k=1 by telescoping series. And since f(n) > 0, f(1) − f(n) < f(1). Hence dn < f(1). Let C(f) = lim dn. We know C(f) exists because dn is increasing but bounded. Then n!1 we can write n X Z k+1 C(f) = lim [f(k) − f(x)] dx: n!1 k=1 k 1 X Z k+1 Let Ef (n) = f(n) + dn − C(f). Then Ef (n) > 0 since dn − C(f) = [f(k) − f(x)] dx. k=n k Together, this gives us 1 X Z 1 f(k) = f(x) dx + C(f) + Ef (n): k=1 1 1 X 1 Goal: Approximate to at least 3 decimal places. n2 n=1 1 Definition. γ = C x is called the Euler constant. 1 Example 1.3.2. Let f(x) = x . Then n X Z n f(k) = f(x) dx + γ + Ef (n) k=1 1 Z n 1 We know that dx = log(n). To approximate the remaining terms, we will first prove 1 x the following theorem for the general case. n X Z n Z n Theorem 1.3.3. f(k) = f(x) dx + (x − bxc) f 0(x) dx + f(1), where f has a con- k=1 1 1 tinuous first derivative on [1; n]. Proof. We begin with n X Z n f(k) = f(x) dx + dn: k=1 1 5 1.3 Euler-Maclaurin Summation 1 Preliminaries To find dn, n−1 X Z k+1 dn = [f(k) − f(x)] dx k=1 k which we will integrate by parts. Let u = f(k) − f(x) dv = dx du = −f 0(x) dx v = x − (k + 1) we get to choose a constant and integrate: Z k+1 k+1 Z k+1 0 [f(k) − f(x)] dx = [f(k) − f(x)](x − (k + 1)) + (x − (k + 1))f (x) dx k k k Z k+1 = [(f(k) − f(k + 1)) · 0 − 0(−1)] + (x − (k + 1))f 0(x) dx k Z k+1 Z k+1 = 0 + (x − (k + 1))f 0(x) dx = (x − (k + 1))f 0(x) dx: k k Thus n−1 n−1 X Z k+1 X Z k+1 [f(k) − f(x)] dx = (x − (k + 1))f 0(x) dx k=1 k k=1 k n−1 X Z k+1 = (x − bxc − 1)f 0(x) dx k=1 k n−1 n−1 X Z k+1 X Z k+1 = (x − bxc)f 0(x) dx − f 0(x) dx k=1 k k=1 k n−1 X Z k+1 Z n = (x − bxc)f 0(x) dx − f 0(x) dx k=1 k 1 n−1 X Z k+1 = (x − bxc)f 0(x) dx − (f(n) − f(1)): k=1 k This is a formula we can work with.
Recommended publications
  • Euler Product Asymptotics on Dirichlet L-Functions 3

    Euler Product Asymptotics on Dirichlet L-Functions 3

    EULER PRODUCT ASYMPTOTICS ON DIRICHLET L-FUNCTIONS IKUYA KANEKO Abstract. We derive the asymptotic behaviour of partial Euler products for Dirichlet L-functions L(s,χ) in the critical strip upon assuming only the Generalised Riemann Hypothesis (GRH). Capturing the behaviour of the partial Euler products on the critical line is called the Deep Riemann Hypothesis (DRH) on the ground of its importance. Our result manifests the positional relation of the GRH and DRH. If χ is a non-principal character, we observe the √2 phenomenon, which asserts that the extra factor √2 emerges in the Euler product asymptotics on the central point s = 1/2. We also establish the connection between the behaviour of the partial Euler products and the size of the remainder term in the prime number theorem for arithmetic progressions. Contents 1. Introduction 1 2. Prelude to the asymptotics 5 3. Partial Euler products for Dirichlet L-functions 6 4. Logarithmical approach to Euler products 7 5. Observing the size of E(x; q,a) 8 6. Appendix 9 Acknowledgement 11 References 12 1. Introduction This paper was motivated by the beautiful and profound work of Ramanujan on asymptotics for the partial Euler product of the classical Riemann zeta function ζ(s). We handle the family of Dirichlet L-functions ∞ L(s,χ)= χ(n)n−s = (1 χ(p)p−s)−1 with s> 1, − ℜ 1 p X Y arXiv:1902.04203v1 [math.NT] 12 Feb 2019 and prove the asymptotic behaviour of partial Euler products (1.1) (1 χ(p)p−s)−1 − 6 pYx in the critical strip 0 < s < 1, assuming the Generalised Riemann Hypothesis (GRH) for this family.
  • On Analytic Number Theory

    On Analytic Number Theory

    Lectures on Analytic Number Theory By H. Rademacher Tata Institute of Fundamental Research, Bombay 1954-55 Lectures on Analytic Number Theory By H. Rademacher Notes by K. Balagangadharan and V. Venugopal Rao Tata Institute of Fundamental Research, Bombay 1954-1955 Contents I Formal Power Series 1 1 Lecture 2 2 Lecture 11 3 Lecture 17 4 Lecture 23 5 Lecture 30 6 Lecture 39 7 Lecture 46 8 Lecture 55 II Analysis 59 9 Lecture 60 10 Lecture 67 11 Lecture 74 12 Lecture 82 13 Lecture 89 iii CONTENTS iv 14 Lecture 95 15 Lecture 100 III Analytic theory of partitions 108 16 Lecture 109 17 Lecture 118 18 Lecture 124 19 Lecture 129 20 Lecture 136 21 Lecture 143 22 Lecture 150 23 Lecture 155 24 Lecture 160 25 Lecture 165 26 Lecture 169 27 Lecture 174 28 Lecture 179 29 Lecture 183 30 Lecture 188 31 Lecture 194 32 Lecture 200 CONTENTS v IV Representation by squares 207 33 Lecture 208 34 Lecture 214 35 Lecture 219 36 Lecture 225 37 Lecture 232 38 Lecture 237 39 Lecture 242 40 Lecture 246 41 Lecture 251 42 Lecture 256 43 Lecture 261 44 Lecture 264 45 Lecture 266 46 Lecture 272 Part I Formal Power Series 1 Lecture 1 Introduction In additive number theory we make reference to facts about addition in 1 contradistinction to multiplicative number theory, the foundations of which were laid by Euclid at about 300 B.C. Whereas one of the principal concerns of the latter theory is the deconposition of numbers into prime factors, addi- tive number theory deals with the decomposition of numbers into summands.
  • Analytic Number Theory

    Analytic Number Theory

    A course in Analytic Number Theory Taught by Barry Mazur Spring 2012 Last updated: January 19, 2014 1 Contents 1. January 244 2. January 268 3. January 31 11 4. February 2 15 5. February 7 18 6. February 9 22 7. February 14 26 8. February 16 30 9. February 21 33 10. February 23 38 11. March 1 42 12. March 6 45 13. March 8 49 14. March 20 52 15. March 22 56 16. March 27 60 17. March 29 63 18. April 3 65 19. April 5 68 20. April 10 71 21. April 12 74 22. April 17 77 Math 229 Barry Mazur Lecture 1 1. January 24 1.1. Arithmetic functions and first example. An arithmetic function is a func- tion N ! C, which we will denote n 7! c(n). For example, let rk;d(n) be the number of ways n can be expressed as a sum of d kth powers. Waring's problem asks what this looks like asymptotically. For example, we know r3;2(1729) = 2 (Ramanujan). Our aim is to derive statistics for (interesting) arithmetic functions via a study of the analytic properties of generating functions that package them. Here is a generating function: 1 X n Fc(q) = c(n)q n=1 (You can think of this as a Fourier series, where q = e2πiz.) You can retrieve c(n) as a Cauchy residue: 1 I F (q) dq c(n) = c · 2πi qn q This is the Hardy-Littlewood method. We can understand Waring's problem by defining 1 X nk fk(q) = q n=1 (the generating function for the sequence that tells you if n is a perfect kth power).
  • Of the Riemann Hypothesis

    Of the Riemann Hypothesis

    A Simple Counterexample to Havil's \Reformulation" of the Riemann Hypothesis Jonathan Sondow 209 West 97th Street New York, NY 10025 [email protected] The Riemann Hypothesis (RH) is \the greatest mystery in mathematics" [3]. It is a conjecture about the Riemann zeta function. The zeta function allows us to pass from knowledge of the integers to knowledge of the primes. In his book Gamma: Exploring Euler's Constant [4, p. 207], Julian Havil claims that the following is \a tantalizingly simple reformulation of the Rie- mann Hypothesis." Havil's Conjecture. If 1 1 X (−1)n X (−1)n cos(b ln n) = 0 and sin(b ln n) = 0 na na n=1 n=1 for some pair of real numbers a and b, then a = 1=2. In this note, we first state the RH and explain its connection with Havil's Conjecture. Then we show that the pair of real numbers a = 1 and b = 2π=ln 2 is a counterexample to Havil's Conjecture, but not to the RH. Finally, we prove that Havil's Conjecture becomes a true reformulation of the RH if his conclusion \then a = 1=2" is weakened to \then a = 1=2 or a = 1." The Riemann Hypothesis In 1859 Riemann published a short paper On the number of primes less than a given quantity [6], his only one on number theory. Writing s for a complex variable, he assumes initially that its real 1 part <(s) is greater than 1, and he begins with Euler's product-sum formula 1 Y 1 X 1 = (<(s) > 1): 1 ns p 1 − n=1 ps Here the product is over all primes p.
  • Nine Chapters of Analytic Number Theory in Isabelle/HOL

    Nine Chapters of Analytic Number Theory in Isabelle/HOL

    Nine Chapters of Analytic Number Theory in Isabelle/HOL Manuel Eberl Technische Universität München 12 September 2019 + + 58 Manuel Eberl Rodrigo Raya 15 library unformalised 173 18 using analytic methods In this work: only multiplicative number theory (primes, divisors, etc.) Much of the formalised material is not particularly analytic. Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers In this work: only multiplicative number theory (primes, divisors, etc.) Much of the formalised material is not particularly analytic. Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers using analytic methods Much of the formalised material is not particularly analytic. Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers using analytic methods In this work: only multiplicative number theory (primes, divisors, etc.) Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers using analytic methods In this work: only multiplicative number theory (primes, divisors, etc.) Much of the formalised material is not particularly analytic.
  • The Mobius Function and Mobius Inversion

    The Mobius Function and Mobius Inversion

    Ursinus College Digital Commons @ Ursinus College Transforming Instruction in Undergraduate Number Theory Mathematics via Primary Historical Sources (TRIUMPHS) Winter 2020 The Mobius Function and Mobius Inversion Carl Lienert Follow this and additional works at: https://digitalcommons.ursinus.edu/triumphs_number Part of the Curriculum and Instruction Commons, Educational Methods Commons, Higher Education Commons, Number Theory Commons, and the Science and Mathematics Education Commons Click here to let us know how access to this document benefits ou.y Recommended Citation Lienert, Carl, "The Mobius Function and Mobius Inversion" (2020). Number Theory. 12. https://digitalcommons.ursinus.edu/triumphs_number/12 This Course Materials is brought to you for free and open access by the Transforming Instruction in Undergraduate Mathematics via Primary Historical Sources (TRIUMPHS) at Digital Commons @ Ursinus College. It has been accepted for inclusion in Number Theory by an authorized administrator of Digital Commons @ Ursinus College. For more information, please contact [email protected]. The Möbius Function and Möbius Inversion Carl Lienert∗ January 16, 2021 August Ferdinand Möbius (1790–1868) is perhaps most well known for the one-sided Möbius strip and, in geometry and complex analysis, for the Möbius transformation. In number theory, Möbius’ name can be seen in the important technique of Möbius inversion, which utilizes the important Möbius function. In this PSP we’ll study the problem that led Möbius to consider and analyze the Möbius function. Then, we’ll see how other mathematicians, Dedekind, Laguerre, Mertens, and Bell, used the Möbius function to solve a different inversion problem.1 Finally, we’ll use Möbius inversion to solve a problem concerning Euler’s totient function.
  • Prime Factorization, Zeta Function, Euler Product

    Prime Factorization, Zeta Function, Euler Product

    Analytic Number Theory, undergrad, Courant Institute, Spring 2017 http://www.math.nyu.edu/faculty/goodman/teaching/NumberTheory2017/index.html Section 2, Euler products version 1.2 (latest revision February 8, 2017) 1 Introduction. This section serves two purposes. One is to cover the Euler product formula for the zeta function and prove the fact that X p−1 = 1 : (1) p The other is to develop skill and tricks that justify the calculations involved. The zeta function is the sum 1 X ζ(s) = n−s : (2) 1 We will show that the sum converges as long as s > 1. The Euler product formula is Y −1 ζ(s) = 1 − p−s : (3) p This formula expresses the fact that every positive integers has a unique rep- resentation as a product of primes. We will define the infinite product, prove that this one converges for s > 1, and prove that the infinite sum is equal to the infinite product if s > 1. The derivative of the zeta function is 1 X ζ0(s) = − log(n) n−s : (4) 1 This formula is derived by differentiating each term in (2), as you would do for a finite sum. We will prove that this calculation is valid for the zeta sum, for s > 1. We also can differentiate the product (3) using the Leibnitz rule as 1 though it were a finite product. In the following calculation, r is another prime: 8 9 X < d −1 X −1= ζ0(s) = 1 − p−s 1 − r−s ds p : r6=p ; 8 9 X <h −2i X −1= = − log(p)p−s 1 − p−s 1 − r−s p : r6=p ; ( ) X −1 = − log(p) p−s 1 − p−s ζ(s) p ( 1 !) X X ζ0(s) = − log(p) p−ks ζ(s) : (5) p 1 If we divide by ζ(s), the sum on the right is a sum over prime powers (numbers n that have a single p in their prime factorization).
  • 4 L-Functions

    4 L-Functions

    Further Number Theory G13FNT cw ’11 4 L-functions In this chapter, we will use analytic tools to study prime numbers. We first start by giving a new proof that there are infinitely many primes and explain what one can say about exactly “how many primes there are”. Then we will use the same tools to proof Dirichlet’s theorem on primes in arithmetic progressions. 4.1 Riemann’s zeta-function and its behaviour at s = 1 Definition. The Riemann zeta function ζ(s) is defined by X 1 1 1 1 1 ζ(s) = = + + + + ··· . ns 1s 2s 3s 4s n>1 The series converges (absolutely) for all s > 1. Remark. The series also converges for complex s provided that Re(s) > 1. 2 4 P 1 Example. From the last chapter, ζ(2) = π /6, ζ(4) = π /90. But ζ(1) is not defined since n diverges. However we can still describe the behaviour of ζ(s) as s & 1 (which is my notation for s → 1+, i.e. s > 1 and s → 1). Proposition 4.1. lim (s − 1) · ζ(s) = 1. s&1 −s R n+1 1 −s Proof. Summing the inequality (n + 1) < n xs dx < n for n > 1 gives Z ∞ 1 1 ζ(s) − 1 < s dx = < ζ(s) 1 x s − 1 and hence 1 < (s − 1)ζ(s) < s; now let s & 1. Corollary 4.2. log ζ(s) lim = 1. s&1 1 log s−1 Proof. Write log ζ(s) log(s − 1)ζ(s) 1 = 1 + 1 log s−1 log s−1 and let s & 1.
  • Riemann Hypothesis and Random Walks: the Zeta Case

    Riemann Hypothesis and Random Walks: the Zeta Case

    Riemann Hypothesis and Random Walks: the Zeta case Andr´e LeClaira Cornell University, Physics Department, Ithaca, NY 14850 Abstract In previous work it was shown that if certain series based on sums over primes of non-principal Dirichlet characters have a conjectured random walk behavior, then the Euler product formula for 1 its L-function is valid to the right of the critical line <(s) > 2 , and the Riemann Hypothesis for this class of L-functions follows. Building on this work, here we propose how to extend this line of reasoning to the Riemann zeta function and other principal Dirichlet L-functions. We apply these results to the study of the argument of the zeta function. In another application, we define and study a 1-point correlation function of the Riemann zeros, which leads to the construction of a probabilistic model for them. Based on these results we describe a new algorithm for computing very high Riemann zeros, and we calculate the googol-th zero, namely 10100-th zero to over 100 digits, far beyond what is currently known. arXiv:1601.00914v3 [math.NT] 23 May 2017 a [email protected] 1 I. INTRODUCTION There are many generalizations of Riemann's zeta function to other Dirichlet series, which are also believed to satisfy a Riemann Hypothesis. A common opinion, based largely on counterexamples, is that the L-functions for which the Riemann Hypothesis is true enjoy both an Euler product formula and a functional equation. However a direct connection between these properties and the Riemann Hypothesis has not been formulated in a precise manner.
  • Analytic Number Theory What Is Analytic Number Theory?

    Analytic Number Theory What Is Analytic Number Theory?

    Math 259: Introduction to Analytic Number Theory What is analytic number theory? One may reasonably define analytic number theory as the branch of mathematics that uses analytical techniques to address number-theoretical problems. But this “definition”, while correct, is scarcely more informative than the phrase it purports to define. (See [Wilf 1982].) What kind of problems are suited to \analytical techniques"? What kind of mathematical techniques will be used? What style of mathematics is this, and what will its study teach you beyond the statements of theorems and their proofs? The next few sections briefly answer these questions. The problems of analytic number theory. The typical problem of ana- lytic number theory is an enumerative problem involving primes, Diophantine equations, or similar number-theoretic objects, and usually concerns what hap- pens for large values of some parameter. Such problems are of long-standing intrinsic interest, and the answers that analytic number theory provides often have uses in mathematics (see below) or related disciplines (notably in various algorithmic aspects of primes and prime factorization, including applications to cryptography). Examples of problems that we shall address are: How many 100-digit primes are there, and how many of these have the last • digit 7? More generally, how do the prime-counting functions π(x) and π(x; a mod q) behave for large x? [For the 100-digit problems we would take x = 1099 and x = 10100, q = 10, a = 7.] Given a prime p > 0, a nonzero c mod p, and integers a1; b1;
  • First Year Progression Report

    First Year Progression Report

    First Year Progression Report Steven Charlton 12 June 2013 Contents 1 Introduction 1 2 Polylogarithms 2 2.1 Definitions . .2 2.2 Special Values, Functional Equations and Singled Valued Versions . .3 2.3 The Dedekind Zeta Function and Polylogarithms . .5 2.4 Iterated Integrals and Their Properties . .7 2.5 The Hopf algebra of (Motivic) Iterated Integrals . .8 2.6 The Polygon Algebra . .9 2.7 Algebraic Structures on Polygons . 11 2.7.1 Other Differentials on Polygons . 11 2.7.2 Operadic Structure of Polygons . 11 2.7.3 A VV-Differential on Polygons . 13 3 Multiple Zeta Values 16 3.1 Definitions . 16 3.2 Relations and Transcendence . 17 3.3 Algebraic Structure of MZVs and the Standard Relations . 19 3.4 Motivic Multiple Zeta Values . 21 3.5 Dimension of MZVs and the Hoffman Elements . 23 3.6 Results using Motivic MZVs . 24 3.7 Motivic DZVs and Eisenstein Series . 27 4 Conclusion 28 References 29 1 Introduction The polylogarithms Lis(z) are an important and frequently occurring class of functions, with applications throughout mathematics and physics. In this report I will give an overview of some of the theory surrounding them, and the questions and lines of research still open to investigation. I will introduce the polylogarithms as a generalisation of the logarithm function, by means of their Taylor series expansion, multiple polylogarithms will following by considering products. This will lead to the idea of functional equations for polylogarithms, capturing the symmetries of the function. I will give examples of such functional equations for the dilogarithm.
  • The Euler Product Euler

    The Euler Product Euler

    Math 259: Introduction to Analytic Number Theory Elementary approaches II: the Euler product Euler [Euler 1737] achieved the first major advance beyond Euclid’s proof by combining his method of generating functions with another highlight of ancient Greek number theory, unique factorization into primes. Theorem [Euler product]. The identity ∞ X 1 Y 1 = . (1) ns 1 − p−s n=1 p prime holds for all s such that the left-hand side converges absolutely. Proof : Here and henceforth we adopt the convention: Q P The notation p or p means a product or sum over prime p. Q cp Every positive integer n may be written uniquely as p p , with each cp a nonnegative integer that vanishes for all but finitely many p. Thus the formal expansion of the infinite product ∞ Y X p−cps (2) p prime cp=0 contains each term Y −s Y n−s = pcp = p−cps p p exactly once. If the sum of the n−s converges absolutely, we may rearrange the sum arbitrarily and conclude that it equals the product (2). On the other hand, each factor in this product is a geometric series whose sum equals 1/(1 − p−s). This establishes the identity (2). The sum on the left-hand side of (1) is nowadays called the zeta function ∞ 1 1 X ζ(s) = 1 + + + ··· = n−s ; 2s 3s n=1 the formula (2) is called the Euler product for ζ(s). Euler did not actually impose the convergence condition: the rigorous treatment of limits and convergence was not yet available, and Euler either handled such issues intuitively or ignored them.