Beruflich Dokumente
Kultur Dokumente
CEROS
DE
POLINOMIOS .
CEROS DE POLINOMIOS
La solucin de las races de polinomios, es un problema que se viene tratando desde hace
aproximadamente unos 400 aos. Tuvo su inici, desde momento en que se plante la forma de su
escritura siguiendo por la bsqueda de sus ceros, dando lugar a la formulacin del Teorema
Fundamental del Algebra, con demostracin preliminar debida a Gauss en 1799. La solucin
analtica, de las ecuaciones polinomiales, slo es posible hasta la de grado 4, demostrado por
Niels Henric Abel. De ah, la importancia de la solucin por va numrica.
El saber obtener, los ceros de polinomios, es til para el caso de mximos y mnimos de
funciones. Como solucin, de la ecuacin caracterstica, de ecuaciones diferenciales ordinarias de
tipo lineal. En el caso del llamado polinomio caracterstico de una matriz, cuyas races son los
valores propios o valores caractersticos conocidos tambin como eigenvalores, como criterio
necesario para determinar la convergencia en los sistemas de ecuaciones lineales.
Tambin, es aplicable, en la obtencin de la descomposicin por fraccionamiento simple del
denominador de funciones con races reales y complejas, mltiples o no, como parte del proceso
de la Antitransformada de Laplace bsico para el control en el modelamiento de los sistemas
continuos.
Ahora bien, con la expresin Ceros, tiene la misma significancia que con el trmino Races. Los
dos trminos, aqu tienen la misma equivalencia. Un polinomio de grado n, P n(x), con an 0, se
expresa de la siguiente manera:
Donde:
a1 = 0;
a0 = 6.
CEROS
DE
POLINOMIOS .
Ahora bien, todo polinomio de grado n P n(x), se puede expresar como la productoria de la
factorizacin de todas las races de l. Es decir, en funcin de la productoria ( ) de todas sus
races. O sea, como:
Donde, las Xk, vienen a representar las races del polinomio, sean reales o complejas.
Ejemplo 2:
r2= -2;
r3= -1
r4= 2.
Sin embargo, ste mismo polinomio de grado 4, P 4(x), se puede expresar tambin como la
sumatoria de trminos de los productos de coeficientes a i por abscisas elevadas a la
potencia i, xi. Es decir, como en (1), o sea:
y con coeficientes ai :
a4 = 2;
a3 = 8;
a2 = - 2;
a1 = - 32;
a0 = -24;
aM = 32.
Observando estos resultados, se puede inferir que todo polinomio P n(x), expresado como en (1),
se puede llegar a transformar como en (2). O lo que es lo mismo, como la productoria de la
factorizacin de todas las races del polinomio.
Es decir, si un polinomio Pn(x), se deja factorizar en sus races, de (1) se expresara como en
(2). Entonces, el problema de hallar las races del polinomio, quedara resuelto. Aunque esto, no
siempre se puede lograr. Ya que, no todas las veces, se van a tener polinomios compuestos de tan
slo races enteras. Sino, por el contrario que adems de stas, se tendrn generalmente races
de tipo reales y complejas o en combinacin. Lo que hara, que su factorizacin sea algo compleja
de realizar, por no decir difcil de obtener.
Por lo anterior, se hace necesario recurrir a procedimientos de tipo numrico, para darle
solucin al problema. Y es, tambin importante, el profundizar ms sobre el tema de polinomios.
Por lo tanto, estudiemos y tengamos en cuenta, las siguientes Generalidades sobre los mismos:
CEROS
DE
POLINOMIOS .
Ejemplo 3:
.
Tomando, los resultados del ejemplo N2, se tiene lo siguiente:
(-3) + (-2) + (-1) + (2) = - 4 = | = - (8/4) = - 4
OK.
Ejemplo 4:
OK.
Ejemplo 5:
CEROS
DE
POLINOMIOS .
8.
OK.
Regin de ceros de Pn(x): Todas las races reales y complejas, o ceros del polinomio, se
encuentran localizadas, en un disco cerrado centrado en el origen del plano complejo,
llamado anillo de las races del plano complejo. Regin sta, localizada entre los dos radios
concntricos que se definen como:
r |Xk| R
Por definicin, R es > 1 y r es < 1; por tanto, para hallar las Races Reales del polinomio, basta
realizar una evaluacin sucesiva de enteros entre [-R,R]; para conseguir u obtener los
intervalos unitarios (a,b), donde ocurren cambios de signo [P n(a)* Pn(b) < 0], tales que contengan
las posibles races reales del polinomio. Una vez realizando lo anterior, se procede a aplicar el
mtodo respectivo para obtener con la precisin deseada, la exactitud de la raz real aproximada
en cada uno de esos intervalos unitarios.
Existen muchos procedimientos para determinar races reales y complejas, de funciones
polinomiales, para mencionar tenemos el caso del mtodo de Mller, de Cociente-Diferencia, de
Lehmer, de Graeffe, de Laguerre, de Newton-Raphson, de Bairstow, de Horner, de JenkinsTraub, de Brent, de Cauchy, de Lin-Bairstow, de Bierge-Vieta, de Bernoulli, de Aiken y el de
Steffensen. Algunos son ms eficientes, otros son poco aproximados y carentes de precisin.
Al aplicar el procedimiento de Newton-Raphson-Horner a funciones polinomiales, se logra mucho
ms eficiencia, al evaluar el P n(x) y su derivada a travs de un proceso de Divisin Sinttica
Iterada o de multiplicacin anidada. Es decir:
I) NRH:
CEROS
DE
POLINOMIOS .
METODO DE NEWTON-RAPHSON-HORNER.
Este procedimiento NRH, se plantea para determinar races reales de polinomios, de manera
aproximada.
Se fundamenta l, en el procedimiento de Newton Raphson, ya visto
anteriormente en clases, pero ajustado especialmente al caso de polinomios; y es complementado
con la tcnica de Horner, que es un proceso de Divisin Sinttica de manera iterada o anidada.
Es un mtodo muy eficaz, verstil y simple de manejar, una vez comprendido:
Supongamos que r, sea un cero o una raz real exacta de P n(x). Entonces, r o el factor (x r), va a
dividir de manera exacta al polinomio:
Ahora, supngase tambin, que s es una aproximacin inicial de r en (a, b), que muy bien puede
ser a o b. Entonces, se tiene que:
Se observa ahora, que aparece un trmino nuevo el R p(s), que corresponde a la parte residual de
la operacin de divisin planteada entre el polinomio y la aproximacin s, por tener esta ltima
slo el carcter de aproximacin. Con lo cual se tendra, que el P n(x), se puede expresar de la
siguiente forma:
Donde Rp(s), viene a representar el residuo o lo que sobra, cuando se divide o deflaciona el
polinomio Pn(x), por una aproximacin (s), representando esta situacin una operacin de tipo
inexacta. Luego Rp(s), es del Pn(x), y depende de la aproximacin (s). Aqu, el trmino
deflacionar, recibe la connotacin de manera equivalente con los trminos despejar, remover,
dividir, factorizar, descontar, disminuir, reducir lgicamente aplicado a races.
Ahora bien, como el procedimiento emplea a Newton-Raphson, pero aplicado a funciones
polinmicas; entonces, el esquema iterativo queda planteado como sigue:
CEROS
DE
POLINOMIOS .
Observndose, entonces, que el polinomio evaluado en s, es igual al residuo del P n(x), Rp(s). Y la
derivada de Pn(x) evaluada en s, sera entonces igual a:
Donde Qn-1(s), viene a ser el polinomio cociente evaluado en la aproximacin s, pero que
representa a la derivada del P n(x) evaluada en s. Ahora bien, as como P n(x) evaluada en s debe
ser igual a su residuo R p(s). Qn-1(x), tambin evaluado en s, debe ser igual a su respectivo residuo,
Rq(s). Por ser ambos polinomios, y estar evaluados en s. Entonces, (12) quedara as:
Rp(s) y Rq(s), son los residuos de Pn(x) y de Qn-1(x), cuando estos ltimos son divididos por la
aproximacin s. Si (s = r), es una raz exacta de P n(x) entonces Rp(s) sera igual a cero, quedando
factorizada la raz, (x s). Y, slo nos interesara conocer, la forma que tendra al polinomio
cociente o deflacionado Q n-1(x), para as continuar, con la bsqueda de las races restantes del
polinomio Pn(x).
CEROS
DE
POLINOMIOS .
anXn + ... +akXk + ... +a1X + a0 = (X-s)[bnXn-1 + ... +bk+1Xk +bkXk-1 + ... +b2X +b1] + Rp(s)
Para mantener la igualdad en la anterior expresin, habra que hacer una correspondencia entre
los coeficientes de los trminos con idntica potencia; as, en la posicin K-sima (X k) tendramos
la siguiente relacin.
Xk :
ak = bk S bk+1
Y como nuestro inters, es conocer los coeficientes del polinomio cociente Q n-1(x), una vez que se
est en la raz, entonces se despeja para bk, con lo que se tendra lo siguiente:
bk = ak + S bk+1
(14)
De (14), se puede apreciar que para conocer un b k, es preciso conocer de antemano su valor
anterior o sea el bk+1. Y esto, a primera vista, parece imposible. Pues, lo anterior se logra explicar
aplicando HORNER; que no es ms que, un proceso de divisin sinttica en forma iterada o
anidada, es decir:
En (15), se puede observar, que el coeficiente n-simo de Q n-1(x), bn es igual a an. Y Rp(s) igual a
b0. Entonces, de lo anterior se puede concluir que
bn = an y
Pn(s) = Rp(s) = b0
y adems para cualquier subndice k, se cumple que: b k = ak + Sbk+1. Por ejemplo, para k = 3 se
tiene b3 = a3 + Sb4, con lo cual (14) sera til para determinar todos los coeficientes de Q n-1(x),
de manera iterativa. Ahora, para conseguir R q(s), basta realizar un nuevo proceso de divisin
sinttica pero a los coeficientes de Q n-1(x), o sea los bk:
CEROS
DE
POLINOMIOS .
De manera similar, que para con los b k, se tiene que Cn = bn. Y, donde C1 corresponde o viene a
representar al residuo de Qn-1(x) o sea Rq(s) , Y ahora, Ck se determina como:
ck = bk + S ck+1
(17)
Como b0 y C1 son debidos, a la aproximacin inicial S, entonces son funciones de ella. Por lo tanto,
la podemos escribir como b00 y C10. O sea, ambos dependientes S = X0.
donde b01 y C11, representan los respectivos residuos de Pn(x) y Qn-1(x), pero en funcin de la
primera mejora. Y as sucesivamente. El proceso acaba, cuando se cumpla que para la n-sima
mejora el error cometido, sea menor que cierta tolerancia prefijada:
El error n-simo En, ser:
(18)
Xn Raz r b0 n-1
Es importante aclarar, que el mtodo de NRH termina aqu, para el caso de un intervalo que
contiene una raz real. Pero, para el resto de intervalos que contienen las restantes races
reales, hay que seguir deflacionando el polinomio cociente o polinomio deflacionado Q n-1(x), que
vaya resultando de cada proceso iterativo, hasta degradarlo o factorizarlo completamente en
todas sus races reales.
UNIVERSIDAD AUTONOMA DEL CARIBE METODOS NUMERICOS
CREADO POR: ING. FREDDY MOLINA VILLA
II) NBH:
CEROS
DE
POLINOMIOS .
METODO DE NEWTON-BAIRSTOW-HORNER.
Este procedimiento de NBH, se plantea tambin para determinar en este caso races imaginarias
de ecuaciones polinmicas, de manera aproximada. Se analizar la tcnica de Bairstow, la cual se
fundamenta, en el procedimiento de Newton Raphson, que tanto hemos mencionado, pero
aplicado especialmente al caso de mltiples variables. Se combina, tambin con la tcnica de
Horner que como ya se explic es un proceso iterativo con anidamiento, el cual finaliza con la
remocin o la deflacin va Divisin Sinttica de un par de races complejas conjugadas,
determinndose as un factor cuadrtico de coeficientes reales que trae asociado al par de
races complejas. Es un mtodo bastante verstil, y de manejo algo cuidadoso, una vez aprendido.
Bueno, una vez se hayan removido o deflacionado todas las races reales del polinomio P n(x), se
tiene un nuevo polinomio de grado n, P *n(x), que contiene slo races complejas. Este polinomio
cociente, es de grado par n = 2m (recuerde que las races imaginarias, vienen en parejas
conjugadas), el cual se le va a aplicar el siguiente procedimiento, NBH, para determinar dichas
races imaginarias. Aunque, esto no significa, que de entrada se tengan que calcular
necesariamente las races reales de primero. El procedimiento es valido, hyanse calculado o no,
las races reales del polinomio. Recurdese de (2), que todas las races, tanto reales como
imaginarias del polinomio, son factores lineales entre s, es decir:
Tambin, es de recordar, que todas las races del polinomio P n(x), se encuentran en el llamado
anillo de las races, del plano complejo. Es decir, entre: r | Xk | R
Las races complejas van a aparecer como puntos dentro de este anillo. Por lo tanto, es
conveniente escoger un punto dentro de l, como punto inicial para el proceso de bsqueda de una
raz compleja. Los puntos (0, 1) (0, -1), que pertenecen al cuadrado de lado igual a 2 centrado
en el origen del plano complejo. Es tambin de importancia notar, que estas dos estimaciones
UNIVERSIDAD AUTONOMA DEL CARIBE METODOS NUMERICOS
CREADO POR: ING. FREDDY MOLINA VILLA
CEROS
DE
POLINOMIOS .
recomendadas, sirven para tomarse como puntos iniciales de las aproximaciones, de todas las
races complejas que se quieran determinar, para cualquier tipo de polinomio que se tenga para
estudio. Dichos puntos, estarn siempre incluidos, dentro del respectivo anillo de las races (r < 1
R 2; r < 2 < R).
Tambin, se recomiendan como puntos iniciales para el proceso iterativo, los puntos (-1,1);
(1,1) y el origen (0,0). Los dos primeros, cuando se tenga conocimiento previo del lugar que ocupa
la parte real de la raz compleja. El ltimo, se utiliza pero con mucho recelo. En todo caso, son
recomendables aquellos puntos que faciltan iniciar el proceso, desde la frontera que permite
diferenciar a los complejos con parte real positiva de los de parte real negativa.
Ahora, supongamos que (c,d), es un punto inicial del plano complejo, del par (z = c + di
=cdi) de aproximaciones complejas, de las races imaginarias del polinomio de grado n, P n(x).
Entonces, se puede escribir lo siguiente:
Pn(x) = (x z)(x (x z) (x
) Qn-2(x) + Rp(z,
(19)
(x z )(x
) = [x (c + di)] [x (c di)]
= (x c di)(x c + di)
= x cx + dix cx + c cdi dix + cdi di
= x- 2cx + c + d
(20)
(21)
donde:
Rp(z,
(22)
(23)
Desarrollando Pn(x) y Qn-2(x), de (22) en sus coeficientes con el fin de buscar una expresin
genrica que las relacione, se tiene:
UNIVERSIDAD AUTONOMA DEL CARIBE METODOS NUMERICOS
CREADO POR: ING. FREDDY MOLINA VILLA
CEROS
DE
POLINOMIOS .
Xk : ak = bk + pbk+1 + qbk+2
(24)
expresin que es clarificada con HORNER, mediante un proceso de divisin sinttica iterada,
pero en este caso doble, tal como se detalla a continuacin:
(25)
Aqu en (25), se puede apreciar que el coeficiente n-simo de Q n-2(x) bn es igual a an. Rp(p,q), est
representado por los coeficientes b 1 y b0, en otras palabras depende tambin de ellos; y se
define de la siguiente manera:
Rp(z,
(26)
Y adems, para cualquier subndice k, se cumple que (24) se satisface correctamente; por
ejemplo para k=2, se tiene que : b2 = a2 pb3 qb4
Por lo tanto (24), se podr utilizar para la determinacin, de todos los coeficientes de Q n-2(x) en
forma iterativa. Ya que ella resume, este proceso de divisin sinttica iterada doble, para cuando
se divide el Pn(x) por el factor cuadrtico x+ px + q, o sea por p y q.
Ahora, de NEWTON-RAPHSON-HORNER se concluyo que, el Pn(x) evaluado en s, era igual a
Rp(s) y este estaba representado por b 0. En otras palabras, se puede decir, que b 0 representa a
la funcin polinmica Pn(x), cuando sta es evaluada en la aproximacin s. Adems, tambin se
puede concluir que cuando se evalu P n-1(x) en s, esto era equivalente a evaluar Q n-1(x) en s; y,
este ltimo, era igual a Rq(s), y a su vez ste estaba representado por C1 o sea:
CEROS
DE
POLINOMIOS .
(29)
La idea es la siguiente, cuando se est dividiendo por el factor cuadrtico X+ px + q, y para que
ste, est realmente representando al par de races complejas, el residuo R p(b0, b1) = b1(x+p) +
b0, debe ser cero o sea b0 = 0 y b1 = 0. Entonces, se representa la funcin polinmica, en funcin
de los valores de p y q que hacen anular el residuo por la expresin (28) igualada a cero; pero
expresada como en (29), es decir, realizando su desarrollo con TAYLOR para dos variables de
manera lineal, y se iguala esta ltima a cero. Luego, se tiene que:
(30)
o lo que, es lo mismo:
CEROS
DE
POLINOMIOS .
(31)
Consiguindose, de esta manera, dos ecuaciones con dos incgnitas p y q. Quedando,
lgicamente por interpretar, el significado real de las derivadas de b k con respecto a p y q,
respectivamente.
CEROS
DE
POLINOMIOS .
(33)
(34)
(35)
(36)
Por lo tanto derivar bk, con respecto a q, es un Ck+2.
p =
b0
c2
c1
b0
b1
c3
c2
b1
c1
c2
c2
c3
= p2 p 1 ;
q =
c1
c2
c2
c3
= q2 q1
con
CEROS
DE
p2 = p1 + p
POLINOMIOS .
q2 = q1 + q
(37)
Los valores de p2 y q2, son ahora las dos nuevas mejoras de p 1 y q1. Con estos valores mejorados,
se debe empezar nuevamente el proceso doble de divisin sinttica, hasta que se cumpla que
tanto p como q, sean menores en valor absoluto que cierta tolerancia TOL prefijada;
obtenindose de esta manera un pf y qf coeficientes del factor cuadrtico asociado al par de
races complejas, x+ pfx+ qf.
Luego, el proceso debe parar, hasta cuando se cumpla que: |pf| < TOL
y
veces, es conveniente tambin, controlar para |b 0| < TOL y |b1| < TOL.
Con p y q llevados a cero tolerancia, 0TOL, se toman los ltimos p y q (pf y qf), los cuales se
requieren para conseguir los coeficientes (c f) y (df). Con los cuales, se expresaran, las dos races
complejas conjugadas as:
cf = - pf/2
df = qf cf