On certain sums involving the largest prime factor over integer sequences

Dit artikel leidt een asymptotische formule af voor de sommen van de functie $f(n)$, gedefinieerd als het kleinste positieve gehele getal waarvoor $f(n)!$ deelbaar is door $n$, over gehele getallen en over de verzameling van $k$-vrije gehele getallen.

De kern

Stel je voor dat je een enorme bibliotheek hebt, gevuld met getallen. In deze bibliotheek is elk getal een uniek boek dat is opgebouwd uit kleinere bouwstenen: de priemgetallen. Net zoals een muur uit bakstenen bestaat, bestaat elk getal uit een specifieke combinatie van priemgetallen.

Deze paper, geschreven door Mihoub Bouderbala, gaat over een heel specifieke vraag die we kunnen stellen aan al deze boeken (getallen): "Wat is het kleinste getal dat we nodig hebben om een 'feest' te organiseren dat groot genoeg is om dit specifieke getal te bevatten?"

Laten we dit stap voor stap uitleggen met een paar simpele metaforen.

1. De Spelregels: De "Feest-Regel" (De functie f(n))

Stel je voor dat je een getal $n$ hebt (bijvoorbeeld 12).

• De priemfactoren van 12 zijn 2, 2 en 3 (want $2 \times 2 \times 3 = 12$).
• De auteur definieert een functie $f(n)$. Dit is het kleinste getal waarvoor de "feestlijst" (de faculteit, geschreven als $n!$) groot genoeg is om $n$ te bevatten.

In wiskundetaal: $f(n)$ is het kleinste getal zodat $f(n)!$ (dat is $1 \times 2 \times 3 \times ... \times f(n)$) deelbaar is door$n$.

• Voor het getal 12:
  • $1! = 1$ (te klein)
  • $2! = 2$ (te klein)
  • $3! = 6$ (te klein)
  • $4! = 24$. Is 24 deelbaar door 12? Ja!
  • Dus $f(12) = 4$.

De grote vraag in dit artikel is: Als we naar alle getallen tot een heel groot getal $x$ kijken, wat is dan de totale som van al deze "feestnummers" ($f(n)$)?

2. De Grote Ontdekking: De "Grootste Baksteen"

Het verrassende inzicht in dit paper is dat je niet hoeft te kijken naar de hele constructie van het getal om $f(n)$ te begrijpen. Je hoeft alleen maar te kijken naar de grootste baksteen (het grootste priemgetal) die in het getal zit.

De auteur bewijst een slimme regel (Lemma 1):

• Als het grootste priemgetal in een getal $n$ zo groot is dat het getal zelf kleiner is dan het kwadraat van dat priemgetal, dan is $f(n)$ exact gelijk aan dat grootste priemgetal.

De Analogie:
Stel je hebt een toren van bakstenen. Als de bovenste baksteen (de grootste) zo zwaar is dat de hele toren eronder niet eens zwaar genoeg is om hem in evenwicht te houden, dan bepaalt die ene bovenste steen alles. Je hoeft de rest van de toren niet te tellen; die bovenste steen is de "baas".

Voor de meeste getallen geldt deze regel. Daarom kunnen we de som van al deze $f(n)$-waarden benaderen door simpelweg te kijken naar de som van de grootste priemfactoren van alle getallen.

3. Het Resultaat: Een Voorspelbare Golf

De auteur berekent wat er gebeurt als we $x$ heel groot maken (naar oneindig gaan).

• Voor alle getallen: De som van al deze $f(n)$-waarden groeit ongeveer als $\frac{x^2}{\log x}$.

  • Dagelijkse vertaling: Als je de bibliotheek verdubbelt, wordt de totale "feestgrootte" niet zomaar twee keer zo groot, maar veel, veel groter (kwadratisch), maar met een kleine correctie door de logaritme (alsof er een beetje wrijving is).
  • De formule bevat ook een bekende wiskundige constante ($\zeta(2)$, wat gelijk is aan $\pi^2/6$). Dit suggereert dat er een diepe, harmonische structuur zit in hoe priemgetallen zich verdelen, net zoals een muziekakkoord.

