[论文解读] Note on Malmstèn's paper De Integralibus quibusdam definitis seriebusque infinitis

Alexander Aycock|arXiv (Cornell University)|Jun 16, 2013

History and Theory of Mathematics参考文献 1被引用 3

一句话总结

本文揭示了一种此前被忽视的狄利克雷 eta-函数函数方程的证明，该证明直接源自蒙斯特（Malmstön）1846年论文《De integralibus quibusdam definitis seriebusque infinitis》中的公式。通过将极限过程与级数展开应用于蒙斯特的积分恒等式，作者仅使用蒙斯特时代可获得的工具，重建了 η(s) 的函数方程，证明他只需稍作额外工作即可推导出该方程。

ABSTRACT

We present a proof of the functional equation of the Riemann zeta-function or more precisely the Dirichlet eta-function, which proof seems to be new but follows almost immediately from Malmstèn's paper ``De integralibus quibusdam definitis seriebusque infinitis``

研究动机与目标

• 证明蒙斯特1846年的论文中已包含推导狄利克雷 eta-函数函数方程的关键要素，尽管该结果被遗漏。
• 通过展示其方法仅需微小延伸即可得出函数方程，来纠正对蒙斯特工作的历史忽视。
• 强调蒙斯特工作的深刻数学洞察力，其成果早于黎曼1859年证明zeta-函数函数方程13年。
• 呼吁学界重新关注蒙斯特的拉丁文论文，尽管其基础性贡献显著，但至今仍被低估。

提出的方法

• 从蒙斯特公式30出发，该公式涉及双曲函数与参数 a 的积分，将其与 [0,1] 区间上的对数积分联系起来。
• 取 a → 0 的极限以消除 sin(a) 因子，将左边转化为包含 u^{1-s}/(e^{πu} - e^{-πu}) 的表达式。
• 对两边进行几何级数展开：左边为 1/(1 - e^{-2πu})，右边为 1/(1+y)^2，从而得到级数表示。
• 交换求和与积分顺序，随后应用伽马函数恒等式 ∫₀^∞ e^{-y} y^{1-s} dy = Γ(2-s) 来计算积分。
• 利用已知积分 ∫₀¹ ln^{s-1}(1/y) y^{n-1} dy = Γ(s)/n^s，将右边表示为 η(s-1) 的形式。
• 代入关系式 λ(2-s) = (2^{2-s}-1)/(2^{2-s}-2) ⋅ η(2-s)，并将方程改写为 η(1-s) 的形式，最终得到函数方程。

实验结果

研究问题

• RQ1 蒙斯特是否仅凭其1846年论文中已有的工具与公式，就能推导出狄利克雷 eta-函数的函数方程？
• RQ2 尽管其论文内容深刻，为何在逾一个世纪中被忽视，且未被同时代学者引用？
• RQ3 蒙斯特的积分恒等式与 eta-函数函数方程之间的确切联系是什么？
• RQ4 从蒙斯特方法推导出的函数方程，与黎曼1859年对 zeta-函数函数方程的证明相比有何异同？
• RQ5 蒙斯特的方法在多大程度上预示了后来解析数论的发展，如梅林变换与解析延拓的应用？

主要发现

• 狄利克雷 eta-函数的函数方程 η(1-s) = (2^s - 1)/(1 - 2^{s-1}) ⋅ π^{-s} ⋅ cos(πs/2) ⋅ Γ(s) ⋅ η(s)，可直接从蒙斯特公式30通过极限与级数运算推导得出。
• 该推导仅依赖于蒙斯特时代已知的标准积分恒等式与级数展开，表明该函数方程在其能力范围之内。
• 蒙斯特公式57在 x=0 时等价于证明中所用的关键积分恒等式，证实其存在于其原始工作中。
• 关系式 λ(s) = (2^s - 1)/(2^s - 2) ⋅ η(s) 将狄利克雷 beta-函数与 eta-函数联系起来，从而实现最终变换。
• 本文认为，蒙斯特未能推导出 eta-函数方程并非因工具不足，而更可能是缺乏显式的解析延拓概念。
• 作者结论认为，蒙斯特的论文包含深刻且被低估的结果，包括对 lnΓ(x) 傅里叶级数的推导，其时间早于库默尔1847年的结果。