Zeta-regularization and natural boundaries: Sums and products of integers and primes

Resumen Técnico: Regularización de Zeta y Fronteras Naturales

Planteamiento del Problema
El artículo aborda el desafío de asignar valores finitos y regularizados a productos infinitos y sumas divergentes que involucran enteros y números primos. Mientras que Euler regularizó con éxito el producto de todos los números naturales ($P = \sqrt{2\pi}$) y las sumas de potencias de enteros utilizando la función zeta de Riemann $\zeta(s)$, extender estos métodos al producto de todos los primos naturales ($\Pi$) presenta un obstáculo fundamental. La función zeta de los primos, $P(s) = \sum p^{-s}$, posee una frontera natural a lo largo del eje imaginario, lo que la hace no analítica en el entorno del origen ($s=0$). En consecuencia, la técnica estándar de regularización de zeta, que depende de la evaluación de derivadas como $P'(0)$, falla para el producto de los primos. Además, el artículo aborda el problema aún más difícil de regularizar la suma de todos los primos, $P(-1)$, lo cual requiere evaluar la función en un punto ($s=-1$) situado a una distancia finita más allá de esta frontera natural. Finalmente, los autores buscan generalizar estos resultados a los nueve campos cuadráticos imaginarios donde los enteros admiten factorización única en primos.

Metodología
Los autores emplean una combinación de continuación analítica, inversión de Möbius y esquemas de regularización heurística adaptados del trabajo de Muñoz García y Pérez-Marco.

1. Manejo de la Frontera Natural: Para el producto de los primos, los autores utilizan la identidad de Artin-Hasse para expresar la función zeta de los primos $P(s)$ en términos de la función zeta de Riemann $\zeta(s)$ mediante la relación $P(s) = \sum_{n \ge 1} \frac{\mu(n)}{n} \log \zeta(ns)$. Esto permite la evaluación de $P'(0)$ regularizando las sumas resultantes que involucran la función de Möbius $\mu(n)$ utilizando la identidad $\sum \mu(n)n^{-s} = 1/\zeta(s)$.
2. Suma de Primos: Para calcular la suma de los primos $P(-1)$, los autores analizan la expansión en serie de $P(-1+\epsilon)$ cerca de la frontera natural. Al separar los términos pares e impares en la suma de Möbius y utilizar la ecuación funcional (fórmula de reflexión) de la función zeta de Riemann, aíslan los términos logarítmicos divergentes. Estas divergencias se regularizan utilizando valores conocidos de series de Dirichlet que involucran a $\mu(n)$, dejando una serie convergente que arroja el valor finito final.
3. Extensión a Campos Cuadráticos: La metodología se extiende a los nueve campos cuadráticos imaginarios $\mathbb{Q}(\sqrt{-d})$ con número de clase uno (números de Heegner). Los autores utilizan las funciones zeta de Dedekind $\zeta_\Delta(s)$ y las funciones L de Dirichlet asociadas $L_\Delta(s)$. Derivan las funciones zeta de los primos para estos campos ($P_\Delta(s)$) analizando el comportamiento de división, inerte y ramificado de los primos naturales dentro de los anillos de enteros (enteros de Gauss $\mathbb{Z}[i]$, enteros de Eisenstein $\mathbb{Z}[\omega]$ y otros). Los productos regularizados se determinan relacionando las derivadas de las funciones zeta de los primos con las derivadas de las funciones zeta de Dedekind en $s=0$.

Contribuciones Clave y Resultados

• Suma Regularizada de Primos: El artículo proporciona una derivación heurística para la suma de todos los primos naturales, un valor considerado previamente inaccesible debido a la frontera natural. El resultado es:
  $$\sum_{p} p = P(-1) = \frac{5}{2} + \sum_{n \ge 1} \frac{\mu(n)}{n} \log \left( \frac{n! (e/n)^n \zeta(n+1)}{\sqrt{2\pi n}} \right) \approx 2.925292456\dots$$
  La regularización no trivial produce la parte racional $5/2$, mientras que la serie restante es convergente.

• Relaciones de Ley de Potencia: Los autores establecen una relación universal de ley de potencia entre el producto regularizado de todos los enteros ($P_\Delta$) y el producto regularizado de todos los primos ($\Pi_\Delta$) en estos campos numéricos. La relación viene dada por:
  $$|\Pi_\Delta| = |P_\Delta|^{2w_\Delta}$$
  donde $w_\Delta$ es el número de unidades en el anillo de enteros.

  • Para los enteros naturales ($\mathbb{Z}$): $w=2$ (unidades $\pm 1$), lo que resulta en $\Pi = P^4$.
  • Para los enteros de Eisenstein ($\mathbb{Z}[\omega]$): $w=6$, lo que resulta en $|\Pi_3| = |P_3|^{12}$.
  • Para los enteros de Gauss ($\mathbb{Z}[i]$): $w=4$, lo que resulta en $|\Pi_4| = |P_4|^8$.
  • Para los otros siete campos cuadráticos imaginarios: $w=2$, lo que resulta en $|\Pi_\Delta| = |P_\Delta|^4$.

• Valores Explícitos: El artículo calcula valores numéricos explícitos y expresiones de forma cerrada (que involucran funciones Gamma y razones de Gamma de Chowla-Selberg) para los productos regularizados de enteros en los nueve campos cuadráticos imaginarios. Por ejemplo, $|P_3|^2 = \frac{2\pi}{3} \frac{\Gamma(1/3)^3}{\Gamma(2/3)^3}$ y $|P_4|^2 = \frac{\pi}{2} \frac{\Gamma(1/4)^2}{\Gamma(3/4)^2}$.

Significación y Alcance
El artículo afirma que estas derivaciones extienden el alcance de las técnicas de regularización de zeta a situaciones donde las funciones zeta pertinentes poseen fronteras naturales, un escenario común en diversos contextos físicos como la mecánica cuántica en potenciales específicos, la mecánica estadística y las teorías de gauge. Los autores señalan que, si bien la derivación de la fórmula del producto de primos (1.2) fue un avance reciente, el cálculo de la suma de primos (1.6) representa una extensión novedosa de estas técnicas "más allá de la frontera natural".

El trabajo se presenta primordialmente dentro de un contexto de teoría de números. Los autores declaran explícitamente que el interés en este enfoque se extiende a la física porque "en una variedad de situaciones físicas, la técnica de regularización de zeta no es aplicable porque la función zeta relevante tiene una frontera natural". Sin embargo, el artículo no propone experimentos físicos nuevos específicos ni afirma que estos resultados numéricos particulares resuelvan problemas físicos existentes; más bien, ofrece herramientas matemáticas y analogías que pueden ser aplicables a tales problemas. El artículo concluye señalando que la validez de la fórmula universal (1.10) para campos numéricos algebraicos más generales, particularmente campos cuadráticos reales, sigue siendo una cuestión abierta.