La forma en que se suele presentar la hipótesis de Riemann es en términos de maquinaria matemática que no es tan simple. Pero la razón por la que las personas se preocupan por esta maquinaria generalmente se debe a sus implicaciones para la distribución de los números primos. Y la hipótesis de Riemann también puede expresarse directamente en términos de la distribución de los números primos.
Específicamente, se ha entendido durante mucho tiempo que el número de números primos hasta [math] n [/ math] es aproximadamente igual a la integral de [math] \ frac {1} {\ ln (x)} [/ math] up a través de [matemáticas] n [/ matemáticas]. Pero no son exactamente iguales; la diferencia es algún término de error [matemática] E (n) [/ matemática].
La hipótesis de Riemann es que este término de error tiene una tasa de crecimiento del orden de [matemáticas] n ^ {1/2} [/ matemáticas], en el sentido técnico específico de que [matemáticas] \ displaystyle \ lim_ {n \ to \ infty} \ frac {E (n)} {n ^ {1/2 + \ epsilon}} = 0 [/ math] para cualquier positivo [math] \ epsilon [/ math].
Se sabe que este es el “mejor” resultado posible, ya que reemplazar 1/2 con cualquier número menor hace que esta afirmación sea definitivamente falsa. Sin embargo, puede resultar que 1/2 tenga que ser reemplazado por un número mayor.
- Dado coprime [matemática] a, b, c [/ matemática] con [matemática] a ^ 2, b ^ 2, [/ matemática] y [matemática] c ^ 2 [/ matemática] en progresión aritmética con diferencia común [matemática] d [/ math], ¿puede probar (o encontrar un contraejemplo) que [math] a ^ 2 [/ math] y [math] c ^ 2 [/ math] son equivalentes a [math] 1 [/ math] o [matemáticas] 49 [/ matemáticas] mod [matemáticas] 240 [/ matemáticas] y que [matemáticas] b [/ matemáticas] es equivalente a [matemáticas] 1 [/ matemáticas] mod [matemáticas] 4 [/ matemáticas]?
- ¿Cuál es el resto cuando 128 ^ 1000 se divide por 153?
- ¿Cuál es el resto cuando 84 a la potencia 79 se divide por 100?
- ¿Qué es 67 ^ 77 mod 16?
- Considere los enteros pares devueltos por la función totient de Euler enumerados en orden. ¿Hay alguna brecha?
Ahora, como dije, la hipótesis de Riemann generalmente no se expresa de esta manera. Lo que sucedió fue que Riemann (y sus sucesores) construyeron maquinaria que ayudó a comprender la naturaleza de este término de error. Entre otras cosas, se vio que la tasa de crecimiento del término de error está estrechamente relacionada con las ubicaciones de los ceros de una determinada función matemáticamente natural (la función zeta de Riemann). Específicamente, la tasa de crecimiento del término de error estará en el orden de [math] n ^ k [/ math] para cualquier [math] k [/ math] que sea el supremum de los componentes reales de ceros de la función zeta de Riemann ( y todos los ceros interesantes se ubican simétricamente alrededor de la línea con el componente real 1/2), de modo que la hipótesis habitual de la hipótesis de Riemann es que los ceros (interesantes) de la función zeta de Riemann tienen el componente real 1/2. Pero solo equivale a lo mismo que la afirmación anterior sobre la aproximación del recuento primo.
En caso de que le importe cuál es la función zeta de Riemann, dicho sea de paso: considere la función [matemáticas] F (x, s) = \ displaystyle \ sum_ {n = 0} ^ {\ infty} x ^ nn ^ {- s }[/matemáticas]. Esta serie converge absolutamente siempre que [matemáticas] | x | <1 [/ matemáticas]. Podemos extender por continuidad para obtener valores de [math] F (-1, s) [/ math] para arbitrariamente [math] s [/ math] también (es decir, como [math] \ displaystyle \ lim_ {x \ a -1} F (x, s) [/ matemáticas]). Además, si [math] s [/ math] tiene un componente real suficientemente grande (específicamente, mayor que [math] 1 [/ math]), encontramos que [math] F (1, s) [/ math] converge, y de hecho es igual a [matemática] F (-1, s) / (1 – 2 ^ {s – 1}) [/ matemática] (esta ecuación es sencilla al considerar [matemática] F (1, s) – F ( -1, s) [/ math]), por lo que podemos definir [math] F (1, s) [/ math] de manera más general de esta manera (nuevamente, extendiéndose por continuidad para manejar los casos donde el denominador en esta división se convierte en cero).
La función zeta de Riemann es [matemática] F (1, s) [/ matemática], y Riemann y sus sucesores demostraron una fórmula para contar primos en términos de las propiedades de esta función, y específicamente sus ceros. Por supuesto, dado que [matemática] F (1, s) = F (-1, s) / (1 – 2 ^ {s – 1}) [/ matemática], estos ceros son básicamente los mismos que los ceros de [matemática ] F (-1, s) [/ math] (la llamada función Dirichlet eta), que, como vimos anteriormente, podría considerarse un poco más fácil de definir formalmente en primer lugar.
Para obtener más información sobre cómo estas funciones se relacionan con el recuento de primos, bueno, lo guardaré para otra publicación …