Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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:
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.
i, j1 , . . . , jp ,
2.
Descripci
on de los m
etodos
2 F (xk )
3 F 0 (xk )
(1)
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) )
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)
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
(4)
(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
(8)
j=1
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
(10)
n
X
Jij (
x)
j=1
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)
( + )
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
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)
y, si +
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.
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:
(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.