Anda di halaman 1dari 68

anlise numrica

Richard L. Burden | Douglas J. Faires | Annette M. Burden


Este livro apresenta a teoria e a aplicao de tcnicas modernas de aproximao
numrica. Fornece uma base slida para estudos futuros de maior profundidade em
anlise numrica e computao cientfica.

Nesta nova edio, diversos exemplos foram reescritos para ter maior clareza. Os
exerccios foram organizados em computacionais, aplicados e tericos, sendo que
muitos dos aplicados so novos. Os conjuntos de exerccios incluem numerosos problemas aplicados de diversas reas da engenharia, bem como das cincias fsicas,
computacionais, biolgicas e sociais. Alguns dos exemplos no livro foram reescritos para enfatizar melhor o problema a ser resolvido antes de apresentar a soluo.
Tambm foram acrescentados alguns passos a alguns dos exemplos, para mostrar
explicitamente os clculos necessrios. Alm disso, cada captulo, agora, possui
questes para discusso, muitas delas direcionam o estudante para reas modernas
de pesquisa em desenvolvimento de software. O material bibliogrfico tambm foi
atualizado para apresentar novas edies de obras que so referncias.
Anlise numrica pode ser utilizado como livro-texto para as disciplinas clculo numrico e anlise numrica nos cursos de Engenharia, Matemtica, Cincia da Computao e em cursos introdutrios que abordem resoluo numrica de equaes
diferenciais ordinrias e parciais.

ISBN 13 978-85-221-2340-7
ISBN 10 85-221-2340-3

Outras obras
a

Traduo da 10- edio norte-americana

anlise numrica

Todos os conceitos so desenvolvidos de forma clara e cuidadosa e posteriormente ilustrados com exemplos que demonstram, de forma concisa, como as tcnicas numricas
podem ser aplicadas em situaes concretas das diversas reas das cincias exatas.

Richard L. Burden | Douglas J. Faires | Annette M. Burden

Traduo da 10-a edio norte-americana

anlise numrica
Richard L. Burden | Douglas J. Faires | Annette M. Burden

Clculo
Volumes 1 e 2
Traduo da 7a edio norte-americana

James Stewart

Pr-clculo
3a edio revista e ampliada

Andr Machado Caldeira, Luiza


Maria Oliveira da Silva, Maria
Augusta Soares Machado e
Valria Zuma Medeiros (coord.)

Clculo numrico:
aprendizagem com
apoio de software
2a edio revista e ampliada

Selma Arenales e Artur Darezzo

Matemtica
aplicada a
administrao
e economia
Traduo da 9a edio norte-americana

S. T. Tan

Probabilidade e
estatstica para
engenharia e cincias
Traduo da 8a edio norte-americana

Jay L. Devore
Para suas solues de curso e aprendizado,
visite www.cengage.com.br

analise_numericaOK.indd 1

9 788522 123407
1/14/16 11:46 AM

Dados Internacionais de Catalogao na Publicao (CIP)


(Cmara Brasileira do Livro, SP, Brasil)
Burden, Richard L.
Anlise numrica / Richard L. Burden, J. Douglas Faires ;
Annette M. Burden ; traduo All Tasks ; reviso tcnica
Helena Maria vila de Castro. 3. ed. So Paulo : Cengage
Learning, 2015.
Ttulo original: Numerical analysis
10a ed. norte-americana.
Bibliografia
ISBN 978-85-221-2340-7
1. Anlise numrica I. Faires, J. Douglas.
II. Burden, Annette M. III. Ttulo.
15-09093CDD-515

ndice para catlogo sistemtico:


1. Anlise numrica : Matemtica515

ANLISE NUMRICA
Traduo da 10a edio norte-americana

Richard L. Burden

Youngstown State University

J. Douglas Faires

Youngstown State University

Annette M. Burden

Youngstown State University

Traduo

All Tasks e Helena Maria vila de Castro

Reviso Tcnica

Helena Maria vila de Castro

Professora Doutora do Instituto de Matemtica e Estatstica da Universidade de So Paulo (IME-SP)

Austrlia Brasil

Japo

Coreia

Mxico

Cingapura

Espanha

Reino Unido

Estados Unidos

Anlise numrica
Traduo da 10a edio norte-americana

2016, 2011, 2005 Cengage Learning


2016 Cengage Learning Edies Ltda.

3a edio brasileira
Richard L. Burden, Douglas J. Faires e
Annette M. Burden

Gerente Editorial: Noelma Brocanelli


Editora de Desenvolvimento: Salete Del Guerra
Editora de Aquisio: Guacira Simonelli
Supervisora de Produo Grfica: Fabiana Alencar
Especialista em Direitos Autorais: Jenis Oh
Ttulo Original: Numerical Analysis, Tenth Edition

Todos os direitos reservados. Nenhuma parte deste livro


poder ser reproduzida, sejam quais forem os meios empregados, sem a permisso, por escrito, da Editora. Aos
infratores aplicam-se as sanes previstas nos artigos 102,
104, 106, 107 da Lei no 9.610, de 19 de fevereiro de 1998.
Esta editora empenhou-se em contatar os responsveis
pelos direitos autorais de todas as imagens e de outros
materiais utilizados neste livro. Se porventura for constatada a omisso involuntria na identificao de algum
deles, dispomo-nos a efetuar, futuramente, os possveis
acertos.
A editora no se responsabiliza pelo funcionamento dos
links contidos neste livro que podem estar suspensos.

ISBN 13: 978-1-305-25366-7


ISBN 10: 1-305-25366-3
Traduo: All Tasks e Helena Maria vila de Castro
Reviso Tcnica: Helena Maria vila de Castro
Reviso: Tatiana Tanaka, Vera Lcia Pereira e Mnica
de Aguiar Rocha
Projeto Grfico e Diagramao: Triall Composio
Editorial Ltda.

Para informaes sobre nossos produtos,


entre em contato pelo telefone
0800 11 19 39
Para permisso de uso de material desta
obra, envie seu pedido para
direitosautorais@cengage.com

Indexao: Joana Figueiredo


Capa: Buono Disegno

2016 Cengage Learning. Todos os direitos reservados.

Imagem de capa: Vilmos Varga/Shutterstock

ISBN 13: 978-85-221-2340-7


ISBN 10: 85-221-2340-3
Cengage Learning
Condomnio E-Business Park
Rua Werner Siemens, 111 Prdio 11 Torre A
Conjunto 12
Lapa de Baixo CEP 05069-900 So Paulo SP
Tel.: (11) 3665-9900 Fax: (11) 3665-9901
SAC: 0800 11 19 39
Para suas solues de curso e aprendizado, visite
www.cengage.com.br

Impresso no Brasil
Printed in Brazil
12345
18 17 16 15

Esta edio dedicada memria de


J. Douglas Faires.
Doug foi um amigo, colega e coautor por mais de 40 anos .
Sentiremos, com pesar, sua falta.

Analise.indb 5

15/12/2015 08:39:41

Analise.indb 6

15/12/2015 08:39:41

Prefcio

Sobre o texto
Este livro foi elaborado para uma sequncia de cursos sobre a teoria e aplicao
de tcnicas de aproximao numrica. Ele foi desenvolvido principalmente para estudantes de matemtica, cincias e engenharia que tenham completado pelo menos
o primeiro ano da sequncia-padro de clculo da faculdade. A familiaridade com os
fundamentos da lgebra matricial e equaes diferenciais til, mas apresentamos o
material introdutrio destes tpicos de modo que no haja necessidade de tais cursos
serem pr-requisitos.
As edies anteriores de Anlise numrica foram utilizadas em uma ampla variedade de situaes. Em alguns casos, a anlise matemtica subjacente ao desenvolvimento de tcnicas de aproximao foi mais enfatizada que os prprios mtodos; em
outros, a nfase foi contrria. O livro tambm foi utilizado como referncia principal
em disciplinas iniciais de ps-graduao em programas de engenharia, matemtica e
cincia da computao e nas disciplinas de primeiro ano em cursos de anlise introdutria oferecidos em universidades internacionais. Adaptamos o livro para se adequar a
esses diversos usurios sem comprometer nosso propsito original:
Introduzir tcnicas modernas de aproximao; explicar como, por que e quando
pode se esperar que elas funcionem; e fornecer uma base para estudo posterior de
anlise numrica e computao cientfica.
A obra contm material suficiente para, pelo menos, um ano completo de estudo,
mas sabemos que muitos professores utilizam o texto para uma disciplina de apenas
um semestre. Em uma disciplina de um semestre, os estudantes aprendem a identificar os tipos de problemas que requerem tcnicas numricas para sua soluo e veem
exemplos da propagao de erro que pode ocorrer quando mtodos numricos so
aplicados. Eles aproximam com preciso a soluo de problemas que no podem ser
resolvidos exatamente e aprendem tcnicas tpicas para fazer estimativas de limitantes
de erro para as aproximaes. O restante do texto, ento, serve como referncia para
mtodos que no foram considerados no curso. Tanto o curso de um ano como o de um
semestre consistente com os propsitos do texto.
Quase todos os conceitos so ilustrados por exemplos, e esta edio contm aproximadamente 2500 exerccios testados em sala de aula que vo desde aplicaes elementares de mtodos e algoritmos a generalizaes e extenses da teoria deles. Alm

vii

viii

Anlise numrica

disso, os conjuntos de exerccios incluem numerosos problemas aplicados de diversas


reas da engenharia, bem como das cincias fsicas, computacionais, biolgicas e sociais.
As aplicaes escolhidas demonstram de forma clara e concisa como as tcnicas numricas podem e, frequentemente, precisam ser aplicadas em situaes da vida real.
Vrios pacotes de software, conhecidos como Sistemas de Computao Algbrica (SCA), foram desenvolvidos para produzir clculos matemticos simblicos. O
Maple, o Mathematica e o Matlab so predominantes entre eles no ambiente
acadmico. As verses desses pacotes de softwares para estudantes esto disponveis
a preos razoveis para os sistemas computacionais mais comuns. Alm disso, agora
est disponvel o Sage, um sistema de domnio pblico. Informaes sobre esse sistema podem ser encontradas no site
http://www.sagemath.org
Embora haja diferenas significativas entre os pacotes, tanto no desempenho quanto no preo, todos podem executar operaes padro de lgebra e de clculo.
Os resultados, na maior parte de nossos exemplos e exerccios, foram gerados
usando problemas para os quais possvel determinar valores exatos, pois isso permite que se monitore melhor o desempenho do mtodo de aproximao. Alm disso,
em muitas tcnicas numricas a anlise de erro requer a limitao de uma derivada
ordinria ou parcial de uma funo, o que pode ser uma tarefa tediosa e no particularmente instrutiva, uma vez que as tcnicas do clculo tenham sido dominadas. Assim,
ter um pacote de computao simblica disponvel pode ser muito til no estudo de
tcnicas de aproximao, uma vez que solues exatas podem frequentemente ser obtidas facilmente por meio da computao simblica. As derivadas podem ser obtidas
simbolicamente de modo rpido, e um pouco de discernimento em geral permite que a
computao simblica ajude tambm no processo de limitao.
Desde nossa primeira edio, introduzimos um recurso que era inovador e um tanto
controverso. Em vez de apresentar nossas tcnicas de aproximao em uma linguagem
de programao especfica (FORTRAN dominava na poca), fornecemos algoritmos em
pseudocdigo, que resultariam em um programa bem estruturado em vrias linguagens.

Respostas dos exerccios no site


Nesta edio esto disponveis, para professores e alunos, as respostas dos exerccios selecionados na pgina do livro, no site da Cengage, em www.cengage.com.br.

Novidades desta edio


H mais de 35 anos foi publicada a primeira edio deste livro. Isso ocorreu na
dcada posterior aos principais avanos nas tcnicas numricas. Esses avanos foram
o reflexo da ampla disponibilidade dos equipamentos computacionais. Em cada uma
de nossas revises do livro, adicionamos novas tcnicas na tentativa de manter nossa
abordagem atualizada. Para manter essa tendncia, precisamos fazer diversas mudanas significativas para esta edio:

Alguns dos exemplos do livro foram reescritos para enfatizar melhor o problema a ser
resolvido antes de dar a soluo. Foram acrescentados alguns passos em alguns dos
exemplos para mostrar explicitamente os clculos necessrios nos primeiros passos

Prefcio

ix

do processo iterativo. Isso d ao leitor uma opo de testar e debug os programas


que escreverem para problemas similares aos exemplos.
Os exerccios dos captulos foram divididos em computacionais, aplicados e tericos
para dar ao professor maior flexibilidade ao passar as lies de casa. Em quase todas
as situaes computacionais, os exerccios foram emparelhados de modo par-mpar.
As respostas para os exerccios mpares esto disponveis na pgina do livro no site
da Editora, de modo que se os problemas pares forem dados como lio de casa, os
estudantes podero trabalhar nos problemas mpares e verificar suas respostas antes
de fazer os problemas pares.
Muitos exerccios aplicados novos foram adicionado ao texto.
Foram adicionadas questes para discusso depois de cada captulo, principalmente
para o uso do professor nos cursos online.
A ltima seo de cada captulo mudou de nome e foi dividida em quatro subsees: Software numrico, Questes para discusso, Conceitos-chaves e Reviso do
Captulo. Muitas dessas questes para discusso direcionam o estudante para reas
modernas de pesquisa em desenvolvimento de software.
Partes do texto foram reorganizadas para facilitar os cursos online.
O material bibliogrfico foi atualizado para refletir novas edies dos livros que
so referncias. Foram adicionadas novas fontes que no estavam disponveis anteriormente.

Como sempre em nossas revises, cada sentena foi examinada para verificar se
ela foi construda de maneira a refletir melhor o que estamos tentando descrever.

Linhas gerais de curso sugeridas


O livro Anlise Numrica foi desenvolvido para permitir flexibilidade aos professores tanto na escolha dos tpicos quanto no nvel de rigor terico e na nfase nas
aplicaes. Em conformidade com esses objetivos, fornecemos referncias detalhadas
para os resultados que no so demonstrados no texto e para as aplicaes que so usadas para indicar a importncia prtica dos mtodos. Os textos de referncias citados
so aqueles com mais probabilidade de serem encontrados nas bibliotecas da faculdade e foram atualizados para refletir as edies recentes. Tambm inclumos referncias
de trabalhos de pesquisa originais, quando entendemos que esse material era acessvel
ao nosso pblico-alvo. Todo o material citado foi indexado para a posio apropriada
no texto e foram includas as informaes de chamada de material de referncia (por
exemplo: [AHU, p. 252-269] ) para permitir uma fcil localizao em buscas por material em bibliotecas.
O seguinte fluxograma indica os pr-requisitos dos captulos. A maioria das sequncias que podem ser geradas deste grfico foi testada pelos autores na Youngstown State
University.
O material dessa edio permite que os professores preparem um curso de graduao em lgebra linear numrica para alunos que no tenham estudado anlise numrica anteriormente. Isso pode ser feito cobrindo os Captulos 1, 6, 7 e 9.

Analise.indb 9

15/12/2015 08:39:41

Anlise numrica

Captulo 1

Captulo 2

Captulo 10

Captulo 6

Captulo 7

Captulo 3

Captulo 8

Captulo 4

Captulo 5

Captulo 9
Captulo 11
Captulo 12

Agradecimentos
Tivemos a felicidade de contar com a impresso de muitos de nossos estudantes e
colegas sobre as edies anteriores deste livro e levamos todos os comentrios muito a
srio. Tentamos incluir todas as sugestes que complementam a filosofia do livro e somos extremamente gratos a todos aqueles que reservaram um tempo para nos contatar
durante esses anos e sugerir formas de melhorar as verses subsequentes.
Gostaramos de agradecer particularmente os seguintes, cujas sugestes usamos
nesta edio e tambm nas anteriores.
Douglas Carter
John Carroll, Dublin University
Yavuz Duman, T.C. Istanbul Kultur Universitesi
Neil Goldman,
Christopher Harrison,
Teryn Jones, Youngstown State University
Aleksandar Samardzic, University of Belgrade
Mikhail M. Shvartsman, University of St. Thomas
Dennis C. Smolarski, Santa Clara University
Dale Smith, Comcast
Gostaramos de agradecer dra Barbara T. Faires, por sua cooperao em nos fornecer os materiais necessrios para tornar possvel essa reviso. Sua benevolncia em
uma poca to difcil foi muito valiosa .
Como foi nossa prtica nas edies anteriores, utilizamos a ajuda de estudantes da
Youngstown State University na preparao da dcima edio. Agradecemos a Teryn
Jones que trabalhou nos aplicativos Java. Gostaramos de agradecer a Edward R. Burden, um estudante de doutorado em Engenharia Eltrica na Ohio State University, que
tem verificado todos os problemas aplicados e material novo do texto. Gostaramos
tambm de expressar gratido aos nossos colegas de faculdade e administrao da

Analise.indb 10

15/12/2015 08:39:41

Prefcio

xi

Youngstown State University por nos fornecer a oportunidade e as instalaes para


concluirmos este projeto.
Por fim, gostaramos de agradecer a algumas pessoas que trouxeram contribuies
significativas histria dos mtodos numricos. Herman H. Goldstine escreveu um
livro excelente, intitulado A History of Numerical A nalysis from the 16th Through the
19th Century [Golds]. Outra fonte excelente de conhecimento matemtico histrico
o arquivo MacTutor History of Mathematics na University of St. Andrews, Esccia.
Ele foi criado por John J. OConnor e Edmund F. Robertson e encontra-se no seguinte
endereo da Internet:
http://www-gap.dcs.st-and.ac.uk/~history/
Uma quantidade incrvel de trabalho foi consumida para a criao do material desse site
e consideramos as informaes verdadeiramente precisas. Finalmente, agradecemos a
todos que contriburam com a Wikipedia, agregando sua experincia ao site para que
outros pudessem se beneficiar de seu conhecimento.
Para concluir, agradecemos novamente queles que despenderam tempo e esforos
para nos contatar durante esses anos. maravilhoso contar com tantos estudantes e
docentes que utilizaram nosso livro como seu primeiro contato com os mtodos numricos. Esperamos que esta edio d continuidade a este intercmbio e aumente o
prazer dos estudantes no aprendizado da anlise numrica. Se tiver sugestes para a
melhora de edies futuras deste livro, seramos gratos, como sempre, por seus comentrios. Podemos ser contatados mais facilmente por correio eletrnico nos endereos listados abaixo.
Richard L. Burden
rlburden@ysu.edu
Annette M. Burden
amburden@ysu.edu

Analise.indb 11

15/12/2015 08:39:42

Analise.indb 12

15/12/2015 08:39:42

Sumrio

Prefcio.........................................................................................vii




1 Preliminares matemticos e anlise de erros


1.1
1.2
1.3
1.4

Reviso de clculo ........................................................................................................2


Erros de arredondamento e aritmtica no computador................................................16
Algoritmos e convergncia..........................................................................................32
Software numrico.......................................................................................................42

2 Solues de equaes em uma varivel........................................ 51


2.1
2.2
2.3
2.4
2.5
2.6
2.7

O mtodo da bisseco.................................................................................................52
Iterao de ponto fixo...................................................................................................60
Mtodo de Newton e suas extenses........................................................................... 71
Anlise de erro para mtodos iterativos.......................................................................86
Acelerando a convergncia..........................................................................................96
Zeros de polinmios e o mtodo de Muller...............................................................102
Software numrico e reviso do captulo................................................................... 113

