On the Hardy-Ramanujan Theorem

Resumo Técnico: Uma Versão Eficaz do Teorema de Hardy–Ramanujan

Enunciado do Problema
O artigo aborda a distribuição do número de fatores primos distintos, $\omega(n)$, e do número total de fatores primos, $\Omega(n)$, para inteiros $n \le x$. Embora o teorema clássico de Hardy–Ramanujan estabeleça que ambas as funções possuem uma ordem normal de $\log \log n$, a prova original baseia-se em uma desigualdade de contagem para conjuntos de nível $A_k(x) = \#\{n \le x : \omega(n) = k\}$ que fornece caudas superiores exponenciais, mas carece de constantes explícitas. Provas subsequentes, como o método do segundo momento de Turán, são mais curtas, mas produzem apenas limites polinomiais de cauda via desigualdade de Chebyshev. O teorema probabilístico de Erdős–Kac identifica a distribuição Gaussiana limite, mas não fornece limites eficazes e não assintóticos para $x$ finito. Esta nota visa preencher essas lacunas ao fornecer uma versão eficaz e explícita da desigualdade de contagem de Hardy–Ramanujan, embalando o resultado como uma desigualdade de dominação contra uma distribuição de Poisson com constantes totalmente explícitas.

Metodologia
O autor emprega o argumento de "deleção" original usado por Hardy e Ramanujan, mas o refina para tornar todas as constantes explícitas. A metodologia central envolve:

1. Recorrência de Deleção: Estabelecer uma relação de recorrência para $A_k(x)$ contando inteiros múltiplas vezes. Especificamente, para um inteiro $n$ com $k+1$ fatores primos distintos, a deleção de divisores de potências de primos exatas produz uma recorrência que liga $A_{k+1}(x)$ a somas de $A_k(x/p^a)$.
2. Princípio Indutivo: Formular um princípio de indução geral (Proposição 3.2) que, dados limites explícitos para o caso base $A_1(x)$ e uma soma específica envolvendo potências de primos, fornece um limite superior explícito para $A_k(x)$ da forma $C \frac{x}{\log x} \frac{(\log \log x + B)^{k-1}}{(k-1)!}$.
3. Estimativas Explícitas de Primos: Utilizar limites explícitos da teoria dos números primos (Rosser e Schoenfeld) para verificar as hipóteses do princípio de indução. Isso inclui estimativas precisas para $\sum_{p \le x} 1/p$, $\pi(x)$ e somas sobre potências de primos.
4. Dominação de Poisson: Traduzir a desigualdade de contagem em uma afirmação probabilística. Ao reconhecer a estrutura fatorial do limite, o autor mostra que a distribuição empírica deslocada de $\omega(n)$ é pontualmente dominada por uma variável aleatória de Poisson $Z_\xi$ com parâmetro $\xi = \log \log x + 4.096$.
5. Extensão para $\Omega(n)$ e $\omega_1(n)$: Os resultados são estendidos para o número total de fatores primos $\Omega(n)$ e o número de fatores primos que ocorrem exatamente uma vez $\omega_1(n)$ através da análise do "excesso de potências quadradas" $R(n) = \Omega(n) - \omega(n)$ e provando um limite de cauda exponencial para $R(n)$.

Principais Contribuições e Resultados

• Desigualdade de Contagem Explícita (Teorema 1.2): O artigo prova que, para todo $x \ge 2$ e inteiro $k \ge 1$:
  $$A_k(x) \le 1.95 \frac{x}{\log x} \frac{(\log \log x + 4.096)^{k-1}}{(k-1)!}$$
  Isso melhora a notação clássica $O(\cdot)$ ao fornecer a constante específica $1.95$ e o deslocamento $4.096$.

