Matemtica Computacional
Engenharia Electrotcnica e de Computadores
FCTUC
2010
Captulo 1
Aritmtica computacional
A anlise numrica a disciplina da matemtica que se ocupa da elaborao e estudo de
mtodos que permitem obter, de forma efectiva, solues numricas para problemas matemticos, quando, por uma qualquer razo, no podemos ou no desejamos usar mtodos
analticos.
Para perceber melhor o que se pretende dizer por de forma efectiva, consideremos o
problema do clculo do determinante. Como sabido, o determinante de uma matriz
quadrada A = (aij )ni,j=1 dado pela expresso
det (A) =
a1i1 anin ,
Aritmtica computacional
Aritmtica computacional
1
10
<<3
71
7
Aritmtica computacional
funcionou!), foi apenas com o aparecimento do ENIAC, nos anos 40, que a cincia usufruiu,
de facto, desses dispositivos de clculo.
1.1
f (b) f (a)
.
ba
f (b) f (a)
.
ba
Aritmtica computacional
a
-0.4
-0.2
0.2
b
0.4
0.6
0.8
1.2
A introduo de erros num determinado processo de clculo pode ter vrias causas.
nosso objectivo analisar quais so essas causas e estudar mecanismos que nos permitam
determinar limites superiores para os erros obtidos no nal do processo de clculo.
Para iniciar o nosso estudo, denamos dois tipos fundamentais de erros.
Definio 1.1 (Erro absoluto) Seja x Rn um vector cujas componentes so desconhecidas e x Rn um vector cujas componentes so aproximaes para as componentes correspondentes de x. Chama-se erro absoluto de x, e representa-se por e(x), quantidade
e(x) = x x.
Na prtica, o valor do erro absoluto usado, geralmente, em norma pois, para a maioria
dos problemas, no relevante saber se o erro foi cometido por defeito ou por excesso.
Vamos, ento relembrar o conceito de norma vectorial.
Definio 1.2 (Norma) Seja E um espao vectorial (real ou complexo). A aplicao
k k : E R+
0 que verifica
1. x E,
kxk = 0 x = 0,
2. x E, R (ou C),
3. x, y E,
kxk = ||kxk,
kx + yk 6 kxk + kyk,
Aritmtica computacional
Exerccio 1.1 Prove que as funes seguintes so normas em E = Rn :
kxk1 =
n
X
i=1
v
u n
uX
kxk2 = t
|xi |2 , (norma euclidiana);
i=1
ke(x)k
.
|kxk ke(x)k|
1.3
Aritmtica computacional
Outra causa de erro resulta das simplicaes impostas ao modelo matemtico usado
para descrever um determinado fenmeno fsico. Por exemplo, usual considerar que, para
um dada problema, no h perdas de calor, o atrito nulo, etc. Este tipo de erros fogem
ao controlo do analista numrico e so muito difceis de quanticar.
Outra causa de erros resulta da forma como representamos os nmeros reais. O conjunto
dos nmeros reais R no pode ser representado numa mquina de preciso nita. Numa
mquina s possvel representar um seu subconjunto nito F. Os nmeros desse conjunto
F so chamados nmeros de vrgula flutuante. Um nmero real x geralmente truncado
pela mquina dando origem a um novo nmero que (nmero de vrgula utuante), que se
designa por (x). Em geral, x 6= (x). Alm disso, podemos ter x1 6= x2 e (xi ) = (x2 ).
Usualmente, um computador guarda um nmero real na forma
x = (1)s (0,a1 a2 . . . at ) e = (1)s m et ,
a1 6= 0,
(1.1)
|e(x)|
3,23 106 < 5 106 .
|x|
Aritmtica computacional
e assim
|e(x)| = 0,0045 < 0,5 102 ,
r(x) =
|e(x)|
3,63 105 < 5 105 .
|x|
Aritmtica computacional
Em Matlab estes valores podem ser obidos atravs dos comandos realmin e realmax. Um
nmero positivo menor que xmin produz uma mensagem de underflow; um nmero positivo
maior que xmax produz uma mensagem de overflow e armazena-se, em Matlab, na varivel
Inf.
Os elementos de F so mais densos prximos de xmin e menos densos quando se aproximam de xmax . O que se mantm constante a distncia relativa entre os nmeros.
Finalmente, interessa observar que em F no existem formas indeterminadas como 0/0
ou /. Elas produzem o que se chama um not a number, denotado por NaN em Matlab.
Os erros de truncatura ou de discretizao so, por denio, os erros que surgem
quando se passa de um processo innito para um processo nito ou quando se substitui
um processo contnuo por um discreto. Por exemplo, quando aproximamos
f (x)
ou
f (x + h) f (x)
h
M
1
,
e 1+
M
cometemos erros de truncatura. Outro exemplo onde surgem este tipo de erros dado pela
chamada aproximao de Taylor que iremos considerar na prxima seco.
1.4
O polinmio de Taylor
Seja f uma funo real denida num intervalo [a, b] R. Um problema que frequentemente
se coloca o de determinar uma funo g denida em [a, b] tal que |f (x) g(x)| < , para
todo o x [a, b], com > 0 uma tolerncia dada. A existncia de soluo para tal
problema dada pelo Teorema de Weierstrass, devido a Karl Wilhelm Theodor Weierstrass
(1815-1897),
Teorema 1.5 (Weierstrass) Seja f uma funo contnua definida em [a, b]. Ento para
cada > 0 existe um polinmio p definido em [a, b] tal que
max |f (x) p(x)| < .
x[a,b]
Notemos a grande importncia deste resultado. De acordo com ele, podemos ter a
certeza que dada uma funo contnua f qualquer existe sempre um polinmio p que est
to prximo de f quanto se queira. Assim sendo, este resultado legitima a aproximao
polinomial, isto , a tarefa de, dada uma funo, procurar um polinmio que a aproxime.
No entanto, o teorema anterior no nos diz como podemos construir esse polinmio; ele
apenas garante a existncia.
10
Aritmtica computacional
n
X
f (k) (x0 )
k=0
e
Rn (x; x0 ) =
k!
(1.2)
(x x0 )k
f (n+1) ()
(x x0 )n+1 ,
(n + 1)!
I{x, x0 },
n+
(1.3)
temos que, a partir de um valor de n sucientemente grande, a funo dada pode ser aproximada pelo seu polinmio de Taylor. Assim, qualquer operao a efectuar sobre a funo
(derivao, integrao, etc.) poder ser feita sobre o polinmio.
Notemos que a escolha dos valores de x e x0 dever ser feita de modo a que eles
pertenam ao intervalo de convergncia da srie
X
f (k) (x0 )
k=0
k!
(x x0 )k
designada por srie de Taylor. Neste curso no iremos dar nfase a esta questo.
O objectivo fundamental dos problemas que surgem neste contexto o de determinar
o menor valor de n que verica
max |Rn (x; x0 )| < ,
I{x,x0 }
2
Taylor foi, entre outras coisas, o sucessor de Haley como secretrio da Royal Society. Publicou, em
1715, um livro intitulado Methodus Incrementorum Directa & Inversa no qual a sua expanso apaarece
descrita. O seu teorema foi enunciado em 1712.
3
Colin Maclaurin (1698-1746) foi um menino prodgio sendo nomeado professor em Aberdeen com a
idade de 19 anos. A sua expanso apareceu em 1742 no Treatise on Fluxions.
11
Aritmtica computacional
sendo > 0 uma tolerncia previamente xada. Obtemos assim a aproximao
f (x) Pn (x; x0 ),
cujo erro no excede . O valor de Rn (x; x0 ), sendo um erro absoluto uma vez que
|f (x) Pn (x; x0 )| = |Rn (x; x0 )|,
tambm designado erro de truncatura.
Exerccio 1.3 Determine um valor aproximado de e2 com 3 casas decimais correctas, usando
a frmula de Maclaurin aplicada funo f (x) = ex .
Resoluo: A funo f (x) = ex uma funo analtica para todo o x real e atendendo a que
f (k) (x) = ex a srie de Maclaurin de f dada por
x
e =
X
xk
k=0
k!
x2 x3
xn
+
++ ,
2
6
n!
ex
3x
|xn+1 | 6
|xn+1 |.
(n + 1)!
(n + 1)!
32
|2n+1 | 6 0,5 103 .
(n + 1)!
n=9
32 10
2 = 0,254 102
10!
Por tentativas...
n = 10
32 11
2 = 0,462 103 .
11!
10
X
xk
k=0
k!
= 7,38899470899 7,389.
12
Aritmtica computacional
1.5
Exerccio 1.4 O fluxo atravs de uma parte da camada fronteira num fludo viscoso dado
pelo integral definido
Z 0,8
2
1,4(1 e4x )dx.
0
Usando a frmula de Taylor na funo integranda, aproxime o valor do integral com quatro
casas decimais correctas.
Exerccio 1.5 Consideremos uma viga uniforme de comprimento L, suspensa, sujeita a uma
carga uniformemente distribuda, W , e a uma fora compressiva, P , em cada extremo. A
deflexo, D, no ponto mdio dada por
D=
W L2
W EI
(sec
(0,5mL)
1)
,
P2
8P
pv
1,0 0,10
=
= 290o Kelvin = 17o Celsius.
nr
0,082 0,0042
Captulo 2
Equaes no lineares
A soluo de equaes e sistemas de equaes um captulo em que a anlise numrica encontra uma soluo bastante precisa. Vamos agora expor alguns mtodos que nos permitem
obter aproximaes para as solues reais de uma equao real da forma
f (x) = 0,
(2.1)
b b2 4ac
,
a 6= 0.
x=
2a
Exemplo 2.2 As razes da equao
x3 + px2 + qx + r = 0
podem ser obtidas pelo processo que se segue, devido a Scipione del Ferro (1465-1515) e
Niccol Tartaglia (1499-1557), publicado pela primeira vez por Gerolamo Cardano (1501-1576).
Fazendo a mudana de varivel x = z 3p obtm-se a equao
z 3 + az + b = 0,
onde
1
a = (3q p2 )
3
b=
13
1
(2p3 9pq + 27r).
27
14
Equaes no lineares
As razes desta nova equao so dadas por
z1 = A + B,
z2 =
onde
A=
s
3
A + B A B
3,
+
2
2
b
+
2
b2
4
a3
27
B=
z3 =
s
3
A + B A B
3,
2
2
b2 a3
+ .
4
27
p
x2 = z2 ;
3
p
x3 = z3 .
3
2.1
Mtodos iterativos
Consideremos o problema (2.1). A losoa dos mtodos iterativos consiste em, partindo
de uma aproximao inicial x(0) para uma soluo do problema, gerar uma sucesso de
valores
x(k+1) = (x(k) ),
k = 0, 1, 2, . . . ,
(2.2)
que seja convergente para essa soluo.
15
Equaes no lineares
Definio 2.1 (Convergncia) O mtodo iterativo (2.2) diz-se convergente para se
lim e(k) = 0,
k+
(2.3)
16
Equaes no lineares
Note-se que, se {x(k) } for uma sucesso convergente, a sucesso {|x(k) x(k1) |} tambm
o e o seu limite zero. Este facto garante-nos a eccia dos critrios do erro absoluto e
relativo.
Como factor de segurana, para prever o caso em que o processo iterativo possa divergir,
tambm se considera o critrio de paragem:
4. Critrio do nmero mximo de iteraes: k = kmax .
2.2
Num processo iterativo necessrio determinar uma estimativa inicial da soluo do problema a resolver. Por vrias razes, algumas delas bvias, de todo o interesse que essa
aproximao esteja o mais prximo possvel da soluo exacta. Existem vrios processos
que permitem encontrar essas aproximaes iniciais.
Exemplo 2.3 As solues de x2,1 4x + 2 = 0 podem ser aproximadas inicialmente pelas
solues de x2 4x + 2 = 0.
Exemplo 2.4 Se pretendermos
aproximar a maior raiz de x5 x 500 = 0 podemos tomar
(2.4)
sendo f1 e f2 funes cujo traado grco seja mais simples que o de f . Assim as razes de
(2.1) sero as solues de (2.4), isto , os pontos de interseco de f1 com f2 .
O processo de determinao grca de um intervalo que contm a raiz deve ser sempre
acompanhado de uma conrmao analtica, conrmao essa que pode ser dada pelo
seguinte teorema que resulta, como corolrio imediato, do Teorema de Bolzano.
Teorema 2.1 (Corolrio do Teorema de Bolzano) Se f for uma funo contnua em
[a, b] e se f (a)f (b) < 0 ento existe pelo menos um c ]a, b[ tal que f (c) = 0.
Se, para alm das hipteses do teorema anterior, se vericar que a derivada de f no
muda de sinal no intervalo [a, b], ento a raiz nica nesse intervalo. Temos assim um
critrio para vericar a existncia e unicidade de zero de uma funo contnua f num dado
intervalo [a, b]: se f contnua em [a, b], f (a)f (b) < 0 e f no muda de sinal em [a, b],
ento existe uma e uma s raiz de f (x) = 0 em [a, b].
17
Equaes no lineares
Exerccio 2.1 Localize graficamente as razes de f (x) = 0, sendo f (x) = |x| ex .
2.5
2
1.5
y=|x|
1
0.5
-1
-0.5
0.5
3. f (x) = 1 ex , para x < 0, e como tal f (x) < 0 para todo o x ] 1, 0[.
2.3
Mtodo da bisseco
Seja f uma funo contnua em [a, b] tal que f (a)f (b) < 0. Ento, pelo Teorema 2.1,
existe pelo menos uma raiz de f (x) = 0 em ]a, b[. Se, para alm disso, se vericar que a
derivada de f no muda de sinal no intervalo [a, b], ento a raiz nica nesse intervalo.
Localizada a raiz (localizar uma raiz signica encontrar um intervalo que contenha essa
e apenas essa raiz), vamos construir uma sucesso de aproximaes convergente para essa
raiz. O mtodo mais simples, de entre os que iremos estudar, o mtodo das divises
sucessivas conhecido por mtodo da bisseco.
No mtodo da bisseco no necessrio o conceito de aproximao inicial mas sim o
de intervalo inicial I (0) =]a, b[:=]a(0) , b(0) [. Comecemos por determinar o ponto mdio de
I (0) ,
b(0) + a(0)
x(0) =
.
2
Caso f (a(0) )f (x(0) ) < 0, temos que ]a(0) , x(0) [; caso contrrio temos que ]x(0) , b(0) [.
Suponhamos, sem perda de generalidade, que I (1) =]a(0) , x(0) [:=]a(1) , b(1) [. Obtemos
18
Equaes no lineares
b(1) + a(1)
,
2
podemos obter, de forma anloga, um novo intervalo que contenha a raiz , de amplitude
igual a metade da amplitude do intervalo I (1) . Seja esse intervalo I (2) =]a(2) , b(2) [. O
processo repete-se determinando uma sucesso {x(k) } que converge, evidentemente, para
.
O algoritmo do mtodo da bisseco pode ser dado como se segue.
Algoritmo 2.1 Mtodo da bisseco
Dados: a, b, 1 e 2
Se f (a)f (b) > 0 ento parar
Repetir
c := a+b
2
Se f (a)f (c) 6 0 ento b := c caso contrrio a := c
at que |b a| 6 1 ou |f (c)| 6 2
Resultado: c
ba
.
2k+1
2. O nmero, kmin , de iteraes necessrias para garantir uma aproximao da raiz com
ln
ba
uma preciso dado por kmin > log2
1 = ba 1.
ln 2
19
Equaes no lineares
Resoluo:
2. Ao fim de kmin iteraes obtemos o valor x(kmin ) . Assim, pela primeira parte, para
calcular qual o kmin que verifica | x(kmin ) | 6 , vamos determinar qual o kmin
tal que
ba
|x(kmin ) x(kmin 1) | = kmin +1 6 .
2
Temos, sucessivamente,
L
2kmin +1
ln
ba
6 2kmin +1 kmin > ba 1.
ln 2
k+
Este mtodo possui algumas vantagens bem como algumas desvantagens em relao a
outros mtodos que iremos estudar nas seces seguintes. A primeira grande vantagem
que o mtodo da bisseco converge sempre (desde que exista raiz no intervalo inicial).
A segunda vantagem que existe uma possibilidade de, a priori, se poder indicar um
majorante para o erro cometido ao m de um certo nmero de iteraes.
A grande desvantagem do mtodo da bisseco reside no facto da sua velocidade de
convergncia ser muito lenta quando comparada com a dos outros mtodos. De facto,
prova-se que, atendendo denio de ordem de convergncia dada, o mtodo da bisseco
converge linearmente e possui uma constante erro M = 21 , isto ,
1
|e(k+1) | 6 |e(k) |.
2
Exemplo 2.5 bem sabido que os planetas ao girar em torno do Sol (e os satlites artificiais
em torno da Terra) descrevem rbitas elpticas. Para determinar em que ponto da elipse se
encontra o mvel num determinado instante t h que resolver a chamada equao de Kepler
x e sin x = z,
onde e a excentricidade (conhecida) da elipse (e que um valor que varia entre zero, caso a
rbita seja circular, e prximo de um, caso a rbita seja muito alongada) e z um nmero que
se calcula a partir de t. Neste caso f (x) = x e sin x z.
Vamos considerar o caso em que e = 0,5 e z = 0,7. Temos que f (0) = 0,7 < 0
e f (2) = 1,3 0,5 sin 2 > 1,3 0,5 = 0,8 > 0. Assim, podemos comear o mtodo da
bisseco com o intervalo I (0) =]0, 2[. Pelo facto de f (1) < 0 temos que a soluo pretendida
se encontra no intervalo I (1) =]1, 2[. Aps cinco aplicaes do mtodo da bisseco conclumos
que a soluo se encontra no intervalo I (5) =]1,125, 1,1875[. Tomando como aproximao para
a soluo o ponto mdio 1,15625 = (1,125 + 1,1875)/2 temos a garantia que o valor absoluto
do erro inferior a 0,03125.
20
Equaes no lineares
Exerccio 2.3 Usando o mtodo da bisseco, determine um valor aproximado para o zero
de f (x) = |x| ex , com um erro que no exceda 0,15.
Resoluo: Atendendo ao Exerccio 2.1, temos que a raiz de f (x) = 0 existe e nica no
intervalo ]1, 0[. Vamos determinar qual o menor valor de n para o qual |x(n) | 6 0,15.
Pelo Exerccio 2.2, esse valor pode ser determinado por
ln 0,15
1 = 1,74.
ln 2
Logo, n = 2, isto , temos que efectuar 2 iteraes. Partindo do intervalo inicial ] 1, 0[
temos x(0) = 0,5. Como f (x(0) ) = 0,16065 vem que
1
2n+1
6 0,15 n >
] 1, 0,5[.
Prosseguindo o processo obtemos x(1) = 0,75 e, como f (0,75) = 2,7776, vem que
] 0,75, 0,5[.
Conclumos ento que x(2) = 0,6256 uma aproximao cujo erro no excede a
tolerncia dada.
2.4
Mtodo de Newton
O mtodo que iremos estudar nesta seco, devido a Isaac Newton (1643-1727), um dos
mtodos mais conhecidos e usados na determinao de aproximaes numricas de razes
de equaes no lineares. Para o denir, iremos comear por efectuar uma abordagem
analtica fazendo depois a sua interpretao geomtrica.
Seja f C 2 ([a, b]), com [a, b] R, e [a, b] a nica raiz de f (x) = 0 nesse intervalo.
Pela frmula de Taylor temos que, se x(0) [a, b],
f ()
( x(0) )2 ,
I{, x(0) }.
2
Como f () = 0, e supondo f () 6= 0 para todo o x [a, b], vem que
f () = f (x(0) ) + f (x(0) )( x(0) ) +
f (x(0) )
f ()
= x0 (0) (0) ( x(0) )2 ,
f (x ) 2f (x )
I{, x(0) }.
(2.5)
f (x(0) )
. Procedendo de forma anloga, poderemos denir um mtodo
f (x(0) )
iterativo pela frmula de recorrncia
Seja x(1) = x(0)
x(k+1) = x(k)
f (x(k) )
,
f (x(k) )
k = 0, 1 . . . ,
(2.6)
que pretendemos que seja convergente para . Este processo iterativo designado por
mtodo de Newton ou mtodo de Newton-Raphson ou ainda mtodo das tangentes. Esta
ltima designao resulta da sua interpretao geomtrica.
21
Equaes no lineares
f (x(k) )
.
f (x(k) )
Temos assim que a iterao x(k+1) dada pelo mtodo de Newton a abcissa do ponto de
interseco da recta tangente curva y = f (x) no ponto (x(k) , f (x(k) )) com a recta y = 0.
x2
x1
x0
22
Equaes no lineares
Demonstrao (no foi dada): Vamos supor, sem perda de generalidade, que f (a) < 0,
f positiva em [a, b] e que f no negativa no mesmo intervalo. Supondo vericadas
as hipteses do teorema, consideremos x0 = b. Provemos que a sucesso {xk } gerada pelo
mtodo (2.6) tem as seguintes propriedades.
A sucesso no crescente e limitada.
Vamos provar, por induo, que x(k+1) [, x(k) ], para todo o k N0 . Por (2.5)
tem-se que,
f ()
x(1) = ( b)2 6 0,
I{, b},
2f (b)
isto , 6 x(1) . Por outro lado, por (2.6), com k = 0, tem-se que x(1) < b. Suponhamos agora que x(k) [, x(k1) ] [, b]. Temos ento que, de modo anlogo
ao efectuado em (2.5),
f (x(k) )
f (k )
(k)
x (k)
= (k) ( x(k) )2 ,
k I{,(k) },
(2.7)
f (x )
2f (x )
ou seja
x(k+1) =
f (k )
( x(k) )2 6 0.
2f (x(k) )
Isto implica que 6 x(k+1) . Por outro lado, por (2.6) e atendendo s hipteses do
teorema, temos que x(k+1) x(k) 6 0. Provmos ento o pretendido.
A sucesso converge para .
23
Equaes no lineares
M=
1 maxx[a,b] |f (x)|
.
2 minx[a,b] |f (x)|
(2.8)
24
Equaes no lineares
y=x 2
3
2
y=ln(x+1)
1
-1
-2
-1
-2
-3
f (2)
= 1,48144;
f (2)
x(2) = 1,48144
f (1,48144)
= 1,369785.
f (1,48144)
Uma estimativa para o erro absoluto pode ser dada por |x(2) x(1) | = 0,1116554.
2.5
25
Equaes no lineares
k = 0, 1, 2, . . . .
(2.9)
f (x)
.
f (x)
A questo que se coloca a seguinte: dada uma equao f (x) = 0 com raiz [a, b],
como escolher uma funo de iterao por forma a que as sucessivas aproximaes dadas
por (2.9) convirjam para ? Antes de mais notemos que, supondo que contnua e que
x(k) , se tem
= lim x(k+1) = lim (x(k) ) = ( lim x(k) ) = ().
k+
k+
k+
Assim, uma condio necessria para que o processo iterativo (2.9) convirja para zero
de f que seja um ponto xo de .
Exemplo 2.7 A equao de Kepler dada no exemplo anterior pode escrever-se na forma
x = (x) = arcsin
x 0,7
.
0,007
Neste caso, para a aproximao inicial x(0) = 0,7 temos que x(1) = 0 e x(2) = arcsin (100)
que um valor que nem sequer est definido. Como tal, esta escolha para a funo de iterao
no adequada.
26
Equaes no lineares
Como poderemos decidir qual a melhor escolha para a funo de iterao? Em geral,
interessa que (x) varie pouco com x. O caso ideal seria ter constante; nesse caso, para
x(0) arbitrrio, teramos x(1) = . Para responder a esta questo, consideremos o seguinte
teorema.
Teorema 2.3 (Ponto Fixo) Seja uma funo real de varivel real definida no intervalo
[a, b]. Se
1. uma funo contnua em [a, b] e
2. (x) [a, b] para todo o x [a, b],
ento tem um ponto fixo [a, b]. Se, alm disso, diferencivel em ]a, b[ e
3. | (x)| 6 K < 1, para todo o x [a, b],
ento o ponto fixo nico e a sucesso gerada por (2.9) converge para esse ponto, qualquer
que seja a aproximao inicial x(0) [a, b]. Alm disso
x(k+1)
= ().
k+ x(k)
(2.10)
lim
Se (a) = a ou (b) = b temos que tem (obviamente) um ponto xo. Caso contrrio,
e atendendo hiptese 2 do teorema, temos que (a) > a e (b) < b. Consideremos a
funo auxiliar (x) = (x) x denida em [a, b]. Como contnua e (a)(b) < 0
conclumos que existe um ponto [a, b] tal que () = 0, ou seja, tal que () = .
Unicidade.
Convergncia e (2.10).
k I{, x(k) }.
(2.11)
27
Equaes no lineares
Assim sendo
|x(k+1) | 6 K k+1|x(0) |.
(2.12)
k+
o que prova a convergncia do mtodo. Para provar (2.10), notemos que, de (2.11)
sai que
x(k+1)
= (k ),
k I{, x(k) }.
x(k)
Como o mtodo converge para , tomando limites em ambos os membros, provamos
o pretendido.
Notemos que, atendendo a (2.10), o mtodo do ponto xo tem, no caso geral, uma
convergncia linear. Alm disso, essa convergncia local, uma vez que ela s acontece
quando o x(0) est sucientemente prximo do ponto xo.
Exemplo 2.8 Resolvamos mais uma vez a equao de Kepler mas, desta vez, consideremos:
(i) a excentricidade e = 0,5 e z = 0,7; (ii) a excentricidade e = 0,5 e z = 2.
Vamos apenas efectuar os clculos para o caso (ii), isto , vamos considerar apenas a
equao x 0,5 sin x 2 = 0. Para usar o mtodo do ponto fixo consideremos a funo de
iterao
(x) = 0,5 sin x + 2,
x [2, 3].
Vejamos se, para esta funo e para este intervalo, se verificam as condies de convergncia
do mtodo.
Como uma funo contnua, vamos provar que (x) [2, 3], para todo o x [2, 3],
isto , que o grfico de est totalmente contido no quadrado [2, 3] [2, 3]. Para isso temos
que provar que (2), (3) [2, 3] e que o valor em todos os seus extremos locais tambm
se encontra nesse intervalo. Ora, (2) = 2,4546, (3) = 2,0706 e a funo montona
decrescente (pois (x) = 0,5 cos x). Assim sendo, (x) [2, 3], para todo o x a variar nesse
intervalo.
Para provar que o mtodo converge basta apenas provar que o majorante do mdulo de
, em [2, 3], inferior a um. Como se v facilmente | (x)| = |0,5 cos x| 6 0,5, e, como tal,
K = 0,5 e o mtodo x(k+1) = 0,5 sin x(k) + 2, k = 0, 1, 2, . . ., converge para a nica raiz da
equao em [2, 3], qualquer que seja x(0) [2, 3]. A determinao das sucessivas iteraes
feita de forma bvia.
Nas Figuras 2.4 e 2.5 podemos visualizar o grco da funo de iterao do mtodo do
ponto xo considerado no exemplo anterior, para os casos (i) e (ii), respectivamente, bem
como o grco da bissectriz dos quadrantes mpares. A abcissa da interseco dos dois
grcos o ponto xo que pretendemos calcular. Como se pode ver, o mtodo do ponto
xo pode ser descrito da seguinte forma (grca). A partir de x(0) , no eixo das abcissas,
28
Equaes no lineares
1.4
1.2
1
0.8
0.6
0.4
0.2
0.2
0.5
x0
x1 x2
1.4
Figura 2.4: Caso (i): (x) = 0,5 sin x + 0,7 e x(0) = 0,7.
3
2.8
2.6
2.4
2.2
2
2.2
x1
x2
x0
2.8
29
Equaes no lineares
x [a, b],
k I{, x(k) }.
30
Equaes no lineares
Kk
|x(1) x(0) |.
1K
|x
(k)
x |6
l1
X
j=k
(j+1)
|x
(j)
(1)
x | 6 |x
(0)
x |
Logo
l
X
Kj 6 Kk
j=k
|x(l) x(k) | 6
Tomando o limite quando l + temos
| x(k) | 6
o que prova o pretendido.
X
j=0
Kj =
Kk
.
1K
Kk
|x(1) x(0) |.
1K
Kk
|x(1) x(0) |,
1K
l
X
j=k
Kj.
31
Equaes no lineares
2.6
Equaes algbricas
an 6= 0,
(2.14)
um polinmio de coecientes reais. Este problema aparece com muita frequncia e existem
para ele muitos resultados especcos. Nesta seco faremos apenas uma breve referncia
a alguns desses resultados.
Um resultado bsico sobre polinmios dado no Teorema Fundamental da lgebra,
devido a Johann Carl Friedrich Gauss (1777-1855) e a Leonhard Paul Euler (1707-1783) e que
apresentamos sem demonstrao.
Teorema 2.7 (Teorema Fundamental da lgebra) Seja pn um polinmio de grau n,
com n > 1, de coeficientes reais. Ento existe C tal que pn () = 0.
Temos tambm que, no caso particular dos polinmios, se um zero real de pn ento
pn (x) = (x )qn1 (x; ),
onde qn1 um polinmio de grau n 1 de coecientes reais que dependem de . Se
um zero complexo de pn o seu conjugado tambm o e, como tal,
pn (x) = (x )(x )qn2 (x; ),
sendo qn2 um polinmio de grau n 2 de coecientes reais. Atendendo a estes resultados
podemos escrever.
Corolrio 2.8 Um polinmio de grau n > 1 de coeficientes reais admite, exactamente, n
zeros, reais ou complexos, iguais ou distintos.
Corolrio 2.9 Se pn for um polinmio de grau mpar admite, pelo menos, uma raiz real.
A localizao das razes reais de uma equao algbrica pode ser feita por variadssimos processos. De entre os processos mais populares destaca-se o mtodo de Rolle. A
justicao terica do mtodo dada pelo Teorema de Rolle e o seu corolrio seguinte.
Teorema 2.10 (Corolrio do Teorema de Rolle) Se f for uma funo contnua num
intervalo [a, b] e diferencivel em ]a, b[ e se a e b so dois zeros consecutivos de f , ento
existe, no mximo, um ]a, b[ tal que f () = 0.
Este teorema, em linguagem (muito) informal, costuma ser enunciado de forma seguinte:
entre dois zeros consecutivos da derivada de uma dada funo, existe, no mximo, um zero
dessa funo.
Para denir o mtodo de Rolle consideremos, previamente, a seguinte denio.
32
Equaes no lineares
-1
-0.5
0.5
-0.5
-1
-1.5
-2
-2.5
p
2
2/3 e
Resoluo:
A
funo
derivada,
definida
pela
expresso
3x
2,
tem
dois
zeros
p
+ 2/3. Os nmeros de Rolle da equao dada so
r
r
2
2
,
,
+
,
+.
3
3
Como a funo dada contnua em R e
ri
p3 (ri )
p
p
2/3 + 2/3
+
+
p
temos que a nica raiz real da equao dada est no intervalo ] 2/3, +[.
Note-se que o intervalo que contm todas as razes da equao algbrica pode ser obtido
recorrendo ao seguinte resultado.
33
Equaes no lineares
Teorema 2.11 (Cauchy) Seja pn (x) = 0 uma equao algbrica, com pn um polinmio
da forma (2.14). Todos os zeros de pn esto includos no crculo do plano complexo
= {z C : |z| 6 1 + },
onde
ak
= max .
k=0,...,n1 an
Teorema 2.12 (Newton) Seja pn (x) = 0 uma equao algbrica. Se, para x = L, L > 0,
o polinmio pn e as suas sucessivas derivadas forem no negativas, ento L constitui um
limite superior das razes positivas de pn (x) = 0.
Demonstrao: Seja pn um polimio de grau n. Fazendo o seu desenvolvimento de em
srie Taylor, em torno de x = L, temos que
(n)
pn (L)
pn (L)
(x L)2 + +
(x L)n .
2!
n!
Assim fcil concluir que, nas hiptese do teorema, pn (x) > 0 para todo o x > L, o que
prova o pretendido.
Um limite inferior l para as razes negativas de pn (x) = 0 poderia ser obtido usando o
resultado anterior, atendendo a que as razes negativas de uma equao algbrica pn (x) =
0, onde pn um polinmio de grau n, so as razes positivas, com sinal contrrio, de
qn (x) (1)n pn (x) = 0.
Exerccio 2.7 Prove a afirmao anterior.
Exerccio 2.8 Determine limites superiores e inferiores para as razes reais de
p3 (x) x3 2x 5 = 0.
Resoluo: Atendendo a que
p3 (x)
p3 (x)
p3 (x)
p
3 (x)
0 1 2 3
+
+ ,
+
+
L = 3 limite superior das razes de p3 (x) = 0. Para determinar um limite inferior das
razes, consideremos
q3 (x) (1)3 p3 (x) = x3 2x + 5.
34
Equaes no lineares
q3 (x)
q3 (x)
q3 (x)
q3 (x)
0 1
+
+ ,
+
+
A mesma argumentao poderia ser usada no caso de a0 = pn (0) < 0; neste caso,
tanto o nmero de varies de sinal da sucesso dos coecientes de pn como o nmero de
zeros positivos de pn so mpares. Conclumos ento que o nmero de razes positivas de
pn (x) = 0 tem a mesma paridade do nmero de variaes de sinal.
Falta apenas provar que o nmero de variaes de sinal limita o nmero de razes
positivas. Suponhamos que pn (x) = 0 tem m razes reais positivas e que o nmero de
variaes de sinal da sucesso dos seus coecientes V < m. Assim sendo, temos que ter
m > V + 2 (para manter a paridade). Mas, pelo Teorema de Rolle, pn tem que ter pelo
menos V + 1 razes reais positivas, o que contraria a hiptese de induo uma vez que o
nmero de variaes de sinal dos coecientes de pn (polinmio de grau 6 n 1) inferior
a V . Logo m 6 V .
Notemos que a regra de sinal de Descartes no tem em conta a multiplicidade das razes.
No entanto, podemos armar o resultado demonstrado por Gauss, isto que o nmero de
razes reais positivas de pn (x) = 0 (contando com a multiplicidade) tem a mesma paridade
do nmero de variaes de sinal da sucesso dos seus coecientes.
35
Equaes no lineares
Exerccio 2.9 Usando a regra de sinal de Descartes, determine o nmero de razes reais de
p3 (x) = 0, onde p3 (x) = x3 2x 5.
Resoluo: Comecemos pelas razes positivas. Como a sucesso de sinais dada pelos coeficientes do polinmio {+, , }, temos que o nmero de variaes de sinal 1 e, como
tal, existe uma raiz positiva de p3 (x) = 0.
Para as razes negativas consideremos o polinmio auxiliar q3 (x) := (1)3 p3 (x) =
x3 2x+5. Como a sucesso de sinais dada pelos coeficientes do polinmio q3 {+, , +},
temos que o nmero de variaes de sinal 2 e, como tal, existem 2 ou 0 razes negativas
de p3 (x) = 0.
2.6.1
Algoritmo de Hrner
O clculo dos zeros de um polinmio feito, na maioria das vezes, recorrendo ao mtodo
de Newton. Quando se aplica este mtodo h necessidade de calcular, em cada iterao, o
valor do polinmio e da sua derivada num ponto. Esse clculo deve ser efectuado de forma
eciente uma vez que grande parte do esforo computacional a ele se deve.
Suponhamos que se pretende calcular pn (z), com pn um polinmio dado por (2.14). Se
considerarmos o polinmio escrito na forma cannica (tal como em (2.14)) efectuamos n
adies/subtraces e 2n 1 multiplicaes/divises. No entanto, se considerarmos
pn (x) = a0 + x(a1 + x(a2 + + x(an1 + an x))),
designada por forma encaixada do polinmio, ao calcular pn (z) s efectuamos n adies/subtraces e n multiplicaes/divises. Esta forma a base do algoritmo de William George
Hrner (1786-1837).
Algoritmo 2.3 Algoritmo de Hrner
Dados: ai , i = 0, 1, . . . , n, e z
bn := an
Para k de n 1 at 0 fazer
bk := ak + bk+1 z
Resultado: pn (z) = b0
Se pn for um polinmio dado por (2.14) e z um nmero real temos que
pn (x) = (x z)qn1 (x; z) + b0 ,
(2.15)
(2.16)
designado por polinmio associado a pn . Note-se que o valor de pn (z) = b0 , ou seja, temos
o seguinte resultado demonstrado por Paolo Ruffini (1765-1822).
36
Equaes no lineares
pn (x) = (x z)qn1
(x; z) + qn1 (x; z),
2.6.2
O mtodo de Newton-Hrner
Vamos comear por considerar o caso em que pn , dado por (2.14), tem apenas zeros reais
simples. Neste caso, podemos aplicar qualquer um dos mtodos iterativos estudados. No
entanto, sugerimos o seguinte procedimento.
1. Determina-se a localizao dos zeros n < n1 < < 2 < 1 .
2. Partindo de um valor x0 > 1 , usando o mtodo de Newton, calcula-se uma aproximao numrica para o maior zero 1 , com a preciso desejada.
3. Pelo algoritmo de Hrner/Runi divide-se pn (x) por x 1 e regressa-se ao passo 2
para determinar 2 . Este processo conhecido por deflaco. Repetindo sucessivamente este processo, determinamos numericamente todos os zeros do polinmio.
4. Para renar as aproximaes obtidas, aplica-se o mtodo de Newton a p sendo as
aproximaes iniciais os valores obtidos no passo 3.
37
Equaes no lineares
O mtodo de Newton-Hrner pode ser descrito da seguinte forma. Dada uma estimativa
(0)
inicial rj para a raiz j , calcular, para cada k > 0 at convergncia
(k)
(k+1)
rj
(k)
rj
pn (rj )
(k)
(k)
qn1 (rj ; rj )
pn (r (k) )
,
pn (r (k) )
k = 0, 1, 2, . . . .
(2.17)
2.7
Rn Rn
.
(x1 , . . . , xn ) (f1 (x1 , . . . , xn ), . . . , fn (x1 , . . . , xn ))
f1 (x1 , . . . , xn ) = 0
..
.. ,
.
.
f (x , . . . , x ) = 0
n 1
n
38
Equaes no lineares
que, noutra notao, pode ser escrito na forma
(2.18)
F (x) = 0,
com
x=
x1
x2
..
.
xn
F (x) =
f1 (x)
f2 (x)
..
.
fn (x)
0=
0
0
..
.
0
(2.19)
(x) =
1 (x)
2 (x)
..
.
n (x)
(2.21)
que determinem uma sucesso de aproximaes para uma raiz da equao vectorial
(2.18), a partir de uma dada aproximao inicial
(0)
x1
x2
x(0) = .. .
(2.22)
.
xn
Uma questo essencial quando se lida com mtodos iterativos tem a ver com a convergncia do processo: dada uma sucesso de aproximaes {x(k) } gerada pelo processo
iterativo, como saber se ela convergente para a soluo do sistema?
De notar que a noo de convergncia depende do conceito de norma. Uma vez que
possvel considerar vrias normas, uma questo legtima seria a de saber se possvel
que uma sucesso de vectores convirja quando se considera uma determinada norma e
divirja quando se considera outra. Para as normas mais usuais (dadas no Exerccio 1.1)
possvel demonstrar que se uma sucesso de vectores convergir segundo uma das normas ela
tambm converge quando se considera outra qualquer. Por este facto diz-se que estamos
em presena de normas equivalentes.
39
Equaes no lineares
JF (x) =
f1
f1
(x)
(x)
x1
xn
..
..
..
.
.
.
fn
fn
(x)
(x)
x1
xn
40
Equaes no lineares
2
x2
+ y
x y + x =1
=1
1
-1.5
-1
-0.5
0.5
1.5
-1
-2
-3
-4
k = 0, 1 . . . ,
que pretendemos que seja convergente para . Este processo iterativo designado por
mtodo de Newton ou mtodo de Newton-Raphson.
Antes de apresentar o algoritmo que traduz o mtodo de Newton, notemos que podemos
evitar, em cada iterao, o clculo da matriz inversa JF1 (x(k) ) se zermos
JF (x(k) )x(k) = F (x(k) )
.
(2.23)
x(k) = x(k+1) x(k)
Algoritmo 2.5 Mtodo de Newton
Dados: x(0) , 1 e k = kmax
k := 0
Repetir
Se det (JF (x(k) )) = 0 ento parar
Resolver JF (x(k) ) = F (x(k) )
x(k+1) := x(k) +
k := k + 1
at que kk 6 1 ou k = kmax
Resultado: x(k)
Notemos que o carcter local da convergncia deste mtodo nos obriga a ter o cuidado
de escolher uma aproximao inicial que esteja suficientemente prxima da soluo que
pertendemos determinar.
41
Equaes no lineares
Exerccio 2.12 Determine uma aproximao para a soluo de
2
x + y2 1 = 0
F (x) = 0
,
xy + x 1 = 0
diferente de (1, 0), efectuando duas iteraes de mtodo de Newton. Indique uma estimativa
para o erro cometido.
Resoluo: Seja = (1 , 2 ) a soluo pretendida. Como vimos, a aproximao inicial pode
ser dada por (x, y)(0) = (1, 1).
Para no sobrecarregar a notao consideremos (x, y)(k) = (xk , yk ), k = 0, 1, . . .. Como
2xk 2yk
JF (xk , yk ) =
,
yk + 1 xk
temos que
Primeira iterao.
Como x20 y02 y0 = 1 6= 0 podemos efectuar a primeira iterao do mtodo.
Assim
2
2x0 2y0
x0
x0 + y02 1
2 2
x0
1
=
=
.
y0 + 1 x0
y0
x0 y0 + x0 1
2 1
y0
1
Daqui sai que
x0
y0
0,5
0
x1
y1
15/28
6/7
0,5
1
Segunda iterao.
Como x21 y12 y1 = 1,75 6= 0 podemos efectuar a segunda iterao do mtodo.
Assim obtemos, de modo anlogo,
1 2
x1
0,25
=
.
2 0,5
y1
0
Daqui sai que
Temos assim que
x1
y1
=
1/28
1/7
x2
y2
15 6
,
= (0,5357, 0,8571),
28 7
sendo uma estimativa para o erro cometido dada por
1 1
1
(2)
(2)
(1)
k x k kx x k = max
,
= = 0,1429.
28 7
7
42
Equaes no lineares
2.8
Exerccio 2.15 A concentrao, C, de uma bactria poluente num lago decresce de acordo
com a expresso
C = 80e2t + 20e0,1t ,
onde t representa o tempo. Determine o tempo necessrio para que a concentrao de bactrias
fique reduzida a 10.
Exerccio 2.16 Um medicamento administrado a um doente produz uma concentrao na
corrente sangunea dada por
c(t) = Atet/3 mg/ml,
t horas depois de injectadas A unidades. A concentrao mxima de segurana de 1 mg/ml.
1. Que quantidade deve ser injectada para que seja atingida a concentrao mxima de
segurana e em que altura ocorre esse mximo?
2. Uma concentrao adicional do mesmo medicamento deve ser administrada no doente
depois da concentrao ter descido para 0,25 mg/ml. Determine quando que a segunda
injeco deve ser administrada (em minutos).
3. Assumindo que a concentrao aps injeces consecutivas aditiva e que 0,75% da
quantidade original injectada administrada na segunda injeco, em que altura deve ser
dada a terceira injeco?
Exerccio 2.17 Em engenharia ambiental, a equao que se segue pode ser usada para calcular o nvel de oxignio, c, existente num rio a jusante de um local de descarga de esgoto,
c = 10 15(e0,1x e0,5x ),
em que x representa a distncia a partir do local de descarga. Usando um mtodo sua escolha,
determine o local (a partir da descarga) em que o nvel de oxignio atinge o valor 4.
Sugesto: Sabe-se que o referido local se encontra, no mximo, a 5 km a jusante do local
de descarga.
43
Equaes no lineares
Exerccio 2.18 Em engenharia ocenica, a equao para a altura de uma determinada onda
num cais dada por
2tv
2x
x
h = h0 sin
cos
+e
.
onde y = b/4, sendo b a correco de van der Waals e o volume molar. Se z = 0,892 qual
o valor de y?
Exerccio 2.21 Pretende construir-se um depsito semi-esfrico, de raio r, para armazenar
um lquido at uma altura h. Sabendo que o volume do referido lquido dado pela expresso
V =
(2r 3 3r 2h + h3 )
,
3
qual o raio com que se deve construir o depsito se se pretender guardar no mximo 250 litros
de lquido a uma altura de 2 metros?
Exerccio 2.22 Um corpo de massa 1 kg, que se move apenas ao longo de uma linha recta
e que inicialmente se encontra em repouso no ponto de coordenadas x = 2, fica sujeito a uma
fora cuja intensidade em cada instante t dada por
F (t) = 1 + 2t 3t2 .
Localize e separe os instantes de tempo em que o corpo passa pela origem do referencial.
44
Equaes no lineares
Exerccio 2.23 Para calcular a aspecto de uma calha de escoamento, por gravidade, com o
objectivo de minimizar o tempo de descarga de um determinado produto granulado (Chiarella,
Charlton, Roberts (1975)), necessrio resolver as seguintes equaes no lineares pelo mtodo
de Newton
sin n
sin n+1
fn (1 , . . . , N )
(1 wn+1 )
(1 wn ) = 0, n = 1, . . . , N 1,
vn+1
vn
N
X
tan j X = 0,
fN (1 , . . . , N ) y
j=1
onde
(i)
vn2
v02
+ 2gny 2y
e
(ii) wn = yvn
N
X
v3
j=1 j
n
X
1
,
cos j
j=1
1
,
cos j
n = 1, . . . , N,
n = 1, . . . , N.
Captulo 3
Aproximao de funes
3.1
Interpolao
Seja f uma funo real denida num conjunto de pontos x0 , x1 , . . . , xn . Pretende-se calcular
o valor de f (x), com x 6= xi , i = 0, 1, . . . , n. Tal situao muito frequente, por exemplo,
no contexto das equaes diferenciais. Quando se usam mtodos numricos para aproximar
a soluo de uma equao diferencial esta ca apenas conhecida num conjunto de pontos.
A interpolao permite assim encontrar uma funo que passa por esse conjunto de pontos
e que pode funcionar como uma aproximao soluo da equao.
Em linhas gerais, o conceito de interpolao consiste em determinar uma funo (x) =
a0 0 (x) + + an n (x), gerada por uma certa famlia de funes {k }nk=0, por forma a que
f (xi ) = (xi ),
i = 0, 1, . . . , n.
A funo nestas condies designada por funo interpoladora de f nos pontos de suporte
(interpolao) x0 , x1 , . . . , xn .
Nada nos garante que o problema da interpolao tenha sempre soluo. Por exemplo,
fazendo 0 (x) = 1 e 1 (x) = x2 , no existe nenhuma funo (x) = a0 + a1 x2 que passe
nos pontos (1, 1) e (1, 0).
3.2
45
46
Aproximao de funes
Definio 3.1 Seja f uma funo definida num intervalo [a, b] e conhecida nos pontos da
partio
a = x0 < x1 < < xn1 < xn = b.
(3.1)
Um polinmio P que satisfaz
f (xi ) = P (xi ),
i = 0, 1, . . . , n,
(3.2)
2,3
2,4
2,5
2,6
,
0,361728 0,380211 0,397940 0,414973
47
Aproximao de funes
3.2.1
(3.3)
i=0
em que
i (x) =
n
Y
x xj
,
x
i xj
j=0,j6=i
i = 1, . . . , n.
(3.4)
isto i (xj ) = i,j onde i,j representa o smbolo de Kronecker, em honra de Leopold
Kronecker (1823-1891). Portanto a funo Pn um polinmio de grau menor ou igual a
n que verica as condies de interpolao (3.2), o que prova a existncia de soluo do
problema em causa.
Para provar a unicidade, suponhamos que Pn e Qn so dois polinmios de grau menor
ou igual a n interpoladores de f nos pontos da partio dada. Ento o polinmio
Rn (x) = Pn (x) Qn (x)
48
Aproximao de funes
Exerccio 3.2 Dada a tabela
xi
f (xi )
1 2 3 4
,
4 15 40 85
1
(x 2)(x 3)(x 4)
= (x 2)(x 3)(x 4)
(1)(2)(3)
6
1 (x) =
(x 1)(x 3)(x 4)
1
=
(x 1)(x 3)(x 4)
(1)(1)(2)
2
2 (x) =
(x 1)(x 2)(x 4)
1
= (x 1)(x 2)(x 4)
(2)(1)(1)
2
3 (x) =
(x 1)(x 2)(x 3)
1
=
(x 1)(x 2)(x 3).
(3)(2)(1)
6
Assim
P3 (x) =
3
X
i=0
f (xi )i (x) = = 1 + x + x2 + x3 .
49
Aproximao de funes
Exerccio 3.3 Mostre que frmula de Lagrange pode ser escrita na forma
Pn (x) =
n
X
w(x)
,
(x xi )w (xi )
(3.5)
(x xj ).
(3.6)
f (xi )
i=0
sendo
w(x) =
n
Y
j=0
w (x) =
n
n
X
Y
(x xj ) w (xi ) =
i=1 j=1,j6=i
e como tal
i (x) =
o que prova o pretendido.
n
Y
(xi xj ),
j=1,j6=i
w(x)
,
(x xi )w (xi )
Para determinar o esforo computacional necessrio obteno do polinmio interpolador pela frmula de Lagrange, note-se que, supondo as constantes
Fi =
f (xi )
,
w (xi )
i = 0, . . . , n,
Este clculo requer n(n + 1) multiplicaes e n(n + 2) adies, isto , O(n2 ) operaes, o
que torna a frmula de Lagrange muito mais eciente que o processo matricial.
A frmula de Lagrange possui, no entanto, o inconveniente de obrigar a refazer os
clculos dos polinmios (3.4) sempre que ocorra uma alterao nos pontos de suporte. Na
prtica esta situao acontece com frequncia, por exemplo, quando pretendemos passar
de pn a pn+1 , pela adio de mais um ponto xn+1 ao suporte de interpolao, a m de
estudar o comportamento do erro. Este problema resolvido pelo algoritmo de Newton
das diferenas divididas, que no ser objecto de estudo nesta disciplina.
3.2.2
Erro de interpolao
Por denio, o polinmio interpolador coincide com a funo num dado conjunto de pontos
de suporte. Interessa-nos saber, no entanto, se para os outros pontos do domnio da funo,
o polinmio interpolador constitui uma boa ou uma m aproximao para a funo. Nesse
sentido temos o seguinte teorema, que apresentamos sem demonstrao.
50
Aproximao de funes
(3.7)
Mn+1
|w(x)|,
(n + 1)!
(3.8)
Mn+1 = max f (n+1) (x) .
x[a,b]
M4
|(x 2,3)(x 2,4)(x 2,5)(x 2,6)|,
4!
M4 = max f (4) (x) = max
x[2,3,2,6]
6
= 0,093116.
x[2,3,2,6] x4 ln 10
0,093116
|(2,45 2,3)(2,45 2,4)(2,45 2,5)(2,45 2,6)|,
24
51
Aproximao de funes
Resoluo: Temos que, para x [0, ],
max f (n+1) (x)
|w(x)|
n+1
x[0,]
|f (x) Pn (x)| 6
|w(x)| =
6
.
(n + 1)!
(n + 1)!
(n + 1)!
Resta assim determinar qual o menor valor de n que satisfaz
n+1
6 0,5.
(n + 1)!
Por tentativas...
n=6
7
= 0,599
7!
8
= 0,235.
8!
Logo o menor nmero de pontos que garantem a aproximao pretendida so 8.
n=7
Exerccio 3.6 Seja f uma funo nas condies do teorema anterior e tal que (3.8) se verifica.
Seja Pn o seu polinmio interpolador nos pontos da partio (3.1).
1. Mostre que o seu erro de interpolao verifica
|f (x) Pn (x)| 6
Mn+1 n+1
h ,
4(n + 1)
x [a, b],
(3.9)
Mn+1
(b a)n+1 ,
n+1
4(n + 1)n
x [a, b].
Resoluo: Vamos apenas demonstrar (3.9). Para tal, basta provar que
max |w(x)| 6
x[a,b]
hn+1 n!
,
4
x0 + x1
.
2
Como tal,
x0 + x1
x0 + x1 h2
max |w(x)| = max |w(a)|, w
, |w(b)| = w
6 4.
x[a,b]
2
2
52
Aproximao de funes
Suponhamos que (3.9) se verifica para n e provemos a sua veracidade para n + 1, isto ,
que
n+1
hn+2 (n + 1)!
Y
max (x xj ) 6
,
x[a,b]
4
j=0
j=0
Consideremos uma funo f denida num intervalo [a, b] onde est denida uma partio uniforme (3.1) e seja Pn o seu polinmio interpolador de Lagrange. Provmos, no
exerccio anterior, que
max |f (x) Pn (x)| 6
x[a,b]
Mn+1
(b a)n+1 ,
n+1
4(n + 1)n
para todo o x [a, b]. Se existir uma constante positiva M tal que
Mn+1 6 M,
(3.10)
n N,
conclumos que
lim
n+
x[a,b]
6 lim
n+
M
(b a)n+1
4(n + 1)nn+1
= 0.
x[1,1]
53
Aproximao de funes
3.2.3
Frmula de Newton
i =
i1
Y
j=0
(x xi ),
i = 1, . . . , n.
Atendendo a que o conjunto {i }ni=0 constitui uma base do conjunto dos polinmios de
grau inferior ou igual a n (prove), existem constantes ci , i = 0, . . . , n, tais que o polinmio
interpolador de Lagrange dado por
Pn (x) =
n
X
(3.11)
ci i (x).
i=0
Para determinar c0 note-se que, se Pn (x) poder ser escrito na forma (3.11), temos que
c0 = Pn (x0 ) = f (x0 ).
De forma similar temos que c1 pode ser determinado calculando Pn no ponto x1 . Assim
f (x0 ) + c1 (x x1 ) = Pn (x1 ) = f (x1 ) c1 =
f (x1 ) f (x0 )
.
x1 x0
f (x1 )f (x0 )
x1 x0
e prosseguindo
que denotamos por f [x0 , x1 , x2 ]. Podemos deste modo obter um processo recursivo para a
determinao dos coecientes do polinmio se atendermos seguinte denio.
Definio 3.2 (Diferenas divididas) Seja f uma funo definida nos pontos da partio (3.1) do intervalo [a, b] IR. A
f [xi , xi+1 ] =
f (xi+1 ) f (xi )
xi+1 xi
54
Aproximao de funes
Usando a denio anterior pode demonstrar-se que
ci = f [x0 , . . . , xi ],
i = 1, . . . , n.
(3.12)
j=0
x0
f0
f0,1
x1
f1
f0,2
f1,2
f0,3
x2
f2
f1,3
f2,3
x3
f3
fn3,n
fn2,n
fn1,n
xn
fn
onde fi,j = f [xi , xj ]. Essa tabela pode ser obtida pelo seguinte algoritmo.
Algoritmo 3.2 Diferenas divididas
Dados: n, xi , i = 0, 1, . . . , n
f0 := f (x0 )
Para i de 1 at n fazer
fi := f (xi )
Para j de i 1 at n fazer
fj,i := (fj+1,i fj,i1 )/(xi xj )
Resultado: fj,i, i = 1, . . . , n, j = i 1, . . . , n
Notemos que os coecientes da frmula de Newton esto ao longo da diagonal da tabela
das diferenas divididas.
Um resultado importante respeitante s diferenas divididas o seguinte.
Teorema 3.3 As diferenas divididas so invariantes para qualquer permutao dos ndices
de suporte.
55
Aproximao de funes
Demonstrao: Com efeito, tem-se que
f [xi , xi+1 ] =
f (xi+1 ) f (xi )
f (xi ) f (xi+1 )
=
= f [xi+1 , x1 ].
xi+1 xi
xi xi+1
Por induo conclui-se facilmente (exerccio) que o mesmo acontece para as diferenas
divididas de qualquer ordem.
A demonstrao do teorema anterior poderia ter sido feita atendendo ao seguinte exerccio que se demonstra por induo.
Exerccio 3.8 Seja Pn o polinmio interpolador de f C n+1 ([a, b]) de grau inferior ou igual
a n nos pontos da partio (3.1) do intervalo [a, b] e w o polinmio nodal dado em (3.6).
Mostre que se verifica a igualdade
n
X
f (xi )
f [x0 , x1 , . . . , xn ] =
.
w (xi )
i=0
O valor do polinmio interpolador num determinado ponto do seu domnio pode ser
dado pelo seguinte algoritmo.
Algoritmo 3.3 Frmula de Newton das diferenas divididas
Dados: n, x e xi , i = 0, 1, . . . , n
f0,0 := f (x0 )
Para i de 1 at n fazer
fi,i := f (xi )
Para j de i 1 at n fazer
fj,i := (fj+1,i fj,i1 )/(xi xj )
p := f0,n
Para i de n 1 at 0 fazer
p := f0,i + (x x)p
Resultado: p
Uma grande vantagem do algoritmo de Newton consiste em, uma vez determinado Pn ,
para determinar Pn+1 basta fazer
n
Y
Pn+1 (x) = Pn (x) + f [x0 , x1 , . . . , xn+1 ] (x xj ).
j=0
A frmula (3.12) pode ser calculada de forma mais eciente se for calculada pelo
mtodo de Hrner. De facto, o clculo do polinmio interpolador usando o frmula interpoladora de Newton das diferenas divididas na forma encaixada, supondo calculados
os coecientes f (x0 ), f [x0 , x1 ], . . ., f [x0 , x1 , . . . , xn ], requer apenas 2n adies/subtraces
e n multiplicaes/divises.
56
Aproximao de funes
Exerccio 3.9 Escreva a frmula interpoladora de Newton das diferenas divididas usando o
mtodo de Hrner.
Exerccio 3.10 Dada a tabela
xi
f (xi )
1 1
0 3
2
,
4
f (xi )
0
fi,i+1
fi,i+2
3/2
Assim
1/6
3
1
P2 (x) = 0 + (x 1) + (x2 1) = (x 1)
2
6
3 1
+ (x + 1) .
2 6
57
Aproximao de funes
Exerccio 3.11 Prove (por induo) que se f for uma funo real definida em [a, b] IR e
x0 , x1 , . . . , xn so pontos de [a, b] igualmente distanciados, com xi1 xi = h, i = 1, . . . , n,
ento
k f (x0 )
f [x0 , . . . , xk ] =
,
(3.13)
k!hk
para todo o k {1, . . . , n}.
Substituindo (3.13) em (3.12) temos que
Pn (x) = f (x0 ) +
++
2 f (x0 )
f (x0 )
(x x0 ) +
(x x0 )(x x1 )
h
2h2
n f (x0 )
(x x0 )(x x1 ) (x xn1 )
n!hn
(3.14)
n
i1
X
i f (x0 ) Y
= f (x0 ) +
(x xj ).
i!hi j=0
i=1
Esta frmula conhecida por frmula interpoladora de Newton das diferenas progressivas.
As diferenas progressivas podem ser dadas pela seguinte tabela, conhecida por tabela
das diferenas progressivas.
xi
x0
f (xi )
f0
x1
f1
f (xi )
2 f (xi )
3 f (xi )
f (x0 )
2 f (x0 )
3 f (x0 )
f (x1 )
x2
f2
f (x1 )
f (x3 )
x3
f3
xn
fn
3 f (xn3 )
2 f (xn2 )
f (xn1 )
h
.
1 + xh + x2
58
Aproximao de funes
Resoluo: Vamos provar que
tan ( arctan x) =
h
.
1 + xh + x2
Como
tan ( arctan x) = tan (arctan (x + h) arctan x) =
3.3
h
.
1 + xh + x2
Interpolao de Chebyshev
Uma questo interessante consiste em saber como diminuir os erro de interpolao sem
aumentar o nmero de pontos de suporte. A frmula (3.8) mostra que o erro de interpolao depende tanto do mximo de |f (n+1) (x)|, para todo o x pertencente ao intervalo de
interpolao, como de
max |w(x)|
(3.15)
x[a,b]
n = 1, 2, . . . .
(3.16)
k
nos quais Tn (xk ) = (1) .
Da denio de polinmio de Chebyshev resulta imediatamente que
|Tn (x)| 6 1, n = 0, 1, 2, . . .. Assim sendo, como Tn (1) = 1, temos que maxx[1,1] |Tn (x)| =
1. Alm disso, atendendo ao Exerccio 3.15, os zeros dos polinmios de Chebyshev esto
todos no intervalo [1, 1].
fcil provar que o coeciente do termo de maior grau de Tn an = 2n1 . Assim sendo,
o polinmio Ten := 21n Tn mnico, isto , o seu coeciente do termo de maior grau igual
unidade. Designemos por Pen ([a, b]) a classe dos polinmios mnicos de grau menor ou
igual a n em [a, b].
59
Aproximao de funes
x[1,1]
x[1,1]
en ([1, 1]).
Pe P
Demonstrao (no foi dada): Sabemos que maxx[1,1] |Ten (x)| = 21n . Suponhamos
que existe Pe Pen ([1, 1]) tal que maxx[1,1] |Pe(x)| < 21n e seja Q = Ten Pe. Ento
o grau de Q menor ou igual a n 1. Por outro lado, para os valores de xk dados no
Exerccio 3.15,
Q(xk ) = Ten (xk ) Pe(xk ) = (1)k 21n Pe(xk ).
Assim sendo, o polinmio Q tem n zeros pois tem sinais alternados em n intervalos e
uma funo contnua. Logo Q o polinmio nulo, o que prova o resultado.
Se considerarmos o intervalo [a, b] em vez do intervalo [1, 1] h que efectuar a mudana
de varivel
a+b ba
t=
+
x.
2
2
O Teorema 3.4 e o Exerccios 3.15 permitem-nos armar, atendendo a que w dado por
(3.6) um polinmio mnico, que (3.15) mnimo quando se consideram os pontos de
suporte
a+b ba
(2i + 1)
xi =
+
cos
,
i = 0, . . . , n.
2
2
2n + 2
Neste caso o erro dado por
max |f (x) Pn (x)| 6
x[a,b]
(b a)n
max |f (n+1) (x)|.
2n+1 (n + 1)! x[a,b]
n
X
yi i (x)
e por
i=0
Como tal,
Pbn (x) =
Pn
n
X
i=0
n
X
i=0
ybii (x).
|i (x)|.
60
Aproximao de funes
Exerccio 3.16 Mostre numericamente que, quando se consideram pontos igualmente distanciados no intervalo [a, b], se tem 20 3 104 e 40 1010 e quando se consideram os
pontos de Chebyshev n 6 3 (n 6 30) e n 6 4 (n 6 100).
3.4
Pretende-se aproximar uma funo peridica f : [0, 2] C, com f (0) = f (2), por um
2j
, j = 0, . . . , n, ou
polinmio trigonomtrico fe que interpola f nos n + 1 pontos xj = n+1
seja, tal que
fe(xj ) = f (xj ),
j = 0, . . . , n.
Um polinmio trigonomtrico pode escrever-se na forma
M
X
ck eikx ,
M = n2 , n par,
k=M
e =
f(x)
M
+1
X
ck eikx ,
M = n1
, n mpar,
2
k=M 1
e =
f(x)
ck eikx ,
(3.17)
k=M
fe(xj ) =
ck eikjh = f (xj ),
j = 0, . . . , n.
(3.18)
k=M
ck =
1 X
f (xj )eikjh ,
n + 1 j=0
k = M , . . . , M + .
imjh
f (xj )e
n
X
M +
j=0 k=M
M +
i(km)jh
ck e
k=M
ck
n
X
j=0
ei(km)jh .
61
Aproximao de funes
O resultado pretendido resulta do facto de
n
X
ei(km)jh = (n + 1)km ,
j=0
i(km)jh
j=0
Se k 6= m,
n
X
j=0
ei(km)jh =
n
X
1 = n + 1.
j=0
1 ei(km)h(n+1)
1 ei(km)2
=
= 0.
1 ei(km)h
1 ei(km)h
Ao conjunto dos coecientes {ck } da srie de Fourier discreta (3.17) chamamos transformada discreta de Fourier. A transformada discreta de Fourier pode ser calculada com um
nmero de operaes da ordem n log2 n usando um algoritmo designado por FFT (de Fast
Fourier Transform). A transformada rpida de Fourier no mais do que a transformada
discreta de Fourier calculada pelo algoritmo FFT. O MatLab possui o comando fft onde
est implementado esse algoritmo. O algoritmo mais famoso para obter a FFT de 1965
e devido a James Cooley (1926-) e John Wilder Tukey (1915-2000).
A transformao de Fourier inversa, pela qual os valores {f (xk )} so obtidos custa
dos valores {ck }, denida, em MatLab, pela funo ifft.
Um cuidado a ter com o comando fft o seginte. Se considerarmos
F = [f (x0 ), f (x1 ), . . . , f (xn )]T ,
ao executar TF = fft(F), obtm-se
T F = (n + 1)[c0 , , cM + , cM , . . . , c1 ]T .
Se pretendermos obter os cecientes {ck } pela ordem com que aparecem na srie de Fourier
discreta (3.17) temos que executar o comando TF = 1/(n + 1) fftshift(fft(F)).
Em muitos casos, a preciso da interpolao trigonomtrica pode degradar-se muito
devido ao fenmeno conhecido com aliasing. Este fenmeno pode ocorrer quando a funo
a aproximar for a soma de vrias componentes com frequncias distintas. S o nmero de
ns no for suciente para resolver as frequncias mais altas, estas podem intreferir com
as baixas frequncias, o que d origem a interpolaes imprecisas. Nesse caso, preciso
aumentar o nmero de ns de interpolao.
Exerccio 3.17 Calcule a transformada de Fourier discreta de y = [1, 1, 1, 1]T .
62
Aproximao de funes
3.5
Consideremos um intervalo [a, b] e uma partio dada por (3.1). Designemos por polinmio
segmentado linear (ou funo linear por segmentos) na partio (3.1), uma funo contnua
em [a, b] que, quando restringida a cada um dos intervalos [xi , xi+1 ], i = 0, ..., n 1, da
partio, coincide com um polinmio de grau menor ou igual a um (polinmio que, em
geral, varia com i).
Consideremos agora o problema da interpolao. Seja f uma funo conhecida nos
pontos da partio (3.1). Pelo que foi visto na seco anterior, bvio que existe um e um
s polinmio segmentado linear P1h tal que
P1h (xi ) = f (xi ),
i = 0, 1, . . . , n.
Nestas condies, P1h chamado o polinmio interpolador (de Lagrange) segmentado linear
de f nos pontos de (3.1).
Temos que
h
x [x0 , x1 ],
P10 (x),
P11 (x),
x [x1 , x2 ],
..
..
.
.
h
P1 (x) =
h
P1i (x),
x [xi , xi+1 ],
..
.
..
h
P1n1 (x), x [xn1 , xn ],
onde P1ih pode ser escrito na forma seguinte
x xi
x xi+1
+ f (xi+1 )
.
xi xi+1
xi+1 xi
O que podemos dizer quanto ao erro que se comete ao aproximar f pelo seu polinmio
interpolador segmentado linear?
Suponhamos que x [xi , xi+1 ]. Temos ento que, nesse intevalo,
(i)
f (x) P h (x) 6 M2
1i
x[xi ,xi+1 ]
2
max
com
(i)
M2 =
Mas, como vimos,
max
x[xi ,xi+1 ]
max
x[xi ,xi+1 ]
(2)
f (x) ,
i = 0, . . . , n 1.
1
|(x xi )(x xi+1 )| = (xi+1 xi ))2
x[xi ,xi+1 ]
4
max
63
Aproximao de funes
e, com tal
M2(i) 2
h
max f (x) P1i (x) 6
h,
x[xi ,xi+1 ]
8 i
com hi = xi+1 xi , i = 0, . . . , n 1.
Consideremos agora x [a, b]. Atendendo ao que foi dito,conclui-se imediatamente que
onde M2 =
(i)
M2 2
max f (x) P1h (x) 6
h,
x[a,b]
8
max M2 e h =
i=0,...,n1
max hi .
i=0,...,n1
Este limite superior para o erro permite demonstrar que o processo de interpolao
linear por segmentos convergente. De facto, se f (2) limitada, medida que o nmero
de pontos da partio aumenta (h diminui) o erro tendo para zero, ou seja, o polinmio
segmentado linear tende para a funo a interpolar uniformemente em [a, b].
A interpolao linear segmentada possui vantagens em relao interpolao (global)
de Lagrange. Note-se que, se n muito grande o clculo do polinmio interpolador de
Lagrange (global) Pn envolve muito mais operaes que o clculo do polinmio interpolador
linear segmentado S. Alm disso, como foi visto, o facto de n aumentar no implica que o
polinmio interpolador de Lagrange Pn tenda para a funo a interpolar, mesmo que essa
funo seja innitamente diferencivel. A desvantagem que o processo da interpolao
segmentada linear apresenta relativamente interpolao de Lagrange que o polinmio
Pn innitamente diferencivel enquanto que Pnh pode no ter (e, em geral, no tem)
derivadas contnuas nos pontos da partio.
3.6
Interpolao de Hermite
O objectivo da interpolao de Hermite, chamada assim em honra de Charles Hermite (18221901), o de representar uma funo f por um polinmio que seja interpolador de f em
alguns pontos do seu domnio e que a sua derivada seja interpolador da derivada de f nesses
mesmos pontos. Isto , supondo que f diferencivel, vamos procurar um polinmio H
tal que
f (xi ) = H(xi )
,
i = 0, 1, . . . , n.
(3.19)
f (xi ) = H (xi )
Quando tal situao acontece dizemos que f e H so funes que 2-osculam (osculam 2
vezes) os pontos xi , i = 0, 1, . . . , n, ou que H um polinmio 2-osculador de f nos pontos
xi , i = 0, 1, . . . , n.
O prximo teorema estabelece a existncia e unicidade do polinmio de grau inferior
ou igual a 2n + 1 que verica (3.19). Alm disso, indica-nos um processo que permite a
sua determinao.
Teorema 3.5 Seja f C 2n+2 ([a, b]) e x0 , x1 , . . . , xn pontos distintos em [a, b]. Existe um
e um s polinmio H2n+1 de grau menor ou igual a 2n + 1 que verifica (3.19).
64
Aproximao de funes
i = 0, . . . , n,
i, j = 0, . . . , n,
i, j = 0, . . . , n.
n
X
i=0
x x0
12
x0 x1
x x1
12
x1 x0
(x x1 )2
,
(x0 x1 )2
(x x0 )2
,
(x1 x0 )2
(x x1 )2
,
h20 (x) = (x x0 )
(x0 x1 )2
h21 (x) = (x x1 )
(x x0 )2
.
(x1 x0 )2
65
Aproximao de funes
O estudo do erro na interpolao de Hermite consiste na generalizao do estudo efectuado para a interpolao de Lagrange de acordo com o seguinte teorema.
Teorema 3.6 Seja H2n+1 o polinmio, de grau menor ou igual a 2n + 1 interpolador de
Hermite da funo f nos pontos distintos x0 , x1 , . . . , xn [a, b]. Se f C 2n+2 ([a, b]) ento
para cada x [a, b] existe = (x) ]a, b[ tal que
e(x) = f (x) H2n+1 (x) =
f (2n+2) () 2
w (x),
(2n + 2)!
(3.20)
x[a,b]
M2n+2
max |w 2(x)|,
(2n + 2)! x[a,b]
onde
M2n+2 = maxx[a,b] |f (2n+2) (x)|.
Se o objectivo for determinar o erro apenas num ponto x [a, b], ento
|f (x) H2n+1 (x)| 6
M2n+2
|w 2 (x)|.
(2n + 2)!
x[a,b]
M2n+2
(b a)2n+2 .
(2n + 2)!
x[a,b]
hn+1 n!
,
4
x[a,b]
h2n+2 (n!)2
.
16(2n + 2)!
66
Aproximao de funes
3.6.1
Consideremos um intervalo [a, b] e uma partio dada por (3.1). Designemos por polinmio
segmentado cbico (ou funo cbica por segmentos) na partio (3.1), uma funo contnua
em [a, b] que, quando restringida a cada um dos intervalos [xi , xi+1 ], i = 0, ..., n 1, da
partio, coincide com um polinmio de grau menor ou igual a trs.
Seja f uma funo conhecida nos pontos da partio (3.1). Como se sabe, existe um e
um s polinmio segmentado cbico H3h tal que
H3h (xi ) = f (xi )
,
(H3h ) (xi ) = f (xi )
i = 0, 1, . . . , n.
Nestas condies, H3h chamado o polinmio interpolador (de Hermite) segmentado cbico
de f nos pontos de (3.1).
Temos que
h
H30
(x),
x [x0 , x1 ],
H
(x),
x [x1 , x2 ],
31
..
.
..
.
h
H3 (x) =
h
H3i (x),
x [xi1 , xi ],
..
.
..
h
H3n1 (x), x [xn1 , xn ],
h
onde H3i
pode ser escrito na forma seguinte
h
H3i
(x) = f (xi )h1i (x) + f (xi+1 )h1i+1 (x) + f (xi )h2i (x) + f (xi+1 )h2i+1 (x).
Exerccio 3.19 Mostre que o erro que se comete ao aproximar f C 4 ([a, b]) pelo seu
polinmio interpolador segmentado de Hermite cbico na partio (3.1) dado por
M4 4
max f (x) H3h (x) 6
h,
x[a,b]
384
onde M4 = maxx[a,b] f (4) (x) e h = max (xi xi1 ).
i=1,...,n
3.6.2
A obteno do polinmio interpolador de Hermite pode ser feita de vrias maneiras. Vamos
apresenta-la neste curso numa forma que generaliza o polinmio interpolador de Newton
das diferenas divididas.
Consideremos a mudana de varivel z0 = x0 , z1 = x0 , z2 = x1 , z3 = x1 , . . ., z2n = xn ,
z2n+1 = xn . Uma vez que
z2i = z2i+1 = xi ,
i = 0, . . . , n,
67
Aproximao de funes
no podemos denir as diferenas divididas
f [z2i , z2i+1 ] = f [xi , xi ].
No entanto, atendendo a que
f (x) f (xi )
= f (xi ),
xxi
x xi
xxi
(3.21)
Com esta notao pode vericar-se facilmente que o polinmio interpolador de Hermite
de grau 2n + 1 nos pontos da partio (3.1) dado por (verique para n = 1)
H2n+1 (x) = f (z0 ) +
2n+1
X
i=1
i1
Y
f [z0 , z1 , . . . , zi ] (x zj )
j=0
68
Aproximao de funes
Resoluo: Temos
xi
0
f (xi )
0
f [, ]
f [, , ]
f [, , , ]
1
0
42
2
42
416
3
Logo
4 2 2 4 16 2
H3 (x) = x +
x
+
x
x
2
3
2
= x 1 + x 0,2313 0,1107 x
.
2
3.7
O termo ingls spline pode ser traduzido pelo vocbulo virote. Um virote um instrumento usado pelos desenhadores para unir um conjunto de pontos do plano.
Seja f uma funo denida num intervalo [a, b] onde consideramos a partio (3.1).
Matematicamente, o problema de unir pontos do plano com um virote pode ser traduzido
da seguinte forma: determinar a funo S : [a, b] R, com a = x0 , b = xn , que satisfaz:
[S1] S(xi ) = f (xi ),
i = 0, . . . , n;
2
(S (x)) dx 6
(R (x))2 dx,
a
2
(S (x)) dx 6
(R (x))2 dx.
a
Aproximao de funes
69
Este teorema mostra que os candidatos resoluo de [S1][S3] so as funes pertencentes a C 2 ([a, b]) que so polinmios de grau 3 em cada intervalo da partio. Essas
funes sero designadas por funes spline cbicas.
Definio 3.4 (Spline) Uma funo spline de grau m um polinmio segmentado de grau
m continuamente derivvel at ordem m 1. Por outras palavras, dada uma partio
(3.1), S uma funo spline de grau m se S um polinmio S (i) de grau m em cada
intervalo da partio [xi , xi+1 ], i = 0, . . . , n 1, e
dk (i)
dk (i+1)
S
(x)
=
S (x),
k = 0, . . . , m 1, i = 0, . . . , n 1.
dxk
dxk
As funes spline mais populares so as cbicas (m = 3). Pelas razes apresentadas,
sero essas que iremos considerar.
Note-se que, em cada intervalo [xi , xi+1 ] a funo spline cbica S que interpola f nos
pontos da partio (3.1) um polinmio de grau 3 e, como tal, denido custa de 4
parmetros. Assim, para determinar S de forma nica temos que especicar 4n parmteros.
Para isso teremos que denir 4n equaes. Atendendo denio de funo spline temos
impostas as seguintes equaes: n + 1 equaes de interpolao; n + 1 equaes de ligao
de S; n + 1 equaes de ligao de S e n + 1 equaes de ligao de S . No total temos
assim 4n 2 equaes. Para determinar S temos que considerar mais duas condies
suplementares. As formas mais usuais de denir essas condies so as seguintes: S (a) =
f (a) e S (b) = f (b) (spline completa); S (a) = 0 e S (b) = 0 (spline natural).
O seguinte teorema, que apresentamos sem demonstrao, establece a existncia e unicidade da funo spline cbica interpoladora.
Teorema 3.8 Seja f uma funo definida em [a, b]. A funo spline cbica completa
(natural) interpoladora de f nos pontos da partio (3.1) existe e nica.
O spline cbico interpolador de uma funo coincide com a funo nos pontos da partio e a sua derivada concide com a derivada da funo nos extremos do intervalo de
partio. No resultado seguinte, estabelecido sem demonstrao, apresentado o comportamento do erro que se comete ao aproximar uma funo pelo seu spline cbico interpolador.
Teorema 3.9 Seja f uma funo definida em [a, b] onde considerado n + 1 pontos igualmente distanciados xi , i = 0, . . . , n, em que xi = xi1 +h, i = 0, . . . , n, x0 = 0, h = (ba)/n.
O erro cometido ao aproximar f pelo seu spline cbico interpolador verifica a
5
max |f (x) S(x)| 6
max |f (4) (x)|h4 .
x[a,b]
384 x[a,b]
Exerccio 3.23 Pretende-se interpolar a funo f definida por f (x) = ln x, com x [2, 2,5],
por um spline cbico completo S numa malha uniforme.
1. Calcule o nmero mnimo de pontos a usar para garantir que maxx[2,2,5] |f (x) S(x)| 6
0,5 104 .
2. Determine uma aproximao para f (2,3) usando o spline cbico completo interpolador
de f nos pontos obtidos na alnea anterior.
70
Aproximao de funes
3.8
Desde a sua primeira aplicao a um problema de astronomia por Gauss, o mtodo dos
mnimos quadrados tem vindo a ser aplicado num vasto conjunto de situaes tanto no
campo da cincia como no da engenharia.
Consideremos os dados {(xi , yi ), i = 0, . . . , n}, que pretendemos ajustar a um modelo
denido cusa de m parmetros, com m n. A situao mais usual consiste em considerar
o modelo como sendo um polinmio
pm (x) = a0 + a1 x + + am xm ,
com a0 , . . . , am os parmetros a determinar. Neste caso, o objectivo consiste em deteminar
esses parmetros por forma a minimizar
n
X
i=0
Note-se que, denotando por r o vector dos resduos, isto , r = (ri )ni=0 = (yi pm (xi ))ni=0 ,
o objectivo consiste em determinar os parmetros do modelo que tornam mnima a soma
dos quadrados dos resdos, ou seja krk2 = r T r.
Se existir um polinmio pm nessas condies, ele chamado polinmio (de grau m) dos
mnimos quadrados relativo aos dados {(xi , yi), i = 0, . . . , n}.
O problema pode ento ser colocado da seguinte forma: determinar os parmetros
a0 , . . . , am por forma a que
(a0 , . . . , am ) =
com
(b0 , . . . , bm ) =
min
bi ,i=0,...,m
n
X
i=0
(b0 , . . . , bn ),
(yi b0 bm xm )2 .
Exemplo 3.1 Consideremos as observaes {(xi , yi), i = 0, . . . , n} que correspondem a pontos do plano que pretendemos ajustar a uma recta da forma p1 (x) = a0 + a1 x. A questo que
se coloca a de determinar os valores a0 e a1 por forma a
(a0 , a1 ) = min b0 , b1
n
X
i=0
(yi b0 b1 xi )2 .
(yi a0 a1 xi ) = 0
b (a0 , a1 ) = 0
i=0
0
(a0 , a1 ) = 0
(yi a0 a1 xi )xi = 0
b1
i=0
71
Aproximao de funes
Temos ento um sistema linear para resolver da forma
X
n
n
X
xi "
yi
#
n+1
a
0
i=0
i=0
=
X
n
n
n
X
a1
X
xi
x2i
yi xi
i=0
i=0
i=0
(3.22)
Resolvendo este sistema linear, obtemos os valores de a0 e a1 e, logo, a recta dos mnimos
quadrados (ou recta de regresso).
No caso da determinao do polinmio dos mnimos quadrados de
(a0 , . . . , am ) que minimiza a funo , tal que
n
X
(yi a0 am xi )
(a0 , . . . , am ) = 0
b0
i=0
..
(a0 , . . . , am ) = 0
(yi a0 am xi )xi
bm
grau m, o ponto
= 0
..
.
= 0
i=0
n
n
X
X
xi
xm
n+1
i
i=0
i=0
a0
n
n
n
X
X
X
2
m+1
xi
xi
xi
a1
i=0
..
i=0
i=0
.
.
.
.
.
..
..
..
..
am
n
n
n
X
X
X
m
m+1
2m
xi
xi
xi
i=0
i=0
i=0
n
X
yi
i=0
n
X
yi xi
=
i=0
..
n
X
yi xm
i
i=0
a0 + a1 x0 + a2 x20 + + am xm
= y0
0
a0 + a1 x1 + a2 x2 + + am xm = y1
1
1
.
..
a + a x + a x2 + + a xm = y
0
1 n
2 n
m n
n
72
Aproximao de funes
que pode ser escrito na forma matricial
1 x0
1 x1
Ax = b
.. ..
. .
1 xn
xm
0
xm
1
..
..
. .
xm
n
a0
a1
..
.
am
y0
y1
..
.
yn
y0
1 x0
"
#
a0
y1
1 x1
x=
,
e
b=
A=
.. ,
.. .. ,
a
.
. .
1
yn
1 xn
3.9
Exerccio 3.25 Conhecem-se as coordenadas de cinco pontos de uma curva plana que representa uma regio de uma pea em corte. Determine o polinmio de Lagrange de grau 4 que
interpola a referida curva sabendo que os pontos de coordenadas conhecidas so: P1 = (1, 2),
P2 = (2, 1), P3 = (3, 1), P4 = (4, 2,5) e P5 = (5, 4). Determine ainda valores aproximados
para as ordenadas dos pontos cujas abcissas so 0, 2,5 e 6.
Exerccio 3.26 Na seguinte tabela so dados diferentes valores para o peso especfico p da
gua a diferentes temperaturas t (em graus centgados):
t
p
0
1
2
3
.
0,999871 0,999928 0,999969 0,999991
Usando interpolao linear, quadrtica e cbica, determine uma aproximao para p quando
t = 4 o C. Compare os resultados obtidos sabendo que o valor exacto 1,000000.
73
Aproximao de funes
Exerccio 3.27 Durante a sedimentao da reaco de saponificao entre quantidades equimolares de hidrxido de sdio e acetato de etilo, a concentrao c (gr mole/litro) de cada
reagente varia com o tempo t (min) de acordo com a equao
1
1
=
+ kt,
c
c0
onde c0 a concentrao inicial e k (litro/gr mole min) a constante de reaco. Foram
obtidos os seguintes resultados em laboratrio temperatura de 77 o F:
1/c 24,7 32,4 38,4 45,0 52,3 65,6 87,6 102 154 192
.
t
1
2
3
4
5
7
10
12 20 25
1. Obtenha uma estimativa para a concentrao inicial.
2. Obtenha uma estimativa para a concentrao ao fim de 15 minutos e compare-a com a
soluo obtida em laboratrio (ao fim de 15 minutos obteve-se 1/c = 135).
Exerccio 3.28 O censo da populao dos Estados Unidos, entre 1930 e 1980, produziu os
seguintes resultados:
Ano
Populao (103 )
1930
123203
1940
131669
1950
150697
1960
179323
1970
203212
1980
.
226505
Use um polinmio interpolador apropriado para estimar a populao nos anos de 1920,
1965, e 2000. Sabendo que a populao no ano de 1920 era de 105711103, o que pode inferir
quanto preciso das aproximaes obtidas para os anos de 1965 e 2000?
Exerccio 3.29 Determine uma aproximao para o instante da passagem do perigeu da Lua
em Maro, 1999, a partir dos valores tabelados para as zero horas de cada dia
dia
distncia
19
20
21
.
57,071 56,955 57,059
Indique tambm a distncia (em raios mdios da Terra) da Terra Lua nesse instante.
Exerccio 3.30 Usando interpolao cbica livre, determine uma aproximao para a declinao aparente de Vnus para o dia 9 de Maio de 1999, s 18h30m45s, a partir das Efemrides
Astronmicas (onde est tabelada para cada dia, s zero horas)
dia
7
8
9
10
.
o
o
i
+5 51 47 ,55 +6 22 25 ,20 +6 52 54 ,57 +6 23 14 ,96
A partir da funo obtida, determine uma aproximao para o instante em que a declinao
aparente de Vnus no dia 9 de Maio de 1999 foi mxima.
74
Aproximao de funes
Exerccio 3.31 Uma das formas mais utilizadas na construo de curvas consiste em partir
das respectivas equaes paramtricas e proceder a uma interpolao apropriada. Considere o
caso das curvas planas dadas pelas equaes paramtricas
x = p(t)
,
t [0, 1],
y = q(t)
em que p e q so polinmios.
1. Determine a forma destes polinmios de modo a que a curva passe pelos pontos P0 =
(x0 , y0) e P1 = (x1 , y1 ) com tangentes T0 = (p (0), q (0)) e T1 = (p (0), q (0)), respectivamente (curva de Ferguson-Coons).
2. A especificao das tangentes atravs de dois pontos auxiliares (pontos de guia) revelase mais til na prtica. Assim, sejam P2 e P3 dois pontos auxiliares tais que T0 =
(P2 P0 ) = (x2 x0 , y2 y0 ) e T1 = (P3 P1 ) = (x3 x1 , y3 y1 ), em que
um factor de normalizao escolha. Mostre que a curva de Ferguson-Coons se pode
escrever na forma
x(t) = 0 (t)x0 + 1 (t)x1 + 2 (t)x2 + 3 (t)x3
,
t [0, 1],
y(t) = 0 (t)y0 + 1 (t)y1 + 2 (t)y2 + 3 (t)y3
com
0 (t)
1 (t)
2 (t)
3 (t)
=
=
=
=
1
1.5
0.5
0.5
0.5
0.5
1.5
0.5
1.5
2
0.5
1.5
-0.5
-0.5
-0.5
-1
-1
-1
-1.5
75
Aproximao de funes
Exerccio 3.32 Deslocando-se um receptor de GPS num veculo ao longo do eixo de uma
estrada, em Angola, obtiveram-se as coordenadas locais:
latitude
longitude
26 56,1
5 36
26 50 ,4 27 02 ,7
5 56
6 16
2658 ,3
.
6 36
60 20
20
.
9,40 11,39 10,84
Usando um spline cbico natural, determine uma aproximao para o ngulo de fase pertencente
ao intervalo [20, 20] em que a magnitude aparente da estrela mxima.
Exerccio 3.34 Um carro percorre uma rua, em linha recta, tendo sido efectuados os seguintes
registos:
tempo (t) em segundos
0
distncia (d) em metros
0
velocidade (v) em km/hora 40
5 10
90 150 .
40
Usando o spline cbico completo interpolador da funo distncia nos pontos dados, indique,
justificando, uma aproximao para:
1. o primeiro instante em que o carro excedeu o limite de velocidade permitido dentro das
localidades;
2. o instante em que o carro atingiu a velocidade mxima nos primeiros 5 segundos.
Exerccio 3.35 A presso sistlica p (em milmetros de mercrio) de uma criana saudvel
com peso w (em quilogramas) dada, de forma aproximada, pela equao p = a + b ln w. Use
os seguintes dados experimentais
w
p
20 28
91 99
37 51 59
104 108 111
76
Aproximao de funes
Exerccio 3.36 A lei de Hooke estabelece que a fora F aplicada a uma mola directamente
proporcional ao deslocamento provocado de acordo com a seguinte relao
F = k(e e0 ),
onde k a constante da mola, e o comprimento da mola quando sujeita fora F e e0 o
comprimento inicial da mola.
No sentido de determinar a constante da mola usaram-se diferentes foras (conhecidas)
tendo sido observados os comprimentos resultantes, dados na seguinte tabela
fora F (em gramas)
comprimento e (em milmetros)
3
5
8
10
.
13,3 16,3 19,4 20,9
Sabendo que o comprimento inicial da mola e0 = 10 mm, determine a melhor estimativa para
a constante da mola no sentido dos mnimos quadrados.
Captulo 4
Derivao e integrao numrica
4.1
Derivao numrica
com xk xk1 = h, k = 1, . . . , n.
4.1.1
Queremos aproximar a derivada de f C m ([a, b]) num dos pontos xk , k {0, 1, . . . , n},
da partio (4.1).
Frmulas com dois pontos
Desenvolvendo f em srie de Taylor em torno do ponto xk , e assumindo que f C 2 ([a, b]),
temos
h2
f (xk+1 ) = f (xk ) + f (xk )h + f (1 ),
1 ]xk , xk+1 [
2
e
h2
f (xk+1 ) f (xk ) h
f (1 ),
h
2
77
1 ]xk , xk+1 [
78
f (xk ) f (xk1 ) h
+ f (2 ),
2 ]xk1 , xk [.
h
2
Obtemos assim duas frmulas de diferenas nitas de primeira ordem em h para aproximar
a primeira derivada de uma funo num ponto. A
f (xk ) =
(+ f )(xk ) :=
f (xk+1 ) f (xk )
h
f (xk ) f (xk1 )
h
1
h2
[3f (xk ) + 4f (xk+1) f (xk+2 )] + f (0 );
2h
3
2. f (xk ) =
1
h2
[f (xk+1 ) f (xk1 )] f (1 );
2h
6
3. f (xk ) =
1
h2
[f (xk2 ) 4f (xk1 ) + 3f (xk )] + f (2 ).
2h
3
1 ]xk , xk+1 [;
h2
h3
f (xk ) f (2 ),
2 ]xk1 , xk [.
2
6
Subtaindo membro a membro, e colocando f (xk ) em evidncia, obtemos
f (xk1 ) = f (xk ) f (xk )h +
f (xk ) =
1
f (1 ) + f (2 )
[f (xk+1 )f (xk1 )]h2
,
2h
12
1
(f (1 ) + f (2 )) .
2
(4.2)
79
De facto, atendendo ao facto de f ser contnua e o intervalo [a, b] ser fechado, temos
que
2 min f (x) 6 f (1 ) + f (2 ) 6 2 max f (x).
x[a,b]
x[a,b]
Pelo Teorema de Bolzano conclui-se que existe ]xk1 , xk+1 [ tal que (4.2) se verifica.
Provmos, assim, que
f (xk ) =
1
f ()
[f (xk+1 ) f (xk1 )] h2
,
2h
6
]xk1 , xk+1 [.
1
[f (xk+1 ) f (xk1 )]
2h
chamamos frmula de diferenas finitas centradas de segunda ordem em h.
(f )(xk ) :=
M
1 X
f (k ).
M k=1
1,8
1,9
2,0
2,1
2,2
.
10,889365 12,703199 14,778112 17,148957 19,855030
1
[3f (2,0) + 4f (2,1) f (2,2)] = 22,032310.
0,2
1
[f (1,8) 4f (1,9) + 3f (2,0)] = 22,054525.
0,2
80
1
[f (2,1) f (1,9)] = 22,228790.
0,2
4.1.2
h3
h4
h2
f (xk ) + f (xk ) + f (4) (1 ),
2
6
24
1 ]xk , xk+1 [
h2
h3
h4
f (xk ) f (xk ) + f (4) (2 ),
2
6
24
2 ]xk1 , xk [.
1
h2 (4)
(4)
[f
(x
)
2f
(x
)
+
f
(x
)]
f
(
)
+
f
(
)
.
k1
k
k+1
1
2
h2
24
Uma vez que f (4) contnua em [xk1 , xk+1 ], o Exerccio 4.2 permite concluir que existe
um ]xk1 , xk+1 [ tal que
f (4) () =
Assim,
f (xk ) =
1 (4)
f (1 ) + f (4) (2 ) .
2
1
h2 (4)
[f
(x
)
2f
(x
)
+
f
(x
)]
f ().
k1
k
k+1
h2
12
A frmula
(4.3)
1
[f (xk1 ) 2f (xk ) + f (xk+1 )]
(4.4)
h2
conhecida como frmula de diferenas centradas de segunda ordem para aproximar a segunda derivada. Por um raciocnio semelhante poderiam ser obtidas outras frmulas de
diferenas nitas para aproximar a segunda derivada, no s centradas como tambm progressivas e regressivas.
(2 f )(xk ) :=
81
1
h4 (4)
[f
(x
)
+
16f
(x
)
30f
(x
)
+
16f
(x
)
f
(x
)]
+
f (),
k2
k1
k
k+1
k+2
12h2
90
1
[f (1,9) 2f (2,0) + f (2,1)] = 29,593200.
0,01
f (x) 2
+
.
h 1+
(1 + )
Verifique que quando = 1 se recupera a frmula das diferenas centradas.
4.2
Integrao numrica
Nesta seco vamos obter e analisar as chamadas frmulas de quadratura numrica que
permitem determinar, de forma aproximada, o integral denido
Z b
I(f ) =
f (x)dx
a
de uma funo real de varivel real f num dado intervalo real [a, b].
Seja f uma funo conhecida em M + 1 pontos a = x0 < x1 < < xM 1 < xM = b,
com xk = x0 + kH e H = (b a)/M. Assim sendo, temos que
I(f ) =
f (x)dx =
M Z
X
k=1
xk
f (x)dx.
xk1
82
f em n + 1 pontos de Ik , temos que f (x) = Pnk (x) + ekn (x), com x Ik , onde ekn (x) o erro
cometido na interpolao. Assim,
I(f ) = IN C (f ; n) + EN C (f ; n),
com
IN C (f ; n) =
M Z
X
k=1
xk
xk1
Pnk (x)dx
e EN C (f ; n) =
M Z
X
k=1
xk
xk1
ekn (x)dx.
(4.5)
As frmulas (4.5) so conhecidas como frmulas de Newton-Cotes (compostas), em homenagem a Isaac Newton (1643-1727) e Roger Cotes (1682-1716), e dependem, obviamente,
do grau do polinmio escolhido. As frmulas de Newton-Cotes (simples) so aquelas que se
obtm quando se considera M = 1 ou, de forma equivalente, H = b a.
Uma vez que a n-sima frmula de Newton-Cotes obtida custa da aproximao da
funo integranda por um polinmio de grau n, ser de esperar que esta seja exacta para
polinmios de grau menor ou igual a n. Este facto conduz-nos ao conceito de grau de
exactido de uma frmula de quadratura numrica.
Definio 4.1 (Grau de exactido) Uma frmula de quadratura numrica (4.5)
diz-se com grau de exactido n se exacta para polinmios de grau menor ou igual a
n.
Outra forma de analisar o erro cometido ao aproximar um integral por uma frmula de
quadratura numrica atravs da sua ordem de convergncia.
Definio 4.2 (Ordem de convergncia) Uma frmula de quadratura numrica (4.5)
diz-se com ordem de convergncia p se |EN C (f ; n)| 6 CH p , com C uma constante independente de H e M.
4.2.1
x Ik .
Para isso, a funo f tambm ter que ser conhecida nos pontos xk , k = 1, ..., M. Ento,
I(f ) =
f (x)dx =
M Z
X
k=1
xk
xk1
f (x)dx
M Z
X
k=1
xk
f (xk )dx = H
xk1
:= H
M
X
k=1
f (xk ).
M
X
k=1
f (xk ).
83
2
=
f (x)(x x) +
(x x) dx, x I{x, x}.
2
a
Atendendo a que (prove)
b
a
(x x)dx = 0
e ao facto de (x x)2 no mudar de sinal em [a, b], usando o Teorema 1.4, temos que
Z
f () b
I(f ) IP M (f ) =
(x x)2 dx,
]a, b[.
2
a
Ento (prove)
f ()
(b a)3 ,
]a, b[.
24
Pelas denies dadas anteriormente, temos que a frmula do ponto mdio tem ordem
de convergncia 3 e grau de exactido 1.
EP M (f ) := I(f ) IP M (f ) =
H2
(b a)f (),
24
]a, b[.
M
X
f (k )
k=1
M
H 3 X
(xk1 xk ) =
f (k ),
24
24
3
k=1
k ]xk1 , xk [.
Note-se que, a frmula do ponto mdio perde uma ordem de convergncia quando usada
na sua forma composta.
Na prtica a frmula do erro aparece, normalmente, em valor absoluto. usual considerar a expresso
|EPc M (f )| 6
H2
(b a)M2 ,
24
84
4.2.2
Frmula do trapzio
x xk1
f (k )
x xk
+ f (xk )
+
(x xk1 )(x xk ),
xk1 xk
xk xk1
2
f (x)dx =
a
n Z
X
k=1
H
2
xk
xk1
M
X
f (x)dx
M Z
X
k=1
x xk1
x xk
f (xk1 )
+ f (xk )
) dx
xk1 xk
xk xk1
xk1
xk
(f (xk1 ) + f (xk )) =
k=1
H
[f (a) + 2f (x1 ) + + 2f (xM 1 ) + f (b)].
2
H
[f (a) + 2f (x1 ) + + 2f (xM 1 ) + f (b)].
2
ba
[f (a) + f (b)].
2
(4.6)
12
10
y=f(x)
8
6
4
2
-1
a
-0.5
b
0.5
1.5
2.5
f (x )
(x a)(x b),
2
x ]a, b[.
85
(b a)3
f (),
12
]a, b[.
Tal como para a frmula do ponto mdio, temos que a frmula do trapzio tem ordem
de convergncia 3 e grau de exactido 1.
Exerccio 4.8 Mostre que
ETc (f ) := I(f ) ITc (f ) =
H2
(b a)f (),
12
]a, b[.
M
X
f (k )
k=1
M
H 3 X
(xk1 xk ) =
f (k ),
12
12 k=1
3
k ]xk1 , xk [.
H2
(b a)M2 ,
12
O valor do integral de uma determinada funo f num intervalo [a, b] pela frmula do
trapzio pode ser dado de acordo com o seguinte algoritmo.
Algoritmo 4.1 Frmula do trapzio
Dados: a, b e M
H := (b a)/M
x := a
s := 0
Para k de 1 at M 1 fazer
x := x + H
s := s + f (x)
86
x[2,1]
4.2.3
Frmula de Simpson
f (x) = f (xk1 )
f
(x
)
k
H2
H2
xk1
2(x xk1 )(x xk )
+f (xk+1)
dx,
H2
87
15
12.5
10
y=f(x)
7.5
5
2.5
a
-1
-0.5
b
1
0.5
(a+b)/2
1.5
2.5
M
HX
[f (xk1 ) + 4f (xk )) + f (xk )] ,
=
6 k=1
estabelecida por Thomas Simpson (1710-1761), que tambm pode ser escrita na forma
"
#
M
M
1
X
X
H
f (a) + 4
f (xk ) + 2
f (xk ) + f (b) .
(4.7)
ISc (f ) =
6
k=1
k=1
A frmula de Simpson (simples) a que se obtm quando se considera M = 1, isto ,
ba
a+b
IS (f ) :=
f (a) + 4f
+ f (b) .
6
2
Ao contrrio do que foi efectuado para as frmulas do ponto mdio e do trapzio, neste
caso no podemos aplicar o Teorema 1.4 para determinar o erro cometido na aproximao
I(f ) IS (f ), uma vez que (x a)(x (a + b)/2)(x a) muda de sinal em [a, b]. possvel,
no entanto, demonstrar que, se f C 4 ([a, b]), o erro associado frmula de Simpson
(simples) dado por
(b a)5 (4)
f (),
ES (f ) =
2880
]a, b[.
Uma vez que a frmula de Simpson foi obtida pela aproximao da funo integranda
por um polinmio de segundo grau, seria de esperar que tivesse grau de exactido 2. No
88
entanto, de forma surpreendente, a expresso obtida para o erro diz-nos que a frmula de
Simpson tem grau de exactido trs, isto , esta frmula exacta sempre que a funo a
integrar um polinmio de grau menor ou igual a 3.
A determinao do valor do erro que est associado frmula de Simpson (composta)
pode ser feita de forma semelhante ao efectuado para a frmula do trapzio (composta).
De facto, pelo Exerccio 4.2, como f C 4 ([a, b]), existe um ]a, b[ tal que
M
X
k=1
Assim sendo,
ESc (f )
H4
H5
(4)
=
Mf () =
(b a)f (4) (),
2880
2880
]a, b[.
H4
(b a)M4 ,
2880
H
[f (a) + 4f (x1 ) + 2f (x2 ) + 4f (x3 ) + + 2f (xM 2 ) + 4f (xM 1 ) + f (b)], (4.8)
3
com erro
ESc (f ) =
o que implica
|ESc (f )| 6
H4
(b a)f (4) (),
180
H4
(b a)M4 ,
180
]a, b[,
(4.9)
A frmula (4.8) a mais iremos usar na resoluo de exerccios prticos. Nessa frmula,
os pontos xk , com k mpar, correspondem, em (4.7), aos pontos mdios do intervalo.
O valor do integral de uma determinada funo f num intervalo [a, b] pela frmula de
Simpson pode ser dado de acordo com o seguinte algoritmo.
89
x := a
s := 0
Para k de 1 at M 1 fazer
x := x + H
Se k par ento s := s + 2f (x) caso contrrio s := s + 4f (x)
1 4
1
H M4 =
M4 ,
180
180M 4
sendo
M4 = max |f (4) (x)| = max (4ex cos x).
x[0,1]
x[0,1]
1
[f (0) + 4f (0,25) + 2f (0,5) + 4f (0,75) + f (1)] = 1,377903843.
12
90
4.3
Exerccio 4.13 Num circuito elctrico com voltagem aplicada E(t) e inductncia L, a primeira
Lei de Kirchoff d-nos a relao
E(t) = LI (t)RI(t),
onde R a resistncia no circuito e I(t) a corrente no instante t. Suponhamos que medimos
a corrente para vrios valores de t = ti , i = 1, . . . , 5, obtendo
ti
1,00 1,01 1,02 1,03 1,04
,
I(ti ) 3,10 3,12 3,14 3,18 3,24
onde tempo medido em segundos, a corrente em amperes, a inductncia uma constante
dada por L = 0,98 henries e a resistncia 0,142 ohms. Aproxime a voltagem E nos valores
de t dados na tabela.
Exerccio 4.14 A taxa de arrefecimento de um corpo pode ser expressa por
dT
= k(T Ta )
dt
onde T e Ta so as temperaturas do corpo e do meio circundante (em graus Celsius), respectivamente, e k uma constante de proporcionalidade (por minuto). Se uma esfera de metal
aquecida a 90 o C mergulhada em gua mantida temperatura constante de Ta = 20 o C, a
temperatura da esfera toma os seguintes valores:
Tempo (min.)
Temperatura (o C)
0
5
10
15
20
25
.
90 62,5 45,8 35,6 29,5 25,8
dT
dt
em cada momento.
2. Use a alnea anterior para obter uma estimativa para a constante de proporcionalidade k.
Exerccio 4.15 Os valores seguintes representam a evoluo no tempo do nmero N(t) de
indivduos de uma dada populao cuja taxa de crescimento constante (b = 2) e cuja taxa
de mortalidade d(t) = 0,01N(t):
t (meses)
N
0
0,5
1
1,5
2
2,5
3
.
100 147 178 192 197 199 200
1. Utilize os dados da tabela para aproximar com a maior preciso possvel a taxa de variao
desta populao.
2. Compare os resultados obtidos na alnea anterior com a taxa exacta N (t) = 2N(t)
0,01N 2 (t).
91
Exerccio 4.16 A altura q(t) atingida no tempo t por um fluido contido num reservatrio
cilndrico rectilneo de raio R = 1 m tendo na sua base um orifcio circular de raio r = 0,1 m,
foi medida em cada 5 segundos, tendo-se registado os seguintes valores:
t
0
5
10
15
20
.
q(t) 0,6350 0,5336 0,4410 0,3572 0,2822
1. Utilize os dados da tabela para aproximar com a maior preciso possvel a velocidade de
esvaziamento q (t).
2. Compare os resultados obtidos
p na alnea anterior com velocidade prevista pela lei de
2
Torricelli: q (t) = (r/R) 2gq(t), onde g a acelerao da gravidade e = 0,6
um factor de correco.
Exerccio 4.17 Fugacidade o termo usado na engenharia para descrever a trabalho resultante de um processo isotrmico. Para um gs ideal, a fugacidade f igual presso P , mas
para os gases reais,
Z P
f
C1
ln =
dp
P
P
0
P (atm.)
80
120
160
250
400
C
0,9940
0,9370
0,8683
0,7043
0,4515
C
0,3429
0,4259
.
0,5252
0,7468
1,0980
Escreva um programa que calcule o valor de f correspondente a cada valor da presso dado
na tabela. Assuma que o valor de C varia linearmente entre os valores calculados e que C
tende para um quando P tende para zero.
Exerccio 4.18 Uma partcula de massa m movendo-se num fludo est sujeita a uma resistncia de viscosidade R, que funo da velocidade v. A relao entre a resistncia R, a
velocidade v e o tempo t dada pela equao
t=
v(t)
v(t0 )
m
du.
R(u)
92
2
f (x) =
et dt
0
usada com muita frequncia em disciplinas to diversas como a teoria das probabilidades,
distribuio de calor, difuso de matrias, etc. Usando uma das regras de integrao estudadas,
calcule uma aproximao para o valor do referido integral indicando um majorante para o erro
cometido.
Exerccio 4.20 A intensidade de luz com comprimento de onda viajando atravs de uma
grelha de difraco com n aberturas a um ngulo dada por
n2 2
sin k,
k
I() =
onde
nd sin
106
I() d.
106
Exerccio 4.21 A massa que libertada por um reactor num dado perodo de tempo dada
por
Z t2
M=
QCdt,
t1
Captulo 5
Sistemas de equaes lineares
O problema que pretendemos resolver neste captulo consiste em determinar o valor de
x Rn tal que Ax = b, sendo b Rn e A Mn (R), onde Mn (R) denota o conjunto das
matrizes reais de ordem n. Para resolver este problema iremos supor que a matriz A
invertvel ou, o que equivalente, que o sistema possvel e determinado.
H muitos sistemas fsicos que podem ter como modelo sistemas de equaes lineares.
Suponhamos, por exemplo, um camio a atravessar uma ponte cuja estrutura constituda
por barras de ferro. O peso camio e da ponte so foras que so contrabalanadas pelas
exercdas nas extremidades que seguram a ponte. Essas foras so propagadas ao longo de
toda a estrutura e, em cada nodo (locais onde as barras de ferro seguram a estrutura) a
resultante das foras deve ser nula. Se decomposermos as foras nas componentes horizontal
(x) e vertical (y) temos, em cada nodo (i = 1, 2, . . .), as equaes:
soma x das foras = 0, no nodo i,
soma y das foras = 0, no nodo i.
As foras, em cada barra, podem assim ser determinadas. Como h foras conhecidas (peso
do camio, peso das barras, etc), o sistema a resolver no homogneo.
A resoluo de um problema envolvendo sistemas lineares pode dividir-se em trs etapas:
1. formulao do modelo matemtico (calcular a matriz A);
2. clculo dos agentes exteriores (calcular o vector b);
3. resoluo do sistema linear.
Os dois primeiros passos dependem, obviamente, do conhecimento do problema fsico (tipo
de material, leis fsicas, etc); o terceiro passo pode ser equacionado e resolvido separadamente, usando um conveniente algoritmo matemtico. Uma vez que este ltimo passo
aparece como pertencente a um algoritmo bastante mais vasto essencial que seja calculado de forma eciente.
93
94
Existem duas grandes classes de mtodos para resolver sistemas de equaes lineares: os
mtodos directos, que j foram estudados, em parte, na disciplina de lgebra Linear e para
os quais iremos fazer uma breve reviso; e os mtodos iterativos que iremos estudar com
mais pormenor, especialmente os mtodos devidos a Carl Gustav Jakob Jacobi (1804-1851),
Johann Carl Friedrich Gauss (1777-1855) e Philipp Ludwig von Seidel (1821-1896). Antes
porm, vamos apresentar algumas classes de matrizes que iro ser consideradas.
5.1
Classes de matrizes
Um matriz com muitos elementos nulos diz-se esparsa; caso contrrio diz-se que a
matriz densa. Sistemas com matrizes esparsas modelam sobretudo problemas onde
existem princpios de inuncia local. Note-se que, no caso da ponte, as equaes em
cada nodo apenas envolvem as barras que a se encontram. O seu nmero o mesmo
quer a ponte tenha 50 metros e, digamos, 10 barras, ou 5 km e 1000 barras. Assim,
para uma ponte grande, a maioria dos coecientes da matriz so nulos.
Como caso particular das matrizes esparsas temos as matrizes banda e, dentro dessa
classe, as chamadas matrizes tridiagonais. As matrizes banda so aquelas cujos elementos no nulos se concentram apenas num conjunto de diagonais paralelas diagonal principal.
Matrizes triangulares
Matrizes simtricas
As matrizes simtricas so aquelas que coincidem com a sua transposta. Uma caracterstica importante das matrizes simtricas o facto de todos os seus valores prprios
serem reais.
Uma matriz A = (aij )ni,j=1 diz-se estritamente diagonal dominante por linhas se
|aii | >
n
X
j=1,j6=i
|aij |,
i = 1, ..., n,
n
X
i=1,i6=j
|aij |
j = 1, ..., n.
95
Uma matriz diz-se simtrica e positiva definida se for simtrica e se, para todo o vector
x Rn , no nulo, se tem xT Ax > 0.
x Rn ,
x 6= 0.
5.2
u22 x2 + + u2n xn = c2
..
..
..
.
.
.
unn xn = cn
e a sua resoluo, caso uii 6= 0, i = 1, . . . , n, feita de acordo com o algoritmo seguinte.
96
Resultado: xi , i = 1, . . . , n
1 1
2 2
2
.
.
..
..
..
A=
.
n1 n1 n1
n
n
1 u1
l1
2 l2
1 u2
.
.
.
.
.
.
.
.
L=
,
e U =
.
.
.
.
1 un1
n1 ln1
1
n ln
97
l1 := 1
li := i i ui1
Se li 6= 0 ento ui := i /li caso contrrio parar
ln := n n un1
Resultado: li , i = 1, . . . , n, e ui , i = 1, . . . , n 1
Como facilmente se pode demonstrar, a resoluo do sistema linear Ax = b, com A
uma matriz tridiagonal cuja decomposio A = LU dada pelo exerccio anterior, pode
ser efectuada de acordo com o seguinte algoritmo.
Algoritmo 5.3 Resoluo de um sistema tridiagonal
Dados: matriz A e vector b
Determinar as matrizes L e U
( Resolver Ly = b )
y1 := b1 /l1
Para i de 2 at n fazer
yi := (bi i yi1 )/li
( Resolver Ux = y )
xn := yn
Para i de n 1 at 1 fazer
xi := yi ui xi+1
Resultado: xi , i = 1, . . . , n
Prova-se o seguinte resultado.
98
5.3
Seja Mn (R) o conjunto das matrizes quadradas de ordem n com coecientes reais. Como
este conjunto um espao vectorial podemos nele denir uma norma.
Definio 5.1 (Norma matricial) Seja k.kv uma norma definida em Rn . A aplicao
k k : Mn (R) R+
0 tal que, para todo o A Mn (R),
kAxkv
kxk6=0 kxkv
kAk = sup
2. A Mn (R), R,
3. A, B Mn (R),
kAk = ||kAk,
kA + Bk 6 kAk + kBk,
j=1,...,n
kAk2 =
n
X
i=1
|aij |;
99
kAk = max
i=1,...,n
n
X
j=1
|aij |.
2 1 0
A = 1 2 1 .
0 1 2
x Rn ,
x 6= 0.
Ento
A2 x = Ax = 2 x,
x Rn ,
x 6= 0,
kAk = sup
x Rn , x 6= 0,
100
kABk = sup
kx xk
kA1 (b b)k
=
.
kxk
kxk
(5.1)
conclumos que
kA1 kkb bk
= kA1 kkAkkr(b)k.
kAk1 kbk
A
K(A) := kA1 kkAk
kr(x)k 6 K(A)kr(b)k.
Do exposto podemos armar que se o nmero de condio de A for pequeno (de preferncia menor ou igual a um) pequenas perturbaes no vector dos termos independentes
conduzem a pequenas perturbaes no vector soluo. Neste caso dizemos que o sistema
Ax = b estvel e que a matriz do A bem condicionada. Se o nmero de condio for
muito grande o sistema Ax = b diz-se instvel e a matriz do A mal condicionada.
101
A
temos:
1
0
1 0,5
norma k k1
kAk1 = max{|1| + |2|, |0| + |2|} = 3, kA1 k1 = max{|1| + | 1|, |0| + |0,5|} = 2,
e, como tal, K1 (A) = 6;
norma k k
kAk = max{|1|+|0|, |2|+|2|} = 4, kA1 k = max{|1|+|0|, |1|+|0,5|} = 1,5,
e, como tal, K (A) = 6.
Apesar do nmero de condio ter dado o mesmo em ambos os casos, tal poderia no
ter acontecido.
Quando se pretende resolver sistemas lineares instveis usando mtodos directos, a
soluo obtida vem, frequentemente, afectada de erro. Nessa medida, usual considerar
mtodos mistos, isto , mtodos iterativos que consideram como aproximao inicial a
soluo obtida pelo mtodo directo. O mtodo iterativo funciona assim como um corrector
do resultado obtido pelo mtodo directo.
Exerccio 5.6 Seja A uma matriz real, no singular e de ordem n. Prove que se um valor
prprio de A ento
1
6 || 6 kAk.
kA1 k
Exerccio 5.7 Seja A uma matriz simtrica e definida positiva.
1. Mostre que
K2 (A) = M /m ,
onde M e m so, respectivamente, o maior e menor valor prprio de A em valor
absoluto.
2. Mostre que
K2 (A2 ) = (K2 (A))2 .
102
Exerccio 5.8 Seja A uma matriz quadrada de ordem n. Mostre que se A singular K(A)
infinito e se A no singular K(A) > 1.
Exerccio 5.9 Resolva o sistema
2,000112x1 + 1,414215x2 = 0,521471
1,414215x1 + 1,000105x2 = 0,232279
pelo mtodo de eliminao de Gauss. Sabendo que a sua soluo exacta
(x1 , x2 ) = (607,1248, 858,2826),
explique os resultados obtidos.
Exerccio 5.10 As matrizes dos sistemas
xy
= 1
x 1,00001y = 0
xy
= 1
x 0,99999y = 0
103
5.4
Mtodos iterativos
(5.2)
104
com
r (k) = Ax(k) b.
O processo iterativo termina quando se cumprirem os critrios de paragem estabelecidos. Os critrios mais comuns so:
1. Critrio do erro absoluto: kx(k) x(k1) k 6 ;
2. Critrio do erro relativo: kx(k) x(k1) k 6 kx(k) k;
3. Critrio do nmero mximo de iteraes: k = kmax .
Os mtodos iterativos so sobretudo usados para matrizes esparsas de grandes dimenses, que surgem frequentemente em problemas de anlise de circuitos ou clculos de estruturas. Para esses problemas, os mtodos iterativos so competitivos face aos mtodos
directos. Para matrizes densas ou de pequena dimenso os mtodos directos so mais
vantajosos.
Exemplo 5.1 Consideremos o seguinte sistema
x1 +4x2 +2x3 = 7
x1 =
x2 =
x = Bx + g
x3 =
13 [x1 x3 1]
12 [(x1 + 4x2 7]
0
2/10 5/10
13/10
0
1/3
B = 1/3
e
g = 1/3 .
1/2 4/2
0
7/2
(k+1)
(k)
(k)
1
x
=
2x
+
5x
1
2
3
10
h
i
(k+1)
(k)
(k)
x(k+1) = Bx(k) + g
x2
= 13 x1 x3 1
,
h
i
(k+1)
(k)
(k)
x3
= 12 x1 + 4x2 7
(0)
(0)
(0)
k = 0, 1, . . . ,
105
aij xj + bi ,
i = 1, . . . , n.
(5.3)
aii
j=1,j6=i
(k+1)
x1
=
(k+1)
x2
=
x(k+1) =
3
(0)
(0)
(0)
sendo x(0) := [x1 , x2 , x3 ]T um valor dado. Como se pode ver, este mtodo usa as componentes da nova aproximao logo aps estas terem sido calculadas. Neste caso a matriz de
iterao do mtodo j no to simples de escrever.
aij xj
aij xj + bi ,
i = 1, . . . , n.
(5.4)
aii
j=1
j=i+1
Exerccio 5.12 Escreva um algoritmo para determinar a soluo aproximada de Ax = b pelo
mtodo de Jacobi.
A questo que se coloca a de saber em que circunstncias estes mtodos so convergentes.
106
5.5
k+
Caso contrrio o mtodo diz-se divergente. A e(k) chama-se erro (absoluto) da iterao k.
Notemos o seguinte resultado cuja demonstrao muito simples.
Teorema 5.4 O mtodo iterativo (5.2) converge, qualquer que seja a aproximao inicial
x(0) , se e s se
lim B k = 0.
k+
Demonstrao: De facto
e(k) = x x(k) = Be(k1) ,
k = 1, 2, . . . .
Assim
e(k) = B k e(0) ,
k = 1, 2, . . . ,
(5.5)
e, como tal,
lim e(k) = 0 lim B k = 0,
k+
k+
k = 1, 2, . . . .
(5.6)
107
Demonstrao: Considerando normas em (5.5) obtemos (5.6). Tomando limites e atendendo a que kBk < 1 conclumos que o mtodo convergente.
Notemos que, se B SPD, a expresso (5.6) pode ser substituda por
ke(k) k 6 (B)k ke(0) k,
(5.7)
k = 1, 2, . . . .
Por outro lado, se for conhecido um valor aproximado de kBk (ou (B)), de (5.6) (ou
(5.7)) poder-se- deduzir o nmero mnimo de iteraes kmin necessrias para reduzir o
erro inicial ke(0) k de um factor . Com efeito, kmin ser o menor inteiro positivo para o
qual kBkkmin 6 (ou (B)kmin 6 ).
O resultado anterior d-nos apenas uma condio suciente de convergncia. Para
estabelecer uma condio necessria e suciente de convergncia temos que usar a noo
de raio espectral de uma matriz.
Pelo Exerccio 5.6 podemos concluir que (A) 6 kAk, o que permite estabelecer o
seguinte teorema.
Teorema 5.6 O mtodo iterativo (5.2) converge, qualquer que seja a aproximao inicial
x(0) escolhida, se e s se (B) < 1.
Demonstrao (no foi dada): Se (B) < 1 pode demonstrar-se que existe uma norma
matricial tal que kBk < 1. Logo, pelo teorema anterior, o mtodo converge.
Falta provar que se o mtodo convergir ento o raio espectral da matriz de iterao
menor que um. Vamos demonstrar este facto provando que se o raio espectral de B for
maior ou igual a um podemos denir um processo iterativo de forma (5.2) divergente. De
facto, se (B) > 1 existe um valor prprio de B tal que || > 1. Seja z o vector prprio
associado a esse valor prprio. Considerando, em (5.2), a aproximao inicial x(0) = z e
g = z temos
x(1) = Bz + z = z + z = (1 + )z.
Repetindo o processo temos, sucessivamente,
(2)
(1)
= Bx
+ z = (1 + + )z,
...,
(k)
(k1)
= Bx
+z =
k
X
j=0
z.
(5.8)
108
(5.9)
com B = P 1 (P A) e g = P 1 b.
A escolha dos diferentes mtodos iterativos depende da forma como se dene a partio
(5.8), isto , como se dene o pr-condicionador P . Para denir os mtodos de Jacobi e
Gauss-Seidel, considera-se A = D L U, em que
aii
a22
D=
,
.
..
ann
L=
0
a21 0
..
..
..
.
.
.
an1 an,n1 0
0 a12 a1n
..
..
..
.
.
.
U =
0 an1,n
0
Ax = b (D L U)x = b (D L)x = Ux + d.
Caso D L seja invertvel ou, o que equivalente, caso D seja invertvel, temos que
x = (D L)1 Ux + (D L)1 b.
O mtodo de Gauss-Seidel assim dado por (5.9), com B = (D L)1 U e g = (D L)1 b,
ou seja, o mtodo iterativo que resulta da escolha de P = D L como pr-condicionador.
109
O estudo da convergncia destes mtodos iterativos pode ser efectuado de acordo com os
resultados estabelecidos na seco anterior. Assim, se D for invertvel, temos que, qualquer
que seja a aproximao inicial escolhida:
Mtodo de Jacobi
1. (D 1 (L + U)) < 1 o mtodo converge;
0
aa12
aa1n
11
11
a21
0
aa2n
a22
22
1
B = D (L + U) = .
..
..
.
.
.
.
.
.
.
n1
n2
aann
aann
caso do mtodo de Ja
Assim, pelo Teorema 5.5, temos que o mtodo de Jacobi converge para a soluo de Ax = b,
qualquer que seja a aproximao inicial escolhida.
Note-se que o teorema anterior nos d apenas uma condio suciente de convergncia.
Assim, se a matriz do sistema a resolver for estritamente diagonal dominante por linhas
os mtodos de Jacobi e Gauss-Seidel iro gerar sucesses de aproximaes convergentes
para a sua soluo; caso contrrio, nada poderemos armar quanto convergncia dessas
sucesses.
Exerccio 5.13 Mostre que se A uma matriz estritamente diagonal dominante por colunas,
ento o mtodo de Jacobi converge para a nica soluo do sistema Ax = b, qualquer que seja
a aproximao inicial escolhida.
5.6
110
Exerccio 5.14 Considere um barra horizontal fixa numa extremidade e livre no restante do
seu comprimento. Um modelo discreto de foras na barra conduz ao sistema de equaes
lineares Ax = b, onde A a matriz quadrada de ordem n, com estrutura de banda, dada por
9 4
1
0
0
..
.
4
6 4
1 ..
.
..
..
.
6 4
1
.
1 4
.
0 ... ... ... ... ...
0
..
.
.
.
.
1 4
5 2
0
0
1 2
1
O vector b dado pela carga que imposta barra (incluindo o seu prprio peso), e o vector
x representa a deformao da barra que queremos determinar. Considermos a barra sujeita a
uma carga uniforme dada por bi = 1, para i = 1, . . . , n. Considerando n = 100, resolva o
sistema usando mtodos directos e mtodos iterativos, comparando a sua eficcia.
Captulo 6
Valores e vectores prrprios
Dada uma matriz A Mn (C), os valores pprios de A so os escalares para os quais
Ax = x,
x Cn ,
x 6= 0.
6.1
Mtodo da potncia
Considere-se A Mn (C) uma matriz com valores prprios i , i = 1, ..., n, tais que
|1 | > |2 | > > |n |.
Seja xi o vector prprio associado a i , de mdulo 1, isto , tal que kxi k = 1. Se os vectores
prprios de A forem linearmente independentes, o algoritmo seguinte permite obter o vector
prprio x1 associado ao maior valor prprio (em mdulo) 1 da matriz A.
111
112
x(0)
kx(0) k
(0) := y (0)
k := 0
H
Ay (0)
Repete
k := k + 1
x(k) := Ay (k1)
(k)
y (k) := kxx(k) k
H
(k) := y (k) Ay (k)
Resultado: 1 (k)
ou
(c)
Cj
z C : |z ajj | 6
n
X
i=1,i6=j
|aij | ,
j = 1, ..., n,
113
(c)
chamam-se, respec-
6.2
com
1 t12 t1n
2 t2n
lim A(k) = T =
..
k+
.
n
114
6.3
Exerccio 6.2 Os momentos de inrcia, para uma determinada placa, em relao a um sistema
coordenado x e y so
Ixx = 0,20 Kg m2 ,
Iyy = 0,12 Kg m2 ,
Ixx Ixy
Iyx Iyy
P
P
2
2
m
P mi xi zi
Pi (yi + zi ) P m2i xi yi2
mP
mi yi zi .
J = Pmi yixi )
i (xi + zi ) P
mi zi xi
mi zi yi
mi (x2i + yi2)
2. Com base no exerccio anterior, determine o maior momento de inrcia principal e o seu
eixo associado, usando o mtodo da potncia com erro relativo inferior a 103 e partindo
de v = [2, 1,5, 0]T .
Captulo 7
Mtodos numricos para o problema de
Cauchy
As primeiras equaes diferenciais so to antigas quanto o clculo diferencial. Newton
considerou-as, em 1671, no seu tratado de clculo diferencial e discutiu a sua soluo por
integrao e por expanso em srie. Leibniz, o segundo inventor do clculo, chegou s
eques diferenciais por volta de 1676 considerando o problema geomtrico do inverso das
tangentes: para que curva y(x) a tangente em cada ponto P tem um comprimento
pconstante
(com o eixo dos xs), digamos a? Este problema conduziu equao y = y/ a2 y 2 .
Em 1696, Johann Bernoulli (1667-1748) convidou os mais ilustres matemticos do seu
tempo para resolver o problema da braquistcrona (curva de tempo mnimo), principalmente
para refutar a resposta, que esperava errada, do seu irmo Jacob Bernoulli (1657-1705). O
problema consistia em determinar a curva y(x) que une dois pontos P0 e P1 de tal modo
que um ponto, partindo de P0 e deslizando, nessa curva, sujeito apenas a foras gravticas,
atinja P1 no menor tempo possvel. A resposta a este problema foi dada dada por vrios
matemticos (inclusiv Jacob Bernoulli) e , como se sabe, a ciclide. Essa curva pode ser
determinada como sendo a soluo de uma equao diferencial ordinria.
Muitos problemas da engenharia e da cincia tm como modelo equaes diferenciais.
Neste curso iremos efectuar uma breve introduo ao estudo dos mtodos numricos para
a resoluo de problemas que envolvem equaes diferenciais. Os problemas que iremos
considerar sero de dois tipos: problemas com condio inicial (ou de Cauchy) e problemas
com condies de fronteira.
7.1
Consideremos uma equao diferencial ordinria de primeira ordem, isto , uma equao
da forma
y (t) = f (t, y(t)),
t [t0 , T ],
(7.1)
em que f : [t0 , T ] R R. O estudo que iremos efectuar para este tipo de equaes
pode ser facilmente generalizado a sistemas de equaes diferencias ordinrias de primeira
115
116
ordem, isto , para o caso em que f : [t0 , T ]RN RN . Por uma questo de simplicao
de exposio optmos por apresentar o estudo para o caso escalar (N = 1).
Antes de se pensar em resolver uma determinada equao diferencial h que garantir
que essa equao tem soluo e que nica. Note-se que a soluo equao (7.1), se existir,
no nica pois, ao integrarmos, introduzimos sempre uma constante de integrao.
Uma das condies para obter a unicidade da soluo consiste em especicar y(t) num
ponto qualquer do intervalo [t0 , T ], usualmente o ponto inicial t0 . Ficamos assim com o
problema de condio inicial (PCI)
y (t) = f (t, y(t)),
t [t0 , T ],
(7.2)
y(t0 ) = y0 ,
tambm chamado problema de Cauchy, em homenagem a Augustin-Louis Cauchy (17891857).
Apesar de contornado este problema ainda no temos a garantia da existncia e unicidade da soluo do PCI (7.2). Antes de apresentarmos o teorema que estabelece as
condies sucientes para que o problema tenha soluo nica consideremos a denio
seguinte devida a Rudolf Otto Sigismund Lipschitz (1832-1903).
Definio 7.1 (Funo lipschitziana) Uma funo f (t, y) verifica a condio de Lipschitz (ou lipschitziana), na varivel y, num conjunto D R2 se existir uma constante
L > 0 tal que
|f (t, y1) f (t, y2)| 6 L|y1 y2 |,
sempre que (t, y1 ), (t, y2) D. A L chama-se constante de Lipschitz.
Exerccio 7.1 Prove que a funo f (t, y) = t|y| lipschitziana, na varivel y, no conjunto
D = {(t, y) R2 : 1 6 t 6 2; 3 6 y 6 4}.
Resoluo: Temos que
|f (t, y1) f (t, y2 )| = |t|y1 | t|y2 || 6 2||y1 | |y2 || 6 2|y1 y2 |.
Logo, a constante de Lipschitz L = 2.
O teorema seguinte, atribudo a Charles mile Picard (1856 -1941), estabelece condies
sucientes para que um problema com condio inicial tenha soluo nica.
Teorema 7.1 (Picard) Seja f (t, y) uma funo contnua (nas variveis t e y) e lipschitziana (na varivel y) em D = {(t, y) : t0 6 t 6 T, y R}. Ento o PCI (7.2) tem
soluo nica y(t) C 1 ([t0 , T ]).
117
y(t) = y0 +
(7.3)
f (, y( ))d.
O que se prova na demonstrao do Teorema de Picard que a sucesso de funes {uj (t)},
denida recursivamente por
u0 (t)
= y0 ,
Rt
uj+1 (t) = y0 + a f (, uj ( ))d. j = 0, 1, . . . ,
[0, 1].
(t, y) D,
1
y (t) =
,
t [a, b],
1 + y2
y(a) = ,
1
.
1 + y2
118
Consideremos
g(y) =
2y
.
(1 + y 2 )2
2y
.
(1 + y 2)2
Como
g (y) = 0 y =
3
3
temos que
(
L = max g(0), g
)
!
3
, lim g(y) = max{0, 0,6594, 0} = 0,6594.
y+
3
7.2
Mtodos numricos
119
A funo que dene os mtodos (7.4) e (7.5) chamada funo de iterao ou funo
incremento do mtodo numrico.
7.2.1
Consideremos o PCI (7.2) com f uma funo sucientemente diferencivel nas variveis t
e y. Ento, fazendo o desenvolvimento em srie de Taylor temos
y(t) = y(t0 ) + (t t0 )y (t0 ) +
(t t0 )2
y (t0 ) + .
2!
df
(t, y) = (ft + fy y )(t, y) = (ft + fy f )(t, y),
dt
y (t) =
d2 f
(t, y) = (ftt + 2fty f + fyy f 2 + ft fy + fy2 f )(t, y),
dt2
..
.
onde
ft (t, y) =
f
(t, y),
t
fy (t, y) =
f
(t, y),
y
....
Por razes prticas temos que limitar o nmero de termos na expanso em srie de y(t)
a um nmero razovel, o que nos conduz a restries nos valores de t para os quais a
expanso nos d uma boa aproximao.
120
hk
h2
f (t0 , u0 ) + + f (k1) (t0 , u0 ),
2
k!
onde
dj f
(t0 , u0 ).
dtj
Podemos denir assim, para cada k = 1, 2 . . ., um mtodo de passo nico explcito que
permite obter solues aproximadas ui y(ti) da forma (7.4) em que
f (j) (t0 , u0 ) =
h
hk
(t, u; h) = f (t, u) + f (t, u) + + f (k1) (t, u).
2
k!
(7.6)
i = 0, . . . , n,
u0 = y0 ,
(7.7)
T t0
n
t := t0
u := y0
Para i de 1 at n fazer
:= 0
Para j de 1 at k fazer
:= + f (j) (t, u)hj /j!
u := u + h
t := t + h
Resultado: u
Exerccio 7.3 Considere o problema de condio inicial
y (t) = 2y,
y(0) = 1.
Determine, usando o mtodo de Euler progressivo, o valor aproximado de y(1), fazendo h = 1,
h = 0.5 e h = 0.25. Compare os resultados obtidos sabendo que y(t) = e2t .
121
y(0) = u0 = y0 = 1
y(1) u1 = u0 + hf (u0 ) = 1 + 1 (2) = 1.
h = 0.5
y(0) = u0 = y0 = 1
y(0,5) u1 = u0 + hf (u0 ) = 1 + 0,5 (2) = 0
y(1) u2 = u1 + hf (u1 ) = 0 + 0,5 0 = 0.
h = 0,25
y(0) = u0
y(0,25) u1
y(0,5) u2
y(0,75) u3
y(1) u4
=
=
=
=
=
y0 = 1
u0 + hf (u0 ) = 1 + 0,25 (2) = 0,5
u1 + hf (u1 ) = 0,5 + 0,25 (1) = 0,25
u2 + hf (u2 ) = 0,25 + 0,25 (0,5) = 0,125
u3 + hf (u3 ) = 0,125 + 0,25 (0,25) = 0,0625.
1
y (t) =
,
1 + y2
y(0) =
1.
Use o mtodo de Taylor, com k = 2, para determinar o valor aproximado de y(1), fazendo
h = 0,5.
Resoluo: Seja f (y) = (1 + y 2)1 . Temos que o mtodo de Taylor com k = 2 dado por
ui+1
h2 df
1
ui
= ui + hf (ui ) +
(ui ) = ui + h
h2
.
2
2 dt
1 + ui
(1 + u2i )3
1
1
0,25 = 1,21875
2
8
1
1,21875
0,25
= 1,4.
2,485351563
15,35194798
122
7.2.2
Os mtodos de passo nico implcitos da forma (7.5) tambm tm muita relevncia prtica.
No havendo possibilidade de explicitar o valor de ui+1 temos necessidade de o calcular
resolvendo a equao (geralmente no linear)
ui+1 ui h(ti , ti+1 , ui , ui+1; h) = 0.
Usualmente considera-se um mtodo numrico na resoluo desta equao.
Se considerarmos o mtodo de Newton, a primeira questo a resolver a da determi(0)
nao de uma aproximao inicial ui+1 . Normalmente toma-se para aproximao inicial o
valor de ui; outra hiptese ser a de considerar a aproximao inicial obtida pela aplicao
(0)
de um mtodo explcito. Deteminado o valor de ui+1 temos que
(k)
(k+1)
ui+1
(k)
ui+1
g(ui+1)
(k)
g (ui+1 )
k = 0, 1, . . . ,
sendo
g(u) = u ui h(ti , ti+1 , ui, u; h).
Os mtodos implcitos so usados visto que, em geral, so mais precisos e menos sensveis
a erros que os mtodos explcitos. Por outro lado, o esforo computacional exigido no
clculo de ui+1 , para os mtodos implcitos, muito maior. Assim, estes mtodos s devem
ser usados quando h necessidade de uma preciso muito elevada em problemas sensveis
a erros.
Exemplos comuns de mtodos implcitos so o chamado mtodo de Euler regressivo (ou
implcito), dado pela expresso
ui+1 = ui + hf (ti+1 , ui+1 ),
i = 0, . . . , n 1,
u0 = y0 ,
i = 0, . . . , n 1,
u0 = y0 .
123
Atendendo a que a soluo exacta dada por y(t) = e30t temos que y(1) = 9,361014 .
Note-se que, enquanto o mtodo implcito se aproxima da soluo o mtodo explcito d
um resultado completamente disparatado. Os problemas que no podem ser resolvidos
por mtodos explcitos so chamados stiff e ocorrem com muita frequncia em problemas
de Engenharia Qumica.
7.3
Estudo do erro
i = 0, . . . , n 1,
u0 = y0 .
(7.8)
o mtodo diz-se convergente. O mtodo diz-se de ordem (de convergncia) p > 0 se existir
um C > 0 tal que
|e(ti )| 6 Chp ,
i = 1, . . . , n
ou, noutra notao, se |e(ti )| = O(hp ), i = 1, . . . , n.
124
i = 1, . . . , n,
u0 = y0 ,
(7.9)
isto , a soluo numrica calculada no nvel temporal ti , supondo uj = y(tj ), j = 0, ..., i1.
Definio 7.3 (Erro de truncatura consistncia) Consider-se o PCI (7.2), verificando
as condies do Teorema de Picard, e um mtodo numrico de passo nico (7.8) que determine aproximaes ui para a soluo exacta y(ti), i = 0, 1, . . . , n. O erro de truncatura
local do mtodo no ponto ti definido por
Ti (h) =
y(ti) ui
.
h
Se
lim max |Ti (h)| = 0,
h0 16i6n
o mtodo diz-se consistente com o PCI (7.2). O mtodo diz-se de ordem (de consistncia)
p > 0 se existir um C > 0 tal que
|Ti (h)| 6 Chp ,
i = 1, . . . , n
i = 1, . . . , n.
Assim, o erro local pode ser determinado atravs dos seguintes passos: (i) substituir na
expresso que dene o mtodo numrico a soluo aproximada no ponto ti , ui , pela soluo
exacta y(ti ); (ii) considerar a hiptese ui1 = y(ti1 ); (iii) efectuar o desenvolvimento em
srie de Taylor de y(ti) em torno de ti1 .
Exerccio 7.6 Mostre que:
1. um mtodo consistente se tiver, pelo menos, ordem um ou, o que equivalente, se
(t, y; 0) = f (t, y);
2. o erro local para o mtodo de Taylor de funo incremento (7.6) dado por
Ti (h) =
hk
y (k+1) (),
(k + 1)!
]ti1 , ti [,
125
3. para o mtodo de Euler progressivo se tem Ti (h) = O(h), ou seja, o mtodo tem ordem
um.
O prximo teorema estabelece as condies para as quais se pode concluir que o erro
global tem a mesma ordem que o erro local.
Teorema 7.3 Seja y(t) a nica soluo do PCI (7.2), verificando as condies do Teorema
de Picard, e (7.8) um mtodo numrico que supomos ser consistente com o problema e ter
ordem p, isto , |Ti (h)| 6 Chp , i = 1, . . . , n, p > 1. Se existir h0 > 0 tal que (t, y; h)
contnua, nas variveis t e y, e lipschitziana, na varivel y, no conjunto
D = {(t, y; h) : t0 6 t 6 T, y R, 0 6 h 6 h0 },
ento
C p L(ti t0 )
h e
1 ,
L
sendo L a constante de Lipschitz de .
|e(ti )| 6
i = 1, . . . , n.
i = 1, . . . , n.
Uma vez que a funo lipschitziana, na varivel y, e o mtodo tem ordem p > 1
possvel concluir que
|e(ti )| 6 (1 + hL)|e(ti1 )| + Chp+1 .
|e(ti )| 6 Ch
i1
X
j=0
C
(1 + hL)i
6 hp eihL 1 .
1 (1 + hL)
L
p+1 1
(1 + hL) = Ch
Note-se que a consistncia, por si s, no implica convergncia uma vez que existem
mais tipos de erros que podem ocorrer para alm do erro de truncatura local. De facto,
nem as condies iniciais nem a aritmtica usada esto isentas de erros. Temos portanto
necessidade de garantir que os mtodos usados sejam estveis no sentido de que pequenas
alteraes nas condies iniciais no produzam, por aplicao do mtodo, grandes alteraes nos resultados. No caso dos mtodos de passo nico, o teorema anterior permite-nos
estabelecer o seguinte resultado.
Corolrio 7.4 Suponhamos que o PCI (7.2) aproximado pelo mtodo (7.8). Se existir
h0 > 0 tal que (t, y; h) contnua, nas variveis t e y, e lipschitziana, na varivel y, no
conjunto
D = {(t, y; h) : t0 6 t 6 T, y R, 0 6 h 6 h0 },
ento o mtodo (7.8): (i) estvel; (ii) convergente se e s se consistente.
126
Apesar do estudo da consistncia e convergncia de um mtodo iterativo ter sido efectuado apenas para mtodos explcitos, estes conceitos ainda so vlidos para mtodos
implcitos. Para o mtodo implcito (7.5) o erro de truncatura local denido por
hTi (h) = y(ti ) ui = y(ti) y(ti1) h(ti1 , ti , y(ti1), y(ti); h),
i = 1, . . . , n.
h
= yi1 +
2
h2
h3
y (ti1 ) + y (ti1 ) +
2
6
h2
y (ti1 ) + y (ti1 ) + hy (ti1 ) + y (ti1 ) + .
2
hTi (h) =
h3
y (ti1 ) + .
12
h2
y (),
]ti1 , ti [.
12
Como Ti (h) = O(h2 ) temos que o mtodo dos trapzios tem ordem 2.
Ti (h) =
y(0) = u0 = y0 = 2
y(0,5) u1 = u0 + h2 (f (t0 , u0) + f (t1 , u1)) = 2 0,125u21.
Vamos agora resolver a equao 0,125u21 + u1 2 = 0. Esta equao resolve-se sem
dificuldade pois
0,125u21 + u1 2 = 0 u1 = 9,6598 ou u1 = 1,6568.
127
7.4
Estabilidade absoluta
A convergncia dos mtodos numricos vericada quando h puder ser escolhido arbitrariamente pequeno. No entanto, quando consideramos a aplicao de um mtodo numrico
consideramo-la com um h xo. Este facto pode levar a que, especialmente se os intervalos de integrao forem muito grandes, o mtodo numrico d uma soluo que em nada
corresponda soluo exacta do problema.
Por exemplo, em fenmenos dissipativos, isto , onde as solues do problema tendam
para zero quando a variavel independente tende para innito, muito frequente vericar
que certos mtodos numricos produzem solues oscilatrias, oscilaes essas que no
esto presentes na soluo exacta.
Considere-se, por exemplo, a aplicao do mtodo de Euler progressivo ao problema
teste
y
= y, t [0, +[,
(7.10)
y(0) = 1,
com um nmero real negativo. A soluo exacta deste problema y(t) = et . Como
< 0, tem-se que y(t) tende para zero quando t tende para innito.
Consideremos agora a soluo numrica dada pelo mtodo de Euler explcito. Temos,
sucessivamente, u0 = 1,
ui+1 = ui + hui = (1 + h)ui = (1 + h)i+1 u0 = (1 + h)i+1 .
Assim sendo, a soluo numrica tende para zero com o nmero de iteraes, isto ,
(7.11)
lim ui = 0,
i+
se e s se
|R(h)| < 1,
2
|R(h)| < 1 1 < 1 + h < 1 h 0,
.
||
128
com z = h.
129
7.5
A teoria apresentada nas seces precedentes pode ser facilmente generalizadas para sistemas de equaes diferenciais ordinrias de primeira ordem. Todos os mtodos numricos
apresentados podem ser adaptados ao clculo da soluo aproximada do PCI
Y (t) = F (t, Y ),
t ]t0 , T ],
(7.12)
(0)
Y (t0 ) = Y .
onde
Y (t) =
Y1 (t)
Y2 (t)
..
.
YN (t)
F (x) =
F1 (t, Y )
F2 (t, Y )
..
.
FN (t, Y )
Os mtodos numricos iro, neste caso, determinar aproximaes U (i) para Y (ti ). O
mtodo de Euler progressivo, por exemplo, dado por
U (i+1) = U (i) + hF (ti , U (i) ),
com h =
T t0
n
i = 0, . . . , n,
U (0) = Y (0) ,
a medida do passo.
y(0) = y (0) = 1.
y (t) = z
(t) =
,
3z 2y
z
z (t) = 3z 2y
y(0) = 1
y
1
z(0) = 1
(0) =
.
z
1
Exerccio 7.11 Converta num sistema de equaes diferenciais de primeira ordem o problema
y 0.1(1 y 2 )y + y = 0,
130
z (t) = w
w (t) = 0,1(1 y 2 )z y
.
y(0) = 1
z(0) = 0
w(0) = 0
y (t) = z
(t) =
,
4tz 2y 2
z
2
z (t) = 4tz 2y
y(0) = 1
y
1
z(0) = 0
(0) =
.
z
0
Seja
F (t, Y ) =
e
z
4tz 2y 2
(0)
y
z
com Y =
1
0
+ hF t0 , U
(0)
+ hF t1 , U
(1)
(0) =
y
z
y
z
(0,1) U
(1)
(0,2) U
(2)
= U
(0)
= U
(1)
y
z
1
0,2
0,98
0,392
.
7.6
131
Mtodos de Runge-Kutta
O mtodo mais simples para aproximar a soluo do PCI (7.2) o mtodo (7.7), descrito
por Euler, em 1768, na sua obra Institutiones Calculi Integralis. um mtodo muito
simples de entender e de programar mas, como se ir ver na prxima seco, pouco preciso.
Por exemplo, se pretendermos uma preciso de, digamos, 6 casas decimais, o mtodo de
Euler necessita de aproximadamente um milho de passos.
Se usarmos outros mtodos de Taylor, a preciso pode ser aumentada. A grande desvantagem destes mtodos reside no facto de termos necessidade de calcular muitas derivadas
da funo f para obter mtodos precisos. Esse clculo, alm de muito fastidioso, torna
impraticvel a aplicao de tais mtodos na resoluo de (7.2) quando a funo f tem uma
expresso analtica complicada.
Uma alternativa a esses mtodos foi dada por Carl David Tolm Runge (1856-1927), em
1875, e que consistia em, partindo do conhecimento de y(t0 ), considerar
h
h
;
y(t0 + h) y0 + hf t0 + , y t0 +
2
2
mas, que valor atribuir a y t0 + h2 ? A sugesto de Runge foi a de considerar o mtodo
de Euler com passo h2 . A aplicao sucessiva deste processo permitiu a Runge denir o
seguinte mtodo iterativo:
k1 = f (ti , ui),
k2 = f ti + h2 , ui + h2 k1 ,
ui+1 = ui + hk2 ,
(7.13)
com ui y(ti ). Como veremos este mtodo, apesar de recorrer ao mtodo de Euler,
vai ser mais preciso e no necessita de calcular derivadas de f . A generalizao desta
ideia deu origem seguinte denio, cuja autoria partilhada com Martin Wilhelm Kutta
(1867-1944).
Definio 7.4 (Mtodos de Runge-Kutta) Seja s um nmero inteiro e a21 , a31 , a32 , . . .,
as1 , . . . , as,s1, c2 , c3 , . . . , cs , b1 , b2 , . . . , bs , coeficientes reais. O mtodo
k1 = f (ti , ui),
k2 = f (ti + c2 h, ui + a21 hk1 ),
k3 = f (ti + c3 h, ui + a31 hk1 + a32 hk2 ),
..
.
ks = f (ti + cs h, ui + as1 hk1 + as2 hk2 + + as,s1hks1 ),
ui+1 = ui + h(b1 k1 + b2 k2 + + bs ks ),
chamado mtodo de Runge-Kutta explcito de s etapas para o PCI (7.2).
132
i1
X
aij ,
(7.14)
i = 2, 3, . . . , s.
j=1
Uma notao muito usada na prtica para os mtodos de Runge-Kutta foi apresentada
por John Charles Butcher (1933-), em 1964, e dada pelo seguinte quadro, designado por
quadro de Butcher:
0
c2
c3
..
.
cs
a21
a31
..
.
a32
..
.
as1
b1
as2
b2
..
.
as,s1
bs1
bs
Antes de continuarmos, notemos que os mtodos de Runge-Kutta constituem uma excelente ideia. A nica soluo do PCI bem posto (7.2) uma curva integral em R2 . No
entanto, devido aos erros cometidos, a soluo numrica vai ser afectada pelo comportamento das curvas integrais vizinhas. assim importante conhecer o comportamento de
toda a famlia de curvas integrais e no apenas o de uma nica curva.
Os mtodo de Runge-Kutta usam, deliberadamente, informao de vrias curvas integrais em simultneo. A ttulo de exemplo considere-se o mtodo de trs etapas
k1 = f (ti , ui ),
k2 = f (ti + c2 h, ui + c2 hk1 ),
k3 = f (ti + c3 h, ui + (c3 a32 )hk1 + a32 hk2 ),
ui+1 = ui + h(b1 k1 + b2 k2 + +b3 k3 ).
Para determinar a soluo numrica do PCI (7.2) por este mtodo, comea-se pelo ponto
(ti , ui ) e aplica-se um passo do mtodo de Euler com passo c2 h. Seguidamente, calcula-se o
valor de k2 como sendo o vector derivada no ponto obtido. Temos assim dois valores para
a derivada: k1 e k2 ; iremos usar uma mdia pesada entre estes dois valores
(c3 a3,2 )hk1 + a3,2 hk2
numa nova aplicao do mtodo de Euler, a partir do ponto (ti , ui), com passo c3 h. Calculando a derivada novamente obtm-se o valor de k3 . O ltimo passo do algoritmo mais
uma aplicao do mtodo de Euler, a partir do ponto (ti , ui), com passo h.
133
134
T t0
n
t := t0
u := y0
Para i de 1 at n fazer
k1 := f (t, u)
k2 := f (t + 0,5h, u + 0,5hk1 )
k3 := f (t + 0,5h, u + 0,5hk2 )
k4 := f (t + h, u + hk3 )
u := u + h(k1 + 2k2 + 2k3 + k4 )/6
t := t + h
Resultado: u
Exerccio 7.15 Construa um algoritmo que permita determinar a soluo do PCI (7.2) em
t = T , usando um mtodo de Runge-Kutta explcito de s etapas qualquer.
O mtodo de Heun dado por (7.15). Vamos determinar qual o seu erro local e,
consequentemente, qual a sua ordem. Atendendo denio de erro local temos que
hTi = y(ti ) ui , com ui a soluo numrica obtida pelo mtodo supondo ui1 = y(ti1 ).
Desenvolvendo y(ti ) em srie de Taylor em torno do ponto ti1 temos,
h2 df
h3 d2 f
(ti1 , y(ti1)) +
(ti1 , y(ti1)) + .
2 dt
6 dt2
Por outo lado, considerando o desenvolvimento de ui , recorrendo srie de Taylor para
duas variveis, temos
y(ti) = y(ti1 ) + hf (ti1 , y(ti1 )) +
h
ui = y(ti1 ) + (f (ti1 , y(ti1)) + f (ti1 , y(ti1)) + h(ft + fy f )(ti1 , y(ti1)) +
2
h2
(ftt + 2f fty + f 2 f yy)(ti1 , y(ti1 )) + ).
2
Subtraindo membro a membro, temos
hTi =
h3
(ftt + 2f fty + f 2 fyy 2ft fy 2f fy2 )(ti1 , y(ti1 )) + .
12
h2
(ftt + 2f fty + f 2 fyy 2ft fy 2f fy2 )(, y()),
12
]ti1 , ti [.
135
Exerccio 7.16 Mostre que o mtodo de Runge (7.13) tem ordem dois.
Exerccio 7.17 Mostre que o mtodo de Heun (7.15), aplicado resoluo do PCI (7.2),
convergente.
Resoluo: Atendendo definio do mtodo de Heun temos que este pode ser dado pela
expresso ui+1 = yi + h(ti , ui; h), com
1
(t, y; h) = (f (t, y) + f (t + h, y + hf (t, y))).
2
Para provar que o mtodo convergente vamos provar que consistente e estvel.
1. Consistncia. Provmos que o mtodo de Heun tem ordem dois e, assim sendo,
consistente. Poderiamos ainda provar a consistncia provando que (t, y; 0) =
f (t, y). De facto,
1
(t, y; 0) = (f (t, y) + f (t, y)) = f (t, y).
2
2. Estabilidade. Para provar que o mtodo estvel vamos provar que (t, y; h)
lipschitziana, na varivel y, em D = {(t, y; h) : a 6 t 6 b, y R, 0 6 h 6 h0 }.
Seja L a constante de Lipschitz de f (t, y) na varivel y. Ento
1
|(t, y1; h) (t, y2 ; h)| = (f (t, y1) + f (t + h, y1 + hf (t, y1)))
2
1
(f (t, y2 ) + f (t + h, y2 + hf (t, y2 )))
2
6
1
(L|y1 y2 | + L|y1 + hf (t, y1 ) y2 hf (t, y2)|)
2
1
6 L|y1 y2 | + hL2 |y1 y2 |
2
1 2
6
L + hL |y1 y2 |.
2
Assim (t, y; h) satisfaz a condio de Lipschitz, na
varivel y, em D sendo a sua
constante de Lipschitz dada por K = L + 12 h0 L2 . Finalmente, tanto como f
so contnuas em D. Est assim provada a estabilidade do mtodo.
Atendendo consistncia e estabilidade temos que o mtodo converge para a soluo de
(7.2).
136
y (t) = z
(t) =
,
4tz 2y 2
z
2
z (t) = 4tz 2y
y(0) = 1
y
1
z(0) = 0
(0) =
.
z
0
Seja
F (t, Y ) =
z
4tz 2y 2
com Y =
y
z
e Y
(0)
y
z
K1 = F t0 , U
(0)
K2 = F t0 + h, U
Logo
y
z
(0)
(0,1) U
0
2
+ hK1 =
(1)
0,99
0,196
0,2
1,92
K1
K2
Logo
0,196
= F t1 , U
=
,
1,8818
0,38418
= F t1 + h, U (1) + hK1 =
.
1,6335
(1)
y
z
(0,2) U
(2)
0,988059
0,371765
(0) =
1
0
7.7
137
Exerccio 7.19 Um projctil lanado da superfcie terreste com uma velocidade V . Supondo
que no h arrasto a equao do movimento
d
R2
= g 2 ,
dr
r
onde a velocidade distncia r do centro da Terra que tem raio R. Considerando g = 9,81
m/seg2 , R = 6,37 106 m e V = 15000 m/seg, calcule a velocidade quando r = 2R.
Exerccio 7.20 Uma soluo lquida flui de forma constante ao longo de um tubo na direco
x. Alguns dos solutos contidos na soluo difundem-se atravs da parede do tubo reduzindo a
concentrao z no tubo. A concentrao z dada por
dz
= z(0,2 + z)e0,03x .
dx
Se tomarmos z = 1,5 em x = 2 determine o valor de z em x = 2,4.
Exerccio 7.21 Uma quantidade de 10 quilogramas de material despejada num reservatrio
contendo 60 quilogramas de gua. A concentrao da soluo, c (em percentagem), vem dada
em funo do tempo, t (em segundos), por
(60 1,2112c)c =
k
(200 14c)(100 4c),
3
x = k n1
n2
n3
,
2
2
4
138
Exerccio 7.23 Na teoria da proliferao de uma doena contagiosa, podem ser usadas equaes diferenciais relativamente elementares para prever o nmero de indivduos infectados na
populao em cada instante, desde que sejam efectuadas simplificaes apropriadas. Esta
teoria foi estudada por N.T.J. Bayley em 1957 e 1967 em dois livros, um sobre matemtica
aplicada medecina (The Mathematical Approach to Biology and Medicine, John Wiley &
Sons, NY, 1967) e outro sobre a teoria matemtica das epidemias (The Mathematical Theory
of Epidemics, Hafner, NY, 1957).
Em particular, consideremos que todos os indivduos numa populao fixa tm uma probabilidade igual de ser infectados e que uma vez portadores da doena permanecero sempre
nessa condio. Se x(t) denotar o nmero de indivduos susceptveis de contrair a doena no
instante t e y(t) o nmero de indivduos infectados, razovel assumir que a razo qual
o nmero de infectados varia proporcional ao produto de x(t) por y(t) visto que a razo
depende tando do nmero de infectados como do nmero de susceptveis presentes, para cada
t. Se a populao for suficientemente grande para considerarmos que x(t) e y(t) so variveis
contnuas, o problema pode ser expresso na forma
y (t) = kx(t)y(t),
onde k uma constante e x(t) + y(t) = m a populao total. Esta equao pode ser reescrita
por forma a depender apenas de y(t). Assim
y (t) = ky(t)(m y(t)).
(7.16)
Exerccio 7.24 No exerccio anterior, todos os indivduos infectados permanecem na populao ajudando a difundir a doena. Uma situao mais realista consiste em introduzir uma
nova varivel z(t) para representar tanto o nmero de indivduos que so retirados da populao infectada num determinado instante t, por isolamento, como os que so tratados (e
consequentemente tornados imunes) ou os que morrem. O problema posto nestes termos ,
naturalmente, mais complicado mas Bayley mostrou que a soluo aproximada do problema
pode ser dada na forma
x(t) = x(0)e(k1 /k2 )z(t)
139
Como no possvel determinar a soluo exacta deste problema, temos que recorrer soluo
numrica. Assim, determine uma aproximao para z(30), y(30) e x(30) assumindo que m =
100000, x(0) = 99000, k1 = 2 106 e k2 = 104.
Exerccio 7.25 Um circuito elctrico que formado por um condensador de capacidede elctrica constante C = 1,1 farad em srie com uma resistncia constante de R0 = 2,1 ohm. A
voltagem E(t) = 110 sin t aplicada no instante t = 0. medida que o calor aumenta, a
resistncia torna-se funo da corrente I,
R(t) = R0 + kI(t),
com k = 0,9. A equao diferencial para I
1
1
2k
1+
i(t) I (t) +
I(t) =
E (t).
R0
R0 C
R0
Determine a corrente I ao fim de 2 segundos, assumindo que I(0) = 0.
Exerccio 7.26 O estudo de modelos matemticos para estimar a evoluo de uma populao
de espcies que competem entre si teve a sua origem no incio do sculo com os trabalhos
de A.J. Lotka e V. Volterra. Consideremos o problema de estimar a populao constituida
por duas espcies, uma das quais predadora, cuja populao no instante t x2 (t), e que
se alimenta comendo a outra espcie, a que chamamos presa e cuja populao x1 (t). Este
problema usualmente designado por predador-presa. Vamos assumir que a presa possui sempre
uma quantidade de comida adequada e que a sua taxa de natalidade em todos os instantes
proporcional ao nmero de presas vivas nesse instante; isto , a taxa de natalidade (presa)
dada por k1 x1 (t). A taxa de mortalidade das presas depende tanto do nmero de presas
como de predadores vivos nesse instante. Por uma questo de simplicidade vamos assumir
que a taxa de mortalidade (presa) k2 x1 (t)x2 (t). A taxa de natalidade dos predadores, por
outro lado, depende da quantidade de comida existente, x1 (t), assim como do nmero de
predadores existentes para fins de reproduo. Por essas razes vamos assumir que a taxa
de natalidade (predador) k3 x1 (t)x2 (t). A taxa de mortalidade dos predadores ser tomada
proporcionalmente ao nmero de predadores vivos nesse instante; isto , a taxa de mortalidade
(predador) dada por k4 x2 (t).
A variao da populao de presas e predadores pode ser dada pelas seguintes equaes
diferenciais
x1 (t) = k1 x1 (t) k2 x1 (t)x2 (t)
.
x2 (t) = k3 x1 (t)x2 (t) k4 x2 (t)
Assumindo que a populao inicial de presas 1000 e a de predadores 200, e que as constantes
k1 = 3, k2 = 0,002, k3 = 0,0006 e k4 = 0,5, trace o grfico das solues deste problema e
descreva o fenmeno fsico representado. Ser que o problema possui alguma soluo estvel?
Se sim, para que valores de x1 e x2 que tal acontece?
140
Exerccio 7.27 Num livro intitulado Looking at History Through Mathematics, MIT Press,
Cambridge MA, 1968, N. Rashevsky considerou um modelo para um problema envolvendo
o evoluo de no conformistas1 na sociedade. Suponhamos que uma sociedade tem uma
populao de x(t) indivduos no instante t, em anos, e que todos os no conformistas que
acasalam com outros no conformistas tm uma descendncia que tambm no conformista.
Por outro lado, para todas as outras descendncias, existe uma proporo fixa r que so
ainda no conformistas. Se as taxas de natalidade e mortalidade para todos os indivduos se
assumir como sendo as constantes n e m, respectivamente, e se conformistas e no conformistas
acasalarem de forma aleatria, o problema pode ser expresso pelas equaes diferenciais
x (t) = (n m)x(t)
,
y (t) = (n m)y(t) + rn(x(t) y(t))
1. Se a varivel p(t) = y(t)/x(t) for introduzida para representar a proporo de no conformistas na sociedade no instante t, mostre que o sistema de equaes diferenciais se
reduz a
p (t) = rn(1 p(t)).
2. Assumindo que p(0) = 0,01, n = 0,002, m = 0,015 e r = 0,1, aproxime a soluo p(t)
para os primeiros 50 anos.
3. Resolva a equao diferencial para p(t) de forma exacta, e compare o resultado com a
soluo numrica.
Exerccio 7.28 Consideremos um pndulo simples constitudo por uma bola uniforme de
massa m e uma barra fina de comprimento l e massa negligencivel. Se considerarmos que a
resistncia do ar porpocional ao quadrado da velocidade angular do pndulo, a equao do
movimeto dada por
g
2
+ 2k ( ) = sin ,
l
sendo o ngulo agudo que a barra do pndulo faz com a vertical. Considerando que em t = 0
se tem = 3 determine o valor de e de nos instantes (em minutos) ti = ih, com h = 0,05
e i = 0, 1, . . . , 50.
Exerccio 7.29 A equao de Van der Pol, que aparece na electrnica,
x + (1 x2 )x + x = 0.
Com as condies iniciais x(0) = 0,5 x (0) = 0, determine x, x e x para nos instantes ti = ih,
com h = 0,1 e i = 0, 1, . . . , 40.
1
Captulo 8
Problemas com condies de fronteira
No captulo anterior estudmos as equaes diferenciais ordinrias no contexto dos sistema
dinmicos em que a varivel independente natural o tempo (nem sempre assim ). Vamos
agora considerar o estudo orientado para regimes estacionrios em que o objectivo consiste
em determinar a distribuio espacial de uma grandeza.
Exemplo 8.1 Um problema comum em Engenharia Civil tem a ver com a deflexo de uma
barra de seco rectangular sujeita a uma carga uniforme quando os extremos esto fixos. A
equao diferencial que serve de modelo a esta situao fsica da forma
S
qx
w+
(x L),
EI
2EI
onde w = w(x) a deflexo no ponto que dista x do extremo esquerdo da barra, e L, q, E, S
e I representam, respectivamente, o comprimento da barra, a intensidede da carga uniforme, o
mdulo da elasticidade, a tenso nos extremos e o momento central de inrcia. Uma vez que
os extremos da barra esto fixos, temos associadas a esta equao diferencial as equaes de
fronteira
w(0) = w(L) = 0.
w =
Quando a barra feita de material uniforme EI uma constante e como tal a soluo da
equao imediata. Caso contrrio I = I(x) e temos que usar mtodos numricos para
determinar uma aproximao para a soluo.
Os problemas fsicos que dependem de uma posio no espao em vez de um instante
no tempo so muitas vezes descritos em termos de equaes diferenciais com condies
impostas em mais do que um ponto: problemas com condies de fronteira (PCF). Os PCF
que iremos considerar nesta seco envolvem uma equao diferencial ordinria de segunda
ordem
y = f (x, y, y ),
x ]a, b[,
(8.1)
e as condies de fronteira
1 y(a) + 1 y (a) = 1 ,
2 y(b) + 2 y (b) = 2 ,
com i , i , i R, i = 1, 2. Estas condies de fronteira podem ser de trs tipos:
141
(8.2)
142
x ]a, b[,
(8.3)
(8.4)
8.1
Um mtodo muito usado para determinar solues aproximadas do PCF (8.1)(8.2) consiste
em substituir as derivadas que nela intervm por frmulas de diferenas nitas.
Suponhamos que o problema (8.1)(8.2) admite uma e uma s soluo e consideremos
a partio
a = x0 < x1 < < xn1 < xn = b
(8.5)
do intervalo [a, b]. O mtodo das diferenas finitas permite-nos obter aproximaes ui ,
i = 0, . . . , n, para os valores da soluo nos pontos da partio, isto , ui y(xi ), i =
0, . . . , n. Por uma questo de simplicao da abordagem vamos considerar a partio
(8.5) uniforme, ou seja, tal que xi xi1 = h, i = 1, . . . , n.
8.1.1
Caso linear
Vamos considerar o PCF linear (8.3) com condies de fronteira (8.2) de Dirichlet (1 =
2 = 1, 1 = 2 = 0). Este problema pode ser escrito, para cada ponto da partio (8.5),
na forma
y (xi ) = p(xi )y (xi ) + q(xi )y(xi) + r(xi ),
i = 1, . . . , n 1,
y(x0 ) = 1 , y(xn ) = 2 ,
143
e
y (xi ) =
i ]xi1 , xi+1 [,
i ]xi1 , xi+1 [,
obtemos
=
p(x
)
+ q(xi )y(xi )
i
2
h
2h
h2
+r(x
)
2p(xi )y (i ) y (4) (i ) ,
12
y(x0 ) = 1 , y(xn ) = 2 .
i = 1, . . . , n 1,
ui+1 ui1
ui+1 2ui + ui1
p(xi )
q(xi )ui = r(xi ), i = 1, . . . , n 1,
2
h
2h
u 0 = 1 , un = 2 ,
u 0 = 1 , un = 2 ,
i = 1, . . . , n 1,
Au = b,
(8.6)
2 h2 q(x1 ) 1 h2 p(x1 )
1 + h p(x2 ) 2 h2 q(x2 ) 1 h p(x2 )
2
2
..
..
..
A=
.
.
.
h
2
144
b=
h2 r(x1 ) 1 + h2 p(x1 ) 1
h2 r(x2 )
..
.
h2 r(xn2 )
h r(xn1 ) 1 h2 p(xn1 ) 2
2
A questo que naturalmente se coloca a de saber se o sistema (8.6) tem soluo nica.
Para responder a essa questo considerere-se o seguinte exerccio cuja resoluo est fora
do mbito deste curso.
Exerccio 8.1 Suponhamos que A = (aij )ni,j=1 uma matriz de ordem n, tridiagonal, com
ai,i1 , ai,i+1 6= 0, para cada i = 2, . . . , n 1. Se
|a11 | > |a12 |,
e
ento A no singular.
i = 2, . . . , n 1,
145
n1
Notemos que o sistema linear obtido da forma Au = b, em que b = (ih3 )n1
i=1 e A = (aij )i,j=1
com
2
h + 2, i = j
aij =
1,
j = i 1, j = i + 1 .
0,
|j i| > 1
A matriz do sistema tridiagonal, simtrica e estritamente diagonal dominante por linhas; logo
invertvel. Fica deste modo garantida a existncia e unicidade de soluo.
Considerando n = 4, ou seja h = 41 , obtemos
2,03125
1
0
u1
1/128
0,03484
1
2,03125
1 u2 = 1/64 0,05633 .
u3
3/128
0,05004
0
1
2,03125
Pode dar-se o caso (muito frequente) das condies de fronteira no serem de Dirichlet
mas de Neumann ou mistas. Suponhamos que temos o PCF
y = p(x)y + q(x)y + r(x),
x ]a, b[,
(8.7)
y (a) = 1 , y (b) = 2 .
Considerando, tal como para o caso anterior, a substituio das derivadas que aparecem
na equo diferencial pelas frmulas de diferenas centradas de segunda ordem obtemos
h
h
2
1 + p(xi ) ui1 + 2 + h q(xi ) ui 1 p(xi ) ui+1 = h2 r(xi ),
i = 1, . . . , n 1,
2
2
146
8.1.2
Caso no linear
Finalmente, faamos uma pequena abordagem ao caso no linear. Consideremos o problema no linear geral (8.1) com condies de fronteira (8.2) de Dirichlet (1 = 2 = 1,
1 = 2 = 0). Tal como no caso linear, vamos substituir as derivadas que aparecem na
equo diferencial pelas frmulas de diferenas centradas de segunda ordem. Obtemos
assim
y(x
)
2y(x
)
+
y(x
)
y(xi+1 ) y(xi1 )
i+1
i
i1
= f xi , y(xi ),
h
2h
h2
(4)
2p(xi )y (i) y (i ) , i = 1, . . . , n 1,
12
y(x0 ) = 1 , y(xn ) = 2 ,
com i , i (xi1 , xi+1 ). O mtodo de diferenas nitas que resulta quando se desprezam
os termos O(h2 ) das frmulas de diferenas centradas e se usam as condies de fronteira
u
u
u
2y
+
u
i+1
i
i1
i+1
i1
= f xi , ui,
, i = 1, . . . , n 1,
h2
2h
u 0 = 1 , un = 2 ,
com ui y(xi ), i = 1, . . . , n 1. Temos ento necessidade de resolver um sistema no
linear da forma
F (x, u) = 0,
u
2
1
2
f1 (x, u)
= 2u1 + u2 h f x1 , u1,
+ 1 ,
2h
ui+1 ui1
2
,
i = 2, . . . , n 2,
fi (x, u)
= ui1 2ui + ui+1 h f xi , ui ,
2h
2 un2
+ 2 .
fn1 (x, u) = un2 2un1 h f xn1 , un1,
2h
Prova-se que este sistema no linear tem soluo nica se h < 2L onde
L = max |fy (x, y, y )|.
x[a,b]
A sua soluo pode ser obtida, de forma aproximada, pelo mtodo de Newton.
Bibliografia
[1] R.L. Burden, J.D. Faires, Numerical Analysis, PWS, Boston, 1993.
[2] H. Pina, Mtodos Numricos, McGraw Hill, Lisboa, 1995.
[3] A. Quarteroni, F. Saleri, Clculo Cientfico com o MatLab e o Octave, Spinger, 2007.
147
148
Contedo
1 Aritmtica computacional
1.1 Noes e teoremas bsicos . . . . . . .
1.2 Erros absolutos e relativos . . . . . . .
1.3 Erros de arredondamento e truncatura
1.4 O polinmio de Taylor . . . . . . . . .
1.5 Exerccios de aplicao engenharia .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
4
5
6
9
12
2 Equaes no lineares
2.1 Mtodos iterativos . . . . . . . . . .
2.2 Determinao da aproximao inicial
2.3 Mtodo da bisseco . . . . . . . . .
2.4 Mtodo de Newton . . . . . . . . . .
2.5 Mtodo do ponto xo . . . . . . . . .
2.6 Equaes algbricas . . . . . . . . . .
2.6.1 Algoritmo de Hrner . . . . .
2.6.2 O mtodo de Newton-Hrner
2.7 Sistemas de equaes no lineares . .
2.8 Exerccios de aplicao engenharia
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
14
16
17
20
24
31
35
36
37
42
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
45
47
49
53
58
60
62
63
66
66
68
70
.
.
.
.
.
.
.
.
.
.
3 Aproximao de funes
3.1 Interpolao . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Interpolao polinomial de Lagrange . . . . . . . . . . . . . . .
3.2.1 Existncia e unicidade. Frmula de Lagrange . . . . . .
3.2.2 Erro de interpolao . . . . . . . . . . . . . . . . . . . .
3.2.3 Frmula de Newton . . . . . . . . . . . . . . . . . . . . .
3.3 Interpolao de Chebyshev . . . . . . . . . . . . . . . . . . . . .
3.4 Interpolao trigonomtrica e FFT . . . . . . . . . . . . . . . .
3.5 Interpolao seccionalmente linear . . . . . . . . . . . . . . . . .
3.6 Interpolao de Hermite . . . . . . . . . . . . . . . . . . . . . .
3.6.1 Interpolao segmentada de Hermite . . . . . . . . . . .
3.6.2 Polinmio interpolador de Hermite e diferenas divididas
3.7 Aproximao por funes spline cbicas . . . . . . . . . . . . . .
3.8 O mtodo dos mnimos quadrados . . . . . . . . . . . . . . . . .
149
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
150
3.9
. . . . . . . . . . . . . . . . . . . . .
72
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
. 94
. 95
. 98
. 103
. 106
. 110
.
.
.
.
.
.
.
.
.
.
.
.
77
77
77
80
81
82
84
86
90
111
111
113
114
115
115
118
119
122
123
127
129
131
137
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Muito mais do que documentos
Descubra tudo o que o Scribd tem a oferecer, incluindo livros e audiolivros de grandes editoras.
Cancele quando quiser.