2025-11-23T00:43:15.757890

A simple computation of $ζ(2k)$ by using Bernoulli polynomials and a telescoping series

Ciaurri, Navas, Ruiz et al.
We present a new proof of Euler's formulas for $ζ(2k)$, where $k = 1,2,3,...$, which uses only the defining properties of the Bernoulli polynomials, obtaining the value of $ζ(2k)$ by summing a telescoping series. Only basic techniques from Calculus are needed to carry out the computation. The method also applies to $ζ(2k+1)$ and the harmonic numbers, yielding integral formulas for these.
academic

A simple computation of ζ(2k) by using Bernoulli polynomials and a telescoping series

基本信息

  • 论文ID: 1209.5030
  • 标题: A simple computation of ζ(2k) by using Bernoulli polynomials and a telescoping series
  • 作者: Óscar Ciaurri, Luis M. Navas, Francisco J. Ruiz, Juan L. Varona
  • 分类: math.NT (Number Theory)
  • 发表时间: 2013年12月16日 (arXiv v2)
  • 期刊: American Mathematical Monthly (待发表)
  • 论文链接: https://arxiv.org/abs/1209.5030

摘要

本文提出了一种新的简单证明方法来证明欧拉关于ζ(2k)的公式，其中k = 1,2,3,...。该方法仅使用伯努利多项式的定义性质，通过求和望远镜级数来获得ζ(2k)的值。证明过程只需要基本的微积分技巧。该方法同样适用于ζ(2k+1)和调和数，为它们提供了积分公式。

研究背景与动机

问题背景

本文要解决的核心问题是证明欧拉在1740年首次发表的著名公式：

ζ(2k):=∑n=1∞1n2k=(−1)k−122k−1π2k(2k)!B2k\zeta(2k) := \sum_{n=1}^{\infty} \frac{1}{n^{2k}} = \frac{(-1)^{k-1}2^{2k-1}\pi^{2k}}{(2k)!}B_{2k}

其中BkB_k是第k个伯努利数。

研究重要性

  1. 历史意义：这是数学史上最重要的级数求和公式之一，连接了黎曼ζ函数与伯努利数
  2. 理论价值：为理解特殊函数值提供了深刻洞察
  3. 应用广泛：在数论、分析学和数学物理中有重要应用

现有方法局限性

文献中存在多种证明方法，但大多数需要：

  • 复杂的傅里叶分析理论
  • 高级的复分析技巧
  • 生成函数的深入理论
  • 或其他非初等的数学工具

研究动机

本文旨在提供一个"简单而初等"的证明，仅需要：

  • 基本的单变量微积分
  • 伯努利多项式的基本性质
  • 望远镜级数技巧

核心贡献

  1. 提出了新的初等证明方法：使用望远镜级数技巧证明欧拉公式ζ(2k)
  2. 方法简化：避免了复杂的傅里叶级数理论，仅需基本微积分
  3. 统一框架：同一方法可处理ζ(2k+1)，得到积分表示公式
  4. 额外应用：为调和数提供了新的积分公式
  5. 技术创新：巧妙运用三角恒等式将级数转化为望远镜形式

方法详解

任务定义

输入：正整数k 输出：ζ(2k)的精确值 目标：证明欧拉公式并提供计算方法

核心方法架构

1. 伯努利多项式基础

定义伯努利多项式Bk(t)B_k(t)通过生成函数： xextex−1=∑k=0∞Bk(t)xkk!\frac{xe^{xt}}{e^x-1} = \sum_{k=0}^{\infty} B_k(t)\frac{x^k}{k!}

关键性质：

  • B0(t)=1B_0(t) = 1
  • Bk′(t)=kBk−1(t)B'_k(t) = kB_{k-1}(t), k≥1k \geq 1
  • ∫01Bk(t)dt=0\int_0^1 B_k(t)dt = 0, k≥1k \geq 1
  • B2k(1)=B2k(0)=B2kB_{2k}(1) = B_{2k}(0) = B_{2k}

2. 辅助积分计算

考虑积分： I(k,m):=∫01B2k(t)cos⁡(mπt)dtI(k,m) := \int_0^1 B_{2k}(t)\cos(m\pi t)dt

通过两次分部积分得到递推关系： I(k,m)=−2k(2k−1)m2π2I(k−1,m)I(k,m) = -\frac{2k(2k-1)}{m^2\pi^2}I(k-1,m)

解得闭式表达式：

