Fonction de Liouville

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 importante de la théorie des nombres, définie par[1] :

\forall n\in\N^*,\quad\lambda(n) = (-1)^{\Omega(n)},

où Ω(n) est le nombre avec répétition (i.e. en comptant de multiples fois les facteurs multiples) des facteurs premiers de l'entier n > 0.

Propriétés[modifier | modifier le code]

Conjectures[modifier | modifier le code]

Pólya avait conjecturé en 1919[2],[3] que

\forall n>1,\quad L(n):=\sum_{k=1}^n \lambda(k)\le0,

ce qui fut réfuté en 1958 par Colin Brian Haselgrove[4], et Minoru Tanaka trouva en 1980 le plus petit contre-exemple n : L(906 150 257)[2] = 1[5]. On a même L(n) > 0,061867n pour une infinité de n[5]. On ignore si le nombre de changements de signes de L est fini[2], 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[5].

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[4],[5]. Cette propriété, si elle avait été vraie, aurait confirmé, comme l'avait démontré Pál Turán, la véracité de l'hypothèse de Riemann.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Liouville function » (voir la liste des auteurs).

  1. Suite A008836 de l'OEIS.
  2. a, b et c (en) Eric W. Weisstein, « Pólya Conjecture », MathWorld.
  3. Ceci constitue l'un des plus remarquables exemples d'induction erronée ou généralisation hâtive (en).[réf. nécessaire]
  4. a et b (en) C. B. Haselgrove, « A disproof of a conjecture of Pólya », Mathematika, vol. 5,‎ 1958, p. 141-145 (DOI 10.1112/S0025579300001480).
  5. a, b, c et d (en) Peter Borwein, Ron Ferguson et Michael J. Mossinghoff, « Sign Changes in Sums of the Liouville Function », Math. Comp., vol. 77, no 263,‎ 2008, p. 1681-1694 (lire en ligne).