La hipótesis blanda de Riemann

Anoche mientras me entretenía con algunas sumas parciales de la función zeta de Riemann, me di cuenta de algo muy curioso, cuyo enunciado voy escribir seguidamente a modo de conjetura (hipótesis): Si para la suma parcial

el número complejo siguiente es una de sus raíces (ceros), z₁ = σ + it, entonces este otro número complejo, z₂, escrito en función del primero, posee la misma parte real:

Mi conjetura es que sólo si z₁ es un cero de ζ_N, entonces

A esta conjetura la llamo la Hipótesis blanda Riemann, y la vamos a ver en acción con dos sencillos ejemplos numéricos: Sea la siguiente ecuación:

y uno de sus ceros, hasta una precisión de 50 decimales, es:

. Por lo tanto el número z₂ será:

Para la siguiente ecuación:

sabemos que uno de sus ceros, hasta una precisión de 50 decimales, es:

. Por lo tanto el número z₂ será:

Saludos

Los ceros de las sumas parciales de la función zeta de Riemann cerca del inframundo

¿Sabes resolver la siguiente ecuación donde s es una variable compleja?:

(1)

Esta ecuación es en claro ejemplo de ecuación trascendente, y no posee solución analítica (que sepamos). El lado izquierdo de esta ecuación es una suma parcial de tres sumandos de la función Zeta de Riemann, o lo que es lo mismo, un harmónico generalizado de orden 3:

(2)

En el límite n ? 8, el harmónico generalizado converge hacia la función Zeta de Riemann:

(3)

Se ve a simple vista que el lado izquierdo de esa ecuación es una suma de exponenciales, es decir, no es un polinomio. Pero, podemos expresarlo mediante serie de potencias, por ejemplo, mediante series de Taylor, así:

He investigado algo esto y he visto que todo harmónico generalizado se puede expresar así:

(4)

Esto significa que la función Zeta de Riemann puede escribirse de la siguiente forma:

(5)

Pero, intentemos saber cómo resolver la primera ecuación que escribí, la (1): Si la variable es compleja entonces esa ecuación posee infintas raices o ceros, y dos de esos ceros son (con alta precisión en número de dígitos) estos:

Esos dos ceros, z₁ y z₂, son dos números irracionales, y presumíblemente sus infinitos ceros también lo sean.

Pero, intentemos contestar a la pregunta con la que abría este post. ¿Sabes resolver la siguiente ecuación donde s es una variable compleja?:

Esa ecuación al ponerla en forma polinómica, posee grado infinito, como hemos visto arriba. Pero, ¿qué podemos decir de esta otra ecuación?:

(6)

Esta ecuación parece más tratable de resolver analíticamente, ¿no?. Su raíces serían estas tres (una real y dos complejas):

La pregunta del millón es la siguiente. ¿Existe algún álgebra tal que podamos transformar la ecuación analíticamente intratable (1) en otra más tratable que se parezca mucho en la forma a la (6)?. La respuesta es sí. Afortunadamente, las bases para ese tipo de álgebra ya la descubrí anteriormenete en lo que llamé aritmética del inframundo y del ultramundo.

Partimos de la ecuación (1). y la expresamos mediante exponenciales de esta forma

ahora pasamos el 1 al lado derecho y aplicamos logaritmo neperiano en ambos lados:

y observamos que el lado izquierdo es literalmente la definición de infra-suma de grado -1, con lo cual nuestra ecuación inicial (1) queda al final así:

(7)

Si este álgebra poseyera las mismas propiedades que el álgebra de grado 0 convencional, podríamos atisbar una solución para esta última ecuación (7), recordando que la multiplicación de grado -1 es la suma convencional de grado 0. Así, sacando factor común (-x) y despejándola en el lado izquierdo, obtendríamos una hipotética solución de x:

(8)

Pero, sabemos que la ecuación (1) posee infinitas raíces (ceros), por lo tanto, la solución (8) debería incluir los infinitos cíclos mediante los múltiplos de iπ. Así, una hipotética solución podría ser como la siguiente (aunque puede demostrarse fácilmente que esta solución que presento es incorrecta):

Saludos

Mejorando el método de Newton-Raphson para el cálculo aproximado de raices (ceros) de una función

El otro día, mientras probaba el método de Newton-Raphson, se me ocurrió que quizás podría mejorarlo un poco. Este método se usa para el cálculo aproximado de las raíces de una función f(x), y es el siguiente:

(1)

Donde f ‘(x) es la primera derivada de f(x). Es decir, partimos de un punto fijo x_n, que suponemos está cerca de una de las raices, y desde él iteramos tantas veces como deseemos hasta aproximarnos más a dicha raíz. Este método tiene el riesgo de que las iteraciones no converjan hacia ninguna raíz, y por lo tanto resulte ineficaz para algunas funciones. Supongamos que queremos hallar alguna raíz de la función f(x) = 3x⁴ + x² – 2 y aplicamos seis veces la iteracíon del método de Newton-Raphson partiendo del punto x₀ = 1, y si calculamos con una precisión de 40 dígitos, tendremos:

