Dejemos que $L=(\gamma(1+\alpha)/2)^{1/(1-\alpha)}$ .
Supongamos que $|x_k| < L = (\gamma(1+\alpha)/2)^{1/(1-\alpha)}=((\gamma(1+\alpha)/2)^{\alpha/(1-\alpha)})^{1/\alpha}=((\gamma(1+\alpha)/2)^{-1}(\gamma(1+\alpha)/2)^{1/(1-\alpha)})^{1/\alpha}=((\gamma(1+\alpha)/2)^{-1}L)^{1/\alpha}$
de lo que se deduce que $|x_k|^{\alpha}(\gamma(1+\alpha)) < 2L$ . También $|x_k| < L=(\gamma(1+\alpha)/2)^{1/(1-\alpha)}$ implica que $\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}>2$ . Entonces $|x_{k+1}|=|x_k|\left|1-\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}\right|= |x_k|\left(\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}-1\right)>|x_k|$ . Si $|x_{k+1}| >L$ entonces de $|x_k|^{\alpha}(\gamma(1+\alpha)) < 2L$ manipulamos para obtener $|x_k|\left(\frac{(\gamma(1+\alpha))}{|x_k|^{1-\alpha}}-1\right) -L< L-|x_k|$ y finalmente $|x_k|\left|1-\frac{(\gamma(1+\alpha))}{|x_k|^{1-\alpha}}\right| -L< L-|x_k|$ . Así que concluimos que $|x_{k+1}|-L < L - |x_k|$ y luego de $|x_{k+1}| >L$ y $|x_k| < L$ sabemos que $||x_{k+1}|-L| < ||x_k|-L|$ .
Supongamos que $|x_k| > L = (\gamma(1+\alpha)/2)^{1/(1-\alpha)}=((\gamma(1+\alpha)/2)^{-1}L)^{1/\alpha}$ entonces $|x_k|^{\alpha}(\gamma(1+\alpha)) > 2L$ . También $0<\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}<2$ y $|x_{k+1}|=|x_k|\left|1-\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}\right|<|x_k|$ . Si $|x_{k+1}| < L$ y $1<\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}<2$ entonces de $|x_k|^{\alpha}(\gamma(1+\alpha)) > 2L$ manipulamos para obtener $|x_k|\left(\frac{(\gamma(1+\alpha))}{|x_k|^{1-\alpha}}-1\right) -L> L-|x_k|$ y finalmente $|x_k|\left|1-\frac{(\gamma(1+\alpha))}{|x_k|^{1-\alpha}}\right| -L> L-|x_k|$ . Así que concluimos que $|x_{k+1}|-L > L - |x_k|$ y $L-|x_{k+1}| > |x_k|-L$ entonces de $|x_{k+1}| <L$ y $|x_k| > L$ sabemos que $||x_{k+1}|-L| < ||x_k|-L|$ . Si $|x_{k+1}| <L$ y $0<\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}<1$ entonces $\frac{\gamma(1+\alpha)}{|x_k|^{1-\alpha}}<1$ implica que $|x_k| > 2^{1/(1-\alpha)}L\ge 2L$ . Y de $|x_{k+1}|<L$ sabemos $||x_{k+1}|-L|<L< |x_k| - L = ||x_k| - L|$ .
En resumen, hemos demostrado que si $|x_k| < L$ entonces $|x_{k+1}| >|x_k|$ . Si $|x_k| < L$ y $|x_{k+1}| <L$ entonces $||x_{k+1}|-L|<||x_k|-L|$ . Si $|x_k| < L$ y $|x_{k+1}| >L$ entonces $||x_{k+1}|-L|<||x_k|-L|$ . Si $|x_k| > L$ entonces $|x_{k+1}| <|x_k|$ . Si $|x_k| > L$ y $|x_{k+1}| >L$ entonces $||x_{k+1}|-L|<||x_k|-L|$ . Si $|x_k| > L$ y $|x_{k+1}| <L$ entonces $||x_{k+1}|-L|<||x_k|-L|$ . Sea cual sea el caso, es cierto que $||x_{k+1}|-L|<||x_k|-L|$ . Por lo tanto, la secuencia $|x_k|-L$ converge. Demostrando que el límite de $|x_k|$ debe ser $L$ es fácil.
0 votos
Sugerencia: Comience con la segunda parte, observando que $|x_{n+1}|=|x_n|-\gamma(1+\alpha)|x_n|^\alpha$ . (¿Y hay una errata? Esto parece una convergencia $\to0$ como máximo).
0 votos
@ Hagen von Eitzen ¿Cómo podemos tener $|x_{n+1}|=|x_n|-\gamma(1+\alpha)|x_n|^{\alpha}$ ?
0 votos
Eso debería ser $|x_{n+1}| = \left| |x_n| - \gamma (1+\alpha) |x_n|^\alpha \right|$ . Si esto es $f(|x_n|)$ , tenga en cuenta que $f(t) < t$ para $t > t^*$ y $f(t) > t$ para $0 < t < t^*$ , donde $t^* = (\gamma (1+\alpha)/2)^{1/(1-\alpha)}$ .
0 votos
@Robert Israel: Gracias por tu comentario. Cómo podemos seguir con tu sugerencia?
0 votos
En realidad la afirmación no es cierta. Hay una secuencia de valores iniciales para los que algunos $x_k = 0$ y luego se queda $0$ : $y_1 = (\gamma (1 + \alpha))^{1/(1-\alpha)}$ para lo cual $f(y_1) = 0$ , $y_2$ para lo cual $f(y_2) = y_1$ etc.
0 votos
@Robert Israel: Gracias por tu atento comentario. He revisado la pregunta.