[论文解读] New results on the Stieltjes constants: Asymptotic and exact evaluation

Mark W. Coffey|ArXiv.org|Jun 23, 2005

Analytic Number Theory Research参考文献 13被引用 6

一句话总结

本文提出了关于 Hurwitz zeta 函数 $\zeta(s,a)$ 在 $s=1$ 附近的洛朗展开中出现的 Stieltjes 常数 $\gamma_k(a)$ 的新渐近表达式与精确表达式。通过涉及周期 Bernoulli 多项式和函数方程的积分表示，作者推导出新颖的求和公式、对称性关系（例如 $C_n(a+1/2) \to -C_n(a)$），以及对 Euler 常数和 $\ln \pi$ 等基本常数的快速收敛级数，解决了 Kreminski 的一个猜想，并扩展了 Dilcher 的结果。

ABSTRACT

The Stieltjes constants are the expansion coefficients in the Laurent series for the Hurwitz zeta function about s=1. We present new asymptotic, summatory, and other exact expressions for these and related constants.

研究动机与目标

• 推导 Hurwitz zeta 函数 $\zeta(s,a)$ 在 $s=1$ 处洛朗级数中系数 $\gamma_k(a)$ 的新精确与渐近表达式。
• 解决 Kreminski 关于 $C_n(a) = \gamma_n(a) - \ln^n a / a$ 在大 $n$ 时具有 $1/2$ 反周期性的猜想。
• 建立对 Euler 常数 $\gamma$、$\ln \pi$ 和 Bernoulli 数等基本常数的新无穷级数表示，其收敛速度足够快，适用于数值计算。
• 通过函数方程与积分变换，将 Stieltjes 常数与广义 digamma 函数及 Hurwitz zeta 函数联系起来。
• 利用周期 Bernoulli 多项式与傅里叶展开，建立系统性框架，揭示 Stieltjes 与 $\eta_j$ 常数的深层解析结构。

提出的方法

• 利用周期 Bernoulli 多项式 $P_k(x)$ 的傅里叶展开与有界性性质，推导 $\gamma_k(a)$ 的精确积分表示。
• 应用 Bernoulli 多项式的乘法公式，推导 $\gamma_k(a)$ 的求和恒等式，包括命题 2 与 6。
• 利用 Hurwitz zeta 函数的函数方程与洛朗级数展开，推导 $\gamma_k(r/q)$ 的对称和，如命题 3 所示。
• 通过涉及 $P_1(x)$ 的积分表示，应用 digamma 与 polygamma 函数，借助 $\psi^{(n)}(x) = (-1)^{n+1}n!\zeta(n+1,x)$ 与 Hurwitz zeta 函数建立联系。
• 利用广义 digamma 函数 $\psi_k(a)$ 将 $\gamma_k(a)$ 与 $\zeta(s,a)$ 在 $s=0$ 处的导数联系起来，建立 $\psi_k(a) = -\gamma_k(a)$。
• 应用 Newton-Cotes 类型的积分方法与级数加速技术，验证所推导级数的快速收敛性，如命题 8(a) 与 (b) 所示。

实验结果

研究问题

• RQ1 Kreminski 的数值观测表明，当 $n$ 很大时，反周期性关系 $C_n(a+1/2) \to -C_n(a)$ 是否在渐近意义下成立？
• RQ2 能否利用 Stieltjes 常数的积分表示，为 Euler 常数 $\gamma$、$\ln \pi$ 和 $\gamma_1$ 等基本常数推导出精确且快速收敛的级数？
• RQ3 Stieltjes 常数 $\gamma_k(a)$ 与广义 digamma 函数 $\psi_k(a)$ 及 Hurwitz zeta 函数之间存在何种关系？
• RQ4 和式 $\sum_{r=1}^{q-1} \gamma_k(r/q)$ 的结构是怎样的？它与 $\gamma_k$ 和 $\ln q$ 有何关联？
• RQ5 能否利用 Hurwitz zeta 函数的函数方程，为有理数自变量的 $\gamma_k(a)$ 之和推导出精确恒等式？

主要发现

• 命题 1 严格证明了 Kreminski 的猜想：当 $n \to \infty$ 时，$C_n(a+1/2) \to -C_n(a)$，确立了大指标下 Stieltjes 常数的反周期性。
• 命题 2 提供了 $\gamma_n$ 的新精确公式，通过 $P_n(mx)$ 与 $\ln^k x / x^{n+1}$ 的积分表示，对任意正整数 $m$ 成立，适用于高精度计算。
• 命题 8(a) 推导出 Euler 常数 $\gamma$ 的快速收敛级数，在朴素实现中，$n=51$ 项后即可达到 16 位精度。
• 命题 8(b) 给出 $-\gamma_1$ 的类似高精度级数，其收敛速度足以满足数值应用需求。
• 建立了关系 $\psi_k(a) = -\gamma_k(a)$，表明广义 digamma 函数与 Stieltjes 常数直接关联，统一了 Dilcher 等人的先前结果。
• 本文推导出 $\ln \pi$ 的新无穷级数表达式，其形式包含二项式系数与对数，收敛速度适合数值计算。