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

Basic Information

• Paper ID: 1209.5030
• Title: A simple computation of ζ(2k) by using Bernoulli polynomials and a telescoping series
• Authors: Óscar Ciaurri, Luis M. Navas, Francisco J. Ruiz, Juan L. Varona
• Classification: math.NT (Number Theory)
• Publication Date: December 16, 2013 (arXiv v2)
• Journal: American Mathematical Monthly (forthcoming)
• Paper Link: https://arxiv.org/abs/1209.5030

Abstract

This paper presents a novel and elementary proof method for Euler's formula concerning ζ(2k), where k = 1, 2, 3, .... The method employs only the defining properties of Bernoulli polynomials and obtains the values of ζ(2k) through summation of a telescoping series. The proof requires only basic calculus techniques. The method is equally applicable to ζ(2k+1) and harmonic numbers, providing integral formulas for these quantities.

Research Background and Motivation

Problem Background

The core problem addressed in this paper is to prove Euler's famous formula, first published in 1740:

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

where $B_k$ denotes the k-th Bernoulli number.

Research Significance

1. Historical Importance: This is one of the most significant series summation formulas in mathematical history, connecting the Riemann ζ-function with Bernoulli numbers
2. Theoretical Value: Provides profound insights into understanding special function values
3. Broad Applications: Has important applications in number theory, analysis, and mathematical physics

Limitations of Existing Methods

Multiple proof methods exist in the literature, but most require:

• Complex Fourier analysis theory
• Advanced complex analysis techniques
• Deep theory of generating functions
• Or other non-elementary mathematical tools

Research Motivation

This paper aims to provide a "simple and elementary" proof requiring only:

• Basic single-variable calculus
• Fundamental properties of Bernoulli polynomials
• Telescoping series techniques

Core Contributions

1. Proposes a new elementary proof method: Uses telescoping series techniques to prove Euler's formula for ζ(2k)
2. Method simplification: Avoids complex Fourier series theory, requiring only basic calculus
3. Unified framework: The same method handles ζ(2k+1), yielding integral representation formulas
4. Additional applications: Provides new integral formulas for harmonic numbers
5. Technical innovation: Cleverly applies trigonometric identities to transform series into telescoping form

Detailed Methodology

Task Definition

Input: Positive integer k Output: Exact value of ζ(2k) Objective: Prove Euler's formula and provide computational methods

Core Method Architecture

1. Bernoulli Polynomial Foundations

Define Bernoulli polynomials $B_k(t)$ via generating function: $\frac{xe^{xt}}{e^x-1} = \sum_{k=0}^{\infty} B_k(t)\frac{x^k}{k!}$

Key properties:

• $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. Auxiliary Integral Computation

Consider the integral: $I(k,m) := \int_0^1 B_{2k}(t)\cos(m\pi t)dt$

Through two successive integrations by parts, a recurrence relation is obtained: $I(k,m) = -\frac{2k(2k-1)}{m^2\pi^2}I(k-1,m)$

Solving yields the closed-form expression: $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. Telescoping Series Technique

Introduce the modified Bernoulli polynomial $B^*_k(t) = B_k(t) - B_k(0)$, with corresponding integral: $I^*(k,m) := \int_0^1 B^*_{2k}(t)\cos(m\pi t)dt = I(k,m)$

The key step employs the trigonometric identity: $\cos(mx) = \frac{\sin(\frac{2m+1}{2}x) - \sin(\frac{2m-1}{2}x)}{2\sin(\frac{x}{2})}$

4. Telescoping Summation

Express the series in telescoping form: $\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$

Through integration by parts, the limit term is shown to vanish, and the second term equals $-\frac{B_{2k}}{2}$.

Technical Innovations

1. Clever application of telescoping technique: Transforms trigonometric series into summable telescoping form
2. Avoidance of convergence issues: The modified polynomial $B^*_k(t)$ ensures favorable integral properties
3. Unified integral method: Simultaneously handles both even and odd cases
4. Elementary proof: Avoids complex Fourier series theory

Experimental Setup

Verification Methods

