SOLUCIONES NUMRICAS DE SISTEMAS DE ECUACIONES LINEALES. Eliminacin Gaussiana. Consideremos el sistema lineal 1 con A M n R.

A x b

Para resolver el sistema 1 lo reduciremos a un sistema equivalente 2 U x b en el que U es triangular superior.Este ltimo sistema puede resolverse facilmente por sustitucin hacia atrs.Denotaremos el sistema original por A 1 x b 1 Caso n 3 a1 a1 a1 b1 11 12 13 1 1 1 1 1 1 , b A a 21 a 22 a 23 b1 2 a1 a1 a1 b1 31 32 33 3 A continuacin describiremos el algoritmo de eliminacin de Gauss en su forma mas simple,para ello haremos algunas suposiciones que pueden ser eliminadas ordenando las filas ( ecuaciones ) de modo que a ii 0 , i 1, 2, . . . n 1. a1 i1 Supongamos que a 1 0 y sea m i1 1 , i 2, 3 11 a 11 Definimos: a 2 a 1 para j 1, 2, 3 1j 1j a2 0 21 a2 0 31 a 2 a 1 m i1 a 1 , 1 2, 3 ; j 2, 3 ij ij 1j El sistema queda entonces como A 2 x b 2 a1 a1 a1 11 12 13 A 2 0 0 a2 a2 22 23 a2 a2 32 33 y m 32 a2 32 a2 22 , b2 b1 1 b2 2 b2 3

Supongamos que a 2 0 22

Definimos:

a3 a2 ij ij a3 0 32

para

b3 i

i 1, 2 ; j 1, 2, 3 b 2 , i 1, 2 i

A 3 ponemos

a 3 a 2 m 32 a 2 33 33 23 1 1 1 a 11 a 12 a 13 , 0 a2 a2 22 23 0 0 a3 33

b 3 b 2 m 32 b 2 3 3 2 1 b1 b3 b2 2 , b3 3

u 11 u 12 u 13 U 0 0 b1 b2 b3 u 22 u 23 0 u 33 b1 1 b3 Ux b b2 2 b3 3

a1 a1 a1 11 12 13 0 0 a2 a2 22 23 0 a3 33

con eso el sistema queda

u 11 u 12 u 13 0 0 con soluciones: x3 x2 x1 Generalizando: El sistema original

1 u 11 1 u 22

x1 x2 x3
b3 u 33

u 22 u 23 0 u 33

b1 b2 b3

b 1 u 12 x 2 u 13 x 3

b 2 u 23 x 3

A 1 x b 1 con

A 1 a 1 M n , b 1 b 1 , b 1 , . . . , b 1 t M n1 n ij 1 2 a1 1 Supongamos que a 11 0 , definimos m i1 a 1i1 , i 2, 3, . . . , n Definimos a 2 a 1 , j 1, 2, 3, . . . , n 1j 1j i 2, 3, . . . , n a2 0 i1 a 2 a 1 m i1 a 1 , i, j 2, 3, . . . , n ij ij 1j 2 1 b 2 b 1 m i1 b 1 , i 2, 3, . . , n b1 b1 , i i 1 El sistema original se ha transformado en el sistema equivalente A 2 x b 2 que tiene la forma: a1 a1 a1 a1 x1 b1 11 12 13 1n 1 0 0 a2 a2 a2 22 23 2n a2 a2 a2 32 33 3n x2 x3 b2 2 b2 3
11

0 a2 a2 a2 xn b2 nn n n2 n3 Sea k tal que 1 k n 1 y supongamos que hemos construido el sistema A k x b k . Entonces A k tiene la forma:

a1 a1 a1 a1 a1 11 12 13 1n 1k 0 0 0 0 Sopongamos que a2 a2 a2 a2 22 23 2n 2k 0 0 0 ak kk a3 a3 a3 33 3n 3k 0 0 ak ak kk kn

ak ak nn nk ak ik 0 y sea m ik k , i k 1, k 2, . . . , n a kk

Definimos a k1 a k m ik a k ; b k1 b k m ik b k , i, j k 1, k 2, . . . , n ij ij i i kj k Las filas de la 1 hasta la k se dejan igual y se ponen ceros en la columna k bajo el elemento de la diagonal.Continuando de esta manera despus de n 1 pasos se obtiene lo siguiente: An x bn que tiene la forma: a1 a1 a1 a1 x1 b1 11 12 13 1n 1 0 0 0 a2 a2 a2 22 23 2n 0 0 a3 a3 33 3n 0 an nn x2 x3 xn Ux b b2 2 b3 3 bn n

Sea U A n y b b n superior y se resuelve por xn xk Obs)

1 u kk 1 u 11

el sistema b n

es triangular

bk

jk1

u kj x j

k n 1, n 2, . . . , 2, 1

En el proceso computacional es conveniente conservar los multiplicadores m ij dado que a menudo necesitamos resolver el sistema A x b con la misma matriz A pero con diferente vector b. En el computador los elementos a k1 , i j se almacenan ij siempre en los espacios que ocupaban los elementos a k ; los espacios ij que ocupaban los elementos bajo la diagonal que ahora son ceros proveen capacidad para almacenar los elementos m ij . Otra razn para conservar los multiplicadores m ij es la siguiente. Sea L la matriz triangular inferior

1 m 21 L

0 1

0 0 1

0 0

m 31 m 32

a2 3n 1

m n1 m n2 m n3 Se tiene el teorema TEOREMA ( Factorizacin LU de una matriz.) Sean L y U las matrices triangular inferior y superior respectivamente obtenidas en la eliminacin gaussiana.Entonces. A LU Corolario detA u 11 u 22 u nn porque detA detUdet L Ejemplo. Resolver el sistema. x 4 2 x1 x2 2x 1 x 2 x 3 4x 1 x 2 x 3 1 1 2 1 0 1 x1 x2 x3 x4 x4 1 4x 1 x 2 2x 3 2x 4 1 2x 4 2 2 1 1 2 1 1

m 21 2 m 31 4 m 41 4

x1 x2 x3 x4

2 3 9 10

1 1

0 1 1 1 0 5 2 2 0 5 1 2

4 1 2 2 4 1 1 2

1 1 m 32 5 m 42 5 0 0 0 0

0 3 4

1 3 3

x1 x2 x3 x4

2 3 6 5

0 1 1 1

1 1 m 43
4 3

0 3 0

1 3 1

x1 x2 x3 x4

2 3 6 3

0 1 1 1 0 0 0 0

Soluciones

x 4 3 x 3 1 6 9 1 3

x 2 3 1 3 1 x 1 2 1 3 2 1 0 0 0 1 1 L 2 1 0 0 4 5 1 0 4 5
4 3

0 3 0 1

1 3 1 1 1 0 1

0 1 1 1 0 0 0 0

1 1 1 0 0 0 0 0 3 0 1 3 1

1 0 0 0 2 1 0 0 4 5 1 0 4 5
4 3

0 1 1 1

1 1

4 1 2 2 4 1 1 2