Continued fractions and irrationality exponents for modified Engel and Pierce series

Basic Information

• Paper ID: 1810.10127
• Title: Continued fractions and irrationality exponents for modified Engel and Pierce series
• Authors: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
• Classification: math.NT (Number Theory)
• Publication Date: October 23, 2018
• Paper Link: https://arxiv.org/abs/1810.10127

Abstract

This paper investigates the continued fraction expansions and irrationality exponents of modified Engel and Pierce series. Engel series are sums of reciprocals of non-decreasing sequences of positive integers $(x_n)$ where each term divides the next; Pierce series are alternating series of reciprocals of sequences with the same divisibility property. The authors prove that for any rational number, there exists a class of Engel series such that the transcendental number $\alpha$ produced by adding the series to the rational number has a continued fraction expansion explicitly determined by the corresponding sequence $(x_n)$, which is generated by a second-order nonlinear recurrence relation. The paper also provides analogous results for rational numbers combined with Pierce series, proving that the irrationality exponent has a lower bound of $(3+\sqrt{5})/2$ in both cases, and identifies an infinite family of transcendental numbers for which the irrationality exponent can be computed exactly.

Research Background and Motivation

Problem Background

1. Engel and Pierce series: These two classes of series are important generalizations of continued fraction expansions with similar recursive and metric properties
2. Construction of transcendental numbers: Finding transcendental numbers with explicit continued fraction expansions is an important problem in number theory
3. Irrationality exponent theory: The irrationality exponent $\mu(\alpha)$ measures how well a real number $\alpha$ can be approximated by rationals; Roth's theorem states that algebraic irrationals have irrationality exponent 2

Research Motivation

1. Extension of existing results: Building on the authors' previous work, extending pure Engel/Pierce series to combinations with rational numbers
2. Exact computation: Not only providing lower bounds for irrationality exponents, but also finding infinite families where the irrationality exponent can be computed exactly
3. Unified framework: Providing a unified theoretical framework for modified Engel and Pierce series

Core Contributions

1. Extended continued fraction construction theorem: Combining arbitrary rational numbers $p/q$ with Engel or Pierce series to provide explicit continued fraction expansions
2. Improved lower bounds for irrationality exponents: Proving that all such transcendental numbers have irrationality exponent $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$
3. Exact computation of irrationality exponents: Identifying infinitely many families of transcendental numbers for which the irrationality exponent can be computed exactly
4. Construction of series with strong divisibility properties: For Engel series satisfying the stronger condition $x_j^2|x_{j+1}$, providing complete continued fraction constructions

Methodology Details

Problem Formulation

Investigating continued fraction expansions and irrationality exponents of transcendental numbers of the form:

• Modified Engel series: $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
• Modified Pierce series: $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

where the sequence $(x_n)$ satisfies $x_j|x_{j+1}$ and is generated by nonlinear recurrence relations.

Core Recurrence Relations

The sequences $(x_n)$ and $(y_n)$ are defined through the relations: $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

where $x_1 = q$ and $(u_n)$ is a sequence of positive integers. This leads to $(x_n)$ satisfying a second-order nonlinear recurrence: $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

Main Theorems

Theorem 2.1 (Modified Engel Series): For $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ setting $y_0 = mq + q_{2k-1} + 1$, the continued fraction expansion of $\alpha$ is:

• The first $2k+1$ terms are identical to those of $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$

Theorems 2.2 and 2.4 (Modified Pierce Series): Provide analogous continued fraction expansion formulas for Pierce series, with more complex structure involving 3-periodic patterns.

Irrationality Exponent Analysis

Lemma 3.1: The growth rate of the sequence satisfies $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

This is proved by induction using the recurrence relation $\rho_{k+1} = 3 - \rho_k^{-1}$, where $\rho_k$ is the growth exponent.

Theorem 3.3: When $u_n$ is a polynomial in $x_n$, the irrationality exponent can be computed exactly: $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ where $d$ is the degree of the polynomial.

Experimental Setup

Theoretical Verification

This paper is primarily theoretical work, with results verified through rigorous mathematical proofs. Main verification methods include:

