Eine analytische Identität, die Summen über Primzahlpotenzen (oder gewichtete Primzahlangaben) mit expliziten Summen über die nichttrivialen Nullstellen von L‑Funktionen verbindet und damit präzisiert, wie die Verteilung der Primzahlen in spektralen Daten der Zeta‑ oder L‑Funktionen kodiert ist.

Prinzip

Eine Testfunktionen‑Transformation (z. B. Mellin‑ oder Fourier‑Transformation) wandelt eine arithmetische Summe über Primzahlpotenzen in eine spektrale Summe über Nullstellen einer L‑Funktion um; die Gleichheit folgt aus analytischer Fortsetzung und der Funktionalgleichung der L‑Funktion, sodass spektrale und arithmetische Daten dual zueinander stehen.

Demonstration

Riemanns explizite Formel für die Chebyshev‑Funktion ψ(x): ψ(x)=x−∑_ρ x^ρ/ρ − (1/2)log(1−x^{−2}) + Konstanten, wobei die Summe über die nichttrivialen Nullstellen ρ von ζ(s) läuft; die Formel drückt Abweichungen von ψ(x) von x durch die Lage der Nullstellen aus.

Fehlanwendung

Formelle Reihen als absolut konvergent behandeln und Terme ohne die notwendige Glättung/Testfunktion umordnen, oder die Formel auf eine Dirichlet‑Reihe ohne analytische Fortsetzung oder Funktionalgleichung anwenden, was zu falschen Schlüssen über Primzahlen führt.

Konsequenz

Richtige Anwendung übersetzt Abschätzungen über Nullstellen (Lage, Dichte, Abstände) in quantitative Aussagen über Fehlerterme bei Primzahlangaben und liefert umgekehrt spektrale Interpretationen arithmetischer Schwankungen; sie bildet die Grundlage für explizite Fehlerabschätzungen im Primzahlsatz für arithmetische Progressionen.

Umkehrung

Umgekehrt betrachtet kann man empirische Primzahldaten oder gewichtete Primzahlsummen als Input benutzen, um Einschränkungen an mögliche Nullstellen oder Mittelwerte spektraler Daten abzuleiten; die explizite Formel ist somit eine zweiseitige Brücke.

Abgrenzung

Gilt nur für L‑Funktionen mit der erforderlichen analytischen Fortsetzung und Funktionalgleichung und für Testfunktionen aus der zulässigen Klasse; sie gilt nicht für beliebige arithmetische Summen, formale Dirichlet‑Reihen ohne analytische Eigenschaften oder rein kombinatorische Primzahlarbeiten.

Semantische Spannung

Unterscheidet sich von allgemeinen Spurformeln in der Spektralgeometrie: Die explizite Formel ist ein analytisch‑zahlentheoretisches Identitätsprinzip im Rahmen von Mellin/Fourier‑Transformationen und Primzahlen, während Spurformeln oft Operator‑Spuren und geometrische Längen betreffen; beides sind Dualitätsaussagen in verschiedenen analytischen Rahmen.

Synthese

Die explizite Formel ist die präzise analytische Identität, die gewichtete Summen über Primzahlpotenzen mittels einer zulässigen Testfunktionen‑Transformation in die spektralen Nullstellen von L‑Funktionen übersetzt und so bidirektionale Folgerungen zwischen Primverteilung und spektralen Eigenschaften erlaubt, sofern die L‑Funktion die nötige analytische Struktur besitzt.