3 Interpolao e aproximao polinomial...................................... 115


3.1
3.2
3.3
3.4
3.5
3.6
3.7

Interpolao e polinmios de Lagrange..................................................................... 116


Interpolao de dados e o mtodo de Neville............................................................128
Diferenas divididas...................................................................................................136
Interpolao de Hermite.............................................................................................149
Interpolao por spline cbico...................................................................................158
Curvas parametrizadas...............................................................................................179
Software numrico e reviso do captulo...................................................................187

xiv

Anlise numrica

4. Derivao e integrao numrica............................................... 189


4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
4.9
4.10

Derivao numrica...................................................................................................190
Extrapolao de Richardson......................................................................................203
Elementos de integrao numrica............................................................................212
Integrao numrica composta..................................................................................224
Integrao de Romberg..............................................................................................234
Mtodos da quadratura adaptativos...........................................................................243
Quadratura de Gauss..................................................................................................252
Integrais mltiplas......................................................................................................259
Integrais imprprias...................................................................................................274
Software numrico e reviso do captulo...................................................................280

5 Problemas de valor inicial para equaes


diferenciais ordinrias................................................................ 283
5.1
5.2
5.3

A teoria elementar dos problemas de valor inicial.....................................................284


Mtodo de Euler.........................................................................................................290
Mtodos de Taylor de ordem superior.......................................................................301

5.4 Mtodos de Runge-Kutta...........................................................................................309


5.5 Controle de erros e o mtodo de Runge-Kutta-Fehlberg...........................................322
5.6 Mtodos de passo mltiplo........................................................................................331
5.7 Mtodos de passo mltiplo com tamanho de passo varivel.....................................347
5.8 Mtodos de Extrapolao...........................................................................................354
5.9 Equaes de ordem superior e sistemas de equaes diferenciais.............................363
5.10 Estabilidade................................................................................................................373

5.11

Equaes diferenciais rgidas.....................................................................................384

5.12

Software numrico.....................................................................................................392


6 Mtodos diretos para resoluo de sistemas
lineares...................................................................................... 395



Analise.indb 14

6.1
6.2
6.3
6.4
6.5
6.6
6.7

Sistemas de equaes lineares...................................................................................396


Estratgias de pivotamento........................................................................................412
lgebra linear e inverso de matrizes........................................................................422
O determinante de uma matriz...................................................................................438
Fatorao de matrizes................................................................................................445
Tipos especiais de matrizes........................................................................................457
Software numrico.....................................................................................................474

7 Tcnicas iterativas na lgebra das matrizes................................. 479


7.1
7.2
7.3

Normas de vetores e matrizes....................................................................................480


Autovalores e autovetores..........................................................................................493
Tcnicas iterativas de Jacobi e Gauss-Siedel..................................................................500

15/12/2015 08:39:42

Sumrio

7.4
7.5
7.6
7.7

xv

Tecnicas de relaxao para a resoluo de sistemas lineares.....................................515


Limitantes do erro e refinamento iterativo.................................................................523
Mtodo do gradiente conjugado.................................................................................534
Software numrico.....................................................................................................552

8 Teoria da aproximao............................................................... 555


8.1 Aproximaes por mnimos quadrados discretos...................................................... 556
8.2 Polinmios ortogonais e aproximao por mnimos quadrados................................569
8.3 Polinmios de Chebyshev e economia na srie de potncia......................................579
8.4 Aproximao por funo racional..............................................................................590
8.5 Aproximao por polinmios trigonomtricos..........................................................600
8.6 Transformadas rpidas de Fourier.............................................................................. 611
8.7 Software numrico.....................................................................................................623

9 Aproximao de autovalores....................................................... 625


9.1
9.2
9.3
9.4
9.5
9.6
9.7

lgebra linear e autovalores......................................................................................626


Matrizes ortogonais e transformaes de semelhana...............................................636
O mtodo da potncia................................................................................................643
O mtodo de Householder ........................................................................................662
O algoritmo QR..........................................................................................................671
Decomposio de valor singular ...............................................................................686
Software numrico.....................................................................................................701


10 Solues numricas de sistemas de equaes
no lineares............................................................................... 703



10.1
10.2
10.3
10.4
10.5
10.6

Pontos fixos para funes de vrias variveis............................................................704


O mtodo de Newton.................................................................................................714
Mtodos Quasi-Newton.............................................................................................722
Tcnicas de declive mximo......................................................................................730
Mtodos de homotopia e continuao........................................................................738
Software numrico.....................................................................................................747


11 Problemas de contorno para equaes
diferenciais ordinrias................................................................ 751





Analise.indb 15

11.1
11.2
11.3
11.4
11.5
11.6

O mtodo Shooting linear..........................................................................................752


O mtodo Shooting para problemas no lineares.......................................................760
O mtodo das diferenas finitas para problemas lineares..........................................767
Mtodos de diferenas finitas para problemas no lineares.......................................774
O mtodo de Rayleigh-Ritz.......................................................................................781
Software numrico.....................................................................................................797

15/12/2015 08:39:42

xvi

Anlise numrica


12 Solues numricas de equaes diferenciais
parciais...................................................................................... 801




12.1
12.2
12.3
12.4
12.5

Equaes diferenciais parciais elpticas.....................................................................804


Equaes diferenciais parciais parablicas................................................................814
Equaes diferenciais parciais hiperblicas...............................................................829
Uma introduo ao mtodo dos elementos finitos.....................................................838
Software numrico.....................................................................................................852

Bibliografia .........................................................................................................................................855
ndice remissivo......................................................................................................................................865

CAPTULO

Preliminares matemticos
e anlise de erros
Introduo
Nos cursos iniciais de qumica, vemos a lei dos gases ideais:
PV 5 NRT,
a qual relaciona a presso P, o volume V, a temperatura T e o nmero de moles N de
um gs ideal. Nessa equao, R uma constante que depende do sistema de medidas.
Suponha que duas experincias sejam conduzidas para testar essa lei, usando o
mesmo gs em cada caso. Na primeira experincia,
P 5 1,00 atm,V 5 0,100 m3,
N 5 0,00420 mol,R 5 0,08206.
A lei dos gases ideais prev que a temperatura do gs seja
T

PV
NR

(1,00)(0,100)
(0,00420)(0,08206)

290,15 K

17 C.

Quando medimos a temperatura do gs, descobrimos que a temperatura verdadeira


de 15 C.

V1
V2

Ento, repetimos a experincia usando os mesmos valores de R e N, mas aumentamos a presso por um fator 2 e reduzimos o volume pelo mesmo fator. J que o pro-

Analise.indb 1

15/12/2015 08:39:43

Anlise numrica

duto PV continua o mesmo, a temperatura prevista ainda de 17 C, mas descobrimos


que a temperatura real do gs agora de 19 C.
Claramente, a lei dos gases ideais duvidosa, mas antes de concluir que a lei
invlida nessa situao, deveramos examinar os dados para ver se o erro pode ser atribudo aos resultados experimentais. Se assim for, devemos ser capazes de determinar
quo mais precisos os resultados experimentais deveriam ser para garantir que um erro
dessa ordem no ocorresse.
A anlise dos erros envolvidos no clculo um tpico importante na anlise numrica e apresentada na Seo 1.2. Essa aplicao particular considerada no Exerccio
26 daquela seo.
Este captulo contm um breve resumo daqueles tpicos do clculo elementar de
uma varivel que sero necessrios nos captulos posteriores. Um conhecimento slido
de clculo essencial para um entendimento da anlise de tcnicas numricas, e uma
reviso mais completa pode ser necessria para aqueles que estiverem afastados deste
assunto por algum tempo. Alm disso, h uma introduo convergncia, anlise de
erros, representao dos nmeros pela mquina e algumas tcnicas para categorizar e
minimizar os erros computacionais.

1.1 Reviso de clculo


Limites e continuidade
Os conceitos de limite e continuidade de uma funo so fundamentais no estudo do
clculo e formam a base da anlise das tcnicas numricas.

Definio 1.1 Uma funo f definida em um conjunto X de nmeros reais tem o limite L em x0, escrito
como
lim f (x)

x0

L,

se, dado qualquer nmero real . 0, existe um nmero real . 0, tal que
u f (x) 2 Lu , , sempre que x Xe0 , ux 2 x0u , .

(Veja a Figura 1.1.)

y  f (x)

L 
L
L 

x0 

x0

x0 

Figura 1.1

Analise.indb 2

15/12/2015 08:39:43

Preliminares matemticos e anlise de erros

Os conceitos bsicos de clculo e suas aplicaes foram desenvolvidos no final do sculo XVII e incio do sculo XVIII, mas os conceitos matemticos precisos de limite e continuidade no foram definidos at a poca de
Augustin Louis Cauchy (1789-1857), Heinrich Eduard Heine (1821-1881) e Karl Weierstrass (1815-1897) no
final do sculo XIX.

Definio 1.2 Seja f uma funo definida em um conjunto X de nmeros reais e x0 X. Ento f con
tnua em x0 se
lim f (x)

x0

f (x0).

A funo f contnua no conjunto X se for contnua em cada nmero de X.

C (X) denota o conjunto de todas as funes que so contnuas no conjunto X.


Quando X um intervalo da reta real, os parnteses nessa notao so omitidos. Por
exemplo, o conjunto de todas as funes contnuas no intervalo fechado [a, b] denotado por C [a, b]. O smbolo R denota o conjunto dos nmeros reais que tem tambm a
notao de intervalo (, ). Assim, o conjunto de todas as funes que so contnuas
em todo nmero real denotado por C (R) ou por C (, ).
O limite de uma sequncia de nmeros reais ou complexos definido de maneira
anloga.
Definio 1.3 Seja {xn}n51 uma sequncia infinita de nmeros reais. A sequncia tem o limite x
(converge para x) se, para qualquer . 0, existe um nmero inteiro N (), tal que
uxn 2 xu , , sempre que n . N (). A notao
lim xn
n

xMMouMMxn r xMMquandoMMn r ,

significa que a sequncia {xn}n51 converge para x.


Teorema 1.4

Se f uma funo definida no conjunto X de nmeros reais e x0 X, ento as seguintes


afirmaes so equivalentes:
a. f contnua em x0;
b. Se {xn}n51 for qualquer sequncia em X convergindo para x0, ento o limnr f (xn)
5 f (x0).
n

As funes que considerarmos ao discutir os mtodos numricos supostas como


contnuas, j que isso um requisito mnimo para um comportamento previsvel. Funes que no so contnuas podem pular pontos de interesse, o que pode causar dificuldade na tentativa de aproximar uma soluo de um problema.

Diferenciabilidade
Hipteses mais sofisticadas sobre uma funo geralmente levam a uma melhor aproximao dos resultados. Por exemplo, uma funo com um grfico liso normalmente
vai comportar-se de maneira mais previsvel que aquela com numerosas caractersticas
irregulares. A condio de ser lisa baseia-se no conceito da derivada.
Definio 1.5 Seja f uma funo definida em um intervalo aberto contendo x0. A funo f dife
rencivel em x0 se

Analise.indb 3

15/12/2015 08:39:44

Anlise numrica

f (x0)

lim

x0

f (x)
x

f (x0)
x0

existe. O nmero f9(x0) chamado derivada de f em x0. Uma funo que tem uma
derivada em cada nmero do conjunto X diferencivel em X.
n
A derivada de f em x0 a inclinao da reta tangente ao grfico de f em (x0, f (x0)),
como mostrado na Figura 1.2.
y

A reta tangente tem inclinao f (x0)


f (x 0)

(x 0, f (x 0))

x0

y  f (x)

Figura 1.2
Teorema 1.6

Se a funo f for diferencivel em x0, ento f ser contnua em x0.

Os prximos teoremas so de fundamental importncia nos mtodos de deduo


da estimativa de erro. As demonstraes desses teoremas e dos outros resultados sem
referncias nesta seo podem ser encontradas em qualquer texto padro de clculo.
O conjunto de todas as funes que tm n derivadas contnuas em X denotado
por Cn (X), e o conjunto das funes que tm derivadas de todas as ordens em X
denotado por C(X). Funes polinomiais, racionais, trigonomtricas, exponenciais e
logartmicas esto em C(X), onde X consiste em todos os nmeros para os quais as
funes esto definidas. Quando X for um intervalo da reta real, omitiremos novamente os parnteses nessa notao.
O teorema atribudo a Michel Rolle (1652-1719) apareceu em 1691 em um artigo intitulado Mthode pour
rsoundre les galites. Rolle, originalmente, criticou o clculo desenvolvido por Isaac Newton e Gottfried
Leibniz, mas depois tornou-se um de seus defensores.

Teorema 1.7

(Teorema de Rolle)
Suponha que f C[a, b] e que f seja diferencivel em (a, b). Se f (a) 5 f (b), ento
existe um nmero c em (a, b) com f9(c) 5 0. (Veja a Figura 1.3.)
n

Teorema 1.8

(Teorema do valor mdio)


Se f C[a, b] e f for diferencivel em (a, b), ento existe um nmero c em (a, b) com
(Veja Figura 1.4.)

Analise.indb 4

15/12/2015 08:39:44

Preliminares matemticos e anlise de erros

f (b)
b

f (c)

f (a)
. (Veja a Figura 1.4.)
a

f (c) 50
y 5f (x)

f (a) 5 f(b)

Figura 1.3

y
Retas paralelas
Inclinao f (c)

y 5f (x)

Inclinao

f (b) 2f (a)
b 2a

Figura 1.4

Teorema 1.9

(Teorema do valor extremo)


Se f C[a, b], ento existem c1, c2 [a, b] com f (c1) # f(x) # f(c2), para todo
x [a, b]. Alm disso, se f for diferencivel em (a, b), ento os nmeros c1 e c2 ocorrem
nas extremidades de [a, b] ou nos pontos para os quais f9for zero. (Veja a Figura 1.5.) n
y

y 5f (x)

c2

c1

Figura 1.5

Analise.indb 5

15/12/2015 08:39:45

6
P P

Anlise numrica

S X E ExemplO 1

Encontre os valores mnimo e mximo absolutos de


f (x ) 5 2 e x 1 2x
nos intervalos (a) [0, 1] e (b) [1, 2].
Soluo Comeamos derivando f(x) para obter
f9(x) 5 ex 1 2.
Temos que f9(x ) 5 0 quando ex 1 2 5 0 ou, equivalentemente, quando ex 5 2.
Tomando o logaritmo natural em ambos os lados da equao, obtemos
ln (ex ) 5 ln (2) ou x 5 ln (2) 0,69314718056
(a) Quando o intervalo [0,1], os extremos absolutos devem ocorrer em f(0),
f(ln (2)) ou f (1). Calculando, temos
f (0) 5 2 e0 1 2(0) 5 1
f (ln (2)) 5 2 eln (2) 1 2 ln (2) 5 2 ln (2) 1,38629436112
f (1) 5 2 e 1 2(1) 5 4 e 1,28171817154.
Logo, o mnimo absoluto de f (x) em [0,1] f (0) =1, e o mximo absoluto
f (ln (2)) = 2 ln (2).
(b) Quando o intervalo [1, 2], sabemos que f9(x) 0 de modo que os extremos absolutos ocorrem em f (1) e f (2). Mas, f (2) 5 2 e2 1 2(2) 5 6 e2 1,3890560983.
Assim, o mnimo absoluto em [1, 2] 6 e2 e o mximo absoluto 1.
Observamos que

max | f (x)| = |6 e2 | 1.3890560983.

0x2

O teorema a seguir no geralmente apresentado em um curso bsico de clculo,


mas deduzido pela aplicao do Teorema de Rolle sucessivamente a f, f9, . . . e, finalmente, a f (n1). Este resultado considerado no Exerccio 26.
Teorema 1.10 (Teorema de Rolle generalizado)
Suponha que f C [a, b] seja n vezes diferencivel em (a, b). Se f (x ) 5 0 em n 1
1 nmeros distintos a # x0 , x1 , . . . , xn # b, ento existe um nmero c em (x0 , xn
) e portanto em (a, b) com f (n) (c) 5 0.
n
Usaremos frequentemente o teorema do valor intermedirio. Embora seu enunciado parea razovel, sua demonstrao est alm do escopo do curso usual de clculo.
Ele pode, entretanto, ser encontrado na maioria dos textos de anlise (veja, por exemplo, [Fu], pg. 67).
Teorema 1.11 (Teorema do valor intermedirio)
Se f C [a, b] e K qualquer nmero entre f (a) e f (b), ento existe um nmero c em
(a, b) para o qual f (c) 5 K.
n
A Figura 1.6 mostra uma escolha do nmero cuja existncia garantida pelo teorema do valor intermedirio. Neste exemplo, existem outras duas possibilidades.

Analise.indb 6

15/12/2015 08:39:46

Preliminares matemticos e anlise de erros

y
(a, f (a))

f (a)

y  f (x)

K
f (b)

(b, f (b))
a

Figura 1.6
P P

S X E ExemplO 2

Mostre que x 5 2x 3 1 3x 2 1 5 0 tem uma soluo no intervalo [0,1].


Soluo Considere a funo definida por f (x ) 5 x 5 2x3 1 3x 2 1. A funo f contnua
em [0,1]. Alm disso,
f (0) 5 1 , 0

0 , 1 5 f (1).

Portanto, o teorema do valor intermedirio implica que existe um nmero c, com 0 ,


c , 1, para o qual c5 2c3 1 3c2 1 5 0.
n
Como visto no Exemplo 2, o teorema do valor intermedirio usado para determinar
quando existem solues para certos problemas. Entretanto, ele no fornece uma maneira
eficiente de encontrar estas solues. Este tpico ser considerado no Captulo 2.

Integrao
O outro conceito bsico de clculo que usamos extensivamente a integral de Riemann.
Definio 1.12 A integral de Riemann da funo f no intervalo [a, b] o limite seguinte, desde que
ele exista:
b
a

f (x) d x

lim

max xi

i 1

f (zi) xi,

onde os nmeros x0, x1, . . . , xn satisfazem a 5 x0 # x1 # . . . # xn 5 b e onde xi 5 xi 2 xi21,


para cada i 5 1, 2, . . . , n e zi arbitrariamente escolhido no intervalo [xi21, xi].
n
George Friedrich Bernhard Riemann (1826-1866) fez muitas das importantes descobertas que classificam as
funes que tm integrais. Ele tambm tem trabalhos fundamentais na geometria e na teoria das funes complexas e respeitado como um dos mais profundos matemticos do sculo XIX.

Uma funo f que contnua em um intervalo [a, b] tambm integrvel, segundo


Riemann, em [a, b]. Isso permite escolher, para convenincia de clculo, que os pontos xi sejam igualmente espaados em [a, b] e, para cada i 5 1, 2, . . . , n, escolher zi 5
xi. Nesse caso,
b
a

f (x) d x

lim
n

i 1

f (xi),

onde os nmeros mostrados na Figura 1.7 como xi so xi 5 a 1 i (b 2 a)/n.

Analise.indb 7

15/12/2015 08:39:46

Anlise numrica

y
y 5f (x)

Figura 1.7

a 5x0 x1

x2 . . . x i21 x i

...

x n21 b 5x n

Dois outros resultados sero necessrios em nosso estudo de anlise numrica. O


primeiro uma generalizao usual do Teorema do valor mdio para integrais.
Teorema 1.13 (Teorema do valor mdio para integrais com peso)
Suponha que f C[a, b], que a integral de Riemann de g exista em [a, b] e que
g (x) no mude de sinal em [a, b]. Ento, existe um nmero c em (a, b) tal que

