2025-11-10T03:07:47.360994

Fejér-Kernel Prime Indicators

Fuchs
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.
academic

Indicatori di Numeri Primi con Nucleo di Fejér

Informazioni Fondamentali

  • ID Articolo: 2506.18933
  • Titolo: Fejér-Kernel Prime Indicators
  • Autore: Sebastian Fuchs
  • Classificazione: math.NT (Teoria dei Numeri)
  • Data di Pubblicazione: 15 ottobre 2025 (versione arXiv)
  • Link Articolo: https://arxiv.org/abs/2506.18933

Riassunto

Viene costruita una funzione indicatrice di numeri primi C1C^1 P:RR\mathcal{P}:\mathbb{R}\to\mathbb{R}, applicando l'identità di Fejér a un codificatore di quozienti sinusoidali della divisione per trial. Per interi n2n\geq 2, P(n)=0\mathcal{P}(n)=0 vale esattamente nei numeri primi dispari; P(2)>0\mathcal{P}(2)>0. Per tutti gli x>1x>1 non interi, si ha P(x)>0\mathcal{P}(x)>0. La funzione è CC^\infty a tratti, con la sua derivata seconda che presenta salti esattamente nei numeri quadrati m2m^2, con ampiezza dei salti calcolabile esplicitamente. Sostituendo i troncamenti netti con transizioni lisce si ottengono funzioni analoghe CC^\infty Pτ\mathcal{P}_\tau e Pσ\mathcal{P}_\sigma, con limiti interi Pτ(n;κ)τ(n)2\mathcal{P}_\tau(n;\kappa)\to\tau(n)-2 e Pσ(n;κ)σ(n)n1\mathcal{P}_\sigma(n;\kappa)\to\sigma(n)-n-1 quando κ\kappa\to\infty.

Contesto di Ricerca e Motivazione

Definizione del Problema

L'identificazione dei numeri primi è un problema fondamentale della teoria dei numeri; i metodi esistenti si dividono in quattro categorie:

  1. Formule di rappresentazione dei numeri primi: come le formule di Mills/Willans/Wilson, precise ma computazionalmente inefficaci
  2. Costruzione di insiemi di zeri analitici: costruzione di funzioni intere che si annullano nei numeri primi tramite fattorizzazione di Weierstrass
  3. Codificatori trigonometrici/nucleari: utilizzo di quozienti sinusoidali per codificare relazioni di divisibilità
  4. Funzioni L e metodi di crivello: metodi classici della teoria analitica dei numeri

Motivazione della Ricerca

L'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.

Idea Centrale

Codificare le relazioni di divisibilità tramite il quoziente sinusoidale Q(x,i):=sin2(πx)sin2(πx/i)Q(x,i) := \frac{\sin^2(\pi x)}{\sin^2(\pi x/i)} e quindi utilizzare l'identità di Fejér per trasformare in polinomi coseno al fine di gestire singolarità eliminabili.

Contributi Principali

  1. Costruzione di una caratterizzazione esatta degli zeri nei numeri primi dispari: per interi n2n\geq 2, P(n)=0P(n)=0 se e solo se nn è un numero primo dispari
  2. Fornitura di una caratterizzazione esatta della regolarità: PP è una funzione C1C^1 e CC^\infty a tratti, con formula esplicita per i salti della derivata seconda
  3. Estensione a funzioni aritmetiche lisce analoghe: costruzione di funzioni CC^\infty PτP_\tau e PσP_\sigma che convergono a funzioni aritmetiche classiche
  4. Stabilimento di connessioni con l'elevamento di Fejér-Dirichlet: posa le basi per un quadro più generale

Dettagli del Metodo

Definizione del Compito

