Integrals of polylogarithmic functions, recurrence relations, and associated Euler sums

2004/06/21 by P. Freitas · 1 citation
Mathematics · #math.CA #msc:33E20 #msc:11M41

paper · pdf

published as Math. Comp. 74 (2005), 1425-1440. · 17 pages

arxiv created 2004/06/21 · arxiv updated 2009/12/01

Abstract

We show that integrals of the form \dint₀¹ x^m\rm Li_p(x)\rm Li_q(x)dx, (m≥ -2, p,q≥ 1) and \dint₀¹ \frac\ds log^r(x)\rm Li_p(x)\rm Li_q(x)\ds xdx, (p,q,r≥ 1) satisfy certain recurrence relations which allow us to write them in terms of Euler sums. From this we prove that, in the first case for all m,p,q, and in the second when p+q+r is even, these integrals are reducible to zeta values. In the case of odd p+q+r, we combine the known results for Euler sums with the information obtained from the problem in this form, to give an estimate on the number of \it new constants which are needed to express the above integrals for a given weight p+q+r. The proofs are constructive, giving a method for the evaluation of these and other similar integrals, and we present a selection of explicit evaluations in the last section.

Cited by

• Moduli spaces of open strings have polylogarithmic Mirzakhani volumes

Related

• Explicit Formulas For Generalized Polylogarithmic Integrals, Euler Sums, And BBP-Type Series
• Logarithmic Integrals, Polylogarithmic Integrals and Euler sums
• Values and recurrence relations for integrals of powers of arctan and logarithm and associated Euler-like sums
• Integrals of logarithmic functions and alternating multiple zeta values
• Some definite logarithmic integrals from Euler sums, and other\n integration results