Prctica 5

Mtodos de resolucin numrica de

ecuaciones
El objetivo de esta prctica es resolver una ecuacin del tipo f(x)=0 aplicando un mtodo numrico. Cuando
queramos emplear algn mtodo numrico para aproximar una posible raz de una ecuacin, lo primero que
tenemos que estudiar es si dicha ecuacin tiene soluciones reales y comprobar que se dan las condiciones nece-
sarias para poder aplicar el mtodo correspondiente.
Siempre ser interesante representar grficamente la funcin f(x) en un intervalo apropiado. De esta manera, la
ecuacin tendr una interpretacin geomtrica clara, y nos guiar en la bsqueda de los puntos de corte de la
grfica de dicha funcin con el eje OX.
Los mtodos que vamos a estudiar generan una sucesin {x
n
}, nN, de valores aproximados de la solucin.
El mtodo se dice que es convergente si se cumple lim
n
x
n
=s, donde s es la solucin de la ecuacin f(x) =0.
El error cometido en la n-sima aproximacin viene dado por e
n
= x
n
- s .
En algunos mtodos numricos (biseccin y punto fijo) se dispone de una cota del error de aproximacin.
Si no se dispone de una cota del error de aproximacin puede tomarse la cantidad e
n
=
x
n
- x
n-1

x
n

