🔢 mathematics

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

Cet article développe une série de Dirichlet k-libre en série de Laurent, établit une formule de type Stieltjes pour les coefficients de sa partie régulière, et propose une autre continuation analytique permettant d'exprimer $\zeta(\tfrac{1}{k})$ en fonction de la fonction indicatrice k-libre.

Auteurs originaux : Artur Kawalec

Publié 2026-03-25

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Artur Kawalec

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que les nombres entiers (1, 2, 3, 4...) sont comme une immense forêt remplie d'arbres. Certains arbres sont "normaux", mais d'autres ont une particularité : ils ne sont pas divisibles par un carré parfait (comme 4, 9, 16) ou par un cube parfait (comme 8, 27). En mathématiques, on appelle ces nombres "sans facteur carré" ou "sans facteur cube".

L'auteur de cet article, Artur Kawalec, s'intéresse à une version généralisée de ce concept : les nombres "k-libres". C'est-à-dire des nombres qui ne sont pas divisibles par une puissance $k$ (comme $k=2$ pour les carrés, $k=3$ pour les cubes, etc.).

Voici l'explication de son travail, traduite en langage simple avec des images du quotidien :

1. Le problème : Une recette de cuisine qui tourne mal

En mathématiques, on utilise souvent des "recettes" infinies appelées séries de Dirichlet pour étudier la distribution de ces nombres. La recette de base ressemble à une somme infinie de fractions.
Le problème, c'est que cette recette a un défaut majeur : elle explose (devient infinie) à un moment précis, comme un four qui surchauffe. Ce point d'explosion se situe à la valeur $s = 1$ .

L'objectif de l'article est de réparer cette recette. Au lieu de jeter la recette parce qu'elle explose, l'auteur apprend à la "démêler". Il sépare la partie qui explose (le "pole") de la partie qui reste stable et intéressante. C'est comme si vous aviez un gâteau brûlé au centre, mais que vous pouviez quand même analyser la texture parfaite des bords pour en déduire des secrets sur la cuisson.

2. La découverte : Une nouvelle règle pour mesurer le chaos

L'auteur a réussi à écrire une formule mathématique (une série de Laurent) qui décrit ce qui se passe juste avant que la recette n'explose.

L'analogie : Imaginez que vous essayez de mesurer la température d'une pièce qui chauffe de plus en plus. Vous ne pouvez pas mesurer au moment exact où le thermomètre casse, mais vous pouvez regarder comment la température monte juste avant la casse.
Le résultat : Il a trouvé une formule précise pour calculer les "coefficients" de cette montée. Ces coefficients sont comme des empreintes digitales qui révèlent la structure cachée des nombres "k-libres".

Il a aussi découvert une constante mystérieuse, qu'il appelle $\gamma_{M,k}$ .

L'analogie : Pensez à la constante d'Euler ( $\gamma$ ) comme à une "vitesse moyenne" universelle pour les nombres normaux. L'auteur a créé une nouvelle vitesse moyenne spécifique pour les nombres "k-libres".
Le résultat surprenant : Plus vous augmentez la puissance $k$ (en demandant des nombres de plus en plus "purs", sans aucune puissance), plus cette nouvelle vitesse moyenne se rapproche de la vitesse moyenne des nombres normaux. C'est comme si, en éliminant de plus en plus de "mauvaises herbes" de votre jardin, il ne restait que l'herbe naturelle originelle.

3. L'extension : Voir au-delà du mur

Normalement, on ne peut pas utiliser ces formules mathématiques que dans une zone de sécurité (là où les nombres sont grands). L'auteur a construit un pont mathématique (une continuation analytique) qui permet de traverser le mur de l'explosion et d'aller voir ce qui se passe de l'autre côté, là où les règles habituelles ne s'appliquent plus.

Grâce à ce pont, il peut calculer des valeurs très étranges de la fonction Zêta (une fonction célèbre en mathématiques) pour des nombres comme $1/2$ , $1/3$ , $1/4$ , etc.

L'analogie : C'est comme si vous aviez une carte qui s'arrêtait brusquement à la frontière d'un pays. L'auteur a dessiné une extension de la carte qui vous permet de voir ce qu'il y a dans le pays voisin, même si vous ne pouvez pas physiquement y aller.

4. La validation : Le bruit et la musique

Pour vérifier que ses formules sont vraies, l'auteur a simulé ces calculs sur ordinateur.

Ce qu'il a vu : Les résultats ne sont pas des lignes droites parfaites. Ils oscillent, ils tremblent, comme une corde de guitare qu'on pince. C'est ce qu'on appelle du "bruit".
La conclusion : Malgré ce bruit, si on laisse la corde vibrer assez longtemps (en augmentant le nombre $x$ ), elle finit par se stabiliser exactement sur la note que l'auteur avait prédite. C'est comme écouter une chanson lointaine : au début, ce n'est que du bruit, mais plus on écoute, plus la mélodie devient claire.

En résumé

Cet article est une avancée élégante en théorie des nombres. Il prend un problème complexe (l'étude des nombres "k-libres"), le démêle pour en extraire des constantes précises, et construit des ponts pour explorer des zones mathématiques auparavant inaccessibles.

L'auteur nous dit essentiellement : "Même si les mathématiques semblent chaotiques et explosives à certains endroits, il existe une structure cachée, ordonnée et prévisible, si l'on sait comment regarder."

1. Problématique et Contexte

L'article se concentre sur l'analyse des séries de Dirichlet k-libres, définies par le rapport des fonctions zêta de Riemann $\zeta(s)/\zeta(ks)$ . Ces séries sont associées à la fonction indicatrice $\mu^{(k)}(n)$ , qui vaut 1 si l'entier $n$ est k-libre (c'est-à-dire non divisible par aucune puissance $k$ -ième parfaite pour $k \ge 2$ ) et 0 sinon.

