UNIVERSIDADE FEDERAL DO PAR UFPA PAULO SRGIO DA SILVA NEVES

MTODOS ITERATIVOS PARA RESOLUO DE SISTEMAS DE EQUAES LINEARES

Belm PA 2013

PAULO SRGIO DA SILVA NEVES

MTODOS ITERATIVOS PARA RESOLUO DE SISTEMAS DE EQUAES LINEARES

Pr-projeto apresentado na Disciplina de Trabalho de Concluso de Curso (TCC) como requisito bsico para apresentao do TCC do Curso de Licenciatura em Matemtica. Prof. Orientador: Hermnio Simes Gomes

Belm-PA 2013

SUMRIO
1. INTRODUO.............................................................................................................4

2. JUSTIFICATIVA..........................................................................................................5

3. OBJETIVOS..................................................................................................................6

3.1 OBJETIVO GERAL...............................................................................................6

3.2 OBJETIVOS ESPECIFICOS................................................................................6

4. REFERENCIAL TEORICO........................................................................................7

5. METODOLOGIA.........................................................................................................9

6. CRONOGRAMA........................................................................................................10

7. REFERENCIAS..........................................................................................................11

1 INTRODUO:
Os problemas que envolvem resolues de sistemas de equaes lineares um problema muito antigo, que vem sendo abordado desde tempos remotos. Na histria da matemtica ocidental so poucas as aparies de sistemas de equaes lineares. No oriente, contudo, o assunto mereceu ateno bem maior. Pelo interesse especial por diagramas, os chineses representavam os sistemas lineares por meio de seus coeficientes escritos com barras de bambu sobre os quadrados de um tabuleiro. Assim, acabaram descobrindo o mtodo de resoluo por eliminao, que consiste em anular coeficientes por meio de operaes elementares. Exemplos desse procedimento encontram-se no livro Os Nove Captulos da Arte da Matemtica, um texto que data provavelmente do sculo 111 a.C. Segundo Boyer (1974, p.144), o captulo 8 dos nove captulos significativo por conter a soluo de problemas sobre equaes lineares, usando tanto nmeros positivos quanto negativos. Essa abordagem de resoluo de sistemas lineares veio a se consolidar atravs de Gauss que contribuiu de forma relevante no s para matemtica, mas tambm para astronomia e fsica. Hoje sabemos que existem vrios mtodos que resolvem sistemas lineares como: Eliminao de Gauss, Eliminao de Gauss-Jordan, Regra de Cramer e a Decomposio LU. Esses mtodos so conhecidos como mtodos diretos. Conforme Sperandio (2002, pg. 68): Diz-se que um mtodo direto quando na ausncia de erros de arredondamentos, determina a soluo exata do sistema por meio de um nmero finito de passos previamente conhecidos.

Assim, todo mtodo dito direto quando a soluo do sistema linear obtida realizando-se um nmero finito de operaes aritmticas. Como dito anteriormente, a Regra de Cramer um mtodo direto que foi criado pelo matemtico Gabriel Cramer em 1750 e cujo procedimento descrito a seguir: Sejan Ax b em que A uma matriz n n , onde: x [ x1 , x2 ,
, xn ]T a soluo

procurada e b [b1 , b2 ,...., bn ]T so vetores colunas chamados de termos independentes. A matriz A dos coeficientes no singular, ou seja, det A 0 . Seja Ak a matriz obtida

substituindo-se em A a coluna k pelo vetor independente b . Ento pela Regra de Cramer

xk

det Ak , k 1, 2,....n . Portanto, a soluo de um sistema de n equaes requer um det A

clculo de n 1 determinantes de uma matriz de tamanho n n . Manualmente um n 10 torna esta regra impraticvel, porque o nmero de operaes proporcional a n ! . E o pior, mesmo com o uso do computador, a aplicao invivel pelo tempo extenso de processamento necessrio. A Regra de Cramer apesar de eficaz torna-se complexa para sistemas de equaes com muitas variveis e equaes. Segundo Leon (2011), 75% dos problemas matemticos encontrados em aplicaes cientificas e industriais envolvem a resoluo de sistemas lineares em algum estgio. Na engenharia, por exemplo, esses problemas que envolvem resoluo de sistemas lineares aparecem de forma simples (poucas variveis e equaes) e at sistemas complexos grandes e esparsos (muitas variveis, equaes e elementos nulos). A grande dificuldade que na engenharia e entre outras reas, a maioria dos problemas que envolvem resolues de sistemas lineares surgem de forma complexa, e para isso o uso de mtodos diretos no adequado para resoluo desses problemas. Logo fica evidente o estudo de mtodos que busquem solucionar e economizar no sentido de utilizar menos memria do computador esses sistemas lineares de grande porte. Tais mtodos so chamados de Mtodos Iterativos.

