Serie de Kempner

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

La serie de Kempner es una modificación de la serie armónica, en la cuál se omiten todos los términos cuyo denominador expresado en base 10 contiene al menos un dígito 9, es decir, es la serie

donde la prima indica que toma sólo valores cuya expresión en base decimal no contiene ningún 9. Esta serie fue estudiada por A. J. Kempner en 1914.[1]​ Esta serie es interesante porque, al contrario que la serie armónica y contra-intuitivamente, es una serie convergente (Kempner demostró que su valor es menor que 80, y Baillie[2]​ showed obtuvo su resultado con una precisión de 20 decimales. El resultado de la serie es 22.92067 66192 64150 34816 (sucesión A082838 en OEIS)).

Schmelzer y Baillie[3]​ obtuvieron un algoritmo eficiente para el problema más general de resolver series en las que se omitieran sumandos que contuvierancualquier cadena dada de dígitos. Por ejemplo, la suma de para los que no contengan la cadena "42" en su expresión decimal es 228.44630 41592 30813 25415. Otro ejemplo más complicado, en el que se calcula la suma de para los que no contengan la cadena "314159" es 2302582.33386 37826 07892 02376. (Todos los valores numéricos aquçí dados están redondeados en su última cifra decimal).

Convergencia[editar]

La prueba de Kempner de la convergencia[1]​ es sencilla y se puede encontrar en muchos libros de texto, como por ejemplo en el libro de Hardy y Wright[4]:120 y en el Apostol.[5]:212 El procedimiento empieza agrupando los términos de la suma en conjuntos con el mismo número de dígitos en el denominador. El número de elementos de cada uno de estos conjuntos de sumandos de n dígitos que no contengan ningún 9 es exactamente , y cada término de estos conjuntos es menor o igual que su máximo ), por lo que la contribución de los sumandos de cada grupo es menor o igual que . Así que la serie de Kempner será menor o igual que la suma de las contribuciones de cada uno de los conjuntos en que hemos separado sus sumandos, por lo que tenemos que

Se puede usar exactamente el mismo argumento con cualquier otro dígito omitido. Y el resultado también es cierto si se omiten sumandos que contengan cadenas de dígitos en su expresión. Por ejemplo, en el caso en el que omitimos todos los términos cuyos denominadores contengan la cadena "42". Este resultado puede demostrarse casi de la misma manera.[3]​ Lo primero es darse cuenta de que podemos trabajar con números en base en lugar de en la base usual. En esta nueva base, cada conjunto de dígitos de la expresión en base representa a un solo dígito en la base , por lo que ahora la cadena de caracteres sustraer está dada por un sólo "dígito" en la base utilizada. Adaptando la demostración dada arriba en base a la base , se demuestra que estas series también convergen. Volviendo a la base , vemos que esta serie contiene todos los denominadores que se omiten para cualquier cadena de caracteres dada, así como denominadores que incluyen dicha cadena si esta no se encuentra representada por un "k-dígito" en una base . Por ejemplo, si omitimos los términos con un "42", en base se puede omitir los términos y , pero no el término . Por tanto, el valor de esta serie siempre será mayor que el de la serie en la que se omitan todos los "42".

Farhi[6]​ estudió series de Kempner generalizadas. En particular, estudió las series de recíprocos de enteros positivos que tienen exactamente

considered generalized Kempner series, namely, the sums S(dn) of the reciprocals of the positive integers that have exactly n instances of the digit d where 0 ≤ d ≤ 9 (so that the original Kempner series is S(9, 0)). He showed that for each d the sequence of values S(dn) for n ≥ 1 is decreasing and converges to 10 ln 10. Interestingly, the sequence is not in general decreasing starting with n = 0; for example, for the original Kempner series we have S(9, 0) ≈ 22.921 < 23.026 ≈ 10 ln 10 < S(9, n) for n ≥ 1.

Cálculo numérico de la serie[editar]

La serie converge muy lentamente. Baillie[2]​ mostró que, tras sumar términos, el error es aún mayor que 1.

La cota superior de 80 es muy mala aproximación, Irwin,[7]​ con un análisis más fino, acotó el valor de la serie de Kempner entre 22.4 y 23.3.

Baillie[2]​ desarrolló un método recursivo que permite expresar la contribución de cada bloque de dígitos en función de las contribuciones de los bloques de dígitos para cualquier elección de dígitos omitidos. Esto permite un cálculo más rápido con mucho menor tiempo de computación.

El nombre de la serie[editar]

La mayoría de autores no le da un nombre especial a esta serie. El nombre de "serie de Kempner" es utilizado en MathWorld[8]​ y en el libro de Havil Gamma, que trata sobre la constante de Euler–Mascheroni.[9]:31–33

Véase también[editar]

Notas[editar]

  1. a b Kempner, A. J. (February 1914). «A Curious Convergent Series». American Mathematical Monthly (Washington, DC: Mathematical Association of America) 21 (2): 48–50. ISSN 0002-9890. JSTOR 2972074. doi:10.2307/2972074. 
  2. a b c Baillie, Robert (May 1979). «Sums of Reciprocals of Integers Missing a Given Digit». American Mathematical Monthly (Washington, DC: Mathematical Association of America) 86 (5): 372-374. ISSN 0002-9890. JSTOR 2321096. doi:10.2307/2321096. 
  3. a b Schmelzer, Thomas; Baillie, Robert (June–July 2008). «Summing a Curious, Slowly Convergent Series». American Mathematical Monthly (Washington, DC: Mathematical Association of America) 115 (6): 525–540. ISSN 0002-9890. JSTOR 27642532. MR 2416253. 
  4. Hardy, G. H.; E. M. Wright (1979). An Introduction to the Theory of Numbers (5th edición). Oxford: Clarendon Press. ISBN 0-19-853171-0. 
  5. Apostol, Tom (1974). Mathematical Analysis. Boston: Addison–Wesley. ISBN 0-201-00288-4. 
  6. Farhi, Bakir (December 2008). «A Curious Result Related to Kempner's Series». American Mathematical Monthly (Washington, DC: Mathematical Association of America) 115 (10): 933–938. ISSN 0002-9890. MR 2468554. 
  7. Irwin, Frank (May 1916). «A Curious Convergent Series». American Mathematical Monthly (Washington, DC: Mathematical Association of America) 23 (5): 149-152. ISSN 0002-9890. JSTOR 2974352. doi:10.2307/2974352. 
  8. Weisstein, Eric W. «Kempner series». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research. 
  9. Havil, Julian (2003). Gamma: Exploring Euler's Constant. Princeton: Princeton University Press. ISBN 978-0-691-09983-5. 

Enlaces externos[editar]