🔢 mathematics

Real exponential sums over primes and prime gaps

Ce papier prétend prouver que pour tout $0 < \lambda < 1$ , le nombre de nombres premiers dans l'intervalle court $(x, x + x^\lambda]$ est asymptotiquement égal à $\frac{x^\lambda}{\log x}$ , résolvant ainsi de longues conjectures sur la distribution des nombres premiers, telles que la conjecture de Legendre.

Auteurs originaux : Luan Alberto Ferreira

Publié 2026-05-08

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Luan Alberto Ferreira

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous marchiez le long d'une route très longue et sombre, faite de nombres. Éparpillés le long de cette route se trouvent des pierres spéciales appelées nombres premiers (comme 2, 3, 5, 7, 11, etc.). Depuis longtemps, les mathématiciens tentent de répondre à une question simple : Si vous faites un petit pas en avant sur cette route, trouverez-vous certainement une nouvelle pierre première ?

Ce document, rédigé par Luan Alberto Ferreira, prétend avoir trouvé une réponse affirmative définitive pour un type spécifique de pas, résolvant ainsi une énigme qui a déconcerté les mathématiciens pendant des décennies.

Voici le déroulement du voyage du document, utilisant des analogies simples :

1. L'Objectif : Trouver des Premiers dans de Courts Intervalles

L'auteur souhaite prouver que si vous vous tenez à un très grand nombre $x$ et regardez devant vous sur une distance de $x^\lambda$ (où $\lambda$ est un nombre compris entre 0 et 1), vous trouverez un nombre prévisible de nombres premiers.

L'Analogie : Imaginez que la route est si longue que les pierres (les nombres premiers) s'éloignent les unes des autres à mesure que vous avancez. La question est : si vous faites une « courte » promenade (une distance qui est une fraction de votre position actuelle), trouvez-vous toujours une pierre ?
L'Affirmation : Le document prouve que pour n'importe quelle taille de « court » pas définie par $x^\lambda$ , le nombre de nombres premiers que vous trouvez est approximativement égal à la longueur de votre pas divisée par le logarithme naturel de votre point de départ. Cela confirme que les nombres premiers sont distribués de manière suffisamment régulière pour que vous ne restiez jamais trop longtemps sans en trouver un.

2. Le Problème : Le Poids « Juste »

Pour prouver cela, l'auteur utilise une méthode inspirée d'un mathématicien célèbre nommé Newman. La méthode de Newman est comme un détecteur de métaux pour les nombres premiers. Pour faire fonctionner ce détecteur de métaux, vous devez attacher un « poids » spécifique à chaque pierre première.

Les Tentatives Échouées :
- Trop Léger : L'auteur a d'abord essayé d'utiliser des poids simples (comme le nombre lui-même). C'était comme utiliser un aimant faible ; il ne pouvait pas détecter les pierres dans les courts intervalles car le signal était trop faible.
- Trop Lourd : Ensuite, l'auteur a essayé d'utiliser des poids exponentiels (comme $e^p$ ). C'était comme utiliser un aimant alimenté par l'énergie nucléaire ; il était si puissant qu'il submergeait le détecteur, rendant impossible la distinction du motif spécifique des courts intervalles.
La Solution : L'auteur a trouvé le poids « juste ». C'est une formule spéciale qui croît plus vite qu'un polynôme mais plus lentement qu'une exponentielle complète. C'est un poids « ni trop, ni trop peu » qui amplifie le signal des nombres premiers dans les courts intervalles sans noyer les détails.

3. La Méthode : L'Algorithme « Newman »

Le document adapte un algorithme en 10 étapes créé à l'origine par Newman pour prouver le Théorème des Nombres Premiers (qui décrit la distribution générale des nombres premiers). L'auteur modifie cet algorithme pour qu'il fonctionne avec ces « courts intervalles » spécifiques.

Le Tour de Magie (La Fonction de Poids) : L'auteur définit une fonction spéciale $w(x)$ qui attribue une valeur à chaque nombre premier. En additionnant ces valeurs jusqu'à un certain point, ils créent un « score cumulatif » ( $W(x)$ ).
La Preuve : Le document montre que ce score cumulatif se comporte exactement comme une courbe lisse et prévisible ( $e^{cx^{1-\lambda}}$ ). Parce que le score correspond parfaitement à la courbe, cela force la conclusion que le décompte réel des nombres premiers doit également correspondre à la densité attendue.

4. L'Obstacle Technique : Le Mur de la « Singularité »

La partie la plus difficile de la preuve (étapes 8 à 10) implique des mathématiques complexes appelées prolongement analytique.

