Algoritmo QMR

El algoritmo QMR fue creado para resolver el sistema lineal $Ax=b$ donde $A$ es una matriz cuadrada que no requiere ser simétrica.

Introducción

El algoritmo QMR Quasi-Minimal Residual se debe a Roland W. Freund y Noël M. Nachtigal los cuales en 1991 publicaron este algoritmo el cual se basa en la biortogonalización de Lanczos.

Quas-Minimal Residual

El algoritmo Quasi-Minimal Residual se basa en la Biortogonalización de Lanczos el cual es una extensión para matrices no simétricas de la ortogonalización de Lanczos simétrico.

Biortogonalización de Lanczos

EL proceso de Biortogonalización para matrices no simétricas de Lanczos, consiste en construir dos bases ortogonales a los subespacios ${𝒦}_m(A,v_1)=\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{n}\{v_1,A{v}_1,\dots ,A^{m-1}{v}_1\}$ y ${𝒦}_m(A^T,w_1)=\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{n}\{w_1,A^T{w}_1,\dots ,{\left(A^T\right)}^{m-1}{v}_1\}$.

Para construir estas bases Biortogonales en los subespacios ${𝒦}_m(A,v_1)$ y ${𝒦}_m(A^T,w_1)$ se utilizara el algoritmo que se muestra a continuación

Luego de usar este algoritmo se garantiza en aritmética exacta que $(v_i,w_j)=0$ si $i\ne j$ y $(v_i,w_j)=1$ si $i=j$. Ahora con los valores ${\alpha }_j$, ${\beta }_j$ y ${\delta }_j$ obtenidos por el algoritmo anterior vamos a construir la matriz $T_m$ como una tridiagonal de la siguiente forma.

$T_m=\left(\begin{array}{ccccc}{\alpha }_1& {\beta }_2& 0& \dots & 0\\ {\delta }_2& {\alpha }_2& {\beta }_3& & 0\\ 0& \ddots & \ddots & \ddots & ⋮\\ 0& \dots & {\delta }_{m-1}& {\alpha }_{m-1}& {\beta }_m\\ 0& \dots & 0& {\delta }_m& {\alpha }_m\end{array}\right)$

Algoritmo Quasi-Minimal Residual

Se construye la matriz ${\bar{T}}_m$ a partir de la que se obtuvo en la biortogonalización de Lanczos de la siguiente forma

${\bar{T}}_m=\left(\begin{array}{c}{T}_m\\ {\delta }_{m+1}{e}_m^T\end{array}\right)$

Otras de las cosas que se usaran en el algoritmo es la factorización QR, la cual se obtiene aplicando las rotaciones ${\mathrm{\Omega }}_i$ obtenidas de la siguiente forma.

${\mathrm{\Omega }}_i=\left(\begin{array}{ccc}{I}_{i-1}& 0& 0\\ 0& \begin{array}{cc}{c}_i& s_1\\ -s_i& c_i\end{array}& 0\\ 0& 0& I_{n-(i+1)}\end{array}\right)$

donde $c_i$ y $s_i$ se consiguen de la siguiente forma. $s_i=\frac{a_{i+1,i}}{\sqrt{{\left(a_{ii}^{(i-1)}\right)}^2+a_{i+1,i}^2}}{c}_i=\frac{a_{ii}^{(i-1)}}{\sqrt{{\left(a_{ii}^{(i-1)}\right)}^2+a_{i+1,i}^2}}$

Donde $a_{ii}^{(i-1)}$ $a_{i+1,i}$ corresponden a las respectivas entradas de la matriz luego de aplicarse las rotaciones ${\mathrm{\Omega }}_1,\dots ,{\mathrm{\Omega }}_{i-1}$.

Referencias

• Plantilla:Cita publicación
• Plantilla:Cita libro

Véase también

• Basic Linear Algebra Subprograms
• Automatically Tuned Linear Algebra Software
• Algoritmo TFQMR
• Subespacio de Krylov

Enlaces externos

• Implementaciones de los métodos QMR y TFQMR
• Otros algoritmos para sistemas lineales programados en c++ y análisis numérico