ANALISIS DE ERROR PARA METODOS ITERARIOS Y TECNICAS DE ACELERACION

En esta parte estudiaremos el orden de convergencia de los esquemas iterativos con la

idea de obtener una convergencia rpida.

DEFINICION.-Supongamos que
0
{ }
n n
x
>
una sucesin que converge a o y que
n n
e x o = para
cada 0 n > . Si existen constantes positivas y k tal que:

1 1
lim lim
n n
k k
n n
n n
x e
x e
o

o
+ +

= =

Entonces se dice que
0
{ }
n n
x
>

converge a o con orden de convergencia k y con error asinttico
.

En general una sucesin con un orden de convergencia grande converge ms rpidamente que
una sucesin con una orden ms bajo. La constante afectar a la rapidez de convergencia pero
no es tan importante como el orden.

Si 1 k = entonces la convergencia es de orden lineal y =
+

n
1 n
n
e
e
lim
Lo que implica que para n suficientemente grande se satisface:

1 n n
e e
+
~
Si 2 k = entonces la convergencia es de orden 2 o cuadrtica y se cumple que =
+

2
k
1 n
n
e
e
lim
Lo que implica que para n suficientemente grande satisface:

2
1 n n
e e
+
~

Por lo tanto la convergencia es mucho ms rpida.


Ejemplo
Pruebe que el mtodo del punto fijo tiene convergencia lineal, si 0 ) ( g = o ' .

Solucin:
Si n es cualquier entero positivo entonces
e
n+1
= x
n+1
- = g(x
n
) g() = g' (z
n
)(x
n
- ) = g' (z
n
)e
n

donde z
n
est entre x
o
y
=
+
n
1 n
e
e
g' (z
n
)..(*)
Como {x
n
}
n0
o , {z
n
}
n0
tambin converge a .
Dado que g' es continua en [a,b] tenemos que:
) ( g ) z lim ( g ) z ( g lim
n
n
n
n
o ' = ' = '


De (*)
1
lim lim ( ) ( )
n
n
n n
n
e
g z g
e
o
+

' ' = =
Por lo tanto la iteracin de punto fijo exhibe convergencia lineal si 0 ) ( g = o ' .La convergencia de
orden mayor puede ocurrir solo cuando 0 ) ( g = o ' .

Ejemplo
Probar que el mtodo de Newton, tiene convergencia cuadrtica para una raz simple.

Solucin:
El algoritmo de Newton, tiene convergencia cuadrtica para una raz simple. Esto es:
) x ( g
) x ( f
) x ( f
x x
n
n
n
n 1 n
=
'
=
+

Se tiene ) x ( g x
n 1 n
=
+
y se tiene tambin que o =
+ + 1 n 1 n
x e
Por el teorema de Taylor alrededor de se tiene:
2
n
n
n n
) x (
! 2
) z ( g
) x ( ) ( g ) ( g ) x ( g o
' '
+ o - o ' + o = (*)
donde Z
n
esta entre y x
n

Si es una raz de f(x), es decir entonces de
2
)) x ( f (
) x ( f ) x ( f
) x ( g
'
' ' -
= ' se tiene '( ) 0 g o =
Entonces de (*)
2
n
n
n
) x (
! 2
) z ( g
) ( g ) x ( g o
' '
+ o =
! 2
) z ( g
e
e
! 2
) z ( g
) x (
) ( g ) x ( g
n
2
n
1 n n
n
n
' '
=
' '
=
o
o

+

Por lo tanto
0
! 2
) z ( g
lim
e
e
lim
n
n
n
1 n
n
= =
' '
=

+



La convergencia del mtodo Newton es cuadrtica.


CONVERGENCIA ACELERADA METODO
2
A DE AITKEN
Para acelerar la convergencia de cualquier sucesin que converja linealmente independientemente
de su origen usaremos el mtodo
2
A de Aitken.
Sea {x
n
}
n0
una sucesin que converge linealmente a ;entonces o =
n n
x e es una sucesin
que converge a cero, entonces
=
c
c
+

n
1 n
n
lim ( > 0)
Sea el (n+2)-simo error que se comete con el trmino x
n+2
:
o + c = o = c
+ + + + 2 n 2 n 2 n 2 n
x x
Supongamos que n y que los errores
n
c tienen el mismo signo, entonces se tiene:

n 1 n
c ~ c
+
y
1 n 2 n + +
c ~ c
pero entonces
o + c ~
+ + 1 n 2 n
x
o + o ~
+ +
) x ( x
1 n 2 n
. (1)
Lo que nos proporciona una relacin entre y ; en forma similar para (n+1), se obtiene:
o + o ~
+
) x ( x
n 1 n
.(2)
y eliminando en las ecuaciones de (1) y (2), para despejar , se tiene

2
2 1 2 1
1 2 1
2
n n n n n
n n n n n
x x x x x
x x x x x
o o
o
o o
+ + + +
+ + +

~ ~
+

Luego

2
1
2 1
( )
2
n n
n
n
n n n
x x
x x
x x x
o
A
+
+ +

~ =
+

La sucesin
0
{ } n
n
x
A
>
corresponde al mtodo
2
A de Aitken y esta basada en la suposicin de que
converge ms rpidamente a en el sentido de que 0
x
x
lim
n
n
=
o
o
A


Ejemplo
Sea la ecuacin:
f (x) = x - 2
-x
Halle la raz de f(x) en [0,1] .Utilizando el mtodo del punto fijo y el mtodo
2
A Aitken.

Solucin
Utilizando el mtodo del punto fijo.
f(x) = x - 2
-x
= 0

2 ( ) 2
x x
x g x

= =

i) )
2
1
ln( )
2
1
( ) x ( g
x
= '
K 6931 . 0 )
2
1
ln( = = s ] 1 , 0 [ x e
ii) g(x) = 2
-x
es continua ] 1 , 0 [ x e , por ser una funcin experimental.
iii) g(x) ] 1 , 0 [ e ?
Como g es una funcin decreciente entonces g ([0,1]) = [1/2,1] C [0,1]
Entonces por el teorema del punto fijo, el algoritmo del punto fijo
n
x
1 n
2 x

+
= converge a un nico
punto fijo.
El algoritmo del mtodo de
2
A Aitken es:

2
2
( )
n
n
n
n
x
x x
x
A
A
=
A
0 n >

2
1
2 1
( )
2
n n
n
n
n n n
x x
x x
x x x
A
+
+ +

=
+


n
x
1 n
2 x

+
=
Nota:

2
x
n
= (x
n
) = (x
n+1
- x
n
) = x
n+1
x
n
= x
n+2
- x
n+1
- x
n+1
+ x
n
=x
n+2
2x
n+1
+ x
n


n x
n

n x
A

0 0.5 0.6421876657
1 0.7071067812 0.641386131
2 0.6125473265


6 0.6400610212 0.6411858045


16 0.6411854062

Notemos que se mejora la convergencia con el mtodo de
2
Aitken.