Você está na página 1de 34

4.

Clculo de Valores de Funes


4.1 Clculo do Valor de um Polinmio pelo Esquema de Horner
Seja um polinmio de grau n ,
( )
1 1
0 1 1
n n
n n
P x x x x

= o +o + +o +o com
coeficientes pertencentes aos reais - R, qualquer que seja
i
o . Seja
determinar o valor deste polinmio para o ponto
( )
1 1
0 1 1
n n
n n
x P

= , , = o , +o , + +o , +o .
O clculo de P(,) mais conveniente quando realizado como se segue:
Seja a seguinte fatorao:
( ) ( ) ( ) ( ) ( ) 0 1 2 1
n
n n
P , o , o , o , , o , o

= + + + + + (4.1.1)
Fazem-se agora as seguintes operaes:

2

0 0
1 1 0
2 2 1
1 n n n
| o
| o | ,
| o | ,
| o | ,

=
= +
= +
= +
(4.1.2)
onde ( )
n
P | , = desejado. Estas operaes so conhecidas como mtodo de
Hrner e o esquema utilizado por ele :

( )
0 1 2
0 1 1
0 1 2
_______________________________________
=
n
n
n
P
o o o o
| , | , | ,
| | | | ,

+
=
(4.1.3)
Este processo evita operaes de exponenciao. Estas operaes so
justamente aquelas utilizadas no processo da diviso sinttica a ser visto
a seguir. De fato, escrevendo-se ( ) ( )
n
P x P x = um polinmio de n-sima
ordem, ou ainda:
( ) ( ) ( )
1 0 n n
P x x Q x R ,

= + (4.1.4)
V-se que ( )
0 n n
R P , | = = e facilmente verificvel que, usando as
quantidades em (4.1.2) se tem:
( )
1 2
1 0 1 1
n n
n n
Q x x x | | |


= + + + (4.1.5)
Dividindo novamente a expresso acima por x , obtm-se:
( ) ( ) ( )
1 2 1 n n
Q x x Q x R ,

= +
ou ainda ( ) ( ) ( ) ( )
2
2 1 0 n n
P x x Q x x R R , ,

= + +
Derivando a expresso acima, encontra-se: ( ) ( ) ( )
2 1
2
n n
P x x Q x R ,

'
' = + .
Em x , tem-se: ( )
1 n
P R ,
'
= ; Isso mostra que realizando a diviso sinttica
de ( )
1 n
Q x

por ( ) x , , determina-se ( )
2 n
Q x

e ( )
1 n
R P , ' = .

4
Procedendo-se assim, sucessivamente, tem-se:
( ) ( ) ( ) ( )
1
1 1 0
n n
n n n
P x x R x R x R R , , ,

= + + + + (4.1.6)
Essa sistemtica pode ser colocada em uma tabela da seguinte forma:
0 0 . . . . 0 0

0
|
0

0 0
0 R
n

1
|
1

1 0 1
R
n-1
...

n-2
|
n-2

2 3 2 n n n

n-1
|
n-1

1 2 1 n n
R

n
R
0

Tabela 4.1 Esquema de Horner


6
Qualquer entrada na tabela acima que no esteja nem na primeira linha
ou na primeira coluna (as quais so dadas inicialmente) calculada pela
multiplicao da entrada acima por , e adicionando-se o resultado a
entrada esquerda.
Assim pode-se ver que, por diferenciao de (4.1.6), tem-se:

=
=
1 ( )
!
k
n
k k
x
d P x
R
k dx
(4.1.7)

4.2 Clculo da Soma de Sries Numricas
Definio 1: A srie numrica

1 2 n n
S a a a = + + + (4.2.1)
dita srie convergente se existe um limite da seqncia de sua soma
parcial:
lim
n
n
S S

= (4.2.2)
onde o nmero S denominado de soma da srie.
Assim, a convergncia da srie (4.2.1) equivalente convergncia da
seqncia de quaisquer de suas somas parciais, como j foi visto. De
acordo com o critrio de Cauchy, esta seqncia converge se, e somente
se para um arbitrrio 0 c > existe um
0
n tal que
n p n
S S c
+
< para todo
0
n n > e

