Anais do 3o Congresso Temtico de Dinmica e Controle da SBMAC

31-maio a 3-junho-2004 UNESP Campus de Ilha Solteira

Anlise Comparativa de Mtodos Diretos para Sistemas Lineares Algbricos sob Influncia do Nmero de Dgitos Significativos
Oleg Khatchatourian, Marcia C. Dal To
Programa de Ps-Graduao em Modelagem Matemtica Depto de Fsica, Estatstica e Matemtica, DeFEM, Depto de Tecnologia, DeTEC, UNIJU, 98700-000, Iju, RS, Brasil E-mail: olegkhat@unijui.tche.br, daltoe@detec.unijui.tche.br

Para resoluo de problemas de engenharia, fsica ou matemtica a maioria dos mtodos numricos transforma o problema inicial em sistemas lineares de grande porte. Neste trabalho foi feita a comparao do desempenho dos mtodos diretos de lgebra tais como: Gauss-Jordan, Pivotao Completa, rotao (transformaes de Givens) e reflexo (transformaes de Householder), para vrios condicionamentos da matriz do sistema, considerando vrios nmeros de dgitos significativos exatos da mquina e vrias ordens do sistema.

Resumo:

Palavras-chave: Introduo

Mtodos diretos, sistemas lineares algbricos, condicionamento.

Os principais mtodos numricos para a resoluo de sistemas lineares podem ser divididos em: Mtodos Diretos, Mtodos Iterativos e Mtodos Estocsticos (utilizados em casos muito especiais). Mtodos Diretos so aqueles que nos fornecem a soluo exata aps um nmero finito de operaes aritmticas. Mtodos Iterativos so aqueles em que a soluo obtida como limite de uma seqncia de aproximaes sucessivas. O volume da memria operacional do computador e os erros de arredondamento limitam as aplicaes dos mtodos diretos, mesmo assim, a aplicao destes mtodos, as vezes, prefervel aos mtodos iterativos. Em alguns casos suficiente substituir um mtodo direto por outro que tem maior estabilidade numrica, mesmo aumentando o nmero de operaes algbricas. Os tipos de erros que ocorrem so: Erros Inerentes: aparecem na criao ou simplificao de um modelo matemtico de determinado sistema, ou ainda nas medidas em geral.

Sobre tais erros o analista no tem meios de evit-los ou mesmo minimizar seus efeitos. Erros de Truncamento: so erros cometidos quando se substitui um processo infinito por um processo finito. Erros de Arredondamento: surgem quando trabalhamos com mquinas digitais para representar os nmeros reais. Neste caso o nmero limitado de dgitos significativos do sistema de representao da mquina poderia prejudicar a preciso do resultado obtido para os sistemas de grande porte. A preciso de uma mquina digital definida como o nmero de dgitos da mantissa dessa mquina. O nmero chamado psilon da Mquina nos d uma idia da exatido da mquina. O nmero mximo positivo chama-se psilon da Mquina se o computador considera a soma deste valor com 1 igual a 1, isto , para mquina : +1=1. Para determinar o psilon da Mquina, aproximadamente, pode ser usada a seguinte subrotina: y=1; while y+1>1 y=y/2 end =y Na realidade, o limite da preciso determina-se pela linguagem usada. Aplicando a sub-rotina proposta foram determinados os psilons para vrias linguagens. Exemplos: o Java: 10 19 ; o o Matlab: 10 16 ; Pascal: 10 13 ;

o C/C++: 10 8 ; 10 16 (dupla preciso); Tem que notar, que o valor de psilon pode ser calculado mais exato escolhendo o coeficiente de

Mestranda (CAPES)

Anais do 3o Congresso Temtico de Dinmica e Controle da SBMAC

31-maio a 3-junho-2004 UNESP Campus de Ilha Solteira

reduo de y para cada passo, em vez de 2, mais prximo de 1.

valor numrico 10 K Z round K Z 10

Onde: 10 K < valor numrico < 10 K +1 Z o nmero de casas utilizadas. Foi mostrado que com aumento do parmetro de condicionamento da matriz cresce a norma do vetor de erro para todos os mtodos comparados.
7

