🔢 mathematics

On the distribution of $\phi(\psi(n))$ and $\psi(\psi(n))$

Dit artikel onderzoekt de verdeling van de samengestelde rekenkundige functies $\phi(\psi(n))$ en $\psi(\psi(n))$ , waarbij kwantitatieve grenzen wordt geboden voor de uitzonderlijke verzameling van de eerste en wordt bewezen dat de laatste een asymptotische dichtheid nul heeft voor elke vaste positieve constante.

Oorspronkelijke auteurs: Aimin Guo

Gepubliceerd 2026-08-05

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Aimin Guo

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 een uitgestrekte, onzichtbare stad voor waar elk gebouw een getal is en de straten zijn geplaveid met de regels van de vermenigvuldiging. In deze stad zijn wiskundigen als stadsplanners die bestuderen hoe deze gebouwen met elkaar interageren wanneer ze worden gestapeld of gecombineerd. Twee beroemde "architecten" in deze stad zijn de totientfunctie van Euler en de Dedekind-getalsfunctie. Beschouw hen als speciale machines die een getal nemen, naar de priem-bouwstenen ervan kijken (de fundamentele atomen van de wiskunde), en er een nieuw getal uit spugen op basis van een specifiek recept. De machine van Euler krimpt een getal meestal door de priemfactoren ervan te verwijderen, terwijl de machine van Dedekind de neiging heeft om het getal te vergroten door er een beetje extra gewicht aan toe te voegen.

Lama lang zijn wiskundigen gefascineerd geweest door wat er gebeurt wanneer je een getal door de ene machine haalt en het resultaat vervolgens direct in de andere machine voert. Het is alsof je een foto maakt, deze door een filter haalt, en die gefilterde foto vervolgens door een tweede, verschillende filter haalt. De vraag is: gedragen deze dubbel bewerkte getallen zich voorspelbaar, of gaan ze wild uiteen? Blijven ze dicht bij hun oorspronkelijke grootte, of schieten ze naar oneindig of krimpen ze naar niets? Het begrijpen hiervan helpt ons de verborgen landschappen van getallen in kaart te brengen, wat patronen onthult die anders onzichtbaar zouden blijven. Het gaat niet alleen over abstracte puzzels; het gaat over het begrijpen van het fundamentele ritme van hoe getallen zijn opgebouwd en hoe ze veranderen wanneer we ze verdraaien.

In deze nieuwe studie duikt de auteur, Aimin Guo, diep in het gedrag van twee specifieke "dubbel-filter"-combinaties: een getal nemen, het door de machine van Dedekind halen, en dat resultaat vervolgens in de machine van Euler voeren ( $\phi(\psi(n))$ ), en het nog complexere geval waarbij een getal twee keer achter elkaar door de machine van Dedekind wordt gehaald ( $\psi(\psi(n))$ ). Het artikel pakt een vraag aan die voorheen slechts vaag werd beantwoord: hoe zeldzaam zijn de getallen die de verwachte regels breken?

Voorheen wisten onderzoekers dat voor de meeste getallen het resultaat van $\phi(\psi(n))$ kleiner is dan het oorspronkelijke getal, en het resultaat van $\psi(\psi(n))$ groter is. Maar ze hadden geen precieze telling van de "uitschieters"—de weinige getallen die deze trends niet volgen. Guo's werk biedt een veel scherpere, kwantitatieve kaart van deze uitschieters. Het artikel bewijst dat de verzameling getallen waar $\phi(\psi(n))$ ongewoon groot is (specifiek groter dan een vast deel van het oorspronkelijke getal) ongelooflijk klein is. Sterker nog, de auteur berekent een expliciete bovengrens voor hoeveel van deze "rebelse" getallen er tot een gegeven punt $x$ bestaan. De formule laat zien dat naarmate je naar steeds grotere bereiken van getallen kijkt, de proportie van deze uitschieters tot bijna niets krimpt, sneller verdwijnt dan je zou verwachten.

Verder onderzoekt het artikel de tweede combinatie, $\psi(\psi(n))$ . Het bevestigt dat voor elk vast klein getal $c$ , de verzameling gehele getallen $n$ waar het dubbel-Dedekind resultaat verrassend klein is (kleiner dan $c$ keer $n$ ), zo schaars is dat het effectief verdwijnt in het grote geheel. Het artikel bewijst dat de "dichtheid" van deze uitzonderingen nul is. Dit betekent dat als je een getal willekeurig uit een zeer grote lijst zou kiezen, de kans dat het een van deze zeldzame uitzonderingen is, praktisch nul is. De auteur breidt deze bevinding uit door aan te tonen dat als je een getal twee of meer keren door de machine van Dedekind haalt (voor elke vaste $k \ge 2$ ), het resultaat bijna zeker groter zal zijn dan welk vast deel van het oorspronkelijke getal dan ook.