8
qualquer 0 p > . Da frmula (2) tem-se
n n
S S R = + onde
n
R resto da srie,
para cada n . Assim 0
n
R quando n .
Para se achar a soma S com uma determinada preciso especificada c ,
devemos escolher um nmero de termos tal, que
n
R c < se verifique.
Deve-se notar que os termos
1 2
, , a a so determinados aproximadamente.
Assim, a soma
n
S normalmente arredondada para um determinado
nmero de casas decimais. Para se assegurar que estes erros no
influenciem na preciso requerida, pode-se usar o seguinte
procedimento: em geral, escolhem-se trs nmeros positivos
1 2 3
, , c c c tais
que:

1 2 3
c c c c = + + (4.2.3)
Toma-se um nmero de termos da srie tal que:

n
R c s (4.2.4)
Agora se calcula os termos 1, 2, ,
k
a k n = com o limite de erro absoluto
no excedendo a
2
/ n c , sendo n o nmero de termos usado na srie. Seja
agora 1, 2, ,
k
k n o = os correspondentes termos
k
a calculados de maneira
que:

k k
a
n
c
o s
Assim, tem-se a soma
1
1
n
n k
k
S o
=
=

, cuja operao de erro satisfaz a


condio:

1
2 n n
S S c s (4.2.5)

10
Agora, arredonda-se o resultado de
1
n
S , para um nmero
2
n
S tal que seja
satisfeita a seguinte condio:

1 2
3 n n
S S c s (4.2.6)
Ento o nmero
2
n
S o valor aproximado da soma desejada S da srie
(4.2.1) com a preciso especificada c. Pois, de (4.2.4), (4.2.5) e (4.2.6)
temos:

2 1 1 2
1 2 3 n n n n n n
S S S S S S S S c c c c s + + s + + = (4.2.7)
Proposio 1: Se os termos de uma srie
1 2 n
a a a + + + + so
correspondentes aos valores de uma funo positiva monotnica e
crescente ( ) f x , isto :
( ) { } , 1, 2,
n n
a f x n = e
Ento

1
n
n n
f x dx R f x dx
Proposio 2: Se a srie { }
1 2 k n
a a a a = + + + + uma srie alternada:
1 2 3
0, 0, 0, a a a > < > e o mdulo de seus termos for decrescente
monotonicamente, ento:

1 n n
R a
+
s
e o sinal de
n
R o sinal de
1 n
a
+
.
Exemplo
Ache a soma da srie:
3 3 3
1 1 1
... ...
1 2
S
n
, com preciso de 0,001.
Soluo:

12
Sejam os n primeiros termos, ento
1 n
R c s , logo para os trs
primeiros termos tem-se:

3
1
1 1 1
10
1 4 4000 n
c c
| | | |
= = =
| |
+
\ . \ .

A funo correspondente ( ) f x ( )
3
1
f x
x
= logo:
3
1 1
1
( )
n
k n k n
R f k
k

A estimativa de
n
R dada por
3 3 2
1 1 1
2 4000
n
n n
dx
dx R
x x n
, donde
se conclui que: 2000 44,7 n >
Seja ento 45 n = (que o prximo inteiro aps 44,7), logo o erro
ser:

5
5
1
2
1 10 5
10
2 4 45 9
c
c

| | | |
= = =
| |
\ . \ .
.
Fazendo a soma dos quarenta e cinco primeiros termos com 5
casas decimais, encontra-se:

45
1, 20178 S =
Pois a ordem de c
2
de 10
-5
onde o expoente define o nmero
mnimo de casas decimais com que se deve trabalhar.
Arredondando-se assim para trs casas decimais, visto que o erro c
da ordem de 10
-3
, tem-se
45
1, 202 0, 001 S = .
Sendo o erro de arredondamento igual a
45
1, 202 1, 20179 c = , ou seja,
3
0, 00022 c c = < .
Abaixo se apresenta a Tabela 4.2 com a soma das series mais comuns:

14

Soma Forma resultante
0
0
n
k
k
ar r
1
, 1
1
n
ar a
r
r

1
n
k
k
1
2
n n

2
1
n
k
k
1 2 1
6
n n n

3
1
n
k
k
2
2
1
4
n n

0
, 1
k
k
x x
1
1 x

1
1
, 1
k
k
kx x
2
1
1 x

Tabela 4.2 Sries mais usuais
Teorema: Sejam
0
k
k
k
f x a x e
0
k
k
k
g x b x . Ento

