Constante de Meissel-Mertens
En mathématiques, la constante de Meissel-Mertens (également nommée constante de Mertens, constante de Kronecker, constante de Hadamard-La Vallée Poussin ou constante des inverses des nombres premiers) est utilisée principalement en théorie des nombres. Elle est définie comme la limite de la différence entre la série des inverses des nombres premiers et le logarithme naturel du logarithme naturel.
Définition
Soit la somme des inverses des nombres premiers inférieurs à . La constante de Meissel-Mertens est définie par :
- .
La série des inverses des nombres premiers diverge, tout comme la suite de terme général ; l'existence de cette constante indique que les deux expressions sont asymptotiquement liées :
- (où est une notation de Landau).
Propriétés
La constante de Meissel-Mertens est reliée à la constante d'Euler-Mascheroni (qui possède une définition similaire impliquant la différence entre la somme des inverses de tous les entiers de 1 à n et le logarithme naturel de n) par la formule suivante[1],[2]:
- .
Le fait qu'il existe deux logarithmes naturels (ln de ln) dans la limite pour la définition de la constante de Meissel-Mertens peut être perçu comme une conséquence de la combinaison du théorème des nombres premiers et de la limite définissant la constante d'Euler-Mascheroni.[réf. nécessaire]
La constante de Meissel-Mertens vaut approximativement 0,261497[3].
Notes et références
- (en) Julian Havil (de), Gamma : Exploring Euler's Constant, Princeton University Press, (1re éd. 2003), 296 p. (ISBN 978-1-4008-3253-8, lire en ligne), p. 64.
- G. H. Hardy et E. M. Wright (trad. de l'anglais par François Sauvageot, préf. Catherine Goldstein), Introduction à la théorie des nombres [« An Introduction to the Theory of Numbers »] [détail de l’édition], chapitre 22 (« La suite des nombres premiers (3) »), sections 22.7 et 22.8.
- Un lien de la suite A077761 de l'OEIS fournit 105 décimales.
Voir aussi
Articles connexes
Liens externes
- (en) Eric W. Weisstein, « Mertens Constant », sur MathWorld
- Suite A096167 de l'OEIS (développement en série de Engel de cette constante)