[论文解读] Logarithmic Integrals, Polylogarithmic Integrals and Euler sums

Bernard J. Laurenzi|arXiv (Cornell University)|Oct 29, 2010

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

一句话总结

本文利用尼尔森广义多对数函数，建立了一个统一框架，用于处理对数和、多对数和与欧拉和，推导出涉及多对数函数乘积积分的闭式解与递推关系。主要成果包括对参数差为奇数或偶数的积分的对称差分方程与有限和表达式，使这些积分可精确表示为黎曼ζ函数与特殊和的形式。

ABSTRACT

Relations among integrals of logarithms, polylogarithms and Euler sums are presented. A unifying element being the introduction of Nielsen's generalized polylogarithms.

研究动机与目标

• 通过尼尔森广义多对数函数统一处理对数积分、多对数积分与欧拉和。
• 推导不同阶多对数函数乘积积分的递推关系。
• 利用ζ函数与有限和，以闭式表达参数差为奇数或偶数的积分。
• 通过级数展开与特殊函数恒等式，提供交错欧拉和的精确与近似求值。

提出的方法

• 推导出一个对称的偏差分方程（式(5)），将多对数函数乘积的积分与涉及ζ函数的边界项联系起来。
• 应用分部积分与求和技巧，推导出递推关系（式(6)），将参数平移后的积分表示为初始值与R(p,q)项的组合。
• 利用对称性与参数代换（例如令p = q + 2n − 1），获得参数差为奇数的积分的闭式表达式。
• 将特殊和如𝒥₁(r)与𝒥₂(r)表示为尼尔森积分、ζ函数与调和和的形式，包括σ̃与s项。
• 利用斯特林数与多对数函数导数推导交错欧拉和的级数展开，实现高精度近似。
• 将涉及log(1±t)/(1−t)的积分与特殊和关联，并通过ζ函数与对数积分表达。

实验结果

研究问题

• RQ1 如何通过递推关系系统地关联多对数函数乘积的积分？
• RQ2 当阶数差为奇数或偶数时，可导出哪些闭式表达式？
• RQ3 尼尔森广义多对数函数如何统一处理对数积分、多对数积分与欧拉和？
• RQ4 能否通过包含斯特林数与ζ函数的级数展开，高精度近似交错欧拉和？
• RQ5 多重多对数函数与特殊和𝒥₁(r)和𝒥₂(r)之间存在何种关系？

主要发现

• 积分I(p,q)满足对称差分方程（式(5)），可递归地用包含ζ函数的R(p,q)项表示。
• 当参数差为奇数时，如I(p,p+2n−1)，可导出有限和形式的闭式表达式，即ζ函数的有限和（式(8)）。
• 当参数差为偶数时，如I(p,p+2n)，可通过I(p+n,p+n)与R(p,q)项的有限和表示（式(9)）。
• 和𝒥₂(2n+1)可表示为½[s₂ₙ,₂ + σ̃₂ₙ,₂] − 𝒞(2n+1) + 2⁻²ⁿ⁻²ζ(2n+2)，其中𝒞(2n+1)与尼尔森积分相关。
• 通过截断级数展开，利用ζ函数与斯特林数，将交错欧拉和S₋(5)近似到小数点后九位，得到有理数与超越数的表达式。
• 和𝒥₁(r)可表示为½[sᵣ₋₁,₂ − σ̃ᵣ₋₁,₂] − 𝒪(r)，而𝒥₂(r)则通过(1−2⁻ʳ)sᵣ₋₁,₂ + σ̃ᵣ₋₁,₂重写，明确显示出对ζ函数与调和和的依赖。