🔢 mathematics

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

Uitgaande van de eenvoud van de nulpunten van de Riemann-zetafunctie, leidt dit artikel een expliciete formule af voor de discrete Laplace-transformatie van de Möbiusfunctie waarbij dubbele polen voortkomen uit botsende Gamma- en zeta-nulpunten, stelt het een criterium vast voor de Riemann-hypothese gebaseerd op de vervalvoet van de transformatie, en introduceert het speciale volledige functies met gesloten vorm van Möbius-gewogen Bessel-reeksen.

Oorspronkelijke auteurs: Sergey Liflandsky

Gepubliceerd 2026-07-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Sergey Liflandsky

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je de Riemann zeta-functie, $\zeta(s)$ , voor als een gigantisch, onzichtbaar muziekinstrument dat het geheime codewoord bevat voor hoe priemgetallen door het universum verspreid zijn. Al meer dan 150 jaar proberen wiskundigen de exacte melodie van dit instrument te horen, specifiek om de Riemann-hypothese te bewijzen: het idee dat alle "verborgen noten" (de niet-triviale nulpunten) van dit instrument perfect gestemd zijn op één specifieke frequentielijn.

In dit artikel gebruikt Sergey Liflandsky een nieuw instrument om naar deze muziek te luisteren: de Discrete Laplace-transformatie van de Möbius-functie. Denk aan de Möbius-functie, $\mu(n)$ , als een kosmische schakelbordoperator die tekens (+1, -1 of 0) omdraait op basis van de priemfactoren van een getal. Liflandsky vraagt zich af: "Wat gebeurt er als we al deze schakelaars vermenigvuldigen met een afnemend signaal ( $e^{-nx}$ ) en ze allemaal bij elkaar optellen?"

De Grote Ontdekking: Een Botsing van Werelden

De belangrijkste bevinding van het artikel is een gloednieuwe, expliciete formule voor deze som. Het is alsof men een meestersleutel heeft gevonden die de som ontsluit met behulp van twee verschillende sets informatie: de waarden van de zeta-functie op specifieke punten en de locaties van de verborgen nulpunten ervan.

Hier is de wending die dit artikel bijzonder maakt. In eerdere formules (zoals die voor de Mertens-functie) was de wiskunde relatief schoon. De "polen" (plekken waar de wiskunde ontploft) van het ene deel van de vergelijking en de "nulpunten" (plekken waar de vergelijking verdwijnt) van het andere deel bleven gescheiden.

Maar in deze nieuwe formule botsen ze op elkaar.

Liflandsky laat zien dat de polen van de Gamma-functie (een beroemde wiskundige helper) botsen met de "triviale nulpunten" van de zeta-functie. Het is alsof twee treinen op een botsingskoers liggen die niet alleen stoppen, maar samensmelten tot een dubbele pool. Deze botsing creëert een gloednieuwe, chaotische en prachtige term in de formule: een logaritmische term die $\log(2\pi x)$ betreft. Deze structuur is nog nooit eerder gezien in dit soort formules. Het is een unieke vingerafdruk, achtergelaten door de botsing van deze wiskundige krachten.

De "Bessel"-verrassing

Het artikel introduceert ook enkele "speciale volledige functies" (wiskundige objecten die overal vloeiend zijn) genaamd $\kappa$ , $\beta$ , $\lambda$ en $\upsilon$ . Dit zijn niet zomaar willekeurige namen; ze zijn het wiskundige residu van die botsing.

Liflandsky bewijst iets verrassends over deze functies: ze kunnen worden geschreven als absoluut convergente reeksen van Bessel-functies. Om dit te visualiseren: stel je de Bessel-functie voor als een rimpeling in een vijver. Het artikel laat zien dat deze speciale functies eigenlijk een perfecte, eindeloze stapel van deze rimpelingen zijn, gewogen door de Möbius-functie. Het is alsof men ontdekt dat een complexe, chaotische storm eigenlijk bestaat uit perfect geordende, roterende golven.

De Test van de Riemann-hypothese

Het meest opwindende deel is hoe deze formule fungeert als een criterium (een test) voor de Riemann-hypothese.

De Eenrichtingsweg (Bewezen): Het artikel bewijst dat als de som van deze Möbius-schakelaars op een zeer specifieke manier gedrag vertoont (het krimpt met een snelheid van $O(x^{-1/2})$ naarmate $x$ heel klein wordt), dan is de Riemann-hypothese definitief waar. Deze richting vereist geen extra aannames; het is een hard wiskundig feit. Als je ziet dat de som zo snel krimpt, moeten de nulpunten op de kritieke lijn liggen.
De Tweerichtingsweg (Conditioneel): Het artikel betoogt dat het omgekeerde ook waar is: als de Riemann-hypothese waar is (en we aannemen dat de nulpunten eenvoudig zijn en niet te dicht bij nul komen), dan zal de som met die specifieke snelheid krimpen. Deze richting rust echter op een paar extra aannames over hoe de nulpunten zich gedragen, die breed worden ondersteund maar nog niet bewezen zijn.

Wat het Artikel Uitsluit

