La fonction de Liouville, notée λ et nommée ainsi en l'honneur du mathématicien français Joseph Liouville, est une fonction arithmétique de la théorie des nombres, définie parSuite de l'OEIS.

où Ω (n) désigne le nombre de facteurs premiers comptés avec multiplicité de l'entier n > 0 :

Par exemple 12 = 2² × 3, d'où Ω (12) = 3 , et λ (12) = (-1)³ = -1 .

Propriétés La fonction λ est complètement multiplicative car la fonction Ω est complètement additive. Par conséquent λ(1) = 1. Elle satisfait l'identité suivante, où ✻ désigne la convolution de Dirichlet, la fonction constante 1 et la fonction indicatrice de l'ensemble C des carrés parfaits :En effet, ces deux fonctions de n sont multiplicatives et coïncident clairement sur les puissances de nombres premiers. La fonction de Liouville est l'inverse, pour ✻, de la valeur absolue de la fonction de Möbius μ.Cette propriété se déduit de la précédente en remarquant que ✻ |μ| = . La série de Dirichlet de λ est reliée à la fonction zêta de Riemann par la formule :

La série de Lambert de λ est :

où est une fonction thêta de Jacobi.

Conjectures Conjecture de Pólya

On note . Pólya avait conjecturé en 1919. que ,ce qui fut réfuté en 1958 par Colin Brian Haselgrove.. Minoru Tanaka trouva en 1980 le plus petit contre-exemple : () = 1. On a même > 0,061867 pour une infinité d'entiers .. On ignore si le nombre de changements de signes de est fini, et pour cause : l'hypothèse de Riemann et la simplicité de tous les zéros de la fonction zêta de Riemann en résulteraient.

Autre conjecture (parfois attribuée à tort à Pál Turán) : si l'on définit , alors il semblait plausible que pour suffisamment grand, ce qui a été aussi réfuté en 1958 par Haselgrove. Cette propriété, si elle avait été vraie, aurait entraîné, comme l'avait montré Pál Turán, la véracité de l'hypothèse de Riemann.

Conjecture de Chowla Une conjecture de Sarvadaman Chowla énonce que, pour nombres entiers strictement positifs tous distincts et nombres entiers strictement positifs avec pour , on a :

quand ,

où désigne le symbole de Landau.

La conjecture est vraie pour puisque équivalente au théorème des nombres premiers ; elle est ouverte pour .

En 2015, Kaisa Matomäki, Maksym Radziwill et Terence Tao ont réalisé des progrès, en ce qui concerne une version moyenne de la conjecture. En 2016, Terence Tao a démontré une version logarithmique de la conjecture dans le cas , 36 pages.. Une conjecture similaire se formule de la même façon, en remplaçant la fonction de Liouville par la fonction de Möbius.

Notes et références

Liouville Liouville