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

Resumo Técnico: Regularização de Zeta e Fronteiras Naturais

Enunciado do Problema
O artigo aborda o desafio de atribuir valores finitos e regularizados a produtos infinitos e somas divergentes envolvendo inteiros e números primos. Enquanto Euler regularizou com sucesso o produto de todos os números naturais ($P = \sqrt{2\pi}$) e somas de potências de inteiros usando a função zeta de Riemann $\zeta(s)$, estender esses métodos para o produto de todos os primos naturais ($\Pi$) apresenta um obstáculo fundamental. A função zeta de primos, $P(s) = \sum p^{-s}$, possui uma fronteira natural ao longo do eixo imaginário, tornando-a não analítica na vizinhança da origem ($s=0$). Consequentemente, a técnica padrão de regularização de zeta, que depende da avaliação de derivadas como $P'(0)$, falha para o produto de primos. Além disso, o artigo aborda o problema ainda mais difícil de regularizar a soma de todos os primos, $P(-1)$, o que requer a avaliação da função em um ponto ($s=-1$) localizado a uma distância finita além desta fronteira natural. Finalmente, os autores busem generalizar esses resultados para os nove campos quadráticos imaginários onde os inteiros admitem fatoração única em primos.

Metodologia
Os autores empregam uma combinação de continuação analítica, inversão de Möbius e esquemas de regularização heurística adaptados do trabalho de Muñoz García e Pérez-Marco.

1. Lidando com a Fronteira Natural: Para o produto de primos, os autores utilizam a identidade de Artin-Hasse para expressar a função zeta de primos $P(s)$ em termos da função zeta de Riemann $\zeta(s)$ via a relação $P(s) = \sum_{n \ge 1} \frac{\mu(n)}{n} \log \zeta(ns)$. Isso permite a avaliação de $P'(0)$ ao regularizar as somas resultantes envolvendo a função de Möbius $\mu(n)$ usando a identidade $\sum \mu(n)n^{-s} = 1/\zeta(s)$.
2. Soma de Primos: Para calcular a soma dos primos $P(-1)$, os autores analisam a expansão em série de $P(-1+\epsilon)$ próximo à fronteira natural. Ao separar os termos ímpares e pares na soma de Möbius e utilizar a equação funcional (fórmula de reflexão) da função zeta de Riemann, eles isolam termos logarítmicos divergentes. Essas divergências são regularizadas usando valores conhecidos de séries de Dirichlet envolvendo $\mu(n)$, deixando uma série convergente que produz o valor finito final.
3. Extensão para Campos Quadráticos: A metodologia é estendida para os nove campos quadráticos imaginários $\mathbb{Q}(\sqrt{-d})$ com número de classe um (números de Heegner). Os autores utilizam funções zeta de Dedekind $\zeta_\Delta(s)$ e funções L de Dirichlet associadas $L_\Delta(s)$. Eles derivam as funções zeta de primos para esses campos ($P_\Delta(s)$) analisando o comportamento de divisão (splitting), inert e ramificado dos primos naturais dentro dos anéis de inteiros (inteiros de Gauss $\mathbb{Z}[i]$, inteiros de Eisenstein $\mathbb{Z}[\omega]$ e outros). Os produtos regularizados são determinados relacionando as derivadas das funções zeta de primos com as derivadas das funções zeta de Dedekind em $s=0$.

Principais Contribuições e Resultados

• Soma Regularizada de Primos: O artigo fornece uma derivação heurística para a soma de todos os primos naturais, um valor anteriormente considerado inacessível devido à fronteira natural. O resultado é:
  $$\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$$
  A regularização não trivial produz a parte racional $5/2$, enquanto a série restante é convergente.

• Relações de Lei de Potência: Os autores estabelecem uma relação universal de lei de potência entre o produto regularizado de todos os inteiros ($P_\Delta$) e o produto regularizado de todos os primos ($\Pi_\Delta$) nestes campos numéricos. A relação é dada por:
  $$|\Pi_\Delta| = |P_\Delta|^{2w_\Delta}$$
  onde $w_\Delta$ é o número de unidades no anel de inteiros.

  • Para inteiros naturais ($\mathbb{Z}$): $w=2$ (unidades $\pm 1$), resultando em $\Pi = P^4$.
  • Para inteiros de Eisenstein ($\mathbb{Z}[\omega]$): $w=6$, resultando em $|\Pi_3| = |P_3|^{12}$.
  • Para inteiros de Gauss ($\mathbb{Z}[i]$): $w=4$, resultando em $|\Pi_4| = |P_4|^8$.
  • Para os outros sete campos quadráticos imaginários: $w=2$, resultando em $|\Pi_\Delta| = |P_\Delta|^4$.

• Valores Explícitos: O artigo calcula valores numéricos explícitos e expressões de forma fechada (envolvendo funções Gamma e razões de Gamma de Chowla-Selberg) para os produtos regularizados de inteiros em todos os nove campos quadráticos imaginários. Por exemplo, $|P_3|^2 = \frac{2\pi}{3} \frac{\Gamma(1/3)^3}{\Gamma(2/3)^3}$ e $|P_4|^2 = \frac{\pi}{2} \frac{\Gamma(1/4)^2}{\Gamma(3/4)^2}$.

Significância e Escopo
O artigo afirma que estas derivações estendem o alcance das técnicas de regularização de zeta para situações onde as funções zeta relevantes possuem fronteiras naturais, um cenário comum em vários contextos físicos como mecânica quântica em potenciais específicos, mecânica estatística e teorias de gauge. Os autores observam que, embora a derivação da fórmula do produto de primos (1.2) seja um avanço recente, o cálculo da soma de primos (1.6) representa uma extensão inovadora destas técnicas "além da fronteira natural".

O trabalho é apresentado primordialmente dentro de um contexto da teoria dos números. Os autores declaram explicitamente que o interesse nesta abordagem estende-se à física porque "em uma variedade de situações físicas, a técnica de regularização de zeta é de fato não aplicável porque a função zeta relevante possui uma fronteira natural". No entanto, o artigo não propõe novos experimentos físicos específicos ou afirma que estes resultados numéricos específicos resolvem problemas físicos existentes; em vez disso, oferece ferramentas matemáticas e análogos que podem ser aplicáveis a tais problemas. O artigo conclui observando que a validade da fórmula universal (1.10) para campos numéricos algébricos mais gerais, particularmente campos quadráticos reais, permanece uma questão em aberto.