Chapter 1 Euler's Product Formula

Total Page:16

File Type:pdf, Size:1020Kb

Chapter 1 Euler's Product Formula Chapter 1 Euler’s Product Formula 1.1 The Product Formula The whole of analytic number theory rests on one marvellous formula due to Leonhard Euler (1707-1783): −1 X n−s = Y 1 − p−s . n∈N, n>0 primes p Informally, we can understand the formula as follows. By the Funda- mental Theorem of Arithmetic, each n ≥ 1 is uniquely expressible in the form n = 2e2 3e3 5e5 ··· , where e2, e3, e5,... are non-negative integers (all but a finite number being 0). Raising this to the power −s, n−s = 2−e2s3−e3s5−e5s ··· . Adding for n = 1, 2, 3,... , X n−s = 1 + 2−s + 2−2s + ··· 1 + 3−s + 3−2s + ··· 1 + 5−s + 5−2s + ··· ··· , each term on the left arising from just one product on the right. But for each prime p, −1 1 + p−s + p−2s + ··· = 1 − p−s , and the result follows. Euler’s Product Formula equates the Dirichlet series P n−s on the left with the infinite product on the right. 1–1 1.2. INFINITE PRODUCTS 1–2 To make the formula precise, we must develop the theory of infinite prod- ucts, which we do in the next Section. To understand the implications of the formula, we must develop the the- ory of Dirichlet series, which we do in the next Chapter. 1.2 Infinite products 1.2.1 Definition Infinite products are less familiar than infinite series, but are no more com- plicated. Both are examples of limits of sequences. Definition 1.1. The infinite product Y cn n∈N is said to converge to ` 6= 0 if the partial products Y Pn = cm → ` as n → ∞. 0≤m≤n We say that the infinite product diverges if either the partial products do not converge, or else they converge to 0 (as would be the case for example if any factor were 0). Q Proposition 1.1. If cn is convergent then cn → 1. Proof I We have Pn cn = . Pn−1 Since Pn → ` and Pn−1 → `, it follows that ` c → = 1. n ` J It is usually more convenient to write the factors in the form cn = 1 + an. In these terms, the last Proposition states that Y (1 + an) convergent =⇒ an → 0. 1.2. INFINITE PRODUCTS 1–3 1.2.2 The complex logarithm The theory of infinite products requires some knowledge of the complex log- arithmic function. Suppose z 6= 0. Let z = reiθ, where r > 0. We are interested in solutions w ∈ C of ew = z. If w = x + iy then ex = r, e−iy = e−iθ, ie x = log r, y = θ + 2nπ for some n ∈ Z. Just one of these solutions to ew = z satisfies −π < y = =(w) ≤ π. We call this value of w the principal logarithm of z, and denote it by Log z. Thus eLog z = z, −π < =(z) ≤ π. The general solution of ew = z is w = Log z + 2nπi (n ∈ Z). Now suppose w1 = Log z1, w2 = Log z2. Then w1+w2 Log(z1z2) e = z1z2 = e It follows that Log(z1z2) = Log z1 + Log z2 + 2nπi, where it is easy to see that n = 0, −1 or 1. If <(z) > 0 then z = reiθ with −π/2 < θ < π/2. It follows that <(z1), <(z2) > 0 =⇒ −π/2 < =(Log z1), =(Log z2) < π/2; and so −π < =(Log z1 + Log z2) < π. Thus <(z1), <(z2) > 0 =⇒ Log(z1z2) = Log z1 + Log z2. In particular, this holds if |z1|, |z2| < 1 (Fig 1.1). 1.2. INFINITE PRODUCTS 1–4 z r θ 1 Figure 1.1: |z − 1| < 1, Log z = log r + iθ 1.2.3 Convergence Proposition 1.2. Suppose an 6= −1 for n ∈ N. Then Y X (1 + an) converges ⇐⇒ Log(1 + an) converges. P Proof I Suppose Log(1 + an) converges to S. Let X Sn = Log(1 + am). m≤n Then Sn Y e = (1 + am). m≤n But Sn S Sn → S =⇒ e → e . Q s Thus (1 + an) converges to e . Q Conversely, suppose (1 + an) converges. Let Y Pn = (1 + an). m≤N Given > 0 there exists N such that P | n − 1| < Pm if m, n ≥ N. 1.2. INFINITE PRODUCTS 1–5 It follows that if m, n ≥ N then Log(Pn/PN ) = Log(Pm/PN ) + Log(Pn/Pm). In particular (taking m = n − 1), Log(Pn/PN ) = Log(Pn−1/PN ) + Log(1 + an). Hence X Log(Pn/PN ) = Log(1 + am). N<m≤m Since Pn → ` =⇒ Log(Pn/LN ) → Log(`/PN ), P we conclude that n>N (1 + an) converges to Log(`/PN ); and in particular, P n≥0 Log(1 + an) is convergent. J Proposition 1.3. Suppose an 6= −1 for n ∈ N. Then X Y |an| convergent =⇒ (1 + an) convergent. Proof I The function Log(1 + z) is holomorphic in |z| < 1, with Taylor expansion Log(1 + z) = z − z2/2 + z3/3 − · · · . Thus if |z| < 1/2 then |Log(1 + z)| ≤ |z| + |z|2 + |z|3 + ··· |z| = 1 − |z| ≤ 2|z|. P Now suppose |an| converges. Then an → 0; and so |an| ≤ 1/2 for n ≥ N. It follows that |Log(1 + an)| ≤ 2|an| for n ≥ N. Hence X Log(1 + an) converges. J 1.3. PROOF OF THE PRODUCT FORMULA 1–6 1.3 Proof of the product formula Proposition 1.4. For <(s) > 1, −1 X n−s = Y 1 − p−s , n∈N, n>0 primes p in the sense that each side converges to the same value. Proof I Let σ = <(s). Then |n−s| = n−σ. Thus N N | X n−s| ≤ X n−σ. M+1 M+1 Now Z n n−σ ≤ x−σdx; n−1 and so N Z N X n−σ ≤ x−σdx M+1 M 1 = M −σ − N −σ σ → 0 as M, N → ∞. Hence P n−s is convergent, by Cauchy’s criterion. On the other hand, Y(1 − p−s) is absolutely convergent, since X|p−s| = X p−σ ≤ X n−σ, which we just saw is convergent. Hence Q(1 − p−s) is convergent, by Propo- sition 1.3; and so therefore is −1 Y 1 − p−s . To see that the two sides are equal note that 0 −1 Y 1 − χ(p)p−s = X χ(n)n−s + X χ(n)n−s, p≤N n≤N where the second sum on the right extends over those n > N all of whose prime factors are ≤ N. As N → ∞, the right-hand side → P n−s, since this sum is absolutely convergent; while by definition, the left-hand side → Q(1 − p−s)−1. We conclude that the two sides converge to the same value. J 1.4. EULER’S THEOREM 1–7 1.4 Euler’s Theorem Proposition 1.5. (Euler’s Theorem) 1 X = ∞. primes p p P Proof I Suppose 1/p is convergent. Then 1! Y 1 − p is absolutely convergent, and so converges to ` say, by Proposition ?? It follows that 1! Y 1 − → `−1. p≤N p But N 1 1! X ≤ Y 1 − , 1 n p≤N p since each n on the left is expressible in the form e1 er n = p1 ··· pr with p1, . , pr ≤ N. Hence P 1/n is convergent. But 1 Z n+1 dx > . n n x Thus N Z N+1 dx X n−1 ≥ = log(N + 1). 1 1 x Since log N → ∞ as N → ∞ it follows that P 1/n is divergent. Our hypothesis is therefore untenable, and 1 X diverges. p J P 1 This is a remarkably accurate result; p only just diverges. For it follows from the Prime Number Theorem, x π(x) ∼ , log x 1.4. EULER’S THEOREM 1–8 th that if pn denotes the n prime (so that p2 = 3, p5 = 11, etc) then pn ∼ n log n. To see that, note that π(pn) = n (ie the number of primes ≤ pn is n). Thus setting x = pn in the Prime Number Theorem, p n ∼ n , log pn ie p n → 1. n log pn Taking logarithms, log pn − log n − log log pn → 0; hence log n → 1, log pn ie log pn ∼ log n. We conclude that pn ∼ n log pn ∼ n log n. Returning to Euler’s Theorem, we see that P 1/p behaves like P 1/n log n. The latter diverges, but only just, as we see by comparison with Z dx = log log x. x log x On the other hand, X 1 p p log p converges for any > 0, since X 1 1+ n n log n converges by comparison with Z dx 1 = − log− x. x log1+ x What is perhaps surprising is that it is so difficult to pass from Euler’s Theorem to the Prime Number Theorem. Chapter 2 Dirichlet series 2.1 Definition Definition 2.1. A Dirichlet series is a series of the form −s −s −s a11 + a22 + a33 + ··· , where ai ∈ C. Remarks. 1. For n ∈ N we set n−s = e−s log n, taking the usual real-valued logarithm. Thus n−s is uniquely defined for all s ∈ C. Moreover, m−sn−s = (mn)−s, n−sn−s0 = n−(s+s0); while 1−s = 1 for all s. 2. The use of −s rather than s is simply a matter of tradition. The series may of course equally well be written a a a + 2 + 3 + ··· . 1 2s 3s 3. The term ‘Dirichlet series’ is often applied to the more general series −s −s −s a0λ0 + a1λ1 + a2λ2 + ··· , 2–1 2.2.
Recommended publications
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • Infinite Product of a Number
    International Journal of Pure and Applied Mathematical Sciences. ISSN 0972-9828 Volume 10, Number 2 (2017), pp. 107-110 © Research India Publications http://www.ripublication.com Infinite Product of a Number Rushal Sohal Student The Lexicon International School, Wagholi, Pune, India. Abstract It seems that multiplying a positive number infinite times would give something extremely huge (infinity), but is it so? In this paper, we will show that any positive integer (>1) raised to the power infinity (i.e. infinite product of n ∞ ∞ =∏푖=1 푛=푛×푛×푛...= 푛 , 푛 > 1) is not infinity; we will use simple mathematical equations and also use some known sums to prove that the infinite product of a positive integer (>1) is not equal to infinity, ∞i.e. 푛∞ ≠ . Keywords: positive integer(퐼+); infinity*(∞); Riemann zeta function 휁(푠). 1. INTRODUCTION So, what is the infinite product of a positive integer (>1), i.e. what is 푛∞? Is it ∞ or something else? Till now, not much research has been done on this topic, and by convention we assume 푛∞ to be equal to ∞. In this paper, we will make simple equations and also use some known sums and prove that 푛∞ = 0 and that, it is not equal to ∞. We are going to approach the problem by observing patterns, assigning and re- assigning variables, and finally solving the equations. But first, we need to prove that 푛∞ ≠ ∞. 2. METHODS The methods for solving the problem are simple but a bit counter-intuitive. In this paper, we will make simple mathematical equations and firstly prove that 푛∞ ≠ ∞.
    [Show full text]
  • Regularized Integral Representations of the Reciprocal Function
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 25 December 2018 doi:10.20944/preprints201812.0310.v1 Peer-reviewed version available at Fractal Fract 2019, 3, 1; doi:10.3390/fractalfract3010001 Article Regularized Integral Representations of the Reciprocal G Function Dimiter Prodanov Correspondence: Environment, Health and Safety, IMEC vzw, Kapeldreef 75, 3001 Leuven, Belgium; [email protected]; [email protected] Version December 25, 2018 submitted to Preprints 1 Abstract: This paper establishes a real integral representation of the reciprocal G function in terms 2 of a regularized hypersingular integral. The equivalence with the usual complex representation is 3 demonstrated. A regularized complex representation along the usual Hankel path is derived. 4 Keywords: gamma function; reciprocal gamma function; integral equation 5 MSC: 33B15; 65D20, 30D10 6 1. Introduction 7 Applications of the Gamma function are ubiquitous in fractional calculus and the special function 8 theory. It has numerous interesting properties summarized in [1]. It is indispensable in the theory of 9 Laplace transforms. The history of the Gamma function is surveyed in [2]. In a previous note I have 10 investigated an approach to regularize derivatives at points, where the ordinary limit diverges [5]. 11 This paper exploits the same approach for the purposes of numerical computation of singular integrals, 12 such as the Euler G integrals for negative arguments. The paper also builds on an observations in [4]. 13 The present paper proves a real singular integral representation of the reciprocal G function. The 14 algorithm is implemented in the Computer Algebra System Maxima for reference and demonstration 15 purposes.
    [Show full text]
  • 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.
    [Show full text]
  • 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).
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • Functions of a Complex Variable II Math 562, Spring 2020
    Functions of a Complex Variable II Math 562, Spring 2020 Jens Lorenz April 27, 2020 Department of Mathematics and Statistics, UNM, Albuquerque, NM 87131 Contents 1 Notations 5 2 The Schwarz Lemma and Aut(D) 6 2.1 Schwarz Lemma . .6 2.2 Biholomorphic Maps and Automorphisms . .7 2.3 The Automorphism Group of D ...................7 2.4 The Schwarz{Pick Lemma . .9 2.5 Remarks . 11 3 Linear Fractional Transformations and the Riemann Sphere 12 3.1 The Riemann Sphere . 12 3.2 Linear Fractional Transformations . 14 3.3 The Automorphisms of the Riemann Sphere . 16 3.4 A Remarkable Geometric Property of Linear Fractional Trans- formations . 17 3.4.1 Analytical Description of Circles . 18 3.4.2 Circles under Reciprocation . 18 3.4.3 Straight Lines under Reciprocation . 20 3.5 Example: The Cayley Transform in the Complex Plane . 21 3.6 The Cayley Transform of a Matrix . 22 4 The Riemann Mapping Theorem 24 4.1 Statement and Overview of Proof . 24 4.2 The Theorem of Arzela{Ascoli . 26 4.3 Montel's Theorem . 29 4.4 Auxiliary Results on Logarithms and Square Roots . 32 4.5 Construction of a Map in ..................... 33 4.6 A Bound of f 0(P ) for all Ff .................. 35 4.7 Application ofj thej Theorems2 of F Montel and Hurwitz . 36 4.8 Proof That f is Onto . 37 1 4.9 Examples of Biholomorphic Mappings . 39 5 An Introduction to Schwarz–Christoffel Formulas 41 5.1 General Power Functions . 41 5.2 An Example of a Schwarz–Christoffel Map .
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • Elliptic Curves, Modular Forms, and L-Functions Allison F
    Claremont Colleges Scholarship @ Claremont HMC Senior Theses HMC Student Scholarship 2014 There and Back Again: Elliptic Curves, Modular Forms, and L-Functions Allison F. Arnold-Roksandich Harvey Mudd College Recommended Citation Arnold-Roksandich, Allison F., "There and Back Again: Elliptic Curves, Modular Forms, and L-Functions" (2014). HMC Senior Theses. 61. https://scholarship.claremont.edu/hmc_theses/61 This Open Access Senior Thesis is brought to you for free and open access by the HMC Student Scholarship at Scholarship @ Claremont. It has been accepted for inclusion in HMC Senior Theses by an authorized administrator of Scholarship @ Claremont. For more information, please contact [email protected]. There and Back Again: Elliptic Curves, Modular Forms, and L-Functions Allison Arnold-Roksandich Christopher Towse, Advisor Michael E. Orrison, Reader Department of Mathematics May, 2014 Copyright c 2014 Allison Arnold-Roksandich. The author grants Harvey Mudd College and the Claremont Colleges Library the nonexclusive right to make this work available for noncommercial, educational purposes, provided that this copyright statement appears on the reproduced ma- terials and notice is given that the copying is by permission of the author. To dis- seminate otherwise or to republish requires written permission from the author. Abstract L-functions form a connection between elliptic curves and modular forms. The goals of this thesis will be to discuss this connection, and to see similar connections for arithmetic functions. Contents Abstract iii Acknowledgments xi Introduction 1 1 Elliptic Curves 3 1.1 The Operation . .4 1.2 Counting Points . .5 1.3 The p-Defect . .8 2 Dirichlet Series 11 2.1 Euler Products .
    [Show full text]