1. Proof by induction: Proving that partial sums equal specific convergents
2. Asymptotic analysis: Analyzing the growth behavior of sequences
3. Matrix methods: Utilizing matrix representations of continued fractions

Specific Examples

Example 4.4: For $q = 5$ and $z_j = (j+1)^2 + 1$, the authors construct continued fraction expansions for four different values of $p$, demonstrating concrete applications of the method.

Experimental Results

Main Results

1. Lower bound for irrationality exponent: All modified Engel/Pierce series have irrationality exponent $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$, significantly improving the previous lower bound of $5/2 = 2.5$
2. Exact computation: For sequences $(u_n)$ of specific forms, the irrationality exponent can be computed exactly as $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$
3. Infinite family construction: Theorem 3.4 proves that for any $\nu \geq (3+\sqrt{5})/2$, there exist infinitely many transcendental numbers with irrationality exponent exactly equal to $\nu$

Theoretical Findings

1. Growth patterns: The growth rate of sequence $(x_n)$ is determined by bisections of Fibonacci numbers
2. Continued fraction structure: Modified Pierce series exhibit 3-periodic patterns in their continued fraction expansions
3. Recursive construction: Continued fractions under strong divisibility conditions exhibit recursive structures with approximately doubling lengths

Related Work

Historical Background

1. Classical theory: Engel and Pierce expansions are important generalizations of continued fractions
2. Metric properties: These expansions have similar metric-theoretic properties to continued fractions
3. Transcendence research: Series generated by rapidly growing sequences are typically transcendental

Prior Work

1. Hone (2015, 2016, 2017): Established foundational continued fraction theory for Engel series
2. Varona (2017): Extended results to Pierce series
3. Work by Shallit and others: Investigated special forms of Engel series

Innovations in This Paper

1. Generalization: Extending from pure series to rational number plus series
2. Parametrization: Introducing parameter $m$ for increased construction flexibility
3. Exact computation: Not only providing bounds but enabling exact computation of irrationality exponents

Conclusions and Discussion

Main Conclusions

1. Transcendental numbers produced by modified Engel/Pierce series have explicit continued fraction expansions
2. The irrationality exponents of these numbers are at least $(3+\sqrt{5})/2$ and can be computed exactly
3. There exist infinite families of transcendental numbers with arbitrarily large irrationality exponents

Limitations

1. Special forms: Methods apply only to sequences generated by specific recurrence relations
2. Computational complexity: Computing continued fraction expansions can be complex
3. Application scope: Results are primarily theoretical with limited practical applications

Future Directions

1. Generalization to other series: Investigating more general forms of series
2. Computational methods: Developing efficient algorithms for continued fraction computation
3. Application exploration: Seeking applications in Diophantine approximation

In-Depth Evaluation

Strengths

1. Theoretical depth: Combines continued fraction theory, recurrence relations, and transcendental number theory
2. Completeness of results: Provides not only existence proofs but constructive proofs
3. Technical innovation: Improves techniques for estimating irrationality exponents
4. Unified framework: Provides unified treatment of Engel and Pierce series

Weaknesses

1. Proof complexity: Some proofs are highly technical with limited readability
2. Limited examples: Relatively few concrete numerical examples
3. Application context: Strong theoretical focus with limited practical application value

Impact

1. Academic contribution: Provides new construction methods for transcendental numbers in number theory
2. Theoretical value: Improves important results in irrationality exponent theory
3. Extensibility: Provides framework and tools for subsequent research

Applicable Scenarios

1. Number theory research: Transcendental number theory and Diophantine approximation
2. Continued fraction theory: Construction and properties of special continued fractions
3. Recurrence sequences: Applications of nonlinear recurrence relations

References

The paper cites 17 important references covering classical and recent research in continued fraction theory, Engel/Pierce series, transcendental number theory, and irrationality exponent theory, providing readers with complete theoretical background.

Overall Assessment: This is a high-quality theoretical number theory paper that makes significant advances in continued fraction theory for modified Engel and Pierce series. While highly theoretical, it provides valuable tools and insights for related research fields.