[论文解读] Generalized Harmonic Numbers Revisited

Jose Risomar Sousa|arXiv (Cornell University)|Oct 18, 2018

Advanced Mathematical Identities被引用 3

一句话总结

本文提出了一种基于Faulhaber公式的新闭式公式，用于广义调和数 $ H_k(n) $，实现了 $ \zeta(2k+1) $ 的精确幂级数表示，以及新颖的积分与生成函数。该方法在简洁性上优于双伽马函数，并提供了与现有文献不同的原创性结果。

ABSTRACT

This paper presents new formulae for the harmonic numbers of order $k$, $H_{k}(n)$, and for the partial sums of two Fourier series associated with them, denoted here by $C^m_{k}(n)$ and $S^m_{k}(n)$. I believe this new formula for $H_{k}(n)$ is an improvement over the digamma function, $\psi$, because it's simpler and it stems from Faulhaber's formula, which provides a closed-form for the sum of powers of the first $n$ positive integers. We demonstrate how to create an exact power series for the harmonic numbers, a new integral representation for $\zeta(2k+1)$ and a new generating function for $\zeta(2k+1)$, among many other original results. The approaches and formulae discussed here are entirely different from solutions available in the literature.

研究动机与目标

• 开发一种比双伽马函数 $ \psi $ 更简单、更直接的广义调和数 $ H_k(n) $ 的新公式。
• 以Faulhaber公式为基础，推导 $ H_k(n) $ 的精确幂级数表示。
• 建立奇数黎曼ζ函数值 $ \zeta(2k+1) $ 的新积分表示。
• 构建一种与已知方法不同的 $ \zeta(2k+1) $ 新生成函数。
• 将该框架扩展至傅里叶级数的部分和 $ C^m_k(n) $ 与 $ S^m_k(n) $，从而获得新的解析工具。

提出的方法

• 利用Faulhaber公式将整数幂的和表示为多项式，作为推导 $ H_k(n) $ 的基础。
• 应用代数变形与级数展开技术，将基于Faulhaber的表达式转化为 $ H_k(n) $ 的精确幂级数。
• 通过分析所推导的调和数展开式的渐近行为与结构，推导出 $ \zeta(2k+1) $ 的积分表示。
• 利用所推导的幂级数及zeta函数的性质，构建 $ \zeta(2k+1) $ 的生成函数。
• 将该方法扩展至计算傅里叶级数 $ C^m_k(n) $ 与 $ S^m_k(n) $ 的部分和，将其与调和数结构相联系。
• 确保所有结果在分析上完全精确，并与文献中现有解法有本质区别。

实验结果

研究问题

• RQ1 能否基于Faulhaber公式推导出一种比双伽马函数更简单且直接的 $ H_k(n) $ 闭式公式？
• RQ2 利用该新方法，能否构建 $ H_k(n) $ 的精确幂级数表示？
• RQ3 能否基于调和数展开推导出 $ \zeta(2k+1) $ 的新积分表示？
• RQ4 能否利用所推导的调和数表达式，构建 $ \zeta(2k+1) $ 的新颖生成函数？
• RQ5 相关傅里叶级数的部分和 $ C^m_k(n) $ 与 $ S^m_k(n) $ 与广义调和数之间存在何种关系？

主要发现

• 推导出一种比双伽马函数更简单、更易直接计算的 $ H_k(n) $ 新闭式公式。
• 基于Faulhaber公式的结构，建立了 $ H_k(n) $ 的精确幂级数表示。
• 通过所推导的调和数展开式的渐近分析，获得了 $ \zeta(2k+1) $ 的新积分表示。
• 构建了 $ \zeta(2k+1) $ 的新颖生成函数，为研究奇数ζ值提供了新的分析工具。
• 将相关傅里叶级数的部分和 $ C^m_k(n) $ 与 $ S^m_k(n) $ 表示为广义调和数的形式，揭示了更深层次的结构关联。
• 所有结果在分析上完全精确，且与现有文献方法有显著差异。