Explicaré un poco el comentario de Robert.
Explicación de Layman: suponga que tiene un grupo de amigos, cada uno con un instrumento que juega a una frecuencia igual a la parte imaginaria de un cero de la función zeta de Riemann. Sabemos que estos instrumentos son todo lo que necesitamos para crear una canción que suene exactamente con los ritmos principales; Si se cumple la hipótesis de Riemann, esta canción se puede crear tocando cada instrumento al mismo volumen .
Matemáticamente: deje que [math] \ pi (x) [/ math] denote el número de primos menor o igual que x. Recuerde la aproximación de Gauss : [matemática] \ pi (x) \ approx \ int_2 ^ x \ frac {1} {\ log t} \, dt [/ math] (también conocida como “probabilidad de que un número n sea primo” es aproximadamente [matemáticas] \ frac {1} {\ log n} [/ matemáticas]).
Riemann mejoró la aproximación de Gauss al descubrir una fórmula exacta [matemática] P (x) = A (x) – E (x) [/ matemática] para contar los números primos, donde
- Cómo demostrar que [math] b_ {n} = b_ {n-1} + b_ {n-2} \ forall n \ geq3 [/ math] donde [math] b_ {n} [/ math] es la secuencia de Números de Lucas usando inducción
- ¿Cuáles son las probabilidades de rodar ojos de serpiente con N dados? (N> 2)
- ¿Cómo demostramos que si p es un número primo y p no es igual a 3, entonces p ^ 2 + 2 es divisible por 3?
- ¿Cuáles son los buenos nombres de bebés que comienzan con la letra ‘N’?
- ¿Cuál es el resto para 2 ^ (48) / 7?
- [matemática] P (x) = \ sum_ {p ^ k <x} \ frac {1} {k} [/ matemática] realiza un recuento ponderado de las potencias primarias menores o iguales que x. [Piense en esto como una generalización de la función de conteo primo. (De hecho, podemos calcular [math] \ pi (x) [/ math] mediante una transformación de Möbius de [math] P (x) [/ math].)]
- [matemáticas] A (x) = \ int_0 ^ x \ frac {1} {\ log t} \, dt + \ int_x ^ {\ infty} \ frac {1} {t (t ^ 2 -1) \ log t} \, dt [/ math] [math] – \ log 2 [/ math] es un tipo de generalización de la aproximación de Gauss.
- [matemáticas] E (x) = \ sum_ {z: \ zeta (z) = 0} \ int_0 ^ {x ^ z} \ frac {1} {\ log t} \, dt [/ math] es un error- factor de corrección que depende de los ceros de la función zeta de Riemann .
En otras palabras, si utilizamos una aproximación simple de Gauss a la distribución de los números primos, los ceros de la función zeta de Riemann se barren después de nuestros errores.
Profundicemos un poco más. En lugar de usar la fórmula de Riemann, voy a usar una versión equivalente [matemáticas] \ psi (x) = (x + \ sum_ {n = 1} ^ {\ infty} \ frac {x ^ {- 2n}} { 2n} – \ log 2 \ pi) – \ sum_ {z: \ zeta (z) = 0} \ frac {x ^ z} {z} [/ math], donde [math] \ psi (x) = \ sum_ {p ^ k \ le x} \ log p [/ math].
(Todavía puede pensar en esto como en algún tipo de [matemática] P (x) = A (x) – E (x) [/ matemática].)
Dado que [math] \ psi (x) [/ math] es una función de paso que salta a las potencias principales, su derivada [math] \ psi ‘(x) [/ math] tiene picos en las potencias primarias y es cero en todas partes . Entonces considera
[matemáticas] \ psi ‘(x) = 1 – \ frac {1} {x (x ^ 2 – 1)} – \ sum_z x ^ {z-1} [/ matemáticas]
Es bien sabido que los ceros de la función zeta de Riemann son simétricos con respecto al eje real, por lo que los ceros (no triviales) vienen en pares conjugados [math] z, \ bar {z} [/ math]. Pero [matemáticas] x ^ {z-1} + x ^ {\ bar {z} – 1} [/ matemáticas] es solo una onda cuya amplitud depende de la parte real de z y cuya frecuencia depende de la parte imaginaria (es decir, , si [matemática] z = a + bi [/ matemática], entonces [matemática] x ^ {z-1} + x ^ {\ bar {z} -1} = 2x ^ {a-1} cos (b \ log x) [/ math]), lo que significa que [math] \ psi ‘(x) [/ math] puede descomponerse en una suma de ondas zeta-cero .
Por ejemplo, aquí hay gráficas de [math] \ psi ‘(x) [/ math] usando 10, 50 y 200 pares de ceros (observe los picos en los números primos y potencias primarias):
Entonces, cuando la hipótesis de Riemann dice que todos los ceros no triviales tienen la parte real 1/2, se plantea la hipótesis de que las ondas zeta-cero no triviales tienen la misma amplitud, es decir, hacen contribuciones iguales para contar los números primos.
En términos poéticos de Fourier , cuando Flying Spaghetti Monster compuso la música de los números primos, construyó las notas a partir de los ceros de la función zeta de Riemann. Si se cumple la hipótesis de Riemann, hizo todas las notas no triviales igualmente fuertes .