On the discrete convolution of the Liouville and Möbius functions

Questo articolo studia le proprietà della convoluzione discreta della funzione di Liouville, fornendo una formula esplicita per le medie pesate che permette di ottenere informazioni significative sulle serie di Dirichlet e di potenze associate.

L'essenziale

Immagina di avere due grandi scatole piene di numeri interi: 1, 2, 3, 4, 5 e così via. In questa scatola, ogni numero ha un "segreto" nascosto, un'etichetta speciale che gli viene data in base a come è fatto.

Gli autori di questo articolo, Marco Cantarini, Alessandro Gambini e Alessandro Zaccagnini, hanno deciso di giocare con due tipi di etichette speciali:

1. La funzione di Liouville ($\lambda$): Immagina che ogni numero sia un'orchestra. Se l'orchestra ha un numero pari di strumenti (fattori primi), l'etichetta è +1 (sorriso). Se ha un numero dispari, l'etichetta è -1 (triste).
2. La funzione di Möbius ($\mu$): È simile, ma se l'orchestra ha strumenti ripetuti (un numero che è un quadrato perfetto, come 4 o 9), l'etichetta diventa 0 (silenzio, il numero viene ignorato).

Il Grande Gioco: La "Festa dei Numeri"

Il problema principale che gli autori studiano è una sorta di festa di compleanno.
Immagina di voler festeggiare un numero grande, diciamo $N$ (come 100 o 1000). La domanda è: "In quanti modi posso dividere questo numero $N$ in due parti, $m$ e $n$, tali che $m + n = N$?"

Ma non è una festa qualsiasi. È una festa dove ogni invitato porta un regalo:

• Se la parte $m$ ha un'etichetta +1, porta un regalo positivo.
• Se ha un'etichetta -1, porta un regalo negativo (o toglie qualcosa).
• Se la parte $n$ fa lo stesso, il regalo totale è il prodotto dei due.

L'obiettivo è sommare tutti questi regali per vedere se, alla fine, la festa è stata un successo (somma positiva) o un fallimento. Questo è quello che chiamano convoluzione discreta. È un po' come cercare di capire se, mescolando due ingredienti caotici, si ottiene un piatto delizioso o un disastro.

Il Problema del Caos

I numeri primi e le loro combinazioni sono molto "schizzinosi" e imprevedibili. A volte sembrano seguire una regola, poi all'improvviso cambiano comportamento. È come cercare di prevedere il meteo guardando le nuvole: sembra che piova, poi il sole splende, poi torna la pioggia.

Gli autori dicono: "Non possiamo prevedere ogni singolo numero, ma possiamo guardare la media". Invece di chiedere "Cosa succede esattamente per il numero 100?", chiedono "Cosa succede in media se guardiamo tutti i numeri fino a 100?".

La Lente Magica: Le Formule Esplicite

Per fare questo, gli autori usano una "lente magica" chiamata Formula Esplicita.
Immagina di avere una lente che ti permette di vedere il comportamento medio di questi numeri caotici collegandolo a un oggetto matematico famoso e misterioso: la Funzione Zeta di Riemann.

La Funzione Zeta è come il "cuore pulsante" dei numeri primi. Ha dei "battiti" speciali chiamati zeri non banali (i punti dove la funzione si ferma). Gli autori scoprono che il comportamento medio della loro "festa dei numeri" ($S(N)$) è direttamente legato a questi battiti del cuore.

Cosa Hanno Scoperto?

Ecco i risultati principali, spiegati in modo semplice:

1. La Formula della Media Ponderata: Hanno creato una formula matematica precisa che dice esattamente quanto vale la somma dei regali (la convoluzione) se pesiamo i numeri in un certo modo. È come avere una ricetta che ti dice esattamente quanto sale e zucchero mettere per ottenere il gusto perfetto, anche se gli ingredienti sono caotici.
2. Il Legame con l'Ipotesi di Riemann: La loro formula funziona perfettamente se assumiamo che l'Ipotesi di Riemann sia vera (una delle congetture più famose della matematica, che dice dove si trovano esattamente questi "battiti" della Zeta). Se l'Ipotesi è vera, allora la loro formula è precisa e ci dice che la somma dei regali oscilla in un modo molto specifico, legato a questi battiti.
3. Nuovi Orizzonti: Hanno dimostrato che questa formula non vale solo per dividere un numero in due parti, ma anche per dividerlo in 3, 4, 100 parti! È come se avessero scoperto che la stessa regola di festa vale per qualsiasi numero di invitati.
4. Il Confine Naturale: Hanno anche scoperto che c'è un "muro" invisibile (la linea Re(s) = 1) oltre il quale non possiamo andare facilmente. Questo muro è creato proprio dalla densità e dalla complessità di quei "battiti" della Zeta. È come dire: "Possiamo vedere molto lontano, ma c'è una nebbia che non ci lascia vedere oltre questo punto".

