🔢 mathematics

A Modular Form Proof of the Irrationality of $\zeta\left(3\right)$

Dit artikel presenteert een uiteenzettend bewijs van de irrationaliteit van $\zeta(3)$ door een specifieke Eichler-integraal te construeren uit modulaire vormen van niveau 6 om een machtsreeks te genereren die voldoet aan Beukers' irrationaliteitscriterium.

Oorspronkelijke auteurs: Pang Ern Thang

Gepubliceerd 2026-07-21

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Pang Ern Thang

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

Het Mysterie van het Onbreekbare Getal

Stel je voor dat je een detective bent die een puzzel probeert op te lossen over getallen. In de wereld van de wiskunde is er een speciale familie van getallen genaamd de "Riemann-zetafunctie". Zie deze functie als een gigantische, magische rekenmachine die een getal, zeg $s$ , neemt en een oneindige lijst breuken optelt: $1 + 1/2^s + 1/3^s + 1/4^s$ , enzovoort, voor eeuwig. Wanneer je er even getallen in stopt zoals 2 of 4, geeft de rekenmachine antwoorden die goed gedrag vertonen en geschreven kunnen worden als eenvoudige breuken met behulp van $\pi$ (de verhouding tussen de omtrek en de diameter van een cirkel). Maar wanneer je er oneven getallen in stopt zoals 3, 5 of 7, wordt de rekenmachine vreemd. De antwoorden lijken geen eenvoudig patroon te volgen.

De grote vraag is: zijn deze oneven antwoorden "rationeel" (wat betekent dat ze geschreven kunnen worden als een eenvoudige breuk zoals $3/4$ ) of "irrationeel" (wat betekent dat ze rommelige, eindeloze decimalen zijn die nooit als een breuk geschreven kunnen worden, zoals $\pi$ of $\sqrt{2}$ )? Een lang tijd wisten wiskundigen dat de even antwoorden irrationeel waren, maar de oneven waren een mysterie. Een van de beroemdste mysteries is het antwoord voor $s=3$ , een getal dat bekendstaat als Apéry's constante. Als dit getal irrationeel is, betekent dit dat het een uniek, onbreekbaar stukje van het wiskundige universum is dat niet vereenvoudigd kan worden. Het bewijzen hiervan is als laten zien dat een specifiek slot geen sleutel heeft die er perfect in past.

De Reis van het Papier: Een Modulaire Kaart naar de Waarheid

Dit artikel, geschreven door Pang Ern Thang, presenteert een frisse en elegante manier om te bewijzen dat Apéry's constante, $\zeta(3)$ , inderdaad irrationeel is. Terwijl het oorspronkelijke bewijs door Roger Apéry in 1978 een briljante maar enigszins mysterieuze prestatie was, laat deze auteur zien dat het bewijs eigenlijk een natuurlijk gevolg is van een andere tak van de wiskunde: "modulaire vormen".

Om de methode van het artikel te begrijpen, stel je de complexe wereld van getallen voor als een uitgestrekt, mistig landschap. Normaal gesproken, als je door dit landschap probeert te wandelen, loop je tegen een muur aan (een "vertakkingswaarde") die je tegenhoudt om verder te gaan. In wiskundige termen beperkt deze muur hoe ver je een functie kunt uitbreiden voordat deze instort of onvoorspelbaar wordt. De strategie van de auteur is om een speciale "brug" te bouwen met behulp van modulaire vormen—functies die een unieke, symmetrische schoonheid hebben, zoals een caleidoscoop die er hetzelfde uitziet, ongeacht hoe je hem draait.

Het artikel construeert een specifieke brug met behulp van een modulaire vorm van "niveau 6". Denk aan dit niveau als een specifieke set regels voor hoe de caleidoscoop draait. Door deze regels te gebruiken, creëert de auteur een speciaal pad (een "Eichler-integraal") dat de rommelige wereld van $\zeta(3)$ verbindt met de symmetrische wereld van modulaire vormen. De magie gebeurt wanneer ze kijken naar de "convergentiestraal" van dit pad. In eenvoudige termen is dit hoe ver je langs het pad kunt lopen voordat je een muur raakt.

