[논문 리뷰] Weighted error-sum identities for periodic continued fractions and their generalizations

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

Mathematical functions and polynomials인용 수 0

한 줄 요약

논문은 순수하게 주기적인 2차 무리수의 경우, 근사오차 수열이 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$.

연구 동기 및 목표

• 순수하게 주기적인 2차 무리수의 수렴 값에서의 오차 항을 특성화한다.
• 오차 수열이 Q(ξ) 내의 공통 비를 갖는 N개의 기하적 부분수열로 분해됨을 보인다.
• 가중 오차 합 fξ(s)의 닫힌 형 표현을 얻고 이를 대수적 단위와 관련짓는다.
• 일반화된 연속분수에 대한 프레임워크를 확장하고 오일러형 항등식을 얻는다.
• 실수 2차 다항체의 기본 단위와의 연관성을 도출하고 다차원 일반화도 탐구한다.

제안 방법

• 오차 εn = hn − ξkn 을 N개의 부분수열 εmN+r = εr ρm 로 기하학적으로 분해를 확립하되, ρ는 Q(ξ) 안에 있다.
• 세 가지 증명을 제공: 주기 행렬 MN 를 이용한 행렬 동역학; u = kN−1 ξ + kN−2 를 통한 Q(ξ) 내 대수적 켤레 작용; 그리고 연속분수의 완전 몫.
• βk(s) 를 정의: βk(s) = sum over indices j ≡ k (mod N) of |hn − ξ kn|^s 이고 βk(s) = |εk|^s /(1 − |ρ|^s) 를 보인다.
• fξ(s) 를 정의: fξ(s) = sum n≥−1 a(n+1) |hn − ξ kn|^s 이고 fξ(s) = sum i=0..N−1 a_{i+1} βi(s) 로 표현한다.
• ρ 를 u = kN−1 ξ + kN−2 인 단위와 연결하고 Q(ξ) 에서의 도함을 도출한다.
• 분모가 분리된 일반화된 연속분수로 프레임워크를 확장하고 가중 오차 합에 대한 오일러형 항등식을 증명한다.

실험 결과

연구 질문

• RQ1 순수하게 주기적인 2차 무리수의 수렴 값에서의 근사 오차가 주기 모듈로에 대한 잔여 클래스에 따라 어떻게 분포하는가?
• RQ2 정수 s ≥ 1 인 경우 가중 오차 합 fξ(s) 의 명시적 형태는 무엇이며, 이것이 초기 구간과 기하적 비 ρ 와 어떻게 표현되는가?
• RQ3 공통 비 ρ 가 기저의 2차 체의 대수적 단위와 어떻게 연결되는가?
• RQ4 분모가 분리된 일반화된 연속분수로 프레임워크를 확장하고 π 및 ln 2에 대한 유사한 항등식을 얻을 수 있는가?
• RQ5 이 항등식을 고차 또는 Jacobi–Perron-type 확장으로 일반화할 수 있는 다차원 유사체는 무엇인가?

주요 결과

• 순수하게 주기적인 ξ 의 오차 수열은 Q(ξ) 안의 공통 비 ρ 를 갖는 N 개의 기하적 부분수열로 분할된다.
• βk(s) 합은 기하급수가 되며: βk(s) = |εk|^s /(1 − |ρ|^s).
• 정수 s ≥ 1 에 대해 fξ(s) 는 Q(ξ) 에 있다.
• ρ 는 (−1)^N / u 이고, u = kN−1 ξ + kN−2 이며, u 는 실수 2차 체 K = Q(ξ) 의 단위이다.
• 단위 해석은 fξ(s) 를 초기 오차와 기본 단위의 표현으로 이끈다.
• 이 논문은 이러한 아이디어를 일반화된 연속분수에 확장하여 오일러형 항등식을 얻고 π 및 ln 2 와의 추가 연결고리를 제시한다.