🔢 mathematics

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

Cet article établit une nouvelle formule pour les coefficients du développement en série de Laurent de la fonction zêta secondaire au voisinage de $s=1$ , analogue aux constantes de Stieltjes, et en vérifie la précision numérique grâce au théorème de Brent.

Auteurs originaux : Artur Kawalec

Publié 2026-03-24

📖 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

🌌 Le Mystère des Zéros et la "Seconde Zeta"

Imaginez que les nombres premiers soient les briques fondamentales de l'univers mathématique. Pour comprendre comment ils sont disposés, les mathématiciens utilisent un outil très puissant appelé la fonction Zêta de Riemann.

Cette fonction a des "points de rupture" ou des zéros (des endroits où elle s'annule). On sait qu'il existe une infinité de ces zéros, et l'hypothèse la plus célèbre (l'Hypothèse de Riemann) dit qu'ils sont tous alignés sur une ligne droite invisible.

Chaque zéro a une "hauteur" (une valeur imaginaire, notée $\gamma$ ). Ces hauteurs sont comme les notes d'une mélodie infinie et complexe.

🎵 La "Seconde Zeta" : Une chanson sur les notes

L'auteur de cet article, Artur Kawalec, s'intéresse à une nouvelle fonction qu'il appelle la fonction Zêta secondaire.

L'analogie : Si la fonction Zêta originale est l'orchestre entier, la fonction "secondaire" est un enregistrement qui ne contient que les hauteurs des notes (les $\gamma$ ) jouées par l'orchestre.
Le problème : Quand on essaie de résumer cette musique en une formule mathématique simple (un développement en série), on rencontre un gros obstacle à un endroit précis : le point $s = 1$ . C'est comme si la partition devenait illisible ou explosait à cet endroit précis (un "pôle double").

🔧 L'Objectif : Réparer la partition

L'objectif de l'article est de trouver une formule précise pour décrire ce qui se passe juste avant et juste après cette explosion à $s = 1$ .

Imaginez que vous essayez de décrire le relief d'une montagne juste avant qu'elle ne devienne une falaise verticale. Vous avez besoin de coefficients (des nombres) pour décrire la pente, la courbure, etc.

L'article propose une nouvelle recette (une formule) pour calculer ces nombres ( $C_n$ ) avec une grande précision.
Cette recette ressemble à une méthode célèbre utilisée pour la fonction Zêta classique (les constantes de Stieltjes), mais adaptée pour cette "seconde" fonction.

🧮 La Méthode : Compter les grains de sable

Pour trouver ces nombres, l'auteur utilise une astuce intelligente :

Il prend une infinité de zéros (les hauteurs $\gamma$ ).
Il les additionne d'une manière très spécifique (en les divisant par leur hauteur et en ajoutant des logarithmes).
Il soustrait une "valeur théorique" qui représente la tendance générale.

L'analogie du sable : Imaginez que vous essayez de peser un tas de sable. Vous ne pouvez pas tout peser d'un coup. Vous prenez un seau, vous pesez le sable, puis vous soustrayez le poids théorique du seau vide. Plus vous prenez de sable (plus vous allez loin dans la liste des zéros), plus votre calcul devient précis.

L'article montre que cette méthode fonctionne et donne une formule exacte pour ces coefficients.

🚀 L'Accélérateur : Le "BPT"

Il y a un petit hic : pour obtenir une précision parfaite avec cette méthode, il faudrait compter des milliards de milliards de zéros, ce qui prendrait des années sur un ordinateur. C'est comme essayer de compter chaque grain de sable d'une plage à la main.

Heureusement, l'auteur utilise une technique appelée le Théorème de Brent (BPT).

L'analogie : C'est comme si, au lieu de compter chaque grain de sable, vous utilisiez un détecteur de métaux très sophistiqué qui vous dit : "Il y a 99,9 % de sable ici, et voici exactement combien il en manque pour être parfait".
Cette technique permet de corriger les erreurs de calcul très rapidement. Grâce à elle, l'auteur a pu obtenir des résultats précis à 12 décimales avec seulement 2 millions de zéros, alors que sans cette astuce, il n'aurait eu que 5 décimales de précision.

