On partial derivatives of some summatory functions

Dit artikel beschrijft twee voorbeelden waarin zadelpuntbenaderingen worden gebruikt om de frequentie van de gebeurtenis $\{f(n)\leqslant g(n)\}$ te evalueren voor gehele getallen $n\leqslant x$, met name in de context van friabele gehele getallen en de verdeling van de vierkantsvrije kern.

De kern

De Wiskunde van het "Grootste Deel" en de "Kern": Een Verhaal over Getallen

Stel je voor dat je een enorme berg met getallen hebt, van 1 tot heel groot (laten we zeggen tot $x$). Wiskundigen zijn vaak geïnteresseerd in de eigenschappen van deze getallen. In dit artikel onderzoekt de wiskundige Gérald Tenenbaum twee specifieke manieren om te tellen hoeveel getallen in die berg aan bepaalde regels voldoen.

Het artikel is gewijd aan een oude vriend, Helmut Maier, en gebruikt een geavanceerde wiskundige techniek (de "zadelpunt-methode") om een lastig probleem op te lossen: hoe schat je het aantal getallen dat aan een variabele regel voldoet, als je al weet hoe ze reageren op een vaste regel?

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen.

1. Het Grote Probleem: De "Stap" versus de "Hellende Helling"

Stel je een trap voor.

• De vaste regel: Je telt hoeveel stappen je kunt nemen als elke stap precies 1 meter hoog is. Dit is makkelijk te berekenen. In de wiskunde noemen ze dit $F(x, y)$: het aantal getallen kleiner dan $x$ waarbij een bepaalde eigenschap (zoals de grootste priemfactor) kleiner is dan een vast getal $y$.
• De variabele regel: Nu wil je weten hoeveel stappen je kunt nemen als de hoogte van elke stap verandert. Bij stap 1 is de hoogte 1 meter, bij stap 100 is de hoogte misschien 2 meter, bij stap 1000 is het 1,5 meter. Dit is de formule $H(x; g)$, waarbij de regel $g(n)$ verandert naarmate het getal $n$ groter wordt.

Tenenbaum zegt: "Het is lastig om van de vaste trap naar de hellende helling te gaan." Als je gewoon de vaste formule probeert te gebruiken, krijg je fouten. Hij gebruikt een slimme techniek om deze "hellende helling" toch nauwkeurig te meten.

2. Voorbeeld 1: De "Vriendelijke" Getallen (Friable Integers)

Het eerste voorbeeld gaat over getallen die "vriendelijk" zijn, ofwel friable integers.

• Wat is dat? Een getal is vriendelijk als het geen "grote, boze" priemfactoren heeft. Bijvoorbeeld: 12 is vriendelijk (factoren: 2, 2, 3), maar 14 is minder vriendelijk als we zeggen dat priemfactoren groter dan 3 niet mogen (want 14 = 2 × 7).
• De oude theorie: In 1930 bedacht Dickman een manier om te voorspellen hoeveel vriendelijke getallen er zijn tot een bepaald punt, als je een vaste grens voor de "boze factoren" hanteert.
• Het nieuwe inzicht: Tenenbaum kijkt naar een situatie waarbij de grens voor de "boze factoren" niet vast staat, maar mee groeit met het getal zelf. Hij vraagt: "Hoeveel getallen $n$ zijn er, waarbij de grootste priemfactor kleiner is dan $n^{1/u}$?" (Dit betekent dat de grens voor de factoren meebeweegt met de grootte van het getal).

De Analogie:
Stel je voor dat je een bos wandelt. De oude theorie zegt: "Er zijn zoveel bomen die niet hoger zijn dan 10 meter."
Tenenbaum zegt: "Laten we kijken naar bomen die niet hoger zijn dan hun eigen leeftijd in jaren." Als een boom 100 jaar oud is, mag hij 10 meter hoog zijn. Als hij 1000 jaar oud is, mag hij 20 meter zijn. De regel verandert per boom.
Tenenbaum laat zien hoe je dit precies kunt berekenen door een kleine correctie toe te passen op de oude formule. Het resultaat is een heel nauwkeurige schatting, zelfs voor enorme getallen.

3. Voorbeeld 2: De "Kern" van het Getal (Squarefree Kernel)

Het tweede voorbeeld gaat over de kern van een getal.

• Wat is de kern? Neem een getal, zoals 12. De priemfactoren zijn 2 en 3. De kern is het product van de verschillende priemfactoren. Dus voor 12 is de kern $2 \times 3 = 6$. Voor 18 ($2 \times 3 \times 3$) is de kern ook$2 \times 3 = 6$. Het is alsof je alle dubbele factoren weghaalt en alleen de unieke "bouwstenen" overhoudt.
• Het onderzoek: Een paar jaar geleden hadden andere wiskundigen een formule voor het tellen van getallen waarvan de kern kleiner is dan een vast getal. Tenenbaum wil weten: hoeveel getallen $n$ zijn er, waarbij de kern kleiner is dan $n^\vartheta$ (een macht van het getal zelf)?

