Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

RACES DE ECUACIONES NO LINEALES

Uno de los problemas bsicos del anlisis numrico es el llamado problema de bsqueda de races, que consiste
en encontrar los valores de la variable x que satisfacen la ecuacin
se le llama un cero de f o una raz de

f (x) = 0

Podemos clasicar las ecuaciones de acuerdo al tipo de funcin que es

Ecuaciones

. A una solucin de este problema

f (x) = 0.
f (x).

A grandes rasgos se tiene:

Lineales

Racionales
Algebraicas
N o lineales
Irracionales

T rascendentes

Una ecuacin lineal en la variable x es una ecuacin que puede escribirse en la forma
b son constantes que generalmente llamamos parmetros y a

6=

ax + b = 0,

donde a y

0.

Algunos ejemplos de ecuaciones no lineales son:

9x
3x1

3
3x1

Ecuacin algebraica racional

Ecuacin algebraica irracional, la variable x sometida a la operacin de radicacin

=2+

x 2.10.5x

(1x) 1.10.5x

3.69 =

0<x<1

Ecuacin trascendente, incluye funciones trigonomtricas, exponenciales, logartmicas y otras menos familiares

tg(x) = tgh(2x)

La razn principal para resolver ecuaciones no lineales por medio de mtodos computacionales radica en la dicultad de encontrar una solucin por mtodos convencionales. Por su parte, excepto para muy pocos problemas,
la solucin analtica de las ecuaciones polinomiales existe slo hasta el orden cuatro, pero no existen mtodos
generales para arribar a las soluciones en forma exacta para rdenes superiores. Por lo tanto, las races de esas
ecuaciones no lineales se obtienen mediante los mtodos del anlisis numrico.
Los mtodos usuales para la obtencin de una aproximacin numrica a una solucin o raz de
consisten en procesos iterativos en los que se parte de un valor inicial x0 de la raz buscada

f (x) = 0

y, se usa cierta

relacin de recurrencia para generar una secuencia de aproximaciones sucesivas x1, x2,..., xn,... que convergen
al lmite xn, generalmente por mtodos analticos, muchas veces con ayuda de grcos.
El problema se plantea de la siguiente manera: Dada f :
que

f () = 0.

R R(o

bien f :

[a, b] R)

se quiere encontrar

tal

El clculo aproximado de races puede dividirse en dos etapas:

Se separan las races, es decir se busca un subintervalo de [a, b] que contenga una y slo una raz de f.
Para asegurar la existencia de al menos una raz en el intervalo propuesto se usa el Teorema de Bolzano.
Para asegurar que no hay ms de una raz se usa el Teorema de Rolle, es decir, se verica que la derivada
primera no cambie de signo en dicho intervalo.

Se aplica un mtodo para aproximar la raz aislada.

MTODO GRFICO
Adems de la utilidad para determinar valores iniciales, tambin son tiles para visualizar las propiedades
de las funciones y el comportamiento de los mtodos numricos.
Consiste en gracar la funcin y observar en donde cruza el eje x. Este punto, que representa el valor de x
para el cual

f (x) = 0,

proporciona una aproximacin inicial de la raz.

Ejemplo:
Emplense grcas para obtener una raz aproximada de la funcin

Solucin:

f (x) = ex x

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

Figure 1:

Por medio del programa GnuPlot para generar grcas de funciones se obtiene la grca de la funcin

f (x) = ex x. Ver Figura 1

Un vistazo a la grca proporciona una estimacin aproximada de la raz de 0.57 que se acerca a la raz
exacta de 0.56714328...., que se debe determinar con mtodos numricos. La validez de la estimacin visual se
puede vericar sustituyendo su valor en la ecuacin original para obtener:

f (0.57) = e0.57 0.57 = 0.0045

la

cual se acerca a cero.

MTODOS NUMRICOS PARA APROXIMACIN DE RACES

Se dividen en dos categoras generales:
1. Mtodos cerrados que usan intervalos: Biseccin (intervalo medio), Regula Falsi (falsa posicin).
Requieren un intervalo de x que contenga a la raz, siempre son convergentes, pero la velocidad de convergencia puede ser demasiada lenta.
2. Mtodos abiertos: Iteracin de punto jo, Newton Raphson, Secante.
Requieren informacin nicamente de un punto, o de dos pero que no necesariamente encierran a la raz,
para extrapolar una nueva aproximacin a la raz. La convergencia es ms rpida pero existe tambin la
posibilidad de divergencia.

