[论文解读] Series representations for the Stieltjes constants

Mark W. Coffey|ArXiv.org|May 7, 2009

Advanced Mathematical Identities参考文献 12被引用 22

一句话总结

本文提出了关于广义Stieltjes常数 $\gamma_k(a)$ 的新颖级数表示，即Hurwitz zeta函数 $\zeta(s,a)$ 在 $s=1$ 附近的洛朗展开系数。通过利用第一类Stirling数以及涉及digamma函数和zeta函数的积分表示，作者推导出 $\gamma_k = \gamma_k(1)$ 的指数快速收敛级数，同时给出加法公式与导数表达式，实现了高精度计算，并为这些常数提供了更深入的解析洞察。

ABSTRACT

The Stieltjes constants γ_k(a) appear as the coefficients in the regular part of the Laurent expansion of the Hurwitz zeta function ζ(s,a) about s=1. We present series representations of these constants of interest to theoretical and computational analytic number theory. A particular result gives an addition formula for the Stieltjes constants. As a byproduct, expressions for derivatives of all orders of the Stieltjes coefficients are given. Many other results are obtained, including instances of an exponentially fast converging series representation for γ_k=γ_k(1). Some extensions are briefly described, as well as the relevance to expansions of Dirichlet L functions.

研究动机与目标

• 开发Stieltjes常数 $\gamma_k(a)$ 的快速收敛级数表示，这些常数在解析数论及黎曼zeta函数研究中至关重要。
• 推导 $\gamma_k(a)$ 的加法公式，扩展已知的递推关系，支持在不同参数下的计算。
• 提供Stieltjes系数所有阶导数的表达式，支持高级渐近与计算分析。
• 改进对幅度 $|\gamma_k(a)|$ 的估计，尽管其在数论中具有重要意义，但目前仍理解不足。
• 建立与Dirichlet $L$-函数及Lerch zeta函数的联系，将适用范围扩展至更广泛的特殊函数。

提出的方法

• 利用第一类Stirling数 $s(k,j)$ 构造 $\gamma_k(a)$ 的级数展开，将组合结构与解析数论相联系。
• 采用涉及Hurwitz zeta函数及其导数 $\zeta^{(m)}(k+1,a)$ 的积分表示，将 $\gamma_k(a)$ 表示为无穷级数。
• 通过生成函数与周期性Bernoulli多项式 $P_1(t)$ 的性质，推导出加法公式（命题1）。
• 应用生成函数 $\sum_{n=1}^\infty p_{n+1} z^{n-1} = \frac{1}{z} + \frac{1}{\ln(1-z)}$，将系数 $p_{n+1}$ 与zeta值及Euler常数联系起来。
• 利用Knessl的积分表示 $p_{n+1} = \int_0^\infty \frac{du}{(1+u)^n (\ln^2 u + \pi^2)}$ 推导渐近形式，并给出Euler常数 $\gamma$ 的新积分表示。
• 通过级数与积分变换，建立与Lerch zeta函数及Dirichlet $L$-函数的联系，将框架扩展至更广泛的zeta型函数。

实验结果

研究问题

• RQ1 能否为Stieltjes常数 $\gamma_k(a)$ 构造出快速收敛的级数表示，特别是 $\gamma_k = \gamma_k(1)$？
• RQ2 $\gamma_k(a)$ 的加法公式结构如何？它如何推广已知的递推关系？
• RQ3 如何利用zeta导数以闭式表达Stieltjes系数的所有阶导数？
• RQ4 当 $k \to \infty$ 时，$\gamma_k(a)$ 的渐近行为如何？能否实现更精确的估计？
• RQ5 与Stieltjes系数相关的常数 $p_{n+1}$ 能否实现渐近刻画？这对 $\gamma$ 有何影响？

主要发现

• 推导出 $\gamma_k = \gamma_k(1)$ 的指数快速收敛级数表示，这是针对Stieltjes常数的首批此类结果之一。
• 建立了加法公式（1.2）：$\gamma_\ell(a+b) = \gamma_\ell(a) + (-1)^\ell \sum_{j=2}^\infty \frac{b^{j-1}}{(j-1)!} \sum_{k=0}^\ell (-1)^k \binom{\ell}{k} s(j,k+1) k! \zeta^{(\ell-k)}(j,a)$，在 $\operatorname{Re} a > 0$，$|a| > |b|$ 条件下成立。
• $\gamma_\ell(a)$ 的导数表达式为 $\gamma_\ell^{(j)}(a) = (-1)^\ell \sum_{k=0}^\ell (-1)^k k! \binom{\ell}{k} s(j+1,k+1) \zeta^{(\ell-k)}(j+1,a)$，提供了所有阶导数的通用公式。
• 推导出当 $\ell \to \infty$ 时 $\gamma_\ell(a)$ 的渐近展开，涉及Bernoulli数与Stirling数，揭示了其增长速率。
• Euler常数 $\gamma$ 被表示为积分：$\gamma = \int_{-\infty}^\infty \frac{e^z}{z^2 + \pi^2} \ln(1 + e^{-z}) dz$，该结果源自 $p_{n+1}$ 的渐近行为。
• 确认并扩展了渐近形式 $p_{n+1} \sim \frac{1}{n(\ln n + \gamma)^2}$，得到具有可计算系数 $A_j$ 的完整渐近级数，改进了先前的估计。