🔢 mathematics

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

Questo articolo investiga la distribuzione delle funzioni aritmetiche composte $\phi(\psi(n))$ e $\psi(\psi(n))$ , fornendo limiti quantitativi per l'insieme eccezionale della prima e dimostrando che la seconda ha densità asintotica nulla per ogni costante positiva fissata.

Autori originali: Aimin Guo

Pubblicato 2026-08-05

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Aimin Guo

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immaginate una vasta città invisibile dove ogni edificio è un numero e le strade sono pavimentate con le regole della moltiplicazione. In questa città, i matematici sono come urbanisti che studiano come questi edifici interagiscono quando vengono impilati o combinati. Due famosi "architetti" in questa città sono la funzione totiente di Eulero e la funzione aritmetica di Dedekind. Pensateli come macchine speciali che prendono un numero, osservano i suoi blocchi costruttivi primi (gli atomi fondamentali della matematica) e restituiscono un nuovo numero basato su una ricetta specifica. La macchina di Eulero di solito restringe un numero rimuovendo i suoi fattori primi, mentre la macchina di Dedekind tende ad espanderlo aggiungendo un po' di peso extra a quei fattori.

Per molto tempo, i matematici sono stati affascinati da ciò che accade quando si fa passare un numero attraverso una delle sue macchine e poi si alimenta immediatamente il risultato in un'altra. È come scattare una foto, farla passare attraverso un filtro, e poi far passare la foto filtrata attraverso un secondo, diverso filtro. La domanda è: questi numeri doppiamente processati si comportano in modo prevedibile, o impazziscono? Rimangono vicini alla loro dimensione originale, o schizzano verso l'infinito o si restringono fino a nulla? Comprendere questo aiuta a mappare il paesaggio nascosto dei numeri, rivelando schemi che altrimenti potrebbero rimanere invisibili. Non si tratta solo di enigmi astratti; si tratta di comprendere il ritmo fondamentale di come i numeri sono costruiti e di come cambiano quando li si trasforma.

In questo nuovo studio, l'autore, Aimin Guo, si immerge profondamente nel comportamento di due specifiche combinazioni a "doppio filtro": prendere un numero, farlo passare attraverso la macchina di Dedekind e poi alimentare il risultato nella macchina di Eulero ( $\phi(\psi(n))$ ), e il caso ancora più complesso di far passare un numero attraverso la macchina di Dedekind due volte di seguito ( $\psi(\psi(n))$ ). Il articolo affronta una domanda che prima era stata solo vagamente risposta: quanto sono rari i numeri che infrangono le regole attese?

Precedentemente, i ricercatori sapevano che per la maggior parte dei numeri, il risultato di $\phi(\psi(n))$ è più piccolo del numero originale, e il risultato di $\psi(\psi(n))$ è più grande. Ma non avevano un conteggio preciso degli "outlier" (i casi eccezionali)—i pochi numeri che disobbediscono a queste tendenze. Il lavoro di Guo fornisce una mappa quantitativa molto più nitida di questi outlier. L'articolo dimostra che l'insieme dei numeri in cui $\phi(\psi(n))$ è insolitamente grande (specificamente, più grande di una frazione fissa del numero originale) è incredibilmente piccolo. In effetti, l'autore calcola un limite superiore esplicito per quanti tali numeri "ribelli" esistono fino a un dato punto $x$ . La formula mostra che man mano che si osservano intervalli di numeri sempre più grandi, la proporzione di questi outlier diminuisce fino a diventare quasi nulla, svanendo più velocamente di quanto ci si possa aspettare.

