Engel expansion

The Engel expansion of a positive real number x is the unique non-decreasing sequence of positive integers $(a_{1},a_{2},a_{3},\dots )$ such that

$x={\frac {1}{a_{1}}}+{\frac {1}{a_{1}a_{2}}}+{\frac {1}{a_{1}a_{2}a_{3}}}+\cdots ={\frac {1}{a_{1}}}\!\left(1+{\frac {1}{a_{2}}}\!\left(1+{\frac {1}{a_{3}}}\left(1+\cdots \right)\right)\right)$

For instance, Euler's number e has the Engel expansion

1, 1, 2, 3, 4, 5, 6, 7, 8, ...

corresponding to the infinite series

$e={\frac {1}{1}}+{\frac {1}{1}}+{\frac {1}{1\cdot 2}}+{\frac {1}{1\cdot 2\cdot 3}}+{\frac {1}{1\cdot 2\cdot 3\cdot 4}}+\cdots$

Rational numbers have a finite Engel expansion, while irrational numbers have an infinite Engel expansion. If x is rational, its Engel expansion provides a representation of x as an Egyptian fraction. Engel expansions are named after Friedrich Engel, who studied them in 1913.

An expansion analogous to an Engel expansion, in which alternating terms are negative, is called a Pierce expansion.

Engel expansions, continued fractions, and Fibonacci

Kraaikamp & Wu (2004) observe that an Engel expansion can also be written as an ascending variant of a continued fraction:

$x={\cfrac {1+{\cfrac {1+{\cfrac {1+\cdots }{a_{3}}}}{a_{2}}}}{a_{1}}}.$

They claim that ascending continued fractions such as this have been studied as early as Fibonacci's Liber Abaci (1202). This claim appears to refer to Fibonacci's compound fraction notation in which a sequence of numerators and denominators sharing the same fraction bar represents an ascending continued fraction:

${\frac {a\ b\ c\ d}{e\ f\ g\ h}}={\dfrac {d+{\cfrac {c+{\cfrac {b+{\cfrac {a}{e}}}{f}}}{g}}}{h}}.$

If such a notation has all numerators 0 or 1, as occurs in several instances in Liber Abaci, the result is an Engel expansion. However, Engel expansion as a general technique does not seem to be described by Fibonacci.

Algorithm for computing Engel expansions

To find the Engel expansion of x, let

$u_{1}=x,$

$a_{k}=\left\lceil {\frac {1}{u_{k}}}\right\rceil \!,$

and

$u_{k+1}=u_{k}a_{k}-1$

where $\left\lceil r\right\rceil$ is the ceiling function (the smallest integer not less than r).

If $u_{i}=0$ for any i, halt the algorithm.

Iterated functions for computing Engel expansions

Another equivalent method is to consider the map

$g(x)=x\!\left(1+\left\lfloor x^{-1}\right\rfloor \right)-1$

and set

$u_{k}=1+\left\lfloor {\frac {1}{g^{(n-1)}(x)}}\right\rfloor$

where

$g^{(n)}(x)=g(g^{(n-1)}(x))$ and $g^{(0)}(x)=x.$

Yet another equivalent method, called the modified Engel expansion calculated by

$h(x)=\left\lfloor {\frac {1}{x}}\right\rfloor g(x)=\left\lfloor {\frac {1}{x}}\right\rfloor \!\left(x\left\lfloor {\frac {1}{x}}\right\rfloor +x-1\right)$

and

$u_{k}={\begin{cases}1+\left\lfloor {\frac {1}{x}}\right\rfloor &n=1\\\left\lfloor {\frac {1}{h^{(k-2)}(x)}}\right\rfloor \!\left(1+\left\lfloor {\frac {1}{h^{(k-1)}(x)}}\right\rfloor \right)&n\geq 2\end{cases}}$

The transfer operator of the Engel map

The Frobenius–Perron transfer operator of the Engel map $g(x)$ acts on functions $f(x)$ with

$[{\mathcal {L}}_{g}f](x)=\sum _{y:g(y)=x}{\frac {f(y)}{\left|{\frac {d}{dz}}g(z)\right|_{z=y}}}=\sum _{n=1}^{\infty }{\frac {f\left({\frac {x+1}{n+1}}\right)}{n+1}}$

since

${\frac {d}{dx}}[x(n+1)-1]=n+1$ and the inverse of the n-th component is ${\frac {x+1}{n+1}}$ which is found by solving $x(n+1)-1=y$ for $x$.

Relation to the Riemann ζ function

The Mellin transform of the map $g(x)$ is related to the Riemann zeta function by the formula

${\begin{aligned}\int _{0}^{1}g(x)x^{s-1}\,dx&=\sum _{n=1}^{\infty }\int _{\frac {1}{n+1}}^{\frac {1}{n}}(x(n+1)-1)x^{s-1}\,dx\\[5pt]&=\sum _{n=1}^{\infty }{\frac {n^{-s}(s-1)+(n+1)^{-s-1}(n^{2}+2n+1)+n^{-s-1}s-n^{1-s}}{(s+1)s(n+1)}}\\[5pt]&={\frac {\zeta (s+1)}{s+1}}-{\frac {1}{s(s+1)}}\end{aligned}}.$

Example

To find the Engel expansion of 1.175, we perform the following steps.

$u_{1}=1.175,a_{1}=\left\lceil {\frac {1}{1.175}}\right\rceil =1;$

$u_{2}=u_{1}a_{1}-1=1.175\cdot 1-1=0.175,a_{2}=\left\lceil {\frac {1}{0.175}}\right\rceil =6$

$u_{3}=u_{2}a_{2}-1=0.175\cdot 6-1=0.05,a_{3}=\left\lceil {\frac {1}{0.05}}\right\rceil =20$