0
k
k k
k
f x g x a b x (4.2.8)

0 0
k
k
j k j
k j
f x g x a b x (4.2.9)
A verificao deste teorema trivial. Fica como exerccio para os
leitores.


16
4.3 Clculo de Valores de Funes Analticas
Definio 1: Uma expresso da forma ( )
0
k
k
k
a x ,


sendo ,

e
k
a constantes, denomina-se srie de potncias em torno do ponto , .
Teorema 1: Sejam
0
k
k
k
a x

e
0
k
k
k
b x

duas sries de potncia convergentes


no intervalo x r < , com 0 r > . Ento a srie
0
k
k
k
c x

com
0
k
k j k j
j
c a b

=
=

,
conhecida como produto de Cauchy das sries dadas, tambm
converge com relao x r < e mais:

0 0 0
k k k
k k k
k k k
a x b x c x

= = =
| || | | |
=
| | |
\ .\ . \ .


para todo x do intervalo.
Teorema 2: Sejam ( )
0
k
a k
k
f x a x

=
=

e ( )
0
k
b k
k
f x b x

=
=

duas sries de potncia


convergentes no intervalo x r < , com 0 r > , para respectivamente ( ) a x e
( ) b x , isto , ( )
0
lim
k
k
k
k
a x a x

=
=

e ( )
0
lim
k
k
k
k
b x b x

=
=

, ento: ( ) ( )
a b
f x f x o | +
convergente, e converge para ( ) ( ) a x b x o | + .
Teorema 3: Se
0
k
k
k
a x

uma srie de potncia convergente no


intervalo x r < , com 0 r > . Ento a srie de nmeros { }
k
a formada pelos
coeficientes { } 1, 2,
k
a k e , da srie de potncia dada, tambm
convergente e mais o lim 0
k
k
a

= .
Corolrio 1: Se
k
a no tende para zero quando k , ento { }
k
a
diverge.

18
Teorema 4: (Teste de Comparao). Sejam
0
k
k
a

e
0
k
k
b

duas sries
com termos positivos, ento:
i - se
0
k
k
a

converge e
k k
b a s para todo k ,
0
k
k
b

tambm converge.
ii - se
0
k
k
a

diverge e
k k
b a > para todo k ,
0
k
k
b

tambm diverge.
Teorema 5: (Teste da Razo). Se
0
k
k
a

uma srie de termos positivos


e suponha-se que exista
1
lim
k
k
k
a
L
a
. Ento, a srie dada converge se 1 L < e
diverge se 1 L > .



Teorema 6: (Teste M de Weierstrass
1
). Se
0
k
k
M uma srie de termos
positivos convergentes e se
1
k
k
f x uma srie de funes tais que
, ;
k k
f x M k a b , ento a srie de funes uniforme e absolutamente
convergente em | | ; a b .

1
Karl Weierstrass (1815-1897) foi um grande matemtico alemo do sculo 19 e grande estudioso da continuidade das funes.

20
Definio 2: Uma funo real ( ) f x chamada de funo analtica
num ponto , se na sua vizinhana x R , < ela expansvel em uma srie
de potncia ou srie de Taylor
2
:

( )
2
( ) ( )
( ) ( ) ( ).( ) .( ) ... .( ) ...
2! !
n
n
f f
f x f f x x x
n
(4.3.1)
Definio 3: Quando, na srie de Taylor, faz-se 0 , = tem-se a
srie conhecida como srie de MacLaurin:

( )
2
(0) (0)
( ) (0) (0).( ) .( ) ... .( ) ...
2! !
n
n
f f
f x f f x x x
n
(4.3.2)

2
Brook Taylor (1685-1731) descreveu essa srie em 1715 num artigo denominado Methodus incrementorum directa et inversa.
Casos especiais desta srie foram utilizados anteriormente por Isaac Newton, James Gregory e outros.
Definio 4: A diferena

( )
0
( )
( ) ( ) .( )
!
k n
k
n
k
f
R x f x x
k
,
,
=
=

(4.3.3)
chamada de termo restante ou erro resultante da troca da funo ( ) f x
pelo polinmio (srie) de Taylor:

( )
0
( )
( ) .( )
!
k n
k
n
k
f
P x x
k
,
,
=
=

