4 votos

Puntos fijos y series infinitas

Considere la fórmula $1 + \frac{y}2$ . Tiene un punto fijo en $y = 2$ . Y si utilizamos la ecuación $y = 1 + \frac{y}2$ para sustituir a $y$ en nuestra fórmula, obtenemos $1 + \frac{1 + \frac{y}2}2$ o $1 + \frac12 + \frac{y}4$ . Si seguimos repitiendo obtenemos $1+\frac12 + \frac14 + \dots$ que es igual a nuestro punto fijo $2$ .

Pero consideremos ahora la fórmula $1+2y$ . Tiene un punto fijo en $y=-1$ . En este caso, si utilizamos la ecuación $y = 1+2y$ para sustituir a $y$ en nuestra fórmula, obtenemos $1+2(1+2y)$ o $1+2+4y$ . Si seguimos repitiendo obtenemos $1+2+4+\dots$ que no es igual a nuestro punto fijo $-1$ .

¿Puede alguien explicar de forma sencilla por qué este procedimiento funciona en el primer caso pero no en el segundo? ¿Funcionaría el procedimiento en todos los casos en que la serie generada convergiera?

1 votos

Algunas personas podrían argumentar que $1+2+4+8+\cdots=-1$ No me digas. Sólo hay que saber cómo asignar valores a una serie divergente ; tal vez esto podría hacerse utilizando el análisis complejo.

1 votos

Quizá quieras echar un vistazo al teorema del punto fijo de Banach. Explica por qué tu primera secuencia se comporta como lo hace.

2voto

John Chessant Puntos 1485

Aparte del argumento que $1+2+4+\cdots$ podría ser igual a $-1$ Para responder a tu pregunta, hay dos clases de puntos fijos.

En punto fijo atractivo es un punto fijo en el que, dentro de un cierto rango, un punto introducido en la fórmula de forma recursiva acabará convergiendo al punto fijo. Tu primer ejemplo es un punto fijo atractivo.

Un punto fijo que no es atractivo no tiene puntos que converjan al punto fijo cuando se introduce en la fórmula recursivamente. Tu segundo ejemplo es un punto fijo no atractivo.

La propiedad de los puntos fijos atractivos es que la derivada (es decir, la pendiente) de la función de la fórmula tiene una magnitud menor que $1$ en el intervalo de puntos que converge al punto fijo:

$$|f'(x)|<1$$

donde $x_{n+1}=f(x_n)$ es la fórmula recursiva.

Véase este (punto fijo) y este (iteración en punto fijo) para obtener más información y una explicación más clara.

0 votos

Gracias, tenía el concepto de punto fijo atractivo pero no conocía esta etiqueta para él. El punto fijo link da esa condición en la derivada como meramente suficiente para el atractivo, mientras que tu glosa sugiere que es tanto necesaria como suficiente. ¿Querías decir eso?

1 votos

Ahora me doy cuenta de que he reivindicado una afirmación con más fuerza que la página de Wikipedia. He dicho que la gama de valores que convergen al punto fijo tienen que tener derivada menor que $1$ mientras que la página de Wikipedia sólo exige que el punto fijo tenga una derivada menor que $1$ . Eso hace que mi condición sea "más suficiente", ¡pero no la hace necesaria! Véase este muestra que un punto inicial $x_i=1.95$ todavía puede converger al punto fijo $x_0=0$ aunque la derivada de $g(x)=\frac{1}{4}x^2+\frac{1}{2}x$ en $x_i$ es mayor que $1$ .

1 votos

(cont.) Así que para responder a su pregunta, tal y como está escrita mi respuesta no es una condición necesaria. Sin embargo, tengo curiosidad por saber si la condición de la página de Wikipedia es necesaria. No he podido encontrar nada al respecto, pero tengo la intuición de que podría serlo. Disculpa la confusión en mi respuesta.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X