Indicateurs de Nombres Premiers à Noyau de Fejér

Informations Fondamentales

• ID de l'article: 2506.18933
• Titre: Indicateurs de Nombres Premiers à Noyau de Fejér
• Auteur: Sebastian Fuchs
• Classification: math.NT (Théorie des Nombres)
• Date de Publication: 15 octobre 2025 (version arXiv)
• Lien de l'article: https://arxiv.org/abs/2506.18933

Résumé

On construit une fonction indicatrice de nombres premiers $C^1$ $\mathcal{P}:\mathbb{R}\to\mathbb{R}$, en appliquant l'identité de Fejér aux codeurs de quotients sinusoïdaux de la division d'essai. Pour les entiers $n\geq 2$, $\mathcal{P}(n)=0$ s'annule précisément aux nombres premiers impairs ; $\mathcal{P}(2)>0$. Pour tous les non-entiers $x>1$, on a $\mathcal{P}(x)>0$. La fonction est par morceaux $C^\infty$, sa dérivée seconde présentant des sauts exactement aux nombres carrés $m^2$, avec des amplitudes de saut calculables explicitement. En remplaçant les troncatures nettes par des transitions lisses, on obtient des fonctions analogues $C^\infty$ $\mathcal{P}_\tau$ et $\mathcal{P}_\sigma$, avec les limites entières $\mathcal{P}_\tau(n;\kappa)\to\tau(n)-2$ et $\mathcal{P}_\sigma(n;\kappa)\to\sigma(n)-n-1$ lorsque $\kappa\to\infty$.

Contexte et Motivation de la Recherche

Définition du Problème

L'identification des nombres premiers est un problème fondamental en théorie des nombres. Les méthodes existantes se répartissent en quatre catégories :

1. Formules de représentation des nombres premiers: comme les formules de Mills/Willans/Wilson, bien que précises mais inefficaces du point de vue calculatoire
2. Construction d'ensembles de zéros analytiques: construction de fonctions entières s'annulant aux nombres premiers via la factorisation de Weierstrass
3. Codeurs trigonométriques/nucléaires: utilisation de quotients sinusoïdaux pour encoder les relations de divisibilité
4. Fonctions L et méthodes de crible: approches classiques de la théorie analytique des nombres

Motivation de la Recherche

Cet article adopte la troisième approche, utilisant la régularisation par polynômes cosinus de Fejér de la division d'essai, pour construire des fonctions définies ponctuellement sur les réels, préservant le sens arithmétique direct aux entiers, tout en permettant un contrôle explicite de la régularité et de la localisation et l'amplitude des sauts de dérivées.

Idée Centrale

Encoder les relations de divisibilité via le quotient sinusoïdal $Q(x,i) := \frac{\sin^2(\pi x)}{\sin^2(\pi x/i)}$ puis utiliser l'identité de Fejér pour transformer en polynômes cosinus afin de traiter les singularités supprimables.

Contributions Principales

1. Construction d'une caractérisation précise des zéros aux nombres premiers impairs: pour les entiers $n\geq 2$, $P(n)=0$ si et seulement si $n$ est un nombre premier impair
2. Fourniture d'une caractérisation précise de la régularité: $P$ est une fonction $C^1$ et par morceaux $C^\infty$, avec formules explicites pour les sauts de dérivée seconde
3. Extension à des analogues lisses de fonctions arithmétiques: construction de fonctions $C^\infty$ $P_\tau$ et $P_\sigma$ convergeant vers les fonctions arithmétiques classiques
4. Établissement de liens avec les relèvements de Fejér-Dirichlet: fondation pour un cadre plus général

Détails de la Méthode

Définition de la Tâche

Construire une fonction $P:\mathbb{R}\to\mathbb{R}$ telle que:

• Elle s'annule aux nombres premiers impairs
• Elle soit positive en tous les non-entiers
• Elle possède une régularité contrôlable
• Elle préserve le lien avec la division d'essai arithmétique

