CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA

REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

1

MTODO DE ITERACIN PUNTO FIJO

Como se pudo ver anteriormente un mtodo de iteracin consiste en crear una sucesin convergente
a la solucin de un problema

Definicin 2:
Una funcin : f se dice contractiva si verifica que


1 2 1 2 1 2
( ) ( ) , f x f x x x x x < e

Si la funcin es derivable basta comprobar que '( ) 1 f x q s < cualquiera que sea el valor de xe
para poder garantizar que se trata de una funcin contractiva.

Si se desea resolver la ecuacin ( ) 0 f x = , se escribe sta en la forma ( ) x g x = , donde ( ) g x es una
funcin contractiva, y partiendo de un valor inicial
0
x , se construye la sucesin
1
( )
n n
x g x
+
= . La
convergencia de esta sucesin el siguiente teorema.

Teorema 2. (Teorema del punto fijo)
Dada la ecuacin ( ) x g x = en la que '( ) 1 g x q s < cualquiera que sea | | ; x a b e y un punto
| |
0
; x a b e , la sucesin
0 1 2
, , , , ,
n
x x x x en la que ( )
1 n n
x g x
+
= converge a un valor o que es
la nica solucin de la ecuacin en dicho intervalo.

Demostracin:
Dado que
1
( )
n n
x g x
+
= y
1
( )
n n
x g x

= entonces
1 1
( ) ( )
n n n n
x x g x g x
+
= , pero aplicando el
Teorema del Valor Medio se tiene que:

| |
1
1
1
( ) ( )
'( ) ; ;
n n
n n
n n
g x g x
g c c x x
x x

= e

Entonces
( ) ( )
1 1
'
n n n n
x x x x g c
+
=
Luego

1 1 n n n n
x x q x x
+
s
Si 1 n = entonces
2 1 1 0
x x q x x s
Si 2 n = entonces
( )
2
3 2 2 1 1 0 1 0
x x q x x q q x x q x x s s =
Si 3 n = entonces
3
4 3 1 0
x x q x x s
.
Si n k = entonces
1 1
k
k k k k
x x q x x
+
s
Formemos la suma parcial de las longitudes de los k primeros intervalos es decir:
( ) ( ) ( )
0 1 0 2 1 1 k k
x x x x x x x
+
+ + + +
La suma parcial
1 k k
S x
+
= y la serie es absolutamente convergente por estar acotados sus trminos,
en valor absoluto, por los trminos de una serie geomtrica de razn 1 q < .
Un planteamiento grfico diferente es el de separar la ecuacin ( ) x g x = en dos partes, como
1
y x =
(recta a 45) y
2
( ) y g x = , stas se pueden graficar por separado. Los valores de x correspondientes a
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

2

las intersecciones de estas funciones representan las races de ( ) 0 f x = . En la figura siguiente se

muestra la convergencia (a) y (b) ya que verifican el teorema de la convergencia y la divergencia (c)
y (d) en el mtodo de Aproximaciones sucesivas.

























COTA DEL ERROR A POSTERIORI

Si ( ) f x es una funcin continua en el intervalo cerrado | | ; a b y derivable en el intervalo abierto
( ) ; a b , sabemos por el Teorema del Valor Medio que existe un punto ( ) ; c a b e tal que:


( ) ( )
'( )
f b f a
f c
b a

Sea o una solucin de la ecuacin ( ) 0 f x = y sea
n
x una aproximacin de ella obtenida por un
mtodo de iteracin cualquiera. Supongamos ( ) f x continua en el intervalo cerrado | | ;
n
x o
| | ;
n
x o (dependiendo que o sea mayor o menor que
n
x ) y derivable en el intervalo abierto ( ) ;
n
x o
( ) ;
n
x o . Existe entonces un punto ( ) ;
n
c x o e ( ) ;
n
c x o e tal que

( ) ( )
'( )
n
n
f f x
f c
x
o
o

=

Como ( ) 0 f o = y ( )
n n
x o c = , entonces nos queda que
( )
'( )
n
n
f x
f c
c = , obtenindose que
2
( ) y g x =
2
( ) y g x =
1
y x =
1
y x =
2
( ) y g x =
2
( ) y g x =
1
y x =
1
y x =
2
( ) y g x =
2
( ) y g x =
1
y x =
1
y x =
o
o
0
x
0
x
1
x 1
x
2
x x
x X
X
Y
Y
2
( ) y g x =
2
( ) y g x =
1
y x =
1
y x =
o
o
0
x
0
x
1
x 1
x
2
x x
x X
X
Y
Y
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

3

( )
( )
( ) ; ;
;
( ) ( ) ( )
'( ) min '( ) min '( )
n
n
n n n
n
x a b x
x
x
f x f x f x
f c f x f x
o
o
c
e
e

= s s con
( )
( )
( )
;
;
;
n
n
x
a b
x
o
o