.
Existencia de solucin (Teorema de Bolzano)
Si f es una funcin continua en [a, b] y f(a) f(b) <0, entonces existe al menos un s (a, b) tal que f(s) =0.
Unicidad de solucin (Corolario del Teorema de Rolle)
Si f' '(x) 0 para todo x (a,b), entonces f se anula a lo sumo una vez en el intervalo [a,b]
1. Mtodo de Biseccin
Sea f:[a,b]R una funcin continua en [a,b] y supongamos que f(a) f(b)<0.
El mtodo de biseccin genera una sucesin de intervalos encajados y en cada iteracin la aproximacin x
n
es el
punto medio del intervalo, y viene dada por x
n
=
a
n
+b
n
2
.
Una cota del error cometido en la n-sima iteracin viene dada por e
n
= x
n
- s
b -a
2
n+1
Ejemplo 1.1 Aplicar el mtodo de biseccin con 10 iteraciones para obtener una
solucin aproximada de la ecuacin 2 x - sen x - 1 = 0 y dar una cota del error
cometido.
Definimos la funcin
Clear@"Global`"D
f@x_D := 2 x Sin@xD 1
Practica5_Resolucion_Ecuaciones.nb 1
Buscamos un intervalo donde haya alternancia de signo
f@0D
1
f@1D N
0. 158529
Luego existe solucin en el intervalo [0,1].
Unicidad de la solucin
f'@xD
2 Cos@xD
Plot@80, f'@xD<, 8x, 5, 5<D
4 2 2 4
0. 5
1. 0
1. 5
2. 0
2. 5
3. 0
FullSimplify@f'@xD 0, x RealsD
Tr ue
Practica5_Resolucion_Ecuaciones.nb 2
Al ser la derivada distinta de cero para todo x R, la solucin es nica.
Aplicamos el algoritmo de biseccin
a
0
= 0; b
0
= 1; niter = 10;
DoBx
n
=
a
n
+ b
n
2
;
If@f@x
n
D 0, Print@"Solucin exacta", x
n
D; Break@DD;
If@f@x
n
D f@a
n
D < 0, a
n+1
= a
n
; b
n+1
= x
n
, a
n+1
= x
n
; b
n+1
= b
n
D,
8n, 0, niter<F;
PrintB"Solucin aproximada = ", N@x
niter
D,
" con error menor que " , NB
b
0
a
0
2
niter+1
FF
Sol uci n apr oxi mada = 0. 888184 con er r or menor que 0. 000488281
Ejemplo 1.2 Aplicar el mtodo de biseccin para obtener una solucin
aproximada de la ecuacin 1+ cos x - x = 0 con una precisin de 5 cifras decimales
exactas.
En primer lugar observemos que si x es una solucin de la ecuacin x =1 - cos x entonces x [0, 2], es decir fuera
del intervalo [0,2] no hay soluciones de la ecuacin.
Definimos la funcin
Clear@"Global`"D
f@x_D := 1 + Cos @xD x
Buscamos un intervalo donde haya alternancia de signo
f@0D
2
f@2D N
1. 41615
Luego existe solucin en el intervalo [0,2].
Unicidad de la solucin
Practica5_Resolucion_Ecuaciones.nb 3
f'@xD
1 Si n@xD
Plot@80, f'@xD<, 8x, 0, 2<D
0. 5 1. 0 1. 5 2. 0
2. 0
1. 5
1. 0
0. 5
FullSimplify@f'@xD 0, 0 x 2D
Tr ue
Al ser la derivada distinta de cero para todo x [0,2], la solucin es nica en dicho intervalo y, por tanto, en todo
R (por la observacin anterior).
Aplicamos el algoritmo de biseccin: en este caso no conocemos el nmero de iteraciones que hemos de
realizar, por lo que utilizaremos una instruccin que nos permita interrumpir el algoritmo cuando haya-
mos alcanzado la precisin deseada. Si el nmero de cifras decimales exactas que queremos conseguir
es ncifras, entonces el error debe ser menor que
1
2
10
nci f r as
.
Practica5_Resolucion_Ecuaciones.nb 4
a
0
= 0; b
0
= 2; ncifras = 5; =
1
2
10
ncifras
; n = 0;
WhileBTrue, x
n
=
a
n
+ b
n
2
;
IfB
b
0
a
0
2
n+1
, Print@" Solucin aproximada ", N@x
n
D,
" con una precisin de ", ncifras, " decimales."
"Se han necesitado ", n, " iteraciones"D; Break@DF;
If@f@x
n
D 0, Print@" Solucin exacta ", x
n
D; Break@DD;
If@f@x
n
D f@a
n
D < 0, a
n+1
= a
n
; b
n+1
= x
n
, a
n+1
= x
n
; b
n+1
= b
n
D; n = n + 1F;
Sol uci n apr oxi mada 1. 28343 con una pr eci si n de
5 deci mal es. Se han necesi t ado 18 i t er aci ones
2. Mtodo de Newton-Raphson
El mtodo de Newton-Rapshon parte de un valor inicial x
0
y tambin ahora se construye iterativamente una
sucesin de valores x
k
. Para ello utiliza las rectas tangentes a la grfica de la funcin en los puntos (x
k
, f Hx
k
))
calculando el punto de corte de stas con el eje OX , de esta forma se aproxima la raz buscada. Para que este
mtodo funcione correctamente ser necesario que la derivada de la funcin no est prxima a cero, al menos en
cierto entorno de la raz, ya que de lo contrario se podra producir una divisin entre cero o bien la creacin de
enormes errores de redondeo al dividir entre cantidades muy pequeas.
Las condiciones suficientes para la convergencia del mtodo de Newton-Raphson son las siguientes: Sea
f:[a,b]R fC
2
[a,b]. Si se cumple:
i) f(a) f(b) <0
ii) f' (x) 0, "x[a,b]
iii) f''(x) no cambia de signo en todo el intervalo,
entonces, si partimos de cualquier punto inicial x
0
[a,b] con la condicin de que f(x
0
) f '' (x
0
) > 0, la sucesin
{x
n
} dada por
x
n+1
=x
n
-
f Hx
n
L
f ' Hx
n
L
, n =0, 1, 2...
converge a la solucin de la ecuacin f(x) =0.
Acotacin del error: No se dispone de cota del error cometido en la n-sima iteracin, por lo que utilizamos el
valor e
n
= x
n
- x
n-1
.
Practica5_Resolucion_Ecuaciones.nb 5
Ejemplo 2.1 Aplicar el mtodo de Newton-Raphson para resolver la ecuacin
x
3
+ 4 x - 10 = 0 con 5 iteraciones y estimar el error cometido.
Definimos la funcin
Clear["Global`*"]
f[x_]:=x^3 + 4 x - 10
Buscamos un intervalo donde se cumplan las hiptesis del teorema de convergencia:
Se cumple i) pues f(1) f(2) <0.
f[1]
5
f[2]
6
Se cumple ii) pues f'(x)0 para todo x[1,2]
f'[x]
4 + 3 x
2
Practica5_Resolucion_Ecuaciones.nb 6
Plot@80, f'@xD<, 8x, 5, 5<D
4 2 2 4
20
40
60
80
FullSimplify@f'@xD 0, x RealsD
Tr ue
Y se cumple iii) pues f '' (x) >0 en [1, 2].
f''@xD
6 x
Practica5_Resolucion_Ecuaciones.nb 7
Plot@80, f''@xD<, 8x, 1, 2<D
1. 2 1. 4 1. 6 1. 8 2. 0
2
4
6
8
10
12
FullSimplify@f''@xD 0, 1 x 2D
Tr ue
Para generar la sucesin tomamos un valor inicial x
0
[1,2] tal que f(x
0
L f ''Hx
0
) >0. Generalmente se suele tomar
uno de los extremos del intervalo.
f[1] f''[1]
30
f[2] f''[2]
72
Luego tomamos x
0
=2.
Aplicamos el mtodo de newton-Raphson con 5 iteraciones
Practica5_Resolucion_Ecuaciones.nb 8
x
0
= 2; niter = 5;
DoBx
n
= x
n1

