[论文解读] On logarithmic integrals, harmonic sums and variations

Ming Hao Zhao|arXiv (Cornell University)|Nov 27, 2019

Advanced Mathematical Identities参考文献 19被引用 8

一句话总结

本论文通过非MZV方法对权重至5的对数积分（LIs）、调和和（ESs）及其二次与多 polylog 变体（QLIs、QPLIs、QESs）进行了全面评估，同时通过 MZV 理论获得额外结果。论文推导出 85 个 LIs、89 个 ESs、263 个 PLIs、193 个 QLIs、172 个 QPLIs、83 个 QESs 及其相关族的闭式解，通过高级积分技巧与特殊函数恒等式，建立了其与超几何级数及非齐次积分之间的联系。

ABSTRACT

Based on various non-MZV approaches we evaluate certain logarithmic integrals and harmonic sums. More specifically, 85 LIs, 89 ESs, 263 PLIs, 28 non-alt QESs, 39 GESs, 26 BESs,14 IBESs with weight no more than 5, 193 QLIs, 172 QPLIs, 83 QESs, 7 QBESs, 3 IQBESs with weight no more than 4. With help of MZV theory we evaluate other 10 QESs with weight no more than 4. High weight hypergeometric series, nonhomogeneous integrals and other results are also established.

研究动机与目标

• 系统评估权重至 5 的对数积分（LIs）、多 polylog 积分（PLIs）及其二次与调和和变体（QESs、GESs、BESs），不依赖多重 zeta 值（MZV）理论。
• 通过 MZV 理论将这些评估扩展至更高权重情形，特别是解决此前难以处理的 10 个权重 ≤4 的 QESs。
• 建立这些积分与非齐次积分、嵌套和以及广义超几何函数之间的联系。
• 利用高级积分技巧解决两个长期悬而未决的猜想：Borwein 的二项式和猜想与 Au 的一般对数积分猜想。
• 展示初等方法的边界，并阐明对于更高权重问题，需依赖 QMZV（二次 MZVs）等更深层代数结构的必要性。

提出的方法

• 采用暴力积分、分部积分、分式与 Weierstrass 代换，以及围道积分法，对 LIs 和 PLIs 进行求值。
• 应用超几何恒等式、双重积分与参数积分技术，推导 QLIs 和 QPLIs 的闭式解。
• 对 Mellin 变换与 Beta 函数导数应用费曼技巧，处理积分的参数族。
• 利用 Valean 的主公式与级数展开方法，对特定参数类的 QPLIs 和 QESs 进行求值。
• 通过对称关系、部分分式分解与傅里叶展开简化并求解 ES 和 QES 家族。
• 在初等方法失效的高权重情形中引入 MZV 理论，特别是针对 10 个权重 ≤4 的 QESs。

实验结果

研究问题

• RQ1 能否通过非 MZV 技术，对权重 ≤5 的对数积分（LIs）与多 polylog 积分（PLIs）获得闭式求值？
• RQ2 如何系统地对权重至 4 的二次对数积分（QLIs）与二次多 polylog 积分（QPLIs）进行求值？
• RQ3 MZV 理论在解决剩余 10 个权重 ≤4 的、难以用初等方法处理的 QESs 中起到何种作用？
• RQ4 非齐次积分与广义欧拉和（GES、BES、IBES）能否用已知特殊函数与多 polylog 常数表示？
• RQ5 解决 Borwein 与 Au 的猜想对超几何与对数积分理论的更广泛意义是什么？

主要发现

• 论文通过非 MZV 方法，推导出 85 个权重 ≤5 的收敛对数积分（LIs）的闭式表达式。
• 对 89 个欧拉和（ESs）、263 个多 polylog 积分（PLIs）、193 个二次对数积分（QLIs）与 172 个二次多 polylog 积分（QPLIs）进行了求值，权重均 ≤4。
• 通过非 MZV 技术获得 83 个二次欧拉和（QESs）的闭式解，另有 10 个权重 ≤4 的 QESs 通过 MZV 理论得以解决。
• 论文解决了 Borwein 关于二项式和的猜想与 Au 关于一般对数积分的猜想，二者均为此前未解之谜。
• 建立了高权重超几何级数与积分之间的联系，包括通过广义超几何函数 $_pF_q$ 的表示。
• 结果表明，在权重 5 以上时，不可约常数出现，揭示了多 polylog 闭式解的局限性，并凸显了 QMZV 理论在实现更深层统一中的必要性。