Inoltre, il articolo investiga la seconda combinazione, $\psi(\psi(n))$ . Esso conferma che per qualsiasi numero fisso e piccolo $c$ , l'insieme degli interi $n$ in cui il risultato doppio di Dedekind è sorprendentemente piccolo (minore di $c$ volte $n$ ) è così rado che svanisce effettivamente nella grandezza delle cose. L'articolo dimostra che la "densità" di queste eccezioni è zero. Ciò significa che se sceglieste un numero a caso da una lista molto lunga, la probabilità che sia uno di questi rari casi eccezionali è praticamente zero. L'autore estende anche questo risultato per mostrare che se si fa passare un numero attraverso la macchina di Dedekind due o più volte (per qualsiasi $k \ge 2$ fisso), il risultato sarà quasi certamente più grande di qualsiasi frazione fissa del numero originale.

Lo studio non dice solo che queste eccezioni sono rare; utilizza una tecnica matematica chiamata "teoria del setaccio" (sieve theory)—che è come usare una rete a maglie fini per filtrare i granelli di sabbia indesiderati—per contare esattamente quanti granelli rimangono. L'autore adatta i metodi usati da altri matematici per gestire problemi simili, raffinando le stime per renderle molto più precise rispetto al passato. Sebbene l'articolo confermi che questi comportamenti bizzarri sono evanescenti, nota anche che trovare la dimensione "normale" esatta per queste funzioni e ottenere limiti ancora più stretti per le eccezioni rimane un problema aperto e impegnativo per i futuri esploratori. Il lavoro costituisce una prova solida di quanto siano realmente ordinabili queste combinazioni numeriche dall'aspetto caotico.

Sintesi Tecnica: Sulla distribuzione di $\phi(\psi(n))$ e $\psi(\psi(n))$

Enunciato del Problema
Questo articolo investiga le proprietà distributive delle composizioni che coinvolgono la funzione aritmetica di Dedekind $\psi(n)$ e la funzione totiente di Eulero $\phi(n)$ . Nello specifico, l'autore analizza la frequenza degli interi $n \le x$ per i quali le funzioni composte $\phi(\psi(n))$ e $\psi(\psi(n))$ deviano dalla crescita lineare attesa.

Sebbene $\phi(n)$ e $\psi(n)$ siano multiplicative, le loro composizioni generalmente perdono tale proprietà, rendendo inapplicabile la classica teoria delle funzioni multiplicative. Lavori precedenti di Sándor [8, 9] hanno stabilito risultati qualitativi sulla densità, mostrando che per ogni fissato $c > 0$ , gli insiemi $\{n \le x : \phi(\psi(n)) \ge cn\}$ e $\{n \le x : \psi(\psi(n)) \le cn\}$ hanno densità asintotica zero. Tuttavia, questi risultati erano qualitativi; le stime quantitative sulla dimensione di questi "insiemi eccezionali" rimanevano limitate. Questo articolo mira a fornire limiti superiori espliciti per questi insiemi, raffinando i risultati sulla densità di Sándor.

Metodologia
L'autore adatta i metodi della teoria del setaccio precedentemente utilizzati da Dixit e Bhattacharjee [2] nel loro studio di $\phi(\sigma(n))$ . La strategia centrale consiste nell'analizzare gli interi $n$ per i quali il valore della funzione interna (specificamente $\psi(n)$ ) omette determinati divisori primi piccoli.

Componenti tecniche chiave includono:

Stime del Setaccio: La dimostrazione si basa sul limitare il numero di interi $n \le x$ tali che un particolare primo $p$ non divida $\psi(n)$ . Questo è indicato con $T_p(x) = \#\{n \le x : p \nmid \psi(n)\}$ .
Lemma 2.4: Un lemma critico stabilisce che per ogni primo $p$ e per $x$ sufficientemente grande, $T_p(x) \ll x \left(\frac{\log_2 x}{\log x}\right)^{\frac{1}{p-1}}$ . Questo limite è derivato dall'osservazione che se $q \equiv -1 \pmod p$ e $q \mid n$ , allora $p \mid \psi(n)$ . Di conseguenza, se $p \nmid \psi(n)$ , $n$ deve essere privo di fattori primi $q \equiv -1 \pmod p$ . Il teorema di Siegel-Walfisz viene utilizzato per stimare la densità di tali primi.
Prodotto di Primi: L'autore definisce $P(z) = \prod_{p \le z} p$ . Utilizza il fatto che se $P(z) \mid \psi(n)$ , allora $\phi(\psi(n))$ è significativamente più piccolo di $\psi(n)$ (a causa del prodotto dei termini $(1-1/p)$ ), mentre $\psi(\psi(n))$ è significativamente più grande (a causa del prodotto dei termini $(1+1/p)$ ).
Sommatoria Parziale: La somma $\sum_{n \le x} \psi(n)/n$ viene valutata utilizzando le asintotiche note per $\sum \psi(n)$ per limitare la proporzione di $n$ dove $\psi(n)$ è "grande" o "piccolo".

