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

連分数と修正Engel級数およびPierce級数の無理指数

基本情報

論文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 (数論)
発表日: 2018年10月23日
論文リンク: https://arxiv.org/abs/1810.10127

要約

本論文は、修正Engel級数およびPierce級数の連分数展開とその無理指数を研究している。Engel級数は、正整数の非減少列 $(x_n)$ の逆数の和であり、各項が前の項を割り切る性質を持つ。Pierce級数は、同じ性質を持つ列の逆数の交代級数である。著者らは、任意の有理数に対して、その有理数とEngel級数を加えた超越数 $\alpha$ の連分数展開が、対応する列 $(x_n)$ によって明示的に決定されることを証明した。この列は2階非線形漸化式によって生成される。さらに、有理数とPierce級数の加算または減算に関する同様の結果を示し、両方の場合において無理指数が $(3+\sqrt{5})/2$ 以上であることを証明し、無理指数を正確に計算できる無限超越数族を特定した。

研究背景と動機

問題背景

Engel級数とPierce級数：これら2つの級数は連分数展開の重要な一般化であり、同様の再帰的性質と測度論的性質を持つ
超越数の構成：明示的な連分数展開を持つ超越数を見つけることは数論における重要な問題である
無理指数理論：無理指数 $\mu(\alpha)$ は実数 $\alpha$ が有理数によってどの程度近似できるかを測定する。Rothの定理は代数的無理数の無理指数が2であることを示している

研究動機

既存結果の拡張：著者らの先行研究に基づき、純粋なEngel/Pierce級数を有理数とこれらの級数の組み合わせに拡張する
正確な計算：無理指数の下界を与えるだけでなく、無理指数を正確に計算できる無限族を見つけることが目標
統一的枠組み：修正Engel級数とPierce級数に対する統一的な理論的枠組みを提供する

核心的貢献

連分数構成定理の拡張：任意の有理数 $p/q$ をEngel級数またはPierce級数と組み合わせ、明示的な連分数展開を与えた
無理指数下界の改善：すべてのこのような超越数の無理指数 $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ を証明した
無理指数の正確な計算：無理指数を正確に計算できる無限超越数族を特定した
強い整除性性質を持つ級数の構成： $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$ は2階非線形漸化式を満たす： $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$ ( $j \geq 1$ の場合)

定理2.2と2.4（修正Pierce級数）：Pierce級数に対する同様の連分数展開公式を与えるが、構造はより複雑で、3周期パターンを含む。

帰納法による証明：部分和が特定の収束子に等しいことを証明
漸近解析：列の増長挙動を分析
行列法：連分数の行列表現を利用

無理指数の下界：すべての修正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$ である超越数が無限に存在することを証明した