A Halász-type asymptotic formula for logarithmic means and its consequences

1. Het Probleem en Motivatie

Het centrale probleem in de analytische getaltheorie is het begrijpen van het gedrag van partiële sommen van multiplicatieve functies $f: \mathbb{N} \to \mathbb{C}$, specifiek de Cesàro-sommen $M_f(x) = \sum_{n \le x} f(n)$. De beroemde stelling van Halász (en latere verfijningen door Granville en Soundararajan) biedt scherpe bovenkanten voor deze sommen, maar levert geen algemene asymptotische formules op die in alle gevallen scherp zijn.

De auteurs richten zich op de logaritmische gemiddelden:
$$L_f(x) := \sum_{n \le x} \frac{f(n)}{n}$$
Hoewel $L_f(x)$ vaak via partiële sommatie uit $M_f(x)$ kan worden afgeleid, mist deze benadering de essentie van het probleem. Voor $M_f(x)$ kan de som groot zijn als $f$ "pretends" (gedraagt zich als) een karakter $n^{it}$, maar voor $L_f(x)$ is dit alleen het geval als $|t|$ zeer klein is. Bestaande bovenkanten voor $L_f(x)$ zijn vaak niet scherp wanneer $|L_f(x)| = O(1)$, wat het geval is voor interessante functies zoals de Möbius-functie $\mu$.

De auteurs willen een asymptotische formule voor $L_f(x)$ vinden die scherp is in veel gevallen van belang, en deze toepassen op oude open problemen, zoals de ondergrenzen voor negatieve waarden van logaritmische sommen en het gedrag van willekeurige multiplicatieve functies.

2. Methodologie en Kerninnovatie

De kern van de methode is een nieuwe relatie tussen de logaritmische som $L_f(x)$ en de gemiddelde waarde van de convolutie $g = 1 * f$, maar dan geëvalueerd bij een geschaald argument.

De rol van $w_0$:
Een cruciale innovatie is het gebruik van de constante $w_0 = e^{1-\gamma}$ (waarbij $\gamma$ de Euler-Mascheroni-constante is). In plaats van $L_f(x)$ te relateren aan $\tilde{M}_g(x)$ (waarbij $\tilde{M}_g(x) = \frac{1}{x}M_g(x)$), relateren de auteurs $L_f(x)$ aan $\tilde{M}_g(w_0 x)$.

De redenering is gebaseerd op Perron's formule en de Laurent-ontwikkeling van de Riemann-zetfunctie $\zeta(s)$ rond $s=1$. Door het verschil tussen de integraalrepresentaties van $L_f(x)$ en $\tilde{M}_g(w_0 x)$ te analyseren, zien de auteurs dat de factor $w_0$ zorgt voor een "demping" van de bijdrage van de pool bij $s=1$ wanneer $f$ reëel is. Dit leidt tot een veel nauwkeuriger schatting dan eerdere methoden.

Technische aanpak:

1. Vermindering tot volledig multiplicatief: Voor reële functies $f: \mathbb{N} \to [-1, 1]$ wordt $f$ gereduceerd tot een volledig multiplicatieve functie, zodat $g = 1 * f$ niet-negatief is. Dit is essentieel voor het afleiden van onderkanten.
2. "Gemiddelden van gemiddelden": De auteurs gebruiken een strategie geïnspireerd op Halász' bewijs, waarbij ze $\Delta(x) = L_f(x) - \tilde{M}_g(w_0 x)$ analyseren door middel van integratie over schalen.
3. Plancherel en Dirichlet-reeksen: Ze schatten de integraal van $|\Delta(y)|$ af door deze te koppelen aan $L^2$-integralen van Dirichlet-reeksen, waarbij ze gebruikmaken van de factorisatie $L(s, g) = L(s, f)\zeta(s)$.
4. Fouttermen: De fouttermen worden gecontroleerd via functies $H_1$ en $H_2$, die de "pretentious distance" (de afstand tot de karakteristieke functies $n^{it}$) kwantificeren.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1 & 1.2):
Voor een multiplicatieve functie $f: \mathbb{N} \to [-1, 1]$ en $g = 1 * f$ geldt voor grote $x$:
$$L_f(x) = \left(1 + O\left(\frac{1}{\log x}\right)\right) \tilde{M}_g(w_0 x) + \text{Foutterm}$$
De foutterm is scherp en afhankelijk van de verdeling van $f(p)$ op de priemgetallen. Als $f$ reëel is, is de hoofdterm $\tilde{M}_g(w_0 x)$ vaak dominant en goed te schatten.

