Weighted error-sum identities for periodic continued fractions and their generalizations

Technische Samenvatting: Gewogen Fout-Sommen Identiteiten voor Periodieke Voortdurende Breuken en Hun Generalisaties

Probleemstelling
Het artikel behandelt de studie van benaderingsfouten voortvloeiend uit de convergenten van voortdurende breuken. Voor een reëel getal $\xi$ met convergenten $h_n/k_n$, wordt de lokale benaderingsfout gedefinieerd als $\varepsilon_n = h_n - \xi k_n$. Terwijl het asymptotische gedrag van deze fouten goed begrepen is, richt het artikel zich op de globale structuur van gewogen fout-sommen, specifiek de reeks:
$$f_\xi(s) = \sum_{n=-1}^{\infty} a_{n+1} |h_n - \xi k_n|^s$$
voor $s \ge 1$. Het primaire probleem is het afleiden van expliciete, gesloten vorm-expressies voor deze sommen wanneer $\xi$ een zuiver periodieke kwadratische irrationaal is (d.w.z. $\xi = [a_0, a_1, \dots, a_{N-1}]$). Daarnaast streven de auteurs ernaar deze resultaten uit te breiden naar gegeneraliseerde voortdurende breuken met niet-eenheids-tellers om identiteiten voor wiskundige constanten zoals $\pi$ en $\ln 2$ af te leiden.

Methodologie
De auteurs maken gebruik van een combinatie van lineaire algebra, klassieke getaltheorie en de theorie van voortdurende breuken. De kern van hun methodologie berust op de observatie dat voor zuiver periodieke voortdurende breuken de reeks benaderingsfouten uiteenvalt in $N$ geometrische deelreeksen.

Het artikel presenteert drie onafhankelijke bewijzen voor deze geometrische decompositie (Stelling 2.1):

1. Matrixdynamica: Door cyclische periode-matrices $M_r$ te definiëren die werken op de vector van opeenvolgende fouten $(\varepsilon_n, \varepsilon_{n-1})^T$, tonen de auteurs aan dat deze matrices dezelfde eigenwaarden delen. De contractie van de foutvector wordt beheerst door de eigenwaarde $\rho$, die de geconjugeerde is van een specifieke algebraïsche eenheid $u$.
2. Algebraïsche Conjugatie: Door gebruik te maken van de kwadratische vergelijking waaraan $\xi$ voldoet en Viète's formules, leiden de auteurs direct een recursie-relatie voor de fouten af, waarbij zij de geometrische progressie aantonen zonder expliciete matrixnotatie ($\varepsilon_{n+N} = \rho \varepsilon_n$).
3. Volledige Quotiënten: Door de reeks volledige quotiënten $\xi_n$ en hun product over een periode te analyseren, relateren de auteurs de fouttermen aan het product van deze quotiënten, waarmee zij opnieuw de geometrische progressie vaststellen.

Zodra het geometrische karakter van de fout-deelreeksen is vastgesteld ($\varepsilon_{mN+r} = \varepsilon_r \rho^m$), worden de gewogen sommen $f_\xi(s)$ geëvalueerd door de resulterende geometrische reeksen op te tellen. De gemeenschappelijke ratio $\rho$ wordt geïdentificeerd als de geconjugeerde van de periode-eenheid $u = k_{N-1}\xi + k_{N-2}$.

Voor gegeneraliseerde voortdurende breuken van de vorm $\xi = a_0 + \frac{b_1}{a_1 + \frac{b_2}{a_2 + \dots}}$ maken de auteurs gebruik van een algebraïsch telescopisch argument. Door $c_n = 1/B_n$ te definiëren (waarbij $B_n$ het product van de tellers is), construeren zij een recursie waardoor de som van gekwadrateerde fouten kan telescoperen, wat een identiteit voor $\xi$ oplevert onder specifieke convergentievoorwaarden.

Belangrijkste Bijdragen en Resultaten

