¿Qué es la hipótesis de Riemann? El problema del millón de dólares

Pocos problemas matemáticos sin resolver han alcanzado el estatus legendario de la hipótesis de Riemann. Planteada por Bernhard Riemann en 1859, es uno de los siete problemas del Premio del Milenio y cuenta con una recompensa de un millón de dólares para quien presente una demostración correcta.

Lo que hace que este problema sea tan fascinante es que su enunciado es sorprendentemente sencillo:

La parte real de cada cero no trivial de la función zeta de Riemann es 1/2.

Esa es toda la hipótesis.

Sin embargo, esta afirmación aparentemente inocente ha supuesto un reto para generaciones de profesionales de las matemáticas y sigue siendo una de las mayores cuestiones abiertas en ese campo. Más de 160 años después de que Riemann la propusiera, no se ha encontrado ninguna demostración ni ningún contraejemplo.

Llegados a este punto, surge una pregunta lógica: ¿qué es exactamente la función zeta de Riemann, cuáles son sus ceros y por qué debería importarnos dónde se encuentran?

La respuesta reside en una conexión extraordinaria entre las series infinitas, el análisis complejo y los números primos. Oculta entre los ceros de la función zeta hay información sobre la distribución de los números primos, lo que convierte la hipótesis de Riemann en uno de los problemas más influyentes de la teoría moderna de números.

Para entender por qué, primero debemos explorar la extraordinaria función que inspiró la hipótesis.

Desde series infinitas hasta la función zeta de Riemann

Las series harmónicas y el problema de Basilea

La historia comienza con una de las sumas infinitas más sencillas que se puedan imaginar:

$$1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\dots$$

Eq. 1: Editado con MathType

Esta expresión se conoce como la serie armónica. Aunque cada término es cada vez más pequeño, la serie nunca se estabiliza en torno a un valor finito. Por el contrario, crece sin límites. En lenguaje matemático, la serie diverge.

Ahora compárala con una serie ligeramente diferente:

$$1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\dots$$

Eq. 2: Editado con MathType

Esta vez, el resultado es completamente diferente. La serie converge a un valor finito, y Euler demostró, como es bien sabido, que su suma es:

Eq. 3: Editado con MathType

Este logro pasó a conocerse como el «problema de Basilea» y supuso uno de los avances más importantes de las matemáticas del siglo XVIII.

En términos más generales, se estudia la familia de series

Eq. 4: Editado con MathType

A medida que aumenta el exponente n, la serie converge más rápidamente y su valor disminuye. Esto plantea, naturalmente, una pregunta: ¿qué ocurre si el exponente no es un número entero?

Ampliación del exponente a los números complejos

En lugar de utilizar un número entero positivo, supongamos que sustituimos n por un número complejo s. Obtenemos

Eq. 5: Editado con MathType

Esta serie converge siempre que la parte real de s sea mayor que 1.

A primera vista, esto puede parecer una generalización técnica. En realidad, conduce directamente a una de las funciones más importantes de la teoría moderna de números. La función definida por esta serie es el punto de partida de la función zeta de Riemann, que suele escribirse como

Una de las características más destacadas de la función zeta es que transforma una simple suma infinita en una poderosa herramienta capaz de describir propiedades profundas de los números primos.

Por qué la continuación analítica lo cambia todo

La serie que define ζ(s) solo converge cuando la parte real de s es mayor que 1. El gran avance de Riemann consistió en extender la función más allá de esta región mediante una técnica denominada «continuación analítica».

Mediante la continuación analítica, la función zeta puede definirse en casi todo el plano complejo, conservando toda la información contenida en la serie original. Esta extensión es importante porque muchas curiosidades matemáticas populares surgen al confundir la serie original con su continuación analítica.

Por ejemplo, mucha gente ha visto la afirmación

Eq. 6: Edited with MathType

Si se toma al pie de la letra, esto es falso. La serie diverge claramente. Sin embargo, el valor -1/12 aparece al evaluar la continuación analítica de la función zeta de Riemann en s = -1.

Para entender por qué, consideremos la definición original de la función zeta:

Eq. 7: Edited with MathType

Si sustituimos formalmente s = -1, los denominadores se convierten en numeradores:

Eq. 8: Edited with MathType

El problema es que la serie original solo converge cuando la parte real de s es mayor que 1, por lo que esta sustitución queda fuera de su dominio de validez. El valor -1/12 proviene de la continuación analítica de la función zeta, no de la propia suma infinita original.

En otras palabras, la serie original y la función zeta coinciden allí donde la serie converge, pero la continuación analítica extiende la función mucho más allá de ese dominio.

