Une récurrence analytique effective pour les nombres premiers

Informations de base

• ID de l'article : 2508.02690
• Titre : An effective analytic recurrence for prime numbers
• Auteur : Benoit Cloitre
• Classification : math.NT (Théorie des nombres), math.HO (Histoire et aperçu)
• Date de publication : 12 octobre 2025 (arXiv v2)
• Lien de l'article : https://arxiv.org/abs/2508.02690v2

Résumé

La formule de Golomb-Keller exprime le nombre premier suivant $p_{n+1}$ en fonction des $n$ premiers nombres premiers $p_1, \ldots, p_n$ par une relation de récurrence utilisant la fonction zêta de Riemann et le produit eulérien, mais nécessite une limite $s \to \infty$, ce qui la rend non constructive. Cet article transforme cette formule asymptotique en une récurrence effective en démontrant qu'un paramètre fini $s \leq p_n$ combiné à la fonction plafond est suffisant, établissant ainsi une méthode constructive valide pour tous les $n \geq 1$.

Le paramètre entier minimal $s_n$ (OEIS A389650) révèle des connexions profondes avec les constellations de nombres premiers. L'auteur démontre sans condition que $\liminf_{n\to\infty} \sigma_n = 0$, où $\sigma_n = s_n/p_n$. La limite supérieure $C = \limsup \sigma_n$ satisfait $\log \psi \lesssim C \leq 0.4332$, où $\psi \approx 1.46557$ est le super nombre d'or. La borne inférieure dépend de la conjecture des nombres premiers jumeaux ; la borne supérieure est inconditionnelle. La constante $C$ est liée aux constellations de nombres premiers admissibles les plus denses, se connectant à la conjecture de Hardy-Littlewood.

La méthode s'étend aux fonctions L de Dirichlet, produisant d'autres formules effectives pour calculer $p_{n+1}$, et permet de prédire $p_{n+1}$ modulo un entier arbitraire avec des exigences de précision réduites.

Contexte et motivation de la recherche

Contexte du problème

La recherche de formules explicites pour les nombres premiers est un problème classique en théorie des nombres. Bien qu'il existe des formules directes non récursives (comme la formule de Willans, la formule de Mills), elles ne sont pas réalisables sur le plan informatique. Cet article se concentre sur les relations de récurrence, c'est-à-dire l'expression de $p_{n+1}$ en fonction de $p_1, \ldots, p_n$.

Développement historique

• Gandhi 4 a d'abord utilisé les primorielles et la fonction de Möbius pour fournir de telles récurrences
• Vanden Eynden 19 a simplifié la preuve
• Jakimczuk 9 a généralisé la méthode
• Golomb 5 a découvert indépendamment la formule en utilisant la théorie analytique des nombres, redécouverte ultérieurement par Keller 10

Limitations des méthodes existantes

La formule classique de Golomb-Keller est : $p_{n+1} = \lim_{s\to\infty} \left[\left(\prod_{k=1}^n \left(1-\frac{1}{p_k^s}\right)\right) \zeta(s) - 1\right]^{-1/s}$

Le problème principal de cette formule est qu'elle nécessite une limite $s \to \infty$, ce qui la rend inutilisable en pratique.

Motivation de la recherche

Cet article adopte une approche inverse : conserver le calcul complet de la série de la fonction zêta jusqu'à la précision de travail, mais utiliser un $s$ fini. Ainsi, au lieu de tronquer la série, on tronque l'exposant, rendant la formule constructive.

Contributions principales

1. Formule de récurrence constructive : Démontre que pour tous les $n \geq 1$, il existe un entier minimal $s_n$ tel que : $p_{n+1} = \left\lceil \left(-1 + \zeta(s_n) \prod_{j=1}^n \left(1-\frac{1}{p_j^{s_n}}\right)\right)^{-1/s_n} \right\rceil$
2. Bornes effectives :
   • Démontre $s_n \leq 2p_n$ en utilisant le postulat de Bertrand (Théorème 10)
   • Démontre $s_n \leq p_n$ en utilisant le théorème de Nagura (Théorème 12)
3. Analyse du comportement asymptotique :
   • Démontre sans condition $\liminf_{n\to\infty} \sigma_n = 0$ (Proposition 13)
   • Établit les bornes de $C := \limsup_{n\to\infty} \sigma_n$ : $0.3823 \lesssim C \leq 0.4332$
