Está en la página 1de 8

XXI Congreso de Ecuaciones Diferenciales y Aplicaciones

tica Aplicada
XI Congreso de Matema
Ciudad Real, 21-25 septiembre 2009
(pp. 18)

Variantes del m
etodo de Jarrat para sistemas no lineales
L. Hueso1 ,
Juan R. Torregrosa1 , Alica Cordero1 , Jose
Eulalia Martnez2
1

Instituto de Matem
atica Multidisciplinar,
Instituto de Matem
atica Pura y Aplicada,
Universidad Politecnica de Valencia. 46022 Valencia.
E-mails: jrtorre@mat.upv.es, acordero@mat.upv.es, jlhueso@mat.upv.es, eumartin@mat.upv.es
2

Palabras clave:

Metodo de Newton, orden de convergencia, ndice de eficiencia.

Resumen
Una particular combinacion de los metodos de Newton y Jarrat nos permite obtener
una familia de metodos iterativos para resolver sistemas de ecuaciones no lineales. En
estos metodos se alcanza una optima relacion entre el orden de convergencia y el
n
umero de evaluaciones funcionales. Terminamos el trabajo con la presentacion de
algunos resultados numericos que confirman los resultados teoricos obtenidos.

1.

Introducci
on.

Consideremos el problema de encontrar un cero de la funcion F : D Rn Rn , es


decir, una solucion x
D del sistema no lineal F (x) = 0, de n ecuaciones y n incognitas.
Esta solucion puede ser obtenida como un punto fijo de alguna funcion G : Rn Rn
mediante el metodo iterativo de punto fijo
x(k+1) = G(x(k) ), k = 0, 1, . . . ,
donde x(0) es la aproximacion inicial. El metodo mas conocido de este tipo es el metodo
de Newton, dado por
x(k+1) = x(k) JF (x(k) )1 F (x(k) ), k = 0, 1, . . . ,
donde JF (x(k) ) es la matriz jacobiana de la funcion F evaluada en la k-esima iteracion
x(k) .
Una tecnica conocida para obtener metodos con altos ordenes de convergencia es la
composicion de dos metodos iterativos de ordenes p1 y p2 , obteniendo un metodo de orden
1

Juan R. Torregrosa, Alicia Cordero, Jose L. Hueso, Eulalia Martnez


p1 p2 (ver [3]). En general, son necesarias nuevas evaluaciones de la matriz jacobiana y de
la funcion F para aumentar el orden de convergencia.
Para comparar diferentes metodos es interesante, ademas del orden de convergencia,
el ndice de eficiencia I = p1/d (ver [2]), donde p es el orden de convergencia y d el n
umero
total de nuevas evaluaciones funcionales (por iteracion) necesarias para el metodo.
Puesto que los metodos presentados en este trabajo pueden considerarse como metodos
iterativos de punto fijo, estudiamos su convergencia utilizando el siguiente resultado.
Teorema 1.1 ([3]) Sea G(x) una funci
on de punto fijo con derivadas parciales de orden p,
con respecto a todas las componentes de x, continuas. El metodo iterativo x(k+1) = G(x(k) )
es de orden p si
G(
x) = x
;
k gi (
x)
= 0, para todo 1 k p 1, 1 i, j1 , . . . , jk n;
xj1 xj2 . . . xjk
y
p gi (
x)
6= 0, para al menos un valor de
xj1 xj2 . . . xjp

i, j1 , . . . , jp ,

donde gi son las funciones coordenadas de G.