2 JUSTIFICATIVA

A elaborao de um trabalho sobre mtodos iterativos de grande importncia para diversas reas de atuao e de estudos, pois existem inmeros tipos de problemas que envolvem sistemas de equaes lineares, assim tambm como um grande nmero de mtodos de resoluo desses sistemas. Cada mtodo pode ter sua aplicao bem sucedida para certo tipo de problema e para outro no. Aplicar o mtodo adequado para cada situao de fundamental importncia na vida de um profissional, para que o mesmo possa ter bons resultados e no perder tempo e investimentos. importante conhecer detalhadamente o funcionamento de cada mtodo, por isso existe a necessidade da elaborao de trabalhos como este, comparando e analisando o funcionamento de certos tipos de mtodos.

3 OBJETIVOS

Levando-se em considerao todos os comentrios e preceitos estabelecidos acima, o presente trabalho foi desenvolvido visando alcanar os seguintes objetivos.

3.1 OBJETIVO GERAL

De forma geral, o presente trabalho tem por objetivo geral fazer uma reviso bibliogrfica sobre alguns mtodos iterativos para a resoluo de sistemas de equaes lineares, utilizando a sua formulao tradicional.

3.2 OBJETIVOS ESPECFICOS

definies.

Compreender a aplicabilidade e funcionalidade dos mtodos iterativos. Analisar os aspectos tericos e prticos referentes aos mtodos

iterativos de Jacobi e Gauss-Seidel e Kaczmarz em sua formulao tradicional. Analisar os critrios de convergncia dos respectivos mtodos. Fazer um estudo comparativo analtico dos mtodos na soluo de

alguns problemas de teste de pequeno porte. Fazer um estudo comparativo analtico dos mtodos na soluo de

problemas de grande porte utilizando um programa computacional. Analisar a aplicabilidade de cada mtodo de acordo com suas pr-

4 REFERENCIAL TERICO

De acordo com Boldrini (1986, p.29):

... as coisas esto sempre mudando, se transformando, e o ser humano, para garantir sua sobrevivncia e melhorar sua existncia, precisa conhecer e dominar estes processos de mudanas....

O autor tambm descreve que um dos mtodos encontrados para se descrever essas transformaes foi o de procurar neles o que permanece constante durante as mudanas e o que varivel, da nasceu a necessidade da humanidade tentar medir estas variveis que tambm podem ser chamadas de grandezas da natureza e descobrir qual o seu comportamento, quais delas variam e como essa variao ocorre. Com a evoluo da matemtica, a humanidade conseguiu montar ou modelar problemas ou situaes que envolvendo essas variveis em equaes, e com isso tornou-se necessrio a determinao de valores quantitativos para esses grandezas. Uma consequncia dessa evoluo foi o desenvolvimento das formas de resolues de sistemas de equaes lineares posteriormente consolidados por Gauss, que onde todas as variveis tem comportamento linear. Atualmente, os sistemas de equaes lineares so encontrados em diversas reas da atuao matemtica. Mesmo indiretamente, comum a presena dos descritos sistemas em problemas do nosso cotidiano, como por exemplo, na anlise de um circuito eltrico, ou no clculo estrutural de uma trelia na engenharia civil, e no s isso, segundo Ferreira (2007, p.29) podemos encontra-los facilmente em problemas de equaes diferencias parciais, otimizao e regresses. Para Burden e Freitas (2008):

... os sistemas de equaes lineares esto associados a muitos problemas no campo da engenharia e da cincia, bem como com aplicaes da matemtica s cincias sociais e aos estudos quantitativos nos problemas de administrao econmica.

