DOCSLIB.ORG

Michał Zakrzewski, Linear Multi-Variable Polylogarithms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Michał Zakrzewski, Linear Multi-Variable Polylogarithms LINEAR MULTI-VARIABLE POLYLOGARITHMS Michał Zakrzewski Jan Kochanowski University, Kielce . [email protected] Będlewo, September 15th, 2015 Plan 1 Introduction Classical theory of polylogarithms and zeta-function Polylogarithm and Euler-Gauss hypergeometric function 2 Multi-variable polylogarithms Motivation. Shintani zeta-function and MZV Multiple zeta values General linear multi-variable polylogarithm 3 Multivariable hypergeometric functions and hypergeometric systems Multivariable hypergeometric functions GKZ systems Mordell-Tornheim GKZ-system Gen. D-K int. Bibliography More generally, the polylogarithmic series of order s is defined by X tn Li (t) := , |t| < 1. (2) s ns n>0 As re s > 1, function Lis is well defined on a closure D of the unit disc D and we have Lis (1) = ζ(s), where ζ is the famous Riemann zeta function. Classical polylogarithm The Dilogarithm function X tn Li (t) := , |t| < 1, (1) 2 n2 n>0 has been defined and extensively studied by Euler (mainly, but not only, in the article cited below). Euler, L., ”De summatione serierum in hac forma contentarum: a/1 + a2/4 + a3/9 + a4/16 + a5/25 + a6/36+ etc.” Memoires de l’academie des sciences de St.-Petersbourg 3, 1811, pp. 26 - 42. As re s > 1, function Lis is well defined on a closure D of the unit disc D and we have Lis (1) = ζ(s), where ζ is the famous Riemann zeta function. Classical polylogarithm The Dilogarithm function X tn Li (t) := , |t| < 1, (1) 2 n2 n>0 has been defined and extensively studied by Euler (mainly, but not only, in the article cited below). More generally, the polylogarithmic series of order s is defined by X tn Li (t) := , |t| < 1. (2) s ns n>0 Euler, L., ”De summatione serierum in hac forma contentarum: a/1 + a2/4 + a3/9 + a4/16 + a5/25 + a6/36+ etc.” Memoires de l’academie des sciences de St.-Petersbourg 3, 1811, pp. 26 - 42. Classical polylogarithm The Dilogarithm function X tn Li (t) := , |t| < 1, (1) 2 n2 n>0 has been defined and extensively studied by Euler (mainly, but not only, in the article cited below). More generally, the polylogarithmic series of order s is defined by X tn Li (t) := , |t| < 1. (2) s ns n>0 As re s > 1, function Lis is well defined on a closure D of the unit disc D and we have Lis (1) = ζ(s), where ζ is the famous Riemann zeta function. Euler, L., ”De summatione serierum in hac forma contentarum: a/1 + a2/4 + a3/9 + a4/16 + a5/25 + a6/36+ etc.” Memoires de l’academie des sciences de St.-Petersbourg 3, 1811, pp. 26 - 42. Operator θt λ satisfies the eigen-equation (θt − λ)t = 0. A power series and a Mellin transformation are spectral decompositions w. r. t. eigen-equation of θ. It follows, that the polylogarithmic function satisfies differential equation t θs Li (t) = , |t| < 1 (3) s 1 − t or, equivalently, s−1 (1 − t)∂t θt Lis (t) = 1, |t| < 1. (4) This differential equation, (3) or (4), can be engaged to analiticaly 1 continue Lis on C\{0, 1}, i.e. CP \{0, 1, ∞}. Classical polylogarithm. Differential equation Let ∂t := ∂/∂t and θ = θt = t∂t - the Euler operator. A power series and a Mellin transformation are spectral decompositions w. r. t. eigen-equation of θ. It follows, that the polylogarithmic function satisfies differential equation t θs Li (t) = , |t| < 1 (3) s 1 − t or, equivalently, s−1 (1 − t)∂t θt Lis (t) = 1, |t| < 1. (4) This differential equation, (3) or (4), can be engaged to analiticaly 1 continue Lis on C\{0, 1}, i.e. CP \{0, 1, ∞}. Classical polylogarithm. Differential equation Let ∂t := ∂/∂t and θ = θt = t∂t - the Euler operator. Operator θt λ satisfies the eigen-equation (θt − λ)t = 0. It follows, that the polylogarithmic function satisfies differential equation t θs Li (t) = , |t| < 1 (3) s 1 − t or, equivalently, s−1 (1 − t)∂t θt Lis (t) = 1, |t| < 1. (4) This differential equation, (3) or (4), can be engaged to analiticaly 1 continue Lis on C\{0, 1}, i.e. CP \{0, 1, ∞}. Classical polylogarithm. Differential equation Let ∂t := ∂/∂t and θ = θt = t∂t - the Euler operator. Operator θt λ satisfies the eigen-equation (θt − λ)t = 0. A power series and a Mellin transformation are spectral decompositions w. r. t. eigen-equation of θ. This differential equation, (3) or (4), can be engaged to analiticaly 1 continue Lis on C\{0, 1}, i.e. CP \{0, 1, ∞}. Classical polylogarithm. Differential equation Let ∂t := ∂/∂t and θ = θt = t∂t - the Euler operator. Operator θt λ satisfies the eigen-equation (θt − λ)t = 0. A power series and a Mellin transformation are spectral decompositions w. r. t. eigen-equation of θ. It follows, that the polylogarithmic function satisfies differential equation t θs Li (t) = , |t| < 1 (3) s 1 − t or, equivalently, s−1 (1 − t)∂t θt Lis (t) = 1, |t| < 1. (4) Classical polylogarithm. Differential equation Let ∂t := ∂/∂t and θ = θt = t∂t - the Euler operator. Operator θt λ satisfies the eigen-equation (θt − λ)t = 0. A power series and a Mellin transformation are spectral decompositions w. r. t. eigen-equation of θ. It follows, that the polylogarithmic function satisfies differential equation t θs Li (t) = , |t| < 1 (3) s 1 − t or, equivalently, s−1 (1 − t)∂t θt Lis (t) = 1, |t| < 1. (4) This differential equation, (3) or (4), can be engaged to analiticaly 1 continue Lis on C\{0, 1}, i.e. CP \{0, 1, ∞}. Sometimes it will be convenient to look at T in the context of formal series C[[tp]] in some power of the free variable. We have θTf = f , so we can regard T as a (right) inverse of θ. This leads to the integral representation t Li (t) = T s . (5) s 1 − t The domain of integration is the simplex in Rs . This is the simplest Drinfeld-Kontsevich integral. It will be introduced explicitly in the latter part of this talk. Classical polylogarithm. Integral R t Define the operator T as follows. Let Tf (t) := 0 f (τ)/τdτ, on tC[t]. In more general context, we understand T as a linear extension of the above oerator. We have θTf = f , so we can regard T as a (right) inverse of θ. This leads to the integral representation t Li (t) = T s . (5) s 1 − t The domain of integration is the simplex in Rs . This is the simplest Drinfeld-Kontsevich integral. It will be introduced explicitly in the latter part of this talk. Classical polylogarithm. Integral R t Define the operator T as follows. Let Tf (t) := 0 f (τ)/τdτ, on tC[t]. In more general context, we understand T as a linear extension of the above oerator. Sometimes it will be convenient to look at T in the context of formal series C[[tp]] in some power of the free variable. This leads to the integral representation t Li (t) = T s . (5) s 1 − t The domain of integration is the simplex in Rs . This is the simplest Drinfeld-Kontsevich integral. It will be introduced explicitly in the latter part of this talk. Classical polylogarithm. Integral R t Define the operator T as follows. Let Tf (t) := 0 f (τ)/τdτ, on tC[t]. In more general context, we understand T as a linear extension of the above oerator. Sometimes it will be convenient to look at T in the context of formal series C[[tp]] in some power of the free variable. We have θTf = f , so we can regard T as a (right) inverse of θ. The domain of integration is the simplex in Rs . This is the simplest Drinfeld-Kontsevich integral. It will be introduced explicitly in the latter part of this talk. Classical polylogarithm. Integral R t Define the operator T as follows. Let Tf (t) := 0 f (τ)/τdτ, on tC[t]. In more general context, we understand T as a linear extension of the above oerator. Sometimes it will be convenient to look at T in the context of formal series C[[tp]] in some power of the free variable. We have θTf = f , so we can regard T as a (right) inverse of θ. This leads to the integral representation t Li (t) = T s . (5) s 1 − t It will be introduced explicitly in the latter part of this talk. Classical polylogarithm. Integral R t Define the operator T as follows. Let Tf (t) := 0 f (τ)/τdτ, on tC[t]. In more general context, we understand T as a linear extension of the above oerator. Sometimes it will be convenient to look at T in the context of formal series C[[tp]] in some power of the free variable. We have θTf = f , so we can regard T as a (right) inverse of θ. This leads to the integral representation t Li (t) = T s . (5) s 1 − t The domain of integration is the simplex in Rs . This is the simplest Drinfeld-Kontsevich integral. Classical polylogarithm. Integral R t Define the operator T as follows. Let Tf (t) := 0 f (τ)/τdτ, on tC[t]. In more general context, we understand T as a linear extension of the above oerator. Sometimes it will be convenient to look at T in the context of formal series C[[tp]] in some power of the free variable. We have θTf = f , so we can regard T as a (right) inverse of θ.
Load more