Construction Centrale

Définition des Termes de Fejér

Pour $i\geq 2$, définir $F(x,i) = i + 2\sum_{k=1}^{i-1}(i-k)\cos\left(\frac{2\pi kx}{i}\right)$

Ceci est équivalent au prolongement holomorphe du quotient sinusoïdal: $F(x,i) = \left(\frac{\sin(\pi x)}{\sin(\pi x/i)}\right)^2$

Définition de la Fonction Principale

$P(x) = \frac{1}{x}\sum_{i=2}^{\lceil\sqrt{x}\rceil} F(x,i) \quad (x>1)$

Propriétés Clés

• Évaluation aux entiers: $F(n,i) = i^2$ si $i|n$, sinon $0$
• Non-négativité: pour tous $x\in\mathbb{R}$, $F(x,i)\geq 0$
• Holomorphie: $F(\cdot,i)$ est une fonction entière

Fonctions Analogues Lisses

Fonction de Troncature Lisse

$\varphi_\kappa(u) = \frac{1-\tanh(\kappa(u-1))}{2}$

Analogue de Comptage de Diviseurs ($P_\tau$)

$P_\tau(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i^2} - 1$

Analogue de Somme de Diviseurs ($P_\sigma$)

$P_\sigma(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i} - x$

Points d'Innovation Technique

1. Représentation par Fractions Partielles de Résonance: $F(x,i) = \frac{i^2}{\pi^2}\sin^2(\pi x)\sum_{k\in\mathbb{Z}}\frac{1}{(x-ik)^2}$
2. Bornes de Troncature Explicites: fourniture de bornes d'erreur explicites pour la troncature de séries
3. Stabilité Numérique: utilisation de développements de Taylor locaux près des points de résonance pour éviter l'annulation numérique

Configuration Expérimentale

Implémentation Numérique

• Complexité d'évaluation $O(\sqrt{x})$
• Utilisation de substituts Taylor locaux stables aux points de résonance $|x/i - \text{round}(x/i)| < \varepsilon$
• Fourniture d'une implémentation de référence en Python

Choix de Paramètres

• Pour $P_\tau$: $\kappa$ contrôle la raideur, valeurs typiques $\kappa \in [10, 1000]$
• Pour $P_\sigma$: plage de $\kappa$ similaire
• Seuil de troncature: $\varepsilon = 10^{-6}$ pour la détection de résonance

Résultats Expérimentaux

Résultats Principaux

Propriétés des Zéros aux Nombres Premiers Impairs

