UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS

3. SOLUCIN NUMRICA DE SISTEMAS DE ECUACIONES

3.1. OBJETIVOS
Repasar conceptos fundamentales de lgebra lineal. Presentar al estudiante los mtodos directos e indirectos para solucionar un sistema de ecuaciones lineales. Presentar al estudiante los mtodos numricos aplicables a la solucin de sistemas de ecuaciones no lineales Implementar los mtodos descritos usando las herramientas y funciones que posee MATLAB. Aplicar los mtodos a problemas de ingeniera mecnica que involucran la solucin de sistemas de ecuaciones.

3.2. SISTEMAS DE ECUACIONES LINEALES

Existen una gran variedad de problemas en ingeniera mecnica que requieren la solucin de varias ecuaciones lineales simultneas. Entre ellos es posible citar problemas de esttica, dinmica, mecnica de materiales, programacin lineal, etc. Incluso varios mtodos numricos empleados para solucionar ecuaciones diferenciales parciales, como los elementos finitos, buscan linealizar un comportamiento no lineal convirtindolo en un sistema de ecuaciones lineales. En general, un sistema de m ecuaciones lineales puede definirse como sigue:

a11 x1 + a12 x 2 + a13 x3 + K + a1n x n = b1 , a 21 x1 + a 22 x 2 + a 23 x3 + K + a 2 n x n = b2 , a31 x1 + a32 x 2 + a33 x3 + K + a3n x n = b3 , M a m1 x1 + a m 2 x 2 + a m 3 x3 + K + a mn x n = bm ,

siendo a11 , a12 ,K a mn los coeficientes que acompaan a las n variables x1 , x 2 , K x n y (1)

b1 , b2 , Kbm los

m trminos independientes. El sistema (1) puede escribirse como la

ecuacin matricial

~ ~ ~ A~ x =b,
donde A es la matriz de coeficientes de tamao m n

(2)

~ ~

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
a11 ~ ~ a 21 A= M a m1 a12 a 22 M am2 K a1n K a2n , O M L a mn

(3)

~ y su rango rg ( A) ser el nmero de filas no nulas, i.e, linealmente independientes; ~ x es el vector de variables
x1 x ~ x = 2, M x n
y b es el vector de coeficientes independientes

(4)

b1 ~ b2 b = . M b m

(5)

Cuando b = 0 entonces el sistema matricial es homogneo. La matriz ampliada del sistema matricial se denota como , y estar definida por la siguiente ecuacin: Ab

~ ~~

a11 ~ ~ ~ a 21 Ab = M a m1

a12 a 22 M am2

K a1n b1 K a 2 n b2 O M M L a mn bm
~ ~ ~

(6)

x * es solucin del sistema matricial si A~ x * = b . Resolver el sistema Cualquier vector ~ matricial implica hallar todas sus soluciones, y segn su nmero es posible clasificar los sistemas lineales en:
Sistemas incompatibles si no tiene soluciones Sistemas compatibles determinados si poseen una nica solucin Sistemas compatibles indeterminados si tiene infinitas soluciones.

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
Segn el Teorema de Rouch-Frobenius existe relacin entre el rango de las matrices A ,

~ ~

~ ~~ y el tipo de sistema lineal: Ab ~ ~ ~ ~~ Si rg , el sistema es incompatible rg Ab A ~ ~ ~ ~~ Si rg A = rg Ab = n , el sistema es compatible determinado ~ ~ ~ ~ ~ Si rg A = rg Ab = k < n , el sistema es compatible indeterminado y la solucin depende de n k parmetros.

Los mtodos numricos con los cuales se resuelven sistemas lineales se pueden clasificar en Directos e Indirectos. A continuacin se explican cada uno de stos. 3.2.1. MTODOS DIRECTOS

Son mtodos que emplean las tres operaciones bsicas o elementales para reducir y/o factorizar la matriz de coeficientes: Intercambio de dos filas. Multiplicacin de una fila por una constante real no nula. Sustitucin de una fila por la suma de ella misma con el producto de otra multiplicada por una constante real no nula.

Estos mtodos son apropiados para problemas de tamao moderado y matrices de coeficientes suficientemente densas, i.e. que posean pocos coeficientes iguales a cero. Dado que trabajan sobre la matriz de coeficientes o sobre la matriz ampliada modifican la estructura del sistema agregando ceros mediante las operaciones elementales entre filas, lo que produce que sus respuestas tengan errores de redondeo. 3.2.1.1. La Eliminacin Gaussiana

Aplicando los conocimientos del lgebra lineal, si A es una matriz invertible de orden

