Fracción continua de una suma infinita

Question

¿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.

Answer 1

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