¿Cuál es la fracción continua para $\displaystyle\sum_{i=1}^n\frac{1}{2^{2^i}}$
Parece que es "casi" periódico, pero no encuentro la forma exacta de expresarlo.
Respuesta
¿Demasiados anuncios?
Podemos aplicar la siguiente fórmula general de transformación de una serie en una fracción continua, que se puede justificar (véase el apéndice 1 y el apéndice 2) comparando las relaciones de recurrencia fundamentales de la fracción continua con la recurrencia de las sumas parciales de la serie:
$$\sum_{n=1}^{N}\dfrac{u_{n}}{v_{n}}=\dfrac{u_{1}}{v_{1}+\underset{n=1}{ \overset{N-1}{\mathbb{K}}}\left(\left( -\dfrac{u_{n+1}}{u_{n}}v_{n}^{2}\right) /\left( v_{n+1}+\dfrac{u_{n+1}}{u_{n}}v_{n}\right)\right) }.$$
En este caso, tenemos $u_{n}=1$ , $v_{n}=2^{\left( 2^{n}\right) }$ :
$$\sum_{n=1}^{N}\dfrac{1}{v_{n}}=\dfrac{1}{4+\underset{n=1}{\overset{N-1}{ \mathbb{K}}}\left( \left( -v_{n}^{2}\right) /\left( v_{n+1}+v_{n}\right)\right) }$$
$$\sum_{n=1}^{N}\dfrac{1}{2^{2^{n}}}=\dfrac{1}{4+\underset{n=1}{\overset{N-1}{\mathbb{K}}}\left(\left( -2^{2^{n+1}}\right)/\left( 2^{2^{n+1}}+2^{2^{n}}\right)\right) }$$
$$=\dfrac{1}{4+}\dfrac{-16}{20+}\cdots \dfrac{-2^{2^{n+1}}}{ 2^{2^{n+1}}+2^{2^{n}}+}{\cdots }\dfrac{-2^{2^{N}}}{ 2^{2^{N}}+2^{2^{N-1}}}.$$
La transformación de la serie en una fracción continua es
$$\sum_{n=1}^{\infty}\dfrac{1}{2^{2^{n}}}=\dfrac{1}{4+\underset{n=1}{\overset{\infty}{\mathbb{K}}}\left(\left( -2^{2^{n+1}}\right)/\left( 2^{2^{n+1}}+2^{2^{n}}\right) \right) }.$$
Anexo 1 : Las sumas parciales de la serie
$$s_{n}=\sum_{k=1}^{n}\frac{u_{k}}{v_{k}}=\frac{A_{n}}{B_{n}}$$
verificar, para $n\geq 2$ ,
$$s_{n}=s_{n-1}+\frac{u_{n}}{v_{n}}=\frac{A_{n-1}}{B_{n-1}}+\frac{u_{n}}{v_{n} }=\frac{v_{n}A_{n-1}+u_{n}B_{n-1}}{v^{n}B_{n-1}}=\frac{A_{n}}{B_{n}}$$
lo que significa que
$$A_{n}=v_{n}\;A_{n-1}+u_{n}\;B_{n-1}$$
$$B_{n}=v_{n}\;B_{n-1}.$$
La fracción continua truncada
$$\underset{k=1}{\overset{n}{\mathbb{K}}}\left( u_{k}/v_{k}\right) =\frac{ A_{n}}{B_{n}}$$
verifica:
$$A_{n}=b_{n}\;A_{n-1}+a_{n}\;A_{n-2}\qquad A_{0}=0$$
$$B_{n}=b_{n}\;B_{n-1}+a_{n}\;B_{n-2}\qquad B_{0}=1.$$
Anexo 2 : Cálculo algebraico detallado. Para $n=1$ tenemos
$$\frac{u_{1}}{v_{1}}=\frac{a_{1}}{b_{1}}=\frac{A_{1}}{B_{1}}\qquad u_{1}=a_{1}\qquad v_{1}=b_{1}.$$
Sustitución de $n-1$ para $n$ en la primera recurrencia obtenemos para $n\geq 3$
$$A_{n-1}=v_{n-1}\;A_{n-2}+u_{n-1}\;B_{n-2}$$
$$B_{n-1}=v_{n-1}\;B_{n-2}$$
que a su vez da:
$$A_{n}=v_{n}\;A_{n-1}+u_{n}\;B_{n-1}$$
$$=v_{n}\;\left( v_{n-1}\;A_{n-2}+u_{n-1}\;B_{n-2}\right) +u_{n}\;\left( v_{n-1}\;B_{n-2}\right) $$
$$=v_{n}\;v_{n-1}\;A_{n-2}+\left( v_{n}\;u_{n-1}+u_{n}\;v_{n-1}\right)\;B_{n-2}$$
y
$$B_{n}=v_{n}\;B_{n-1}=v_{n}\;v_{n-1}\;B_{n-2}.$$
La misma sustitución en la segunda recurrencia da como resultado (para $n\geq 3$ ):
$$A_{n-1}=b_{n-1}\;A_{n-2}+a_{n-1}\;A_{n-3}$$
$$B_{n-1}=b_{n-1}\;B_{n-2}+a_{n-1}\;B_{n-3}.$$
Combinando todo lo que obtenemos:
$$A_{n}=b_{n}\;A_{n-1}+a_{n}\;A_{n-2}$$
$$=b_{n}\;\left( v_{n-1}\;A_{n-2}+u_{n-1}\;B_{n-2}\right) +a_{n}\;A_{n-2}$$
$$=\left( b_{n}\;v_{n-1}+a_{n}\;\right) \;A_{n-2}+b_{n}\;u_{n-1}\;B_{n-2}$$
y
$$B_{n}=b_{n}\;B_{n-1}+a_{n}\;B_{n-2}$$
$$=b_{n}\;\left( v_{n-1}\;B_{n-2}\right) +a_{n}\;B_{n-2}$$
$$=\left( b_{n}\;v_{n-1}+a_{n}\right) \;B_{n-2}$$
Comparando ambos $A_{n}$ y $B_{n}$ fórmula
$$A_{n}=v_{n}\;v_{n-1}\;A_{n-2}+\left( v_{n}\;u_{n-1}+u_{n}\;v_{n-1}\right)\;B_{n-2}$$
$$A_{n}=\left( b_{n}\;v_{n-1}+a_{n}\;\right) \;A_{n-2}+b_{n}\;u_{n-1}\;B_{n-2}$$
y
$$B_{n}=v_{n}\;v_{n-1}\;B_{n-2}$$
$$B_{n}=\left( b_{n}\;v_{n-1}+a_{n}\right) \;B_{n-2}$$
se concluye que
$$v_{n}\;u_{n-1}+u_{n}\;v_{n-1}=b_{n}\;u_{n-1}$$
$$v_{n}\;v_{n-1}=b_{n}\;v_{n-1}+a_{n}.$$
Por lo tanto,
$$a_{n}=v_{n}\;v_{n-1}-b_{n}\;v_{n-1}$$
$$=v_{n}\;v_{n-1}-\left( v_{n}\;u_{n-1}+u_{n}\;v_{n-1}\right)\;v_{n-1}/u_{n-1}$$
$$=v_{n}\;v_{n-1}-v_{n}\;v_{n-1}-u_{n}\;v_{n-1}\;v_{n-1}/u_{n-1}$$
$$=-\frac{u_{n}}{u_{n-1}}v_{n-1}^{2},$$
y
$$b_{n}\;u_{n-1}=v_{n}\;u_{n-1}+u_{n}\;v_{n-1}$$
$$b_{n}=v_{n}+\frac{u_{n}}{u_{n-1}}v_{n-1}.$$
Así, para $n\geq 2$
$$a_{n}=-\frac{u_{n}}{u_{n-1}}v_{n-1}^{2}$$
$$b_{n}=v_{n}+\frac{u_{n}}{u_{n-1}}v_{n-1}.$$