Toepassing 1: Ondergrenzen voor logaritmische sommen (Corollary 2.1)
De auteurs verbeteren een 20 jaar oud resultaat van Granville en Soundararajan. Ze bewijzen dat er een constante $c > 0$ bestaat zodat voor elke volledig multiplicatieve functie $f: \mathbb{N} \to [-1, 1]$:
$$L_f(x) > -\frac{c}{(\log x)^{1 - 2/\pi}}$$
Dit is een aanzienlijke verbetering ten opzichte van de vorige schatting van $-(\log \log x)^{-3/5}$. Ze tonen ook aan dat de exponent $1 - 2/\pi$ waarschijnlijk optimaal is (of ten minste dichtbij de waarheid ligt), en dat de exponent kan worden verbeterd naar $-1 + o(1)$ als $f$ niet te veel lijkt op de Liouville-functie $\lambda$.

Toepassing 2: Het "Random" Turán-probleem (Theorema 2.3)
Voor een Rademacher-willekeurige volledig multiplicatieve functie $f$ (waarbij $f(p)$ onafhankelijk $\pm 1$ is met gelijke kans), bewijzen ze dat de kans dat $L_f(x)$ negatief is, extreem klein is:
$$P\left(\sum_{n \le x} \frac{f(n)}{n} < 0\right) \ll \exp(-x^\beta)$$
voor zekere $\beta \in (0, 1)$. Dit bevestigt een eerder vermoeden en verbetert eerdere exponentiële ondergrenzen voor deze waarschijnlijkheid aanzienlijk.

Toepassing 3: Omgekeerde theorema's (Corollary 2.4 & 2.5)
Als $|L_f(x)|$ zeer klein is (specifiek kleiner dan $\frac{\exp(C(\log \log x)^{2/3})}{\log x}$), dan moet $f$ "pretenden" (gedragen als) de Liouville-functie $\lambda$. Ze construeren een voorbeeld dat laat zien dat deze schattingen essentieel scherp zijn.

Toepassing 4: Vermoeden van Goldmakher (Corollary 2.7)
Ze bewijzen een sterkere versie van een vermoeden van Goldmakher over sommen over getallen met kleine priemfactoren, waarbij de foutterm $O((\log x)^{-(1-2/\pi)})$ is.

4. Significatie en Impact

• Scherpte: De paper levert de eerste algemene asymptotische formule voor logaritmische gemiddelden die scherp is in gevallen waar $L_f(x)$ van orde 1 is, een situatie waar eerdere methoden faalden.
• Nieuwe Constante: De introductie van de constante $w_0 = e^{1-\gamma}$ als een schalingsfactor in de hoofdterm is een fundamentele doorbraak die de relatie tussen Cesàro-sommen en logaritmische sommen verduidelijkt.
• Oplossing van Open Problemen: De resultaten lossen of maken aanzienlijke vooruitgang op lange-standing problemen, zoals de ondergrens voor negatieve waarden van multiplicatieve sommen en de waarschijnlijkheid van negatieve waarden bij willekeurige functies.
• Methodologische Diepgang: De combinatie van "averages of averages", complexe analyse (Laurent-reeksen van $\zeta(s)$), en probabilistische methoden (voor het willekeurige geval) biedt een krachtig nieuw kader voor onderzoek naar multiplicatieve functies.

Kortom, dit werk biedt een fundamenteel nieuw perspectief op het gedrag van logaritmische sommen van multiplicatieve functies en levert de beste bekende resultaten op voor een breed scala aan gerelateerde problemen in de analytische getaltheorie.