E f (x)g(x) dx 5 f(c) Eg(x) dx.

Quando g (x) ; 1, o Teorema 1.13 o teorema do valor mdio usual para integrais.
Ele fornece o valor mdio da funo f no intervalo [a, b] como (Veja a Figura 1.8.)
f (c)

f (x) d x.

y
y 5f (x)
f (c)

Figura 1.8

A demonstrao do Teorema 1.13 geralmente no apresentada em um curso de


clculo bsico, mas pode ser encontrada na maioria dos textos de anlise (veja, por
exemplo, [Fu], p. 162).

Polinmios e sries de Taylor


O teorema final desta reviso de clculo descreve os polinmios de Taylor. Esses polinmios so amplamente usados na anlise numrica.

Analise.indb 8

15/12/2015 08:39:47

Preliminares matemticos e anlise de erros

Teorema 1.14 (Teorema de Taylor)


Suponha que f Cn [a, b], que f(n11) exista em [a, b] e que x0 [a, b]. Para todo
x [a, b], existe um nmero j (x) entre x0 e x com
f (x) 5 Pn (x) 1 Rn (x),

onde

ee
e

Pn(x)
Pn(x)

f (x0)
f (xn0)

f (x0)(x

x0)

f (x0)
f (n)(x0)
(x x0)2 . . . (n)
(x x0)n
n!0)
f (x2!
(x
f
0)
(x x0)2 . . .
(x x0)n
2!
n!

f (x0)(x x0)
f (k)(x0)
(x x0)k
n (k) k!
(x0)
k 0f
k! (x x0)k
k 0
f (n 1)( (x))
(x x0)n 1.
Rn(x)
1)!
f (n (n1)( (x))
(x x0)n 1.
Rn(x)
(n 1)!

Aqui, Pn(x) chamado polinmio de Taylor de ordem n (ou ensimo polimnio de


Taylor) de f em x0 e Rn (x) chamado resto (ou erro de truncamento) relativo a Pn(x).
Como o nmero j(x) no erro de truncamento Rn(x) depende do valor de x no qual o polinmio Pn(x) est sendo calculado, ele funo da varivel x. Entretanto, no devemos
esperar que sejamos capazes de determinar explicitamente j(x). O Teorema de Taylor
simplesmente garante que tal funo existe e que seu valor est entre x e x0. Na verdade,
um dos problemas comuns nos mtodos numricos tentar determinar uma limitao realstica para o valor de f (n11) (j(x)) quando x est dentro de algum intervalo especificado.
Brook Taylor (1685-1731) descreveu esta srie em 1715 no artigo Methodus incrementorum directa et inversa.
Casos especiais do resultado e provavelmente o prprio resultado tinham sido previamente conhecidos por
Isaac Newton, James Gregory e outros.

A srie infinita obtida pelo limite de Pn(x) quando n r chamada srie de Taylor
de f em x0. No caso de x0 5 0, o polinmio de Taylor frequentemente chamado poli
nmio de Maclaurin e a srie de Taylor geralmente chamada srie de Maclaurin.
Colin Maclaurin (1698-1746) mais conhecido como o defensor do clculo de Newton quando este esteve sob
o ataque ferrenho do filsofo irlands, o bispo George Berkeley. Maclaurin no descobriu a srie que leva seu
nome; ela era conhecida pelos matemticos do sculo XVII, antes de seu nascimento. Entretanto, ele desenvolveu um mtodo para resolver um sistema de equaes lineares que conhecido como Regra de Cramer, que
Cramer no publicou at 1750.

O termo erro de truncamento no polinmio de Taylor refere-se ao erro envolvido


na utilizao de uma adio truncada ou finita para aproximar a soma de uma srie
infinita.
P P

S X E ExemplO 3

Sejam f (x) = cos x e x0 = 0. Determine


(a) o segundo polinmio de Taylor de f em x0; e
(b) o terceiro polinmio de Taylor de f em x0.

Analise.indb 9

15/12/2015 08:39:47

10

Anlise numrica

Soluo Visto que f C (R), o Teorema de Taylor pode ser aplicado a qualquer n 0.
Alm disso,
f 9(x) 5 sen x, f 0(x) 5 2 cos x, f -(x) 5 sen xef (4)(x) 5 cos x,

assim
f (0) 5 1, f 9(0) 5 0, f 0(0) 5 2 1 e f -(0) 5 0.
(a) Para n 5 2 e x0 5 0, temos
cos x

f (0)
1

1 2
x
2

f ( (x))
x3
3!

f (0)
x2
2!

f (0)x

1 3
x sen (x),
6

em que j (x) algum nmero (geralmente desconhecido) entre 0 e x. (Veja a Figura 1.9.)
y

y  cos x


2


2

1
2

y  P2(x)  1   x 2

Figura 1.9

Quando x 5 0,01, ele se torna


cos (0,01)

1
(0,01)2
2

1
(0,01)3 sen (0,01)
6

0,99995

10
6

sen (0,01).

A aproximao para cos(0,01) determinada pelo polinmio de Taylor , portanto,


0,99995. O erro de truncamento, ou resto, relativo a essa aproximao
10
6

0,16 3 10

sen (0,01)

6 sen

(0,01),

onde usamos a barra sobre o 6 em 0,16 para indicar que esse algarismo repete-se indefinidamente. Embora no tenhamos nenhuma maneira de determinar sen j(0,01), sabemos
que todos os valores do seno ficam no intervalo [2 1, 1], assim, o erro que ocorre se
usarmos a aproximao 0,99995 para o valor do cos(0,01) limitado por

ucos (0,01) 2 0,99995u 5 0,16 3 1026u sen j(0,01)u # 0,16 3 1026.


Consequentemente, a aproximao 0,99995 igual pelo menos aos primeiros cinco
algarismos do cos(0,01) e

Analise.indb 10

15/12/2015 08:39:48

Preliminares matemticos e anlise de erros

11

0,9999483 , 0,99995 2 1,6 3 1026 # cos (0,01)

# 0,99995 1 1,6 3 1026 , 0,9999517.

O limitante para o erro muito maior que o erro real. Isso acontece em parte em razo da limitao deficiente usada para usen j(x)u. mostrado no Exerccio 27 que, para
todos os valores de x, temos usen xu # uxu. Como 0 # j , 0,01, poderamos ter usado o

fato de que usen j(x)u # 0,01 na frmula de erro, produzindo o limitante 0,16 3 1028.
(b) Como f-(0) 5 0, o polinmio de Taylor de ordem trs com o termo de resto em x0 5 0
cos x

1 2
x
2

1 4
24 x cos (x),

onde 0 , j (x) , 0,01. O polinmio aproximador permanece o mesmo e a aproximao


ainda 0,99995, mas agora temos muito mais segurana de preciso. Como ucos j (x)u # 1
para todo x, temos
1
1 4
4
24 x cos (x) # 24 (0,01) (1) < 4,2 3 10

10

Assim
ucos (0,01) 2 0,99995u # 4,2 3 10210,
e

0,99994999958 5 0,99995 2 4,2 3 10210


# cos (0,01) # 0,99995 1 4,2 3 10210 5 0,99995000042.

O Exemplo 3 ilustra os dois objetivos da anlise numrica:


(i) Determinar uma aproximao para a soluo de um dado problema.
(ii) Determinar um limitante para o erro da aproximao.
Os polinmios de Taylor em ambas as partes fornecem a mesma resposta para (i), mas
o polinmio de Taylor de ordem trs fornece uma resposta muito melhor para (ii) que
o polinmio de Taylor de ordem dois.
Podemos tambm usar os polinmios de Taylor para obter aproximaes para integrais.
Ilustrao

Podemos usar o terceiro polinmio de Taylor e seu resto, encontrados no Exemplo 3,


0,1
para aproximar E 0 cos x d x . Temos
0,1
0

0,1

cos x dx

x
0,1

Analise.indb 11

!1

1 3
6 x

0,1
0

1
3
6 (0,1)

0,1

1
24

1 2
x @ dx
2
1
24

1
24

0,1
0

x4 cos (x) dx

0,1
0

x4 cos (x) dx

x4 cos (x) dx.

15/12/2015 08:39:49

12

Anlise numrica

Portanto,
0,1
0

cos x dx

1
3
6 (0,1)

0,1

0,09983 .

Um limitante para o erro nessa aproximao determinado pela integral do resto de


Taylor e o fato de que ucos j(x)u # 1 para todo x:
1
24

0,1
0

1
x 4 cos (x) d x #
24
#

1
24

0,1
0
0,1
0

x 4 | cos (x)| d x
x4 dx =

(0,1)5
= 8,3 3 108 .
120

Como o valor verdadeiro da integral


0,1
0

cos x dx

sen x

0,1
0

sen 0,1

0,099833416647,

o erro real da aproximao 8,3314 3 1028, o qual est dentro da limitao do erro. n

EXERCCIOS 1.1
1. Mostre que as seguintes equaes tm pelo menos uma soluo nos intervalos dados.
a. x cos x 2 2x2 1 3x 2 1 5 0, [0,2, 0,3] e [1,2, 1,3]
b.(x 2 2)2 2 ln x 5 0, [1, 2] e [e, 4]
c.2x cos(2x) 2 (x 2 2)2 5 0, [2, 3] e [3, 4]
d. x 2 (ln x)x 5 0, [4, 5]
2. Mostre que as seguintes equaes tm pelo menos uma soluo nos intervalos dados.
a. w
x cos x 5 0, [0, 1]
b. e x x 2 1 3x 2 5 0, [0, 1]

c. 3 tg(2x ) 1 x 5 0, [0, 1]
1
x 1 5 0, [ }
, 1]
d. ln x x 2 1 }
2
2
3. Encontre intervalos que contenham solues das seguintes equaes.
5

a. x 2x 5 0
b.2x cos (2x ) (x 1 1)2 5 0
c.3x e x 5 0
d. x 1 1 2 sen ( x ) 5 0
4. Encontre intervalos que contenham solues das seguintes equaes.
a. x 2 32x 5 0

b. 4x2 2 ex 5 0

c. x3 2 2x2 2 4x 1 2 5 0 d. x3 1 4,001x2 1 4,002x 1 1,101 5 0


5. Determine maxa#x#b uf(x)u para as seguintes funes e intervalos.
a. f(x) 5 (2 2 ex 1 2x)/3, [0, 1]
b f(x) 5 (4x 2 3)/(x2 2 2x), [0,5, 1]
c. f(x) 5 2x cos(2x) 2 (x 2 2)2, [2, 4]
d. f(x) 5 1 1 e2cos(x21), [1, 2]

Analise.indb 12

15/12/2015 08:39:50

Preliminares matemticos e anlise de erros

13

6. Encontre maxax b para as seguintes funes e intervalos.


a. f (x ) 5 2x /(x 2 1 1), [0, 2]
b. f (x ) 5 x 2 w
(4 x ), [0, 4]
c. f (x ) 5 x 3 4x 1 2, [1, 2]
d. f (x ) 5 x w
(3 x 2 ), [0, 1]
7. Mostre que f9(x) 0 pelo menos uma vez nos intervalos dados.
a. f (x) 5 1 2 ex 1 (e 2 1) sen ((/2)x), [0, 1]
b. f (x) 5 (x 2 1) tg x 1 x sen x, [0, 1]
c. f (x) 5 x sen x 2 (x 2 2) ln x, [1, 2]
d. f(x) 5 (x 2 2) sen x ln(x 1 2) [21, 3]
8. Suponha que f C [a, b] e que f9(x) exista em (a, b). Mostre que se f9(x) 0 para todo x em (a, b), ento
pode existir no mximo um nmero p em [a, b] com f (p) 5 0.

9. Seja f (x) 5 x3.

a. Determine o polinmio de Taylor de ordem dois P2(x) em x0 5 0.


b.Determine R2(0,5) e o erro real ao usar P2(0,5) para aproximar f(0,5).
c. Repita a parte (a) usando x0 5 1.
d. Repita a parte (b) usando o polinmio da parte (c).
10. Determine o polinmio de Taylor de ordem trs P3(x) para a funo f (x) 5 w
x 1 1 em x0 5 0. Aproxime
w
0,5 , w
0,75, w
1,25 e w
1,5 usando P3(x) e determine os erros reais.
11. Determine o polinmio de Taylor de ordem dois P2(x) para a funo f (x) 5 ex cos x em x0 5 0.
a.Use P2(0,5) para aproximar f (0,5). Determine um limitante superior para o erro u f (0,5) 2 P2(0,5)u
usando a frmula de erro e compare-o com o erro real.
b.Determine um limitante para o erro u f (x) 2 P2(x)u cometido ao usar P2(x) para aproximar f (x) no intervalo [0, 1].
1

c.Aproxime E 0 f (x) dx usando E 0 P2(x) dx.

d. Determine um limitante superior para o erro em (c) usando E 0 uR2(x) dxu e compare o limitante com o
erro real.
12. Repita o Exerccio 11 usando x0 5 /6.
13. Determine o polinmio de Taylor de ordem trs P3(x) para a funo f (x) 5 (x 2 1) ln x em x0 5 1.
a.Use P3(0,5) para aproximar f (0,5). Determine um limitante superior para o erro u f (0,5) 2 P3(0,5)u
usando a frmula de erro e compare-o com o erro real.
b. Determine um limitante para erro u f (x) 2 P3(x)u cometido usando P3(x) ao aproximar f (x) no intervalo
[0,5, 1,5].
1,5

1,5

c.Aproxime E 0,5 f (x) dx usando E 0,5 P3(x) dx.

1,5

d. Determine um limitante superior para o erro em (c) usando E 0,5 uR3(x) dxu e compare o limitante com o
erro real.
14. Seja f (x) 5 2x cos (2x) 2 (x 2 2)2 e x0 5 0.
a. Determine o polinmio de Taylor de ordem trs P3(x) e use-o para aproximar f (0,4).
b.Use a frmula de erro do Teorema de Taylor para determinar um limitante superior para o erro
uf (0,4) 2 P3(0,4)u. Calcule o erro real.
c. Determine o polinmio de Taylor de ordem quatro P4(x) e use-o para aproximar f (0,4).
d.Use a frmula de erro do Teorema de Taylor para determinar um limitante superior para erro
uf (0,4) 2 P4(0,4)u. Calcule o erro real.

Analise.indb 13

15/12/2015 08:39:51

14

Anlise numrica

15. Determine o polinmio de Taylor de ordem quatro P4(x) para a funo f (x) 5 xex em x0 5 0.
a. Determine um limitante superior para o erro u f (x) 2 P4(x)u para 0 # x # 0,4.
0,4

0,4

b. Aproxime E 0 f (x) dx usando E 0 P4(x) dx.

0,4

c. Determine um limitante superior para o erro em (b) usando E 0 P4(x) dx.


d. Aproxime f9(0,2) usando P94(0,2) e determine o erro.
16. Use o termo de erro de um polinmio de Taylor para estimar o erro envolvido na utilizao de sen x x
para aproximar sen 1.
17. Use um polinmio de Taylor em /4 para aproximar cos 42 com uma preciso de 1026.
18. Seja f (x) 5 (1 2 x)21 e x0 5 0. Determine o polinmio de Taylor de ordem n Pn(x) de f (x) em x0. Determine
o valor de n necessrio para que Pn(x) aproxime f (x) com preciso de 1026 em [0, 0,5].
19. Seja f (x) 5 ex e x0 5 0. Determine o polinmio de Taylor de ordem n, Pn(x), de f (x) em x0. Determine o
valor de n necessrio para que Pn(x) aproxime f (x) com preciso de 1026 em [0, 0,5].
20. Determine o polinmio de Maclaurin de grau n, Pn(x), de f (x) 5 arctg x.

1 1
1 2
21. O polinmio P2(x) 5 1 2 }
x deve ser usado para aproximar f (x) 5 cos x em [2 }
, } ]. Determine um
2 2
2
limitante para o erro mximo.

22. Use o teorema do valor intermedirio 1.11 e o Teorema de Rolle 1.7 para mostrar que o grfico de f(x) 5 x3
1 2x 1 k cruza o eixo x exatamente uma vez, independentemente do valor da constante k.
23. Um polinmio de Maclaurin para ex usado para fornecer a aproximao 2,5 de e. O limitante para o erro
1.
nessa aproximao estabelecido como sendo E 5 }
Determine um limitante para o erro em E.
6
24. A funo erro definida por

erf (x)

x
0

t2dt

fornece a probabilidade de que qualquer uma de uma srie de tentativas fique a menos de x unidades
da
mdia, supondo que as tentativas tenham uma distribuio normal com mdia 0 e desvio padro 2/2.
Essa integral no pode ser calculada em termos de funes elementares, por essa razo deve ser usada uma
tcnica de aproximao.
a. Integre a srie de Maclaurin para e2x para mostrar que
2

erf (x)

k 0

( 1)kx2k 1
(2k 1)k!

b. A funo erro tambm pode ser expressa na forma

erf (x)

2
e

x2

k 0

2kx2k 1
.
.
1 3 5 ... (2k

1)

Verifique que as duas sries coincidem para k 5 1, 2, 3 e 4. [Sugesto: use a srie de Maclaurin para e2x .]
2

c.
Use a srie do item (a) para aproximar erf (1) com preciso de 1027.
d.
Use o mesmo nmero de termos que no item (c) para aproximar erf (1) com a srie do item (b).
e.
Explique por que ocorrem dificuldades ao usar a srie do item (b) para aproximar erf (x).

EXERCCIOS TERICOS
25. O polinmio de Taylor de ordem n de uma funo f em x0 s vezes conhecido como o polinmio de grau
no mximo n que melhor aproxima f perto de x0.

Analise.indb 14

15/12/2015 08:39:52

Preliminares matemticos e anlise de erros

15

a. Explique por que essa descrio precisa.


b. Determine o polinmio quadrtico que melhor aproxima uma funo f perto de x0 5 1 se a reta tangente
em x0 5 1 tem a equao y 5 4x 2 1 e se f0(1) 5 6.
26. Demonstre o Teorema de Rolle generalizado, Teorema 1.10, verificando o seguinte.
a.Use o Teorema de Rolle para mostrar que f9 (zi ) 5 0 para n 1 nmeros em [a, b], com a , z1 , z2 ,
, zn1 , b.
b.Use o Teorema de Rolle para mostrar que f0 (wi ) 5 0 para n 2 nmeros em [a, b] com z1 , w1 , z2 ,
w2 wn2 ,zn1 , b.
c.Continue os argumentos nas partes (a) e (b) para mostrar que para cada j = 1, 2,..., n 1, existem n j
nmeros distintos em [a, b], nos quais f ( j ) 0.
d. Mostre que a parte (c) implica a concluso do teorema.
27. O Exemplo 3 afirma que para todo x temos |sen x| |x|. Use o seguinte para verificar esta afirmao.
a.Mostre que para todo x 0, f (x) 5 x sen x no decrescente, o que implica que sen x x com a
igualdade ocorrendo apenas quando x 5 0.
b. Use o fato de que a funo seno mpar para obter a concluso.
28. Diz-se que uma funo f : [a, b] r R satisfaz uma condio de Lipschitz com constante de Lipschitz L em
[a, b] se, para todo x, y [a, b], temos u f (x) 2 f (y)u # L ux 2 yu.

