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

Un cálculo simple de ζ(2k) utilizando polinomios de Bernoulli y una serie telescópica

Información Básica

  • ID del Artículo: 1209.5030
  • Título: A simple computation of ζ(2k) by using Bernoulli polynomials and a telescoping series
  • Autores: Óscar Ciaurri, Luis M. Navas, Francisco J. Ruiz, Juan L. Varona
  • Clasificación: math.NT (Teoría de Números)
  • Fecha de Publicación: 16 de diciembre de 2013 (arXiv v2)
  • Revista: American Mathematical Monthly (por publicarse)
  • Enlace del Artículo: https://arxiv.org/abs/1209.5030

Resumen

Este artículo propone un nuevo método de prueba simple para demostrar la fórmula de Euler sobre ζ(2k), donde k = 1,2,3,.... El método utiliza únicamente las propiedades definitivas de los polinomios de Bernoulli, obteniendo los valores de ζ(2k) mediante la suma de una serie telescópica. El proceso de demostración requiere solo técnicas básicas de cálculo. El método es igualmente aplicable a ζ(2k+1) y números armónicos, proporcionando fórmulas integrales para estos.

Antecedentes de Investigación y Motivación

Contexto del Problema

El problema central que este artículo aborda es demostrar la fórmula célebre publicada por primera vez por Euler en 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}

donde BkB_k es el k-ésimo número de Bernoulli.

Importancia de la Investigación

  1. Significado Histórico: Esta es una de las fórmulas de suma de series más importantes en la historia de las matemáticas, conectando la función zeta de Riemann con los números de Bernoulli
  2. Valor Teórico: Proporciona perspectivas profundas para comprender valores de funciones especiales
  3. Aplicaciones Amplias: Tiene aplicaciones importantes en teoría de números, análisis y física matemática

Limitaciones de Métodos Existentes

En la literatura existen múltiples métodos de demostración, pero la mayoría requiere:

  • Teoría compleja de análisis de Fourier
  • Técnicas avanzadas de análisis complejo
  • Teoría profunda de funciones generatrices
  • U otras herramientas matemáticas no elementales

Motivación de la Investigación

Este artículo tiene como objetivo proporcionar una demostración "simple y elemental" que requiera únicamente:

  • Cálculo básico de una variable
  • Propiedades fundamentales de polinomios de Bernoulli
  • Técnicas de series telescópicas

Contribuciones Principales

  1. Propone un nuevo método de prueba elemental: Utiliza técnicas de series telescópicas para demostrar la fórmula de Euler ζ(2k)
  2. Simplificación del método: Evita la teoría compleja de series de Fourier, requiriendo solo cálculo básico
  3. Marco unificado: El mismo método puede aplicarse a ζ(2k+1), obteniendo fórmulas de representación integral
  4. Aplicaciones adicionales: Proporciona nuevas fórmulas integrales para números armónicos
  5. Innovación técnica: Aplica ingeniosamente identidades trigonométricas para transformar series en forma telescópica

Explicación Detallada del Método

Definición de la Tarea

Entrada: Entero positivo k Salida: Valor exacto de ζ(2k) Objetivo: Demostrar la fórmula de Euler y proporcionar un método de cálculo

Arquitectura del Método Principal

1. Fundamentos de Polinomios de Bernoulli

Se define el polinomio de Bernoulli Bk(t)B_k(t) mediante la función generatriz: xextex−1=∑k=0∞Bk(t)xkk!\frac{xe^{xt}}{e^x-1} = \sum_{k=0}^{\infty} B_k(t)\frac{x^k}{k!}

Propiedades clave:

  • 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. Cálculo de Integrales Auxiliares

Se considera la integral: I(k,m):=∫01B2k(t)cos⁡(mπt)dtI(k,m) := \int_0^1 B_{2k}(t)\cos(m\pi t)dt

Mediante dos integraciones por partes se obtiene la relación de recurrencia: 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)

Se resuelve para obtener la expresión en forma cerrada:

undefined