Elementary proof of some Ramanujan-type identities

Este artículo presenta una demostración elemental de ciertas identidades de tipo Ramanujan que expresan los cuadrados de la función zeta de Riemann en puntos enteros mediante series que involucran funciones hiperbólicas, la función digamma y números de Bernoulli, incluyendo en esta versión correcciones de errores y adiciones de una sección, una figura y una referencia.

Lo esencial

¡Hola! Imagina que este artículo es como un mapa del tesoro matemático que nos lleva a descubrir conexiones ocultas entre dos mundos que parecen no tener nada que ver: los números enteros simples (como 1, 2, 3...) y unas funciones muy complejas que describen el comportamiento de los números primos y las curvas del universo.

El autor, M. A. Korolev, no está usando una "navaja suiza" de matemáticas avanzadas y pesadas. En su lugar, ha encontrado una llave maestra sencilla (una identidad básica) que le permite abrir puertas a fórmulas que el famoso genio Srinivasa Ramanujan dejó escritas en sus cuadernos hace un siglo.

Aquí tienes la explicación, paso a paso, con analogías de la vida diaria:

1. La Llave Maestra: El Teorema del Equilibrio

Al principio del artículo, el autor presenta una pequeña "magia" matemática (el Lema 1).

• La analogía: Imagina que tienes una pila de piedras de diferentes pesos (los números $a_n$). Si quieres saber el peso total al cuadrado, podrías sumar todas las piedras y luego multiplicar el resultado por sí mismo.
• El truco: El autor dice: "Oye, hay otra forma de hacer esto". En lugar de hacerlo todo de golpe, puedes tomar cada par de piedras, ponerlas en una balanza especial y sumar sus interacciones.
• La lección: Esta fórmula simple es la base de todo. Permite transformar un problema difícil (elevar al cuadrado una suma infinita) en un problema de "interacciones entre pares" que es mucho más fácil de manejar.

2. Los Ingredientes: La "Sopa" de Números

El artículo habla de la función Zeta de Riemann ($\zeta$).

• La analogía: Imagina que la función Zeta es como una sopa infinita. Si tomas un número entero (como 2, 3 o 4) y lo metes en la olla, la sopa hierve y te da un valor específico.
• El problema que Ramanujan y otros querían resolver era: "¿Qué pasa si tomamos el cuadrado de esa sopa?". Es decir, ¿qué relación hay entre $(\text{sopa})^2$ y otros ingredientes?

3. El Método: Descomponer el Rompecabezas

El autor usa una técnica para "desarmar" fracciones complicadas.

• La analogía: Imagina que tienes un pastel muy grande y difícil de cortar ($\frac{1}{m^2 + n^2}$). Es difícil de comer entero. El autor tiene una herramienta (los Lemas 3 y 4) que le permite cortar ese pastel en rebanadas infinitesimales usando funciones trigonométricas (senos y cosenos) y números complejos (esos números con la parte "imaginaria" $i$).
• Al cortar el pastel en estas rebanadas especiales, de repente aparecen ingredientes que conocemos bien: la función Digamma (que es como la "velocidad de crecimiento" de los factoriales) y los números de Bernoulli (una familia de números que aparecen en muchas fórmulas de física y matemáticas).

4. El Resultado: Las Recetas Nuevas

El corazón del artículo son los Teoremas 1, 2 y 3.

• Lo que dicen: El autor demuestra que el cuadrado de la "sopa Zeta" (por ejemplo, $\zeta(2)^2$ o $\zeta(3)^2$) es igual a una suma infinita de términos muy específicos.
• La analogía: Es como si te dijeran: "El cuadrado de la velocidad de la luz es igual a la suma de todas las gotas de lluvia que caen en un día, pero calculadas de una forma muy extraña usando ondas y números imaginarios".
• Estas fórmulas son nuevas. Antes, la gente sabía que existían estas relaciones, pero no tenía una prueba "elemental" (fácil de entender sin usar herramientas de nivel doctoral). Korolev ha escrito la receta paso a paso para que cualquiera con conocimientos básicos de cálculo pueda seguirla.

5. El Final: ¿Por qué importa esto?