a.Mostre que se f satisfaz uma condio de Lipschitz com constante de Lipschitz L no intervalo [a, b],
ento f C [a, b].

b.Mostre que se f tem uma derivada que limitada em [a, b] por L, ento f satisfaz uma condio de
Lipschitz com constante de Lipschitz L em [a, b].
c.D um exemplo de uma funo que seja contnua em um intervalo fechado, mas no satisfaa uma condio de Lipschitz no intervalo.

29. Suponha que f C [a, b], que x1 e x2 esto em [a, b].

a. Mostre que existe um nmero j entre x1 e x2 com

f ( ) =

f (x1 ) + f (x2 )
1
1
= f (x1 ) + f (x2 ).
2
2
2

b. Suponha que c1 e c2 sejam constantes positivas. Mostre que existe um nmero j entre x1 e x2 com
f( )

c1 f (x1) c2 f (x2 )
c1

c2

c.D um exemplo que mostre que o resultado na parte (b) no necessariamente vlido quando c1 e c2
tm sinais opostos, com c1 c2.

30. Sejam f C [a, b] e p no intervalo aberto (a, b).


a.Suponha que f (p) 0. Mostre que existe um . 0 tal que f (x) 0, para todo x em [p 2 , p 1 ],
onde [p 2 , p 1 ] subconjunto de [a, b].

b.Suponha que f (p) 5 0 e que seja dado k . 0. Mostre que existe um . 0 tal que uf (x)u # k para todo
x em [p 2 , p 1 ], onde [p 2 , p 1 ] subconjunto de [a, b].

QUESTO PARA DISCUSSO


1. Descreva, com suas prprias palavras, a condio de Lipschitz. D vrios exemplos de funes que satisfaam esta condio ou d vrios exemplos de funes que no satisfaam esta condio.

Analise.indb 15

15/12/2015 08:39:52

16

Anlise numrica

1.2 Erros de arredondamento e aritmtica no computador


A aritmtica executada por uma calculadora ou computador diferente daquela dos
nossos cursos de lgebra e clculo. Voc pode esperar que tenhamos sempre como
afirmaes verdadeiras coisas como 2 1 2 5 4, 4 8 5 32 e (w3)2 5 3. Entretanto, na
aritmtica computacional, esperamos resultados exatos para 2 1 2 5 4, 4 8 5 32, mas
no temos precisamente (w3)2 5 3. Para entender por que isso verdadeiro, devemos
explorar o mundo da aritmtica com nmero finito de algarismos.
Espere erros devido ao arredondamento sempre que forem feitos clculos usando nmeros que no sejam potncias de 2. Manter esse erro sob controle extremamente importante quando o nmero de clculos for grande.

Em nosso mundo da matemtica tradicional, permitimos nmeros com uma quantidade infinita de algarismos. A aritmtica que usamos nesse mundo define w
3 como o
nico nmero positivo que, quando multiplicado por si mesmo, produz o inteiro 3. No
mundo da computao, entretanto, cada nmero representvel tem apenas um nmero
fixo e finito de algarismos. Isso significa, por exemplo, que apenas nmeros racionais
e nem mesmo todos eles podem ser representados exatamente. Como w
3 no
racional, recebe uma representao aproximada, cujo quadrado no ser precisamente 3, embora provavelmente seja suficientemente prximo de 3 para ser aceitvel na
maioria das situaes. Na maior parte dos casos, ento, essa aritmtica de mquina
satisfatria e passa sem ser notada e sem causar preocupao, mas s vezes aparecem
problemas por causa dessa discrepncia.
O erro que produzido quando uma calculadora ou um computador usado para realizar clculos com nmeros reais chamado erro de arredondamento. Isso ocorre porque a aritmtica efetuada em uma mquina envolve apenas nmeros com uma quantidade
finita de algarismos, com o resultado de que os clculos so efetuados apenas com representaes aproximadas dos nmeros corretos. Em um computador tpico, apenas um subconjunto relativamente pequeno do sistema de nmeros reais usado para a representao de todos os nmeros reais. Esse subconjunto contm apenas nmeros racionais, tanto
positivos como negativos, e armazena a parte fracionria junto com a parte exponencial.

Nmeros de mquina binrios


Em 1985, o IEEE (Instituto de Engenheiros Eltricos e Eletrnicos) publicou um relatrio chamado Binary Floating Point Arithmetic Standard 754-1985. Uma verso
atualizada foi publicada em 2008 como IEEE 754-2008. Isso fornece os padres para
nmeros binrios e decimais de ponto flutuante, formatos para troca de dados, algoritmos
para o arredondamento de operaes aritmticas e o tratamento de excees. Foram
especificados formatos para precises simples, dupla e estendida, e esses padres so
geralmente seguidos por todos os fabricantes de microcomputadores que usam hardware
de ponto flutuante.
usada para um nmero real uma representao de 64 bits (dgitos binrios). O
primeiro bit um indicador de sinal, denotado por s. Ele seguido por um expoente
de 11 bits, c, chamado caracterstica, e por uma frao binria de 52 bits, f, chamada
mantissa. A base para o expoente 2.
Visto que 52 algarismos binrios correspondem a 16 ou 17 algarismos decimais,
podemos considerar que um nmero representado nesse sistema tem pelo menos 16
algarismos decimais de preciso. O expoente de 11 algarismos binrios fornece uma

Analise.indb 16

15/12/2015 08:39:53

17

Preliminares matemticos e anlise de erros

faixa de 0 a 211 2 1 5 2.047. Entretanto, a utilizao apenas de inteiros positivos para


o expoente no permitiria uma representao adequada de nmeros de mdulo pequeno. Para garantir que nmeros de mdulo pequeno sejam igualmente representveis,
1.023 subtrado da caracterstica, de maneira que o intervalo do expoente seja, na
verdade, de 21.023 a 1.024.
Para economizar armazenamento e fornecer uma representao nica de cada nmero em ponto flutuante, imposta uma normalizao. A utilizao desse sistema fornece um nmero em ponto flutuante da forma
(21)s2c21.023 (1 1 f )
Ilustrao

Considere o nmero de mquina


0 10000000011 1011100100010000000000000000000000000000000000000000.
O bit mais esquerda s = 0, o que indica que o nmero positivo. Os prximos 11
bits, 10000000011, que fornecem a caracterstica, so equivalentes ao nmero decimal
c 5 1 210 1 0 29 1 . . . 1 0 22 1 1 21 1 1 20 5 1024 1 2 1 1 5 1027.
A parte exponencial do nmero , portanto, 21.02721.023 5 24. Os 52 bits finais especificam
que a mantissa seja
f

! 2@

! 2@

! 2@

! 2@

! 2@

! 2@

12

Consequentemente, esse nmero de mquina representa precisamente o nmero decimal


( 1)s 2c

1023 (1

f)

( 1)0 21027

1023

!1 ! 2

1
8

1
16

1
32

1
256

1
4.096 @@

27,56640625.

Entretanto, o prximo menor nmero de mquina


0 10000000011 1011100100001111111111111111111111111111111111111111,
e o prximo maior nmero de mquina
0 10000000011 1011100100010000000000000000000000000000000000000001.
Isso significa que nosso nmero de mquina original representa no apenas 27,56640625,
mas tambm metade dos nmeros reais que esto entre 27,56640625 e o nmero de
mquina menor mais prximo, bem como metade dos nmeros entre 27,5640625 e
o nmero de mquina maior mais prximo. Para ser preciso, ele representa qualquer
nmero real no intervalo
[27,5664062499999982236431605997495353221893310546875,
27,5664062500000017763568394002504646778106689453125).
O menor nmero positivo normalizado que pode ser representado tem s 5 0, c 5 1 e
f 5 0 e equivalente a
221022 (1 1 0) < 0,22251 3 102307,

Analise.indb 17

15/12/2015 08:39:53

18

Anlise numrica

e o maior tem s 5 0, c 5 2.046 e f 5 1 2 2252 e equivalente a


21023 (2 2 2252) < 0,17977 3 10309.
Nmeros que ocorrem em clculos com mdulo menor que
221022 (1 1 0)
resultam em underflow e so geralmente igualados a zero. Nmeros maiores que
21023 (2 2 2252)
resultam em overflow e normalmente fazem o clculo parar (a menos que o programa
tenha sido projetado para detectar essa ocorrncia). Observe que h duas representaes
para o nmero zero; um 0 positivo quando s 5 0, c 5 0 e f 5 0, e um 0 negativo quando
s 5 1, c 5 0 e f 5 0.

Nmeros de mquina decimais


O uso da representao binria tende a dissimular dificuldades computacionais que
ocorrem quando uma coleo finita de nmeros de mquina for usada para representar
todos os nmeros reais. Para examinar esses problemas, usaremos os nmeros decimais mais familiares em vez da representao binria. Consideraremos agora, por simplicidade, que os nmeros de mquina sejam representados na forma normalizada de
ponto flutuante decimal
60,d1d2 . . . dk 3 10n, 1 # d1 # 9 e 0 # di # 9,
para cada i 5 2, . . . , k. Os nmeros dessa forma so chamados nmeros de mquina
decimais de k algarismos.
Qualquer nmero real positivo dentro do intervalo numrico da mquina pode ser
normalizado na forma
y 5 0,d1d2 . . . dk dk11dk12 . . . 3 10n.
O erro que resulta da substituio de um nmero por sua forma em ponto flutuante chamado erro de arredon
damento, independentemente de ter sido usado o mtodo de arredondamento ou truncamento.

A forma em ponto flutuante de y, denotada por fl (y), obtida terminando a mantissa de


y em k algarismos decimais. H duas maneiras de realizar isso. Um mtodo, chamado
truncamento, simplesmente cortar (ou truncar) os algarismos dk11dk12 . . . . Isso produz
a forma em ponto flutuante
f l (y) 5 0,d1d2 . . . dk 3 10n.
O outro mtodo, chamado arredondamento, adiciona 5 3 10n2(k11) a y e ento trunca
o resultado para obter um nmero da forma
f l (y) 5 0,12 . . . k 3 10n.
Desse modo, ao arredondar, se dk11 $ 5, adicionamos 1 a dk para obter f l (y); isto ,
arredondamos para cima. Quando dk11 , 5, simplesmente cortamos tudo menos os
primeiros k algarismos; logo, arredondamos para baixo. Se arredondarmos para baixo,

Analise.indb 18

15/12/2015 08:39:53

Preliminares matemticos e anlise de erros

19

ento i 5 di para cada i 5 1, 2, . . . , k. Entretanto, se arredondarmos para cima, os


algarismos (e mesmo o expoente) podem mudar.
P P

S XE

ExemplO 1

Determine os valores com cinco algarismos do nmero irracional por (a) truncamento
e (b) arredondamento.
Soluo O nmero tem uma expanso decimal infinita da forma 5 3,14159265 . . .
Escrevendo na forma decimal normalizada, temos
5 0,314159265 . . . 3 101.
(a) A forma em ponto flutuante de usando o truncamento para cinco algarismos
f l () 5 0,31415 3 101 5 3,1415.
(b)Como o sexto algarismo da expanso decimal de 9, a forma de ponto flutuante
de usando arredondamento para cinco algarismos
f l () 5 (0,31415 1 0,00001) 3 101 5 3,1416.

O erro relativo geralmente uma medida melhor de preciso que o erro absoluto, j que leva em considerao o
tamanho do nmero que est sendo aproximado.

A seguinte definio descreve dois mtodos para medir erros de aproximao.


Definio 1.15 Ao supor que p uma aproximao de p, o erro real p 2 p, o erro absoluto up 2 pu

e o erro relativo | p p | , contanto que p 0.


n
| p|

Considere os erros real, absoluto e relativo na representao de p por p no seguinte exemplo.

P P

S X E ExemplO 2

Determine os erros real, absoluto e relativo ao aproximar p por p quando


(a) p 5 0,3000 3 101 e p 5 0,3100 3 101 ;
(b) p 5 0,3000 3 103 e p 5 0,3100 3 103 ;
(c) p 5 0,3000 3 104 e p 5 0,3100 3 104 .
Soluo
(a) Se p 5 0,3000 3 101 e p 5 0,3100 3 101, o erro real 0.1, o erro absoluto

0,1 e o erro relativo 0,3333 3 1021.


(b) Se p 5 0,3000 3 1023 e p 5 0,3100 3 1023, o erro real 0.1 3 104 , o erro ab
soluto 0,1 3 1024 e o erro relativo 0,3333 3 1021.
(c) Se p 5 0,3000 3 104 e p 5 0,3100 3 104, o erro real 0.1 3 103 , o erro absolu
to 0,1 3 103 e o erro relativo novamente 0,3333 3 1021.

Esse exemplo mostra que o mesmo erro relativo, 0,3333 3 1021, ocorre para erros absolutos
muito variados. Como uma medida de preciso, o erro absoluto pode ser enganoso e o erro
relativo pode ser mais significativo, j que este leva em considerao o prprio valor. n

Analise.indb 19

15/12/2015 08:39:53

20

Anlise numrica

Um limitante do erro um nmero no negativo maior do que o erro absoluto. Ele


s vezes obtido pelos mtodos do clculo para determinar o valor absoluto mximo
de uma funo. Esperamos encontrar o menor limitante superior para o erro para obter
uma estimativa do erro real que seja to precisa quanto possvel.
A definio seguinte usa o erro relativo para fornecer uma medida dos algarismos
significativos de preciso para uma aproximao.
Em geral, no podemos determinar o valor exato do erro real em uma aproximao. Em vez disso, encontramos
um limitante para o erro, o que fornece o pior caso de erro.

Definio 1.16 Diz-se que o nmero p aproxima p at t algarismos significativos (ou posies) se t
for o maior inteiro no negativo para o qual
p

p*
p

# 5 3 10 t.

A Tabela 1.1 ilustra a natureza contnua dos algarismos significativos listando, para os
vrios valores de p, o menor limitante superior de up 2 pu, denotado por max up 2 pu
quando p coincide com p at quatro algarismos significativos.
p

0,1

0,5

100

1.000

5.000

9.990

10.000

max u p 2 pu

0,00005

0,00025

0,05

0,5

2,5

4,995

5.

Tabela 1.1

O termo algarismo significativo usado muitas vezes para descrever livremente o nmero de algarismos decimais que parecem ser precisos. A definio mais precisa e fornece um conceito contnuo.

Retornando representao de nmeros por mquinas, vemos que a representao


em ponto flutuante f l (y) para o nmero y tem o erro relativo
y

fl( y)
.
y

Se forem usados k algarismos decimais e truncamento para a representao por mquina de


y 5 0,d1d2 . . . dkdk11 . . . 3 10n,
ento
y

fl(y)
y

0,d1d2 ... dkdk

3 10n
0,d1d2 ...

1 ...

0,dk 1dk 2 ... 3 10n


0,d1d2 ... 3 10n

Analise.indb 20

0,d1d2 ... dk 3 10n


10 n
0,dk 1dk 2...
3 10 k.
0,d1d2...

15/12/2015 08:39:54

Preliminares matemticos e anlise de erros

21

Desde que d1 0, o valor mnimo do denominador 0,1. O numerador limitado


acima por 1. Consequentemente,
y

f l(y)
1
3 10
#
y
0,1

10

k 1.

De maneira similar, um limitante para o erro relativo ao usar aritmtica de arredondamento, com k algarismos, 0,5 3 102k11. (Veja o Exerccio 28.)
Observe que os limitantes do erro relativo usando a aritmtica com k algarismos
so independentes do nmero que est sendo representado. Esse resultado deve-se
maneira como os nmeros de mquina so distribudos ao longo da reta real. Por causa
da forma exponencial da caracterstica, a mesma quantidade de nmeros de mquina
decimais usada para representar cada um dos intervalos [0,1, 1], [1, 10] e [10, 100].
Na verdade, dentro dos limites da mquina, a quantidade de nmeros de mquina decimais em [10n, 10n11] constante para todos os inteiros n.

Aritmtica com nmero finito de algarismo


Alm da representao imprecisa de nmeros, a aritmtica realizada em um computador no exata. A aritmtica envolve a manipulao de algarismos binrios por
vrias operaes de deslocamento ou lgicas. Como o mecanismo real dessas operaes no pertinente nesta apresentao, devemos criar nossa prpria aproximao da
aritmtica de computador. Embora nossa aritmtica no fornea a descrio exata, ela
suficiente para explicar os problemas que ocorrem. (Para uma explicao das manipulaes realmente envolvidas, estimulamos o leitor a consultar textos de cincia da
computao mais tcnicos, como [MA], Computer System Architecture.)
Suponha que as representaes em ponto flutuante fl(x) e fl(y) sejam fornecidas
; representem as operaes
para os nmeros reais x e y e que os smbolos %, *, ^ e *
de mquina adio, subtrao, multiplicao e diviso, respectivamente. Consideraremos uma aritmtica com um nmero finito de algarismos determinada por
x % y 5 f l( f l(x) 1 f l(y)),x ^ y 5 f l( f l(x) 3 f l(y)),
; y 5 f l( f l(x) 4 f l(y).
x * y 5 f l( f l(x) 2 f l(y)),x *
Essa aritmtica corresponde realizao de aritmtica exata nas representaes em
ponto flutuante de x e y e, depois, converso do resultado exato em sua representao
em ponto flutuante com um nmero finito de algarismos.
P P

S XE

ExemplO 3

Suponha que x 5 }75 e y 5 }13 . Use truncamento, com cinco algarismos, para calcular
; y.
x % y, x * y, x ^ y e x *
Soluo Observe que

x=

5
= 0,714285
7

y=

1
= 0,3
3

implicam que os valores truncados, com cinco algarismos, de x e y so


f l (x ) 5 0,71428 3 100 e f l (y) 5 0,33333 3 100 .

Analise.indb 21

15/12/2015 08:39:55

22

Anlise numrica

Assim,
x % y 5 f l ( f l (x ) 1 f l (y)) 5 f l (0,71428 3 100 1 0,33333 3 100)
5 f l (1,04761 3 100 ) 5 0,10476 3 101 .
O valor verdadeiro x 1 y 5

5
}
7

Erro absoluto =

1
}
3

22
}
21

, de modo que temos

22
0,10476 3 101 = 0,190 3 104
21

Erro relativo =

0,190 3 104
= 0,182 3 104 .
22/21

A Tabela 1.2 lista os valores destes e de outros clculos.


Tabela 1.2

Operao

Resultado

Valor real

Erro absoluto

Erro relativo

x%y

0,10476 3 101

22/21

0,190 3 1024

0,182 3 1024

x*y

0,38095 3 100

8/21

0,238 3 1025

0,625 3 1025

x^y

0,23809 3 100

5/21

0,524 3 1025

0,220 3 1024

; y
x*

0,21428 3 101

15/7

0,571 3 1024

0,267 3 1024

Como o mximo erro relativo para as operaes do Exemplo 3 0,267 3 1024, a


aritmtica produz resultados satisfatrios de cinco algarismos. Esse no o caso no
exemplo a seguir.
P P

S X E

ExemplO 4

Suponha que, alm de x 5

5
}
7

ey 5

1
}
3

, tenhamos

u 5 0,714251. 5 98765,9ew 5 0,111111 3 1024,


de modo que
f l (u) = 0,71425 3 100 , f l () = 0,98765 3 105 e f l (w ) = 0.11111 3 1024.
; w,
Determine os valores truncados em cinco algarismos de x * u, (x * u) *
(x * u) ^ e u ! .

