🔢 mathematics

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

Este artigo investiga a distribuição das funções aritméticas compostas $\phi(\psi(n))$ e $\psi(\psi(n))$ , fornecendo limites quantitativos para o conjunto excepcional da primeira e provando que a segunda possui densidade assintótica zero para qualquer constante positiva fixa.

Autores originais: Aimin Guo

Publicado 2026-08-05

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Aimin Guo

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine uma vasta cidade invisível onde cada edifício é um número e as ruas são pavimentadas com as regras da multiplicação. Nesta cidade, os matemáticos são como planejadores urbanos que estudam como esses edifícios interagem quando são empilhados ou combinados. Dois "arquitetos" famosos nesta cidade são a função totiente de Euler e a função aritmética de Dedekind. Pense neles como máquinas especiais que pegam um número, observam seus blocos de construção primos (os átomos fundamentais da matemática) e produzem um novo número com base em uma receita específica. A máquina de Euler geralmente encolhe um número removendo seus fatores primos, enquanto a máquina de Dedekind tende a expandi-lo, adicionando um pouco de peso extra a esses fatores.

Por muito tempo, os matemáticos ficaram fascinados pelo que acontece quando você passa um número por uma das máquinas e, imediatamente, alimenta o resultado em outra. É como tirar uma foto, passar uma foto por um filtro e, em seguida, passar essa foto filtrada por um segundo filtro diferente. A questão é: esses números com processamento duplo se comportam de forma previsível ou tornam-se selvagens? Eles permanecem próximos do seu tamanho original ou disparam para o infinito ou encolhem até o nada? Compreender isso ajuda a mapear a paisagem oculta dos números, revelando padrões que poderiam, de outra forma, permanecer invisíveis. Não se trata apenas de enigmas abstratos; trata-se de entender o ritmo fundamental de como os números são construídos e como eles mudam quando os torcemos.

Neste novo estudo, o autor, Aimin Guo, mergulha fundo no comportamento de duas combinações específicas de "filtros duplos": pegar um número, passá-lo pela máquina de Dedekind e depois alimentar o resultado na máquina de Euler ( $\phi(\psi(n))$ ), e o caso ainda mais complexo de passar um número pela máquina de Dedekind duas vezes seguidas ( $\psi(\psi(n))$ ). O artigo aborda uma questão que antes era respondida apenas vagamente: quão raros são os números que quebram as regras esperadas?

Anteriormente, os pesquisadores sabiam que, para a maioria dos números, o resultado de $\phi(\psi(n))$ é menor que o número original, e o resultado de $\psi(\psi(n))$ é maior. Mas eles não tinham uma contagem precisa dos "outliers" — os poucos números que desobedecem essas tendências. O trabalho de Guo fornece um mapa quantitativo muito mais nítido desses outliers. O artigo prova que o conjunto de números onde $\phi(\psi(n))$ é incomumente grande (especificamente, maior que uma fração fixa do número original) é incrivelmente pequeno. Na verdade, o autor calcula um limite superior explícito para quantos desses números "rebeldes" existem até qualquer ponto $x$ . A fórmula mostra que, conforme você observa intervalos de números cada vez maiores, a proporção desses outliers diminui para quase nada, desaparecendo mais rápido do que se poderia esperar.

Além disso, o artigo investiga a segunda combinação, $\psi(\psi(n))$ . Ele confirma que, para qualquer número fixo pequeno $c$ , o conjunto de inteiros $n$ onde o resultado de Dedekind duplo é surpreendentemente pequeno (menor que $c$ vezes $n$ ) é tão esparso que efetivamente desaparece no grande esquema das coisas. O artigo prova que a "densidade" dessas exceções é zero. Isso significa que, se você escolhesse um número aleatoriamente de uma lista muito grande, a chance de ele ser uma dessas raras exceções é praticamente zero. O autor também estende essa descoberta para mostrar que, se você passar um número pela máquina de Dedekind duas ou mais vezes (para qualquer $k \ge 2$ fixo), o resultado será quase certamente maior do que qualquer fração fixa do número original.

O estudo não diz apenas que essas exceções são raras; ele usa uma técnica matemática chamada "teoria de peneira" — que é como usar uma malha fina para filtrar grãos de areia indesejados — para contar exatamente quantos grãos restam. O autor adapta métodos usados por outros matemáticos para lidar com problemas semelhantes, refinando as estimativas para serem muito mais precisas do que antes. Embora o artigo confirme que esses comportamentos estranhos são vanishingly (desvanecidamente) raros, ele também observa que encontrar o tamanho "normal" exato para essas funções e obter limites ainda mais rigorosos para as exceções continua sendo um problema aberto desafiador para futuros exploradores. O trabalho é uma prova sólida de quão ordenadas essas combinações de números de aparência caótica realmente são.

Resumo Técnico: Sobre a Distribuição de $\phi(\psi(n))$ e $\psi(\psi(n))$

Enunciado do Problema
Este artigo investiga as propriedades de distribuição envolvendo as composições da função aritmética de Dedekind $\psi(n)$ e da função totiente de Euler $\phi(n)$ . Especificamente, o autor analisa a frequência de inteiros $n \le x$ para os quais as funções compostas $\phi(\psi(n))$ e $\psi(\psi(n))$ se desviam do crescimento linear esperado.

