[论文解读] On representations and differences of Stieltjes coefficients, and other relations

Mark W. Coffey|ArXiv.org|Sep 19, 2008

Mathematical functions and polynomials参考文献 15被引用 4

一句话总结

本文为Stieltjes系数γₖ(a)提供了新的精确解析结果，包括级数表示、积分公式以及涉及有理数自变量差值的求和关系。文章建立了Stieltjes常数、对数积分、Hurwitz和Dirichlet L-函数之间的联系，并推导出显式表达式，例如Iₙ = 1 − ∑_{j=0}^{n−1} γⱼ/j!，用于涉及小数部分的多重积分。

ABSTRACT

The Stieltjes coefficients $γ_k(a)$ arise in the expansion of the Hurwitz zeta function $ζ(s,a)$ about its single simple pole at $s=1$ and are of fundamental and long-standing importance in analytic number theory and other disciplines. We present an array of exact results for the Stieltjes coefficients, including series representations and summatory relations. Other integral representations provide the difference of Stieltjes coefficients at rational arguments. The presentation serves to link a variety of topics in analysis and special function and special number theory, including logarithmic series, integrals, and the derivatives of the Hurwitz zeta and Dirichlet $L$-functions at special points. The results have a wide range of application, both theoretical and computational.

研究动机与目标

• 推导有理数自变量下Stieltjes系数γₖ(a)的精确解析表达式。
• 通过Dirichlet L-函数和Hurwitz zeta函数的性质，建立Stieltjes系数与对数积分之间的联系。
• 为γₖ(a)提供适合数值计算的快速收敛级数表示。
• 以Stieltjes常数的形式显式求值多重小数部分积分。
• 通过γₖ(a)相关关系，统一分析、特殊函数和解析数论中的多个主题。

提出的方法

• 利用复分析和Hurwitz zeta函数的函数方程，推导出γₖ(a)的新积分表示。
• 应用函数方程(0.2)和积分公式(0.3)，将Stieltjes系数与三角函数和Dirichlet L-函数联系起来。
• 使用极限表示(0.6)，并通过围道积分和渐近分析将其转化为快速收敛形式。
• 引入量Cₖ(a) ≡ γₖ(a) − (lnᵏa)/a，以分离系数中的非对数部分。
• 应用变量替换技巧和雅可比变换，以计算涉及小数部分的多重积分。
• 采用分部积分法和已知积分恒等式（例如来自[11]）将{t}/t²的积分与Stieltjes常数关联起来。

实验结果

研究问题

• RQ1 如何为有理数a的Stieltjes系数γₖ(a)建立快速收敛级数表示？
• RQ2 有理数a, b下γₖ(a) − γₖ(b)的精确解析形式是什么？
• RQ3 形如∫₀¹⋯∫₀¹{1/(x₁⋯xₙ)}dx₁⋯dxₙ的多重积分如何与Stieltjes常数相关？
• RQ4 能否从Hurwitz zeta函数的性质推导出对数和的积分表示？
• RQ5 当n → ∞时，n重积分Iₙ的极限行为如何？

主要发现

• 本文推导出n重积分Iₙ = ∫₀¹⋯∫₀¹{1/(x₁⋯xₙ)}dx₁⋯dxₙ的精确求值结果：Iₙ = 1 − ∑_{j=0}^{n−1} γⱼ/j!。
• 证明了limₙ→∞ Iₙ = 1/2，对应于−ζ(0)，与已知的zeta函数取值一致。
• 给出了一个新的积分表示：γₖ(a) = (1/(2a))lnᵏa − lnᵏ⁺¹a/(k+1) + (2/a)Re∫₀^∞ (y/a − i)lnᵏ(a−iy)/[(1+y²/a²)(e²πy−1)] dy，其中Re a > 0。
• 有理数自变量下Stieltjes系数的差值通过涉及Hurwitz zeta函数和Dirichlet L-函数的积分表达。
• 本文给出了恒等式∫₁^∞ {x}/x² dx = 1 − γ的全新证明，利用了错位级数和调和数恒等式。
• 证明了∑_{j=1}^∞ [ln((j+1)/j) − 1/(j+1)] = 1 − γ，将对数和与Euler–Mascheroni常数联系起来。