1. Geometrische Decompositie van Fouten: Het artikel stelt vast dat voor een zuiver periodieke kwadratische irrationaal $\xi$ met periode $N$, de foutreeks $\varepsilon_n$ uiteenvalt in $N$ geometrische deelreeksen. Voor elke residu-klasse $r \in \{-1, 0, \dots, N-2\}$ voldoen de fouten aan:
   $$\varepsilon_{mN+r} = \varepsilon_r \cdot \rho^m$$
   waarbij $\rho = \bar{u}$ de geconjugeerde is van de fundamentele periode-eenheid $u$. Dit resultaat, beschreven als een "eenvoudige en mooie" observatie die voorheen niet in de literatuur werd gevonden, maakt de expliciete berekening van fout-sommen mogelijk.

2. Expliciete Gesloten Formules voor Gewogen Sommen: De auteurs leiden een gesloten formule af voor de gewogen fout-som $f_\xi(s)$:
   $$f_\xi(s) = \sum_{r=-1}^{N-2} a_{r+1} \frac{|\varepsilon_r|^s}{1 - |\rho|^s}$$
   Zij bewijzen dat voor gehele $s \ge 1$, $f_\xi(s)$ tot het veld $\mathbb{Q}(\xi)$ behoort. Dit biedt een verenigde generalisatie van eerdere identiteiten (zoals het geval $s=1$ of $s=2$) voor kwadratische irrationalen.

3. Verbinding met Fundamentele Eenheden: De gemeenschappelijke ratio $\rho$ is expliciet gekoppeld aan de fundamentele eenheid van de reële kwadratische orde gegenereerd door $\xi$. De periode-eenheid $u = k_{N-1}\xi + k_{N-2}$ wordt getoond de fundamentele eenheid (of een macht daarvan) te zijn van de corresponderende orde, met norm $N(u) = (-1)^N$.

4. Gegeneraliseerde Identiteiten voor $\pi$ en $\ln 2$: Door de methode uit te breiden naar gegeneraliseerde voortdurende breuken, bewijzen de auteurs een telescopische identiteit:
   $$\sum_{n=-1}^{\infty} \frac{a_{n+1}}{B_{n+1}} (h_n - \xi k_n)^2 = \xi$$
   Door deze toe te passen op specifieke expansies:

   • Voor $\pi$: Gebruikmakend van de gegeneraliseerde voortdurende breuk afgeleid van de arctangens-reeks, verkrijgen zij een identiteit die de staart van de Leibniz-reeks en de digamma-functie $\psi(z)$ betreft.
   • Voor $\ln 2$: Gebruikmakend van de Euler-voortdurende breuk voor $\ln(1+x)$ bij $x=1$, leiden zij een som van de kwadraten van de staarten van de alternerende harmonische reeks af.
   • Snellere Convergentie: Zij passen de methode ook toe op een reeks voor $\log 2$ afgeleid via de Euler-transformatie, wat een sneller convergerende identiteit oplevert die de digamma-functie betreft.

Betekenis
Het artikel claimt betekenis te hebben door een verenigd kader te bieden voor het begrijpen van gewogen fout-sommen in periodieke voortdurende breuken. Door de onderliggende geometrische progressie van de fouten te identificeren, transformeren de auteurs het probleem van het sommeren van oneindige reeksen benaderingsfouten naar een eindige berekening die gebruik maakt van het initiële segment van de voortdurende breuk en de periode-eenheid.

Het werk generaliseert eerdere resultaten (zoals die van Kalinin en Shkolnikov) die beperkt waren tot specifieke gevallen ($s=1, 2$) of specifieke constanten. Bovendien maakt de uitbreiding naar gegeneraliseerde voortdurende breuken het mogelijk om nieuwe identiteiten voor fundamentele constanten zoals $\pi$ en $\ln 2$ af te leiden, uitgedrukt in termen van hun convergentie-staarten en speciale functies. De auteurs merken op dat deze resultaten de "diversiteit en voortdurende activiteit" illustreren van onderzoek in Diophantische benadering en fout-som-functies, en bieden een structurele verklaring voor eerder waargenomen identiteiten.

Het artikel sluit af met een bescheiden suggestie voor toekomstige richtingen, zoals multidimensionale analogen met behulp van algoritmen zoals de Jacobi-Perron methode, terwijl het erkent dat het moeilijk is om periodiciteit in hogere dimensies te garanderen (Hermite's probleem).