Universidad de Antofagasta Facultad de Ciencias Bsicas Departamento de Matemticas

REN ZIGA FLORES ANALISIS NUMERICO PRIMER SEMESTRE 2017

[1]
Teorema 1:
Si una funcin continua asume valores de signo opuesto en los extremos de un intervalo a, b , es decir
f (a) f (b) 0 , entonces el intervalo contendr al menos una raz de f ( x) 0 . Esto es existe por lo
menos un nmero a, b tal que f ( ) 0 .
Ejemplo 1:
Determinar el nmero de races de la ecuacin e x 3x 0 .
Solucin:
Como se vio en el ejemplo si aplicamos las tcnicas de la derivada el trabajo es muy largo para conocer el nmero
de races reales y si tratamos de resolver la ecuacin planteada, nos encontramos con la siguiente problemtica
e x 3x 0 e x 3x / ln x 3 ln x
Como se puede ver resulta una ecuacin igual o ms complicada que la inicial para determinar los valores de las
races reales.
Es conveniente a veces sustituir f ( x) 0 por una ecuacin equivalente (por lo que tienen las mismas races).
Esto es

f ( x) 0 h( x) g ( x)

donde las funciones h y g son ms sencillas de graficar que f , entonces las abscisas de los puntos de
interseccin de las grficas de h y g son las races deseadas.
Entonces podemos hacerlo en forma siguiente, sea h( x) e x y g ( x) 3x que resultan ser dos funciones fciles
de graficar, como se muestra en la figura siguiente:

Como se puede observar en la figura anterior existen dos races

reales, las cuales podemos verificar a travs del teorema 1.
Una de las races reales es 0 la cual pertenece al intervalo g ( x) 3 x

cerrado 0 ; 1 dado que:

f (0) e0 3(0) 1 y f (1) e1 3(1) 0,2817181716 ,
por tanto: h( x ) e x
f (0) f (1) (1) (0, 281718716) 0, 281718716 0
f (0) f (1) 0
luego 0 0 ; 1
0 1
La otra raz que se observa en la grfica es 1 que pertenece
al intervalo 1 ; 2 , apliquemos el teorema 1 para verificar esta
afirmacin:
f (1) e1 3(1) 0,2817181716 y f (2) e2 3(2) 1,389056099 , por tanto
f (1) f (2) 0 1 1; 2 . Este anlisis se confirma si observamos la grfica de la funcin
f ( x) e x 3x , en la siguiente figura.

f ( x) e x 3x

0 1
Universidad de Antofagasta Facultad de Ciencias Bsicas Departamento de Matemticas
REN ZIGA FLORES ANALISIS NUMERICO PRIMER SEMESTRE 2017
[2]
Ahora analizaremos uno de los mtodos numricos ms importantes para resolver ecuaciones no lineales, este es
el mtodo de Biseccin:

MTODO DE BISECCIN
Supongamos que f ( x) 0 donde f es una funcin continua en a , b y f (a) f (b) 0 . Para
determinar una raz de f ( x) 0 en a , b debemos determinar el punto medio del intervalo el cual es
ab
, evaluando este valor en la funcin se tiene:
2
ab ab
i) Si f 0 , entonces es la raz deseada.
2 2

ab ab
ii) Si f 0 , entonces haciendo m se obtienen dos intervalos, de tal manera que:
2 2
a, b a, m m, b
Si f (a) f (m) 0 , entonces f (m) f (b) 0 , supongamos que este sea el caso, entonces, luego asignando
a a a1 y a m b1 se obtiene el siguiente intervalo a1 , b1 , este intervalo se divide por la mitad y se
procede en forma anloga al anterior. Grficamente esto se ve as:

Al cabo de cierto nmero de iteraciones tendremos la raz exacta de f ( x) 0 o una sucesin infinita de
intervalos a1 , b1 , a2 , b2 , an , bn cada vez ms reducidos, tal que:
f (an ) f (bn ) 0
(n 1,2, )
ba
El tamao de cada intervalo es bn an n1 ; n 0,1, 2,3, 4,..... .
2
Como los puntos extremos 1 2 3a , a , a , , an forman una sucesin acotada montona no decreciente y los
extremos derechos b1 , b2 , b3 , , bn forman una sucesin acotada no creciente, entonces existe un lmite
comn:
ba
lim(bn an ) lim n 1 0 lim bn lim an
n n
2 n n

Ahora,

lim f (an ) f (bn ) f lim an f lim bn f f f 0
n n n
2
f 0

Esto es, es la raz que entrega el mtodo de la biseccin para f ( x) 0

Universidad de Antofagasta Facultad de Ciencias Bsicas Departamento de Matemticas
REN ZIGA FLORES ANALISIS NUMERICO PRIMER SEMESTRE 2017
[3]
Algoritmo 1.