0, & m = 1,3,5,\ldots \\ \frac{(-1)^{k-1}(2k)!}{m^{2k}\pi^{2k}}, & m = 2,4,6,\ldots \end{cases}$$ #### 3. 望远镜级数技巧 引入修正的伯努利多项式$B^*_k(t) = B_k(t) - B_k(0)$，对应积分： $$I^*(k,m) := \int_0^1 B^*_{2k}(t)\cos(m\pi t)dt = I(k,m)$$ 关键步骤是使用三角恒等式： $$\cos(mx) = \frac{\sin(\frac{2m+1}{2}x) - \sin(\frac{2m-1}{2}x)}{2\sin(\frac{x}{2})}$$ #### 4. 望远镜求和 将级数写成望远镜形式： $$\sum_{m=1}^{\infty} I^*(k,m) = \lim_{N\to\infty} \int_0^1 B^*_{2k}(t)\frac{\sin(\frac{2N+1}{2}\pi t)}{2\sin(\frac{\pi t}{2})}dt - \frac{1}{2}\int_0^1 B^*_{2k}(t)dt$$ 通过分部积分证明极限项趋于0，第二项等于$-\frac{B_{2k}}{2}$。 ### 技术创新点 1. **望远镜技巧的巧妙应用**：将三角级数转化为可求和的望远镜形式 2. **避免收敛性问题**：通过修正多项式$B^*_k(t)$确保积分的良好性质 3. **统一的积分方法**：同时处理偶数和奇数情况 4. **初等证明**：避免了傅里叶级数的复杂理论 ## 实验设置 ### 验证方法 由于这是纯数学理论工作，"实验"主要是理论验证： 1. **特殊值验证**： - $\zeta(2) = \frac{\pi^2}{6}$ (巴塞尔问题) - $\zeta(4) = \frac{\pi^4}{90}$ - 更高阶的ζ(2k)值 2. **一致性检查**：验证递推关系和积分计算的正确性 3. **极限行为分析**：证明望远镜级数中极限项确实趋于0 ## 实验结果 ### 主要结果 #### ζ(2k)的精确公式 成功证明了欧拉公式： $$\zeta(2k) = \frac{(-1)^{k-1}2^{2k-1}\pi^{2k}}{(2k)!}B_{2k}$$ #### ζ(2k+1)的积分表示 作为副产品，得到了ζ(奇数)的积分公式： $$\zeta(2k+1) = \frac{(-1)^{k-1}2^{2k}\pi^{2k+1}}{(2k+1)!}\int_0^1 B_{2k+1}(t)\cot\left(\frac{\pi t}{2}\right)dt$$ #### 调和数公式 对于调和数$H_M = \sum_{m=1}^M \frac{1}{m}$，得到： $$H_M = \pi\int_0^1 \left(t-\frac{1}{2}\right)\frac{\cos(\frac{4M+1}{2}\pi t) - \cos(\frac{\pi t}{2})}{\sin(\frac{\pi t}{2})}dt$$ ### 方法优势验证 1. **简洁性**：证明过程只需要基本微积分 2. **完整性**：提供了完整的数学证明 3. **通用性**：方法可扩展到相关问题 ## 相关工作 ### 历史发展 1. **欧拉原始工作**(1740)：首次给出ζ(2k)公式 2. **赫尔维茨**(1890)：通过傅里叶级数方法 3. **近期工作**：文献[2-14]提供了各种不同的证明方法 ### 方法分类 - **复分析方法**：使用留数定理 - **傅里叶分析**：级数展开和收敛性 - **生成函数**：通过伯努利数的生成函数 - **初等方法**：本文所属类别 ### 本文优势 相比现有方法： 1. **更初等**：避免高深理论 2. **更直接**：望远镜技巧提供直观理解 3. **更统一**：同时处理偶数和奇数情况 ## 结论与讨论 ### 主要结论 1. **成功简化了经典证明**：提供了ζ(2k)公式的最初等证明之一 2. **方法具有普遍性**：可应用于相关的级数求和问题 3. **揭示了深层联系**：展示了伯努利多项式与ζ函数的自然联系 ### 局限性 1. **ζ(奇数)的限制**：只能得到积分表示，无法求出闭式 2. **计算复杂性**：对于大的k值，计算仍然复杂 3. **推广限制**：方法主要适用于黎曼ζ函数 ### 未来方向 1. **积分求值**：寻找ζ(2k+1)积分表示的闭式解 2. **数值方法**：基于积分表示开发高效算法 3. **推广应用**：将方法应用到其他特殊函数 ## 深度评价 ### 优点 1. **技术创新性强**：望远镜级数技巧的应用颇具创意 2. **证明简洁优美**：避免了复杂理论，逻辑清晰 3. **教学价值高**：适合作为高级本科或研究生教材 4. **完整性好**：提供了完整的数学推导 ### 不足 1. **原创性有限**：主要是证明方法的改进，而非新结果 2. **应用范围受限**：主要是理论兴趣，实际应用有限 3. **技术深度**：虽然初等，但缺乏深层的数学洞察 ### 影响力 1. **教育意义**：为数学教学提供了优秀范例 2. **理论贡献**：丰富了特殊函数理论的证明方法库 3. **启发价值**：可能启发其他类似问题的解决方案 ### 适用场景 1. **数学教育**：高等数学和数论课程 2. **理论研究**：特殊函数和级数理论 3. **算法开发**：数值计算方法的理论基础 ## 参考文献 论文引用了14篇重要文献，主要包括： - Abramowitz & Stegun: 数学函数手册 - Apostol, Osler, Tsumura等：ζ函数的各种证明方法 - Berndt: 拉马努金笔记本 - 多篇发表在American Mathematical Monthly上的相关工作 --- **总体评价**：这是一篇技术扎实、表述清晰的数学论文。虽然处理的是经典问题，但提供的证明方法确实简洁优美，具有重要的教育价值和理论意义。望远镜级数技巧的运用展现了作者的数学洞察力，为这一经典问题提供了新的视角。