Technische Samenvatting: Enkele Opmerkingen over het B´aez-Duarte Criterium

Probleemstelling

Het artikel behandelt de Riemannhypothese (RH) vanuit het perspectief van het Nyman-Beurling criterium en de sterkere variant daarvan, het B´aez-Duarte criterium. De kern van het probleem is het karakteriseren van de Riemannhypothese via de dichtheid van een specifieke deelruimte binnen een Hilbertruimte van kwadraatintegreerbare functies.

Specifiek, laat $H$ de Hilbertruimte zijn van functies $f: [1, +\infty[ \to \mathbb{C}$ waarvoor $\int_1^\infty |f(t)|^2 t^{-2} dt < \infty$ geldt, uitgerust met het scalair product $\langle f|g \rangle = \int_1^\infty f(t)\overline{g(t)}t^{-2} dt$. Laat $B_{nat}$ de deelruimte zijn gegenereerd door de familie functies $\gamma_n(t) = [\frac{t}{n}] - \frac{[t]}{n}$ voor $n \in \mathbb{N} \setminus \{0\}$. Het B´aez-Duarte criterium stelt dat de Riemannhypothese equivalent is aan de voorwaarde dat de constante functie $1$ tot in de afsluiting van $B_{nat}$ behoort (aangeduid als $\overline{B_{nat}}$).

Het artikel beoogt lemma's af te leiden die gerelateerd zijn aan het benaderen van de constante functie $1$ met behulp van lineaire combinaties van de basiselementen $\gamma_n, specifiek door de convergentie-eigenschappen van reeksen die de Möbiusfunctie$\mu(n)$ bevatten te onderzoeken.

Methodologie

De auteur maakt gebruik van een combinatie van analytische getaltheorie, functionaalanalyse en asymptotische analyse. De methodologie verloopt via de volgende stappen:

1. Functionele Setup en Integrale Representaties: Het artikel stelt de relatie vast tussen het scalair product in $H$ en de Riemann zeta-functie $\zeta(z)$. Er wordt een identiteit afgeleid: $\langle t^{1-z} | \gamma_n \rangle = (\frac{1}{nz} - \frac{1}{n})\frac{\zeta(z)}{z}$ voor $\text{Re}(z) > 1/2$. Dit verbindt de geometrie van de Hilbertruimte met de nulpunten van $\zeta(z)$.
2. Möbius Inversie en Approximatie: De auteur onderzoekt de natuurlijke benadering van de functie $1$ met behulp van de Möbiusfunctie, gedefinieerd als $f_N = \sum_{n=1}^N \mu(n)\gamma_n$. Verwijzend naar B´aez-Duarte, merkt het artikel op dat deze specifieke sequentie divergeert in $H$. Bijgevolg introduceert de auteur een geparametriseerde familie van benaderingen om de divergentie te regulariseren.
3. Exponentiële Correctie: Een familie functies $f(u)$ wordt gedefinieerd voor een parameter $u > 0$:
   $$f(u)(t) = \sum_{n=1}^\infty \mu(n)e^{-nu}\gamma_n(t)$$
   Het artikel analyseert de continuïteit van de norm $\|f(u)\|_2$ en het scalair product $\langle 1 | f(u) \rangle$ naarmate $u \to 0$.
4. Asymptotische Analyse van Reeksen: De auteur leidt expliciete formules af voor de scalaire producten $\langle \gamma_n | \gamma_m \rangle$ die cotangenssommen en logaritmische termen bevatten, waarbij wordt verwezen naar eerder werk door Vasyunin. Deze worden gebruikt om de gekwadrateerde norm $\|f(u)\|_2^2$ uit te breiden naar machtsreeksen met $\mu(n)$, $\log(n)$ en rekenkundige functies.
5. Polynomiale Approximatie en Foutgrenzen: Het artikel introduceert polynomen $Q_k(x)$ gerelateerd aan de partiële sommen van de Möbiusfunctie en vergelijkt deze met de functie $g(x) = \sum \frac{\mu(n)}{n}x^n$. Gebruikmakend van de Vinogradov-Korobov nulbevrijdingsregio van de zeta-functie, stelt de auteur onvoorwaardelijke grenzen vast voor de fout van deze polynomiale benaderingen.

Belangrijkste Bijdragen en Resultaten

1. Gemodificeerd Criterium en Contradictie-argument

Het artikel herhaalt dat indien $1 \in \overline{B_{nat}}$, dan $\zeta(z) \neq 0$ voor $\text{Re}(z) > 1/2$. Het argument rust op het feit dat als $1$ in de afsluiting ligt, er een sequentie $s_n \in B_{nat}$ bestaat die convergeert naar $1$. Indien een nulpunt $z_0$ zou bestaan met $\text{Re}(z_0) > 1/2$, dan zou het scalaire product $\langle t^{1-z_0} | s_n \rangle$ verdwijnen, wat leidt tot de contradictie $1/z_0 = 0$.

2. Analyse van de Exponentiële Correctie

Het artikel bewijst dat voor $u > 0$, de functie $f(u)$ tot $B_{nat}$ behoort.

• Continuïteit: Er wordt aangetoond dat de functie $u \mapsto \langle 1 | f(u) \rangle = -\sum_{n=1}^\infty \frac{\mu(n)}{n} \log(n) e^{-nu}$ uniform convergeert op $[0, +\infty[$ en continu is bij $u=0$, met $\lim_{u \to 0} \langle 1 | f(u) \rangle = 1$.
• Norm Convergentie Voorwaarde: Het artikel stelt dat de Riemannhypothese standhoudt dan en slechts dan als $\lim_{u \to 0} \|f(u)\|_2^2 = 1$. De moeilijkheid ligt in het bewijzen van deze limiet, aangezien de norm complexe interacties van de Möbiusfunctie bevat.

3. Machtsreeksontwikkeling van de Norm

De auteur leidt een gedetailleerde expansie af voor $F(x) = \|f(-\log x)\|_2^2$ voor $x \in (0, 1)$. Deze expansie bevat producten van machtsreeksen van de vorm $\sum \mu(n)x^n$, $\sum \frac{\mu(n)}{n}x^n$, en $\sum \frac{\mu(n)\log n}{n}x^n$, samen met termen die cotangenssommen bevatten.

• Asymptotische Cancellatie: Door asymptotische formules voor de cotangenssommen (inclusief $\log n$ en de Euler-constante $\gamma$) te substitueren, toont de auteur aan dat divergente termen wegvallen, waardoor een functie $G(x)$ overblijft die continu is bij $x=1$ met $G(1) = -1$.
• Ondergrens: Een lemma wordt bewezen dat stelt dat indien de limiet $L = \lim_{x \to 1} F(x)$ bestaat, dan $L \ge 1$.

4. Polynomiale Approximaties en Foutgrenzen

Het artikel definieert polynomen $Q_k(x)$ als gemiddelden van partiële sommen gerelateerd aan de Möbiusfunctie.

• Convergentie: Er wordt bewezen dat $Q_k$ uniform convergeert naar $g(x)$ op compacte deelverzamelingen van $[0, 1)$.
• Onvoorwaardelijke Foutgrens: Door gebruik te maken van de Vinogradov-Korobov nulbevrijdingsregio, leidt het artikel een onvoorwaardelijke foutgrens af voor de benaderingsfout:
  $$\|Q_k - g\|_\infty \ll \exp\left(-c (\log k)^{3/5} (\log \log k)^{-1/5}\right)$$
  Dit resultaat biedt een kwantitatieve maat voor hoe goed deze polynomen de limiterende functie benaderen zonder de Riemannhypothese aan te nemen.

5. Continuïteit van de Limiterende Functie

Het artikel concludeert door te bewijzen dat de reeks $\sum_{k \ge 1} \frac{\|h_k\|}{k(k+1)}$ convergeert, waarbij $h_k$ de componenten van de benadering zijn. Dit impliceert dat de functie gedefinieerd door deze reeks continu is, wat de analytische eigenschappen van de gebruikte benaderingen versterkt.

Betekenis en Claims

Het artikel positioneert zichzelf als een verzameling "interessante lemma's" gerelateerd aan het B´aez-Duarte criterium, in plaats van een bewijs van de Riemannhypothese. De betekenis ligt in:

• Verfijning van de Approximatiestrategie: Het gaat verder dan de divergente natuurlijke benadering ($\sum \mu(n)\gamma_n$) door exponentiële correcties te introduceren en hun convergentie-eigenschappen te analyseren.
• Verbinding tussen Geometrie en Aritmetica: Het legt een expliciete link tussen de normconvergentie in de Hilbertruimte en het asymptotische gedrag van reeksen met de Möbiusfunctie en de Riemann zeta-functie.
• Onvoorwaardelijke Grenzen: Het biedt rigoureuze, onvoorwaardelijke foutgrenzen voor de polynomiale benadering van de Möbius-gerelateerde functie $g(x)$, gebruikmakend van de best bekende nulbevrijdingsregio's van de zeta-functie.
• Verheldering van de Limietvoorwaarde: Het isoleert de specifieke voorwaarde ($\lim_{u \to 0} \|f(u)\|_2^2 = 1$) die, indien bewezen, de Riemannhypothese zou bevestigen, waardoor de precieze analytische hindernis die in deze aanpak overblijft, wordt verduidelijkt.

De auteur blijft bescheiden en merkt op dat hoewel de natuurlijke benadering divergeert en de exponentiële correctie verdere analyse van de normlimiet vereist, de afgeleide lemma's en grenzen een gestructureerd kader bieden voor het onderzoeken van het criterium.