En la Seccion 2 componemos el metodo de Jarrat, de orden 4, con el metodo de Newton de orden 2, obteniendo un nuevo metodo de orden 8. Para conseguir un metodo mas
eficiente, estimamos la u
ltima matriz jacobiana que aparece en cada paso del proceso iterativo en terminos de otras ya calculadas, obteniendo as una familia de metodos iterativos
dependiente de dos parametros.
En la Seccion 3 demostramos que, en general, los metodos obtenidos tienen orden de
convergencia 5 y para determinados valores de los parametros podemos alcanzar orden 6.
La u
ltima seccion esta dedicada a los resultados numericos obtenidos al aplicar el metodo
de Newton y algunas de las variantes descritas a la resolucion de determinados sistemas no
lineales. A partir de estos resultados comparamos los diferentes metodos y confirmamos
los resultados teoricos obtenidos.

2.

Descripci
on de los m
etodos

Sea F : D Rn Rn , una funcion suficientemente diferenciable y x


D una
solucion del sistema no lineal F (x) = 0.
Para n = 1 Jarrat establecio en [1] el metodo que lleva su nombre, cuyo orden de
convergencia es 4 y cuya expresion iterativa viene dada por
zk
yk

2 F (xk )
3 F 0 (xk )

1 F (xk ) 3F 0 (zk ) + F 0 (xk )


= xk
2 F 0 (xk ) 3F 0 (zk ) F 0 (xk )
= xk

(1)

Variantes del metodo de Jarrat para sistemas no lineales

Este metodo se puede extender con relativa facilidad a sistemas no lineales, manteniendo el orden de convergencia. La expresion iterativa que resulta es:
z (k) = x(k) 23 JF (x(k) )1 F (x(k) )

y (k) = x(k) 21 3JF (z (k) ) JF (x(k) )


3JF (z (k) ) + JF (x(k) ) JF (x(k) )1 F (x(k) )
y lo denotamos por JM.
Como ya hemos comentado, podemos obtener nuevos metodos iterativos de orden
elevado a partir del siguiente resultado.
Teorema 2.1 ([3]) Sea G1 (x) y G2 (x) funciones de punto fijo de F (x) = 0. Consideremos los metodos iterativos correspondientes x(k+1) = G1 (x(k) ) and x(k+1) = G2 (x(k) ) de
orden p1 y p2 , respectivamente. Entonces, el orden de convergencia del metodo iterativo
correspondiente a la funci
on de punto fijo G(x) = G2 (G1 (x)) es p1 p2 .
Siguiendo esta idea, dise
namos un nuevo metodo, al que denotamos por NJ, componiendo el metodo de Jarrat con el metodo de Newton, obteniendo un metodo de orden 8.
Para disminuir el n
umero de evaluaciones funciones, y en consecuencia aumentar el ndice
de eficiencia del metodo NJ, proponemos estimar la jacobiana del metodo de Newton por
una combinacion lineal de jacobianas ya calculadas. As el nuevo metodo, al que denotamos
por RN, tendra la siguiente expresion:
= x(k) 23 JF (x(k) )1 F (x(k) )

3JF (z (k) ) + JF (x(k) ) JF (x(k) )1 F (x(k) )


y (k)
= x(k) 12 3JF (z (k) ) JF (x(k) )

1
x(k+1) = y (k) JF (x(k) ) + JF (z (k) )
F (y (k) )
(2)
Observemos que se trata de una familia de metodos dependiente de dos parametros,
cuyos valores van a ser determinantes en la convergencia de los metodos.
z (k)

3.

Convergencia de los m
etodos

El siguiente resultado establece la convergencia de los metodos anteriores para diferentes valores de los parametros y .
Teorema 3.1 Sea F : D Rn Rn una funci
on suficientemente diferenciable en cada
n
punto de un entorno abierto D de x
R , que es una soluci
on del sistema F (x) = 0.
Supongamos que JF (x) es continua y no singular en x
. Entonces la sucesi
on {x(k) }k0
obtenida a partir de la expresi
on (2) converge a x
con orden de convergencia 5 para los
1
metodos de la familia que verifiquen + = 1. Adem
as, el metodo obtenido con =
2
3
y = , denotado por RRN, tiene orden de convergencia 6.
2
Demostraci
on: La prueba de este resultado es bastante tecnica y se apoya en el Teorema
1.1. Consideremos la funcion G de punto fijo del metodo descrita como
G(x) = (x) (JF (x) + JF ((x)))1 F ((x)),
3