L'Analogie : Imaginez essayer de traverser un pont qui a un trou au milieu (une « singularité » mathématique ou un point où les mathématiques s'effondrent).
La Correction : L'auteur a d'abord essayé de sauter par-dessus le trou en utilisant une « dérivée seconde » (une deuxième étape), mais le pont était encore trop instable. La percée est venue lorsque l'auteur a décidé de faire une troisième étape (une dérivée troisième). Cette étape supplémentaire a agi comme un stabilisateur, lissant les bords rugueux des mathématiques et permettant à la preuve de traverser le vide en toute sécurité. Cela a permis à l'auteur de prouver le résultat sans avoir besoin de supposer la fameuse « Hypothèse de Riemann » (un problème massif et non résolu en mathématiques).

5. Les Résultats : Des Conjectures Anciennes Résolues

Puisque l'auteur a prouvé que les nombres premiers sont garantis d'apparaître dans ces courts intervalles, plusieurs anciennes et célèbres conjectures sur les nombres premiers sont désormais prouvées vraies (du moins pour des nombres très grands) :

La Conjecture de Legendre : Il y a toujours au moins un nombre premier entre deux nombres carrés consécutifs (par exemple, entre $n^2$ et $(n+1)^2$ ). Le document prouve que cela est vrai pour tout $n$ suffisamment grand.
La Conjecture de Sierpiński : Si vous arrangez les nombres de 1 à $n^2$ dans une grille, chaque rangée contient au moins un nombre premier. Cela est également prouvé vrai pour les grands $n$ .
Autres Conjectures : Des résultats similaires s'appliquent aux conjectures de Brocard et d'Oppermann.

6. L'Histoire de l'Origine

L'auteur partage une note personnelle sur la genèse de l'idée. Tout a commencé par le désir d'améliorer une ancienne preuve d'Erdős. L'auteur a essayé diverses « pondérations » mathématiques pour détecter les nombres premiers, échouant avec des poids simples et des poids trop complexes, jusqu'à ce qu'il tombe sur la formule spécifique pondérée par exponentielle qui fonctionnait. La dernière pièce du puzzle (l'astuce de la dérivée troisième) est arrivée après des mois de lutte avec un calcul de double somme qui refusait de coopérer.

Résumé

En bref, ce document est une histoire de détective mathématique. L'auteur a construit un « détecteur de métaux » personnalisé (une fonction de poids spécifique) et a utilisé une version affinée d'un ancien algorithme pour prouver que les nombres premiers ne sont jamais trop éloignés, même dans des intervalles très courts. Cela règle des questions de longue date sur la distribution des nombres premiers et confirme que des motifs célèbres dans les nombres sont vrais pour la grande majorité de la ligne numérique.

Résumé Technique : Sommes Exponentielles Réelles sur les Nombres Premiers et les Écarts entre Premiers

Énoncé du Problème
L'article aborde le problème de longue date de la distribution des nombres premiers dans des intervalles courts. Plus précisément, il vise à prouver que pour tout nombre réel $\lambda$ tel que $0 < \lambda < 1$ , le nombre de nombres premiers dans l'intervalle $(x, x + x^\lambda]$ satisfait la relation asymptotique :
$\pi(x + x^\lambda) - \pi(x) \sim \frac{x^\lambda}{\log(x)}$
où $\pi(x)$ est la fonction de comptage des nombres premiers. Ce résultat résoudrait plusieurs conjectures classiques concernant l'existence de nombres premiers entre deux carrés consécutifs (la conjecture de Legendre) et d'autres problèmes connexes pour $x$ suffisamment grand.

Méthodologie
L'auteur adapte la preuve élégante de 1980 de D. J. Newman du théorème des nombres premiers (TNP) au contexte des intervalles courts. Le cœur de la méthodologie implique les étapes suivantes :

