On a new approach to the Riemann hypothesis

Dit artikel stelt onder de aanname dat de Riemann-hypothese onwaar is, een asymptotische relatie vast tussen de residuen van een bepaalde Dirichlet-reeks bij niet-triviale nulpunten en een continue functie van een rationaal getal, wat implicaties heeft voor de geldigheid van de hypothese.

De kern

Stel je voor dat de wiskundige wereld een enorme, onzichtbare muur heeft: de Riemann-hypothese. Deze hypothese is een van de beroemdste en moeilijkste raadsels in de wiskunde. Het gaat over een speciaal soort getallen (de "nulpunten" van een functie) die allemaal op één perfecte, rechte lijn zouden moeten liggen. Als ze daar liggen, betekent het dat de verdeling van priemgetallen (de bouwstenen van de getallenwereld) een heel strak patroon volgt.

De auteur van dit artikel, Hisanobu Shinya, doet iets heel leuks: hij zegt, "Stel even voor dat deze hypothese onwaar is."

In plaats van te proberen te bewijzen dat de muur er is, kijkt hij wat er gebeurt als je die muur neerhaalt. Hij vraagt zich af: "Wat voor rare dingen zouden er dan gebeuren?"

Hier is een simpele uitleg van zijn aanpak, met behulp van een paar creatieve metaforen:

1. De "Gouden Gitaar" en de "Valse Toon"

Stel je voor dat de wiskundige functie die we bestuderen (de Riemann-zètafunctie) een gigantische gitaar is. De "nulpunten" zijn de snaren. De hypothese zegt dat alle snaren perfect gestemd zijn en op één lijn staan.

Shinya zegt: "Oké, stel dat één snaar (laten we hem $\rho^*$ noemen) een beetje scheef staat. Hij zit niet op de lijn, maar een beetje ernaast."

Als die snaar scheef staat, gaat de gitaar een heel specifiek, vreemd geluid maken. Shinya probeert dit geluid te analyseren. Hij gebruikt een speciaal instrument (een wiskundige formule genaamd $M(s, p)$) om naar dit geluid te luisteren. Dit instrument is een soort "microfoon" die luistert naar de trillingen van de priemgetallen, maar dan met een extra knopje (de variabele $p$) dat je kunt draaien.

2. De "Magische Spiegel"

Het meest interessante aan dit artikel is wat er gebeurt als je die knop $p$ (een breuk, zoals 1/2 of 3/4) langzaam verdraait.

Shinya ontdekt een vreemd fenomeen:

• Als de Riemann-hypothese waar is, is het geluid dat je hoort heel stabiel.
• Als de hypothese onwaar is (en die ene scheve snaar bestaat), dan zou het geluid dat je hoort via je "magische spiegel" (de formule) moeten veranderen naarmate je de knop $p$ verdraait.

Het is alsof je door een raam kijkt naar een landschap. Als het landschap echt is (de hypothese is waar), ziet het er hetzelfde uit, hoe je ook door het raam kijkt. Maar als het landschap een illusie is (de hypothese is onwaar), dan zou het beeld in het raam moeten "glijden" of vervormen als je je hoofd beweegt.

3. De "Onmogelijke Balans"

Shinya heeft een formule gevonden die twee dingen met elkaar vergelijkt:

1. Links: Een term die afhangt van die "scheve snaar" ($\rho^*$). Dit is als het gewicht van een bal die op een wipplank ligt.
2. Rechts: Een term die afhangt van de knop $p$. Dit is als de positie van de wipplank.

Zijn conclusie is: "Als die scheve snaar bestaat, dan moet de linkerkant (het gewicht) en de rechterkant (de positie) perfect in balans blijven, zelfs als je de knop $p$ verandert."

Maar hier komt het probleem:
De linkerkant hangt af van een heel specifiek, vast getal (de locatie van de scheve snaar). De rechterkant is een functie die continu verandert als je $p$ verandert (net als een soepele glijbaan).

