Formation Zeta HR Ch14

← Chapitre 13 · Sommaire

Chapitre 14 — Résidus de ζ'/ζ, principe de l'argument, N(T), Hypothèse de Riemann

Sources fusionnées : Perplexity (Écran 8), Grok, Kimi (Screenshot 8). Fil conducteur : synthèse finale — comment le LAB compte et valide les zéros.

Formule clé

$$N(T) \approx \frac{T}{2\pi}\ln!\left(\frac{T}{2\pi e}\right), \qquad \psi(x) = x - \sum_\rho\frac{x^\rho}\rho - \ln(2\pi) - \frac12\ln(1-x^{-2})$$

Statut : la formule de comptage $N(T)$ et la formule explicite sont des théorèmes prouvés. L'Hypothèse de Riemann (tous les $\rho$ ont $\mathrm{Re}(\rho)=1/2$) reste une conjecture, corroborée numériquement sur des milliards de zéros (dont ceux du LAB) mais jamais démontrée.

---

🟢 Niveau Débutant — Lycée

$N(T)$ compte combien de zéros non triviaux de $\zeta$ ont une ordonnée entre $0$ et $T$. Il existe une formule qui prédit ce nombre sans avoir à les trouver un par un — utile pour vérifier qu'aucun zéro n'a été oublié dans un calcul.

---

🔵 Niveau Intermédiaire — L1/L2

Résidu de $\zeta'/\zeta$ en un zéro. Si $\rho$ est un zéro de $\zeta$ d'ordre $m$, alors localement $\zeta(s)=(s-\rho)^m g(s)$ avec $g(\rho)\ne0$. En dérivant le logarithme :

$$\frac{\zeta'(s)}{\zeta(s)} = \frac{m}{s-\rho} + \frac{g'(s)}{g(s)}$$

donc $\mathrm{Res}_\rho(\zeta'/\zeta)=m$ — le résidu vaut exactement l'ordre de multiplicité du zéro (démontré au Chapitre 9).

Principe de l'argument. Pour $f$ méromorphe : $\dfrac1{2\pi i}\displaystyle\oint_\gamma \dfrac{f'(s)}{f(s)}ds = (\text{nb de zéros}) - (\text{nb de pôles})$ à l'intérieur de $\gamma$. Appliqué à $\zeta$ sur un rectangle $[0,1]\times[0,T]$, cela donne $N(T)$.

---

🟠 Niveau Expert — L3/M1/ingénieur

Vérification numérique de $N(T)$ (recalculée, mpmath dps=15) :

$T$	$N(T)$ formule complète	premier zéro trouvé
$50$	$8{,}548$	—
$100$	$28{,}127$	—
$1000$	$647{,}741$	—
$100,000$	$138,067{,}683$	—

Le premier zéro non trivial, retrouvé par mpmath.findroot sur $Z(t)$ à partir de $t_0=14$ : $\rho_1 = \tfrac12 + 14{,}134725,i$ — cohérent avec LMFDB, et $\zeta(\rho_1)\approx-8\times10^{-27}+5\times10^{-26}i\approx0$.

---

🔴 Niveau Très Expert / Chercheur — M2/doctorat

Piège vécu dans le LAB — l'importance du « e ». La forme compacte $T/(2\pi)\ln(T/2\pi e) = T/(2\pi)[\ln(T/2\pi)-1]$ contient implicitement le terme $-T/(2\pi)$ des développements classiques de $N(T)$. Documenté dans le CLAUDE.md du projet : omettre ce « $e$ » conduit à une sous-estimation de 64 % à $T=100,000$ (valeur historiquement observée : $49,346$ au lieu de $138,067$ — le calcul ci-dessus confirme la valeur correcte $138,067{,}68$).

Critère de Turing (1953). Pour vérifier rigoureusement qu'aucun zéro n'a été manqué jusqu'à hauteur $T$ (pas seulement par confiance dans $N(T)$ approché) :

$$\int_{t_1}^{t_2} S(t),dt ;\le; 2{,}3 + 0{,}128\ln\frac{t_2}{2\pi}, \qquad S(t)=\frac1\pi\arg\zeta!\left(\tfrac12+it\right)$$

Si cette inégalité est violée, il manque des zéros dans l'intervalle — c'est le fondement théorique de valider_turing() dans le LAB.

Statut final de l'Hypothèse de Riemann. Prouvé : prolongement, équation fonctionnelle, infinité de zéros sur la droite critique (Hardy, 1914), au moins 40 % des zéros sur la droite (Levinson/Conrey). Conjecturé, non prouvé : que tous les zéros non triviaux sont sur $\mathrm{Re}(s)=1/2$. Vérifié numériquement : plusieurs milliards de zéros consécutifs, sans exception connue — ce qui n'est pas une démonstration.

---

📐 Exemple numérique

$N(100,000)=138,067{,}68$ (formule correcte, recalculée) contre $49,346$ historiquement obtenu sans le « $e$ » (piège documenté du LAB). Premier zéro retrouvé par recherche de racine : $t=14{,}134725$, avec $\zeta(\tfrac12+it)\approx0$ à $10^{-26}$ près.

⚠️ Piège / limite

Oublier le « $e$ » dans $N(T)$ → sous-estimation systématique et croissante avec $T$ (piège réellement rencontré et corrigé dans le LAB). Plus fondamentalement : une vérification numérique, même sur des milliards de zéros, ne prouve rien sur l'ensemble infini des zéros — c'est un fait de logique, pas une prudence excessive.

🔗 Lien avec le LAB

Ce chapitre est le cœur théorique de compute_zeros_* : $Z(t)$ (Ch.5) détecte les zéros, $N(T)$ (ce chapitre) prédit combien en attendre, et le critère de Turing valide qu'aucun n'a été manqué — trois briques utilisées à chaque run du pipeline.

Schéma — Comptage réel vs formule asymptotique

Source éditable : figures/ch14_comptage_NT.svg.

---

← Chapitre 13 · Sommaire

---

Mis à jour le 12 novembre 2026 — hprzeta — github.com/hprzeta/Riemann_Lab

Nombre de lignes du fichier : 88