(4.3.4)
O desenvolvimento de ( )
n
R x resulta em:

( 1)
1
( ( ))
( ) .( )
( 1)!
n
n
n
f x
R x x
n
, u ,
,
+
+
+
=
+
(4.3.5)

22
Em particular, para a srie de Maclaurin
3
, o erro resultante :

( 1)
1
( )
( ) .( ) , 0 1
( 1)!
n
n
n
f x
R x x
n
u
u
+
+
= < <
+
(4.3.6)
Para uma funo exponencial qualquer se pode desenvolver uma srie
para determinar seu valor. Em particular, para a funo exponencial
x
e ,
temos o seguinte desenvolvimento em srie:

0
!
k
x
k
x
e x
k

=
= < <

(4.3.7)

3
Colin MacLaurin (1698-1746) mais conhecido como o melhor defensor do clculo de Newton quando este sofreu um ataque
do filsofo irlands Bishop George Berkeley. A srie que leva seu nome no foi descoberta por ele; ela foi conhecida por outros
matemticos desde o sculo 17, antes mesmo do seu nascimento. O grande mrito de MacLaurin o estabelecimento de um
mtodo para resolver um sistema de equaes lineares, hoje conhecido com regra de Cramer, que Cramer s veio a publicar
aps 1750, portanto aps a morte de MacLaurin.
conveniente realizar os clculos usando a seguinte relao de
recorrncia:

0
x
k
k
e u

=
=

(4.3.8)
sendo
1 k k
x
u u
k

| |
=
|
\ .
e a soma da srie
1
, 1, 2,
k k k
S S u k

= + = , onde
0
1 u = e
0
1 S = .
Se n termos so usados para avaliar
x
e , ento o erro ser:
( ) 0 2
n n
R x u x n < < s (4.3.9)
O trmino da soma pode tambm ser feito, quando o termo
k
u da srie for
menor, em mdulo, a um determinado erro c desejado:
k
u c < , para
2
n
x < .
O termo restante da srie (4.3.7) acima tem a seguinte forma:

24

1
( ) . , 0 1
( 1)!
x
n
n
e
R x x
n
u
u
+
= < <
+
(4.3.10)
Para valores absolutos de x muito grandes, a srie (4.3.7)
computacionalmente inconveniente. conveniente realizar os clculos
usando o seguinte procedimento: representando x na forma de uma
soma ( ) ( ) int frac x x x = + , onde ( ) int x a parte inteira do nmero x e ( ) frac x a
parte decimal deste mesmo nmero. evidente que ( ) 0 frac 1 x < < , ento

( ) ( ) int frac x x x
e e e = . O primeiro fator determinado pela multiplicao de
e ( ) int x -vezes. O segundo fator calculado com ajuda de uma expanso
em srie de potncia:

( )
( )
frac
0
frac
!
k
x
k
x
e
k

=
| |
= |
|
\ .

(4.3.11)
Para ( ) 0 frac 1 x < < a srie acima converge rapidamente, sendo seu termo
restante igual a:
( ) ( ) ( )
1
1
0 frac frac
!
n
n
R x x
n n
+
| | | |
s <
| |

\ . \ .
(4.3.12)
Para funes trigonomtricas, como por exemplo ( ) sin x e ( ) cos x , tambm
possvel desenvolver srie de potncias, como por exemplo:

2 1
0
sin( ) ( 1)
(2 1)!
k
k
k
x
x x
k
+
=
= e
+


Com
2 1
1
(2 1)!
n
n n n
x
R a e a
n


2
0
cos( ) ( 1)
(2 )!
k
k
k
x
x x
k

=
= e



26
Com
2
1
(2 )!
n
n n n
x
R a e a
n


4.4 Clculo de Funes por Iteraes
Qualquer funo analtica ( ) y f x = pode ser representada de diferentes
maneiras, uma das quais em srie de potncias, como foi visto no tpico
anterior. Aqui, utilizar-se- processos de construo de mtodos
iterativos para calcular seus valores.

28
Teorema 1: (Teorema do Valor Mdio). Seja ( ) y f x = uma funo
contnua no intervalo [a, b] e derivvel no intervalo (a, b), isto ,
pertencente ao espao ( )
1
, a b ; Assim, existe no mnimo um nmero ,
entre a e b tal que:
( )
( ) ( ) f b f a
f
b a
,