(3)

Juan R. Torregrosa, Alicia Cordero, Jose L. Hueso, Eulalia Martnez

donde

2
(x) = x H(x)F (x),
3
1
3
(x) = x M (x)JF ((x))H(x)F (x) M (x)F (x)
2
2

M (x) = (3JF ((x)) JF (x))1 ,

siendo H la inversa de la matriz jacobiana de F .


Esta expresion es equivalente a:
[JF (x) + JF ((x))] (G(x) (x)) + F ((x)) = 0.

(4)

Denotamos por gi , i y i , i = 1, 2, . . . , n, las funciones coordenadas de G(x), (x) y


(x), respectivamente. Entonces, se puede demostrar que
1
i (
x)
= ik
xk
3
y

(5)

2 fj (
x)
2 i (
x)
2X
=
Hij (
x)
,
xk xl
3
xk xl

i, k, l {1, 2, . . . , n}

(6)

j=1

Mas aun, siendo j, a, b, c {1, 2, . . . , n} arbitrarios, podemos afirmar a partir del Teorema 1.1 que
j (
x)
2 j (
x)
3 j (
x)
=
=
= 0,
(7)
xa
xa xb
xa xb xc
ya que (x) es la funcion de iteracion del metodo de Jarrat cuyo orden de convergencia es
4.
La i-esima componente de (4) es:
n
X

(Jij (x) + Jij ((x))) (gj (x) j (x)) + fi ((x)) = 0

(8)

j=1

y, derivando (8) parcialmente respecto de xl , siendo i y l arbitrarios y fijos,

n
n
n
X
X
X
Jij ((x)) q1 (x)
Jij (x)

+
(gj (x) j (x)) +
xl
q1 (x)
xl
j=1
j=1 q1 =1

n
n
X
X
gj (x) j (x)
+
Jij (x) +
Jij ((x))

+
xl
xl
j=1

(9)

j=1

n
X
fi ((x)) q1 (x)
+
= 0.
q1 (x)
xl
q1 =1

Cuando x = x
, teniendo en cuenta que gj (
x) = x
j , j (
x) = x
j , fi (
x) = 0 y (7),
tenemos:
n
X
gj (x)
Jij (
x)
( + )
= 0.
xl
j=1

Variantes del metodo de Jarrat para sistemas no lineales

Puesto que i y l son arbitrarios y JF (


x) es no singular, si + 6= 0, entonces
gj (
x)
= 0.
xl

(10)

Ahora, derivando (9) parcialmente respecto a xr , siendo r arbitrario y fijo, substituyendo x = x


y realizando algunas operaciones, obtenemos
( + )

n
X

Jij (
x)

j=1

2 gj (
x)
= 0.
xr xl

Por tanto, si + 6= 0, concluimos que:


2 gj (
x)
= 0.
xr xl

(11)

Para analizar el orden 4, volvemos a calcular las parciales con respecto a xs , siendo s
arbitrario y fijo, y evaluamos el resultado en x = x
. Obtenemos:
( + )

n
X

Jij (
x)

j=1

3 gj (
x)
= 0.
xs xr xl

(12)

Por tanto, como JF (


x) es no singular, podemos concluir que el orden de todos los metodos
de la familia, verificando + 6= 0 es, al menos, 4.
Derivando de nuevo parcialmente respecto a xt , siendo t arbitrario y fijo y evaluando
la expresion resultante en x = x
se obtiene

( + )

n
X
j=1

X
4 gj (
x)
4 j (
x)
Jij (
x)
( + 1)
Jij (
x)
= 0.
xt xs xr xl
xt xs xr xl

(13)

j=1

Por tanto, si + = 1, y asumimos que JF (


x) es no singular
n
X
j=1

