Función de Liouville

La serie de Dirichlet para la función de Liouville en términos de la función zeta de Riemann tiene la forma

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

La serie de Lambert para la función de Liouville es

${\displaystyle \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),}$

donde ${\displaystyle \vartheta _{3}(q)}$ es la función theta de Jacobi.

La conjetura de Pólya es una conjetura formulada por George Pólya en 1919, esta establece que:

${\displaystyle L(n)=\sum _{k=1}^{n}\lambda (k)\leq 0}$

para n > 1. Esta conjetura resultó ser falsa. El contraejemplo más pequeño es n = 906150257, encontrado por Minoru Tanaka en 1980. Se desconoce si L(n) cambia de signo infinitamente.

Definiendo la suma

${\displaystyle M(n)=\sum _{k=1}^{n}{\frac {\lambda (k)}{k}},}$

se especula que en algún momento M(n) ≥ 0 para n ≥ n₀ suficientemente grande (esta conjetura es ocasionalmente -pero incorrectamente- atribuida a Pál Turán). Esta fue refutada por Haselgrove en 1958 (véase la referencia), él mostró que M(n) toma valores negativos infinitas veces. De ser verdad esta conjetura, esta se puede ver como una prueba de la hipótesis de Riemann, como lo mostró Pál Turán.

1. Polya, G., Verschiedene Bemerkungen zur Zahlentheorie. Jahresbericht der deutschen Math.-Vereinigung 28 (1919), 31–40.
2. Haselgrove, C.B. A disproof of a conjecture of Polya. Mathematika 5 (1958), 141–145.
3. Lehman, R., On Liouville's function. Math. Comp. 14 (1960), 311–320.
4. M. Tanaka, A Numerical Investigation on Cumulative Sum of the Liouville Function. Tokyo Journal of Mathematics 3, 187–189, (1980).