Perché è Importante?

Questo lavoro è importante perché:

• Collega i puntini: Prende problemi apparentemente impossibili (come la Congettura di Goldbach, che dice che ogni numero pari è la somma di due primi) e li collega a problemi più gestibili usando le funzioni di Liouville e Möbius.
• Strumenti potenti: Fornisce nuovi "attrezzi" (le formule esplicite) che altri matematici possono usare per studiare i numeri primi e le loro proprietà.
• Semplicità nel caos: Dimostra che anche nel caos apparente dei numeri, se guardi la media giusta, emerge una struttura ordinata e prevedibile, guidata dalla musica segreta della Funzione Zeta.

In sintesi, questi autori hanno preso un puzzle matematico molto difficile, ha preso una lente potente (la Zeta di Riemann) e ha mostrato come, guardando attraverso di essa, il caos si trasformi in una melodia prevedibile, almeno in media.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del lavoro "On the discrete convolution of the Liouville and Möbius functions" di Marco Cantarini, Alessandro Gambini e Alessandro Zaccagnini.

1. Il Problema e il Contesto

L'articolo si concentra sullo studio delle proprietà della convoluzione discreta della funzione di Liouville $\lambda(n)$ con se stessa. La funzione è definita come:
$$S(N) := \sum_{m_1 + m_2 = N} \lambda(m_1) \lambda(m_2)$$
Questo problema è analogo alla congettura di Goldbach, che riguarda la convoluzione della funzione $\Lambda$ di von Mangoldt. Mentre la congettura di Goldbach afferma che $R(N) > 0$ per ogni numero pari $N > 2$, lo studio di $S(N)$ è legato alla congettura di Chowla, che postula che la media di $\lambda(n)\lambda(n+h)$ sia $o(x)$. In particolare, si è interessato al comportamento asintotico di $S(N)$, con congetture che suggeriscono $|S(N)| < N^{-1}$ o $S(N) = o(N)$.

L'obiettivo principale degli autori è derivare formule esplicite per le medie pesate di $S(n)$, utilizzando un approccio analitico che colleghi il problema alle proprietà delle funzioni speciali, in particolare la funzione zeta di Riemann $\zeta(s)$ e i suoi zeri non banali.

2. Metodologia

La metodologia adottata si basa su una combinazione di strumenti classici dell'analisi analitica dei numeri e risultati recenti:

• Formula Esplicita Troncata: Gli autori partono dalla formula esplicita per la funzione di conteggio parziale $L(x) = \sum_{n \le x} \lambda(n)$. A differenza di approcci precedenti che consideravano solo $x \ge 1$, il lavoro estende la validità della formula esplicita anche per $0 < x < 1$, gestendo attentamente i termini di errore in prossimità dello zero.
• Convolution di Laplace: Viene studiata la convoluzione di Laplace di $L(x)$ con se stessa, definita come $C_\lambda(x) = \int_0^x L(y)L(x-y)dy$, che corrisponde alla media di Cesàro di ordine 1 di $S(n)$.
• Approccio Generale di [6]: Viene utilizzato un teorema generale (proposto in un lavoro precedente, riferimento [6]) che permette di esprimere le medie pesate di convoluzioni discrete in termini di integrali delle derivate della funzione di peso e delle funzioni sommatorie $G_j(x)$.
• Ipotesi Analitiche: Tutti i risultati principali sono derivati assumendo l'Ipotesi di Riemann (RH) e la semplicità degli zeri non banali di $\zeta(s)$. Inoltre, si fa riferimento alla congettura di SZ (Sarnak-Zagier) riguardante la somma reciproca delle derivate degli zeri, necessaria per garantire la convergenza assoluta delle serie doppie sugli zeri.
• Funzioni di Peso: Si considerano funzioni di peso $f(w)$ con supporto compatto o decrescente, che soddisfano condizioni di regolarità ($C^1$, derivata assolutamente continua).

3. Contributi Chiave e Risultati Principali

