[论文解读] Sums of alternating products of Riemann zeta values and solution of a Monthly problem

Mark W. Coffey|arXiv (Cornell University)|Jun 25, 2011

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

一句话总结

本文解决了《美国数学月刊》中的问题11585，证明了涉及黎曼ζ函数值交替乘积的无穷级数的精确求和。通过特殊函数理论、分部求和法及积分表示，作者推导出闭式结果：$ \sum_{k=3}^{\infty} \frac{1}{k}\left[\sum_{m=1}^{k-2} \zeta(k-m)\zeta(m+1) - k\right] = 3 + \gamma^2 + 2\gamma_1 - \frac{\pi^2}{3}$，其中$ \gamma$ 为欧拉-马歇罗尼常数，$ \gamma_1$ 为第一类斯蒂尔切斯常数。

ABSTRACT

We solve problem 11585 proposed by B. Burdick, AMM June-July 2011 {\bf 118} (6), p. 558 for the sum of certain products of Riemann zeta function values. We further point out an alternating sum analog, and then present and prove different alternating sum analogs. In addition, we present summation by parts and other results for the Hurwitz and Riemann zeta functions and for the digamma and trigamma functions.

研究动机与目标

• 为《美国数学月刊》问题11585提供解答，该问题涉及对黎曼ζ函数值乘积的复杂无穷级数求值。
• 通过推导原级数的交替和类比形式，特别是ζ函数乘积中引入交替符号，进一步拓展解法。
• 建立关于赫尔维茨ζ函数、黎曼ζ函数、ψ函数与三角ψ函数的新型分部求和恒等式，为解析数论提供实用工具。
• 探索并推导与函数$\xi(x)$相关的积分表示与级数展开，该函数与$[\psi(x) + \gamma]^2$及第一类斯蒂尔切斯常数相关。
• 利用部分求和与级数运算，对已知积分表示（如文献[4]中的）进行修正与优化。

提出的方法

• 解法基于恒等式$2\sum_{n=1}^{\infty} \frac{\psi(n)}{n^k} = k\zeta(k+1) - 2\gamma\zeta(k) - \sum_{\ell=1}^{k-2} \zeta(\ell+1)\zeta(k-\ell)$，其中$\psi(n) = H_{n-1} - \gamma$。
• 作者将主级数分解为若干基本分量，包括$\sum_{k=3}^{\infty} \frac{\zeta(k)-1}{k}$与$\sum_{k=3}^{\infty} (\zeta(k+1)-1)$，利用几何级数与对数展开完成分解。
• 系统性地将分部求和应用于赫尔维茨ζ函数与多伽马函数，推导出新恒等式，如$\zeta(s+1,a) = \sum_{r=0}^{\infty} [\psi(a+r+1) - \psi(a)] \left( \frac{1}{(r+a)^s} - \frac{1}{(r+a+1)^s} \right)$。
• 引入函数$\xi(x)$，并以积分形式表示：$\xi(x) = \int_0^\infty (e^{(1-x)t} - 1) \frac{\ln(1 - e^{-t})}{1 - e^t} dt$与$\xi(x) = \int_0^1 (u^{x-1} - 1) \frac{\ln(1 - u)}{u - 1} du$。
• 作者运用已知的对数调和和恒等式，如$\sum_{n=2}^\infty \left( \ln\left(\frac{n}{n-1}\right) - \frac{1}{n} \right) = 1 - \gamma$，以计算关键子级数。
• 数值验证基于已知值：$\zeta(2) = \frac{\pi^2}{6}$，$\zeta(3) \approx 1.202$，$\gamma \approx 0.5772$，用于最终化简。

实验结果

研究问题

• RQ1 问题11585中所提出的无穷级数$\sum_{k=3}^{\infty} \frac{1}{k} \left[ \sum_{m=1}^{k-2} \zeta(k-m)\zeta(m+1) - k \right]$的精确值是什么？
• RQ2 能否推导并以闭式表达原ζ函数乘积级数的交替和类比形式？
• RQ3 针对赫尔维茨ζ函数、ψ函数与三角ψ函数，可建立哪些新型分部求和恒等式？
• RQ4 函数$\xi(x)$（与$[\psi(x) + \gamma]^2$相关）如何通过积分与级数形式表示？
• RQ5 能否利用部分求和技术，对现有ζ函数及其相关函数的积分表示进行修正或优化？

主要发现

• 主级数精确求值为$3 + \gamma^2 + 2\gamma_1 - \frac{\pi^2}{3}$，其中$\gamma$为欧拉-马歇罗尼常数，$\gamma_1$为第一类斯蒂尔切斯常数。
• 推导出一个交替和类比：$\sum_{r=1}^{\infty} \frac{1}{2r+1} \left[ \sum_{\ell=1}^{2r-1} (-1)^{\ell+1} \zeta(\ell+1)\zeta(2r-\ell+1) - 2 \right] = \sum_{n=2}^{\infty} \frac{1}{n} \ln\left(\frac{n}{n-1}\right) + 2 - \zeta(2) - 2\gamma_1 - \gamma^2 - \ln 2$。
• 通过微分积分号内与数值验证，推导出积分表示$\int_0^\infty \frac{\sin u}{u} e^{-ku} du = \cot^{-1}k$。
• 证明函数$\xi(x)$满足$\xi(x) = \sum_{n=1}^\infty H_n \left( \frac{1}{x+n} - \frac{1}{n+1} \right)$，且其在$[0,1]$上的积分为$\frac{1}{2}(\zeta(2) - \gamma^2 - 2\gamma_1)$。
• 对文献[4]中的方程(44.8.5)提出修正，表明原始积分表示需调整，通过分部求和推导出新的有效形式。
• 确认恒等式$\lim_{s \to 0} [\zeta'(s+1,a) - \zeta'(s+1,b)] = \gamma_1(b) - \gamma_1(a)$，并由此推出$\gamma_1 - \gamma_1(1/2) = \ln^2 2 + 2\gamma \ln 2$。