Het artikel sluit expliciet de mogelijkheid uit dat deze nieuwe formule slechts een kleine aanpassing van de oude is. Het benadrukt dat de logaritmische term ( $\log(2\pi x)$ ) een structureel kenmerk is dat niet te vinden is in de klassieke formules voor de Mertens-functie. De oude formules hadden eenvoudige polen; deze heeft dubbele polen. De wiskunde is fundamenteel anders.

Hoe Zeker Zijn We?

De Formule: De expliciete formule (1.18) is bewezen, maar het rust op de aanname dat alle niet-triviale nulpunten "eenvoudig" zijn (wat betekent dat er geen twee nulpunten precies op elkaar liggen). Dit is een standaard aanname die wordt ondersteund door enorme numerieke berekeningen (tot $3 \cdot 10^{12}$ ), maar het is nog niet wiskundig bewezen. Als een nulpunt "dubbel" zou zijn, zou de formule een lichte aanpassing nodig hebben, maar de kernlogica blijft overeind.
Het Criterium: De richting "Som krimpt snel $\rightarrow$ Riemann-hypothese is waar" is onvoorwaardelijk bewezen. Er zijn geen extra gissingen nodig.
Het Omgekeerde: De richting "Riemann-hypothese is waar $\rightarrow$ Som krimpt snel" is conditioneel. Dit geldt als we aannemen dat de nulpunten eenvoudig zijn en niet te dicht bij nul komen (Hypothese H).

De Kern van de Zaak

Liflandsky heeft de Riemann-hypothese nog niet opgelost. In plaats daarvan heeft hij een nieuwe, uiterst gevoelige detector gebouwd. Hij heeft ontdekt dat de manier waarop de Möbius-functie afneemt, diep verbonden is met de geometrie van de nulpunten van de zeta-functie. De ontdekking van de dubbele pool en de resulterende logaritmische term is een nieuw puzzelstukje dat voorheen onzichtbaar was. Het is een rigoureuze, bewezen stap voorwaarts die een frisse, onvoorwaardelijke manier biedt om te testen of de Riemann-hypothese waar is, mits we die som nauwke genoeg kunnen meten.

Technische Samenvatting: Expliciete Formule voor de Discrete Laplace-transformatie van de Möbiusfunctie

