Definicin El mtodo de Gauss-Seidel es el mtodo iterativo ms comnmente usado.

Suponga que se da un sistema de n ecuaciones: [A]{X}= {B} Suponga que se limita a un conjunto de ecuaciones 3x3. Si los elementos de la diagonal no son todos ceros, la primera ecuacin se puede resolver para , la segunda para y la tercera para , para obtener

Ahora, se puede empezar el proceso de solucin de escoger valores inciales para las x. una forma simple para obtener los valores inciales es supones que todos son ceros. Estos ceros se sustituyen en la ecuacin calcular un nuevo valor con el valor previo cero de , la cual se utiliza para junto

. Despus se sustituye este nuevo valor de en la ecuacin

y se calcula el

nuevo valor de . Este proceso se repite con la ecuacin , para calcular el nuevo valor de . Despus se regresa a la primera ecuacin y se repite todo el procedimiento hasta que la solucin converja suficientemente cerca de los valores verdaderos. La convergencia se verifica utilizando el criterio

Para todas las i, donde j y j-1 son las iteraciones actales y previas, respectivamente. Ejemplo: Use el mtodo de Gauss-Seidel para obtener la solucin del sistema: 3 -0.1 -0.2 =7.85 0.1 -7 -0.3 =-19.3 0.3 -0.2 -10 =71.4 Recordando que la verdadera solucin es =3, y

Solucin. Primero, despeje la incgnita sobre la diagonal para cada una de las ecuaciones. (1) (2) (3) Suponiendo que y son cero, se utiliza la ecuacin (1) para calcular

Este valor, junto con el valor de

, se sustituye en la ecuacin (2) para calcular

La primera iteracin termina al sustituir los valores calculados para ecuacin (3) para dar

en la

En la segunda iteracin, se repite el mismo proceso para calcular

El mtodo es, por lo tanto, convergente hacia la verdadera solucin. Es posible aplicar iteraciones adicionales para mejorar los resultados. Sin embargo, en un problema real, se poda saber a priori el resultado correcto. En consecuencia, la ecuacin nos da un medio para estimar el error. Por ejemplo, para ,

Para , los errores estimados son y . Observe que, como cuando se determinaron las races de una sola ecuacin, las formulaciones como la ecuacin usualmente ofrecen una valoracin conservativa de la convergencia. As, cuando estas se satisfacen, aseguran que el resultado se conozca con, al menos, la tolerancia especificada por . Conforme un nuevo valor de x se calcula con el mtodo de Gauss-Seidel, este se usa inmediatamente en la siguiente ecuacin para determinar el otro valor de x. De esta forma, si la solucin es convergente, se empleara la mejor aproximacin disponible. Criterio de convergencia para el mtodo de Gauss-Seidel: El criterio de convergencia se puede desarrollar sabiendo que las condiciones suficientes para la convergencia de dos ecuaciones no lineales, u ( x, y ) y v( x, y) , son
u v 1 x x

u v 1 y y

(a)

Este criterio se aplica tambin a las ecuaciones lineales que se resuelven con el mtodo de de Gauss-Seidel. Por ejemplo, en el caso de dos ecuaciones simultaneas, el algoritmo de Gauss-Seidel se expresa como: c a c a u ( x1 , x 2 ) 1 12 x 2 u ( x1 , x 2 ) 2 21 x1 y (b) a11 a11 a 22 a 22 Las derivadas parciales de estas ecuaciones se evalan con respecto a cada una de las incgnitas as: a v u 21 y, 0 x1 a 22 x1

v 0 x 2

a u 12 x 2 a11

Sustituyendo en la ecuacin (a)

a 21 1 y a 22

a12 1 a11

(c)

En otras palabras, el valor absoluto de las pendientes en la ecuacin (b) debe ser menor que la unidad para asegurar la convergencia.

La ecuacin (c) tambin se reformula as: y a22 a21 a11 a12 Esto es, el elemento diagonal debe ser mayor que el elemento fuera de la diagonal para cada rengln. La generalizacin de lo anterior para n ecuaciones es directa y se expresa como

aii ai , j
j 1 j i

(d)

Es decir, el coeficiente diagonal en cada una de las ecuaciones debe ser mayor que la suma del valor absoluto de los otros coeficientes de la ecuacin. Este criterio es suficiente pero no necesario para la convergencia. Es decir, el metodo puede funcionar aunque no satisfaga la ecuacin (d), la convergencia se garantiza cuando la condicion se satisface. A los sistemas que cumplen la ecuacin (d) se les conoce como diagonales dominantes. Mejoramiento de la convergencia usando relajacin La relajacin representa una ligera modificacin al mtodo de Gauss-Seidel y esta permite mejorar la convergencia. Despus de que se calcula cada nuevo valor de, ese valor se modifica mediante un promedio ponderado de los resultados de las iteraciones anterior y actual: Xinuevo = xinuevo + (1-) xianterior Donde es un factor ponderado que tiene un valor entre 0 y 2. Si =1, (1-) es igual a 0 y el resultado no se modifica. Sin embargo, si a se le asigna un valor entre 0 y 1, el resultado es un promedio ponderado de los resultados actuales y anteriores. Este tipo de modificacin se conoce como subrrelajacin. Se emplea comnmente para hacer que un sistema no convergente, converja o apresure la convergencia al amortiguar sus oscilaciones. Para valores de 1 a 2, se le da una ponderacin extra al valor actual. En este caso, hay una suposicin implcita de que el nuevo valor se mueve en la direccin correcta hacia la solucin verdadera, pero con una velocidad demasiado lenta. Por lo tanto, se pretende que la ponderacin adicional de mejore la aproximacin al llevarla ms cerca de la verdadera. De aqu que este tipo de modificacin, al cual se llama sobrerrelajacin, permite acelerar la convergencia de un sistema que ya es convergente. El mtodo tambin se conoce como sobrerrelajacin simultnea o sucesiva, o SOR. La eleccin de un valor adecuado de es especificado por el problema y se determina en forma emprica. Para la solucin de un solo sistema de ecuaciones, con frecuencia es innecesaria. No obstante, si el sistema bajo estudio se va a resolver de manera tanto en extremo. Buenos ejemplos de lo anterior son los sistemas muy grandes de ecuaciones diferenciales parciales, que frecuentemente se presentan cuando se modelan variaciones continuas de variables.

