2025-11-23T08:31:17.127218

Continued fractions and irrationality exponents for modified Engel and Pierce series

Hone, Varona

An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $Î±$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $Î±$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$.

academic

Continued fractions and irrationality exponents for modified Engel and Pierce series

基本信息

论文ID: 1810.10127
标题: Continued fractions and irrationality exponents for modified Engel and Pierce series
作者: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
分类: math.NT (Number Theory)
发表时间: 2018年10月23日
论文链接: https://arxiv.org/abs/1810.10127

摘要

本文研究了修正的Engel级数和Pierce级数的连分数展开及其无理指数。Engel级数是正整数非递减序列 $(x_n)$ 的倒数之和，其中每项都能被前一项整除；Pierce级数是具有相同性质序列的倒数的交替级数。作者证明了对于任意有理数，存在一类Engel级数，当与该有理数相加时产生的超越数 $\alpha$ 的连分数展开可由相应序列 $(x_n)$ 显式确定，该序列由二阶非线性递推关系生成。文章还给出了有理数与Pierce级数相加或相减的类似结果，证明了在两种情况下无理指数都有下界 $(3+\sqrt{5})/2$ ，并识别出可精确计算无理指数的无穷超越数族。

研究背景与动机

问题背景

Engel级数和Pierce级数：这两类级数是连分数展开的重要推广，具有类似的递归性质和度量性质
超越数的构造：寻找具有显式连分数展开的超越数是数论中的重要问题
无理指数理论：无理指数 $\mu(\alpha)$ 衡量实数 $\alpha$ 被有理数逼近的难易程度，Roth定理指出代数无理数的无理指数为2

研究动机

扩展已有结果：在作者之前工作基础上，将单纯的Engel/Pierce级数扩展到有理数与这些级数的组合
精确计算：不仅给出无理指数的下界，还要找到能精确计算无理指数的无穷族
统一框架：为修正的Engel级数和Pierce级数提供统一的理论框架

核心贡献

扩展了连分数构造定理：将任意有理数 $p/q$ 与Engel级数或Pierce级数结合，给出显式连分数展开
改进了无理指数下界：证明了所有此类超越数的无理指数 $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$
精确计算无理指数：识别出无穷多个可精确计算无理指数的超越数族
构造强divisibility性质的级数：对于满足 $x_j^2|x_{j+1}$ 的更强条件的Engel级数，给出完整的连分数构造

方法详解

任务定义

研究形如以下的超越数的连分数展开和无理指数：

修正Engel级数： $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
修正Pierce级数： $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

其中序列 $(x_n)$ 满足 $x_j|x_{j+1}$ 且由非线性递推关系生成。

核心递推关系

序列 $(x_n)$ 和 $(y_n)$ 通过以下关系定义： $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

其中 $x_1 = q$ ， $(u_n)$ 是正整数序列。这导致 $x_n$ 满足二阶非线性递推： $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

主要定理

定理2.1（修正Engel级数）：对于 $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ 取 $y_0 = mq + q_{2k-1} + 1$ ，则 $\alpha$ 的连分数展开为：

前 $2k+1$ 项与 $p/q$ 相同
$a_{2k+1} = m + u_1 y_0$
$a_{2k+2j} = x_j$ , $a_{2k+2j+1} = u_{j+1}y_j$ for $j \geq 1$

定理2.2和2.4（修正Pierce级数）：给出了类似的Pierce级数连分数展开公式，但结构更复杂，涉及3-周期模式。

无理指数分析

引理3.1：序列增长率满足 $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

这通过归纳法证明，利用递推关系 $\rho_{k+1} = 3 - \rho_k^{-1}$ ，其中 $\rho_k$ 是增长指数。

定理3.3：当 $u_n$ 为 $x_n$ 的多项式时，可精确计算无理指数： $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ 其中 $d$ 是多项式次数。

实验设置

理论验证

本文主要是理论工作，通过严格的数学证明验证结果。主要验证方法包括：

归纳法证明：证明部分和等于特定收敛子
渐近分析：分析序列的增长行为
矩阵方法：利用连分数的矩阵表示

无理指数下界：所有修正Engel/Pierce级数的无理指数 $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ ，显著改进了之前的 $5/2 = 2.5$ 下界
精确计算：对于特定形式的序列 $(u_n)$ ，可以精确计算无理指数为 $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$
无穷族构造：定理3.4证明了对于任何 $\nu \geq (3+\sqrt{5})/2$ ，都存在无穷多个无理指数恰好为 $\nu$ 的超越数