Integrals Over Polytopes, Multiple Zeta Values and Polylogarithms, and Euler's Constant
Jonathan Sondow, Sergey Zlobin
备注：
19 pages, to appear in Mat Zametki. Ver 2.: Added Remark 3 on a Chen (Drinfeld-Kontsevich) iterated integral; simplified Proposition 2; gave reference for (19); corrected [16]; fixed typo
发表信息：
Math. Notes (in English) 84 (2008) pp. 568-583; Mat. Zametki (in Russian) 84:4 (2008) pp. 609-626
Let $T$ be the triangle with vertices (1,0), (0,1), (1,1). We study certain integrals over $T$, one of which was computed by Euler. We give expressions for them both as a linear combination of multiple zeta values, and as a polynomial in single zeta values. We obtain asymptotic expansions of the integrals, and of sums of certain multiple zeta values with constant weight. We also give related expressions for Euler's constant. In the final section, we evaluate more general integrals -- one is a Chen (Drinfeld-Kontsevich) iterated integral -- over some polytopes that are higher-dimensional analogs of $T$. This leads to a relation between certain multiple polylogarithm values and multiple zeta values.
In this paper we consider iterated integrals of multiple polylogarithm functions and prove some explicit relations of multiple polylogarithm functions. Then we apply the relations obtained to find numerous formulas of alternating multiple zeta values in terms of unit-exponent alternating multiple zeta values. In particular, we prove several conjectures given by Borwein-Bradley-Broadhurst \cite{BBBL1997}, and give some general results. Furthermore, we discuss Kaneko-Yamamoto multiple zeta values, and establish some relations between it and multiple zeta values. Finally, we establish a linear re…
Representation of solutions of the Gauss hypergeometric equation by the multiple polylogarithms, functional relations of the multiple polylogarithms and relations of the multiple zeta values
We use visible point vector identities to examine polylogarithms in the neighbourhood of the Riemann zeta function zeroes. New formulas limiting to the trivial zeroes and to the critical line on the zeta function are given. Similar results arise from Euler-Zagier sums given in Bailey, Borwein and Crandall [4] providing new infinite product identities.
It is known that Shintani zeta functions, which generalise multiple zeta functions, extend to meromorphic functions with poles on affine hyperplanes. We refine this result in showing that the poles lie on hyperplanes parallel to the facets of certain convex polyhedra associated to the defining matrix for the Shintani zeta function. Explicitly, the latter are the Newton polytopes of the polynomials induced by the columns of the underlying matrix. We then prove that the coefficients of the equation which describes the hyperplanes in the canonical basis are either zero or one, similar to the pole…
With every path on a projective line minus zero, one and infinity there is associated a measure. We are studying a sum of two such measures associated to paths from the tangential point at zero to roots of one. We show that the obtained measure can be defined very elementary. Integrating agaist this measure we get p-adic Hurwitz zeta functions constructed previously by Shiratani.
It is known that multiple zeta values can be written in terms of certain iterated log-sine integrals. Conversely, we evaluate iterated log-sine integrals in terms of multiple polylogarithms and multiple zeta values in this paper. We also suggest some conjectures on multiple zeta values, multiple Clausen values, multiple Glaisher values and iterated log-sine integrals.
Mordell-Tornheim multiple zeta-functions, their integral analogues, and relations among multiple polylogarithms
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Center for General Education, Aichi Institute of Technology（爱知工业大学通识教育中心）；Division of Mathematics, Chiba Institute of Technology（千叶工业大学数学系）；Harish-Chandra Research Institute（哈里什-钱德拉研究所）
In this paper we show that the iterated integrals on products of one variable multiple polylogarithms from 0 to 1 are actually multiple zeta values if they are convergent. In the divergent case, we define regularized iterated integrals from 0 to 1. By the same method, we show that the regularized iterated integrals are also multiple zeta values. As an application, we give new series representations for multiple zeta values and calculate some interesting examples of iterated integrals.
We formulate a parametrized uniformly absolutely globally convergent series of $ζ$(s) denoted by Z(s, x). When expressed in closed form, it is given by Z(s, x) = (s -- 1)$ζ$(s) + 1 x Li s z z -- 1 dz, where Li s (x) is the polylogarithm function. As an immediate first application of the new parametrized series, a new expression of $ζ$(s) follows: (s -- 1)$ζ$(s) = -- 1 0 Li s z z -- 1 dz. As a second important application, using the functional equation and exploiting uniform convergence of the series defining Z(s, x), we have for any non-trivial zero s
We show that the shuffle algebras for polylogarithms and regularized MZVs in the sense of Ihara, Kaneko and Zagier are both free commutative nonunitary Rota-Baxter algebras with one generator. We apply these results to show that the full sets of shuffle relations of polylogarithms and regularized MZVs are derived by a single series. We also take this approach to study the extended double shuffle relations of MZVs by comparing these shuffle relations with the quasi-shuffle relations of the regularized MZVs in our previous approach of MZVs by renormalization.
This paper studies algebraic and analytic structures associated with the Lerch zeta function, extending the complex variables viewpoint taken in part II. The Lerch transcendent $Φ(s, z, c)$ is obtained from the Lerch zeta function $ζ(s, a, c)$ by the change of variable $z=e^{2 πi a}$. We show that it analytically continues to a maximal domain of holomorphy in three complex variables $(s, z, c)$ as a multivalued function defined over the base manifold ${\bf C} \times P^1({\bf C} \smallsetminus \{0, 1, \infty\}) \times ({\bf C}\smallsetminus {\bf Z})$. and compute the monodromy functions definin…
Pellarin introduced the deformation of multiple zeta values of Thakur as elements over Tate algebras. In this paper, we relate these values to a certain coordinate of a higher dimensional Drinfeld module over Tate algebras which we will introduce. Moreover, we define multiple polylogarithms in our setting and represent deformation of multiple zeta values as a linear combination of multiple polylogarithms.
We prove sum formulas for double polylogarithms of Hurwitz type, that is, involving a shifting parameter $b$ in the denominator. These formulas especially imply well-known sum formulas for double zeta values, and sum formulas for double $L$-values. Further, differentiating in $b$, we obtain a kind of weighted sum formula for double polylogarithms and double $L$-values. We also give sum formulas for partial double zeta values with some congruence conditions. Our proofs of those sum formulas are based on certain functional relations for double polylogarithms of Hurwitz type.
By using the method of iterated integral representations of series, we establish some explicit relationships between multiple zeta values and Integrals of logarithmic functions. As applications of these relations, we show that multiple zeta values of the form \[ζ( {\bar 1,{\left\{ 1 \right\}_{m - 1}},\bar 1,{\left\{ 1 \right\}_{k - 1}}} ),\ (k,m\in \mathbb{N})\] for $m=1$ or $k=1$, and \[ζ( {\bar 1,{\left\{ 1 \right\}_{m - 1}},p,{\left\{ 1 \right\}_{k - 1}}}),\ (k,m\in\mathbb{N})\] for $p=1$ and $2$, satisfy certain recurrence relations which allow us to write them in terms of zeta values, pol…
A formalism is provided to calculate tree amplitudes in open superstring theory for any multiplicity at any order in the inverse string tension. We point out that the underlying world-sheet disk integrals share substantial properties with color-ordered tree amplitudes in Yang-Mills field theories. In particular, we closely relate world-sheet integrands of open-string tree amplitudes to the Kawai-Lewellen-Tye representation of supergravity amplitudes. This correspondence helps to reduce the singular parts of world-sheet disk integrals -including their string corrections- to lower-point results.…
We prove the $\boldsymbol{p}$-adic duality theorem for the finite star-multiple polylogarithms. That is a generalization of Hoffman's duality theorem for the finite multiple zeta-star values.
We generalize the definition of overconvergent $p$-adic multiple polylogarithms and of $p$-adic cyclotomic multiple zeta values and we prove a bound on their norm. A byproduct of the proof is a characterization of these objects in terms of certain regularized $p$-adic iterated integrals. The generalization of the definition consists in replacing the underlying Frobenius structure by its iterations. The bound on the norms of overconvergent $p$-adic multiple polylogarithms that we obtain is a prerequisite for our subsequent papers on $p$-adic cyclotomic multiple zeta values.
The integral $t$-motivic cohomology and the class module of a (rigid analytically trivial) Anderson $t$-motive were introduced by the first author in [Gaz22b]. This paper is devoted to their determination in the particular case of tensor powers of the Carlitz $t$-motive, namely, the function field counterpart $\underline{A}(n)$ of Tate twists $\mathbb{Z}(n)$. We find out that these modules are in relation with fundamental objects of function field arithmetic: integral $t$-motivic cohomology governs linear relations among Carlitz polylogarithms, its torsion is expressed in terms of the denomina…
In this paper, we define finite Carlitz multiple polylogarithms and show that every finite multiple zeta value over the rational function field $\mathbb{F}_{q}(θ)$ is an $\mathbb{F}_{q}(θ)$-linear combination of finite Carlitz multiple polylogarithms at integral points. It is completely compatible with the formula for Thakur MZV's established in [C14].
In this paper we are interested in Euler-type sums with products of harmonic numbers, Stirling numbers and Bell numbers. We discuss the analytic representations of Euler sums through values of polylogarithm function and Riemann zeta function. Moreover, we provide explicit evaluations for almost all Euler sums with weight 5, which can be expressed in terms of zeta values and polylogarithms. Furthermore, we give explicit formula for several classes of Euler-related sums in terms of zeta values and harmonic numbers, and several examples are given. The given representations are new.
The values at 1 of single-valued multiple polylogarithms span a certain subalgebra of multiple zeta values. In this paper, the properties of this algebra are studied from the point of view of motivic periods.
Deriving motivic coactions and single-valued maps at genus zero from zeta generators
Institute for Advanced Study（高等研究院）；ETH Zürich（苏黎世联邦理工学院）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）；Uppsala University（乌普萨拉大学）；Max Planck Institute for Mathematics in the Sciences（马克斯·普朗克科学数学研究所）
本文通过 zeta 生成器证明了零 genus 多重 polylogarithms 的动机共作用和单值映射猜想，结合了非交换变量的操作和生成函数。
We introduce an iterated integral version of (generalized) log-sine integrals (iterated log-sine integrals) and prove a relation between a multiple polylogarithm and iterated log-sine integrals. We also give a new method for obtaining relations among multiple zeta values, which uses iterated log-sine integrals, and give alternative proofs of several known results related to multiple zeta values and log-sine integrals.
Recently, several people study finite multiple zeta values (FMZVs) and finite polylogarithms (FPs). In this paper, we introduce finite multiple polylogarithms (FMPs), which are natural generalizations of FMZVs and FPs, and we establish functional equations of FMPs. As applications of these functional equations, we calculate special values of FMPs containing generalizations of congruences obtained by Meštrović, Z. W. Sun, Z. W. Sun-L. L. Zhao, and Tauraso-J. Zhao. We show supercongruences for certain generalized Bernoulli numbers and the Bernoulli numbers as an appendix.
In this paper we define a continuous version of multiple zeta functions. They can be analytically continued to meromorphic functions on $\mathbb{C}^r$ with only simple poles at some special hyperplanes. The evaluations of these functions at positive integers (continuous multiple zeta values) satisfy the shuffle product. We give a detailed analysis about the depth structure of continuous multiple zeta values. There are also sum formulas for continuous multiple zeta values. Lastly we calculate some special continuous multiple zeta values in terms of special values of multiple polylogarithms.
We establish the triple integral evaluation \[ \int_{1}^{\infty} \int_{0}^{1} \int_{0}^{1} \frac{dz \, dy \, dx}{x(x+y)(x+y+z)} = \frac{5}{24} ζ(3), \] as well as the equivalent polylogarithmic double sum \[ \sum_{k=1}^{\infty} \sum_{j=k}^{\infty} \frac{(-1)^{k-1}}{k^{2}} \, \frac{1}{j \, 2^{j}} = \frac{13}{24} ζ(3). \] This double sum is related to, but less approachable than, similar sums studied by Ramanujan. It is also reminiscent of Euler's formula $ζ(2,1) = ζ(3)$, which is the simplest instance of duality of multiple polylogarithms. We review this duality and apply it to derive a compani…
In this paper we prove some new identities for multiple zeta values and multiple zeta star values of arbitrary depth by using the methods of integral computations of logarithm function and iterated integral representations of series. By applying these formulas, we can prove that multiple zeta star values whose indices are the sequences $(\bar 1,\{1\}_m,\bar 1)$ and $(2,\{1\}_m,\bar 1)$ can be expressed polynomially in terms of zeta values, polylogarithms and $\ln2$. Finally, we also evaluate several restricted sum formulas involving multiple zeta values.
We consider a generalization of the Mahler measure of a multivariable polynomial $P$ as the integral of $\log^k|P|$ in the unit torus, as opposed to the classical definition with the integral of $\log|P|$. A zeta Mahler measure, involving the integral of $|P|^s$, is also considered. Specific examples are computed, yielding special values of zeta functions, Dirichlet $L$-functions, and polylogarithms.
We investigate iterated integrals on an elliptic curve, which are a natural genus-one generalization of multiple polylogarithms. These iterated integrals coincide with the multiple elliptic polylogarithms introduced by Brown and Levin when constrained to the real line. At unit argument they reduce to an elliptic analogue of multiple zeta values, whose network of relations we start to explore. A simple and natural application of this framework are one-loop scattering amplitudes in open superstring theory. In particular, elliptic multiple zeta values are a suitable language to express their low …