Meestal is de eerste muur die je raakt al vrij dichtbij. Echter, vanwege de speciale symmetrie van de modulaire vormen die in dit artikel worden gebruikt, gaat het pad niet zomaar bij de eerste muur staan. Het strekt zich magisch uit voorbij deze muur, en bereikt een veel grotere afstand voordat het de volgende muur raakt. Deze "extra ruimte" is de sleutel. Het artikel gebruikt een criterium (een test voor irrationaliteit) ontwikkeld door Beukers, dat stelt: als je een pad kunt bouwen dat ver genoeg gaat en een specifiek patroon van getallen heeft, dan moet het getal dat je bestudeert irrationeel zijn.

De auteur berekent dat het pad zich uitstrekt tot een afstand van $17 + 12\sqrt{2}$ , wat ongeveer 33,97 is. Deze afstand is groot genoeg om de test te doorstaan. Het artikel laat zien dat de getallen langs dit pad tellers hebben (de bovenkant van breuken) die gecontroleerd en voorspelbaar zijn. Omdat het pad zo lang is en de getallen zo goed gedrag vertonen, bevestigt de test dat $\zeta(3)$ geen eenvoudige breuk kan zijn.

In essentie neemt het artikel een moeilijk probleem over een enkel getal en lost het op door te laten zien dat het getal deel uitmaakt van een grotere, symmetrische structuur. Het is alsoal bewijzen dat een specifieke baksteen uniek is, niet door de baksteen zelf te onderzoeken, maar door te laten zien dat hij deel uitmaakt van een prachtige, onbreekbare kathedraal. Het artikel gokt niet alleen; het biedt een rigoureus, stap-voor-stap bewijs dat $\zeta(3)$ irrationeel is, waarbij gebruik wordt gemaakt van de verborgen symmetrieën van het wiskundige universum om het zware werk te doen.

Technische Samenvatting: Een bewijs van de irrationaliteit van $\zeta(3)$ via modulaire vormen

