Una identidad analítica que relaciona sumas sobre potencias de primos (o funciones de conteo de primos ponderadas) con sumas explícitas sobre los ceros no triviales de funciones L, precisando cómo la distribución de primos está codificada en los datos espectrales de la zeta o de funciones L.

Principio

Una transformación por una función test (por ejemplo transformada de Mellin o de Fourier) convierte una suma aritmética sobre potencias de primos en una suma espectral sobre ceros de una función L; la igualdad sigue de la continuación analítica y de la ecuación funcional de la función L, de modo que los datos espectrales y aritméticos son duales.

Demostración

La fórmula explícita de Riemann para la función de Chebyshev ψ(x): ψ(x)=x−∑_ρ x^ρ/ρ − (1/2)log(1−x^{−2}) + constantes, con la suma sobre los ceros no triviales ρ de ζ(s); la fórmula expresa las desviaciones de ψ(x) respecto a x en términos de las posiciones de los ceros.

Aplicación incorrecta

Tratar las sumas formales como absolutamente convergentes y reordenar términos sin la suavización/función test necesaria, o aplicar la fórmula a una serie de Dirichlet sin continuación analítica ni ecuación funcional, lo que conduce a conclusiones inválidas sobre primos.

Consecuencia

Su uso correcto traduce estimaciones sobre ceros (localización, densidad, huecos) en declaraciones cuantitativas sobre los términos de error del conteo de primos y, a la inversa, da interpretaciones espectrales de fluctuaciones aritméticas; respalda cotas explícitas en teoremas de primos para progresiones aritméticas.

Inversión

Visto al revés, se pueden usar datos empíricos sobre primos o sumas ponderadas de primos como entrada para deducir restricciones sobre ceros posibles o sobre promedios de datos espectrales; la fórmula explícita es así un puente bidireccional.

Límite

Se aplica solo a funciones L con la continuación analítica y la ecuación funcional requeridas y a funciones test de la clase admisible; no se aplica directamente a sumas aritméticas arbitrarias, series de Dirichlet formales sin propiedades analíticas ni razonamientos combinatorios puros sobre primos.

Tensión semántica

Se diferencia de una fórmula de traza en geometría espectral: la fórmula explícita es una identidad analítico‑aritmética ligada a transformadas de Mellin/Fourier y a primos, mientras que las fórmulas de traza suelen implicar trazas de operadores y longitudes geométricas; ambas expresan dualidad en marcos analíticos distintos.

Síntesis

La fórmula explícita es la identidad analítica precisa que traduce sumas ponderadas sobre potencias de primos en ceros espectrales de funciones L mediante una transformación por función test admisible, permitiendo inferencias bidireccionales entre la distribución de primos y propiedades espectrales cuando la función L tiene la estructura analítica requerida.