1

CAPTULO 1

MATEMTICA COMPUTACIONAL

1.1. INTRODUO

O primeiro passo do aprendizado para a realizao da anlise numrica de qualquer
problema matemtico a construo de uma base conceitual fundamental suficientemente
slida para capacitar o analista a formular, modelar e resolver numericamente um problema de
Engenharia. O escopo do presente tratamento o de apresentar mtodos numricos para
soluo de problemas matemticos, com um enfoque direcionado para a aplicao em
problemas prticos de engenharia, tais como a simulao e otimizao de sistemas fsicos e
processos industriais. Dentro deste enfoque, vrios assuntos foram selecionados do ensino
bsico de Matemtica para serem resumidamente apresentados, discutidos e exemplificados
dentro de possveis aplicaes de Engenharia.
O presente captulo se inicia com alguns tpicos importantes do Clculo Diferencial e
Integral, lgebra Linear e Anlise Real que constituem a base necessria ao aluno para o
entendimento dos captulos subseqentes. A seguir, apresenta-se de forma sumria o sistema
de funcionamento de um computador tpico e como as operaes matemticas so realizadas
computacionalmente. A apresentao est dividida em itens que revisam a teoria de cada
assunto abordado, com exemplos ilustrativos de sua possvel aplicao prtica no campo das
Engenharias. A parte final do captulo contm uma lista de problemas propostos e tambm
projetos abertos propostos ao estudante visando a orientao para a formao do Engenheiro,
essencialmente, um projetista.

1.2. LIMITES, CONTINUIDADE E DIFERENCIAO

Seja f uma funo de uma varivel real, ento, o limite da funo f em c, se existir,
definido como se segue:

( ) L x f
lim
c x
=

(1.1)

onde c e L so constantes. Se existir c tal que no haja nenhum nmero L com esta
propriedade, portanto, o limite de f em c no existe. Por exemplo:

( ) 0 x ln
lim
1 x
=

(1.2)

No entanto, o ( ) x ln
lim
1 x
no existe, uma vez que para 0 x < , ( ) x ln no uma funo
real.
Continuidade definida a partir da definio de limite enunciada anteriormente. A
funo f contnua no intervalo [ ] b , a , se e somente se, para todo [ ] b , a c , com b , a

( ) ) c ( f x f
lim
c x
=

(1.3)

Em conseqncia, a funo ( ) ( ) x ln x f = contnua para 0 x > .
2
Por definio, uma funo ( ) x f diferencivel em c, caso exista a derivada, definida
pela equao

( )
( ) ( )
c x
c f x f
lim c ' f
c x

(1.4)

Esta definio permite tambm concluir que se f diferencivel em c, ento f tem que
ser contnua em c.
O conjunto de funes contnuas ao longo de todo o domnio dos nmeros reais
representado por C(R). Analogamente, o conjunto de funes em que f contnua ao longo
de todo o domnio dos nmeros reais representado por C
1
(R). Desta maneira, a concluso do
pargrafo anterior pode ser escrita como C
1
(R) C
0
(R). O mesmo raciocnio pode ser
aplicado em seqncia para derivaes sucessivas de f, se existirem. Assim, define-se o
conjunto genrico C
n
(R) para cada nmero natural n, representando a ordem de derivao de
f, onde f
(n)
contnua ao longo de todo o domnio dos nmeros reais. Finalmente, define-se
C

(R), como o conjunto de funes que tm todas as suas derivadas contnuas, i.e.,
C

(R) L C
2
(R) C
1
(R) C
0
(R). Um exemplo bastante conhecido de funo desta
classe ( )
x
e x f = .
A definio acima pode ser aplicada de forma semelhante para um subconjunto dos
nmeros reais, definindo C
n
[a,b] como o conjunto de funes f onde exista f
(n)
e que seja
contnua no intervalo [ ] b , a R. O entendimento de funes deste tipo fundamental para o
entendimento de um importante teorema do Clculo, i.e., o Teorema de Taylor, a ser estudado
mais a frente neste captulo.

1.3. NORMAS E ANLISE DE ERROS

A motivao principal para o estudo de Normas para o engenheiro a necessidade de
se avaliar o comportamento de sistemas que tm muitos graus de liberdade. As grandezas de
interesse em um problema de engenharia (e.g., parmetros geomtricos e de operao) podem
ser combinadas na forma de um ou mais vetores com muitas componentes. O comportamento
de um ou mais desses vetores como um todo um indicativo claro da resposta do sistema de
engenharia em anlise. Uma Norma uma funo que pode ser interpretada como o
comprimento ou magnitude de cada um desses vetores.
Por exemplo, ao se buscar a soluo de um problema por um mtodo numrico,
necessrio verificar-se, durante o desenvolvimento da busca da soluo, se o procedimento
est se aproximando ou se afastando da soluo e, por fim, o momento em que a soluo
encontrada. Neste ponto, diz-se que houve convergncia. Esta verificao torna-se possvel a
partir da utilizao do conceito de Norma. No problema em anlise, define-se um ou mais
vetores cujas componentes representem os erros ou resduos em cada um dos graus de
liberdade do problema, portanto, a cada passo nos clculos, calcula-se o vetor erro ou residual
e monitora-se o comportamento da norma desse vetor, estabelecendo-se um critrio de parada
para os clculos no momento em que o valor da norma seja suficientemente pequeno de
acordo com um valor pr-estabelecido 0 .
3
Uma norma pode ser definida em qualquer espao vetorial. Uma norma uma funo
de V R
+
que obedea os trs postulados seguintes:

> x se , 0 x se , 0 x (1.5)

= x , R , x x (1.6)

+ + y , x se , y x y x (1.7)

A funo x pode ser interpretada como comprimento ou magnitude de x. A norma
de um vetor generaliza o conceito de valor absoluto r para um nmero real ou complexo.
Um exemplo clssico de normas representado pela classe de funo conhecida como
normas p, i.e.:

p / 1
n
1 i
p
i
p
x x
|

\
|
=
=

(1.8)


onde ( ) < = p 1 e , x , , x , x x
T
n 2 1
L .

As normas p mais conhecidas so : i) a norma Euclidiana ( ) 2 p= ; ii) a norma L
1

( ) 1 p= , e iii) a norma L

( p ). No caso da norma L
,
a Eq. (8) assume a forma:

i
n i 1
x max x

= (1.9)

Exemplo 1.1) Utilizando a definio de normas-p, construa uma tabela comparativa dos
comprimentos obtidos para os quatro vetores seguintes no R
3
a partir das normas p = 1, 2 e
.

w = (1, 2, -3 )
T
x = ( -2, 0, 8)
T

y = ( 4, -4, 4)
T
z = ( 0, 0, 7)
T

Soluo :

1
.
2
.
.

w
6 3,74 3
x
10 8,25 8
y
12 6,93 4
z
7 7 7

Teorema 1.1

Sejam dois vetores x e y, ento
4


y x y . x (1.10)
Prova :

a) No R
2
e R
3
:

= cos y x y x

Como 1 cos , ento
y x y x

b) No R
n
, o resultado do Teorema 1.1 conhecido como desigualdade de Cauchy-
Schwarz:

b.1) Para 0 y x y x , 0 y ou 0 x = = = = , portanto vale a igualdade

b.2) Se 0 y e 0 x

Seja R k , h , ky hx z =

( ) 0 y k y x hk 2 x h z z
2
2
2
2
+ =

para todo R , k , h , portanto, fazendo

x k e y h = =

