Está en la página 1de 22

2.4 Tcnica del punto fijo.

Esta tcnica del punto fijo, aunque la vamos a estudiar en el contexto del clculo
de las races de funciones, se utiliza en otros mbitos que impliquen procesos
iterativos como veremos en la resolucin de sistemas de ecuaciones lineales por
mtodos iterativos.
El mtodo de Newton para el clculo de races reales, visto en el apartado
anterior, nos va a servir de ejemplo para estudiar la iteracin de punto fijo.
En el mtodo de Newton , a partir de la ecuacin, f(x) = 0 , construimos la
funcin:

con la que generamos una sucesin,

= g(

) mediante un proceso iterativo.

Si la sucesin: ,
, ... as generada converge a algn punto "a" y la
funcin g(x) es continua, entonces:

a=

= g(

) = g(a)

o sea, que a = g(a). Al punto "a" le llamaremos punto fijo de la funcin


g(x).
Claramente, si "a" es un punto fijo de la funcin de iteracin de Newton
g(x), entonces "a" es una solucin de la ecuacin f(x) = 0.

a = g(a) = a -

a-a=0="a" es raz de f(x)

f(a) = 0

Definicin de punto fijo.Dada una funcin g(x), se dice que "a" es un punto fijo de g(x) si se verifica
que a=g(a).
Ejemplo 2.1
En la figura 2.7 se muestran las funciones g(x) = x3 - 2x2 + 2 y h(x) = x.
Para hallar los puntos fijos de g(x) nos fijaremos en la definicin de punto fijo,
que dice que "a" es un punto fijo de g(x) si se cumple que g(a)=a, por lo que los
puntos fijos estarn situados sobre la bisectriz del primer y tercer cuadrante, es
decir, sobre la recta h(x) = x (Conte). En este caso estos puntos son x = -1, x = 1
y x =2.

FIGURA 2.7: Clculo grfico de los puntos fijos de una funcin.

Dado un punto inicial

, y elegida una funcin g(x), se construye un mtodo

iterativo a partir de la expresin:


El objetivo consiste en que

a=

= g(

) con n 0.

= a, pues si g(x) es continua se verificar:

g(

) = g(a)

y "a" ser un punto fijo de g(x).


Algoritmo 2.6: Algoritmo del punto fijo.
Elegir la funcin g(x), el punto de partida x0, la tasa de error y el nmero mximo
de iteraciones I.
Hacer K = 1 (contador de iteraciones).
Hacer x1 = g(x0).
Mientras ( | x1 - x0 | > error y K < I ) hacer

x0 = x1
x1 = g(x0)
K=K+1
Fin_Mientras
Si K I entonces "no converge"
si no entonces solucin = x1.

Es posible escoger varias funciones de iteracin g(x), en concreto todas las g(x)
obtenidas despejando x de f(x). Otra funcin que se puede utilizar es g(x) = x
+ f(x), para cualquier valor de . Todas estas funciones tienen la propiedad de
que un punto fijo de g(x) es una raz de f(x). Para cada una de estas elecciones, se
puede entonces calcular la sucesin
,

, ... con

= g(

) n = 0, 1, 2 ..., con la esperanza de que converja.

La dificultad aparece ahora en la forma de elegir la funcin g(x). Vemoslo con


un ejemplo.
Ejemplo 2.2
Sea la funcin f(x) = x2- x - 2. La eleccin de g(x) se puede hacer de muchas
formas. Algunas de ellas, obtenidas despejando x de f(x) de distintas formas, por
ejemplo:
g(x) = x2 - 2.

g(x) = +

Veamos grficamente qu ocurre con este proceso iterativo con cada una de las
funciones g(x) del ejemplo anterior tomando como puntos iniciales:
=1y

= 2.1

a) g(x) = x2 - 2.

FIGURA 2.8: Grfica de aplicacin del algoritmo del punto fijo.

Mediante la figura 2.8 se observa que el proceso converge inmediatamente hacia


el punto fijo -1, cuando empezamos por

=1.