De Analogie:
Stel je voor dat elk getal een koffer is vol met kledingstukken (factoren). De "kern" is het aantal verschillende soorten kleding dat je in de koffer hebt (bijvoorbeeld: 1 T-shirt, 1 broek, 1 sok).
De oude theorie vroeg: "Hoeveel koffers hebben minder dan 5 verschillende soorten kleding?"
Tenenbaum vraagt: "Hoeveel koffers hebben minder dan 10% van hun eigen gewicht aan verschillende soorten kleding?"
Omdat de regel (10% van het gewicht) verandert naarmate de koffer zwaarder wordt, is dit lastig. Tenenbaum gebruikt weer zijn slimme techniek om dit probleem op te lossen en geeft een formule die werkt voor een veel breder scala aan situaties dan voorheen mogelijk was.

4. De "Zadelpunt-methode": De Magische Kompas

Hoe doet hij dit allemaal? Hij gebruikt de zadelpunt-methode (saddle-point method).

• De Vergelijking: Stel je voor dat je een berglandschap hebt met valleien en toppen. Je wilt weten hoeveel water er in een bepaalde vallei zit. De "zadelpunt-methode" is als het vinden van het laagste punt tussen twee toppen (een zadelpunt). Vanuit dat punt kun je heel precies berekenen hoe het landschap eruitziet in de buurt.
• In de wiskunde helpt dit om complexe sommen (het optellen van duizenden getallen) om te zetten in een gladde, voorspelbare kromme. Tenenbaum gebruikt dit om de "lokale gedragingen" van de getallen te analyseren, waardoor hij de variabele regels (de hellende hellingen) kan benaderen.

Conclusie

Kort samengevat:
Gérald Tenenbaum heeft een manier gevonden om twee complexe wiskundige puzzels op te lossen.

1. Hij heeft een oude theorie over "vriendelijke getallen" (zonder grote priemfactoren) verfijnd voor situaties waarbij de regels meebewegen met de getallen zelf.
2. Hij heeft een nieuwe, betere formule gevonden voor het tellen van getallen op basis van hun "kern" (hun unieke bouwstenen), zelfs als de regels erg streng of erg los zijn.

Het artikel is een eerbetoon aan een langdurige vriendschap en toont aan hoe wiskundigen, door slimme technieken toe te passen, steeds preciezer kunnen kijken naar de verborgen patronen in de wereld van de getallen. Het is alsof ze van een ruwe schets naar een fotorealistische tekening zijn gegaan.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On partial derivatives of some summatory functions" van G. Tenenbaum, geschreven in het Nederlands.

Titel en Context

Titel: Over partiële afgeleiden van sommige sommatiefuncties
Auteur: G. Tenenbaum
Datum: 12 maart 2026 (gepubliceerd op arXiv)
Onderwerp: Analytisch getaltheorie, specifiek de verdeling van arithmetische functies en de toepassing van de zadelpuntmethode.

---

1. Het Kernprobleem

Het artikel adresseert een fundamenteel probleem in de analytische getaltheorie: het schatten van de frequentie van het gebeurtenis $\{f(n) \leq g(n)\}$ voor gehele getallen $n \leq x$, waarbij $f$ een reële arithmetische functie is en $g$ een gladde functie.

Formeel wordt gezocht naar een schatting voor:
$$H(x; g) := \sum_{\substack{n \leq x \\ f(n) \leq g(n)}} 1$$
De uitdaging ligt in het overgaan van een asymptotische formule voor de tweevoudige sommatiefunctie $F(x, y) := \sum_{n \leq x, f(n) \leq y} 1$ naar de situatie waarbij de bovengrens afhangt van $n$ (d.w.z. $y = g(n)$).

Een formele aanpak zou integreren van de partiële afgeleide $\partial F(x, g(x))/\partial x$ inhouden. Echter, door de onvermijdelijke resttermen in de schattingen voor $F(x, y)$, is deze directe differentiatie vaak niet uitvoerbaar. Het artikel toont aan hoe men dit probleem kan oplossen door gebruik te maken van de zadelpuntmethode (saddle-point method), die lokale gedragingen ("semi-asymptotische formules") biedt die deze differentiatie mogelijk maken via discretisatie.

Het artikel behandelt twee specifieke emblematische gevallen:

1. Vrij van grote priemfactoren (Friable integers): De verdeling van getallen waarvan de grootste priemfactor $P^+(n) \leq n^{1/u}$ is.
2. De vierkantsvrije kern: De verdeling van de functie $k(n) = \prod_{p|n} p$.

---

2. Methodologie

De centrale methode die Tenenbaum hanteert, is een verfijnde discretisatie van de partiële afgeleide, gebaseerd op de zadelpuntmethode.

• Discretisatie: In plaats van direct te differentiëren, wordt de som $H(x; g)$ benaderd door een som van verschillen van de standaard sommatiefunctie $F(x, y)$.
  • Men introduceert een kleine parameter $\varepsilon$ en definieert een rij $x_k = x e^{-k\varepsilon}$.
  • De som wordt opgesplitst in een onder- en bovengrens ($D^-$ en $D^+$) die $F(x_k, y_k)$ en $F(x_{k+1}, y_k)$ vergelijken.
