Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones No Lineales �
�.� Presentación . . . . . . . . . . ��
�.� Presentación �.� Introducción . . . . . . . . . . ��
�.� Métodos Gráficos . . . . . . . ��
El problema de resolver ecuaciones no lineales surge frecuentemente y de �.� Métodos Cerrados . . . . . . ��
forma natural en el estudio de un amplio abanico de problemas prácticos. Método de la Bisección . . . ��
Estos pueden involucrar una ecuación o un sistema de ecuaciones no Método de Regula Falsi . . . ��
lineales en varias variables. �.� Métodos Abiertos . . . . . . . ��
Es por ello que, a lo largo de este tema, se presentarán métodos generales Método del Punto Fijo . . . . ��
de resolución de este tipo de ecuaciones. Método de Newton-Raphson ��
Método de la Secante . . . . . ��
�.� Orden de convergencia de un
método . . . . . . . . . . . . . . . ��
�.� Introducción �.� Resumen del Tema � . . . . . ��
Para introducir este tema y dar una visión práctica acerca de la solución
de ecuaciones no lineales, vamos a considerar la ecuación de estado de Van
der Waals obtenida por el físico Johannes Diderik Van der Waals entre ����
y ����. ✓ ◆
3
%A + 2 (3+A 1) 8)A = 0 (�.�)
+A
donde %A , +A , )A son los cocientes adimensionales
% + )
%A = , +A = , )A = ,
%2 +2 )2
G 0 sin G = 1
Método de la Bisección
Esto es así dado que si 5 (0) 5 (1) < 0, la función 5 cambia de signo en el intervalo [0, 1] y
por lo tanto, existe algún valor 2 2 (0, 1) tal que 5 (2) = 0, de forma que 2 es un cero de 5 .
De hecho, puede haber más de un cero en dicho intervalo.
† Por una tolerancia razonable se entiende una tolerancia suficientemente pequeña, según
Criterios de parada
Gsiguiente Ganterior
4A = (�.�)
Gsiguiente
log(1 0) log(&)
= ⇡ #max (�.�)
log 2
Emplear este criterio de parada evita la posibilidad de que durante
la ejecución del algoritmo se entre en un bucle infinito.
Residuo ('4 B(G 8 )). El residuo se define como el valor absoluto de la
función evaluada en la aproximación a la raíz, i.e., si G 8 representa
la 8 -ésima aproximación a la raíz, su residuo se calcula como
'4B(G 8 ) = | 5 (G 8 )| (�.�)
| 5 (G 8 )| ⇡ 0
que consta un algoritmo, de forma que este pueda ser entendido por la persona que lo lee.
� Ecuaciones y Sistemas de Ecuaciones No Lineales ��
bisección:
§ Si
se calculase 2 = (0 + 1)/2 podría ocurrir que el punto medio calculado se desplazase al
exterior del intervalo [0, 1].
� Ecuaciones y Sistemas de Ecuaciones No Lineales ��
log(1 0) log(&)
#max = = 4.32193 ⇡ 4
log 2
= 3.75 » plot(�.����,�,’ro’,’MarkerSize’,��);
» title(’f(x) = exp(-x)-cos(x+pi/�)’);
» xlabel(’x’); ylabel(’y’);
y se ha alcanzado después de � iteraciones.
El método de la bisección es un tipo de método global, esto es, siempre
converge sin importar la distancia a la raíz real de la ecuación, aunque
también presenta desventajas. Estas son:
�. que no puede emplearse para hallar las raíces de funciones tan-
gentes al eje G ,
�. que en comparación con otros métodos converge de forma muy
lenta. Sin embargo, emplear este método junto con otro cuya
convergencia es más rápida puede dar lugar a un algoritmo eficaz
para la búsqueda de raíces, y
� Ecuaciones y Sistemas de Ecuaciones No Lineales ��
�. que no tiene en cuenta los valores 5 (0) y 5 (1). Por ejemplo, podría
ocurrir que 5 (1) estuviera más próximo a 0 que 5 (0), en tal caso,
es más probable que la raíz se encuentra más cercana a 1 que
0 . Este hecho, sin embargo, lo explota el método que veremos a
continuación.
5 (1) 5 (0)
<1 =
1 0
I La que resulta de unir los puntos (2, 0) y (1, 5 (1)), cuya pendiente
es
0
5 (1)
<2 =
2 1
Igualando las pendientes anteriores se tiene
regula falsi.
G cos(G) 3=0
[ 3 . 5 , 2 . 5].
5 (1)(1 0)
2=1
5 (1) 5 (0)
requerida.
a También llamado método de la falsa posición o método de interpolación lineal
G 2 + 3G 2=0
2 G2
G= = 61 (G)
3
3 2G
G= = 62 (G)
G
G = G 2 + 4G 2 = 63 (G)
El teorema establece:
I las condiciones bajo las cuales la función 6 dada tiene al menos un
punto fijo;
I las condiciones bajo las cuales la función 6 tiene un único punto
fijo;
I las condiciones bajo las cuales la iteración de punto fijo converge
para cualquier valor inicial G 0 en un intervalo dado;
I una estimación del error en caso de convergencia.
1 G
G 8+1 = 6(G 8 ), 6(G) = 4
3
⇥ ⇤
A partir de la expresión de 6 se tiene que 0 6(G) ⇥ 13 8G 1
⇤ 2 0, 3 .
1
Por tanto, podemos escoger como intervalo [0, 1] = 0 , 3 . Como 6
es continua en dicho intervalo, por el teorema anterior, se sabe que
⇥ contenido
tiene un punto fijo ⇤ en el mismo. Como 6 es continuamente
diferenciable en 0 , 13 y
0 1 G 1 1
max | 6 (G)| = max 4 < 1, 8G 2 0 ,
G2[0, 13 ] G2[0, 13 ] 3 3 3
El corolario establece que bajo las condiciones anteriores es posible Fig. �.��. Divergencia monótona ( 6 0 (G) >
1, 8G 2 [0, 1]).
obtener una cota superior del error cometido al aproximar el punto fijo.
⇣=
| G= | ⇣= | G0 | o | G= | |G1 G 0 |, = 1
1 ⇣
Desde el punto de vista práctico, los criterios de parada serán los mismos Fig. �.��. Divergencia oscilante ( 1 <
que los empleados en los métodos anteriores: 6 0 (G), 8G 2 [0, 1]).
Gsiguiente G anterior
I Error relativo, 4 A = G siguiente ;
I Residuo, Res = | 5 (G 8 )| ;
I Número máximo de iteraciones, #max .
anteriormente.
Ejemplo �.�.� Sea la ecuación no lineal 4 G G 2 = 0. Aplicar el método Fig. �.��. Representación gráfica del ejem-
del punto fijo para obtener una aproximación de su raíz con una toler- plo �.�.�. Aquí se muestra como en el
intervalo escogido [0.65 , 0.75] se cumple
ancia & = 0.1 y valor inicial G 0 = 0.65 que 6(G) 2 [0.65 , 0.75], cumpliéndose la
condición necesaria para aseguar la exis-
tencia de un punto fijo en dicho intervalo.
A partir de 5 (G) = 0 construimos la ecuación 6(G) = G , en este caso
sumando a ambos miembros de la igualdad G , i.e.,
4 G
G2 = 0 ) 4 G
G 2 +G = G ) 6(G) = 4 G
G2 + G
⇡ 0.7340
que, aplicando el Teorema del Valor Medio� , puede escribirse como �: El Teorema del Valor Medio establece
el siguiente resultado:
⇢ 8+1 = 6 0(⇢8 )⇢ 8 , ⇢8 2 [G 8 , ] (�.�) Sea 5 una función continua en el inter-
valo [0, 1] y derivable en (0, 1). Entonces,
existe 2 2 (0, 1) tal que
de forma que el cociente de los errores en valor absoluto resulta,
5 (1) 5 (0)
5 0 (2) =
⇢ 8+1 1 0
= | 6 0(⇢8 )|, ⇢8 2 [G 8 , ] (�.�)
⇢8 Geométricamente, el Teorema del Valor
Medio implica la existencia de una recta
A partir de (�.�) se pueden distinguir diferentes casos respecto de la tangente en el punto (2, 5 (2)) paralela a
la recta secante que pasa por los puntos
convergencia del método del punto fijo, recogidos en la siguiente tabla.
(0, 5 (0)), (1, 5 (1)).
escribirse como
G 8+1 = 6(G 8 ), 8 = 0, 1, 2, . . .
0 5 (G 0 )
= 5 0(G0 )
G1 G0
5 (G0 )
G1 = G0
5 0(G0 )
5 (G1 )
G2 = G1 .
5 0(G 1 )
o, en general,
f(xi )
xi+1 = xi , i 0 (�.��)
f0(xi )
La fórmula iterativa anterior recibe el nombre de fórmula de Newton-
Raphson.
5 (G 8 ) 1 5 00(⇢8 )
G = G8 (G G 8 )2 .
5 0(G 8 ) 2 5 0(G 8 )
1 p
5 0(G) = p cos( G) 1
2 G
⇡ 0.7686
5 (G 8 ) 5 (G 8 ) 5 0(G 8 )⇢ 8 5 (G 8 )
⇢ 8+1 = G 8+1 = G8 = ⇢8 = (�.��)
5 0(G 8 ) 5 0(G 8 ) 5 0(G 8 )
Por otro lado, haciendo uso del siguiente desarrollo de Taylor hasta
primer orden centrado en la 8 -ésima aproximación, G 8 , se tiene que
1 00
0 = 5 ( ) = 5 (G 8 ⇢ 8 ) = 5 (G 8 ) 5 0(G 8 )⇢ 8 + 5 (⇢8 )⇢28 , ⇢8 2 [G 8 , ]
2
1
) 5 0(G 8 )⇢ 8 5 (G 8 ) = 5 00(⇢8 )⇢28 (�.��)
2
1 5 00(⇢8 ) 2 1 5 00( ) 2
⇢ 8+1 = ⇢ ⇡ ⇢ = ⇢28 (�.��)
2 5 0(G 8 ) 8 2 5 0( ) 8
p
Sea ( 2 R+ y G = (. Entonces, G es la raíz positiva de la ecuación no
lineal
G2 (=0
Aplicando el método de Newton-Raphson sobre 5 (G) = G 2 ( la
fórmula iterativa resulta
✓ ◆
5 (G 8 ) G 28 ( 1 (
G 8+1 = G 8 = G8 = G8 G8 , 8 0
5 0(G 8 ) 2G 8 2 G8
En otras palabras, que la tasa de decrecimiento del error es cuadrática en cada iteración.
� Ecuaciones y Sistemas de Ecuaciones No Lineales ��
p
Procedemos ahora a la estimación del valor de la raíz cuadrada 11.
Para ello buscamos aproximar la raíz positiva de la ecuación no lineal
G 2 11 = 0 aplicando el método de Newton-Raphson y, en concreto,
haciendo uso de la fórmula (�.��) con ( = 11,
✓ ◆
1 11
G 8+1 = G8 +
2 G8
con G 0 = 3.
✓ ◆
1 11
iter = 1 : G1 = G0 + = 3.33333
2 G0
err = |(3.33333 3)/3.33333 | = 0.1;
res = | 5 (3.33333)| = 0.1
✓ ◆
1 11
iter = 2 : G2 = G1 + = 3.31667
2 G1
err = |(3.31667 3.33333)/3.33333 | = 0.005
res = | 5 (3.31667)| = 0.0003
✓ ◆
1 11
iter = 3 : G3 = G2 + = 3.31662
2 G2
err = |(3.31662 3.31667)/3.31662 | = 0.00001 < & ;
res = | 5 (0.7686)| = 0.00003 < & ;
p
Luego hemos obtenido que 11 ⇡ 3.31662 tras realizar � iteraciones y
con un error relativo 4 A = 10 5 .
⇣ ⌘
(0) (0)
Introduciendo G (0) + ⌘ 1 , H (0) + ⌘ 2 en (�.��) y desarrollando en serie
de Taylor en dos variables hasta el primer término se tiene que
⇣ ⌘
8
>
< 0 = 51 G (0) + ⌘1 , H (0) + ⌘2 ⇡ 51 G (0) , H (0) + ⌘1 %G1 G (0) , H (0) + ⌘2 %H1 G (0) , H (0)
>
(0) (0) (0) % 5 (0) % 5
⇣ ⌘
>
> 0 = 52 G (0) + ⌘1 , H (0) + ⌘2 ⇡ 52 G (0) , H (0) + ⌘1 %G2 G (0) , H (0) + ⌘2 %H2 G (0) , H (0)
(0) (0) (0) % 5 (0) % 5
:
(�.��)
que resulta un sistema lineal cuyas incógnitas son los factores correctivos
(0) (0)
⌘1 y ⌘2 , siendo la matriz de coeficientes
" % 51 % 51
#
= %G
% 52
%H
% 52 (�.��)
%G %H (G (0) ,H (0) )
(0) (0)
Una vez obtenidos ⌘ 1 y ⌘ 2 se calculan las siguientes aproximaciones a
las raíces, (G (1) , H (1) ),
" #
(0)
G (1) G (0) ⌘
1) = + 1(0) (�.��)
H ( H (0) ⌘2
(8) (8)
donde ⌘ 1 y ⌘ 2 se obtienen resolviendo el sistema lineal
" % 51 % 51
# " #
(8)
⌘1 51 G (8) , H (8)
%G %H
(8) = (�.��)
% 52 % 52
⌘2 52 G (8) , H (8)
%G %H ( G (8) ,H (8) )
58 (G 1 , G2 , . . . , G = ) = 0 , 18= (�.��)
como
2 G1 3 2 51 3
6 7 6 7
6 G2 7 6 52 7
6 7 6 7
(-) = 0 , -=6 . 7, =6.7 (�.��)
6 .. 7 6 .. 7
6 7 6 7
6G = 7 6 5= 7
4 5 4 5
La linearización del sistema no lineal análoga a (�.��) resulta
2 ⌘1 3 2 % 51 (-) % 51 % 51
(-)37
6 7 6 %G1 (-) ...
6 ⌘2 7 6 % 52 7
%G2 %G =
6 %G (-) (-)7
% 52 % 52
6 7 (-) ...
=6 . 7, = 66 1 . 7
7
%G2 %G =
0 = (-+ ) ⇡ (-)+ ,
6 .. 7 6 ..
.. ..
7
6 7 6 % 5=
. ... .
7
6 ⌘= 7 6 (-)
4 5 4 %G1 (-)75
% 5= % 5=
... %G2
(-) %G =
(�.��)
donde es la matriz jacobiana de orden = . Así, el vector de correcciónes
se calcula resolviendo el sistema lineal
= (-) (�.��)
1
ya sea mediante el método de Gauss o de la forma = (-), de
forma que la siguiente aproximación vendría dada por
% 51 % 51
= 2G + 4 G cos(H), = 2 H 4 G sin(H)
%G %H
% 52 % 52
= 2 H + 4 G sin(H), = 2G + 4 G cos(H)
%G %H
2 G + 4 G cos(H) 2 H 4 G sin(H)
) =
2 H + 4 G sin(H) 2 G + 4 G cos(H)
�. Proceso iterativo:
� Ecuaciones y Sistemas de Ecuaciones No Lineales ��
G (0) = 1 , H (0) = 4
(0) (0)
c) Cálculo de las correcciones ⌘ 1 y ⌘ 2 , las incógnitas del
sistema lineal
" #
(0)
(0) (0) (0) 2.2405 7.7216 ⌘1 51 (G (0) , H (0) )
= ) (0) =
7.7216 2.2405 ⌘2 52 (G (0) , H (0) )
" #
(0)
2.240 7.7216 ⌘1 14.2405
) (0) =
7.7216 2.2405 ⌘2 8.2784
" # 1
(0)
⌘1 2.240 7.7216 14.2405 0.0347 0.1195 14.2405
(0) = 7.7216 2.2405 8.2784
=
0.1195 0.0347 8.2784
⌘2
0.4953
=
1.9878
e) Cálculo de errores:
|G (1) G (0) |
4 AG = = 0.9814
|G (1) |
|H (1) H (0) |
4AH = = 0.9879
|H (1) |
Res1 (G (1) , H (1) ) = | 51 (G (1) , H (1) )| = 3.0521
Res2 (G (1) , H (1) ) = | 52 (G (1) , H (1) )| = 1.4853
(1) (1)
c) Cálculo de las correcciones ⌘ 1 y ⌘ 2 ,
" #
(1)
(1) (1) (1) 1.2673 4.5702 ⌘1 51 (G (1) , H (1) )
= ) (1) =
4.5702 1.2673 ⌘2 52 (G (1) , H (1) )
" #
(0)
1.2673 4.5702 ⌘1 3.0521
) (0) =
4.5702 1.2673 ⌘2 1.4853
" # 1
(0)
⌘1 1.2673 4.5702 3.0521 0.0563 0.2032 3.0521
(0) = 4.5702 1.2673 1.4853
=
0.2032 0.0563 1.4853
⌘2
0.1298
=
0.7038
e) Cálculo de errores:
|G (2) G (1) |
4 AG = = 0.35 < &
|G (2) |
|H (2) H (1) |
4AH = = 0.54 < &
|H (2) |
Res1 (G (2) , H (2) ) = | 51 (G (2) , H (2) )| = 0.393 < &
Res2 (G (2) , H (2) ) = | 52 (G (2) , H (2) )| = 0.317 < &
( 0.3749 , 1.3084)
5 (G 8 )
G 8+1 = G 8 = 6 (# ')
(G 8 ), 8 0
5 0(G 8 )
� Ecuaciones y Sistemas de Ecuaciones No Lineales ��
Método de la Secante
5 (G 8 )
G 8+1 = G 8
5 0(G 8 )
⇡ 1.0985
5 (G 8 )(G 8 G 8 1 )
G 8+1 = G 8 (�.��)
5 (G 8 ) 5 (G 8+1 )
5 (G 8 )(G 8 G 8 1 ) 5 (G 8 )G 8 5 (G 8 1 )G 8 5 (G 8 )G 8 + 5 (G 8 )G 8 1 5 (G 8 ) + 5 (G 8 1 )
⇢ 8+1 = G 8+1 = G8 =
5 (G 8 ) 5 (G 8+1 ) 5 (G 8 ) 5 (G 8 1 )
5 (G 8 1 )(G 8 ) + 5 (G 8 )(G 8 1 ) 5 (G 8 )⇢ 8 1 5 (G 8 1 )⇢ 8
= =
5 (G 8 ) 5 (G 8 1 ) 5 (G 8 ) 5 (G 8 1 )
5 (G 8 ) 5 (G 8 1 ) 5 (G 8 ) 5 (G 8 1 )
G8 G8 1 ⇢8 ⇢8 1 G8 G8 1 ⇢8 ⇢8 1
= ⇢8 ⇢8 1 =
G8 G8 5 (G 8 ) 5 (G 8 1 ) 5 (G 8 ) 5 (G 8 1 ) G8 G8
| {z }| {z }
1 1
Término � Término �
(�.��)
1 00
5 (G 8 ) = 5 ( + ⇢ 8 ) = 5 ( ) + 5 0( )⇢ 8 + 5 ( )⇢28 + $(⇢38 )
2
Como 5 ( ) = 0, se tiene que
1 00
5 (G 8 ) = 5 0( )⇢ 8 + 5 ( )⇢28 + $(⇢38 )
2
y por tanto,
5 (G 8 ) 1 00
= 5 0( ) + 5 ( )⇢ 8 + $(⇢28 )
⇢8 2
5 (G 8 1 ) 1
= 5 0( ) + 5 00( )⇢ 8 1 + $(⇢28 1 )
⇢8 1 2
5 (G 8 ) 5 (G 8 1 ) 1 00
+ = 5 ( )(⇢ 8 ⇢ 8 1 ) + $(⇢28 1 )
⇢8 ⇢8 1 2
5 (G 8 ) 5 (G 8 1 ) 1
) + ⇡ 5 00( )(⇢ 8 ⇢ 8 1 )
⇢8 ⇢8 1 2
Término �
G8 G8 1 1
⇡ 0 (�.��)
5 (G 8 ) 5 (G 8 1 ) 5 ( )
| {z }
Término �
1 1 00 1 5 00( )
⇢ 8+1 ⇡ 5 ( )⇢ 8 ⇢ 8 1 = ⇢8 ⇢8 1
5 ( )2
0 2 5 0( )
= ⇢8 ⇢8 1 (�.��)
5 (G 8 )(G 8 G 8 1 )
G 8+1 = G 8 , 8 1
5 (G 8 ) 5 (G 8 1 )
G =+1 ⇢=+1
lim ?
= lim = ⇠, (�.��)
=!1 ( G= ) =!1 ⇢=