Esta capacidad de trabajar con funciones fuera de su región de definición original es una de las ideas más poderosas del análisis complejo y constituye la base de la propia hipótesis de Riemann.

Las ideas que subyacen a la continuación analítica suelen introducirse en cursos universitarios avanzados, en los que los estudiantes deben trabajar con una notación matemática cada vez más compleja. Ser capaz de escribir y visualizar funciones con claridad cobra especial importancia al estudiar temas como la función zeta de Riemann. Herramientas como MathType ayudan a los docentes y a los estudiantes a comunicar estas expresiones con precisión en entornos de aprendizaje digitales.

Entendiendo la hipótesis de Riemann

Ceros triviales vs ceros no triviales

Una vez que la función zeta se ha extendido al plano complejo, podemos preguntarnos en qué puntos es igual a cero.

En otras palabras, para qué valores de s se cumple que

Eq. 9: Editado con MathType

Estos valores se denominan «ceros» de la función zeta.

Algunos de ellos son fáciles de identificar. Todos los números enteros pares negativos hacen que la función zeta sea nula:

-2, -4, -6, -8, -10…

Se conocen como «ceros triviales». Se derivan de forma natural de la ecuación funcional de la función zeta:

Eq. 10: Editado con MathType

La expresión contiene el factor

Eq. 11: Edited with MathType

Siempre que s sea un entero par negativo, este término del seno se convierte en cero, lo que hace que toda la expresión se anule. Como resultado, los valores y los demás se convierten automáticamente en ceros de la función zeta. Dado que su origen se conoce bien, se denominan «ceros triviales».

El verdadero misterio comienza con todos los ceros restantes.

Estas soluciones se denominan ceros no triviales y contienen la información que, en última instancia, llevó a Riemann a formular su famosa conjetura.

La franja crítica y la línea crítica

Riemann demostró que todo cero no trivial se encuentra dentro de una región específica del plano complejo conocida como la franja crítica:

0 < Re(s) < 1

Este resultado limita inmediatamente la búsqueda a una región relativamente pequeña del plano complejo. Como veremos más adelante, la ubicación de estos ceros desempeña un papel crucial a la hora de comprender cómo se distribuyen los números primos, lo que, en última instancia, explica por qué la hipótesis de Riemann se considera tan importante.

Dentro de la franja crítica se encuentra una recta especialmente importante:

Conocida como la línea crítica.

Cuando Riemann calculó los primeros ceros no triviales de la función zeta, se dio cuenta de que parecían situarse precisamente en esta recta. Los cálculos posteriores realizados a lo largo de las décadas siguientes revelaron una y otra vez el mismo patrón.

Esta observación condujo finalmente a una de las afirmaciones más famosas de toda la matemática.

Como hemos dicho anteriormente, la hipótesis de Riemann afirma lo siguiente:

Todo cero no trivial de la función zeta de Riemann tiene una parte real igual a 1/2.

Esa es la conjetura en su totalidad.

Su simplicidad es parte de lo que la hace tan fascinante. La afirmación en sí misma puede explicarse en unas pocas líneas, pero no se ha encontrado ninguna demostración a pesar de más de un siglo y medio de esfuerzos.

Por qué las personas profesionales en matemáticas creen que la hipótesis es cierta

Las pruebas que respaldan la hipótesis son extraordinarias. De entre todos los problemas matemáticos sin resolver, pocos han acumulado una cantidad tan ingente de pruebas computacionales y teóricas sin haber llegado aún a una demostración completa.

Se han calculado miles de millones de ceros no triviales, y todos y cada uno de ellos se encuentran en la línea crítica. Además, aquellas personas expertas en el tema han demostrado que debe haber infinitos ceros situados allí.

Las investigaciones actuales también han establecido que una proporción significativa de todos los ceros pertenece a la línea crítica. Nunca se ha descubierto ningún contraejemplo.

Sin embargo, las pruebas numéricas nunca pueden sustituir una demostración matemática.

Aunque billones de ceros cumplieran la conjetura, un solo cero fuera de la línea crítica bastaría para que la hipótesis resultara falsa. Por eso el problema sigue abierto a pesar del abrumador respaldo computacional.

Por qué la hipótesis de Riemann trata realmente de los números primos

La notable fórmula del producto de Euler

A primera vista, la función zeta de Riemann parece ser una función de una serie infinita. En realidad, también está profundamente relacionada con los números primos.

Euler descubrió la notable identidad

Eq. 12: Editado con MathType

donde el producto se extiende a todos los números primos.