De studie zegt niet alleen dat deze uitzonderingen zeldzaam zijn; het gebruikt een wiskundige techniek genaamd "zeeftheorie"—wat lijkt op het gebruik van een fijnmazig net om ongewenste zandkorrels eruit te filteren—om precies te tellen hoeveel korrels er overblijven. De auteur past methoden toe die door andere wiskundigen zijn gebruikt voor soortgelijke problemen, en verfijnt de schattingen om ze veel nauwkeuriger te maken dan voorheen. Hoewel het artikel bevestigt dat deze vreemde gedragingen marginaal zeldzaam zijn, merkt het ook op dat het vinden van de exacte "normale" grootte voor deze functies en het verkrijgen van nog strakkere grenzen voor de uitzonderingen een uitdagend openstaand probleem blijft voor toekomstige ontdekkingsreizigers. Het werk staat als een solide bewijs van hoe ordelijk deze chaotisch lijkende getalcombinaties werkelijk zijn.

Technische Samenvatting: Over de distributie van $\phi(\psi(n))$ en $\psi(\psi(n))$

Probleemstelling
Dit artikel onderzoekt de distributieve eigenschappen van composities die de Dedekindse rekenkundige functie $\psi(n)$ en de Euler totient-functie $\phi(n)$ bevatten. Specifiek analyseert de auteur de frequentie van gehele getallen $n \le x$ waarvoor de samengestelde functies $\phi(\psi(n))$ en $\psi(\psi(n))$ afwijken van de verwachte lineaire groei.

Hoewel $\phi(n)$ en $\psi(n)$ multiplicatief zijn, verliezen hun composities over het algemeen deze eigenschap, waardoor klassieke multiplicatieve functietheorie niet toepasbaar is. Voorgaand werk door Sándor [8, 9] stelde kwalitatieve dichtheidsresultaten vast, waarbij werd aangetoond dat voor elke vaste $c > 0$ , de verzamelingen $\{n \le x : \phi(\psi(n)) \ge cn\}$ en $\{n \le x : \psi(\psi(n)) \le cn\}$ een asymptotische dichtheid nul hebben. Deze resultaten waren echter kwalitatief; kwantitatieve schattingen voor de grootte van deze "uitzonderlijke verzamelingen" bleven beperkt. Dit artikel beoogt expliciete bovengrenzen te leveren voor deze verzamelingen, waarmee de dichtheidsresultaten van Sándor wordt verfijnd.

Methodologie
De auteur past zeef-theoretische methoden toe die eerder door Dixit en Bhattacharjee [2] zijn gebruikt in hun studie naar $\phi(\sigma(n))$ . De kernstrategie bestaat uit het analyseren van gehele getallen $n$ waarvoor de waarde van de binnenste functie (specifiek $\psi(n)$ ) bepaalde kleine priemfactoren weglaat.

Belangrijke technische componenten zijn:

Zeefschattingen: Het bewijs steunt op het begrenzen van het aantal gehele getallen $n \le x$ waarvoor een specifieke priem $p$ geen deel wordt van $\psi(n)$ . Dit wordt aangeduid als $T_p(x) = \#\{n \le x : p \nmid \psi(n)\}$ .
Lemma 2.4: Een cruciaal lemma stelt dat voor elke priem $p$ en voldoende grote $x$ , $T_p(x) \ll x \left(\frac{\log_2 x}{\log x}\right)^{\frac{1}{p-1}}$ . Deze grens wordt afgeleid door te observeren dat als $q \equiv -1 \pmod p$ en $q \mid n$ , dan $p \mid \psi(n)$ . Bijgevolg, als $p \nmid \psi(n)$ , moet $n$ vrij zijn van priemfactoren $q \equiv -1 \pmod p$ . De Siegel-Walfisz-stelling wordt gebruikt om de dichtheid van dergelijke priemgetallen te schatten.
Product van priemgetallen: De auteur definieert $P(z) = \prod_{p \le z} p$ . Zij maken gebruik van het feit dat als $P(z) \mid \psi(n)$ , dan $\phi(\psi(n))$ aanzienlijk kleiner is dan $\psi(n)$ (door de producttermen van $(1-1/p)$ ), terwijl $\psi(\psi(n))$ aanzienlijk groter is (door de producttermen van $(1+1/p)$ ).
Partiële sommatie: De som $\sum_{n \le x} \psi(n)/n$ wordt geëvalueerd met behulp van bekende asymptotiek voor $\sum \psi(n)$ om het aandeel $n$ te begrenzen waar $\psi(n)$ "groot" of "klein" is.

