Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Théorème de Brun
Résumé
vignette|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.
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 :
où 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 .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique