Definamos dos series. La primera es \begin{align} a_1 &= 3 \\ a_2 &= 3 - \frac{2}{3} \\ a_3 &= 3 - \frac{2}{3 - \frac{2}{3}} \\ a_4 &= 3- \frac{2}{3 - \frac{2}{3 - \frac{2}{3}}} \\ &\vdots \\ a_{n+1} &= 3 - \frac{2}{a_n} \quad (*) \end{align} y \begin{align} b_1 &= 3 - 2 \\ b_2 &= 3 - \frac{2}{3-2} \\ b_3 &= 3 - \frac{2}{3 - \frac{2}{3-2}} \\ b_4 &= 3 - \frac{2}{3 - \frac{2}{3 - \frac{2}{3-2}}} \\ &\vdots \\ b_{n+1} &= 3 - \frac{2}{b_n} \quad (**) \\ \end{align}
Nota: Se trata de la misma relación de recurrencia $(*)$ o $(**)$ pero con un valor inicial diferente $a_1 = 3$ y $b_1 = 1$ .
Para la convergencia necesitamos $a_{n+1} - a_{n} \to 0$ o $a_n \to a$ .
De esta forma (en caso de convergencia) las ecuaciones $(*)$ y $(**)$ tienen un límite $$ a = 3 - \frac{2}{a} \quad (\#) $$ que tiene efectivamente las soluciones $a = 1$ y $a = 2$ .
Sin embargo, eso significa que también podríamos intentar $$ c_n = 3 - \frac{2}{c_{n+1}} $$ o $$ c_{n+1} = \frac{2}{3 - c_n} \quad (\#\#) $$ porque tiene la forma límite $(\#)$ .
Obsérvese que la ecuación $(\#\#)$ es muy diferente de la ecuación $(*)$ (véase la imagen de abajo).
Y efectivamente esta relación de recurrencia $(\#\#)$ también funciona. Utilizando $c_1 = 1$ dará $c_n \to 1$ Utilizando $c_1 = 2$ dará $c_n \to 2$ . Utilización de $c_1 = 1000$ dará $c_n \to 1$ .
¿A qué se debe esto? Sigue habiendo dos soluciones y el valor inicial decide el límite.
He aquí una imagen:
El gráfico verde está relacionado con $(*)$ : $$ f(x) = 3-\frac{2}{x} $$ el gráfico azul está relacionado con $(\#\#)$ : $$ g(x) = \frac{2}{3-x} $$ y la gráfica roja es la función identidad: $$ \mbox{id}(x) = x $$
Vemos que ambos $f$ y $g$ dar con la identidad en $x=1$ y $x=2$ . Estos puntos son puntos fijos de $f$ y $g$ : \begin{align} x^* &= f(x^*) \\ x^* &= g(x^*) \end{align} Y ahora se podría intentar aplicar la teoría de los puntos fijos, especialmente las propiedades de las iteraciones de puntos fijos. \begin{align} x_{n+1} &= f(x_n) \quad (\$) \\ x_{n+1} &= g(x_n) \end{align}
La iteración de punto fijo de $f$ es como la iteración de fracciones continuas originales (compare $(\$ ) $ with $ (*) $ or $ (**)$).
La teoría que hay detrás puede ayudar ahora con afirmaciones sobre la convergencia y la dependencia de los valores iniciales.
2 votos
Queda por demostrar que una de ellas no es posible.
0 votos
Como alternativa, calcule la primera fracción continua y luego la segunda. Recuerde que esta secuencia debe converger a "algo".
0 votos
@user2770287 No tengo ni idea de cómo escribir un programa informático de este tipo.
0 votos
Me refería a la fracción continua parcial. Así que puedes hacerlo a mano.
0 votos
@user2770287 ¿Lo has intentado?
0 votos
Sí. Vea la solución de Mose Wintner más abajo. Sólo tienes que calcular los primeros valores de $a_n$
0 votos
@user2770287 Gracias. Ver mi comentario después de la solución de Mose Winter.