[论文解读] Special Values of Generalized Log-sine Integrals

Jonathan M. Borwein, Armin Straub|NOVA (University of Newcastle, Australia)|Mar 22, 2011

Advanced Mathematical Identities参考文献 23被引用 7

一句话总结

本文通过 Nielsen 多 polylogarithm 和 multiple zeta values，对广义对数正弦积分在特殊参数（尤其是 π 和 π/3）处进行了显式符号化计算。文章建立了一个算法框架，将这些积分约化为已知的特殊函数，并在 Mathematica 和 SAGE 中实现了该方法，从而支持量子场论与数论中相关积分的精确符号计算。

ABSTRACT

We study generalized log-sine integrals at special values. At $π$ and multiples thereof explicit evaluations are obtained in terms of Nielsen polylogarithms at $\pm1$. For general arguments we present algorithmic evaluations involving Nielsen polylogarithms at related arguments. In particular, we consider log-sine integrals at $π/3$ which evaluate in terms of polylogarithms at the sixth root of unity. An implementation of our results for the computer algebra systems Mathematica and SAGE is provided.

研究动机与目标

• 推导广义对数正弦积分在 π 和 π/3 等特殊值处的闭式表达式。
• 建立这些积分向 multiple polylogarithm、multiple zeta values 以及 Clausen/Glaisher 函数的算法约化方法。
• 为计算机代数系统中对数正弦积分的精确符号计算提供计算框架。
• 支持理论物理中的应用，特别是在费曼图的 ε-展开和 multiple Mahler measures 方面。
• 在现有数值工具的基础上，补充符号化实现，以获得高精度与精确结果。

提出的方法

• 使用指数生成函数与递推关系，对 π 处的对数正弦积分进行求值，将其与二项式系数和 Gamma 函数联系起来。
• 应用解析延拓与傅里叶级数展开，将 π/3 处的对数正弦积分表示为单位根上六次单位根的 polylogarithm。
• 利用 multiple Clausen 和 Glaisher 函数，表示 multiple polylogarithm 在特殊角度下的实部与虚部。
• 提出在 z = 1 和 z = -1 处对 multiple polylogarithm 的约化系统，以及在 π/2、2π/3 和 π 处对 Clausen/Glaisher 函数的约化系统。
• 利用 PSLQ 算法发现并验证 multiple zeta values 与 polylogarithmic 恒等式。
• 在 Mathematica 和 SAGE 中实现符号转换流水线，通过针对 σ 的情况分析（例如 σ = 2mπ 或 σ ≤ π），将 Ls_n^(k)(σ) 映射为 polylogarithmic 表达式。

实验结果

研究问题

• RQ1 广义对数正弦积分在 π 处如何用 multiple zeta values 和 Nielsen polylogarithm 表示？
• RQ2 π/3 处对数正弦积分的符号化求值结果是什么？其与六次单位根上 polylogarithm 的关系如何？
• RQ3 能否系统地推导并实现 multiple polylogarithm 在特殊参数处的算法约化？
• RQ4 如何利用 Mathematica 和 SAGE 等符号计算系统精确求值对数正弦积分，特别是在物理应用中？
• RQ5 在 π/3 处对数正弦积分的求值中，会涌现出哪些精确恒等式？其与 Mahler measure 理论中已知结果的关系如何？

主要发现

• 对数正弦积分 Ls_5^(2)(2π) 的精确值为 −13/45 π⁵，验证了已知恒等式。
• 在 π/3 处，Ls_5^(0)(π/3) 的值为 1543/19440 π⁵ − 6 Gl_{4,1}(π/3)，凸显了 multiple Glaisher 函数的作用。
• Ls_5^(1)(π) 的值为 6 Li_{3,1,1}(−1) + (π² ζ(3))/4 − (105 ζ(5))/32，与 multiple zeta values 相关联。
• 通过 Ls_4^(2)(π) 的求值，推导出恒等式 ζ(3,1) = π⁴/360，确认了已知的 multiple zeta value。
• Ls_6^(3)(π/3) − 2 Ls_6^(1)(π/3) 的求值结果为 313/204120 π⁶，从而符号化地证明了 Zucker（2007）的结果。
• 该实现成功地将复杂的对数正弦积分约化为已知的特殊函数，实现了精确符号计算，并可通过外部库进行高精度数值计算。