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年首次发表的著名公式：

$\zeta(2k) := \sum_{n=1}^{\infty} \frac{1}{n^{2k}} = \frac{(-1)^{k-1}2^{2k-1}\pi^{2k}}{(2k)!}B_{2k}$

其中 $B_k$ 是第k个伯努利数。

研究重要性

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

现有方法局限性

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

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

研究动机

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

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

核心贡献

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

方法详解

任务定义

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

核心方法架构

1. 伯努利多项式基础

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

关键性质：

$B_0(t) = 1$
$B'_k(t) = kB_{k-1}(t)$ , $k \geq 1$
$\int_0^1 B_k(t)dt = 0$ , $k \geq 1$
$B_{2k}(1) = B_{2k}(0) = B_{2k}$

2. 辅助积分计算

考虑积分： $I(k,m) := \int_0^1 B_{2k}(t)\cos(m\pi t)dt$

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

解得闭式表达式： $I(k,m) = \begin{cases} 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}$ 。

技术创新点

望远镜技巧的巧妙应用：将三角级数转化为可求和的望远镜形式
避免收敛性问题：通过修正多项式 $B^*_k(t)$ 确保积分的良好性质
统一的积分方法：同时处理偶数和奇数情况
初等证明：避免了傅里叶级数的复杂理论

实验设置

验证方法

由于这是纯数学理论工作，"实验"主要是理论验证：

特殊值验证：
- $\zeta(2) = \frac{\pi^2}{6}$ (巴塞尔问题)
- $\zeta(4) = \frac{\pi^4}{90}$
- 更高阶的ζ(2k)值
一致性检查：验证递推关系和积分计算的正确性
极限行为分析：证明望远镜级数中极限项确实趋于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$