Académique Documents
Professionnel Documents
Culture Documents
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Algoritmo
El mtodo expuesto es el de la secante, mtodo derivado del de Newton y por tanto basado en
los algoritmos de iteracin funcional. Sus caractersticas son:
1. Slo requiere continuidad de la funcin.
2. Se puede emplear independientemente del orden de multiplicidad de la raz.
3. No es posible acotar el error cometido.
4. La convergencia es superlineal, sin embargo es difcil verificar las condiciones de
convergencia. Suele presentar problemas con los extremos y comportamientos
asintticos
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 2 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Por el contrario, Regula Falsi en que este es un mtodo de intervalo, siendo sus
caractersticas:
1. Requiere que se cumpla el Teorema de Bolzano (la funcin cambia de signo en los
extremos del intervalo).
2. No se puede usar con races mltiples de orden par (no hay cambio de signo).
3. El error viene acotado por la amplitud del intervalo.
4. La convergencia es superlineal.
Veamos esto con algunos ejemplos.
Estudiamos la funcin ( x 1) e x en el intervalo [0,3].
El mtodo de Rgula Falsi converge hacia la raz, disminuyendo siempre el valor del
extremo derecho. Sin embargo, independientemente del orden en que se tomen ambos
puntos, el mtodo de la secante diverge.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 3 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Utilizamos el mtodo de Laguerre-Thibault para la acotacin. Este mtodo nos dice que un
valor z es cota superior cuando los coeficientes del cociente y resto de dividir P(x) entre (x-z)
no cambian de signo, esto es, son no positivos o no negativos.
Races Positivas, cota superior: P ( x ) = x 3 + 1'5 x 2 0 '5
1 1.5 0 -0.5
1 1 2.5 2.5
1 2.5 2.5 2 Y puesto que los coeficientes son no negativos, 1 es la cota superior
1
Races Positivas, cota inferior: x3 P = 0.5 x3 + 1.5 x + 1
x
-0.5 0 1.5 1
2 -1 -2 -1
-0.5 -1 -0.5 0 Todos los coeficientes son no positivos, y por tanto la cota es 1/2
Races Negativas, cota inferior: P ( x ) = x 3 + 1.5 x 2 0.5
-1 1.5 0 -0.5
2 -2 -1 -2
-1 -0.5 -1 -2.5 Todos los coeficientes son no positivos, y por tanto la cota es -2
1
Races Negativas, cota superior: x3 P = 0.5 x 3 + 1.5 x 1
x
-0.5 0 1.5 -1
2 -1 -2 -1
-0.5 -1 -0.5 -2 Todos los coeficientes son no positivos, y por tanto la cota es (1/2)
Los intervalos de las races son por tanto [-2,-1/2] y [1/2,1].
Debemos aplicar ahora Boudan-Fourier para determinar las races en cada intervalo. Para ello
es necesario determinar el valor del polinomio y de sus derivadas.
-2 - 1
P ( x ) = x + 1'5 x 0 '5
3 2
-2.5 -0.25 0 2
P ( x ) = 3 x 2 + 3 x 6 -0.75 2.25 6
P ( x ) = 6 x + 3 -9 0 6 9
P ( x ) = 6 6 6 6 6
Variaciones de Signo 3 1 0 0
Races en [-2,-] =|3-1|=2 0
Races en [,1].=|0-0|=0, pero se observa que es raz exacta
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 4 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
El polinomio tiene una raz real en . Las otras dos o estn en [-2,-] o son complejas
conjugadas.
Otra forma de estudiarlas hubiera sido mediante el anlisis de la funcin.
P ( x ) = 3 x 2 + 3 x = 0 x = 0 x = 1 .
P ( 1) = 3 y P ( 0 ) = 3 . Por tanto 1 es un mximo relativo y 0 es el mnimo relativo.
La funcin es creciente en (-,-1], decreciente en [-1,0] y de nuevo creciente en [0, ).
Evaluamos los valores en los extremales:
P ( 1) = 0 y P ( 0 ) = 0.5
Por tanto, existe una raz doble en 1 y una simple en el intervalo [0, ), o ms concretamente
en [,1]. Todo esto se ve fcilmente en la representacin del polinomio.
En los apartados anteriores ya se ha visto que stas son 1 (doble) y 0.5 (simple). De todas
formas, una vez obtenida una cualquiera (y 0.5 se obtuvo directamente en el apartado a), las
otras dos se calculan de forma inmediata.
Tambin es posible su clculo utilizando la tcnica para resolver una ecuacin de tercer grado
x3 + Ax 2 + Bx + C = 0 , en nuestro caso, x3 + 1'5 x 2 0 '5 = 0 :
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 5 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
2 2
q
5. D < 0 , = ar cos , y1 = 2 p cos , y 2,3 = 2 p cos
3
3
p3 3
Si la ecuacin fuera un polinomio de grado superior a 4, sus races no pueden ser obtenidas de
forma analtica. El mtodo numrico ms adecuado para obtener todas las races sera el QD.
Si lo que se desea es obtener la raz negativa, no se puede acudir a mtodos de intervalo al no
haber cambio de signo de la funcin por ser de multiplicidad par. A la hora de elegir un
mtodo de iteracin funcional, seleccionamos el de Newton modificado, ya que mantiene la
convergencia cuadrtica. No es posible verificar las condiciones de convergencia global, pero
a la vista de la grfica de la funcin, esta se verifica para cualquier valor de partida negativo.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 6 de
UNIVERSIDAD DE OVIEDO 42
f ( x) = 2 sen( x) x [1 + cos( x ) ]
Ejercicio 2.- Dada la ecuacin :
(a) Realizar 5 iteraciones con el mtodo de Newton partiendo de x0 = 1, para obtener una
raz aproximada.
(b) Demostrar que existen modificaciones del mtodo de Newton que permiten mantener
velocidad de convergencia cuadrtica cuando la raz tiene multiplicidad .
(c) Sabiendo que la raz es triple, modificar el mtodo de Newton y realizar tres
iteraciones.
El mtodo de Newton genera una sucesin{xn} partiendo de una aproximacin inicial xo, que se
define como:
xn = xn 1
(x )
f n 1
n 1
f '( x ) n 1
Si tenemos una funcin f(x) con una raz r de multiplicidad podemos expresarla de la siguiente
manera:
f ( x ) = ( x r ) h ( x ) tal que h ( x ) 0
f ( x)
Sea g ( x) = x . Buscamos una funcin de la forma g(x) = x equivalente a f(x) = 0 (la
f '( x)
expresin g(x) es una de las mltiples formas de expresar f(x) = 0). Si g(r) = 0 entonces
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 7 de
UNIVERSIDAD DE OVIEDO 42
g ( x) = x = x
( x r ) h ( x ) + ( x r ) h ( x )
1
h ( x ) + ( x r ) h ( x )
1
g ( r ) = 1 0
Este resultado nos induce a introducir una modificacin del mtodo de Newton para tener
velocidad de convergencia cuadrtica:
f (x )
g (x ) = x
f (x )
Evidentemente:
g (r ) = 1 = 0
1
Sabiendo que la raz es triple modificamos el mtodo de Newton segn lo visto en el apartado
anterior:
f ( xn 1 )
xn = xn 1 3 , y particularizando para la funcin
f '( xn 1 )
2 sen( xn 1 ) xn 1 [1 + cos( xn 1 ) ]
xn = xn 1 3
cos( xn 1 ) 1 + ( xn 1 ) sen( xn 1 )
Las iteraciones pedidas son:
x0 = 1
x 1 = 0,1208719983
x 2 = 0,177034903x10 3
x 3 = 0,4557938x10 6
0.1426 0.3818 -0.1209
-0.0003 0.0073 0.0002
1.0e-007 * 0.0000 0.1567 -0.0000
1.0e-024 *-0.0000 0.1539 0
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 8 de
UNIVERSIDAD DE OVIEDO 42
2
f (x ) = 1
Ejercicio 3.- Sea la funcin 1+ e x , cuya grfica se muestra en la figura. Describir
los mtodos que conoce para el clculo aproximado de la raz de f(x)=0 en el intervalo [-9,10],
indicando sus ventajas e inconvenientes, y seleccionar el ms adecuado.
Todos los mtodos de intervalo sern aplicables para calcular la raz de esta ecuacin, puesto que
la funcin es continua, diferenciable y cambia de signo en cualquier intervalo que contenga la
raz. El mtodo de biseccin tiene el inconveniente de su lenta velocidad de convergencia.
Puesto que la funcin se comporta de forma casi lineal cerca de la raz, parece adecuado el
mtodo de Regula Falsi. El mtodo de Regula Falsi modificada no resulta interesante, puesto que
hace ms lento el clculo, y sin embargo la pendiente de la funcin a ambos lados de la raz toma
valores similares (es fcil comprobar que la funcin es antisimtrica). Por el mismo motivo, el
aumento de la complejidad de los clculos, se debe descartar el mtodo de Mller. No parece
indicado usar una interpolacin parablica cuando se observa que la funcin es casi lineal cerca
de la raz. Comparemos el resultado de algunas iteraciones con cada uno de los mtodos.
Iteracin a f(a) b f(b)
0 -9.0000 0,96403 10.000 -0,99991
1 -9.0000 0,99975 0,50000 -0,24492
2 -4.2500 0,97187 0,50000 -0,24492
3 -1.8750 0,73407 0,50000 -0,24492
Biseccin
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 9 de
UNIVERSIDAD DE OVIEDO 42
Para emplear los mtodos de punto fijo, se debe seleccionar adecuadamente la funcin de forma
que x ( a, b ) : g ( x) ( a, b ) g ( x) < 1 . Aunque en la mayora de los casos, esa seleccin no
1
es simple, s lo es en el ejemplo, puesto que f (0) = , y la funcin se comporta de forma casi
2
lineal en un entorno de la raz. Tomamos por tanto g ( x) = x + 2 f ( x) , con lo cual se verifican las
hiptesis. Por el contrario, el mtodo de Newton no va a converger fuera de un entorno prximo
a la raz, pues la pendiente de la curva hace evolucionar a las soluciones hacia puntos con
pendiente nula. Los mtodos de la secante y Mller, adolecen del mismo mal, esto es, si los
puntos iniciales del mtodo se toman fuera de la zona lineal, el mtodo evoluciona hacia puntos
con pendiente nula y no converge. An as, el mtodo de Mller se muestra ms robusto que el
de la secante.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 10 de
UNIVERSIDAD DE OVIEDO 42
Ejercicio 4.-
(a) Demostrar el siguiente teorema (Nota: aplicar a cada lado de la igualdad el teorema
del valor medio)
(b) Este teorema se utiliza en la generacin de funciones de punto fijo que convergen a la
raz de una ecuacin f ( x ) = g ( x ) h ( x ) = 0 al transformarla en xk +1 = g 1 h ( xk ) . ( )
Aplicarlo para calcular la raz de sin ( x ) ( x 2 ) = 0 en el intervalo (2.5,3).
I : h ( xk ) h ( r ) = h ( )( xk r ) h ( xk ) h ( r ) xk r
Combinado ambas relaciones
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 11 de
UNIVERSIDAD DE OVIEDO 42
xk +1 r g ( xk +1 ) g ( r ) = h ( xk ) h ( r ) xk r xk +1 r xk r
Repitiendo el proceso, se demuestra por induccin que
k +1
xk +1 r x0 r
y tomando lmites, teniendo en cuenta que
<1
lm lm k +1 lm
0 xk +1 r x0 r = 0 xk +1 = r c.q.d.
k k k
Apartado (b) Calculo de la raz de sin ( x ) ( x 2 ) = 0 en el intervalo I = [ 2.5,3] ,
2
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 12 de
UNIVERSIDAD DE OVIEDO 42
g ( xk +1 ) g ( xk ) = h ( xk ) h ( xk 1 ) xk +1 xk x1 x0 .
Partimos de
g ( xm ) g ( xn ) = h ( xm 1 ) h ( xn 1 )
y como
xm xn g ( xm ) g ( xn ) y
h ( xm 1 ) h ( xn 1 ) = h ( xm 1 ) h ( xm 2 ) + h ( xm 2 ) h ( xn ) + h ( xn ) h ( xn 1 ) , o bien
h ( xm 1 ) h ( xn 1 ) h ( xm 1 ) h ( xm 2 ) + h ( xn +1 ) h ( xn ) + h ( xn ) h ( xn 1 )
( xm 1 xm 2 + + xn +1 xn + xn xn 1 )
m2
n
n 1
x1 x0 + + x1 x0 + x1 x0
n 1
x1 x0
1
sustituyendo
n 1
xm xn g ( xm ) g ( xn ) h ( xm 1 ) h ( xn 1 ) x1 x0
1
y tomando lmites
n
r xn = lim xm xn lim x1 x0
m m
1
4
Por tanto, para calcular el nmero de iteraciones necesarias para obtener una precisin de 10
ser necesario que
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 13 de
UNIVERSIDAD DE OVIEDO 42
1
n
ln
x1 x0
r xn = lim xm xn lim x1 x0 < n >
m m
1 ln
Sustituyendo los valores
104 (1 0.99 )
ln
2.5985-2.5
n> > 1144.02 = 1145
ln ( 0.99 )
v=
gm
c ( ct
1 e m )
donde g es la aceleracin de la gravedad (9.81 m/s2), m la masa soportada, tel tiempo y c el
coeficiente de arrastre, viniendo dados todos los valores en S.I.
(a) Representar, de forma aproximada, la velocidad como funcin del coeficiente de
arrastre
(b) Seleccionar un mtodo de intervalo para determinar el valor de c para que un
paracadas que soporta 50 Kg alcance una velocidad de 30 m/s en 5 minutos. Realizar
4 iteraciones de Regula Falsi Modificada Presenta alguna ventaja?. (Nota: utilizar
decenas para determinar el intervalo).
gm
La curva pedida se puede obtener como combinacin del producto de una hiprbola f1 ( x ) =
x
xt
por una exponencial f 2 ( x ) = 1 e m
. Su representacin se muestra en la siguiente figura.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 14 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
f ( x) =
490.5
x
(1 e 6 x ) 30 luego
f (10 ) =
490.5
10
(1 e 60 ) 30 = 19.05 f ( 20 ) =
490.5
20
(1 e 120 ) 30 = -5.4750
Biseccin
a +b
La sucesin se genera como xn = n n
2
10 + 20
x1 = = 15 f (15 ) > 0
2
15 + 20
x2 = = 17.5 f (17.5 ) < 0
2
15 + 17.5
x3 = = 16.25 f (16.25 ) > 0
2
16.25 + 17.5
x4 = = 16.875 f (16.875 ) < 0
2
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 15 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Regula Falsi
an bn
La sucesin se genera como xn = an f ( an )
f ( an ) f ( bn )
10 20 10 20
x1 = 10 f (10 ) = 10 19.05 = 17.7676 f (17.7676 ) = 2.3935
f (10 ) f ( 20 ) 19.05 + 5.475
10 17.7676
x2 = 10 19.05 = 16.9006 f (16.9006 ) = 0.9773
19.05 + 2.3935
10 16.9006
x3 = 10 19.05 = 16.5638 f (16.5638 ) = 0.3873
19.05 + 0.9773
10 16.5638
x4 = 10 19.05 = 16.4330 f (16.4330 ) = 0.1516
19.05 + 0.3873
Iteracin a f(a) b f(b) x f(x)
1 10 19.0500 20 -5.4750 17.7676 -2.3935
2 10 19.0500 17.7676 -2.3935 16.9006 -0.9773
Regula Falsi
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 16 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
16.2584 16.9006
x4 = 16.2584 0.1690 = 16.3531 f (16.3531) = 0.0057
0.1690 + 0.9773
Iteracin a f(a) b f(b) x f(x)
Regula Falsi
Muller
En este caso, la aproximacin de la funcin se hace mediante un polinomio de segundo grado
que pasa por tres puntos {a, b, m} . Se comienza calculando los coeficientes de la parbola
2 ( x m ) + 1 ( x m ) + 0 mediante el sistema
2
( a m )2 a m 1 f ( a ) 0 = f ( m)
2
(b m )
b m 1 1 = f ( b ) ( a m ) a m 2 f ( a ) f ( m ) , y por tanto
2 2
=
0 0 1 0 f ( m ) ( b m )2 b m 1 f ( b ) f ( m )
1
1 = (a m) am ( a m) f ( a) f ( m)
2 2
con = , 1 = y
2 (b m) bm (b m) f (b ) f ( m)
2 2
=
2
f ( a ) f ( m) a m
2 =
f (b ) f ( m ) b m
Una vez obtenidos los coeficientes, se calculan los puntos de corte con el eje X utilizando la
frmula alternativa
2 0
r = m
1 12 4 0 2
y eligiendo el signo de la raz de forma que el valor absoluto del denominador sea lo mayor
posible. La raz as calculada estar entre m y uno de los extremos a b; si est entre m y a
(respectivamente b), se sustituye b (respectivamente a) por m y m por r.
Comenzamos el algoritmo aadiendo a los dos extremos, el punto medio
ba
m= = 15 f ( m ) = 2.7
2
52 5 25 16.35 16.35 5
= = 250 1 = = 613.125 2 = = 40.875
52 5 25 8.175 8.175 5
613.125 40.875
0 = 2.7 , 1 = = 2.4525 , 2 = = 0.1635 y
250 250
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 17 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
2 2.7
r = 15 = 16.1963 f ( r ) = 0.2846
2.4525 2.45252 4 2.7 0.1635
Si se hubiera elegido el signo positivo de la raz, el valor obtenido se saldra del intervalo
(28.8037). Los nuevos puntos son 15, 16.1963 y 20. Por tanto 0 = 0.2846
1.4312 1.1963 1.4312 2.4154
= = 22.7522 , 1 = = 43.1885 y 1 = 1.8982
14.4679 3.8037 14.4679 5.7596
2.4154 1.1963
2 = = 2.2968 y 2 = 0.1009
5.7596 3.8037
2 0.2846
r = 19.193 = 16.3475 f ( r ) = 0.0046
1.8982 1.89822 4 0.2846 0.1009
Iteracin a f(a) m f(m) b f(b)
0 10.0000 19.0500 15.0000 2.7000 20.0000 -5.4750
Mller
Las condiciones generales de convergencia del mtodo de Newton vienen dadas para
f ( x ) C 2 [ a, b ] por
2. f ( x ) 0x [ a, b ]
f ( x) =
490.5
x 2 (1 e 6 x 6 xe 6 x ) y puesto que
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 18 de
UNIVERSIDAD DE OVIEDO 42
(d) Analizar las siguientes funciones de punto fijo, comprobando su consistencia con la
ecuacin f(x)=0 y la convergencia del mtodo en [-0.5,0.5] y, en su caso, la velocidad
de convergencia.
ex + x 1 x ( e x 1)
g1 ( x ) = g2 ( x ) =
1 + cos ( x ) cos ( x )
(e) Cul sera el mtodo ms adecuado para resolver la ecuacin?. Raznese la
propuesta.
Esa informacin cualitativa debe completarse, si es posible, con mximos y mnimos. En este
caso, ambos casos dan ecuaciones trascendentes, irresolubles de forma analtica, por lo que
usamos informacin qualitativa:
f ( x ) = x cos ( x ) e x + 1 f ( 1) = 0.0918, f ( 0 ) = 0, f (1) = 1.1780
f ( x ) = cos ( x ) x sin ( x ) e x = 0 f ( 1) = 0.6690, f ( 0 ) = 0, f (1) = 3.0195
f ( x ) = 2sin ( x ) x cos ( x ) e x f ( 1) = 1.8554, f ( 0 ) = 1, f (1) = 4.9415
La funcin es positiva y decreciente en 1, tiene un punto de inflexin en 0 y se hace negativa y
decreciente en 1.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 19 de
UNIVERSIDAD DE OVIEDO 42
( 1) ( k cos ( x ) x sin ( x ) ) e x f ( ( 0 ) = ( 1)
k 1 k 1
k impar k 1
2 k 2
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 20 de
UNIVERSIDAD DE OVIEDO 42
Consistencia
f ( x ) = x cos ( x ) e x + 1
ec + c 1
f ( c ) = c cos ( c ) ec + 1 = 0 ec 1 = c cos ( c ) ec + c 1 = c + c cos ( c ) = c = g1 ( c )
1 + cos ( c )
c 2 cos ( c ) c ( ec 1) c ( ec 1)
f ( c ) = c cos ( c ) e + 1 = 0
c
= e 1 c =
c 2
c= = g2 ( c )
c cos ( c ) cos ( c )
Continuidad
g1 ( x ) C [ 0.5, 0.5]
x ( e x 1) x ( e x 1)
g2 ( x ) = 0x [ 0.5, 0.5]
cos ( x ) cos ( x )
Contractividad
e0.5 0.5 1 e0.5 + 0.5 1
g1 ([ 0.5, 0.5]) = , = [ -0.4759,0.6118] [ 0.5, 0.5]
1 + cos ( 0.5 ) 1 + cos ( 0.5 )
0.5 ( e 0.5 1) 0.5 ( e0.5 1)
g 2 ([ 0.5, 0.5]) = , = [ 0.4735,0.6080] [ 0.5, 0.5]
cos ( 0.5 ) cos ( 0.5 )
Al no ser contractiva ninguna de las funciones, no es necesario comprobar el resto de las
hiptesis.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 21 de
UNIVERSIDAD DE OVIEDO 42
f ( x) f ( x) f ( x)
g1 ( x ) = x 2 o bien g 2 ( x ) = x
f ( x) ( f ( x ) ) f ( x ) f ( x )
2
xk = g1 ( xk 1 ) xk = g1 ( xk 1 ) xk = g 2 ( xk 1 ) xk = g 2 ( xk 1 ) xk = g ( xk 1 ) xk = g ( xk 1 )
x0 -0.5 0.5 -0.5 0.5 -0.5 0.5
x1 2.3924 0.0846 -0.4614 -0.0551 0.9462 0.2923
x2 0.6344 0.0041 -0.3825 -0.0023 0.5755 0.1645
x3 0.1196 -0.2366 0.3398 0.0891
x4 0.0078 -0.0667 0.1932 0.0468
x5 0.1057 0.0241
x6 0.0560 0.0122
x7 0.0289 0.0062
x8 0.0147
x9 0.0074
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 22 de
UNIVERSIDAD DE OVIEDO 42
Utilice el teorema del valor intermedio y el teorema de Rolle para demostrar que la grfica de
f ( x ) = x3 + 2 x + k
cruza el eje x exactamente una vez, cualquiera que sea el valor de la
constante k.
Sabemos que x
: f ( x ) = x 3 + 2 x + k < 2 x + k , y por tanto, x < x1 = min ( 0, 1 2 k ) : f ( x ) < 0
Asimismo x +
: f ( x ) = x3 + 2 x + k > 2 x + k , y por tanto, x > x2 = max ( 0, 1 2 k ) : f ( x ) > 0 .
Como f ( x ) C ( ) por ser un polinomio, podemos aplicar el teorema del valor intermedio o
el Teorema de Bolzano, obteniendo c ( x1 , x2 ) : f ( c ) = 0 , lo que demuestra la existencia de al
menos una raz.
Supongamos que existen dos races, c y c, esto es, f ( c ) = f ( c ) = 0 . Aplicando el Teorema de
Rolle, debe existir un punto ( x1 , x2 ) : f ( ) = 0 . Pero f ( x ) = 3 x 2 + 2 > 0x , lo que
demuestra que c=c.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 23 de
UNIVERSIDAD DE OVIEDO 42
f ( x ) = ( x + 2)( x + 1) 2 x( x -1)3 ( x - 2)
Ejercicio 7.- Sea .Hacia qu cero converge el mtodo de
biseccin en los siguientes casos?
(a) Intevalo.[-1.5,2.5]
Puesto f ( x ) C ( ) por ser un polinomio, slo debemos comprobar que la funcin tiene signo
distinto en los extremos del intervalo.
f ( 3 2 ) = ( 12 )( 21 )2 23 ( 25 )3 ( 27 ) < 0 y f ( 5 2 ) = ( 92 )( 72 )2 52 ( 32 )3 ( 12 ) > 0 .
Aplicando el mtodo
a f(a) b f(b) m f(m)
-1.5000 - 2.5000 + 0.5000 +
-1.5000 - 0.5000 + -0.5000 -
-0.5000 - 0.5000 + 0.0000 0
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 24 de
UNIVERSIDAD DE OVIEDO 42
En este caso tambin converge hacia la raz x=0, pero de forma ms lenta, saltndose las races
en 1 y 2
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 25 de
UNIVERSIDAD DE OVIEDO 42
x + 3 x4 x+3 3x 4 + 2 x 2 + 3
g1 ( x ) = 4 3 + x - 2 x 2 g2 ( x ) = g3 ( x ) = g4 ( x ) =
2 x2 + 2 4 x3 + 4 x 1
obtenidas mediante despeje de la ecuacin f(x)=0, donde f(x)=x4+2x2-x-3.
(a) Use el manejo algebraico para demostrar que tienen un punto fijo en p, siendo p una
raz de f(x).
(b) Sea p0=1 y pn=g(pn-1) para n. Efecte, si es posible, cinco iteraciones con las
funciones g definidas en el ejercicio anterior. Qu funcin a su juicio , dar la mejor
aproximacin a la solucin?.
Existen dos posibilidades para demostrar la relacin. Se puede partir de f(x), y despejando llegar
a la relacin g k ( x ) = x , o bien a partir de la funcin g k ( x ) = x , obtener la ecuacin inicial.
f ( x ) = x 4 + 2 x 2 - x - 3 = 0 x 4 = 3 + x 2 x 2 x = 4 3 + x 2 x 2 = g1 ( x )
3 + x x4
f ( x ) = x4 + 2 x2 - x - 3 = 0 2 x2 = 3 + x x4 x = = g2 ( x )
2
3+ x 3+ x
f ( x ) = x4 + 2 x2 - x - 3 = 0 x2 ( x2 + 2) = 3 + x x2 = x= = g3 ( x )
x2 + 2 x2 + 2
f ( x ) = x 4 + 2 x 2 - x - 3 = ( 4 x 4 3 x 4 ) + ( 4 x 2 2 x 2 ) x 3 = x ( 4 x3 + 4 x 1) ( 3 x 4 + 2 x 2 + 3) = 0
3x4 + 2 x2 + 3
x= = g4 ( x )
4 x3 + 4 x 1
Representando los valores obtenidos con 4 cifras decimales, se obtiene la siguiente tabla:
Iteracin g1(x) g2(x) g3(x) g4(x)
0 1.0000 1.0000 1.0000 1.0000
1 1.1892 1.2247 1.1547 1.1429
2 1.0801 0.9937 1.1164 1.1245
3 1.1497 1.2286 1.1261 1.1241
4 1.1078 0.9875 1.1236 1.1241
5 1.1339 1.2322 1.1242 1.1241
La mejor aproximacin parece darla g4, puesto que se estabiliza tras cinco iteraciones.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 26 de
UNIVERSIDAD DE OVIEDO 42
Puesto que no conocemos las races de la funcin, no podemos saber cual es la mejor
aproximacin. Pero podemos utilizar una primera estimacin basndonos en la relacin
xn xn 1 . Comparando estos resultados, se tiene
Iteracin g1 ( xn ) xn g 2 ( xn ) xn g3 ( xn ) xn g 4 ( xn ) xn
Asimismo se puede representar la evolucin de las iteraciones de cada una de las cuatro
funciones de punto fijo:
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 27 de
UNIVERSIDAD DE OVIEDO 42
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 28 de
UNIVERSIDAD DE OVIEDO 42
f ( x ) = 12 + 14 x 2 x sin x 12 cos 2 x = 0
Ejercicio 9.- Dada la ecuacin
(a) Resulvala utilizando el mtodo de Newton, tomando como valor de partida p0= /2.
Realice las iteraciones necesarias hasta lograr una exactitud de 10-5. Explique por qu
el resultado parece poco usual para el mtodo de Newton.
(c) Hay alguna manera de acelerar el mtodo de Newton?. En caso afirmativo, aplicarla
partiendo de los mismos valores iniciales.
f ( xn )
El mtodo de Newton se formula como sigue x n +1 = xn , en nuestro caso
f ( xn )
f(x)= 1/2+1/4 x2-x senx-1/2 cos2x y f(x)=1/2 x-senx-x cosx+sen2x
Desarrollando llegamos a la expresin siguiente:
1 2 1 1
x + x (sen 2 x x cos x ) + cos 2 x
xn + 1 = 4 2 2 .La tabla de iteraciones es la siguiente:
1
x sen x x cos x + sen 2 x
2
X0= /2 X5=1.88946376 X10=1.89530703 X15=1.89548735
X1=1.78539816 X6=1.89248962 X11=1.89540061 X16=1.89549139
X2=1.84456162 X7=1.89399456 X12=1.89544746 X17=1.89549149
X3=1.87083441 X8=1.89475061 X13=1.89547084
X4=1.88334642 X9=1.89119816 X14=1.89548245
Aunque depende de la aproximacin el mtodo de Newton es muy poderoso y es
poco usual un nmero tan grande de iteraciones.
Aproximacin x0=5
La tabla de iteraciones es la siguiente
X0=5 X6=1.84994027 X12=1.89481974 X18=1.89548346
X1=13.0899939 X7=1.87335741 X13=1.89515714 X19=1.89548826
X2=21.3475720 X8=1.88457205 X14=1.89532572 X20=1.89548846
X3=17.4729272 X9=1.89006820 X15=1.89541000
X4=1.64868203 X10=1.89278981 X16=1.89545200
X5=1.79806359 X11=1.89414416 X17=1.89547300
Aproximacin x0=10
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 29 de
UNIVERSIDAD DE OVIEDO 42
Podemos comprobar que este mtodo de la secante es un poco mas lento que el de
Newton, es debido a su menor velocidad de convergencia.
Para el caso de la aproximacin x0=5 tenemos:
X0=5 X8=1.1933264 X16=1.8840542 X24=1.8953451
X1=13.0899693 X9=1.2029347 X17=1.8884252 X25=1.8953451
X2=9.3483432 X10=1.3460397 X18=1.8911474 X26=1.8954019
X3=4.1300745 X11=1.4783469 X19=1.8928110 X27=1.8954372
X4=0.8594522 X12=1.8228407 X20=1.8938383 X28=1.8954587
X5=0.8165007 X13=1.8407178 X21=1.8944714 X29=1.8954883
X6=0.9326150 X14=1.8655003 X22=1.8948624 X30=1.8954883
X7=1.0602308 X15=1.8765753 X23=1.8951039
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 30 de
UNIVERSIDAD DE OVIEDO 42
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 31 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
w1
w2
(a) Plantear la ecuacin para obtener la longitud que puede tener un ral para pasar por el
cruce dependiendo de las anchuras de las galeras y el ngulo que forman
(b) Plantear la ecuacin para obtener la longitud mxima del ral.
L1
w1
L2
w2
w1 w2
L = L1 + L2 L1 = L2 = ++ =
sin sin
w1 w2
de donde se obtiene que L = +
sin sin ( )
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 32 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
f ( x) = + = + =
sin 2 x sin 2 ( 64 + x ) sin 2 x ( sin ( 4 ) cos ( x ) + cos ( 4 ) sin ( x ) )2
6 6
=
(
6cos x 4 2cos ( x ) 2 3 sin ( x )
+
)
(
3 cos ( x ) sin ( x ) )
2
sin 2 x
La representacin grfica ha limitado los valores de x al intervalo [0, /2]. Por otro
lado, f(x) es continua salvo en los puntos que anulan el denominador, esto es,
sin x = 0 x=0
3 cos ( x ) sin ( x ) = 0 tan x = 3 x = 3
Para valores pequeos de x, cos(x)>sin(x) y f(x)>0; por el contrario, para valores de x
prximos a /3, f(x) <0. Ello nos indica la conveniencia de utilizar mtodos de intervalo.
Para aplicar mtodos de punto fijo, no hay operaciones simples que permitan el despeje.
Adems, la comprobacin de a convergencia del mtodo obliga a acotar f(x), y no parece fcil.
Por igual motivo, se descarta el clculo mediante el mtodo de Newton.
Se aplica Rgula Falsi al intervalo [/10,9/30]
Iter A F(a) B F(b) X
1 0.3142 53.1184 0.9425 -358.6987 0.3952
2 0.3952 28.7238 0.9425 -358.6987 0.4358
3 0.4358 20.5863 0.9425 -358.6987 0.4633
4 0.4633 15.8968 0.9425 -358.6987 0.4836
5 0.4836 12.7199 0.9425 -358.6987 0.4993
6 0.4993 10.3874 0.9425 -358.6987 0.5118
7 0.5118 8.5924 0.9425 -358.6987 0.5219
8 0.5219 7.1694 0.9425 -358.6987 0.5301
9 0.5301 6.0184 0.9425 -358.6987 0.5369
10 0.5369 5.0744 0.9425 -358.6987 0.5426
11 0.5426 4.2924 0.9425 -358.6987 0.5473
12 0.5473 3.6399 0.9425 -358.6987 0.5513
A la vista de los resultados, la funcin tiene aspecto de tener comportamiento asinttico en el
extremo derecho, por lo que hubiera sido ms adecuado utilizar Regula Falsi modificada.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 33 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 34 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
x 2 = ln (1 + x )
3
x2 + y 2 + 8
g ( x, y )
G(X ) = 1 ( 0 x, y 1.5)
10
=
g 2 ( x, y ) xy + x + 8
2
10
Comenzamos estudiando por separado ambas funciones, para posteriormente dibujarlas de forma
aproximada.
y = x2
La funcin est definida en toda la recta real y es siempre positiva. Es decreciente para valores
negativos, creciente para valores positivos y nula en el origen. Convexa en todo el intervalo.
y = ln (1 + x )
3
La funcin est definida para valores de x superiores a -1. La funcin es siempre creciente,
tomando valores negativos para ordenadas negativas y anulndose en el origen. Cncava en todo
el intervalo de definicin.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 35 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Se aprecia que una de las races es el valor x=0, siendo el otro positivo y comprendido en [1,2].
Utilizamos el teorema de Bolzano para verificarlo:
Se define f ( x ) = x 2 ln (1 + x ) , que es continua y derivable en ( 1, ) .
3
f ( 2 ) = ( 2 ) ln (1 + 2 ) = 0.7042 > 0
2 3
iii). f ( x ) 0x [a, b] 9 3
f '( x) = 2x que se anula en -1.8229 y
1+ x
0.8229, ambos fuera del intervalo en estudio.
x [a, b ] : f ( x ) 0 f (x ) 0 9 3
> 0x [1, 2]
iv).
f ( x ) = 2 +
(1 + x )
2
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 36 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
n xn f(xn) f(xn)
0 1.00000000000000 -1.07944154167984 0.50000000000000
1 3.15888308335967 5.70280268839673 5.59641864627486
2 2.13987377600689 1.14651197607723 3.32429513130685
3 1.79498503093734 0.13849100848341 2.51661905398256
4 1.73995445002195 0.00361759960453 2.38500018724542
5 1.73843763688966 0.00000276058570 2.38136009403345
6 1.73843647764217 0.00000000000161 2.38135731177998
existen muchas formas de obtener una funcin de punto fijo a partir de la ecuacin inicial
x 2 = ln (1 + x ) . Despejando la variable de ambos miembros, tenemos las opciones:
3
x2
g1 ( x ) = ln (1 + x ) y g 2 ( x ) = e 1
3 3
Comprobamos las condiciones en ambas funciones tomando el mismo intervalo que en el caso
anterior
g ( x ) C 1 [ a, b ]
g1 ( x ) C1 [1, 2] y g 2 ( x ) C 1 [1, 2]
x [ a, b ] : g ( x ) [ a, b ]
g1 ( x ) es montona creciente, y acotada entre g1 (1) = 1.4420 y g1 ( 2 ) = 1.8154
g 2 ( x ) es montona creciente, y acotada entre g 2 (1) = 0.3956 y g 2 ( 2 ) = 2.7937
x [ a, b ] : g ( x ) k < 1
1
g1 ( x ) = es montona decreciente y acotada entre g1 (1) = 0.5201 y
(1 + x ) 3log (1 + x )
g1 ( 2 ) = 0.2754
Aunque no es necesario, puesto que no cumple la condicin anterior
x2
g 2 ( x ) = 23 xe 3
es montona creciente y acotada entre g 2 (1) = 0.9304 y g 2 ( 2 ) = 5.0582
Por tanto slo la funcin g1 ( x ) cumple las condiciones del teorema de punto fijo.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 37 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Gi k
( x, y ) D : ( x, y ) con k < 1
x j 2
1
g1 ( x ) = es montona decreciente y acotada entre g1 (1) = 0.5201 y
(1 + x ) 3log (1 + x )
g1 ( 2 ) = 0.2754
Se necesita verificar que todos los elementos de la matriz jacobiana cumplan la relacin
anterior. La jacobiana
x y
5 5
J (X ) = 2
y + 1 2 xy
10 10
est formada por funciones montona creciente respecto a ambas variables, y se pueden
acotar en los extremos del convexo.
0 0 0.3 0.3
J ( 0, 0 ) = y J (1.5,1.5 ) =
0.1 0 0.3250 0.45
Por tanto la funcin indicada verifica las condiciones de punto fijo y converge a dicho
punto para cualesquiera que sea la eleccin del punto inicial dentro del dominio.
Realizamos algunas iteraciones, comparando los resultados cuando se obtienen los nuevos
valores con loa antiguos (Jacobi) y cuando se actualizan con los datos ya calculados (Gauss-
Seidel).
n Jacobi Gauss-Seidel
0 (0, 0) (0,0)
1 (0.8, 0.8) (0.8, 0.88)
2 (0.9280, 0.9312) (0.9414, 0.9670)
3 (0.9728, 0.9733) (0.9821, 0.9901)
4 (0.9894, 0.9894) (0.9945, 0.9969)
5 (0.9958, 0.9958) (0.9983, 0.9990)
6 (0.9983, 0.9983) (0.9995, 0.9997)
7 (0.9993, 0.9993) (0.9998, 0.9999)
8 (0.9997, 0.9997) (0.9999, 1)
9 (0.9999, 0.9999) (1, 1)
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 38 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
ex
x=
la funcin para poder aplicar iteracin de punto fijo es 3 .
(a) Mostrar que cuando se toma el signo negativo de la raz, y comenzamos por cualquier
x0 el mtodo converge a una raz prxima a 0.5. Demostrar que en realidad
(b) Mostrar que cuando se toma el signo positivo de la raz y se comienza por
x0 = 0 el
ex
Comprobamos si g ( x ) = verifica las condiciones de punto fijo.
3
1. g ( x ) C [ a, b ] La funcin es continua y est definida en toda la recta
real.
2. g ( x) [ a, b ] x [ a, b ] g ( x ) montona decreciente y acotada superiormente
(Existencia del punto fijo) por 0.
x g ( x ) 0 x I = ( , 0] : g ( I ) I .
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 39 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Vamos a demostrar a demostrar ahora que se cumple para cualquier valor real positivo. Si
definimos x1 = g(x0) se tiene que x1<0 para cualquier eleccin de x0. As pues, a partir del valor
x1 estamos en el caso anteriormente estudiado.
Procedemos de forma anloga al apartado anterior, pero con la raz positiva: Error! No se
pueden crear objetos modificando cdigos de campo.
g ( x ) C [a, b] La funcin es continua y est definida en toda la recta real.
donde I = [0, )
g ' ( x ) K < 1 x (a, b ) Error! No se pueden crear objetos modificando cdigos de
campo. es tambin montona creciente, y no se puede acotar
(Unicidad del punto fijo) superiormente en todo el intervalo. Para que se cumpla esta
condicin es necesario que Error! No se pueden crear objetos
modificando cdigos de campo.. Analizamos pues el intervalo
[0,2]. Sus valores mximos y mnimos se alcanzan en los extremos,
siendo respectivamente Error! No se pueden crear objetos
modificando cdigos de campo. y Error! No se pueden crear
objetos modificando cdigos de campo.. As pues Error! No se
pueden crear objetos modificando cdigos de campo..
Adems Error! No se pueden crear objetos modificando
cdigos de campo. y Error! No se pueden crear objetos
modificando cdigos de campo., ambos dentro del intervalo [0,2]
Hemos demostrado la existencia y unicidad de raz en dicho intervalo y la convergencia del
mtodo en el mismo.
cdigos de campo.), y al ser su derivada mayor que uno, crecer ms rpidamente que la recta,
esto es, Error! No se pueden crear objetos modificando cdigos de campo..
Para obtener otra frmula que converja a 4 se puede tomar la siguiente reordenacin:
Error! No se pueden crear objetos modificando cdigos de campo.Error! No se pueden
crear objetos modificando cdigos de campo..
Verificamos a continuacin las condiciones del teorema:
g ( x ) C [a, b] La funcin es continua y est definida en toda la recta real positiva
g ( x) [a, b]x [a, b] La funcin g ( x ) es montona creciente. Para evitar los valores
(Existencia del punto fijo) negativos, es necesario que Error! No se pueden crear objetos
modificando cdigos de campo.. Y para garantizar que la imagen
del intervalo este incluida en el intervalo, es suficiente que x>1. Por
tanto g (I ) I donde Error! No se pueden crear objetos
modificando cdigos de campo..
g ' ( x ) K < 1 x (a, b ) Error! No se pueden crear objetos modificando cdigos de
campo. que es positiva y montona decreciente en el intervalo I,
(Unicidad del punto fijo) por tanto, modificando el extremo izquierdo de forma que x>2,
tenemos garantizada la acotacin. Se toma finalmente el intervalo
Error! No se pueden crear objetos modificando cdigos de
campo.
Las nicas posibilidades para que puedan converger a cuatro, es que lo hagan en otro intervalo. Podemos comprobarlo:
g 2 ( x ) > xx [4 ,4 + ] g 2 ( x ) I . x I sino que es mayor y no podemos aplicar ninguna de las hiptesis
( )
vistas hasta ahora. g 2 x > xx 4 . Definimos el error como:
x n +1 x n = g 2 (x n ) x n
y esto siempre ser creciente. Si nos planteamos la sucesin x0, x1, x2,, xn ,
lim x n = +
n Esta sucesin diverge. Tendremos que encontrar otra tcnica del punto fijo. Al principio despejamos x2
pero tambin podemos hacerlo de otro modo:
e x 3x 2 = 0
e x = 3x 2
x = ln 3x 2
[ ]
Esta ecuacin cumple todas las hiptesis en el intervalo 4 ,4 + . Podra no habrsenos ocurrido esta funcin pero s:
f (x )
g (x ) = x
f ' (x )
Esta funcin seguro que en un entorno de la raz converge, y adems con convergencia cuadrtica.
ENL_GeEj00AllR.doc
Asignatura Clculo Numrico Pgina 41 de 42
UNIVERSIDAD DE OVIEDO
Ecuaciones No Lineales (Caso
Tema
General)
DEPARTAMENTO DE MATEMTICAS
Autor Csar Menndez Fernndez
Ejercicio 13.-
ENL_GeEj00AllR.doc