El artículo termina mostrando cómo estas fórmulas se comportan cuando los números se vuelven gigantes (el límite cuando $k$ tiende a infinito).

• La analogía: Imagina que estás mirando una montaña desde muy lejos. A lo lejos, parece una línea recta. El autor nos dice: "Si te acercas lo suficiente, verás que la montaña está hecha de bloques de números muy ordenados".
• Esto ayuda a los matemáticos a entender mejor la estructura profunda de los números primos y a verificar cálculos que antes eran imposibles de hacer con precisión.

En resumen

Este papel es como un manual de bricolaje matemático.

1. Toma una herramienta simple (una identidad de suma).
2. Usa cuchillos de precisión (descomposición de fracciones) para cortar problemas difíciles.
3. Revela que el cuadrado de la función Zeta (un misterio matemático) es en realidad una suma de ondas y números especiales que se pueden calcular.

El autor nos dice: "No necesitas ser un mago para entender estos secretos; solo necesitas la llave correcta y un poco de paciencia". ¡Y esa llave es lo que ha compartido con nosotros!

Resumen técnico

Resumen Técnico del Artículo: "Elementary proof of some Ramanujan-type identities" (Prueba elemental de algunas identidades de tipo Ramanujan)

Autor: M. A. Korolev (Instituto Matemático Steklov, Academia Rusa de Ciencias).
Fuente: arXiv:2512.22025v2 [math.NT].

1. Planteamiento del Problema

El objetivo principal del artículo es establecer y demostrar de manera elemental (sin recurrir a herramientas analíticas complejas avanzadas) una serie de identidades que relacionan los cuadrados de la función zeta de Riemann, $\zeta(s)$, evaluada en puntos enteros, con series que involucran funciones hiperbólicas, la función digamma $\psi(z)$, números de Bernoulli y otras funciones aritméticas.

Aunque existen identidades famosas de tipo Ramanujan (como la fórmula de Cauchy-Lerch-Ramanujan para $\zeta(3)$), este trabajo busca generalizar estas relaciones para $\zeta^2(2k)$, $\zeta^2(2k-\ell)$ y $\zeta^2(2k+1)$, proporcionando nuevas expresiones en forma de series de rápida convergencia.

2. Metodología

La metodología se basa en un enfoque puramente algebraico y analítico elemental, estructurada en los siguientes pilares:

• Identidad Fundamental (Lema 1): El núcleo de la demostración es una identidad combinatoria general establecida en trabajos previos del autor. Para secuencias $\{a_n\}$ y $\{b_n\}$ con $b_n > 0$, se cumple:
  $$\sum_{m,n=1}^{N} \frac{a_m a_n}{b_m(b_m + b_n)} = \frac{1}{2} \left( \sum_{n=1}^{N} a_n \right)^2$$
  Esta identidad permite transformar el cuadrado de una suma (relacionado con $\zeta^2(s)$) en una doble serie simétrica.

• Descomposición de Fracciones Racionales (Lemas 3 y 4): Se utilizan expansiones parciales de funciones racionales de la forma $\frac{w^s}{w^{2k} \pm 1}$ y $\frac{w^s}{w^{2k+1} \pm 1}$ en términos de raíces de la unidad ($\varepsilon_r$ y $\omega_r$). Esto permite descomponer términos como $\frac{n^{2k-1}}{m^{2k} + n^{2k}}$ en sumas que involucran términos lineales en el denominador.

• Propiedades de la Función Digamma y Cotangente (Lemas 5-10): Se emplean propiedades conocidas de la función digamma $\psi(z)$ y la función cotangente $\cot(\pi z)$, incluyendo sus series de representación y relaciones de reflexión, para evaluar las sumas internas sobre el índice $m$.

• Cambio de Orden de Sumación (Lema 2): Se justifica rigurosamente el intercambio del orden de sumación en series dobles infinitas mediante criterios de convergencia absoluta, asegurando la validez de las manipulaciones formales.

• Teorema de Convolución de Dirichlet (Teoremas 4-6): Se generalizan los resultados para funciones aritméticas $f(n)$ y sus convoluciones $g(n)$, conectando las series de Dirichlet $L(z; f)$ con las identidades derivadas.