Jij (
x)

4 gj (
x)
= 0,
xt xs xr xl

(14)

por lo que el orden de convergencia de los metodos (2), cuyos parametros verifican + =
1, es 5.
Finalmente, al derivar una vez mas parcialmente con respecto a xu , siendo u arbitrario
y fijo, evaluando la expresion en x = x
y teniendo en cuenta que + = 1, resulta
n
4 gj (
x)
5 gj (
x)
x)
X Jij (
( + )

xu xt xs xr xl
3
xl xu xt xs xr
j=1
j=1

n
x)
Jij (
x)
4 gj (
x)
4 gj (
x)
X Jij (
( + )
+

3
xr xu xt xs xl
xs xu xt xr xl
j=1

n
x)
Jij (
x)
4 gj (
x)
4 gj (
x)
X Jij (
+
= 0,
( + )
3
xt xu xs xr xl
xu xt xs xr xl
n
X

Jij (
x)

j=1

(15)

Juan R. Torregrosa, Alicia Cordero, Jose L. Hueso, Eulalia Martnez

y, si +

= 0 tambien se verifica, la expresion (15) se reduce a:

Jij (
x)

5 gj (
x)
= 0,
xu xt xs xr xl

(16)

1
y los u
nicos valores de los parametros que verifican estas dos condiciones son = and
2
3
= . Ahora, aplicando Teorema 1.1, concluimos que la expresion iterativa (2) converge
2
ax
con orden de convergencia 6. Con ello el resultado queda demostrado.
1

Observemos que el ndice de eficiencia del metodo RN es IRN = 5 2n+2n2 para cualquier
1
valor de los parametros y verificando + = 1, y IRRN = 6 2n+2n2 para RRN, con
1
3
= y = . En la Figura 1 mostramos los ndices de eficiencia de los metodos JM,
2
2
RN, RRN y metodo de Newton para diferentes valores del tama
no del sistema no lineal.
Notemos que el metodo RRN tiene, para n > 2, el ndice de eficiencia mas alto, siendo el
metodo RN el segundo en terminos de eficiencia. Para valores altos de n se mantiene esta
tendencia, aunque las diferencias entre los distintos metodos se hacen mas peque
nas.

Figura 1: Indices de eficiencia

Variantes del metodo de Jarrat para sistemas no lineales

4.

Resultados num
ericos

En esta seccion vamos a analizar la eficacia de los diferentes metodos numericos introducidos en el trabajo, as como del metodo de Newton, a la hora de estimar los ceros de
los siguientes sistemas.
(a) F (x1 , x2 ) = (sin(x1 ) + x2 cos(x1 ), x1 x2 ), x
= (0, 0)T .


(b) F (x1 , x2 ) = (exp(x21 ) exp( 2x1 ), x1 x2 ), x
= ( 2, 2)T .

1 3 T
1
2
2
2
2
(c) F (x1 , x2 ) = (x1 + x2 1, x1 x2 + 2 ), x
=( ,
) .
2 2
(d) F (x) = (f1 (x) , f2 (x) , . . . , fn (x)), donde x = (x1 , x2 , . . . , xn )T y
fi : Rn R, i = 1, 2, . . . , n, tal que
fi (x) = xi xi+1 1, i = 1, 2, . . . , n 1
fn (x) = xn x1 1.
Cuando n es impar, los ceros de F (x) son x
1 = (1, 1, . . . , 1) y x
2 = (1, 1, . . . , 1).
Los resultados que aparecen en la Tabla 1 se han obtenido pata n = 99 y todos los
metodos convergen a x
1 .
(e) F (x1 , x2 ) = (x1 + exp(x2 ) cos(x2 ), 3x1 x2 sin(x2 )), x
= (0, 0)T .
(f) F (x1 , x2 ) = (3x21 + exp(x2 ) sin(x2 ) 3, x1 x2 sin(x2 )), x
= (1, 0)T .
Los calculos numericos se han realizado con Matlab, utilizando aritmetica de precision
variable que usa representacion en coma flotante de 200 dgitos decimales de mantisa.
Cada iterado x(k+1) es obtenido a partir del anterior, x(k) , sumandole un termino de la
forma A1 b donde x(k) Rn , A es una matriz real de tama
no n n y b Rn . La matriz
A y el vector b son diferentes dependiendo del metodo utilizado, si bien en cualquier caso
el calculo de A1 b se realiza resolviendo el sistema lineal Ay = b, utilizando el metodo
de eliminacion de Gauss con pivotaci
on
parcial.

El criterio de parada utilizado es x(k+1) x(k) + F x(k) < 10100 . Por tanto,
estamos garantizando que los iterados convergen a un lmite y que ese lmite es una solucion
del sistema no lineal.
En la Tabla 1 presentamos los resultados obtenidos al utilizar los metodos anteriormente descritos para estimar los ceros de las funciones de (a) a (f). Para cada ejemplo
mostramos los siguientes datos: la aproximaci
on inicial x(0) y, para cada metodo, el n
umero de iteraciones necesario y el orden de convergencia computacional p, estimado a partir
de la expresion:

ln x(k+1) x(k) / x(k) x(k1)



.
p
ln x(k) x(k1) / x(k1) x(k2)
De hecho, el valor de p que aparece en la Tabla 1 es la u
ltima coordenada del vector p
cuando la variacion entre sus coordenadas es peque
na. Notar que el metodo RN ha sido
usado para los valores de los parametros = 12 and = 12 .
7

Juan R. Torregrosa, Alicia Cordero, Jose L. Hueso, Eulalia Martnez

Tabla 1: Resultados numericos


F (x)

(a)
(b)
(c)
(d)
(e)
(f)

x(0)
(0,8, 0,8)T
(2, 2)T
(0,1, 1)T
(2, . . . , 2)T
(2, 2)T
(0, 1)T

Iteraciones

NJ

RN

RRN

NJ

RN

RRN

9
12
11
7
198
331

4
5
5
3
63
112

5
6
5
4
46
151

5
5
5
4
60
141

3.0
2.0
2.0
2.0
1.0

15.9
8.0
8.0
1.0

7.0
5.0
5.0
4.6
5.0
1.0

7.0
6.0
6.0
5.5
6.0
1.0

2 fi (
x)
=0
xa xb
para todo i, a, b, como en el ejemplo (a), el orden de convergencia de los metodos aumenta:
el metodo de Newton tiene orden 3, mientras que el metodo NJ tiene un orden de convergencia computacional cercano a 15 y los metodos RN y RRN tienen orden 7. Si dicha
condicion no se verifica, el orden de convergencia computacional de los metodos modificados coincide con los valores teoricos, si bien los nuevos metodos parecen mas eficientes,
en cuanto al n
umero de iteraciones, que el metodo de Newton. Por otra parte, cuando la
matriz jacobiana es singular en algunos puntos, como en los ejemplos (e) y (f), los nuevos
metodos muestran una mayor estabilidad que el metodo de Newton. As mismo, en el
ejemplo (d) ponemos de manifiesto que la eficiencia de los metodos se mantiene aunque
los sistemas sean de gran tama
no.
Si analizamos los resultados de la Tabla 1 observamos que en el caso de

Agradecimientos
Este trabajo esta realizado dentro del proyecto de investigaci
on del Ministerio de Ciencia y Tecnologa MTM2007-64477.
Referencias
[1] P. Jarrat, Some fourth order multipoint iterative methods for solving equations, Math. Comp., 20,
434437, (1966).
[2] A.M. Ostrowski, Solutions of equations and systems of equations, Academic Press, New York-London,
1966.
[3] J.F. Traub, Iterative methods for the solution of equations, Chelsea Publishing Company, New York,
1982.