El método de Newton y el de Steffenson son ejemplos de procedimientos
mediante los cuales se calcula una sucesión de puntos empleando una
fórmula de recurrencia como la siguiente:
Ejemplo: En el caso del método de Newton, la expresión (37)
se escribiría del modo:
La fórmula (37) puede utilizarse para generar sucesiones que
no convergen, como por ejemplo la sucesión 1, 3, 9, 27,..., que se
obtiene con x0=1 y F(x)=3x. Sin embargo, estamos interesados en
aquellos casos para los que existe
.
Es decir, aquellos casos para los que se cumple:
Como hemos visto en el apartado anterior, con frecuencia un problema
matemático puede reducirse al problema de encontrar un punto fijo de
una función. En este caso, nos limitaremos a analizar el caso más
sencillo en que F envía en sí mismo algún conjunto cerrado
y además se trata de una aplicación
contractiva. Se dice que una transformación es
contractiva si existe un número
menor que 1 que
satisfaga la relación:
Las aplicaciones contractivas cumplen una propiedad de gran importancia, que se puede expresar del siguiente modo:
Sea F una aplicación contractiva que va de un conjunto
cerrado
a C. Entonces F tiene un punto fijo. Más
aún, este punto fijo es el límite de toda sucesión que se obtenga a
partir de la ecuación (37) con cualquier punto inicial
.
El enunciado anterior, conocido como teorema de la aplicación
contractiva se puede demostrar fácilmente. Para ello, primero
escribimos xn en la forma:
Por otra parte, usando la propiedad de las aplicaciones contractivas
expresada por (38) junto con la
ecuación (37), podemos escribir:
Para comprobar que la sucesión (39) converge, podemos
utilizar el criterio de comparación, de modo que a partir de la
expresión (41) obtenemos:
Comprobemos ahora que el punto fijo es efectivamente único. Para ello,
supongamos que existen dos puntos fijos, x e y. De acuerdo con la
relación (38), tenemos:
Ejemplo: Demuestre que la sucesión [xn] definida recursivamente
de acuerdo con:
Para comprobar que la función anterior es contractiva, calculemos la
diferencia entre dos términos cualesquiera de la sucesión anterior: