Special values of hyperlogarithms and linear difference schemes

From MaRDI portal





An analytic property of higher logarithms is investigated from the view point of generating functions. It is shown that the logarithmic iterated integrals in the sense of K. T. Chen \[ \int^{1}_{0}(d \log x)^{r_ 1}(d \log (1-x))^{r_ 2}(d \log x)^{r_ 3}..., \] where \(r_ 1\geq 1,r_ 2\geq 1,r_ 3\geq 1,...,r_ n\geq 1\), can be described by the Taylor expansions of an analytic function \(F^*_ n(z_ 1,z_ 2,z_ 3,...)\) at the origin by \[ \frac{1}{r_ 1!r_ 2!r_ 3!...}\frac{\partial^{r_ 1+r_ 2+r_ 3+...}}{\partial z_ 1^{r_ 1} \partial z_ 2^{r_ 2} \partial z_ 3^{r_ 3}...}F^*_ n(0,0,0,...). \] \(F^*_ n(z_ 1,z_ 2,z_ 3,...)\) satisfies holonomic linear difference equations with respect to the displacement \(z_ j\Rightarrow z_ j\pm 1\) over the rational function fields. They are characterized by these equations plus their asymptotic properties. In particular, we have \[ \int^{1}_{0}(d \log x)^{r_ 1}(d \log (1-x))^{r_ 2}= \] \[ \frac{(-1)^{r_ 1}}{r_ 1!r_ 2!}\frac{\partial^{r_ 1+r_ 2}}{\partial z_ 1^{r_ 1} \partial z_ 2^{r_ 2}}[\frac{\Gamma (1+z_ 1)\Gamma (1+z_ 2)}{\Gamma (1+z_ 1+z_ 2)}]_{z_ 1=z_ 2=0}. \] \(F^*_ 3(z_ 1,z_ 2,z_ 3)\) is expressed by the Goursat-Thomae-Whipple hypergeometric function of 3rd order. In generl \(F^*_ n(z_ 1,z_ 2,z_ 3,...)\) have simple integral representations of hypergeometric type.











This page was built for publication: Special values of hyperlogarithms and linear difference schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1825333)