Generalized Rational Zeta Series with Two Parameters

Total Page:16

File Type:pdf, Size:1020Kb

Generalized Rational Zeta Series with Two Parameters Background Main results Extensions Generalized Rational Zeta Series with Two Parameters Derek Orr, University of Pittsburgh Algebra Research Seminar - University of Pittsburgh February 9, 2017 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters P That is, they are of the form qnζ(n; m) where qn 2 Q and ζ(n; m) is the Hurwitz zeta function, dened by 1 X 1 ζ(n; m) = : (m + k)n k=0 It can be shown that any real number can be written as a rational zeta series. Examples: 1 1 X X ζ(n) − 1 [ζ(n) − 1] = 1; = 1 − γ n n=2 n=2 n X 1 where γ = lim − log(n) is the Euler-Mascheroni n!1 1 k constant. k= Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function A rational zeta series is a series consisting of rational numbers and either the Hurwitz zeta function or the Riemann zeta function. Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters It can be shown that any real number can be written as a rational zeta series. Examples: 1 1 X X ζ(n) − 1 [ζ(n) − 1] = 1; = 1 − γ n n=2 n=2 n X 1 where γ = lim − log(n) is the Euler-Mascheroni n!1 1 k constant. k= Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function A rational zeta series is a series consisting of rational numbers and either the Hurwitz zeta function or the Riemann zeta function. P That is, they are of the form qnζ(n; m) where qn 2 Q and ζ(n; m) is the Hurwitz zeta function, dened by 1 X 1 ζ(n; m) = : (m + k)n k=0 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Examples: 1 1 X X ζ(n) − 1 [ζ(n) − 1] = 1; = 1 − γ n n=2 n=2 n X 1 where γ = lim − log(n) is the Euler-Mascheroni n!1 1 k constant. k= Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function A rational zeta series is a series consisting of rational numbers and either the Hurwitz zeta function or the Riemann zeta function. P That is, they are of the form qnζ(n; m) where qn 2 Q and ζ(n; m) is the Hurwitz zeta function, dened by 1 X 1 ζ(n; m) = : (m + k)n k=0 It can be shown that any real number can be written as a rational zeta series. Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function A rational zeta series is a series consisting of rational numbers and either the Hurwitz zeta function or the Riemann zeta function. P That is, they are of the form qnζ(n; m) where qn 2 Q and ζ(n; m) is the Hurwitz zeta function, dened by 1 X 1 ζ(n; m) = : (m + k)n k=0 It can be shown that any real number can be written as a rational zeta series. Examples: 1 1 X X ζ(n) − 1 [ζ(n) − 1] = 1; = 1 − γ n n=2 n=2 n X 1 where γ = lim − log(n) is the Euler-Mascheroni n!1 1 k constant. k= Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters In 1734, Leonhard Euler showed ζ(2) = π2=6: More generally, 1 k+1 2k X 1 (−1) B2k (2π) ζ(2k) = = ; k 2 0; n2k 2(2k)! N n=1 where 1 z X Bn = zn; jzj < 2π: ez − 1 n! n=0 Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Denition. 1 X 1 ζ(s) = ; <(s) > 1; (1) ns n=1 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters More generally, 1 k+1 2k X 1 (−1) B2k (2π) ζ(2k) = = ; k 2 0; n2k 2(2k)! N n=1 where 1 z X Bn = zn; jzj < 2π: ez − 1 n! n=0 Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Denition. 1 X 1 ζ(s) = ; <(s) > 1; (1) ns n=1 In 1734, Leonhard Euler showed ζ(2) = π2=6: Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Denition. 1 X 1 ζ(s) = ; <(s) > 1; (1) ns n=1 In 1734, Leonhard Euler showed ζ(2) = π2=6: More generally, 1 k+1 2k X 1 (−1) B2k (2π) ζ(2k) = = ; k 2 0; n2k 2(2k)! N n=1 where 1 z X Bn = zn; jzj < 2π: ez − 1 n! n=0 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Denition. 1 X (−1)n β(s) = ; <(s) > 0: (3) (2n + 1)s n=0 Note that β(2) = G is known as Catalan's constant. Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function One of many appearances: 1 n 2n 1 X (−1) 2 B2n 2 1 X ζ(2n) 2 1 cot(x) = x n− = −2 x n− ; jxj < π: (2n)! π2n n=0 n=0 (2) Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Note that β(2) = G is known as Catalan's constant. Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function One of many appearances: 1 n 2n 1 X (−1) 2 B2n 2 1 X ζ(2n) 2 1 cot(x) = x n− = −2 x n− ; jxj < π: (2n)! π2n n=0 n=0 (2) Denition. 1 X (−1)n β(s) = ; <(s) > 0: (3) (2n + 1)s n=0 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function One of many appearances: 1 n 2n 1 X (−1) 2 B2n 2 1 X ζ(2n) 2 1 cot(x) = x n− = −2 x n− ; jxj < π: (2n)! π2n n=0 n=0 (2) Denition. 1 X (−1)n β(s) = ; <(s) > 0: (3) (2n + 1)s n=0 Note that β(2) = G is known as Catalan's constant. Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Its Taylor series is given by 1 Cl2(θ) X ζ(2n) θ 2n = 1 − log jθj + ; jθj < 2π: (5) θ n(2n + 1) 2π n=1 Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function The Clausen function (see [3], [4], [7], [9], [11], [12], [14]) or Clausen's integral is dened as 1 sin Z θ Cl X (kθ) log 2 sin φ (4) 2(θ) := 2 = − dφ. k 0 2 k=1 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function The Clausen function (see [3], [4], [7], [9], [11], [12], [14]) or Clausen's integral is dened as 1 sin Z θ Cl X (kθ) log 2 sin φ (4) 2(θ) := 2 = − dφ. k 0 2 k=1 Its Taylor series is given by 1 Cl2(θ) X ζ(2n) θ 2n = 1 − log jθj + ; jθj < 2π: (5) θ n(2n + 1) 2π n=1 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Using (1) and (3), we have (4m − 1)ζ(2m + 1) Cl2 (π) = 0; Cl2 1(π) = − ; (7) m m+ 4m and (4m − 1)ζ(2m + 1) Cl2 (π=2) = β(2m); Cl2 1(π=2) = − : (8) m m+ 24m+1 Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Higher order Clausen-type functions: 1 1 X sin(kθ) X cos(kθ) Cl2 (θ) := ; Cl2 1(θ) := : (6) m k2m m+ k2m+1 k=1 k=1 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Higher order Clausen-type functions: 1 1 X sin(kθ) X cos(kθ) Cl2 (θ) := ; Cl2 1(θ) := : (6) m k2m m+ k2m+1 k=1 k=1 Using (1) and (3), we have (4m − 1)ζ(2m + 1) Cl2 (π) = 0; Cl2 1(π) = − ; (7) m m+ 4m and (4m − 1)ζ(2m + 1) Cl2 (π=2) = β(2m); Cl2 1(π=2) = − : (8) m m+ 24m+1 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Z θ Z θ Cl2m(x) dx = ζ(2m+1)−Cl2m+1(θ); Cl2m−1(x) dx = Cl2m(θ): 0 0 (10) Note Cl log 2 sin θ 2 (11) 1(θ) = − 2 ; jθj < π: Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function We can also see d d Cl2 (θ) = Cl2 1(θ); Cl2 1(θ) = − Cl2 (θ); (9) dθ m m− dθ m+ m Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Note Cl log 2 sin θ 2 (11) 1(θ) = − 2 ; jθj < π: Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function We can also see d d Cl2 (θ) = Cl2 1(θ); Cl2 1(θ) = − Cl2 (θ); (9) dθ m m− dθ m+ m Z θ Z θ Cl2m(x) dx = ζ(2m+1)−Cl2m+1(θ); Cl2m−1(x) dx = Cl2m(θ): 0 0 (10) Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function We can also see d d Cl2 (θ) = Cl2 1(θ); Cl2 1(θ) = − Cl2 (θ); (9) dθ m m− dθ m+ m Z θ Z θ Cl2m(x) dx = ζ(2m+1)−Cl2m+1(θ); Cl2m−1(x) dx = Cl2m(θ): 0 0 (10) Note Cl log 2 sin θ 2 (11) 1(θ) = − 2 ; jθj < π: Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Z z Cl3(z) = ζ(3) − Cl2(t) dt; 0 Z z Z z Cl4(z) = Cl3(x) dx = zζ(3) − (z − t) Cl2(t) dt; 0 0 By induction, for m ≥ 3, b m−1 c 2 k m−2k−1 m−1 X (−1) z Cl (z) = (−1)b 2 c ζ(2k + 1) m (m − 2k − 1)! k=1 ! Z z (z − t)m−3 + Cl2(t) dt : (12) 0 (m − 3)! Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Using these integrals, Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters Z z Z z Cl4(z) = Cl3(x) dx = zζ(3) − (z − t) Cl2(t) dt; 0 0 By induction, for m ≥ 3, b m−1 c 2 k m−2k−1 m−1 X (−1) z Cl (z) = (−1)b 2 c ζ(2k + 1) m (m − 2k − 1)! k=1 ! Z z (z − t)m−3 + Cl2(t) dt : (12) 0 (m − 3)! Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Using these integrals, Z z Cl3(z) = ζ(3) − Cl2(t) dt; 0 Derek Orr, University of Pittsburgh Generalized Rational Zeta Series with Two Parameters By induction, for m ≥ 3, b m−1 c 2 k m−2k−1 m−1 X (−1) z Cl (z) = (−1)b 2 c ζ(2k + 1) m (m − 2k − 1)! k=1 ! Z z (z − t)m−3 + Cl2(t) dt : (12) 0 (m − 3)! Background Rational Zeta Series Main results Zeta and Beta function Extensions Clausen function Using these integrals, Z z Cl3(z) = ζ(3)
Recommended publications
  • Computational Strategies for the Riemann Zeta Function Jonathan M
    Journal of Computational and Applied Mathematics 121 (2000) 247–296 www.elsevier.nl/locate/cam Computational strategies for the Riemann zeta function Jonathan M. Borweina;∗, David M. Bradleyb, Richard E. Crandallc aCentre for Experimental and Constructive Mathematics, Simon Fraser University, Burnaby, BC, Canada V5A 1S6 bDepartment of Mathematics and Statistics, University of Maine, 5752 Neville Hall, Orono, ME 04469-5752, USA cCenter for Advanced Computation, Reed College, Portland, OR, 97202, USA Received 30 December 1999; received in revised form 14 January 2000 Abstract We provide a compendium of evaluation methods for the Riemann zeta function, presenting formulae ranging from historical attempts to recently found convergent series to curious oddities old and new. We concentrate primarily on practical computational issues, such issues depending on the domain of the argument, the desired speed of computation, and the incidence of what we call “value recycling”. c 2000 Elsevier Science B.V. All rights reserved. 1. Motivation for ecient evaluation schemes It was, of course, a profound discovery of Riemann that a function so superbly exploited by Euler, namely X∞ 1 Y (s)= = (1 − p−s)−1 (1) ns n=1 p prime could be interpreted – to great advantage – for general complex s-values. Sum (1) deÿnes the Riemann zeta function in the half-plane of absolute convergence R (s) ¿ 1, and in the entire complex plane (except for the pole at s = 1) by analytic continuation. The purpose of the present treatise is to provide an overview of both old and new methods for evaluating (s). Starting with Riemann himself, algorithms for evaluating (s) have been discovered over the ensuing century and a half, and are still being developed in earnest.
    [Show full text]
  • Unified Algorithms for Polylogarithm, L-Series, and Zeta Variants
    Also available in a new collection from PSIpress, Algorithmic reflections: Selected works 1 Unified algorithms for polylogarithm, L-series, and zeta variants Richard E. Crandall1 March 26, 2012 In memory of gentle colleague Jerry Keiper 1953-1995 Abstract: We describe a general computational scheme for evaluation of a wide class of number-theoretical functions. We avoid asymptotic expansions in favor of manifestly convergent series that lend themselves naturally to rigorous error bounds. By employing three fundamental series algorithms we achieve a unified strategy to compute the various functions via parameter selection. This work amounts to a compendium of methods to establish extreme-precision results as typify modern experimental mathematics. A fortu- itous byproduct of this unified approach is automatic analytic continuation over complex parameters. Another byproduct is a host of converging series for various fundamental constants. 1Center for Advanced Computation, Reed College. [email protected] Also available in a new collection from PSIpress, Algorithmic reflections: Selected works 2 Contents 1 Motivation 4 1.1 Acknowledgements and disclaimer . 5 2 Representations of the Lerch transcendent 5 2.1 Bernoulli-series representation of Lerch Φ . 7 2.2 Bernoulli multisectioning . 10 2.3 Erd´elyi-seriesrepresentation for Lerch Φ . 10 2.4 Riemann-splitting representation for Lerch variant Φ . 11 3 Riemann zeta function 14 3.1 Riemann{Siegel formula and Dirichlet L-functions . 14 3.2 Riemann-zeta derivatives . 15 3.3 Gamma- and incomplete-gamma calculus . 16 3.4 Γ and its derivatives . 16 3.5 Incomplete gamma and its outer derivatives . 17 3.6 Stark{Keiper and other \summation form" strategies .
    [Show full text]
  • Generalized Rational Zeta Series for $\Zeta (2N) $ and $\Zeta (2N+ 1) $
    GENERALIZED RATIONAL ZETA SERIES FOR ζ(2n) AND ζ(2n + 1) DEREK ORR Abstract. In this paper, we find rational zeta series with ζ(2n) in terms of ζ(2k +1) and β(2k), the Dirichlet beta function. We then develop a certain family of generalized rational zeta series using the generalized Clausen function and use those results to discover a second family of generalized rational zeta series. As a special case of our results from Theorem 3.1, we prove a conjecture given in 2012 by F.M.S. Lima. Later, we use the same analysis but for the digamma function ψ(x) and negapolygammas ψ(−m)(x). With these, we extract the same two families of generalized rational zeta series with ζ(2n+1) on the numerator rather than ζ(2n). Contents 1. Introduction 1 1.1. Organization of the Paper 5 2. Rational ζ(2n) series with cot(x) 5 3. General ζ(2n) series using Clm(x) 8 4. General ζ(2n) series using cot(x) 12 5. Rational ζ(2n + 1) series using ψ(x) 16 6. General ζ(2n + 1) series using ψ(−m)(x) 18 7. General ζ(2n + 1) series using ψ(x) 22 References 26 1. Introduction arXiv:1606.04850v4 [math.NT] 12 Feb 2017 In 1734, Leonard Euler proved an amazing result, now known as the celebrated Euler series: ∞ 1 1 1 1 π2 ζ(2) = =1+ + + + ··· = , n2 4 9 16 6 n=1 X where ζ(s) is the Riemann zeta function, defined as ∞ 1 ζ(s)= , ℜ(s) > 1.
    [Show full text]
  • Music of the Primes in Search of Order
    Music of the Primes In Search of Order PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Wed, 19 Jan 2011 04:12:59 UTC Contents Articles Prime number theorem 1 Riemann hypothesis 9 Riemann zeta function 30 Balanced prime 40 Bell number 41 Carol number 46 Centered decagonal number 47 Centered heptagonal number 48 Centered square number 49 Centered triangular number 51 Chen prime 52 Circular prime 53 Cousin prime 54 Cuban prime 55 Cullen number 56 Dihedral prime 57 Dirichlet's theorem on arithmetic progressions 58 Double factorial 61 Double Mersenne prime 75 Eisenstein prime 76 Emirp 78 Euclid number 78 Even number 79 Factorial prime 82 Fermat number 83 Fibonacci prime 90 Fortunate prime 91 Full reptend prime 92 Gaussian integer 94 Genocchi number 97 Goldbach's conjecture 98 Good prime 102 Happy number 103 Higgs prime 108 Highly cototient number 109 Illegal prime 110 Irregular prime 113 Kynea number 114 Leyland number 115 List of prime numbers 116 Lucas number 131 Lucky number 133 Markov number 135 Mersenne prime 137 Mills' constant 145 Minimal prime (recreational mathematics) 146 Motzkin number 147 Newman–Shanks–Williams prime 149 Odd number 150 Padovan sequence 153 Palindromic prime 157 Partition (number theory) 158 Pell number 166 Permutable prime 174 Perrin number 175 Pierpont prime 178 Pillai prime 179 Prime gap 180 Prime quadruplet 185 Prime triplet 187 Prime-counting function 188 Primeval prime 194 Primorial prime 196 Probable prime 197 Proth number 198 Pseudoprime
    [Show full text]