Le problème central abordé est la généralisation de résultats antérieurs (spécifiquement pour le cas des entiers sans facteur carré, $k=2$ ) au cas général $k \ge 2$ . L'auteur vise à :

Développer ces séries en série de Laurent autour du pôle $s=1$ .
Établir des formules explicites pour les coefficients de cette expansion.
Fournir une continuation analytique de ces séries au-delà de leur domaine de convergence initial ( $\Re(s) > 1$ ).
Dériver des formules pour évaluer $\zeta(1/k)$ en utilisant les propriétés des nombres k-libres.

2. Méthodologie

L'approche méthodologique repose sur l'analyse complexe, la théorie des nombres et l'intégration de Stieltjes. Les étapes clés incluent :

Définitions et Fonctions de Comptage : Utilisation de la fonction de comptage des nombres k-libres $Q_k(x) = \sum_{n \le x} \mu^{(k)}(n)$ . L'auteur utilise l'asymptotique $Q_k(x) \sim x/\zeta(k)$ et décompose cette fonction en une partie principale et un terme d'erreur $f_k(x)$ , dont la borne est $O(x^{1/k})$ (ou $O(x^{1/2k})$ sous l'hypothèse de Riemann).
Développement en Série de Laurent : L'auteur développe la fonction $\zeta(s)/\zeta(ks)$ autour de $s=1$ . La série présente un pôle simple en $s=1$ avec un résidu $1/\zeta(k)$ .
Intégration de Stieltjes : Pour prouver les formules des coefficients, l'auteur utilise l'intégration par parties sur les intégrales de Stieltjes impliquant $dQ_k(t)$ et $df_k(t)$ . Cela permet de relier les sommes partielles des séries de Dirichlet aux intégrales impliquant le terme d'erreur $f_k(t)$ .
Analyse Asymptotique et Limites : L'extrapolation des limites lorsque $x \to \infty$ permet d'isoler les constantes d'Euler généralisées et les coefficients de la série de Laurent.

3. Contributions Clés et Résultats

A. Développement en Série de Laurent et Coefficients

L'article établit le développement suivant pour $\Re(s) > 1$ :
$\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum_{n=0}^{\infty} \frac{\gamma_{M,k}^{(n)}}{n!} (s-1)^n$
Le résultat principal (Théorème 1) fournit une formule limite généralisée (analogue à la formule de Wolf pour $k=2$ ) pour les coefficients $\gamma_{M,k}^{(n)}$ :
$\gamma_{M,k}^{(n)} = \lim_{x \to \infty} (-1)^n \left( \sum_{j=1}^{x} \frac{\mu^{(k)}(j) \log^n(j)}{j} - \frac{\log^{n+1}(x)}{\zeta(k)(n+1)} \right)$

B. Constantes Généralisées d'Euler ( $\gamma_{M,k}$ )

Pour le cas $n=0$ , l'article définit une constante généralisée $\gamma_{M,k}$ , analogue à la constante d'Euler-Mascheroni $\gamma$ pour les nombres k-libres :
$\gamma_{M,k} = \lim_{x \to \infty} \left( \sum_{n \le x} \frac{\mu^{(k)}(n)}{n} - \frac{1}{\zeta(k)} \log x \right)$
L'auteur démontre que $\lim_{k \to \infty} \gamma_{M,k} = \gamma$ , car la série k-libre tend vers la série harmonique lorsque $k$ augmente.
De plus, une formule en forme close est dérivée reliant cette constante aux valeurs de la fonction zêta et de sa dérivée :
$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$

C. Continuation Analytique

L'article propose une continuation analytique de la série de Dirichlet k-libre vers la région $\Re(s) > 1/(2k)$ (en supposant l'Hypothèse de Riemann) :
$\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)$
Cette formule généralise la formule classique d'Euler-Maclaurin pour la fonction zêta.

D. Évaluation de $\zeta(1/k)$

Une contribution significative est la dérivation de formules limites pour calculer les valeurs de la fonction zêta aux points $s = 1/k$ (où $k \ge 2$ ), qui sont des pôles de $\zeta(ks)$ dans le dénominateur. L'auteur obtient :
$\zeta(1/k) = \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)$
Des vérifications numériques sont fournies pour $k=2, 3, 4, 5$ , montrant que les séries oscillent autour des valeurs théoriques connues de $\zeta(1/k)$ avec une amplitude décroissante.

4. Données Numériques et Tables

L'article fournit des calculs de haute précision (30 décimales) pour :

Les constantes $\gamma_{M,k}$ pour $k$ allant de 2 à 11, illustrant leur convergence vers $\gamma \approx 0.577$ .
Les coefficients d'ordre supérieur $\gamma_{M,k}^{(n)}$ pour $n$ allant de 0 à 10 et pour plusieurs valeurs de $k$ .

5. Signification et Impact

Cet article est significatif car il :

Généralise la théorie des séries de Dirichlet sans facteur carré à la notion plus large de nombres k-libres.
Établit des liens profonds entre les propriétés arithmétiques des nombres k-libres, les constantes d'Euler généralisées et les valeurs spéciales de la fonction zêta.
Fournit des outils pratiques pour le calcul numérique de $\zeta(1/k)$ et des coefficients de Laurent, utiles pour l'analyse numérique et la théorie analytique des nombres.
Valide théoriquement des conjectures et des observations numériques antérieures (comme celles de Wolf pour $k=2$ ) dans un cadre mathématique rigoureux.

En résumé, l'article d'Artur Kawalec offre une extension cohérente et rigoureuse de l'analyse des séries de Dirichlet, enrichissant notre compréhension de la distribution des nombres k-libres et de leur relation avec la fonction zêta de Riemann.