$u_{4}=u_{3}a_{3}-1=0.05\cdot 20-1=0$

The series ends here. Thus,

$1.175={\frac {1}{1}}+{\frac {1}{1\cdot 6}}+{\frac {1}{1\cdot 6\cdot 20}}$

and the Engel expansion of 1.175 is (1, 6, 20).

Engel expansions of rational numbers

Every positive rational number has a unique finite Engel expansion. In the algorithm for Engel expansion, if u_i is a rational number x/y, then u_i + 1 = (−y mod x)/y. Therefore, at each step, the numerator in the remaining fraction u_i decreases and the process of constructing the Engel expansion must terminate in a finite number of steps. Every rational number also has a unique infinite Engel expansion: using the identity

${\frac {1}{n}}=\sum _{r=1}^{\infty }{\frac {1}{(n+1)^{r}}}.$

the final digit n in a finite Engel expansion can be replaced by an infinite sequence of (n + 1)s without changing its value. For example,

$1.175=(1,6,20)=(1,6,21,21,21,\dots ).$

This is analogous to the fact that any rational number with a finite decimal representation also has an infinite decimal representation (see 0.999...). An infinite Engel expansion in which all terms are equal is a geometric series.

Erdős, Rényi, and Szüsz asked for nontrivial bounds on the length of the finite Engel expansion of a rational number x/y ; this question was answered by Erdős and Shallit, who proved that the number of terms in the expansion is O(y^1/3 + ε) for any ε > 0.

Engel expansions for some well-known constants

$\pi$ = (1, 1, 1, 8, 8, 17, 19, 300, 1991, 2492, ...) (sequence A006784 in the OEIS)

${\sqrt {2}}$ = (1, 3, 5, 5, 16, 18, 78, 102, 120, 144, ...) (sequence A028254 in the OEIS)

$e$ = (1, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, ...) (sequence A028310 in the OEIS)

The Engel expansion for arithmetic progressions can be represented as

$\sum _{k=1}^{\infty }{\frac {1}{\prod _{i=0}^{k-1}(\alpha +i\beta )}}={\frac {1}{\alpha }}+{\frac {1}{\alpha (\alpha +\beta )}}+{\frac {1}{\alpha (\alpha +\beta )(\alpha +2\beta )}}+\cdots .$

where $\alpha ,\beta \in \mathbb {N}$ and $0<\alpha \leq \beta$. Thus, in general

$\left({\frac {1}{\beta }}\right)^{1-{\frac {\alpha }{\beta }}}e^{\frac {1}{\beta }}\gamma \left({\frac {\alpha }{\beta }},{\frac {1}{\beta }}\right)=\{{\alpha },\alpha (\alpha +\beta ),\alpha (\alpha +\beta )(\alpha +2\beta ),\dots \}\;$ where $\gamma$ represents the lower Incomplete gamma function.

Specifically, if $\alpha =\beta$,

$e^{1/\beta }-1=\{1\beta ,2\beta ,3\beta ,4\beta ,5\beta ,6\beta ,\dots \}\;$

More Engel expansions for constants can be found here.

Growth rate of the expansion terms

The coefficients a_i of the Engel expansion typically exhibit exponential growth; more precisely, for almost all numbers in the interval (0,1], the limit $\lim _{n\to \infty }a_{n}^{1/n}$ exists and is equal to e. However, the subset of the interval for which this is not the case is still large enough that its Hausdorff dimension is one.

The same typical growth rate applies to the terms in expansion generated by the greedy algorithm for Egyptian fractions. However, the set of real numbers in the interval (0,1] whose Engel expansions coincide with their greedy expansions has measure zero, and Hausdorff dimension 1/2.

See also

• Euler's continued fraction formula

References

• Engel, F. (1913), "Entwicklung der Zahlen nach Stammbruechen", Verhandlungen der 52. Versammlung deutscher Philologen und Schulmaenner in Marburg, pp. 190–191.
• Pierce, T. A. (1929), "On an algorithm and its use in approximating roots of algebraic equations", American Mathematical Monthly, 36 (10): 523–525, doi:10.2307/2299963, JSTOR 2299963
• Erdős, Paul; Rényi, Alfréd; Szüsz, Peter (1958), "On Engel's and Sylvester's series" (PDF), Ann. Univ. Sci. Budapest. Eötvös Sect. Math., 1: 7–32.
• Erdős, Paul; Shallit, Jeffrey (1991), "New bounds on the length of finite Pierce and Engel series", Journal de théorie des nombres de Bordeaux, 3 (1): 43–53, doi:10.5802/jtnb.41, MR 1116100.
• Paradis, J.; Viader, P.; Bibiloni, L. (1998), "Approximation to quadratic irrationals and their Pierce expansions", Fibonacci Quarterly, 36 (2): 146–153
• Kraaikamp, Cor; Wu, Jun (2004), "On a new continued fraction expansion with non-decreasing partial quotients", Monatshefte für Mathematik, 143 (4): 285–298, doi:10.1007/s00605-004-0246-3, S2CID 123267511.
• Wu, Jun (2000), "A problem of Galambos on Engel expansions", Acta Arithmetica, 92 (4): 383–386, doi:10.4064/aa-92-4-383-386, MR 1760244.
• Wu, Jun (2003), "How many points have the same Engel and Sylvester expansions?", Journal of Number Theory, 103 (1): 16–26, doi:10.1016/S0022-314X(03)00017-9, MR 2008063.
• Llorente, A. G. (2023), Arithmetic Progression-Representing Constants (preprint).

External links

• Weisstein, Eric W. "Engel Expansion". MathWorld–A Wolfram Web Resource.