A. Formula Esplicita per la Media Pesata (Teorema 1)

Il risultato centrale è una formula esplicita per la somma pesata:
$$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right)$$
La formula si scompone in tre parti principali:

1. Termine Principale: Una costante moltiplicata per l'integrale della seconda derivata di $f$ contro $w^2$.
2. Termini Oscillatori (Singoli): Una serie sugli zeri non banali $\rho$ di $\zeta(s)$, che coinvolge $\zeta(2\rho)$, $\zeta'(\rho)$ e funzioni Gamma. Questi termini rappresentano le oscillazioni legate agli zeri della zeta.
3. Termini Oscillatori (Doppi): Una serie doppia su coppie di zeri $(\rho_1, \rho_2)$, che emerge dalla convoluzione.
4. Termine di Errore: Controllato da $O_\epsilon(\eta^{1/2+\epsilon} \dots)$.

Se $a\eta \ge 1$, appare un termine aggiuntivo legato a $L(\eta a)$.

B. Continuità Analitica delle Serie di Dirichlet (Corollario 2 e Teorema 17)

Applicando la formula generale a pesi specifici (come $f(w) = w^{-s}$), gli autori derivano una formula esplicita per la serie di Dirichlet:
$$\sum_{n \ge 1} \frac{S(n)}{n^s}$$

• Risultato: Sotto RH, questa serie ammette un continuità analitica nel semipiano $\text{Re}(s) > 1$.
• Confine Naturale: Se si assume anche l'indipendenza lineare delle parti immaginarie degli zeri su $\mathbb{Q}$, la retta $\text{Re}(s) = 1$ costituisce un confine naturale per la serie. Questo significa che la serie non può essere prolungata analiticamente oltre questa linea a causa della densità degli zeri della funzione zeta combinati.

C. Serie di Potenza (Transformata di Laplace)

Viene ottenuta una formula esplicita anche per la serie di potenza (o trasformata di Laplace):
$$\sum_{n \ge 1} S(n) e^{-ny}$$
Questa formula mostra chiaramente la struttura delle oscillazioni in funzione di $y$, dominata dai termini $y^{-\rho-1/2}$.

D. Generalizzazione a $d$ Fattori (Sezione 5)

Il lavoro generalizza i risultati a convoluzioni con un numero arbitrario $d \ge 2$ di fattori:
$$S_d(N) := \sum_{m_1 + \dots + m_d = N} \lambda(m_1) \dots \lambda(m_d)$$
Vengono forniti teoremi espliciti per le medie pesate di $S_d(N)$, mostrando come la struttura dei termini principali e delle serie sugli zeri si adatti al parametro $d$ (ad esempio, cambiando i fattori fattoriali e gli indici nelle funzioni Gamma).

E. Caso della Funzione di Möbius

Tutti i risultati ottenuti per $\lambda(n)$ vengono estesi alla funzione di Möbius $\mu(n)$ e alla sua convoluzione $S^*(N)$. Poiché $\Lambda(n)$ (von Mangoldt) può essere espresso tramite il prodotto di Dirichlet di $\mu(n)$, un "buon controllo" di queste convoluzioni fornisce informazioni indirette sul problema di Goldbach classico.

4. Significato e Implicazioni

• Strumento Analitico Potente: Il paper dimostra che l'approccio delle formule esplicite pesate, sviluppato per il problema di Goldbach, è applicabile con successo anche alla funzione di Liouville, nonostante la natura più "erratica" di $\lambda(n)$.
• Connessione con la Congettura di Chowla: Fornisce una struttura dettagliata per comprendere il comportamento medio di $S(N)$, confermando che le oscillazioni sono governate dagli zeri della funzione zeta di Riemann.
• Nuovi Limiti di Prolungamento: Stabilisce rigorosamente i limiti di prolungamento analitico per le serie di Dirichlet associate a queste convoluzioni, identificando la retta $\text{Re}(s)=1$ come barriera insormontabile sotto ipotesi standard.
• Generalizzabilità: La capacità di estendere i risultati a $d$ fattori apre la strada allo studio di problemi additivi più complessi che coinvolgono funzioni moltiplicative.

In sintesi, l'articolo offre una trattazione analitica completa e rigorosa delle convoluzioni di Liouville e Möbius, fornendo formule esplicite che collegano direttamente il comportamento aritmetico di queste somme alla distribuzione degli zeri della funzione zeta di Riemann.