📊 Les Résultats Concrets

L'auteur a calculé une table de ces nombres mystérieux ( $C_0, C_1, C_2...$ ) avec une précision incroyable (jusqu'à 50 chiffres après la virgule !).

Il a vérifié que sa nouvelle formule correspond bien à ces nombres.
Il a montré que plus on utilise le "Théorème de Brent", plus on gagne en précision, même avec un nombre limité de données.

En résumé

Cet article est une recette mathématique pour mieux comprendre le comportement d'une fonction complexe liée aux nombres premiers.

Il identifie un problème (l'explosion à $s=1$ ).
Il propose une nouvelle façon de calculer les détails de ce problème (les coefficients $C_n$ ).
Il utilise un outil de correction (BPT) pour rendre ce calcul ultra-rapide et ultra-précis, évitant ainsi de devoir compter l'infini.

C'est un travail de précision qui aide les mathématiciens à mieux comprendre la structure cachée des nombres premiers, un peu comme un archéologue qui affine ses outils pour lire des inscriptions anciennes avec une clarté parfaite.

1. Problématique et Contexte

L'article se concentre sur l'étude de la fonction zêta secondaire, notée $Z(s)$ , définie comme une série généralisée sur les parties imaginaires positives $\gamma_n$ des zéros non triviaux de la fonction zêta de Riemann $\zeta(s)$ . En supposant l'Hypothèse de Riemann (RH), ces zéros sont situés sur la ligne critique $\rho = \frac{1}{2} + i\gamma_n$ . La fonction est définie par :
$Z(s) = \sum_{\gamma} \frac{1}{\gamma^s}$
Cette série converge absolument pour $\Re(s) > 1$ .

Le problème central abordé est la compréhension fine du comportement de $Z(s)$ au voisinage de son pôle double en $s=1$ . La fonction admet un développement en série de Laurent autour de ce point :
$Z(s) = \frac{1}{2\pi(s -1)^2} - \frac{\log(2\pi)}{2\pi(s -1)} + \sum_{n=0}^{\infty} \frac{C_n}{n!} (s -1)^n$
Les coefficients $C_n$ du terme régulier (la partie holomorphe) sont analogues aux constantes de Stieltjes pour la fonction zêta de Riemann classique. Bien que des travaux antérieurs (Ivić, Chakravarty, Hassani, Brent) aient établi l'existence de ces coefficients et fourni des valeurs numériques pour quelques cas (notamment $C_0$ ), une formule générale explicite et convergente pour calculer $C_n$ pour tout $n \ge 0$ restait à formaliser et à vérifier numériquement avec une grande précision.

2. Méthodologie

L'auteur adopte une approche combinant l'analyse complexe, la théorie des nombres analytique et le calcul numérique de haute précision.

Dérivation Analytique :
- L'article part de la fonction de comptage des zéros $N(T)$ et de sa décomposition asymptotique de Riemann-von Mangoldt : $N(T) = L(T) + Q(T)$ , où $L(T)$ est le terme dominant et $Q(T)$ le terme d'erreur (incluant $S(T)$ et un terme $f(T)$ ).
- En utilisant l'intégration par parties et l'intégration de Stieltjes sur la somme $\sum \frac{\log^n(\gamma)}{\gamma}$ , l'auteur isole la partie divergente (liée à $L(T)$ ) et la partie convergente (liée à $Q(T)$ ).
- Une manipulation rigoureuse des intégrales permet d'exprimer les coefficients $C_n$ comme une limite lorsque $T \to \infty$ , reliant directement les sommes discrètes sur les zéros aux intégrales impliquant le terme d'erreur $Q(t)$ .
Théorème de Brent (BPT) :
- Pour améliorer la convergence numérique, l'article applique le théorème de Brent (BPT), qui fournit des bornes d'erreur plus strictes pour les sommes sur les zéros non triviaux. Cela permet de réduire l'erreur d'approximation de l'ordre de $O(\frac{\log^{n+1} T}{T})$ à $O(\frac{\log^{n+1} T}{T^2})$ en ajoutant un terme correctif spécifique.
Calcul Numérique :
- Les auteurs utilisent une base de données de 2 millions de zéros non triviaux.
- Ils utilisent l'algorithme d'Arias De Reyna (ADR) pour le calcul de haute précision de $Z(s)$ , permettant de générer une table de référence des coefficients $C_n$ avec 50 chiffres significatifs.
- Une vérification directe est effectuée en calculant les sommes partielles et en comparant les résultats avec la formule limite dérivée.

3. Contributions Clés

Nouvelle Formule Limite (Théorème 1) :
L'article établit une formule générale pour les coefficients $C_n$ ( $n \ge 0$ ) :
$C_n = \lim_{T\to\infty} (-1)^n \left( \sum_{\gamma < T} \frac{\log^n(\gamma)}{\gamma} - \frac{1}{2\pi(n+1)(n+2)} \log^{n+1}(T) \log\left( \frac{T^{n+1}}{(2\pi)^{n+2}} \right) \right)$
Cette formule généralise les résultats antérieurs connus uniquement pour $n=0$ (Hassani) et fournit une méthode systématique pour tous les $n$ .
Amélioration de la Convergence (Théorème 2) :
En intégrant le théorème de Brent, l'auteur propose une version modifiée de la formule incluant un terme correctif explicite dépendant de $N(T) - L(T)$ . Cela permet d'obtenir une précision bien supérieure avec un nombre fini de zéros, réduisant l'erreur d'approximation d'un facteur $1/T$ .
Table de Référence Numérique :
Le document fournit une table de référence des coefficients $C_n$ pour $0 \le n \le 50$ , calculés avec une précision de 50 décimales, comblant un vide dans la littérature numérique sur ce sujet.

4. Résultats

Validation de la Formule : Les calculs numériques confirment la validité de la formule limite (3). Pour $n=0$ , la valeur calculée avec 2 millions de zéros correspond à la valeur de référence à 5 décimales.
Impact du Terme Correctif : L'application du théorème de Brent (BPT) améliore drastiquement la précision :
- Pour $C_0$ , la précision passe de 5 décimales (sans correction) à 12 décimales avec la correction.
- Pour $C_1$ et $C_2$ , la précision atteint 10 décimales.
- Les bornes d'erreur théoriques ( $E_2(T)$ ) sont vérifiées numériquement et correspondent aux écarts observés.
Comportement des Coefficients : La table montre que les coefficients $C_n$ oscillent et croissent rapidement en valeur absolue pour les grands $n$ (ex: $C_{50} \approx -8.9 \times 10^{46}$ ), ce qui est cohérent avec le rayon de convergence de la série de Laurent ( $R=2$ ).

5. Signification et Importance

Cet article apporte une contribution significative à la théorie analytique des nombres en :

Unifiant la théorie des constantes de Stieltjes du zêta de Riemann avec la fonction zêta secondaire, offrant un cadre analytique complet pour leurs coefficients.
Résolvant le problème de la convergence lente des sommes sur les zéros, un défi majeur dans les calculs de haute précision liés à l'Hypothèse de Riemann.
Fournissant des données de référence essentielles (la table $C_n$ ) pour les futurs travaux de recherche, permettant de tester des conjectures ou d'améliorer les algorithmes de calcul de $Z(s)$ .
Démontrant l'efficacité pratique des méthodes de correction d'erreur (comme celle de Brent) pour extraire des constantes mathématiques fondamentales à partir de données numériques finies.

En résumé, Kawalec ne se contente pas de dériver une nouvelle formule ; il fournit les outils théoriques et numériques nécessaires pour calculer ces coefficients avec une précision inédite, renforçant ainsi notre compréhension de la structure fine des zéros de la fonction zêta de Riemann.