Costruire una funzione P:RRP:\mathbb{R}\to\mathbb{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

Costruzione Principale

Definizione del Termine di Fejér

Per i2i\geq 2, definire F(x,i)=i+2k=1i1(ik)cos(2πkxi)F(x,i) = i + 2\sum_{k=1}^{i-1}(i-k)\cos\left(\frac{2\pi kx}{i}\right)

Questo è equivalente alla continuazione olomorfa del quoziente sinusoidale: F(x,i)=(sin(πx)sin(πx/i))2F(x,i) = \left(\frac{\sin(\pi x)}{\sin(\pi x/i)}\right)^2

Definizione della Funzione Principale

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

Proprietà Chiave

  • Valutazione negli interi: F(n,i)=i2F(n,i) = i^2 se ini|n, altrimenti 00
  • Non-negatività: per tutti gli xRx\in\mathbb{R}, F(x,i)0F(x,i)\geq 0
  • Olomorfia: F(,i)F(\cdot,i) è una funzione intera

Funzioni Analoghe Lisce

Funzione di Troncamento Liscio

φκ(u)=1tanh(κ(u1))2\varphi_\kappa(u) = \frac{1-\tanh(\kappa(u-1))}{2}

Analogo del Conteggio dei Divisori (PτP_\tau)

Pτ(x;κ)=i=2φκ(ix+1)F(x,i)i21P_\tau(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i^2} - 1

Analogo della Somma dei Divisori (PσP_\sigma)

Pσ(x;κ)=i=2φκ(ix+1)F(x,i)ixP_\sigma(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i} - x

Punti di Innovazione Tecnica

  1. Rappresentazione in Frazioni Parziali Risonanti: F(x,i)=i2π2sin2(πx)kZ1(xik)2F(x,i) = \frac{i^2}{\pi^2}\sin^2(\pi x)\sum_{k\in\mathbb{Z}}\frac{1}{(x-ik)^2}
  2. Limiti di Troncamento Espliciti: fornisce limiti di errore espliciti per il troncamento delle serie
  3. Stabilità Numerica: utilizza sviluppi di Taylor locali stabili vicino ai punti di risonanza per evitare cancellazioni numeriche

Configurazione Sperimentale

Implementazione Numerica

  • Complessità di valutazione O(x)O(\sqrt{x})
  • Utilizzo di proxy di Taylor locali stabili nei punti di risonanza x/iround(x/i)<ε|x/i - \text{round}(x/i)| < \varepsilon
  • Fornitura di implementazione di riferimento in Python

Scelta dei Parametri

  • Per PτP_\tau: κ\kappa controlla la pendenza, valori tipici κ[10,1000]\kappa \in [10, 1000]
  • Per PσP_\sigma: intervallo di κ\kappa analogo
  • Soglia di troncamento: ε=106\varepsilon = 10^{-6} per la rilevazione di risonanza

Risultati Sperimentali

Risultati Principali

Proprietà degli Zeri nei Numeri Primi Dispari

  • Teorema 4.2: per interi n2n\geq 2, P(n)=0P(n)=0 se e solo se nn è un numero primo dispari
  • P(2)=2>0P(2) = 2 > 0 (il numero primo pari non si annulla)
  • Per tutti gli x>1x>1 non interi, P(x)>0P(x)>0

Caratterizzazione della Regolarità

  • Proposizione 3.3: formula dei salti della derivata seconda Δm2P=2π2m2sin2(π/(m+1))\Delta_{m^2}P'' = \frac{2\pi^2}{m^2\sin^2(\pi/(m+1))}
  • Comportamento asintotico: Δm2P=2+4m+O(m2)\Delta_{m^2}P'' = 2 + \frac{4}{m} + O(m^{-2})

Convergenza delle Funzioni Analoghe Lisce

  • limκPτ(n;κ)=τ(n)2\lim_{\kappa\to\infty} P_\tau(n;\kappa) = \tau(n) - 2
  • limκPσ(n;κ)=σ(n)n1\lim_{\kappa\to\infty} P_\sigma(n;\kappa) = \sigma(n) - n - 1

Osservazioni Numeriche

Fenomeno degli Zeri Accompagnatori

  • Congettura 7.9: per numeri primi dispari pp, Pτ(;κ)P_\tau(\cdot;\kappa) presenta coppie di zeri reali vicino a pp
  • Congettura 8.3: Pσ(;κ)P_\sigma(\cdot;\kappa) mostra coppie di zeri asimmetriche

Applicazioni al Conteggio dei Numeri Primi

Costruzione di due somme illustrative per il conteggio dei numeri primi:

  1. Baseline a soglia costante: πPτ(x;C,κ)=n=2x(1Pτ(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)
  2. Variante H non cumulativa: utilizzo di soglie dinamiche per limitare la perdita di numeri composti

Lavori Correlati

Storia delle Funzioni Indicatrici di Numeri Primi

  • Formula di Mills: A3n\lfloor A^{3^n}\rfloor fornisce l'nn-esimo numero primo
  • Formula di Willans: utilizza varianti del teorema di Wilson
  • Metodi ottici/di scattering: costruzioni ispirate dalla fisica

Relazione con i Metodi Esistenti

Il 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

Conclusioni e Discussione

Conclusioni Principali

  1. Costruzione riuscita di una funzione C1C^1 che si annulla esattamente nei numeri primi dispari
  2. Fornitura di una caratterizzazione completa dei salti della derivata seconda
  3. Stabilimento di funzioni analoghe lisce con le funzioni dei divisori τ(n)\tau(n) e σ(n)\sigma(n)

Limitazioni

  1. Efficienza algoritmica: richiede tempo Θ(n)\Theta(\sqrt{n}), non superiore alla divisione per trial
  2. Numeri primi pari: P(2)0P(2) \neq 0, richiede trattamento speciale
  3. Comportamento non intero: per PσP_\sigma, l'esistenza di zeri non interi rimane irrisolta
  4. Limitazioni teoriche: non affronta il teorema dei numeri primi o la distribuzione degli zeri delle funzioni L

Direzioni Future

  1. Elevamento di Fejér-Dirichlet: generalizzazione a sequenze di pesi arbitrari
  2. Collegamento con funzioni L: esplorazione della relazione con serie di Dirichlet
  3. Ottimizzazione numerica: miglioramento dell'efficienza pratica per input grandi

Valutazione Approfondita

Punti di Forza

  1. Rigore matematico: fornitura di analisi teorica completa e formule esplicite
  2. Innovazione tecnica: applicazione ingegnosa dell'identità di Fejér e rappresentazione in frazioni parziali risonanti
  3. Praticità: inclusione di implementazione numericamente stabile e codice di riferimento
  4. Completezza: quadro completo dalla costruzione di base alle applicazioni

Punti Deboli

  1. Complessità computazionale: nessun vantaggio algoritmico fornito
  2. Profondità teorica: evita il collegamento con i problemi centrali della teoria analitica dei numeri
  3. Ambito di applicazione: principalmente di interesse teorico, applicazioni pratiche limitate

Impatto

  1. Contributo teorico: nuovo metodo di costruzione per funzioni indicatrici di numeri primi lisce
  2. Metodologia: nuova applicazione del nucleo di Fejér nella teoria dei numeri
  3. Riproducibilità: fornitura di dettagli di implementazione completi e codice

Scenari Applicabili

  1. Dimostrazione didattica: visualizzazione delle proprietà dei numeri primi
  2. Ricerca teorica: base per quadri più generali
  3. Esperimenti numerici: studio delle proprietà locali della distribuzione dei numeri primi

Bibliografia

L'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.