[论文解读] Periodic representations for cubic irrationalities

Marco Abrate, Stefano Barbero+2 more|arXiv (Cornell University)|Apr 10, 2013

Advanced Differential Equations and Dynamical Systems参考文献 17被引用 9

一句话总结

本文提出一种新方法，通过广义 Rédei 有理函数的推广形式，为形如 $(\sqrt[3]{d^2}, \sqrt[3]{d})$ 的三次无理数构造周期性分叉连分数。通过使用整数 $z$ 参数化展开，确保周期短且可预测，并利用线性递推序列提供有理逼近，从而克服经典 Jacobi 算法在处理此类三次对时的非周期性问题。

ABSTRACT

In this paper we present some results related to the problem of finding periodic representations for algebraic numbers. In particular, we analyze the problem for cubic irrationalities. We show an interesting relationship between the convergents of bifurcating continued fractions related to a couple of cubic irrationalities, and a particular generalization of the Redei polynomials. Moreover, we give a method to construct a periodic bifurcating continued fraction for any cubic root paired with another determined cubic root.

研究动机与目标

• 解决 Hermite 提出的问题：为二次以上的代数数寻找周期性表示，特别是针对三次无理数。
• 克服经典 Jacobi–Perron 算法在某些三次对（如 $(\sqrt[3]{3}, \sqrt[3]{9})$）中出现的非周期性问题。
• 推广 Rédei 有理函数，以构造三次根的周期性连分数展开。
• 提出一种系统化方法，通过线性递推序列生成 $\sqrt[3]{d^2}$ 和 $\sqrt[3]{d}$ 的有理逼近。
• 证明通过选择适当的参数 $z$，可为任意 $d$ 构造出周期确定的周期性展开。

提出的方法

• 推广 Rédei 有理函数，以构建针对三次无理数的参数化周期性分叉连分数族。
• 定义基于矩阵的变换，利用序列 $A_n, B_n, C_n$ 生成连分数的渐近分数。
• 以 Jacobi 算法为基准，对比新方法，展示其周期更短且可保证。
• 将连分数表示为 $[\{a_n\}, \{b_n\}]$，其中序列由广义 Rédei 函数和参数 $z = \lfloor \sqrt[3]{d} \rfloor$ 导出。
• 推导收敛公式，表明比值 $\tilde{A}_n / \tilde{C}_n$ 和 $\tilde{B}_n / \tilde{C}_n$ 的极限分别收敛于 $\sqrt[3]{d^2}$ 和 $\sqrt[3]{d}$。
• 通过形式为 (2.5) 的矩阵积建立因式分解条件，将本方法与已知连分数结构联系起来，尽管完全因式分解并非收敛所必需。

实验结果

研究问题

• RQ1 能否为所有形如 $(\sqrt[3]{d^2}, \sqrt[3]{d})$ 的三次无理数构造周期性连分数表示？
• RQ2 广义 Rédei 函数构造是否能产生比经典 Jacobi 算法更短且更可预测的周期？
• RQ3 能否通过从连分数导出的线性递推序列系统地生成三次无理数的有理逼近？
• RQ4 是否存在一个参数 $z$，使得针对 $(\sqrt[3]{d^2}, \sqrt[3]{d})$ 的分叉连分数具有保证较小的周期？
• RQ5 在何种条件下，渐近分数极限的矩阵表示可表示为形式 (2.5) 的初等矩阵的乘积？

主要发现

• 对于任意 $d$，当参数 $z = \lfloor \sqrt[3]{d} \rfloor$ 时，对 $(\sqrt[3]{d^2}, \sqrt[3]{d})$ 可构造出周期为 3、预周期为 2 的周期性分叉连分数，如 $d=16$ 和 $d=25$ 所示。
• 该方法对 $(\sqrt[3]{16}, \sqrt[3]{4})$（$z=2$）产生周期为 3 的展开，与 Jacobi 算法在 1000 个连分数项内表现出的非周期性形成鲜明对比。
• 对于 $(\sqrt[3]{25}, \sqrt[3]{5})$，该方法产生周期为 3、预周期为 2 的展开，而 Jacobi 算法则给出周期为 6、预周期为 7 的展开。
• 有理逼近 $\tilde{A}_n / \tilde{C}_n$ 和 $\tilde{B}_n / \tilde{C}_n$ 的极限分别收敛于 $\sqrt[3]{d^2}$ 和 $\sqrt[3]{d}$，如公式 (3.7) 和 (3.8) 所示。
• 存在一个有理解，可使一般矩阵的元素与四个形式为 (2.5) 的矩阵的乘积相匹配，从而为任意此类三次对构造出周期性连分数。
• 本方法并不要求矩阵完全可因式分解为 (2.5) 型矩阵，但若要确认逼近值确实是分叉连分数的实际渐近分数，则此类因式分解是必要的。