Contributi Chiave e Risultati

Limite Quantitativo per $\phi(\psi(n))$ (Teorema 1.1):
L'articolo fornisce un limite superiore esplicito per l'insieme eccezionale dove $\phi(\psi(n)) \ge cn$ . Per ogni $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)$
Questo raffina il risultato qualitativo di Sándor mostrando che l'insieme eccezionale non è solo $o(x)$ , ma decade a un tasso approssimativamente proporzionale a $x/\log_4 x$ .
Raffinamento con Soglie a Variazione Lenta (Teorema 1.2):
L'autore estende il risultato a funzioni non decrescenti $g(x)$ . Se $g(x) = o(\log_4 x)$ , l'insieme $G_g(x) = \{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ soddisfa:
$|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)$
Distribuzione di $\psi(\psi(n))$ (Teorema 1.3):
L'articolo dimostra che per ogni fissato $c > 0$ , l'insieme di interi dove $\psi(\psi(n)) \le cn$ ha densità asintotica zero. La dimostrazione mostra che se $\psi(\psi(n)) \le cn$ , allora $\psi(n)$ deve omettere un prodotto di piccoli primi $P(z)$ (dove $z$ dipende da $c$ ). Utilizzando le stime del setaccio, si mostra che la dimensione di questo insieme è $o(x)$ .
Generalizzazione a Iterazioni Superiori (Corollario 1.1):
Si dimostra che per ogni fissato $k \ge 2$ , l'insieme $\{n \le x : \psi^{(k)}(n) \le cn\}$ ha anch'esso densità asintotica zero, poiché $\psi^{(k)}(n) \ge \psi(\psi(n))$ .

Significatività e Rivendicazioni
Il lavoro fornisce stime quantitative per gli insiemi eccezionali associati alle composizioni $\phi(\psi(n))$ e $\psi(\psi(n))$ , raffinando i precedenti risultati qualitativi sulla densità. Passando dalla densità qualitativa ( $o(x)$ ) a espliciti limiti superiori che coinvolgono logaritmi iterati, il lavoro offre una comprensione più precisa della distribuzione di queste funzioni aritmetiche.

L'autore nota che i loro limiti quantitativi dipendono essenzialmente dalla stima del setaccio per $T_p(x)$ . Suggeriscono che qualsiasi miglioramento sostanziale in questa specifica stima del setaccio porterebbe direttamente a limiti più acuti per gli insiemi eccezionali. Sebbene l'articolo menzioni nelle osservazioni che risultati simili di densità zero possono essere derivati per la composizione $\psi(\sigma(n))$ , esso confina esplicitamente la sua analisi quantitativa principale e il suo ambito a $\phi(\psi(n))$ e $\psi(\psi(n))$ . L'autore conclude che determinare gli ordini normali di queste composizioni e ottenere stime ancora più precise per gli insiemi eccezionali rimangono problemi aperto interessanti.

Sintesi Tecnica: Sulla distribuzione di ϕ(ψ(n))\phi(\psi(n))ϕ(ψ(n)) e ψ(ψ(n))\psi(\psi(n))ψ(ψ(n))

Articoli simili

Sintesi Tecnica: Sulla distribuzione di $\phi(\psi(n))$ e $\psi(\psi(n))$