Sommation Pondérée : Au lieu de la fonction de Tchebychev standard $\theta(x) = \sum_{p \le x} \log(p)$ , l'auteur introduit une fonction de poids spécifique $w(x)$ conçue pour gérer la longueur de l'intervalle $x^\lambda$ . Le poids est défini comme suit :
$w(x) = c(1-\lambda)\log(x) \exp(cx^{1-\lambda}) x^{-\lambda}$
pour un paramètre $c > 0$ . La somme cumulative est $W(x) = \sum_{p \le x} w(p)$ .
Réduction à la Continuation Analytique : Suivant la stratégie de Newman, la preuve réduit le comportement asymptotique de $W(x)$ à la convergence d'une intégrale et à la continuation analytique d'une série de Dirichlet associée (ou transformée de Laplace). L'objectif est de montrer que $W(x) \sim \exp(cx^{1-\lambda})$ .
Théorème Analytique de Newman : La preuve utilise le théorème de Newman, qui stipule que si une fonction bornée et localement intégrable $h(x)$ possède une transformée de Laplace $L(s)$ qui se prolonge analytiquement sur l'axe imaginaire ( $\Re(s) \ge 0$ ), alors l'intégrale de $h(x)$ converge.
Gestion des Singularités via les Transformées de Mellin : Un obstacle technique majeur surgit à l'étape 10 de l'adaptation. L'auteur définit une fonction $\tau(s)$ liée à la transformée de Laplace de la somme pondérée. Pour prouver la continuation analytique nécessaire de $\tau(s) - 1/s$ vers $\Re(s) \ge 0$ , l'auteur emploie la transformée de Mellin.
- L'auteur tente initialement d'utiliser une deuxième primitive, mais constate que l'intégrande résultant ne converge pas absolument sur la frontière $\Re(s)=0$ en raison de la croissance des termes de la fonction Gamma.
- Innovation Technique Clé : L'auteur résout ce problème en utilisant la troisième primitive de la fonction. Cela introduit un dénominateur quadratique dans l'intégrande (spécifiquement $(z-1)(z-2)$ ), ce qui assure la convergence absolue de l'intégrale même après différentiation. Cela permet la déformation du contour d'intégration dans la bande critique sans rencontrer de singularités non intégrables.
Utilisation des Régions Sans Zéros : La preuve repose sur les régions sans zéros connues de la fonction zêta de Riemann (spécifiquement les régions de type Vinogradov-Korobov) pour garantir les propriétés analytiques des fonctions auxiliaires utilisées dans l'inversion de Mellin.

Contributions et Résultats Clés

Théorème Principal (Théorème 2.19) : L'article prouve que pour tout $0 < \lambda < 1$ , $\pi(x + x^\lambda) - \pi(x) \sim x^\lambda / \log(x)$ . Ceci est établi de manière inconditionnelle, sans supposer l'hypothèse de Riemann.
Corollaires aux Conjectures Classiques : En conséquence directe du théorème principal, l'article démontre que pour tout $n$ $n$ suffisamment grand :
- Conjecture de Legendre : Il existe au moins deux nombres premiers entre $n^2$ et $(n+1)^2$ .
- Conjecture de Sierpiński : Dans une matrice $n \times n$ d'entiers de $1 $à$ n^2$, chaque ligne contient au moins un nombre premier.
- L'article note également que les conjectures d'Andrica, de Brocard et d'Oppermann découlent pour les entiers suffisamment grands.
Cadre Algorithmique : L'auteur décrit un « algorithme » général pour résoudre les problèmes de distribution des nombres premiers dans des intervalles de longueur $\ell(x)$ en construisant des fonctions de poids appropriées $w(p)$ et en analysant leurs sommes cumulatives via la continuation analytique.

Signification et Revendications
L'article revendique la résolution d'un « problème de longue date » concernant l'existence de nombres premiers dans des intervalles courts pour la plage complète $0 < \lambda < 1$ . L'auteur souligne que la solution repose sur une adaptation minutieuse de la preuve de Newman, surmontant spécifiquement la difficulté technique de la continuation analytique à la frontière $\Re(s)=0$ grâce à l'utilisation d'une régularisation d'ordre trois (troisième primitive) dans le domaine de la transformée de Mellin.

L'auteur se montre modeste quant à la portée du résultat, notant que bien que la formule asymptotique soit valable pour $x$ grand, elle ne résout pas nécessairement la densité des écarts normalisés entre premiers pour tous les $n$ (par exemple, la question d'Erdős concernant la suite $(p_{n+1}-p_n)/\log p_n$ ). De plus, l'article reconnaît les limitations imposées par le théorème de Maier, suggérant que la méthode ne peut peut-être pas s'étendre à des intervalles croissant plus lentement que toute puissance $x^\lambda$ (par exemple, $(\log x)^\mu$ ). L'auteur déclare explicitement que la preuve du théorème principal est conditionnelle à la validité des étapes de continuation analytique dérivées, présentées comme l'aboutissement du travail.

L'article conclut en réfléchissant à l'origine du choix de la fonction de poids, retraçant son évolution depuis les méthodes de coefficients binomiaux d'Erdős jusqu'à la preuve du TNP de Newman, et enfin au poids exponentiel spécifique requis pour équilibrer les taux de croissance dans les intervalles courts.