( ) y x y x 2 y x 2
2 2


Como 0 y x , 0 y e 0 x >

Dividindo ambos os lados por y x 2

Tem-se

y x y x

Tomando os mdulos, obtm-se

y x y x

Exemplo 1.2) Verifique se a norma Euclidiana atende aos trs postulados definidos
pelas Eqs. (1.5) ( 1.7).
5

Soluo:

i) A partir da definio da norma Euclidiana, para p = 2 na Eq. (8), observa-se
que:

0 x) . x ( ) x x x ( x
1/2 1/2 2
n
2
2
2
1
= = + + + = L

se e somente se 0. x =

ii) Para R , calcula-se:

( )
2 / 1
2
n
2 2
2
2 2
1
2
x x x x + + + = L

( )
2 / 1
2
n
2
2
2
1
x x x + + + = L

x =

iii) ( ) ( ) y x y x y x
2
+ + = +

= y y y x 2 x x + +

=
2 2
y y x 2 x + + (tomando o mdulo)
2 2
y y x 2 x + + (Desigualdade de Cauchy-Schwarz)

2 2
y y x 2 x + +
( )
2
y x + =

e considerando somente a raiz quadrada positiva nos extremos da inequao, obtm-se:

y x y x + +

que tambm conhecida como Desigualdade do Tringulo.

Esta denominao provm do fato de que em duas e trs dimenses, a soma de dois
lados de um tringulo maior do que o terceiro lado.

Normas matriciais

A anlise de algoritmos matriciais freqentemente requer o uso de normas matriciais.
Por exemplo, um algoritmo para a soluo de sistemas de equaes lineares (Cap. 3) pode ser
de baixa qualidade se a matriz de coeficientes (A) apresenta dificuldades para ser invertida,
i.e., praticamente singular. No entanto, para avaliar a noo do que praticamente
6
singular, necessrio que se defina uma medida de distncia no espao de matrizes. As
normas matriciais fornecem essa medida.
Lembre-se que uma matriz constituda de vrias linhas e colunas, sendo que um
vetor o caso particular de uma matriz ( ) 1 m , i.e., com m componentes (linhas) e apenas 1
coluna. Numa matriz, as vrias colunas podem ser interpretadas como vetores que a
constituem, os quais podem ser alinhados para armazenarem toda a informao contida na
matriz em um nico vetor. Assim, o espao
n m
R

que contm as matrizes ( ) n m
isomrfico ao espao
mn
R , que contm os vetores ( ) 1 mn , e a definio de uma norma
matricial deve ser equivalente definio de uma norma vetorial. Especificamente,
R R :
n m


uma norma matricial se satisfizer aos postulados definidos pelas Eqs. (1.5)
(1.7).
As normas matriciais mais usadas em lgebra Linear numrica so:
Norma de Frobenius


