On a family of arithmetic series related to the Möbius function

Dit artikel bewijst dat de som van $\mu(n)\omega(n)/n$ over alle gehele getallen $n$ waarvan de kleinste priemfactor tot een willekeurige verzameling van priemgetallen met natuurlijke dichtheid behoort, gelijk is aan nul, en levert een effectieve schatting voor de convergentiesnelheid, waarmee een recent resultaat van Alladi en Johnson wordt uitgebreid.

De kern

Titel: Het Grote Getallen-Feest en de Onzichtbare Gasten

Stel je voor dat de getallen (1, 2, 3, 4, 5...) een enorm, eeuwigdurend feest zijn. Elk getal is een gast. Sommige gasten zijn heel simpel, zoals het getal 7 (een priemgetal, een "primaire" gast die niet verder op te delen is). Andere gasten zijn complex, zoals 12, die is samengesteld uit kleinere gasten (2 en 3).

In dit wiskundige verhaal kijken we naar een heel specifiek type gasten: diegene die een Mu (µ) en een Omega (ω) dragen.

• De Mu (µ): Dit is een soort "stem" of "identiteitskaart". Sommige gasten hebben een plus-stem (+1), anderen een min-stem (-1), en weer anderen hebben helemaal geen stem (0). Het is een wiskundige manier om te zeggen of een getal "eenvoudig" of "ingewikkeld" is samengesteld.
• De Omega (ω): Dit telt hoeveel verschillende kleine gasten (priemfactoren) een gast in zijn bezit heeft.

De wiskundige G´erald Tenenbaum heeft een nieuw verhaal geschreven over wat er gebeurt als we al deze stemmen optellen, maar met een speciale regel: we kijken alleen naar gasten waarvan de kleinste bouwsteen (de kleinste priemfactor) uit een bepaalde groep komt.

Het Grote Geheim: Alles Telt Op tot Nul

Tenenbaum ontdekt iets verrassends. Stel je voor dat je een grote lijst maakt met alle getallen, en je telt hun stemmen op, maar je kijkt alleen naar die getallen waarvan de kleinste bouwsteen een "rode" priemgetal is (bijvoorbeeld alleen priemgetallen die 1 zijn als je ze deelt door 3).

Als je dit doet voor een heel groot aantal getallen, en je kijkt naar de gemiddelde waarde, dan gebeurt er iets magisch: De som is precies nul.

Het is alsof je een enorme menigte mensen hebt, waarbij sommigen "Ja" roepen en anderen "Nee". Als je alleen kijkt naar mensen met een rode pet, en je telt hun roepen op, dan blijkt dat het aantal "Ja's" en "Nee's" perfect in evenwicht is. Ze heffen elkaar precies op.

Waarom is dit belangrijk?

Voorheen wisten wiskundigen dit al voor een heel specifieke situatie: wanneer de "rode petten" een vast patroon volgden (zoals alle priemgetallen die 1 overhouden bij delen door 3). Dit was bewezen door Alladi en Johnson.

Tenenbaum zegt echter: "Wacht even, dit werkt niet alleen voor vaste patronen. Het werkt voor elke groep priemgetallen, zolang die groep maar een zekere 'dichtheid' heeft."

De Analogie van de Dichte Menigte:
Stel je een menigte voor in een stadion.

• Als je kijkt naar de mensen die in de noordelijke tribune zitten, en die tribune is goed gevuld (een "natuurlijke dichtheid"), dan zal de balans van stemmen altijd nul zijn.
• Het maakt niet uit of de mensen in de tribune willekeurig verspreid zijn of in een rij staan, zolang ze maar een redelijk groot deel van het stadion vullen.

Tenenbaum bewijst dat dit evenwicht (de som = 0) een fundamenteel eigenschap is van de getallenwereld, zolang je maar niet te gekke, onnatuurlijke groepen kiest.

De Uitzondering: De "Truc" met de Lijst

Het verhaal heeft echter een kleine twist. Tenenbaum laat zien dat je dit evenwicht kunt breken als je een heel rare, kunstmatige groep kiest.

De Analogie van de Truc:
Stel je voor dat je een lijst maakt van gasten, maar je kiest ze zo slim dat je altijd net op het moment dat de "Nee's" gaan winnen, een nieuwe "Ja" toevoegt, en vice versa. Als je dit doet met een lijst die steeds groter wordt (zoals in de formule in de tekst), dan kun je de balans verstoren. De som wordt dan niet nul, maar bijvoorbeeld -0,69 (wat neerkomt op -log 2).