MTODO DE LA BISECCIN (DEL INTERVALO MEDIO)

Es el ms simple, aunque tambin el ms seguro y slido para encontrar una raz en un intervalo dado, donde
se sabe que existe dicha raz. Se apoya en la idea geomtrica del teorema de Bolzano: Dada

f (x) = 0

si f es tal

que es montona y continua en [a, b], f(a) y f(b) tienen signos distintos entonces existe, por lo menos un

<b, tal que

f () = 0.

a<

En general puede decirse que en el intervalo [a, b] existe un nmero impar de races.

El mtodo requiere de dividir repetidamente a la mitad los subintervalos de [a, b] y, en cada paso, localizar
la mitad que contiene a la aproximacin de la raz xi.

Ver Figura 2

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

Figure 2:

Este proceso se repite hasta que se verique algn criterio de parada.

Algoritmo:
1. Vericar el teorema de Bolzano

f (a) . f (b) < 0,

si no se verica el teorema no signica que la funcin no

posea races y ante esto se sugiere buscar otro intervalo [a, b].
2. Establecer tolerancia de error

3. Calcular una nueva aproximacin a la raz en el punto medio del intervalo:

xi =

(a+b)
2

4. Calcular

f (xi ),

5. Calcular

f (a) . f (xi ),

si

f (xi ) = 0
si

entonces la raz es igual a

xi

y el proceso naliza.

f (a) . f (xi ) < 0

entonces la raz se encuentra en [a,xi ], se actualiza el extremo

f (a) . f (xi ) > 0

entonces la raz se encuentra en [xi ,b], se actualiza el extremo

superior haciendo b=xi .

6. Calcular

f (a) . f (xi ),

si

inferior haciendo a=xi .

7. Vericar criterio de parada
a

xi

i1
| xi x
| < , si esta condicin se verica naliza el proceso iterativo y se toma
xi

como la aproximacin a la raz. Por lo contrario si la condicin de parada no se verica se vuelve a

repetir el proceso desde el punto 3.

Al repetir este proceso, el tamao del intervalo con la raz se vuelve cada vez ms pequeo. En cada paso, se
toma el punto medio del intervalo como la aproximacin ms actualizada de la raz. Se genera una sucesin

x1 =

a+b
2

[a1 , b1 ], x2 [a2 , b2 ], x3 [a3 , b3 ],. . . ,

donde cada intervalo

[an , bn ]

mide la mitad del anterior.

ba
2
b2 a2
2

b1 a 1 =
b2 a 2 =
= ba
4
bn an = ... = ba
n
2
Adems

a a1 a2 ... b
b b1 b2 ... a
Entonces

an y bn

son sucesiones montonas y acotadas y en consecuencia convergen, es decir existen los

lmites:

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

lim an
n
y como

lim bn
n

|bn an |

ba
2n

0,

En cada paso se verica f(an ) . f(bn )

Entonces

lim an
n

se tiene

lim bn
=
n

0 y tomando lmite ( f continua) resulta

00

f () 0

es la raz buscada pues cumple, f()=0

En este mtodo el clculo de cotas de error es muy simple. Por cota de error entendemos un nmero que
acote superiormente, en mdulo, el error mximo que podramos llegar a cometer cuando nos quedamos con uno
de los puntos medios de los intervalos construidos mediante el algoritmo, en vez de con la solucin del problema.
El error se puede acotar de la siguiente forma.
Tenemos:

xn =

(an1 +bn1 )
2

Entonces

| xn |

bn1 an1
2n

ba
2n

Criterio de parada y estimacin del error

Como se plante anteriormente el mtodo termina cuando se alcance un error ms bajo, por ejemplo, al
0.1%, pero esta estrategia resulta inconveniente, ya que la estimacin del error en el se basa en el conocimiento
del valor verdadero de la raz de la funcin. ste no es el caso de una situacin real, ya que no habra motivo
para utilizar el mtodo si se conoce la raz.
Por lo tanto, sin la necesidad del conocimiento previo de la raz, se puede calcular el error relativo porcentual

a de

la siguiente manera:

i1
a = | xi x
| . 100%
xi

