[论文解读] Contributions to the Theory of the Barnes Function

Victor Adamchik|ArXiv.org|Aug 8, 2003

Analytic Number Theory Research参考文献 24被引用 35

一句话总结

本文提出了Barnes G-函数和多重伽马函数的新积分表示式与渐近展开式，实现了对Glaisher-Kinkelin常数的高精度计算。推导出Glaisher常数的新积分与级数公式，包括适用于任意精度计算的快速收敛级数，并建立了其与黎曼ζ函数、Stirling数以及Barnes函数特殊值之间的联系。

ABSTRACT

This paper presents a family of new integral representations and asymptotic series of the multiple gamma function. The numerical schemes for high-precision computation of the Barnes gamma function and Glaisher's constant are also discussed.

研究动机与目标

• 开发Barnes G-函数与多重伽马函数的新积分表示式与渐近展开式。
• 通过新颖的级数与积分公式，实现对Glaisher-Kinkelin常数的高精度数值计算。
• 建立Barnes函数、Hurwitz ζ函数与Glaisher常数等特殊常数之间的联系。
• 利用反射恒等式与Clausen函数恒等式，将Barnes G-函数的解析延拓与函数性质扩展至负实轴。
• 提供用于高精度计算Barnes函数与Glaisher常数的高效计算算法。

提出的方法

• 利用Hermite积分公式，推导出Hurwitz ζ函数在 s = -1 处导数的新积分表示式。
• 通过关于 ζ(2k+1) - 1 的求和（系数为有理数），引入 log A 的快速收敛级数，实现高精度计算。
• 利用ζ函数的积分表示式，并通过 t^λ 正则化进行逐项积分，以计算复杂数值积分。
• 应用Riemann ζ函数的函数方程，将Glaisher常数表示为 ζ′(2) 与 γ 的函数。
• 利用Clausen函数的反射与周期性性质，将Barnes G-函数扩展至负实轴上的自变量。
• 通过将级数变换为Laplace型积分，并利用Γ函数与ζ函数恒等式在 λ → 0 时取极限，验证 log A 的级数表达式。

实验结果

研究问题

• RQ1 能否为Barnes G-函数及其对数导数推导出新的积分与级数表示式？
• RQ2 如何通过级数展开实现对Glaisher-Kinkelin常数的任意精度计算？
• RQ3 Barnes G-函数在负实轴上的函数与解析性质为何？
• RQ4 Barnes G-函数与Glaisher常数如何与Hurwitz与Riemann ζ函数相关联？
• RQ5 能否通过积分恒等式对Barnes G-函数的渐近展开式进行改进，并与已知常数建立联系？

主要发现

• 推导出 log A 的新快速收敛级数：log A = log 2 / 12 + (1/36) Σ (ζ(2k+1) - 1)(28 + 3/(1+k) - 6/(2+k))，误差为 O(1/4^N)，实现 p 位精度需 ⌈p/2 log₂10⌉ 项。
• Glaisher-Kinkelin常数通过Barnes G-函数在 1/2 处的取值表示为：log A = 1/12 + log 2 / 36 - log π / 6 - (2/3) log G(1/2)，其中 G(1/2) 可通过积分 (32) 计算。
• 获得 log A 的新积分表示式：log A = (1 + log(2π))/12 - (1/(2π²)) ∫₀^∞ (x log x)/(e^x - 1) dx。
• 利用Riemann ζ函数的函数方程，将Glaisher常数重写为 A = exp(γ/12 - ζ′(2)/(2π²)) (2π)^{1/12}，与Mathematica的实现一致。
• 通过包含Clausen函数与 sin(πz) 的反射公式，将Barnes G-函数解析延拓至负实轴。
• 本文证明了 Hankel 矩阵的行列式 det(M_n) = G(n+1)，将Barnes函数与组合行列式联系起来。