🔢 mathematics

On the series expansion of k-free Dirichlet series and its analytical continuation

Questo articolo sviluppa le serie di Dirichlet k-free in una serie di Laurent, dimostra una formula analoga a quella di Stieltjes per i coefficienti della parte regolare e fornisce un'espressione per $\zeta(\tfrac{1}{k})$ in termini della funzione indicatrice k-free.

Autori originali: Artur Kawalec

Pubblicato 2026-03-25

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Artur Kawalec

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

Immagina di avere una grande biblioteca infinita di numeri interi (1, 2, 3, 4...). La matematica studia spesso come questi numeri si comportano quando li sommi o li moltiplichi in certi modi. Uno degli strumenti più famosi per farlo è una "macchina magica" chiamata funzione Zeta di Riemann (che chiameremo semplicemente "Zeta").

Questo articolo, scritto da Artur Kawalec, parla di come possiamo "pulire" questa biblioteca per studiare solo certi tipi di numeri speciali, chiamati numeri "k-free".

Ecco una spiegazione semplice di cosa fa l'autore, usando metafore quotidiane:

1. Il Filtro Magico (I numeri k-free)

Immagina di avere un setaccio (un filtro da cucina).

Se usi un setaccio con buchi grandi (k=2), lasci passare solo i numeri che non sono divisibili per 4, 9, 16, ecc. (quelli che non hanno un "quadrato" dentro). Questi sono i numeri "senza quadrati" (square-free).
Se usi un setaccio con buchi ancora più piccoli (k=3), lasci passare solo i numeri che non hanno "cubi" dentro (come 8, 27, ecc.). Questi sono i numeri "senza cubi".
L'autore generalizza questo concetto: per ogni numero intero $k$ , crea un filtro speciale che lascia passare solo i numeri "k-free".

L'articolo studia cosa succede quando sommiamo questi numeri filtrati, creando una nuova "macchina matematica" (una serie di Dirichlet).

2. Il Problema del "Buco" (Il Polo)

Quando provi a usare la tua macchina matematica con questi numeri filtrati, c'è un problema: la macchina si blocca esattamente quando provi a calcolare un valore specifico (quando $s=1$ ). È come se ci fosse un buco nero nel mezzo del grafico.
In matematica, questo si chiama un polo.

L'autore dice: "Non preoccupiamoci del buco! Possiamo descrivere esattamente cosa succede attorno al buco".
Lo fa espandendo la funzione in una serie di Laurent.

Metafora: Immagina di voler descrivere la forma di un vulcano. Non puoi descrivere il cratere (il buco), ma puoi descrivere perfettamente la pendenza delle pareti che scendono verso il cratere. L'autore ha trovato la formula esatta per queste "pareti" (i coefficienti della serie).

3. La Formula di Wolf (Il Conto della Spesa)

L'autore riscopre e generalizza una formula trovata da un matematico di nome Wolf.
Immagina di fare la spesa ogni giorno. Se sommi il costo di tutti gli articoli, il totale cresce all'infinito. Ma se sottrai una "stima media" di quanto dovrebbe costare, ti rimane una piccola differenza che si stabilizza su un numero preciso.

L'autore mostra che, se prendi i numeri filtrati (k-free), li sommi e sottrai la parte che cresce troppo velocemente, ti rimane un numero costante speciale (chiamato $\gamma_{M,k}$ ).
È come trovare il "costo medio nascosto" di una categoria speciale di prodotti. L'articolo calcola questi costi per molti tipi di filtri diversi (da $k=2$ a $k=11$ ) e mostra che, più il filtro è "fine" (k grande), più questo costo si avvicina a un numero famoso chiamato Costante di Eulero (che è il costo medio di tutti i numeri, senza filtri).

4. Viaggiare nel Tempo (Continuazione Analitica)

La parte più affascinante è come l'autore permette alla sua macchina matematica di funzionare anche dove prima non funzionava (oltre il buco nero).

