🔢 mathematics

On divisor sums due to Erd\H{o}s and Ramanujan

Dit artikel vestigt de asymptotische orde van grootte $\sum_{n \leq x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$ voor de hybride delersom die de problemen van Erdős en Ramanujan combineert, door gebruik te maken van Golombs schatting voor machtige getallen en Turáns kwantitatieve vorm van de Hardy-Ramanujan-stelling.

Oorspronkelijke auteurs: John M. Campbell

Gepubliceerd 2026-05-04

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: John M. Campbell

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

Stel je voor dat je een detective bent die probeert de verborgen patronen van getallen te doorgronden. In de wereld van de wiskunde heeft elk geheel getal (zoals 1, 2, 3, 100) een "familie" van delers. Bijvoorbeeld, het getal 12 heeft de delers 1, 2, 3, 4, 6 en 12. Het aantal van deze delers wordt aangeduid als $d(n)$ .

Al meer dan een eeuw proberen beroemde wiskundigen zoals Ramanujan en Erdős uit te vinden wat er gebeurt als je deze deleraantallen optelt voor miljoenen getallen. Zij vonden enkele prachtige, voorspelbare patronen.

Dit artikel, geschreven door John Campbell, neemt een nieuw, lastiger mysterie aan. In plaats van alleen de delers te tellen, vraagt de auteur zich af: Wat gebeurt er als we de reciproke (het "één gedeeld door") nemen van een zeer specifiek, ingewikkeld deleraantal?

Hier is de uiteenzetting van het verhaal van het artikel, met behulp van eenvoudige analogieën:

1. De Opzet: Twee Beroemde Problemen

Om het nieuwe probleem te begrijpen, moeten we eerst de twee oude problemen kennen die hierin samenkomen:

Het Ramanujan-probleem: Stel je een enorm publiek van mensen (getallen) voor. Je vraagt iedereen: "Hoeveel vrienden (delers) heb je?" Ramanujan bedacht dat als je de reciproken van deze vriendenaantallen optelt (1 gedeeld door het aantal vrienden), het totaal op een zeer specifieke, voorspelbare manier groeit.
Het Erdős-probleem: Stel je nu een spelletje "telefoon" voor. Je neemt een getal, telt zijn vrienden ( $d(n)$ ), en telt vervolgens de vrienden van dat getal ( $d(d(n))$ ). Erdős bedacht hoe het totaal van deze "vrienden van vrienden" zich gedraagt.

2. Het Nieuwe Mysterie: De "Hybride"

Campbell's artikel vraagt zich af: Wat als we deze twee combineren?
In plaats van alleen de "vrienden van vrienden" te tellen ( $d(d(n))$ ), wat als we de reciproke van dat getal nemen?
$\text{Totaal van } \frac{1}{d(d(n))}$

Dit is als vragen: "Als ik voor elk getal tot een miljoen naar de 'vrienden van vrienden' kijk, en ik de breuken $1/\text{dat aantal}$ optel, wat is dan het totaal?"

De auteur merkt op dat dit veel moeilijker is dan de oorspronkelijke problemen. Het nemen van de reciproke is als het volume opdraaien op de "vreemde" getallen. Als een getal een zeer klein "vrienden-van-vrienden"-aantal heeft, wordt zijn reciproke enorm, waardoor het evenwicht van de som verstoord raakt.

3. Het Detectivewerk: Het Publiek Filteren

Om dit op te lossen, moest Campbell het publiek van getallen opdelen in drie groepen, alsof hij een rommelige kamer in stapels sorteert:

Stapel A (De "Krachtige" Getallen): Dit zijn getallen met een zeer zware, "krachtige" structuur (wiskundig zijn ze deelbaar door kwadraten van priemgetallen). Campbell gebruikte een regel die door Golomb is ontdekt om aan te tonen dat deze getallen zeldzaam genoeg zijn dat ze de totale som niet al te zeer verstoren.
Stapel B (De "Uitbijters"): Dit zijn getallen die een vreemd aantal priemfactoren hebben (ofwel veel te veel, ofwel veel te weinig). Met behulp van een klassiek statistisch hulpmiddel genaamd de ongelijkheid van Turán (wat vergelijkbaar is met een "variantiecheck" in de statistiek), bewees Campbell dat deze uitbijters ook zeldzaam genoeg zijn om te negeren voor de hoofdberekening.
Stapel C (De "Normale" Getallen): Dit is het overgrote merendeel van de getallen. Voor deze groep gedraagt het "vrienden-van-vrienden"-aantal zich netjes. Campbell toonde aan dat voor deze groep de waarde van $1/d(d(n))$ voor iedereen ongeveer even groot is.

4. De Grote Onthulling

Na het filteren van de rommelige stapels (A en B), keek Campbell naar de hoofdgroep (C). Hij ontdekte dat de som zich op een verrassend eenvoudige manier gedraagt.

Het Resultaat:
De totale som groeit met een snelheid van ongeveer:
$\frac{x}{\log(\log x)}$
(Waarbij $x$ de grootte is van het publiek dat je bekijkt.)

In gewone taal: Als je de grootte van je publiek verdubbelt, verdubbelt de som niet; het groeit iets langzamer, volgens een specifieke "dubbel-log" curve.

5. De "Gissing" (Conjectuur)

Het artikel bewijst de grootte (orde van grootte) van deze som. De auteur doet echter ook een gedurfde gok (een conjectuur):
Net zoals Ramanujan een specifiek constant getal vond voor zijn probleem, vermoedt Campbell dat er ook een specifiek constant getal is voor dit nieuwe hybride probleem. Hij schrijft dat het bewijzen van het bestaan van dit specifieke constant getal waarschijnlijk zeer moeilijk is, vergelijkbaar met andere beroemde onopgeloste problemen in de wiskunde.

Samenvatting

John Campbell nam een complex wiskundig raadsel dat draaide om "delers van delers" en hun reciproken. Door een mix van oude statistische hulpmiddelen en nieuwe filtertechnieken te gebruiken, bewees hij dat de som van deze waarden groeit met een voorspelbare snelheid: evenredig met de grootte van de getallen gedeeld door de logaritme van de logaritme van de grootte.

Het is een verhaal van het nemen van een chaotisch, onregelmatig wiskundig object, het sorteren in "normale" en "abnormale" groepen, en aantonen dat de "normale" groep het uiteindelijke antwoord bepaalt.

1. Probleemstelling

Het artikel onderzoekt het asymptotische gedrag van een specifieke hybride delerssom die elementen combineert uit twee klassieke problemen in de analytische getaltheorie:

De Ramanujan-delerssom: Betreft de som van de reciprocals van de delersfunctie, $\sum_{n \le x} \frac{1}{d(n)}$ . Ramanujan (1915) stelde vast dat deze som asymptotisch gedraagt als $\frac{x}{\sqrt{\log x}}$ .
De Erdős-delerssom: Betreft de som van de geïtereerde delersfunctie, $\sum_{n \le x} d(d(n))$ . Erdős (jaren 50) bewees dat dit gedraagt als $c_1 x \log \log x$ .
Het Titchmarsh-delersprobleem: Betreft sommen over priemgetallen, specifiek $\sum_{p \le x} d(p-1)$ . Recent werk van Gabdullin et al. (jaren 2020) analyseerde de reciproke versie $\sum_{p \le x} \frac{1}{d(p-1)}$ , en bewees dat deze van orde $\frac{x}{(\log x)^{3/2}}$ is.

Het Kernprobleem:
De auteur bestudeert de "hybride" som die wordt gevormd door de reciproke van de Erdős-geïtereerde functie te nemen:
$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$
De aanwezigheid van de reciproke compliceert de analyse aanzienlijk, omdat dit de bijdrage van gehele getallen $n$ versterkt waarvoor $d(d(n))$ uitzonderlijk klein is. Het artikel beoogt de grootteorde van $S(x)$ te bepalen.

2. Methodologie

Het bewijs berust op het ontleden van de verzameling gehele getallen $\{n \le x\}$ in "typische" en "uitzonderlijke" verzamelingen, het begrenzen van de bijdrage van de uitzonderlijke verzamelingen, en het schatten van de hoofdbestanddeel met behulp van instrumenten uit de probabilistische getaltheorie.

Belangrijkste Hulpmiddelen en Definities:

Ontleding van $n$ : Gehele getallen worden opgesplitst in een kwadraatvrij deel $a(n)$ en een machtig deel $b(n)$ (waarbij $n = a(n)b(n)$ ). De delersfunctie wordt uitgedrukt als $d(n) = 2^{\omega(a(n))} d(b(n))$ , waarbij $\omega(n)$ het aantal verschillende priemfactoren is.
Golombs Schatting: Wordt gebruikt om de dichtheid van machtige getallen te begrenzen. Het aantal machtige getallen $\le x$ is $O(x^{1/2})$ .
Turáns Kwantitatieve Hardy–Ramanujan-stelling: Maakt gebruik van de Turán–Kubilius-ongelijkheid om aan te tonen dat $\omega(n)$ normaal verdeeld is rond $\log \log n$ . Specifiek is de variantie klein: $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$ .
Abel-sommatie: Wordt toegepast om te sommeren over machtige getallen om grenzen af te leiden.

Bewijsstrategie (Lemma-ontleding):
De auteur partitioneert het sommatiebereik $n \le x$ in drie disjuncte verzamelingen om de som van boven en onder te begrenzen:

Verzameling $B_1(x)$ (Groot Machtig Deel): Gehele getallen waarbij het machtige deel $b(n) > (\log \log x)^2$ .
- Methode: Met behulp van Golombs schatting en Abel-sommatie bewijst de auteur dat het aantal dergelijke gehele getallen klein is ( $\ll \frac{x}{\log \log x}$ ). Aangezien $\frac{1}{d(d(n))} \le 1$ , is hun totale bijdrage verwaarloosbaar.
Verzameling $B_2(x)$ (Atypische Priemfactoren): Gehele getallen waarbij $\omega(n)$ aanzienlijk afwijkt van het gemiddelde $\log \log x$ (specifiek buiten het interval $[\frac{1}{2}\log \log x, 2\log \log x]$ ).
- Methode: Met behulp van Turáns variantieschatting (Vergelijking 15) toont de auteur aan dat het aantal dergelijke gehele getallen $\ll \frac{x}{\log \log x}$ is. Hun bijdrage is eveneens verwaarloosbaar.
Verzameling $B_3(x)$ (Typische Kwadraatvrije Gehele Getallen): Gehele getallen die kwadraatvrij zijn en waarbij $\omega(n)$ binnen het normale bereik ligt.
- Methode: Voor kwadraatvrije $n$ geldt $d(n) = 2^{\omega(n)}$ . Bijgevolg is $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$ .
- Aangezien $\omega(n) \approx \log \log x$ , is de term $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$ .
- De dichtheid van kwadraatvrije getallen is $\frac{6}{\pi^2}x$ . De auteur bewijst dat de som over deze verzameling de dominante ondergrens levert.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling:
Het artikel vestigt de grootteorde voor de hybride som:
$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$
Dit betekent dat er positieve constanten $c_{min}$ en $c_{max}$ bestaan zodat voor voldoende grote $x$ :
$c_{min} \frac{x}{\log \log x} \le \sum_{n \le x} \frac{1}{d(d(n))} \le c_{max} \frac{x}{\log \log x}$

Conjectuur:
Door analogie met de geconjectureerde asymptotische equivalentie voor de Titchmarsh-Ramanujan-hybride (Gabdullin et al.), conjectureert de auteur een precieze asymptotische formule:
$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$
voor een zekere constante $c_3 \in (0, \infty)$ . De auteur merkt op dat het bewijzen van het bestaan van deze specifieke constante waarschijnlijk een moeilijk probleem is, vergelijkbaar met de moeilijkheid van de Titchmarsh-Ramanujan-conjectuur.

4. Betekenis

Brug slaan tussen Klassieke Problemen: Het werk verenigt succesvol het onderzoek naar de Erdős-geïtereerde delerssom en de Ramanujan-reciproke delerssom, waardoor een nieuw "hybride" probleem in de analytische getaltheorie ontstaat.
Omgaan met Reciprocals: Het demonstreert hoe de analytische moeilijkheden die door reciprocals in delersommen worden geïntroduceerd, kunnen worden opgelost, specifiek hoe de gevallen met "kleine delers" (gehele getallen met weinig delers) het gedrag van de som domineren.
Methodologische Toepassing: Het artikel combineert effectief Golombs grenzen voor machtige getallen met Turáns probabilistische schattingen voor de verdeling van priemfactoren om een probleem op te lossen waarbij standaard multiplicatieve technieken (zoals Dirichlets hyperboolmethode) falen vanwege het niet-multiplicatieve karakter van $d(d(n))$ .
Toekomstige Richtingen: Het artikel legt de basis voor toekomstig onderzoek naar de precieze constante $c_3$ en de potentiële toepassing van vergelijkbare hybride technieken op andere geïtereerde rekenkundige functies.

Kortom, Campbell bewijst dat de som van de reciprocals van de geïtereerde delersfunctie groeit als $\frac{x}{\log \log x}$ , een resultaat dat trager is dan de lineaire groei van de niet-reciproke Erdős-som, maar sneller dan de groei van $\frac{x}{\sqrt{\log x}}$ van de standaard Ramanujan-reciproke som.