los dígitos correctos están subrayados.

A continuación presento la mejora que hice para este método de Newton-Raphson:

(2)

Donde f ”(x) es la segunda derivada de f(x). Obviamente esta mejora debería de funcionar para f ”(x_n) ≠ 0. Hagamos el cálculo para la función anterior usando esta mejora:

Vemos cómo con esta mejora la iteración converge más rápidamente hacia la raíz. En concreto, para este ejemplo, vemos cómo a partir de x₃ la aproximación sobrepasa con creces la precisión de 40 digitos.

Pero, ¿Cómo he obtenido la ecuación de mejora (2)?. La serie de Taylor de la función f(x) centrada en x_n es

Si evaluamos para x_n+1 obtenemos

Como para el cálculo de las raices f(x_n+1) debe ser igual a 0, si consideramos hasta el término cuadrático, tendremos

Y resolviendo esa ecuación cuadrática para x_n+1, tendremos:

(3)

Observemos el signo ± delante de la raíz cuadrada del discriminante. Ese signo ± quiere decir que tenemos dos posibles caminos de iteración en la mejora de este método, y los dos deben conducir a una buena aproximación de una de las raices de la función. Obviamente, si en la serie de Taylor consideramos sólo hasta el termino cuadrático excluido, obtenemos el método original de Newton-Raphson. Podríamos considerar mejoras hasta el término cúbico o grados superiores, y veríamos cómo la rapidez de convergencia (o divergencia) aumentaría notablemente.

Este método de Newton-Raphson también puede extenderse a funciones de variable compleja. Así, si partimos de un punto fijo del plano complejo, veríamos cómo sus siguientes puntos de dicho plano, al ir aplicando la iteración, se aproximarían a un punto atractor, el cual sería una de las raíces (ceros) de esa función compleja.

AL MENOS DOS QUINTOS DE LOS CEROS DE LA FUNCIÓN ZETA DE RIEMANN ESTÁN EN LA LÍNEA CRÍTICA

El siguiente artículo es una traducción que he hecho del documento titulado “AT LEAST TWO FIFTHS OF THE ZEROS OF THE RIEMANN ZETA FUNCTION ARE ON THE CRITICAL LINE“, cuyo autor es J. B. CONREY para la AMERICAN MATHEMATICAL SOCIETY. Exactamente el documento original puede encontrarse en BULLETIN (New Series) Volume 20, Number 1, January 1989. Y he añadido dos apéndices de mi cosecha para completar el post.

J. B. CONREY

La función zeta de Riemann, ζ(s), se suele expresar para una variable compleja s = σ + it de la siguiente forma:

En teoría de números es de crucial importancia la distribución de los ceros complejos de la función zeta de Riemann, ζ(s). Todos esos ceros caen dentro del intervalo 0 < σ < 1, y están simétricamente localizados por el eje real y por la línea crítica σ = 1/2. Riemann conjeturó en 1859 que todos esos ceros complejos están en la línea crítica; esa conjetura está aún sin probar, y es conocida como la Hipótesis de Riemann.

El número de ceros de ζ(s) en la región 0 < t < T de la banda crítica se expresa como N(T) y asintóticamente se ofrece así:

cuando T ? ∞. En 1942 Selberg ^[8] probó que una proporción positiva de los ceros de ζ(s) están en la linea crítica; es decir, si N₀(T) es el número de ceros de ζ(s) en el intervalo 0 < t < T que están en la línea crítica, entonces el resultado de Selberg nos dice que

donde κ es la proporción de ceros de ζ(s) que están en la línea crítica. (Fijémonos en que κ = 1 no implica la Hipótesis de Riemann.). Selberg no nos ofreció una cota numérica mínima para κ.

En 1973 Levinson ^[7] desarrolló un método nuevo y pudo probar que κ > 1/3. Heath-Brown ^[5] se dió cuenta, e independientemente de Selberg, de que el método de Levinson prueba como cierta la proposición más fuerte de que al menos 1/3 de los ceros de ζ(s) son simples y están en la linea crítica.

Nosotros extendemos el método de Levinson para probar el siguiente teorema:

TEOREMA 1. Al menos 2/5 de los ceros de ζ(s) son simples y están en la línea crítica.

El método de Levinson depende de la abilidad de ofrecer una fórmula asintótica para la media cuadrática en un segmento de linea vertical (a + it : T ≤ t ≤ 2T)) de una combinación lineal de ζ(s) y sus derivadas multiplicadas por un molificador (aproximación a la identidad)

Aquí y los coeficientes de molificador se dan con:

