Mtodo de Bairstow.

Como vimos anteriormente, si un polinomio tiene todos sus coeficientes reales, entonces puede tener races reales o complejas. En este caso, es posible determinar todas sus races de dos en dos, utilizando slo aritmtica real. El procedimiento que presentamos a continuacin, llamado mtodo de Bairstow, permite realizar esto.

Si realizamos la divisin de polinomios con coeficientes reales entonces resulta que

(3.6)

siendo

el cociente y

el resto de la divisin, ambos dependientes de los , y los coeficientes de

nmeros reales y , por lo que podemos considerar funciones dependientes de los parmetros y . Si pudiramos determinar dos valores se tendra que y

de manera que

con lo que calculando las races de la ecuacin de segundo grado obtendran dos races del polinomio . y

, se

Veamos pues cmo se pueden obtener esos dos valores valores iniciales y , por lo que podemos expresar y

. En principio partiremos de dos

Si suponemos que las funciones de dos variables entorno del punto

son diferenciables con continuidad en un

, entonces aplicando la frmula de Taylor hasta orden uno, resulta que

por lo que resulta

Por lo tanto, podemos considerar el sistema de ecuaciones lineales

(3.7) siendo

Veamos a continuacin cmo se pueden encontrar los coeficientes del sistema (3.7).

Si en la expresin (3.6) derivamos con respecto de

tenemos que

por lo que

y al dividir toda la ecuacin entre

obtendremos finalmente que

Por lo tanto, el resto de la divisin de polinomios

resulta ser

Si en la expresin (3.6) derivamos con respecto de

tenemos que

con lo que

y al dividir toda la ecuacin entre

obtendremos finalmente que

Por lo tanto, el resto de la divisin de polinomios

resulta ser

Se puede comprobar que es fcil determinar el resto de la divisin de polinomios si es conocido el resto de la divisin de polinomios . En el siguiente esquema, vamos a ver cmo se pueden encontrar todos los coeficientes y trminos independientes del sistema (3.7):

FIGURA 3.5: Obtencin de los coeficientes del sistema. Una vez se ha resuelto el sistema (3.7), entonces tomaramos como nuevos valores de y Ejemplo 3.5 , respectivamente. y a

Vamos a aplicar el esquema anterior al polinomio los valores y .

ya

El sistema que debemos resolver es

Luego los nuevos valores de

son, respectivamente,

Algoritmo 3.4: Mtodo de Bairstow.

Introducir los coeficientes del polinomio

en un vector de dimensin

Introducir los valores iniciales de

Introducir el mximo error absoluto admisible

Utilizar el algoritmo (3.2) para encontrar el cociente de la divisin de polinomios

y el resto

Mientras

Hacer Utilizar el algoritmo (3.2) para calcular el cociente y el resto de la divisin de polinomios

Resolver el sistema de ecuaciones lineales

donde , , y se determinan a partir del esquema de la figura 3.5. Actualizar y : y

Utilizar el algoritmo (3.2) para encontrar el cociente y el resto polinomios Fin Mientras Resolver la ecuacin . de la divisin de

Notas

El mtodo de Bairstow tambin permite una deflaccin del polinomio, en este caso cuadrtica; es decir, si al aplicar este mtodo obtenemos el factor cuadrtico , entonces podemos expresar

o bien

teniendo entonces que las restantes de

races

son, aproximadamente, las

races

. Este proceso de deflaccin permite obtener todas las races reales o

complejas del polinomio , con un coste cada vez menor. Al igual que ocurra en el mtodo de Newton, la deflaccin en el mtodo de Bairstow tambin produce una prdida de precisin a medida que se van encontrando nuevas soluciones.

El coste computacional por iteracin es

flops.