[논문 리뷰] A New Type of Continued Fraction Expansion

Dan Lascu, Ion Colţescu|arXiv (Cornell University)|2010. 10. 21.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 5

한 줄 요약

이 논문은 실수 구간 $[0, m-1]$ 내의 수에 대해 분모에 기수-$m$ 지수항을 사용하는 새로운 연분수 전개를 제안한다. 이 전개는 재귀적 변환 $\tau_m$을 통해 정의되며, 주요 기여는 이 전개가 구간 내 모든 무리수에 대해 원래 수로 수렴함을 증명하고, 오차 한계가 피보나치 수와 분모의 지수 감소를 포함함을 보여주는 것이다.

ABSTRACT

In this paper we define a new type of continued fraction expansion for a real number $x \in I_m:=[0,m-1], m\in N_+, m\geq 2$: \[x = \frac{m^{-b_1(x)}}{\displaystyle 1+\frac{m^{-b_2(x)}}{1+\ddots}}:=[b_1(x), b_2(x), ...]_m. \] Then, we derive the basic properties of this continued fraction expansion, following the same steps as in the case of the regular continued fraction expansion. The main purpose of the paper is to prove the convergence of this type of expansion, i.e. we must show that \[x= \lim_{n ightarrow\infty}[b_1(x), b_2(x), ..., b_n(x)]_m. \]

연구 동기 및 목표

• 실수 $[0, m-1]$에 대해 정수 거듭제곱의 기수-$m$ 지수항을 사용하는 새로운 연분수 전개를 정의한다.
• 구간 $I_m = [0, m-1]$ 내의 모든 무리수에 대해 이 전개의 수렴성을 확립한다.
• 이 전개의 유한 절단에 의한 무리수 근사에 대한 오차 추정을 도출한다.
• 이 새로운 전개에 대한 메트릭 이론의 기초를 마련하며, 이론적 틀 내에서 가우스 문제의 잠재적 해결책을 모색한다.

제안 방법

• 모든 $x \neq 0$에 대해 $\tau_m(x) = m^{\frac{\text{log}(x^{-1})}{\text{log}(m)} - \big\rfloor \frac{\text{log}(x^{-1})}{\text{log}(m)} \big\rfloor} - 1$ 이며, $\tau_m(0) = 0$ 으로 정의하여 지수 $b_n(x)$의 수열을 생성한다.
• 모든 $x \neq 0$에 대해 $b_n(x) = \big\rfloor \frac{\text{log}(x^{-1})}{\text{log}(m)} \big\rfloor$ 로 정의하며, $b_1(0) = \infty$ 로 하여 값이 $\big\brace -1, 0, 1, 2, \big\brace$ 에 속하도록 보장한다.
• 재귀적 변환 $\tau_m$을 사용하여 $[b_1(x), b_2(x), \big\brace_m = \frac{m^{-b_1(x)}}{1 + \frac{m^{-b_2(x)}}{1 + \big\brace}$ 와 같이 연분수를 구성한다.
• 표준 연분수와 유사한 재귀 관계를 통해 수렴근 $p_n(\theta)/q_n(\theta)$ 를 정의하며, $p_n = m^{b_n}p_{n-1} + p_{n-2}$, $q_n = m^{b_n}q_{n-1} + q_{n-2}$ 를 사용한다.
• 오차의 닫힌 표현식을 도출: $|\theta - \theta_n| = \frac{\tau_m^n(\theta) m^{b_1 + \big\brace + b_n}}{q_n(q_n + \tau_m^n(\theta) m^{b_n} q_{n-1})}$.
• 피보나치 수 $F_n$ 와 $m^{b_1 + \big\brace + b_n}$ 의 지수 성장에 기반한 $q_n(\theta)$ 의 경계를 사용하여 $n \to \big\brace$ 일 때 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 기수-$m$ 지수항을 사용하여 $[0, m-1]$ 내의 실수에 대해 새로운 연분수 전개를 정의할 수 있는가?
• RQ2 이 새로운 전개가 $[0, m-1]$ 내의 모든 무리수에 대해 원래 수로 수렴하는가?
• RQ3 이 전개의 $n$번째 수렴근에 대한 오차 한계는 무엇인가?
• RQ4 분모 $q_n$ 의 성장률이 수렴 속도와 지수 수열 $b_n$ 과 어떻게 관련되어 있는가?
• RQ5 이 새로운 전개에 대해 가우스-쿠즈민 이론과 유사한 메트릭 이론을 개발할 수 있는가?

주요 결과

• 모든 무리수 $x \in I_m = [0, m-1]$ 에 대해 연분수 전개 $[b_1(x), b_2(x), \big\brace_m$ 는 $x$ 로 수렴하며, $\theta = \text{lim}_{n \to \big\brace} [b_1(\theta), \big\brace, b_n(\theta)]_m$ 이다.
• $n$번째 수렴근 $\theta_n$ 과 진짜 값 $\theta$ 사이의 오차는 $|\theta - \theta_n| = \frac{\tau_m^n(\theta) m^{b_1 + \big\brace + b_n}}{q_n(q_n + \tau_m^n(\theta) m^{b_n} q_{n-1})}$ 로 주어진다.
• 오차는 이중 부등식을 만족한다: $\frac{m^{b_1 + \big\brace + b_n}}{q_n(q_{n+1} + (m-1)^{n+1} m^{b_{n+1}} q_n)} < |\theta - \theta_n| < \frac{1}{\text{max}(F_n, m^{b_1 + \big\brace + b_n})}$.
• 분모 $q_n(\theta)$ 는 최소한 피보나치 수 $F_n$ 과 동일한 속도로 성장하며, 동시에 $m^{b_1 + \big\brace + b_n}$ 의 속도로도 성장하므로 오차 항이 급격히 감소한다.
• 모든 $n \to \big\brace$ 일 때 $\text{max}(F_n, m^{b_1 + \big\brace + b_n}) \to \big\brace$ 이므로 오차는 0으로 수렴하며, 이는 수렴성을 증명한다.
• 유리수에 대해서는 전개가 유한하고, 무리수에 대해서는 무한하므로, 일반 연분수와 유사한 행동을 보인다.