Continued fractions and irrationality exponents for modified Engel and Pierce series

An Engel series is a sum of reciprocals of a non-decreasing sequence (xn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(x_n)$$\end{document} 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 α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document} whose continued fraction expansion is determined explicitly by the corresponding sequence (xn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(x_n)$$\end{document}, 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+5)/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(3+\sqrt{5})/2$$\end{document}, and we further identify infinite families of transcendental numbers α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document} 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 xj2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x_j^2$$\end{document} divides xj+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x_{j+1}$$\end{document} for all j.


Introduction
Given a sequence of positive integers (x n ), which is such that x n |x n+1 for all n, the sum of the reciprocals is the Engel series ∞ j=1 1 x j = ∞ j=1 1 y 1 y 2 · · · y j , (1.1) where y 1 = x 1 and y n+1 = x n+1 /x n for n ≥ 1, and the alternating sum of the reciprocals is the Pierce series (It should be assumed that (x n ) is eventually increasing, in the sense that for all n there is some n > n with x n > x n , which guarantees the convergence of both sums 1.1 and 1.2.) Every positive real number admits both an Engel expansion, of the form (1.1), and a Pierce expansion (1.2) [5]. Although they are not quite so well known, Engel expansions and Pierce expansions are in many ways analogous to continued fraction expansions, both in the sense that they are determined recursively, and from a metrical point of view; for instance, see [6] for the case of Engel series. In recent work [7], the first author presented a family of sequences (x n ) generated by a nonlinear recurrences of second order, of the form where the polynomial G takes positive values at positive arguments, such that the corresponding Engel series (1.1) yields a transcendental number whose continued fraction expansion is explicitly given in terms of the x n . More recently [17], the second author proved that, when the sequence (x n ) is generated by a recurrence like (1.3), an analogous result holds for the associated Pierce series (1.2), although the structure of the corresponding continued fractions is different. In fact, in the latter work the polynomial G(x n ) was replaced by an arbitrary sequence of positive integers, as it had already been noted in [9] that the recurrence (1.3) could be modified in this way and further allow the explicit continued fraction expansion to be determined for the sum of an arbitrary rational number r = p/q and an Engel series, that is In the next section we show that the initial conditions for the sequence (x n ) can be specified more generally than in [9], allowing dependence on a non-negative integer parameter m, and present analogous results for a family of transcendental numbers defined by a rational number with a Pierce series added to or subtracted from it, of the form In Sect. 3 it is proved that, in both cases (1.4) and (1.5), α has irrationality exponent μ(α) ≥ (3 + √ 5)/2, and if the nonlinear recurrence for (x n ) has a particular form then μ(α) can be computed precisely. Explicit continued fractions for series of the form (1.4) with the stronger property that x 2 j |x j+1 for all j are constructed in the final section, generalizing the results in [8].

Explicit continued fractions
Before proceeding, we fix our notation for continued fractions and briefly mention some of their standard properties, which can be found in many books [3,5,10]. We denote a finite continued fraction by [a 0 ; a 1 , a 2 , . . . , a n ] = a 0 + 1 where a 0 ∈ Z, a j ∈ Z >0 and p n /q n is in lowest terms with q n > 0. Every r ∈ Q can be written as a finite continued fraction (2.1), although this representation is not unique (see 2.5 below). Each α ∈ R\Q is given uniquely by an infinite continued fraction with convergents p n /q n of the form (2.1), that is (with a 0 = α ) The three-term recurrence relation satisfied by the numerators and denominators of the convergents is encoded in the matrix relation p n+1 p n q n+1 q n = p n p n−1 q n q n−1 valid for n ≥ −1, with By taking the determinant of both sides of (2.3), one obtains the identity Note that any finite continued fraction can be rewritten as another one of different length, since one can always apply one of two operations, namely and both operations change the parity of the length. Henceforth we fix a rational number r = p/q in lowest terms, with q ≥ 1, and an integer parameter m ∈ Z ≥0 . Without loss of generality, because of (2.5), we may specify the continued fraction of r to be with the index of the last partial quotient being even (and shifting r by an integer changes a 0 but otherwise makes no difference). Given y 0 ∈ Z >0 , which in due course will be fixed differently according to the context, we define two sequences (y n ) n≥0 and (x n ) n≥1 via the recursion relations where (u n ) n≥1 is an arbitrary sequence of positive integers. Note that the second relation guarantees the property x j |x j+1 required for an Engel series or a Pierce series. It is an immediate consequence of (2.7) that, given x 1 = q and x 2 = x 1 y 1 = qy 0 (1 + u 1 q), the subsequent terms of the sequence (x n ) are determined by the nonlinear recurrence It may happen that the sequence (u n ) is defined entirely in terms of the sequence (x n ), by specifying a function G such that where G is a non-trivial function of its second argument.
The following theorem extends the results of [9] (corresponding to the case m = 0), being themselves extensions of [7] (corresponding to p/q = 1).

