Fórmula explícita

En matemática, la fórmula explícita para funciones L son un conjunto de ecuaciones que relacionan sumas sobre «ceros complejos» o «no triviales» de una función L con sumas sobre potencias de primos, introducida por primera vez por Bernhard Riemann para la función zeta de Riemann. Tales fórmulas explícitas también han sido aplicadas a otras ramas de de la matemática como pueden ser cuestiones sobre los límites de discriminantes del campo de los números algebraicos.

Fórmula Explícita de Riemann

En su ensayo de 1859, Sobre los números primos menores que una magnitud dada, Riemann encontró una fórmula explícita para la cantidad de números primos menores π(x) que un número dado x. Su fórmula estaba dada en términos de la siguiente función:^[1]

$f(x) =\pi(x)+\frac{1}{2}\pi(x^{1/2})+\frac{1}{3}\pi(x^{1/3})+\cdots$

la cual cuenta números primos dónde la potencia de un primo pⁿ se cuenta como 1/n de éste. El número de primos puede ser recuperado de esta función, utilizando la fórmula de inversión de Möbius:

$\pi(x) = \sum_n\mu(n)f(x^{1/n})/n = f(x) -\frac{1}{2}f(x^{1/2})-\frac{1}{3}f(x^{1/3}) - \cdots.$

La fórmula de Riemann entonces es:

$f(x) = \operatorname{Li}(x) - \sum_\rho \operatorname{Li}(x^\rho) -\log(2) +\int_x^\infty\frac{dt}{t(t^2-1)\log(t)}$

involucrando una suma sobre los «ceros no triviales» ρ de la función zeta de Riemann. La suma no es absolutamente convergente, pero puede ser evaluada tomando los ceros, en el sentido del valor absoluto de la parte imaginaria de éstos. La función Li que se presenta en el primer término de la ecuación se refiere concretamente a la función logaritmo integral (no desplazada) dada por el valor principal de Cauchy de la integral divergente

$\operatorname{Li}(x) = \int_0^x\frac{dt}{\log(t)}.$

Los términos Li(x^ρ) involucrando los ceros de la función zeta necesitan cierto cuidado en su definición, puesto que Li tiene una gama de puntos en 0 y 1. Los valores son definidos por continuación analítica de la función Li de variable compleja ρ, en la región x>1 y Re(ρ)>0. Los otros términos también corresponden a ceros: el término dominante Li(x) proviene del polo en s = 1, considerado como un cero de multiplicidad −1, y el resto de términos pequeños provienen de los «ceros triviales».

En esencia, esta fórmula dice que los ceros de la función zeta de Riemann controla las oscilaciones de los números primos alrededor de sus «posiciones esperadas». (Para ver gráficos de las sumas de los primeros pocos términos de estas series, consultar Zagier, 1977.)

Una variación más simple de la fórmula de Riemann, usando la función de Chebyshov ψ en vez de π es^[2] ^[3]

$\psi(x) =x-\sum_\rho\frac{x^\rho}{\rho} - \log(2\pi) -\log(1-x^{-2})/2$

donde para un x no entero, ψ(x) es la suma de log(p) sobre todas las potencias primas pⁿ menores que x.

Véase también

Referencias

↑ Riemann, Bernhard (1859). «Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse». Consultado el 29 de diciembre de 2008.
↑ Weisstein, Eric W. «Explicit Formula» (en inglés). MathWorld. Wolfram Research..
↑ Stopple, Jeffrey (2008). «Riemann's explicit formula & music of the primes.». Consultado el 17 de mayo de 2010.

Categoría:

Funciones Zeta y L

Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

Fórmula de Tanaka — En el cálculo estocástico, la fórmula de Tanaka afirma que: donde Bt es el movimiento browniano estándar, sgn es la función signo y Lt es su tiempo local en 0 (el tiempo local empleado por B en 0 antes del tiempo t) dado por el límite L2 … Wikipedia Español
Sucesión de Fibonacci — Gráfica de la sucesión de Fibonacci hasta f10 En matemática, la sucesión de Fibonacci es la siguiente sucesión infinita de números naturales: La sucesión inicia con … Wikipedia Español
Ejemplos de funciones generadoras — Saltar a navegación, búsqueda Los siguientes ejemplos de funciones generadoras se presentan siguiendo el espíritu de George Pólya, que abogaba por el aprendizaje de las matemáticas haciendo y repasando tantos ejemplos y pruebas como fuese posible … Wikipedia Español
Números de Stirling de segunda especie — En matemáticas, los Números de Stirling de segunda especie, junto con los Números de Stirling de primera especie, son uno de los dos tipos de Números de Stirling. Comúnmente aparecen en el estudio de la combinatoria, en la que se cuenta el número … Wikipedia Español
Hipótesis de Riemann — Parte real (rojo) y parte imaginaria (azul) de la línea crítica Re(s) = 1/2 de la función zeta de Riemann. Pueden verse los primeros ceros no triviales en Im(s) = ±14,135, ±21,022 y ±25,011 … Wikipedia Español
Función de Chebyshov — En matemáticas, la función de Chebyshov es alguna de dos funciones relacionadas. La primera función de Chebyshov ϑ(x) o θ(x) se expresa como: con el sumatorio comprendiendo todos los números primos p menores que x. La segunda función de Chebyshov … Wikipedia Español
Función polilogarítmica — El polilogaritmo (también conocido como función de Jonquière) es una función especial definida por la siguiente serie: Esta no es, en general, una función elemental, aunque esté relacionada con la función logarítmica. La definición dada arriba es … Wikipedia Español
Coeficiente binomial — Los coeficientes binomiales o números combinatorios son una serie de números estudiados en combinatoria que indican el número de formas en que se pueden extraer subconjuntos a partir de un conjunto dado. Sin embargo, dependiendo del enfoque que… … Wikipedia Español
Matriz de adjuntos — En la terminología matemática moderna, se denomina matriz adjunta a la matriz conjugada traspuesta.[1] Dada una matriz cuadrada A, su matriz de adjuntos o matriz de cofactores cof(A) es la resultante de sustituir cada término aij de A por el… … Wikipedia Español
Integración — La integral definida de una función representa el área limitada por la gráfica de la función, con signo positivo cuando la función toma valores positivos y negativo cuando toma valores negativos. Para otros usos de este término, véase Integración … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Fórmula explícita