Esta fórmula es extraordinaria porque conecta dos mundos aparentemente inconexos. Por un lado, hay una suma infinita que incluye todos los números enteros positivos. Por otro lado, hay un producto infinito que incluye únicamente números primos. La identidad revela que la función zeta contiene información sobre todos los números primos al mismo tiempo.

Esta conexión es la razón por la que los teóricos de números conceden tanta importancia a los ceros de la función zeta de Riemann.

La función «cuenta-primos»

Una de las cuestiones más antiguas de la teoría de números se refiere a la distribución de los números primos. Para estudiar este problema, los matemáticos utilizan la función de recuento de primos π(x), que cuenta el número de números primos menores o iguales a x.

Por ejemplo:

Aunque los números primos parecen aparecer de forma irregular cuando se analizan individualmente, su distribución general sigue patrones sorprendentemente predecibles. Uno de los mayores descubrimientos de la teoría de números, el teorema de los números primos, establece que

A medida que x tiende a valores muy grandes.

La función integral logarítmica Li(x) ofrece una aproximación aún más precisa. La diferencia entre ambas funciones puede parecer pequeña, pero comprender este error resulta ser una de las cuestiones más profundas de la teoría de números.

Cómo los ceros de la función zeta determinan la distribución de los números primos

Anteriormente, vimos que todos los ceros no triviales deben encontrarse dentro de la franja crítica. Ahora podemos comprender por qué su ubicación es tan importante.

El error entre π(x) y sus aproximaciones está estrechamente relacionado con la ubicación de los ceros no triviales de la función zeta de Riemann. Si se encontrara un cero lejos de la línea crítica, ese error podría ser significativamente mayor de lo esperado. Si todos los ceros no triviales se encontraran exactamente en la línea crítica, tal y como predice la hipótesis, los matemáticos obtendrían las estimaciones más sólidas que se conocen sobre la distribución de los números primos.

En otras palabras, la hipótesis de Riemann no es meramente una afirmación sobre los números complejos. Es una afirmación sobre la precisión con la que podemos predecir la distribución de los números primos. Esta conexión entre los ceros de la función zeta de Riemann y el comportamiento de π(x) es la razón principal por la que la hipótesis sigue siendo uno de los problemas matemáticos sin resolver más importantes de la investigación moderna.

¿Qué sucede si la hipótesis es verdadera… o falsa?

La importancia de la hipótesis de Riemann va mucho más allá del estudio de la función zeta de Riemann. Una demostración reforzaría muchos resultados de la teoría de números, mejoraría las estimaciones relacionadas con los números primos y proporcionaría nuevas herramientas para el estudio de las funciones aritméticas y las ecuaciones diofánticas. Los investigadores también han descubierto conexiones intrigantes entre los ceros de la función zeta, la teoría de matrices aleatorias y la física matemática, lo que pone de relieve la influencia de la hipótesis en las matemáticas modernas.

Si la hipótesis es cierta

Una demostración confirmaría una de las predicciones más influyentes de la teoría moderna de números.

Los investigadores obtendrían estimaciones más sólidas sobre la distribución de los números primos, muchos teoremas condicionales pasarían a ser incondicionales y nuestra comprensión de las funciones aritméticas mejoraría significativamente.

Y lo que es más importante, los matemáticos comprenderían por fin por qué la línea crítica desempeña un papel tan fundamental en la estructura de la función zeta.

Si la hipótesis es falsa

El descubrimiento de un solo cero no trivial fuera de la línea crítica sería uno de los acontecimientos más sorprendentes de la historia de las matemáticas.

Un resultado así obligaría a los investigadores a reexaminar muchas suposiciones que han guiado la teoría de números durante más de un siglo.

Aunque numerosos resultados matemáticos seguirían siendo válidos, habría que reconsiderar muchas expectativas sobre los números primos.

Cualquiera de los dos resultados transformaría el campo científico.

Un problema que sigue marcando las matemáticas modernas

Más de 160 años después de que Bernhard Riemann publicara su revolucionario artículo, la hipótesis de Riemann sigue siendo uno de los problemas matemáticos sin resolver más famosos de la investigación moderna.

Su enunciado cabe en una sola frase, pero sus consecuencias se extienden por toda la teoría de números, el análisis complejo y la física matemática.

El problema comenzó como una cuestión sobre los ceros de la función zeta de Riemann, pero acabó convirtiéndose en una cuestión sobre la estructura oculta de los propios números primos. Tanto si la hipótesis acaba demostrándose cierta como si resulta falsa, su resolución figurará casi con toda seguridad entre los logros más importantes de la historia de las matemáticas modernas.

Hasta entonces, sigue siendo el desafío definitivo para profesionales de la investigación matemática que buscan comprender uno de los misterios más profundos jamás descubiertos en la teoría de números.