Metafora: Immagina di avere una mappa che ti dice dove sono i negozi solo fino a una certa strada. L'autore crea un "ponte" che ti permette di continuare a camminare oltre quella strada, anche se non hai ancora visto i negozi.
Usa un trucco matematico (l'integrazione di Stieltjes) per collegare la somma dei numeri che conosciamo con la funzione che conosciamo meno. Questo gli permette di calcolare valori della funzione Zeta in punti strani e pericolosi, come $1/2$ , $1/3$ , $1/4$ , ecc.

5. L'Oscillazione (Il Dondolio)

Quando l'autore prova a calcolare questi valori strani (come $\zeta(1/2)$ ), nota che i risultati non si fermano subito su un numero preciso. Invece, oscillano avanti e indietro, come un'altalena che si sta fermando.

Più calcoli fai (più numeri sommi), più l'altalena si avvicina al punto di equilibrio, ma lo fa molto lentamente e con un po' di "rumore".
L'articolo mostra grafici di questo dondolio per vari casi, confermando che la teoria funziona, anche se è un po' "disordinata" nei calcoli pratici.

In Sintesi

Artur Kawalec ha preso un problema matematico complesso (studiare numeri che non hanno potenze elevate come fattori) e ha:

Trovato una mappa precisa per descrivere il comportamento di questi numeri vicino a un punto critico.
Calcolato dei "numeri costanti" speciali che descrivono la loro media.
Costruito un ponte per calcolare valori della funzione Zeta in punti dove prima era impossibile, dimostrando che questi calcoli, sebbene rumorosi e oscillanti, convergono verso la verità matematica.

È un lavoro che unisce la precisione di un orologiaio (per i coefficienti) con la visione di un esploratore (per i nuovi territori matematici scoperti).

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria analitica dei numeri, focalizzandosi sulle serie di Dirichlet associate agli interi $k$ -free (liberi da potenze $k$ -esime).

Definizione: Un intero $n$ è detto $k$ -free se non è divisibile da alcuna potenza $k$ -esima perfetta ( $d^k | n$ con $d > 1$ ). L'indicatore di questa proprietà è denotato da $\mu^{(k)}(n)$ .
Oggetto di studio: La serie di Dirichlet definita come:
$\frac{\zeta(s)}{\zeta(ks)} = \sum_{n=1}^{\infty} \frac{\mu^{(k)}(n)}{n^s}$
Questa serie converge assolutamente per $\Re(s) > 1$ .
Obiettivo: L'autore generalizza risultati precedenti (ottenuti per il caso $k=2$ $k = 2$ , ovvero i numeri square-free) al caso generale per ogni intero $k \ge 2$ $k \geq 2$ . Gli obiettivi specifici sono:
1. Sviluppare un'espansione in serie di Laurent della funzione attorno al polo $s=1$ .
2. Derivare una formula di tipo Stieltjes per i coefficienti della parte regolare.
3. Investigare un'ulteriore continuazione analitica della serie.
4. Ottenere una formula esplicita per i valori $\zeta(1/k)$ in termini della funzione indicatrice $k$ -free.

2. Metodologia

L'autore impiega una combinazione di tecniche analitiche classiche e moderne:

Integrazione di Stieltjes: Viene utilizzata per collegare la somma parziale della serie di Dirichlet alla funzione di conteggio degli interi $k$ -free, $Q_k(x) = \sum_{n \le x} \mu^{(k)}(n)$ .
Analisi Asintotica: Si sfrutta l'asintotica nota $Q_k(x) \sim \frac{x}{\zeta(k)}$ e si introduce un termine di errore $f_k(x)$ tale che $Q_k(x) = \frac{x}{\zeta(k)} + f_k(x)$ . Il lavoro discute i limiti di $f_k(x)$ sia in base al Teorema dei Numeri Primi ( $O(x^{1/k})$ ) sia assumendo l'Ipotesi di Riemann ( $O(x^{1/2k})$ ).
Sviluppo in Serie di Laurent: La funzione $\frac{\zeta(s)}{\zeta(ks)}$ viene espansa attorno a $s=1$ . Poiché $\zeta(s)$ ha un polo semplice in $s=1$ con residuo 1, e $\zeta(ks)$ è regolare in $s=1$ (per $k \ge 2$ ), la funzione risultante ha un polo semplice in $s=1$ con residuo $1/\zeta(k)$ .
Differenziazione Termica: I coefficienti della parte regolare della serie di Laurent sono ottenuti differenziando la funzione rispetto a $s$ e valutando il limite per $s \to 1$ .

3. Contributi Chiave e Risultati

A. Espansione in Serie di Laurent e Coefficienti

L'autore deriva l'espansione:
$\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum_{n=0}^{\infty} \frac{\gamma_{M,k}^n}{n!} (s-1)^n$
dove $\gamma_{M,k}^n$ sono i coefficienti della parte regolare.

Teorema 1 (Formula Limite Logaritmica):
Vengono forniti coefficienti espliciti sotto forma di limiti:
$\gamma_{M,k}^n = \lim_{x \to \infty} (-1)^n \left( \sum_{j=1}^{\lfloor x \rfloor} \frac{\mu^{(k)}(j) \log^n(j)}{j} - \frac{\log^{n+1}(x)}{\zeta(k)(n+1)} \right)$
Questa formula generalizza il risultato di Wolf (originariamente per $k=2$ ) a qualsiasi $k \ge 2$ .

B. Generalizzazione della Costante di Eulero-Mascheroni

Per $n=0$ , il coefficiente $\gamma_{M,k}^0$ (denotato come $\gamma_{M,k}$ ) rappresenta una generalizzazione della costante di Eulero-Mascheroni per i numeri $k$ -free:
$\sum_{n \le x} \frac{\mu^{(k)}(n)}{n} = \gamma_{M,k} + \frac{1}{\zeta(k)} \log x + O\left(\frac{1}{x}\right)$

Formula Chiusa: Viene derivata una formula chiusa per $\gamma_{M,k}$ in termini di $\gamma$ , $\zeta(k)$ e $\zeta'(k)$ :
$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$
Comportamento Asintotico: L'autore dimostra che $\lim_{k \to \infty} \gamma_{M,k} = \gamma$ . Questo è coerente con il fatto che, al crescere di $k$ , la densità dei numeri $k$ -free tende a 1, rendendo la serie di Dirichlet $k$ -free indistinguibile dalla serie armonica.
Dati Numerici: Vengono calcolati con alta precisione (30 cifre decimali) i primi 10 coefficienti $\gamma_{M,k}^n$ per $k=2, 3, 4, 5$ e i valori di $\gamma_{M,k}$ per $k$ fino a 11.

C. Continuazione Analitica

Viene presentata una formula di continuazione analitica valida per $\Re(s) > \frac{1}{2k}$ (assumendo l'Ipotesi di Riemann), che estende la convergenza oltre la regione originale $\Re(s) > 1$ :
$\frac{\zeta(s)}{\zeta(ks)} = \lim_{x \to \infty} \left( \sum_{n \le x} \frac{\mu^{(k)}(n)}{n^s} - \frac{x^{1-s}}{\zeta(k)(1-s)} \right)$
Questa formula è analoga alla continuazione classica della funzione zeta di Riemann ottenuta tramite la formula di Eulero-Maclaurin.

D. Valutazione di $\zeta(1/k)$

Un risultato significativo è la derivazione di una formula per calcolare i valori della funzione zeta in punti negativi o frazionari specifici, in particolare $\zeta(1/k)$ per $k \ge 2$ .
Sfruttando il comportamento asintotico vicino allo zero di $\zeta(ks)$ in $s=1/k$ , l'autore ottiene:
$\zeta\left(\frac{1}{k}\right) = \lim_{x \to \infty} \left( -\frac{1}{k} \sum_{n \le x} \frac{\mu^{(k)}(n)(\log n + \frac{k}{k-1})}{n^{1/k}} + \frac{1}{\zeta(k)(k-1)} x^{1-1/k} \log x \right)$
Questa formula permette di calcolare $\zeta(1/k)$ utilizzando somme parziali di serie di Dirichlet $k$ -free.

4. Significato e Implicazioni

Generalizzazione Teorica: Il lavoro estende in modo rigoroso la teoria delle serie di Dirichlet square-free ( $k=2$ ) a un contesto più ampio ( $k$ -free), fornendo un quadro unificato per lo studio di queste funzioni.
Nuove Costanti Matematiche: Introduce e calcola con precisione una nuova famiglia di costanti ( $\gamma_{M,k}$ ) che fungono da analoghi generalizzati della costante di Eulero, offrendo nuovi spunti per lo studio della distribuzione degli interi privi di potenze.
Strumenti Computazionali: Le formule derivate per $\zeta(1/k)$ offrono metodi alternativi (basati su somme parziali e limiti) per valutare la funzione zeta in punti critici, sebbene le serie mostrino un'oscillazione lenta che richiede grandi valori di $x$ per la convergenza numerica.
Connessione con l'Ipotesi di Riemann: La validità delle stime di errore e delle continuazioni analitiche presentate è strettamente legata alla validità dell'Ipotesi di Riemann, sottolineando la profondità delle connessioni tra la distribuzione dei numeri $k$ -free e gli zeri della funzione zeta.

In sintesi, il paper fornisce un'analisi completa e quantitativa delle proprietà analitiche delle serie di Dirichlet $k$ -free, colmando il divario tra casi specifici noti e la teoria generale, e fornendo strumenti pratici per il calcolo di valori speciali della funzione zeta.