Theorem 2.1 Let α be given by the series
for (x n ) defined by (2.7) with where q 2k−1 is the denominator of the (2k−1)th convergent of (2.6). Then the continued fraction expansion of α has the form (2.2), where the partial quotients a j coincide with those of (2.6) for 0 ≤ j ≤ 2k, while The proof consists of showing that the partial sums of the series (2.11) coincide with the convergents with even index, that is (2.14) and then taking the limit N → ∞. We omit the details, since the inductive proof of (2.14) is almost identical to that of Theorem 2.1 in [9], with part of the hypothesis being that the denominators of the convergents are for N ≥ 1. The only difference is in verifying the base step: specifically, that, for gives the correct expression for q 2k+1 . But when N = 1, by using (2.12) and (2.13), together with the first recursive relation in (2.7), the right-hand side becomes Continued fractions for some alternating series whose sum is a transcendental number were considered in [4], and the Pierce series in [17] provide other examples. As a first attempt at generalizing the latter results, we consider a rational number added to a Pierce series. Theorem 2.2 Suppose x 1 = q > 1, and let α be given by the series where q 2k−1 is the denominator of the (2k −1)th convergent of (2.6), and the restriction m ≥ 1 should be imposed if q 2k−1 = 1. Then the continued fraction expansion of α has the form (2.2), where the partial quotients a j coincide with those of (2.6) for Proof Let S N denote the N th partial sum of the series (2.16), that is We will show by induction that and then the result follows in the limit N → ∞. As part of the inductive hypothesis, we also require the following expressions for the denominators of the convergents, for N ≥ 1: For the base case N = 1 it is clear that S 1 = p/q is given by (2.6), and q 2k = q = x 1 , while by using the three-term recurrence it follows from (2.17), (2.18) and (2.7) that and q 2k+2 = a 2k+2 q 2k+1 + q 2k = y 1 − x 1 + 1 + x 1 = y 1 + 1, which confirms (2.20) in this case. For the inductive step, the first expression in (2.20) is also verified with the three-term recurrence, as using (2.7) once more, and the other two expressions for the denominators of the convergents are verified similarly. Now let M n+1 denote the matrix on the left-hand side of (2.3), and let A n = a n 1 1 0 ; then observe that The first column of the above identity yields the formula and the analogous expression for q 2k+3N . Hence where we have used (2.20) and the first relation in (2.7), followed by (2.4). (Note that the calculation leading to the latter expression is slightly different in the base case N = 1, involving the use of (2.17) and (2.18), but the conclusion is the same.) Thus, using the first formula in (2.20), and the fact that So by the inductive hypothesis, as required.

Remark 2.3
The assumption that q > 1 implies k ≥ 1 in (2.6), and is made to ensure that a 2k+3 > 0. However, when q = 1, the appearance of a zero in the continued fraction can be dealt with by applying the concatenation operation In the same spirit as [9], it is perhaps more natural to replace the first term in (1.2) with an arbitrary r ∈ Q, resulting in a rational number minus a Pierce series. Such a modified Pierce series can be obtained immediately from (2.16), simply by regrouping the terms as where, since q = x 1 divides x 2 , p = p(x 2 /q) + 1 ∈ Z, q = x 2 and x j = x j+1 for j ≥ 1. In the proof of the preceding theorem, the initial term of the regrouped series appears with the continued fraction expansion p /q = S 2 = [a 0 ; a 1 , . . . , a 2k+3 ], ending in a partial quotient with an odd index.
In order to formulate the most general result possible, we once again start with an arbitrary r = p/q ∈ Q and m ∈ Z ≥0 , but this time take the continued fraction expansion