Soluo Estes nmeros foram escolhidos para ilustrar alguns problemas que podem aparecer com a aritmtica com um nmero finito de algarismos. Como x e u so quase os
mesmos, sua diferena pequena. O erro absoluto de x * u
|(x u) (x * u)| 5 |(x u) ( f l ( f l (x ) f l (u)))|
=

5
0,714251 f l 0,71428 3 100 0,71425 3 100
7

= 0,347143 3 104 f l 0,00003 3 100

Analise.indb 22

= 0,47143 3 105 .

15/12/2015 08:39:56

Preliminares matemticos e anlise de erros

23

Esta aproximao tem um erro absoluto pequeno, mas um erro relativo grande:

0,47143 3 105
# 0,136.
0,347143 3 104
A diviso subsequente pelo nmero pequeno w ou a multiplicao subsequente
pelo nmero grande aumenta o erro absoluto sem modificar o erro relativo. A adio
dos nmeros grande e pequeno u e v produz um erro absoluto grande, mas no um erro
relativo grande. Estes clculos esto mostrados na Tabela 1.3.
n
Tabela 1.3

Operao

Resultado

Valor real

Erro absoluto

Erro relativo

x*u

0,30000 3 10

0,34714 3 10

; w
(x * u) *

0,27000 3 101

0,31242 3 101

0,424

0,136

(x * u) ^

0,29629 3 10

0,34285 3 10

0,465

0,136

u%

0,98765 3 105

0,98766 3 105

0,161 3 101

0,163 3 1024

24

24

0,471 3 10

25

0,136

Um dos clculos produtores de erro mais comum envolve o cancelamento de algarismos significativos devido subtrao de nmeros quase iguais. Suponha que dois
nmeros quase iguais x e y, com x . y, tenham representaes com k algarismos
f l (x) 5 0,d1d2 . . . dpap11ap12 . . . ak 3 10n
e
f l (y) 5 0,d1d2 . . . dpbp11bp12 . . . bk 3 10n.
A forma em ponto flutuante de x 2 y
f l (f l (x) 2 f l (y)) 5 0, sp11sp12 . . . sk 3 10n2p,
onde
0, sp11sp12 . . . sk 5 0,ap11ap12 . . . ak 2 0,bp11bp12 . . . bk.
O nmero em ponto flutuante usado para representar x 2 y tem no mximo k 2 p algarismos significativos. Entretanto, na maioria dos dispositivos de clculo, sero atribudos
k algarismos para x 2 y, com os ltimos p sendo nulos ou atribudos aleatoriamente.
Quaisquer clculos posteriores envolvendo x 2 y levaro adiante o problema de ter
apenas k 2 p algarismos significativos, j que uma cadeia de clculos no mais precisa
que sua parte menos precisa.
Se uma representao ou clculo com um nmero finito de algarismos introduzir um erro, ocorrer uma ampliao posterior do erro ao se dividir por um nmero de mdulo pequeno (ou, de maneira equivalente, ao se multiplicar por um
nmero de mdulo grande). Suponha, por exemplo, que o nmero z tenha a aproximao com um nmero finito de algarismos z 1 , onde o erro produzido pela
representao ou pelo clculo anterior. Agora, se dividirmos por 5 102n, onde
n . 0, ento
fl(z)
z
fl
(z ) 3 10n.
fl()

Analise.indb 23

15/12/2015 08:39:56

24

Anlise numrica

Portanto, o erro absoluto nessa aproximao, uu 3 10n, o erro absoluto original, uu,
multiplicado pelo fator 10n.
P P

S X E ExemplO 5

Seja p = 0,54617 e q = 0,54601. Use aritmtica com quatro algarismos para aproximar
p q e determine os erros absoluto e relativo usando (a) arredondamento e (b) truncamento.
Soluo O exato valor de r 5 p 2 q r 5 0,00016.
(a) Suponha que a subtrao seja realizada usando a aritmtica de quatro algarismos.
Arredondando p e q para quatro algarismos, tem-se p 5 0,5462 e q 5 0,5460,
respectivamente, e r 5 p 2 q 5 0,0002 a aproximao de r com quatro algarismos. Como
r

0,00016 0,0002
0,00016

0,25,

o resultado tem apenas um algarismo significativo, enquanto p e q tinham preciso de quatro e cinco algarismos significativos, respectivamente.
(b) Se for usado o truncamento para obter quatro algarismos, as aproximaes de quatro algarismos de p, q e r so p 5 0,5461, q 5 0,5460 e r 5 p 2 q 5 0,0001.
Isso d

0,00016 0,0001
0,00016

0,375,

que tambm resulta em apenas um algarismo significativo de preciso.

A perda de preciso em decorrncia do erro de arredondamento pode frequentemente ser evitada por uma reformulao do problema, como ilustrado a seguir.
Ilustrao

A frmula quadrtica afirma que as razes de ax2 1 bx 1 c 5 0, quando a 0, so


b

x1

b2

4ac

2a

x2

b2

4ac .
(1.1)

2a

Considere esta frmula aplicada equao x2 1 62,10x 1 1 5 0, cujas razes so


aproximadamente
x1 5 2 0,01610723 e x2 5 262,08390.
Usaremos novamente aritmtica de arredondamento, com quatro algarismos, nos
clculos para determinar a raiz. Nessa equao, b2 muito maior do que 4ac, ento
o numerador no clculo de x1 envolve a subtrao de nmeros quase iguais. Como

b2

4ac (62,10)2
3856 4,000

(4,000)(1,000)(1,000)
3852 62,06,

temos
fl(x1)

Analise.indb 24

62,10 62,06
2,000

0,04000
2,000

0,02000,

15/12/2015 08:39:58

Preliminares matemticos e anlise de erros

25

uma aproximao insatisfatria de x1 5 20,01611, com o grande erro relativo

0,01611 0,02000
0,01611

2,4 3 10 1.

As razes x1 e x2 de uma equao quadrtica geral esto relacionadas aos coeficientes pelo fato de que
x 1

b
e x 1 x 2
a

x2

c
.
a

Esse um caso especial das frmulas de Vita para os coeficientes de polinmios.

Por outro lado, o clculo de x2 envolve a adio dos nmeros quase iguais 2b e
2w
b2 2 4ac. Isso no representa problema j que
fl(x2)

62,10 62,06
2,000

124,2
2,000

62,10

tem o erro relativo pequeno


62,08 62,10
62,08

3,2

10 4.

Para obter uma aproximao de x1 mais precisa com arredondamento para quatro
algarismos, mudamos a forma da frmula quadrtica racionalizando o numerador:
x1

b2
2a

4ac

b2
b2

b
b

4ac

b2

4ac) @

(b2

2a( b

4ac)

4ac)

o que pode ser simplificado para a frmula quadrtica alternativa


x1

2c
b

b2

4ac

(1.2)

Usando a equao (1.2), tem-se


f l(x1)

2,000
124,2

2,000
62,10 62,06

0,01610,

que tem o pequeno erro relativo 6,2 3 1024.


A tcnica de racionalizao tambm pode ser aplicada para fornecer a seguinte
frmula quadrtica alternativa para x2:

x2

2c
b

b2

4ac

(1.3)

Essa a forma a ser usada se b for um nmero negativo. Na Ilustrao, entretanto,


o uso errneo dessa frmula para x2 resultaria no apenas na subtrao de nmeros

26

Anlise numrica

quase iguais, mas tambm na diviso pelo pequeno resultado dessa subtrao. A impreciso que essa combinao produz,
fl(x2)

2c
b

b2

2,000
62,10 62,06

4ac

2,000
0,04000

50,00,

tem o grande erro relativo 1,9 3 1021.


A lio: pense antes de calcular!

Aritmtica estruturada
A perda de preciso devida ao erro de arredondamento pode tambm ser reduzida reorganizando os clculos, como mostra o prximo exemplo.
P P
X

S E ExemplO 6

Calcule f (x) 5 x3 26,1 x2 1 3,2x 1 1,5 em x 5 4,71 usando aritmtica de trs algaris
mos.
Soluo A Tabela 1.4 fornece os resultados intermedirios dos clculos.
x

Tabela 1.4

x2

x3

6,1x2

3,2x

Exato

4,71

22,1841

104,487111

135,32301 15,072

Trs algarismos (truncamento)

4,71

22,1

104.

134.

15,0

Trs algarismos (arredondamento)

4,71

22,2

105.

135.

15,1

A fim de ilustrar a situao, observemos os clculos envolvidos na determinao de x3 usando a aritmtica de arredondamento com trs algarismos. Primeiro
determinamos
x2 5 4,712 5 22,1841 e arredondamos para 22,2.
Ento usamos esse valor de x2 para determinar
x3 5 x2 . x 5 22,2 4,71 5 104,562 que arredondamos para 105.
Alm disso,
6,1x 2 5 6,1(22,2) 5 135,42 que arredondamos para 135,
e
3,2x 5 3,2(4,71) 5 15,072 que arredondamos para 15,1.
O resultado exato do clculo
Exato: f (4,71) 5 104,487111 2 135,32301 1 15,072 1 1,5 5 214,263899;
Usando aritmtica com nmero finito de algarismos, a maneira na qual somamos os
resultados pode afetar o resultado final. Suponha que somemos da esquerda para a direita.
Ento, para a aritmtica de truncamento, temos

Analise.indb 26

15/12/2015 08:40:01

27

Preliminares matemticos e anlise de erros

Trs algarismos (truncamento): f (4,71) 5 ((104,0 2 134,0) 1 15,0) 1 1,5 5 213,5;


e para a aritmtica de arredondamento, temos
Trs algarismos (arredondamento): f (4,71) 5 ((105,0 2 135,0) 1 15,1) 1 1,5 5 213,4.
(Verifique esses resultados cuidadosamente para se assegurar de que sua noo de aritmtica de um nmero finito de algarismos est correta.) Observe que os valores do
truncamento para trs algarismos simplesmente retm os primeiros trs algarismos,
sem nenhum arredondamento envolvido, e diferem significativamente dos valores do
arredondamento para trs algarismos.
Os erros relativos nos mtodos com trs algarismos so
14,263899 13,5
14,263899

0,05, para o truncamento

e
14,263899 13,4
14,263899
Ilustrao

0,06, para o arredondamento.

Como abordagem alternativa, o polinmio f (x) do Exemplo 6 pode ser escrito de modo
estruturado como
f (x) 5 x3 2 6,1x2 1 3,2x 1 1,5 5 ((x 2 6,1) x 1 3,2) x 1 1,5.
O uso da aritmtica de truncamento, com trs algarismos, produz agora
f (4,71) 5((4,71 6,1) 4,71 1 3,2) 4,71 1 1,5 5 ((1,39)(4,71) 1 3,2)4,71 1 1,5
5(6,54 1 3,2) 4,71 1 1,5 5 (3,34) 4,71 1 1,5 5 15,7 1 1,5 5 14,2.
De modo parecido, obtemos agora com o arredondamento, com trs algarismos, a resposta 14,3. Os novos erros relativos so
Trs algarismos (truncamento):

14,263899 14,2
14,263899

0,0045;

Trs algarismos (arredondamento):

14,263899 14,3
14,263899

0,0025.

Lembre-se de que o truncamento (ou arredondamento) efetuado aps cada clculo.

A estruturao reduziu o erro relativo da aproximao por truncamento para menos de


10% do valor obtido inicialmente. Para a aproximao por arredondamento, a melhora
foi ainda mais dramtica; o erro, nesse caso, foi reduzido em mais de 95%.
n
Os polinmios devem sempre ser expressos na forma estruturada antes de se realizar
um clculo, pois essa forma minimiza o nmero de operaes aritmticas. O decrscimo
de erro na ilustrao se d em decorrncia da reduo nas operaes de quatro multiplicaes e trs adies para duas multiplicaes e trs adies. Uma maneira de reduzir o
erro de arredondamento reduzir o nmero de operaes.

Analise.indb 27

15/12/2015 08:40:01

28

Anlise numrica

EXERCCIOS 1.2
1. Calcule o erro absoluto e o erro relativo na aproximao de p por p.
a. p 5 , p 5 22/7

b.
p 5 , p 5 3,1416

c. p 5 e, p 5 2,718

d.
p 5 w
2, p 5 1,414

2. Calcule o erro absoluto e o erro relativo na aproximao de p por p.


a. p 5 e10, p 5 22.000

b.p 5 10, p 5 1.400

c. p 5 8!, p 5 39.900

d.p 5 9!, p 5 w
18 (9/e)9

3. Suponha que p deva aproximar p com erro relativo de no mximo 1023. Determine o maior intervalo no
qual p deve estar contido para cada valor de p.
a. 150

b. 900

c. 1.500

d. 90

4. Determine o maior intervalo no qual p deve estar contido a fim de aproximar p com erro relativo de no
mximo 1024 para cada valor de p.

a.

b. e

c. w
2

d. 3w
7

5. Efetue os seguintes clculos (i) exatamente, (ii) usando aritmtica de truncamento, com trs algarismos, e
(iii) usando aritmtica de arredondamento, com trs algarismos. (iv) Calcule os erros relativos nas partes
(ii) e (iii).

a.

4
5

1
3

b.

1
4
.
3
5

c.

!3
1

3
11

3
20

d.

!3

3
11

3
20

6. Use a aritmtica de arredondamento, com trs algarismos, para efetuar os seguintes clculos. Calcule o
erro absoluto e o erro relativo com o valor exato determinado com pelo menos cinco algarismos.

a. 133

0,921

c. (121

0,327)

119

b. 133

0,499

d. (121

119)

0,327

7. Use a aritmtica de arredondamento, com trs algarismos, para efetuar os seguintes clculos. Calcule o
erro absoluto e o erro relativo com o valor exato determinado com pelo menos cinco algarismos.

a.
c.

13
14

67
2e 5,4
2
9

9
7

b.
d.

3
10 + 6e
62

13 + 11

13 11

8. Repita o Exerccio 7 usando a aritmtica de arredondamento, com quatro algarismos.


9. Repita o Exerccio 7 usando a aritmtica de truncamento, com trs algarismos.
10. Repita o Exerccio 7 usando a aritmtica de truncamento, com quatro algarismos.
11. Os primeiros trs termos diferentes de zero na srie de Maclaurin para a funo arco-tangente so x 2
(1/3)x3 1 (1/5)x5. Calcule o erro absoluto e o erro relativo nas seguintes aproximaes de usando o polinmio em vez do arco-tangente:

Analise.indb 28

a. 4[arctg

! 2@

arctg !

1
]
3@

b. 16 arctg

! 5@

4 arctg !

1
239 @

15/12/2015 08:40:02

Preliminares matemticos e anlise de erros

29

12. O nmero e pode ser definido por e 5 n5 0 (1/n!), em que n! 5 n(n 1) 2 1 para n 0 e 0! 5 1. Calcule o erro absoluto e o erro relativo nas seguintes aproximaes de e:
5

a.

n 0

10

1
n!

b.

n 0

1
n!

13. Seja

f (x)

x cos x sen x
.
x sen x

a. Determine limxr0 f (x).

b. Use a aritmtica de arredondamento, com quatro algarismos, para calcular f(0,1).


c. Substitua cada funo trigonomtrica por seu polinmio de Maclaurin de ordem trs e repita o item (b).
d. O valor real f (0,1) 5 21,99899998. Determine o erro relativo para os valores obtidos nos itens (b) e (c).

14. Seja

f (x)

ex

a. Determine limxr0(ex 2 e2x)/x.

b. Use a aritmtica de arredondamento, com trs algarismos, para calcular f(0,1).

c. Substitua cada funo exponencial por seu polinmio de Maclaurin de ordem trs e repita o item (b).
d. O valor real f (0,1) 5 2,003335000. Determine o erro relativo para os valores obtidos nos itens (b) e (c).
15. Use a aritmtica de arredondamento, com quatro algarismos, e as frmulas (1.1), (1.2) e (1.3) para determinar a aproximao mais precisa para as razes das seguintes equaes quadrticas. Calcule os erros
absolutos e relativos.
a.

1 2
x
3

123
x
4

1
6

c. 1,002x2 2 11,01x 1 0,01265 5 0

b.

1 2
x
3

123
x
4

1
6

d. 1,002x2 1 11,01x 1 0,01265 5 0

16. Use a aritmtica de arredondamento, com quatro algarismos, e as Frmulas (1.1), (1.2) e (1.3) para encontrar as aproximaes mais precisas para as razes das seguintes equaes quadrticas. Calcule os erros
absolutos e relativos.
a. x 2 w
7x 1 w
250
b. x 2 1 13x 1 1 5 0
c. x 2 1 x e 5 0
d. x 2 w
35x 2 5 0
17. Repita o Exerccio 15 usando a aritmtica de truncamento, com quatro algarismos.
18. Repita o Exerccio 16 usando a aritmtica de truncamento, com quatro algarismos.
19. Use o formato real longo de 64 bits para determinar o equivalente decimal dos seguintes nmeros de mquina em ponto flutuante.
a. 0 10000001010 1001001100000000000000000000000000000000000000000000
b. 1 10000001010 1001001100000000000000000000000000000000000000000000
c. 0 01111111111 0101001100000000000000000000000000000000000000000000
d. 0 01111111111 0101001100000000000000000000000000000000000000000001

Analise.indb 29

15/12/2015 08:40:03

30

Anlise numrica

20. Determine os prximos maior e menor nmeros de mquina na forma decimal para os nmeros fornecidos
no Exerccio 19.
21. Suponha que dois pontos (x0, y0) e (x1, y1) estejam em uma reta, com y1 y0. H duas frmulas disponveis
para determinar a interseco da reta com o eixo x:
x

x0y1
y1

x1y0
y0

x0

(x1 x0)y0
.
y1 y0

a. Mostre que ambas as frmulas so algebricamente corretas.


b. Use os dados (x0, y0) 5 (1,31, 3,24) e (x1, y1) 5 (1,93, 4,76) e a aritmtica de arredondamento, com trs
algarismos para calcular a interseco com o eixo x das duas maneiras. Qual mtodo melhor e por
qu?
n

22. O polinmio de Taylor de ordem n para f (x) 5 ex i50(xi/i!). Use o polinmio de grau nove e a aritmtica
de truncamento, com trs algarismos, para determinar uma aproximao de e25 por cada um dos seguintes
mtodos.
9

a. e

b. e

i 0

1
e5

( 5)i

i!

i 0

1
9
i 0

1)i5i

i!

.
5i
i!

c. Um valor aproximado de e25 correto at trs algarismos 6,74 3 1023. Qual frmula, (a) ou (b), fornece
o resultado mais preciso e por qu?
23. O sistema linear dois por dois
ax 1 by 5 e,
cx 1 dy 5 f,
onde a, b, c, d, e, f so dados, pode ser resolvido para x e y como segue:
faa m
d1
f1
y
x

c
,
a

desde que a 0;

d mb;
f me;
f1
;
d1
e
a

by .

Resolva os seguintes sistemas lineares usando a aritmtica de arredondamento, com quatro algarismos.
a. 1,130x 2 6,990y 5 14,20

b.8,110x 1 12,20y 5 20,1370

1,013x 2 6,099y 5 14,22

218,11x 1 112,2y 5 20,1376

24. Repita o Exerccio 23 usando a aritmtica de truncamento, com quatro algarismos.