Sin embargo, si calculamos algunos trminos de la sucesin empezando por


2.1 veremos que diverge:

...

= 2.1

= 2.41

= 3.81

= 12.50

= 154.29

... diverge

Si nos fijamos en la representacin grfica de esta hiprbola (fig 2.9) veremos


que en este caso no podemos partir del punto 1 pues esta funcin no est definida
en ese punto.
FIGURA 2.9: Grfica de aplicacin del algoritmo del punto fijo.

2.1

1.818

2.444

1.385

5.200

0.476

-3.818

-0.415

-1.413

-1

Al comenzar en el punto 2.1 la sucesin engendrada converge a -1. Ntese que el


punto de partida
= 2.1 estaba ms cercano al punto fijo 2, y sin embargo el
proceso ha convergido al punto -1.

c) g(x) = +
La representacin grfica de esta funcin viene dada en la figura 2.10.

FIGURA 2.10: Grfica de aplicacin del algoritmo del punto fijo.

Fijmonos que las sucesiones del punto fijo que tienen como funcin de iteracin
esta funcin y como puntos iniciales
fijo 2.

=1 y

=2.1 convergen hacia el punto

=1

=1.732

=1.932

=1.983

=1.996

=2.1

=2.025

=2.006

=2.002

=2.0004

Ejercicio: Analizar grficamente el comportamiento del mtodo del punto fijo


para la funcin: g(x) = -

La representacin grfica de esta funcin viene dada en la figura 2.11.

FIGURA 2.11: Grfica de aplicacin del algoritmo del punto fijo.

=1

=3

=1.667

=2.200

=1.909

=2.1

=1.952

=2.024

=1.988

=2.006

En este caso la sucesin tambin converge en ambos casos.

FIGURA 2.12: Aplicacin del algoritmo del punto fijo.

2.1

2.255

2.670

3.899

8.553

39.850

Pto. fijo

diverge

En este caso como vemos en la figura 2.12 si empezamos desde


= 1 converge
al punto fijo -1. Empezando desde 2.1 diverge, como podemos comprobar con los
valores de la tabla.
A qu es debido el hecho de que segn sean g(x), y el punto de partida
mtodo converja o no?.

, el

Para responder a esta pregunta necesitamos un teorema previo de existencia y


unicidad del punto fijo.
TODO DE PUNTO FIJO
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.
Ejemplo.

f(x) = x2 - 2x - 3 = 0, tiene dos ceros. x = 3 y x = -1

Supngase que se reordena para lograr la forma equivalente:

Si se comienza con x0 = 4 y se itera con la iteracin de punto fijo (1), los valores sucesivos de x son:

parece que los valores convergen a x = 3.


Otro reordenamiento de f(x) = 0 es :

Si nuevamente se comienza con x0 = 4, los valores sucesivos de x son:

parece que ahora x converge al otro cero de f, x = -1.


Considrese un tercer reordenamiento

Comenzando de nuevo con x0 = 4 se obtiene:

x0 = 4
x1 = 6.5
x2 = 19.625
x3 = 191.070
resulta evidente que las iteraciones son divergentes.
La diferencia en el comportamiento de los tres reordenamientos se puede apreciar considerando las grficas
en los tres casos. El punto fijo de x = g(x) es la interseccin de la recta y = x, y la curva y = g(x). En la figura
5.5 se presentan los tres casos. Se comienza en el eje x con x0, se efecta un desplazamiento vertical hacia la
curva, luego uno horizontal hacia la recta y = x, luego uno vertical hacia la curva y nuevamente una horizontal
hacia la recta. Este proceso se repite hasta que los puntos en la curva convergen a un punto fijo o bien
divergen. Parece que los diferentes comportamientos dependen de que la pendiente de la curva sea mayor,
menor o de signo opuesto a la pendiente de la recta (que es igual a 1)
Cuando se tiene la ecuacin f(x) = 0, existen muchas formas de reordenarla en la forma x = g(x), por ejemplo
para la ecuacin anterior x2-2x-3 = 0 otras alternativas son:

