Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
FACULDADE DE MATEMTICA
PROJETO PIBEG
Unidade
Zeros de funes reais
0011 0010
1
452
Sumrio:
0011 0010
1 Introduo
1.1 Isolamento das razes
1.2 Refinamento
2 Mtodo da Bisseo
2.1 Interpretao Geomtrica
2.2 Algoritmo
2.3 Estimativa do Nmero de Iteraes
2.4 Estudo da Convergncia
3 Mtodo do Ponto Fixo
3.1 Interpretao Geomtrica
3.2 Estudo da convergncia do MPF
3.3 Algoritmo
3.4 Ordem de convergncia do MPF
4 Mtodo de Newton - Raphson
4.1 Interpretao Geomtrica
4.2 Estudo da convergncia do MNR
4.3 Algoritmo
4.4 Ordem de convergncia do MNR
1
452
1 Introduo
0011 0010
1
452
r1
0011 0010
r2
r3
1
452
x0
dado
xi F ( xi 1 ),
i 1,..., n
1
452
Fase II - Refinamento:
Consiste em, escolhidas aproximaes iniciais no intervalo
[a,b], melhor-las sucessivamente at se obter uma
aproximao para a raiz dentro de uma preciso prefixada.
0011 0010
1
452
r1 [4,3]
r2 [0,1]
r3 [2,3]
40
30
20
10
0
r1
r3
r2
-10
-20
0011 0010
-30
-4
-3
-2
-1
1
452
4
Resoluo:
7
6
x e x
g ( x) e x
h( x ) x
r [0,1]
3
2
1
g(x)
-1
-2
-2
0011 0010
h(x)
-1
1
452
f(x)
r2
r1
r3
f(x)
0011 0010
r1
r2
b
x
1
452
o sinal em [a, b], ento existe uma nica raiz neste intervalo.
f(x)
f(x)
b
b
f ' ( x) 0, x [a, b]
0011 0010
f ' ( x) 0, x [a, b]
1
452
x
f(x)
-10 -5
-
-3
-1
3
x
9 conserva o sinal
- Derivando a funo descobrimos que
em cada um dos intervalos, portanto cada raiz nica no intervalo.
0011 0010
1
452
Observao
Se f (a) f (b) > 0 ento pode existir ou no razes no intervalo [a,b].
f(x)
Graficamente:
f(x)
0011 0010
f(x)
r1
r2
r1
1
452
1
452
| f ( xi ) |
| xi r |
f(x)
| xi r |
0011 0010
| f ( xi ) |
xi
xi
1
452
x
| xi xi 1 |
b) Erro relativo:
xi xi 1
xi
0011 0010
1
452
2 Mtodo da Bisseo
0011 0010
1
452
0011 0010
1
452
a10
ax21
ax32
bx3210
b0
Iterao 3:
2:
1:
a321 = xa210
b132 = xb021
r a132 , b132]
1
452
2.2 Algoritmo
Seja f (x) contnua em [a, b] e tal que f (a) f (b) < 0.
1) Dados iniciais:
a) intervalo inicial [a, b];
b) preciso
2) Se (b a) < , ento escolha para r x [a, b]. FIM.
3) k = 1
ab
2
5) Se f (a) f ( xk ) 0 , faa a xk . V para o passo 7
4) xk
6) b xk .
7) Se (a b) < , escolha para r x [a, b]. FIM.
8) k = k +1. Volte ao passo 4.
0011 0010
1
452
b0
a1
b1
a2
b2
a3 b3
b0 a0
2
b1 a1 b0 a0
2
22
0011 0010
b2 a2
2
b0 a0
2k
b0 a0
23
1
452
b0 a0
k
2
b0 a0
2
b0 a0
k log 2 log
log(b0 a0 ) log
k
, k
log 2
0011 0010
1
452
t IR
s IR
ak bk
ak xk bk , k
2
1
452
0011 0010
b0 a0
0
k
k
k
2
lim bk lim ak 0 lim bk lim ak Ento t = s
k
k
k
k
lim (bk ak ) lim
k
k
2
2
Resta provarmos que
0 [ f ()]2 0 f () 0
0011 0010
1
452
0011 0010
1
452
Seja f (x) uma funo contnua em [a, b], intervalo que contm
uma raiz r da equao f (x) = 0.
O Mtodo da Iterao Linear (MIL ou MPF) consiste em
transformar f (x) = 0 em uma equao equivalente x = (x), onde
(x) uma funo de iterao.
A partir de uma aproximao inicial x0 gerar uma seqncia
{ xk } .
de aproximaes sucessivas atravs do processo
iterativo dado por:
xi ( xi 1 ), i 1, 2,
0011 0010
1
452
yx
r x2
0011 0010
x1
x0
y (x)
1
452
(
x
)
1 1 6 x
6 x
xb)
6 1.65 x 2.625
1
2
x2 6 26.6253 12.088
x1
6 1.5 1.651
x2
6 1.651 1.632
x3
6 1.632 1.635
6 1
d)
4
2
no converge
x
x
converge
36 (212.088) 3 1772.3
xc)
3
x 1
e)
0011 0010
1
452
f(x)
x0
x1
x2
(x)
f(x)
x2
Converge
x0
x1
Converge
(x)
f(x)
f(x)
(x)
x2
0011 0010
x1 x0
No Converge
x2 x0
x1
1
452
No Converge
ii) | ' ( x) | M 1, x I
iii) x0 I
ento a seqncia {xk } gerada converge para a raiz r.
0011 0010
1
452
Demonstrao
1) Provemos que se x0 I , ento xk I , k :
r uma raiz exata da equao f (x) = 0.
Assim, f (r ) 0 r (r ) e,
para qualquer k, temos: xk 1 ( xk )
xk 1 r ( xk ) (r ) (1)
x) contnua e diferencivel em I, ento, pelo Teorema do Valor
Mdio, se xk I , existe ck entre xk e r tal que:
xk 1 r ' (ck ) ( xk r )
0011 0010
1
452
Ento, k ,
| xk 1 r | | ' (ck ) | | xk r | | xk r |
1
| x1 r | | ' (c0 ) | | x0 r | M | x0 r |
M
0011 0010
( c0 est entre x0 e r )
1
452
| x2 r | | ' (c1 ) | | x1 r | M | x1 r | M 2 | x0 r |
M
( c1 est entre x1 e r )
| xk r | | ' (ck 1 ) | | xk 1 r | M | xk 1 r | M k | x0 r |
M
( ck est entre xk e r )
Ento,
lim | xk r | lim M k | x0 r | 0
k
Assim,
lim | xk r | 0 lim xk r.
k
0011 0010
1
452
ou se | x1 x0 | 2
6) x0 x1
0011 0010
1
452
lim
(2)
| ek 1 | C | ek | p para k
1
452
xk 1 r ' (ck )( xk r )
xk 1 r
' ( ck )
xk r
Tomando o limite quando k
lim
xk 1 r
lim ' (ck ) ' ( lim (ck )) ' (r )
k
k
xk r
Portanto,
ek 1
' (r ) C e | C | 1
k e
k
lim
1
452
4 Mtodo de
Newton - Raphson
0011 0010
1
452
( x) x A( x) f ( x)
1
452
1
f ' (r )
1
(desde que f ' (r ) 0).
f ' ( x)
donde tomamos
Ento, dada f (x), a funo de iterao representada por
f ( x)
( x) x
f ' ( x)
2
[ f ' ( x)]
[ f ' ( x)]2
' (r )
0011 0010
f (r ) f ' ' (r )
0
2
[ f ' (r )]
1
452
f (x)
L1
x0
L0
x2
0011 0010
x1
1
452
f ( xk )
convergir para a raiz.
f ' ( xk )
Demonstrao
Devemos provar que as hipteses do Teorema 2 esto satisfeitas
para
f ( x)
( x) x
f ' ( x)
0011 0010
1
452
f ( x) f ' ' ( x)
' ( x)
[ f ' ( x )]2
1
452
1) Dados iniciais:
a) x0 : aproximao inicial;
b) 1 e 2 : precises
2) Se | f ( x0 ) | 1 , faa r x0 .FIM
3) k = 1
4)
x1 x0
f ( x0 )
f ' ( x0 )
5) Se | f ( x1 ) | 1
ou se | x1 x0 | 2
6) x0 x1
7) k = k + 1
Volte ao passo 4.
0011 0010
1
452
, [ x,r ]
1!
2!
' (r ) 0
mas, (r ) r
x (x )
i 1
i
ou, xi r
lim
i
ei
ei 1
0011 0010
( xi 1 r )
2
" (i 1 )
lim
i
2
ei
ei 1
1
452
se,
xi 1 r
i 1 r
portanto lim
i
ei
ei 1
" (i 1 )
" (r )
C
2
2
C ei21
0011 0010
1
452