Shinya suggereert dat dit een tegenstrijdigheid is. Het is alsof je probeert een stenen blok (dat niet kan bewegen) te laten meebewegen met een soepele glijbaan. Als de hypothese onwaar is, zou de wiskunde "klem" raken. De formule zou niet kunnen werken zoals hij beschrijft.

4. Waarom is dit belangrijk?

Dit artikel is geen definitief bewijs dat de Riemann-hypothese waar is. Het is meer een nieuwe manier om te kijken.

• De oude manier: "Laten we proberen te bewijzen dat alle snaren op de lijn liggen." (Zeer moeilijk).
• De nieuwe manier (Shinya): "Laten we aannemen dat er één snaar scheef staat. Dan moeten we een heel specifiek, vreemd gedrag zien in onze formules. Als we dat gedrag niet zien, of als het gedrag logisch onmogelijk is, dan weten we dat er geen scheve snaar kan zijn."

Samenvatting in één zin

De auteur zegt: "Als de Riemann-hypothese fout is, dan zouden de getallen in onze wiskundige formules zich moeten gedragen als een soepele, vloeiende stroom die continu verandert; maar als we de hypothese ontkennen, krijgen we een stijf, vaststaand blok dat die vloeiende stroom blokkeert. Dit gebrek aan harmonie suggereert dat de hypothese waarschijnlijk toch waar is."

Het is een slimme, indirecte aanval op het probleem: in plaats van de muur te bestormen, kijkt hij naar de schaduwen die de muur zou werpen als hij er niet was.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On a new approach to the Riemann hypothesis" van Hisanobu Shinya, geschreven in het Nederlands.

Probleemstelling

Het artikel onderzoekt de Riemann-hypothese (RH), die stelt dat alle niet-triviale nulpunten van de Riemann-zètafunctie $\zeta(s)$ liggen op de kritieke lijn $\text{Re}(s) = 1/2$. De auteur neemt de hypothese als vals aan (een reductio ad absurdum benadering). Specifiek wordt aangenomen dat er een niet-triviaal nulpunt $\rho^* = 1/2 + \eta^* + i\gamma^*$ bestaat met $\eta^* > 0$, wat betekent dat het nulpunt buiten de kritieke lijn ligt. Het doel is om een nieuwe asymptotische relatie af te leiden die voortvloeit uit deze aanname en te onderzoeken welke implicaties dit heeft voor de geldigheid van de RH.

Methodologie

De kern van de methode is het introduceren en analyseren van een specifieke Dirichlet-reeks die zelden in de literatuur voorkomt, maar hier centraal staat:
$$M(s, p) \equiv \sum_{n \ge 1} \Lambda(n)e^{-2\pi ipn}n^{-s}$$
waarbij:

• $\Lambda(n)$ de Mangoldt-functie is.
• $p = a/b$ een rationaal getal is in het interval $(0, 1)$.

Stappen in de analyse:

