On the natural density of integers $n$ for which $\sigma(kn+r_1) >\sigma(kn+r_2)$

Dit artikel breidt het resultaat van Kobayashi en Trudgian uit door een schatting te geven voor de natuurlijke dichtheid van positieve gehele getallen $n$ waarvoor $\sigma(kn+r_1) > \sigma(kn+r_2)$, met name voor gehele getallen $k>r_1>r_2\geq 0$, en berekent specifieke gevallen en expliciete grenzen om de variatie in dichtheid te illustreren.

De kern

Stel je voor dat je een enorme, oneindige rij van getallen hebt: 1, 2, 3, 4, 5, enzovoort. Nu gaan we een spelletje spelen met een speciale rekenregel die wiskundigen het "som van delers"-spel noemen.

Het Spel: De Som van Delers

Elk getal heeft "delers". Bijvoorbeeld, het getal 6 kan worden gedeeld door 1, 2, 3 en 6. Als je al deze delers bij elkaar optelt ($1+2+3+6$), krijg je 12. Dit noemen we$\sigma(6)$.
Het getal 5 heeft alleen delers 1 en 5, dus $\sigma(5) = 6$.

De vraag die deze wiskundigen (Xin-Qi Luo en Chen-Kai Ren) zich stellen, is als volgt:
Stel je hebt twee getallen die heel dicht bij elkaar liggen, maar niet precies naast elkaar. Bijvoorbeeld: $3n + 2$en$3n + 0$(waarbij$n$ een willekeurig getal is).

• Getal A: $3n + 2$
• Getal B: $3n$

Wie heeft de "rijkste" delers? Heeft Getal A een hogere som van delers dan Getal B, of andersom?

De Dichte Mensenmenigte

In de wiskunde kijken we niet naar één specifiek getal, maar naar de hele menigte. Als je oneindig lang telt, hoe vaak wint Getal A dan?

• Wint A 50% van de tijd?
• Wint A 1% van de tijd?
• Of gebeurt het bijna nooit?

Deze "winpercentage" noemen wiskundigen de natuurlijke dichtheid. Het is alsof je kijkt naar een menigte mensen en vraagt: "Hoe groot is het percentage mensen dat blauwe kleding draagt?"

Wat hebben deze onderzoekers ontdekt?

Voor een paar jaar geleden hadden andere wiskundigen al bewezen dat voor het geval $n+1$ versus $n$, het winnende getal ongeveer 5,4% van de tijd wint. Dat is verrassend laag! Je zou denken dat het 50% is, maar de wiskunde is hier grillig.

Luo en Ren hebben dit onderzoek uitgebreid. Ze kijken nu naar meer complexe patronen, zoals $3n+2$versus$3n$, of$4n+1$versus$4n$.

De resultaten in hun paper zijn als volgt:

1. Het bestaan van een antwoord: Ze hebben bewezen dat voor elke combinatie van regels er altijd een vast percentage is. Er is geen chaos; er is een stabiel antwoord, zelfs als we oneindig tellen.
2. Specifieke voorbeelden:
   • Voor de regel $3n+2$versus$3n$: Het getal$3n+2$ wint ergens tussen 5,9% en 10,9% van de tijd.
   • Voor de regel $4n+1$versus$4n$: Het getal$4n+1$ wint ergens tussen 0,8% en 1,3% van de tijd.

Dit betekent dat in het tweede geval, het "winnen" heel zeldzaam is. Het is alsof je in een stadion van 1000 mensen zoekt naar één persoon die een specifieke hoed draagt.

Hoe hebben ze dit berekend? (De Metafoor van de Netten)

Het is onmogelijk om tot in de oneindigheid te tellen. Dus hoe doen ze dit? Ze gebruiken een slimme truc die lijkt op het vissen met netten van verschillende maaswijdte.

1. De Netten (Deelbaarheid): Ze kijken naar getallen die alleen kleine priemgetallen als bouwstenen hebben (zoals 2, 3, 5, 7). Ze noemen dit "gladde" getallen.
2. Het Sorteren: Ze verdelen alle getallen in groepjes op basis van hun "kleine bouwstenen".
3. De Schatting: Voor elk groepje berekenen ze hoe vaak het ene getal wint van het andere. Omdat ze niet alles precies kunnen berekenen, geven ze een ondergrens (minimaal zo vaak) en een bovengrens (maximaal zo vaak).

