[论文解读] Log-Sine Evaluations of Mahler Measures, II

David Borwein, Jonathan M. Borwein+2 more|arXiv (Cornell University)|Mar 15, 2011

Advanced Mathematical Identities参考文献 17被引用 5

一句话总结

本文通过对数正弦积分和多对 polylogarithm 函数扩展了对多个 Mahler 测度的评估，为 $\mu_n(1+x+y)$ 提供了至 $n=4$ 的闭式表达。该研究提出了一套系统方法，将更高阶的 Mahler 测度约化为 polylogarithm 的特殊值以及对数正弦积分，证明了 Boyd 在 1998 年提出的两个猜想，并推导出一个涉及超几何函数和广义 Clausen 函数在 $\pi/3$ 与 $2\pi/3$ 处的新 Mahler 测度。该方法结合了超几何展开、三角积分表示以及调和 polylogarithm 的组合约化。

ABSTRACT

We continue the analysis of higher and multiple Mahler measures using log-sine integrals as started in "Log-sine evaluations of Mahler measures" and "Special values of generalized log-sine integrals" by two of the authors. This motivates a detailed study of various multiple polylogarithms and worked examples are given. Our techniques enable the reduction of several multiple Mahler measures, and supply an easy proof of two conjectures by Boyd.

研究动机与目标

• 通过 log-sine 积分扩展高阶与多重 Mahler 测度的评估，建立在 [7, 8] 的先前工作基础上。
• 为多重 Mahler 测度提供系统性约化方法，将其转化为多对 polylogarithm、广义 Clausen 与 Glaisher 函数以及 log-sine 积分的特殊值。
• 为 Boyd 在 1998 年提出的关于特定 Laurent 多项式 Mahler 测度的两个猜想提供直接证明。
• 推导出一个涉及超几何函数与广义 log-sine 积分的新 Mahler 测度表达式，其参数位于 $\pi/3$ 处。

提出的方法

• 利用 $\mu_n(1+x+y)$ 的双重积分表示作为单位环面上的三角积分，实现解析处理。
• 应用超几何函数的 $\varepsilon$-展开，将 $\mu_n(1+x+y)$ 的超几何形式展开，得到多重反二项式和。
• 使用组合技术约化双重积分表示中的内层积分，将其表示为权重为 $k$ 的多重调和 polylogarithm。
• 利用在 $\pi/3$、$\pi/2$、$2\pi/3$ 和 $\pi$ 处的 log-sine 积分已知结果，特别关注 $\operatorname{Ls}_n(2\pi/3)$ 与 $\operatorname{Cl}_k(\pi/3)$。
• 利用 Mahler 测度与随机游动之间的关系，解释 $\mu_n(1+x+y)$ 的结构，将其与格路积分联系起来。
• 应用广义 Jensen 公式与 polylogarithm 的解析延拓，处理奇点并计算对数积分。

实验结果

研究问题

• RQ1 能否使用 log-sine 积分与 polylogarithm 函数，将多重 Mahler 测度 $\mu_n(1+x+y)$ 在 $n=1,2,3,4$ 时表达为闭式？
• RQ2 能否通过超几何展开与积分约化，严格推导出 $\mu_3(1+x+y)$ 与 $\mu_4(1+x+y)$ 的猜想评估？
• RQ3 能否使用 log-sine 积分技术证明 Boyd 在 1998 年关于特定 Laurent 多项式 Mahler 测度的两个猜想？
• RQ4 双重积分表示中 $\mu_n(1+x+y)$ 的内层积分结构为何？能否约化为多重调和 polylogarithm？
• RQ5 是否存在一个新 Mahler 测度可从广义 log-sine 积分框架中导出，特别是在 $\theta = \pi/3$ 处？

主要发现

• 本文证明了 Boyd 的猜想：$\mu(1+x+y+1/x+1/y) = 15\sum_{n=1}^\infty a_n/n^2$，其中 $a_n$ 来自模形式，使用了 log-sine 积分框架。
• 推导出一个新的 Mahler 测度：$\mu_{-1} = \mu((x+1)^2(y^2+y+1) - 2xy)$，其表达为超几何函数与 Beta 函数的组合。
• $\mu_1(1+x+y) = \frac{3}{2\pi}\operatorname{Ls}_2(2\pi/3)$，$\mu_2(1+x+y) = \frac{3}{\pi}\operatorname{Ls}_3(2\pi/3) + \frac{\pi^2}{4}$，且 $\mu_3(1+x+y)$ 可表示为 $\operatorname{Ls}_4(2\pi/3)$、$\operatorname{Cl}_4(\pi/3)$、$\operatorname{Cl}_2(\pi/3)$ 与 $\zeta(3)$ 的组合。
• $\mu_4(1+x+y)$ 表达为 $\operatorname{Ls}_5(2\pi/3)$、$\operatorname{Ls}_5(\pi/3)$、$\operatorname{Gl}_{4,1}(2\pi/3)$、$\operatorname{Gl}_{2,1}(2\pi/3)$、$\operatorname{Cl}_2(\pi/3)^2$ 与 $\pi^5$ 的组合，确认了猜想形式。
• 通过双重积分数值积分与有限差分法，对 $n=2$ 至 $8$ 的 $\mu_n(1+x+y)$ 进行了 250 位精度的数值验证，确认了分析结果。
• $\mu_3(1+x+y)$ 的评估被猜想为 $\frac{6}{\pi}\operatorname{Ls}_4(2\pi/3) - \frac{9}{\pi}\operatorname{Cl}_4(\pi/3) - \frac{\pi}{4}\operatorname{Cl}_2(\pi/3) - \frac{13}{2}\zeta(3)$，并提供了数值支持。