• Voor "k-vrije" getallen:
  De auteur kijkt ook naar een speciale groep getallen: de k-vrije getallen.

  • Wat zijn dat? Stel $k=2$. Dan zijn dit getallen die geen enkele priemfactor twee keer of vaker hebben (geen kwadraten, zoals 4, 9, 12, 18). Ze zijn "zuiver" in hun samenstelling.
  • De paper geeft een formule voor de som van $f(n)$ voor alleen deze zuivere getallen. Het resultaat is weer een mooie formule, maar dan met een andere constante die afhangt van hoe "zuiver" de getallen zijn (de waarde van $\zeta(2k)$).

4. Waarom is dit belangrijk?

In het begin leek het misschien een abstract raadsel: "Hoe groot moet mijn feestscherm zijn?" Maar dit paper laat zien dat er een onverwachte eenvoud schuilgaat in de chaos van de getallen.

• Het verbindt twee werelden: de "anatomie" van getallen (hoe ze zijn opgebouwd) en de verdeling van priemgetallen.
• Het bevestigt dat als je naar een heel grote verzameling kijkt, de chaos een voorspelbaar patroon volgt. De "grootste baksteen" bepaalt het lot van het hele getal.

Samenvattend in één zin:
De auteur heeft ontdekt dat als je naar een enorme lijst van getallen kijkt, je de "grootste priemfactor" van elk getal kunt gebruiken om een zeer nauwkeurige voorspelling te doen over de totale som van een speciaal getal dat nodig is om die getallen te "omvatten", en dat dit patroon ook werkt voor speciale, zuivere groepen getallen.

Het is alsof je in een enorme menigte mensen staat en merkt dat je, door alleen naar de langste persoon in elke groep te kijken, precies kunt voorspellen hoe hoog de gemiddelde hoogte van de hele menigte is.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "ON CERTAIN SUMS INVOLVING THE LARGEST PRIME FACTOR OVER INTEGER SEQUENCES" van Mihoub Bouderbala, vertaald en samengevat in het Nederlands.

Titel: Over bepaalde sommen die de grootste priemfactor betrekken in gehele getalrijen

Auteur: Mihoub Bouderbala

---

1. Probleemstelling en Context

Het artikel onderzoekt de asymptotische gedrag van sommen die de functie $f(n)$ bevatten, gedefinieerd als het kleinste positieve gehele getal zodanig dat $f(n)!$ deelbaar is door $n$. Voor een geheel getal $n \ge 2$ met priemfactorontbinding $n = p_1^{a_1} p_2^{a_2} \cdots p_s^{a_s}$ (waarbij $p_1 < p_2 < \dots < p_s$), is $f(n)$ gerelateerd aan de grootste priemfactor $P(n) = p_s$.

De hoofddoelstelling van het artikel is het afleiden van asymptotische formules voor twee specifieke sommen wanneer $x \to \infty$:

1. De totale som over alle gehele getallen: $\sum_{n \le x} f(n)$.
2. De som beperkt tot $k$-vrije getallen ($S_k$): $\sum_{n \le x, n \in S_k} f(n)$.

Een getal $n$ is $k$-vrij als in de priemfactorontbinding alle exponenten $a_i < k$ zijn. Voor $k=2$ zijn dit de vierkantsvrije getallen. De studie bouwt voort op eerdere werken van Alladi en Erdős (1977) over de sommen van $P(n)$, en onderzoekt hoe de structuur van $f(n)$ (die sterk gekoppeld is aan $P(n)$) leidt tot nieuwe inzichten in de verdeling van gladde getallen en de analytische getaltheorie.

2. Methodologie

De auteur hanteert een strikt analytische benadering die bestaat uit de volgende stappen:

• Decompositie van de som: De totale som wordt opgesplitst in twee delen op basis van de relatie tussen $n$ en $P(n)^2$:
  • Gevallen waar $P(n)^2 \le n$.
  • Gevallen waar $P(n)^2 > n$.