1. Lemmas en Transformatie: De auteur toont aan (Lemma 1.1) dat $M(s, p)$ kan worden uitgedrukt als een lineaire combinatie van logaritmische afgeleiden van Dirichlet $L$-functies:
   $$M(s, a/b) = -\sum_{\chi} A(a, b; \chi) \frac{L'}{L}(s, \chi)$$
   waarbij $A(a, b; \chi)$ een coëfficiënt is die afhangt van Dirichlet-karakters $\chi$. Omdat de hoofdkarakter $\chi_0$ de Riemann-zètafunctie bevat, is deze reeks direct gekoppeld aan de RH.

2. Integraalrepresentatie (Stelling 1.2): Er wordt een complexe integraalidentiteit opgesteld die $M(s, p)$ relateert aan de Gamma-functie en de Riemann-zètafunctie. De auteur gebruikt contourintegratie en de residue-stelling om een relatie te vinden tussen een integraal over een verticale lijn in het complexe vlak en een som over de nulpunten van de betrokken functies.

3. Asymptotische Analyse (Stelling 1.3): Onder de aanname dat $M(s, p)$ een pool heeft bij $s = \rho_{n1,p}$ (een nulpunt buiten de kritieke lijn), wordt de integraal geëvalueerd door het integratiepad te verschuiven. Hierbij wordt gebruikgemaakt van de asymptotische eigenschappen van de Gamma-functie voor grote imaginaire delen ($|t| \to \infty$).

Belangrijkste Bijdragen en Resultaten

1. De Asymptotische Relatie (Stelling 1.3)
Het centrale resultaat is een asymptotische formule die geldt als het imaginaire deel van het nulpunt $\gamma_{n1,p} \to \infty$. Als de RH onwaar is en er een pool bestaat bij $\rho_{n1,p} = 1/2 + \eta_{n1,p} + i\gamma_{n1,p}$, dan geldt:
$$c(p)\Gamma(\rho_{n1,p})e^{\pi\gamma_{n1,p}/2} \sim \Gamma(1 + \nu + i\gamma_{n1,p})e^{\pi\gamma_{n1,p}/2} \times \sum_{\rho_j} \rho_j^{-1} (2\pi p)^{-\nu-i\gamma_{n1,p}+\rho_j} e^{(\nu+i\gamma_{n1,p}-\rho_j)\pi i/2}\Gamma(-\nu-i\gamma_{n1,p}+\rho_j)$$
Hierbij is $c(p)$ een coëfficiënt die afhankelijk is van de residu's van $M(s, p)$ en $\Gamma$-functies.

2. Continuïteit in $p$
Een cruciaal observatiepunt is dat de uitdrukking aan de rechterkant van de asymptotische formule continu is in de variabele $p \in (0, 1)$. Aangezien de linkerkant (die de residu's van de niet-triviale nulpunten bevat) theoretisch ook continu zou moeten variëren met $p$, ontstaat er een sterke restrictie.

3. Het Bounding-probleem en Conjecture 1.4
De auteur identificeert een technische uitdaging: om de asymptotiek te valideren, moet men de term $\sum_{\chi} A(a, b; \chi) \sum_{|t-\gamma|<1} \frac{1}{s-\rho_\chi}$ kunnen begrenzen voor grote noemers $b$ van het rationele getal $p$.
Dit leidt tot Conjecture 1.4, die stelt dat deze som begrensd kan worden door $t^\epsilon$ voor elke $\epsilon > 0$, onafhankelijk van $b$. Het oplossen van deze begrenzing zou een directe weg bieden om de RH te bewijzen of weerleggen via deze methode.

Betekenis en Conclusie

• Nieuwe Benadering: Het artikel biedt een nieuwe analytische route om de Riemann-hypothese aan te vallen door een specifieke gewogen som van de Mangoldt-functie te koppelen aan Dirichlet $L$-functies.
• Contradictie Potentieel: De afgeleide relatie suggereert dat als de RH onwaar is, er een zeer specifieke, continue structuur moet bestaan tussen de residu's van de $L$-functies en de parameter $p$. De auteur impliceert dat de continuïteitseis in combinatie met de discrete aard van de nulpunten mogelijk tot een contradictie leidt, wat zou betekenen dat de RH waar is.
• Open Vraag: De volledige validiteit van de stelling hangt af van het oplossen van het bounding-probleem (Conjecture 1.4). Zolang dit niet is opgelost, blijft het een krachtige maar voorlopige aanname binnen de reductio ad absurdum strategie.

Samenvattend presenteert Shinya een complexe analytische identiteit die de negatie van de Riemann-hypothese koppelt aan een continu gedrag van Dirichlet-reeksen, waarbij de oplossing van een specifieke schattingsprobleem de sleutel lijkt te zijn tot het definitieve bewijs.