🔢 mathematics

Explicit formula for the discrete Laplace transform of the Möbius function, related special functions, and a criterion for the Riemann hypothesis

Unter der Annahme der Einfachheit der Nullstellen der Riemannschen Zeta-Funktion leitet diese Arbeit eine explizite Formel für die diskrete Laplace-Transformierte der Möbius-Funktion unter Einbeziehung von Doppelpolen durch kollidierende Gamma- und Zeta-Nullstellen her, etabliert ein Kriterium für die Riemannsche Vermutung basierend auf der Zerfallsrate der Transformierten und führt spezielle ganze Funktionen mit geschlossenen Möbius-gewichteten Bessel-Reihen ein.

Ursprüngliche Autoren: Sergey Liflandsky

Veröffentlicht 2026-07-14

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Sergey Liflandsky

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich die Riemannsche Zeta-Funktion, $\zeta(s)$ , als ein riesiges, unsichtbares Musikinstrument vor, das den geheimen Code darüber bewahrt, wie Primzahlen im Universum verstreut sind. Seit über 150 Jahren versuchen Mathematiker, die exakte Melodie dieses Instruments zu hören, insbesondere um die Riemannsche Hypothese zu beweisen: die Idee, dass alle „verborgenen Noten“ (die nicht-trivialen Nullstellen) dieses Instruments perfekt auf einer einzigen, spezifischen Frequenzlinie gestimmt sind.

In dieser Arbeit greift Sergey Liflandsky zu einem neuen Werkzeug, um dieser Musik zu lauschen: der diskreten Laplace-Transformation der Möbius-Funktion. Denken Sie an die Möbius-Funktion, $\mu(n)$ , als einen kosmischen Schaltanlagenbetreiber, der Vorzeichen (+1, -1 oder 0) basierend auf den Primfaktoren einer Zahl umschaltet. Liflandsky stellt die Frage: „Was passiert, wenn wir all diese Schalter nehmen, sie mit einem abklingenden Signal ( $e^{-nx}$ ) multiplizieren und sie alle aufsummieren?“

Die große Entdeckung: Eine Kollision der Welten

Der Hauptbefund des Papers ist eine völlig neue, explizite Formel für diese Summe. Es ist, als fände man einen Generalschlüssel, der die Summe unter Verwendung zweier verschiedener Informationssätze erschließt: den Werten der Zeta-Funktion an spezifischen Punkten und den Positionen ihrer verborgenen Nullstellen.

Hier liegt die Wendung, die dieses Paper besonders macht. In früheren Formeln (wie der für die Mertens-Funktion) war die Mathematik relativ sauber. Die „Pole“ (Stellen, an denen die Mathematik explodiert) eines Teils der Gleichung und die „Nullstellen“ (Stellen, an denen die Gleichung verschwindet) eines anderen Teils blieben getrennt.

Doch in dieser neuen Formel prallen sie aufeinander.

Liflandsky zeigt, dass die Pole der Gamma-Funktion (einer berühmten mathematischen Hilfsfunktion) mit den „trivialen Nullstellen“ der Zeta-Funktion kollidieren. Es ist wie zwei Züge auf Kollisionskurs, die nicht einfach nur stoppen, sondern zu einem Doppelpol verschmelzen. Diese Kollision erzeugt einen brandneuen, chaotischen und schönen Term in der Formel: einen logarithmischen Term, der $\log(2\pi x)$ beinhaltet. Diese Struktur wurde in dieser Form bisher noch nie gesehen. Es ist ein einzigartiger Fingerabdruck, der durch die Kollision dieser mathematischen Kräfte hinterlassen wurde.

Die „Bessel“-Überraschung

Das Paper führt auch einige „spezielle ganzhedliche Funktionen“ (mathematische Objekte, die überall glatt sind) ein, die $\kappa$ , $\beta$ , $\lambda$ und $\upsilon$ genannt werden. Dies sind nicht einfach nur zufällige Namen; sie sind der mathematische Rückstand dieser Kollision.

Liflandsky beweist etwas Überraschendes über diese Funktionen: Sie können als absolut konvergente Reihen von Bessel-Funktionen geschrieben werden. Um dies zu visualisieren, stellen Sie sich die Bessel-Funktion wie eine Kräuselung in einem Teich vor. Das Paper zeigt, dass diese speziellen Funktionen tatsächlich ein perfekter, niemals endender Stapel dieser Kräuselungen sind, gewichtet durch die Möbius-Funktion. Es ist, als würde man entdecken, dass ein komplexer, chaotischer Sturm eigentlich aus perfekt geordneten, rotierenden Wellen besteht.