Since this is pure mathematical theoretical work, "experiments" primarily consist of theoretical verification:

1. Special value verification:
   • $\zeta(2) = \frac{\pi^2}{6}$ (Basel problem)
   • $\zeta(4) = \frac{\pi^4}{90}$
   • Higher-order ζ(2k) values
2. Consistency checks: Verify the correctness of recurrence relations and integral calculations
3. Limiting behavior analysis: Prove that limit terms in the telescoping series indeed vanish

Experimental Results

Main Results

Exact Formula for ζ(2k)

Successfully proves Euler's formula: $\zeta(2k) = \frac{(-1)^{k-1}2^{2k-1}\pi^{2k}}{(2k)!}B_{2k}$

Integral Representation for ζ(2k+1)

As a byproduct, obtains integral formulas for ζ(odd numbers): $\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$

Harmonic Number Formula

For harmonic numbers $H_M = \sum_{m=1}^M \frac{1}{m}$, obtains: $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$

Method Advantage Verification

1. Simplicity: Proof requires only basic calculus
2. Completeness: Provides rigorous mathematical derivation
3. Generality: Method extends to related problems

Related Work

Historical Development

1. Euler's original work (1740): First presented the ζ(2k) formula
2. Hurwitz (1890): Fourier series approach
3. Recent work: References 2-14 provide various alternative proof methods

Method Classification

• Complex analysis methods: Using residue theorem
• Fourier analysis: Series expansion and convergence
• Generating functions: Via generating functions of Bernoulli numbers
• Elementary methods: Category to which this paper belongs

Advantages of This Paper

Compared to existing methods:

1. More elementary: Avoids advanced theory
2. More direct: Telescoping technique provides intuitive understanding
3. More unified: Simultaneously handles even and odd cases

Conclusions and Discussion

Main Conclusions

1. Successfully simplifies classical proof: Provides one of the most elementary proofs of the ζ(2k) formula
2. Method has universal applicability: Can be applied to related series summation problems
3. Reveals deeper connections: Demonstrates natural relationships between Bernoulli polynomials and the ζ-function

Limitations

1. Restrictions on ζ(odd numbers): Only integral representations obtainable, not closed forms
2. Computational complexity: Calculations remain complex for large k values
3. Generalization constraints: Method primarily applicable to the Riemann ζ-function

Future Directions

1. Integral evaluation: Seek closed-form solutions for integral representations of ζ(2k+1)
2. Numerical methods: Develop efficient algorithms based on integral representations
3. Extended applications: Apply the method to other special functions

In-Depth Evaluation

Strengths

1. Strong technical innovation: Creative application of telescoping series technique
2. Elegant and concise proof: Avoids complex theory with clear logical flow
3. High pedagogical value: Suitable for advanced undergraduate or graduate curricula
4. Good completeness: Provides thorough mathematical derivations

Weaknesses

1. Limited originality: Primarily an improvement of proof methods rather than new results
2. Restricted application scope: Mainly of theoretical interest with limited practical applications
3. Limited technical depth: While elementary, lacks deeper mathematical insights

Impact

1. Educational significance: Provides excellent examples for mathematical instruction
2. Theoretical contribution: Enriches the library of proof methods for special function theory
3. Inspirational value: May inspire solutions to similar problems

Applicable Scenarios

1. Mathematical education: Advanced mathematics and number theory courses
2. Theoretical research: Special functions and series theory
3. Algorithm development: Theoretical foundations for numerical computation methods

References

The paper cites 14 important references, primarily including:

• Abramowitz & Stegun: Handbook of Mathematical Functions
• Apostol, Osler, Tsumura, et al.: Various proof methods for the ζ-function
• Berndt: Ramanujan's Notebooks
• Multiple works published in American Mathematical Monthly on related topics

Overall Assessment: This is a technically sound and clearly presented mathematical paper. Although it addresses a classical problem, the proof method provided is indeed elegant and simple, possessing significant educational and theoretical value. The application of telescoping series techniques demonstrates the authors' mathematical insight, offering a fresh perspective on this classical problem.