Fonction de Liouville

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 par

$\quad \lambda (n)=(-1)^{\Omega (n)},$

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

${\text{si }}n=\prod _{i=1}^{m}p_{i}^{\gamma _{i}},{\text{ alors }}\Omega (n)=\sum _{i=1}^{m}\gamma _{i}.$

Par exemple 12 = 2² × 3, d'où Ω (12) = 3).

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, 1 la fonction constante 1 et χ_C la fonction indicatrice de l'ensemble C des carrés parfaits :$\lambda *{\mathbf {1} }=\chi _{C},\quad {\rm {ou~encore~:}}\quad \sum _{d|n}\lambda (d)={\begin{cases}1&{\text{si }}n{\text{ est un carré parfait,}}\\0&{\text{sinon.}}\end{cases}}$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 χ_C ✻ |μ| = 1.
• La série de Dirichlet de λ est reliée à la fonction zêta de Riemann par la formule :

$\sum _{n=1}^{\infty }{\frac {\lambda (n)}{n^{s}}}={\frac {\zeta (2s)}{\zeta (s)}}.$

• La série de Lambert de λ est :

$\sum _{n=1}^{\infty }{\frac {\lambda (n)q^{n}}{1-q^{n}}}=\sum _{n=1}^{\infty }q^{n^{2}}={\frac {1}{2}}\left(\vartheta _{3}(q)-1\right)$

où $\vartheta _{3}(q)$ est une fonction thêta de Jacobi.

Conjectures

Conjecture de Pólya

On note $L(n)=\sum _{k=1}^{n}\lambda (k)$. Pólya avait conjecturé en 1919 que $\forall n>1,\;L(n)\leqslant 0$,ce qui fut réfuté en 1958 par Colin Brian Haselgrove. Minoru Tanaka trouva en 1980 le plus petit contre-exemple n : L (906 150 257) = 1. On a même L(n) > 0,061867 √n pour une infinité d'entiers n. On ignore si le nombre de changements de signes de L 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 $M(n)=\sum _{k=1}^{n}{\frac {\lambda (k)}{k}}$, alors il semblait plausible que M(n) ≥ 0 pour n 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 $k$ nombres entiers strictement positifs $b_{i}$ tous distincts et $k$ nombres entiers strictement positifs $a_{i}$ avec $a_{i}b_{j}-a_{j}b_{i}\neq 0$ pour $1\leq i<j\leq k$, on a :

$\sum _{1\leq n\leq x}\lambda (a_{1}n+b_{1})\cdot \cdot \cdot \lambda (a_{k}n+b_{k})=o(x)$ quand $x\to \infty$,

où $o$ désigne le symbole de Landau.

La conjecture est vraie pour $k=1$ puisque équivalente au théorème des nombres premiers ; elle est ouverte pour $k\geq 2$.

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 $k=2$. 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

(en)/(de) Cet article est partiellement ou en totalité issu des articles intitulés en anglais « Liouville function » (voir la liste des auteurs) et en allemand « Liouville-Funktion » (voir la liste des auteurs).