Assim, os sistemas de equaes lineares esto diretamente ligados a diversos problemas da engenharia e da cincia, como na anlise de estruturas de uma aeronave por exemplo. Segundo Leon (2011, p.1):

Sistemas lineares aparecem em aplicaes em reas como administrao, economia, sociologia, ecologia, demografia, gentica, eletrnica, engenharia e fsica.

Para Ferreira (2007, p.29), a soluo de sistema de equaes algbricas lineares provavelmente o processo numrico mais utilizado para simular situaes do mundo real. Percebe-se ento que a necessidade de se resolver um sistema de equaes lineares bastante considervel, havendo diversas formas de se chegar a mesma. Uma dessas formas so mtodos iterativos, que ser o foco desse trabalho. Contudo, segundo Ruggiero (2004) tais mtodos diferem entre si na forma de buscar a soluo do sistema, adequando-se s mais diversas situaes, e cujo desempenho depende fundamentalmente do tipo de estrutura da matriz dos coeficientes. Dessa forma evidente a necessidade da realizao de estudos sobre esses mtodos de resoluo. Segundo Ruggiero (2004) um estudo sobre a eficincia dos mtodos se torna necessrio, pois na maioria das vezes os problemas mais prticos envolvem a resoluo de sistemas de grande porte. Segundo Franco (2006) quando nos deparamos com sistemas grandes e esparsos, os mtodos iterativos se tornam mais eficientes em termos tanto de armazenamento no computador quanto de clculos.

5 METODOLOGIA

De acordo com Severino (2002):

O saber constitui-se pela capacidade de reflexo no interior de determinada rea do conhecimento. A reflexo exige um domnio de uma srie de informaes.

Partindo desse pressuposto, o presente trabalho ser desenvolvido atravs de uma pesquisa temtica que, segundo o mesmo autor, visa coletar elementos relevantes para o estudo em geral, sempre dentro de determinada rea, complementada por uma documentao bibliogrfica. Tais procedimentos so complementares, na viso do autor. O trabalho ser elaborado visando realizar uma reviso bibliogrfica sobre mtodos iterativos j consolidados na literatura acadmica, bem como ilustrar o funcionamento e aplicaes do mesmo.

6 CRONOGRAMA

Atividades Elaborao do projeto Entrega do projeto Pesquisa bibliogrfica Coleta de dados Desenvolvimento do trabalho escrito Correo prvia com o orientador Normatizao e reviso Correo final com o orientador Entrega do trabalho final Defesa do trabalho

Ago

Set

Out

Nov

Dez

10

7 REFERNCIAS

BOYER, Carl Benjamin. Histria da Matemtica. 11 ed. So Paulo: Edgard Blucher, 1974. BURDEN, Richard L.; FREITAS, J. Douglas. Anlise Numrica. 8 ed. So Paulo: Cengage Learning, 2008. FRANCO, Neide Bertoldi. Clculo Numrico. So Paulo: Pearson, 2006. LEON, Steven J. lgebra Linear: com aplicaes. 8 ed. Rio de Janeiro: LTC, 2011. BOLDRINI, Jos Luiz; COSTA, Sueli I. Rodrigues; FIGUEIREDO, Vera Lcia; WETZLER, Henry G. lgebra Linear, ampliada e revisada, 3 Edio, Editora HARBRA Ltda. 1980. SPERANDIO, Dcio; MENDES, Joo Teixeira; SILVA, Luiz Henry Monken e. Clculo Numrico: caractersticas matemticas e computacionais dos mtodos numricos. So Paulo: Pearson Prentice Hall, 2003. RUGGIERO, Mrcia A. Gomes; LOPES, Vera Lucia da Rocha. Clculo Numrico: aspectos tericos e computacionais. 2. ed. So Paulo: Makron Books, 1996. FERREIRA, Jose lvaro Tadeu. Resoluo de Sistemas de Equaes Lineares Simultneas. Notas de aulas. Disponvel em:

www.ebah.com.br/content/ABAAABO2cAK/sistemas-lineares. Acesso em: 10 de setembro de 2013. SEVERINO, Antnio Joaquim. Metodologia do trabalho cientifico. 22. ed. So Paulo: cortez, 2002.

Belm, 22 de outubro de 2013.

Hermnio S. Gomes Orientador

Paulo Srgio S. Neves Orientando

11