Recommended publications
  • The Lerch Zeta Function and Related Functions
    The Lerch Zeta Function and Related Functions Je↵ Lagarias, University of Michigan Ann Arbor, MI, USA (September 20, 2013) Conference on Stark’s Conjecture and Related Topics , (UCSD, Sept. 20-22, 2013) (UCSD Number Theory Group, organizers) 1 Credits (Joint project with W. C. Winnie Li) J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function I. Zeta Integrals, Forum Math, 24 (2012), 1–48. J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function II. Analytic Continuation, Forum Math, 24 (2012), 49–84. J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function III. Polylogarithms and Special Values, preprint. J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function IV. Two-variable Hecke operators, in preparation. Work of J. C. Lagarias is partially supported by NSF grants DMS-0801029 and DMS-1101373. 2 Topics Covered Part I. History: Lerch Zeta and Lerch Transcendent • Part II. Basic Properties • Part III. Multi-valued Analytic Continuation • Part IV. Consequences • Part V. Lerch Transcendent • Part VI. Two variable Hecke operators • 3 Part I. Lerch Zeta Function: History The Lerch zeta function is: • e2⇡ina ⇣(s, a, c):= 1 (n + c)s nX=0 The Lerch transcendent is: • zn Φ(s, z, c)= 1 (n + c)s nX=0 Thus ⇣(s, a, c)=Φ(s, e2⇡ia,c). 4 Special Cases-1 Hurwitz zeta function (1882) • 1 ⇣(s, 0,c)=⇣(s, c):= 1 . (n + c)s nX=0 Periodic zeta function (Apostol (1951)) • e2⇡ina e2⇡ia⇣(s, a, 1) = F (a, s):= 1 . ns nX=1 5 Special Cases-2 Fractional Polylogarithm • n 1 z z Φ(s, z, 1) = Lis(z)= ns nX=1 Riemann zeta function • 1 ⇣(s, 0, 1) = ⇣(s)= 1 ns nX=1 6 History-1 Lipschitz (1857) studies general Euler integrals including • the Lerch zeta function Hurwitz (1882) studied Hurwitz zeta function.
    [Show full text]
  • The Bloch-Wigner-Ramakrishnan Polylogarithm Function
    Math. Ann. 286, 613424 (1990) Springer-Verlag 1990 The Bloch-Wigner-Ramakrishnan polylogarithm function Don Zagier Max-Planck-Insfitut fiir Mathematik, Gottfried-Claren-Strasse 26, D-5300 Bonn 3, Federal Republic of Germany To Hans Grauert The polylogarithm function co ~n appears in many parts of mathematics and has an extensive literature [2]. It can be analytically extended to the cut plane ~\[1, ~) by defining Lira(x) inductively as x [ Li m_ l(z)z-tdz but then has a discontinuity as x crosses the cut. However, for 0 m = 2 the modified function O(x) = ~(Liz(x)) + arg(1 -- x) loglxl extends (real-) analytically to the entire complex plane except for the points x=0 and x= 1 where it is continuous but not analytic. This modified dilogarithm function, introduced by Wigner and Bloch [1], has many beautiful properties. In particular, its values at algebraic argument suffice to express in closed form the volumes of arbitrary hyperbolic 3-manifolds and the values at s= 2 of the Dedekind zeta functions of arbitrary number fields (cf. [6] and the expository article [7]). It is therefore natural to ask for similar real-analytic and single-valued modification of the higher polylogarithm functions Li,. Such a function Dm was constructed, and shown to satisfy a functional equation relating D=(x-t) and D~(x), by Ramakrishnan E3]. His construction, which involved monodromy arguments for certain nilpotent subgroups of GLm(C), is completely explicit, but he does not actually give a formula for Dm in terms of the polylogarithm. In this note we write down such a formula and give a direct proof of the one-valuedness and functional equation.
    [Show full text]
  • A New Family of Zeta Type Functions Involving the Hurwitz Zeta Function and the Alternating Hurwitz Zeta Function
    mathematics Article A New Family of Zeta Type Functions Involving the Hurwitz Zeta Function and the Alternating Hurwitz Zeta Function Daeyeoul Kim 1,* and Yilmaz Simsek 2 1 Department of Mathematics and Institute of Pure and Applied Mathematics, Jeonbuk National University, Jeonju 54896, Korea 2 Department of Mathematics, Faculty of Science, University of Akdeniz, Antalya TR-07058, Turkey; [email protected] * Correspondence: [email protected] Abstract: In this paper, we further study the generating function involving a variety of special numbers and ploynomials constructed by the second author. Applying the Mellin transformation to this generating function, we define a new class of zeta type functions, which is related to the interpolation functions of the Apostol–Bernoulli polynomials, the Bernoulli polynomials, and the Euler polynomials. This new class of zeta type functions is related to the Hurwitz zeta function, the alternating Hurwitz zeta function, and the Lerch zeta function. Furthermore, by using these functions, we derive some identities and combinatorial sums involving the Bernoulli numbers and polynomials and the Euler numbers and polynomials. Keywords: Bernoulli numbers and polynomials; Euler numbers and polynomials; Apostol–Bernoulli and Apostol–Euler numbers and polynomials; Hurwitz–Lerch zeta function; Hurwitz zeta function; alternating Hurwitz zeta function; generating function; Mellin transformation MSC: 05A15; 11B68; 26C0; 11M35 Citation: Kim, D.; Simsek, Y. A New Family of Zeta Type Function 1. Introduction Involving the Hurwitz Zeta Function The families of zeta functions and special numbers and polynomials have been studied and the Alternating Hurwitz Zeta widely in many areas. They have also been used to model real-world problems.
    [Show full text]
  • Chow Polylogarithms and Regulators
    Chow polylogarithms and regulators A.B.Goncharov Contents 1 Introduction 1 2 Construction of Chow polylogarithms 2 3 Properties of Chow polylogarithm functions 6 4 Cocycles for all continuous cohomology classes of GLN (C) 9 5 Explicit construction of Beilinson’s regulator 10 6 The Abel-Jacobi map for Higher Chow groups 12 7 The multivalued analytic version of Chow polylogarithms 13 1 Introduction The classical dilogarithm z Li2(z) := − log(1 − t)d log t Z0 is a multivalued analitic function on CP 1\{0, 1, ∞}. It has a single-valued version: the Bloch- Wigner function L2(z) := ImLi2(z) + arg(1 − z) log |z| which satisfies the famous 5-term functional relation. Namely, for any 5 distinct points z1, ..., z5 on CP 1 one has (r is the cross-ratio). 5 i (−1) L2(r(z1, ..., zˆi, ..., z5))=0 i=1 X In this note we show that the Bloch-Wigner function can be naturally extended to the (infinite dimensional) variety of all algebraic curves in CP 3 which are in sufficiently general position with respect to a given simplex L. (By definition a simplex in CP 3 is a collection of 4 hyperplanes in generic position). 1 We call the corresponding function the Chow dilogarithm function. When our curve is a straight line we obtain just the Bloch-Wigner function evaluated at the cross-ratio of the 4 intersection points of this line with the faces of the simplex L. It is interesting that even in this case we get a new presentation of L2(z). Any algebraic surface in CP 4 which is in general position with respect to a given simplex produces a 5-term relation for the Chow dilogarithm function.
    [Show full text]
  • Polylogarithms and Riemann's Function
    PHYSICAL REVIEW E VOLUME 56, NUMBER 4 OCTOBER 1997 Polylogarithms and Riemann’s z function M. Howard Lee Department of Physics and Astronomy, University of Georgia, Athens, Georgia 30602 ~Received 12 March 1997! Riemann’s z function has been important in statistical mechanics for many years, especially for the under- standing of Bose-Einstein condensation. Polylogarithms can yield values of Riemann’s z function in a special limit. Recently these polylogarithm functions have unified the statistical mechanics of ideal gases. Our par- ticular concern is obtaining the values of Riemann’s z function of negative order suggested by a physical application of polylogs. We find that there is an elementary way of obtaining them, which also provides an insight into the nature of the values of Riemann’s z function. It relies on two properties of polylogs—the recurrence and duplication relations. The relevance of the limit process in the statistical thermodynamics is described. @S1063-651X~97!01510-9# PACS number~s!: 05.90.1m, 02.90.1p I. INTRODUCTION standard methods. It also lends an interesting insight into the nature of the values of Riemann’s z function. Riemann’s z function perhaps first appeared in statistical mechanics in 1900 in Planck’s theory of the blackbody ra- II. POLYLOGS AND THEIR PROPERTIES diation and then in 1912 in Debye’s theory of the specific heats of solids @1#. Subsequently, this function has played an To show their relationship to Riemann’s z function, we important role in the statistical theory of the ideal Bose gas, shall introduce a convenient integral representation for poly- especially for the understanding of Bose-Einstein condensa- logs Lis(z) of complex numbers s and z @6#, defined by tion ~BEC!@2#.
    [Show full text]
  • From Elliptic Polylogarithms to Iterated Integrals of Eisenstein Series
    Prepared for submission to JHEP CP3-18-24, CERN-TH-2018-057 HU-Mathematik-2018-03, HU-EP-18/09 SLAC-PUB-17240 Elliptic symbol calculus: from elliptic polylogarithms to iterated integrals of Eisenstein series Johannes Broedela Claude Duhrb;c Falko Dulatd Brenda Penanteb Lorenzo Tancredib aInstitut f¨urMathematik und Institut f¨urPhysik, Humboldt-Universit¨atzu Berlin, IRIS Adlershof, Zum Grossen Windkanal 6, 12489 Berlin, Germany bTheoretical Physics Department, CERN, Geneva, Switzerland cCenter for Cosmology, Particle Physics and Phenomenology (CP3), Universit´eCatholique de Louvain, 1348 Louvain-La-Neuve, Belgium dSLAC National Accelerator Laboratory, Stanford University, Stanford, CA 94309, USA E-mail: [email protected], [email protected], [email protected], [email protected], [email protected] Abstract: We present a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts. Our formalism is based on a special case of a coaction on large classes of periods that is applied in particular to elliptic polylogarithms and iterated integrals of modular forms. We illustrate how to use our formalism to derive relations among elliptic polylogarithms, in complete analogy with the non-elliptic case. We then analyze the symbol alphabet of elliptic polylogarithms evaluated at rational points, and we observe that it is given by Eisenstein series for a certain congruence subgroup. We apply our formalism to hypergeometric functions that can be expressed in terms of elliptic polylogarithms and show that they can equally be written in terms of iterated integrals of Eisenstein series. Finally, we present the symbol of the equal-mass sunrise integral in two space-time dimensions.
    [Show full text]
  • Polylog and Hurwitz Zeta Algorithms Paper
    AN EFFICIENT ALGORITHM FOR ACCELERATING THE CONVERGENCE OF OSCILLATORY SERIES, USEFUL FOR COMPUTING THE POLYLOGARITHM AND HURWITZ ZETA FUNCTIONS LINAS VEPŠTAS ABSTRACT. This paper sketches a technique for improving the rate of convergence of a general oscillatory sequence, and then applies this series acceleration algorithm to the polylogarithm and the Hurwitz zeta function. As such, it may be taken as an extension of the techniques given by Borwein’s “An efficient algorithm for computing the Riemann zeta function”[4, 5], to more general series. The algorithm provides a rapid means of evaluating Lis(z) for¯ general values¯ of complex s and a kidney-shaped region of complex z values given by ¯z2/(z − 1)¯ < 4. By using the duplication formula and the inversion formula, the range of convergence for the polylogarithm may be extended to the entire complex z-plane, and so the algorithms described here allow for the evaluation of the polylogarithm for all complex s and z values. Alternatively, the Hurwitz zeta can be very rapidly evaluated by means of an Euler- Maclaurin series. The polylogarithm and the Hurwitz zeta are related, in that two evalua- tions of the one can be used to obtain a value of the other; thus, either algorithm can be used to evaluate either function. The Euler-Maclaurin series is a clear performance winner for the Hurwitz zeta, while the Borwein algorithm is superior for evaluating the polylogarithm in the kidney-shaped region. Both algorithms are superior to the simple Taylor’s series or direct summation. The primary, concrete result of this paper is an algorithm allows the exploration of the Hurwitz zeta in the critical strip, where fast algorithms are otherwise unavailable.
    [Show full text]
  • Series Representation of the Riemann Zeta Function and Other Results: Complements to a Paper of Crandall
    MATHEMATICS OF COMPUTATION Volume 83, Number 287, May 2014, Pages 1383–1395 S 0025-5718(2013)02755-X Article electronically published on July 29, 2013 SERIES REPRESENTATION OF THE RIEMANN ZETA FUNCTION AND OTHER RESULTS: COMPLEMENTS TO A PAPER OF CRANDALL MARK W. COFFEY Abstract. We supplement a very recent paper of R. Crandall concerned with the multiprecision computation of several important special functions and numbers. We show an alternative series representation for the Riemann and Hurwitz zeta functions providing analytic continuation throughout the whole complex plane. Additionally, we demonstrate some series representations for the initial Stieltjes constants appearing in the Laurent expansion of the Hur- witz zeta function. A particular point of elaboration in these developments is the hypergeometric form and its equivalents for certain derivatives of the incomplete Gamma function. Finally, we evaluate certain integrals including ζ(s) η(s) Res=c s ds and Res=c s ds,withζ the Riemann zeta function and η its alternating form. 1. Introduction and statement of results Very recently R. Crandall has described series-based algorithms for computing multiprecision values of several important functions appearing in analytic number theory and the theory of special functions [9]. These functions include the Lerch ∞ n s transcendent Φ(z,s,a)= n=0 z /(n + a) , and many of its special cases, and Epstein zeta functions. In the following we let Bn(x)andEn(x) be the Bernoulli and Euler polynomials, respectively, Γ the Gamma function, and Γ(x, y) the incomplete Gamma function (e.g., [1, 2, 13]). An example series representation from [9, (27)] is that for the Hurwitz zeta function ζ(s, a), ∞ ∞ 1 Γ[s, λ(n + a)] 1 B (a) λm+s−1 (1.1) ζ(s, a)= + (−1)m m , Γ(s) (n + a)s Γ(s) m! (m + s − 1) n=0 m=0 with free parameter λ ∈ [0, 2π).
    [Show full text]
  • An Integral Representation for the Riemann Zeta Function on Positive Integer Arguments
    An integral representation for the Riemann zeta function on positive integer arguments Sumit Kumar Jha IIIT-Hyderabad, India Email: [email protected] May 23, 2019 Abstract In this brief note, we give an integral representation for the Riemann zeta function for positive integer arguments. To the best of our knowledge, the representation is new. Keywords: Ramanujan’s Master Theorem; Riemann Zeta Function; Polygamma Function; Polylogarithm Function AMS Classification: 33E20 We prove the following Theorem 1. We have, for integers r ≥ 2, Z ¥ −1=2 1 x Lir(−x) z(r) = r dx (1) p(2 − 2 ) 0 1 + x ¥ xk ¥ 1 where Lir(x) = ∑k=1 kr is the polylogarithm function, and z(r) = ∑n=1 nr is the Riemann zeta function. The above can be obtained as a direct consequence of the following result Theorem 2. For integers r ≥ 2 and 0 < n < 1, we have Z ¥ Li (−x) p y − (1 − n) xn−1 r dx = z(r) + (−1)r−1 r 1 .( 2) 0 1 + x sin np (r − 1)! ¥ xk dn G0(x) where Lir(x) = ∑k=1 kr is the polylogarithm function, yn(x) = dxn G(x) is the Polygamma function, G(x) is the Gamma function, and z(r) is the Riemann zeta function. Proof. Let n (r) 1 Hn = ∑ r k=1 k be the generalized Harmonic number. Then, we have the following generat- ing function from [2] Li (x) ¥ r = H(r)xn, − ∑ n 1 x n=1 for jxj< 1. We can also write ¥ Lir(−x) (r) n = ∑ Hn (−x) .( 3) (1 + x) n=1 We have for the following explicit form from [3] y − (n + 1) H(r) = z(r) + (−1)r−1 r 1 .( 4) n (r − 1)! 1 2 (r) r−1 yr−1(1) First note in this form, we have, H0 = z(r) + (−1) (r−1)! = 0.
    [Show full text]
  • Crandall's Computation of the Incomplete Gamma Function And
    Crandall's computation of the incomplete Gamma function and the Hurwitz Zeta function, with applications to Dirichlet L-series D. H. Bailey∗ J. M. Borweiny January 15, 2015 Abstract This paper extends tools developed by Richard Crandall in [16] to provide robust, high-precision methods for computation of the incomplete Gamma function and the Lerch transcendent. We then apply these to the corresponding computation of the Hurwitz zeta function and so of Dirichlet L-series and character polylogarithms. 1 Introduction In this article we continue the research in [5,6,7] and [16] by providing robust, high- precision methods for computation of the incomplete Gamma function and the Lerch tran- scendent. We subsequently apply these to the corresponding computation of the Hurwitz zeta function and of Dirichlet L-series. 1.1 Organization The organization of the paper is as follows. In Section2 we examine derivatives of the classical polylogarithm and zeta function. In Section3 we reintroduce character polyloga- rithms (based on classical Dirichlet characters). In Section4 we reprise work on the Lerch transcendent by Richard Crandall. In Section5 we consider methods for evaluating the incomplete Gamma function, and in Section6 we consider methods for evaluating the Hur- witz zeta function, relying on the methods of the two previous sections. Finally, in Section 7 we make some concluding remarks. Our dear colleague Richard Crandall, with whom we have collaborated in previous papers in this line of research, passed away in December 2012. In this paper, we not only ∗Lawrence Berkeley National Laboratory (retired), Berkeley, CA 94720, and University of California, Davis, Davis, CA 95616, USA.
    [Show full text]
  • [Math.NT] 21 Jun 2019 Integration in Terms of Polylogarithm
    Integration in terms of polylogarithm W. Hebisch Mathematical Institute, Wroc law University, Poland Abstract This paper provides a Liouville principle for integration in terms of dilogarithm and partial result for polylogarithm. 1 Introduction Indefinite integration is classical task studied from beginning of calculus: given f we seek g such that f = g′. The first step in deeper study of integra- tion is to delimit possible form of integrals. In case of elementary integration classical Liouville-Ostrowski theorem says that only new transcendentals that can appear in g are logarithms. More precisely, when f ∈ L where L is a differential field with algebraically closed constant field and f has integral elementary over L, then ′ ′ vi f = v0 + ci X vi where vi ∈ L and ci ∈ L are constants. However, there are many elementary function which do not have elemen- tary integrals and to integrate them we introduce new special functions in the integral. In this paper we study integration in terms of polylogarithms. Polylogarithms appear during iterated integration of rational functions [9], so they are very natural extension of elementary functions. Integration in arXiv:1810.05865v2 [math.NT] 21 Jun 2019 terms of polylogarithms was studied by Baddoura [1], [2], but he only handled integrals in transcendental extensions. Also, he gave proofs only in case of dilogarithm. In recent article Y. Kaur and V. R. Srinivasan [8] give Liouville type principle for larger class of functions. They use different arguments, but for dilogarithm their results are essentially equivalent to that of Baddoura. When seeking integral we allow also algebraic extensions. We give partial result for polylogarithm (Theorem 3.1).
    [Show full text]
  • Analytic Continuation of Double Polylogarithm by Means of Residue Calculus
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE COMMENTARII MATHEMATICI ed. RIKKYO UNIV/MATH UNIVERSITATIS SANCTI PAULI IKEBUKURO TOKYO Vol. 67, No. 1 2019 171–8501 JAPAN Analytic Continuation of Double Polylogarithm by Means of Residue Calculus by Yusuke K USUNOKI, Yayoi NAKAMURA and Yoshitaka SASAKI (Received Ocotober 30, 2018) (Revised April 2, 2019) Abstract. Analytic continuations of the double polylogarithm function and Hurwitz- Lerch zeta function are studied. Functional relation formula for each function is derived again without any complicated setting nor theory. The main theoretical basement is Cauchy residue theory. 1. Introduction The polylogarithm function is defined by a power series ∞ zm (z) = (k ∈ N) (1.1) Lik mk m=1 of a complex variable z for |z| < 1. It is known that it can be extended to |z|≥1. For example, several integral representations are known that furnish the analytic continuation of the polylogarithm beyond the unit circle except for the real axis with z ≥ 1. Actually, the functional relation ( πi)k z k+1 1 2 log (1.2) Lik(z) = (−1) Lik − Bk z k! 2πi is known. D. S. MitrinovicandJ.D.Ke´ ckiˇ c´ had noticed in [5] a method for deriving the formula (1.2) in the study of Cauchy method of residue. In this paper, we focus on the method introduced in [5] and rederive a functional relation formula of analytic continuation of double polylogarithm m z 1 (z) = (k ,k ∈ N). (1.3) Lik1,k2 k k 1 2 m 1 m 2 m1>m2>0 1 2 That is, one of our main results is as follows; 49 50 Y.
    [Show full text]