**

Una pregunta que surge en este momento es cul de las funciones g sirve para aproximar el punto fijo de g?
(o en forma equivalente el 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.
Vase la figura 5.6
(Demostracion)
Ejemplo.

La funcin g(x)=(x2-3)/2 en el intervalo [2,4] tiene un punto fijo nico. c=3 es un punto fijo

de g porque
Observe que g'(x)=x y en el intervalo [2,4] g'(x)>0. g es creciente y g(x) [1/2 ,6.5], adems |g'(x)|

1. (ya

que g'(x)=x y x (2,4)).


Esto demuestra que las hiptesis del teorema 1 son suficientes para garantizar un punto fijo nico, pero no
son necesarias.
El siguiente resultado da algunas pistas sobre los procedimientos que se deben seguir y algunos que se
deben excluir para escoger funciones que produzcan sucesiones que converjan a un punto fijo.

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].
(Demostracion)

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:

(Demostracion)
Ejercicio 1.

Aplique el teorema 2 para demostrar que


tiene un punto fijo nico en [2,4]. Use el corolario
para estimar la cantidad de iteraciones necesarias para lograr una exactitud de 10-2 y despus compare esta
estimacin terica con la cantidad que realmente se requiere, use x0=3.5.
Solucin:

(Nota)
Luego, g(x)

[g(2),g(4)] = [2.65, 3.32]

Por lo tanto g(x)

Adems
Como |g'(x)|

[a,b] = [2,4]

, porque g'(x) es decreciente y x (2,4)


K = 0.378 < 1 el punto fijo de g es nico en [2, 4].

Para determinar aproximadamente el nmero de iteraciones necesarias para lograr una exactitud de 10-2 se
usa el corolario ,

a=2
|xn - x|

(0.378)n mx {1.5, 0.5}

|xn - x|

(0.378)n(1.5)

b=4

x0 = 3.5

k = 0.378

Como el error debe ser menor que 10-2 entonces


(0.378)n(1.5) < 10-2
n > 5.15042...
Por lo tanto se necesitan unas seis iteraciones para lograr una aproximacin exacta dentro de 10-2.
Este ejercicio ya se resolvi al comienzo de esta seccin y se obtuvo x5=3.00381.
Observe que el error real es | x5 - x| = |3.00.81 - 3| = 0.00381 < 10-2 = 0.01.
Cabe sealar que el corolario no da ms que una cota del nmero de iteraciones necesarias. En la mayora
de casos se requiere un nmero menor de iteraciones

GRFICA DE LA FUNCIN

EJEMPLO 2
Encontrar una buena aproximacin a la raz de la siguiente funcin por el mtodo del Punto Fijo:

Como puede verse, se trata de la misma funcin que la del ejemplo 1, pero esta vez la funcin ha sido
despejada de una forma diferente, por lo cual se encontrar otra raz (dado que la funcin tiene dos races,
como se puede apreciar en la grfica. Utilizando el mismo procedimiento del ejemplo 1, los resultados
en Excel quedarn de esta manera:

GRFICA DE LA FUNCIN

EJEMPLO 3
Encontrar una buena aproximacin a la raz de la siguiente funcin por el mtodo del Punto Fijo:

Los resultados en Excel quedan de esta manera:

GRFICA DE LA FUNCIN

EJEMPLO 4

Utilizar el mtodo del Punto Fijo para f(x)=sin(sqrt(x))-x, siendo g(x)=sin(sqr(x)) con Xo=0.5 y h=10^(4).
Para este ejercicio, "h=10^(4)" es la tolerancia o el error. Ntese que al hacer las frmulas en Excel se debe
usar SENO( ) para sin( ) y RAIZ( ) para sqrt( ). Esto si se usa una versin en espaol de Microsoft Office. Los
resultados en la hoja de clculo son los siguientes:

GRFICA DE LA FUNCIN f(x)=sin(sqrt(x))-x

http://es.slideshare.net/rjvillon/5metodo-del-punto-fijo