The Zeta Quotient $\Zeta (3)/\Pi^ 3$ Is Irrational

Total Page:16

File Type:pdf, Size:1020Kb

The Zeta Quotient $\Zeta (3)/\Pi^ 3$ Is Irrational The Zeta Quotient ζ(3)/π3 is Irrational N. A. Carella Abstract: This note proves that the first odd zeta value does not have a closed form formula ζ(3) = rπ3 for any rational number r Q. Furthermore, assuming the irrationality of the second odd zeta6 value ζ(5), it is shown that ζ∈(5) = rπ5 for any rational number r Q. 6 ∈ 1 Introduction The first even zeta value has a closed form formula ζ(2) = π2/6, and the first odd zeta value has a nearly closed formula given by the Lerch representation 7π3 1 ζ(3) = 2 , (1) 180 − n3(e2πn 1) nX≥1 − confer (45) for more general version. This representation is a special case of the Ramanujan formula for odd zeta values, see [6], and other generalized version proved in [11]. However, it is not known if there exists a closed form formula ζ(3) = rπ3 with r Q, see [27, p. 167], [18, p. 3] for related materials. ∈ Theorem 1.1. The odd zeta value ζ(3) = rπ3, (2) 6 for any rational number r Q. ∈ The proof of this result is simply a corollary of Theorem 4.4 in Section 4. The basic technique gen- eralizes to other odd zeta values. As an illustration of the versatility of this technique, conditional on the irrationality of the zeta value ζ(5), in Theorem 5.5 it is shown that ζ(5)/π5 is irrational. The preliminary Section 2 and Section 3 develop the required foundation, and the proofs of the various results are presented in Section 4 and Section 5. 2 Basic Foundation For 2n +1=3 The results for the nonvanishing of the sine function at certain real numbers can be derived by arXiv:1906.10618v2 [math.GM] 29 Jul 2019 several different methods such as Weil criterion for uniformly distributed sequences, evaluations of infinite products, and other techniques. Some of these ideas are considered here. The case is equivalent to the Weil criterion for uniformly distributed sequences, confer [16, p. 8, Theorem 2.1] for more details. Lemma 2.1. If k Z× is an integer, then ∈ (i) sin(ζ(3)k) = 0 (ii) sin(ζ(3)−1k) =0. 6 6 July 30, 2019 AMS MSC : Primary 11M06, 11J72, Secondary 11Y60. Keywords: Irrational number; Odd zeta value; Closed form formula. 1 The Zeta Quotient ζ(3)/π3 is Irrational 2 Proof. (i) Fix an integer k = 0, and consider the uniformly distributed sequence 2ζ(3)kn : n 1 . From the uniform distribution6 of this sequence, [24, Theorem 4.2], it immediately{ follows≥ that} ζ(3)k = mπ for all k Z. Applying Lemma 2.4 yields 6 ∈ 1 1 sin ((2x + 1)ζ(3)k) ei2ζ(3)kn = (3) x x sin (ζ(3)k) −xX≤n≤x = o(1). This implies that sin(ζ(3)k) = 0 as required. (ii) Since ζ(3) is irrational, see Theorem 4.1, statement (i) implies statement (ii). 6 Unfortunately, the validity of the opposite result sin(ζ(3)k) = 0 is false. If it was true, it would lead to a far more rewarding result, that is, ζ(3) = rπ for some r Q×. To see this, write ζ(3) = 7π3/180 v, where v R×, see (1). Then, ∈ − ∈ 0 = sin(ζ(3)k) (4) = sin(7π3k/180 vk) − = sin(7π3k/180) cos(vk) sin(vk) cos(7π3k/180). − (5) Equivalently tan(7π3k/180) = tan(vk). The tangent function is periodic of period π, one-to-one, and monotonically increasing over the interval [ π/2,π/2]. Hence, the two arguments satisfy the equation − 7π3 k = vk + mπ (6) 180 where m Z. Lastly, ζ(3) = (m/k)π. ∈ Lemma 2.2. If k Z× is an integer, then ∈ (i) sin(ζ(3)π−1k) =0, (ii) sin(ζ(3)−1πk) =0. 6 6 Proof. (ii) Evaluate the product representation of the sine function π πk (πk/ζ(3))2 sin k = 1 ζ(3) ζ(3) − π2n2 nY≥1 πk k2 = 1 (7) ζ(3) − ζ(3)2n2 nY≥1 = 0. 6 The last line is valid for any irrational value ζ(s), s 3, see Theorem 4.1. (i) The proof is similar. ≥ Lemma 2.3. If k Z× is an integer, then ∈ (i) sin(ζ(3)−1π2k) =0, (ii) sin(ζ(3)π−2k) =0. 6 6 Proof. (i) Fix an integer k 1, let un/vn : n 1 be the sequence of convergents of the irrational number π/ζ(3), refer to Theorem≥ 4.2,{ and let ≥ } π π k m < 1, (8) ζ(3) − where m N is an integer. Then, as n , ∈ → ∞ π2 π sin k = sin π k m ζ(3) ζ(3) − π sin π v u . (9) ≥ ζ(3) n − n The Zeta Quotient ζ(3)/π3 is Irrational 3 This follows from the Dirichlet approximation theorem π π v u k m (10) ζ(3) n − n ≤ ζ(3) − for any integer k v , see [24, Theorem 2.1] for the best rational approximations. Therefore, ≤ n π π sin sin π v u (11) ζ(3) ≥ ζ(3) n − n π v u ≫ ζ(3) n − n 1 ≫ vn+1 = 0. 6 The third line in (11) follows from the basic Diophantine inequality 1 1 αqn pn (12) 2qn+1 ≤ | − |≤ qn for any irrational number α R, confer [21, Theorem 3.8], [15, Theorem 13], and similar references. ∈ Lemma 2.4. For any real number t = kπ with k Z, and a large integer x 1, the finite sum 6 ∈ ≥ sin((2x + 1)t) ei2tn = . (13) sin(t) −xX≤n≤x Proof. Expand the complex exponential sum into two subsums: ei2tn = e−i2t e−i2tn + ei2tn. (14) −xX≤n≤x 0≤nX≤x−1 0≤Xn≤x Lastly, use the geometric series to determine the closed form. 3 Basic Foundation For 2n +1=5 The verification of sin α = 0, using a single method, but restricted to the zeta quotients α = ζ(5)/πa, a 3 is given below.6 ≤ Lemma 3.1. Let k Z× be an integer, and assume that ζ(5)π−5 = u/v Q× is rational, where v> 1, and a 1. Then∈ sin(ζ(5)π−ak) =0 for a 3. ∈ ≥ 6 ≤ Proof. The evaluation of the product representation of the sine function returns ζ(5) ζ(5) (ζ(5)π−ak)2 sin k = k 1 πa πa − π2n2 nY≥1 ζ(5) ζ(5)2k2 = k 1 . πa − π2+2an2 nY≥1 The hypothesis ζ(5)/π5 = u/v means that ζ(5)2k2 π8−2au2k2 1 =1 =0, (15) − π2+2an2 − v2n2 6 for a 3, and 0 = k,n,u,v Z. Hence, ≤ 6 ∈ ζ(5) ζ(5) (ζ(5)π−ak)2 sin k = k 1 = 0 (16) πa πa − π2n2 6 nY≥1 for a 3 as claimed. ≤ Lemma 3.2. If k Z× is an integer, then ∈ The Zeta Quotient ζ(3)/π3 is Irrational 4 (i) sin(ζ(5)−1π4k) =0, (ii) sin(ζ(5)π−4k) =0. 6 6 Proof. (i) Fix an integer k 1, let un/vn : n 1 be the sequence of convergents of the irrational number π3/ζ(5), refer to Theorem≥ { 4.2, and let≥ } π3 π k m < 1, (17) ζ(5) − where m N is an integer. Then, as n , ∈ → ∞ π4 π3 sin k = sin π k m ζ(5) ζ(5) − π3 sin π v u . (18) ≥ ζ(5) n − n This follows from the Dirichlet approximation theorem π3 π3 v u k m (19) ζ(5) n − n ≤ ζ(5) − for any integer k v , see [24, Theorem 2.1] for the best rational approximations. Therefore, ≤ n π4 π3 sin sin π v u (20) ζ(5) ≥ ζ(5) n − n π3 v u ≫ ζ(5) n − n 1 ≫ vn+1 = 0. 6 The third line in (20) follows from the basic Diophantine inequality 1 1 αqn pn (21) 2qn+1 ≤ | − |≤ qn for any irrational number α R, confer [21, Theorem 3.8], [15, Theorem 13], and similar references. ∈ 4 Basic Results For The Zeta Quotients ζ(3)/π3 The third odd zeta value has a few irrationality proofs, confer [1], [4], [25, Chapter 4], and [5]. Theorem 4.1. ([1]) The real numbers (i) ζ(3), (ii) 1/ζ(3), are irrationals. The decimal expansion ζ(3) = 1.2020569031595942 ..., appears as sequence A002117 in [22]. The irrationality proofs for various associated real numbers considered here are derived from the theory of equidistribution of sequences of real numbers, see [16] and similar references. Theorem 4.2. The real numbers (i) ζ(3)/π, (ii) π/ζ(3), are irrationals. The Zeta Quotient ζ(3)/π3 is Irrational 5 Proof. (i) On the contrary the number ζ(3)/π = A/B is a rational number, where A, B N are integers such that gcd(A, B) = 1. This implies that the two sequences ∈ 2Aπ n : n 1 = 2Bζ(3) n : n 1 (22) { · ≥ } { · ≥ } are equivalent. Likewise, the two limits 1 1 lim ei2Aπn = lim ei2Bζ(3)n (23) x→∞ 2x x→∞ 2x −xX≤n≤x −xX≤n≤x are equivalent. These limits are evaluated in two distinct ways. I. Based on the independent properties of the number π. Use the identity ei2Aπn = 1 to evaluate of the left side limit as 1 1 lim ei2Aπn = lim 1=1. (24) x→∞ 2x x→∞ 2x −xX≤n≤x −xX≤n≤x II. Based on the independent properties of the number ζ(3). By Lemma 2.1, sin(t) = sin(Bζ(3)) =0 for any integer B = 0.
Recommended publications
  • Euler's Calculation of the Sum of the Reciprocals of the Squares
    Euler's Calculation of the Sum of the Reciprocals of the Squares Kenneth M. Monks ∗ August 5, 2019 A central theme of most second-semester calculus courses is that of infinite series. Simply put, to study infinite series is to attempt to answer the following question: What happens if you add up infinitely many numbers? How much sense humankind made of this question at different points throughout history depended enormously on what exactly those numbers being summed were. As far back as the third century bce, Greek mathematician and engineer Archimedes (287 bce{212 bce) used his method of exhaustion to carry out computations equivalent to the evaluation of an infinite geometric series in his work Quadrature of the Parabola [Archimedes, 1897]. Far more difficult than geometric series are p-series: series of the form 1 X 1 1 1 1 = 1 + + + + ··· np 2p 3p 4p n=1 for a real number p. Here we show the history of just two such series. In Section 1, we warm up with Nicole Oresme's treatment of the harmonic series, the p = 1 case.1 This will lessen the likelihood that we pull a muscle during our more intense Section 3 excursion: Euler's incredibly clever method for evaluating the p = 2 case. 1 Oresme and the Harmonic Series In roughly the year 1350 ce, a University of Paris scholar named Nicole Oresme2 (1323 ce{1382 ce) proved that the harmonic series does not sum to any finite value [Oresme, 1961]. Today, we would say the series diverges and that 1 1 1 1 + + + + ··· = 1: 2 3 4 His argument was brief and beautiful! Let us admire it below.
    [Show full text]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [Show full text]
  • A SIMPLE COMPUTATION of Ζ(2K) 1. Introduction in the Mathematical Literature, One Finds Many Ways of Obtaining the Formula
    A SIMPLE COMPUTATION OF ζ(2k) OSCAR´ CIAURRI, LUIS M. NAVAS, FRANCISCO J. RUIZ, AND JUAN L. VARONA Abstract. We present a new simple proof of Euler's formulas for ζ(2k), where k = 1; 2; 3;::: . The computation is done using only the defining properties of the Bernoulli polynomials and summing a telescoping series, and the same method also yields integral formulas for ζ(2k + 1). 1. Introduction In the mathematical literature, one finds many ways of obtaining the formula 1 X 1 (−1)k−122k−1π2k ζ(2k) := = B ; k = 1; 2; 3;:::; (1) n2k (2k)! 2k n=1 where Bk is the kth Bernoulli number, a result first published by Euler in 1740. For example, the recent paper [2] contains quite a complete list of references; among them, the articles [3, 11, 12, 14] published in this Monthly. The aim of this paper is to give a new proof of (1) which is simple and elementary, in the sense that it involves only basic one variable Calculus, the Bernoulli polynomials, and a telescoping series. As a bonus, it also yields integral formulas for ζ(2k + 1) and the harmonic numbers. 1.1. The Bernoulli polynomials | necessary facts. For completeness, we be- gin by recalling the definition of the Bernoulli polynomials Bk(t) and their basic properties. There are of course multiple approaches one can take (see [7], which shows seven ways of defining these polynomials). A frequent starting point is the generating function 1 xext X xk = B (t) ; ex − 1 k k! k=0 from which, by the uniqueness of power series expansions, one can quickly obtain many of their basic properties.
    [Show full text]
  • Leonhard Euler - Wikipedia, the Free Encyclopedia Page 1 of 14
    Leonhard Euler - Wikipedia, the free encyclopedia Page 1 of 14 Leonhard Euler From Wikipedia, the free encyclopedia Leonhard Euler ( German pronunciation: [l]; English Leonhard Euler approximation, "Oiler" [1] 15 April 1707 – 18 September 1783) was a pioneering Swiss mathematician and physicist. He made important discoveries in fields as diverse as infinitesimal calculus and graph theory. He also introduced much of the modern mathematical terminology and notation, particularly for mathematical analysis, such as the notion of a mathematical function.[2] He is also renowned for his work in mechanics, fluid dynamics, optics, and astronomy. Euler spent most of his adult life in St. Petersburg, Russia, and in Berlin, Prussia. He is considered to be the preeminent mathematician of the 18th century, and one of the greatest of all time. He is also one of the most prolific mathematicians ever; his collected works fill 60–80 quarto volumes. [3] A statement attributed to Pierre-Simon Laplace expresses Euler's influence on mathematics: "Read Euler, read Euler, he is our teacher in all things," which has also been translated as "Read Portrait by Emanuel Handmann 1756(?) Euler, read Euler, he is the master of us all." [4] Born 15 April 1707 Euler was featured on the sixth series of the Swiss 10- Basel, Switzerland franc banknote and on numerous Swiss, German, and Died Russian postage stamps. The asteroid 2002 Euler was 18 September 1783 (aged 76) named in his honor. He is also commemorated by the [OS: 7 September 1783] Lutheran Church on their Calendar of Saints on 24 St. Petersburg, Russia May – he was a devout Christian (and believer in Residence Prussia, Russia biblical inerrancy) who wrote apologetics and argued Switzerland [5] forcefully against the prominent atheists of his time.
    [Show full text]
  • On Transcendence Theory with Little History, New Results and Open Problems
    On Transcendence Theory with little history, new results and open problems Hyun Seok, Lee December 27, 2015 Abstract This talk will be dealt to a survey of transcendence theory, including little history, the state of the art and some of the main conjectures, the limits of the current methods and the obstacles which are preventing from going further. 1 Introudction Definition 1.1. An algebraic number is a complex number which is a root of a polynomial with rational coefficients. p p p • For example 2, i = −1, the Golden Ration (1 + 5)=2, the roots of unity e2πia=b, the roots of the polynomial x5 − 6x + 3 = 0 are algebraic numbers. Definition 1.2. A transcendental number is a complex number which is not algebraic. Definition 1.3. Complex numbers α1; ··· ; αn are algebraically dependent if there exists a non-zero polynomial P (x1; ··· ; xn) in n variables with rational co- efficients such that P (α1; ··· ; αn) = 0. Otherwise, they are called algebraically independent. The existence of transcendental numbers was proved in 1844 by J. Liouville who gave explicit ad-hoc examples. The transcendence of constants from analysis is harder; the first result was achieved in 1873 by Ch. Hermite who proved the transcendence of e. In 1882, the proof by F. Lindemann of the transcendence of π gave the final (and negative) answer to the Greek problem of squaring the p circle. The transcendence of 2 2 and eπ, which was included in Hilbert's seventh problem in 1900, was proved by Gel'fond and Schneider in 1934.
    [Show full text]
  • Another Proof of ∑
    P1 1 π2 Another Proof of n=1 n2 = 6 Sourangshu Ghosh∗1 1Department of Civil Engineering, Indian Institute of Technology, Kharagpur 2020 Mathematics Subject Classification: 11M06. Keywords: Zeta Function, Pi, Basel Problem. Abstract In this paper we present a new solution to the Basel problem using a complex line log(1+z) integral of z . 1 Introduction The Basel problem is a famous problem in number theory, first posed by Pietro Mengoli in 1644, and solved by Leonhard Euler in 1735. The Problem remained open for 90 years, π2 until Euler found the exact sum to be 6 , in 1734. He would eventually propose three P1 1 separate solutions to the problem during his lifetime for n=1 n2 . The Basel problem asks for the sum of the series: 1 X 1 1 1 1 = + + + :: n2 12 22 32 n=1 The first proof which was given by Euler used the Weierstrass factorization theorem to rep- resent the sine function as an infinite product of linear factors given by its roots [13]. This same approach can be used to find out values of zeta function at even values using formulas obtained from elementary symmetric polynomials [22]. A solution in similar lines was given by Kortram [19]. Many solutions of the Basel problem use double integral representations of ζ(2) [8][24][25]. Proofs using this method are presented in [3][4][1][12][14]. Choe [9] used the power series expansion of the inverse sine function to find a solution to the problem. Many solutions to the problem use extensive trigonometric inequalities and identities, as presented in [6][2][20][15].
    [Show full text]
  • Some Integrals Related to the Basel Problem
    November 10, 2016 Some integrals related to the Basel problem Khristo N. Boyadzhiev Department of Mathematics and Statistics, Ohio Northern University, Ada, OH 45810, USA [email protected] Abstract. We evaluate several arctangent and logarithmic integrals depending on a parameter. This provides a closed form summation of certain series and also integral and series representation of some classical constants. Key words and phrases, Basel problem, arctan integrals, dilogarithm, trilogarithm, Catalan constant. 2010 Mathematics Subject Classification. Primary 11M06; 30B30; 40A25 1. Introduction The famous Basel problem posed by Pietro Mengoli in 1644 and solved by Euler in 1735 asked for a closed form evaluation of the series 11 1 ... 2322 (see [7], [9], [10]). Euler proved that 11 2 (1) 1 ... . 222 3 6 In the meantime, trying to evaluate this series, Leibniz discovered the representation 1 1 log(1t ) 1 1 dt 1 ... , 22 0 t 23 but was unable to find the numerical value of the integral (see comments in [7]). How to relate this integral to 2 /6 is discussed in [7] and [10]; it is shown that by using the complex logarithm one can solve the Basel problem. There exist, however, other integrals which can be used to quickly prove (1) without complex numbers. Possibly, the best example is the integral 1 arcsin x 1 (2) dxLi ( ) Li ( ) 2 22 0 1 x 2 for | | 1 . Here n Li ( ) 2 2 n1 n is the dilogarithm [12]. Setting 1 in (2), the left hand side becomes 2 1 2 1 arcsin x 280 while the RHS is 1 3 3 1 1 Li (1) Li ( 1) Li (1) (1 ...) 22 2 4 2 4 222 3 and (1) follows immediately.
    [Show full text]
  • The Extraordinary Sums of Leonhard Euler
    TheThe ExtraordinaryExtraordinary SumsSums ofof LeonhardLeonhard EulerEuler YourYour PresentersPresenters • History/Biography: Aaron Boggs • Infinite Series: Jonathan Ross • Number Theory: Paul Jones OverviewOverview ØFirst, and most importantly, Euler is pronounced “oiler”. ØEuler was beyond any doubt an absolute genius. ØEuler was one of the most, if not the the most, prolific mathematicians of all time ranging from basic algebra and geometry to complex number theory. EulerEuler’’ss PlacePlace inin thisthis worldworld ©Euler was born in Switzerland in the city of Basel in 1707. (The same city as the famous Bernoullis) ©Euler’s father was a Calvinist preacher who had had some instruction by the famous Jakob Bernoulli. ©Using his influence and connection to the Bernoullis his father arranged for Euler to study under Johann Bernoulli. Euler’s Early life ªJohann Bernoulli was a tough teacher and was easily irritated by his pupils, including Euler. ªBut even this early in Euler’s life, Johann could see that Euler had a talent for mathematics. ªWhile still in his teens Euler was publishing high quality mathematical papers. ªAnd at age 19, Euler won a prize from the French Academy for his analysis of the optimum placement of masts on a ship. ªNote: at this point in time, Euler had not seen a ship. Moving on Up ¨About this time, in 1725, Johann Bernoulli’s son Nikolaus II moved to St. Petersburg where his other son Daniel was working for the St. Petersburg Academy. ¨There were no math spots open at the time of Euler’s arrival, so he had to begin with an appointment in medicine and physiology in 1727.
    [Show full text]
  • The Basel Problem Numerous Proofs
    Intro Pf 1 Pf 2 Pf 3 Pf 4 Pf 5 References The Basel Problem Numerous Proofs Brendan W. Sullivan Carnegie Mellon University Math Grad Student Seminar April 11, 2013 Brendan W. Sullivan Carnegie Mellon UniversityMath Grad Student Seminar The Basel Problem Intro Pf 1 Pf 2 Pf 3 Pf 4 Pf 5 References Abstract The Basel Problem was first posed in 1644 and remained open for 90 years, until Euler made his first waves in the mathematical community by solving it. During his life, he would present three different solutions to the problem, P 1 which asks for an evaluation of the infinite series k1=1 k2 . Since then, people have continually looked for new, interesting, and enlightening approaches to this same problem. Here, we present 5 different solutions, drawing from such diverse areas as complex analysis, calculus, probability, and Hilbert space theory. Along the way, we’ll give some indication of the problem’s intrigue and applicability. Brendan W. Sullivan Carnegie Mellon UniversityMath Grad Student Seminar The Basel Problem Intro Pf 1 Pf 2 Pf 3 Pf 4 Pf 5 References Analysis: sin x as an 0 Introduction infinite product History 3 Proof: Integral on [0; 1]2 Intrigue 4 Proof: L2[0; 1] and Parseval 1 Proof: sin x and L’Hôpital 5 Proof: Probability Densities 2 Proof: sin x and Maclaurin 6 References Brendan W. Sullivan Carnegie Mellon UniversityMath Grad Student Seminar The Basel Problem Intro Pf 1 Pf 2 Pf 3 Pf 4 Pf 5 References History Pietro Mengoli Italian mathematician and clergyman (1626–1686) [5] PhDs in math and civil/canon law Assumed math chair at Bologna after adviser Cavalieri died Priest in the parish of Santa Maria Maddelena in Bologna Known (nowadays) for work in infinite series: Proved: harmonic series diverges, alternating harmonic series sums to ln 2, Wallis’ product for π is correct Developed many results in limits and sums that laid groundwork for Newton/Leibniz Wrote in “abstruse Latin”; Leibniz was influenced by him [6] Brendan W.
    [Show full text]
  • 01 Euler and Ζ(S) 1. Euler and the Basel Problem
    (September 14, 2015) 01 Euler and ζ(s) Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ [This document is http://www.math.umn.edu/~garrett/m/mfms/notes 2015-16/01 Euler and zeta.pdf] 1. Euler and zeta 2. Euler product expansion of sin x 3. Quantitative infinitude of primes 4. Proof of Euler product 5. Appendix: product expansion of sin x Infinite sums that telescope can be understood in simpler terms. The archetype is 1 1 1 1 1 1 1 1 1 + + + ::: = − + − + − + ::: = 1 1 · 2 2 · 3 3 · 4 1 2 2 3 3 4 Other subtler examples analyze-able via trigonometric functions give more interesting answers, but these are still elementary, the archetype being [1] 1 1 1 x x3 x5 Z x dt π − − + ::: = − + − ::: = = arctan 1 = 2 1 3 5 1 3 5 x=1 0 1 + t x=1 4 As late as 1735, no one knew how to express in simpler terms 1 1 1 1 1 + + + + + ::: 12 22 32 42 52 This was the Basel problem, after the town in Switzerland home to the Bernoullis, collectively a dominant force in European mathematics at the time. L. Euler solved the problem, winning him useful notoriety at an early age, but more notably introducing larger ideas, as follows. 1. Euler and the Basel Problem Given non-zero numbers a1; : : : ; an, a polynomial with constant term 1 having these numbers as roots is x x x 1 1 1 1 1 xn 1 − 1 − ::: 1 − = 1 − ( ::: + )x + ( + + + :::)x2 + ::: + (−1)n a1 a2 an a1 an a1a2 a1a3 a2a3 a1 : : : an sin πx Imagine that πx has an analogous product expansion, in terms of its zeros at ±1; ±2; ±3;:::, up to a normalizing constant needing determination: using the power series expansion of sin x, (πx)3 1 (πx) − + ::: sin πx Y x2 X 1 3! = = C · 1 − = C · x − x3 + ::: πx πx n2 n2 n=1 n Assuming this works, equating constant terms gives C = 1, and equating coefficients of x2 gives π2 X 1 = 6 n2 P 1 Slightly messier manipulations yield all values n2k .
    [Show full text]
  • Irrationality of the Zeta Constants Ζ(2N) N 1
    Irrationality of the Zeta Constants N. A. Carella Abstract: A general technique for proving the irrationality of the zeta constants ζ(2n + 1),n 1, ≥ from the known irrationality of the beta constants L(2n + 1,χ) is developed in this note. The irrationality of the zeta constants ζ(2n),n 1, and ζ(3) are well known, but the irrationality ≥ results for the zeta constants ζ(2n + 1),n 2, are new, and seem to show that these are irrational ≥ numbers. By symmetry, the irrationality of the beta constants L(2n,χ) are derived from the known rrationality of the zeta constants ζ(2n). Keyword: Irrational number, Transcendental number, Beta constant, Zeta constant, Uniform dis- tribution. AMS Mathematical Subjects Classification: 11J72; 11A55. 1 Introduction As the rationality or irrationality nature of a number is an arithmetic property, it is not surprising to encounter important constants, whose rationality or irrationality is linked to the properties of the in- tegers and the distribution of the prime numbers, for example, the number 6/π2 = 1 p−2 . p≥2 − An estimate of the partial sum of the Dedekind zeta function of quadratic numbers fields will be Q arXiv:1212.4082v7 [math.GM] 22 Jun 2018 utilized to develop a general technique for proving the irrationality of the zeta constants ζ(2n + 1) from the known irrationality of the beta constants L(2n+1,χ), 1 = n N. This technique provides 6 ∈ another proof of the first odd case ζ(3), which have well known proofs of irrationalities, see [2], [7], [34], et al, and an original proof for the other odd cases ζ(2n + 1),n 2, which seems to confirm ≥ the irrationality of these number.
    [Show full text]
  • Math in 18Th Century.Pdf
    MATHEMATICS IN THE 18th. CENTURY-SELECTIVE CHRONOLOGY 1707- Leonhard Euler born near Basel, Switzerland- his father was a pastor. 1713-Posthumous publication of Ars Conjectandi, by Jakob Bernouilli (1654-1705), a treatise on probability. 1714- Brooke Taylor (1685-1731), of `Taylor’s formula’ fame (published 1715) publishes a paper dealing with the motion of a taut vibrating string. 1721- Euler studies at the University of Basel, and is advised in his studies by Johann Bernouilli (1667- 1748). He earns a master’s degree in philosophy and enters divinity school, but quits in favor of math. 1725-Daniel Bernouilli (1700-1782, Johann’s son) assumes the chair in mathematics at the new Academy of Sciences in St. Petersburg (Russia). 1727-Euler arrives in St. Petersburg, initially to occupy the chair in physiology/medicine. In 1733 Daniel Bernouilli gets a position in Switzerland, and Euler is named to the mathematics chair. 1730- Euler’s paper on the factorial function 1733.-Euler marries Katharina Gesell, daughter of a Swiss painter living in Russia. They would be together until her death in 1773, and have 13 children (only 5 survived to adolescence, 3 survived their parents.) 1733- Abraham de Moivre (1667-1754) publishes a version of the `central limit theorem’, as well as an approximation to the factorial equivalent to `Stirling’s formula’, published by James Stirling (1693-1770) in 1730. 1734- Bishop George Berkeley publishes The Analyst, which includes an attack on the foundations of calculus (infinitesimals.) 1735- Euler solves the `Basel Problem’ (sum of reciprocals of squares.) 1736- Euler’s textbook Mechanica; analytical development of Newton’s dynamics of a point mass.
    [Show full text]