Le théorème de Brun énonce la convergence de la série des inverses des nombres premiers jumeaux. Sa somme est appelée constante de Brun.

ce schéma représente la théorie

Autrement dit la somme

(où désigne l'ensemble des nombres premiers) est finie.

Note historique

modifier

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'Ératosthè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   assez grand)

  le produit des nombres premiers  ,

alors une condition nécessaire et suffisante pour qu'un entier   tel que   soit premier est que  . Ainsi, si   désigne le nombre de nombres premiers   et si l'on note   la fonction arithmétique valant 1 au point 1 et 0 en tout autre entier, alors le crible d'Ératosthène s'écrit :

 .

En utilisant la formule d'inversion de Möbius, il vient :

 ,

  désigne la fonction de Möbius et   la fonction partie entière.

Comment estimer cette dernière somme ? À ce stade, si l'on utilise l'égalité évidente  , 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'Ératosthè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   et  , de sorte que l'on ait

 

et telles que ces fonctions s'annulent suffisamment souvent pour obtenir des termes d'erreur 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   la fonction indicatrice de l'ensemble des entiers   tels que   (où   désigne le nombre de facteurs premiers distincts de  ), 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.

Remarque : On conjecture que cette série est bien une somme infinie, c'est-à-dire qu'il existe une infinité de nombres premiers jumeaux, mais si cela n'était finalement pas le cas, le théorème de Brun deviendrait trivial, énonçant simplement qu'une somme finie est finie.

Référence

modifier

Viggo Brun, « La série 1/5 + 1/7 + 1/11 + 1/13 + 1/17 + 1/19 + 1/29 + 1/31 + 1/41 + 1/43 + 1/59 + 1/61 + ... où les dénominateurs sont « nombres premiers jumeaux » est convergente ou finie », Bulletin des Sciences Mathématiques, vol. 43,‎ , p. 100-104 et 124-128 (lire en ligne)

Article connexe

modifier

Crible de Brun (en)