On the series expansion of the prime zeta function about $s=1$ and its coefficients

Sintesi Tecnica: Espansione in Serie della Funzione Zeta dei Primi attorno a $s=1$

1. Il Problema e il Contesto

La funzione zeta dei primi, definita come $P(s) = \sum_{p} p^{-s}$ (dove la somma è estesa su tutti i numeri primi), è una funzione fondamentale nella teoria analitica dei numeri. Sebbene converga assolutamente per $\Re(s) > 1$, la sua estensione analitica presenta singolarità complesse.

• Singolarità: Attraverso la formula di inversione di Möbius, $P(s)$ è legata alla funzione zeta di Riemann $\zeta(s)$. Questo legame introduce singolarità logaritmiche (punti di diramazione) in $s = 1/n$ e nei punti $\rho/n$ (dove $\rho$ sono gli zeri non banali di $\zeta(s)$) per ogni $n \ge 1$ tale che $\mu(n) \neq 0$.
• Ostacolo: Esiste un "confinamento naturale" alla linea $\Re(s) = 0$, oltre il quale la funzione non può essere continuata a causa dell'accumulo denso di singolarità.
• Obiettivo: L'articolo si concentra sul comportamento di $P(s)$ attorno alla singolarità principale in $s=1$. L'obiettivo è derivare un'espansione in serie di potenze (con un termine logaritmico) attorno a questo punto e fornire una formula generale per i suoi coefficienti, generalizzando i Teoremi di Mertens.

2. Metodologia

L'autore utilizza un approccio che combina analisi complessa, integrazione di Stieltjes e proprietà asintotiche della funzione di conteggio dei primi $\pi(x)$.

• Definizione della Ramificazione: Viene definita una specifica ramificazione di $P(s)$ attorno a $s=1$ tramite l'espansione:
  $$P(s) = \log\left(\frac{1}{s-1}\right) + \sum_{n=0}^{\infty} \frac{\alpha_n}{n!} (s-1)^n$$
  dove la parte regolare è analitica in un disco di raggio $R=1/2$.
• Integrazione di Stieltjes: La dimostrazione si basa sulla scrittura della somma sui primi come un'integrale di Stieltjes rispetto alla funzione di conteggio $\pi(t)$. Sfruttando l'approssimazione $\pi(t) = \text{li}(t) + f(t)$ (dove $\text{li}(t)$ è l'integrale logaritmico e $f(t)$ è il termine di errore, stimato come $O(\sqrt{t}\log t)$ sotto l'ipotesi di Riemann), l'autore separa la parte divergente da quella convergente.
• Connessione con la Funzione Zeta: Viene utilizzata la relazione tra $P(s)$ e $\log \zeta(s)$ attraverso la formula di Möbius. Poiché $\log \zeta(s)$ ammette un'espansione simile attorno a $s=1$ (con coefficienti noti come costanti di Stieltjes generalizzate, $g_n$), l'autore deriva una relazione ricorsiva e differenziale per collegare i coefficienti $\alpha_n$ di $P(s)$ ai coefficienti $g_n$ di $\log \zeta(s)$.

3. Contributi Chiave e Risultati Principali

L'articolo presenta tre teoremi fondamentali:

Teorema 1: Formula Limite per i Coefficienti
Vengono derivati limiti espliciti per i coefficienti $\alpha_n$ basati su somme parziali sui primi:

• Per $n=0$: $\alpha_0 = \lim_{x\to\infty} (\sum_{p\le x} \frac{1}{p} - \log\log x) - \gamma$. Questo collega $\alpha_0$ alla costante di Meissel-Mertens ($M$) e alla costante di Eulero ($\gamma$), risultando in $\alpha_0 = M - \gamma$.
• Per $n \ge 1$: $\alpha_n = \lim_{x\to\infty} (-1)^n (\sum_{p\le x} \frac{\log^n p}{p} - \frac{\log^n x}{n})$.
  Queste formule generalizzano i Teoremi di Mertens a ordini superiori. Tuttavia, l'autore nota che questi limiti convergono molto lentamente.

Teorema 2: Rappresentazione tramite Funzione Zeta e Möbius
Per superare la lenta convergenza delle formule limite, viene fornita una rappresentazione alternativa molto più efficiente per il calcolo numerico:
$$\alpha_n = g_n + \left. \frac{d^n}{ds^n} \left[ \sum_{k=2}^{\infty} \frac{\mu(k)}{k} \log \zeta(ks) \right] \right|_{s=1}$$
Dove $g_n$ sono i coefficienti di espansione di $\log \zeta(s)$ attorno a $s=1$, esprimibili in termini delle costanti di Stieltjes ($\gamma_k$). Questa formula permette il calcolo ad alta precisione dei coefficienti $\alpha_n$.

• Risultati Numerici: L'autore calcola i primi 10 coefficienti ($\alpha_0$ fino a $\alpha_{10}$) con alta precisione (30 cifre decimali), fornendo una tabella di riferimento. Ad esempio, $\alpha_0 \approx -0.3157$ e $\alpha_1 \approx 1.3325$.

Teorema 3: Rappresentazione Integrale
Viene derivata una formula integrale alternativa che collega i coefficienti direttamente alla funzione di errore $f(t) = \pi(t) - \text{li}(t)$:
$$\alpha_n = (-1)^n \int_{1}^{\infty} \frac{\log^n t - n \log^{n-1} t}{t^2} [\pi(t) - \text{li}(t)] \, dt$$
Questa formulazione offre una prospettiva analitica diretta sulla struttura delle singolarità.

4. Significato e Implicazioni

• Generalizzazione dei Teoremi di Mertens: Il lavoro estende i risultati classici di Mertens (che riguardano la somma armonica dei primi, $n=0$) a ordini superiori ($n \ge 1$), fornendo una struttura coerente per le somme pesate dai logaritmi dei primi.
• Strumento Computazionale: La formula del Teorema 2 risolve il problema della lenta convergenza delle definizioni classiche, permettendo il calcolo ad alta precisione di costanti che erano precedentemente difficili da determinare.
• Analisi delle Singolarità: La derivazione dell'espansione conferma e quantifica la natura della singolarità logaritmica in $s=1$ e definisce chiaramente il dominio di analiticità della funzione zeta dei primi, delimitato dal raggio di convergenza $R=1/2$ e dal taglio di diramazione.
• Connessione Profonda: Il lavoro rafforza il legame tra la distribuzione dei numeri primi (tramite $\pi(x)$ e $f(x)$) e le proprietà analitiche della funzione zeta di Riemann, mostrando come le costanti che governano la divergenza delle somme sui primi siano strettamente legate alle costanti di Stieltjes e agli zeri della funzione zeta.

In conclusione, l'articolo fornisce un quadro teorico completo e strumenti pratici per l'analisi locale della funzione zeta dei primi, colmando un vuoto nella letteratura riguardante i coefficienti di ordine superiore della sua espansione attorno alla singolarità critica.