• Lemma's als technische hulpmiddelen:
  • Lemma 1: Bewijst dat als $P(n)^2 > n$, dan geldt $f(n) = P(n)$. Dit is cruciaal omdat het de functie $f(n)$ reduceert tot de bekende functie $P(n)$ in het dominante deel van de som.
  • Lemma 2: Biedt een asymptotische schatting voor sommen van de vorm $\sum \frac{\delta(n)}{n^2 \log(x/n)}$, waarbij $\delta(n)$ een beperkende functie is. Dit lemma maakt het mogelijk om oneindige reeksen (zoals $\zeta$-waarden) te extraheren uit partiële sommen.
• Analytische technieken:
  • Gebruik van de priemtelfunctie $\pi(x)$ en de priemgetalstelling.
  • Toepassing van de sommatieformule van Abel.
  • Schattingen van resttermen via Taylor-ontwikkelingen en integratie.
  • Gebruik van genererende functies voor $k$-vrije getallen, specifiek de relatie $\sum \frac{\delta_k(n)}{n^s} = \frac{\zeta(s)}{\zeta(ks)}$.

3. Belangrijkste Resultaten

De paper levert twee hoofdstellingen op met de volgende asymptotische formules:

Stelling 1 (Totale som):
Voor een reëel getal $x \ge 1$ geldt:
$$\sum_{n \le x} f(n) = \frac{\zeta(2) x^2}{\log x} + O\left(\frac{x^2}{\log^2 x}\right)$$
Waarbij $\zeta(2) = \frac{\pi^2}{6}$. Dit resultaat toont aan dat de som kwadratisch groeit met een logaritmische correctiefactor, waarbij de Riemann-zetawaarde $\zeta(2)$ een centrale rol speelt.

Stelling 2 (Som over $k$-vrije getallen):
Voor een vast geheel getal $k \ge 2$ geldt:
$$\sum_{n \le x, n \in S_k} f(n) = \frac{\zeta^2(2)}{2\zeta(2k)} \cdot \frac{x^2}{\log x} + O\left(\frac{x^2}{\log^2 x}\right)$$
Hierin is $\zeta(2k)$ de Riemann-zetafunctie geëvalueerd bij $2k$. De coëfficiënt$\frac{\zeta^2(2)}{2\zeta(2k)}$reflecteert de dichtheid van de$k$-vrije getallen en de interactie met de priemfactoren.

Analyse van de bijdragen:

• Het deel van de som waar $P(n)^2 \le n$ draagt slechts een verwaarloosbare term bij van de orde $O(x^{3/2} \log x)$.
• Het dominante deel ($P(n)^2 > n$) bepaalt de hoofdterm, wat bevestigt dat $f(n)$ in de meeste gevallen gelijk is aan $P(n)$ voor de getallen die de som het sterkst beïnvloeden.

4. Significatie en Toekomstperspectief

• Verbinding met klassieke theorie: Het werk breidt de resultaten van Alladi en Erdős uit door de sommen van $P(n)$ te generaliseren naar de functie $f(n)$, die een fundamentele rol speelt in de deelbaarheid van faculteiten.
• Structuur van priemfactoren: De aanwezigheid van $\zeta(2)$ en $\zeta(2k)$ in de hoofdtermen benadrukt de onderliggende structuur van het Euler-product en suggereert diepe connecties met Dirichlet-reeksen en L-functies die gerelateerd zijn aan faculteitsdeelbaarheid.
• Verdere uitbreiding: In Opmerking 1 stelt de auteur dat de ontwikkelde methoden kunnen worden uitgebreid naar hogere momenten van de vorm $\sum f(n)^r$ (voor $r \ge 2$). Men verwacht dat deze sommen asymptotisch gedragen als $C_r \frac{x^{r+1}}{(\log x)^r}$.

Conclusie

Dit artikel levert een rigoureuze analytische afleiding van asymptotische formules voor sommen van de functie $f(n)$. Door slim gebruik te maken van de relatie tussen $f(n)$ en de grootste priemfactor $P(n)$, en door geavanceerde analytische getaltheoretische technieken toe te passen, wordt een nauwkeurige beschrijving gegeven van het gemiddelde gedrag van deze functie over zowel alle gehele getallen als specifieke subgroepen ($k$-vrije getallen). De resultaten verrijken het begrip van de "anatomie" van gehele getallen en de verdeling van gladde getallen.