Het is alsof je de dichtheid van een bos probeert te schatten. Je telt niet elke boom, maar je kijkt naar een paar kleine vierkante stukjes bos, telt de bomen daar, en rekent dat uit over het hele bos. Soms is het moeilijk om de exacte grens te trekken, vandaar dat ze een bereik geven (bijvoorbeeld "tussen 0,8% en 1,3%").

Waarom is dit lastig?

In de paper geven ze toe dat er een paar "gaten" in hun netten zitten. Er is een heel specifiek, zeldzaam soort getallen (met enorme priemfactoren) waar ze niet zeker van zijn of ze wel of niet meetellen. Ze hebben geprobeerd dit op te lossen, maar het is net als proberen een naald te vinden in een hooiberg die zelf weer uit naalden bestaat. Ze kunnen niet 100% zeker zeggen wat het exacte percentage is, maar ze kunnen wel zeggen: "Het ligt ergens in dit kleine vakje."

Conclusie

Kortom: Deze paper zegt dat de wiskunde van delers sommen verrassend ongelijk verdeeld is. Soms wint het ene getal veel vaker dan het andere, en soms is het een zeldzame uitzondering. De auteurs hebben bewezen dat deze patronen bestaan en hebben met de hulp van computers de "winpercentages" voor specifieke gevallen nauwkeurig ingeschat, hoewel de exacte cijfers nog een klein beetje in het donker blijven.

Het is een mooi voorbeeld van hoe wiskundigen proberen orde te scheppen in de ogenschijnlijk willekeurige dans van de getallen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Natural Density of Integers n for Which σ(kn + r1) > σ(kn + r2)" van Xin-Qi Luo en Chen-Kai Ren, geschreven in het Nederlands.

Titel en Context

Het artikel onderzoekt de natuurlijke dichtheid van de verzameling positieve gehele getallen $n$ waarvoor de som van de delers van $kn + r_1$ groter is dan die van $kn + r_2$. Dit bouwt voort op eerdere werken van Erdős (1936) en recentere resultaten van Kobayashi en Trudgian (2020), die zich richtten op het specifieke geval $k=2, r_1=1, r_2=0$.

Het Probleem

Laat $\sigma(n)$ de som van de positieve delers van $n$ zijn. Het centrale vraagstuk is het bepalen van de natuurlijke dichtheid $d_A(k, r_1, r_2)$ van de verzameling $A(k, r_1, r_2)$ gedefinieerd als:
$$A(k, r_1, r_2) = \{ n \in \mathbb{N} : \sigma(kn + r_1) > \sigma(kn + r_2) \}$$
waarbij $k, r_1, r_2$ gehele getallen zijn met $k > r_1 > r_2 \geq 0$.

Eerdere resultaten toonden aan dat voor het geval $(2, 1, 0)$ de dichtheid bestaat en ligt tussen 0,053 en 0,055. De auteurs willen dit generaliseren naar willekeurige parameters $k, r_1, r_2$ en nauwkeurige schattingen geven voor specifieke gevallen.

Methodologie

De aanpak van de auteurs bestaat uit drie hoofdfasen:

1. Bewijs van het bestaan van de dichtheid (Theorema 1.1)
De auteurs definiëren een hulpverzameling $B(k, r_1, r_2)$ gebaseerd op de verhouding $h(n) = \sigma(n)/n$. Ze tonen aan dat het verschil tussen de verzameling waar $\sigma(kn+r_1) > \sigma(kn+r_2)$ en de verzameling waar $h(kn+r_1) \geq h(kn+r_2)$ een dichtheid van nul heeft.

• Ze gebruiken Gronwalls stelling om te tonen dat $\sigma(n)/n$ beperkt is door $O(\log \log n)$.
• Ze maken gebruik van een lemma uit eerdere literatuur (Lemma 2.1 in [13]) over priemfactoren van $\sigma(n)$.
• Ze concluderen dat de dichtheid van $A(k, r_1, r_2)$ bestaat en gelijk is aan die van $B(k, r_1, r_2)$.

2. Schatting via Partities en Gladde Getallen (Sectie 3)
Om de dichtheid te schatten, gebruiken ze een techniek gebaseerd op partities van de natuurlijke getallen, gebaseerd op "gladde getallen" (y-smooth numbers).