Ventajas del mtodo de Gauss-Seidel Adems de evitar el problema de redondeo, el mtodo de Gauss-Seidel tiene muchas otras ventajas que la hacen particularmente atractiva en el contexto de ciertos problemas de ingeniera. Por ejemplo, cuando la matriz en cuestin es muy grande y esparcida (es decir, cuando la mayora de los elementos son cero), los mtodos de eliminacin desperdician grandes cantidades de memoria de cmputo al guardar ceros. Como todas las computadoras tienen una cantidad de memoria finita, esta ineficiencia llega a poner una limitacin al tamao de los sistemas, para los cuales los mtodos de eliminacin resultan prcticos. La estructura de las ecuaciones de Gauss-Seidel permite que se desarrollen programas concisos para sistemas especficos. Como slo se necesita incluir coeficientes que no sean cero en la ecuacin, es posible lograr grandes ahorros en la memoria de la computadora. Aunque esto implica ms inversin en el desarrollo de Software, las ventajas a largo plazo son sustanciales cuando se tiene grandes sistemas, en los cuales se ejecutan muchas simulaciones. Tanto sistemas de variables localizadas como distribuidas pueden dar como resultado matrices grandes y muy esparcidas donde el mtodo de Gauss-Seidel tiene utilidad.

Aplicaciones Hablar de las aplicaciones del mtodo de Gauss-Seidel es hablar de las aplicaciones de los sistemas de ecuaciones lineales: los ingenieros con mucha frecuencia se enfrentan a problemas que involucran sistemas de ecuaciones que son demasiado grandes para resolverse a mano. Los algoritmos numricos en estas aplicaciones son particularmente adecuados para implementarse en computadoras personales. En la ingeniera qumica, el mtodo de Gauss-Seidel puede ser utilizado para el anlisis de sistemas de reactores en estado estacionario. A la hora de usar el balance de masa, las representacin del sistema de reactores queda expresado en un sistema de ecuaciones lineales, en el que por lo general las variables a buscar son las distintas concentraciones del sistema. En la ingeniera civil, a la hora de encontrar fuerzas y reacciones asociadas con una armadura estticamente determinada, es necesario realizar un anlisis de la armadura, el cual se expresa en un sistema de ecuaciones lineales que pueden ser resueltos con el mtodo de Gauss-Seidel. Las variables a determinar son las fuerzas que actan en cada nodo. En la ingeniera elctrica y de telecomunicaciones: para el anlisis de circuitos elctricos con resistores, se emplean distintas leyes como las de Kirchhoff y Ohm, as como distintos anlisis como los de nodos y los de mallas. El comportamiento de un circuito elctrico queda expresado en un sistema de ecuaciones lineales, ya sea en

funcin de las corrientes de las mallas o en funcin de los voltajes nodales. En estos casos tambin puede ser empleado el mtodo de Gauss-Seidel. Pseudocdigo del mtodo de Gauss-Seidel

SUBROUTINE Gseid (a, b, n, x, imax, es, lambda) DOFOR i = 1, n dummy = ai,,i DO FOR j = 1, n ai, j = ai, j /dummy END DO bi = bi / dummy END DO DOFOR i = 1, n sum = bi DOFOR j = 1, n IF i< >j THEN sum = sum -ai,j*xj E NDDO iter = 1 DOFOR Centinela = 1 DOFOR i = 1, n old = xi sum = bi DOFOR j = 1, n IF i< >j THEN sum = sum -ai,j*xj ENDDO Xi = lambda*sum + (1.-lambda)*old IF centinela = 1 AND xi < > 0. THEN ea = ABS((xi old)/xi)*100 IF ea > es THEN centinela = 0 END IF END DO Iter = iter + 1 IF centinela = 1 OR (iter > imax) EXIT END DO END Gseid

En este pseudocdigo cabe destacar lo siguiente: 1) Existe un conjunto inicial de ciclos anidados para dividir cada ecuacin por su elemento diagonal. Esto reduce el nmero total de operaciones en el algoritmo. 2) La variable centinela es la verificacin del error. Si en cualquiera de las ecuaciones se tiene un error aproximado mayor que el error permitido (en el pseudocdigo, la variable es), entonces se permite continuar con las iteraciones. El uso de la variable centinela ayuda a evitar clculos innecesarios de estimacin de error una vez que las ecuaciones excedan el criterio.

Maracaibo, 26 de Noviembre de 2010 Universidad Rafael Urdaneta Profesor(a): Rosa Zamora Ctedra: Mtodos Numricos

METODO DE GAUSS-SEIDEL