Estudiar la función $$ f(t)=\frac{1}{2}\left(t+\frac{1}{t} \right) $$ en $(0,+\infty)$ primero. Disminuye en $(0,1]$ y aumenta en $[1,+\infty)$ . Hay un mínimo golbal único $f(1)=1$ .
Entonces observa que $$ g(t)=f(t)-t=\frac{1-t^2}{2t} $$ es positivo en $(0,1)$ y negativo en $(1,+\infty)$ .
Para cada fijo $x>0$ la secuencia $u_n(x)$ se define recursivamente por $u_1(x)=x$ y $u_{n+1}(x)=f(u_n(x))$ . El comportamiento de esta secuencia depende de la posición de $x$ con respecto a $1$ .
Si $x=1$ entonces es un punto fijo de $f$ así que $U_n(1)=1$ para todos $n$ y converge a $u(1)=1$ .
Ahora arreglar $x>1$ . Primero demuestre por inducción que $U_n(x)>1$ para todos $n$ , utilizando el estudio de $f$ arriba. A continuación se deduce del estudio de $g$ que $u_{n+1}(x)=f(u_n(x))<u_n(x)$ para todos $n$ . De ello se deduce que la secuencia $(u_n(x))$ es decreciente y está limitada por debajo de $1$ por lo que converge a $u(x)\geq 1$ . Ahora $u(x)$ tiene que cumplir la condición $u(x)=f(u(x))$ (pasando al límite en $u_{n+1}(x)=f(u_n(x))$ ). Se obtiene así la ecuación cuadrática $u(x)^2-1=0$ Así que $u(x)=1$ .
Ahora arreglar $x<1$ . Tenemos $u_1(x)=x<1$ . Pero $u_2(x)=f(u_1(x))=f(x)>1$ . Ahora aplique el párrafo anterior a $f(x)$ en lugar de $x$ . Esto demuestra que $U_n(x)$ comienza a disminuir a partir del rango $n=2$ y converge a $1$ .
Así que hemos demostrado que $u_n$ converge puntualmente a la función constante $u(x)=1$ .
Convergencia uniforme, ahora.
Consideremos primero ese caso $[a,b]=[1,b]$ con $b\geq 1$ . Arreglar $1\leq x\leq y$ . Recordemos que $u_n(x)$ y $u_n(y)$ ambos pertenecen a $[1,+\infty)$ para todos $n$ del estudio de convergencia anterior. También, $f$ está aumentando en $[1,+\infty)$ . En el paso inicial, tenemos $1\leq U_1(x)=x\leq y=u_1(y)$ . Así que $1=f(1)\leq u_2(x)=f(u_1(x))\leq u_2(y)=f(u_2(y))$ . Por lo tanto, una prueba por inducción muestra que $1\leq u_n(x)\leq u_n(y)$ para todos $n$ En particular, tenemos $$ 1\leq u_n(x)\leq u_n(b) $$ para todos $x\in[ 1,b]$ y para todos $n$ . Convergencia uniforme en $[1,b]$ se deduce por el Teorema del Apretón.
A partir de ahora $[a,1]$ para $a\leq 1$ . Tome $a\leq x\leq 1$ es decir $u_1(a)\leq u_1(x)\leq 1$ . Aplicar f, que es decreciente allí. Esto da como resultado $1\leq U_2(x)\leq u_2(a)$ . A partir de ahora, todo se comporta como en el párrafo anterior. Así que $$ 1\leq U_n(x)\leq u_n(a) $$ para todos $x\in[a,1]$ para todos $n\geq 2$ . Por el Teorema del Apretón, tenemos una convergencia uniforme en $[a,1]$ .
El caso general $[a,b]$ se deduce fácilmente de los casos $[a,1]$ y $[1,b]$ .