[论文解读] New Properties of Fourier Series and Riemann Zeta Function

Guang-Qing Bi, Yuekai Bi|arXiv (Cornell University)|Aug 30, 2010

Advanced Mathematical Identities参考文献 6被引用 5

一句话总结

本文提出一种新颖方法，通过利用抽象算子 $\cos(h\partial_x)$ 和 $\sin(h\partial_x)$，将幂级数和映射为三角级数和，从而计算三角级数——特别是与黎曼ζ函数相关的狄利克雷级数——的和。关键贡献是基于递推关系，推导出 $\mathfrak{D}(2r)$ 和 $\mathcal{D}(2r+1)$ 的闭式表达式，包括精确值如 $\mathfrak{D}(6) = \frac{361\pi^6}{491520}$ 和 $\mathcal{D}(7) = \frac{307\pi^7}{1310720}$，为 $\zeta(2n+1)$ 提供了新见解。

ABSTRACT

We establish the mapping relations between analytic functions and periodic functions using the abstract operators $\cos(h\partial_x)$ and $\sin(h\partial_x)$, including the mapping relations between power series and trigonometric series, and by using such mapping relations we obtain a general method to find the sum function of a trigonometric series. According to this method, if each coefficient of a power series is respectively equal to that of a trigonometric series, then if we know the sum function of the power series, we can obtain that of the trigonometric series, and the non-analytical points of which are also determined at the same time, thus we obtain a general method to find the sum of the Dirichlet series of integer variables, and derive several new properties of $ζ(2n+1)$.

研究动机与目标

• 通过抽象算子 $\cos(h\partial_x)$ 和 $\sin(h\partial_x)$，建立解析函数与周期函数之间的系统性映射。
• 开发一种通用方法，利用已知的幂级数和，确定三角级数的和函数。
• 推导涉及奇数ζ值 $\zeta(2n+1)$ 的狄利克雷级数的新闭式表达式，特别是 $\mathcal{D}(2r+1)$。
• 提供递推关系，实现基于已知ζ值与狄利克雷β函数值的 $\mathfrak{D}(2r)$ 和 $\mathcal{D}(2r+1)$ 的递归计算。

提出的方法

• 该方法利用抽象算子 $\cos(h\partial_x)$ 和 $\sin(h\partial_x)$，通过指数函数与三角函数的函数恒等式，将幂级数和映射为三角级数和。
• 利用恒等式 $\cos(h\partial_x)e^{bx} = \cos(bh)e^{bx}$ 和 $\sin(h\partial_x)e^{bx} = \sin(bh)e^{bx}$ 推导出级数类型之间的变换规则。
• 该方法依赖于算子恒等式 $\cos(h\partial_x)f(x) = \Re[f(x+ih)]$ 和 $\sin(h\partial_x)f(x) = \Im[f(x+ih)]$，将解析行为与周期行为关联。
• 关键技术在于在受限区间（如 $[0, c/4]$）上求值三角级数，以推导多项式逼近与递推关系。
• 该方法应用从 $x_0 = c/4$ 处级数求值导出的递推公式，例如 $\sum_{k=0}^{r-1} (-1)^k \frac{1}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathfrak{D}(2r-2k) = \frac{2^{2r}-1}{2^{2r+1}} \zeta(2r)$。
• 通过已知的 $\zeta(2r)$ 和 $\lambda(2r)$ 值，利用符号算子代数递归计算 $\mathfrak{D}(2r)$ 和 $\mathcal{D}(2r+1)$，避免收敛圆盘分析问题。

实验结果

研究问题

• RQ1 能否通过抽象微分算子，系统地从对应幂级数的和推导出三角级数的和？
• RQ2 形式为 $\mathfrak{D}(2r) = \frac{1}{\sqrt{2}}\sum_{n=1}^\infty (-1)^{[n/2]} \frac{1}{(2n-1)^{2r}}$ 的狄利克雷级数的和受何种递推关系支配？
• RQ3 该方法能否为 $\mathcal{D}(2r+1) = \frac{1}{\sqrt{2}}\sum_{n=0}^\infty (-1)^{[n/2]} \frac{1}{(2n+1)^{2r+1}}$ 提供精确的闭式表达式？
• RQ4 如何通过导出的具有非解析点的三角级数和来研究 $\zeta(2n+1)$ 的值？

主要发现

• 本文推导出 $\mathfrak{D}(6) = \frac{361\pi^6}{491520}$，即涉及奇数整数的六阶狄利克雷级数的闭式表达式。
• 计算得出 $\mathcal{D}(7) = \frac{307\pi^7}{1310720}$，为七阶与奇数ζ值相关的级数提供了精确值。
• 递推关系 $\sum_{k=0}^{r-1} (-1)^k \frac{1}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathfrak{D}(2r-2k) = \frac{2^{2r}-1}{2^{2r+1}} \zeta(2r)$ 实现了 $\mathfrak{D}(2r)$ 的递归计算。
• 对于 $\mathcal{D}(2r+1)$，建立了递推关系 $\sum_{k=0}^{r} \frac{(-1)^k}{(2k)!} \left(\frac{\pi}{4}\right)^{2k} \mathcal{D}(2r+1-2k) = \frac{1}{2}\beta(2r+1)$，其中 $\beta(2r+1)$ 由特殊函数已知。
• 该方法成功地将幂级数和映射为三角级数和，无需收敛圆盘分析，避免了泰勒展开的局限性。