Mtodos Numricos

Resoluo de Sistemas de Equaes

Lineares
Renato S. Silva, Regina C. Almeida

Sistemas de Equaes Lineares

Os sistemas lineares de equaes (SELAS) aparecem
em muitos - quase todos - problemas de modelagem
computacional em engenharia e cincias!
O que um sistema de equaes lineares?
Resoluo de vrias equaes lineares
simultneamente

Geoma/03 p.1/52













3 equaes e 3 incgnitas:


 




 
 

 
  

Exemplo

equaes










  







   

 
 


  

Definindo:

coeficientes que multiplicam uma

incgnita especfica em cada linha






linha /
coluna

Geoma/03 p.2/52










 

  













   

  
    
   
    

  


 
 
 



  
  

 

 





    

 


Definies

Coeficientes

Definindo

onde

no dependem de

sistema linear de equaes

onde

Geoma/03 p.3/52

Vetor








Notao Matrix
ou

ou

ou

vetor de
incgnitas:



    
    
  




  

onde

vetor do lado
direito:

matriz de
coeficientes:

Geoma/03 p.4/52

SELAS
incgnitas:

equaes e

matriz de

incgnitas:

lado direito:

coeficientes:

 

vetor do




 

vetor de

.
.
.






























  

  
  

 

Sistema com

.
.
.

.
.
.

.
.
.

..

.
.
.

Geoma/03 p.5/52

  

     
  

 
 




SELAS

Reescrevendo o sistema

..
.

..
.

. . . ..
.

..
.

..
.

Geoma/03 p.6/52

SELAS

Se

colunas

Se uma matriz com

retangular).

linhas e

