🔢 mathematics

Explicit formula for the discrete Laplace transform of the Möbius function, related special functions, and a criterion for the Riemann hypothesis

Assumendo la semplicità degli zeri della funzione zeta di Riemann, questo articolo deriva una formula esplicita per la trasformata di Laplace discreta della funzione di Möbius coinvolgendo poli doppi derivanti dalla collisione di zeri di Gamma e zeta, stabilisce un criterio per l'ipotesi di Riemann basato sul tasso di decadimento della trasformata e introduce funzioni intere speciali con serie di Bessel pesate con la funzione di Möbius in forma chiusa.

Autori originali: Sergey Liflandsky

Pubblicato 2026-07-14

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Sergey Liflandsky

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 la funzione zeta di Riemann, $\zeta(s)$ , come un gigantesco strumento musicale invisibile che custodisce il codice segreto di come i numeri primi siano sparsi attraverso l'universo. Per oltre 150 anni, i matematici hanno cercato di ascoltare la melodia esatta di questo strumento, specificamente per dimostrare l'Ipotesi di Riemann: l'idea che tutte le "note nascoste" (gli zeri non banali) di questo strumento siano perfettamente accordate su una singola linea di frequenza specifica.

In questo articolo, Sergey Liflandsky utilizza uno strumento nuovo per ascoltare questa musica: la Trasformata di Laplace Discreta della funzione di Möbius. Pensate alla funzione di Möbius, $\mu(n)$ , come a un operatore di centralino cosmico che inverte i segni (+1, -1 o 0) in base ai fattori primi di un numero. Liflandsky si chiede: "Cosa succede se prendiamo tutti questi interruttori, li moltiplichiamo per un segnale in decadimento ( $e^{-nx}$ ) e li sommiamo tutti?".

La Grande Scoperta: Una Collisione di Mondi

La scoperta principale dell'articolo è una formula esplicita del tutto nuova per questa somma. È come trovare una chiave maestra che sblocca la somma utilizzando due diversi set di informazioni: i valori della funzione zeta in punti specifici e la posizione dei suoi zeri nascosti.

Ecco il colpo di scena che rende speciale questo articolo. Nelle formule precedenti (come quella per la funzione di Mertens), la matematica era relativamente pulita. I "poli" (i punti in cui la matematica esplode) di una parte dell'equazione e gli "zeri" (i punti in cui l'equazione svanisce) di un'altra parte rimanevano separati.

Ma in questa nuova formula, essi si scontrano.

Liflandsky mostra che i poli della funzione Gamma (una famosa funzione di supporto matematica) collidono con gli "zeri banali" della funzione zeta. È come due treni in rotta di collisione che non si limitano a fermarsi, ma si fondono in un polo doppio. Questa collisione crea un termine nuovo, disordinato e bellissimo nella formula: un termine logaritmico che coinvolge $\log(2\pi x)$ . Questa struttura non è mai stata vista prima in questo tipo di formule. È un'impronta digitale unica lasciata dalla collisione di queste forze matematiche.

La Sorpresa "Bessel"

L'articolo introduce anche alcune "funzioni intere speciali" (oggetti matematici che sono regolari ovunque) chiamate $\kappa$ , $\beta$ , $\lambda$ e $\upsilon$ . Questi non sono nomi casuali; sono il residuo matematico di quella collisione.

Liflandsky dimostra qualcosa di sorprendente su queste funzioni: possono essere scritte come serie assolutamente convergenti di funzioni di Bessel. Per visualizzarlo, immaginate la funzione di Bessel come un increspatura in uno stagno. L'articolo mostra che queste funzioni speciali sono in realtà una pila perfetta e infinita di queste increspature, pesate dalla funzione di Möbius. È come scoprire che una tempesta complessa e caotica è in realtà composta da onde rotanti perfettamente ordinate.

Il Test dell'Ipotesi di Riemann

La parte più eccitante è come questa formula agisca come un criterio (un test) per l'Ipotesi di Riemann.

La Strada a Senso Unico (Dimostrata): L'articolo dimostra che se la somma di questi interruttori di Möbius si comporta in un modo molto specifico (rimpiccolendosi a un tasso di $O(x^{-1/2})$ quando $x$ diventa piccolissimo), allora l'Ipotesi di Riemann è sicuramente vera. Questa direzione non richiede assunzioni extra; è un fatto matematico rigoroso. Se vedete la somma rimpicciolirsi così velocemente, gli zeri devono trovarsi sulla linea critica.
La Strada a Doppio Senso (Condizionata): L'articolo sostiene che il contrario è altrettanto vero: se l'Ipotesi di Riemann è vera (e assumiamo che gli zeri siano semplici e non si avvicinino troppo allo zero), allora la somma si rimpicciolirà a quel tasso specifico. Tuttavia, questa direzione si basa su alcune assunzioni extra su come si comportano gli zeri, che sono ampiamente credute ma non ancora dimostrate.

Cosa Esclude l'Articolo