~ ~

~ ~ ~ ~ ~ ~ ~ n n , entonces existe un sistema U~ x=~ y equivalente al sistema A~ x = b , siendo U una

matriz triangular superior donde sus elementos diagonales son diferentes de cero. El objetivo de la eliminacin Gaussiana es obtener dicho sistema equivalente a partir del sistema original usando las operaciones bsicas entre filas (reduccin hacia adelante), para luego realizar una sustitucin hacia atrs.

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
Reduccin hacia adelante

La reduccin hacia adelante empieza definiendo las componentes de la matriz ampliada del sistema segn la ecuacin (6). Dado que se requiere convertir el sistema en uno triangular superior, deben anularse las componentes que se encuentran debajo de la diagonal. Inicialmente, debe tomarse como pivote la componente a11 y eliminar las componentes a 21 , a31, K a n1 mediante las operaciones elementales entre filas. Para pivotar adecuadamente, se requiere que a11 0 , por lo cual se debe intercambiar filas, de ser necesario. A continuacin se ilustra el procedimiento para reducir las componentes usando como pivote la componente a11 :

a11 a21 a31 M a n1

a12 K a1n a22 K a2 n a32 K a3n M O M an 2 L ann

a11 a12 b1 b2 a '22 a21 0 F2 F1 11 a31 a32 b3 a M M M a bn n1 an 2 a11 a12 a31 0 a '22 F1 F3 11 a 0 a '32 M M a n1 an 2 M a11 an 1 0 F1 Fn 11 a 0 M 0

K a1n K a'2 n K a3 n O M L ann K a1n K a'2 n K a '3 n O M L ann

b1 b' 2 b3 M bn b1 b' 2 b '3 M bn b1 b' 2 b '3 M b' n

a12 K a1n a '22 K a '2 n a '32 K a '3n M O M a 'n 2 L a 'nn

(7)

Una vez reducidas todas las componentes bajo el pivote de la primera columna, se pasa a la segunda columna, se escoge como pivote la componente a ' 22 y se procede a anular las componentes a '32 , a ' 42 K , a ' n 2 . El procedimiento se repite sucesivamente por todas las columnas, escogiendo siempre como pivote la componente de la diagonal, hasta obtener la matriz triangular superior:

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
a11 0 0 M 0 ~ a12 K a1n b1 a' 22 K a ' 2 n b' 2 0 K a ' 3 n b' 3 . M M O M 0 L a ' nn b' n

(8)

~ Una vez se obtiene el sistema U~ x=~ y se procede a realizar una sustitucin hacia atrs.

Sustitucin hacia atrs

Para hallar la solucin del sistema equivalente se despeja que:

xn de la ltima ecuacin tal

xn =

b' n . a ' nn

(9)

Como ya es conocido xn se puede usar en la penltima ecuacin:

x n 1 =
Conocidos xn y xn 1 se halla x n 2 :

b' n 1 a' (n 1)n x n a (n 1)(n 1)

(10)

X n2 =

bn 2 a n 2 n 1 x n 1 a n 2 n x n a n2 n2

(11)

Y el procedimiento se repite hasta despejar x1 de la primera ecuacin, de tal forma que en trminos generales la sustitucin hacia atrs puede expresarse como:

xk =
para k = n 1, n 2,K ,1 .

b' k a ' kj x j
j = k +1

a ' kk

(12)

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
3.2.1.2. La Factorizacin LU La factorizacin LU pretende factorizar la matriz A en dos matrices triangulares L y U , de tal forma que

~ ~

~ ~ ~ ~~ ~ A = LU .

(13)

La matriz L se caracteriza por ser una matriz triangular inferior, con componentes en la ~ diagonal iguales a 1, mientras que U es una matriz triangular superior, tal cual se ilustra a continuacin:

1 ~ ~ l 21 L = M l n1 u11 ~ ~ 0 U = M 0

0 1 M ln2 u12 u 22

K 0 K 0 , O M L 1

(14)

M
0

K u1n K u 2n . O M L u nn

(15)

Empleando la Ecuacin (13) y reemplazndola en la Ecuacin (2), se observa que

~ ~ ~ ~~ ~ ~ ~ ~ ~ ~ ~ A~ x = x =b . LU x = L U ~

(16)

Ya que A tiene inversa, pues el sistema de ecuaciones es compatible determinado, ~ ~ entonces L y U tambin tienen inversa, por lo tanto debe existir ~ y tal que

~ ~

~ ~ U~ x=~ y,
y por lo tanto la Ecuacin (16) se convierte en la solucin del sistema