• Definitie: Een getal is $y$-glad als alle zijn priemfactoren $\leq y$ zijn.
• Partitie: Ze verdelen de verzameling $N$ in disjuncte deelverzamelingen $S_y(a, b)$ gebaseerd op de grootste $y$-glade delers van $kn+r_1$ en $kn+r_2$.
• Lineaire Diophantische Vergelijking: Binnen elke partitie worden congruentievoorwaarden geanalyseerd. Ze tonen aan dat deze deelverzamelingen ofwel leeg zijn of een rekenkundige rij vormen, met een specifieke dichtheid die afhankelijk is van $k, a, b$ en het product van priemgetallen $P(y)$.
• Schatting van $\Lambda$: Ze gebruiken een functie $\Lambda_k(s)$ (gerelateerd aan Dirichlet-reeksen) om de sommen van $h(n)^s$ te schatten. Ze gebruiken bekende resultaten van Deléglise en andere om bovengrenzen voor deze constanten te bepalen.
• Opper- en Ondergrenzen: Door de ongelijkheden voor $h(n)$ te combineren met de dichtheid van de partities, leiden ze formules af voor de bovengrens ($d^+$) en ondergrens ($d^-$) van de dichtheid binnen elke partitie. De totale dichtheid wordt dan benaderd door de som van deze bijdragen over alle mogelijke $a, b$.

3. Numerieke Berekening (Sectie 4)
Voor specifieke gevallen voeren de auteurs berekeningen uit met Mathematica. Ze variëren de parameters $y$ (de gladheidsgrens), $z$ (de maximale grootte van $a$ en $b$) en $s_{max}$ (de maximale macht in de schatting) om de nauwkeurigheid te maximaliseren.

Belangrijkste Resultaten

De auteurs bewijzen het bestaan van de dichtheid voor algemene parameters en leveren concrete numerieke schattingen voor twee specifieke gevallen:

1. Theorema 1.2: Voor het geval $(k, r_1, r_2) = (3, 2, 0)$:
   $$0.0591 \leq d_A(3, 2, 0) \leq 0.109$$
   Dit is een verruiming van de bekende resultaten voor het geval $k=2$.

2. Theorema 1.3: Voor het geval $(k, r_1, r_2) = (4, 1, 0)$:
   $$0.00842 \leq d_A(4, 1, 0) \leq 0.0129$$
   Dit toont aan dat de dichtheid aanzienlijk kleiner kan zijn afhankelijk van de parameters.

Opmerking over Gelijke Waarden (Remark 1.1):
De auteurs merken op dat het bepalen van de dichtheid van het geval waar $\sigma(kn + r_1) = \sigma(kn + r_2)$ (gelijkheid) uiterst moeilijk is. Ze identificeerden een specifiek geval met grote priemfactoren en specifieke structurele voorwaarden dat ze niet volledig konden oplossen met bestaande methoden (inclusief werk van Hildebrand). Ze vermoeden echter dat de dichtheid hiervan nul is, maar kunnen dit niet rigoureus bewijzen binnen de huidige kaders.

Betekenis en Bijdrage

• Generalisatie: Het artikel generaliseert de resultaten van Kobayashi en Trudgian van het specifieke geval $k=2$ naar willekeurige lineaire vormen $kn+r$.
• Technische Innovatie: De toepassing van partities gebaseerd op gladde getallen en de combinatie met analytische getaltheorie (via de functie $\Lambda$) biedt een robuust raamwerk voor het schatten van dichtheden van vergelijkbare verzamelingen.
• Numerieke Inzicht: Door concrete berekeningen te leveren, tonen de auteurs aan hoe de dichtheid varieert met de parameters $k, r_1, r_2$. De resultaten suggereren dat de dichtheid niet uniform is en sterk afhankelijk is van de arithmetische eigenschappen van de parameters.
• Beperkingen: Het artikel erkent eerlijk de complexiteit van de "irreguliere somtermen" en de moeilijkheid om de gelijkheidstoegevallen volledig te behandelen, wat een waardevolle richting voor toekomstig onderzoek markeert.

Samenvattend biedt dit artikel een fundamentele uitbreiding van het begrip van de verdeling van de som van delersfuncties in lineaire rijen, met zowel theoretische bewijzen als concrete numerieke grenswaarden.