26)
where q 2k is the denominator of the 2kth convergent of (2.24), and the restriction m ≥ 1 should be imposed if q 2k = 1. Then the continued fraction expansion of α has the form (2.2), where the partial quotients a j coincide with those of (2.24) for

27)
and with the denominators of the convergents being given by We omit the proof of the above, based on showing that the partial sums are given by since the steps are essentially the same as for Theorem 2.2, but the formulae (2.29) have been included for completeness.

Irrationality exponents
The irrationality exponent μ(α) of a real number α is defined to be the supremum of the set of real numbers μ such that there are infinitely many rational numbers P/Q satisfying the inequality 0 < |α − P/Q| < 1/Q μ . For an irrational number, μ(α) ≥ 2, since the convergents of its continued fraction expansion (2.2) provide infinitely many P/Q with |α − P/Q| < 1/Q 2 . In fact, in the sense of Lebesgue measure, almost all real numbers have irrationality exponent equal to 2, while a famous theorem of Roth [11] says that every algebraic irrational number has μ(α) = 2. Large classes of transcendental numbers with μ(α) = 2 are presented in [2], but as we shall see, the transcendental numbers defined by the modified Engel and Pierce series above do not belong to these classes. The transcendence of each of the numbers α defined in the previous section is essentially a consequence of the rapid growth of the associated sequence (x n ). According to the result of Lemma 2.2 in [9], x n+1 > x 5/2 n for n ≥ 3, which allows one to show that μ(α) ≥ 5/2, but here we present a significant improvement on this result.

1)
for all n ≥ N .
Proof From (2.8) and the fact that y n = x n+1 /x n > 1 for n ≥ 1, it is clear that x n+1 > x 2 n for n ≥ 2, which implies that x n−1 < x 1/2 n for n ≥ 3. Thus, using (2.8) once again it follows that x n+1 > x 3 n /x n−1 > x

5/2
n , which is the basic estimate given in [7,9]. To improve on this, we proceed by induction, assuming that x n+1 > x ρ k n for n ≥ k + 2, and then from (2.8), the same argument as before (for k = 0) gives with ρ 0 = 2. The solution of the recurrence for ρ k in (3.2) is obtained via holds for infinitely many rational approximations P/Q.
The irrationality exponent can be computed explicitly in terms of the continued fraction expansion of α, using one of the formulae below: (see [2], or Theorem 1 in [15], for instance). If the function G in (2.10) is chosen suitably, then these limits can be evaluated precisely.
Proof If u n is given by (3.5), then setting n = log x n and taking logarithms in (2.8) yields where, with v (d) n = 1, as n → ∞, by (3.6). By adapting the method of [1], the solution of (3.7) is found formally as for constants A, B which can be fixed from the initial values 1 = log q, 2 = log x 2 (cf. Proposition 5 in [7]). Hence and C > 0 since x n → ∞ as n → ∞. Then in the case of modified Engel series, from the formulae (2.15) there are two different cases for the first limit in (3.3): when n is even, the limit is from the asymptotic behaviour (3.9), while for odd n it is 1 + 1/(λ − 1) ≤ λ, where this inequality holds for all λ ≥ (3+ √ 5)/2; so the limit superior is λ. For the modified Pierce series in Theorem 2.2, from (2.20) the corresponding limit varies with n mod 3, and gives λ, 2 or 1 + λ/(λ − 1) ≤ λ, so again the limit superior is λ, and the case of Theorem 2.4 is identical. Proof If ν is one of the special values (3.4) then for any fixed r = p/q and m there are uncountably many choices of the sequence (u n ) that take the form (3.5), satisfy (3.6) and produce α with distinct continued fraction expansions. So suppose that d ≥ 1 (and hence λ) is fixed, and take any ν > λ and (u n ) of the same form as in (3.5), except that now for some C > 0 (for instance, one could take v (0) n = exp(C ν n ) ). Then the formal expression (3.8) for the solution of (3.7) is still valid, but now from (3.10) the sum on the right is the dominant term, growing like ν n as n → ∞. Substituting this leading order asymptotic behaviour back into (3.7) yields and then the first limit in (3.3) is evaluated as before to yield μ(α) = ν.

