Expansión de Engel
La expansión de Engel de un número real positivo x es la sucesión no decreciente de enteros positivos tal que
Los números racionales tienen una única expansión de Engel finita y una única expansión de Engel infinita, mientras que los números irracionales tienen una única expansión de Engel infinita. Si x es racional, su expansión de Engel proporciona una representación de x como una fracción egipcia. Las expansiones de Engel son llamadas en honor a Friedrich Engel, quien las estudió en 1913.
Una expansión análoga a la expansión de Engel, en la que términos alternados son negativos, es llamada expansión de Pierce.
Expansiones de Engel, fracciones continuas, y Fibonacci
Kraaikamp y Wu (2004) observó que una expansión de Engel también puede ser escrita como una variante ascendente de una fracción continua:
Ellos afirman que las fracciones continuas ascendentes tales como esta habían sido estudiadas con anterioridad en Liber Abaci (1202) por Fibonacci. Esta afirmación parece referirse a la notación de la fracción compuesta de Fibonacci en la que una sucesión de numeradores y denominadores que comparten la misma barra fraccionaria representa una fracción continua ascendente:
Si tal notación tiene todos sus numeradores como 0 o 1, como ocurre varias veces en Liber Abaci, el resultado es una expansión de Engel. Sin embargo, las expansiones de Engel como técnica general no parece ser descrita por Fibonacci.
Algoritmo para calcular expansiones de Engel
Para encontrar la expansión de Engel de x, sea
y
donde es la función techo (el menor entero no menor que r).
Si para cualquier i, el algoritmo se para.
Ejemplo
Para encontrar la expansión de Engel de 1.175, se realizan los siguientes pasos.
La serie termina aquí. Así,
y la expansión de Engel de 1.175 es {1, 6, 20}.
Expansiones de Engel de números racionales
Todo número racional positivo tiene una única Expansión de Engel finita. En el algoritmo para la expansión de Engel, si ui es un número racional x/y, entonces ui+1 = (−y mod x)/y. Más aún, en cada paso, el numerador en la fracción restante ui disminuye y el proceso de construcción de la expansión de Engel debe terminar en un número finito de pasos. Todo número racional también tiene una única expansión de Engel infinita: usando la identidad
el dígito final n en una expansión de Engel finita puede ser reemplazado por una sucesión infinita de (n + 1)s sin cambiar su valor. Por ejemplo
Esto es análogo al hecho de que todo número racional con una representación decimal finita también tiene una representación decimal infinita (véase 0.999...). Una expansión de Engel infinita en la que todos sus términos son igual es una serie geométrica.
Erdős, Rényi, y Szüsz se preguntaron por los límites no triviales en la longitud de una expansión de Engel finita de un número racional x/y; esta cuestión fue resuelta por Erdős y Shallit, que demostraron que el número de términos en la expansión es O(y1/3 + ε) para todo ε > 0.[1]
Expansiones de Engel de algunas constantes conocidas
- = {1, 1, 1, 8, 8, 17, 19, 300, 1991, 2492,...} (sucesión A006784 en OEIS)
- = {1, 3, 5, 5, 16, 18, 78, 102, 120, 144,...} (sucesión A028254 en OEIS)
- = {1, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13,...} (sucesión A000027 en OEIS)
La expansión de Engel para las progresiones aritméticas se puede representar como
donde y . Entonces, en general
donde representa la Función gamma incompleta inferior.
En concreto, si ,
Más expansiones de Engel para constantes se pueden encontrar aquí.
Tasa de crecimiento de los términos de la expansión
Los coeficientes ai de una expansión de Engel típicamente exhiben crecimiento exponencial; más concretamente, para casi todos los números en el intervalo (0,1], el límite existe y es igual a e. Sin embargo, el subconjunto del intervalos para el cual esto no es el caso es lo suficientemente grande, tal que su dimensión de Hausdorff es uno.[2]
La misma tasa de crecimiento típica se aplica a los términos en una expansión generada por el algoritmo voraz para fracciones egipcias. Sin embargo, el conjunto de números reales en el intervalo (0,1] cuyas expansiones de Engel coinciden con sus expansiones voraces tiene medida cero, y dimensión de Hausdorff 1/2.[3]
Notas
- ↑ Erdős, Rényi y Szüsz (1958);Erdős y Shallit (1991).
- ↑ Wu (2000). Wu atribuye que el resultado del límite es casi siempre e a Janos Galambos.
- ↑ Wu (2003).
Referencias
- 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, JSTOR 2299963 .
- Erdős, Paul; Rényi, Alfréd; Szüsz, Peter (1958), «On Engel's and Sylvester's series», 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, 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 (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 ..
- Wu, Jun (2000), «A problem of Galambos on Engel expansions», Acta Arithmetica 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, MR 2008063, doi:10.1016/S0022-314X(03)00017-9 ..
- Llorente, A. G. (2023), Arithmetic Progression-Representing Constants (preprint) .
Enlaces externos
- Weisstein, Eric W. «Engel Expansion». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
Datos: Q279156