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

기술적 요약: 주기적 연분수의 가중 오차 합 항등식 및 그 일반화

문제 정의
본 논문은 연분수의 수렴값(convergents)으로부터 발생하는 근사 오차에 대한 연구를 다룬다. 실수 $\xi$에 대하여 수렴값을 $h_n/k_n$이라 할 때, 국소 근사 오차는 $\varepsilon_n = h_n - \xi k_n$으로 정의된다. 이러한 오차의 점근적 거동은 잘 알려져 있으나, 본 논문은 가중 오차 합, 즉 다음의 급수:
$$f_\xi(s) = \sum_{n=-1}^{\infty} a_{n+1} |h_n - \xi k_n|^s$$
($s \ge 1$인 경우)의 전역적 구조에 초점을 맞춘다. 주요 문제는 $\xi$가 순주기 이차 무리수(즉, $\xi = [a_0, a_1, \dots, a_{N-1}]$)일 때 이 합들에 대한 명시적인 폐쇄형 표현(closed-form expressions)을 도출하는 것이다. 또한, 저자들은 비단위 분자(non-unit numerators)를 갖는 일반화된 연분수로 결과를 확장하여 $\pi$ 및 $\ln 2$와 같은 수학적 상수들에 대한 항등식을 도출하고자 한다.

방법론
저자들은 선형 대수학, 고전 정수론, 그리고 연분수 이론의 조합을 활용한다. 이들의 핵심 방법론은 순주기 이차 무리수의 경우, 근사 오차의 수열이 $N$개의 기하급수적 부분 수열으로 분해된다는 관찰에 기초한다.

본 논문은 이 기하학적 분해(정리 2.1)에 대해 세 가지 독립적인 증명을 제시한다:

