Positive rational series for reciprocal powers of Catalan's constant and Dirichlet beta values

Technische Samenvatting: Positieve Rationele Reeksen voor Reciproque Machten van de Constante van Catalan en Dirichlet Beta-waarden

Probleemstelling
Het artikel behandelt de constructie van reeksrepresentaties voor de reciproke machten van de Dirichlet beta-functie, $\beta(s)^{-r}$, waarbij $r \ge 1$ een geheel getal is. Specifiek richt het zich op de constante van Catalan $G = \beta(2)$ en de waarden van $\beta(s)$ bij oneven gehele getallen (die gerelateerd zijn aan machten van $\pi$). Hoewel de Dirichlet beta-functie wordt gedefinieerd door een alternerende reeks, en de reciproke machten ervan uitgedrukt kunnen worden via Dirichlet-reeksen met behulp van de Möbius-functie, kampen deze klassieke representaties met twee beperkingen: ze bevatten termen met niet-vaste tekenpatronen en ze convergeren algebraïsch in plaats van geometrisch. Het doel is om gewone machtsreeksen met positieve rationale coëfficiënten te ontwikkelen die geometrische convergentie vertonen, waardoor efficiënte computationele instrumenten en nieuwe structurele inzichten in deze constanten worden geboden.

Methodologie
De auteur hanteert een transformatie-gebaseerde aanpak die geworteld is in de integraalrepresentatie van de beta-reeks. De kernmethodologie bestaat uit drie stappen:

1. Integraalrepresentatie: Het artikel maakt gebruik van de functie $F_s(t) = \sum_{k=0}^\infty (-1)^k t^k / (2k+1)^s$, die een integraalrepresentatie toestaat met behulp van de Gamma-functie:
   $$F_s(t) = \frac{1}{\Gamma(s)} \int_0^1 \frac{(-\log x)^{s-1}}{1+tx^2} dx.$$
   Deze representatie is geldig voor $\text{Re}(t) > -1$.

2. Fractioneel-lineaire Substituties: Twee verschillende substituties worden toegepast op de variabele $t$ om de eenheidsschijf naar het domein van analyticiteit te mappen:

   • Gewone Euler-transformatie: De substitutie $t = w/(1-w)$ brengt $w=1/2$ naar $t=1$. Dit levert een reeks op die geldig is voor alle reële $s > 0$.
   • Versnelde Transformatie: De substitutie $t = 2u/(1-u)$ brengt $u=1/3$ naar $t=1$. Dit levert een reeks op die geldig is voor $s \ge 2$.

3. Constructie van Reciproke Machten: De getransformeerde functies nemen de vorm aan $1 - D(z)$, waarbij $D(z)$ een machtsreeks is met positieve coëfficiënten. De reciproke machten $(1 - D(z))^{-r}$ worden vervolgens ontwikkeld met behulp van de gegeneraliseerde binomiaalstelling. De coëfficiënten van deze reciproke reeksen worden afgeleid via:

   • Een eindige-som-formule met behulp van binomiaalcoëfficiënten en alternerende sommen.
   • Een positieve recursierelatie (Theorema 4.2) die efficiënte generatie van coëfficiënten mogelijk maakt.
   • Een compositieformule met behulp van partiële exponentiële Bell-polynomen (Theorema 4.3).

Belangrijkste Bijdragen en Resultaten

• Twee Families van Positieve Reeksen: Het artikel stelt twee families van reeksen vast voor $1/\beta(s)^r$:

  • Een reeks geëvalueerd bij $1/2$ (convergentiesnelheid $1/2$) geldig voor $s > 0$.
  • Een reeks geëvalueerd bij $1/3$ (convergentiesnelheid $1/3$) geldig voor $s \ge 2$.
    Beide families bezitten strikt positieve coëfficiënten. Wanneer $s$ een geheel getal is, zijn alle coëfficiënten rationeel.

