Función de von Mangoldt

De testwiki
Ir a la navegación Ir a la búsqueda
Funciones aritméticas

En matemática, la Función de Von Mangoldt es una función aritmética, muy importante en teoría de números, que debe su nombre al matemático alemán Hans von Mangoldt.

Definición

La función de von Mangoldt, normalmente escrita como Λ(n), está definida de la siguiente manera:

Plantilla:Ecuación

Esta función es un ejemplo importante de función aritmética que no es ni multiplicativa ni aditiva.

La función de von Mangoldt cumple la siguiente identidad:[1]

Plantilla:Ecuación

que es, la suma de todos los enteros d que dividen a n. Esto se puede demostrar mediante el teorema fundamental de la aritmética, Puesto que los términos que no son potencias de números primos son igual a 0.

La función de Chebyshov, o función sumatorio de von Mangoldt , ψ(x), está definida en términos de la función de von Mangoldt como:

Plantilla:Ecuación

von Mangoldt dio una demostración rigurosa de una fórmula explícita para ψ(x), utilizando una suma sobre los ceros no triviales de la función zeta de Riemann.[2] Este fue un importante paso para la primera prueba del teorema de los números primos.

Ejemplo

Para el ejemplo, sea n=12.

  • Se obtieme la descomposición en factores primos de 12, 12=22·3, necesaria para el ejemplo.
  • Tomando la suma de todos los divisores d posibles de n:
dnΛ(d)=Λ(1)+Λ(2)+Λ(3)+Λ(4)+Λ(6)+Λ(12)
=Λ(1)+Λ(2)+Λ(3)+Λ(22)+Λ(2×3)+Λ(22×3)
=0+log2+log3+log2+0+0
=log(2×3×2)=log12.
con lo que se muestra que la suma sobre la función de von Mangoldt es igual a log (n).

Relaciones

Series de Dirichlet

La función de von Mangoldt juega un importante rol en la teoría de series de Dirichlet, sobre todo, con la función zeta de Riemann. En particular, se muestra que

logζ(s)=n=2Λ(n)log(n)1ns

para (s)>1. La derivada logarítmica es entonces:

ζ(s)ζ(s)=n=1Λ(n)ns.

Estos son casos especiales de una más general relación con las series de Dirichlet.[1] Si uno define una función como:

F(s)=n=1f(n)ns

para una función completamente multiplicativa f(n), y la serie converge para todo (s)>σ0, entonces

F(s)F(s)=n=1f(n)Λ(n)ns

y converge para (s)>σ0.

Transformada de Mellin

La transformada de Mellin de la función de Chebyshov puede ser obtenida aplicando la fórmula de Perron:

ζ(s)ζ(s)=s1ψ(x)xs+1dx

la cual se cumple para (s)>1.

Véase también

Referencias

Plantilla:Listaref

Enlaces externos

Plantilla:Control de autoridades