25. a. Mostre que a tcnica de estruturao de polinmio descrita no Exemplo 6 pode tambm ser aplicada
ao clculo de
f (x) 5 1,01e4x 2 4,62e3x 2 3,11e2x 1 12,2ex 21,99.
b. Use a aritmtica de arredondamento, com trs algarismos, considerando que e1,53 5 4,62 e o fato de que
enx 5 (ex)n para calcular f (1,53) como dado no item (a).
c. Refaa o clculo no item (b) primeiro estruturando os clculos.

Analise.indb 30

15/12/2015 08:40:04

Preliminares matemticos e anlise de erros

31

d.Compare as aproximaes do item (b) e (c) com o resultado verdadeiro com trs algarismos f(1,53) 5
27,61.

EXERCCIO APLICADO
26. O exemplo de abertura deste captulo descrevia uma experincia fsica envolvendo a temperatura de um
gs sob presso. Nessa aplicao, foram fornecidos P 5 1,00 atm, V 5 0,100 m3, N 5 0,00420 mol e
R 5 0,08206. Determinando T pela lei dos gases ideais, tem-se
T

PV
NR

(1,00)(0,100)
(0,00420)(0,08206)

290,15 K

17 C.

No laboratrio, descobriu-se que T era 15 C nessas condies e, quando a presso era dobrada e o volume
reduzido pela metade, T era 19 C. Suponha que os dados fossem valores arredondados precisos at os
algarismos dados e mostre que ambos os valores de laboratrio esto dentro dos limites de preciso para a
lei dos gases ideais.

EXERCCIOS TERICOS
27. O coeficiente binomial
m

! k@

m!
k!(m k)!

descreve o nmero de maneiras para se escolher um subconjunto com k objetos a partir de um conjunto
com m elementos.
a. Suponha que os nmeros de mquina decimais sejam da forma

6 0,d1d2d3d4 3 10n, com 1 # d1 # 9, 0 # di # 9se i 5 2, 3, 4 e unu # 15.


m
Qual o maior valor de m para o qual o coeficiente binomial ! k @ pode ser calculado para todo k pela definio sem causar overflow?
m

b. Mostre que ! @ tambm pode ser calculado por


k
m

! k@ ! k@ !k

1
1@

. . . !m

k
1

c.Qual o maior valor de m para o qual o coeficiente binomial ! 3 @ pode ser calculado pela frmula do
item (b) sem causar overflow?
d.Use a equao em (b) e a aritmtica de truncamento, com quatro algarismos, para calcular o nmero de
mos de 5 cartas em um baralho de 52 cartas. Calcule os erros real e relativo.
28. Suponha que f l (y) seja uma aproximao por arredondamento, com k algarismos, de y. Mostre que
y

f l (y)
# 0,5
y

10

k 1.

[Sugesto: se dk11 , 5, ento f l (y) 5 0,d1d2 . . . dk 3 10n. Se dk11 $ 5, ento f l (y) 5 0,d1d2 . . . dk 3 10n 1
10n2k].

Analise.indb 31

15/12/2015 08:40:05

32

Anlise numrica

29. Seja f C [a, b] uma funo cuja derivada exista em (a, b). Suponha que f deva ser calculada em x0 em
(a, b), mas em vez de calcular o valor real f (x0), o valor aproximado, f(x0) o valor real de f em x0 1 e,
isto , f(x0) 5 f (x0 1 e).
a.Use o teorema do valor mdio 1.8 para estimar o erro absoluto u f (x0) 2 f(x0)u e o erro relativo
u f (x ) 2 f(x )u / u f (x )u, considerando que f (x ) 0.
0

b. Se e 5 5 x 1026 e x0 5 1, determine limitantes para os erros absoluto e relativo, para


i. f(x) 5 ex
ii. f(x) 5 sen x
c. Repita o item (b) com e 5 (5 3 1026)x0 e x0 5 10.

QUESTES PARA DISCUSSO


1. Discuta a diferena entre a aritmtica executada por um computador e a aritmtica tradicional. Por que
to importante reconhecer a diferena?
2. Fornea diversos exemplos da vida real de erros catastrficos que ocorreram pelo uso da aritmtica com
um nmero finito de algarismos e explique o que deu errado.
3. Discuta as diversas maneiras diferentes de arredondar nmeros.
4. Discuta a diferena entre um nmero escrito na notao padro e um escrito na forma normalizada de ponto flutuante decimal. Fornea diversos exemplos.

1.3 Algoritmos e convergncia


Ao longo do texto examinaremos os procedimentos de aproximao, chamados algoritmos, envolvendo sequncias de clculos. Um algoritmo um procedimento
que descreve, sem ambiguidades, uma sequncia finita de passos a serem feitos em
uma ordem especfica. O objetivo do algoritmo implementar um procedimento para
resolver um problema ou aproximar uma soluo do problema.
Usamos um pseudocdigo para descrever os algoritmos. Esse pseudocdigo especifica a forma da entrada a ser fornecida e a forma de sada desejada. Nem todos os
procedimentos numricos fornecem sadas satisfatrias para entradas arbitrariamente
escolhidas. Como consequncia, uma tcnica de parada independente da tcnica numrica incorporada em cada algoritmo para evitar laos infinitos.
Dois smbolos de pontuao so usados nos algoritmos:
Um ponto final (.) indica o trmino de um passo.
Um ponto-e-vrgula (;) separa tarefas dentro de um passo.
A endentao usada para indicar que grupos de instrues sero tratados como
uma nica entidade.
Tcnicas de laos nos algoritmos so ou controladas por um contador, como em
Para i 5 1, 2, . . . , n
Faa xi 5 ai 1 i h
ou controladas por uma condio, como em

Analise.indb 32

15/12/2015 08:40:06

Preliminares matemticos e anlise de erros

33

Quando i , N faa os Passos 326.


Para permitir a execuo condicional, usamos as construes padro.
Se . . . ento ou Se . . . ento
seno
Os passos nos algoritmos seguem as regras de construo de programas estruturados.
Eles foram organizados de maneira que haja dificuldade mnima na traduo do pseudocdigo para qualquer linguagem de programao adequada a aplicaes cientficas.
Os algoritmos so amplamente mesclados com comentrios. Esses so escritos em
itlico, entre parnteses, para se distinguirem das instrues do algoritmo.

OBSERVAO

Quando o trmino de certos passos estruturados for difcil de determinar, usaremos


um comentrio como (Fim do Passo 14) direita ou abaixo da instruo final. Veja, por
exemplo, o comentrio no passo 5 do Exemplo 1.

O uso do algoritmo to antigo quanto a matemtica formal, mas seu nome se deve ao matemtico rabe
Muhammad ibn-Ms al-Khwarrizm (c. 780-850). A traduo para o latim de seus trabalhos comea com as
palavras Dixit Algorismi, que significam al-Khwrizm diz.

Ilustrao

O seguinte algoritmo calcula x1 1 x2 1 1 xN 5


x1, x2, . . . , xN.

xi , dados N e os nmeros
i=1

ENTRADA N, x1, x2, . . . , xn .


N
SADA SOMA 5 i51 xi.
Passo 1 Faa SOMA 5 0. (Inicializar acumulador.)
Passo 2 Para i 5 1, 2, . . . , N faa SOMA 5 SOMA 1 xi. (Adicionar o
prximo termo.)
Passo 3 Sada (SOMA);
n
PARE.
P P
X

S E ExemplO 1

O polinmio de Taylor de ordem N de f(x) 5 ln x expandido em torno de x0 5 1


PN (x)

i 1

( 1)i
i

(x

1)i,

e o valor de ln 1,5 com oito casas decimais 0,40546511. Construa um algoritmo para
determinar o mnimo valor de N necessrio para que
u ln 1,5 2 PN (1,5) u , 1025
sem usar o termo de resto do polinmio de Taylor.

Soluo A partir do clculo, sabemos que se n51 an uma srie alternada com limite
N
A cujos termos decrescem em mdulo, ento A e a ensima soma parcial AN 5 n51 an
diferem por menos do que o mdulo do termo (N 1 1); isto
uA 2 AN u # uaN11u.

Analise.indb 33

15/12/2015 08:40:06

34

Anlise numrica

O seguinte algoritmo usa esse limitante.


ENTRADA valor x, tolerncia TOL, nmero mximo de iteraes M.
SADA grau N do polinmio ou uma mensagem de erro.
Passo 1 Faa N 5 1;
y 5 x 2 1;
SOMA 5 0;
POTNCIA 5 y;
TERMO 5 y;
SINAL 5 21. (Usado para implementar a alternncia de sinais.)
Passo 2 Enquanto N # M execute Passos 3 a 5.
Passo 3 Faa SINAL 5 2 SINAL; (Alternar os sinais.)
SOMA 5 SOMA 1 SINAL TERMO; (Acumula os termos.)
POTNCIA 5 POTNCIA y;
TERMO 5 POTNCIA / (N 1 1). (Calcula o prximo termo.)
Passo 4 Se uTERMOu , TOL ento (Teste de preciso.)
Sada (N);
Pare.(O procedimento foi bem-sucedido.)
Passo 5 Faa N 5 N 1 1. (Preparar para a prxima iterao. (Fim do Passo 2))
Passo 6 Sada (O mtodo falhou); (O procedimento foi malsucedido.)
Pare.
A entrada de nosso problema x 5 1,5, TOL 5 1025 e talvez M 5 15. Essa escolha
de M fornece um limitante superior para a quantidade de clculos que estamos dispostos a efetuar, reconhecendo que provvel que o algoritmo falhe se esse limitante for
ultrapassado. Se a sada ser um valor de N ou uma mensagem de erro, depende da
preciso do dispositivo de clculo.
n

Caracterizando algoritmos
Consideraremos uma variedade de problemas de aproximao ao longo do texto e em
cada caso precisaremos determinar mtodos de aproximao que produzam resultados
confiveis para uma vasta classe de problemas. Em razo das diversas maneiras pelas
quais os mtodos de aproximao so originados, necessitamos de uma variedade de
condies para categorizar sua preciso. Nem todas essas condies sero apropriadas
para um problema particular.
Um critrio que imporemos a um algoritmo, sempre que possvel, o de que pequenas alteraes nos dados iniciais produzam alteraes correspondentemente pequenas nos resultados finais. Um algoritmo que satisfaa essa propriedade dito estvel;
caso contrrio, instvel. Alguns algoritmos so estveis apenas para certas escolhas
de dados iniciais. Esses so chamados condicionalmente estveis. Caracterizaremos
as propriedades de estabilidade de algoritmos sempre que possvel.
A palavra stable (estvel) tem a mesma raiz que stand (permanecer, resistir) e standard (normal, usual). Na
matemtica, o termo estvel aplicado a um problema indica que uma pequena mudana nos dados ou nas condies iniciais no resulta em uma mudana dramtica na soluo do problema.

Para mais consideraes sobre o crescimento do erro de arredondamento e sua conexo com a estabilidade do algoritmo, suponha que um erro com mdulo E0 . 0 seja
introduzido em algum estgio do clculo e que o mdulo do erro aps n operaes
subsequentes seja denotado por En. Os dois casos que surgem com mais frequncia na
prtica so definidos como segue.

Analise.indb 34

15/12/2015 08:40:06

35

Preliminares matemticos e anlise de erros

Definio 1.17 Suponha que E0 . 0 denote um erro introduzido em algum estgio dos clculos e En
represente o mdulo do erro aps n operaes subsequentes.
Se En < CnE0, onde C uma constante independente de n, ento o crescimento do
erro dito linear.
Se En < CnE0, para algum C . 1, ento o crescimento do erro exponencial. n
O crescimento linear do erro normalmente inevitvel e, quando C e E0 so pequenos, os resultados so geralmente aceitveis. O crescimento exponencial do erro deve
ser evitado, visto que o termo Cn se torna grande mesmo para valores de n relativamente pequenos. Isso leva a imprecises inaceitveis, independentemente do tamanho
de E0. Consequentemente, um algoritmo que exiba um crescimento linear de erro
estvel e um algoritmo que apresente um crescimento de erro exponencial instvel.
(Veja a Figura 1.10.)

En

Crescimento de erro exponencial instvel


E n 5C nE 0

Crescimento de erro linear estvel


E n 5CnE 0
E0

Figura 1.10
Ilustrao

c 1!

1 n
3@

Para quaisquer constantes c1 e c2 ,

pn

c23 , (1.4)

uma soluo da equao recursiva


pn

10
p
3 n

pn 2,

para n

2, 3, . . .

Isto pode ser visto observando que


10
10
pn1 pn2 =
c1
3
3

Analise.indb 35

1
3

n1

+ c2 3n1 c1

n2

1
3

+ c2 3n2

1
3

n2

= c1

10 1
10
1 + c2 3n2
31
3 3
3

1
3

n2

= c1

1
9

+ c2 3n2 (9) = c1

1
3

+ c 2 3n = p n .

15/12/2015 08:40:07

36

Anlise numrica

Suponha que nos tenham sido dados p0 5 1 e p1 5 }13 . Usando estes valores e a Eq. (1.4)
podemos determinar valores nicos para as constantes, como c1 5 1 e c2 5 0. Assim,
n
pn 5 ( }13 ) para todo n.
Se for usada aritmtica de arredondamento, com cinco algarismos, para o clculo
dos termos da sequncia dada por esta equao, ento, p0 5 1,0000 e p1 5 0,33333, o
que requer a modificao das constantes para c1 5 1,0000 e c2 5 20,12500 3 1025. A

sequncia de aproximao {pn}n50 gerada ento determinada por


pn

1,0000!

1 n
3@

0,12500

10 5(3)n,

que tem erro de arredondamento,


n

pn 2 pn 5 0,12500 3 1025(3 ).
Este procedimento instvel porque o erro cresce exponencialmente com n, o que se
reflete na extrema impreciso depois dos primeiros termos, como mostra a Tabela 1.5.
Tabela 1.5

pn calculado

pn correto

0,10000 3 101

0,10000 3 101

0,33333 3 100

0,33333 3 100

0,11110 3 100

0,11111 3 100

9 3 1025

0,37000 3 1021

0,37037 3 1021

1 3 1023

0,12230 3 1021

0,12346 3 1021

9 3 1023

0,37660 3 1022

0,41152 3 1022

8 3 1022

0,32300 3 1023

0,13717 3 1022

8 3 1021

20,26893 3 1022

0,45725 3 1023

7 3 100

20,92872 3 1022

0,15242 3 1023

6 3 101

Erro relativo

Considere agora esta equao recursiva:


pn 5 2pn21 2 pn22,

para n 5 2, 3, . . .

Ela tem a soluo pn 5 c1 1 c2n para quaisquer constantes c1 e c2, pois


2pn21 2 pn22 5 2(c1 1 c2(n 2 1)) 2 (c1 1 c2(n 2 2))
5 c1(2 2 1) 1 c2(2n 2 2 2 n 1 2) 5 c1 1 c2n 5 pn.
Se nos forem dados p0 5 1 e p1 5 }13 , ento as constantes nesta equao esto
univocamente determinadas, e so c1 5 1 e c2 5 }23 . Isto implica que pn 5 1 }23 n.
Se for usada aritmtica de arredondamento, com cinco algarismos, para o clculo
dos termos da sequncia dada por esta equao, ento p 0 5 1,0000 e p 1 5 0,33333.
Consequentemente, as constantes arredondadas para cinco algarismos so c1 5 1,0000
e c2 5 20,66667. Desse modo,
pn 5 1,0000 2 0,66667n,

Analise.indb 36

15/12/2015 08:40:08

37

Preliminares matemticos e anlise de erros

cujo erro de arredondamento


pn

pn

(0,66667

2
)n,
3

Este procedimento estvel porque o erro cresce linearmente com n, o que se reflete
nas aproximaes mostradas na Tabela 1.6.
n
Tabela 1.6

pn calculado

pn correto

0,10000 3 10

0,33333 3 100

0,33333 3 100

20,33330 3 100

20,33330 3 100

9 3 1025

20,10000 3 101

20,10000 3 101

20,16667 3 101

20,16667 3 101

20,23334 3 10

20,23333 3 10

4 3 1025

20,30000 3 101

20,30000 3 101

20,36667 3 10

20,36667 3 10

20,43334 3 101

20,43333 3 101

2 3 1025

Erro relativo

0,10000 3 10

Os efeitos do erro de arredondamento podem ser reduzidos usando-se uma aritmtica de mais algarismos, tal como a opo de preciso dupla ou mltipla disponvel na
maioria dos computadores. As desvantagens de se usar a aritmtica de preciso dupla
so o maior gasto de tempo de computao e a no eliminao do crescimento do erro
de arredondamento.
Uma abordagem para estimar o erro de arredondamento usar a aritmtica de intervalo (isto , manter o maior e o menor valores possveis em cada passo), de maneira
que, no final, obtenhamos um intervalo que contenha o valor real. Infelizmente, um
intervalo muito pequeno pode ser necessrio para uma implementao razovel.

Taxas de convergncia
Como frequentemente usamos tcnicas iterativas envolvendo sequncias, esta seo concluda com uma breve discusso sobre um pouco da terminologia que descreve a taxa na qual ocorre a convergncia. Em geral, gostaramos que a tcnica convergisse to rapidamente quanto possvel. Usamos a seguinte definio para comparar as
taxas de convergncia dos diversos mtodos.

Definio 1.18 Suponha que se saiba que a sequncia {bn} n51 convirja para zero e que {an} n51 convirja
para um nmero a. Se existir uma constante K positiva tal que
uan 2 au # K ubnu,

para n grande,

ento dizemos que {an} n51 converge para a com taxa ou ordem de convergncia
O (bn). (L-se essa expresso como O grande de bn.) indicado na escrita por
an 5 a 1 O (bn).
n

Embora a Definio 1.18 permita que {an} n51 seja comparada com uma sequncia

arbitrria {bn} n51, em quase todas as situaes usamos

Analise.indb 37

15/12/2015 08:40:08

38

Anlise numrica

1
,
np

para algum nmero p . 0. Estamos geralmente interessados no maior valor de p com


an 5 a 1 O (1/np).
P P

X
S U
E ExemplO 2

Suponha que, para n $ 1,

n2

e n

n3

Embora tanto limnr` an 5 0 quanto limnr` an 5 0, a sequncia {a


n} converge para esse
limite muito mais rapidamente que a sequncia {an}. Utilizando-se a aritmtica de
arredondamento, com cinco algarismos, temos os valores mostrados na Tabela 1.7.
Determine as taxas de convergncia para estas duas sequncias.
Tabela 1.7

an

2,00000

0,75000

0,44444

0,31250

0,24000

0,19444

0,16327

an

4,00000

0,62500

0,22222

0,10938

0,064000

0,041667

0,029155

Soluo Defina as sequncias bn 5 1/n e bn 5 1/n2. Ento


0
0

n
n

e
n
n

0
0

n n
n 1
#
n n2 n
n n2 1
#
n2
n2

1
2.
1n
.
2
n

2
2

n 3
n 3n
n n3 3 # n n33n
#
n3
n3

1
4. 2
1
n
4. 2
n

4 n.
4 n.

n
n

Portanto, a taxa de convergncia de {an} a zero parecida com a convergncia de {1/n}


a zero, enquanto {an} converge a zero, a uma taxa parecida com a sequncia mais rapidamente convergente {1/n2}. Expressamos isto escrevendo

O!

1
n@

e n

O!

1
@.
n2

Ns tambm usamos a notao do O grande para descrever a taxa na qual as


