ATLAS Ouvrir dans l'atlas →

AnnalesEnseignement

Agrégation externe 2022 — Analyse et probabilités

Le théorème des nombres premiers · 16 pages

Le problème démontre le théorème des nombres premiers π(x)∼x/log⁡x\pi(x) \sim x/\log x en le ramenant à la limite (1/n)∑k⩽nΛ(k)→1(1/n) \sum_{k \leqslant n} \Lambda(k) \to 1 pour la fonction de von Mangoldt. Il établit un théorème taubérien de type Karamata par approximation de Weierstrass, développe la transformée de Mellin et sa formule d'inversion (avec un détour par la transformée de Fourier de l'indicatrice de ℝ+\mathbb{R}_+ au sens des distributions tempérées), obtient le produit eulérien de ζ\zeta par un argument probabiliste, prolonge ζ\zeta au demi-plan Re⁡s>0\operatorname{Re} s > 0, montre qu'elle ne s'annule pas sur la droite Re⁡s=1\operatorname{Re} s = 1 grâce à l'inégalité 5+8cos⁡θ+4cos⁡2θ+cos⁡3θ⩾05 + 8 \cos \theta + 4 \cos 2\theta + \cos 3\theta \geqslant 0, et conclut par la formule d'inversion de Mellin.

Le sujet, partie par partie

Notations et Partie I — Fonctions Γ\Gamma et ζ\zeta, séries de Dirichlet, logarithme complexe p. 2–6

Fonction zêta de Riemann · Séries de Dirichlet · Fonctions Gamma et Bêta · Analyse complexe · Comparaison série-intégrale · Intégrales généralisées et intégrabilité · Espaces préhilbertiens et euclidiens · Théorie analytique des nombres — fonction de von Mangoldt, série de Dirichlet, principe des zéros isolés, densité dans l'espace ℓ2\ell^2, logarithme principal, fonction ψ\psi de Tchebychev

Partie II — Un théorème taubérien p. 6–8

Procédés de sommation et théorèmes taubériens · Théorème de Weierstrass · Densité · Fonctions Gamma et Bêta · Suites numériques · Intégrales généralisées et intégrabilité — théorème taubérien de Karamata, équation de Cauchy f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y), suite multiplicative décroissante, théorème de Weierstrass, forme linéaire positive

Partie III — Transformée de Mellin et distributions tempérées p. 8–10

Transformée de Mellin · Distributions · Fonctions Gamma et Bêta · Transformées de Fourier et de Laplace · Intégrales à paramètre · Analyse complexe · Espaces de Hilbert et espaces fonctionnels — transformée de Mellin, formule d'inversion de Mellin, transformée de Fourier, distributions tempérées, valeur principale, masse de Dirac, prolongement holomorphe de Γ\Gamma

Partie IV — Produit eulérien par les probabilités p. 10–11

Fonction zêta de Riemann · Produits infinis · Espaces probabilisés · Nombres premiers · Théorie analytique des nombres · Procédés de sommation et théorèmes taubériens — produit eulérien, loi zêta, événements indépendants, dérivée logarithmique de ζ\zeta, série des inverses des nombres premiers

Partie V — Prolongement de ζ\zeta et non-annulation sur Re⁡s=1\operatorname{Re} s = 1 p. 11–13

Fonction zêta de Riemann · Analyse complexe · Théorie analytique des nombres · Comparaison série-intégrale · Inégalités classiques — prolongement méromorphe de ζ\zeta, pôle simple en 11, non-annulation de ζ\zeta sur Re⁡s=1\operatorname{Re} s = 1, inégalité 5+8cos⁡θ+4cos⁡2θ+cos⁡3θ⩾05 + 8 \cos \theta + 4 \cos 2\theta + \cos 3\theta \geqslant 0, logarithme holomorphe de ζ\zeta

Partie VI — Conclusion : théorème des nombres premiers p. 13

Théorie analytique des nombres · Transformée de Mellin · Nombres premiers · Fonction zêta de Riemann · Fonctions Gamma et Bêta · Intégrales à paramètre · Procédés de sommation et théorèmes taubériens — théorème des nombres premiers, formule d'inversion de Mellin, lemme de Riemann-Lebesgue, fonction de von Mangoldt

Ouvrir dans l'atlas interactif →