Donde

xi

es la raz en la iteracin actual y

xi1

es el valor de la raz en la iteracin anterior. Se utiliza

el valor absoluto, ya que por lo general importa slo la magnitud de

menor que un valor previamente jado

a sin

considerar su signo. Cuando

es

termina el clculo.

Inconvenientes del Mtodo

El mtodo de biseccin tiene inconvenientes importantes. Converge muy lentamente (o sea, N, nmero de
iteraciones, puede ser muy grande antes que, x -

xn

, sea sucientemente pequeo) y, una buena aproximacin

intermedia puede ser desechada sin que nos demos cuenta. Adems, hay que tener en cuenta que en el caso
de existir ms de una raz (siempre en nmero impar) en el intervalo; el mtodo slo encuentra una de ellas,
desechndose las otras. Entonces puede darse la situacin paradjica que, se encuentre una raz y sin embargo
no sea esta la solucin ms conveniente al problema.

Aplicaciones del Mtodo

La biseccin suele recomendarse para encontrar un valor aproximado de la raz, y luego este valor se rena
por medio de mtodos ms ecaces. La razn es que la mayor parte de los otros mtodos requieren un valor
inicial cerca de una raz; al carecer de dicho valor pueden fallar por completo.
Converge para cualquier f continua.

Ejemplo 1:
Use el mtodo de biseccin para determinar la raz de

f (x) = ex x

con una exactitud de

103 .

Solucin:
1. Anlisis grco (Si es posible): Si se analiza

La Figura 1

se puede ver que la raz se encuentra entre 0 y

1, por lo tanto se acota la raiz al intervalo [0,1].

2. Vericacin inicial de convergencia: Se verica que

f (0) . f (1) < 0,

de la raz se sita en el punto medio de este intervalo.

3. Se establece criterio de parada del mtodo:

= 103

4. Aplicacin iterativa del mtodo mediante software.

Ver Figura 3

por consiguiente la estimacin inicial

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

Figure 3:

Como se puede observar en la tabla en la iteracin 10 se cumple que el error absoluto es menor que
por lo tanto terminan las iteracines, y as obtenemos como aproximacin a la raiz
5. Solucin a traves de lenguaje de programacin (ForTran 77):

50
51
200

Program Biseccion
real eps ,x , x0 , x1
integer i , maxitera
x0 =0.0
x1 =1.0
eps =0.001
maxitera =100
if ( f ( x0 )* f ( x1 ). gt .0) then
print * , ' No hay cambio de signo en el intervalo inicial '
goto 200
endif
dif =10.0
i =1
do while (( dif . gt . eps ). and .( i . le . maxitera ))
x =( x0 + x1 )/2.0
if (( f ( x0 )* f ( x )). le .0) then
x1 = x
dif = error ( x1 , x0 )
else
x0 = x
dif = error ( x0 , x1 )
endif
write (* ,50) i , x0 , x1 , dif
i = i +1
end do
if ( i . le . maxitera ) then
if ( dif . lt . eps ) then
write (* ,51) ' Raiz Aproximada = ' , x
write (* ,51) 'f ( x )= ' , f ( x )
end if
else
print * , ' No converge en ', maxitera , ' iteraciones '
end if
format ( I5 , 1x , F16 .8 , F16 .8 , F16 .8)
format (A , F16 .8)
stop ' Fin del programa '
end
real function error ( x1 , x2 )
real x1 , x2
error = abs ( x1 - x2 )
return
5

xi = 0.5673828

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

end
real function f ( x )
real x
f = exp ( - x ) - x
return
end
MTODO DE LA FALSA POSICIN (REGULA-FALSI)
Este mtodo aprovecha la idea de unir los puntos con una lnea recta. La interseccin de esta lnea con el eje
x proporciona una estimacin de la raz. El reemplazo de la curva por una lnea recta da una posicin falsa
de la raz, de aqu el nombre de mtodo de la regla falsa o en latn regula falsi.

Ver Figura 4

Figure 4:

La recta L que une los puntos

y f (a) =
Como

x1 es

x1 = a

f (b)f (a)
(x1
ba

(a, f (a))con (b, f (b))tiene

la ecuacion:

a)

el valor de x que cumple y=0, se tiene:

f (a)(ba)
f (b)f (a)