• Théorème 4.2: pour les entiers $n\geq 2$, $P(n)=0$ si et seulement si $n$ est un nombre premier impair
• $P(2) = 2 > 0$ (le nombre premier pair n'est pas zéro)
• Pour tous les non-entiers $x>1$, $P(x)>0$

Caractérisation de la Régularité

• Proposition 3.3: formule de saut de dérivée seconde $\Delta_{m^2}P'' = \frac{2\pi^2}{m^2\sin^2(\pi/(m+1))}$
• Comportement asymptotique: $\Delta_{m^2}P'' = 2 + \frac{4}{m} + O(m^{-2})$

Convergence des Fonctions Analogues Lisses

• $\lim_{\kappa\to\infty} P_\tau(n;\kappa) = \tau(n) - 2$
• $\lim_{\kappa\to\infty} P_\sigma(n;\kappa) = \sigma(n) - n - 1$

Observations Numériques

Phénomène de Zéros Compagnons

• Conjecture 7.9: pour les nombres premiers impairs $p$, $P_\tau(\cdot;\kappa)$ possède des paires de zéros réels près de $p$
• Conjecture 8.3: $P_\sigma(\cdot;\kappa)$ exhibe des paires de zéros asymétriques

Applications au Comptage de Nombres Premiers

Construction de deux sommes illustratives de comptage de nombres premiers:

1. Ligne de base à seuil constant: $\pi_{P_\tau}(x;C,\kappa) = \sum_{n=2}^{\lfloor x\rfloor}\left(1-\frac{|P_\tau(n;\kappa)|}{|P_\tau(n;\kappa)|+C}\right)$
2. Variante H non-cumulative: utilisation de seuils dynamiques pour borner les fuites de nombres composés

Travaux Connexes

Historique des Fonctions Indicatrices de Nombres Premiers

• Formule de Mills: $\lfloor A^{3^n}\rfloor$ donne le $n$-ième nombre premier
• Formule de Willans: utilisant des variantes du théorème de Wilson
• Méthodes optiques/de diffusion: constructions inspirées par la physique

Relations avec les Méthodes Existantes

La méthode de cet article appartient à la catégorie des codeurs trigonométriques/nucléaires, mais fournit via la régularisation de Fejér:

• Contrôle explicite de la régularité
• Liens directs avec les fonctions arithmétiques classiques
• Bornes d'erreur calculables

Conclusion et Discussion

Conclusions Principales

1. Construction réussie d'une fonction $C^1$ s'annulant précisément aux nombres premiers impairs
2. Fourniture d'une caractérisation complète des sauts de dérivée seconde
3. Établissement d'analogues lisses avec les fonctions de diviseurs $\tau(n)$ et $\sigma(n)$

Limitations

1. Efficacité algorithmique: nécessite un temps $\Theta(\sqrt{n})$, non supérieur à la division d'essai
2. Nombres premiers pairs: $P(2) \neq 0$, nécessitant un traitement spécial
3. Comportement non-entier: pour $P_\sigma$, l'existence de zéros non-entiers reste non résolue
4. Limitations théoriques: n'aborde pas le théorème des nombres premiers ou la distribution des zéros de fonctions L

Directions Futures

1. Relèvements de Fejér-Dirichlet: généralisation à des séquences de poids arbitraires
2. Liens avec les fonctions L: exploration des relations avec les séries de Dirichlet
3. Optimisation numérique: amélioration de l'efficacité pratique pour les grandes entrées

Évaluation Approfondie

Avantages

1. Rigueur mathématique: fourniture d'une analyse théorique complète et de formules explicites
2. Innovation technique: application ingénieuse de l'identité de Fejér et représentation par fractions partielles de résonance
3. Praticité: inclusion d'une implémentation numériquement stable et de code de référence
4. Complétude: cadre complet de la construction fondamentale aux applications

Insuffisances

1. Complexité calculatoire: pas d'avantage algorithmique fourni
2. Profondeur théorique: évitement des liens avec les problèmes centraux de la théorie analytique des nombres
3. Portée des applications: intérêt principalement théorique, applications pratiques limitées

Impact

1. Contribution théorique: nouvelle méthode de construction pour les fonctions indicatrices lisses de nombres premiers
2. Méthodologie: nouvelle application des noyaux de Fejér en théorie des nombres
3. Reproductibilité: fourniture de détails d'implémentation complets et de code

Scénarios d'Application

1. Démonstration pédagogique: visualisation des propriétés des nombres premiers
2. Recherche théorique: fondation pour des cadres plus généraux
3. Expérimentation numérique: étude des propriétés locales de la distribution des nombres premiers

Références Bibliographiques

L'article cite 34 références connexes, couvrant:

• Manuels classiques de théorie des nombres (Hardy & Wright, Montgomery & Vaughan)
• Théorie des noyaux de Fejér (Zygmund, Katznelson)
• Recherche moderne sur les nombres premiers (Iwaniec & Kowalski)
• Méthodes optiques et physiques connexes

Résumé: Cet article est un travail rigoureux d'une valeur théorique dans le domaine de la théorie des nombres, combinant ingénieusement l'analyse de Fejér et la théorie des nombres premiers pour fournir une nouvelle méthode de construction de fonctions indicatrices de nombres premiers. Bien qu'il ne présente pas de percée en efficacité algorithmique, il apporte des contributions significatives à la compréhension théorique et à l'innovation méthodologique.