• Zadelpuntanalyse: De kern van de bewijzen ligt in het gebruik van zeer nauwkeurige asymptotische formules voor $F(x, y)$ (zoals $\Psi(x, y)$ en $N(x, y)$) die zijn afgeleid met de zadelpuntmethode. Deze formules bevatten termen van de tweede orde (bijv. $\varrho(u)$ en $\varrho'(u)$), wat essentieel is om de fouttermen bij de differentiatie te beheersen.
• Taylor-ontwikkeling: Door de gladheid van de functies en de nauwkeurige kennis van het lokale gedrag van de zadelpunten, worden Taylor-ontwikkelingen toegepast om de verschillen tussen opeenvolgende termen in de discretisatie te analyseren.

---

3. Belangrijkste Resultaten

A. Geval 1: Friable Integers (Dickman's probleem)

Het artikel herbeoordeelt het historische probleem van Dickman (1930) over de verdeling van getallen met een grootste priemfactor $P^+(n) \leq n^{1/u}$.

• Definitie: $\Psi(x, y)$ telt getallen $\leq x$ met $P^+(n) \leq y$. De specifieke doelstelling is $D(x, u) = \sum_{n \leq x, P^+(n) \leq n^{1/u}} 1$.
• Hoofdstelling (Theorema 1.1): Voor een breed domein $H_{b,c}$ (waar $y$ tussen $e^{(\log_2 x)^b}$ en $x/(\log x)^c$ ligt), wordt de relatie tussen $D(x, u)$ en $\Psi(x, y)$ gegeven door:
  $$D(x, u) = \Psi(x, y) \left( 1 - \frac{r(u)}{\log y} + O(R) \right)$$
  Hierbij is $r(u) = -\varrho'(u)/\varrho(u)$ de logaritmische afgeleide van de Dickman-functie $\varrho$, en $R$ een kleine restterm.
• Corollarium 1.2: Een direct gevolg is een nieuwe asymptotische formule voor de som $\sum_{n \leq x} \frac{\log n}{\log P^+(n)}$, wat leidt tot een uitdrukking met de constante $e^\gamma$ (Euler-Mascheroni).

B. Geval 2: De Vierkantsvrije Kern

Het artikel onderzoekt de som $S(x; \vartheta, \alpha) = \sum_{n \leq x, k(n) \leq n^\vartheta (\log n)^\alpha} 1$.

• Verbetering: Dit resultaat verbetert aanzienlijk eerdere werk van Brüdern & Robert (2024) door uniformiteit te garanderen voor variabele $\vartheta$ (die naar 0 of 1 kan naderen) en $\alpha$.
• Hoofdstelling (Theorema 1.3): De som wordt geëvalueerd in termen van een functie $F(v)$ (gerelateerd aan de Dirichlet-reeks van de kern) en een parameter $\sigma_v$ (opgelost uit een vergelijking gerelateerd aan de zadelpuntmethode):
  $$S(x; \vartheta, \alpha) = N(x, y) \sigma_v^\vartheta \left( 1 - \sigma_v^\vartheta + O\left(\frac{\sigma_v^2}{\vartheta^2} + \sqrt{\frac{\log v}{v}}\right) \right)$$
  Waarbij $N(x, y)$ de sommatiefunctie voor de vierkantsvrije kern is.

---

4. Significatie en Bijdrage

1. Oplossing van een methodologisch obstakel: Het artikel biedt een robuust kader om van asymptotische formules voor vaste grenzen ($y$) over te gaan naar variabele grenzen ($g(n)$). Dit is een veelvoorkomend maar technisch moeilijk probleem in de probabilistische getaltheorie.
2. Verfijning van Dickman's theorie: Het levert de eerste nauwkeurige schatting voor het oorspronkelijke probleem van Dickman ($P^+(n) \leq n^{1/u}$) in termen van de bekende $\Psi(x, y)$, inclusief de tweede-orde correctietermen.
3. Unificatie en Generalisatie: De aanpak is flexibel genoeg om toegepast te worden op andere gladde functies $g(n)$, zoals geïllustreerd bij de vierkantsvrije kern. Het toont aan dat de zadelpuntmethode niet alleen globale asymptotica geeft, maar ook voldoende lokale precisie biedt voor differentiatie-operaties.
4. Technische precisie: De schattingen zijn uniform in grote domeinen, wat cruciaal is voor toepassingen waar parameters variëren (bijvoorbeeld in cryptografie of de analyse van algoritmen die afhankelijk zijn van priemfactoren).

Conclusie

Tenenbaums artikel is een technisch hoogstandje dat de brug slaat tussen de klassieke theorie van friable integers en moderne technieken voor de analyse van variabele grenzen. Door de zadelpuntmethode te gebruiken om "partiële afgeleiden" van sommatiefuncties te benaderen, levert het nieuwe, scherpe resultaten op die eerder onbereikbaar leken door de complexiteit van de resttermen. Dit werk versterkt de connectie tussen de analytische structuur van de Riemann-zèta-functie en de verdeling van specifieke arithmetische eigenschappen van gehele getallen.