On Maximal Values of Gronwall Numbers for Integers with Given Greatest Prime Factor and Remainder in Modified Mertens Formula

1. Il Problema e il Contesto

Il lavoro si colloca nell'ambito della teoria analitica dei numeri, focalizzandosi sulla relazione tra la funzione somma dei divisori $\sigma(N)$, l'ipotesi di Riemann (RH) e le formule asintotiche di Mertens.

• Numeri di Gronwall: Si definisce il numero di Gronwall come $G(N) = \frac{\sigma(N)}{N \log \log N}$. Nel 1913, Gronwall dimostrò che $\limsup_{N \to \infty} G(N) = e^\gamma$, dove $\gamma$ è la costante di Eulero-Mascheroni.
• Disuguaglianza di Ramanujan-Robin: S. Ramanujan e G. Robin hanno stabilito che la disuguaglianza $G(N) < e^\gamma$ per tutti gli $N > 5040$ è equivalente all'Ipotesi di Riemann.
• Formula di Mertens Modificata: Il paper considera la formula asintotica per la somma dei reciproci dei primi:
  $$S(x) = \sum_{p \le x} \frac{\log p}{p-1} = \log \log \theta(x) + \gamma + Q(x)$$
  dove $\theta(x)$ è la funzione di Chebyshev e $Q(x)$ è il termine di resto.
• Obiettivo: L'autore mira a stabilire una relazione limite incondizionata (cioè valida senza assumere la verità dell'Ipotesi di Riemann) tra il termine di resto $Q(p_k)$ della formula di Mertens modificata e i valori massimi dei numeri di Gronwall $\tilde{G}_k$ calcolati su insiemi specifici di interi.

2. Metodologia

L'approccio metodologico combina analisi asintotica, teoria dei numeri elementare e ottimizzazione discreta.

• Definizione degli Insiemi:
  • $W_k$: Insieme degli interi $N > 1$ il cui più grande fattore primo è esattamente $p_k$.
  • $\tilde{W}_k$: Sottinsieme di $W_k$ dove $N$ è multiplo del primoriale $p_1 \dots p_k$ (cioè tutti gli esponenti nella fattorizzazione sono $\ge 1$).
  • Si studiano i massimi $\tilde{G}_k = \max \{G(N) : N \in \tilde{W}_k\}$.
• Classi di Numeri "Unimprovabili": L'autore utilizza la classe $U_1$ di numeri "G-unimprovabili a un passo" (introdotte in lavori precedenti dell'autore). Un numero $N$ appartiene a $U_1$ se $G(Np) \le G(N)$ per ogni primo $p$. Questo permette di caratterizzare i punti di massimo locale della funzione $G(N)$.
• Costruzione Esplicita (Parte I): Per dimostrare il limite inferiore, l'autore costruisce esplicitamente una sequenza di interi $M_k \in \tilde{W}_k$ con esponenti specifici (combinando potenze di primi piccoli, medi e grandi) per mostrare che $G(M_k)$ raggiunge certi valori.
• Ottimizzazione e Stime (Parte II): Per il limite superiore, l'autore analizza le proprietà dei numeri in $U_{1,k}$ (versione locale di $U_1$). Utilizzando il calcolo differenziale su esponenti "rilasciati" (trasformando gli esponenti interi in variabili reali continue), massimizza la funzione $G(N)$ soggetta ai vincoli strutturali. Vengono utilizzate stime precise delle funzioni di Chebyshev ($\theta(x), \psi(x)$) e del resto $Q(x)$.

3. Risultati Chiave

Il risultato principale è il Teorema 1, che stabilisce una relazione limite precisa e incondizionata.

Il Teorema 1 afferma che:
$$\liminf_{k \to \infty} (\tilde{g}_k - \gamma - Q_k)\sqrt{p_k} \log p_k = -2\sqrt{2}$$
dove $\tilde{g}_k = \log \tilde{G}_k$ e $Q_k = Q(p_k)$.

Questo risultato si scompone in due parti:

1. Limite Inferiore (Costruttivo): Esiste una sequenza di interi $M_k$ tale che per ogni $\epsilon > 0$:
   $$\tilde{g}_k \ge \log G(M_k) > S_k - \log \log \theta_k - \frac{2\sqrt{2} + \epsilon}{\sqrt{p_k} \log p_k}$$
2. Limite Superiore (Asintotico): Esiste un insieme infinito $E \subset \mathbb{N}$ tale che per ogni $k \in E$ e per ogni $N \in \tilde{W}_k$:
   $$\log G(N) \le \tilde{g}_k < S_k - \log \log \theta_k - \frac{2\sqrt{2} - \epsilon}{\sqrt{p_k} \log p_k}$$

Caratteristiche Strutturali dei Numeri Ottimali:
Il paper descrive anche la struttura degli interi che massimizzano $G(N)$. Per $k$ sufficientemente grandi, i numeri ottimali $N \in U_{1,k}$ hanno esponenti $\alpha_j$ nella fattorizzazione che sono monotoni decrescenti ($\alpha_1 \ge \alpha_2 \ge \dots \ge \alpha_k$) e l'ultimo esponente è $\alpha_k = 1$. Inoltre, il logaritmo di questi numeri soddisfa $\log N \approx \theta_k + \sqrt{2\theta_k}$.

4. Contributi Principali

1. Relazione Incondizionata: A differenza di molti risultati sulla disuguaglianza di Robin che dipendono dall'Ipotesi di Riemann, questo lavoro fornisce una relazione asintotica rigorosa che non assume la validità della RH.
2. Connessione tra Mertens e Gronwall: Stabilisce un ponte quantitativo diretto tra il termine di errore nella formula di Mertens modificata e i valori massimi della funzione somma dei divisori normalizzata.
3. Costruzione Esplicita: Fornisce una costruzione algoritmica degli interi che raggiungono i massimi locali, superando la semplice esistenza teorica.
4. Analisi Asintotica Raffinata: L'uso di tecniche di ottimizzazione continua su esponenti interi permette di ottenere stime di precisione fino all'ordine $O(1/(\sqrt{p_k} \log p_k))$, rivelando il termine costante $-2\sqrt{2}$.

5. Significato e Implicazioni

• Progresso verso la Disuguaglianza di Ramanujan-Robin: L'autore spera che queste indagini sui valori massimi di $G(N)$ e la loro struttura possano fornire strumenti cruciali per una futura dimostrazione (o confutazione) della disuguaglianza di Ramanujan-Robin, che è equivalente all'Ipotesi di Riemann.
• Comprensione della Distribuzione dei Primi: Il risultato collega la distribuzione fine dei numeri primi (tramite $Q(x)$ e $\theta(x)$) con le proprietà aritmetiche dei numeri composti massimali.
• Strumenti per la Teoria dei Numeri: Le definizioni delle classi $U_1$ e $U_{1,k}$ e le relative caratterizzazioni (Teorema 2) offrono nuovi strumenti per analizzare il comportamento asintotico delle funzioni aritmetiche su insiemi di interi con vincoli di fattorizzazione.

In sintesi, il paper rappresenta un avanzamento tecnico significativo nella comprensione dei limiti superiori della funzione somma dei divisori, offrendo una formula asintotica precisa che collega due aree fondamentali della teoria dei numeri senza fare affidamento su congetture non dimostrate.