Dit is een waarschuwing: de wiskundige wet geldt voor "natuurlijke" groepen, maar niet als je de groepen op een onnatuurlijke, trucs-achtige manier selecteert.

Hoe heeft hij dit bewezen? (De Reis door de Getallen)

Tenenbaum gebruikt een soort van "wiskundige GPS" (gebaseerd op complexe analyse en contourintegratie) om door de getallenwereld te reizen. Hij splitst het probleem op in twee delen:

1. De kleine getallen: De getallen met kleine bouwstenen. Hier gebruikt hij een techniek om te laten zien dat deze groepen snel verdwijnen in de massa.
2. De grote getallen: De getallen met grote bouwstenen. Hier gebruikt hij een geavanceerde methode (de Selberg-Delange methode) om te berekenen hoe de stemmen zich gedragen.

Hij combineert deze twee delen en laat zien dat, zolang je de "dichtheid" van je groep priemgetallen respecteert, de "ruis" (de foutmarges) zo klein wordt dat de totale som perfect op nul uitkomt.

Conclusie voor de Leek

Kort samengevat:
Dit papier vertelt ons dat de getallenwereld een diep, verborgen evenwicht heeft. Als je kijkt naar de "kleinste bouwstenen" van getallen en je selecteert een logische groep van die bouwstenen, dan zijn de positieve en negatieve invloeden van die getallen precies in balans. Het is een mooi voorbeeld van hoe chaos en orde in de wiskunde samenkomen: zelfs in een willekeurige verzameling van getallen, als je de regels goed begrijpt, vind je perfectie.

Tenenbaum heeft dit bewezen voor een veel bredere groep situaties dan ooit tevoren, waardoor we een beter begrip hebben van hoe de getallen in elkaar steken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On a family of arithmetic series related to the Möbius function" van G´erald Tenenbaum, geschreven in het Nederlands.

Titel: Over een familie van arithmetische reeksen gerelateerd aan de Möbius-functie

Auteur: G´erald Tenenbaum
Publicatiedatum: 3 maart 2026 (arXiv:2409.02754v8)

---

1. Het Probleem en de Context

Het artikel onderzoekt de convergentie van een specifieke som over natuurlijke getallen $n$, waarbij de termen afhankelijk zijn van de kleinste priemfactor $P^-(n)$, de Möbius-functie $\mu(n)$ en het aantal verschillende priemfactoren $\omega(n)$.

De centrale vraag is of de som
$$\sum_{P^-(n) \in \mathcal{P}} \frac{\mu(n)\omega(n)}{n}$$
gelijk is aan nul, wanneer $\mathcal{P}$ een specifieke verzameling van priemgetallen is.

• Achtergrond: Alladi en Johnson bewezen recentelijk dat deze som nul is als $\mathcal{P}$ een rekenkundige rij vormt (d.w.z. $P^-(n) \equiv \ell \pmod k$ met $(k, \ell)=1$). Hun bewijs leunde zwaar op het priemgetaltheorema voor rekenkundige rijen en een dualiteitsidentiteit.
• Doel van dit artikel: Tenenbaum wil onderzoeken in welke mate dit resultaat afhangt van de specifieke keuze van de deelverzameling $\mathcal{P}$. Geldt het resultaat voor elke verzameling priemgetallen met een natuurlijke dichtheid, of is de structuur van een rekenkundige rij essentieel?

2. Methodologie

Tenenbaum gebruikt een combinatie van geavanceerde analytische getaltheoretische technieken:

1. Möbius-inversie en Dualiteit: Het artikel maakt gebruik van een identiteit die kleine en grote priemfactoren met elkaar verbindt via Möbius-inversie.
2. Dirichlet-convolutie: De som wordt herschreven door convoluties te gebruiken, waarbij een hulpfunctie $g_y(n)$ wordt geïntroduceerd die de bijdrage van priemfactoren kleiner dan een parameter $y$ isoleert.
3. Perron's Formule: Om de sommen te evalueren, wordt Perron's formule toegepast om de som over $n \le x$ om te zetten in een contourintegraal in het complexe vlak.
4. Selberg-Delange Methode: Voor het evalueren van de hoofdtermen wordt de Selberg-Delange methode gebruikt. Dit is een krachtige techniek om asymptotische gedragingen van Dirichlet-reeksen te analyseren die een singulier punt op $s=1$ hebben.
5. Contourintegratie en Saddle-point Schattingen: De integraal wordt geëvalueerd door het integratiepad te deformeren naar een Hankel-contour rondom het punt $s=1$ (of gerelateerde singuliere punten). Hierbij worden schattingen gemaakt voor de Dickman-functie $\varrho(v)$ en de Laplace-transformatie daarvan.
6. Foutterm-analyse: Een cruciaal onderdeel is het nauwkeurig schatten van de fouttermen, afhankelijk van de dichtheid van de verzameling $\mathcal{P}$ en de keuze van de parameter $y$.

