[论文解读] A New Type of Continued Fraction Expansion

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

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]$ 内所有无理数上的收敛性。
• 推导出该展开有限截断对无理数逼近的误差估计。
• 为该展开的度量理论奠定基础，包括可能解决该新框架下的高斯问题。

提出的方法

• 定义变换 $\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$（$x \neq 0$），并令 $\tau_m(0) = 0$，以生成指数序列 $b_n(x)$。
• 定义初等商为 $b_n(x) = \big\rfloor \frac{\text{log}(x^{-1})}{\text{log}(m)} \big\rfloor$（$x \neq 0$），并令 $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$ 对 $q_n(\theta)$ 的界估计，结合 $m^{b_1 + \big\brace + b_n}$ 的指数增长，证明当 $n \to \big\brace$ 时收敛。

实验结果

研究问题

• RQ1 能否为 $[0, m-1]$ 区间内的实数定义一种新型连分数展开，使用以 $m$ 为底的指数项而非单位分子？
• RQ2 该新展开是否对 $[0, m-1]$ 内所有无理数均收敛至原数？
• RQ3 该展开第 $n$ 个渐近分数的误差界是什么？
• RQ4 分母 $q_n$ 的增长如何与收敛速率及指数序列 $b_n$ 相关联？
• RQ5 能否为该新展开建立类似高斯-库兹明理论的度量理论？

主要发现

• 连分数展开 $[b_1(x), b_2(x), \big\brace_m$ 对所有无理数 $x \to I_m = [0, m-1]$ 均收敛于 $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}$ 一样快，从而确保误差项快速衰减。
• 由于 $\text{max}(F_n, m^{b_1 + \big\brace + b_n}) \to \big\brace$ 当 $n \to \big\brace$ 时，误差趋于零，从而证明了收敛性。
• 该展开对 $I_m$ 内的有理数为有限形式，对无理数为无限形式，与标准连分数的行为一致。