Jacob's ladders and the equivalent of the Fermat-Wiles theorem generated by the Hardy-Littlewood formula (1921)

Titolo del Paper

Le scale di Giacobbe e l'equivalente del Teorema di Fermat-Wiles generato dalla formula di Hardy-Littlewood (1921)

1. Il Problema

Il lavoro si pone l'obiettivo di dimostrare che un lemma specifico (Lemma 18) contenuto nel fondamentale articolo di G.H. Hardy e J.E. Littlewood del 1921, relativo alla distribuzione degli zeri della funzione zeta di Riemann, possiede un potenziale non sfruttato. In particolare, l'autore intende provare la "profezia" di Hardy e Littlewood secondo cui questo lemma potrebbe essere utilizzato in direzioni inaspettate.
L'obiettivo principale è generare un insieme continuo di nuovi equivalenti $\zeta$ del Teorema di Fermat-Wiles (l'ultimo teorema di Fermat, dimostrato da Andrew Wiles). Inoltre, il paper affronta questioni relative all'uso dei risultati dell'autore da parte di A.A. Karatsuba e ai limiti del metodo delle somme trigonometriche di Weyl.

2. Metodologia

L'autore utilizza una combinazione di analisi asintotica avanzata, teoria dei numeri e proprietà geometriche di strutture definite come "Scale di Giacobbe" (Jacob's ladders).

• Lemma 18 di Hardy-Littlewood: Si basa sulla stima dell'integrale $J = \int_T^{T+U} J^2(t) dt$, dove $J(t, H)$ è un integrale della funzione $X(t)$. La funzione $X(t)$ è collegata alla funzione $\Xi(t)$ e, tramite la formula di Stirling, alla funzione $Z(t)$ di Riemann.
• Scale di Giacobbe ($\varphi_1$): L'autore introduce un sistema di iterazioni dirette e inverse di una funzione $\varphi_1(T)$, che definisce partizioni asintoticamente equidistanti sull'asse reale per $T \to \infty$. Queste partizioni permettono di analizzare gli incrementi quasi-lineari degli integrali di $|\zeta(1/2+it)|^2$.
• Sostituzioni Funzionali: Vengono applicate sostituzioni variabili complesse (es. $T = \tau^{1/a}$, $\tau = x\rho$) alle formule di Hardy-Littlewood per trasformare le stime asintotiche in funzionali limite.
• Analisi delle Somme Trigonometriche: Nella seconda parte del lavoro, l'autore analizza le stime delle somme trigonometriche elementari $S(a,b)$ e le loro implicazioni sulle radici dell'equazione $Z'(t)=0$, confrontando i propri risultati con quelli di Karatsuba e le osservazioni critiche di I.M. Vinogradov.

3. Contributi Chiave e Risultati

A. Nuovi Equivalenti del Teorema di Fermat-Wiles

Il risultato principale è la costruzione di un funzionale limite che genera un'infinità continua di condizioni necessarie e sufficienti per il Teorema di Fermat-Wiles.

• Teorema 1: Viene dimostrato che per ogni $x > 0$, $a > 1/2$ e $\alpha > 0$, vale la seguente identità limite:
  $$\lim_{\rho \to \infty} \frac{1}{\rho} \left\{ \int_{[x^\rho]_1}^{[x^\rho + (2\pi^3)^{1/2\alpha}/a]_1} Z^2(t) dt \right\}^{-\alpha} \times \int_{(x^\rho)^{1/a}}^{(x^\rho)^{1/a} + x^\rho} \left[ \int_t^{t+a-\alpha(\ln x^\rho)^\alpha} X(u) du \right]^2 dt = x$$
  dove $[G]_1 = \varphi_1^{-1}(G)$ rappresenta l'iterazione inversa della scala di Giacobbe.

• Corollario e Teorema 2 (Equivalente di Fermat): Sostituendo $x$ con un numero razionale di Fermat della forma $\frac{x^n + y^n}{z^n}$ (con $n \ge 3$), l'autore dimostra che il Teorema di Fermat-Wiles (che afferma che tale rapporto non è mai un intero per $n \ge 3$) è equivalente alla condizione che il funzionale limite sopra non sia uguale a 1.
  Poiché i parametri $a$ e $\alpha$ possono variare in un insieme continuo, il paper genera un insieme continuo di nuovi equivalenti $\zeta$ del teorema.

B. Risultati sulle Derivate di $Z(t)$ e Critica a Karatsuba

L'autore discute i risultati relativi all'equazione $Z'(t) = 0$ (dove $Z(t)$ è la funzione di Riemann-Siegel):

• Stime delle Somme Trigonometriche: L'autore presenta formule asintotiche per le somme delle derivate di $Z(t)$ basate su stime delle somme trigonometriche $S(a,b)$.
• Critica a Karatsuba: L'autore sostiene che A.A. Karatsuba, in un lavoro dedicato al 90° anniversario di Vinogradov, abbia utilizzato i risultati di Moser in modo incompleto e non corretto.
  • Karatsuba avrebbe ignorato il teorema generale di Moser (valido per un intervallo di parametri $\Delta$) concentrandosi solo su un caso particolare (Corollario 1) senza le necessarie ipotesi.
  • L'autore afferma che le stime di Karatsuba non sono direttamente collegate ai suoi risultati generali e che l'ipotesi di Lindelöf fornirebbe un miglioramento del 100% rispetto agli esponenti ottenuti da Karatsuba.
• Limiti del Metodo di Weyl: Citando l'analisi di I.M. Vinogradov, l'autore sostiene che il miglioramento delle stime delle somme trigonometriche elementari ha un limite "estremamente distante" rispetto all'ipotesi di Riemann. Sotto l'ipotesi di Riemann, gli intervalli contenenti le radici di $Z'(t)$ diventano infinitamente piccoli ($\sim 1/\ln \ln \ln T$), un risultato irraggiungibile tramite semplici miglioramenti delle somme trigonometriche classiche.

4. Significato e Implicazioni

• Rivalutazione Storica: Il lavoro rivitalizza un lemma di 105 anni fa (Hardy-Littlewood), dimostrando che possiede una potenza generativa inaspettata per problemi moderni di teoria dei numeri.
• Nuovo Approccio a Fermat: Fornisce una connessione inedita tra la distribuzione degli zeri della funzione zeta e l'equazione di Fermat, trasformando un problema di teoria dei numeri in una condizione analitica su funzionali limite.
• Controversia Accademica: Il paper solleva questioni significative sulla priorità delle scoperte e sull'interpretazione dei risultati riguardanti le derivate della funzione zeta, evidenziando le differenze tra i risultati ottenuti tramite metodi asintotici diretti e quelli ottenuti tramite il metodo delle somme trigonometriche.
• Geometria Asintotica: L'introduzione delle "Scale di Giacobbe" offre un nuovo strumento geometrico per visualizzare e calcolare la distribuzione degli zeri e degli integrali della funzione zeta su scale diverse.

In sintesi, il paper di Jan Moser propone una riformulazione analitica profonda del Teorema di Fermat-Wiles basata su strumenti classici della teoria analitica dei numeri, mentre contesta simultaneamente l'interpretazione di certi risultati da parte di altri ricercatori, sottolineando i limiti fondamentali dei metodi attuali.