Conjecture de Mertens
Un article de Wikipédia, l'encyclopédie libre.
En théorie des nombres, si nous définissons la fonction de Mertens ainsi:
étant la fonction de Möbius, alors la conjecture de Mertens énonce que
Stieltjes prétendit en 1885 que 
était compris entre deux bornes constantes, qui selon lui pouvaient être -1 et 1. Mertens à son tour publia un article en 1887 affirmant, calcul de M(10^4) à l'appui, que l'égalité 
lui semblait très probable pour tout n>1.
Or toute inégalité de la forme 
, c étant un réel positif, implique l'hypothèse de Riemann.
Plus précisément, l'hypothèse de Riemann est équivalente à
pour tout
- ε > 0
On démontre le lien avec l'hypothèse de Riemann ainsi:
où 
est la fonction zêta de Riemann. La conjecture de Mertens indiquait que cette intégrale converge pour Re(z) > 1/2, qui dans un sens impliquerait que 
est définie pour Re(z) > 1/2 et par symétrie pour Re(z) < 1/2. Ainsi, les seuls zéros de vérifieraient Re(z) = 1/2, ce qui est l'énoncé de l'hypothèse de Riemann.
Mais en 1985, Te Riele et Odlyzko ont démontré que la conjecture de Mertens était fausse. Plus précisément, ils ont démontré que a des valeurs supérieures à 1,06 et des valeurs inférieures à -1,009. Ils ont également montré qu'il existe au moins un entier inférieur à 3.21×1064 réfutant la conjecture.
On ignore toujours si est bornée, mais Te Riele et Odlizko considèrent qu'il est probable que non.
[modifier] Lien externe
- Conjecture de Mertens (en anglais) sur MathWorld
