Formation Zeta HR Ch12

← Chapitre 11 · Sommaire · Chapitre 13 →

Chapitre 12 — Fonction ξ, produit de Hadamard, Ξ(t)

Sources fusionnées : Grok (Bloc 12), DeepSeek (Msg 6 §2). Fil conducteur : reformulation de l'Hypothèse de Riemann sous sa forme la plus symétrique.

Formule clé

$$\xi(s) = \frac12,s(s-1),\pi^{-s/2},\Gamma!\left(\frac{s}{2}\right)\zeta(s), \qquad \xi(s)=\xi(1-s)$$

Statut : $\xi$ entière, d'ordre 1, et $\xi(s)=\xi(1-s)$ sont des théorèmes prouvés. Que tous les zéros de $\xi$ soient sur $\mathrm{Re}(s)=1/2$ (Hypothèse de Riemann) est une conjecture — vérifiée numériquement sur des milliards de zéros, jamais démontrée en général.

---

🟢 Niveau Débutant — Lycée

$\xi$ est une version « nettoyée » de $\zeta$ : on multiplie par des facteurs qui suppriment le pôle et symétrisent parfaitement la fonction. $\xi(s)=\xi(1-s)$ dit que retourner le plan complexe autour du point $s=1/2$ laisse $\xi$ inchangée.

---

🔵 Niveau Intermédiaire — L1/L2

Pourquoi $\xi$ est entière. $\zeta$ a un unique pôle simple en $s=1$ ; $\Gamma(s/2)$ a des pôles simples en $s=0,-2,-4,\ldots$. Le facteur $s(s-1)$ annule exactement les pôles en $s=0$ et $s=1$ ; les pôles restants de $\Gamma(s/2)$ (en $-2,-4,\ldots$) sont exactement compensés par les zéros triviaux de $\zeta$ aux mêmes points. Résultat : plus aucun pôle — $\xi$ est holomorphe sur $\mathbb{C}$ entier.

Vérification numérique (recalculée, mpmath dps=25) :

$s$	$\xi(s)$	$\xi(1-s)$	écart
$2$	$0{,}5235988$	$0{,}5235988$	$0$
$3+2i$	$0{,}5107210+0{,}1196758i$	$0{,}5107210+0{,}1196758i$	$1{,}5\times10^{-26}$
$-1$	$0{,}5235988$	$0{,}5235988$	$0$

---

🟠 Niveau Expert — L3/M1/ingénieur

Ordre 1 et produit de Hadamard. Grâce à la décroissance de Stirling (Chapitre 10), $\xi$ est une fonction entière d'ordre 1 (croissance contrôlée). Le théorème de factorisation de Hadamard donne alors :

$$\xi(s) = \xi(0)\prod_{\rho}\left(1-\frac s\rho\right)$$

le produit portant sur tous les zéros non triviaux $\rho$ de $\zeta$ (comptés avec multiplicité, groupés en $\rho$ et $1-\rho$ pour assurer la convergence).

Fonction $\Xi(t)$. En posant $s=\tfrac12+it$, $\Xi(t):=\xi(\tfrac12+it)$ est réelle pour $t$ réel, et ses zéros réels sont exactement les ordonnées des zéros non triviaux de $\zeta$ — reformulation directe de la fonction $Z(t)$ du Chapitre 5.

---

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

HR reformulée. $\xi$ vérifie $\xi(s)=\xi(1-s)$ (symétrie miroir, Chapitre 11) et $\xi(\bar s)=\overline{\xi(s)}$ (coefficients réels de la série de $\zeta$). Un zéro non trivial $\rho$ a donc automatiquement trois « reflets » : $1-\rho$, $\bar\rho$, $1-\bar\rho$. L'Hypothèse de Riemann affirme que ces quatre points sont en réalité deux — c'est-à-dire $\rho=1-\bar\rho$, équivalent à $\mathrm{Re}(\rho)=1/2$. Vérifié pour les deux premiers zéros (14,134725 et 21,022040, recalculés par mpmath.findroot sur $Z(t)$, cohérent LMFDB) ; jamais démontré en général.

---

📐 Exemple numérique

$\xi(s)=\xi(1-s)$ vérifié en trois points (tableau ci-dessus), écarts $\le1{,}5\times10^{-26}$. Ordonnées des deux premiers zéros non triviaux recalculées : $14{,}134725$ et $21{,}022040$.

⚠️ Piège / limite

Les conventions de normalisation de $\xi$ varient selon les auteurs (facteur $\tfrac12$ présent ou non, $\Xi(t)$ définie avec ou sans le facteur $s(s-1)$) — toujours vérifier la convention avant de comparer deux sources. Ne jamais confondre la preuve que $\xi$ est symétrique (chapitre 11, prouvé) avec la conjecture que ses zéros sont alignés (HR, non prouvée).

🔗 Lien avec le LAB

$\xi(s)-\xi(1-s)\approx0$ est le test de non-régression du Chapitre 11 ; $\Xi(t)$ est l'équivalent théorique exact de $Z(t)$ (Chapitre 5), la fonction réellement échantillonnée par compute_zeros_*.

Schéma — Symétrie des zéros non triviaux

Source éditable : figures/ch12_symetrie_zeros.svg.

---

← Chapitre 11 · Sommaire · Chapitre 13 →

---

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

Nombre de lignes du fichier : 79