254 ELIMINACION DE GAUSS EJEMPLO 9.4 Eliminacién de incégnitas Planteomiento del problema Use laeliminaein de inedgnitas para resolver (recuer- de el ejemplo 9.) 3a, + 2m, = 18 may #2m,=2 Solucién, Utilizando las ecuaciones (9.11) y (9.10), 28)-2(2) 302)-2-) 2 3Q)-Cn18 302)=2-D ccuyos valores coinciden con Ia solucién grfica (figura 9.) Lacliminacién de incégnitas se puede extender a sistemas con més de tres ecuacio- nes, Sin embargo, los méltiples eéleulos que se requieren para sistemas més grandes hacen que el método sea extremadamente (edioso para realizarse a mano. No obstante, como se describe en la siguiente seccién, la técnica llega a formalizazse y programatse {cilmente en la computadora, 9.2 ELIMINACION DE GAUSS SIMPLE En la secci6n anterior se utilizé la eliminacién de incSgnitas para resolver un par de cecuaciones simultineas. El procedimiento consistis de dos pasos: 1. Las ecuaciones se manipularon para eliminar una de las incégnitas de las ecuaciones. El resultado de este paso de eliminacién fue el de una sola ecuacisn con una incég- aia 2. En consecuencia, esta ecuacién se pudo resolver ditectamente y el resultado susti- tuirse atrés en una de las ecuaciones originales para encontrar la ine6gnita restante. Esta técnica basica puede extenderse a sistemas grandes de ecuaciones desarrollan- do un esquema sistemitico o algoritmico para eliminar incégnitas y sustituir hacia ates. La eliminacién de Gauss es el mas basico de dichos esquemas. Esta secci6n presenta las técnicas sistemiéticas para la eliminacién hacia adelante y la sustitucién hacia atrés que la eliminacién gaussiana comprende. Aunque tales téenicas son muy adecuadas para wlilizarlas en computadoras, se requiere de algunas modifica- ciones para obtener un algoritmo confiable. En particular, el programa debe evitar la divisin entre cero. Al mstodo siguiente se le llama eliminacién gaussiana “simple”, ya que no evita este problema, En las siguientes secciones se veran algunas caracteristicas adicionales necesarias para obtener un programa de cémputo efectivo,9.2_EUMINACION DE GAUSS SIMPLE 255 El método est ideado para resolver un sistema general de n ecuaciones: ym + aiaka + aay + O12) yt H dagty + ky + 12) tH dake tank Ho day = 129 Como en el caso de dos ecuaciones, la técnica para resolver n ecuaciones consiste en dos {ases: la eliminaci6n de las ineégnitas y su soluci6n mediante sustitucién hacia atris. Eliminacién hacia adelante de incdgnites, La primera fase consiste en reducir el ‘conjunto de ecuaciones a un sistema iangular superior (figura 9.3) Hl paso inical ser climinar la primera ineSgnita, x, desde la segunda hasta lan-ésima ecuacién, Para ello, se muliplica la ecuaci6n (9.124) por asy/ay para obtener at tot a, 13) Aix, bot aiyx, =P donde el superindice prima indica que los elementos han cambiado sus valores originales. FIGURA 9.3 10 dos fases de ky elivinacién de Gouss elininacién hacia adelarre y susitucign hacia ots 0s superindices prima indican el mero de veces cue se han medificedo bs cosficienies y consiaries Eliminacién hacia adelante Oy Oy et u ~oixsVets F hacia ares xk) -a2m - a x//a,256 ELIMINACION DE GAUSS El procedimiento se repite después con las ecuaciones restantes. Por ejemplo, la ‘ecuacisn (9.124) se puede multiplicar por ay/ay y el resultado se resta dela tercera ecua- i6n, Se repite el procedimiento con las ecuaciones restantes y da como resultado el siguiente sistema modificado: ayy + anak + ayy to + ety by te) digha tay t= 4 date = (188) Di yXp + a'yyXy +o + Oy = Bs (9.14e) dostdians to tdnn¥, oe) En los pasos anteriores, la ecuacién (9.12a) se lama la ecuacién pivote, y ay, se deno- mina el caeficiente 0 elemento pivote. Observe que el proceso de multiplicacién del primer renglén por aay/ay, es equivalente a dividiela entre ay, y mulliplicasla por dy, Alpunas veces la operacién de divisién es referida a la normalizacién. Se hace esta distinci6n porque un elemento pivote cero Hega a interferir con la normalizacién al causa una divisiGn entre cero, Més adelante se regresaré a este punto importante, una vez que se complete la descripcién de la climinacién de Gauss simple. ‘Ahora se repite el procedimiento antes descrito para eliminar la segunda incégnita cen as ecuaciones (9.14c) hasta (9.144), Para realizar esto, muliplique la ecuacién (9.14b) ora: y reste el resultado de la ecuaci6n (9.14c) Se realiza la eliminacién en forma similar en las ecuaciones restantes para obtener Aum taints + ayany toot ayy = Dy dighy + aiyhy + xs ++ ag = BM donde el superindice biprima indica que los elementos se han modificado dos veces. El procedimiento puede continuar usando las ecuaciones pivote restantes, La dltima ‘manipulacisn en esta secuencia es el uso de la (n ~ 1)ésima ecuacién para eliminar cl ‘término x, de la n-ésima ecuacién. Aqui el sistema se habr4 transformado en un siste- ‘ma triangular superior (véase el cuadro PT3.1) ayy Fat + ayady Foo + ky = By (15a) aigky + algghy bal agky = By (0158) ayy tot akg = (150) (o.sa)9.2_EUMINACION DE GAUSS SIMPLE 257 EI scudocédigo para implementar la climinacién hacia adelante se presenta en Ia figura 9.4a. Observe que tres ciclos anidados proporcionan una representacién concisa 4d proceso, El ciclo externo mueve hacia abajo de la matriz el renglén pivote. El siguien- te ciclo mueve hacia abajo el renglén pivote a cada rengl6n subsecuente, donde la elimi nacién se Hevard a cabo. Finalmente, el ciclo més interno avanza a través de las columnas para eliminar 0 transformar los elementos de un renglén determinado. Susilucién hacia airés, De la ecuacisn (215d) ahora se despejaxy Este resultado se puede sustituir hacia atrds en la (nm 1)ésima ecuacidn y despegar x, El procedimiento, que se repite para evaluar las x restantes, se representa mediante la férmula: paraian—Ln—2uod en El seudocédigo para implementar las ecuaciones (9.16) y (9.17) se representa en la figura 9.4b, Observe la similitud entre este seudocédigo y el mostrado en la figura PT3.4 ‘para la multiplicacién de matrices, De la misma forma que en la figura PT3.4, se utiliza tuna variable temporal sum para acumular la sumatoria de la ecuacién (9.17). Esto da por resultado un tiempo de ejecucién més répido que si la sumatoria fuera acumulada en b,, ‘és importante atin es que esto permite una mayor eficiencia en la precisin sila varia- ble, sum, se declara como variable de doble precisi6n, FIGURA 9.4 Seudocédigo que realize alla elrinacion hacia fodelaniay bj lx susiucion hacia ards ® DoFOR k = 1 DoFoR § factor = a4! ane DoroR j- K+ i ton enp bo by = by ~ factor» by END 00 END 00 » Hy = By Fey boFOR Fn = 1, 2, =I ‘sum = 6, Doror j= +1. END 90 x, = sum fay END 90 nat kein = factor» ay258 ELIMINACION DE GAUSS EJEMPLO 9.5 Eliminacién de Gauss simple Planleamiento del problema, Emplee la eliminacién de Gauss para resolver 3x, —O.ly 0.245 = 785 95.) O.tx + Tx -0.3x5 =-19.3 (6952) 03x, -0.24, + 101, = 71.4 953) Efectie Ios céleulos con seis cifras significativas, Solucion, La primera parte del procedimiento es la eliminacién hacia adelante, Se multiple la ecuacién (B9.5.1) por (0.1/3 y se testa el resultado de la ecuaci¢n (B9.5.2) para obtener 7.0033%x, ~ 0,2933331, = -19.5617 Después, se multiplica la ecuaci6n (E9.5.1) por (0.3)/3 y se resta de la ecuacién (E9.5.3) para eliminar x,. Luego de efectuar estas operaciones, el sistema de ecuaciones es By Oly, 02x, = 785 954) 7.003331, ~ 0.293833, =-19.5617 955) -0,190000x, + 10.0200x, = 70.6150 9.5.6) Para completar la eliminacién hacia adelante, x; debe eliminarse de la ecuacién (E956), Para llevara cabo esto, se multiplica la ecuacisn (E9.5.5) por -0.190000/7.00333 ¥y se testa el resultado de la ecuacién (E9.5.6). Esto elimina x, de la tercera ecuacién y reduce el sistema a una forma triangular superior By Oly, 02a = 785 e957) 7.0093, - 0,293333%, = 19.5617 (e958) 10,0200, = 70.0843, (E959) Ahora se pueden resolver estas ecuaciones por sustitucisn hacia alras. En primer lugar, de la ecuacidn (B9.59) se despeja.x, _ 70.0843 10.0200 x = 7.00003 95.10) Este resultado se sustituye en la ecuaci6n (B9.5.8): 7.00333x, ~ 0.293333(7.00003) = -19.5617 de la que se despeja _=19.5617 +0.293333(7.00003) 2.50000 e951 ° 7.00833 Por dltimo, las ecuaciones (9.5.10) y (E9.5.11) se sustituyen en la (E9.5.4) 43x, — 0.1(-2,50000) — 0.2(7.00008) = 7.85,9.2_EUMINACION DE GAUSS SIMPLE 259 de la que se despeja 7.85 +0.1-2.50000) + 0.2(7.00003) 3 — = 3.00000 Aunque hay un pequeiio error de redondeo en la ecuacién (E9.5.10), los resultados son muy cercanos a la solucién exacta, xy = 2.5 yx, =7. Esto se verifica al sustituir Jos resultados en el sistema de ecuaciones original: 3G) - 0.12.5) -0.2(7.00003) 0.1@) + (2.5) -0.3(7.00008) 9.2.1 Contee de | El tiempo de ejecucisn en la eliminacién gaussiana depende de la cantidad de operacio- nes con punto flotante (0 FLOP) usadas en el algoritmo. En general, el tiempo consumi- do para ejecutar multiplicaciones y divisiones es casi el mismo, y es mayor que para las sumias y restas, Antes de analizar Ia climinacién de Gauss simple, primero se definirén algunas ‘cantidades que facilitan el conteo de operaciones: Yo=T0 Yrors=Yro- Yeo 0.184, 6) O86.) (0.186) 9.18 . sy donde O(n") significa “términos de orden m* y menores ‘Ahora se examinaré en forma delallada el algoritmo de Ia climinacién de Gauss simple, Como en la figura 9.4a, primero se contaré la multiplicacién/divisién de FLOP en la etapa de la eliminacién. En el primer paso durante el ciclo externo, k= 1. Por lo tanto, los limites del ciclo intermedio son desde i= hasta n, De acuerdo con la ecuacién (018d), esto significa que el mimero de iteraciones en el ciclo intermedio seré x -241=n-1 e19) ‘Ahora, para cada una deestas iteraciones, hay una divisi6n paradefinir el factor= a, xl El ciclo interno realiza después una sola multiplicacisn (factor a.) para cada iteracién260 ELIMINACION DE GAUSS de j=2 an, Por dltimo, hay una multiplicacién mas del valor del lado derecho (factor 1b). Asi, en cada iteraci6n del ciclo intermedio, el niimero de multiplicaciones es 1+[n-241]+1=14n (920) EL total em la primera pasada del ciclo externo, por lo tanto, se obtiene al multiplicar la ecuacién (9.19) por la (9.20) para obtener {7 — 1](1 +n. Un procedimiento similar se emplea para estimar las FLOP de 1a multiplicacién/ divisin en las iteraciones subsecuentes del ciclo externo. Esto s f Lazo exteme ——_Laze medi Flops de k Suma/Resta i 2 kel (o-tins 1-8 H m1) Por tanto, el otal de flops de la suma/resta para el proceso de eliminacién se calcu la como Der bn 1-8) = PY nnt)- kn s+] bien nine DS1-On+DS b+ 5 Al aplcar alguna dela relaciones dela ecunci (9.18) se obtene tw +0mI-tn'=0)+[4n'+000)| 2.00 2 Un andlsis similar para los flops de I multiplicacién/divisién leva & Io siguiente 001-1" +00+[E0+000)] som’) 02) ‘Al sumar el resultado queda 2 Lom) Asi, el imero total de flops es igual a 2n'/3 mas un componente adicional de pro- porcionalidad para términos de orden n? y menores. El resultado se escribe de esta ‘manera porque conforme n crece, los términos O(n") y menores se hacen despreciables. Por tanto, se justifica concluir que para un valor de n grande, el esfuerzo necesario para Ia eliminacién hacia adelante converge a 21/39.3 DIFICULTADES EN LOS METODOS DE ELIMINACION 261 9.3 TABLA 9.1 Nimero de FLO? en la eliminaci6n de Gauss simple orcenta n/a 10 430 333 e721 00338250 343300 333333 985 1ooo 8 34408 ga4x lo 433x108 998: Debido a que sélo se utiliza un Lazo (cielo), la sustituci6n hacia atras es mucho mas {cil de evaluar, El nero de flops adicionales para la suma/resta es igual a n(n 1/2. Debido alla divisiéa adicional anterior al lazo, el nimero de flops para la multiplicacién! divisign es n(n + 1)/2. Esto se suma para llegar aun total de ow) Entonces, el trabajo (otal en la eliminacién de Gauss simple se representa como 2n° + O(n) estes 4 Fs O(n) 023) 2H oun? som’) limiacén— Susucén cin adelante hace Fin este andlisis destacan dos conclusiones generales dies: 1, Conform el sistema se vuelve més grande, cl iempo de edleulo sumenta enorme- mente. Como en la tabla 9.1, la cantidad de FLOP aumenta casi tres rdenes de magoitud por cada orden de aumento dela dimensin 2. Lamayor parte del trabajo ocurre en el paso de eliminacién. As, para hacer el mé- todo més eficiente, deberia enfocarse a este paso. DIFICULTADES EN LOS METODOS DE ELIMINACION ‘Mientras que hay muchos sistemas de ecuaciones que se pueden resolver con la elimi- nacién de Gauss simple, existen algunas dificultades que se deben analizat, antes de escribir un programa de cémputo general donde se implemente el método. Aunque cl siguiente material se relaciona en forma dirccta con la climinacién de Gauss simple, la informacién también es relevante pata otras téenicas de eliminacién, 9.3.1 Divisién entre cero La razén principal por la que se le ha llamado simple al método anterior se debe a que durante las fases de climinaci6n y sustitucién hacia atrés es posible que ocurra una di- visién entre cero. Por ejemplo, si se utiliza el método de eliminacién de Gauss simple para resolver 2x, +345 Any + 6x; +7 2x, +4; + 6x5 =5 en la normalizacién del primer renglén babré una divisién entre ay, = 0. También se ‘pueden presentar problemas cuando un coeficiente est muy cercano a cero. La técnica