On the Values of a Class of Dirichlet Series at Rational Arguments

Total Page:16

File Type:pdf, Size:1020Kb

On the Values of a Class of Dirichlet Series at Rational Arguments PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 4, April 2010, Pages 1223–1230 S 0002-9939(09)10171-5 Article electronically published on December 4, 2009 ON THE VALUES OF A CLASS OF DIRICHLET SERIES AT RATIONAL ARGUMENTS K. CHAKRABORTY, S. KANEMITSU, AND H.-L. LI (Communicated by Ken Ono) Dedicated to Professor Eiichi Bannai on his sixtieth birthday, with great respect and friendship Abstract. In this paper we shall prove that the combination of the gen- eral distribution property and the functional equation for the Lipschitz-Lerch transcendent capture the whole spectrum of deeper results on the relations be- tween the values at rational arguments of functions of a class of zeta-functions. By Theorem 1 and its corollaries, we can cover all the previous results in a rather simple and lucid way. By considering the limiting cases, we can also deduce new striking identities for Milnor’s gamma functions, among which is the Gauss second formula for the digamma function. 1. Introduction and the finite value case Srivastava [S2] (cf. also Srivastava and Choi [SC], pp. 336–344) gives two simpler proofs of interesting results of Cvijovi´c and Klinowski [CK1] on the finite expression for the values of a Bernoulli polynomial at rational arguments in terms of the values of the Hurwitz zeta-function at integer arguments with rational values for the perturbation. The first proof uses the Fourier series for the periodic Bernoulli polynomial and the formula for the decomposition into residue classes. The second proof uses the functional equation for the partial zeta-function q p 2Γ (s) πs 2πap a (1.1) ζ 1 − s, = cos − ζ s, q (2πq)s 2 q q a=1 ([SC, (8), p. 90], [Ap]) to be restated as (1.11) below, where ∞ 1 (1.2) ζ(s, a)= ,σ>1, (n + a)s n=0 is the Hurwitz zeta-function. We introduce the Lipschitz-Lerch transcendent ∞ e2πinz (1.3) L(s, z, a)= , (n + a)s n=0 Received by the editors December 28, 2008, and, in revised form, August 18, 2009. 2010 Mathematics Subject Classification. Primary 11M35; Secondary 33B15. Key words and phrases. Lipschitz-Lerch transcendent, Hurwitz zeta function, polylogarithm function, Gauss’ second formula, Milnor’s gamma function. c 2009 American Mathematical Society Reverts to public domain 28 years from publication 1223 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1224 K. CHAKRABORTY, S. KANEMITSU, AND H.-L. LI absolutely convergent for σ>1ifz = x ∈ R or s ∈ C with Im z>0, which generalizes not only the Hurwitz zeta-function (1.4) ζ(s, a)=L(s, 1,a) but also the polylogarithm function (or the Lerch zeta-function) ∞ e2πinx (1.5) l (x)=L(s, x, 1) = ,σ>1. s ns n=1 The most general distribution property of the Hurwitz-Lerch transcendent (which follows from the principle of decomposition into residue classes used in Srivastava’s first method), q−1 a + j (1.6) L(z,s,a)=q−s L qz, s, e2πijz, q j=0 ([SC, (15), p. 339]) coupled with the functional equation for the Lipschitz-Lerch transcendent ([SC, (29), p. 125]), (1.7) Γ(s) πi( 1 s−2ax) −πi( 1 s−2a(1−x)) L(x, 1 − s, a)= e 2 L(−a, s, x)+e 2 L(a, s, 1 − x) , (2π)s captures the whole scene and gives an immediate proof of new limiting relations as well as all these types of linear combination expressions for a class of zeta-functions and as a special case for polynomials. Theorem 1. For 1 <q∈ Z with 0 <x<1 and Re a>0, one has the following identity: q−1 − −s a + j 2πijx Γ(1 s) (1.8) q L qx, s, e = L(x, s, a)= − q (2π)1 s j=0 πi( 1 (1−s)−2ax) −πi( 1 (1−s)−2a(1−x)) × e 2 L(−a, 1 − s, x)+e 2 L(a, 1 − s, 1 − x) except at the singularities of L, in which case, the identity is to mean the limit. Specializing the parameter a suitably, Theorem 1 reads: Corollary 1. For 1 <q∈ Z and q>p∈ N, we have the identity q −s 2πi a p a p q e q ζ s, = l q s q a=1 Γ(1− s) − πis p πis p (1.9) = i − e 2 ζ 1 − s, − e 2 ζ 1 − s, 1 − , (2π)1 s q q where, for s =0or s =1, the identity is to mean the limit as s → 0 or s → 1. We shall show that (1.9) and its counterpart for the polylogarithm function already entail not only all the previous results but also new non-trivial corollaries. As an example, we note that the trigonometric series (ν>1) ∞ ∞ cos(2k +1)πα sin(2k +1)πα (1.10) C (πα)= ,S(πα)= , ν (2k +1)ν ν (2k +1)ν k=0 k=0 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use DIRICHLET SERIES AT RATIONAL ARGUMENTS 1225 introduced by Srivastava and Choi ([SC, (1), p. 341]), may be thought of as the real and imaginary parts of the odd part of α l − 2−sl (α) . s 2 s Hence by the general distribution property (1.6) one has p p p p C π + iS π = l − 2−sl s q s q s 2q s q q − − −s 2j 1 2πi 2j 1 p =(2q) ζ s, e 2q . 2q j=1 This proves [SC, (8), (9), p. 342], which are equivalent to Cvijovi´c-Klinowski results [CK2] (cf. [S1]). Also note that in view of 2ν−1 − ν−1 (2π) ( 1) α −(2ν−1) C − (πα)= Cl − − 2 Cl − (α) 2ν 1 (2ν − 1)! 2ν 1 2 2ν 1 and 2ν − ν (2π) ( 1) α −2ν S (πα)= Cl − 2 Cl − (α) , 2ν (2ν)! 2ν 2 2ν 1 the statement by Srivastava-Choi about the slow convergence of the series is jus- tified. Here Clν (α) denotes the Clausen function (log-sine integrals; cf. [Le], [Y], [K]) defined as ∞ sin kα , if 2|n, Cl (α)= k=1 kν ν ∞ cos kα | k=1 kν , if 2 n. Corollary 2 ([Ap, Theorem 128, p. 261], [SC, (8), p. 90]). For all s =0 , 1, we have q p 2Γ (s) πs 2πap a (1.11) ζ 1 − s, = cos − ζ s, , q (2πq)s 2 q q a=1 and for n>1, 0 ≤ p ≤ q, q p 2n! 2πjp nπ j (1.12) B = − cos − ζ n, . n q (2πq)n q 2 q j=1 − πis Proof. To prove (1.11) we sum two equalities: one is e 2 times (1.9), and the πis other is e 2 times (1.9) with p replaced by q − p.Thenweget q −s − πs + 2πap i πs − 2πap i a q e( 2 q ) + e( 2 q ) ζ s, q a=1 − Γ(1 s) −πis πis p = i − e − e ζ 1 − s, (2π)1 s q License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1226 K. CHAKRABORTY, S. KANEMITSU, AND H.-L. LI or q πs 2πap a 2q−s cos − ζ s, 2 q q a=1 2Γ (1 − s)sinπs a 2π a = − ζ s, = − ζ s, , (2π)1 s q (2π)1 s Γ(s) q whence (1.11) follows upon using the functional equation for the gamma function. Now (1.12) follows from (1.11) in view of the formula (1.13) −nζ(1 − n, x)=Bn(x). Remark 1. (i) We note that the above deduction of (1.11) amounts to applying the Hurwitz formula (cf. (1.7)) Γ(s) − πis πis (1.14) ζ (1 − s, x)= e 2 l (x)+e 2 l (1 − x) . (2π)s s s We also note that the reciprocal relation for the gamma function is equivalent to the Hurwitz formula, while (1.13) is its consequence (cf. [Vista, Chapter 5]). (ii) As is noted in the first proof of [SC, Theorem 6.3, p. 336], it is rather simple to deduce the corresponding results on Euler polynomials from (1.12) by means of the relation 2 x +1 x (1.15) E (x)= B − B . n n +1 n+1 2 n+1 2 We shall therefore just state the result corresponding to (1.11), p + q p 2s−1 ζ 1 − s, − ζ 1 − s, 2q 2q q 2Γ (s) πs 2j − 1 2j − 1 (1.16) = − cos − 2π a ζ s, , (2πq)s 2 q 2q j=1 which depends on the relation ∞ x +1 x (−1)n 1 (1.17) 2−sζ s, − q−sζ s, = = L ,s,x . 2 2 (n + x)s 2 n=0 2. Limiting cases We now turn to the limiting case s → n of (1.9) with 1 ≤ n ∈ Z. Wenotethat recently Murty-Saradha [MS] used the Laurent expansion (2.5) at s = 1 of (1.9) to deduce the Gauss formula for the digamma function. To state our main result, we introduce Milnor’s gamma function γn(x) ([Mil]) through ∂ (2.1) γ (x)= ζ (−n, x) . 1+n ∂n License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use DIRICHLET SERIES AT RATIONAL ARGUMENTS 1227 Theorem 2. For q>1,n∈ N and p ∈ Z, we have q−1 −n 2πi a p a q e q ζ n, q a=1 ⎧ ⎫ ⎨ p ⎬ in+1 Bn q p p = πi + γ − (−1)nγ 1 − (2π)1−n(n − 1)! ⎩ n n q n q ⎭ ⎧ ⎧ ⎫ ⎪ n+2 ⎨ p ⎬ ⎪ − 2 Bn ⎪ ( 1) q − p − − p | ⎪ 1−n π i γn γn 1 , 2 n ⎨ (2π) (n − 1)! ⎩ n q q ⎭ (2.2) = ⎧ ⎫ ⎪ ⎪ n+1 ⎨ B p ⎬ ⎪ (−1) 2 n q p p ⎪ − iπ + γn + γn 1 − , 2 |n, ⎩ (2π)1 n (n − 1)! ⎩ n q q ⎭ the case n =1being a singular case to be stated in Corollary 4.
Recommended publications
  • Limiting Values and Functional and Difference Equations †
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 17 February 2020 doi:10.20944/preprints202002.0245.v1 Peer-reviewed version available at Mathematics 2020, 8, 407; doi:10.3390/math8030407 Article Limiting values and functional and difference equations † N. -L. Wang 1, P. Agarwal 2,* and S. Kanemitsu 3 1 College of Applied Mathematics and Computer Science, ShangLuo University, Shangluo, 726000 Shaanxi, P.R. China; E-mail:[email protected] 2 Anand International College of Engineering, Near Kanota, Agra Road, Jaipur-303012, Rajasthan, India 3 Faculty of Engrg Kyushu Inst. Tech. 1-1Sensuicho Tobata Kitakyushu 804-8555, Japan; [email protected] * Correspondence: [email protected] † Dedicated to Professor Dr. Yumiko Hironaka with great respect and friendship Version February 17, 2020 submitted to Journal Not Specified Abstract: Boundary behavior of a given important function or its limit values are essential in the whole spectrum of mathematics and science. We consider some tractable cases of limit values in which either a difference of two ingredients or a difference equation is used coupled with the relevant functional equations to give rise to unexpected results. This involves the expression for the Laurent coefficients including the residue, the Kronecker limit formulas and higher order coefficients as well as the difference formed to cancel the inaccessible part, typically the Clausen functions. We also state Abelian results which yield asymptotic formulas for weighted summatory function from that for the original summatory function. Keywords: limit values; modular relation; Lerch zeta-function; Hurwitz zeta-function; Laurent coefficients MSC: 11F03; 01A55; 40A30; 42A16 1. Introduction There have appeared enormous amount of papers on the Laurent coefficients of a large class of zeta-, L- and special functions.
    [Show full text]
  • The Riemann and Hurwitz Zeta Functions, Apery's Constant and New
    The Riemann and Hurwitz zeta functions, Apery’s constant and new rational series representations involving ζ(2k) Cezar Lupu1 1Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA Algebra, Combinatorics and Geometry Graduate Student Research Seminar, February 2, 2017, Pittsburgh, PA A quick overview of the Riemann zeta function. The Riemann zeta function is defined by 1 X 1 ζ(s) = ; Re s > 1: ns n=1 Originally, Riemann zeta function was defined for real arguments. Also, Euler found another formula which relates the Riemann zeta function with prime numbrs, namely Y 1 ζ(s) = ; 1 p 1 − ps where p runs through all primes p = 2; 3; 5;:::. A quick overview of the Riemann zeta function. Moreover, Riemann proved that the following ζ(s) satisfies the following integral representation formula: 1 Z 1 us−1 ζ(s) = u du; Re s > 1; Γ(s) 0 e − 1 Z 1 where Γ(s) = ts−1e−t dt, Re s > 0 is the Euler gamma 0 function. Also, another important fact is that one can extend ζ(s) from Re s > 1 to Re s > 0. By an easy computation one has 1 X 1 (1 − 21−s )ζ(s) = (−1)n−1 ; ns n=1 and therefore we have A quick overview of the Riemann function. 1 1 X 1 ζ(s) = (−1)n−1 ; Re s > 0; s 6= 1: 1 − 21−s ns n=1 It is well-known that ζ is analytic and it has an analytic continuation at s = 1. At s = 1 it has a simple pole with residue 1.
    [Show full text]
  • Identities for Catalan's Constant Arising from Integrals Depending
    Identities for Catalan’s constant arising from integrals depending on a parameter Federica Ferretti∗Alessandro Gambini†and Daniele Ritelli‡ Abstract In this paper we provide some relationships between Catalan’s constant and the 3F2 and 4F3 hypergeomet- ric functions, deriving them from some parametric integrals. In particular, using the complete elliptic integral of the first kind, we found an alternative proof of a result of Ramanujan for 3F2, a second identity related to 4F3 and using the complete elliptic integral of the second kind we obtain an identity by Adamchik. KEYWORD: Catalan constant, elliptic integral, hypergeometric functions. AMS SUBJECT CLASSIFICATION 33C75, 33C20 1 Introduction Catalan’s constant G was defined by Eug`ene Charles Catalan, who introduced this constant in [13, eq. (4) p. 23] as the alternating series ∞ ( 1)n G = ∑ − 2 . n=0 (2n + 1) It is well-known, [14, eq. (1) p. 1], that we may also express this constant with the following definite integral 1 arctan x dx. x Z0 This integral has stimulated the interest of Ramanujan, [23]. G was also identified by James W.L. Glaisher in 1877, see [17]. Its value is approximately G ∼= 0.915965594177 . and actually it is not known if it is a rational number. The constant G is somewhat ubiquitous since it appears in many occurrences connected to definite integrals or series summations; we give a (surely) non exhaustive list of papers that provide several interesting occurrences of G, including [1, 2, 7, 10, 15, 19, 22] and [26]. There are also interesting connections between Catalan’s constant and the Clausen’s integrals, that is arXiv:2005.04672v1 [math.CA] 10 May 2020 θ t Cl2(θ) = log 2 sin dt, − 0 2 Z the Hurwitz zeta function, Euler-Mascheroni constant and many other special functions, as one can see for instance in [10], [15], [26].
    [Show full text]
  • Special Functions Related to Dedekind Type DC-Sums and Their
    SPECIAL FUNCTIONS RELATED TO DEDEKIND TYPE DC-SUMS AND THEIR APPLICATIONS Yilmaz SIMSEK Akdeniz University, Faculty of Arts and Science, Department of Mathematics 07058 Antalya, Turkey [email protected] Abstract In this paper we construct trigonometric functions of the sum Tp(h, k), which is called Dedekind type DC-(Dahee and Changhee) sums. We establish analytic properties of this sum. We find trigonometric represen- tations of this sum. We prove reciprocity theorem of this sums. Furthermore, we obtain relations between the Clausen functions, Polylogarithm function, Hurwitz zeta function, generalized Lambert series (G-series), Hardy-Berndt sums and the sum Tp(h, k). We also give some applications related to these sums and functions. 2000 Mathematics Subject Classification. 11F20, 11B68, 11M35, 11M41, 11S80, 33C10, 33E20. Key Words and Phrases. Dedekind sums, Hardy-Berndt sums, Bernoulli Functions, Euler Functions, Euler numbers and polynomials, Riemann zeta function, Hurwitz zeta function, Lerch zeta function, Dirichlet series for the polylogarithm function, Dirichlet’s eta function, Legendre chi function, trigonometric functions and generalized Lambert series. arXiv:0902.0380v1 [math.CV] 2 Feb 2009 1 Introduction, Definitions and Notations In this section, we give some definitions, notations and results related to the Dedekind sums. Firstly we start with the definition of the classical Dedekind sums. Let x [x] 1 , if x / Z ((x)) = − G − 2 ∈ 0, if x Z, ∈ 1 [x]G being the largest integer x. Let h and k be coprime integers with k > 0, the classical Dedekind sum≤ s(h, k) is defined as follows k−1 a ha s (h, k)= . k k a=1 X The reciprocity law of the classical Dedekind sums is given by 1 1 h k 1 s(h, k)+ s(k, h)= + + + , −4 12 k h hk where (h, k) = 1 and h, k N := 1, 2, 3, ..
    [Show full text]
  • Alternative Evaluation of a Ln Tan Integral Arising in Quantum Field
    Alternative evaluation of a lntan integral arising in quantum field theory Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 80401 (Received 2008) November 9, 2008 Abstract A certain dilogarithmic integral I7 turns up in a number of contexts in- cluding Feynman diagram calculations, volumes of tetrahedra in hyperbolic geometry, knot theory, and conjectured relations in analytic number theory. We provide an alternative explicit evaluation of a parameterized family of inte- grals containing this particular case. By invoking the Bloch-Wigner form of the dilogarithm function, we produce an equivalent result, giving a third evaluation of I7. We also alternatively formulate some conjectures which we pose in terms of values of the specific Clausen function Cl2. arXiv:0810.5077v2 [math-ph] 15 Nov 2008 Key words and phrases Clausen function, dilogarithm function, Hurwitz zeta function, functional equation, duplication formula, triplication formula AMS classification numbers 33B30, 11M35, 11M06 1 The particular integral 24 π/2 tan t + √7 I7 ln dt, (1) ≡ 7√7 π/3 tan t √7 Z − occurs in a number of contexts and has received significant attention in the last several years [3, 4, 5, 6]. This and related integrals arise in hyperbolic geometry, knot theory, and quantum field theory [6, 7, 8]. Very recently [9] we obtained an explicit evaluation of (1) in terms of the specific Clausen function Cl2. However, much work remains. This is due to the conjectured relation between a Dirichlet L series and I7 [6], ? ∞ 1 1 1 1 1 1 I7 = L 7(2) = + + . − "(7n + 1)2 (7n + 2)2 − (7n + 3)2 (7n + 4)2 − (7n + 5)2 − (7n + 6)2 # nX=0 (2) The ? here indicates that numerical verification to high precision has been per- formed but that no proof exists, the approximate numerical value of I being I 7 7 ≃ 1.15192547054449104710169.
    [Show full text]
  • The Barnes G-Function and the Catalan Constant
    Kyushu J. Math. 67 (2013), 105–116 doi:10.2206/kyushujm.67.105 THE BARNES G-FUNCTION AND THE CATALAN CONSTANT Xiaohan WANG (Received 24 December 2011 and revised 14 February 2012) Abstract. G = ∞ [(− )k/( n − )2] The Catalan constant, n=1 1 2 1 , has attracted much attention and has appeared in various contexts. It is the special value at s = 2oftheDirichletL- function associated with the Gaussian field with its character odd. In this paper, we appeal to the Barnes G-function and a form of the functional equation for the Riemann zeta-function, to deduce an expression for the integral in t/sin t and one for G. These give rise to a corollary which reveals the intrinsicity of the Catalan constant G to the Barnes G-function. We also use one of Ramanujan’s formulas to derive a theorem. 1. Introduction and statement of results Let ∞ ζ(s, a)= 1 , s = σ> (n + a)s Re 1 (1.1) n=0 denote the Hurwitz zeta-function whose special case is the Riemann zeta-function ∞ ζ(s)= ζ(s, ) = 1 ,σ>. 1 ns 1 (1.2) n=1 The Dirichlet L-function L(s, χ) associated with the Dirichlet character χ is defined by ∞ χ(n) L(s, χ) = ,σ>. ns 1 (1.3) n=1 The parity of χ is defined by the parity of a in χ(−1) = (−1)a and χ is called even or odd according to whether a is even or odd. Hence, − χ(− ) 0 χ even a = a(χ) = 1 1 = 2 1 χ odd.
    [Show full text]
  • Computation and Structure of Character Polylogarithms with Applications to Character Mordell–Tornheim–Witten Sums
    Computation and structure of character polylogarithms with applications to character Mordell{Tornheim{Witten sums D. H. Bailey∗ J. M. Borwein.y June 9, 2014 Abstract This paper extends tools developed in [10,8] to study character polylogarithms. These objects are used to compute Mordell-Tornheim-Witten character sums and to explore their connections with multiple-zeta values (MZVs) and with their character analogues [17]. 1 Introduction In [10] we defined an ensemble of extended Mordell{Tornheim{Witten (MTW) zeta func- tion values [18, 34, 24, 25,7, 12, 36, 38, 32]. There is by now a huge literature on these sums; in part because of the many connections with fields such as combinatorics, number theory, and mathematical physics. Unlike previous authors we included derivatives with re- spect to the order of the terms. We investigated interrelations amongst MTW evaluations, and explored some deeper connections with multiple-zeta values (MZVs). In this article we continue the research in [8, 10] by studying character polylogarithms and applying them to analyze the relations between MTW character sums defined by X χd1(m) χd2(n) 1 µ (q; r; s) := ; (1) d1;d2 mq nr (m + n)s n;m>0 ±d n−1 where for d > 2, χ±d(n) := n ; and χ−2(n) := (−1) ; χ1(n) = 1: When d1 = d2 = 1 these devolve to classical Mordell{Tornheim{Witten (MTW) sums, as defined in (2) below for K = 2. ∗Lawrence Berkeley National Lab (retired), Berkeley, CA 94720, and University of California, Davis, Dept. of Computer Science, Davis, CA 95616, USA. E-mail: [email protected].
    [Show full text]
  • Log-Sine Integrals Involving Series Associated with the Zeta Function and Polylogarithms
    MATH. SCAND. 105 (2009), 199–217 LOG-SINE INTEGRALS INVOLVING SERIES ASSOCIATED WITH THE ZETA FUNCTION AND POLYLOGARITHMS JUNESANG CHOI, YOUNG JOON CHO and H. M. SRIVASTAVA Abstract Motivated essentially by their potential for applications in a wide range of mathematical and physical problems, the Log-Sine integrals have been evaluated, in the existing literature on the subject, in many different ways. The main object of this paper is to show how nicely some general (m) π formulas analogous to the generalized Log-Sine integral Lsn 3 can be obtained by using the theory of Polylogarithms. Relevant connections of the results presented here with those obtained in earlier works are also indicated precisely. 1. Introduction and Preliminaries Motivated essentially by their potential for applications in a wide range of mathematical and physical problems, the Log-Sine integrals have been eval- uated, in the existing literature on the subject, in many different ways. Here, we mainly aim at showing how nicely some general formulas analogous to the (m) π generalized Log-Sine integral Lsn 3 can be obtained by using the theory of Polylogarithms. We also give remarks on some related results on this subject. For our purpose, we begin by recalling the following definitions and prop- erties, which will be needed in our investigation. Definition 1. The Log-Sine integrals Lsn(θ) of order n are defined by (1.1) θ x n−1 Lsn(θ) :=− log 2 sin dx (n ∈ N \{1}; N :={1, 2, 3,...}); 0 2 (m) The generalized Log-Sine integrals Lsn (θ) of order n and index m are defined by θ n−m− (m) m x 1 (1.2) Lsn (θ) :=− x log 2 sin dx 0 2 Received July 14, 2008.
    [Show full text]
  • New Integral Representations of the Polylogarithm Function
    New integral representations of the polylogarithm function Djurdje Cvijović1 1 Atomic Physics Laboratory, Vinča Institute of Nuclear Sciences, P.O. Box 522, 11001 Belgrade, Serbia. Abstract. Maximon has recently given an excellent summary of the properties of the Euler dilogarithm function and the frequently used generalizations of the dilogarithm, the most important among them being the polylogarithm function Lis () z . The polylogarithm function appears in several fields of mathematics and in many physical problems. We, by making use of elementary arguments, deduce several new integral representations of the polylogarithm Lis () z for any complex z for which z < 1. Two are valid for all complex s, whenever Res > 1. The other two involve the Bernoulli polynomials and are valid in the important special case where the parameter s is an positive integer. Our earlier established results on the integral representations for the Riemann zeta function ζ (2n + 1) , nN∈ , follow directly as corollaries of these representations. Keywords: Polylogarithms, integral representation, Riemann’s zeta function, Bernoulli polynomials 2000 Mathematics Subject Classification. Primary 11M99; Secondary 33E20. 1 1. Introduction Recently, Maximon [1] has given an excellent summary of the defining equations and properties of the Euler dilogarithm function and the frequently used generalizations of the dilogarithm, the most important among them being the polylogarithm function Lis () z . These include integral representations, series expansions, linear and quadratic transformations, functional relations and numerical values for special arguments. Motivated by this paper we have begun a systematic study of new integral representations for Lis () z since it appears that only half a dozen of them can be found in the literature.
    [Show full text]
  • An Efficient Calculation of the Clausen Functions Cln(Θ)
    BIT Numer Math (2010) 50: 193–206 DOI 10.1007/s10543-009-0246-8 An efficient calculation of the Clausen functions Cln(θ)(n ≥ 2) Jiming Wu · Xiaoping Zhang · Dongjie Liu Received: 3 August 2009 / Accepted: 3 December 2009 / Published online: 16 December 2009 © Springer Science + Business Media B.V. 2009 Abstract The Clausen functions appear in many problems, such as in the computa- tion of singular integrals, quantum field theory, and so on. In this paper, we consider the Clausen functions Cln(θ) with n ≥ 2. An efficient algorithm for evaluating them is suggested and the corresponding convergence analysis is established. Finally, some numerical examples are presented to show the efficiency of our algorithm. Keywords Clausen functions · Error estimate Mathematics Subject Classification (2000) 65R99 · 65G20 · 65B10 1 Introduction In many occasions, such as in the evaluation of singular integrals [1, 4, 6, 8, 14, 15, 17] and quantum field theory [5, 7, 9], it is often necessary to compute the Clausen Communicated by Lothar Reichel. J. Wu Laboratory of Computational Physics, Institute of Applied Physics and Computational Mathematics, P.O. Box 8009, Beijing 100088, P.R. China e-mail: [email protected] X. Zhang () School of Mathematics and Statistics, Wuhan University, Wuhan 430072, P.R. China e-mail: [email protected] D. Liu Department of Mathematics, College of Sciences, Shanghai University, Shanghai 200444, P.R. China e-mail: [email protected] 194 J. Wu et al. functions, defined by ∞ sin(kθ) = n ,neven, Cl (θ) = k 1 k (1.1) n ∞ cos(kθ) k=1 kn ,nodd.
    [Show full text]
  • Evaluation of a Ln Tan Integral Arising in Quantum Field Theory
    Evaluation of a lntan integral arising in quantum field theory Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 80401 (Received 2007) August 27, 2007 Abstract We analytically evaluate a dilogarithmic integral that is prototypical of volumes of ideal tetrahedra in hyperbolic geometry. We additionally obtain new representations of the Clausen function Cl2 and the Catalan constant G = Cl2(π/2), as well as new relations between sine and Clausen function values. arXiv:0801.0272v1 [math-ph] 1 Jan 2008 Key words and phrases Clausen function, trigamma function, polygamma function, dilogarithm function, Hurwitz zeta function AMS classification numbers 33B30, 33B15, 11M35 1 Introduction and statement of results In this paper, we provide a closed form evaluation of the integral 24 π/2 tan t + √7 I7 ln dt, (1.1) ≡ 7√7 π/3 tan t √7 Z − in terms of elementary mathematical constants and values of the Clausen function Cl2. This and related integrals originate in hyperbolic geometry and quantum field theory [7, 14]. The integral I7 arises in the analysis of the volume of ideal tetrahedra in hyperbolic space and is the simplest of 998 empirically investigated cases wherein the volume of a hyperbolic knot complement appears to be expressible in terms of a Dirichlet L series [5]. In particular, Borwein and Broadhurst have conjectured that ? ∞ 1 1 1 1 1 1 I7 = L 7(2) = + + . − "(7n + 1)2 (7n + 2)2 − (7n + 3)2 (7n + 4)2 − (7n + 5)2 − (7n + 6)2 # nX=0 (1.2) The ? here indicates numerical verification has been performed but that no proof exists.
    [Show full text]
  • Polylogarithms and Associated Functions
    'v POLYLOGARITHMS AND ASSOCIATED FUNCTIONS Leonard Lewin Department of Electrical Engineering University of Colorado, Boulder, Colorado KI NORTH HOLLAND i New York' Oxford I APPENDIX REFERENCE DATA AND TABLES A.I GLOSSARY OF NOTATION The following symbols have been used throughout the book and are collected here for ease of reference. Whenever possible, standard usage has been adhered to. (1) Bn. The nth Bernoulli number, defined in terms of the coefficients of the power series expansion of 00 eZ~1 =I-iz+ L(_l)n-lBnz2nj(2n)!I (2) Bn(z). The nth Bernoulli polynomial, defined as the coefficient of tn j n! in the power series expansion of teZlj( eZ - I) (3) Cln(O). The generalized Clausen function. If n is even, Cln(O)= ~ sin;0; if n is odd, Cln(O)= ~ cos;O I r I r x logn- IIxl (cos a+ x) dx (4) Dn(x,a)= . 2' Kummer's function related to f0 I + 2x cosa + x ReAn(xeia) Xlogn-llxl sinadx (5) EnCx,a) = 2' Kummer's function related to " f0 I + 2x cosa + x 1m An(xeia) , (6) En' the nth Euler number, defined in 00terms of the coefficients of the power series expansion of secz= 1+ L Erz2rj(2r)! I (7) G. Catalan's constant = ~ - ~ + ~ -... , 12 32 52 J't l. 1...1;)1 ur ;)~L~CIl:~.U t'UKMULA:S 283 APPENDIX 282 3 5 (29) Xn(x). Legendre's chi-function of order n, = ~ + ~n + ~n + . .. (8) G1n(lJ).The associated Clausen function. If n is even, 00 (30) r(s).
    [Show full text]