funes convirjam.
Definio 1.19 Suponha que lim hr0 G(h)5 0 e lim hr0 F(h) 5 L. Se existir uma constante positiva K tal que
uF(h) 2 Lu # K u G(h)u,
F(h) 5 L 1 O (G(h)).

para h suficientemente pequeno, ento escrevemos


n

As funes que usamos para comparao geralmente tm a forma G(h) 5 hp, onde
p . 0. Estamos interessados no maior valor de p para o qual F(h) 5 L 1 O (hp).

Analise.indb 38

15/12/2015 08:40:09

Preliminares matemticos e anlise de erros

P P

S XE

ExemplO 3

39

1 2
Use o terceiro polinmio de Taylor, em h = 0, para mostrar que cos h + }
h = 1 1 O (h4).
2

Soluo No Exemplo 3(b) da Seo 1.1, descobrimos que esse polinmio


cos h

1 4
h cos (h),
24

1 2
h
2

para algum nmero j(h) entre zero e h. Consequentemente,


1
1
cos h + h 2 = 1 + h 4 cos (h).
2
24

Portanto,
1
cos h + h 2
2

1 4
1
cos (h) h 4
h ,
24
24

1 =

de modo que, quando h r 0, h 1 }12 h 2 converge para seu limite, 1, to rapidamente


quanto h 4 converge para 0. Ou seja,
1
cos h + h 2 = 1 + O(h 4 ).
2

EXERCCIOS 1.3
1. Use a aritmtica de truncamento, com trs algarismos, para calcular as seguintes somas. Para cada parte,
qual mtodo mais preciso e por qu?
a.
b.

10
2
i=1 (1/i )
10
3
i=1 (1/i )

primeiro por
primeiro por

1
1
1
1

+
+

1
4
1
8

+ +
+

1
27

1
100

e ento por

+ +

1
1.000

1
100

e ento por

1
+ + 11 .
81
1
1
+ 729
+
1.000

+ 11 .

2. O nmero e definido por e 5 n50(1/n!), em que n! 5 n(n 1) 2 1 para n 0 e 0! 5 1. Use a aritmtica de truncamento, com quatro algarismos, para calcular as seguintes aproximaes de e e determine
os erros absoluto e relativo.

a. e
c. e

n 0
10

n 0

1
n!

b. e

1
n!

d. e

(5

j)!

j 0
10

(10 1

j 0

j)!

3. A srie de Maclaurin para a funo arco-tangente converge para 21 , x # 1 e determinada por


arctg x

lim Pn(x)
n

( 1)i

lim

i 1

x2i 1
.
2i 1

a.Use o fato de que tg /4 5 1 para determinar o nmero n de termos da srie que precisam ser somados
para garantir que u4Pn(1) 2 u , 1023.
b.A linguagem de programao C11 exige que o valor de seja conhecido com preciso de 10210.
Quantos termos da srie seriam necessrios somar para obter essa ordem de preciso?

Analise.indb 39

15/12/2015 08:40:11

40

Anlise numrica

4. O Exerccio 3 detalha um meio bem ineficiente de obter uma aproximao de . O mtodo pode ser subs
1
1
tancialmente melhorado observando que /4 5 arctg }
1 arctg }
e calculando a srie para o arco-tangente
2
3
1
1
em }2 e em }3 . Determine o nmero de termos que devem ser somados para garantir uma aproximao de
com preciso de 1023.
1
5. Outra frmula para calcular pode ser deduzida da identidade /4 5 4 arctg }
2 arctg
5

1
} .
239

Determine

o nmero de termos que devem ser somados para garantir uma aproximao de com preciso de 1023.

6. Determine as taxas de convergncia das seguintes sequncias quando n r .


a. lim sen
n

1
n