Dada una funcin f ( x) continua sobre el intervalo a , b y tal que f (a) f (b) 0 .
an bn
i) Calculamos el punto medio del intervalo a travs de mn n 0,1, 2,
2
ii) Si n 0 f (m0 ) 0 , entonces el valor de la raz es 0 m0
iii) Si f (m0 ) 0 , entonces tendremos dos intervalos tales que:
a, b a , m0 m0 , b
iv) Si f (a) f (m0 ) 0 , entonces 0 a , m0 , luego construimos un nuevo intervalo el cual
ser a a0 y m0 b0 , de lo contrario ( f (a) f (m0 ) 0 ) diremos que 0 m0 , b , luego
el nuevo intervalo ser a0 m0 y b0 b
Sea el nmero de decimales exactos que se quiere aproximar la raz de la ecuacin dada, por tanto un
criterio de parada ser xn 1 xn E 5 10 ( 1) , ahora el problema radicara en calcular el nmero de
iteraciones que se tendra que realizar para obtener el nmero de decimales exactos pedidos.
Observemos el siguiente esquema:
ba ba
2 2
a0 b0

a ab b
a b m0
ba m1 0 0 2
2
22
a1 b1
Cuando aplicamos el mtodo de Biseccin, primero calculamos el punto medio del intervalo, cuyo valor es
ab ba
m , y su longitud es b0 a0 , si suponemos que la raz de la ecuacin pertenece al intervalo
2 2
a b
a , m a0 , b0 , entonces debemos calcular el punto medio de este intervalo cuyo valor ser m0 0 0 y
2

b0 a0
su amplitud es b1 a1 , reemplazando la longitud del intervalo a0 , b0 , en esta ltima igualdad se
2
tiene:
ba
b a0 2 ba ba
b1 a1 0
2 2 4 22
ba
De esta manera se obtiene que el tamao de cada intervalo es dado por bn an y utilizando el criterio de
2n 1
parada entonces tenemos que:

ba
n 1
xn 1 xn E 5 10( 1)
2

Como se puede observar de la expresin anterior podemos despejar n , el cual indicar el nmero de iteraciones.
ba
log
ba ba ba E 1
n 1
E 2n 1 n 1 log 2 log n
2 E E log 2
Universidad de Antofagasta Facultad de Ciencias Bsicas Departamento de Matemticas
REN ZIGA FLORES ANALISIS NUMERICO PRIMER SEMESTRE 2017
[4]
Ejemplo 2:
Dada la ecuacin xe x 1 0 , determinar:
a) Grficamente sus races reales y acotarlas en intervalos de enteros consecutivos.
b) El error despus de siete iteraciones a travs del Mtodo de Biseccin.
Solucin:
1
a) Sea f ( x) xe x 1 g ( x) e x h( x) , graficando estas dos ltimas dos funciones obtendremos
x
las races reales en forma grfica.

g ( x) e x

1
h( x )
x

Como se puede observar en la grfica existe una sola raz real, la cual pertenece al intervalo 0 ; 1 , una
justificacin de esta afirmacin es a travs de Teorema 1
f (0) 0 e 0 1 1 f (1) 1 e1 1 1,718
f (0) f (1) 1,718 0
Por tanto existe una sola raz en el intervalo 0 ; 1
b) Aplicando el Mtodo de Biseccin se tiene:

n an bn mn xn f ( an ) f ( mn ) f (an ) f (mn ) xn1 xn

0 0,000000000000 1,000000000000 0,500000000000 -1,000000000000 -0,175639364650 + 0,250000000000
1 0,500000000000 1,000000000000 0,750000000000 -0,175639364650 0,587750012460 - 0,125000000000
2 0,500000000000 0,750000000000 0,625000000000 -0,175639364650 0,167653723395 - 0,062500000000
3 0,500000000000 0,625000000000 0,562500000000 -0,175639364650 -0,012781755460 + 0,031250000000
4 0,562500000000 0,625000000000 0,593750000000 -0,012781755460 0,075142355321 - 0,015625000000
5 0,562500000000 0,593750000000 0,578125000000 -0,012781755460 0,030619243927 - 0,007812500000
6 0,562500000000 0,578125000000 0,570312500000 -0,012781755460 0,008779997268 - 0,003906250000
7 0,562500000000 0,570312500000 0,566406250000 -0,012781755460 -0,002035377862 + 0,001953125000
8 0,566406250000 0,570312500000 0,568359375000 -0,002035377862 0,003363661588 -

Como se puede observar en el cuadro anterior

E xn1 xn 0,568359375 0,56640625
0,001953125 0,005 5 103 5 10 1
Por tanto 1 3 2
Luego podemos asegurar que la solucin de la ecuacin es 0, 566400625 con dos cifras decimales exactos.
Nota: Se sabe que un valor ms exacto con una precisin de 10 cifras decimales es 0,5671432904