3. Belangrijkste Resultaten

Hoofdstelling (Stelling 1.1)

Laat $\mathcal{P}$ een verzameling priemgetallen zijn die voldoet aan de voorwaarde dat de natuurlijke dichtheid bestaat. Specifiek wordt aangenomen dat er een $\delta \in [0, 1]$ bestaat zodat:
$$\varepsilon_\mathcal{P}(t) := \frac{1}{t} \sum_{\substack{p \le t \\ p \in \mathcal{P}}} \log p - \delta = o(1) \quad (t \to \infty).$$
Dan geldt:
$$\sum_{P^-(n) \in \mathcal{P}} \frac{\mu(n)\omega(n)}{n} = 0.$$

Effectieve Schatting:
Voor een vaste $b > 5/3$ en uniform voor $e^{(\log_2 x)^b} \le y \le \sqrt{x}$, geldt voor de partiële som:
$$\sum_{\substack{n \le x \\ P^-(n) \in \mathcal{P}}} \frac{\mu(n)\omega(n)}{n} \ll \varepsilon^*_\mathcal{P}(y) \log u + \frac{1}{u},$$
waarbij $u = (\log x)/\log y$ en $\varepsilon^*_\mathcal{P}(y) = \sup_{t > y} |\varepsilon_\mathcal{P}(t)|$.

Dit betekent dat de convergentie naar nul wordt bepaald door hoe snel de dichtheid van $\mathcal{P}$ convergeert naar $\delta$.

Gegen-voorbeeld

Het artikel toont aan dat de stelling niet geldt voor willekeurige verzamelingen priemgetallen. Als $\mathcal{P}$ wordt geselecteerd als een zeer snel groeiende reeks intervallen (bijv. $\mathcal{P} = \mathcal{P}_{\text{alle}} \cap \bigcup [\sqrt{x_j}, x_j]$), dan is de limiet niet nul. Er geldt zelfs:
$$\liminf_{x \to \infty} \sum_{\substack{n \le x \\ P^-(n) \in \mathcal{P}}} \frac{\mu(n)\omega(n)}{n} \le -\log 2.$$
Dit benadrukt dat de "natuurlijke dichtheid" een noodzakelijke voorwaarde is.

Speciale Gevallen

• Alle priemgetallen: Als $\mathcal{P}$ de verzameling van alle priemgetallen is, wordt de som asymptotisch $-1/\log x$.
• Eén enkel priemgetal: Als $\mathcal{P} = \{p\}$, dan is de som asymptotisch $\frac{\zeta(1, p)}{p \log x}$.
  De auteur merkt op dat men de algemene som niet heuristisch kan reconstrueren uit de sommen over individuele priemgetallen, wat een subtiliteit in de analytische structuur aangeeft.

4. Bijdrage en Betekenis

1. Generalisatie: Het werk generaliseert het recente resultaat van Alladi en Johnson aanzienlijk. Het toont aan dat de eigenschap dat de som nul is, niet afhankelijk is van de specifieke structuur van een rekenkundige rij, maar wel van de existentie van een natuurlijke dichtheid.
2. Efficiëntie: Het biedt een effectieve schatting voor de convergentiesnelheid, afhankelijk van de "grootte" van de afwijking van de dichtheid ($\varepsilon^*_\mathcal{P}$).
3. Technische Diepgang: Het artikel demonstreert de kracht van de combinatie van Perron's formule, de Selberg-Delange methode en nauwkeurige contourintegratie om complexe sommen over priemfactoren te analyseren.
4. Aanwijzingen voor Grenzen: Door een expliciet tegenvoorbeeld te construeren, definieert Tenenbaum de grenzen van de stelling en toont hij aan dat de voorwaarde van natuurlijke dichtheid essentieel is en niet kan worden losgelaten.

Conclusie

G´erald Tenenbaum bewijst dat voor elke verzameling priemgetallen met een natuurlijke dichtheid $\delta$, de som $\sum \mu(n)\omega(n)/n$ over getallen waarvan de kleinste priemfactor in die verzameling zit, convergeert naar nul. De snelheid van deze convergentie wordt kwantitatief beschreven en hangt af van hoe goed de dichtheid van de verzameling benaderd wordt. Dit resultaat plaatst een fundamenteel resultaat van Alladi en Johnson in een bredere context en verduidelijkt de voorwaarden waaronder dit fenomeen optreedt.