c. lim (sen
n

1
n

b. lim sen
n

1
n2

d. lim [ln(n
n

0
1)

ln(n)]

7. Determine as taxas de convergncia das seguintes sequncias quando h r 0.


a. lim
h

c. lim
h

sen h
h

sen h

h cos h

b. lim

cos h
h

eh

h 0

d. lim

h 0

0
1

EXERCCIOS TERICOS
8. Suponha que 0 , q , p e que an 5 a 1 O(n2p).
a. Mostre que an 5 a 1 O(n2q).
b.Faa uma tabela listando 1/n, 1/n2, 1/n3 e 1/n4 para n 5 5, 10, 100 e 1.000 e discuta as diferentes taxas
de convergncia dessas sequncias quando n se torna grande.
9. Suponha que 0 , q , p e que F(h) 5 L 1 O(hp).
a Mostre que F(h) 5 L 1 O(hq).
b.Faa uma tabela listando h, h2, h3 e h4 para h 5 0,5, 0,1, 0,01 e 0,001 e discuta as diferentes taxas de
convergncia dessas potncias de h quando h tende a zero.
10. Suponha que quando x tenda a zero,
F1(x) 5 L1 1 O(xa)

Sejam c1 e c2 constantes diferentes de zero e defina

e F2(x) 5 L2 1 O(xb).

F(x) 5 c1F1(x) 1 c2F2(x) e G(x) 5 F1(c1x) 1 F2(c2x).

Mostre que se g 5 mnimo [a, b], ento, quando x tende a zero,


a. F(x) 5 c1L1 1 c2L2 1 O(xg)
b. G(x) 5 L1 1 L2 1 O(xg).

11. A sequncia {Fn}, descrita por F0 5 1, F1 5 1 e Fn12 5 Fn 1 Fn11 se n 0, chamada sequncia de Fibonacci. Seus termos ocorrem naturalmente em muitas espcies botnicas, particularmente naquelas
com ptalas ou escalas arranjadas na forma de uma espiral logartmica. Considere a sequncia {xn},
onde xn = Fn+1 /Fn . Supondo que limn xn 5 x exista, mostre que x 5 (1 1 5w)/2. Esse nmero
chamado de razo urea.
12. Mostre que a sequncia Fibonacci tambm satisfaz a equao

1+ 5
1
Fn F n =
2
5

Analise.indb 40

1 5
2

15/12/2015 08:40:13

Preliminares matemticos e anlise de erros

41

13. Descreva a sada do seguinte algoritmo. Como este algoritmo se compara com a ilustrao na pgina 32?

ENTRADA n, x1 , x2 , . . . , xn .

SADA SOMA.

Passo 1 Faa SOMA = x1 .

Passo 2 Para i 5 2, 3, . . . , n execute Passo 3.


Passo 3 SOMA = SOMA 1 xi .

Passo 4 SADA SOMA;

PARE.

14. Compare os trs algoritmos a seguir. Quando o algoritmo da parte (a) est correto?
a. ENTRADA n, x1 , x2 , . . . , xn .

SADA PRODUTO.

Passo 1 Faa PRODUTO = 0.


Passo 2 Para i 5 1, 2, . . . , n execute
Faa PRODUTO = PRODUTO xi .

Passo 3 SADA PRODUTO;

PARE.

b. ENTRADA n, x1 , x2 , . . . , xn .

SADA PRODUTO.

Passo 1 Faa PRODUTO = 1.


Passo 2 Para i 5 1, 2, . . . , n execute
Faa PRODUTO = PRODUTO xi .

Passo 3 SADA PRODUTO;

PARE.

c. ENTRADA n, x1 , x2 , . . . , xn .

SADA PRODUTO.

Passo 1 Faa PRODUTO = 1.

Passo 2 Para i 5 1, 2, . . . , n execute


se xi 5 0 ento faa PRODUTO = 0;


SADA PRODUTO;

PARE

seno faa PRODUTO = PRODUTO xi .

Passo 3 SADA PRODUTO;


PARE.

15. a. Quantas multiplicaes e adies so necessrias para determinar uma soma da forma
n

ai b j ?
i=1 j=1

b. Modifique a soma na parte (a) para uma forma equivalente que reduza o nmero de clculos.

Analise.indb 41

15/12/2015 08:40:13

42

Anlise numrica

QUESTES PARA DISCUSSO


n

1. Escreva um algoritmo para somar a srie finita i51 xi na ordem inversa.


2. Construa um algoritmo que tenha como entradas um inteiro n 1, nmeros x0 , x1 , . . . , xn e um nmero x
e que produza como sada o produto (x x0 )(x x1 ) (x xn).
3. Seja P (x ) 5 an x n 1 an 1 x n1 1 1 a1x 1 a0 um polinmio e x0 um nmero dado. Construa um algoritmo para calcular P (x0 ) usando multiplicao estruturada.
4. As Equaes (1.2) e (1.3) da Seo 1.2 do frmulas alternativas para as razes x1 e x2 de ax 2 1 bx 1 c 5 0.
Construa um algoritmo com entradas a, b, c e sadas x1 , x2 que calcule as razes x1 e x2 (as quais tambm
podem ser iguais ou complexas conjugadas) usando a melhor frmula para cada raiz.
5. Suponha que
2x 4x 3
4x 3 8x 7
1 + 2x
1 2x
+
+
+ =
,
2
2
4
1x +x
1x +x
1 x4 + x8
1 + x + x2

para x < 1 e seja x 5 0,25. Escreva e execute um algoritmo que determine o nmero de termos necessrios no lado esquerdo da equao de modo que o lado esquerdo difira do lado direito por menos de 106.

6. O que os algoritmos na parte (a) e na parte (b) calculam?


a. ENTRADA a0 , a1 , x0 , x1 .
SADA S.

Passo 1 Para i 5 0, 1 execute faa si 5 ai .

Passo 2 Para i 5 0, 1 execute


para j 5 0, 1 execute

para i  j faa si =

Passo 3 Faa S 5 s0 1 s1 .

Passo 4 SADA S;

(x x j )
si .
(xi x j )

PARE.

b. ENTRADA

a0 , a1 , a2 , x 0 , x 1 , x 2 .


SADA S.

Passo 1 Para i 5 0, . . . , 2 execute faa si 5 ai .

Passo 2 Para i 5 0, 1, 2 execute


para j 5 0, 1 execute

se i j ento faa si =

Passo 3 Faa S 5 s0 1 s1 1 s2 .

(x x j )
si .
(xi x j )

Passo 4 SADA S;

PARE.
c. Generalize os algoritmos para que tenham entradas n, a0, . . . , an, x0, . . . , xn. Qual o valor de sada de S?

1.4 Software numrico


Os pacotes de software para computador para a aproximao de solues numricas
de problemas esto disponveis em muitas formas. Em nosso website para este livro
https://sites.google.com/site/numericalanalysis1burden/

Analise.indb 42

15/12/2015 08:40:14

Preliminares matemticos e anlise de erros

43

fornecemos programas escritos em C, FORTRAN, Maple, Mathematica, MATLAB,


Pascal e Java que podem ser usados para resolver os problemas dados nos exemplos e
exerccios. Esses programas fornecero resultados satisfatrios para a maioria dos problemas que voc poder precisar resolver, mas eles so o que chamamos de programas
de propsito especial. Usamos esse termo para distinguir esses programas dos que se
encontram disponveis nas bibliotecas padro de sub-rotinas matemticas. Os programas
nesses pacotes sero chamados de propsito geral.
Os programas nos pacotes de software de propsito geral diferem em sua inteno
dos algoritmos e programas fornecidos neste livro. Os pacotes de software de propsito geral consideram maneiras de reduzir erros devidos a arredondamento da mquina,
underflow e overflow. Eles tambm descrevem o intervalo de entrada que levar a resultados de certa preciso especificada.Como essas caractersticas so dependentes de
mquina, os pacotes de software de propsito geral usam parmetros que descrevem as
caractersticas de ponto flutuante da mquina que esteja sendo usada para os clculos.
Ilustrao

Para ilustrar algumas diferenas entre os programas includos em um pacote de propsito


geral e um programa que forneceramos para uso neste livro, considere um algoritmo
que calcule a norma euclidiana de um vetor n-dimensional x 5 (x1, x2, . . . , xn)t. Essa
norma frequentemente necessria dentro de programas maiores e definida por
n

||x||2 =

i=1

1/2

xi2

A norma fornece uma medida da distncia do vetor x ao vetor 0. Por exemplo, o vetor
x 5 (2, 1, 3, 22, 21)t tem
_
uuxuu2 5 [22 1 12 1 32 1 (22)2 1 (21)2]1/2 5 19,

_
ento sua distncia a 0 5 (0, 0, 0, 0, 0)t 19 < 4,36.
Um algoritmo do tipo que apresentaramos para esse problema fornecido aqui.
Ele no inclui nenhum parmetro dependente da mquina nem fornece garantia de
preciso, mas fornecer resultados precisos na maioria das vezes.
ENTRADA n, x1, x2, . . . , xn.
SAda NORMA.
Passo 1 Faa SOMA 5 0.
2
Passo 2 Para i 5 1, 2, . . . , n faa SOMA 5 SOMA 1 xi .
Passo 3 Faa NORMA 5 SOMA1/2.
Passo 4 Sada (NORMA);
PARE.

Um programa com base nesse algoritmo fcil de escrever e entender. Entretanto,


o programa poderia falhar em fornecer preciso suficiente por vrias razes. Por exemplo, o mdulo de alguns dos nmeros pode ser muito grande ou muito pequeno para
ser precisamente representado no sistema de ponto flutuante do computador. Alm disso, a ordem normal para efetuar os clculos poderia no produzir os resultados mais
precisos ou a rotina padro de raiz quadrada do software poderia no ser a melhor
disponvel para o problema. Questes desse tipo so consideradas por projetistas de algoritmos ao escrever programas para software de propsito geral. Esses programas so
frequentemente usados como subprogramas para resolver problemas maiores, assim,
eles devem incorporar controles dos quais no precisaremos.

Analise.indb 43

15/12/2015 08:40:14

44

Anlise numrica

Algoritmos de propsito geral


Agora, considere um algoritmo para um programa de software de propsito geral para
calcular a norma euclidiana. Primeiro, possvel que, embora uma componente xi do
vetor esteja dentro do intervalo da mquina, o quadrado da componente no esteja. Isso
2
pode ocorrer quando algum uxiu to pequeno que xi causa underflow ou quando algum
2
uxiu to grande que xi causa overflow. Tambm possvel que todos esses termos estejam
dentro do intervalo da mquina, mas que o overflow ocorra pela adio de um quadrado
de um dos termos soma previamente calculada.
Como os critrios de preciso dependem da mquina na qual os clculos esto sendo efetuados, os parmetros dependentes de mquina so incorporados ao algoritmo.
Suponha que estejamos trabalhando em um computador hipottico com base 10, tendo
t 4 algarismos de preciso, um expoente mnimo emin e um expoente mximo emax.
Ento, o conjunto de nmeros em ponto flutuante nessa mquina consiste em 0 e nos
nmeros da forma
x 5 f 10e,ondef 5 (f11021 1 f21022 1 . . . 1 ft102t),
onde 1 # f1 # 9 e 0 # fi # 9, para cada i 5 2, . . . , t e onde emin # e # emax. Essas
restries implicam que o menor nmero positivo representado na mquina seja s 5
10emin21, de forma que qualquer nmero calculado x com uxu , s cause underflow e
resulte em x sendo igualado a 0. O maior nmero positivo ser l 5 (1 2 102t)10emax e
qualquer nmero calculado x com uxu . l causar overflow. Quando ocorrer underflow,
o programa continuar, muitas vezes sem perda significativa de preciso. Se ocorrer
overflow, o programa falhar.
O algoritmo pressupe que as caractersticas de ponto flutuante da mquina so
descritas usando parmetros N, s, S, y e Y. O nmero mximo de entradas que podem
ser somadas com pelo menos t/2 algarismos de preciso dado por N. Isso implica que
o algoritmo continue a determinar a norma de um vetor x 5 (x1, x2, . . . , xn)t somente
se n # N. Para resolver o problema de underflow-overflow, os nmeros em ponto flutuante diferentes de zero devem ser divididos em trs grupos:


nmeros x de mdulo pequeno, aqueles que satisfaam 0 , uxu , y;


nmeros x de mdulo mdio, em que y # uxu , Y;
nmeros x de mdulo grande, em que Y # uxu..

Os parmetros y e Y so escolhidos de maneira que no haja problema de underflow-overflow no quadrado e na soma de nmeros de grandeza mdia. O quadrado
de nmeros de pequena grandeza pode causar underflow, ento um fator de escala S
muito maior que 1 usado com o resultado que (Sx)2 evite o underflow, mesmo quando x2 no o faa. A soma e o quadrado de nmeros de mdulo grande podem causar
overflow, ento, nesse caso, um fator de escala positivo s muito menor que 1 usado
para garantir que (sx)2 no cause overflow quando calculado ou incorporado em uma
soma, mesmo que x2 pudesse causar.
Para evitar mudanas de escala desnecessrias, y e Y so escolhidos de maneira que
o intervalo de nmeros de mdulo mdio seja o maior possvel. O algoritmo que segue
uma modificao de um descrito em [Brow, W.], p. 471. Ele incorpora um procedimento
para mudar a escala das componentes do vetor que so pequenas em mdulo at que
uma componente de mdulo mdio seja encontrada. Ento, ele desfaz a mudana de
escala da soma anterior e continua a calcular o quadrado e a soma de nmeros pequenos
e mdios at que uma componente de mdulo grande seja encontrada. Uma vez que uma

Analise.indb 44

15/12/2015 08:40:14

Preliminares matemticos e anlise de erros

45

componente de mdulo grande aparea, o algoritmo muda a escala da soma anterior e


continua a mudar a escala, calcular o quadrado e a soma dos nmeros restantes.
O algoritmo supe que, na transio de nmeros pequenos a mdios, nmeros pequenos sem mudana de escala so desprezveis quando comparados a nmeros mdios. De maneira anloga, na transio de nmeros mdios a grandes, nmeros mdios
sem mudana de escala so desprezveis quando comparados a nmeros grandes. Portanto, a escolha dos parmetros de mudana de escala deve ser feita de maneira que
os nmeros sejam igualados a 0 somente quando forem realmente desprezveis. As
relaes tpicas entre as caractersticas de mquina descritas por t, s, l, emin, emax e
os parmetros do algoritmo N, s, S, y e Y so fornecidos depois do algoritmo.
O algoritmo usa trs marcadores para indicar os vrios estgios no processo de
soma. Esses marcadores so valores iniciais fornecidos no Passo 3 do algoritmo. O
MARCADOR 1 1 at que uma componente mdia ou grande seja encontrada; ento,
ele alterado para 0. O MARCADOR 2 0 enquanto nmeros pequenos esto sendo
somados, muda para 1 quando um nmero mdio encontrado pela primeira vez e
muda novamente para 0 quando um nmero grande encontrado. O MARCADOR 3
inicialmente 0 e muda para 1 quando um nmero grande encontrado pela primeira
vez. O Passo 3 tambm introduz o marcador Feito, o qual 0 at que os clculos
sejam concludos e depois muda para 1.
ENTRADA N, s, S, y, Y, l, n, x1, x2, . . . , xn.
SAdaNORMA ou uma mensagem de erro apropriada.
Passo 1 Se n # 0 ento Sada (O inteiro n deve ser positivo);
PARE.
Passo 2 Se n N ento Sada (O inteiro n muito grande);
PARE.
Passo 3 Faa SOMA 5 0;
MARCADOR1 5 1; (Os nmeros pequenos esto sendo somados.)
MARCADOR2 5 0;
MARCADOR3 5 0;
FEITO 5 0;
i 5 1.
Passo 4 Enquanto (i # n e MARCADOR15 1) execute o Passo 5.
Passo 5 Se uxiu , y ento faa SOMA 5 SOMA 1 (Sxi)2;
i 5 i 1 1
seno faa MARCADOR15 0. (Um nmero no pequeno
encontrado.)
Passo 6 Se i . n ento faa NORMA 5 (SOMA) 1/2/ S;
FEITO 5 1

seno faa SOMA 5 (SOMA/S)/S; (Escala para nmeros maiores.)
MARCADOR2 5 1.
Passo 7 Enquanto (i # n e MARCADOR2 5 1) execute Passo 8. (Soma dos nmeros
de tamanho mdio.)
2
Passo 8 Se uxiu , Y ento faa SOMA 5 SOMA 1 x i ;
i 5 i 1 1
seno faa MARCADOR2 5 0. (Um nmero grande foi encontrado.)

Analise.indb 45

15/12/2015 08:40:14

46

Anlise numrica

Passo 9 Se Feito 5 0 ento


se i . n ento faa NORMA 5 (SOMA)1/2;
Feito 5 1
seno faa SOMA 5 ((SOMA)s)s; (Mudana de escala para os
nmeros grandes.)
MARCADOR3 5 1.
Passo 10 Enquanto (i # n e MARCADOR3 5 1) execute Passo 11.
Passo 11 Faa SOMA 5 SOMA 1 (sxi)2; (Somar os nmeros grandes.)
i5i11.
Passo 12 Se FEITO 5 0 ento
se SOMA1/2 , ls ento faa NORMA 5 (SOMA)1/2/s;
Feito 5 1
seno faa SOMA 5 l. (A norma muito grande.)
Passo 13 Se FEITO 5 1 ento Sada (A norma , NORMA)
seno Sada (Norma , NORMA, ocorreu overflow).
Passo 14 PARE.
As relaes entre as caractersticas da mquina t, s, l, emin, emax e os parmetros do
algoritmo N, s, S, y, e Y foram escolhidos em [Brow, W.], p. 471 como sendo:
N 5 10eN,
s 5 10eS,
S 5 10eS,
y 510ey,
Y 5 10eY,

onde eN 5 [(t 2 2)/2], o maior inteiro menor ou igual a (t 2 2)/2;


onde es 5 [2 (emax 1 eN )/2];
onde eS 5 [( 1 2 emin )/2], o menor inteiro maior ou igual a (1 2 emin)/2;
onde ey 5 [(emin 1 t 2 2)/2];
onde eY 5 [(emax 2 eN)/2].

O primeiro computador porttil foi o Osborne I, produzido em 1981, embora fosse muito maior e pesado do que
consideraramos atualmente como porttil.

A confiabilidade incorporada neste algoritmo aumentou muito a complexidade em comparao com o algoritmo apresentado antes na seo. Na maioria dos casos, os algoritmos
de propsito especial e os de propsito geral do resultados idnticos. A vantagem do
algoritmo de propsito geral que ele fornece segurana para seus resultados.
Muitas formas de software numrico de propsito geral esto disponveis comercialmente e em domnio pblico. Muitos dos primeiros softwares foram escritos para
computadores de grande porte e uma boa referncia para eles Sources and Development of Mathematical Software, editado por Wayne Cowell [Co].
Agora que o computador pessoal se tornou suficientemente poderoso, softwares
numricos padro esto disponveis para eles. A maioria desses softwares numricos
est escrita em FORTRAN, embora alguns pacotes estejam escritos em C, C11 e
FORTRAN 90.
O sistema FORTRAN (FORmula TRANslator) foi a linguagem de programao cientfica de propsito geral
original. Ela ainda amplamente usada em situaes que exigem clculos cientficos intensivos.

Analise.indb 46

15/12/2015 08:40:14

Preliminares matemticos e anlise de erros

47

Procedimentos ALGOL foram apresentados para clculos com matrizes em 1971


em [WR]. Um pacote de sub-rotinas FORTRAN com base principalmente em procedimentos ALGOL foi ento desenvolvido nas rotinas EISPACK. Essas rotinas esto documentadas nos manuais, publicados pela Springer-Verlag como parte de srie Lecture
Notes in Computer Science, [Sm,B] e [Gar]. As sub-rotinas FORTRAN so usadas
para calcular autovalores e autovetores para diversos tipos de matrizes.
O LINPACK um pacote de sub-rotinas FORTRAN para analisar e resolver sistemas de equaes lineares e resolver problemas de mnimos quadrados lineares. A
documentao desse pacote est contida em [DBMS]. Uma introduo passo a passo
ao LINPACK, EISPACK e BLAS (Basic Linear Algebra Subprograms) fornecida em
[CV].
O projeto EISPACK foi o primeiro pacote de software numrico de larga escala a tornar-se disponvel em domnio pblico e abriu caminho para muitos outros pacotes fazerem o mesmo.

O pacote LAPACK, disponvel pela primeira vez em 1992, uma biblioteca de sub-rotinas FORTRAN que suplantou o LINPACK e o EISPACK, integrando esses dois
conjuntos de algoritmos em um pacote unificado e atualizado. O software foi reestruturado para atingir grande eficincia em processadores vetoriais e outros multiprocessadores de alto desempenho ou de memria compartilhada. O LAPACK foi expandido em
profundidade e alcance na verso 3.0, a qual est disponvel em FORTRAN, FORTRAN
90, C, C11 e JAVA. C e JAVA esto disponveis apenas como interfaces de linguagem
ou tradutores de bibliotecas FORTRAN de LAPACK. O pacote BLAS no faz parte do
LAPACK, mas o cdigo para o BLAS distribudo com o LAPACK.
Outros pacotes para a resoluo de tipos especficos de problemas tambm esto em
domnio pblico. Como alternativa para o netlib, voc pode usar o Xnetlib para pesquisar os bancos de dados e recuperar software. Podem-se encontrar mais informaes no
artigo Software Distribution Using Netlib de Dongarra, Roman e Wade [DRW].
A engenharia de software foi estabelecida como uma disciplina de laboratrio durante os anos 1970 e 1980.
O EISPACK foi desenvolvido no Argonne Labs e o LINPACK, logo depois. No incio dos anos 1980, Argonne foi reconhecido internacionalmente como lder mundial, no apenas no clculo simblico como tambm
no numrico.

Esses pacotes de software so altamente eficientes, precisos e confiveis. Eles so


cuidadosamente testados, e a documentao est prontamente disponvel. Embora os
pacotes sejam portteis, aconselhvel investigar a dependncia da mquina e ler toda
a documentao. Os programas so testados para quase todas as contingncias especiais que possam levar a erros e falhas. No final de cada captulo, discutiremos alguns
dos pacotes apropriados de propsito geral.
Os pacotes comercialmente disponveis tambm representam a tecnologia de ponta
em mtodos numricos. Seus contedos frequentemente baseiam-se nos pacotes de
domnio pblico, mas incluem mtodos em bibliotecas para quase todos os tipos de
problemas.
A IMSL (International Mathematical and Statistical Libraries) consiste nas bibliotecas MATH, STAT e SFUN para matemtica numrica, estatstica e funes especiais,
respectivamente. Essas bibliotecas contm mais de 900 sub-rotinas originalmente disponveis em FORTRAN 77 e agora disponveis em C, FORTRAN, 90 e JAVA. Essas

Analise.indb 47

15/12/2015 08:40:14

48

Anlise numrica

sub-rotinas resolvem os problemas mais comuns de anlise numrica. As bibliotecas


esto comercialmente disponveis a partir de Visual Numerics.
Os pacotes so entregues na forma compilada com documentao extensa. H um
programa-exemplo para cada rotina, bem como informaes de referncia. A IMSL
contm mtodos para sistemas lineares, anlise de autossistemas, interpolao e aproximao, integrao e diferenciao, equaes diferenciais, transformadas, equaes
no lineares, otimizao e operaes bsicas de matriz/vetor. A biblioteca tambm
contm rotinas estatsticas extensas.
Em 1970, a IMSL tornou-se a primeira biblioteca cientfica em larga escala para computadores de grande porte.
Desde ento, as bibliotecas tornaram-se disponveis para sistemas computacionais, variando desde supercomputadores a computadores pessoais.

O Numerical Algorithms Group (NAG) existe no Reino Unido desde 1970 e oferece mais de mil sub-rotinas em uma biblioteca de FORTRAN 77, cerca de 400 sub-rotinas em uma biblioteca de C, mais de 200 sub-rotinas em uma biblioteca de FORTRAN 90 e uma biblioteca nmerica MPI FORTRAN para mquinas paralelas e redes
de estaes de trabalho ou computadores pessoais. Uma introduo til s rotinas
NAG pode ser vista em [Ph]. A biblioteca NAG contm rotinas para realizar a maioria
das tarefas padro de anlise numrica de maneira similar s da IMSL. Ela tambm
inclui algumas rotinas estatsticas e um conjunto de rotinas grficas.
O Numerical Algorithms Group (NAG) foi institudo no Reino Unido em 1971 e desenvolveu a primeira biblioteca de software matemtico. Ela conta agora com mais de 10 mil usurios no mundo todo e contm mais
de mil funes matemticas e estatsticas que vo desde software em estatstica, simblico, de visualizao e de
simulao numrica a compiladores e ferramentas de desenvolvimento de aplicaes.

Os pacotes IMSL e NAG so desenvolvidos para matemticos, cientistas ou engenheiros que desejem chamar sub-rotinas C, Java ou FORTRAN de alta qualidade a
partir de um programa. A documentao disponvel com os pacotes comerciais ilustra
um programa principal tpico necessrio para usar as rotinas da biblioteca. Os prximos trs pacotes software so ambientes isolados. Quando ativados, o usurio insere
comandos para fazer que o software resolva um problema. Entretanto, cada pacote
permite a programao dentro da linguagem de comando.
O MATLAB um laboratrio de matrizes que foi originalmente um programa em
FORTRAN publicado por Cleve Moler [Mo] na dcada de 1980. O laboratrio baseia-se principalmente nas sub-rotinas EISPACK e LINPACK, embora funes tais como
sistemas no lineares, integrao numrica, splines cbicos, ajuste de curvas, otimizao, equaes diferenciais ordinrias e ferramentas grficas tenham sido incorporadas.
O MATLAB est escrito atualmente em C e assembler, e a verso para PC deste pacote
requer um coprocessador numrico. A estrutura bsica para executar operaes com
matrizes, como encontrar os autovalores de uma matriz inserida na linha de comando
ou a partir de um arquivo externo via chamada de funes. Esse poderoso sistema
autocontido especialmente til para ensino em um curso de lgebra linear aplicada.

Analise.indb 48

15/12/2015 08:40:14

Preliminares matemticos e anlise de erros

49

O MATLAB foi originalmente escrito para fornecer acesso fcil ao software matricial desenvolvido nos projetos LINPACK e EISPACK. A primeira verso foi escrita no final dos anos 1970 para uso em cursos de teoria de
matrizes, lgebra linear e anlise numrica. H atualmente mais de 500 mil usurios do MATLAB em mais de
100 pases.

O segundo pacote GAUSS, um sistema matemtico e estatstico produzido por


Lee E. Ediefson e Samuel D. Jones em 1985. Ele est codificado principalmente em
assembler e tem base essencialmente no EISPACK e LINPACK. Como no caso do
MATLAB, esto disponveis integrao, derivao, sistemas no lineares, transformada rpida de Fourier e grficos. GAUSS menos orientado em direo a ensino em
lgebra linear e mais em direo anlise estatstica de dados. Este pacote tambm usa
um coprocessador numrico, se este estiver disponvel.
O terceiro pacote o Maple, um sistema de computao algbrica desenvolvido
em 1980 pelo Symbolic Computational Group, na Universidade de Waterloo. O projeto do sistema Maple original foi apresentado no trabalho de B.W. Char, K.O. Geddes,
W.M. Gentlemen e G.H. Gonnet [CGGG].
O Maple, que escrito em C, tem a capacidade de manipular informaes de maneira simblica. Essa manipulao simblica permite que o usurio obtenha respostas
exatas em vez de valores numricos. O Maple pode fornecer respostas exatas a problemas matemticos, tais como integrais, equaes diferenciais e sistemas lineares.
Ele contm uma estrutura de programao e permite que textos, bem como comandos,
sejam salvos em planilha. Essas planilhas podem ento ser carregadas no Maple e os
comandos executados.
As rotinas NAG so compatveis com Maple a partir da verso 9.0.

O igualmente popular Mathematica, lanado em 1988, parecido com o Maple.


Esto disponveis diversos pacotes que podem ser classificados como pacotes de
supercalculadoras para PC. Entretanto, estes no devem ser confundidos com os softwares de propsito geral listados aqui. Se voc tiver interesse em um desses pacotes,
deveria ler Supercalculators on the PC, de B. Simon e R. M. Wilson [SW].
Informaes adicionais sobre software e bibliotecas de software podem ser encontradas nos livros de Cody e Waite [CW] e de Kockler [Ko], e no artigo de 1995 de Dongarra e
Walker [DW]. Mais informaes sobre computao em ponto flutuante podem ser encontradas no livro de Chaitini-Chatelin e Frayse [CF] e no artigo de Goldberg [Goldb].
Os livros que tratam da aplicao de tcnicas numricas em computadores paralelos incluem os de autoria de Schendell [Sche], Phillips e Freeman [PF] e Golub e
Ortega [GO].

UESTO PARA DISCUSSO


1. Discuta as diferenas entre alguns dos pacotes de software disponveis para clculos
numricos.

Analise.indb 49

15/12/2015 08:40:14

50

Anlise numrica

ONCEITOS-CHAVE

Algoritmos
Aritmtica com um nmero finito
de algarismos
Convergncia
Diferenciao
Erros de arredondamento
Estabilidade

Integrao
Integral de Riemann
Limites
Representao por um nmero
finito de algarismos
Software numrico
Teorema de Rolle

Teorema de Rolle generalizado


Teorema de Taylor
Teorema do valor extremo
Teorema do valor intermedirio
Teorema do valor mdio com
peso

EVISO DO CAPTULO

Vamos revisar o Captulo 1 em termos das habilidades que voc precisar nos captulos subsequentes.
Na Seo 1.1 voc deve ser capaz de usar o Teorema de Rolle, o teorema do valor intermedirio e o teorema do valor extremo para:
i.
ii.
iii.
iv.

Determinar se uma equao tem pelo menos uma soluo em um intervalo dado.
Encontrar um intervalo que contenha uma soluo de uma equao dada.
Mostrar que f 9(x ) 5 0 em algum ponto de um intervalo dado.
Maximizar uma funo em um intervalo dado.

Voc deve ser ainda capaz de usar o Teorema de Taylor para encontrar o polinmio de Taylor
Pn (x ) de ordem ensimo para uma funo dada f, em x0 . Alm disso, voc deve ser capaz de usar
o teorema do valor extremo para maximizar o resto (erro) para esta expanso. Os estudantes devem observar que, ao calcular um limitante superior para o resto Rn (x ), usualmente minimizamos
o limitante do erro. Conseguimos isso encontrando o mximo do valor absoluto de uma derivada
particular em um intervalo apropriado.
Na Seo 1.2 voc deve ser capaz de converter nmeros para a forma de mquina decimal, com k
algarismos. Voc tambm deve ser capaz de usar de modo competente a aritmtica de arredondamento ou de truncamento, conforme necessrio. Voc deve ser capaz de calcular o erro real, o erro absoluto e o erro relativo em aproximaes de p por p e ser capaz de encontrar o maior intervalo no qual
p deve ficar para aproximar p com um erro relativo que esteja dentro de uma tolerncia especificada.
Os estudantes devem estar cientes de que, ao efetuar aritmtica com um nmero finito de algarismos,
cada clculo individual deve ser arredondado ou truncado antes de efetuar qualquer outro passo.
Na Seo 1.3, sempre que possvel, voc deve ser capaz de determinar o nmero n de termos
de uma srie que precisam ser somados para garantir que o erro absoluto caia dentro de uma tolerncia especificada. Ao tratar sries com termos de sinais alternados e de mdulos decrescentes, o
erro produzido pelo truncamento da srie em qualquer termo menor do que o mdulo do prximo
termo. Sempre que possvel, voc deve ser capaz de determinar a taxa de convergncia de uma sequncia. Voc deve ser capaz de seguir os passos de um algoritmo e descrever a sada.
A Seo 1.4 destaca algumas das diferenas entre os pacotes de software de propsito geral e
os algoritmos fornecidos no texto. O que se deve levar desta seo, principalmente, ser exposto
ao fato de que os pacotes de software de propsito geral consideram maneiras de reduzir os erros
devidos ao arredondamento de mquina, underflow e overflow. Eles tambm descrevem os intervalos de variao da entrada que levaro a resultados de certa preciso especificada.

anlise numrica
Richard L. Burden | Douglas J. Faires | Annette M. Burden
Este livro apresenta a teoria e a aplicao de tcnicas modernas de aproximao
numrica. Fornece uma base slida para estudos futuros de maior profundidade em
anlise numrica e computao cientfica.

Nesta nova edio, diversos exemplos foram reescritos para ter maior clareza. Os
exerccios foram organizados em computacionais, aplicados e tericos, sendo que
muitos dos aplicados so novos. Os conjuntos de exerccios incluem numerosos problemas aplicados de diversas reas da engenharia, bem como das cincias fsicas,
computacionais, biolgicas e sociais. Alguns dos exemplos no livro foram reescritos para enfatizar melhor o problema a ser resolvido antes de apresentar a soluo.
Tambm foram acrescentados alguns passos a alguns dos exemplos, para mostrar
explicitamente os clculos necessrios. Alm disso, cada captulo, agora, possui
questes para discusso, muitas delas direcionam o estudante para reas modernas
de pesquisa em desenvolvimento de software. O material bibliogrfico tambm foi
atualizado para apresentar novas edies de obras que so referncias.
Anlise numrica pode ser utilizado como livro-texto para as disciplinas clculo numrico e anlise numrica nos cursos de Engenharia, Matemtica, Cincia da Computao e em cursos introdutrios que abordem resoluo numrica de equaes
diferenciais ordinrias e parciais.

ISBN 13 978-85-221-2340-7
ISBN 10 85-221-2340-3

Outras obras
a

Traduo da 10- edio norte-americana

anlise numrica

Todos os conceitos so desenvolvidos de forma clara e cuidadosa e posteriormente ilustrados com exemplos que demonstram, de forma concisa, como as tcnicas numricas
podem ser aplicadas em situaes concretas das diversas reas das cincias exatas.

Richard L. Burden | Douglas J. Faires | Annette M. Burden

Traduo da 10-a edio norte-americana

anlise numrica
Richard L. Burden | Douglas J. Faires | Annette M. Burden

Clculo
Volumes 1 e 2
Traduo da 7a edio norte-americana

James Stewart

Pr-clculo
3a edio revista e ampliada

Andr Machado Caldeira, Luiza


Maria Oliveira da Silva, Maria
Augusta Soares Machado e
Valria Zuma Medeiros (coord.)

Clculo numrico:
aprendizagem com
apoio de software
2a edio revista e ampliada

Selma Arenales e Artur Darezzo

Matemtica
aplicada a
administrao
e economia
Traduo da 9a edio norte-americana

S. T. Tan

Probabilidade e
estatstica para
engenharia e cincias
Traduo da 8a edio norte-americana

Jay L. Devore
Para suas solues de curso e aprendizado,
visite www.cengage.com.br

analise_numericaOK.indd 1

9 788522 123407
1/14/16 11:46 AM