Embora $\phi(n)$ e $\psi(n)$ sejam multiplicativas, suas composições geralmente perdem essa propriedade, tornando a teoria clássica das funções multiplicativas inaplicável. Trabalhos anteriores de Sándor [8, 9] estabeleceram resultados qualitativos de densidade, mostrando que, para qualquer $c > 0$ fixo, os conjuntos $\{n \le x : \phi(\psi(n)) \ge cn\}$ e $\{n \le x : \psi(\psi(n)) \le cn\}$ possuem densidade assintótica zero. No entanto, esses resultados eram qualitativos; estimativas quantitativas para o tamanho desses "conjuntos excepcionais" permaneceram limitadas. Este artigo visa fornecer limites superiores explícitos para esses conjuntos, refinando os resultados de densidade de Sándor.

Metodologia
O autor adapta métodos de teoria de peneira anteriormente utilizados por Dixit e Bhattacharjee [2] em seu estudo de $\phi(\sigma(n))$ . A estratégia central envolve analisar inteiros $n$ para os quais o valor da função interna (especificamente $\psi(n)$ ) omite certos divisores primos pequenos.

Componentes técnicos principais incluem:

Estimativas de Peneira: A prova baseia-se em limitar o número de inteiros $n \le x$ tais que um primo específico $p$ não divide $\psi(n)$ . Isso é denotado por $T_p(x) = \#\{n \le x : p \nmid \psi(n)\}$ .
Lema 2.4: Um lema crítico estabelece que, para qualquer primo $p$ e $x$ suficientemente grande, $T_p(x) \ll x \left(\frac{\log_2 x}{\log x}\right)^{\frac{1}{p-1}}$ . Este limite é derivado da observação de que, se $q \equiv -1 \pmod p$ e $q \mid n$ , então $p \mid \psi(n)$ . Consequentemente, se $p \nmid \psi(n)$ , $n$ deve ser livre de fatores primos $q \equiv -1 \pmod p$ . O teorema de Siegel-Walfisz é usado para estimar a densidade de tais primos.
Produto de Primos: O autor define $P(z) = \prod_{p \le z} p$ . Eles utilizam o fato de que, se $P(z) \mid \psi(n)$ , então $\phi(\psi(n))$ é significativamente menor que $\psi(n)$ (devido ao produto dos termos $(1-1/p)$ ), enquanto $\psi(\psi(n))$ é significativamente maior (devido ao produto dos termos $(1+1/p)$ ).
Soma Parcial: A soma $\sum_{n \le x} \psi(n)/n$ é avaliada usando assintóticas conhecidas para $\sum \psi(n)$ para limitar a proporção de $n$ onde $\psi(n)$ é "grande" ou "pequeno".

Principais Contribuições e Resultados

Limite Quantitativo para $\phi(\psi(n))$ (Teorema 1.1):
O artigo fornece um limite superior explícito para o conjunto excepcional onde $\phi(\psi(n)) \ge cn$ . Para todo $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)$
Isso refina o resultado qualitativo de Sándor ao mostrar que o conjunto excepcional não é apenas $o(x)$ , mas decai a uma taxa aproximadamente proporcional a $x/\log_4 x$ .
Refinamento com Limiares de Variação Lenta (Teorema 1.2):
O autor estende o resultado para funções não decrescentes $g(x)$ . Se $g(x) = o(\log_4 x)$ , o conjunto $G_g(x) = \{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ satisfaz:
$|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)$
Distribuição de $\psi(\psi(n))$ (Teorema 1.3):
O artigo prova que, para qualquer $c > 0$ fixo, o conjunto de inteiros onde $\psi(\psi(n)) \le cn$ possui densidade assintótica zero. A prova demonstra que, se $\psi(\psi(n)) \le cn$ , então $\psi(n)$ deve omitir um produto de primos pequenos $P(z)$ (onde $z$ depende de $c$ ). Usando as estimativas de peneira, o tamanho deste conjunto é mostrado como sendo $o(x)$ .
Generalização para Iterações Superiores (Corolário 1.1):
É mostrado que, para qualquer $k \ge 2$ fixo, o conjunto $\{n \le x : \psi^{(k)}(n) \le cn\}$ também possui densidade assintótica zero, visto que $\psi^{(k)}(n) \ge \psi(\psi(n))$ .

Significância e Alegações
O artigo fornece estimativas quantitativas para os conjuntos excepcionais associados às composições $\phi(\psi(n))$ e $\psi(\psi(n))$ , refinando resultados de densidade qualitativa anteriores. Ao passar de densidade qualitativa ( $o(x)$ ) para limites superiores explícitos envolvendo logaritmos iterados, o trabalho oferece uma compreensão mais precisa da distribuição dessas funções aritméticas.

O autor observa que seus limites quantitativos dependem essencialmente da estimativa de peneira para $T_p(x)$ . Eles sugerem que qualquer melhoria substancial nesta estimativa de peneira específica levaria diretamente a limites mais aguçados para os conjuntos excepcionais. Embora o artigo mencione em observações que resultados de densidade zero semelhantes podem ser derivados para a composição $\psi(\sigma(n))$ , ele confina explicitamente sua análise quantitativa principal e escopo a $\phi(\psi(n))$ e $\psi(\psi(n))$ . O autor conclui que determinar as ordens normais dessas composições e obter estimativas ainda mais aguçadas para os conjuntos excepcionais permanecem como problemas abertos interessantes.

Resumo Técnico: Sobre a Distribuição de ϕ(ψ(n))\phi(\psi(n))ϕ(ψ(n)) e ψ(ψ(n))\psi(\psi(n))ψ(ψ(n))

Mais como este

Resumo Técnico: Sobre a Distribuição de $\phi(\psi(n))$ e $\psi(\psi(n))$