Tiene algunos errores conceptuales desde el principio.
Así, a partir de lo que yo sé, si este recurence relación tiene un límite, tiene que estar acotada y monótona.
No, usted tiene que al revés. Cada secuencia que es acotada y monótona tiene un límite, pero hay secuencias que tienen límites, sin ser monótono, tales como
$$ 2, \frac{1}{2}, \frac{5}{4}, \frac{7}{8}, \frac{17}{16}, \frac{31}{32}, \frac{65}{64}, \frac{127}{128} $$
(que se genera por la recurrencia $x_{n+1}=\frac{3-x}{2}$ y tiene un límite de $1$, pero alternativamente los aumentos y disminuciones).
(La palabra es "monótono", no "monótono", por cierto).
Ahora para comprobar si es monótono, tengo que comprobar si $a_{n+1}−a_n$ es monótono.
Um, no, la comprobación de si la sucesión es monótona no es la misma que la de comprobar si la secuencia de primeras diferencias son monótonas.
En lugar de tratar de inventar una sola prueba para montonoicity, es mejor pensar en como hacer dos preguntas: ¿está aumentando? Es decreciente?
En este caso, usted debe ser capaz de demostrar que si $a_n$ entre $1$$3$, a continuación, $a_{n+1}$ es menor que $a_n$ y aún entre $1$$3$. Para este caso seguirá manteniendo para siempre, y la sucesión es decreciente (que es una de las formas en que puede ser monótono). La misma prueba se muestra es limitada.
(¿Por qué $1$$3$? Porque esos son los puntos fijos de las funciones que está repitiendo, y sé por experiencia que el comportamiento de iterado de funciones de cambio cerca de estos puntos -- efectivamente he visto informalmente que el límite es, probablemente, va a ser $1$, y ahora estoy tratando de construir una prueba de que mi corazonada es correcta, no tratando de fingir la estupidez y el enfoque con que no corazonadas).
Si se hace un gráfico de la función $y=\frac{3}{4-x}$ es posible que la única prueba que usted necesita aquí es algunos handwaving que dice "para $1<x<3$ esta gráfica está por debajo de la línea de $y=x$ y el valor de la función es siempre en $[1,3]$".
Su cálculo de los puntos fijos ahora muestra que el único límite que es coherente con la disminución y mantenerse entre los $1$$3$$1$, lo $1$ debe ser el límite.
Yo estaba empezando a comprobarlo... Lo si $a_0=1/2$? Lo que si $a_0=5$ o $a_0=2$ resulta que, no importa qué valor inicial tenemos, la secuencia va siempre al límite mismo ( al menos en este ejemplo ). Es cierto para todos los recurence relaciones?
Incluso en este ejemplo, si $a_0=3$, $a_n=3$ todos los $n$, y por lo tanto el límite es $3$. Pero de lo contrario, si $a_0\ne 4$ tal que evite la división por cero, la secuencia tiende a $1$ no importa dónde empezar. Para convencerse de esto usted necesita para probar
- Si $a_n<1$, a continuación, a partir de ese punto en la secuencia de aumento de monótonamente hacia la $1$ (pero nunca a ser mayor que $1$).
- Si $a_n>4$, a continuación, el siguiente término en la secuencia será negativo, y entonces estamos en el caso anterior.
- Si $3<a_n<4$, $a_n$ va a obtener cada vez más lejos de $3$ hasta llegar a uno que es mayor que $4$, y entonces estamos en el caso anterior.
También hay funciones para las que usted puede terminar para arriba con una secuencia que crece sin límite (como $a_{n+1}=a_n^2$ si $a_0>1$), o secuencias que se quedan delimitadas, pero no tienden a un límite -- como $a_{n+1}=4a_n(a_n-1)$ a que famoso se exhibe comportamiento caótico al $a_0\in(0,1)$.
También hay recurrencias que tienen diferentes atractivos límites, dependiendo de donde usted comience a ellos, tales como $a_{n+1}=a_n+\sin a_n$.