- Théorème de brun
-
Théorème de Brun
Le théorème de Brun énonce le fait que la série des inverses des nombres premiers jumeaux est convergente. Sa limite est appelée constante de Brun.
Autrelent dit la somme :
(où désigne l'ensemble des nombres premiers) est finie.
Note historique
Le mathématicien norvégien Viggo Brun restera dans les mémoires comme étant l'inventeur des méthodes modernes de cribles combinatoires. Entre 1917 et 1924, il inventera et perfectionnera cette théorie, dont le principe repose sur le crible d'Eratosthène. L'utilisation du principe d'inclusion-exclusion (appelé aussi en combinatoire inégalités de Bonferroni) permet de théoriser ce crible : si l'on pose (pour x assez grand)
le produit des nombres premiers
alors une condition nécessaire et suffisante pour qu'un entier n tel que soit premier est que pgcd(n,P) = 1.
Ainsi, si π(x) désigne le nombre de nombres premiers et si l'on pose e1 la fonction arithmétique valant 1 si n = 1 et 0 sinon, alors le crible d'Eratosthène s'écrit :
.
En utilisant la formule d'inversion de Möbius, il vient :
,
où [t] désigne la partie entière du réel t.
Comment estimer cette dernière somme ? A ce stade, si l'on utilise l'égalité évidente [t] = t + O(1), on obtient un terme d'erreur de bien trop gros pour fournir des renseignements quant à la distribution des nombres premiers.
En fait, ce crible d'Eratosthène repose sur la formule d'inversion de Möbius qui s'écrit plus simplement , formule trop "directe" pour être utilisable en pratique.
L'idée de Brun consiste à déterminer deux fonctions, notées disons μ1 et μ2, de sorte que l'on ait
et telles que ces fonctions s'annulent suffisamment souvent pour obtenir des termes d'erreurs exploitables.
La détermination de telles fonctions pose un problème délicat d'optimisation, et ce travail est toujours d'actualité aujourd'hui.
Brun a choisi les fonctions suivantes :
Si l'on note 1t la fonction indicatrice de l'ensemble des entiers n tels que (où ω(n) désigne le nombre de facteurs premiers distincts de n), alors on peut prendre pour tout entier :
et .
La théorie reposant sur ces fonctions conduit alors au résultat essentiel suivant :
,
d'où l'on déduit que la série des inverses des nombres premiers jumeaux converge.Liens externes
- Le numéro du Bulletin des sciences mathématiques (1919, pages 100 et suivantes) dans lequel Brun énonce et démontre le théorème.
- Portail des mathématiques
Catégorie : Théorème de mathématiques
Wikimedia Foundation. 2010.