4. Connexion avec les constellations de nombres premiers : Découvre la borne inférieure $\log \psi \approx 0.3823$ (dépendant de la conjecture des nombres premiers jumeaux), où $\psi$ est le super nombre d'or
5. Extension aux fonctions L de Dirichlet : Permet de prédire les propriétés de résidu de $p_{n+1} \pmod 4$, etc.
6. Données numériques : Fournit les valeurs de $s_n$ pour $n = 1$ à $200$ (OEIS A389650)

Détails de la méthode

Définition de la tâche

Étant donné les $n$ premiers nombres premiers $p_1, p_2, \ldots, p_n$, calculer de manière constructive le nombre premier suivant $p_{n+1}$.

Architecture de la méthode centrale

1. Mécanisme des séries de Dirichlet

Définir la fonction clé : $D_n(s) = \sum_{\substack{k \geq 1 \\ \gcd(k,P_n)=1}} k^{-s}$

où $P_n = \prod_{j=1}^n p_j$ est la primorielle du $n$-ième ordre.

2. Représentation par produit eulérien

Lemme 3 : Pour $\Re(s) > 1$, $D_n(s) = \zeta(s) \prod_{j=1}^n (1-p_j^{-s})$

3. Analyse des propriétés de convergence

Définir $h(s) = (D_n(s)-1)^{-1/s}$, démontrer :

• $h(s) < p_{n+1}$ pour tous les $s > 1$
• $\lim_{s\to\infty} h(s) = p_{n+1}$
• $h(s)$ est strictement croissante sur $(1,\infty)$

4. Détermination du paramètre critique

Proposition 6 : Pour chaque $n \geq 1$, il existe un unique $s_n^* > 1$ tel que $h(s_n^*) = p_{n+1} - 1$.

Définir $s_n = \lfloor s_n^* \rfloor + 1$ comme le paramètre entier minimal.

Points d'innovation technique

1. Équilibre entre précision et troncature : Contrairement à la méthode de Keller qui tronque la somme de la série, cet article conserve la fonction zêta complète mais utilise un $s$ fini
2. Astuce de la fonction plafond : Utilisation ingénieuse de la propriété $\lceil h(s) \rceil = p_{n+1}$ si et seulement si $s > s_n^*$
3. Technique des bornes intégrales : Utilise des comparaisons intégrales fines pour contrôler l'erreur du terme résiduel

Configuration expérimentale

Outils de calcul numérique

• Utilise PARI/GP et la bibliothèque mpmath de Python pour les calculs en haute précision
• Nécessite 100 chiffres de précision pour $n \leq 200$
• Nécessite environ 2500 chiffres de précision pour $n \approx 500$ (en raison de l'amplification des effets d'annulation)

Méthode de vérification

Vérifie par calcul direct que la borne théorique $s_n \leq p_n$ est satisfaite pour tous les $n = 1, \ldots, 200$.

Exemple de travail

Calcul de $p_7 = 17$ (à partir de $n = 6$) :

• Utilisant $s = 2p_6 = 26$ : $h(26) \approx 16.941817904$, d'où $p_7 = \lceil h(26) \rceil = 17$
• Valeur minimale réelle $s_6 = 8$ : $h(8) \approx 16.5189076$

Résultats expérimentaux

Résultats numériques principaux

Vérification des bornes

• Théorème 10 : $s_n \leq 2p_n$ pour tous les $n \geq 1$
• Théorème 12 : $s_n \leq p_n$ pour tous les $n \geq 1$ (via le théorème de Nagura)

Comportement asymptotique

• Proposition 13 : $\liminf_{n\to\infty} \sigma_n = 0$ (sans condition)
• Théorème 14 : $C = \limsup_{n\to\infty} \sigma_n \leq 0.4332$ (sans condition)
• Théorème 15 : Sous la conjecture des nombres premiers jumeaux, $C > \log \psi \approx 0.38225$

Analyse de la distribution empirique

L'analyse des données pour $n = 1$ à $200$ montre :

• Après suppression de 5 valeurs aberrantes, la distribution de $\sigma_n$ ressemble à une distribution bêta
• Moyenne ≈ 0.291, médiane ≈ 0.277, écart-type ≈ 0.087
• Paramètres ajustés : Beta(α ≈ 7.64, β ≈ 18.62)
• Mode théorique ≈ 0.274, cohérent avec la médiane empirique

Formule à coefficient fixe