Der Test der Riemannschen Hypothese

Der spannendste Teil ist, wie diese Formel als Kriterium (ein Test) für die Riemannsche Hypothese fungiert.

Die Einbahnstraße (bewiesen): Das Paper beweist, dass wenn die Summe dieser Möbius-Schalter auf eine ganz bestimmte Weise reagiert (also mit einer Rate von $O(x^{-1/2})$ schrumpft, während $x$ winzig klein wird), dann die Riemannsche Hypothese definitiv wahr ist. Diese Richtung erfordert keine zusätzlichen Annahmen; es ist eine harte mathematische Tatsache. Wenn man sieht, dass die Summe so schnell schrumpft, müssen die Nullstellen auf der kritischen Linie liegen.
Die Einbahnstraße in beide Richtungen (bedingt): Das Paper argumentiert, dass der umgekehrte Weg ebenfalls gilt: wenn die Riemannsche Hypothese wahr ist (und wir annehmen, dass die Nullstellen einfach sind und nicht zu nah an Null liegen), dann wird die Summe mit dieser spezifischen Rate schrumpfen. Dieser Weg beruht jedoch auf einigen zusätzlichen Annahmen darüber, wie sich die Nullstellen verhalten, die zwar weit verbreitet sind, aber noch nicht bewiesen wurden.

Was das Paper ausschließt

Das Paper schließt explizit die Idee aus, dass diese neue Formel nur eine geringfügige Anpassung der alten ist. Es betont, dass der logarithmische Term ( $\log(2\pi x)$ ) ein strukturelles Merkmal ist, das in den klassischen Formeln für die Mertens-Funktion nicht zu finden ist. Die alten Formeln hatten einfache Pole; diese hier hat Doppelpole. Die Mathematik ist grundlegend anders.

Wie sicher sind wir uns?

Die Formel: Die explizite Formel (1.18) ist bewiesen, aber sie beruht auf der Annahme, dass alle nicht-trivialen Nullstellen „einfach“ sind (das heißt, keine zwei Nullstellen liegen exakt übereinander). Dies ist eine Standardannahme, die durch massive numerische Berechnungen (bis zu $3 \cdot 10^{12}$ ) gestützt wird, aber sie wurde noch nicht mathematisch bewiesen. Sollte eine Nullstelle eine „doppelte“ sein, müsste die Formel leicht angepasst werden, aber die Kernlogik bliebe bestehen.
Das Kriterium: Die Richtung „Summe schrumpft schnell $\rightarrow$ Riemannsche Hypothese ist wahr“ ist unbedingt bewiesen. Es sind keine zusätzlichen Vermutungen nötig.
Der Rückweg: Die Richtung „Riemannsche Hypothese ist wahr $\rightarrow$ Summe schrumpft schnell“ ist bedingt. Sie gilt unter der Annahme, dass die Nullstellen einfach sind und nicht zu nah an Null liegen (Hypothese H).

Das Faz-it

Liflandsky hat die Riemannsche Hypothese noch nicht gelöst. Stattdessen hat er einen neuen, hochempfindlichen Detektor gebaut. Er hat herausgefunden, dass die Art und Weise, wie die Möbius-Funktion abklingt, tief mit der Geometrie der Nullstellen der Zeta-Funktion verbunden ist. Die Entdeckung des Doppelpols und des daraus resultierenden logarithmischen Terms ist ein neues Puzzleteil, das zuvor unsichtbar war. Es ist ein rigoroser, bewiesener Schritt nach vorn, der eine neue, unbedingte Möglichkeit bietet zu testen, ob die Riemannsche Hypothese wahr ist, vorausgesetzt, man kann diese Summe genau genug messen.

Technisches Resümee: Explizite Formel für die diskrete Laplace-Transformierte der Möbius-Funktion

