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.
Papier-ID : 2506.18933Titel : Fejér-Kernel Prime IndicatorsAutor : Sebastian FuchsKlassifikation : math.NT (Zahlentheorie)Veröffentlichungsdatum : 15. Oktober 2025 (arXiv-Version)Papierlink : https://arxiv.org/abs/2506.18933 Es wird eine C 1 C^1 C 1 Primzahlindikator-Funktion P : R → R \mathcal{P}:\mathbb{R}\to\mathbb{R} P : R → R konstruiert, indem die Fejér-Identität auf die Sinusquotienten-Kodierung der Probedivision angewendet wird. Für ganze Zahlen n ≥ 2 n\geq 2 n ≥ 2 gilt P ( n ) = 0 \mathcal{P}(n)=0 P ( n ) = 0 genau bei ungeraden Primzahlen; P ( 2 ) > 0 \mathcal{P}(2)>0 P ( 2 ) > 0 . Für alle nicht-ganzen Zahlen x > 1 x>1 x > 1 gilt P ( x ) > 0 \mathcal{P}(x)>0 P ( x ) > 0 . Die Funktion ist stückweise C ∞ C^\infty C ∞ , wobei ihre zweite Ableitung genau bei Quadratzahlen m 2 m^2 m 2 Sprünge aufweist, deren Größe explizit berechnet werden kann. Durch Ersetzen scharfer Abschneidungen durch glatte Übergänge erhält man C ∞ C^\infty C ∞ analoge Funktionen P τ \mathcal{P}_\tau P τ und P σ \mathcal{P}_\sigma P σ mit ganzzahligen Grenzwerten P τ ( n ; κ ) → τ ( n ) − 2 \mathcal{P}_\tau(n;\kappa)\to\tau(n)-2 P τ ( n ; κ ) → τ ( n ) − 2 und P σ ( n ; κ ) → σ ( n ) − n − 1 \mathcal{P}_\sigma(n;\kappa)\to\sigma(n)-n-1 P σ ( n ; κ ) → σ ( n ) − n − 1 wenn κ → ∞ \kappa\to\infty κ → ∞ .
Die Primzahlerkennung ist ein fundamentales Problem der Zahlentheorie. Bestehende Methoden lassen sich in vier Kategorien einteilen:
Primzahldarstellungsformeln : wie Mills/Willans/Wilson-Formeln, zwar exakt aber rechnerisch ineffizientAnalytische Nullstellenkonstruktion : Konstruktion ganzer Funktionen, die bei Primzahlen verschwinden, mittels Weierstrass-FaktorisierungTrigonometrische/Kern-Kodierer : Verwendung von Sinusquotienten zur Kodierung von TeilungsbeziehungenL-Funktionen und Siebmethoden : klassische analytische ZahlentheoriemethodenDieses Papier verfolgt die dritte Methode und nutzt Fejér-Kosinus-Polynom-Regularisierung der Probedivision, um Funktionen zu konstruieren, die auf den reellen Zahlen punktweise definiert sind, während sie die direkte arithmetische Bedeutung bei ganzen Zahlen bewahren und gleichzeitig explizite Kontrolle über die Glattheit und die Position und Größe von Ableitungssprüngen ermöglichen.
Durch den Sinusquotienten
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 )
werden Teilungsbeziehungen kodiert, dann wird die Fejér-Identität verwendet, um in Kosinuspolynome umzuwandeln und hebbare Singularitäten zu behandeln.
Konstruktion einer exakten Charakterisierung der Nullstellen ungerader Primzahlen : Für ganze Zahlen n ≥ 2 n\geq 2 n ≥ 2 gilt P ( n ) = 0 P(n)=0 P ( n ) = 0 genau dann, wenn n n n eine ungerade Primzahl istBereitstellung einer exakten Glattheit-Charakterisierung : P P P ist eine C 1 C^1 C 1 -Funktion und stückweise C ∞ C^\infty C ∞ , mit expliziten Formeln für Sprünge der zweiten AbleitungErweiterung auf glatte Analoga arithmetischer Funktionen : Konstruktion von C ∞ C^\infty C ∞ -Funktionen P τ P_\tau P τ und P σ P_\sigma P σ , die gegen klassische arithmetische Funktionen konvergierenEtablierung der Verbindung zu Fejér-Dirichlet-Hebungen : Grundlegung für ein allgemeineres RahmenwerkKonstruktion einer Funktion P : R → R P:\mathbb{R}\to\mathbb{R} P : R → R , so dass:
Sie bei ungeraden Primzahlen verschwindet Sie bei allen nicht-ganzen Zahlen positiv ist Sie kontrollierbare Glattheit aufweist Sie die arithmetische Verbindung zur Probedivision bewahrt Für i ≥ 2 i\geq 2 i ≥ 2 definiere
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 )
Dies ist äquivalent zur holomorphen Fortsetzung des Sinusquotienten:
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 )
Ganzzahl-Auswertung : F ( n , i ) = i 2 F(n,i) = i^2 F ( n , i ) = i 2 wenn i ∣ n i|n i ∣ n , sonst 0 0 0 Nicht-Negativität : Für alle x ∈ R x\in\mathbb{R} x ∈ R gilt F ( x , i ) ≥ 0 F(x,i)\geq 0 F ( x , i ) ≥ 0 Holomorphie : F ( ⋅ , i ) F(\cdot,i) F ( ⋅ , i ) ist eine ganze Funktionφ κ ( 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
Resonanz-Partialbruchdarstellung :
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 Explizite Abschneidegrenzen : Bereitstellung expliziter Fehlergrenzen für ReihenabschneidungNumerische Stabilität : Verwendung von Taylor-Entwicklungen in der Nähe von Resonanzpunkten zur Vermeidung numerischer AuslöschungVerwendung von O ( x ) O(\sqrt{x}) O ( x ) Auswertungskomplexität Verwendung stabiler lokaler Taylor-Stellvertreter bei Resonanzpunkten ∣ x / i − round ( x / i ) ∣ < ε |x/i - \text{round}(x/i)| < \varepsilon ∣ x / i − round ( x / i ) ∣ < ε Bereitstellung einer Python-Referenzimplementierung Für P τ P_\tau P τ : κ \kappa κ steuert die Steilheit, typische Werte κ ∈ [ 10 , 1000 ] \kappa \in [10, 1000] κ ∈ [ 10 , 1000 ] Für P σ P_\sigma P σ : ähnlicher κ \kappa κ -Bereich Abschneidungsschwelle: ε = 10 − 6 \varepsilon = 10^{-6} ε = 1 0 − 6 für Resonanzerkennung Satz 4.2 : Für ganze Zahlen n ≥ 2 n\geq 2 n ≥ 2 gilt P ( n ) = 0 P(n)=0 P ( n ) = 0 genau dann, wenn n n n eine ungerade Primzahl istP ( 2 ) = 2 > 0 P(2) = 2 > 0 P ( 2 ) = 2 > 0 (gerade Primzahl ist nicht null)Für alle nicht-ganzen Zahlen x > 1 x>1 x > 1 gilt P ( x ) > 0 P(x)>0 P ( x ) > 0 Proposition 3.3 : Sprungformel der zweiten Ableitung
Δ 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 Asymptotisches Verhalten: Δ 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 Vermutung 7.9 : Für ungerade Primzahlen p p p hat P τ ( ⋅ ; κ ) P_\tau(\cdot;\kappa) P τ ( ⋅ ; κ ) in der Nähe von p p p gepaarte reelle NullstellenVermutung 8.3 : P σ ( ⋅ ; κ ) P_\sigma(\cdot;\kappa) P σ ( ⋅ ; κ ) zeigt asymmetrische NullstellenpaareKonstruktion zweier illustrativer Primzahl-Zähl-Summen:
Konstante Schwellenwert-Basislinie : π 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 ; κ ) ∣ ) Nicht-kumulative H-Variante : Verwendung dynamischer Schwellenwerte zur Begrenzung von Composite-LecksMills-Formel : ⌊ A 3 n ⌋ \lfloor A^{3^n}\rfloor ⌊ A 3 n ⌋ ergibt die n n n -te PrimzahlWillans-Formel : Verwendung von Variationen des Wilson-SatzesOptische/Streuungs-Methoden : Physik-inspirierte KonstruktionenDie Methode dieses Papiers gehört zur Kategorie der trigonometrischen/Kern-Kodierer, bietet aber durch Fejér-Regularisierung:
Explizite Glattheit-Kontrolle Direkte Verbindung zu klassischen arithmetischen Funktionen Berechenbare Fehlergrenzen Erfolgreiche Konstruktion einer C 1 C^1 C 1 -Funktion, die genau bei ungeraden Primzahlen verschwindet Bereitstellung einer vollständigen Charakterisierung von Sprüngen der zweiten Ableitung Etablierung glatter Analoga zu den Teilerfunktionen τ ( n ) \tau(n) τ ( n ) und σ ( n ) \sigma(n) σ ( n ) Algorithmen-Effizienz : Erfordert Θ ( n ) \Theta(\sqrt{n}) Θ ( n ) Zeit, nicht besser als ProbedivisionGerade Primzahlen : P ( 2 ) ≠ 0 P(2) \neq 0 P ( 2 ) = 0 , erfordert SpezialbehandlungNicht-ganzzahliges Verhalten : Für P σ P_\sigma P σ ist die Existenz nicht-ganzzahliger Nullstellen ungeklärtTheoretische Einschränkungen : Keine Behandlung des Primzahlsatzes oder der Verteilung von L-Funktions-NullstellenFejér-Dirichlet-Hebungen : Verallgemeinerung auf beliebige GewichtungssequenzenVerbindung zu L-Funktionen : Erkundung der Beziehung zu Dirichlet-ReihenNumerische Optimierung : Verbesserung der praktischen Effizienz für große EingabenMathematische Strenge : Vollständige theoretische Analyse und explizite FormelnTechnische Innovation : Geschickte Anwendung der Fejér-Identität und Resonanz-PartialbruchdarstellungPraktikabilität : Numerisch stabile Implementierung und ReferenzcodeVollständigkeit : Vollständiger Rahmen von grundlegenden Konstruktionen bis zu AnwendungenRechenkomplexität : Keine algorithmischen VorteileTheoretische Tiefe : Vermeidung von Verbindungen zu Kernproblemen der analytischen ZahlentheorieAnwendungsbereich : Hauptsächlich theoretisches Interesse, begrenzte praktische AnwendungenTheoretischer Beitrag : Neue Konstruktionsmethode für glatte Primzahlindikator-FunktionenMethodologie : Neue Anwendung von Fejér-Kernen in der ZahlentheorieReproduzierbarkeit : Vollständige Implementierungsdetails und CodeLehrdemonstration : Visualisierung von PrimzahleigenschaftenTheoretische Forschung : Grundlage für allgemeinere RahmenwerkeNumerische Experimente : Untersuchung lokaler Eigenschaften der PrimzahlverteilungDas Papier zitiert 34 verwandte Werke, umfassend:
Klassische Zahlentheorie-Lehrbücher (Hardy & Wright, Montgomery & Vaughan) Fejér-Kern-Theorie (Zygmund, Katznelson) Moderne Primzahlforschung (Iwaniec & Kowalski) Verwandte optische und physikalische Methoden Zusammenfassung : Dies ist ein rigoroses Papier von theoretischem Wert im Bereich der Zahlentheorie, das durch geschickte Kombination von Fejér-Analyse und Primzahltheorie neue Konstruktionsmethoden für Primzahlindikator-Funktionen bereitstellt. Obwohl es keinen Durchbruch in der Algorithmen-Effizienz bietet, leistet es bedeutsame Beiträge zum theoretischen Verständnis und zur methodischen Innovation.