Probleemstelling
Het artikel behandelt de irrationaliteit van de Riemann-zetafunctie bij oneven positieve gehele getallen, specifiek $\zeta(3)$ (Apéry's constante). Hoewel Euler de irrationaliteit van $\zeta(2n)$ voor alle $n \in \mathbb{N}$ vaststelde, blijft de irrationaliteit van $\zeta(2n+1)$ grotendeels onbewezen, waarbij alleen $\zeta(3)$ in 1978 door Apéry als irrationaal werd bewezen. Het artikel beoogt Apéry's resultaat opnieuw te af te leiden binnen het kader van complexe analyse op ruimtes van modulaire vormen, specifiek die van niveau 6, in plaats van te vertrouwen op de oorspronkelijke combinatorische recursie-relaties van Apéry.

Methodologie
De bewijsstrategie steunt op Beukers' irrationaliteitscriterium, dat vereist dat een specifieke machtsreeks wordt geconstrueerd met gecontroleerde noemers en een voldoende grote convergentiestraal. De methodologie verloopt via de volgende stappen:

Modulaire vormen en Dirichlet-reeksen: De auteurs maken gebruik van modulaire vormen van niveau 6, specifiek de kongruentiegroep $\Gamma_1(6)$ . Zij definiëren een modulaire functie $t(\tau)$ afgeleid van eta-quotiënten en een modulaire vorm $F(\tau)$ van gewicht 4 in de ruimte van cusp-vormen $S_4(\Gamma_1(6))$ .
Eichler-integralen: Een Eichler-integraal $f(\tau)$ wordt geconstrueerd uit $F(\tau)$ , gedefinieerd als een reeks $\sum a_n n^{-3} q^n$ . Dit integraal is gerelateerd aan de Dirichlet-reeks $L(F, s)$ , waarbij wordt aangetoond dat $L(F, 3) = \zeta(3)$ .
Functionele vergelijkingen: Met behulp van de Fricke-involutie $\tau \mapsto -1/(6\tau)$ stellen de auteurs een functionele vergelijking op voor het Eichler-integraal. Zij construeren een hulpfunctie $H(\tau) = E(\tau)(f(\tau) - \zeta(3))$ , waarbij $E(\tau)$ een specifieke modulaire vorm van gewicht 2 is. Cruciaal is dat wordt aangetoond dat $H(\tau)$ invariant is onder de Fricke-involutie.
Variabeleverandering: De modulaire functie $t(\tau)$ dient als een coördinaatverandering die een fundamenteel domein van de uitgebreide groep $\Gamma_1(6)^+$ univocaal afbeeldt op het bovenhalfvlak. De functie $H$ wordt herschreven als een machtsreeks in $t$ , aangeduid als $H(t)$ .
Analyse van de convergentiestraal: De convergentiestraal van $H(t)$ wordt bepaald door de vertakkingswaarden van de inverse afbeelding $\tau(t)$ . De eerste vertakkingswaarde komt overeen met het vaste punt van de involutie, $\tau = i/\sqrt{6}$ , wat resulteert in $t_1 = (\sqrt{2}-1)^4$ . Omdat $H(\tau)$ echter dezelfde waarde aanneemt op de twee lokale takken van $\tau(t)$ nabij dit punt, is de schijnbare singulariteit verwijderbaar. De werkelijke convergentiestraal wordt bepaald door de volgende vertakkingswaarde, $t_2 = (\sqrt{2}+1)^4 = 17 + 12\sqrt{2}$ .
Controle van de noemers: De coëfficiënten van de machtsreeks voor $H(t)$ worden geanalyseerd. De coëfficiënten van $f(t)$ hebben noemers die delen door $D_n^3$ (waarbij $D_n = \text{lcm}(1, \dots, n)$ ), en de coëfficiënten van $E(t)$ zijn gehele getallen. Dit waarborgt dat de reeks voldoet aan de rationaliteits- en noemercondities die vereist zijn door Beukers' criterium.

Kernbijdragen en Resultaten

Constructie van $t(\tau)$ : Het artikel construeert expliciet een modulaire functie $t(\tau)$ voor $\Gamma_1(6)$ die een specifiek fundamenteel domein afbeeldt op het bovenhalfvlak, met bekende waarden bij cusps en inwendige punten.
Verwijderbare singulariteit: Een cruciale technische bijdrage is het aantonen dat de functie $H(t)$ , geconstrueerd uit het Eichler-integraal en de modulaire vorm $E$ , analytisch voortzet voorbij de eerste vertakkingswaarde $t_1$ . Deze vergroting van de convergentiestraal van $|t_1|$ naar $|t_2|$ is het mechanisme dat het irrationaliteitsbewijs doet slagen.
Bewijs van irrationaliteit: Door Beukers' criterium toe te passen met de geconstrueerde reeks $H(t)$ , tonen de auteurs aan dat de convergentiestraal $\rho = 17 + 12\sqrt{2}$ voldoet aan $\rho > e^3$ (aangezien $d=1, r=3$ ). Deze ongelijkheid dwingt de conclusie af dat $\zeta(3)$ irrationaal is.

Betekenis en Claims
Het artikel claimt een expositief bewijs te presenteren van de irrationaliteit van $\zeta(3)$ , waarbij het resultaat van Apéry inkadert als een "mooie consequentie van complexe analyse op de ruimtes van bepaalde modulaire vormen". De auteurs benadrukken dat hoewel deze modulaire vorm-benadering succesvol de irrationaliteit van $\zeta(3)$ herstelt, dit momenteel geen resultaten oplevert voor andere oneven zeta-waarden (zoals $\zeta(5)$ ). Het werk dient om de diepe verbinding tussen het combinatorische bewijs van Apéry en de theorie van modulaire vormen te illustreren, waarbij specifiek wordt gewezen op hoe de geometrie van modulaire curven en de eigenschappen van Eichler-integralen kunnen worden ingezet om irrationaliteit vast te stellen. Het artikel doet geen nieuwe toepassingen of toekomstige uitbreidingen voorstel buiten deze specifieke afleiding.

Het Mysterie van het Onbreekbare Getal

De Reis van het Papier: Een Modulaire Kaart naar de Waarheid

Meer zoals dit