Problemstellung
Die vorliegende Arbeit befasst sich mit der Herleitung einer expliziten Formel für die diskrete Laplace-Transformierte der Möbius-Funktion, definiert als $\Phi(e^{-t}) = \sum_{n=1}^\infty \mu(n)e^{-nt}$ . Während explizite Formeln für die Mertens-Funktion (die partiellen Summen von $\mu(n)$ ) gut etabliert sind (z. B. Titchmarsh' Theorem 14.27), stellt die Behavior der Laplace-Transformierten unter der Annahme einfacher Nullstellen der Riemannschen Zeta-Funktion einzigartige analytische Herausforderungen dar. Insbesondere untersucht der Autor, wie die Pole der Gamma-Funktion $\Gamma(s)$ mit den trivialen Nullstellen der Riemannschen Zeta-Funktion $\zeta(s)$ im Kontext der Mellin-Inversion von $\Gamma(s)/\zeta(s)$ interagieren.

Methodik
Die Kernmethodik stützt sich auf die Mellin-Transformierte und Techniken der Konturintegration, folgend dem klassischen Ansatz von Hardy und Littlewood.

Mellin-Darstellung: Der Autor etabliert die Identität $\Gamma(s)/\zeta(s) = \int_0^\infty \Phi(e^{-t})t^{s-1}dt$ für $\text{Re}(s) > 1$ . Durch den Mellin-Inversionssatz wird $\Phi(e^{-x})$ als Konturintegral von $\Gamma(s)x^{-s}/\zeta(s)$ dargestellt.
Konturverschiebung: Die Integrationskontur wird von der Geraden $\text{Re}(s) = \sigma > 1$ $Re (s) = σ > 1$ nach links in Richtung $-\infty$ $- \infty$ verschoben. Dieser Prozess beinhaltet die Berechnung der Residuen des Integranden an seinen Singularitäten:
- Nicht-triviale Nullstellen ( $\rho$ ): Unter der Annahme von Hypothese (S) (alle nicht-trivialen Nullstellen sind einfach), tragen diese einfache Pole bei.
- Triviale Nullstellen: Die Arbeit identifiziert hier eine strukturelle Neuheit. Die trivialen Nullstellen von $\zeta(s)$ treten bei negativen geraden Integern auf ( $s = -2, -4, \dots$ ), welche mit den Polen von $\Gamma(s)$ zusammenfallen. Diese Kollision erzeugt Doppelpole im Integranden, statt der einfachen Pole, die in Standard-Mertens-Formeln vorkommen.
- Ungerade negative Integere: Diese entsprechen einfachen Polen, bei denen $\Gamma(s)$ einen Pol besitzt, $\zeta(s)$ jedoch regulär und ungleich Null ist.
- Nullstelle bei $s=0$ : Ein Beitrag eines einfachen Pols.
Residuenberechnung:
- Die Residuen an den Doppelpolen (negative gerade Integere) werden mittels Laurent-Entwicklungen und logarithmischer Ableitungen berechnet, was Terme involvierend $\log(2\pi x)$ , die Digamma-Funktion $\psi$ und die Ableitungen der Zeta-Funktion offenbart.
- Die Residuen an den nicht-trivialen Nullstellen werden unter der Annahme der Einfachheit mittels der Regel von L'Hôpital berechnet.
Konvergenz und Schranken: Um die Konturverschiebung zu rechtfertigen, verwendet der Autor eine gleichmäßige untere Schranke für $|\Gamma(s)|$ auf beweglichen vertikalen Geraden (Lemma 5.1), was entscheidend ist, um das Integral auf dem linken Rand der Kontur zu kontrollieren, wo Standard-Stirling-Asymptotiken versagen. Lemma 5.2 (Titchmarsh) wird verwendet, um horizontale Linien auszuwählen, die die Nullstellen von $\zeta(s)$ vermeiden.
Reihentransformation: Die Beiträge der trivialen Nullstellen (der Teil der „ganzen Funktionen“) werden als absolut konvergente Reihen von Bessel-Funktionen mit rotierten Argumenten unter Verwendung der Potenzreihen-Definitionen von $\kappa, \beta, \lambda, \upsilon$ neu exprimiert.

Wesentliche Beiträge und Ergebnisse

Explizite Formel (Theorem 1.1):
Unter der Annahme, dass alle nicht-trivialen Nullstellen von $\zeta(s)$ einfach sind (Hypothese S), leitet das Paper die folgende explizite Formel für $x > 0$ ab:
$\sum_{n=1}^\infty \mu(n)e^{-nx} = \sum_{\rho} \frac{\Gamma(\rho)x^{-\rho}}{\zeta'(\rho)} + \pi\kappa(x) + 2\lambda(x) + 4\upsilon(x) - 2\beta(x)\log(2\pi x) - 2$
wobei die Summe über $\rho$ ein symmetrischer Grenzwert über die nicht-trivialen Nullstellen ist. Die Funktionen $\kappa, \beta, \lambda, \upsilon$ sind ganze Funktionen, die durch Potenzreihen unter Einbeziehung von $\zeta(2m+1)$ , $\zeta(2m+2)$ und deren Ableitungen definiert sind.
- Strukturelle Neuheit: Der Term $-2\beta(x)\log(2\pi x)$ ergibt sich spezifisch aus den Doppelpolen bei den negativen geraden Integern. Diese logarithmische Struktur fehlt in der klassischen expliziten Formel für die Mertens-Funktion, in der triviale Nullstellen nur einfache Pole beisteuern.
Möbius–Bessel-Entwicklungen (Theorem 1.2):
Das Paper liefert geschlossene Ausdrücke für die ganzen Funktionen $\kappa, \beta, \lambda, \upsilon$ als absolut konvergente, Möbius-gewichtete Reihen von Bessel-Funktionen $J_0$ mit rotierten Argumenten ( $2e^{-i\pi/4}\sqrt{2\pi x/k}$ ). Beispielsweise:
$\beta(x) + i\kappa(x) = \sum_{k=1}^\infty \frac{\mu(k)}{k} \left( J_0\left(2e^{-i\pi/4}\sqrt{\frac{2\pi x}{k}}\right) - 1 \right)$
Dies stellt eine direkte Verbindung zwischen den Beiträgen der trivialen Nullstellen und Bessel-Typ-Funktionen her, analog zu den Riesz- und Hardy-Littlewood-Kriterien.
Kriterium für die Riemannsche Vermutung (Theorem 1.3):
Das Paper etabliert ein Kriterium, das das asymptotische Verhalten von $\Phi(e^{-x})$ für $x \to 0^+$ mit der Riemannschen Vermutung (RH) verknüpft:
- Unbedingte Richtung: Wenn $\sum \mu(n)e^{-nx} = O(x^{-1/2})$ für $x \to 0^+$ gilt, dann ist die Riemannsche Vermutung wahr. Diese Richtung erfordert keine Annahmen über die Einfachheit der Nullstellen oder die Konvergenz der Nullsumme.
- Umkehrrichtung: Wenn die RH zusammen mit Hypothese (S) (einfache Nullstellen) und Hypothese (H) (absolute Konvergenz der Summe $\sum |\Gamma(\rho)/\zeta'(\rho)|$ ) gilt, dann ist die Schranke $O(x^{-1/2})$ erfüllt.

Bedeutung und Behauptungen
Das Paper beansprucht drei primäre Beiträge:

Die exakte explizite Formel: Es präsentiert eine Formel, in der die Kollision der $\Gamma(s)$ -Pole mit den trivialen Nullstellen Doppelpole und einen distinkten logarithmischen Term ( $-2\beta(x)\log(2\pi x)$ ) erzeugt, ein Merkmal, das in früheren Mertens-Typ-Formeln nicht vorhanden ist.
Geschlossene Formen für Spezialfunktionen: Es zeigt, dass die aus den trivialen Nullstellen resultierenden Funktionen geschlossene Darstellungen als Möbius-gewichtete Bessel-Reihen besitzen, was die Analogie zu klassischen Kriterien erweitert.
Ein verfeinertes Kriterium: Es liefert ein Kriterium für die Riemannsche Vermutung, bei dem die „Wenn“-Richtung unbedingt ist. Der Beweis stützt sich auf eine neue gleichmäßige untere Schranke für die Gamma-Funktion auf beweglichen Geraden (Lemma 5.1), welche die festen Abzisse-Asymptotiken ersetzt, die in diesem spezifischen Kontext der Konturdeformation versagen.

Der Autor merkt an, dass die Methode robust ist: Falls Hypothese (S) falsch ist, gilt die Formel unbedingt mit modifizierten Residuentermen, die die Vielfachheiten der Nullstellen berücksichtigen. Das Paper legt zudem nahe, dass sich diese Techniken auf Dirichlet-L-Funktionen erstrecken lassen und dass die logarithmischen Terme allgemein für rationale Exponenten im Kern $e^{-n^\alpha x}$ auftreten.