DOCSLIB.ORG

Arxiv:1906.00122V1 [Math.NT] 31 May 2019 Generalising the Wallis Product

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1906.00122V1 [Math.NT] 31 May 2019 Generalising the Wallis Product Generalising the Wallis Product Joshua W. E. Farrell June 4, 2019 Abstract In 1655, John Wallis whilst at the University of Oxford discovered the famous and beautiful formula for π, now known as Wallis’ Product. [1] π 2 2 4 4 6 6 8 8 = 2 1 · 3 · 3 · 5 · 5 · 7 · 7 · 9 · · · Since then, several analogous formulae have been discovered generalising the origi- nal. One more modern proof of the Wallis Product and its relatives directly uses the Gamma Function. This short paper will use similar techniques to understand certain related classes of infinite products. Almost all results within this paper are new find- ings made by myself; when I should be revising or completing assignment work I find myself always going back to this. 1 Preliminaries Definition 1.1. The Gamma Function is a well known analytic continuation of the factorial function. It is the only function that satisfies Γ(z +1) = zΓ(z), Γ(1) = 1 and ln(Γ(z)) convex (see Bohr-Mollerup Theorem [2]). It is an entire function (everywhere analytic), hence by Weierstrass Factorisation Theorem we have, ∞ −γz −1 e z z/n arXiv:1906.00122v1 [math.NT] 31 May 2019 Γ(z)= 1+ e z n n=1 Y which is valid for all z C Z≤0 [3]. Some popular formulae are the functional equation and Euler’s reflection formula∈ respectively\ π Γ(z +1)= zΓ(z) Γ(z, )Γ(1 z)= , z / Z. − sin(πz) ∀ ∈ Definition 1.2. Catalan’s constant is denoted by K rather than G to avoid confusion with the Barnes G-function and given by, [4] ∞ ( 1)k K := − 0.915965594177... (2k + 1)2 ≈ Xk=0 1 Definition 1.3. The Barnes G-Function is a generalisation of the Gamma Function and extension of the superfactorial, given by the functional equation G(z +1) = Γ(z)G(z), G(1) = 1 and G(3)(x) 0, similar to Bohr-Mollerup Theorem. Like the Gamma Function, ≥ the Weierstrass definition will be used throughout. ∞ z + z2(1 + γ) z n z2 G(z +1) =(2π)z/2 exp 1+ exp z − 2 n 2n − n=1 Y Which is valid for all z C. [5] ∈ Definition 1.4. The Glaisher-Kinkelin constant can be defined by a limit, or by it’s relation to the Riemann Zeta Function [4], (2π)n/2nn2/2−1/12e−3n2/4+1/12 1 A := lim = exp ζ′( 1) 1.2824271291... n→∞ G(n + 1) 12 − − ≈ Definition 1.5. The Multiple Gamma Function is a further generalisation of the Gamma function, given by a functional equation and again a log-convexity property [6], Γn+1(z) Γn+1(z +1) = , z C, n N Γn(z) ∀ ∈ ∈ with additional criteria, Γn(1) = 1 and Γ1(z) = Γ(z). It should also be noted that G(z) = −1 Γ2(z) . Some literature use a generalised G-Function instead of Gamma Function which is defined very similarly as Gn+1(z +1) = Gn(z)Gn+1(z), but the differences for this paper are (−1)n+1 unimportant as Γn(z)= Gn(z) . 2 The Gamma Function Theorem 2.1. Let i N+, a1, ..., ai, b1, ..., bi C Z≤0 and a1 + ... + ai = b1 + ... + bi. Then, ∈ { } ∈ \ ∞ Γ(b )...Γ(b ) (n + a )...(n + a ) 1 i = 1 i . Γ(a )...Γ(a ) (n + b )...(n + b ) 1 i n=0 1 i Y Products of this form will be known throughout as Type-I products. Proof. See [7], the proof is very similar to the later more complicated proofs of Theorem 3.1 and Theorem 4.1 hence I have not included it. A clear corollary of this and the functional equation, Definition 1.1, is the following formula which is valid when a , ..., a , b , ..., b C Z−, a + ... + a = b + ... + b , { 1 i 1 i} ∈ \ 1 i 1 i ∞ Γ(b + 1)...Γ(b + 1) (n + a )...(n + a ) 1 i = 1 i . Γ(a + 1)...Γ(a + 1) (n + b )...(n + b ) 1 i n=1 1 i Y These will be used interchangeably when referring to this theorem dependant on conve- nience/aesthetic appeal. The second will be specifically referred to as the alternate equation. 2 Example 2.2. ∞ (2n)2 π = (2n 1)(2n + 1) 2 n=1 Y − Proof. Using Theorem 2.1 (alternate equation) with i = 2 and the following constants, 1 1 a = a =0, b = , b = , 1 2 1 −2 2 2 we have ∞ ∞ (2n)2 n2 Γ(1/2)Γ(3/2) = = . (2n 1)(2n + 1) (n 1/2)(n +1/2) Γ(1)2 n=1 n=1 Y − Y − From Definition 1.1: Γ(1) = 1, the functional equation implies Γ(3/2) = Γ(1/2)/2 and the reflection formula implies Γ(1/2) = √π. Which when combined with the equation above gives the famous infinite product discovered by Wallis. [1] [8] Example 2.3. ∞ (30n + 9)(30n + 21) 1+ √5 = = ϕ (30n + 5)(30n + 25) 2 n=0 Y Proof. Using Theorem 2.1 with i = 2 and the following constants, 3 7 1 5 a = , a = , b = , b = . 1 10 2 10 1 6 2 6 Then manipulation continues as in Example 2.2 using the formulae from Definition 1.1. ∞ Remark 2.4. See that if we choose i = 1 then the product simplifies to n=1 1 = 1, a very uninteresting case. Also notice, choosing integer values for the ak and bk is fairly uninteresting as the products will always converge to some collection of factorialsQ (resulting in some rational number). Proposition 2.5. k N , ∀ ∈ + ∞ (2k+1n + 2)(2k+1n +2k+1 2) − = 2+ 2+ √2+ ... (2k+1n + 1)(2k+1n +2k+1 1) n=0 − r q Y k Proof. Using Theorem 2.1 we can rewrite the product| in terms{z of the Gamma} Function. ∞ ∞ (2k+1n + 2)(2k+1n +2k+1 2) (n +2−k)(n +1 2−k) − = − (2k+1n + 1)(2k+1n +2k+1 1) (n +2−(k+1))(n +1 2−(k+1)) n=0 n=0 Y − Y − Γ(2−(k+1))Γ(1 2−(k+1)) = − . Γ(2−k)Γ(1 2−k) − 3 Then using the reflection formula from Definition 1.1 and the double angle formula, this simplifies to −(k+1) −(k+1) π −k Γ(2 )Γ(1 2 ) sin(2−(k+1)π) sin(2 π) π −k − −k = π = −(k+1) = 2 cos k+1 . Γ(2 )Γ(1 2 ) −k) sin(2 π) 2 − sin(2 π) Iterating the double angle formula for cosine, 2 cos θ = √2+2cos2θ = 2+ √2+2cos4θ = ... ; from which, it easily follows that q π 2 cos = 2+ 2+ √2+ ... 2k+1 r q k | {z } Example 2.6. Utilising Proposition 2.5, for k = 1, we retrieve the famous infinite product for √2 found by Catalan in 1875 [9]. For k = 2, we retrieve a formula found by Sondow and Yi in 2010 [10]. And for k = 3, ∞ (16n + 2)(16n + 14) = 2+ 2+ √2. (16n + 1)(16n + 15) n=0 r Y q Remark 2.7. Due to the vast amount of formula available for computation of the Gamma Function, one can construct Type-I products to converge to many different collections of constants; we have already seen π/2, the golden ratio and an n length nested radical of 2’s. Two of the most useful formulae are Euler’s reflection formula and Γ (1/2) = √π. Suddenly Example 2.2 is much more obvious and when one knows cos(π/5) = ϕ/2, Example 2.3 quickly follows. I will illustrate the ease of constructing products in the following Example. Example 2.8. ∞ p n(qn + p) = q (n + 1)(qn + p q) n=1 Y − Proof. Using Theorem 2.1 (alternate formula) with i = 2 and the following constants, p p q a =0, a = , b =1, b = − , 1 2 q 1 2 q where p, q N. Again, manipulation continues as in Example 2.2 and Proposition 2.5. ∈ Remark 2.9. Due to Example 2.8, we see that not only can we express all positive rational numbers in the Type-I product form, but also we can express all rational multiples of π in the Type-I form. As we can multiple convergent products, taking Example 2.2 and multiplying it with Example 2.8, we have a product for pπ/2q (which clearly can be any positive rational multiple of π). Furthermore, we can express any rational multiple of any power of π as an infinite product, by the same logic. 4 3 The Barnes G-function Theorem 3.1. Let i N+, a1, ..., ai, b1, ..., bi C Z<0, a1 + ... + ai = b1 + ... + bi and 2 2 2 ∈ 2 { } ∈ \ a1 + ... + ai = b1 + ... + bi . Then, ∞ (n + a )...(n + a ) n G(a + 1)...G(a + 1) 1 i = 1 i . (n + b )...(n + b ) G(b + 1)...G(b + 1) n=1 1 i 1 i Y Products of this form will be known throughout as Type-II products. Proof. Let a , a , ..., a , b , b , ..., b C Z , then from the Weierstrass definition of the { 1 2 i 1 2 i} ∈ \ <0 Barnes G-function (Definition 1.3) we have, ∞ n n G(a1 + 1)...G(ai + 1) (1 + a1/n) ...(1 + ai/n) T2 = (2π)T1/2eS exp T , G(b + 1)...G(b + 1) (1 + b /n)n...(1 + b /n)n 2n − 1 1 i n=1 1 i Y 1 where S = T + T (1 + γ) , −2 1 2 T =(a + a + ..
Load more

Recommended publications
  • Introduction to Analytic Number Theory the Riemann Zeta Function and Its Functional Equation (And a Review of the Gamma Function and Poisson Summation)
    Math 229: Introduction to Analytic Number Theory The Riemann zeta function and its functional equation (and a review of the Gamma function and Poisson summation) Recall Euler’s identity: ∞ ∞ X Y X Y 1 [ζ(s) :=] n−s = p−cps = . (1) 1 − p−s n=1 p prime cp=0 p prime We showed that this holds as an identity between absolutely convergent sums and products for real s > 1. Riemann’s insight was to consider (1) as an identity between functions of a complex variable s. We follow the curious but nearly universal convention of writing the real and imaginary parts of s as σ and t, so s = σ + it. We already observed that for all real n > 0 we have |n−s| = n−σ, because n−s = exp(−s log n) = n−σe−it log n and e−it log n has absolute value 1; and that both sides of (1) converge absolutely in the half-plane σ > 1, and are equal there either by analytic continuation from the real ray t = 0 or by the same proof we used for the real case. Riemann showed that the function ζ(s) extends from that half-plane to a meromorphic function on all of C (the “Riemann zeta function”), analytic except for a simple pole at s = 1. The continuation to σ > 0 is readily obtained from our formula ∞ ∞ 1 X Z n+1 X Z n+1 ζ(s) − = n−s − x−s dx = (n−s − x−s) dx, s − 1 n=1 n n=1 n since for x ∈ [n, n + 1] (n ≥ 1) and σ > 0 we have Z x −s −s −1−s −1−σ |n − x | = s y dy ≤ |s|n n so the formula for ζ(s) − (1/(s − 1)) is a sum of analytic functions converging absolutely in compact subsets of {σ + it : σ > 0} and thus gives an analytic function there.
    [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]
  • INTEGRALS of POWERS of LOGGAMMA 1. Introduction The
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 139, Number 2, February 2011, Pages 535–545 S 0002-9939(2010)10589-0 Article electronically published on August 18, 2010 INTEGRALS OF POWERS OF LOGGAMMA TEWODROS AMDEBERHAN, MARK W. COFFEY, OLIVIER ESPINOSA, CHRISTOPH KOUTSCHAN, DANTE V. MANNA, AND VICTOR H. MOLL (Communicated by Ken Ono) Abstract. Properties of the integral of powers of log Γ(x) from 0 to 1 are con- sidered. Analytic evaluations for the first two powers are presented. Empirical evidence for the cubic case is discussed. 1. Introduction The evaluation of definite integrals is a subject full of interconnections of many parts of mathematics. Since the beginning of Integral Calculus, scientists have developed a large variety of techniques to produce magnificent formulae. A partic- ularly beautiful formula due to J. L. Raabe [12] is 1 Γ(x + t) (1.1) log √ dx = t log t − t, for t ≥ 0, 0 2π which includes the special case 1 √ (1.2) L1 := log Γ(x) dx =log 2π. 0 Here Γ(x)isthegamma function defined by the integral representation ∞ (1.3) Γ(x)= ux−1e−udu, 0 for Re x>0. Raabe’s formula can be obtained from the Hurwitz zeta function ∞ 1 (1.4) ζ(s, q)= (n + q)s n=0 via the integral formula 1 t1−s (1.5) ζ(s, q + t) dq = − 0 s 1 coupled with Lerch’s formula ∂ Γ(q) (1.6) ζ(s, q) =log √ . ∂s s=0 2π An interesting extension of these formulas to the p-adic gamma function has recently appeared in [3].
    [Show full text]
  • Sums of Powers and the Bernoulli Numbers Laura Elizabeth S
    Eastern Illinois University The Keep Masters Theses Student Theses & Publications 1996 Sums of Powers and the Bernoulli Numbers Laura Elizabeth S. Coen Eastern Illinois University This research is a product of the graduate program in Mathematics and Computer Science at Eastern Illinois University. Find out more about the program. Recommended Citation Coen, Laura Elizabeth S., "Sums of Powers and the Bernoulli Numbers" (1996). Masters Theses. 1896. https://thekeep.eiu.edu/theses/1896 This is brought to you for free and open access by the Student Theses & Publications at The Keep. It has been accepted for inclusion in Masters Theses by an authorized administrator of The Keep. For more information, please contact [email protected]. THESIS REPRODUCTION CERTIFICATE TO: Graduate Degree Candidates (who have written formal theses) SUBJECT: Permission to Reproduce Theses The University Library is rece1v1ng a number of requests from other institutions asking permission to reproduce dissertations for inclusion in their library holdings. Although no copyright laws are involved, we feel that professional courtesy demands that permission be obtained from the author before we allow theses to be copied. PLEASE SIGN ONE OF THE FOLLOWING STATEMENTS: Booth Library of Eastern Illinois University has my permission to lend my thesis to a reputable college or university for the purpose of copying it for inclusion in that institution's library or research holdings. u Author uate I respectfully request Booth Library of Eastern Illinois University not allow my thesis
    [Show full text]
  • Notes on Riemann's Zeta Function
    NOTES ON RIEMANN’S ZETA FUNCTION DRAGAN MILICIˇ C´ 1. Gamma function 1.1. Definition of the Gamma function. The integral ∞ Γ(z)= tz−1e−tdt Z0 is well-defined and defines a holomorphic function in the right half-plane {z ∈ C | Re z > 0}. This function is Euler’s Gamma function. First, by integration by parts ∞ ∞ ∞ Γ(z +1)= tze−tdt = −tze−t + z tz−1e−t dt = zΓ(z) Z0 0 Z0 for any z in the right half-plane. In particular, for any positive integer n, we have Γ(n) = (n − 1)Γ(n − 1)=(n − 1)!Γ(1). On the other hand, ∞ ∞ Γ(1) = e−tdt = −e−t = 1; Z0 0 and we have the following result. 1.1.1. Lemma. Γ(n) = (n − 1)! for any n ∈ Z. Therefore, we can view the Gamma function as a extension of the factorial. 1.2. Meromorphic continuation. Now we want to show that Γ extends to a meromorphic function in C. We start with a technical lemma. Z ∞ 1.2.1. Lemma. Let cn, n ∈ +, be complex numbers such such that n=0 |cn| converges. Let P S = {−n | n ∈ Z+ and cn 6=0}. Then ∞ c f(z)= n z + n n=0 X converges absolutely for z ∈ C − S and uniformly on bounded subsets of C − S. The function f is a meromorphic function on C with simple poles at the points in S and Res(f, −n)= cn for any −n ∈ S. 1 2 D. MILICIˇ C´ Proof. Clearly, if |z| < R, we have |z + n| ≥ |n − R| for all n ≥ R.
    [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]
  • Special Values of the Gamma Function at CM Points
    Special values of the Gamma function at CM points M. Ram Murty & Chester Weatherby The Ramanujan Journal An International Journal Devoted to the Areas of Mathematics Influenced by Ramanujan ISSN 1382-4090 Ramanujan J DOI 10.1007/s11139-013-9531-x 1 23 Your article is protected by copyright and all rights are held exclusively by Springer Science +Business Media New York. This e-offprint is for personal use only and shall not be self- archived in electronic repositories. If you wish to self-archive your article, please use the accepted manuscript version for posting on your own website. You may further deposit the accepted manuscript version in any repository, provided it is only made publicly available 12 months after official publication or later and provided acknowledgement is given to the original source of publication and a link is inserted to the published article on Springer's website. The link must be accompanied by the following text: "The final publication is available at link.springer.com”. 1 23 Author's personal copy Ramanujan J DOI 10.1007/s11139-013-9531-x Special values of the Gamma function at CM points M. Ram Murty · Chester Weatherby Received: 10 November 2011 / Accepted: 15 October 2013 © Springer Science+Business Media New York 2014 Abstract Little is known about the transcendence of certain values of the Gamma function, Γ(z). In this article, we study values of Γ(z)when Q(z) is an imaginary quadratic field. We also study special values of the digamma function, ψ(z), and the polygamma functions, ψt (z).
    [Show full text]
  • The Riemann Zeta Function and Its Functional Equation (And a Review of the Gamma Function and Poisson Summation)
    Math 259: Introduction to Analytic Number Theory The Riemann zeta function and its functional equation (and a review of the Gamma function and Poisson summation) Recall Euler's identity: 1 1 1 s 0 cps1 [ζ(s) :=] n− = p− = s : (1) X Y X Y 1 p− n=1 p prime @cp=1 A p prime − We showed that this holds as an identity between absolutely convergent sums and products for real s > 1. Riemann's insight was to consider (1) as an identity between functions of a complex variable s. We follow the curious but nearly universal convention of writing the real and imaginary parts of s as σ and t, so s = σ + it: s σ We already observed that for all real n > 0 we have n− = n− , because j j s σ it log n n− = exp( s log n) = n− e − and eit log n has absolute value 1; and that both sides of (1) converge absolutely in the half-plane σ > 1, and are equal there either by analytic continuation from the real ray t = 0 or by the same proof we used for the real case. Riemann showed that the function ζ(s) extends from that half-plane to a meromorphic function on all of C (the \Riemann zeta function"), analytic except for a simple pole at s = 1. The continuation to σ > 0 is readily obtained from our formula n+1 n+1 1 1 s s 1 s s ζ(s) = n− Z x− dx = Z (n− x− ) dx; − s 1 X − X − − n=1 n n=1 n since for x [n; n + 1] (n 1) and σ > 0 we have 2 ≥ x s s 1 s 1 σ n− x− = s Z y− − dy s n− − j − j ≤ j j n so the formula for ζ(s) (1=(s 1)) is a sum of analytic functions converging absolutely in compact subsets− of− σ + it : σ > 0 and thus gives an analytic function there.
    [Show full text]
  • Numerous Proofs of Ζ(2) = 6
    π2 Numerous Proofs of ζ(2) = 6 Brendan W. Sullivan April 15, 2013 Abstract In this talk, we will investigate how the late, great Leonhard Euler P1 2 2 originally proved the identity ζ(2) = n=1 1=n = π =6 way back in 1735. This will briefly lead us astray into the bewildering forest of com- plex analysis where we will point to some important theorems and lemmas whose proofs are, alas, too far off the beaten path. On our journey out of said forest, we will visit the temple of the Riemann zeta function and marvel at its significance in number theory and its relation to the prob- lem at hand, and we will bow to the uber-famously-unsolved Riemann hypothesis. From there, we will travel far and wide through the kingdom of analysis, whizzing through a number N of proofs of the same original fact in this talk's title, where N is not to exceed 5 but is no less than 3. Nothing beyond a familiarity with standard calculus and the notion of imaginary numbers will be presumed. Note: These were notes I typed up for myself to give this seminar talk. I only got through a portion of the material written down here in the actual presentation, so I figured I'd just share my notes and let you read through them. Many of these proofs were discovered in a survey article by Robin Chapman (linked below). I chose particular ones to work through based on the intended audience; I also added a section about justifying the sin(x) \factoring" as an infinite product (a fact upon which two of Euler's proofs depend) and one about the Riemann Zeta function and its use in number theory.
    [Show full text]
  • The Gamma Function the Interpolation Problem
    The Interpolation Problem; the Gamma Function The interpolation problem: given a function with values on some discrete set, like the positive integer, then what would the value of the function be defined for all the reals? Euler wanted to do this for the factorial function. He concluded that Z 1 n! = (− ln x)ndx: 0 Observe that (in modern calculation) Z 1 1 − ln x dx = −x ln x + x 0 0 = 1 + lim x ln x x!0+ ln x = 1 + lim 1 x!0+ x 1 x = 1 + lim 1 x!0+ − x2 −x = 1 + lim = 1 − 0 = 1: x!0+ 1 Which is consistent with 1! = 1. Now consider the following integration, Z 1 (− ln x)ndx: 0 We apply the (Leibnitz version) of the integration by parts formula R u dv = uv − R v du. dv = 1 v = x 1 u = (− ln x)n du = n(− ln x)n−1 − dx x Z 1 1 Z 1 n n n−1 (− ln x) dx = x(− ln x) + n (− ln x) dx 0 0 0 Since (in modern notation and using the same limit techniques as above) lim x(ln x)n = 0 x!0+ 1 (Euler would have probably said that 0(ln(0))n = 0.) We have: Z 1 Z 1 (− ln x)ndx = n (− ln x)n−1dx 0 0 which is consistent with our inductive definition of the factorial function: n! = n · (n − 1)!; so for integers the formula clearly works. Then he used the transformation t = − ln x so that x = e−t to obtain the following.
    [Show full text]
  • On Infinite Products
    :?!t--:v.- -, View metadata, citation and similar papers at core.ac.ukbrought to you by CORE provided by K-State Research Exchange ON INFINITE PRODUCTS by ROSE KORDONOWY SHAW B. S. , Dickinson State College, 1961^ A MASTER'S REPORT submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department of Mathematics KANSAS STATE UNIVERSITY" Manhattan, Kansas 1966 Approved by; :o7 U) '^ JScGV ii '3^ TABLE OP CONTENTS INTRODUCTION 1 BASIC DEFINITIONS 1 CONVERGENCE OF INFINITE PRODUCTS i; RELATING CONVERGENCE OF INFINITE PRODUCTS TO CONVERGENCE OF INFINITE SERIES 9 ABSOLUTE CONVERGENCE 21 THE ASSOCIATE LOGARITHMIC SERIES 2i|. UNIFORM CONVERGENCE 28 DEVELOPMENT OF TRIGONOMETRIC FUNCTIONS AS INFINITE PRODUCTS 3i| ACKNOWLEDGMENT l^^ BIBLIOGRAPHY l^]^ INTRODUCTION Many functions can be represented in many different ways. They can be represented by Fourier series, orthogonal poly- nomials, infinite series, and infinite products. Infinite products will be considered as the background for the develop- ment of expansion of functions. The infinite product repre- sentations of sin X and cos x will be considered. The theory of infinite products is very closely related to that of infinite series; so closely, in fact, that the test for convergence of such products will actually be reduced to the test for the convergence of certain infinite series. The object of this paper is to begin with the basic defini- tion of an infinite product and to take the study of infinite products to the point where a basic understanding of infinite products and how they can be handled is reached. BASIC DEFINITIONS An infinite product is of the form .
    [Show full text]