ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

Centrale-Supélec MPI 2026 — Maths 2

Un critère de non-annulation de la fonction zêta (type Nyman-Beurling) · 6 pages

Le sujet établit les propriétés de base de ζ\zeta (produit eulérien, non-annulation pour Re⁡s>1\operatorname{Re} s > 1), puis calcule les transformées de Mellin des fonctions fk(t)=(1/k)⌊1/t⌋−⌊1/(kt)⌋f_k(t) = (1/k)\lfloor 1/t \rfloor - \lfloor 1/(kt) \rfloor, à savoir ∫01fk(t) ts−1 dt=(1/s)(1/k−1/ks) ζ(s)\int_0^1 f_k(t)\, t^{s-1} \,\mathrm{d}t = (1/s)(1/k - 1/k^s)\, \zeta(s), et prolonge ζ\zeta par ζ(s)=1/(s−1)+G(s)\zeta(s) = 1/(s-1) + G(s), d'où ∫01fk=ln⁡(k)/k\int_0^1 f_k = \ln(k)/k. Il munit ensuite l'espace engendré par 11 et les fkf_k d'un produit scalaire de type L2L^2 et, par Gram-Schmidt, exprime la distance dnd_n de la fonction 11 à Vect⁡(f2,…,fn)\operatorname{Vect}(f_2, \dots, f_n). Il conclut, par l'inégalité de Cauchy-Schwarz, que si dnd_n tend vers 00 alors ζ\zeta ne s'annule pas sur le demi-plan Re⁡s>1/2\operatorname{Re} s > 1/2.

Le sujet, partie par partie

Partie A — Questions préliminaires p. 1–2

Fonction zêta de Riemann · Produits infinis · Familles sommables et produit de Cauchy · Nombres premiers · Intégrales généralisées et intégrabilité · Convergence uniforme et normale · Nombres complexes — produit eulérien, fonction zêta, nombres premiers, convergence absolue

Partie B — Étude analytique p. 2–3

Transformée de Mellin · Fonction zêta de Riemann · Intégrales généralisées et intégrabilité · Intégrales à paramètre · Comparaison série-intégrale · Développements asymptotiques · Théorie analytique des nombres — transformée de Mellin, partie entière, prolongement de zêta, pôle en 11

Partie C — Étude algébrique et géométrique p. 4–5

Procédé de Gram-Schmidt · Projection orthogonale et moindres carrés · Espaces préhilbertiens et euclidiens · Espaces de Hilbert et espaces fonctionnels · Intégrales généralisées et intégrabilité — espace L2L^2, procédé de Gram-Schmidt, distance à un sous-espace, famille libre, forme bilinéaire positive

Partie D — Synthèse p. 5

Inégalité de Cauchy-Schwarz · Théorie analytique des nombres · Fonction zêta de Riemann — critère de Nyman-Beurling, hypothèse de Riemann, inégalité de Cauchy-Schwarz, zéros de zêta

Ouvrir dans l'atlas interactif →