Deficiency Identity for Zeta Values and Optimal Approximation

Titel: Een Deficiëntie-Identiteit voor Zetawaarden en Optimale Benadering

1. Het Probleem

De Riemann-zetafunctie, gedefinieerd als $\zeta(s) = \sum_{n=1}^{\infty} n^{-s}$ voor $\Re(s) > 1$, is een fundamenteel object in de analytische getaltheorie. Hoewel er expliciete gesloten vormen bestaan voor waarden op even gehele getallen (uitgedrukt via Bernoulli-getallen), ontbreken dergelijke uitdrukkingen voor oneven waarden (zoals $\zeta(3), \zeta(5), \dots$).

De uitdaging ligt in het nauwkeurig benaderen van deze oneven zetawaarden. Traditionele methoden zoals:

• Dirichlet-truncatie: Het simpelweg optellen van partiële sommen, wat een fout van $O(n^{-(q-1)})$ oplevert.
• Euler-Maclaurin-sommatie: Een verfijnde methode die asymptotische correcties toevoegt aan de staart van de reeks. Hoewel zeer nauwkeurig, vereist deze methode expliciete berekeningen van hogere afgeleiden en Bernoulli-getallen, wat de symbolische complexiteit verhoogt.

Het doel van dit werk is een nieuw raamwerk te ontwikkelen dat een exacte structuurdecompositie biedt en een efficiëntere, impliciete benaderingsmethode genereert zonder expliciete Euler-Maclaurin-uitbreidingen.

2. Methodologie: Het Deficiëntie-Raamwerk

De kern van de methode is gebaseerd op een niet-lineaire transformatie van partiële sommen en het concept van "deficiëntie" (tekort) dat ontstaat door massaverdeling.

• Niet-lineaire accumulatie: De auteur observeert dat voor een convexe transformatie $x \mapsto x^\alpha$ (met $\alpha > 1$), het eerst aggregeren van een reeks en vervolgens de transformatie toe te passen, een grotere waarde oplevert dan het toepassen van de transformatie lokaal en vervolgens sommeren.
  $$(\sum a_k)^\alpha > \sum a_k^\alpha$$
• Definiëring van de Deficiëntie: Voor een basisreeks $S_p^n = \sum_{k=1}^n k^{-p}$ en een doel-exponent $q > p$, wordt de cumulatieve deficiëntie $D_{p,q}^n$ gedefinieerd als het verschil tussen de geglobaliseerde niet-lineaire som en de lokale som:
  $$D_{p,q}^n := (S_p^n)^{q/p} - \sum_{k=1}^n k^{-q}$$
• Exacte Identiteit: Door de limiet $n \to \infty$ te nemen, ontstaat een exacte decompositie van de zetawaarde:
  $$\zeta(q) = (\zeta(p))^{q/p} - D_{p,q}^\infty$$
  Hierbij wordt $\zeta(q)$ gezien als het resultaat van een perfecte niet-lineaire accumulatie minus het verlies (deficiëntie) veroorzaakt door de fragmentatie van de reeks.

3. Benaderingsschema en Correctie

Om $\zeta(q)$ te benaderen, wordt de oneindige deficiëntie vervangen door de partiële deficiëntie $D_{p,q}^n$.

• Basis-schatter: $A_{p,q}^n = (\zeta(p))^{q/p} - D_{p,q}^n$.
• Bias: Deze basis-schatter heeft een onvermijdelijke eerste-orde bias van de orde $O(n^{-1})$.
• Gecorrigeerde Schatter: Door een expliciete correctieterm af te leiden uit de Taylor-ontwikkeling van de niet-lineaire transformatie, wordt een gecorrigeerde schatter $B_{p,q}^n$ geconstrueerd die de eerste-orde bias verwijdert.
  $$B_{p,q}^n = A_{p,q}^n - \text{correctieterm}$$

4. Belangrijkste Bijdragen en Resultaten

• Exacte Structuurdecompositie: Het artikel levert een nieuwe, exacte identiteit voor $\zeta(q)$ die de waarde uitdrukt als een verschil tussen een niet-lineaire accumulatie en een cumulatief tekort. Dit biedt een conceptueel alternatief voor traditionele reeksontwikkelingen.
• Asymptotische Convergentie:
  • Voor de standaard keuze $p=2$ (geometrisch natuurlijk) bereikt de gecorrigeerde schatter een convergentie van $O(n^{-2})$.
  • Optimalisatie: Voor oneven $q = 2m+1$ wordt aangetoond dat de keuze $p = q-1$ (dus $p=2m$) de convergentie optimaliseert. De fout wordt dan:
    $$B_{q-1, q}^n - \zeta(q) = O(n^{-(q-1)})$$
    Dit herstelt de natuurlijke convergentiesnelheid van de truncatiefout, maar behoudt de structuur van de deficiëntie-methode.
• Impliciete Euler-Maclaurin: De methode genereert correctietermen impliciet via de Taylor-ontwikkeling van de niet-lineaire transformatie. Dit fungeert als een "impliciete Euler-Maclaurin-uitbreiding" zonder dat Bernoulli-getallen expliciet nodig zijn.
• Uitbreiding naar Spectrale Zeta-functies: Het raamwerk wordt uitgebreid naar algemene spectrale zeta-functies geassocieerd met eigenwaarde-reeksen $\{\lambda_k\}$. De convergentie hangt hier af van de wisselwerking tussen de basis-exponent en de groeisnelheid van de spectrum.

5. Numerieke Experimenten

Numerieke tests voor $\zeta(3), \zeta(5)$ en $\zeta(7)$ bevestigen de theoretische voorspellingen:

• De gecorrigeerde schatter met $p=2$ toont consistent $O(n^{-2})$ convergentie.
• De geoptimaliseerde keuze $p=q-1$ versnelt de convergentie aanzienlijk, overeenkomend met de voorspelde $O(n^{-(q-1)})$ snelheid.
• Hoewel de methode asymptotisch niet superieur is aan een volledig uitgewerkte Euler-Maclaurin-uitbreiding (die hogere-orde termen kan toevoegen), biedt het een vereenvoudigde implementatie met een uniforme correctiemechanisme.

6. Betekenis en Conclusie

De bijdrage van dit werk is primair structureel en conceptueel in plaats van puur numeriek (het biedt geen nieuwe gesloten vormen voor oneven zetawaarden).

• Unificatie: Het biedt een verenigd raamwerk voor de benadering van alle $q > p$ via één basisreeks.
• Interpretatie: Het introduceert een geometrische interpretatie (vooral voor $q=3$) waarbij $\zeta(q)$ wordt gezien als een volume-efficiëntieprobleem onder niet-lineaire schaling.
• Flexibiliteit: De methode is adaptief en werkt zowel voor klassieke Dirichlet-reeksen als voor spectrale zeta-functies.

Samenvattend biedt de "Deficiëntie-Identiteit" een nieuwe manier om naar Dirichlet-sommen te kijken, waarbij asymptotische correcties automatisch voortvloeien uit niet-lineaire transformaties, wat een alternatief perspectief biedt op de klassieke analyse van zeta-functies.