Probleemstelling
Het artikel behandelt de afleiding van een expliciete formule voor de discrete Laplace-transformatie van de Möbiusfunctie, gedefinieerd als $\Phi(e^{-t}) = \sum_{n=1}^\infty \mu(n)e^{-nt}$ . Hoewel expliciete formules voor de Mertens-functie (de partiële sommen van $\mu(n)$ ) goed gevestigd zijn (bijv. Titchmarsh's Stelling 14.27), presenteren de eigenschappen van de Laplace-transformatie onder de assumptie van eenvoudige nulpunten van de Riemann zeta-functie unieke analytische uitdagingen. Specifiek onderzoekt de auteur hoe de polen van de Gamma-functie $\Gamma(s)$ interageren met de triviale nulpunten van de Riemann zeta-functie $\zeta(s)$ in de context van de Mellin-inversie van $\Gamma(s)/\zeta(s)$ .

Methodologie
De kernmethodologie berust op de Mellin-transformatie en technieken van contourintegratie, volgend de klassieke benadering van Hardy en Littlewood.

Mellin-representatie: De auteur stelt de identiteit $\Gamma(s)/\zeta(s) = \int_0^\infty \Phi(e^{-t})t^{s-1}dt$ vast voor $\text{Re}(s) > 1$ . Door de Mellin-inversiestelling wordt $\Phi(e^{-x})$ gerepresenteerd als een contourintegraal van $\Gamma(s)x^{-s}/\zeta(s)$ .
Contourverschuiving: De integratiecontour wordt verschoven van de lijn $\text{Re}(s) = \sigma > 1$ $Re (s) = σ > 1$ naar links, richting $-\infty$ $- \infty$ . Dit proces omvat het berekenen van de residuen van de integraand bij zijn singulariteiten:
- Niet-triviale nulpunten ( $\rho$ ): Onder de assumptie van Hypothese (S) (alle niet-triviale nulpunten zijn eenvoudig), dragen deze bij als eenvoudige polen.
- Triviale nulpunten: Het artikel identificeert hier een structurele nieuwheid. De triviale nulpunten van $\zeta(s)$ komen voor bij negatieve even gehele getallen ( $s = -2, -4, \dots$ ), die samenvallen met de polen van $\Gamma(s)$ . Deze botsing creëert dubbele polen in de integraand, in plaats van de eenvoudige polen die men vindt in standaard Mertens-formules.
- Oneven negatieve gehele getallen: Deze komen overeen met eenvoudige polen waar $\Gamma(s)$ een pool heeft, maar $\zeta(s)$ regulier en niet-nul is.
- Nul bij $s=0$ : Een bijdrage van een eenvoudige pool.
Residu-berekening:
- De residuen bij de dubbele polen (negatieve even gehele getallen) worden berekend met behulp van Laurent-reeksen en logaritmische afgeleiden, wat termen onthult die betrokken zijn bij $\log(2\pi x)$ , de digamma-functie $\psi$ , en de afgeleide van de zeta-functie.
- De residuen bij de niet-triviale nulpunten worden berekend met behulp van de regel van L'Hôpital onder de assumptie van eenvoudige nulpunten.
Convergentie en Grenzen: Om de contourverschuiving te rechtvaardigen, hanteert de auteur een uniforme ondergrens voor $|\Gamma(s)|$ op bewegende verticale lijnen (Lemma 5.1), wat cruciaal is voor het beheersen van de integraal op de linkerzijde van de contour waar standaard Stirling-asymptotica falen. Lemma 5.2 (Titchmarsh) wordt gebruikt om horizontale lijnen te selecteren die de nulpunten van $\zeta(s)$ vermijden.
Reeks-transformatie: De bijdragen van de triviale nulpunten (het deel van de "volledige functies") worden opnieuw uitgedrukt als absoluut convergente reeksen van Bessel-functies met geroteerde argumenten, gebruikmakend van de machtsreeksdefinities van $\kappa, \beta, \lambda, \upsilon$ .

Belangrijkste Bijdragen en Resultaten

Expliciete Formule (Stelling 1.1):
Onder de assumptie dat alle niet-triviale nulpunten van $\zeta(s)$ eenvoudig zijn (Hypothese S), leidt het artikel de volgende expliciete formule af voor $x > 0$ :
$\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$
waarbij de som over $\rho$ een symmetrische limiet is over niet-triviale nulpunten. De functies $\kappa, \beta, \lambda, \upsilon$ zijn volledige functies gedefinieerd door machtsreeksen die $\zeta(2m+1)$ , $\zeta(2m+2)$ en hun afgeleiden bevatten.
- Structurele Nieuwheid: De term $-2\beta(x)\log(2\pi x)$ komt specifief voort uit de dubbele polen bij de negatieve even gehele getallen. Deze logaritmische structuur ontbreekt in de klassieke expliciete formule voor de Mertens-functie, waar triviale nulpunten slechts eenvoudige polen bijdragen.
Möbius–Bessel Expansies (Stelling 1.2):
Het artikel biedt gesloten vormen voor de volledige functies $\kappa, \beta, \lambda, \upsilon$ als absoluut convergente Möbius-gewogen reeksen van Bessel-functies $J_0$ met geroteerde argumenten ( $2e^{-i\pi/4}\sqrt{2\pi x/k}$ ). Bijvoorbeeld:
$\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)$
Dit vestigt een directe link tussen de bijdragen van de triviale nulpunten en Bessel-type functies, analoog aan de criteria van Riesz en Hardy-Littlewood.
Criterium voor de Riemann-hypothese (Stelling 1.3):
Het artikel stelt een criterium vast dat het asymptotische gedrag van $\Phi(e^{-x})$ als $x \to 0^+$ verbindt met de Riemann-hypothese (RH):
- Onvoorwaardelijke richting: Als $\sum \mu(n)e^{-nx} = O(x^{-1/2})$ als $x \to 0^+$ , dan is de Riemann-hypothese waar. Deze richting vereist geen aannames over de eenvoud van nulpunten of de convergentie van de nulpunten-som.
- Omgekeerde richting: Als de RH standhoudt, samen met Hypothese (S) (eenvoudige nulpunten) en Hypothese (H) (absolute convergentie van de som $\sum |\Gamma(\rho)/\zeta'(\rho)|$ ), dan geldt de grens $O(x^{-1/2})$ .

Betekenis en Claims
De auteur claimt drie primaire bijdragen:

De Exacte Expliciete Formule: Het presenteert een formule waarbij de botsing van de polen van $\Gamma(s)$ met triviale nulpunten dubbele polen en een duidelijke logaritmische term ( $-2\beta(x)\log(2\pi x)$ genereert), een kenmerk dat niet aanwezig is in eerdere Mertens-type formules.
Gesloten Vormen voor Speciale Functies: Het toont aan dat de functies die voortkomen uit de triviale nulpunten voldoen aan absoluut convergente representaties als Möbius-gewogen Bessel-reeksen, waarmee de analogie met klassieke criteria wordt uitgebreid.
Een Verfijnd Criterium: Het biedt een criterium voor de Riemann-hypothese waarbij de "als"-richting onvoorwaardelijk is. Het bewijs rust op een nieuwe uniforme ondergrens voor de Gamma-functie op bewegende lijnen (Lemma 5.1), die de asymptotica op vaste abscissa vervangt die falen in deze specifieke context van contourdeformatie.

De auteur merkt op dat de methode robuust is: indien Hypothese (S) niet waar is, blijft de formule onvoorwaardelijk geldig met aangepaste residu-termen die rekening houden met de multipliciteit van de nulpunten. Het artikel suggereert ook dat deze technieken uitbreidbaar zijn naar Dirichlet L-functies en dat de logaritmische termen algemeen verschijnen voor rationale exponenten in de kernel $e^{-n^\alpha x}$ .