Aller au contenu

Théorème de Brun

Un article de Wikipédia, l'encyclopédie libre.
ce schéma représente la théorie

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.

Autrement dit la somme

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

Note historique

[modifier | modifier le code]

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 | modifier le code]

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 | modifier le code]

Crible de Brun (en)