Función de Liouville

Función de Liouville

La función de Liouville, denotada por λ(n) y atribuída a Joseph Liouville, es una importante función en teoría de números.

Si n es un entero positivo, entonces λ(n) es definido como:

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

donde la función Ω(n) es el número de factores primos de n, contados con multiplicidad. Véase la (sucesión A008836 en OEIS).

λ es una función completamente multiplicativa dado que Ω(n) es una función aditiva. Debido a que Ω(1) = 0 tenemos que λ(1) = 1. La función de Liouville satisface la siguiente identidad:

\sum_{d|n}\lambda(d)=1\,\! si n es un cuadrado perfecto, y:
\sum_{d|n}\lambda(d)=0\,\! de otro modo.

Series

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

\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

\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 \vartheta_3(q) es la función theta de Jacobi.

Conjeturas

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

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

M(n) = \sum_{k=1}^n \frac{\lambda(k)}{k},

se especula que en algún momento M(n) ≥ 0 para n ≥ n0 suficientemente grande (esta conjetura es ocacionalmente (pero incorrectamente) atribuída 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.

Referencias

  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).

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Función de Möbius — La función de Möbius μ(n), nombrada así en honor a August Ferdinand Möbius, es una función multiplicativa estudiada en teoría de números y en combinatoria. Contenido 1 Definición 2 Propiedades y aplicaciones 2.1 Teoría de números …   Wikipedia Español

  • Función ortogonal — Saltar a navegación, búsqueda En análisis funcional, se dice que dos funciones f y g de un cierto espacio son ortogonales si su producto escalar es nulo. Que dos funciones particulares sean ortogonales depende de cómo se haya definido su producto …   Wikipedia Español

  • Función armónica — En matemáticas, sea f : D → R (donde D es un subconjunto abierto de Rn) una función real de n variables, se la llama armónica en D si sobre D tiene derivadas parciales continuas de primer y segundo orden y satisfacen la ecuación de Laplace… …   Wikipedia Español

  • Función de Green — En matemáticas, una función de Green es una función matemática usada como núcleo de un operador lineal integral y usada en la resolución de ecuaciones diferenciales inhomogéneas con condiciones de contorno especificadas. La función de Green… …   Wikipedia Español

  • Función elíptica — En análisis complejo, una función elíptica es, hablando toscamente, una función definida sobre el plano complejo y periódica en ambas direcciones. Las funciones elípticas pueden ser vistas como generalizaciones de las funciones trigonométricas… …   Wikipedia Español

  • Función elemental — En matemáticas, una función elemental es una función construida a partir de una cantidad finita de exponenciales, logaritmos, constantes, variables, y raíces de ecuaciones mediante composición y combinaciones utilizando las cuatro operaciones… …   Wikipedia Español

  • Joseph Liouville — Joseph Liouville. Nacimiento 24 de marzo de 1809 …   Wikipedia Español

  • Teoría de Sturm-Liouville — En matemáticas, una ecuación de Sturm Liouville, que toma su nombre de Jacques Charles François Sturm (1803 1855) y Joseph Liouville (1809 1882), es una ecuación diferencial lineal de segundo orden de la forma (1) donde las funciones …   Wikipedia Español

  • Teorema de Liouville (análisis complejo) — Para otros teoremas homónimos, véase Teorema de Liouville. En matemáticas, y en particular en el análisis complejo, el teorema de Liouville afirma que si una función es holomorfa en todo el plano complejo y está acotada, entonces es constante.… …   Wikipedia Español

  • Teorema de Liouville — Existen varios teoremas conocidos como Teorema de Liouville atribuidos a Joseph Liouville: En análisis complejo, ver Teorema de Liouville (análisis complejo). En mecánica hamiltoniana, ver Teorema de Liouville (mecánica hamiltoniana). En… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”