f@x
n1
D
f'@x
n1
D
, 8n, 1, niter<F;
Print@"Solucin aproximada = ", N@x
niter
, 10DD;
Print@"Error estimado = ", N@Abs@x
niter
x
niter1
DDD
Sol uci n apr oxi mada = 1. 556773264
Er r or est i mado = 8. 81486 10
13
Tambin podemos resolverla utilizando la instruccin FindRoot [ecuacin, {x,x
0
}]que encuentra un valor aproxi-
mado de la solucin de la ecuacin dada (en este caso suponemos que en la variable x) partiendo del valor inicial
x
0
y aplicando el mtodo de Newton-Raphson.
FindRoot[x^3+ 4 x - 10, {x,2}]
8x 1. 55677<
3. Mtodo del Punto Fijo
Un punto fijo de una funcin F es un valor x tal que F(x) = x. El problema de encontrar las soluciones de una
ecuacin f(x)=0 y el de encontrar los puntos fijos de una funcin F(x) son equivalentes en el siguiente sentido:
Definiendo F(x)=x-f(x), o F(x) =x +f(x), un punto fijo de F ser una raz de f, o , al contrario, una raz de f ser
un punto fijo de F.
Condiciones de convergencia del mtodo de punto fijo. Las condiciones suficientes para la existencia de punto
fijo de F:[a,b]R son las siguientes:
i) FC
1
@a, bD
ii) F(x)[a,b], "x[a,b]
iii) F' (x)K<1, "x[a,b]
en cuyo caso existe una nica solucin de la ecuacin F(x) = x en [a,b]. Adems, la sucesin {x
n
}dada por x
n+1
=
F(x
n
), n =0,1,2.... converge a dicha solucin, siendo x
0
un punto arbitrario del intervalo [a,b].
Acotacin del error: en la n-sima iteracin viene dado por: e
n
= x
n
- s
K
n
1-K
x
1
- x
0
, siendoK la con-
stante que aparece en la condicin iii) , x
0
el iterante inicial y x
1
=F(x
0
).
Ejemplo 3.1 Aplicar el mtodo de punto fijo para resolver la ecuacin 2 x - sen (x) -
1 = 0 con 20 iteraciones. Dar una cota del error cometido.
En el Ejemplo 1.1 hemos probado que la ecuacin tiene solucin nica en el intervalo [0, 1]. Adems
2x - senHxL - 1 = 0 2x=sen (x) +1 x=
1
2
HsenHxL + 1L
Practica5_Resolucion_Ecuaciones.nb 9
Entoncesaplicamosel mtododepuntofijoa lafuncin FHxL =
1
2
HsenHxL + 1L.
Definimos la funcin F(x)
Clear@"Global`"D
@x_D :=
1
2
HSin@xD + 1L
Comprobamos si se cumplen las condiciones suficientes de convergencia:
i) La funcin FC
1
@0, 1D
'[x]
Cos@xD
2
ii) F(x)[0,1], "x[0,1]
Podemos comprobarlo representando la grfica de la funcin en el intervalo [0,1] y viendo que su imagen queda
dentro del intervalo [0,1].
Plot@8@xD, 0, 1<, 8x, 0, 1<D
0. 2 0. 4 0. 6 0. 8 1. 0
0. 2
0. 4
0. 6
0. 8
1. 0
iii) F' (x)k<1, "x[0,1]
Representamos la grfica de F'(x) en el intervalo [0,1] y tomamos como K el valor mximo en dicho intervalo
(existe por el teorema de Weierstrass)
Practica5_Resolucion_Ecuaciones.nb 10
Plot@8Abs@

@xDD, 0, 1<, 8x, 0, 1<D

0. 2 0. 4 0. 6 0. 8 1. 0
0. 2
0. 4
0. 6
0. 8
1. 0
Grficamente se observa que el valor mximo del valor absoluto de la derivada se alcanza en x=0.
Abs@

@0DD
1
2
Luego podemos tomar K=1/2.
Como se cumplen las tres condiciones, la sucesin dada por x
n+1
=F(x
n
), n0, converge a la solucin de la
ecuacin partiendo de cualquier punto x
0
del intervalo [0,1].
Aplicamos el mtodo con 20 iteraciones:
Practica5_Resolucion_Ecuaciones.nb 11
K =
1
2
; x
0
= 1; niter = 20;
Do@x
n
= @x
n1
D, 8n, 1, niter<D;
Print@"Solucin aproximada = ", N@x
niter
, 10DD;
PrintB"El error cometido es ", NB
K
niter
1 K
Abs@x
1
x
0
DFF
Sol uci n apr oxi mada = 0. 8878622116
El er r or comet i do es 1. 51185 10
7
4. Ejercicios propuestos
EJERCICIO 1.- Al principio de cada ao un banco deposita 1000
euros en un fondo de inversin y retira un capital de 6000 euros
al final del quinto ao. El tipo medio de inters anual r @0, 1D de
esta inversin es solucin de la ecuacin
6000 = 1000
k=1
5
H1 +r L
k
.
Aplicar el mtodo de biseccin para obtener r con un error
10
-10
. Cuntas iteraciones son necesarias?
EJERCICIO 2.- Probar que la ecuacin x
3
+cosHxL +10 x = 0 tiene
una nica solucin real. Aproximar la solucin usando el mtodo
de Newton-Raphson con 3 iteraciones. Dar una estimacin del
error cometido.
EJERCICIO 3.- Aplicar el mtodo de punto fijo con 10 iteraciones
para aproximar la nica solucin mayor que 2 de la ecuacin
3 x
2
1+x
2
- x = 0. Dar una acotacin del error cometido.
Practica5_Resolucion_Ecuaciones.nb 12