Mtodo del Punto Fijo

El mtodo del punto fijo es un mtodo iterativo que permite

resolver sistemas de ecuaciones no necesariamente lineales.
En particular se puede utilizar para determinar races de una
funcin de la forma F(x), siempre y cuando se cumplan los
criterios de convergencia

El Mtodo de Punto Fijo (tambin conocido como iteracin de

punto fijo), es otro mtodo para hallar los ceros de f(x). Para
resolver f(x) = 0, se reordena en una forma equivalente:

f(x) = 0
x - g(x) = 0
x = g(x)

Observe que si c es un cero de f(x), f(c)=0 y c=g(c). (Siempre

que se tenga c=g(c) se dice que c es un punto fijo de la
funcin g). Para aproximar un cero de f se utiliza la iteracin
de punto fijo (1) xn+1 = g(xn) , n = 0, 1, 2, 3, . . .
donde x0 es una aproximacin inicial del cero de f.

A continuacin se presenta un teorema que da condiciones

suficientes para la existencia y unicidad del punto fijo de una
funcin.

Teorema 1.

Si g es continua [a,b] y g(x) [a,b] para toda x [a,b], entonces

g tiene un punto fijo en [a,b].
Y si adems g(x) existe en (a, b) y existe una constante
positiva K < 1 con |g'(x)| K, para todo x (a,b), entonces el
punto fijo en [a,b] es nico.
Demostracin Teorema 1
Si g(a)=a o si g(b)=b, entonces g tendr un punto fijo en un
extremo del intervalo [a,b].

Si se supone que g(a) a y g(b) b entonces se debe tener

que: g(a) > a y g(b) < b (por que g(x) [a,b] para todo x [a,b])

g(a) - a > 0 y g(b) - b < 0.

Si se t(x) = g(x) - x, t es continua en

define [a,b] y

t(a) = g(a) - a > 0

t(b) = g(b) - b < 0

Por el teorema del valor intermedio existe un c (a,b) tal

que t(c)=0, es decir g(c) c = 0, g(c) = c, luego ces un punto
fijo de g.

Si se supone adems que |g'(x)| K <1 y que c1 y c2 son dos

puntos fijos de g en [a,b] con c1 c2, por el teorema del valor
medio, existe un nmero z entre c1 y c2 tal

que o |g(c2) g(c1)| = |g(z)| |c2 - c1|.

Como c1 y c2 son puntos fijos de g, g(c2) = c2 y g(c1) = c1,

entonces
|c2 - c1| = |g(c2) - g(c1)| = |g(c2)| |c2 - c1| k|c2 - c1| < 1|c2 - c1|
(por que |g(x)| k <1)

Luego, |c2 - c1|<|c2 - c1|, lo cual es una contradiccin, por lo

tanto el punto fijo de g en [a,b] es nico.

Teorema 2
Sea g una funcin continua en [a,b] tal que g(x) [a,b] para
toda x en [a,b]. Adems suponga que existe g' en (a,b) y una
constante positiva K<1 tal que |g'(x)| K, para toda x
(a,b), entonces para cualquier nmero x0 en (a,b), la sucesin
definida por xn+1=g(xn), converge al nico punto fijo x en [a,b].

Demostracin Teorema 2
El teorema 1 implica que existe un punto fijo unico en [a, b],
ahora si se aplica esta
desigualdad inductivamente se obtiene:

|xn - x| = |g(xn-1) - g(x)|

(Por el teorema del valor

= |g'(z)||g(xn-1) - g(x)|
medio)

(porque |g'(x)| K, x
|xn - x| K|xn-1 - x|
(a,b) )

|xn - x| K|xn-1 - x| K2|xn-2 - x|

... Kn|x0 - x|

|xn - x| Kn|x0 - x|
 (porque si )

Luego {xn} converge a x

Corolario.
Si g satisface las hiptesis del teorema 2, una cota para el
error al aproximar el punto fijo x de g por xn es:

Demostracin Corolario
Por el teorema anterior |xn - x| Kn|x0 - x|,
Como x [a, b]

|x0 - x| max
{x0 - a, b - x0}

Luego, |xn - x| Knmax {x0 - a, b - x0}