(17)

~ ~ ~ L~ y =b.

(18)

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
Si se observa con atencin el mtodo de eliminacin gaussiana simple, lo que se hizo al realizar la reduccin hacia adelante fue obtener una matriz diagonal superior U y un

~ ~

~ ~ ~ ~ vector de constantes ~ y tal que U ~ x=~ y , por lo tanto si U es la matriz de la factorizacin ~

LU, entonces L debe ser una matriz triangular inferior que contiene en las componentes diferentes de cero a cada uno de los coeficientes que se usaron para colocar ceros en las ~ componentes debajo de los pivotes, por lo tanto, L ser igual a

1 a 21 a11 ~ ~ L = a31 a11 M a a n1 11

0 1 a' 32 a ' 22 M a' n 2 a' 22

0 0 1 M a' n 3 a' 33

L 0 L 0 L 0 . O M L 1

(19)

Finalmente, el mtodo consiste en los siguientes pasos: 1) Plantear el sistema A~ x =b. 2) Obtener las matrices L y U .

~ ~

y . Dado que 3) Resolver el sistema L ~ y = b , para as obtener las componentes de ~ este sistema es triangular inferior, basta con realizar una sustitucin hacia adelante para solucionar el sistema.
4) Resolver el sistema U ~ x=~ y , para as obtener las componentes de ~ x . Dado que este es un sistema trinagular superior, basta con realizar una sustitucin hacia atrs para solucionar el sistema.

~ ~

~ ~

3.2.2.

MTODOS INDIRECTOS

De forma general, estos mtodos estn basados en el mtodo del punto fijo para la solucin de ecuaciones no lineales y el proceso consiste en sustituir de modo iterado en una frmula. Ya que estos mtodos mantienen la estructura del sistema lineal (no agregan ceros en la matriz de coeficientes o en la matriz ampliada) sus respuestas presentan errores de truncamiento dado que emplean frmulas de aproximacin, lo cual los hace ms eficientes para manejar sistemas de gran tamao con matrices dispersas, i.e. matrices con gran cantidad de coeficientes iguales a cero.

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
3.2.2.1. Mtodo de Gauss-Seidel El mtodo de Gauss-Seidel es un mtodo iterativo que est basado en el mtodo de iteracin de punto fijo para la solucin de ecuaciones no lineales, el cual fue explicado en el captulo anterior. Inicialmente, con base en el sistema de ecuaciones lineales A~ x =b:

~ ~

a11 x1 + a12 x 2 + a13 x3 + K + a1n x n = b1 , a 21 x1 + a 22 x 2 + a 23 x3 + K + a 2 n x n = b2 , a31 x1 + a32 x 2 + a33 x3 + K + a3n x n = b3 , M a n1 x1 + a n 2 x 2 + a n 3 x3 + K + a nn x n = bn ,

se procede a despejar de la primera ecuacin x1 , de la segunda ecuacin x1 , de la tercera ecuacin x1 y as consecutivamente hasta despejar x1 de la ensima ecuacin, para obtener entonces las frmulas de iteracin (20)

x1 = x2 = x3 = M xn =

b1 (a12 x 2 + a13 x3 + K + a1n x n ) , a11

b3 (a31 x1 + a32 x 2 + K + a3n x n ) , a33

b2 (a 21 x1 + a 23 x3 + K + a 2 n x n ) , a 22
(21)

bn (a n1 x1 + a n 2 x 2 + a n 3 x3 + K + a n 1 x n 1 ) . a nn

El algoritmo de Gauss-Seidel se describe a continuacin: 1) Se toma como punto inicial de bsqueda el vector

~ ~ x0 = 0 ,

i.e,

x1 = x 2 = x3 = K x n = 0 .
2) Se procede a evaluar secuencialmente el sistema de ecuaciones de iteracin, como sigue:

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
a. Con

x1 =

b1 (a12 x 2 + a13 x3 + K + a1n x n ) . a11

los

valores

actuales

de

x 2 , x3 , K x n

se

evala

b. Con los valores actuales de x3 , x 4 K x n , y tomando el valor obtenido de x1 , se evala x 2 =

b2 (a 21 x1 + a 23 x3 + K + a 2 n x n ) . a 22

c. Con los valores actuales de x 4 , x5 K x n , y tomando los valores obtenidos de x1 y x1 , se calcula x3 =

b3 (a31 x1 + a32 x 2 + K + a 3n x n ) . a33

d. El procedimiento se realiza secuencialmente, hasta que con los valores se evala calculados de x1 , x 2 , x3 K x n 1