donde μ es la función de Möbius y P es un polinomio que satisface P(0) = 0 y P(1) = 1.

En el teorema de Levinson , la longitud y del molificador puede ser tan larga como T ^{1/2 – ε} para un ε > 0 fijo y las apropiadas asíntotas pueden ser deducidas. La principal característica nueva del Teorema 1 es que y = T ^{4/7 – ε} es admisible para cualquier ε > 0. El trabajo de Deshouillers y Iwaniec ^[4] sobre promedios de sumas de Kloosterman juega un papel crucial aquí. Su trabajo se basa en parte en la fórmula de la traza de Kuznetzov, la cual relaciona sumas de sumas Kloosterman con coeficientes de Fourier de las formas cuspidales de Maass.

Nuestro trabajo también implica dos resultados de densidad para los ceros de ζ(s) que son fuertes cerca de σ = 1/2. Sea N(σ, T) el número de ceros ρ = β + iγ de ζ(s) para los que β ≥ σ y 0 < t ≤ T.

TEOREMA 2. Para cualquier ε > 0 tenemos que

uniformemente para σ ≥ 1/2.

Este teorema mejora el resultado de Jutila ^[6].

TEOREMA 3. Tenemos

cuando T ? ∞.

Con esto perfeccionamos un poco el resultado de Balasubramanian, Conrey, y Heath-Brown ^[1].

Los detalles de la prueba del Teorema 1 están en [3].

Referencias

1. R. Balasubramanian, J. B. Conrey, and D. R. Heath-Brown, Asymptotic mean square of the product of the Riemann zeta-function and a Dirichlet polynomial, J.Riene Angew. Math. 357(1985), 161-181. 2. J. B. Conrey, Zeros of derivatives of Riemann’s xi-function on the critical line, J. Number Theory 16(1983), 49-74. 3. , More than two-fifths of the zeros of Riemann’s zeta-function are on the critical line, preprint. 4. J.-M. Deshouillers and H. Iwaniec, Kloosterman sums and Fourier coefficients of cusp forms, Invent. Math. 70 (1982), 219-288. 5. D. R. Heath-Brown, Simple zeros of the Riemann zeta-function on the critical line, Bull. London Math. Soc. 11 (1979), 17-18. 6. M. Jutila, Zeros of the zeta-function near the critical line, Studies in Pure Mathematics, to the memory of Paul Turan, pp. 385-394 (Birkhâuser, Basel Stuttgart, 1982). 7. N. Levinson, More than one-third of the zeros of Riemann’s zeta-function are on o = 1/2, Adv. Math. 13 (1974), 383-436. 8. A. Selberg, On the zeros of Riemann’s zeta-function, Skr. Norskevid. Akad. Oslo 10 (1942), 1-59. 9. E. C. Titchmarsh, The theory of the Riemann zeta-function, (2nd ed.) Clarendon Press,Oxford, 1986.

Apéndice 1 Ceros de la función zeta de Riemann

Apéndice 2 Ramachandran Balasubramanian es uno de los genios vivos de las matemáticas, aunque no llega a la talla de Ramanujan (nadie llega a la talla de Srinivasa Ramanujan). Nació el 15 de Marzo de 1951, y es el actual director del Instituto de Ciencias Matemáticas en Chennai, India. Es principalmente conocido por sus profundas contribuciones a la Teoría de Números, que incluye la solución al número final g(4) del problema de Waring en 1986. Sus trabajos en momentos de la función zeta de Riemann son muy apreciados, y fue conferenciante plenario por la India en el ICM de 2010. Y fue becario del Institute for Advanced Study en Princeton durante 1980-81.

Conozcamos un poco a este curioso personaje dando una charla en unas jornadas conmemorativas del 50º aniversario de la creación del Instituto de Ciencias Matemáticas en Chennai. https://www.youtube.com/watch?v=8ikdhYCv_Q0

Saludos 🙂

Dos nuevas extensiones de la función Zeta de Riemann

La forma clásica de la función zeta de Riemann es

donde n son los sucesivos números naturales y s es una variable compleja. Podemos extender esa función zeta así,

donde son sucesivos números complejos de parte real y parte imaginaria enteras positivas, contados según la pairing function de Cantor. Es decir, podemos asociar a cada par de números enteros positivos (n.m) un único número k, de forma que podemos siempre expresar k en función de n y m, o hallar n y m desde k,

O sea, m será la parte real del número complejo z y n será la parte imaginaria. Con lo cual podemos escribir la función zeta extendida así,

Por otro, lado también podemos extender la función zeta de Riemann mediante su fasor,

siempre que sea un número entero definido mediamte una función de pairing. Es decir, , donde m y n son enteros positivos que corren mediante función de pairing de Cantor. Y en el caso más partícular donde , tendremos

donde obviamente sigue siendo función de los enteros positivos m y m, que a su vez son numerados mediante otro entero positivo k.