Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MTODO DE BISECCIN
Ver Animacin...
Si f es una funcin continua sobre el intervalo [a,b] y si f(a) f(b)<0, entonces f debe tener un cero en (a,b).
Dado que f(a)f(b)<0, la funcin cambia de signo en el intervalo [a,b] y por lo tanto tiene por lo menos un cero
en el intervalo. (Vase la figura 5.1)
Esta es una consecuencia del teorema del valor intermedio para funciones continuas, que establece que
si f es continua en [a,b] y si k es un nmero entre f(a) y f(b) , entonces existe por lo menos un c (a,b) tal
que f(c)=k.
(para el caso en que f(a)f(b)<0 se escoge k=0, luego f(c)=0, c (a,b)).
El mtodo de biseccin consiste en dividir el intervalo en 2 subintervalos de igual magnitud, reteniendo el
subintervalo en donde f cambia de signo, para conservar al menos una raz o cero, y repetir el proceso varias
veces.
Por ejemplo, suponga que f tiene un cero en el intervalo [a,b].
A continuacin se renombra a c como b y se comienza una vez ms con el nuevo intervalo [a,b], cuya longitud
es igual a la mitad del intervalo original.
Si f(a)f(c)>0 , entonces f(c)f(b)<0 y en este caso se renombra a c como a.
En ambos casos se ha generado un nuevo intervalo que contiene un cero de f, y el proceso puede repetirse.
Ejemplo.
La funcin f(x) = xsenx 1 tiene un cero en el intervalo [0,2], porque f(0) = -1 yf(2)=0.818595.
Si se denota con
entonces c1 = 1. Ahoraf(c1) = f(1) = -0.158529,
luego la funcin tiene un cero en el intervalo [c1, b1] = [1,2] ; se renombra a2=c1 y b2=b1 .
En la tabla de abajo se muestran las primeras nueve iteraciones del mtodo de biseccin para f(x)= xsenx 1
con a=0 b=2.
Extremo
Extremo
Punto
Valor de la
Error
izquierdoan
derecho bn
medio cn
funcin f(cn)
Relativo
-0.158529
1.5
0.496242
0.333333
1.5
1.25
0.186231
0.2
1.25
1.125
0.015051
0.111111
1.125
1.0625
-0.071827
0.0588235
1.0625
1.125
1.09375
-0.028362
0.0285714
1.09375
1.125
1.109375
-0.006643
0.0140845
1.1093750
1.125
1.1171875
0.004208
0.0069930
1.1093750
1.1171875
1.11328125
-0.001216
0.0035087
establecida (por ejemplo = 10-3). Otro criterio que puede utilizarse es examinar s
Tambin se puede usar como criterio de parada el error relativo entre dos aproximaciones del cero
de f ,
En el ejemplo anterior si
ya que:
|f(c8)| = |f(1.1171875)| = 0.004208 <
= 0.005,
Cuando se generan aproximaciones por medio de una computadora, se recomienda fijar un nmero mximo
de iteraciones N que debera realizar la mquina. Esto con el fin de contar con un resguardo para evitar la
posibilidad de que el proceso de clculo caiga en un ciclo infinito cuando la sucesin diverge (o cuando el
programa no esta codificado correctamente). Un algoritmo para el mtodo de biseccin es:
Si f es continua en [a, b] y f(a) f(b) < 0, el mtodo de biseccin genera una sucesin
un cero c de f con la propiedad que:
,n
que aproxima
1 (Prueba)
Ejemplo.
Para determinar el nmero de iteraciones necesarias para aproximar el cero def(x) = xsen x - 1 con una
exactitud de 10-2en el intervalo [0,2], se debe hallar un nmero n tal que:
, n > 7.643...
Notas:
El mtodo de biseccin tiene la desventaja que es lento en cuanto a convergencia (es decir que se
necesita un n grande para que
sea pequeo). Otros mtodos requieren menos iteraciones
para alcanzar la misma exactitud, pero entonces no siempre se conoce una cota para la precisin.
El mtodo de biseccin suele recomendarse para encontrar un valor aproximado del cero de una
funcin, y luego este valor se refina por medio de mtodos ms eficaces. La razn es porque la
mayora de los otros mtodos para encontrar ceros de funciones requieren un valor inicial cerca de
un cero; al carecer de dicho valor, pueden fallar por completo.
Resolver una ecuacin en una variable como por ejemplo: xex=1 es equivalente a resolver la
ecuacin xex-1=0 , o a encontrar el cero de la funcin f(x) = xex-1. Para aproximar el cero de f o la
raz de la ecuacin se puede hacer la grfica de f en una calculadora o usar matlab para determinar
un intervalo donde f tenga un cero. Tambin se pueden ensayar nmeros a y b de tal manera
que f(a)f(b)<0. Para el caso de f(x) =xex-1 por ejemplo f(0) = -1, f(1) = e-1 1.71828 entonces f tiene
un cero en el intervalo [0,1].
Cuando hay races mltiples, el mtodo de biseccin quiz no sea vlido, ya que la funcin podra no
cambiar de signo en puntos situados a cualquier lado de sus races. Una grfica es fundamental para
aclarar la situacin. En este caso sera posible hallar los ceros o races trabajando con la
derivada f (x), que es cero en una raz mltiple.
MTODO DE LA BISECCIN
El mtodo de biseccin se basa en el siguiente teorema de Clculo:
Teorema del Valor Intermedio
Sea
contnua en un intervalo
y supongamos que
tal que
, existe
un
.
tal
que
.
Bsicamente el Teorema del Valor Intermedio nos dice que toda funcin
contnua en un intervalo cerrado, una vez que alcanz ciertos valores en
los extremos del intervalo, entonces debe alcanzar todos los valores
intermedios.
En particular, si
tal que
en el
intervalo
.
El mtodo de biseccin sigue los siguientes pasos:
Sea
contnua,
tales que
iii) Evaluar
casos:
En este caso,
tenemos que
En este caso,
aqu que
tenemos que
y
se encuentra en el intervalo
es decir,
Ejemplo 1
Aproximar la raz de
hasta que
.
Solucin
Sabemos por lo visto en el ejemplo 1 de la seccin anterior, que la
nica raz de
se localiza en el intervalo
. As que este
intervalo es nuestro punto de partida; sin embargo, para poder aplicar el
mtodo de biseccin debemos checar que
opuestos.
En efecto, tenemos que
tengan signos
mientras que
. As
es contnua en el
ii)
Evaluamos
iii)
Para identificar mejor en que nuevo intervalo se encuentra la
raz, hacemos la siguiente tabla:
, y hacemos la tabla:
Aprox. a la raz
Error aprox.
1.25
1.375
9.09%
1.3125
4.76%
1.28125
2.43%
1.296875
1.20%
1.3046875
0.59%
hasta que
de
se localiza en el intervalo
. Para poder aplicar el mtodo
de biseccin, es importante checar que s se cumplen las hiptesis
requeridas.
Sabemos que
es contnua en el intervalo
, y checamos que
y
tengan signos opuestos.
En efecto,
Mientras que,
Puesto que
localiza en el intervalo
.
.
Puesto que
se localiza en el intervalo
Calculamos el punto medio,
Aprox. a la raz
0.5
Error aprox.
0.75
33.33%
0.625
20%
0.5625
11.11%
0.53125
5.88%
0.515625
3.03%
0.5234375
1.49%
0.51953125
0.75%
#
1
2
3
4
Xi
-3
-2.5
-2.5
-2.5
Xd
-2
-2
-2.25
-2.375
Fxi
Fxd
Nuevo Xm
Error
-14
6
-2.5
-0.5
-2.125
6
-2.25
-0.25
-2.125
2.359375
-2.375
-0.125
-2.125
0.228515625 -2.4375
-0.0625
5 -2.4375
-2.375 0.9196777343 0.228515625 -2.40625 -0.03125
75
6 -2.40625 -2.375 0.3385314941 0.228515625 -2.390625 -0.015625
4062
7
-2.375 0.0532569885 0.228515625 -2.3828125-0.0078125
2.390625
25391
0.088065624
8
-2.3828125 0.0532569885
2.390625
237061
2.38671875 0.00390625
25391
0.017513573
9
0.0532569885
2.38867187 0.00195312
2.390625 2.38671875
169708
25391
5
5
1
0.017513573
2.388671
0.0178443714
2.38769531 0.00097656
0
2.38671875
169708
875
97631
25
25
1
0.017513573
2.387695
0.0001585679
2.38720703 0.00048828
1
2.38671875
169708
3125
1287661
125
125
1
0.008679210
2.387695 2.38720703 0.0001585679
2.38745117 0.00024414
2
0919411
3125
125
1287661
1875
0625
1
0.004260747
2.387695 2.38745117 0.0001585679
2.38757324 0.00012207
3
9990693
3125
1875
1287661
21875
03125
1
0.002051196
2.387695 2.38757324 0.0001585679
2.38763427 6.10351562
4
7759376
3125
21875
1287661
73438
5E-5
Hemos terminado de analizar el mtodo de la biseccin, en este ejemplo
con un error de 0.0001; se encuentra la ltima raiz(Xm): 2.3876647949219 con 14 iteracciones.
Donde hemos agregado la lnea recta que une los puntos extremos de la
grfica en el intervalo
.
Es claro que si en lugar de considerar el punto medio del intervalo,
tomamos el punto donde cruza al eje
esta recta, nos aproximaremos mucho
ms rpido a la raz; sta es en s, la idea central del mtodo de la
regla falsa y sta es realmente la nica diferencia con el mtodo de
biseccin, puesto que en todo lo dems los dos mtodos son prcticamente
idnticos.
Supongamos que tenemos una funcin
intervalo
adems,
que es contnua en el
y
, hacemos
Multiplicando por
nos da:
contnua,
tales que
iii) Evaluar
casos:
En este caso,
tenemos que
En este caso,
aqu que
tenemos que
y
se encuentra en el intervalo
Ejemplo 1
Usar el mtodo de la regla falsa para aproximar la raz
de
, comenzando en el intervalo
y hasta que
.
Solucin
Este es el mismo ejemplo 1 del mtodo de la biseccin. As pues, ya
sabemos que
es contnua en el intervalo dado y que toma signos
opuestos en los extremos de dicho intervalo. Por lo tanto podemos aplicar
el mtodo de la regla falsa.
Calculamos
la primera aproximacin:
As pues,
evaluamos
Y hacemos nuestra tabla de signos:
, y hacemos la tabla de
Y el error aproximado:
Observe
raz, a
Ejemplo
Usar el
de
, comenzando en el intervalo
y hasta
que
.
Solucin
Este es el mismo ejemplo 2 del mtodo de la biseccin. As pues, ya
sabemos que se cumplen las hiptesis necesarias para poder aplicar el
mtodo, es decir, que
que
#
1
2
Xi
-3
-3
Xd
-2
-2.3
Fxi
-14
-14
Fxd
6
1.533
-2.51
-2.3
-2.323251
1.533
-2.51
5 2.3959690
27827
6 2.3959690
27827
7 2.3903292
274407
8 2.3903292
274407
9
-
2.3207255 -2.323251
520505
2.3207255 0.150430754
520505
08291
2.3460753 0.150430754
250876
08291
2.3460753 0.047890744
250876
83039
2.3828609 0.047890744
830056
83039
-
1.18038714
95748
1.18038714
95748
0.74096319
530987
0.74096319
530987
0.08719129
4668852
0.08719129
Nuevo Xm
-2.3
-2.51
2.3207255
520505
2.3959690
27827
2.3460753
250876
2.3903292
274407
2.3828609
830056
2.3898758
357919
-
Error
-0.3
-0.21
0.020725552
050473
0.075243475
776506
0.025349773
037123
0.044253902
353135
0.036785657
917969
0.007014852
7863751
-
2.3898758
357919
1
2.3898758
0
357919
1
2.3890981
1
847273
1
2.3890981
2
847273
1
2.3878552
3
371823
2.3828609 0.039667231
830056
209549
2.3873888 0.039667231
543541
209549
2.3873888 0.025569238
543541
087972
2.3875932 0.025569238
89098
087972
2.3875932 0.003053910
89098
2982061
4668852
0.00538865
29350926
0.00538865
29350926
0.00168831
43877866
0.00168831
43877866
2.3873888
543541
2.3890981
847273
2.3875932
89098
2.3878552
371823
2.3876095
139854
0.004527871
3485732
0.001709330
3731688
0.000204434
74381393
0.000261948
08438618
1.622488739
9829E-5
Este mtodo tambin conocido como regula falsi del latn, es un mtodo
iterativo para encontrar races de un polinomio real, por lo cual slo
obtiene races reales.
Cabe mencionar que este al ser un mtodo numrico rara ves es exacto
motivo por el cual desde el inicio es importante fijar un error mximo
permisible, esto con el fin de saber en que momento detener la
iteraciones, porque el mtodo en condiciones normales en cada iteracin
se acerca ms, entonces lo se que busca es que el f(x) se aproxime lo
ms al cero. Para el caso de este ejemplo se busca que f(x) no sea
mayor a 0.001
real.
Como se pudo apreciar la grafica corta el eje de las x entre 1.5 y 2, pero
normalmente se necesita un valor mas preciso, por lo cual se comienza a
explicar el mtodo de posicin falsa.
Primer paso.
Xizq=1
xder=2
f(xizq)=f(1)=-10
f(xderr)=f(2)=10
Segundo paso
Iteracin 1.
Se determina una xm mediante la formula:
Tercer paso
Entonces dado que f(xm) es negativo la xizq ser remplazada por la xder,
quedando as
xizq=1.5
xder=2
f(xizq)=-1.625
f(xder)=10
xizq
xder
xm
f(xm)
1.5
-1.625
1.569892473 - 0.2125300109
1
1.5
1.569892473 2
1.578843317 -0.02694863188
1.579975226 2
1.580118134 0.000429631904
5
Este mtodo une los puntos f(xizq) y f(xder) con una lnea recta. La
interseccin de esta lnea con el eje x proporciona una posicin falsa de
raz.
Multiplicando por
nos da:
f(x) = 0
x - g(x) = 0
x = g(x)
Observe que si c es un cero de f(x), f(c)=0 y c=g(c). (Siempre que se tenga c=g(c) se dice que c es un punto
fijo de la funcin g). Para aproximar un cero de f se utiliza la iteracin de punto fijo (1) xn+1 = g(xn) , n = 0, 1, 2,
3, . . .
donde x0 es una aproximacin inicial del cero de f.
Ejemplo.
Si se comienza con x0 = 4 y se itera con la iteracin de punto fijo (1), los valores sucesivos de x son:
x0 = 4
x1 = 6.5
x2 = 19.625
x3 = 191.070
resulta evidente que las iteraciones son divergentes.
La diferencia en el comportamiento de los tres reordenamientos se puede apreciar considerando las grficas
en los tres casos. El punto fijo de x = g(x) es la interseccin de la recta y = x, y la curva y = g(x). En la figura
5.5 se presentan los tres casos. Se comienza en el eje x con x0, se efecta un desplazamiento vertical hacia la
curva, luego uno horizontal hacia la recta y = x, luego uno vertical hacia la curva y nuevamente una horizontal
hacia la recta. Este proceso se repite hasta que los puntos en la curva convergen a un punto fijo o bien
divergen. Parece que los diferentes comportamientos dependen de que la pendiente de la curva sea mayor,
menor o de signo opuesto a la pendiente de la recta (que es igual a 1)
Cuando se tiene la ecuacin f(x) = 0, existen muchas formas de reordenarla en la forma x = g(x), por ejemplo
para la ecuacin anterior x2-2x-3 = 0 otras alternativas son:
**
Una pregunta que surge en este momento es cul de las funciones g sirve para aproximar el punto fijo de g?
(o en forma equivalente el cero de f) . A continuacin se presenta un teorema que da condiciones suficientes
para la existencia y unicidad del punto fijo de una funcin.
Teorema 1.
Si g es continua [a,b] y g(x) [a,b] para toda x [a,b], entonces g tiene un punto fijo en [a,b].
Y si adems g(x) existe en (a, b) y existe una constante positiva K < 1 con |g'(x)| K, para todo x
(a,b), entonces el punto fijo en [a,b] es nico.
Vase la figura 5.6
(Demostracion)
Ejemplo.
La funcin g(x)=(x2-3)/2 en el intervalo [2,4] tiene un punto fijo nico. c=3 es un punto fijo
de g porque
Observe que g'(x)=x y en el intervalo [2,4] g'(x)>0. g es creciente y g(x) [1/2 ,6.5], adems |g'(x)| 1. (ya
que g'(x)=x y x (2,4)).
Esto demuestra que las hiptesis del teorema 1 son suficientes para garantizar un punto fijo nico, pero no
son necesarias.
El siguiente resultado da algunas pistas sobre los procedimientos que se deben seguir y algunos que se
deben excluir para escoger funciones que produzcan sucesiones que converjan a un punto fijo.
Teorema 2
Sea g una funcin continua en [a,b] tal que g(x) [a,b] para toda x en [a,b].Adems suponga que existe g'
en (a,b) y una constante positiva K<1 tal que|g'(x)| K, para toda x (a,b), entonces para cualquier
nmero x0 en (a,b), la sucesin definida por xn+1=g(xn), converge al nico punto fijo x en [a,b].
(Demostracion)
Corolario.
Si g satisface las hiptesis del teorema 2, una cota para el error al aproximar el punto fijo x de g por xn es:
(Demostracion)
Ejercicio 1.
Aplique el teorema 2 para demostrar que
tiene un punto fijo nico en [2,4]. Use el corolario
para estimar la cantidad de iteraciones necesarias para lograr una exactitud de 10-2 y despus compare esta
estimacin terica con la cantidad que realmente se requiere, use x0=3.5.
Solucin:
(Nota)
Luego, g(x)
Adems
Como |g'(x)|
[a,b] = [2,4]
Para determinar aproximadamente el nmero de iteraciones necesarias para lograr una exactitud de 10-2 se
usa el corolario ,
a=2
|xn - x|
|xn - x|
(0.378)n(1.5)
b=4
x0 = 3.5
k = 0.378
Ejercicios Captulo 5
1. A fin de localizar las races de la ecuacin
factor de 0.125.2.
2. Sea f(x) = (x + 2)(x + 1)2(x -2). En cual cero de f converge el mtodo de biseccin en los siguientes
intervalos?
a)[-1.5,2.5]
b) [-0.5,2.4]
c) [-0.5,3]
d) [-3,-0,5]
3. Use el teorema (error en el mtodo de biseccin) para obtener una cota del nmero de iteraciones que se
requieren para alcanzar una aproximacin con una exactitud de 10-3 a la solucin de x3 + x - 4 = 0 que se
encuentra en el intervalo [1,4]. Obtenga una aproximacin de la raz con este grado de exactitud.
4. Verdadero o falso?
Diez iteraciones del mtodo de biseccin reducen la longitud L1 del intervalo que contenga una raz
a) (x 2)2 ln x = 0 para 1
b) sen x - e-x = 0 para 0
x 2 y para e
1 y para 3
10-5 para:
4, y 6
77.
7. Podemos usar el mtodo de Newton Raphson para resolver f(x) = 0 siendo f(x) = (x - 3)1/2 tomando x0 =
q < 1 y m un
entero.
pequeos.
(Respuesta)
12. El valor acumulado de una cuenta de ahorros que se basa en pagos peridicos puede calcularse con la
ecuacin de anualidad vencida.
simple p de h(x),
[1, 4]
b) x cos x = 0
[0,
/2]
15. La ecuacin e-x = cos x tiene una raz cerca de 1.29. Diga cul de las tres funciones siguientes sera
preferible utilizar como funcin de iteracin a fin de localizar la raz:
g1(x) = cos-1(e-x)
g2(x) = ln(sec x) = -ln(cos x)
g3(x) = x 0.01(e-x cos x)
16. Use el manejo algebraico para demostrar que las siguientes funciones tienen un punto fijo en p
exactamente cuando f(p) = 0, donde f(x) = x4 + 2x2 - x - 3
b)
c)
d)
18. En cada una de las siguientes ecuaciones, determine un intervalo [a, b] en que convergir la iteracin de
punto fijo. Estime la cantidad de iteraciones necesarias para obtener aproximaciones con una exactitud de l05
y realice los clculos.
a)
b)
c) x = 5-x