• Dominação de Poisson (Teorema 1.1): Para qualquer função não negativa $F$, a média empírica deslocada é limitada por uma expectativa de Poisson:
  $$\frac{1}{x} \sum_{2 \le n \le x} F(\omega(n) - 1) \le Q \mathbb{E}[F(Z_\xi)]$$
  onde $Q = 1.95 e^{4.096} < 117.20$ e $\xi = \log \log x + 4.096$. Isso implica que a distribuição de $\omega(n)$ é dominada por um múltiplo fixo de uma lei de Poisson.

• Limites de Cauda Explícitos:

  • Grandes Desvios (Corolário 1.3): O artigo deriva estimativas de grandes desvios com a função de taxa de Poisson padrão $I(\alpha) = \alpha \log \alpha - \alpha + 1$, mostrando que a contagem de inteiros com $\omega(n) \ge \alpha \log \log x$ é limitada por $x (\log x)^{-I(\alpha)}$.
  • Limites de Escala Gaussiana (Teorema 1.4): Para desvios da forma $A \sqrt{\log \log x}$, o artigo fornece limites superiores explícitos que se assemelham a caudas Gaussianas. Por exemplo, para $1 \le A \le \sqrt{\log \log x}/4$:
    $$\frac{1}{x} \#\{n \le x : |\omega(n) - \log \log x| > A \sqrt{\log \log x}\} \le \frac{305}{A} \exp\left(-\frac{A^2}{2} + \frac{7.31 A^3}{\sqrt{\log \log x}}\right)$$
  • Desvios Moderados (Teorema 1.5): Mostra-se que para $A \to \infty$ com $A = o(\sqrt{\log \log x})$, a probabilidade decai como $\exp(-(1/2 + o(1))A^2)$.

• Estimativas de Momentos Uniformes (Teorema 1.6): O artigo estabelece limites uniformes para momentos de ordem $r$:
  $$\left( \frac{1}{x} \sum_{2 \le n \le x} |f(n) - \log \log x|^r \right)^{1/r} \le C(\sqrt{r(\log \log x + 1)} + r)$$
  para $f \in \{\omega, \Omega, \omega_1\}$. Isso recupera a estimativa de momento central de ordem Gaussiana para $r$ fixo.

• Análogo para Números Livres de Quadrados: Uma estimativa mais precisa é derivada para inteiros livres de quadrados, com uma constante menor ($1.25506$) e um deslocamento menor ($1.174$) no parâmetro de Poisson.

Significância e Alegações
O artigo afirma fornecer um "objetivo diferente" das refinações modernas como o teorema de Sathe–Selberg ou tratamentos probabilísticos (Erdős–Kac, Kubilius). Em vez de buscar assíntotas para $k$ crescente ou distribuições limite, o autor foca em limites elementares, explícitos e não assintóticos.

A significância reside em:

1. Constantes Explícitas: Tornar o argumento de Hardy–Ramanujan quantitativo com constantes numéricas específicas ($1.95$, $4.096$, $Q < 117.20$), que são frequentemente omitidas em tratamentos clássicos.
2. Dominação de Poisson: Enquadrar o resultado como uma desigualdade de dominação contra uma distribuição de Poisson, o que permite a derivação imediata de limites de Chernoff, estimativas de momentos e limites de cauda ao escolher funções de teste apropriadas $F$.
3. Natureza Elementar: A prova baseia-se no argumento de deleção original e em estimativas explícitas de números primos, evitando maquinaria analítica complexa ou teoremas de limite probabilísticos, mas produzindo resultados que são mais agudos que os limites polinomiais de Turán e comparáveis em forma às caudas Gaussianas do teorema de Erdős–Kac (embora estritamente como limites superiores).
4. Generalidade: A abordagem estende-se naturalmente para $\Omega(n)$ e $\omega_1(n)$ via análise da parte de potências quadradas, fornecendo uma teoria eficaz unificada para estas funções aritméticas.

O autor observa que o deslocamento $4.096$ não é reivindicado como ótimo, mas serve para manter o argumento de $x$ finito transparente. A principal contribuição é a forma funcional da dominação, que unifica várias estimativas (pontuais, de cauda, de função geradora, de momento) sob uma única desigualdade explícita.