Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones No Lineales
Ecuaciones No Lineales
Motivacin
De un recipiente esfrico de radio 0.90 m y con una barra medidora graduada
de 2.40 m, calcular la altura h que queda inmersa en el tanque si el volumen de
aceite es de 2.5 m3. En ese caso, el volumen determinado por una altura h es,
h3 0.859436h2 2.387324 = 0
Motivacin
ax2 + bx + c = 0
se sabe que las dos races se pueden obtener por la resolvente
cuadrtica.
b 4a c
2a
2
Motivacin
Las frmulas para calcular las tres races de la ecuacin:
x3 + ax2 + bx + c = 0
slo fueron descubiertas hacia mediados del siglo XVI. Para encontrar la raz
real
x1. Se definen
3b a 2
Q
,
9
9ab 27c 2a 3
R
54
S 3 R Q 3 R2 ,
T 3 R Q 3 R2
Finalmente
x1 = S + T -
a
3
f (x ) 0,
x n , con n 1
(*)
Mtodos Iterativos
Un Mtodos Iterativo es aquel que, partiendo de un valor x0 arbitrario, se
calcula una sucesin x0, x1, x2, . . . de forma recurrente, mediante una relacin
de la forma
xn 1 g(xn ),
n 0,1,2,; xn n , con , g :
Iteracin:
Los pasos que se dan, en un algoritmo, para calcular un iterado, xn+1, a partir
del iterado anterior, xn.
Criterios de Parada
Criterios de Parada:
Dada un valor
Si
Si
| f ( xi ) | < ,
, i-Iteracin.
i-Iteracin.
Convergencia
Definicin
Sea x n
entonces existe
lm
en 1
en
{xn},
p = 1 Lineal
p = 2 Cuadrtica
p = 3 Cbica
1 < p < 2 Superlineal
Convergencia
La sucesin x n
en 1 c en
Estabilidad y Condicin
Los algoritmos numricos debe dar resultados precisos.
Estabilidad: Un algoritmo es estable si cambios pequeos en los datos iniciales
producen cambios pequeos en los resultados.
Condicin: Algunos algoritmos son estables solamente para un conjunto de
condiciones iniciales. Estos algoritmos son condicionalmente estables
Crecimiento del error: Si e0 denota el error inicial y en el error despus de n
iteraciones, decimos que el error crece::
Linealmente si en
Exponencialmente si en
kne0
kne0 (Hay que evitarlo)
eaprox /n ,
y los errores de redondeo dependen de la precisin de la mquina emaq y van
como
eredondeo
emaq
et eaprox + eredondeo /n +
emaq
Mtodo de la Biseccin
Mtodo de la Secante
Otros Mtodos
Mtodo de Newton
Mtodo de la Biseccin
caa bc
cc312 2 1
22
f (a )
ff((ca1 ) f (cb21))00
f ( c2 )
f (c3 )
f (c1 )
c1
c2
c3
raz
f (b)
Mtodo de la Biseccin
Sea
xn a b xn xn a b a
xn a
xn a
1
2n
b a
Convergencia Lineal
Tasa de convergencia
p = 0.5
tol
Tolerancia
a,b
Extremos del
Intervalo
N Mximo de
Iteraciones
Raz
aproximada
Funcin a
evaluar
e x ln( x) f ( x) e x ln( x) 0
1,5
1
0,5
5,3
4,7
4,4
4,1
3,8
3,5
3,2
2,9
2,6
2,3
1,7
1,4
1,1
0,8
0,5
0
-0,5
-1
-1,5
-2
e x ln( x) f ( x) e x ln( x) 0
Iter
1,5
1,25
Error
Porcentual
f(a)
f(b)
1,25
0,3678794
-0,182335
0,0633612
1,5
1,375
0,0633612
-0,182335
-0,065614
1,25
1,375
1,3125
0,0633612
-0,065614
-0,002787
9,0909091
1,25
1,3125
1,28125
0,0633612
-0,002787
0,0298538
4,7619048
1,28125
1,3125
1,296875
0,0298538
-0,002787
0,0134273
2,3809524
1,296875
1,3125
1,3046875
0,0134273
-0,002787
0,0052937
1,1904762
1,3046875
1,3125
1,3085938
0,0052937
-0,002787
0,0012467
0,5952381
1,30859375
1,3125
1,3105469
0,0012467
-0,002787
-0,000772
0,297619
1,30859375
1,3105469
1,3095703
0,0012467
-0,000772
0,0002369
0,1490313
1,30957031
1,3105469
1,3100586
0,0002369
-0,000772
-0,000268
0,0745156
10
1,30957031
1,3100586
1,3098145
0,0002369
-0,000268
-1,54E-05
0,0372717
f(
Hay que dar dos valores iniciales, uno a cada lado de la raz que se est
buscando. Esto es un problema, especialmente si no se tiene ninguna
idea del comportamiento de la funcin o si esta presenta races muy
similares o mltiples
e x ln( x) f ( x) e x ln( x) 0
Error Porcentual
10
9
8
7
6
5
4
3
2
1
0
Iteraciones
Y
f (b)
c1
c2
f (c3 )
c3
b
f ( c2 )
f (c1 )
f (a )
L1
L2
L3
L4
raz
tol
Tolerancia
a,b
Extremos del
Intervalo
N Mximo de
Iteraciones
Raz
aproximada
Funcin a
evaluar
si (|c-ant|tol)
escribir(c)
sino
escribir(error)
f (b) f a
b a
f b, c f a, b
Diferencia dividida de primer orden: f a, b, c
c a
Propiedades:
f [a, b] = f [b, a]
c b f b
b a
f b f a
f ''(h)
1
c a (a a)(b a)
,
2
f '(x)
h, x (a,b)
Teorema:
Sea f dos veces continuamente diferenciable en [a, b] con la nica raz en
[a, b] . Suponiendo que f (a) f (b) < 0, f () 0 y f no cambia de signo
en [a, b] . Si
C
f ''(x )
wa
max x[a ,b ]
1,
2
f '(x )
w a o w b,
bn+1 a C(bn a) , si w = a
Hay que dar dos valores iniciales, uno a cada lado de la raz que se est
buscando. Esto es un problema, especialmente si no se tiene ninguna
idea del comportamiento de la funcin o si esta presenta races muy
similares o mltiples
Si la funcin es convexa o cncava en [a, b], uno de los extremos de
intervalo no se mover por lo que el mtodo solamente aproxima a la
raz por uno de los lados.
Al evaluar la funcin cerca de la raz, f ( x ) 0 , para el clculo del
cambio de signo, los errores por operar con nmeros muy pequeos
pueden hacerse presentes
Mtodo de la Secante
Y
f (b)
f ( c2 )
c1
c3
f (c3 )
c2
f (c1 )
f (a )
L2
L1
L4
raz
L3
Mtodo de la Secante
Algoritmo Secante
Entrada: a, b, tol, n
Salida: c, error
leer(a, b, tol, n)
i1
fa f(a); fb f(b)
Repita Mientras { (i<n) (fc 0) (|ba|/2>tol)}
c bfb(ba)/(fbfa)
ii+1
a b; fa fb
b c; fb f(c)
si ((fc=0) (|ba|/2tol))
escribir(c)
sino
escribir(error)
tol
Tolerancia
a,b
Extremos del
Intervalo
N Mximo de
Iteraciones
Raz
aproximada
Funcin a
evaluar
c b f b
b a
f b f a
f ''(h)
1
c a (a a)(b a)
,
2
f '(x)
sustituyendo
h, x (a,b)
1 f ''(hn )
en en 1
2 f '(xn )
Teorema:
Sea f dos veces continuamente diferenciable en un entorno de [a, b] de
para el cual f ()=0 y f () 0 . Entonces si x0 y x1 se seleccionan
suficientemente de , las iteraciones del mtodo convergen a . Adems,
lm
en 1
en
f ''(x )
2
f
'(
x
)
p 1
,p
1 5
2
1.62
Tema 2: Ecuaciones No Lineales
f por iteracin
Hay que dar dos valores iniciales, a pesar de que no tienen que encerrar a
la raz que se est buscando, los puntos tienen que estar suficientemente
cerca de la raz para garantizar que el mtodo converja.
Mtodo de Newton-Raphson
Consiste en aproximar a
como aproximacin a
Para x0 dado
Se calcula la tangente a f en x 0
LT f '(x 0 )(x x 0 ) f (x 0 ),
hacemos, LT 0 y se obtiene
x1 x 0
f (x 0 )
f '(x 0 )
xn xn 1
f (xn 1 )
f '(xn 1 )
Mtodo de Newton-Raphson
Para x0 dado
xn 1 xn
f (xn )
f '(xn )
Y
f ( x0 )
x2
Prof. Abelardo Monsalve
x1 x 0
Mtodo de Newton-Raphson
Algoritmo Newton-Raphson
Entrada: x, tol, n
Salida: x, error
leer(x , tol, n)
i0
Repita Mientras { (i<n) (|xxa|>tol)}
ii+1
xa x
x xaf(xa)/fp(xa)
tol
si ((|xxa|tol))
escribir(x)
sino
escribir(error)
Tolerancia
Extremos del
Intervalo
N Mximo de
Iteraciones
Funcin a
evaluar
fp
Derivada de f
xn 1 xn
f ' xn
xn
f (xn )
(x xn )2
2
f '' x n
x n [xn , x ] o [x , xn ]
f (xn )
f ''(xn )
(a xn ) (a xn )
0
2 f '(x )
f '(xn )
n
en
en 1
Equivalente a
en 1
f ''(xn )
e
2 f '(x )
n
2
n
Mtodo de Newton-Raphson
Teorema:
Sea f dos veces continuamente diferenciable en [a, b]. Si [a, b], tal que
f ()=0 y f () 0 . Entonces existe e>0 tal que el mtodo de NewtonRaphson genere una sucesin {xn} que converge cuadrticamente a , para
cualquier valor inicial x0 I=[-e,+e]. Adems,
lim
en 1
en
1 f ''(a)
2 f '(a)
f (x) = 0 ,
cuyas races se quieren determinar. Supongamos que es una de sus races y
que existe otro valor x0 que no satisface la ecuacin
f (x0) 0,
f ()=0
f (x) = 0 , en g(x) = x ,
donde,
x1 =g(x0 ),
donde, si el nuevo valor
x1 x 0 ,
x1 x 0 ,
encontramos la raz x 0 a
lo que generalmente pasa
lm (xn ) = 0
n
Si la expresin anterior es cierta, debe valer tambin para xn+1
lm (xn+1 ) = 0
n
, y como xn tiende a
,
lm (xn+1 xn) = 0
n
tol
si ((|xxa|tol))
escribir(x)
sino
escribir(error)
Tolerancia
Extremos del
Intervalo
N Mximo de
Iteraciones
Funcin a
evaluar
Convergencia en Escalera
Y
g ( )
g (x)
yx
x0
x1
x2
Divergencia Oscilante
yx
g ( )
g (x)
x2
x0
x1
Convergencia Oscilatoria
yx
g (x)
g ( )
x 0 x1
g(j)() = 0, j < p
Si se elige a x0 suficientemente cerca de mtodo iterativo de un punto
converge a con un orden de al menos p y se cumple
lm
en 1
enp
g (p)(a)
p!