Colocao do problema
O objetivo deste trabalho comparar o desempenho dos mtodos diretos, para vrios condicionamentos da matriz do sistema, considerando vrios nmeros de dgitos significativos exatos da mquina (psilon da Mquina) e vrias ordens do sistema. Os mtodos diretos usados neste trabalho foram: -Mtodo de Gauss-Jordan; -Pivotao Completa; -Mtodo de Givens (Mtodo de rotao); -Mtodo de Householder (Mtodo de reflexo). O condicionamento da matriz foi calculado por vrios mtodos, por exemplo: Pela razo entre os mdulos de autovalores mximo e mnimo: max ( A) cond ( A) = min ( A) Pelo produto de vrias normas da matriz e da sua inversa: cond ( A) = A 1 A 1 cond ( A) = A Pelo valor normalizado:
2 1 2

Condicionamento da matriz do sistema

condest (MATLAB) norm2(A)*norm2(inv(A)) norm1(A)*norm1(inv(A)) 1/determinante normalizado

1 1.2 1.4 1.6 1.8 2 2.2 2.4 2.6 2.8

Logaritmo decimal (max(abs(eig(A))))/(min(abs(eig(A))))

Figura 1: Comparao de vrios nmeros de condicionamento da matriz.

Simulaes
determinante O programa computacional usado para a comparao dos mtodos diretos foi desenvolvido no software Matlab. O programa cria aleatoriamente os sistemas lineares com matriz simtrica de ordem requerida, escolhendo posteriormente a coluna de termos independentes para ter a mesma soluo para sistemas da mesma ordem. Para resoluo do sistema aplicam-se os mtodos de Gauss-Jordan, de Pivotao Completa, de reflexo (Householder) e de rotao (Givens). Calculam-se os condicionamentos da matriz do sistema pelos vrios mtodos e a norma do vetor de erro. O programa possui uma sub-rotina que permite realizar todos os clculos com nmero escolhido de dgitos significativos (menor que 18), simulando as aplicaes de vrias mquinas com diferentes psilons. O processo se repete vrias vezes para diferentes matrizes, obtendo a funo de distribuio do erro para ordens do sistema e nmero de dgitos significativos da mquina escolhidos. Neste trabalho so apresentados os clculos feitos para nmeros de dgitos significativos de 3 at 6. Para cada nmero de dgitos significativos variou-se a ordem do sistema e o nmero de sistemas resolvidos com a mesma ordem. Para obteno dos elementos das matrizes foi aplicado o programa com randonizao. A Tabela 1 mostra o conjunto dos parmetros escolhidos para realizar as simulaes, onde n a

A 1 do

inverso

n Li cond ( A) = i =1 det ( A) A Figura 1 mostra as relaes entre condicionamentos para as matrizes dos sistemas escolhidos calculados por vrios mtodos. Entre a maioria dos mtodos existe uma relao linear com coeficiente de correlao prximo de 1. A influncia significativa da ordem do sistema sobre o limite da estabilidade numrica acontece quando a ordem do sistema bastante grande, por isso, esta anlise exigiria esforos enormes e levaria muito tempo computacional. Admitindo que esta influncia tem as mesmas caractersticas para mquinas com nmeros grandes, de dgitos significativos do sistema de representao, foram feitas anlises com reduo artificial destes nmeros. No aplicativo desenvolvido foi implantada uma sub-rotina que permite variar o nmero de dgitos significativos exatos da linguagem de programao utilizada.

Ordem de sistema n=20; Ncasas=3

Anais do 3o Congresso Temtico de Dinmica e Controle da SBMAC

31-maio a 3-junho-2004 UNESP Campus de Ilha Solteira

ordem do sistema e Z o nmero de dgitos significativos usados no processo de resoluo dos sistemas.
Funo de distribuio do erro

0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0 -15

Gauss-Jordan Pivotao Completa Householder Givens

Tabela 1: Relao entre nmero de casas e ordem do sistema.

n z=3 z=4 z=5 z=6 3 100 100 100 100 4 100 100 100 100 5 100 100 100 100 10 50 50 50 50 20 50 50 50 50 30 20 20 20 20 40 20 20 20 20 50 20 20 20 20 60 20 20 20 20 80 20 20 20 20 100 10 10 10 10 200 10 10 10 10

-5

15

Norma do vetor de erro