More explicit continued fractions
In [8] one of us obtained the explicit continued fraction expansion for an Engel series (1.1) with the stronger divisibility property being an arbitrary sequence of ratios. (In fact the condition z j ≥ 2 was imposed in [8], but it was explained how to deal with some z j = 1 by applying the operation 2.22.) Series of this particular form include for integer u ≥ 2, which for u = 2 is known as the Kempner number. All of the numbers (4.2) are transcendental, with irrationality exponent 2 [2]; their continued fraction expansions were found in recursive form in [12], with a non-recursive representation described in [13], and further generalizations with a similar recursive structure being given in [14] and later [16]. The continued fraction expansion of an Engel series (1.1) with the stronger divisibility property above has the same sort of recursive structure, defined by a particular subsequence of the convergents with finite continued fractions whose length approximately doubles at each step. Here we further generalize this result by considering an arbitrary r = p/q ∈ Q added to an Engel series of this type, of the form (1.4) with the property (4.1). Given a finite continued fraction (2.1) for n ≥ 2, written as [a 0 ; a], where a = (a 1 , a 2 , . . . , a n ) is the word defining the fractional part, it is convenient to define the following family of transformations: where the wordâ is given bŷ a = (1, a n − 1, a n−1 , . . . , a 2 , a 1 ).
For each z, starting from a continued fraction whose final partial quotient has index n, ϕ z produces a new continued fraction ϕ z ([a 0 ; a]) whose final partial quotient has index 2n + 2. It is also helpful to define the one-parameter family of transformations where the word at the end is a * = (a n−1 + 1, a n−2 , . . . , a 2 , a 1 ).
For the latter family, [a 0 ; a] is sent to ϕ * z ([a 0 ; a]), whose final partial quotient has index 2n. The transformation ϕ * z is just the result of applying ϕ z to a continued fraction (2.1) for which a n = 1, followed by using the concatenation operation (2.22) to remove the zero that appears.
Our interest in the above transformations is due to Proof This is a corollary of Proposition 2 in [16], and follows from the remarks made beneath the proof given there. The case of even n = 2k also follows from the proof of Proposition 2.1 in [8].
We now consider a rational number r = p/q added to an Engel series with the property (4.1). Without loss of generality, we exclude the case r ∈ Z (when q = x 1 = 1), since when x 2 ≥ 2 one can instead take p /q = p/q + 1/x 2 as the initial rational term.

Theorem 4.2 Let p/q ∈ Q\Z be a rational number in lowest terms, with continued fraction expansion
taken in the form (2.6), and let (x n ) n≥1 be the integer sequence defined by where (z n ) n≥2 is an arbitrary sequence of positive integers. Define a sequence of finite continued fractions according to and, for all j ≥ 2, with the restriction z j ≥ 2 imposed, Then the modified Engel series has continued fraction expansion lim N →∞ C N .
Proof We show by induction that the partial sum x j has continued fraction expansion C N , and then the result for α given by (4.5) follows in the limit N → ∞. When N = 1 we have S 1 = p/q = p n 1 /q n 1 = C 1 , where n 1 = 2k is the index of the final partial quotient of C 1 , chosen to be even as in (2.6). If a n 1 = a 2k = 1, then we apply the transformation (4.4) with z = z 2 , and otherwise we apply (4.3). In either case we obtain a new continued fraction C 2 whose final partial quotient has an even index, n 2 say, with a n 2 = a 1 . At each subsequent step N = j, we have a continued fraction C j , with an even number n j being the index of its final partial quotient, that is a n j = a 1 , so that to obtain C j+1 , if a 1 = 1 then we must apply (4.4) with z = z j+1 , or (4.3) otherwise. Then, from Lemma 4.1 we have where we used the additional hypothesis that q n j = x j . So the induction is almost complete, apart from the verification that q n j+1 = x j+1 is also a consequence of the above. However, C j+1 equals p n j+1 q n j+1 = p n j (x j+1 /q n j ) + 1 x j+1 = p n j x j z j+1 + 1 x j+1 , since q n j = x j and x j+1 = x 2 j z j+1 . Now any prime P that divides x j+1 must divide x j or z j+1 , so the numerator on the right-hand side above is congruent to 1 mod P. Thus the fraction on the right-hand side, with denominator x j+1 , is in lowest terms, and since the convergent p n j+1 /q n j+1 is also in lowest terms this means that q n j+1 = x j+1 as required.

Remark 4.3
The case where one or more of the z j = 1 (as in the sum (4.2), for instance) can be dealt with by applying (2.22). For various examples of this, see [8].