17.05.2013 Views

Ver/Abrir - Memoria Cientifica y Academica de la Universidad de ...

Ver/Abrir - Memoria Cientifica y Academica de la Universidad de ...

Ver/Abrir - Memoria Cientifica y Academica de la Universidad de ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Marco Teórico Raíz p-ésima <strong>de</strong> una matriz<br />

1<br />

p<br />

<br />

<br />

p−1<br />

<br />

<br />

(p<br />

− 1) −<br />

<br />

r=1<br />

don<strong>de</strong> λi son los autovalores <strong>de</strong> A.<br />

λi<br />

λj<br />

r/p ≤ 1 1 ≤ i, j ≤ n (2.20)<br />

La convergencia <strong>de</strong>finida en el Teorema 2.3 pue<strong>de</strong> fracasar en una aritmética<br />

<strong>de</strong> presición finita, esto <strong>de</strong>bido a que <strong>la</strong> iteración <strong>de</strong> Newton <strong>de</strong>finida por <strong>la</strong>s<br />

ecuaciones (2.18), (2.19a) y (2.19b) son numéricamente inestables [10] a menos que<br />

A esté extremadamente bien condicionada. De acuerdo con [14, 16] y en términos<br />

<strong>de</strong> <strong>la</strong> <strong>de</strong>finición 2.1, una iteración Xk+1 = f(Xk) es estable en un entorno <strong>de</strong> <strong>la</strong><br />

solución X = f(X), si el error Ek = Xk − X satisface <strong>la</strong> siguiente re<strong>la</strong>ción:<br />

Ek+1 = L(Ek) + O(Ek 2 )<br />

don<strong>de</strong> L es un operador lineal que tiene sus potencias acotadas, es <strong>de</strong>cir, existe<br />

constante c tal que para todo p > 0 y E arbitraria <strong>de</strong> norma unitaria, L p (E) ≤ c.<br />

En otras pa<strong>la</strong>bras, esto significa que pequeñas perturbaciones introducidas en<br />

algún paso no serán magnificadas en subsiguientes iteraciones.<br />

Con el objetivo <strong>de</strong> estabilizar <strong>la</strong>s iteraciones dadas en (2.19a) y (2.19b), se reescribe<br />

<strong>la</strong> iteración <strong>de</strong> una forma más simétrica, empleando el hecho <strong>de</strong> que Xk conmuta<br />

con A 1/p , se tendría que:<br />

Xk+1 = 1 <br />

(p − 1) Xk + A<br />

p<br />

1/p X −1<br />

k A1/pX −1<br />

k · · · A 1/p X −1<br />

k A1/p<br />

= 1<br />

p<br />

<br />

(p − 1)Xk + A 1/p X −1<br />

k<br />

p−1 A 1/p<br />

<br />

(2.21)<br />

esta iteración es estable, como se muestra en [6], sin embargo, se busca reescribir<br />

<strong>la</strong> iteración <strong>de</strong> modo que no involucre el cálculo <strong>de</strong> A1/p . Como se mencionó en<br />

<strong>la</strong> sección §2.2.1, <strong>la</strong> inestabilidad es <strong>de</strong>bida a <strong>la</strong> multiplicación <strong>de</strong> A en alguno<br />

<strong>de</strong> los <strong>la</strong>dos <strong>de</strong> X −1<br />

k , introduciendo una nueva variable Nk = AX −p<br />

k y tomando<br />

como valores iniciales X0 = I y N0 = A, se pue<strong>de</strong> probar que cada Xk, Nk y A<br />

conmutan con el resto [14]. De esta manera se obtiene <strong>la</strong> siguiente variante a <strong>la</strong><br />

iteración dada en <strong>la</strong> ecuación (2.21):<br />

17

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!