xn =

bn (an1 x1 + an 2 x2 + an 3 x3 + K + an 1 xn 1 ) . ann

3) Se evala el error aproximado relativo para TODAS LAS VARIABLES y se comprueba que ai s , siendo ai el error aproximado relativo de la variable xi y s es el error estimado de acuerdo al nmero de cifras que se usarn para expresar las respuestas aproximadas. Si no se cumple la condicin de convergencia para todas las variables se debe regresar al paso 2 y evaluar todas las ecuaciones de iteracin. Dado que posee un algoritmo similar al de iteracin de punto fijo, existe la posibilidad que el mtodo de Gauss-Seidel diverja. Una condicin para la convergencia del mtodo consiste en evaluar si la matriz A posee una diagonal dominante, para la cual se debe cumplir que

~ ~

aii aij para i = 1, 2, 3, K, n ,

j =1 j i

(22)

es decir, el valor absoluto de la componente ubicada en la diagonal debe ser mayor o igual a la suma de los valores absolutos de las dems componentes de la misma fila. Debe tenerse en cuenta que esta condicin es SUFICIENTE, por lo tanto si se cumple est garantizada la convergencia del mtodo, sin embargo, si sta no se cumple el algoritmo puede o no converger.

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS

3.3. CONTENIDO PRCTICO

3.3.1. ACTIVIDADES INVESTIGATIVAS

1) Con base en el captulo 9 del libro de Chapra, Mtodos Numricos para Ingenieros 5 ed, determine cules son las situaciones que deben tenerse en cuenta para la seleccin de los pivotes en el mtodo de Eliminacin Gaussiana simple. 2) Con base en el captulo 10 del Chapra, Mtodos Numricos para Ingenieros 5 ed, determine cules son las ventajas del mtodo de factorizacin del mtodo de factorizacin LU frente a la Eliminacin Gaussiana Simple. 3) Con base en el captulo 11 del libro de Chapra, Mtodos Numricos para Ingenieros 5 ed, y en la dems bibliografa del curso de Mtodos Numricos, determine qu otras condiciones de convergencia pueden evaluarse para el mtodo de Gauss-Seidel. 3.3.2. EJERCICIOS PROPUESTOS

1) Solucione los siguientes sistemas de ecuaciones lineales empleando los mtodos de Eliminacin Gaussiana Simple, Factorizacin LU y Gauss-Seidel. Si considera que debe reorganizar las ecuaciones hgalo.

5 x1 + 1.4 x 2 2.7 x3 = 94.2

a. 0.7 x1 2.5 x 2 + 15 x3 = 6

3.3 x1 11x 2 + 4.4 x3 = 27.5 x1 + 5 x 2 + x3 = 18

b.

3x1 + x 2 x3 = 3 x1 + x 2 4 x3 = 6 x1 3 x3 + 5 x5 = 17 = 17 5 x5 = 21 x3 + 2 x 4 x5 = 0 x1 + x 2 =3

2 x 2 x3 + 4 x 4
c.

2 x1 + 2 x 2

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS

2) Halle numricamente las fuerzas de los miembros BC, BE y EF de la armadura de la gra cargada e indique si estos miembros estn sometidos a compresin o a tensin. Emplee los mtodos de Gauss, factorizacin LU y Gauss-Seidel.

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
3) La volqueta de la figura est lista para descargar una carga de arena. El peso total que se est cargando es 15000lb con su centro de masa en C. Para la posicin indicada, y tratando el cilindro hidrulico AE como un miembro de dos fuerzas, halle numricamente la fuerza que ste ejerce y las fuerzas que soporta el perno en B. Emplee los mtodos de Gauss, Gauss-Seidel y factorizacin LU.

Ing. Carlos Alberto Narvez, 2008

UNIVERSIDAD SANTO TOMAS DIVISIN DE INGENIERAS FACULTAD DE INGENIERA MECNICA MTODOS NUMRICOS
4) En la figura se observa una excavadora que empieza a escarbar. Si la resistencia del terreno es de 7600lb, aproximadamente normal a la lnea AC como se muestra, halle numricamente la fuerza en el cilindro hidrulico BD y las fuerzas que soporta el perno en A. El peso del brazo principal, el brazo de ataque, el cucharn y los cilindros hidrulicos es de 15000lb; suponga que la distancia horizontal del centro de masa del sistema est a la mitad entre G y C. Emplee los mtodos de Gauss, Gauss-Seidel y factorizacin LU.

Esquema del brazo de la excavadora

Ing. Carlos Alberto Narvez, 2008