[论文解读] An Explicit Formula Relating Stieltjes Constants and Li's Numbers

K. Maślanka|ArXiv.org|Jun 16, 2004

Advanced Mathematical Identities参考文献 3被引用 7

一句话总结

本文推导出一个显式公式，将Stieltjes常数$\gamma_n$与Li数$\tilde{\lambda}_n$联系起来，使得Li数的振荡部分可直接用$\gamma_n$表示。通过一种新颖的组合展开方法，涉及分拆与Pochhammer型乘积，作者建立了闭式表达式，揭示了这些常数与黎曼猜想之间的深层联系，特别是通过$\tilde{\lambda}_n$的有界性。

ABSTRACT

In this paper we present a new formula relating Stieltjes numbers $γ_{n}$ and Laurent coefficinets $η_{n}$ of logarithmic derivative of the Riemann's zeta function. Using it we derive an explicit formula for the oscillating part of Li's numbers $\overset{\sim}λ_{n}$ which are connected with the Riemann hypothesis.

研究动机与目标

• 建立Stieltjes常数$\gamma_n$与$-\zeta'/\zeta$的Laurent展开中系数$\eta_n$之间的直接解析关系。
• 利用$\gamma_n$推导Li数$\tilde{\lambda}_n$振荡部分的显式公式。
• 提供一个计算上可行的$\tilde{\lambda}_n$表达式，反映与黎曼猜想核心相关的性质。
• 形式化$\eta_n$与$\gamma_n$的组合结构，以带符号系数和阶乘归一化的分拆单项式表示。

提出的方法

• 通过Kronecker delta强制索引约束，并使用Pochhammer型乘积作为系数，推导出$\eta_{n-1}$关于$n$的整数分拆的通用公式。
• 将$\eta_n$表示为所有满足$\sum (1+i)k_i = n$的非负整数元组$k_i$的和，各项加权为$\Gamma(\sum k_i) \cdot \prod \frac{(-\gamma_i)^{k_i}}{k_i!}$。
• 通过反解关系，将$\gamma_n$表示为$\eta_n$的函数，得到一个带有$\frac{1}{(1+i)^{k_i}}$缩放的对偶公式。
• 将推导出的$\gamma_n$-$\eta_n$关系应用于Li的判别法，代入公式$\tilde{\lambda}_n = -\sum_{j=1}^n \binom{n}{j} \eta_{j-1}$。
• 利用所得表达式，生成$\tilde{\lambda}_n$在$n=4$以内的显式闭式展开，显示其复杂性随分拆数增加而上升。
• 通过符号计算（Mathematica）验证结构，确认一致性，并利用二项式系数过滤识别冗余项。

实验结果

研究问题

• RQ1 能否推导出一个显式闭式表达式，明确关联Stieltjes常数$\gamma_n$与$-\zeta'/\zeta$的Laurent展开中系数$\eta_n$？
• RQ2 Li数$\tilde{\lambda}_n$的振荡部分能否直接用$\gamma_n$表示？
• RQ3 $\eta_n$与$\tilde{\lambda}_n$展开中系数的组合结构是什么？
• RQ4 所推导的公式是否揭示了与黎曼猜想相关的$\tilde{\lambda}_n$渐近行为？
• RQ5 该公式能否系统地实现，以使用符号代数系统进行$\tilde{\lambda}_n$的数值计算？

主要发现

• 推导出显式公式：$\eta_{n-1} = n \sum_{\mathbf{k}} \Gamma(p) \delta_{n,r} \prod_{i=0}^n \frac{(-\gamma_i)^{k_i}}{k_i!}$，其中$p = \sum k_i$，$r = \sum (1+i)k_i$，且求和针对所有满足$r = n$的整数元组$k_i$。
• 逆关系为$\gamma_{n-1} = \sum_{\mathbf{k}} \delta_{n,r} \prod_{i=0}^n \frac{1}{k_i!} \left( \frac{-\eta_i}{1+i} \right)^{k_i}$，提供了从$\eta_n$计算$\gamma_n$的方法。
• Li数的振荡部分为$\tilde{\lambda}_n = -\sum_{\mathbf{k}} \Gamma(p) \binom{n}{r} r \prod_{i=0}^n \frac{(-\gamma_i)^{k_i}}{k_i!}$，非零项仅在$r \leq n$时出现。
• 计算出$\tilde{\lambda}_1$至$\tilde{\lambda}_4$的显式表达式，显示其复杂性随分拆数增加而上升，且各项分布不均匀。
• $\tilde{\lambda}_n$中贡献项的分布极不均匀，多数值接近零，微小的不对称性驱动了其振荡行为。
• 该公式确认，$\tilde{\lambda}_n$相对于趋势$\sim \frac{1}{2}(1 + n\ln n) + cn$的有界性，等价于黎曼猜想，其中$c = \frac{1}{2}(\gamma - 1 - \ln 2\pi)$。