=

(4.4.1)
Estabelecendo que b a h = + , ento se pode escrever a expresso anterior
como:
( )
( ) ( )
0 1
f a h f a
f a h
h
u u
+
' + = < < (4.4.2)
Teorema 2: (Teorema de Rolle
4
). Seja ( ) y f x = uma funo contnua no
intervalo [a, b] e derivvel no intervalo (a, b), isto , ( ) ( )
1
, f x a b e . Se
( ) ( ) f a f b = , ento existe no mnimo um nmero , entre a e b tal que
( ) 0 f , ' = .
Seja uma funo analtica ( ) y f x = . Seja sua forma implcita ( ) , 0 F x y = e
suponha-se que esta pertena a ( )
1
, a b , isto , seja contnua e tenha
derivada parcial contnua diferente de zero no intervalo de sua
definio.
Seja ento
n
y uma aproximao do valor de y . Usando-se o teorema do
valor mdio temos:

4
Este teorema atribudo a Michel Rolle (1652-1719) apareceu, em 1691, num tratado denominado Mthode pour rsoundre ls
galits.

30
( ) ( ) ( ) ( )
1
, , ,
n n n
F x y F x y y y F x y ' = (4.4.3)
onde
1
n
y um valor intermedirio entre
n
y e y . Assim, como por
definio ( ) , 0 F x y = temos:

( )
( )
1
,
,
n
n
y n
F x y
y y
F x y
=
'
(4.4.4)
Como no se conhece o valor de
1
n
y , podemos faz-lo, por aproximao
igual a
n
y , isto ,
1
n n
y y ~ , do que se pode obter o seguinte processo
iterativo para calcular o valor de y :

( )
( )
1
,
, 0,1, 2,
,
n
n n
y n
F x y
y y n
F x y
+
= =
'
(4.4.5)
O processo de convergncia deste mtodo iterativo assegurado quando
( ) ,
y
F x y e ( ) ,
yy
F x y mantm o mesmo sinal no intervalo sob considerao e
que contm a raiz. Sendo o valor inicial de y arbitrrio, este deve ser
escolhido o mais prximo do valor desejado de y , como forma de
acelerar a convergncia do processo.
O processo iterativo deve continuar at que
1 n n
y y c

< , onde c uma


preciso desejada. Estritamente falando, isto no garante que
n
y y c < .
Por esta razo, cada caso concreto requer investigao adicional. O
mrito dos processos iterativos que as operaes so do mesmo tipo e
so fceis de programar em um computador.


32

EXERCCIOS
1. Clculo de recprocos:
Seja
1
y
x
= . Por definio, 0 x > . Fazendo ( )
1
, 0 F x y x
y
~ = , ento a
derivada de F em relao a y , : ( )
2
1
,
y
F x y
y
= .
Viu-se acima que
( )
( )
1
,
, 0,1, 2,
,
n
n n
y n
F x y
y y n
F x y
+
= =
'
, logo temos:
( )
1
2
1
2 , 0,1, 2,
1
n
n n n n
n
x
y
y y y xy n
y
+
| |

|
\ .
= = =
| |
|
\ .

Assim obtm-se o processo iterativo sem diviso. O valor inicial
0
y
escolhido de forma que
0
1
1
2
xy s < .
2. Clculo de razes quadradas:
Seja y x = com 0 x > . Logo ( )
2
, 0 F x y y x = = , donde ( ) , 2
y
F x y y = .
Aplicando o mtodo iterativo tem-se:

( )
( )
1
,
, 0,1, 2,
,
n
n n
y n
F x y
y y n
F x y
+
= =
'


2
1
1
, 0,1, 2,
2 2
n
n n n
n n
y x x
y y y n
y y
+
| |
= = + =
|
\ .

Este processo conhecido como algoritmo de Hero.

34
3. Clculo de razes cbicas:
Fazendo o desenvolvimento anlogo ao exemplo 2 acima,
encontramos:

1 2
1
2
3
n n
n
x
y y
y
+
| |
= +
|
\ .

4. Clculo de razes p-simas (provar como exerccio):
( )
1 1
1
1
n n p
n
x
y p y
p y
+
| |
= +
|
\ .