3. Contribuciones Clave y Resultados Principales

El artículo presenta varios teoremas principales que expresan cuadrados de la función zeta como series:

A. Identidades para $\zeta^2(2k)$ y $\zeta^2(2k+1)$

• Teorema 1: Establece una relación para $\zeta^2(2k) + \zeta(4k)$:
  $$\zeta^2(2k) + \zeta(4k) = \sum_{n=1}^{\infty} \frac{a_k(n)}{n^{4k-1}}$$
  Donde $a_k(n)$ es una suma que involucra la función cotangente y raíces de la unidad. El corolario recupera la famosa fórmula de Cauchy-Lerch-Ramanujan para $\zeta(3)$ al hacer $k=1$.

• Teorema 2: Proporciona una identidad para $\zeta^2(2k-\ell)$ (con $1 \le \ell \le 2k-2$):
  $$\zeta^2(2k-\ell) = \sum_{n=1}^{\infty} \frac{b_{k,\ell}(n)}{n^{4k-2\ell-1}}$$
  Donde $b_{k,\ell}(n)$ involucra la función digamma $\psi$. Un caso particular ($k=2, \ell=1$) ofrece una nueva expresión para $\zeta^2(3)$ en términos de la parte imaginaria de $\psi$.

• Teorema 3: Deriva una identidad para $\frac{1}{2}\zeta^2(2k+1) + \zeta(4k+2)$:
  $$\frac{1}{2}\zeta^2(2k+1) + \zeta(4k+2) = \sum_{n=1}^{\infty} \frac{c_k(n)}{n^{4k+1}}$$
  Donde $c_k(n)$ involucra $\psi(-\omega_r n)$.

B. Generalización a Funciones Aritméticas (Teoremas 4, 5, 6)

El autor generaliza los resultados anteriores para cualquier función aritmética $f(n)$ y su convolución $g(n)$. Se obtienen identidades para $L^2(2k; f)$, $L^2(2k-1; f)$ y $L^2(2k+1; f)$, donde $L(z; f)$ es la serie de Dirichlet asociada a $f$.
Esto permite generar nuevas identidades para:

• Funciones divisoras ($\tau(n)$).
• Función de Möbius ($\mu(n)$).
• Función de Liouville ($\lambda(n)$).
• Función de von Mangoldt ($\Lambda(n)$).
• Sumas de Ramanujan ($c_m(a)$).

C. Comportamiento Asintótico (Sección 5)

El Teorema 7 estudia el comportamiento de los coeficientes $a_k(w)$, $b_{k,\ell}(w)$ y $c_k(w)$ cuando $k \to \infty$ con $w$ fijo. Se demuestra que estos coeficientes convergen a funciones límite expresadas mediante polinomios de Bernoulli y valores enteros o fraccionarios de $w$.

4. Significado e Impacto

• Simplicidad y Elegancia: El mayor aporte es la naturaleza "elemental" de las pruebas. A diferencia de métodos que requieren integración compleja avanzada o teoría espectral, estas identidades se derivan de manipulaciones algebraicas básicas, sumas de fracciones parciales y propiedades estándar de funciones especiales.
• Nuevas Identidades: El trabajo descubre nuevas relaciones para valores de $\zeta^2(s)$ que no eran evidentes en la literatura previa, conectando directamente la teoría de números analítica con la teoría de funciones especiales.
• Generalización: Al extender los resultados a funciones aritméticas generales mediante convoluciones de Dirichlet, el artículo unifica diversas identidades conocidas bajo un marco teórico común, permitiendo la generación sistemática de nuevas fórmulas para funciones como $\tau(n)$ o $\Lambda(n)$.
• Convergencia Rápida: Las series resultantes son de rápida convergencia, lo que las hace útiles para el cálculo numérico de valores de la función zeta y sus cuadrados con alta precisión.

En resumen, el artículo de Korolev ofrece un marco unificado y accesible para entender y derivar profundas conexiones entre los cuadrados de la función zeta de Riemann y series infinitas que involucran funciones trascendentes, revitalizando el espíritu de las identidades descubiertas por Ramanujan mediante métodos rigurosos pero elementales.