Método de Jacobi

El Método de Jacobi es un método iterativo de álgebra lineal, usado para resolver sistemas de ecuaciones lineales del tipo $Ax=b$. El algoritmo toma su nombre del matemático alemán Carl Gustav Jakob Jacobi.

Descripción

La base del método consiste en construir una sucesión convergente definida iterativamente. El límite de esta sucesión es precisamente la solución del sistema. A efectos prácticos si el algoritmo se detiene después de un número finito de pasos se llega a una aproximación al valor de x de la solución del sistema.

La sucesión se construye descomponiendo la matriz del sistema $\mathbf {A}$ en la forma siguiente:

$\mathbf {A} =\mathbf {D} +\mathbf {L} +\mathbf {U}$

Donde:

$\mathbf {D}$, es una matriz diagonal.

$\mathbf {L}$, es una matriz triangular inferior.

$\mathbf {U}$, es una matriz triangular superior.

Partiendo de $Ax=b\,$, podemos reescribir dicha ecuación como:

$\mathbf {D} x+\left(\mathbf {L} +\mathbf {U} \right)x=b$

Luego,

$x=\mathbf {D} ^{-1}\left[b-\left(\mathbf {L} +\mathbf {U} \right)x\right]$

Si a_ii ≠ 0 para cada i. Por la regla iterativa, la definición del Método de Jacobi puede ser expresado de la forma:

$x^{\left(k+1\right)}=\mathbf {D} ^{-1}\left[b-\left(\mathbf {L} +\mathbf {U} \right)x^{(k)}\right]$

Donde $k$ es el contador de iteración, Finalmente tenemos:

$x_{i}^{\left(k+1\right)}={\frac {1}{a_{ii}}}\left(b_{i}-\sum \limits _{j\neq i}{a_{ij}x_{j}^{\left(k\right)}}\right),i=1,2,3,...$

Cabe destacar que al calcular x_i^(k+1) se necesitan todos los elementos en x^(k), excepto el que tenga el mismo i. Por eso, al contrario que en el método Gauss-Seidel, no se puede sobreescribir x_i^(k) con x_i^(k+1), ya que su valor será necesario para el resto de los cálculos. Esta es la diferencia más significativa entre los métodos de Jacobi y Gauss-Seidel. La cantidad mínima de almacenamiento es de dos vectores de dimensión n, y será necesario realizar un copiado explícito.

Convergencia

El método de Jacobi siempre converge si la matriz A es estrictamente diagonal dominante y puede converger incluso si esta condición no se satisface. Es necesario, sin embargo, que los elementos de la diagonal en la matriz sean mayores (en magnitud) que los otros elementos.

Algoritmo

El método de Jacobi se puede escribir en forma de algoritmo de la siguiente manera:

Algoritmo Método de Jacobi

función Jacobi ($A$, $x^{0}$) //$x^{0}$ es una aproximación inicial a la solución// para $k\gets 1$ hasta convergencia hacer para $i\gets 1$ hasta $n\,$ hacer $\sigma \gets 0$ para $j\gets 1$ hasta $n\,$ hacer si $j!=i\,$ entonces $\sigma =\sigma +a_{ij}x_{j}^{(k-1)}$ fin para $x_{i}^{(k)}={{\left({b_{i}-\sigma }\right)} \over {a_{ii}}}$ fin para comprobar si se alcanza convergencia fin para

Enlaces externos

• Jacobi Method from www.math-linux.com
• Jacobi Method at Math World
• Module for Jacobi and Gauss–Seidel Iteration
• Numerical matrix inversion