1. 행렬 역학(Matrix Dynamics): 연속적인 오차 벡터 $(\varepsilon_n, \varepsilon_{n-1})^T$에 작용하는 순환 주기 행렬 $M_r$을 정의함으로써, 저자들은 이 행렬들이 공통된 고윳값을 공유함을 보여준다. 오차 벡터의 수축은 특정 대수적 단위(algebraic unit) $u$의 켤레인 고윳값 $\rho$에 의해 지배된다.
2. 대수적 켤레(Algebraic Conjugation): $\xi$가 만족하는 이차 방정식과 비에타의 공식(Vieta's formulas)을 사용하여, 저자들은 명시적인 행렬 표기 없이 직접적으로 오차에 대한 재귀 관계를 유도하여 $\varepsilon_{n+N} = \rho \varepsilon_n$임을 보인다.
3. 완전 몫(Complete Quotients): 완전 몫 $\xi_n$의 수열과 그 주기에 대한 곱을 분석함으로써, 저자들은 오차 항을 이 몫들의 곱과 연결하며, 이를 통해 다시 한번 기하급수적 진행을 확립한다.

오차의 기하학적 성질($\varepsilon_{mN+r} = \varepsilon_r \rho^m$)이 확립되면, 가중 합 $f_\xi(s)$는 기하급수를 합산함으로써 계산된다. 공비 $\rho$는 주기 단위 $u = k_{N-1}\xi + k_{N-2}$의 켤레로 식별된다.

분자가 $b_i$인 형태의 일반화된 연분수 $\xi = a_0 + \frac{b_1}{a_1 + \frac{b_2}{a_2 + \dots}}$의 경우, 저자들은 대수적 망원급수(telescoping) 논법을 활용한다. $c_n = 1/B_n$ ($B_n$은 분자들의 곱)으로 정의함으로써, 저자들은 특정 수렴 조건 하에서 제곱 오차의 합이 망원 급수가 되어 $\xi$에 대한 항등식을 산출할 수 있는 재귀 관계를 구축한다.

주요 기여 및 결과

1. 오차의 기하학적 분해: 본 논문은 주기가 $N$인 순주기 이차 무리수 $\xi$에 대하여, 오차 수열 $\varepsilon_n$이 $N$개의 기하급수적 부분 수열으로 나뉜다는 것을 입증한다. 임의의 나머지 클래스 $r \in \{-1, 0, \dots, N-2\}$에 대하여, 오차는 다음을 만족한다:
   $$\varepsilon_{mN+r} = \varepsilon_r \cdot \rho^m$$
   여기서 $\rho = \bar{u}$는 기본 주기 단위 $u$의 켤레이다. 기존 문헌에서 발견되지 않았던 "단순하고 깔끔한" 관찰로 기술된 이 결과는 오차 합의 명시적 계산을 가능하게 한다.

2. 가중 합에 대한 명시적 폐쇄 공식: 저자들은 가중 오차 합 $f_\xi(s)$에 대한 폐쇄 공식을 도출한다:
   $$f_\xi(s) = \sum_{r=-1}^{N-2} a_{r+1} \frac{|\varepsilon_r|^s}{1 - |\rho|^s}$$
   그들은 정수 $s \ge 1$에 대하여 $f_\xi(s)$가 체 $\mathbb{Q}(\xi)$에 속함을 증명한다. 이는 이차 무리수에 대한 기존의 항등식들(예: $s=1$ 또는 $s=2$인 경우)을 통합적으로 일반화한 것이다.

3. 기본 단위와의 연결: 공비 $\rho$는 $\xi$에 의해 생성되는 실 이차 순서(real quadratic order)의 기본 단위와 명시적으로 연결된다. 주기 단위 $u = k_{N-1}\xi + k_{N-2}$는 해당 순서의 기본 단위(또는 그 거듭제곱)이며, 노름은 $N(u) = (-1)^N$이다.

4. $\pi$ 및 $\ln 2$에 대한 일반화된 항등식: 일반화된 연분수를 사용하여, 저자들은 다음과 같은 망원 항등식을 증명한다:
   $$\sum_{n=-1}^{\infty} \frac{a_{n+1}}{B_{n+1}} (h_n - \xi k_n)^2 = \xi$$
   특정 전개를 적용하면 다음과 같은 결과를 얻는다:

   • $\pi$의 경우: 아크탄젠트 급수로부터 유도된 일반화된 연분수를 사용하여, 라이프니츠 급수의 꼬리(tail)와 디감마 함수 $\psi(z)$를 포함하는 항등식을 얻는다.
   • $\ln 2$의 경우: $\ln(1+x)$에 대한 오일러의 연분수를 $x=1$에서 적용하여, 교대 조화 급수의 제곱 합에 대한 항등식을 도출한다.
   • 빠른 수렴: 오일러 변환을 통한 $\log 2$의 급수에 이 방법을 적용하여, 디감마 함수를 포함하는 더 빠르게 수렴하는 항등식을 얻는다.

의의
본 논문은 주기적 연분수의 가중 오차 합을 이해하기 위한 통합된 프레임워크를 제공한다는 점에서 의의를 갖는다. 오차의 기저에 깔린 기하급수적 진행을 식별함으로써, 저자들은 무한 급수인 근사 오차의 합 문제를 초기 연분수 구간과 주기 단위에 관한 유한한 계산 문제로 변환시킨다.

이 연구는 $s=1, 2$로 제한되었거나 특정 상수에만 국한되었던 기존 연구들(Kalinin 및 Shkolnikov 등)을 일반화한다. 또한, 일반화된 연분수로의 확장은 $\pi$ 및 $\ln 2$와 같은 근본적인 상수들에 대해 수렴하는 꼬리와 특수 함수들로 표현되는 새로운 항등식을 도출할 수 있게 한다. 저자들은 이러한 결과가 디오판토스 근사 및 오차 합 함수 연구의 "다양성과 지속적인 활동"을 보여준다고 언급하며, 이전에 관찰된 항등식들에 대한 구조적 설명을 제공한다고 밝히고 있다.

논문은 향-다차원 알고리즘인 Jacobi-Perron을 이용한 다차원 유사물에 대한 미래 연구 방향을 겸허히 제안하며 마무리하지만, 고차원에서의 주기성을 보장하는 것의 어려움(헤르미트 문제)을 인정한다.