A new equivalence to the Riemann Hypothesis by means of the Salem integral equation

Technische Samenvatting

Titel: Een nieuwe equivalentie voor de Riemann-hypothese via de Salem-integraalvergelijking
Auteurs: B. J. González en E. R. Negrín (Universiteit van La Laguna, Spanje)
Onderwerp: Analytisch getaltheorie, Riemann-zetfunctie, Integraalvergelijkingen

---

1. Het Probleem

De Riemann-hypothese (RH) is een van de meest fundamentele open problemen in de wiskunde. De hypothese stelt dat alle niet-triviale nulpunten van de Riemann-zetfunctie $\xi(s)$ (of $\zeta(s)$) in het kritieke strook $0 < \text{Re}(s) < 1$ liggen op de reële lijn $\text{Re}(s) = \frac{1}{2}$.

In 1953 bewees Raphaël Salem dat de RH waar is dan en slechts dan als voor elke $\delta$ met $\frac{1}{2} < \delta < 1$, de enige begrensde meetbare functie $f(t)$ op $(0, \infty)$ die voldoet aan de integraalvergelijking:
$$\int_0^\infty \frac{t^{\delta-1}}{e^{xt} + 1} f(t) \, dt = 0 \quad \text{voor alle } x > 0,$$
de triviale oplossing $f(t) = 0$ (bijna overal) is.

Het doel van dit paper is om een nieuwe, sterkere equivalentie te formuleren. In plaats van te kijken naar alle begrensde meetbare functies, beperken de auteurs zich specifiek tot functies van het type $f(t) = t^{i\gamma}$ (waarbij $\gamma \in \mathbb{R}$).

2. Methodologie

De auteurs gebruiken een combinatie van de theorie van Dirichlet-reeksen, de relatie tussen de Riemann-zetfunctie en de Dirichlet-etafunctie, en de Mellin-transformatie-achtige eigenschappen van de gegeven integraal.

Stappen in de afleiding:

1. Definitie van functies:

   • De Riemann-zetfunctie $\xi(s)$ wordt gedefinieerd voor $\text{Re}(s) > 1$ als $\sum_{n=1}^\infty n^{-s}$.
   • De Dirichlet-etafunctie $\eta(s)$ wordt gedefinieerd als $\sum_{n=1}^\infty (-1)^{n-1} n^{-s}$.
   • Er geldt de relatie: $\eta(s) = (1 - 2^{1-s})\xi(s)$, wat een analytische voortzetting mogelijk maakt naar $0 < \text{Re}(s) < 1$.

2. Integraalrepresentatie:
   De auteurs verwijzen naar een bekende identiteit voor $\text{Re}(s) > 0$:
   $$\int_0^\infty \frac{t^{s-1}}{e^{xt} + 1} \, dt = x^{-s} \Gamma(s) \eta(s) \quad \text{voor alle } x > 0.$$

3. Koppeling aan nulpunten:
   Door $s = \delta + i\gamma$ te substitueren (waarbij $0 < \delta < 1$ en $\gamma \in \mathbb{R}$), zien de auteurs dat $s$ een nulpunt van $\xi(s)$ is dan en slechts dan als:
   $$\int_0^\infty \frac{t^{\delta-1}}{e^{xt} + 1} t^{i\gamma} \, dt = 0 \quad \text{voor alle } x > 0.$$
   Hierbij fungeert $f(t) = t^{i\gamma}$ als de testfunctie in de integraalvergelijking.

4. Symmetrie-argument:
   De auteurs benutten de symmetrie van de nulpunten van $\xi(s)$ ten opzichte van de lijn $\text{Re}(s) = \frac{1}{2}$. Als er een nulpunt bestaat met $\text{Re}(s) = \delta \neq \frac{1}{2}$, dan bestaat er ook een nulpunt met $\text{Re}(s) = 1-\delta$. Dit stelt hen in staat de equivalentie te formuleren specifiek voor het interval $\frac{1}{2} < \delta < 1$.

3. Belangrijkste Bijdragen en Resultaten

Het paper presenteert de volgende nieuwe equivalentie voor de Riemann-hypothese:

De Stelling:
De Riemann-hypothese is waar dan en slechts dan als voor elke $\delta$ met $\frac{1}{2} < \delta < 1$, de integraalvergelijking
$$\int_0^\infty \frac{t^{\delta-1}}{e^{xt} + 1} f(t) \, dt = 0 \quad \text{voor alle } x > 0,$$
geen oplossingen heeft van het specifieke type $f(t) = t^{i\gamma}$ met $t \in (0, \infty)$ en $\gamma \in \mathbb{R}$.

Technische nuances:

• De functie $f(t) = t^{i\gamma} = e^{i\gamma \ln t}$ is een begrensde meetbare functie op $(0, \infty)$ met modulus 1.
• De auteurs tonen aan dat het bestaan van een niet-triviaal nulpunt van $\xi(s)$ met reëel deel $\delta \neq \frac{1}{2}$ direct correspondeert met het bestaan van een oplossing van het type $t^{i\gamma}$ voor de Salem-integraalvergelijking.
• De nieuwe equivalentie is "scherp": in plaats van te eisen dat geen enkele begrensde functie de vergelijking oplost (zoals bij Salem), volstaat het om te controleren of er geen oplossing is van de specifieke oscillatoire vorm $t^{i\gamma}$.

Gevolg (Corollary):
Uit de combinatie van de originele Salem-equivalentie en deze nieuwe equivalentie volgt:
Voor elke $0 < \delta < 1$ met $\delta \neq \frac{1}{2}$, is de enige begrensde meetbare functie die de integraalvergelijking oplost $f=0$ (bijna overal) dan en slechts dan als de vergelijking geen oplossingen heeft van het type $f(t) = t^{i\gamma}$.

4. Betekenis en Relevantie

• Vereenvoudiging van het bewijs: De nieuwe equivalentie reduceert het probleem van het controleren van een hele ruimte van functies naar het controleren van een specifieke, eendimensionale familie van functies ($t^{i\gamma}$). Dit maakt het theoretisch mogelijk om de RH te benaderen via de analyse van deze specifieke oscillaties in de Salem-vergelijking.
• Verband met harmonische analyse: De vorm $t^{i\gamma}$ komt overeen met karakterfuncties in de Mellin-transformatie. De resultaten suggereren dat de distributie van de nulpunten van de Riemann-zetfunctie direct gekoppeld is aan de spectrale eigenschappen van de Salem-kern.
• Kwaliteit van de equivalentie: Hoewel de auteurs geen nieuw bewijs voor de RH zelf leveren, bieden ze een krachtig nieuw perspectief. Het verandert de vraag van "bestaat er een functie?" naar "bestaat er een specifieke exponentiële functie?". Dit kan nuttig zijn voor numerieke benaderingen of voor het opstellen van contra-voorbeelden als de hypothese onwaar zou blijken.

Samenvattend biedt dit paper een elegante herschrijving van de Riemann-hypothese die de focus versmalt van de algemene ruimte van begrensde functies naar een specifieke klasse van exponentiële functies, gebruikmakend van de klassieke Salem-integraalvergelijking.