7. Fonction ζ et répartition des nombres premiers
La partie, célèbre entre toutes, de l'œuvre de Riemann concernant la fonction ζ tient en une dizaine de pages, adressées en 1859 à l'Académie de Berlin, qui venait de l'élire membre correspondant.
La fonction ζ (cf. fonctionzêta) est définie d'abord, pour Re s > 1, comme somme de la série de Riemann :

Euler avait montré que 1/ζ(s) est produit des facteurs 1 − p−s, p premier ≥ 2, d'où ζ(s) ≠ 0 pour Re s > 1 ; il avait d'autre part défini la fonction Γ par :


Notons ln la détermination principale du logarithme complexe (holomorphe sur le complémentaire du demi-axe réel négatif, et de partie imaginaire comprise entre ± π), et L le chemin suivant décrit par le point z = x + iy = reiθ : d'abord x décroît de + ∞ à 0, y restant égal à 1 ; puis θ croît de π/2 à 3 π/2, r restant égal à 1 ; enfin x croît de 0 à + ∞, y restant égal à − 1. Avec ces notations, Riemann obtient la formule :


… pour nos abonnés, l'article se prolonge sur 4 pages…



