A $C^1$ prime indicator $\mathcal{P}\colon\mathbb{R}\to\mathbb{R}$ is constructed by applying the Fejér identity to the sine-quotient encoder of trial division. For integers $n\ge 2$, $\mathcal P(n)=0$ holds exactly for odd primes; $\mathcal P(2)>0$. For all non-integers $x>1$ one has $\mathcal P(x)>0$. The function is piecewise $C^\infty$ and its second derivative has jumps precisely at the squares $m^2$, with explicit sizes. Replacing the sharp cut-off by a smooth transition yields $C^\infty$ analogues $\mathcal{P}_Ï$ and $\mathcal{P}_Ï$ with integer limits $\mathcal{P}_Ï(n;κ)\to Ï(n)-2$ and $\mathcal{P}_Ï(n;κ)\to Ï(n)-n-1$ as $κ\to\infty$, obtained from locally uniform convergence of derivative series. For large $κ$, numerical evidence indicates companion zeros near odd primes for $\mathcal{P}_Ï$ and an asymmetric pair for $\mathcal{P}_Ï$. No assertion is made beyond integer input, and no statements are claimed about the prime number theorem or zero distributions of $L$-functions. The appendix includes two illustrative prime-counting sums.
ID Articolo : 2506.18933Titolo : Fejér-Kernel Prime IndicatorsAutore : Sebastian FuchsClassificazione : math.NT (Teoria dei Numeri)Data di Pubblicazione : 15 ottobre 2025 (versione arXiv)Link Articolo : https://arxiv.org/abs/2506.18933 Viene costruita una funzione indicatrice di numeri primi C 1 C^1 C 1 P : R → R \mathcal{P}:\mathbb{R}\to\mathbb{R} P : R → R , applicando l'identità di Fejér a un codificatore di quozienti sinusoidali della divisione per trial. Per interi n ≥ 2 n\geq 2 n ≥ 2 , P ( n ) = 0 \mathcal{P}(n)=0 P ( n ) = 0 vale esattamente nei numeri primi dispari; P ( 2 ) > 0 \mathcal{P}(2)>0 P ( 2 ) > 0 . Per tutti gli x > 1 x>1 x > 1 non interi, si ha P ( x ) > 0 \mathcal{P}(x)>0 P ( x ) > 0 . La funzione è C ∞ C^\infty C ∞ a tratti, con la sua derivata seconda che presenta salti esattamente nei numeri quadrati m 2 m^2 m 2 , con ampiezza dei salti calcolabile esplicitamente. Sostituendo i troncamenti netti con transizioni lisce si ottengono funzioni analoghe C ∞ C^\infty C ∞ P τ \mathcal{P}_\tau P τ e P σ \mathcal{P}_\sigma P σ , con limiti interi P τ ( n ; κ ) → τ ( n ) − 2 \mathcal{P}_\tau(n;\kappa)\to\tau(n)-2 P τ ( n ; κ ) → τ ( n ) − 2 e P σ ( n ; κ ) → σ ( n ) − n − 1 \mathcal{P}_\sigma(n;\kappa)\to\sigma(n)-n-1 P σ ( n ; κ ) → σ ( n ) − n − 1 quando κ → ∞ \kappa\to\infty κ → ∞ .
L'identificazione dei numeri primi è un problema fondamentale della teoria dei numeri; i metodi esistenti si dividono in quattro categorie:
Formule di rappresentazione dei numeri primi : come le formule di Mills/Willans/Wilson, precise ma computazionalmente inefficaciCostruzione di insiemi di zeri analitici : costruzione di funzioni intere che si annullano nei numeri primi tramite fattorizzazione di WeierstrassCodificatori trigonometrici/nucleari : utilizzo di quozienti sinusoidali per codificare relazioni di divisibilitàFunzioni L e metodi di crivello : metodi classici della teoria analitica dei numeriL'articolo adotta il terzo approccio, utilizzando la regolarizzazione di Fejér con polinomi coseno della divisione per trial, costruendo funzioni definite puntualmente sui numeri reali, mantenendo il significato aritmetico diretto negli interi, permettendo al contempo il controllo esplicito della regolarità e della posizione e ampiezza dei salti delle derivate.
Codificare le relazioni di divisibilità tramite il quoziente sinusoidale
Q ( x , i ) : = sin 2 ( π x ) sin 2 ( π x / i ) Q(x,i) := \frac{\sin^2(\pi x)}{\sin^2(\pi x/i)} Q ( x , i ) := s i n 2 ( π x / i ) s i n 2 ( π x )
e quindi utilizzare l'identità di Fejér per trasformare in polinomi coseno al fine di gestire singolarità eliminabili.
Costruzione di una caratterizzazione esatta degli zeri nei numeri primi dispari : per interi n ≥ 2 n\geq 2 n ≥ 2 , P ( n ) = 0 P(n)=0 P ( n ) = 0 se e solo se n n n è un numero primo dispariFornitura di una caratterizzazione esatta della regolarità : P P P è una funzione C 1 C^1 C 1 e C ∞ C^\infty C ∞ a tratti, con formula esplicita per i salti della derivata secondaEstensione a funzioni aritmetiche lisce analoghe : costruzione di funzioni C ∞ C^\infty C ∞ P τ P_\tau P τ e P σ P_\sigma P σ che convergono a funzioni aritmetiche classicheStabilimento di connessioni con l'elevamento di Fejér-Dirichlet : posa le basi per un quadro più generaleCostruire una funzione P : R → R P:\mathbb{R}\to\mathbb{R} P : R → R tale che:
Si annulli nei numeri primi dispari Sia positiva in tutti i punti non interi Possieda regolarità controllabile Mantenga il collegamento aritmetico con la divisione per trial Per i ≥ 2 i\geq 2 i ≥ 2 , definire
F ( x , i ) = i + 2 ∑ k = 1 i − 1 ( i − k ) cos ( 2 π k x i ) F(x,i) = i + 2\sum_{k=1}^{i-1}(i-k)\cos\left(\frac{2\pi kx}{i}\right) F ( x , i ) = i + 2 ∑ k = 1 i − 1 ( i − k ) cos ( i 2 πk x )
Questo è equivalente alla continuazione olomorfa del quoziente sinusoidale:
F ( x , i ) = ( sin ( π x ) sin ( π x / i ) ) 2 F(x,i) = \left(\frac{\sin(\pi x)}{\sin(\pi x/i)}\right)^2 F ( x , i ) = ( s i n ( π x / i ) s i n ( π x ) ) 2
P ( x ) = 1 x ∑ i = 2 ⌈ x ⌉ F ( x , i ) ( x > 1 ) P(x) = \frac{1}{x}\sum_{i=2}^{\lceil\sqrt{x}\rceil} F(x,i) \quad (x>1) P ( x ) = x 1 ∑ i = 2 ⌈ x ⌉ F ( x , i ) ( x > 1 )
Valutazione negli interi : F ( n , i ) = i 2 F(n,i) = i^2 F ( n , i ) = i 2 se i ∣ n i|n i ∣ n , altrimenti 0 0 0 Non-negatività : per tutti gli x ∈ R x\in\mathbb{R} x ∈ R , F ( x , i ) ≥ 0 F(x,i)\geq 0 F ( x , i ) ≥ 0 Olomorfia : F ( ⋅ , i ) F(\cdot,i) F ( ⋅ , i ) è una funzione interaφ κ ( u ) = 1 − tanh ( κ ( u − 1 ) ) 2 \varphi_\kappa(u) = \frac{1-\tanh(\kappa(u-1))}{2} φ κ ( u ) = 2 1 − t a n h ( κ ( u − 1 ))
P τ ( x ; κ ) = ∑ i = 2 ∞ φ κ ( i x + 1 ) F ( x , i ) i 2 − 1 P_\tau(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i^2} - 1 P τ ( x ; κ ) = ∑ i = 2 ∞ φ κ ( x + 1 i ) i 2 F ( x , i ) − 1
P σ ( x ; κ ) = ∑ i = 2 ∞ φ κ ( i x + 1 ) F ( x , i ) i − x P_\sigma(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i} - x P σ ( x ; κ ) = ∑ i = 2 ∞ φ κ ( x + 1 i ) i F ( x , i ) − x
Rappresentazione in Frazioni Parziali Risonanti :
F ( x , i ) = i 2 π 2 sin 2 ( π x ) ∑ k ∈ Z 1 ( x − i k ) 2 F(x,i) = \frac{i^2}{\pi^2}\sin^2(\pi x)\sum_{k\in\mathbb{Z}}\frac{1}{(x-ik)^2} F ( x , i ) = π 2 i 2 sin 2 ( π x ) ∑ k ∈ Z ( x − ik ) 2 1 Limiti di Troncamento Espliciti : fornisce limiti di errore espliciti per il troncamento delle serieStabilità Numerica : utilizza sviluppi di Taylor locali stabili vicino ai punti di risonanza per evitare cancellazioni numericheComplessità di valutazione O ( x ) O(\sqrt{x}) O ( x ) Utilizzo di proxy di Taylor locali stabili nei punti di risonanza ∣ x / i − round ( x / i ) ∣ < ε |x/i - \text{round}(x/i)| < \varepsilon ∣ x / i − round ( x / i ) ∣ < ε Fornitura di implementazione di riferimento in Python Per P τ P_\tau P τ : κ \kappa κ controlla la pendenza, valori tipici κ ∈ [ 10 , 1000 ] \kappa \in [10, 1000] κ ∈ [ 10 , 1000 ] Per P σ P_\sigma P σ : intervallo di κ \kappa κ analogo Soglia di troncamento: ε = 10 − 6 \varepsilon = 10^{-6} ε = 1 0 − 6 per la rilevazione di risonanza Teorema 4.2 : per interi n ≥ 2 n\geq 2 n ≥ 2 , P ( n ) = 0 P(n)=0 P ( n ) = 0 se e solo se n n n è un numero primo dispariP ( 2 ) = 2 > 0 P(2) = 2 > 0 P ( 2 ) = 2 > 0 (il numero primo pari non si annulla)Per tutti gli x > 1 x>1 x > 1 non interi, P ( x ) > 0 P(x)>0 P ( x ) > 0 Proposizione 3.3 : formula dei salti della derivata seconda
Δ m 2 P ′ ′ = 2 π 2 m 2 sin 2 ( π / ( m + 1 ) ) \Delta_{m^2}P'' = \frac{2\pi^2}{m^2\sin^2(\pi/(m+1))} Δ m 2 P ′′ = m 2 s i n 2 ( π / ( m + 1 )) 2 π 2 Comportamento asintotico: Δ m 2 P ′ ′ = 2 + 4 m + O ( m − 2 ) \Delta_{m^2}P'' = 2 + \frac{4}{m} + O(m^{-2}) Δ m 2 P ′′ = 2 + m 4 + O ( m − 2 ) lim κ → ∞ P τ ( n ; κ ) = τ ( n ) − 2 \lim_{\kappa\to\infty} P_\tau(n;\kappa) = \tau(n) - 2 lim κ → ∞ P τ ( n ; κ ) = τ ( n ) − 2 lim κ → ∞ P σ ( n ; κ ) = σ ( n ) − n − 1 \lim_{\kappa\to\infty} P_\sigma(n;\kappa) = \sigma(n) - n - 1 lim κ → ∞ P σ ( n ; κ ) = σ ( n ) − n − 1 Congettura 7.9 : per numeri primi dispari p p p , P τ ( ⋅ ; κ ) P_\tau(\cdot;\kappa) P τ ( ⋅ ; κ ) presenta coppie di zeri reali vicino a p p p Congettura 8.3 : P σ ( ⋅ ; κ ) P_\sigma(\cdot;\kappa) P σ ( ⋅ ; κ ) mostra coppie di zeri asimmetricheCostruzione di due somme illustrative per il conteggio dei numeri primi:
Baseline a soglia costante : π P τ ( x ; C , κ ) = ∑ n = 2 ⌊ x ⌋ ( 1 − ∣ P τ ( n ; κ ) ∣ ∣ P τ ( n ; κ ) ∣ + C ) \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) π P τ ( x ; C , κ ) = ∑ n = 2 ⌊ x ⌋ ( 1 − ∣ P τ ( n ; κ ) ∣ + C ∣ P τ ( n ; κ ) ∣ ) Variante H non cumulativa : utilizzo di soglie dinamiche per limitare la perdita di numeri compostiFormula di Mills : ⌊ A 3 n ⌋ \lfloor A^{3^n}\rfloor ⌊ A 3 n ⌋ fornisce l'n n n -esimo numero primoFormula di Willans : utilizza varianti del teorema di WilsonMetodi ottici/di scattering : costruzioni ispirate dalla fisicaIl metodo dell'articolo appartiene alla categoria dei codificatori trigonometrici/nucleari, ma fornisce tramite la regolarizzazione di Fejér:
Controllo esplicito della regolarità Collegamento diretto con funzioni aritmetiche classiche Limiti di errore calcolabili Costruzione riuscita di una funzione C 1 C^1 C 1 che si annulla esattamente nei numeri primi dispari Fornitura di una caratterizzazione completa dei salti della derivata seconda Stabilimento di funzioni analoghe lisce con le funzioni dei divisori τ ( n ) \tau(n) τ ( n ) e σ ( n ) \sigma(n) σ ( n ) Efficienza algoritmica : richiede tempo Θ ( n ) \Theta(\sqrt{n}) Θ ( n ) , non superiore alla divisione per trialNumeri primi pari : P ( 2 ) ≠ 0 P(2) \neq 0 P ( 2 ) = 0 , richiede trattamento specialeComportamento non intero : per P σ P_\sigma P σ , l'esistenza di zeri non interi rimane irrisoltaLimitazioni teoriche : non affronta il teorema dei numeri primi o la distribuzione degli zeri delle funzioni LElevamento di Fejér-Dirichlet : generalizzazione a sequenze di pesi arbitrariCollegamento con funzioni L : esplorazione della relazione con serie di DirichletOttimizzazione numerica : miglioramento dell'efficienza pratica per input grandiRigore matematico : fornitura di analisi teorica completa e formule espliciteInnovazione tecnica : applicazione ingegnosa dell'identità di Fejér e rappresentazione in frazioni parziali risonantiPraticità : inclusione di implementazione numericamente stabile e codice di riferimentoCompletezza : quadro completo dalla costruzione di base alle applicazioniComplessità computazionale : nessun vantaggio algoritmico fornitoProfondità teorica : evita il collegamento con i problemi centrali della teoria analitica dei numeriAmbito di applicazione : principalmente di interesse teorico, applicazioni pratiche limitateContributo teorico : nuovo metodo di costruzione per funzioni indicatrici di numeri primi lisceMetodologia : nuova applicazione del nucleo di Fejér nella teoria dei numeriRiproducibilità : fornitura di dettagli di implementazione completi e codiceDimostrazione didattica : visualizzazione delle proprietà dei numeri primiRicerca teorica : base per quadri più generaliEsperimenti numerici : studio delle proprietà locali della distribuzione dei numeri primiL'articolo cita 34 riferimenti correlati, coprendo:
Testi classici di teoria dei numeri (Hardy & Wright, Montgomery & Vaughan) Teoria del nucleo di Fejér (Zygmund, Katznelson) Ricerca moderna sui numeri primi (Iwaniec & Kowalski) Metodi ottici e fisici correlati Sintesi : Questo è un articolo rigoroso di valore teorico nel campo della teoria dei numeri, che fornisce un nuovo metodo di costruzione di funzioni indicatrici di numeri primi combinando abilmente l'analisi di Fejér e la teoria dei numeri primi. Sebbene non rappresenti un progresso nell'efficienza algoritmica, apporta contributi significativi nella comprensione teorica e nell'innovazione metodologica.