• Expliciete Formules voor de Constante van Catalan ($G$): Voor $s=2$ biedt de versnelde transformatie een snel convergerende reeks voor $1/G^r$. Het artikel geeft expliciete formules voor de basiscoëfficiënten $p_{2,n}$ en de reciproke coëfficiënten $c_{2,r,n}$.

  • Voorbeeld: $1/G = 1 + \sum_{n=1}^\infty \frac{c_{2,1,n}}{3^n}$, waarbij de eerste enkele termen $2/27, 226/18225, \dots$ zijn.
  • Het artikel bewijst dat elke term na de initiële 1 een positief rationaal getal is, wat garandeert dat partiële sommen strikte ondergrenzen zijn.

• Reciproke Machten van $\pi$: Door de versnelde transformatie te combineren met de bekende relatie tussen oneven beta-waarden en machten van $\pi$ (met behulp van Euler-getallen), leidt het artikel positieve rationale reeksen voor $\pi^{-(2m+1)r}$.

  • Voor het geval $\beta(1) = \pi/4$, wordt de gewone Euler-transformatie (geëvalueerd bij $1/2$) gebruikt, aangezien de versnelde transformatie geen positieve coëfficiënten produceert bij $s=1$.
  • Dit levert reeksen op zoals $4^r/\pi^r = 1 + \sum_{n=1}^\infty \frac{c_{1,r,n}}{2^n}$.

• Convergentie en Foutanalyse:

  • De exacte wortel-convergentiesnelheden worden bepaald als respectievelijk $1/2$ en $1/3$ voor de twee families.
  • Expliciete restterm-schattingen worden verstrekt (Theorema 4.7), die een geometrische afname van de fout laten zien. Bijvoorbeeld, de fout voor de versnelde reeks is begrensd door termen proportioneel aan $(2/3)^{N+1}$.
  • Numerieke vergelijkingen bevestigen dat de versnelde reeks aanzienlijk sneller convergeert dan de gewone Euler-reeks (bijv. bij $N=80$, is de fout voor $1/G \approx 10^{-41}$ voor de versnelde reeks versus $\approx 10^{-27}$ voor de gewone reeks).

• Eigenschappen van Coëfficiënten: Het artikel beschrijft de structuur van de coëfficiënten, waarbij wordt aangetoond dat ze gegenereerd kunnen worden via een eenvoudige recursie $c_n^{(r)} = \frac{1}{n} \sum_{k=1}^n [n + (r-1)k] d_k c_{n-k}^{(r)}$. Het biedt ook gesloten vorm-uitdrukkingen met behulp van Bell-polynomen en gegeneraliseerde harmonische getallen voor gehele $s$.

Betekenis en Claims
Het artikel claimt een systematische methode te bieden voor het genereren van positieve rationale reeksen voor de reciproke machten van de constante van Catalan en gerelateerde beta-waarden. In tegen afstelling tot eerdere benaderingen die steunen op modulaire vormen of hypergeometrische identiteiten (Ramanujan-type reeksen), is deze methode "Euler-type", gebaseerd op klassieke reeks-transformaties en integraalrepresentaties.

De betekenis ligt in:

1. Computationele Efficiëntie: De geometrische convergentiesnelheden ($1/2$ en $1/3$) en de positiviteit van de termen maken efficiënte berekeningen met hoge precisie van deze constanten en hun reciproke machten mogelijk.
2. Structurele Helderheid: De afleiding van eindige-som-formules en positieve recursies biedt een duidelijke algebraïsche structuur voor deze coëfficiënten, die anders moeilijk te karakteriseren zijn in de context van reciproke machten.
3. Rationaliteit: De expliciete demonstratie dat coëfficiënten rationeel zijn wanneer $s$ een geheel getal is, biedt een nieuwe klasse van rationale benaderingen voor deze constanten.

De auteur merkt expliciet op dat het werk niet tot doel heeft de irrationaliteit van $G$ of andere openstaande aritmetische problemen op te lossen, maar zich richt op de analytische en combinatorische constructie van deze specifieke reeksrepresentaties. De resultaten worden gepresenteerd als zelfstandige analytische instrumenten met directe toepassingen in numerieke evaluatie.