Hace unos días, Terence Tao hizo público un resultado que representa un paso importante para acercarse a la demostración de la conjetura de Goldbach. Aprovechando la ocasión Rafael Tesoro se ha ofrecido para resumirnos varios resultados relacionados con el estudio de este famoso problema.

Multiplicando los números primos se forman todos los números enteros positivos, pero, ¿qué ocurre si los sumamos?

Leonhard Euler mantuvo una extensa correspondencia con Christian Goldbach. Con fecha 30 de junio de 1742 escribe:

[...] que todo número que es resoluble como [suma] de dos primos puede [a su vez] ser representado como [suma] de tantos primos como se quiera, puede ser ilustrado y confirmado por una observación, misma que usted me comunicó formalmente, concretamente, que todos los números pares son suma de dos primos [...] Sin embargo que todo número par sea la suma de dos números primos, lo que considero un teorema correcto, es algo que no puedo demostrar.

Estas palabras de Euler marcan el inicio de las referencias a lo que hoy se conoce como conjetura de Goldbach. El tío Petros, protagonista de la novela de Apostolos Doxiadis (v. referencia [D] más abajo) descarta intentar tanto la hipótesis de Riemann como el último teorema de Fermat y elige esforzarse durante toda una vida por desentrañar la elusiva dificultad de este problema.

Se conjetura que la cantidad de representaciones se aproxima con la fórmula

en donde (a) el símbolo significa similitud entre los dos miembros siempre y cuando sea suficientemente grande, (b) es un número fijo (conocido como “la constante de los primos gemelos”) y (c) denota el valor de cierto producto en el que intervienen los factores primos del entero . Como ejemplo, notamos que comprobando así que , es decir, el número par se representa de dos maneras con 2 sumandos primos. Esta ciberpágina ayuda a encontrar las representaciones de cualquier número concreto.

Parafraseando a Euler, hoy se “considera correcta” la conjetura 1, aunque no se podido demostrar…todavía. En el ascenso hacia la cumbre sí se han alcanzado varias cotas impresionantes como el

En este caso sí se sabe aproximar la cantidad de representaciones:

en donde es una cierta función de con . ¡Salta a la vista la similitud con la fórmula de la conjetura 1 anterior!

¡No podrá probar la conjetura de Goldbach con judías, amigo! – dijo en tono áspero y zafio, evidentemente parodiando a Littlewood. (v. [D, página 143])

Aparte del incierto “método de las judías” del tío Petros, hay dos líneas de aproximación principales con las que diversos matemáticos han conseguido arduos éxitos parciales.

(1) Los métodos de criba han cosechado importantes avances entre los que destacan los dos teoremas siguientes.

Esto se parece mucho a la Conjetura 1, salvo que el segundo sumando casi es un primo. Se llama casiprimo a un entero que es o bien un primo auténtico o bien el producto de dos primos (por ejemplo 10 y 14 son casiprimos).

(2) El método del círculo de Hardy-Littlewood, completado con otras técnicas apropiadas que él añadió, permitió a Ivan Vinogradov conseguir el Teorema 2 sobre ternas de primos. Esta “caja de herramientas” se ha usado con importantes éxitos también en otros problemas de teoría de números. Sin embargo, actualmente parece inverosímil que con esta línea de ataque se alcance la cumbre de la Conjetura 1. Ahora bien, no ha perdido todo su fuelle. Apoyándose en el método del círculo, Terence Tao ha elevado el listón muy recientemente.

Tao resume este trabajo en su blog: Every odd integer larger than 1 is the sum of at most five primes.

El método del círculo

El método del círculo de Hardy-Littlewood aprovecha la máxima ‘divide y vencerás’. Intentaremos dar una idea sucinta acerca de cómo se pone a rodar para el caso particular de tres sumandos primos.

El objeto de deseo es aproximar el valor de . En primer lugar se cambia el escenario del juego consiguiendo recuperar esta función como una integral

lo que nos pone en la ventajosa situación de tener que estimar integrales, un terreno relativamente conocido. Ahora se parte el intervalo de integración en dos trozos denominados arcos mayores y arcos menores con el propósito de utilizar en cada trozo estrategias distintas.

Dentro de se encuentra una segunda función parecida a y fácil de integrar. Al integrarla se obtiene una contribución que (siempre y cuando sea suficientemente grande) es mayor que una constante positiva (en el Teorema 2 se trata de ).

En la otra parte y para el caso de sumas de tres primos Vinogradov consiguió demostrar que la contribución de la integral tomada sobre esta parte se esfuma al compararla con la parte principal que emergió tras el estudio de los arcos mayores. De modo que los arcos menores hacen honor a su apellido. En lenguaje matemático la conclusión es

en donde el factor de la derecha del todo, entre paréntesis, tiende a cuando .

Para más detalles se puede consultar Hardy–Littlewood circle method o bien el capítulo 2 de la ref. [T].

* * *

Concluimos exhibiendo otro resultado de carácter más estadístico. Previamente mencionamos un valor que permite comparar cuantitativamente subconjuntos infinitos. Se trata del concepto de densidad asintótica de un subconjunto de los enteros positivos, y se define como el siguiente límite (si existe)

en donde cuenta los elementos de que son menores o iguales que . La densidad de cualquier conjunto finito es . En los conjuntos de infinitos enteros positivos la densidad toma valores entre y . Por ejemplo, la densidad de(l conjunto de todos) los cuadrados es , la de los pares (y también la de los impares) es . Más enjundia tiene el hecho de que la densidad del conjunto de los primos es .

Pues bien, denotemos ahora por a la cantidad de enteros pares menores o iguales que que incumplen la condición de la Conjetura 1. Usando el método del círculo se ha demostrado

Esto es:

lo que cabe interpretar en el sentido de escasez de incumplimientos: o bien las excepciones son una cantidad finita o son tan escasamente infinitas como los cuadrados o como los primos. Si la Conjetura 1 es cierta sólo habría una excepción: , i.e. .

Algunas referencias en español

[G-O] Guevara Bravo, J. y Ojeda Uresti, J. ¿Formuló Goldbach la conjetura de Goldbach?
Ciencias, enero-marzo, número 081, 2006.

[D] Doxiadis, Apóstolos El tío Petros y la conjetura de Goldbach. ZETA www.zetabolsillo.com, 4ª reimpresión 2011.

[T] T. , R. Sumando primos…¿hay tres sin dos? 2011, que se resume en esta presentación.

Rafael Tesoro es licenciado en Matemáticas por la Universidad Autónoma de Madrid y ha completado el “Máster de Matemáticas y Aplicaciones” de la propia UAM. Su trabajo de fin de máster estuvo relacionado con el teorema de los tres primos de Vinogradov, supervisado por Fernando Chamizo. En la actualidad es estudiante de doctorado en la UAM bajo la supervisión de Javier Cilleruelo (sí, “nuestro” Javier Cilleruelo).

Rafael Tesoro fue, como yo, uno de los que presentaron un desafío RSME-El País, concretamente el desafío 33: Una azarosa taba.

La foto de Vinogradov la he tomado de aquí y la de Jingrun de aquí (Rafael, gracias por los enlaces).