L'articolo esclude esplicitamente l'idea che questa nuova formula sia solo una piccola modifica delle precedenti. Esso sottolinea che il termine logaritmico ( $\log(2\pi x)$ ) è una caratteristica strutturale che non può essere trovata nelle formule classiche per la funzione di Mertens. Le vecchie formule avevano poli semplici; questa ha poli doppi. La matematica è fondamentalmente diversa.

Quanto Siamo Sicuri?

La Formula: La formula esplicita (1.18) è dimostrata, ma dipende dall'assunzione che tutti gli zeri non banali siano "semplici" (ovvero che non ci siano due zeri che siedono esattamente l'uno sopra l'altro). Questa è un'assunzione standard supportata da massicce calcoli numerici (fino a $3 \cdot 10^{12}$ ), ma non è ancora stata matematicamente provata. Se uno zero fosse "doppio", la formula avrebbe bisogno di una leggera aggiustata, ma la logica centrale rimarrebbe valida.
Il Criterio: La direzione "La somma si rimpicciolisce velocemente $\rightarrow$ l'Ipotesi di Riemann è vera" è incondizionatamente dimostrata. Non sono necessari altri congetture.
Il Rovescio: La direzione "L'Ipotesi di Riemann è vera $\rightarrow$ la somma si rimpicciolisce velocemente" è condizionata. Vale se assumiamo che gli zeri siano semplici e non si avvicinino troppo allo zero (Ipotesi H).

In Conclusione

Liflandsky non ha ancora risolto l'Ipotesi di Riemann. Al contrario, ha costruito un nuovo rilevatore altamente sensibile. Ha scoperto che il modo in cui la funzione di Möbius decade è profondamente legato alla geometria degli zeri della funzione zeta. La scoperta del polo doppio e del risultante termine logaritmico è un nuovo pezzo del puzzle che era precedentemente invisibile. È un passo avanti rigoroso e dimostrato che offre un nuovo modo incondizionato per testare se l'Ipotesi di Riemann sia vera, a patto che si riesca a misurare questa somma con sufficiente precisione.

Sintesi Tecnica: Formula Esplicita per la Trasformata di Laplace Discreta della Funzione di Möbius

Enunciato del Problema
Il saggio affronta la derivazione di una formula esplicita per la trasformata di Laplace discreta della funzione di Möbius, definita come $\Phi(e^{-t}) = \sum_{n=1}^\infty \mu(n)e^{-nt}$ . Sebbene le formule esplicite per la funzione di Mertens (le somme parziali di $\mu(n)$ ) siano ben consolidate (ad esempio, il Teorema di Titchmarsh 14.27), il comportamento della trasformata di Laplace sotto l'ipotesi di zeri semplici della funzione zeta di Riemann presenta sfide analitiche uniche. Nello specifico, l'autore investiga come i poli della funzione Gamma $\Gamma(s)$ interagiscano con gli zeri triviali della funzione zeta di Riemann $\zeta(s)$ nel contesto della inversione di Mellin di $\Gamma(s)/\zeta(s)$ .

Metodologia
La metodologia centrale si basa sulla trasformata di Mellin e sulle tecniche di integrazione di contorno, seguendo l'approccio classico di Hardy e Littlewood.

Rappresentazione di Mellin: L'autore stabilisce l'identità $\Gamma(s)/\zeta(s) = \int_0^\infty \Phi(e^{-t})t^{s-1}dt$ per $\text{Re}(s) > 1$ . Per il teorema di inversione di Mellin, $\Phi(e^{-x})$ è rappresentata come un integrale di contorno di $\Gamma(s)x^{-s}/\zeta(s)$ .
Spostamento del Contorno: Il contorno di integrazione viene spostato dalla retta $\text{Re}(s) = \sigma > 1$ $Re (s) = σ > 1$ verso sinistra, in direzione $-\infty$ $- \infty$ . Questo processo comporta il calcolo dei residui dell'integrando nei suoi singolarità:
- Zeri non triviali ( $\rho$ ): Assumendo l'Ipotesi (S) (tutti gli zeri non triviali sono semplici), questi contribuiscono con poli semplici.
- Zeri triviali: Il saggio identifica una novità strutturale qui. Gli zeri triviali di $\zeta(s)$ si verificano in interi negativi pari ( $s = -2, -4, \dots$ ), che coincidono con i poli di $\Gamma(s)$ . Questa collisione crea poli doppi nell'integrando, anziché i poli semplici riscontrati nelle standard formule di Mertens.
- Interi negativi dispari: Questi corrispondono a poli semplici dove $\Gamma(s)$ ha un polo ma $\zeta(s)$ è regolare e non nullo.
- Zero in $s=0$ : Un contributo di polo semplice.
Calcolo dei Residui:
- I residui ai poli doppi (interi negativi pari) sono calcolati utilizzando espansioni di Laurent e derivate logaritmiche, rivelando termini contenenti $\log(2\pi x)$ , la funzione digamma $\psi$ e la derivata della funzione zeta.
- I residui agli zeri non triviali sono calcolati utilizzando la regola di L'Hôpital sotto l'ipotesi di semplicità.
Convergenza e Limiti: Per giustificare lo spostamento del contorno, l'autore impiega un limite inferiore uniforme per $|\Gamma(s)|$ su rette verticali mobili (Lemma 5.1), fondamentale per controllare l'integrale sul bordo sinistro del contorno dove le classiche asintotiche di Stirling falliscono. Il Lemma 5.2 (Titchmarsh) viene utilizzato per selezionare le rette orizzontali che evitano gli zeri di $\zeta(s)$ .
Trasformazione in Serie: I contributi degli zeri triviali (la parte delle "funzioni intere" della formula) sono riespressi come serie assolutamente convergenti di funzioni di Bessel con argomenti ruotati, utilizzando le definizioni in serie di potenza di $\kappa, \beta, \lambda, \upsilon$ .

