Resolucin numrica de ecuaciones no lineales

En anlisis numrico un algoritmo de bsqueda de races es un mtodo

numrico o algortmico para encontrar las soluciones aproximadas de una
ecuacin dada por la expresin f(x) = 0 para una funcin matemtica f dada. A la
solucin x de la ecuacin se le llama raz o cero de la funcin.

Igualmente, resolver la ecuacin f(x) = g(x) es anlogo a resolver la

ecuacin f g = 0, es decir, encontrar las races de la funcin f - g.

Este artculo trata sobre cmo encontrar races reales complejas, aproximadas
por nmeros de punto flotante.

Los mtodos numricos de resolucin de ecuaciones no lineales suelen ser

mtodos iterativos que producen una sucesin de valores aproximados de la
solucin, que se espera, que converja a la raz de la ecuacin. Estos mtodos van
calculando las sucesivas aproximaciones sobre la base de los anteriores, a partir
de una o varias aproximaciones iniciales.

El comportamiento de los algoritmos de bsqueda de races se estudia en anlisis

numrico. Funcionan mejor cuando se toman en cuenta las caractersticas de la
funcin. Para saber que mtodo debemos aplicar, hay que tener en cuenta la
capacidad de separar races cercanas, confiabilidad en el alcance de soluciones
evitando errores numricos graves y orden de convergencia.

Algoritmos generales para ecuaciones de una variable

Los siguientes mtodos son para calcular las races reales de una ecuacin dada
por f(x) = 0 donde se exige al menos que la funcin f sea una funcin
continua para garantizar la existencia de solucin. La mayora de mtodos se
obtienen de interpolar la funcin, generalmente mediante un polinomio de primer
grado (interpolacin lineal) y despus aproximar la solucin mediante alguna de
las races del polinomio.
El algoritmo ms simple de bsqueda de races es el mtodo de biseccin.
Requiere un intervalo inicial que contenga alguna raz de la ecuacin (de forma
que la funcin tome en los extremos del mismo valores de distinto signo; vase
el teorema de Bolzano). Dicho intervalo inicial se va dividiendo sucesivamente por
la mitad (se bisecta) tomndose el intervalo que contiene a la raz. A pesar de ser
un mtodo que siempre converge a una solucin, converge muy lentamente.

El mtodo de Newton asume que la funcin f sea continuamente derivable y que

se conoce la derivada de la funcin. Este mtodo puede no converger si se
comienza con un valor muy alejado de la raz. Sin embargo, si converge, lo hace
mucho ms rpido que el mtodo de biseccin (usualmente, de
manera cuadrtica), por eso el nmero de dgitos correctos se duplica en cada
iteracin. El mtodo de Newton tambin es til porque se generaliza para
problemas de dimensiones ms altas.

Reemplazando la derivada del mtodo de Newton por un cociente incremental,

obtenemos el mtodo de la secante. Este mtodo no requiere el clculo (ni la
existencia) de la derivada, pero el precio que se debe pagar es un orden de
convergencia ms bajo (aproximadamente 1.6).

El mtodo de la regla falsa (o regula falsi) es un mtodo que combina lo mejor del
mtodo de biseccin y del mtodo de la secante. El mtodo corta el intervalo en
dos partes como en el mtodo de biseccin, pero a diferencia de ste, lo corta por
el valor obtenido aplicando el mtodo de la secante a los extremos del intervalo,
no siendo generalmente las partes iguales. El mtodo converge siempre a una raz
de la ecuacin, generalmente de forma ms rpida que el mtodo de biseccin
pero ms lenta que el mtodo de la secante.

Finalmente, hay una familia de mtodos conocidos como mtodos de punto fijo.
Estos mtodos se basan en obtener a partir de la ecuacin f(x) = 0 una ecuacin
equivalente de la forma g(x) = x cuya solucin se convierta en un punto fijo de g e
iterando a partir de un valor inicial hasta que se alcance.