Abstract
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 \(\alpha \) 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 \(\alpha \) 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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
where \(y_1 = x_1\) and \(y_{n+1} = x_{n+1}/x_n\) for \(n \ge 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), \({\alpha }\) has irrationality exponent \(\mu ({\alpha })\ge (3+\sqrt{5})/2\), and if the nonlinear recurrence for \((x_n)\) has a particular form then \(\mu ({\alpha })\) can be computed precisely. Explicit continued fractions for series of the form (1.4) with the stronger property that \(x_j^2|x_{j+1}\) for all j are constructed in the final section, generalizing the results in [8].
2 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
where \(a_0 \in \mathbb {Z}\), \(a_j \in \mathbb {Z}_{>0}\) and \(p_n/q_n\) is in lowest terms with \(q_n>0\). Every \(r\in \mathbb {Q}\) can be written as a finite continued fraction (2.1), although this representation is not unique (see 2.5 below). Each \({\alpha }\in {\mathbb {R}}{\setminus }\mathbb {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=\left\lfloor {{\alpha }}\right\rfloor \))
The three-term recurrence relation satisfied by the numerators and denominators of the convergents is encoded in the matrix relation
valid for \(n\ge -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 \ge 1\), and an integer parameter \(m\in \mathbb {Z}_{\ge 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\in \mathbb {Z}_{>0}\), which in due course will be fixed differently according to the context, we define two sequences \((y_n)_{n\ge 0}\) and \((x_n)_{n\ge 1}\) via the recursion relations
where \((u_n)_{n\ge 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_1y_1=qy_0(1+u_1q)\), 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
which means that (2.8) becomes an autonomous recurrence of the form (1.3), although the function G need not necessarily be a polynomial. Yet in general the recurrence (2.8) is non-autonomous, whenever \((u_n)\) is specified by
where \(\widehat{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 \({\alpha }\) 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 \({\alpha }\) has the form (2.2), where the partial quotients \(a_j\) coincide with those of (2.6) for \(0\le j\le 2k\), while
Proof
The proof consists of showing that the partial sums of the series (2.11) coincide with the convergents with even index, that is
and then taking the limit \(N\rightarrow \infty \). 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\ge 1\). The only difference is in verifying the base step: specifically, that, for \(N=1\), the three-term recurrence \(q_{2k+2N-1} = a_{2k+2N-1}q_{2k+2N-2} + q_{2k+2N-3}\) 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 \( (m+u_1 y_0)q+ y_0 - mq-1 = y_0(1+u_1x_1)-1=y_1-1\), which is the required formula for \(q_{2k+1}\). \(\square \)
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 \({\alpha }\) 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), and the restriction \(m\ge 1\) should be imposed if \(q_{2k-1}=1\). Then the continued fraction expansion of \({\alpha }\) has the form (2.2), where the partial quotients \(a_j\) coincide with those of (2.6) for \(0\le j\le 2k\), while
and
Proof
Let \(S_N\) denote the Nth partial sum of the series (2.16), that is
We will show by induction that
and then the result follows in the limit \(N\rightarrow \infty \). As part of the inductive hypothesis, we also require the following expressions for the denominators of the convergents, for \(N\ge 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 \(\mathbf{M}_{n+1}\) denote the matrix on the left-hand side of (2.3), and let
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 \(y_N /x_{N+1}=1/x_N\), we have
So by the inductive hypothesis,
as required. \(\square \)
Remark 2.3
The assumption that \(q>1\) implies \(k\ge 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
(see Proposition 3 in [16], for instance).
In the same spirit as [9], it is perhaps more natural to replace the first term in (1.2) with an arbitrary \(r\in \mathbb {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\in \mathbb {Z}\), \(q'=x_2\) and \(x_j'=x_{j+1}\) for \(j\ge 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,\ldots , 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\in \mathbb {Q}\) and \(m\in \mathbb {Z}_{\ge 0}\), but this time take the continued fraction expansion
ending in an odd index, which is always possible by (2.5). The following result includes the regrouped series (2.23) obtained from Theorem 2.2 as the special case \(m=0\).
Theorem 2.4
Suppose \(x_1=q>1\), and let \({\alpha }\) be given by the series
for \((x_n)\) defined by (2.7) with
where \(q_{2k}\) is the denominator of the 2kth convergent of (2.24), and the restriction \(m\ge 1\) should be imposed if \(q_{2k}=1\). Then the continued fraction expansion of \({\alpha }\) has the form (2.2), where the partial quotients \(a_j\) coincide with those of (2.24) for \(0\le j\le 2k+1\), while
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.
Remark 2.5
Similarly to (2.23), the case \(m=0\) of Theorem 2.2 can be obtained from Theorem 2.4 by combining the first two terms of the series (2.25) into one. The series (2.11) can be reduced to the case \(m=0\) of Theorem 2.1 in the same way.
3 Irrationality exponents
The irrationality exponent \(\mu ({\alpha })\) of a real number \({\alpha }\) is defined to be the supremum of the set of real numbers \(\mu \) such that there are infinitely many rational numbers P / Q satisfying the inequality \(0<|{\alpha }- P/Q|<1/Q^\mu \). For an irrational number, \(\mu ({\alpha })\ge 2\), since the convergents of its continued fraction expansion (2.2) provide infinitely many P / Q with \(|{\alpha }- 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 \(\mu ({\alpha })=2\). Large classes of transcendental numbers with \(\mu ({\alpha })=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 \({\alpha }\) 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_n^{5/2}\) for \(n\ge 3\), which allows one to show that \(\mu ({\alpha })\ge 5/2\), but here we present a significant improvement on this result.
Lemma 3.1
For all \({\epsilon }>0\), there is some N such that
for all \(n\ge N\).
Proof
From (2.8) and the fact that \(y_n = x_{n+1}/x_n>1\) for \(n\ge 1\), it is clear that \(x_{n+1}>x_n^2\) for \(n\ge 2\), which implies that \(x_{n-1}<x_n^{1/2}\) for \(n\ge 3\). Thus, using (2.8) once again it follows that \(x_{n+1}>x_n^3/x_{n-1}>x_n^{5/2}\), which is the basic estimate given in [7, 9]. To improve on this, we proceed by induction, assuming that
and then from (2.8), the same argument as before (for \(k=0\)) gives
with \(\rho _0=2\). The solution of the recurrence for \(\rho _k\) in (3.2) is obtained via \(\rho _k=f_{k+1}/f_k\), which implies \(f_{k+2}-3f_{k+1}+f_k=0\), so that the sequence \((f_k)\) is just \(1,2,5,13,34,\ldots \), i.e. a bisection of the Fibonacci numbers. Hence \(\lim _{k\rightarrow \infty }\rho _k = (3+\sqrt{5})/2=\mu ^*\), and the result follows. \(\square \)
Corollary 3.2
All of the numbers \({\alpha }\) defined in Theorems 2.1, 2.2 and 2.4 are transcendental, with irrationality exponent \(\mu ({\alpha })\ge (3+\sqrt{5})/2\).
Proof
This follows from the same argument as used to prove Theorem 4 in [7], and Theorem 2.3 in [9], so we only sketch the details. For any \({\epsilon }>0\), the terms of the sequence \((x_n)\) satisfy the inequality (3.1) for sufficiently large n. Due to the fact that the partial sums of the series (2.11), (2.16) and (2.25) coincide with particular convergents of the continued fraction expansion of \({\alpha }\), and the fact that, from (2.15), (2.20), and (2.29), the denominators of these convergents coincide with the terms of the sequence \((x_n)\), a comparison with a geometric series shows that for all \(\delta >0\), the inequality
holds for infinitely many rational approximations P / Q. \(\square \)
The irrationality exponent can be computed explicitly in terms of the continued fraction expansion of \({\alpha }\), using one of the formulae below:
(see [2], or Theorem 1 in [15], for instance). If the function \(\widehat{G}\) in (2.10) is chosen suitably, then these limits can be evaluated precisely.
Theorem 3.3
For some integer \(d\ge 1\), let
and let \({\alpha }\) be given by a modified Engel or Pierce series, defined according to one of Theorems 2.1, 2.2 or 2.4, with the sequence \((u_n)\) in (2.7) being specified by a polynomial in \(x_n\), namely
where for each j, the coefficient \((v_n^{(j)})\) is an integer sequence, with \( v_n^{(0)}\in \mathbb {Z}_{>0}\), \(n\ge 1\), and as \(n\rightarrow \infty \), for some \(\nu <{\lambda }\),
Then \({\alpha }\) has irrationality exponent \(\mu ({\alpha })={\lambda }\).
Proof
If \(u_n\) is given by (3.5), then setting \({\Lambda }_n=\log x_n\) and taking logarithms in (2.8) yields
where, with \(v_n^{(d)}=1\),
as \(n\rightarrow \infty \), 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 \({\Lambda }_1=\log q\), \({\Lambda }_2=\log x_2\) (cf. Proposition 5 in [7]). Hence
and \(C>0\) since \(x_n\rightarrow \infty \) as \(n\rightarrow \infty \). 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/({\lambda }-1)\le {\lambda }\), where this inequality holds for all \({\lambda }\ge (3+\sqrt{5})/2\); so the limit superior is \({\lambda }\). For the modified Pierce series in Theorem 2.2, from (2.20) the corresponding limit varies with \(n\bmod 3\), and gives \({\lambda }\), 2 or \(1+{\lambda }/({\lambda }-1)\le {\lambda }\), so again the limit superior is \({\lambda }\), and the case of Theorem 2.4 is identical. \(\square \)
Theorem 3.4
For all \(\nu \ge (3+\sqrt{5})/2\) there are infinitely many \({\alpha }\) defined by modified Engel or Pierce series with irrationality exponent \(\mu ({\alpha })=\nu \).
Proof
If \(\nu \) 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 \({\alpha }\) with distinct continued fraction expansions. So suppose that \(d\ge 1\) (and hence \({\lambda }\)) is fixed, and take any \(\nu >{\lambda }\) and \((u_n)\) of the same form as in (3.5), except that now
for some \(C'>0\) (for instance, one could take \( v_n^{(0)}=\left\lceil {\exp (C'\nu ^n)}\right\rceil \)). 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 \(\nu ^n\) as \(n\rightarrow \infty \). 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 \(\mu ({\alpha })=\nu \). \(\square \)
4 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\ge 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\ge 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\in \mathbb {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\ge 2\), written as \( [a_0; \mathbf{a}]\), where \(\mathbf{a}=(a_1,a_2,\ldots ,a_n)\) is the word defining the fractional part, it is convenient to define the following family of transformations:
where the word \(\hat{\mathbf{a}}\) is given by
For each z, starting from a continued fraction whose final partial quotient has index n, \(\varphi _z\) produces a new continued fraction \(\varphi _z([a_0;\mathbf{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
For the latter family, \([a_0;\mathbf{a}]\) is sent to \(\varphi _z^*([a_0;\mathbf{a}])\), whose final partial quotient has index 2n. The transformation \(\varphi ^*_z\) is just the result of applying \(\varphi _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
Lemma 4.1
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]. \(\square \)
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\in \mathbb {Z}\) (when \(q=x_1=1\)), since when \(x_2\ge 2\) one can instead take \(p'/q'=p/q+1/x_2\) as the initial rational term.
Theorem 4.2
Let \(p/q\in \mathbb {Q}{\setminus }\mathbb {Z}\) be a rational number in lowest terms, with continued fraction expansion
taken in the form (2.6), and let \((x_n)_{n\ge 1}\) be the integer sequence defined by
where \((z_n)_{n\ge 2} \) is an arbitrary sequence of positive integers. Define a sequence of finite continued fractions according to
and, for all \(j\ge 2\), with the restriction \(z_j\ge 2\) imposed,
Then the modified Engel series
has continued fraction expansion \(\lim _{N\rightarrow \infty }\mathcal {C}_N\).
Proof
We show by induction that the partial sum
has continued fraction expansion \(\mathcal {C}_N\), and then the result for \({\alpha }\) given by (4.5) follows in the limit \(N\rightarrow \infty \). When \(N=1\) we have \( S_1= p/q=p_{n_1}/q_{n_1}=\mathcal {C}_1 \), where \(n_1=2k\) is the index of the final partial quotient of \(\mathcal {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 \(\mathcal {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 \(\mathcal {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 \(\mathcal {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, \(\mathcal {C}_{j+1}\) equals
since \(q_{n_j}=x_j\) and \(x_{j+1}=x_j^2z_{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\bmod 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. \(\square \)
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].
Example 4.4
For a given denominator q it is sufficient to consider \(0<p/q<1\), so picking \(q=x_1=5\) and \(z_j=(j+1)^2+1\) for \(j\ge 2\), \({\alpha }\) is the sum
and we list the continued fractions for \(1\le p\le 4\) in order:
References
Aho, A.V., Sloane, N.J.A.: Some doubly exponential sequences. Fibonacci Quart. 11, 429–437 (1973)
Bugeaud, Y., Han, G.-N., Wen, Z.-Y., Yao, J.-Y.: Hankel determinants, Padé approximations, and irrationality exponents. Int. Mat. Res. Not. IMRN 2016, 1467–1496 (2016)
Cassels, J.W.S.: An Introduction to Diophantine Approximation. Cambridge University Press, Cambridge (1957)
Davison, J.L., Shallit, J.O.: Continued fractions for some alternating series. Mon. Math. 111, 119–126 (1991)
Duverney, D.: Number Theory: An Elementary Introduction Through Diophantine Problems. World Scientific, London (2010)
Erdős, P., Rényi, A., Szüsz, P.: On Engel’s and Sylvester’s series. Ann. Univ. Sci. Bp. Eotvos Sect. Math. 1, 7–12 (1958)
Hone, A.N.W.: Curious continued fractions, nonlinear recurrences and transcendental numbers. J. Integer Seq. 18, 10 (2015)
Hone, A.N.W.: On the continued fraction expansion of certain Engel series. J. Number Theory 164, 269–281 (2016)
Hone, A.N.W.: Continued fractions for some transcendental numbers. Mon. Math. 182, 33–38 (2017)
Khinchin, A.Y.: Continued Fractions. University of Chicago Press, 1964. Reprint: Dover (1997)
Roth, K. F.: Rational approximation of algebraic numbers, Mathematika 2, 1–20 (1955) (Corrigendum: Mathematika 2, 168 (1955))
Shallit, J.O.: Simple continued fractions for some irrational numbers. J. Number Theory 11, 209–217 (1979)
Shallit, J.O.: Explicit descriptions of some continued fractions. Fibonacci Quart. 20, 77–81 (1982)
Shallit, J.O.: Simple continued fractions for some irrational numbers. II. J. Number Theory 14, 228–231 (1982)
Sondow, J.: Irrationality measures, irrationality bases, and a theorem of Jarník, talk at Journées Arithmétiques XXIII, Graz (2003). Preprint arXiv:math/0406300
van der Poorten, A.J., Shallit, J.: Folded continued fractions. J. Number Theory 40, 237–250 (1992)
Varona, J.L.: The continued fraction expansion of certain Pierce series. J. Number Theory 180, 573–578 (2017)
Acknowledgements
ANWH is funded by EPSRC Fellowship EP/M004333/1, and thanks the School of Mathematics & Statistics, UNSW for hospitality and support under the Distinguished Researcher Visitor Scheme. JLV is supported by Grant MTM2015-65888-C4-4-P from MINECO/FEDER.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
A. N. W. Hone: Currently on leave at School of Mathematics and Statistics, University of New South Wales, Sydney, NSW 2052, Australia.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Hone, A.N.W., Varona, J.L. Continued fractions and irrationality exponents for modified Engel and Pierce series. Monatsh Math 190, 501–516 (2019). https://doi.org/10.1007/s00605-018-1244-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-018-1244-1