Contributi Chiave e Risultati

Formula Esplicita (Teorema 1.1):
Sotto l'ipotesi che tutti gli zeri non triviali di $\zeta(s)$ siano semplici (Ipotesi S), il saggio deriva la seguente formula esplicita per $x > 0$ :
$\sum_{n=1}^\infty \mu(n)e^{-nx} = \sum_{\rho} \frac{\Gamma(\rho)x^{-\rho}}{\zeta'(\rho)} + \pi\kappa(x) + 2\lambda(x) + 4\upsilon(x) - 2\beta(x)\log(2\pi x) - 2$
dove la sommatoria su $\rho$ è un limite simmetrico sui zeri non triviali. Le funzioni $\kappa, \beta, \lambda, \upsilon$ sono funzioni intere definite da serie di potenze che coinvolgono $\zeta(2m+1)$ , $\zeta(2m+2)$ e le loro derivate.
- Novità Strutturale: Il termine $-2\beta(x)\log(2\pi x)$ deriva specificamente dai poli doppi agli interi negativi pari. Questa struttura logaritmica è assente nella classica formula esplicita per la funzione di Mertens, dove gli zeri triviali contribuiscono solo con poli semplici.
Espansioni Möbius–Bessel (Teorema 1.2):
Il saggio fornisce espressioni in forma chiusa per le funzioni intere $\kappa, \beta, \lambda, \upsilon$ come serie di funzioni di Bessel $J_0$ pesate con Möbius e assolutamente convergenti con argomenti ruotati ( $2e^{-i\pi/4}\sqrt{2\pi x/k}$ ). Ad esempio:
$\beta(x) + i\kappa(x) = \sum_{k=1}^\infty \frac{\mu(k)}{k} \left( J_0\left(2e^{-i\pi/4}\sqrt{\frac{2\pi x}{k}}\right) - 1 \right)$
Ciò stabilisce un legame diretto tra i contributi degli zeri triviali e le funzioni di tipo Bessel analoghe ai criteri di Riesz e Hardy-Littlewood.
Criterio per l'Ipotesi di Riemann (Teorema 1.3):
Il saggio stabilisce un criterio che lega il comportamento asintotico di $\Phi(e^{-x})$ per $x \to 0^+$ all'Ipotesi di Riemann (RH):
- Direzione Incondizionata: Se $\sum \mu(n)e^{-nx} = O(x^{-1/2})$ per $x \to 0^+$ , allora l'Ipotesi di Riemann è vera. Questa direzione non richiede assunzioni sulla semplicità degli zeri o sulla convergenza della somma degli zeri.
- Direzione Converso: Se l'RH è vera, insieme all'Ipotesi (S) (zeri semplici) e all'Ipotesi (H) (convergenza assoluta della somma $\sum |\Gamma(\rho)/\zeta'(\rho)|$ ), allora il limite $O(x^{-1/2})$ è soddisfatto.

Significato e Rivendicazioni
Il saggio rivendica tre contributi primari:

La Formula Esplicita Esatta: Presenta una formula in cui la collisione dei poli di $\Gamma(s)$ con gli zeri triviali genera poli doppi e un distinto termine logaritmico ( $-2\beta(x)\log(2\pi x)$ ), una caratteristica non presente nelle precedenti formule di tipo Mertens.
Forme Chiuse per Funzioni Speciali: Dimostra che le funzioni derivanti dagli zeri triviali ammettono rappresentazioni convergenti assolute come serie di Bessel pesate con Möbius, estendendo l'analogia con i criteri classici.
Un Criterio Raffinato: Fornisce un criterio per l'Ipotesi di Riemann dove la direzione "se" è incondizionata. La prova si basa su un nuovo limite inferiore uniforme per la funzione Gamma su rette mobili (Lemma 5.1), che sostituisce le asintotiche a abscissa fissa che falliscono in questo specifico contesto di deformazione del contorno.

L'autore nota che il metodo è robusto: se l'Ipotesi (S) è falsa, la formula è valida incondizionatamente con termini di residuo modificati per tenere conto delle molteplicità degli zeri. Il saggio suggerisce inoltre che queste tecniche si estendano alle funzioni L di Dirichlet e che i termini logaritmici compaiano generalmente per esponenti razionali nel kernel $e^{-n^\alpha x}$ .