e
`

)

Lo nico que debemos exigir que la derivada de la funcin no se anule en ningn punto del intervalo
( ) ; a b
Ejemplo 5:
Determine el la raz real de la ecuacin
2
3 0 x =
Solucin:
Como la ecuacin es
2
3 0 x = , entonces
2
3 x = , sumando x obtenemos la siguiente igualdad
( )
2
3
3 1 3 ( )
1
x
x x x x x x x x g x
x
+
+ = + + = + = =
+

Ahora analizaremos si ( ) g x es una funcin contractiva.
Primero calculemos la derivada de ( ) g x

( )
2
3 2
( ) '( )
1
1
x
g x g x
x
x
+
= =
+
+

Calculamos el valor absoluto de '( ) g x , se tiene

( ) ( ) ( )
2 2 2
2 2 2 1
'( ) 1
2
1 1 1 1
g x
x x
= = s = <
+ + +

Por tanto ( ) g x es una funcin contractiva, es decir, podemos garantizar que a partir de
0
1 x = , el
mtodo converger a la raz cuadrada de 3.
Las iteraciones se muestran en la siguiente tabla


El error vendr dado por
| | 1; 2
( )
min '( )
n
n
x
f x
f x
c
e
< donde
2
( ) 3 f x x = , si 26 n = entonces

| |
2
26
15 15
26
1; 2
3
1,73205080756888 3
4,88498 10 5 10
min 2 2
x
x
x
c

e

< = = <
Por tanto 14 = , luego el valor de 1,73205080756888 o = y este valor corresponde al valor exacto
de la 3.
0 1 14 1,73205079844084
1 2 15 1,73205081001473
2 1,66666666666667 16 1,73205080691351
3 1,75000000000000 17 1,73205080774448
4 1,72727272727273 18 1,73205080752182
5 1,73333333333333 19 1,73205080758149
6 1,73170731707317 20 1,73205080756550
7 1,73214285714286 21 1,73205080756978
8 1,73202614379085 22 1,73205080756863
9 1,73205741626794 23 1,73205080756894
10 1,73204903677758 24 1,73205080756886
11 1,73205128205128 25 1,73205080756888
12 1,73205068043172 26 1,73205080756888
13 1,73205084163518
n
n
x
n
n
x
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

4

Observacin:
Si en problema anterior quisiramos calcular la raz aplicando el mtodo de biseccin con una
exactitud de 14 cifras decimales, tendramos que calcular el nmero de iteraciones, es decir,

15
1
log log
15 log5 5 10
1 1 1 46,5069
log2 log2 log2
b a
E
n n

| | | |
| |

\ . \ .
> > = =
Por tanto deberamos realizar 47 iteraciones

Ejemplo 6:
Dada la ecuacin 1 0
x
xe = , se pide:
a) El nmero de races reales en forma grfica y justifique algebraicamente los intervalos de
nmeros consecutivos enteros que contienen estas races.
b) Calcular el nmero de iteraciones que se deben realizar para obtener 2 cifras decimales
exactas cuando se realiza una aproximacin por el mtodo de Biseccin.
c) Realice una tabla de iteraciones para la parte b)
d) Determinar una funcin de manera que a partir de un punto
0
x , asegure la convergencia
para el Mtodo de Punto Fijo.
e) Realizar una tabla de iteraciones para la parte d) de manera tal que se obtenga una
aproximacin con dos cifras decimales exactos.
Solucin:
a) El nmero de races reales en forma grfica y justifique algebraicamente los intervalos de
nmeros consecutivos enteros que contienen estas races.

Sea ( ) 1 ( ) 0
x
f x xe f x = = , entonces podemos determinar dos funciones continuas
tales que ( ) ( ) ( ) 0 f x g x h x = = , como
1
1 0
x x
xe e
x
= = , por tanto ( )
x
g x e = y
1
( ) h x
x
= (en este caso tambin podemos proponer las siguientes funciones
1
( ) ; ( )
x
x
g x x h x e
e

= = = ), las grficas de estas funcin se muestran a continuacin.

En ambos casos podemos observar que existe una sola raz real la que pertenece al intervalo
| | 0;1 , aplicando el Teorema 1 podemos justificar esta afirmacin.
( ) g x x =
1
( )
x
x
h x e
e

= =
0
o
( ) g x x =
1
( )
x
x
h x e
e

= =
0
o
( )
x
g x e =
1
( ) h x
x
=
0
o
( )
x
g x e =
1
( ) h x
x
=
0
o
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

5

( ) ( ) 0 1
(0) (0) 1 1 0 ; (1) (1) 1 1,7182 0 f e f e = = < = = >
Entonces | |
0
(0) (1) 0 0;1 f f o < e

b) Calcular el nmero de iteraciones que se deben realizar para obtener 2 cifras decimales
exactas cuando se realiza una aproximacin por el mtodo de Biseccin.


( ) ( ) 1 2 1 3
5 10 5 10 5 10 E
+ +
= = =

El nmero de iteraciones es dado por:


log
3 log5
1 1 6,64385 7
log2 log2
b a
E
n n
| |
|

\ .
> > =

Para obtener 2 cifras decimales exactos se deben realizar 7 iteraciones.

c) Realice una tabla de iteraciones para la parte b)

Sea ( ) 1 ;
2
x
a b
f x xe m
+
= =
i) Si ( )
0
0
2
a b
f m f m o
+ | |
= = =
|
\ .



ii) Si ( )
| |
| |
0
0
( ) ( ) 0 ;
0
2 ( ) ( ) 0 ;
n n n n
n n n n
si f a f m a m
a b
f m f
si f a f m m b
o
o
< e
+ | |
= =

|
> e \ .

Por tanto la tabla de iteraciones nos queda as:







criteriodeparada
2 0 1 7 0,005
Situacin
0 0,000000000000 1,000000000000 0,500000000000 1,000000000000 0,175639364650 + 0,250000000000 CONTINUAR
1 0,500000000000 1,000000000000 0,750000000000 0,175639364650 0,587750012460 0,125000000000 CONTINUAR
2 0,500000000000 0,750000000000 0,625000000000 0,175639364650 0,167653723395 0,062500000000 CONTINUAR
3 0,500000000000 0,625000000000 0,562500000000 0,175639364650 0,012781755460 + 0,031250000000 CONTINUAR
4 0,562500000000 0,625000000000 0,593750000000 0,012781755460 0,075142355321 0,015625000000 CONTINUAR
5 0,562500000000 0,593750000000 0,578125000000 0,012781755460 0,030619243927 0,007812500000 CONTINUAR
6 0,562500000000 0,578125000000 0,570312500000 0,012781755460 0,008779997268 0,003906250000 PARAR
7 0,562500000000 0,570312500000 0,566406250000 0,012781755460 0,002035377862 + 0,566406250000 CONTINUAR
INGRESARFUNCIN
b
a n
n
n
a
n
b
n n
m x = ( )
n
f a ( )
n
f m
( ) ( )
n n
f a f m
1 n n
x x
+

BORRAR CALCULAR
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

6

d) Determinar una funcin de manera que a partir de un punto

0
x , asegure la convergencia para el
Mtodo de Punto Fijo.

De la parte a) tenemos que ( ) 1 ( ) 0
x
f x xe f x = = , luego podemos determinar la
siguiente funcin
x
x e

= que a travs del Teorema del punto fijo analizaremos si la funcin

( )
x
g x e

= es contractiva.

















Dado que ( ) '( )
x x
g x e g x e

= = entonces
1
'( )
x x
x
g x e e
e

= = = , sea ( ) '( )
x
K x g x e

= =
Entonces debemos analizar el comportamiento de la funcin ( ) K x en el intervalo ( ) 0;1 , es decir,
debemos determinar si la funcin es creciente o decreciente en este intervalo:
i) Se calcular la derivada de ( ) K x
( ) ( ) '( ) '( ) 0, 0;1
x x
K x g x e K x e x

= = = < e

Por tanto la funcin ( ) K x es montona estrictamente decreciente en este intervalo

ii) Calculemos el mximo y mnimo de la funcin ( ) K x
a) Mximo:

( )
0 0 1 0 1
1
max ( ) max '( ) lim 1
x
x x x
K x g x e
e

< < < <

= = = =
b) Mnimo:

( )
0 1 0 1 1
1
min ( ) min '( ) lim 0,3678794412
x
x x x
K x g x e
e

< < < <

= = = =
Nota: Se ha calculado el lmite dado que estamos trabajando en un intervalo abierto y adems
si 0 ( ) 1 x K x y si
1
1 ( ) x K x
e

Por tanto ( ) '( ) 1 K x g x q = < < , luego es una funcin contractiva en este intervalo.



( ) g x x =
1
( )
x
x
h x e
e

= =
0
o
( ) g x x =
1
( )
x
x
h x e
e

= =
0
o
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

7

La tabla siguiente muestra el comportamiento de esta funcin

Luego podemos concluir que a partir de
0
0,1 x = se garantiza la convergencia.

e) Realizar una tabla de iteraciones para la parte d) de manera tal que se obtenga una aproximacin
con dos cifras decimales exactos.



Como se puede observar el Mtodo del punto fijo es menos laborioso que el Mtodo de Biseccin,
tambin podemos agregar que por lo general disminuye el nmero de iteraciones, recordemos que
para calcular la 3 con el mtodo de biseccin es necesario realizar 46 iteraciones (con 14 cifras
decimales exactos) y con el mtodo del punto fijo slo se necesitaron 26.
0,1 0,904837418 <1
0,2 0,818730753 <1
0,4 0,670320046 <1
0,6 0,548811636 <1
0,8 0,449328964 <1
1,0 0,367879441 <1
x
'( ) g x '( ) 1 g x q s <
0 0,1 0,804837418
1 0,904837418 0,500229756
2 0,404607662 0,262630881
3 0,667238543 0,154114951
4 0,513123592 0,08549921
5 0,598622802 0,049054823
6 0,549567979 0,02763114
7 0,577199119 0,015730345
8 0,561468774 0,008901929
9 0,570370703 0,005054867
10 0,565315836 0,002864831
11 0,568180667
1
( )
x
n n
x g x e

+
= =
n
x
1 n n
x x
+