esta es la frmula de la regla de la falsa posicin.

Algoritmo:
1. Vericar el teorema de Bolzano

f (a) . f (b) < 0,

si no se verica el teorema no signica que la funcin no

posea races y ante esto se sugiere buscar otro intervalo [a, b].
2. Establecer tolerancia de error

3. Calcular una nueva aproximacin a la raz con la frmula de la falsa posicin:

xi = a

f (a)(ba)
f (b)f (a)

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

4. Calcular

f (xi ),

5. Calcular

f (a) . f (xi ),

si

f (xi ) = 0
si

entonces la raz es igual a

xi

y el proceso naliza.

f (a) . f (xi ) < 0

entonces la raz se encuentra en [a,xi ], se actualiza el extremo

f (a) . f (xi ) > 0

entonces la raz se encuentra en [xi ,b], se actualiza el extremo

superior haciendo b=xi .

6. Calcular

f (a) . f (xi ),

si

inferior haciendo a=xi .

7. Vericar criterio de parada
a

xi

i1
| < , si esta condicin se verica naliza el proceso iterativo y se toma
| xi x
xi

como la aproximacin a la raz. Por lo contrario si la condicin de parada no se verica se vuelve a

repetir el proceso desde el punto 3.

Ventajas y Desventajas del Mtodo

Comparte con el mtodo del intervalo medio la ventaja de converger en cualquier circunstancia, y su principal
desventaja es la de encontrar slo un resultado en el caso de races mltiples. Sin embargo, este mtodo es ms
veloz que su anlogo, el del intervalo medio o biseccin. Adicionalmente, pueden aparecer extremos jos, como
muestra la

Figura 4,

en donde uno de los extremos de la sucesin de intervalos no se mueve del punto original,

por lo que las aproximaciones convergen a la raz exacta solamente por un lado.

En cuyo caso, no siempre,

pueden presentarse situaciones de convergencia rpida.

Ejemplo 2:
Use el mtodo de la falsa posicin para determinar la raz de

f (x) = ex x

con una exactitud de

103 .

Solucin:
1. Anlisis grco (Si es posible): Si se analiza

La Figura 1

se puede ver que la raz se encuentra entre 0 y

1, por lo tanto se acota la raiz al intervalo [0,1].

2. Vericacin inicial de convergencia: Se verica que
3. Se establece condicin de parada del mtodo:

f (0) . f (1) < 0.

= 103

4. Aplicacin iterativa del mtodo mediante software.

Ver Figura 5

Figure 5:

Como se puede ver en la iteracin 4 se cumple que el error absoluto es menor que
y as obtenemos como aproximacin a la raiz

, terminan las iteracines,

xi = 0.5672055

CANTIDAD DE ITERACIONES
Se puede predecir a priori el nmero de iteraciones que se deben realizar con el mtodo de biseccin o de
la falsa posicin para obtener una aproximacin con una presicin deseada

Debido a que en cada iteracin se reduce el error a la mitad, la frmula general que relaciona el error deseado

y el nmero de iteraciones

=
Si

es:

ba
2n
es el error deseado, de esta ecuacin se despeja

entonces

n=

log( ba
)
log(2)

Calculo Numrico - UNJu - Facultad de Ingeniera San Salvador de Jujuy

TECNOLOGAS LIBRES UTILIZADAS

Plataforma base: GNU/Linux  Debian wheezy
Procesador de texto: Lyx/Latex
Lenguaje de Programacin: Fortran G77
Generador de Grcos: GNUPlot
Editor de Ecuaciones: Lyx/Latex
Editor de Diagramas: Dia
Planilla de Calculo: LibreOce Calc

BIBLIOGRAFA
Chapra Steven C., Canale Raymond P.;

MTODOS NUMRICOS PARA INGENIEROS. Con apli-

caciones en computadoras personales, 1996, McGraw  Hill/Interamericana de Mxico.

Burden Richard L., Faires J.Douglas;

Sadosky Manuel,

ANLISIS NUMRICO, 1996, Grupo Editorial Iberoamrica.

CLCULO NUMRICO Y GRFICO, 1971, Ediciones Librera del Colegio.

Nakamura Shoichiro,

MTODOS NUMRICOS APLICADOS CON SOFTWARE, 1992, Pearson Edu-

cacin