Théorème 18 : Pour tout $c > c_0 \approx 0.5956$, il existe $N_0(c)$ tel que pour tous les $n \geq N_0(c)$, la formule utilisant $s = cp_n$ calcule correctement $p_{n+1}$.

Travaux connexes

Évolution historique

1. Gandhi (1971) : Première récurrence utilisant les primorielles et la fonction de Möbius
2. Golomb (1976) : Introduction des méthodes de théorie analytique des nombres
3. Keller (2007) : Redécouverte indépendante avec une dérivation différente
4. Cet article (2025) : Première transformation de la formule en constructive

Comparaison avec d'autres méthodes

• Formule de Willans : Directe mais non réalisable informatiquement
• Formule de Mills : Basée sur une constante mais nécessite de connaître les nombres premiers à l'avance
• Crible : Pratique mais ne fournit pas de structure récursive
• Méthode présente : Intéressante théoriquement mais complexité informatique élevée

Conclusion et discussion

Conclusions principales

1. Percée constructive : Première transformation de la formule de Golomb-Keller d'asymptotique à effectivement calculable
2. Connexions profondes : Révèle les liens intrinsèques entre les paramètres de récurrence des nombres premiers et les constellations de nombres premiers, la distribution des écarts
3. Bornes théoriques : Établit les bornes précises et le comportement asymptotique du paramètre $s_n$
4. Super nombre d'or : Découvre une nouvelle application en théorie des nombres premiers

Limitations

1. Complexité informatique : $O(np_n^3 \log p_n)$ opérations binaires, bien que polynomiale mais impraticable en pratique
2. Exigences de précision : Nécessite une croissance exponentielle de la précision de travail avec $n$
3. Dépendances : Certains résultats dépendent de conjectures non prouvées (comme la conjecture des nombres premiers jumeaux)

Directions futures

1. Optimisation informatique : Rechercher des méthodes pour réduire les exigences de précision
2. Perfectionnement théorique : Éliminer la dépendance aux conjectures non prouvées
3. Applications généralisées : Étendre à d'autres fonctions de théorie des nombres
4. Exploration numérique : Calculer les valeurs de $s_n$ sur des plages plus larges pour vérifier les conjectures

Évaluation approfondie

Points forts

1. Innovation théorique : Résout avec succès un problème constructif de longue date
2. Rigueur méthodologique : Utilise des techniques sophistiquées de théorie analytique des nombres
3. Connexions profondes : Établit un pont entre la formule de récurrence et la théorie des constellations de nombres premiers
4. Données riches : Fournit une vérification numérique détaillée et une analyse statistique

Insuffisances

1. Utilité pratique limitée : Bien que théoriquement constructive, le coût informatique est prohibitif
2. Défi de précision : Les exigences de haute précision limitent l'extensibilité de la méthode
3. Résultats partiellement conditionnels : Certains résultats importants dépendent de conjectures non prouvées

Impact

1. Contribution théorique : Offre une nouvelle perspective à la théorie des récurrences de nombres premiers
2. Valeur méthodologique : Démontre comment transformer des formules asymptotiques en algorithmes effectifs
3. Connexions interdisciplinaires : Relie la théorie analytique des nombres, la théorie computationnelle des nombres et la géométrie des nombres premiers

Domaines d'application

1. Recherche théorique : Distribution des nombres premiers, théorie des écarts, recherche sur les constellations
2. Expérimentation numérique : Vérification à petite échelle et exploration de motifs
3. Démonstration pédagogique : Application classique des méthodes de théorie analytique des nombres

Références bibliographiques

Les références clés incluent :

• 5 S. W. Golomb, Formulas for the next prime, Pacific J. Math. 63 (1976), 401–404
• 10 J. B. Keller, A recursion equation for prime numbers, arXiv:0711.3940, 2007
• 4 J. M. Gandhi, Formulae for the nth prime, Proc. Washington State Univ. Conf. Number Theory (1971), 96–107
• 12 J. Nagura, On the interval containing at least one prime number, Proc. Japan Acad. 28 (1952), 177–181

Cet article revêt une importance significative dans le domaine de la théorie des nombres théorique. Bien que ses applications informatiques pratiques soient limitées, ses intuitions théoriques et innovations méthodologiques ouvrent de nouvelles directions pour la recherche en théorie des nombres premiers. En particulier, les connexions découvertes avec le super nombre d'or et les constellations de nombres premiers révèlent des structures profondes inattendues dans la théorie des nombres.