2 / 1
n
1 i
n
1 j
2
ij
F
a A
)
`

=
= =
(1.11)

Normas-p


p
p
0 x
p
x
Ax
sup A

= (1.12)

onde sup indica supremum, i.e., o maior valor.

Note que as normas-p matriciais so definidas em termos das normas-p vetoriais definidas
pela Eq. (1.8). A verificao de que as Eqs. (1.11) e (1.12) so de fato normas matriciais
deixada como um exerccio para o leitor. Fica claro que
p
A a norma-p do maior vetor
obtido pela operao de A com a norma-p de um vetor unitrio:


p
1 x
p
0 x
p
Ax
max
x
x
A sup A
p
=

=
|
|

\
|
= (1.13)

Portanto, se uma norma vetorial for especificada, pode-se definir uma norma matricial
subordinada a essa norma vetorial por


{ } 1 u , R u : Au sup A
n
= = (1.14)

Uma importante conseqncia da definio apresentada pela Eq. (1.14) que

7

( )
n
R x x A Ax (1.15)

A prova simples, bastando passar x para o primeiro membro e observar que o vetor x / x
unitrio. Assim, pela Eq. (1.14), x / Ax A .
Alm dos postulados bsicos das Eqs. (1.5) (1.7), a norma subordinada matricial tem
propriedades adicionais, conforme se segue:

1 I = (1.16)

B A AB (1.17)

As provas dessas propriedades so simples e deixadas como um exerccio para o leitor.
Prove tambm, usando um contra-exemplo que nem todas as normas matriciais satisfazem a
propriedade estabelecida pela Eq. (1.17).

1.4. A SRIE DE TAYLOR

Imagine o problema de como construir uma funo qualquer em um certo domnio que
interessa, a partir do conhecimento de informaes em apenas um ponto. Um exemplo prtico
tpico de tal problema seria a determinao da funo de variao da concentrao de um
determinado componente em uma mistura reativa de espcies em um reator qumico ao longo
do tempo, a partir de dados medidos experimentalmente.
A Figura 1.1 mostra o comportamento real de uma funo hipottica em relao a uma
varivel independente x .

x
0 a b
y
y
0
f(b)
f(x)
x
f*(x)
f(a)
x
1
x
2
( ) ( )
1 1
x * f x f =
( ) ( )
2 2
x * f x f <

Figura 1.1 Aproximao de f(x) por uma reta.
8

A princpio, assumem-se conhecidos f(x
0
) e f'(x
0
) somente. Com essas duas
informaes apenas, possvel aproximar-se o comportamento da funo por uma reta, que
denominada f*(x) na Fig. 1.1.
A equao desta reta determinada por

( ) ( ) ( )( )
0 0 0
x x x ' f x f x * f + = (1.18)

A Figura 1.1 mostra que f*(x) no uma boa aproximao para f(x), considerando
pontos distantes de
0
x x = .
Verifica-se que, se houvesse mais informaes, disponveis em
0
x x = , seria possvel
construir-se aproximaes polinomiais para f(x) de maior ordem. Para a construo de uma
reta so necessrios dois pontos ou condies; um polinmio de segundo grau, trs pontos ou
condies, e um polinmio de n-simo grau, n + 1 pontos ou condies.

Imagine um polinmio de ordem infinita como se segue:

L L x b x b x b x b b f(x)
n
n
3
3
2
2 1 0
+ + + + + + = (1.19)

que representa exatamente a curva desejada, pois interpola os infinitos pontos da curva real
f(x).
Alternativamente, a fim de se generalizar a Eq.(1.19), o polinmio pode ser
construdo, introduzindo-se uma posio genrica x
0
:

( ) ( ) ( ) ( ) L L + + + + + = x - x a x x a x x a a x f
n
0 n
2
0 2 0 1 0
(1.20)

Na equao (1.20) observa-se que a
i
b
i
, uma vez que x
0
foi introduzido na
formulao. O problema est em encontrar o valor dos coeficientes. Este problema resolvido
diferenciando-se sucessivamente a Eq. (1.20):

( ) ( ) ( ) L + + + + =
1 n
0 n 0 2 1
x x a n ... x x a 2 a x ' f

( ) ( ) ( ) L + + + =
2 n
0 n 2
x x a 1 n n ... a 2 x " f
M

( ) ( ) ( ) L + + + =
+ 0 1 n n
) n (
x x a ! 1 n a ! n x f (1.21)

A seguir, na Eq. (1.21), para
0
x x = , obtm-se :

( )
( )
n 0
n
a ! n x f =

( )
( )
! n
x f
a
0
n
n
= (1.22)


9
Desta maneira, pode-se representar ( ) x f , uma funo qualquer, exatamente, desde que
se conheam infinitas condies em um determinado ponto
0
x , i.e,
( ) ( )
( )
( ) , , x f , x ' f , x f
0
n
0 0
L L atravs do polinmio de ordem infinita:

( ) ( ) ( )( ) ( )
( )
( )
( )
( )
L +

+ + =
n
0
0
n
2
0
0 0 0 0
! n
x x
x f
! 2
x x
x " f x x x ' f x f x f (1.23)

que tem infinitos termos.

A Equao (1.23) conhecida com Srie de Taylor. Quando 0 x
0
= , recebe a
denominao de Srie de Maclaurin.

Numericamente, impossvel utilizar-se uma Srie de Taylor com um nmero infinito
de termos. Por esta razo, para avaliar o valor da funo numericamente, s possvel
aproximar-se a funo ( ) x f por uma Srie de Taylor com um certo nmero finito de termos.
No entanto, necessrio uma avaliao da magnitude do erro cometido. Por exemplo, pode-se
truncar a srie no termo de ordem n na Eq. (1.23), obtendo:
( ) ( ) ( )( ) ( )
( )
( )
( )
( )
n
n
0
0
n
2
0
0 0 0 0
R
! n
x x
x f
! 2
x x
x " f x x x ' f x f x f +

+ +

+ + = L (1.24)


onde
n
R o erro cometido, igual a soma dos termos desprezados ao aproximar-se de ( ) x f
por uma srie de Taylor com os 1 n + primeiros termos.
O erro
n
R pode ser estimado conforme se segue. Primeiramente, considere

( ) ( ) [ ] ( ) ( )
0
x
x
x
x
x f x f t f dt t ' f
0
0
= =

ou


( ) ( ) ( )
43 42 1
1
0
R
x
x
0
dt t ' f x f x f

+ = (1.25)

Integrando-se
1
R por partes, obtm-se:

( )( ) ( ) ( )dt t " f t x x x x ' f R
x
x
0 0 1
0

+ =
Portanto, reescreve-se a Eq. (1.25), i.e, a srie de Taylor como:


10
( ) ( ) ( )( ) ( ) ( )
4 4 3 4 4 2 1
2
0
R
x
x
0 0 0
dt t " f t x x x x ' f x f x f

+ + = (1.26)

Integrando-se
2
R por partes e segundo um raciocnio anlogo, obtm-se


( ) ( ) ( )( ) ( )
( ) ( )
( )
4 4 4 3 4 4 4 2 1
3
0
R
x
x
2 2
0
0 0 0 0
dt t ' ' ' f
2
t x
2
x x
x " f x x x ' f x f x f

+ + = (1.27)

Das equaes (1.25) (1.26) conclui-se a seguinte relao de recorrncia para n
qualquer:
( )
( )
( )
( )dt t f
! 1 n
t x
R
n
x
x
1 n
n
0

(1.28)

Necessita-se ainda buscar uma estimativa para o valor da integral definida pela Eq.
(1.28). Para tanto utiliza-se a forma Lagrangeana, que obtida observando-se que, na
integrao, t varia de
0
x a x, portanto,
( )
( ) t f
n
possui um mnimo valor m e um mximo
valor Massociados a x ou a
0
x cada um, assumindo-se que
( )
( ) t f
n
, i.e, a funo
contnua. Portanto, pode-se escrever

( )
( )
( )
( )
dt
! 1 n
t x
M R dt
! 1 n
t x
m
x
x
x
x
1 n
n
x
x
x
x
1 n
o
o
0
0

e

( ) ( )
x
x
n
n
x
x
n
0 0
! n
t x
M R
! n
t x
m
(
(

(
(

Observa-se que

( )
( )
0
n
x f m = ou
( )
( ) x f
n


e
( )
( )
0
n
x f M = ou
( )
( ) x f
n



Portanto, para t entre
0
x e x , = t tal que
n
R calculada exatamente por

11
( )
! n
x x
) ( f R
0 ) n (
n

= (1.29)

A partir da Eq. (1.29), outra importante forma de estimar o erro cometido ao
aproximar uma funo qualquer, por uma srie de Taylor truncada em um termo qualquer de
ordem n, pode ser estabelecida. Inicialmente, define-se
0
x x x = e observa-se que
( )
( )
! n
f
n

pode ser entendido como uma certa constante de ordem 1, para n suficientemente grande.
Assim, na realidade, o erro depende prioritariamente da proximidade da posio em que se
desejar estimar ( ) x f , alm do nmero de termos considerados na srie de Taylor, i.e.:

( )
n
n
x O R = (1.30)

que indica que o erro ordem
n
x , i.e., da mesma ordem de magnitude de
n
x .

Exemplo 1.3) Utilize uma srie de Taylor construda com informaes em 0 x
0
= , para
calcular o valor do cos x, onde 5 , 0 x = rad. Qual a ordem de n do termo em que a srie dever
ser truncada para que o erro cometido seja menor do que 10
-4
? A srie truncada resultante ter
1 n + termos.

Soluo:

Deseja-se um erro menor do que 10
-4
(0,0001), para x = 0,5 rad, portanto, para 0 x
0
= ,
tem-se

0001 , 0
! n
5 , 0
M
! n
x
M R
n n
n
=
|
|

\
|


Observa-se que M o valor mximo de
( )
( )
n
f , para entre x e
0
x . A n-sima derivada do
cos x, a menos do sinal, ou ser um coseno ou seno, portanto:

0001 , 0
! n
5 , 0
! n
5 , 0
M R
n n
n


Desta maneira, calcula-se

4 n
10 5 , 0 ! n

, 6 n = uma vez que 6! = 720 > 156,25

A srie de Taylor para o cos x em torno de 0 x
0
= , at o sexto termo

12
( ) 0
24
x
0
2
x
0 1 x f
4 2
+ + + =

Portanto:

( ) 67 8776041666 , 0 5 , 0 f =

Verificao do erro:

Em uma calculadora HP 48 G+, obtm-se cos 0,5 = 0,87758256189, assim

( )
5
5
10 1604777 . 2 5 , 0 cos 5 , 0 f R

= =


1.5. CLCULO DE FUNES POR SRIES DE POTNCIAS

Um procedimento computacional comumente utilizado a avaliao de funes
matemticas por sries de potncias. A srie de Taylor discutida na seo 1.4 um exemplo
de srie de potncias. Sempre que possvel, portanto, desejvel prever-se como a srie vai se
comportar na avaliao de uma determinada funo. Um procedimento numrico deve resultar
em um valor finito, i.e., mensurvel, para que tenha utilidade em uma aplicao de
Engenharia, por exemplo.

Teorema 1.2 Teorema de Leibniz

Seja uma srie infinita L + +
4 3 2 1
c c c c

1. Estritamente alternada
2. Cada termo menor, em mdulo, do que o termo precedente
3. O limite dos termos zero

Ento a srie possui soma finita.

Quando a funo em questo possui um ponto singular, ento existe uma regio de
convergncia limitada.

Exemplo 1.4) As funes sen x , cos x ,
x
e no tm pontos singulares em R x , mas ln x
tem uma singularidade em 0 x = . Utilizando uma srie de Taylor em torno de 1 x
0
= ,
determine a regio de convergncia da srie, i.e., a regio em que a srie pode ser utilizada
para calcular ln x . Alm disso, R x ln para x < 0.

Soluo:


( )
( ) ( ) ( ) ( )
L

=
5 4 3 2
5
1 x
4
1 x
3
1 x
2
1 x
1 x x ln
13


Observa-se que para 4 x = , por exemplo:




portanto, a soma no finita, i.e., a srie diverge e no poder ser utilizada para avaliar o
4 ln .

Verifica-se que a srie estritamente alternada R x , porm cada termo geral
n
c
somente ser menor, em mdulo, do que o termo precedente se e somente se 2 x . Note que,
para + = 2 x , onde >0, R

( )
( )
( )
1 n
n
1
n
1
1 n
1
C
C
n
1 n
n
1 n
+
+ =
+
+
+
=
+
+


portanto ( ) + =
+
+

1
1 n
n
1 lim
n


Assim, o Teorema de Leibniz no satisfeito e a srie no converge para uma soma
finita. Desta maneira, esta srie s pode ser utilizada para calcular o x ln , quando
0 < 2 x , que a regio de convergncia da mesma.
Observa-se que, tendo avaliado o ln 2 com esta srie, pode-se utilizar uma outra srie
de Taylor, obtida em torno de 2 x
0
= , para calcular o x ln para 2< x 3 , e assim
sucessivamente.

1.6. TEOREMA DO VALOR MDIO

O Teorema do Valor Mdio, TVM, pode ser interpretado como o Teorema de Taylor
quando 1 n = , sendo muito usado como argumento matemtico. Seja
[ ] ( ) ( ) b , a x " f , b , a C f , ento para qualquer x e [ ] b , a C , verifica-se


( ) ( ) ( )( ) c x ' f c f x f + = (1.31)

para entre x e c.

Interpretao grfica:
Tomando b x = e , a c = escreve-se com base na Eq. (1.31)
( ) ( ) ( )( ) b a onde , a b ' f a f b f < < = .

Portanto, verifica-se atravs da Fig. 1.2 para uma funo genrica ( ) x f que
( )
( ) ( )
L

=
3 2
3
1 4
2
1 4
1 4 4 ln
14

( )
( ) ( )
a b
a f b f
' f tgx

= = (1.32)

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

Figura 1.2 Teorema do Valor Mdio.

Assim, existir sempre, pelo menos uma posio = x tal que a inclinao da reta
tangente curva ( ) x f naquele ponto, i.e., ( ) ' f calculada exatamente pela Eq.(1.32).

Caso especial:

Se [ ] ( ) b , a C ' f , b , a C f
1

o
, f(a) = f(b) = constante, tal que ( ) 0 ' f = , para pelo
menos um valor ( ) b , a . Este caso especial conhecido como Teorema de Rolle.
Em ambos os Teoremas, poder haver mais de um valor de ( ) b , a que satisfaa as
Eqs. (1.31) e (1.32).

1.7. ARREDONDAMENTO E TRUNCAMENTO

Arredondamento e truncamento so importantes conceitos para a aproximao de
nmeros reais em rotinas de clculo. Para entender aproximadamente as diferenas entre os
dois conceitos, define-se um nmero real x > 0 como

L , 0

com m dgitos direita da vrgula.

Matematicamente, define-se arredondar x para n casas decimais (n < m) para cima ou
para baixo. Se o ltimo dgito aps a vrgula ( ) 5 1 n + , arredonda-se para cima, e caso
15
contrrio arredonda-se para baixo. Em contrapartida, define-se truncar para n casas decimais
( n < m), o procedimento de simplesmente desprezar todos os dgitos do nmero x , aps o
dgito n .
A Tabela 1.1 mostra alguns exemplos de arredondamento e truncamento.

Tabela 1.1 Exemplos de arredondamento e truncamento para n =3.

x
Arredondamento Truncamento
0,27448 0,274 0,274
0,38674 0,387 0,386
1,99994 2,000 1,999
3,32513 3,325 3,325
0,61208 0,612 0,612

Teorema 1.3

Se x arredondado tal que x
~
a aproximao de n-dgitos para o nmero, ento

n
10
2
1
x
~
x

(1.33)

Prova:

i) Se o dgito ( ) 1 n + de x for 0, 1 , 2 , 3 ou 4, ento + = x
~
x com <
n
10
2
1

,
portanto a Eq. (1.33) verdadeira.
ii) Se o dgito ( ) 1 n + de x for 5, 6, 6, 8 ou 9 ento
n
10 x x
~
+ = , onde x um nmero
com n dgitos e todos os outros a direita so zero (i.e., o nmero truncado com n
dgitos.) Portanto,
n
10 x x

+ = , com
2
1
. Assim ( )
n
10 1 x x
~
= como
2
1
1 , ento a Eq.(26) tambm verdadeira e a demonstrao est completa.


Analogamente, quando truncamos x , no dgito n , x obtido, portanto:

n
10 x x

< (1.34)

Prova:

Verifica-se que
n
10 x x

+ = com 1 0 < , assim
n n
10 10 x x

< = , ento
a Eq. (1.34) verdadeira.

1.8 ORDENS DE CONVERGNCIA

16
Em um procedimento numrico executado em um computador, em muitos casos a
resposta do problema no obtida diretamente em um nico clculo. De fato, nestes casos,
necessrio iniciar os clculos a partir de uma estimativa para a resposta e, atravs de uma
seqncia de clculos semelhantes, a estimativa corrigida para produzir respostas
aproximadas, em um procedimento iterativo. Em cada iterao, por um critrio pr-definido
apropriadamente, a preciso da resposta verificada; parando os clculos quando a preciso
da resposta aproximada for satisfatria. Neste ponto, conveniente ressaltar que o
procedimento numrico s ter utilidade prtica se a cada iterao a preciso da resposta
aproximada for progressivamente melhor. Esta discusso, portanto, define o conceito de
convergncia de um procedimento numrico, i.e., quando a resposta aproximada obtida
satisfaz a preciso da resposta esperada para o problema, seja por um procedimento iterativo
ou no. Assim, um procedimento numrico iterativo ser til para obter a resposta aproximada
de um problema somente quando for gerado por uma seqncia convergente.

Seqncias convergentes

Para encontrar a resposta aproximada de um problema por um procedimento
numrico, um programa de computador deve gerar uma seqncia de nmeros L
3 2 1
x , x , x
que se aproximem da resposta correta. Pode-se pensar, por exemplo, na raiz de uma equao
no linear, no valor numrico da derivada ou integral definida de uma funo complicada.
Matematicamente, deseja-se que

x x lim
n
n
=

(1.35)


onde a seqncia real [ ]
n
x converge para o nmero real x, se dado
+
> n , 0
o

tal que
0 n
n n , x x < .
Alm de necessitarmos para um procedimento numrico uma seqncia convergente,
importante saber, se possvel, a priori qual a rapidez com que o procedimento numrico
levar a uma resposta aproximada suficientemente precisa. Desta maneira, define-se o
conceito de ordem de convergncia como um indicador de uma seqncia lenta ou rpida. Os
exemplos simples a seguir ilustram como seqncias podem se aproximar lenta ou
rapidamente da resposta de um problema.

Exemplo 1.5) A equao
n
n
n
1
1 lim e
|

\
|
+ =

define o nmero irracional e (constante de Euler). Se
for utilizada a seqncia
n
n
n
1
1 x |

\
|
+ = em um computador, 2 x
1
= . Prosseguindo os clculos,
verifica-se que para n = 1000, x
1000
= 2,716924. Observa-se que , quando comparado ao valor
exato ... 7182818 , 2 e = , ainda se verifica que
3
1000
10 00136 . 0 x e

> . Portanto, este um
exemplo de seqncia que converge lentamente para a resposta do problema.

Exemplo 1.6) Considerando a seqncia:


17
( )

+ =
=
+
1 n
x
1
x
2
1
x
2 x
n
n 1 n
1



Verifica-se que ao realizar os clculos em um computador 414216 , 1 x e , 2 x
4 1
= = .
Portanto, a resposta aproximada calculada por esta seqncia se aproxima rapidamente do
valor exato da resposta esperada, i.e., ... 41421 , 1 2 =

Grande O e pequeno o

Uma tcnica bastante comum de verificar a rapidez com que uma seqncia converge
para um determinado valor conhecida como metodologia do grande O e do pequeno o.
Trata-se de uma tcnica que permite avaliar a taxa de convergncia de uma seqncia
qualquer a partir da comparao direta com outra sequncia cuja taxa de convergncia
conhecida, i.e., outra seqncia de caractersticas semelhantes seqncia sob anlise.
Sejam [ ]
n
x e [ ]
n
duas seqncias diferentes, de caractersticas matemticas
semelhantes, onde se conhece a taxa de convergncia de [ ]
n
. Para avaliar a taxa de
convergncia de [ ]
n
x , consideram-se duas possibilidades:

I) ( )
n n
O x = (1.36)

Se houver constantes c
1
e c
2
,

tal que
n 1 n
c x quando
2
c n . Ento, se 0
n

para todo n , ento
n
n
x

permanece limitada quando n ,

e

II) ( )
n n
o x = (1.37)

Significa que 0
x
lim
n
n
n
=
|
|

\
|

O entendimento dessas duas definies fica claro observando a situao de 0 x
n
e
0
n
. Observe que no h perda de generalidade nesta anlise, uma vez que a situao
genrica
1
L x
n
e
2
L
n
, onde
1
L e
2
L so duas constantes quaisquer reduzida ao
caso anterior criando duas novas seqncias
1 n n
L x y = e
2 n n
L = . Verifica-se que
0 y
n
e 0
n
, onde, tambm se conhece a taxa de convergncia
n
, uma vez que, a taxa
de convergncia de
n
conhecida a priori. Portanto, pelas Eqs. (1.36) e (1.37), pode-se
afirmar que:

a) Se ( )
n n n
x O x = converge para zero pelo menos to rapidamente quanto
n
, e
18

b) Se ( )
n n n
x o x = converge para zero mais rapidamente do que
n
.


Exemplo 1.7) Considere as seqncias abaixo e determine se elas tm uma convergncia lenta
ou rpida atravs da comparao com a seqncia ,
n
1
que tem uma taxa de convergncia
reconhecidamente lenta.

i)
2
n
1 n +


Soluo:

Compara-se com a seqncia
n
1
fazendo:

0 1
n
1 n
lim lim
n
n
1
n
1 n
n
2
=
+
=

+

, portanto

|

\
|
=
+
n
1
O
n
1 n
2
, i.e., lenta


ii)
n ln n
1


Soluo:

0
n ln
1
lim lim
n
n
1
n ln n
1
n
= =

, portanto

|

\
|
=
n
1
o
n ln n
l
, i.e., rpida

iii)
n
4
n
8

+


0 8
4 n
1
lim 8 lim
4
lim
n
n n
n
1
n
n
8
n
= + =
+

, portanto

|

\
|
= +

n
1
O 4
n
8
n
, i.e., lenta
19

O contedo dessa seo demonstrou a necessidade de se avaliar a rapidez ou a taxa de
convergncia de um procedimento numrico iterativo no computador. Prope-se, portanto,
uma classificao geral para as ordens de convergncia de procedimentos numricos iterativos
com base no erro absoluto da soluo procurada para o problema.
Seja [ ]
n
x uma seqncia de nmeros reais tendendo a

x (soluo exata). Apresenta-

se a seguinte classificao de ordens de convergncia:

i) A taxa de convergncia pelo menos linear se houver uma constante 1 c < e um
inteiro N tal que
( ) N n * x x c * x x
n 1 n

+
(1.38)

ii) A taxa de convergncia pelo menos superlinear se 0
n
e um inteiro N, tal
que
( ) N n * x x * x x
n n 1 n

+
(1.39)


iii) A taxa de convergncia pelo menos quadrtica se C (no necessariamente
menor do que 1), e um inteiro N, tal que

( ) N n * x x C * x x
n 1 n

+
(1.40)

iv) A taxa de convergncia pelo menos ordem , se , C e um inteiro N, tal que

( ) N n * x x C * x x
n 1 n


+
(1.41)

1.9. OS NMEROS NO COMPUTADOR

O computador se comunica com o usurio no sistema decimal, mas trabalha
internamente no sistema binrio, atravs de procedimentos de converso. O comprimento da
palavra do computador impe restries na preciso com que os nmeros reais podem ser
representados.
Em realidade, impossvel a representao dos infinitos nmeros da reta numrica
pelo computador. Portanto, a palavra do computador determina o valor do maior e do menor
nmero em mdulo, possvel de ser representado pelo mesmo. Alm disso, a mesma palavra
s permite ao computador representar um conjunto discreto (finito) de nmeros, i. e., entre um
nmero de mquina e o prximo h um espao vazio que no possvel de ser preenchido
devido limitao construtiva da palavra (hardware). Desta maneira, o computador poder
estar errado at mesmo ao representar um simples.nmero. Este fato no torna os clculos
realizados em computador no confiveis, apenas demonstra a necessidade de controlar o
erro cometido nas aproximaes numricas nos procedimentos computacionais. Numa rotina
de clculo numrico , portanto, fundamental manter os erros sob controle e com baixo valor.

1.10. REPRESENTAES DE NMEROS

20
Um mesmo nmero pode ser expresso em diferentes bases ou sistemas numricos,
bem como em diferentes notaes. Uma base numrica define o numero de caracteres bsicos
para a formao de qualquer nmero a ser expresso naquela base. As diferentes notaes
definem o formato de escrita de um nmero em qualquer base.
Se um mesmo nmero pode ser representado em bases diferentes, necessrio o
estabelecimento de um procedimento de converso do valor de um nmero de uma base para
outra. O computador utiliza-se desses procedimentos para operar internamente na base 2 e se
comunicar com o usurio na base 10.
Um nmero em qualquer base representado por.

n 2 1 0 1 1 m m
b ... b b , a a ... a a

= (1.42)

onde representa a base em que o nmero est representado, os dgitos a representam
a parte inteira do nmero e os dgitos b a parte fracionria.
Note que na Eq. (1.42), quando >10 h a necessidade de utilizao de caracteres
adicionais para a representao dos dgitos bsicos, referentes base escolhida. Os dgitos
bsicos, , de uma determinada base formam o conjunto

{ } 1 0 | N = (1.43)

Observa-se que, para 9 0 , os dgitos bsicos so os conhecidos algarismos da
Aritmtica. No entanto, quando > 9, h a necessidade de se estabelecer caracteres
adicionais para representar os dgitos bsicos restantes. Por exemplo, na base hexadecimal
( ) 16 = , bastante utilizada computacionalmente, os dgitos so 0,1,2,3,4,5,6,7,8,9,
A,B,C,D,E,F. As letras de A a F so utilizadas para representar os dgitos bsicos para
15 10 , de acordo com a Eq. (1.43) para a base hexadecimal ( ) 16 = .
Um nmero na base convertido para a base 10 atravs da seguinte expresso:

n
n
1
1
0
0
m
m 10
b ... b a ... a

+ + + + + = (1.44)

A converso de um nmero na base 10 para uma base feita primeiramente
operando a parte inteira com a seguinte seqncia de clculos:

( )
=

=
=
=
+1 p p p
3 2 2
2 1 1
1 int 10 0
q q R
q q R
q q R
q R

(1.45)


onde
1
q a parte inteira do quociente da diviso da parte inteira de ( )
int 10 10
, , por ,
2
q a
parte inteira do quociente da diviso de
1
q por , e assim sucessivamente at que a parte
21
inteira do quociente
1 p
q
+
< , momento em que o procedimento se encerra. Observe que
( ) p i 0 1 R 0
i
. A parte inteira do nmero convertido para a base , portanto:


0 1 1 p p 1 p
R R ... R R q
+


A parte fracionria de
10
convertida para a base realizando multiplicaes
sucessivas conforme se segue.


.
.
.
L ... L L , S d ... d d , 0
d ... d d , S C ... C C , 0
C ... C C , S b ... b b , 0
n 2 1 3 n 2 1
n 2 1 2 n 2 1
n 2 1 1 n 2 1
=
=
=
(1.46)

As multiplicaes devem prosseguir at que a parte fracionria do resultado seja 0, se
o nmero for representvel exatamente na base . Caso contrrio, o nmero no exato na
base , e os clculos devem parar quando for atingido o nmero de dgitos desejado para o
resultado. O resultado final do nmero convertido na base

... S S S , R R ... R R q
3 2 1 0 1 1 p p 1 p +
= (1.47)

Exemplo 1.8) converta o nmero 8 , 9
10
= para a base 2 = . Arredonde o resultado para 4
dgitos fracionrios.
Soluo:

i) inicialmente converte-se a parte inteira utilizando a Eq. (1.45)

( )
( ) 1 2 4 9 q R ; 4
2
9
q
1 int 10 0
int 10
1
= = = = =

=

0 2 2 4 q q R ; 2
2
4
q
2 1 1 2
= = = = =

0 2 1 2 q q R ; 1
2
2
q
3 2 2 3
= = = = =

Os clculos param neste ponto, uma vez que
3
q < 2

ii) para a parte fracionria, utiliza-se a Eq.(1.46)

22
.
.
.
2 , 1 2 6 , 0
6 , 1 2 8 , 0
=
=


iii) Combinando os itens i e ii, obtem-se


... S S S S S S , R R R q
6 5 4 3 2 1 1 2 3 2
=

... 110011 , 1001
2
=

Finalmente, aproximando para 4 dgitos fracionrios (arredondamento), tem-se

1101 , 1001
2
=

Notao cientfica normalizada

Um nmero qualquer pode ser representado atravs de potncias da base em que se
encontra.
Em notao cientfica normalizada, o nmero representado apenas por uma parte
fracionria onde o primeiro dgito no um zero significativo, multiplicado por uma potncia
de sua base.
Por exemplo, na base 10, representam-se os nmeros:


3
10 5924821 , 0 4821 , 592 =


2
10 823 , 6 006823 , 0

=

generalizando para um nmero real 0 x :

n
10 r x = (1.48)

onde r
10
1
<1, e n um nmero inteiro (> 0, < 0 ou = 0). Note que,para 0 x = , . 0 r =
No sistema binrio, o mesmo nmero 0 x representado por:

m
2 q x = (1.49)
Onde q
2
1
<1, e m um nmero inteiro, sendo que q e m recebem a denominao de
mantissa e expoente, respectivamente. Note que q e m so nmeros na base 2. A equao
(1.49) recebe a denominao de forma normalizada em ponto flutuante.
Para um melhor entendimento da representao interna dos nmeros em um
computador, neste texto, define-se um computador hipottico com as seguintes caractersticas:

8 , 0 2 4 , 0
4 , 0 2 2 , 0
2 , 1 2 6 , 0
6 , 1 2 8 , 0
=
=
=
=
23
1. Comprimento de palavra 32 bits
2. Sinal do n
o
real x 1 bit
3. Sinal do expoente m 1 bit
4. Expoente (n
o
inteiro |m|) 7 bits
5. mantissa (n
o
real |q|) 23 bits

Neste ponto, interessante ressaltar a razo pela qual o computador utiliza
internamente o sistema binrio e no o decimal. Em eletrnica, para a representao dos
dgitos bsicos da base utilizada, faz-se uso de circuitos flip-flop, i.e., que assumem,
portanto, os valores 0 ou 1. Esse hardware se adequa perfeitamente ao sistema binrio.
Para uma palavra definida como nos itens 1 a 5 acima, observa-se uma restrio para
|m| de 7 bits. Em razo disto, nesse computador hipottico, ( )
2
1111111 | m | .
Note que ( ) 127 1 2 1111111
7
2
= = , i. e., a soma dos 7 primeiros termos de uma
progresso geomtrica de razo 2, cujo primeiro termo 1. Assim, verifica-se que
38 127
10 2 ,
de modo que a faixa de nmeros reais representveis nesse computador ( )
38 38
10 , 10 x , e
o menor nmero real possvel de ser representado da ordem de
38
10

.
As linguagens de programao permitem o aumento da preciso nos clculos
realizados no computador, juntando duas palavras, sendo que a mantissa e expoente passam a
ter duas vezes mais bits. Este procedimento denominado de dupla preciso.
Para uma palavra, a mantissa tem 23 bits, na realidade 24, pois o primeiro bit
assumido como tendo o valor 1. Assim, o ltimo dgito da mantissa permite ao computador
representar o menor intervalo possvel entre dois nmeros, com o valor de
7 24
10 2

.
Portanto, nesse computador hipottico, nmeros com uma parte fracionria com mais de 7
dgitos decimais so aproximados.
Para a representao de nmeros inteiros, o primeiro bit reservado para o sinal. Os
31 bits restantes so utilizados para representar o nmero. Assim, a faixa de variao de
nmeros inteiros representveis por esse computador vai de ( ) 1 2
31
at
2147483647 1 2
31
= .
A Figura 1.3 mostra graficamente a alocao de bits em uma palavra do computador
hipottico em anlise. Na figura 1.3, so definidas as seguintes variveis: S-bit para o sinal de
x, s-bit para o sinal de m, E o valor do expoente (7 bits), F reserva 23 bits para a parte
fracionria do nmero real ( )
2
... 1 . x .
Obtm-se desta maneira, o valor.

( )
m S
2 q 1 x = (1.50)

onde ( )
2
F 1 . 0 q = e ( ) E 1 m
s
= , notando que o bit inicial de q conhecido e no
explicitamente armazenado.
24


Figura 1.3 Exemplo de palavra de computador.

Nmeros aproximados de mquina

Continuando a utilizar o computador hipottico definido na seo anterior,verifica-se
que

127 m , 1 q
2
1
, 2 q x
m
< = (1.51)

A representao exata do nmero real x seria

( )
m
2 26 25 24 2 1
2 ... a a a ... a a . x = (1.52)

Onde 1 a
1
= .

O nmero aproximado de mquina obtido simplesmente descartando os bits em
excesso (truncamento), ou fazendo o arredondamento do nmero. Assim, nesse computador
h duas situaes possveis

( )
m
2 24 2 1
2 a ... a a ' x = (1.53)

que caracteriza o truncamento, que coincide com o arredondamento para baixo, e

( ) ( )
m 24
2 24 2 1
2 2 a ... a a " x + =

(1.54)

que caracteriza o arredondamento para cima.
A Figura 1.4 mostra graficamente as duas situaes de arredondamento possveis. O
menor intervalo entre dois nmeros nesse computador hipottico est esquematicamente
representado na Fig. 1.4. No arredondamento, entre ' x e " x , escolhe-se o mais prximo de x
para represent-lo.

(E) (F)
(s)
(S)
1 (implcito)
Nr. de bits: 1 1 7 23
25

x x x
ou
x x x
2
-24
2
-24



Figura 1.4 Arredondamento de um nmero real x .

Se ' x for nmero escolhido para representar x , ento, o erro absoluto dado por


25 m m 24
2 2 2
2
1
' x " x
2
1
' x x

= = (1.55)

O erro relativo dado por


24
25 25
m
25 m
2
2 1
2
q
2
2 q
2
x
' x x


= =

(1.56)

possvel, portanto que o nmero
m
2 q x = esteja fora da faixa permitida pela
palavra do computador. Assim, m > 127 ou m < 127 , caracterizando os fenmenos de
overflow (crtico) ou de underflow (alguns computadores assumem o valor zero neste
caso), respectivamente. A situao de overflow considerada crtica porque compromete o
prosseguimento dos clculos em uma rotina computacional, ao passo que na situao de
underflow os clculos podem prosseguir uma vez que seja assumido o valor nulo para o
nmero.
Se x um nmero real diferente de zero dentro da faixa de representao da mquina,
ento o nmero de mquina x
~
satisfaz a relao


24
2
x
x
~
x

(1.57)

Fazendo ( ) x / x x
~
= , ento ( ) + = 1 x x
~
. Assim


( )
24 24
2 2
x
1 x x


+
(1.58)

A equao (1.58) define o assim chamado erro unitrio de arredondamento, . No
caso do computador hipottico aqui definido,
24
2

.
A anlise mostra que o nmero de bits alocado para a mantissa se relaciona
diretamente com o erro unitrio de arredondamento da mquina. Portanto, esse nmero de bits
determina a preciso da aritmtica computacional, tal que ( ) x
~
x fl = , i. e., o numero de
mquina de ponto flutuante x
~
mais prximo de x, que pode ser ' x ou " x .
26
Em qualquer computador, verifica-se que as quatro operaes aritmticas
(representadas por ) satisfazem

( ) [ ]( ) + = 1 y x y x fl (1.59)

onde < , o erro unitrio de arredondamento da mquina, x e y so nmeros de
mquina.

Exemplo 1.9) Sejam y , x e z nmeros de mquina, estime o erro cometido ao calcular
( ) z y x + no computador hipottico definido pela Fig. 1.3.
Soluo:

( ) [ ] ( ) [ ]( )
24
1 1
2 , 1 z y fl x z y x fl

+ + = +

Onde
1
o erro unitrio de arredondamento cometido pelo computador ao realizar a
operao de multiplicao entre x e ( ) y x + .

( ) [ ]( )( )
24
2 1 2
2 , 1 1 z y x

+ + + =

Onde
2
o erro unitrio de arredondamento cometido pelo computador ao realizar a
operao de soma entre y e z .

( )( )
1 2 1 2
1 z y x + + + + =
( )( )
2 1
1 z y x
~
+ + + =

Onde se constata que
2 1
<<
2 1
+ , portanto desprezvel no valor total da soma (i.e.,
o produto de dois infinitsimos muito menor que o prprio infinitsimo)

( )( )
23
3 3
2 , 1 z y x

+ + = , que o limite superior do erro cometido
pelo computador ao realizar a operao considerada.

Generalizando a anlise apresentada nesta seo, pode-se concluir que em uma
mquina operando na base e tendo n dgitos na mantissa de seus nmeros de ponto
flutuante:

( ) ( ) + = , 1 x x fl (1.60)

onde
n 1
2
1

= (arredondamento),
n 1
= (truncamento), e o erro de arredondamento
unitrio.

1.11. PERDA DE ALGARISMOS SIGNIFICATIVOS

27
Como um resultado de uma programao computacional descuidada, podem ocorrer
erros nos resultados do clculo de expresses matemticas devido perda de algarismos
significativos. Note , por exemplo a seguinte expresso:

1 1 x y
2
+ = (1.61)

Se x for um nmero muito pequeno, ento o nmero de mquina x
~
que aproxima o
nmero exato x , pode acarretar que a soma 1 1 x
~2
= + no computador. Neste caso, a Eq.
(1.61), indicar que 0 y = no computador, o que no o resultado correto.
Uma possvel soluo para o problema reescrever a Eq. (1.61) como


1 1 x
x
1 1 x
1 1 x
1 x y
2
2
2
2
1 2
+ +
=
+ +
+ +
=
+
(1.62)

A equao (1.62) evita a soma de um nmero muito pequeno com um nmero muito
maior, calculando y por uma identidade matemtica, evitando o erro cometido com a Eq.
(1.61).

Exemplo 1.10) No caso do computador hipottico definido na seo 1.10, a mantissa da
palavra capaz de representar at 7 casas decimais aps a virgula. Em um determinado ponto
de um algoritmo, deseja-se realizar neste computador a soma 1 x y
2
+ = , sabendo que
7 2
10 2 , 0 x

= .
Qual o valor de y calculado por esse computador?

Soluo:

i) em notao cientifica normalizada, tem-se:

7 2
10 2 , 0 x

=
+
1
10 1 , 0 1 =

ii) Para realizar a soma, o computador representa
2
x na mesma potncia de 10 que o valor 1,
assim:

( )
1 1 7 2
10 10 2 , 0 x =



( )
1 2
10 00000002 , 0 x =

que o computador aproxima a mantissa para somente 7 dgitos decimais como:


1 2
10 0
~
x

=
+

1
10 1 , 0 1 =

28
Portanto:


1 2
10 1 , 0 1 x y = + =

que demonstra a perda de algarismos significativos nessa operao matemtica.

Exemplo 1.11) Calcule no computador a expresso = x y sen x .
Soluo:

i) sen x x quando x for um nmero pequeno, portanto isso acarretar que 0 y = .
ii) utiliza-se, portanto, uma serie de Taylor para aproximar o sen x , como se segue.


|
|

\
|
+ + = ...
! 7
x
! 5
x
! 3
x
x x y
7 5 3


...
! 7
x
! 5
x
! 3
x
y
7 5 3
+ + =

que apresentar em resultado diferente de zero, e mais prximo da soluo exata, mesmo
utilizando um pequeno nmero de termos na srie de Taylor.

Duas definies importantes

1. Instabilidade numrica:
Um processo computacional dito instvel se pequenos erros cometidos durante as
computaes aumentam a medida que mais clculos so feitos.

Exemplo 1.12) Verifique matematicamente se a equao

=
= =
+
1 n , x
5
4
x
5
21
x
5
1
x , 1 x
1 n n 1 n
1 0
(1.63)

gera a seqncia

n
n
5
1
x
|

\
|
= (1.64)

A seguir calcule no computador o valor de
15
x com a Eq. (1.63) e com a Eq. (1.64).
Comente os resultados.
Soluo:

A) Prova por induo:
i) para 0 n = e 1 n = , a Eq. (1.63) reproduz os valores da Eq. (1.64)
29
ii) assumindo que a Eq. (1.63) tambm reproduz os valores da Eq. (1.64) para m n .
Fazendo m n = , pode-se obter


1 m m 1 m
x
5
4
x
5
21
x
+
=

m
m
1 m m
1 m m
5
1
5
20 21
5
4
5
21
5
1
5
4
5
1
5
21
|

\
|
=

=
=
|

\
|
|

\
|
=

B) No computador, calcula-se
15
x :
Eq. (1.63) ... x
15
= Eq. (1.57) ... x
15
=

Comentrio:
No clculo realizado com a Eq. (1.63) observa-se um erro relativo maior do que...
Conclui-se, portanto, que a subtrao dos dois termos da Eq. (1.63) gera erros de
truncamento no computador no clculo de cada termo, e que vo se acumulando medida que
se avana nos clculos dos termos da seqncia. Isto caracteriza um processo computacional
instvel numericamente.

2. Condicionamento:
Trata-se da sensibilidade dos clculos realizados no computador a pequenas variaes em
dados de entrada. Um problema mal condicionado se pequenas variaes em dados de
entrada produzem grandes variaes na sada.
Em alguns problemas um nmero de condicionamento pode ser definido. Se este
nmero grande, ento o problema mal condicionado.

1.12. PROBLEMAS PROPOSTOS

1.1) Considere a funo definida em R pela seguinte frmula
( )

<
+ +
=

0 x se , e
0 x se , 1 ax x
x f
bx
2

com dois parmetros R b , a
a) Mostre que f contnua no seu domnio.
b) Determine os nmeros a,b de forma que f tenha primeira derivada contnua e ( ) 1 0 f
'
=
c) Mostre que esta funo tm valores positivos, estritamente crescente e satisfaz a
condio ( ) ( ) 0 x f x f lim
x
=
+


1.2) Calcule os limites seguintes

|

\
|
=
+
x
1
arctg sen x lim
x

30

( )
x
0 x
x log lim
+

=

1.3) Estude a funo ( ) ( ) R x , e x 1 x g
x 2
+ =

, considerando especialmente os aspectos
seguintes: continuidade, diferenciabilidade, simetria, extremos locais e absolutos, inflexes e
intervalos de monotonia. Esboce o grfico de g.

1.4)Mostre que o erro de truncamento em ( )
( ) ( )
h
x f h x
f x ' f
0 0
0
+
( ) = " f
2
h
E
T
, onde
h x x
0 0
+

1.5) Estime a derivao para ( ) 5 , 0 x em x sen x f
2
= = para:

a)
( ) ( )
h
x f h x f +


b)
( ) ( )
h 2
h x f h x f +

Qual a aproximao mais precisa e porque?

1.6) Tendo 1
x
e 1
lim
x
0 x
=
|
|

\
|

Mostre que isto correto usando a Srie de Taylor para
x
e

1.7) Se a srie de Taylor para o ln(x) for truncada aps o termo envolvendo
1000
) 1 x ( e for
ento usada para computar o ln(2), qual o limite superior de erro? Sabe-se que para
c = 1 a Srie de Taylor pode ser expressa como:

) x ( E ) c x )( c ( f
! K
1
) x ( f
n
K ) K (
n
0 K
+ =

=


Onde o erro dado por:

1 n ) 1 n (
n
) c x )( ( f
)! 1 n (
1
) x ( E
+ +

+
=

Note que, para c = 1, tem-se que: c 1 < <
Como 1 1
) 1 n (
< <
+


1.8) Para pequenos valores de x, qual a preciso da aproximao
2
x
2
1
1 x cos ? Para que
faixa de valores esta aproximao dar resultados corretos at 3 casa decimais arredondadas?

31
1.9) Use o Teorema de Taylor com n = 2 (dois termos) para provar que a desigualdade
x
e x 1 < + vlida para todos os nmeros reais, exceto x = 0.

1.10) Ordens de convergncia:

a) Prove que: se ) ( o x
n n
= , ento ) ( O x
n n
= . Mostre que o inverso no verdadeiro.
b) Prove que: se ) ( o x
n n
= e ) ( o y
n n
= , ento ) ( o y x
n n n
= + .
c) Seja uma seqncia
n
x definida indutivamente por ) x ( F x
n 1 n
=
+
. Suponha que
x x
n
quando n e . 0 ) x ( ' F = Mostre que:

) x x ( o x x
n 1 n 1 n 2 n
=
+ + +


1.11) Considere a seguinte funo:

(a) Determine o valor de c de modo que a funo seja contnua em todo o domnio real.
(b) Calcule a derivada da funo , empregando a definio de derivada, para todo o
domnio real. Considere o valor de c calculado no item (a). A funo resultante
contnua?

1.12) Mostre que as seguintes funes apresentam pelo menos uma raiz real nos intervalos
dados. Apresente, graficamente, possveis solues (zeros) para as funes:
(a)
(b)
(c)
(d)

1.13) Obtenha o polinmio de Taylor de grau trs , em torno de , para as
seguintes funes. Avalie, ento, as funes, , e os respectivos polinmios de Taylor,
, para :
(a)
(b)
(c)

1.14) Empregando-se a aritmtica de truncamento (e, em seguida, a aritmtica de
arredondamento), com 3 algarismos significativos, efetue os seguintes clculos. Calcule,
tambm, o erro absoluto e o erro relativo para cada caso:
(a)
32
(b)
(c)
(d)
(e)
(f)

1.15) Use aritmtica de arredondamento, com quatro algarismos, para determinar a
aproximao para as razes das seguintes equaes quadrticas. Empregue, tambm, formas
alternativas frmula de Bhaskara padro para encontrar tais razes. Calcule os erros
absolutos e relativos.
a)
b)

1.16) A seqncia , descrita por se , chamada
seqncia Fibonacci. Seus termos ocorrem na natureza, como na disposio de ptalas
arranjadas em espiral ou na construo da concha de caramujos. Considere a seqncia ,
onde . Supondo que exista, mostre que . Esse
nmero conhecido como razo urea.

1.17) Determine o nmero de termos necessrios para aproximar at 8 algarismos
significativos usando a aproximao por srie de Maclaurin. Calcule a aproximao usando
um valor de . Escreva um cdigo computacional para determinar o seu resultado.

1.18) A Lei de Stefan-Boltzmann pode ser utilizada para se fazer uma estimativa da taxa de
radiao de calor q que deixa uma superfcie, atravs da relao:

onde q est em Watts; a emissividade trmica,que caracteriza as propriedades de emisso
de uma superfcie (adimensional); a constante de Stefan-Boltzmann (=5,67x10
-8
W/m
2
K
4
);
e T a temperatura absoluta da superfcie (em Kelvins). Determine o erro de q para uma placa
de ao com . Compare seus resultados com o erro
exato. Repita os clculos com . Interprete os resultados.

1.19) Para qualquer nmero real , a frmula

define as chamadas normas-p. Prove que para cada ,
33

Sugesto: lembrar que o logaritmo do limite o limite do logaritmo e vice-versa.

Projetos:
1. Escreva um cdigo computacional para converter nmeros informados em uma base
binria, decimal ou octal para as outras duas bases.
2. Outro modo de se escrever um termo da seqncia de Fibonacci empregando-se a
frmula de Binet, dada por:

Implemente um cdigo computacional empregando-se as duas frmulas de clculo para
os termos da seqncia de Fibonacci (a primeira forma dada no exerccio 6). Compare
os resultados obtidos para cada uma das duas frmulas para a seqncia e, para o termo
, calcule tambm a razo urea (nmero ), dado por

cujo valor, quando dado por . Pode-se demonstrar,
matematicamente, que as sries so equivalentes. E computacionalmente, h diferenas?
Se houver, justifique-as.