Expansión de Engel

A expansión de Engel dun número real positivo x é a única secuencia non decrecente de números enteiros positivos $(a_{1},a_{2},a_{3},\dots )$ tal que

$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)$

Por exemplo, o número e ten unha expansión de Engel

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

correspondente á serie infinita

$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$

Os números racionais teñen unha expansión de Engel finita, mentres que os números irracionais teñen unha expansión de Engel infinita. Se x é racional, a súa expansión de Engel proporciona unha representación de x como unha fracción exipcia. As expansións de Engel reciben o nome de Friedrich Engel, quen as estudou en 1913.

Unha expansión análoga a unha expansión de Engel, na que os termos alternos son negativos, chámase expansión de Pierce.

Expansións de Engel, fraccións continuas e Fibonacci

Kraaikamp & Wu (2004) observe que unha expansión de Engel tamén se pode escribir coma unha variante ascendetnte dunha fracción continua:

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

Afirman que as fraccións continuas ascendentes como esta foron estudadas xa no Liber Abaci de Fibonacci (1202). Esta afirmación parece referirse á notación de fracción composta de Fibonacci na que unha secuencia de numeradores e denominadores que comparten a mesma barra de fracción representa unha fracción continua ascendente:

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

Algoritmo para calcular as expansións de Engel

Para atopar a expansión de Engel de x, sexa

$u_{1}=x,$

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

e

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

onde $\left\lceil r\right\rceil$ é a función teito (o número enteiro máis pequeno non inferior a r).

Se $u_{i}=0$ para calquera i, remata o algoritmo.

Exemplo

Para atopar a expansión de Engel de 1.175, realizamos os seguintes pasos.

$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$

A serie remata aquí. Así,

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

e a expansión de Engel de 1.175 é (1, 6, 20).

A expansión de Engel para progresións aritméticas

Considere esta suma:

$\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 ,$

onde $\alpha ,\beta \in \mathbb {N}$ e $0<\alpha \leq \beta$ . Así, en xeral

$\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 \}\;$ ,

onde $\gamma$ representa a función gamma incompleta minúscula.

En concreto, se $\alpha =\beta$ ,

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

Expansión de Engel para potencias de q

A identidade de Gauss do q-análogo pódese escribir como:

$\prod _{n=1}^{\infty }{\frac {1-{\frac {1}{q^{2n}}}}{1-{\frac {1}{q^{2n-1}}}}}=\sum _{n=0}^{\infty }{\frac {1}{q^{\frac {n(n+1)}{2}}}},\quad q\in \mathbb {N} .$

Usando esta identidade, podemos expresar a expansión de Engel para potencias de $q$ do seguinte xeito:

$\prod _{n=1}^{\infty }\left(1-{\frac {1}{q^{n}}}\right)^{(-1)^{n}}=\sum _{n=0}^{\infty }{\frac {1}{\prod _{i=1}^{n}q^{i}}}.$

A maiores, esta expresión pódese escribir en forma pechada como:

${\frac {q^{1/8}\vartheta _{2}\left({\frac {1}{\sqrt {q}}}\right)}{2}}=\{1,q,q^{3},q^{6},q^{10},\ldots \}$

onde $\vartheta _{2}$ é a segunda función theta.

Expansións de Engel para algunhas constantes coñecidas

$\pi$ = (1, 1, 1, 8, 8, 17, 19, 300, 1991, 2492, ...) (secuencia A006784 na OEIS)

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

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

Véxase tamén

Bibliografía

• 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. pp. 523–525. JSTOR 2299963. doi:10.2307/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. pp. 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. pp. 43–53. MR 1116100. doi:10.5802/jtnb.41. .
• Paradis, J.; Viader, P.; Bibiloni, L. (1998). Approximation to quadratic irrationals and their Pierce expansions. Fibonacci Quarterly 36. pp. 146–153. 
• Kraaikamp, Cor; Wu, Jun (2004). On a new continued fraction expansion with non-decreasing partial quotients. Monatshefte für Mathematik 143. pp. 285–298. doi:10.1007/s00605-004-0246-3. .
• Wu, Jun (2000). A problem of Galambos on Engel expansions. Acta Arithmetica 92. pp. 383–386. MR 1760244. doi:10.4064/aa-92-4-383-386. .
• Wu, Jun (2003). How many points have the same Engel and Sylvester expansions?. Journal of Number Theory 103. pp. 16–26. MR 2008063. doi:10.1016/S0022-314X(03)00017-9. .
• Llorente, A. G. (2023). Arithmetic Progression-Representing Constants (preprint). .

Outros artigos

• Fracción continua de Euler.

Ligazóns externas

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