Belangrijkste bijdragen en resultaten

Kwantitatieve grens voor $\phi(\psi(n))$ (Stelling 1.1):
Het artikel biedt een expliciete bovengrens voor de uitzonderlijke verzameling waar $\phi(\psi(n)) \ge cn$ . Voor elke $c > 0$ :
$\#\{n \le x : \phi(\psi(n)) \ge cn\} \le \frac{15x}{\pi^2 c \log_4 x} + O\left(\frac{x \log_3 x}{(\log x)^{1/(\log_3 x \log_4 x)}}\right)$
Dit verfijnt de kwalitatieve resultaten van Sándor door aan te tonen dat de uitzonderlijke verzameling niet alleen $o(x)$ is, maar afneemt met een snelheid die ruwweg proportioneel is aan $x/\log_4 x$ .
Verfijning met langzaam variërende drempelwaarden (Stelling 1.2):
De auteur breidt het resultaat uit naar niet-dalende functies $g(x)$ . Als $g(x) = o(\log_4 x)$ , dan voldoet de verzameling $G_g(x) = \{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ aan:
$|G_g(x)| = O\left(\frac{xg(x)}{\log_4 x} + \frac{x \log_3 x}{(\log x)^{1/(\log_3 x \log_4 x)}}\right) = o(x)$
Distributie van $\psi(\psi(n))$ (Stelling 1.3):
Het artikel bewijst dat voor elke vaste $c > 0$ , de verzameling gehele getallen waar $\psi(\psi(n)) \le cn$ een asymptotische dichtheid nul heeft. Het bewijs toont aan dat als $\psi(\psi(n)) \le cn$ , dan moet $\psi(n)$ een product van kleine priemgetallen $P(z)$ (waarbij $z$ afhangt van $c$ ) weglaten. Met behulp van de zeefschattingen wordt aangetoond dat de grootte van deze verzameling $o(x)$ is.
Generalisatie naar hogere iteraties (Corollary 1.1):
Er wordt aangetoond dat voor elke vaste $k \ge 2$ , de verzameling $\{n \le x : \psi^{(k)}(n) \le cn\}$ ook een asymptotische dichtheid nul heeft, aangezien $\psi^{(k)}(n) \ge \psi(\psi(n))$ .

Betekenis en claims
Het artikel levert kwantitatieve schattingen voor de uitzonderlijke verzamelingen geassocieerd met de composities $\phi(\psi(n))$ en $\psi(\psi(n))$ , waarmee eerdere kwalitatieve dichtheidsresultaten worden verfijnd. Door over te gaan van kwalitatieve dichtheid ( $o(x)$ ) naar expliciete bovengrenzen met behulp van geïtereerde logaritmen, biedt het werk een nauwkeuriger begrip van de distributie van deze rekenkundige functies.

De auteur merkt op dat hun kwantitatieve grenzen essentieel afhangen van de zeefschatting voor $T_p(x)$ . Er wordt gesuggereerd dat elke substantiële verbetering in deze specifieke zeefschatting direct zou leiden tot scherpere grenzen voor de uitzonderlijke verzamelingen. Hoewel het artikel in de opmerkingen vermeldt dat vergelijkbare dichtheid-nul resultaten kunnen worden afgeleid voor de compositie $\psi(\sigma(n))$ , beperkt het de belangrijkste kwantitatieve analyse en reikwijdte expliciet tot $\phi(\psi(n))$ en $\psi(\psi(n))$ . De auteur concludeert dat het bepalen van de normale orden van deze composities en het verkrijgen van nog scherpere schattingen voor de uitzonderlijke verzamelingen interessante openstaande problemen blijven.

Technische Samenvatting: Over de distributie van ϕ(ψ(n))\phi(\psi(n))ϕ(ψ(n)) en ψ(ψ(n))\psi(\psi(n))ψ(ψ(n))

Meer zoals dit

Technische Samenvatting: Over de distributie van $\phi(\psi(n))$ en $\psi(\psi(n))$