[論文レビュー] Weighted error-sum identities for periodic continued fractions and their generalizations

Kevin Calderon, Nikita Kalinin|arXiv (Cornell University)|Jan 10, 2026

Mathematical functions and polynomials被引用数 0

ひとこと要約

要約: 本論文は純粋に周期的な二次無理数に対して、収束比における誤差列が N 個の幾何的部分列に分解され、重み付き誤差和の単位関連表現を具体的に導出することを示し、一般化した連分数へ拡張し、πおよび ln 2 に対するオイラー型同一式を得る。

ABSTRACT

For a purely $N$-periodic continued fraction $ξ=[\overline{a_0,a_1,\dots,a_{N-1}}]=[a_0,a_1,\cdots]$, with $a_k=a_{k+N}$ for all $k\ge 0$, and convergents $h_n/k_n=[a_0,a_1,\dots,a_n]$, we obtain explicit expressions for the weighted error sums $f_ξ(s)=\sum a_{n+1}\lvert h_n-ξk_n vert^s$ for $s>1$. A key observation is that, for each residue class $k_0\in{0,1,\dots,N-1}$, the subsequence of approximation errors $(h_k-ξk_k)$ with $k\equiv k_0 \pmod N$ forms a geometric progression. In addition, we extend our methods to generalized continued fractions with numerators $(b_n)$, obtaining Euler-type identities and weighted error-sum formulae for $π$ and $\ln 2$.

研究の動機と目的

• 純粋に周期的二次無理数の収束比における誤差項を特徴づける。
• 誤差列が共通比を有する N 個の幾何的部分列に分解されることを示す。
• 重み付き誤差和 fξ(s) の閉形式表現を得て、それを代数的単位と関連づける。
• 一般化連分数へ枠組みを拡張し、オイラー型の同一式を得る。
• 実数二次体の基礎的単位との関係を導き、多次元的な一般化を探る。

提案手法

• 誤差 εn = hn − ξ kn を N 個の部分列 εmN+r = εr ρm（ρ ∈ Q(ξ)）へ幾何分解する機構を確立する。
• 三つの証明法を提供する：周期行列 MN を用いた行列ダイナミクス、Q(ξ) における共役代数 u = kN−1 ξ + kN−2 による代数共役、連分数の完全商を用いる。
• βk(s) = ∑ の j ≡ k (mod N) に対して |hn − ξ kn|^s を定義し、βk(s) = |εk|^s /(1 − |ρ|^s) を示す。
• fξ(s) = ∑ n≥−1 a(n+1) |hn − ξ kn|^s を定義し、fξ(s) = ∑ i=0..N−1 a_{i+1} βi(s) と表す。
• ρ を単位 u = kN−1 ξ + kN−2 に関連付け、Q(ξ) における系数の系を導出する。
• 分子が bn の一般化連分数へ拡張し、重み付き誤差和に関するオイラー型同一式を証明する。

実験結果

リサーチクエスチョン

• RQ1 純粋に周期的な二次無理数の収束比の誤差は周期の法 t に対してどの残差クラスに分布するか。
• RQ2 整数 s ≥ 1 に対する重み付き誤差和 fξ(s) の具体的な形と、初期区間および幾何比 ρ を用いた表現はどうなるか。
• RQ3 共通比 ρ は基礎となる二次体の代数的単位とどう結びつくか。
• RQ4 分割分母を持つ一般化連分数へ枠組みを拡張し、π および ln 2 に対する同様の同一式を得られるか。
• RQ5 これらの同一式を高次元・Jacobi–Perron 型展開などの高次元的類似へ拡張できるか。

主な発見

• 純粋に周期的 ξ の誤差列は共通比 ρ in Q(ξ) を持つ N 個の幾何的部分列に分かれる。
• βk(s) の和は幾何級数となり、βk(s) = |εk|^s /(1 − |ρ|^s) となる。
• 整数 s ≥ 1 のとき、fξ(s) は Q(ξ) に属する。
• ρ は (−1)^N / u であり、u = kN−1 ξ + kN−2 は実二次体 K = Q(ξ) の単位である。
• 単位の解釈は、初期誤差と基礎単位の観点から fξ(s) の表現を導く。
• 本論はこれらの考えを一般化連分数へ拡張し、オイラー型同一式および π 及び ln 2 へのさらなる関係を得る。