colunas (matriz

Se

linhas e













 


At aqui uma matriz com

(matriz quadrada).

Geoma/03 p.7/52

SELAS



Trs situaes podem ocorrer na resoluo de

:
existe uma nica soluo;
existem infinitas solues;
no existe soluo.

Geoma/03 p.8/52

SELAS





 

  










  


 
 


Exemplo 1:

no-singular e existe um nico vetor soluo

por

dado

Geoma/03 p.9/52

SELAS





 

  









  

 


Exemplo 2:

singular e existem infinitos vetores-soluo

por

dados

Geoma/03 p.10/52

SELAS

No existe soluo
ser satisfeita!

 









 




 
 

Exemplo 3:

pois a segunda equao no pode

Geoma/03 p.11/52

SELAS Triangulares















 










 





 



 
 











    

 


   

 















Exemplo:
ou

uma equao pode ser trivialmente resolvida: a ltima

agora que

finalmente,

conhecida, podemos resolver a segunda equao:

pode ser determinado de modo anlogo:

Geoma/03 p.12/52

SELAS Triangulares
Princpio bsico: retrossubstituio (back-substitution)
(denominados pivots)



precisamos que

o mesmo acontece quando

substituio

triangular superior:

Geoma/03 p.13/52

Mtodo de Eliminao de Gauss

Objetivo: desenvolver um procedimento automtico, um
algortmo, para a obteno da soluo do conjunto de
equaes.
Princpio do Mtodo: Como os sistemas triangulares
so fceis de resolver, transformaremos o sistema linear
em um outro triangular equivalente.

Geoma/03 p.14/52

Exemplo 1




















Considere o sistema 1


















que equivale ao sistema 2

troca entre a primeira e segunda linhas

vetor soluo no se altera

Geoma/03 p.15/52

Exemplo 1
Matrizes e vetores associados so diferentes








  

 

 

para o sistema 1 tem-se








  

 




e para o sistema 2

Geoma/03 p.16/52

Exemplo 2







 




 



 



Seja o sistema 1
















 

Substituindo a segunda equao pela soma da primeira equao com a segunda

equao obtm-se o seguinte sistema equivalente

Geoma/03 p.17/52

Exemplo 2









 





   
   
  
 












Eles so equivalentes pois somando a primeira equao que satisfeita

com a segunda
que tambm satisfeita
obtm-se uma outra em substituio, que tambm verificada automaticamente, isto










 

 













O sistema modificado passa a ser

com nenhum efeito sobre a soluo.

Geoma/03 p.18/52

Exemplo 3

  
   
 









 








Agora, se antes de somarmos as duas equaes, a

segunda equao for multiplicada por
, isto ,











  

 

  

obtm-se o seguinte sistema equivalente

Geoma/03 p.19/52

Operaes Matriciais Elementares

Operaes elementares no alteram a soluo do
sistema.
permutaes de linhas / colunas
combinaes lineares de linhas / colunas
Mtodo de Gauss: transformar o sistema original em um
sistema triangular atravs de operaes elementares.

Geoma/03 p.20/52









ser denotado por







 


 


Exemplo

Geoma/03 p.21/52

 










 

 













PASSO 1: substituir a












 

 


 

  







Exemplo
por

isto equivalente a

Geoma/03 p.22/52

Exemplo
A matriz que pr-multiplica o sistema,












com

Geoma/03 p.23/52

Exemplo

em










Assim, para transformar

fazemos ...

Geoma/03 p.24/52

 
  

  












  




  
 

 
 
 






 

 







 











 




Exemplo

PASSO 1:

equivalente a

Geoma/03 p.25/52

com







 








onde




Exemplo

Geoma/03 p.26/52

ou







O novo sistema

Exemplo

em













Para transformar

fazemos ...

Geoma/03 p.27/52

 
 


   









 


 






 







  












 
 
 













Exemplo

PASSO 2:

equivalente a

onde

com

Geoma/03 p.28/52

Exemplo
PASSO 3: O sistema j triangular
retrossubstituio
















Eliminao de Gauss equivalente a

transformaes gaussianas sucessivas, isto ,
multiplicaes com as matrizes da forma
, onde as primeiras componentes
de
so nulas.

Geoma/03 p.29/52

Em cada passo obtm-se:









 




 





 











 






















 

























ltima




Fatorao LU

S considerando o lado direito do sistema:

uma matriz triangular superior

Assim, com

obtm-se

Geoma/03 p.30/52


 














  
























 

  







 





 























Decomposio LU:

















 

 






  
 
 
 
 

 






Fatorao LU
com

note que

considerando somente as primeiras duas matrizes

genericamente

Geoma/03 p.31/52








 










 







 
  



 

 





 




 

 







ou


 


 

Uma dificuldade ...

Considere novamente a eliminao de Gauss para o sistema linear:

Geoma/03 p.32/52

Uma dificuldade ...

zero!













termo










Soluo: trocar (permutar) linhas 2 e 3:

Geoma/03 p.33/52






 












.
.
.

.
.
.

pivoteamento parcial: permutar























 
 
   






   
 



 



 

Caso mais geral

.
.
.

.
.
.

.
.
.

com

de modo que

algoritmo mais estvel!

Geoma/03 p.34/52

Sistemas Tridiagonais


 

     
    
    
 

Suponha que tridiagonal:

muitas operaes podem ser evitadas

armazenamento tambm pode ser reduzido

Geoma/03 p.35/52

Matrizes Esparsas
Frequentemente

esparsa,

grande

e
irregularmente estruturada!

Matrizes esparsas: matrizes que permitem utilizar

tcnicas especiais para tirar vantagem de sua estrutura
(quando existe) e do grande nmero de zeros.
Tirar partido da esparsidade ...
computar economicamente sem armazenar os zeros.

Geoma/03 p.36/52

Matrizes Esparsas

Geoma/03 p.37/52

Matrizes Esparsas

Geoma/03 p.38/52

Matrizes Esparsas

Geoma/03 p.39/52

Matrizes Esparsas

Geoma/03 p.40/52

Mtodos Diretos
Variaes do Mtodo de Eliminao de Gauss



na ausncia de erros de arredondamento fornecem

a soluo exata de

Geoma/03 p.41/52

Mtodos Iterativos

Computar uma seqncia de iteraes que convergem para a soluo desejada

, o mtodo iterativo gera uma seqncia

que converge para a soluo desejada

de









Dada uma aproximao

, onde

calculado facilmente

no reproduzem a soluo exata aps um nmero finito de passos

decrescem o erro em certa quantidade em cada passo (iterao)
processo para quando o erro atinge uma tolerncia pr-estabelecida
erro final depende do nmero de iteraes, das propriedades do mtodo e das
propriedades do sistema linear

Geoma/03 p.42/52

Mts. Diretos

Mts. Iterativos

Mtodos Diretos
mais eficientes para matrizes de pequeno porte (
pequeno)
Mtodos Iterativos
mais eficientes para sistemas esparsos de grande
porte ( grande)

Geoma/03 p.43/52

Mtodos Iterativos Bsicos

Jacobi
Gauss-Seidel
Sobre Relaxao Sucessiva - SOR
SSOR
Multigrid
...
Gradiente Conjugado
GRMES

Geoma/03 p.44/52











  
        
     
  


 
Mtodo de Jacobi

Considere o sistema

com

Geoma/03 p.45/52











Com
aproximao inicial



  









  













 
  



   
   
 
 
 


 

Mtodo de Jacobi
e conhecida uma
arbitrria, obtm-se

classe de mtodos que podem ser escritos na forma

Geoma/03 p.46/52

, com

estacionrio:




linear:






















     

  
  
     
  


  

Mtodo de Jacobi

constante

primeira ordem (convergncia)

alto grau de paralelismo:

pode ser calculada
independentemente uma da outra

Geoma/03 p.47/52

Mtodo de Gauss-Seidel
No Mtodo de Jacobi:




 










     
 



  
  
     

obtido de

Motivao: j que j temos uma aproximao para

melhor que
porque no us-la para determinar

e
e
e

Geoma/03 p.48/52

Mtodo de Gauss-Seidel
Numa iterao de Gauss-Seidel:

 
 

    

obtido de

e
e
e
















pode-se reescrever o mtodo como

Geoma/03 p.49/52

 









 



 




 

  
  
 

 



  














Esquemas de Relaxao

Baseados na decomposio

Geoma/03 p.50/52

Iterao de Jacobi:
Iterao de Gauss-Seidel



















Esquemas de Relaxao











Nomenclatura geral:

Gauss-Seidel:



Jacobi:







 









onde

Geoma/03 p.51/52

Convergncia

























Teorema: Uma condio necessria e suficiente para o

mtodo iterativo estacionrio
convergir
que
de uma aproximao inicial arbitrria
onde
o raio espectral de

Geoma/03 p.52/52