Resultados
A Figura 2 mostra para vrios mtodos diretos a relao entre a norma do vetor de erro e o condicionamento da matriz do sistema. Os valores calculados dos coeficientes de correlao entre a norma do erro e o condicionamento da matriz do sistema variam entre 0,5 e 0,7, ou seja, o condicionamento da matriz do sistema no influencia significativamente sobre o desempenho dos mtodos usados.
0.5 Gauss-Jordan Pivotao Completa Householder G ivens Gauss-Jordan Pivotao Completa Householder G ivens

Figura 3: Comparao dos mtodos diretos Os resultados das simulaes foram colocados na Figura 4, onde as curvas correspondentes mostram a ordem mxima do sistema que poderia ser resolvido com nmero de dgitos determinado para cada mtodo com desvio do erro no maior que 0,025. Estas curvas limitam a aplicabilidade de cada um dos mtodos em dependncia do nmero de dgitos da mquina. A Figura 4 mostra que o melhor mtodo o de Householder, pois com mesma preciso requerida este mtodo pode ser aplicado para a resoluo de sistemas de ordem maior. Por outro lado, para sistemas de mesma ordem este mtodo apresenta um erro menor.

0.4

Norma do vetor de erro

0.3

0.2

0.1

0 0 50 100 150 200

Condicionamento da matriz do sistema (autovalores)

Figura 2: Relao entre a norma do vetor de erro e condicionamento da matriz do sistema para os mtodos diretos analisados. Considerando que a distribuio da norma do erro absoluto normal, foi calculado o desvio padro para cada amostra (o nmero de repeties dos clculos com os mesmos n e Z). Quanto menor o desvio padro, menor o erro, melhor o mtodo. A Figura 3 mostra a funo de distribuio do erro para os mtodos estudados. Pode-se observar que a funo para o mtodo de Householder mais aguda, isto indica que a norma do vetor do erro para este mtodo menor. A funo para o mtodo de GaussJordan no possui extremo localizado, o que significa que o mtodo para o caso considerado no pode ser usado devido ao erro enorme.

Figura 4: Desempenho dos mtodos diretos para desvio padro de 0,025. Embora o intervalo estudado de nmeros de dgitos significativos neste trabalho limitado (de 3 at 6), pode-se admitir que as relaes quantitativas entre os mtodos se conservam para sistemas de grande porte.

Concluso
Foram comparados os mtodos diretos de resoluo de sistemas lineares algbricos sob influncia do nmero de dgitos significativos da mquina e condicionamento da matriz do sistema. Para os mtodos estudados foi obtida a dependncia entre o nmero de dgitos significativos

Anais do 3o Congresso Temtico de Dinmica e Controle da SBMAC

31-maio a 3-junho-2004 UNESP Campus de Ilha Solteira

da mquina e a ordem do sistema que poderia ser resolvido com preciso requerida, isto , foram encontrados limites de aplicabilidade de cada um dos mtodos para vrios nmeros de dgitos significativos exatos da mquina (linguagem). A reduo do nmero de dgitos significativos da mquina reduz significativamente a ordem mxima do sistema. Entre os mtodos comparados o de Householder possui o maior domnio de estabilidade numrica. O desempenho de Gauss-Jordan muito limitado em comparao com outros mtodos, por exemplo, Pivotao Completa e transformaes de Givens. Os mtodos de Givens e Pivotao Completa possuem os domnios de estabilidade numrica quase iguais. No intervalo estudado no foi detectada uma influncia significativa do condicionamento da matriz do sistema sobre o desempenho dos mtodos usados. O trabalho serviu como base para justificar a aplicao dos mtodos diretos usados na programao paralela para sistemas de equaes lineares de grande porte.

Referncias
[l] B. Noble, J.W. Daniel, lgebra Linear Aplicada, Prentice-Hall do Brasil, Rio de Janeiro, 1986. [2] D.M. Cludio, J.M. Marins, Clculo Numrico Computacional, Atlas, So Paulo, 2000. [3] L.C. Barroso, M.M.A. Barroso, F.F. Campos, M.L.B. Carvalho, M.L. Maia, Clculo Numrico com Aplicaes, Harbra, So Paulo, 1987. [4] O.A. Khatchatourian, P.A.P. Borges, Mtodos Numricos da lgebra, Ed. UNIJU, Iju, 1995. [5] O.A. Khatchatourian, P.A.P. Borges, Mtodos Numricos da lgebra II, Ed. UNIJU, Iju, 1995.