English

Euler's integral, multiple cosine function and zeta values

Number Theory 2023-11-27 v7 Classical Analysis and ODEs

Abstract

In 1769, Euler proved the following result 0π2log(sinθ)dθ=π2log2. \int_0^{\frac\pi2}\log(\sin \theta) d\theta=-\frac\pi2 \log2. In this paper, as a generalization, we evaluate the definite integrals 0xθr2log(cosθ2)dθ \int_0^x \theta^{r-2}\log\left(\cos\frac\theta2\right)d\theta for r=2,3,4,.r=2,3,4,\ldots. We show that it can be expressed by the special values of Kurokawa and Koyama's multiple cosine functions Cr(x)\mathcal{C}_r(x) or by the special values of alternating zeta and Dirichlet lambda functions. In particular, we get the following explicit expression of the zeta value ζ(3)=4π221log(e4GπC3(14)162), \zeta(3)=\frac{4\pi^2}{21}\log\left(\frac{e^{\frac{4G}{\pi}}\mathcal{C}_3\left(\frac14\right)^{16}}{\sqrt2}\right), where GG is Catalan's constant and C3(14)\mathcal{C}_3\left(\frac14\right) is the special value of Kurokawa and Koyama's multiple cosine function C3(x)\mathcal{C}_3(x) at 14\frac14. Furthermore, we prove several series representations for the logarithm of multiple cosine functions logCr(x2)\log\mathcal{C}_r\left(\frac x{2}\right) by zeta functions, LL-functions or polylogarithms. One of them leads to another expression of ζ(3)\zeta(3): ζ(3)=72π211log(3172C3(16)C2(16)13).\zeta(3)=\frac{72\pi^2}{11}\log\left(\frac{3^{\frac1{72}}\mathcal{C}_3\left(\frac16\right)}{\mathcal{C}_2\left(\frac16\right)^{\frac13}}\right).

Keywords

Cite

@article{arxiv.2201.01124,
  title  = {Euler's integral, multiple cosine function and zeta values},
  author = {Su Hu and Min-Soo Kim},
  journal= {arXiv preprint arXiv:2201.01124},
  year   = {2023}
}

Comments

30 pages. We are grateful to Professor Jean-Paul Allouche for his interested in this paper and for his many helpful comments and suggestions

R2 v1 2026-06-24T08:39:46.221Z