Você está na página 1de 83

UNIVERSIDADE FEDERAL DO PAR

INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


1
CAPTULO I
ERROS

I.1 Introduo

Nos captulos seguintes estudaremos mtodos numricos adequados soluo de diversos tipos
de problemas que surgem nas mais diversas reas da Engenharia e da Fsica. A resoluo de tais
problemas envolve vrias fases que podem ser assim estruturadas:

















Figura I.1 Etapas do desenvolvimento do modele e soluo

No entanto, no raro se chegar a resultados finais no esperados ou at mesmo a outros que no
tm relao alguma com a fsica do problema. Desta forma, cabe as seguintes questes: a) Como
justificar tais erros?; b) O que se pode fazer para evit-los ou minimiz-los?

Neste captulo daremos noes bsicas de erros que ocorrem em mtodos numricos. O objetivo
PROBLEMA
REAL
LEVANTAMENTO
DE DADOS
DESENVOLVIMENTO
DO MODELO
MATEMTICO
ESCOLHA DO MTODO
NUMRICO
ADEQUADO
IMPLEMENTAO
COMPUTACIONAL DO
MTODO
ANLISE DE
RESULTADOS



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


2
mostrar as principais fontes de erros possveis e como contorn-los.
I.2 Erro absoluto

Definimos erro absoluto a diferena entre o valor exato do nmero x e de seu valor aproximado
,

= x Ea (I.1)

Em geral, apenas o valor de conhecido, e neste caso, impossvel obter o valor exato do erro
absoluto.


I.3 Erro relativo

Definimos erro relativo como o erro absoluto dividido pelo valor aproximado.


=
x
Er (I.2)

Neste caso, tambm impossvel obter o valor exato do erro absoluto.


I.4 Erro de arredondamento

O erro de arredondamento introduzido em um dado clculo depende do sistema usado pela
mquina. Se um nmero x no tm representao finita na base numrica deste sistema, ou se o tamanho
da palavra da mquina no comporta x, teremos uma aproximao por arredondamento.


I.5 Erro de truncamento

O erro de truncamento uma funo das aproximaes usadas no esquema numrico e
independente do sistema de computador. A natureza de tais aproximaes e os seus efeitos sero
discutidos nos captulos seguintes, como no case de uma expanso em srie de Taylor de uma funo.



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


3
I.5 Acurcia de resultados numricos

Os erros de arredondamento e truncamento so as duas maiores fontes de inacurcia em solues
numricas. Entretanto, vrios outros erros podem estar presentes. Dentre estes, um importante o erro
devido a incompleta convergncia de uma soluo iterativa.
Em problemas onde o domnio de uma varivel independente discretizado (X) uma
diminuio de X leva a um aumento no nmero de clculos e, logo, um aumento no erro de
arredondamento. Por outro lado, o erro de truncamento reduzido quando X diminui. O erro global,
resultante da soma destes dois erros apresenta um ponto de mnimo, como pode ser visto na Figura I.2
abaixo.



















Figura I.2 Variaes dos erros com o tamanho de X


I.6 Estabilidade numrica

Uma outra considerao importante, relacionada com os erros e a acurcia de uma soluo
numrica, a estabilidade numrica. Este fato est relacionado diretamente na soluo de equaes
diferenciais parciais. A instabilidade em esquemas numricos est relacionada com a amplificao de
pequenos erros introduzidos pelo prprio esquema.




Erro total
Erro de
truncamento
Erro de
arredondamento
Erros
Tamanho da malha, X



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


4

CAPTULO II
SRIES DE TAYLOR E DIFERENCIAO NUMRICA

II.1 Introduo

Em muitos problemas de interesse em engenharia, o mtodo numrico baseia-se em valores
discretos de uma dada funo e suas derivadas num nmero finito de pontos no domnio computacional.
Nestes casos, um dos interesses a necessidade de se estimar as derivadas a partir de valores numricos
discretos da funo.
Diferenciao numrica est relacionada com o procedimento computacional para a avaliao
das derivadas de uma funo, a partir de uma expresso analtica ou de valores discretos num nmero
finito de pontos no domnio computacional.
Neste captulo, veremos os procedimentos adotados obteno de uma aproximao de
diferenas finitas de uma funes. Estes procedimentos incluem o mtodo direto, baseado na definio
de derivada, o mtodo baseado em sries de Taylor e o mtodo de representao polinomial de uma
funo. Estes trs mtodos sero discutidos, com nfase particular para o mtodo baseado em sries de
Taylor.


II.2 Mtodo Direto

A idia de representao de diferenas finitas de uma derivada pode ser introduzida invocando-se
a definio da derivada de uma funo F(x,y), em torno de um ponto (x
i
, y
j
), da seguinte forma


x
) y , x ( F ) y , x x ( F
x
F j i j i
0 x
im

+
=


l
(II.1.a)


y
) y , x ( F ) y y , x ( F
y
F j i j i
0 y
im

+
=


l
(II.1.b)

Claramente, se a funo F(x, y) continua, o lado direito das equaes (II.1) podem ter uma



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


5
aproximaes razoveis das derivadas y / F e x / F , respectivamente, para x e y suficientemente
pequenos, logo


x
) y , x ( F ) y , x x ( F
x
F j i j i

(II.2.a)


y
) y , x ( F ) y y , x ( F
y
F j i j i

(II.2.b)

No entanto, a base formal para o desenvolvimento de aproximaes de diferenas finitas para derivadas
atravs do uso das expanses em sries de Taylor.


II.3 Sries de Taylor

Considere uma funo f(x) cuja o valor em um ponto dado x = x
i
denotada por f(x
i
). A srie de
Taylor uma srie de potncia infinita que expressa o valor da funo numa regio suficientemente
prxima de x = x
i
,

... ) x ( f
! 3
) x x (
) x ( f
! 2
) x x (
) x ( f ) x x ( ) x ( f ) x ( f
i
3
i
i
2
i
i i i
+

+ + = (II.3.a)

ou

... ) x ( f
! 3
x
) x ( f
! 2
x
) x ( f x ) x ( f ) x x ( f
i
3
i
2
i i i
+

+ + = + (II.3.b)

onde x = x - x
i
um incremento na varivel independente x e os primos denotam as derivadas em
relao a x. Todas as derivadas so avaliadas em x = x
i
. De forma similar, pode-se escrever

... ) x ( f
! 3
x
) x ( f
! 2
x
) x ( f x ) x ( f ) x x ( f
i
3
i
2
i i i
+

+ = (II.4)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


6
Das expanses (II.3.b) e (II.4) podemos formar a base para o desenvolvimento das aproximaes
de diferenas para df/dx em torno de x
i
. Arranjando as eqs. (II.3.b) e (II.4), as aproximaes de
diferenas avanada e atrasada em torno de x
i
, so dadas, respectivamente, por:

( ) x Err
x
) x ( f ) x x ( f
) x ( f
i i
i
+

+
= (II.5.a)

( ) x Err
x
) x x ( f ) x ( f
) x ( f
i i
i
+


= (II.5.b)

onde Err(x) a notao que caracteriza a ordem de magnitude do erro da aproximao de diferenas e
est associado ao truncamento da srie.

Subtraindo (II.3.b) de (II.4), a aproximao de diferenas central determinada como

( )
2 i i
i
x Err
x 2
) x x ( f ) x x ( f
) x ( f


+
+
= (II.5.c)

Observe que a frmula de diferena central fornece uma aproximao com o erro da ordem de
x
2
enquanto que nas aproximaes avanada e atrasada o erro da ordem de x. Considerando a
notao i para o ponto da malha em x
i
e i+1, i-1 para os pontos x
i
+x e x
i
-x, respectivamente, outras
aproximaes com erro da ordem de x
2
podem ser obtidas a partir da manipulao da expanso em
sries de Taylor:

( )
2 i 1 i 2 i
i
x Err
x 2
f 3 f 4 f
) x ( f +

+
=
+ +
(II.6.a)

( )
2 2 i 1 i i
i
x Err
x 2
f f 4 f 3
) x ( f +

+
=

(II.6.b)

As expanses em srie de Taylor dadas pelas eqs. (II.3) e (II.4) podem ser usadas para o
desenvolvimento das aproximaes de diferenas para a Segunda derivada. Para obter a aproximao de
diferenas central para a segunda derivada as eqs. (II.3) e (II.4) so adicionadas, e a expresso resultante



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


7
resolvida para d
2
f/dx
2
em torno de x
i
e o resultado
( )
2
2
1 i i 1 i
i
x Err
x
f f 2 f
) x ( f +

+
=
+
(II.7)

Para desenvolver as aproximaes de diferenas avanada e atrasada para a segunda derivada, as
funes f(x
i
+2x) e f(x
i
-2x) so expandidas em srie de Taylor. Desta forma as aproximaes
avanada e atrasada para a derivada segunda so determinadas, respectivamente, como:

( ) x Err
x
f f 2 f
) x ( f
2
2 i 1 i i
i
+

+
=
+ +
(II.8.a)

( ) x Err
x
f f 2 f
) x ( f
2
i 1 i 2 i
i
+

+
=

(II.8.b)

Em muitas aplicaes de engenharia, onde nos deparamos com regies do domnio em que os
gradientes variam rapidamente se faz necessrio o uso de malhas refinadas sobre esta regio particular.
Para ilustrar esta idia vamos considerar uma situao envolvendo uma mudana no espaamento da
malha somente em uma direo. A Figura 2.1 mostra a mudana no tamanho da malha de x
1
para x
2

em torno do n i. Uma expanso em sries de Taylor em torno de i pode ser usada para desenvolver a
aproximao de diferenas. Fazendo a expanso em torno de i avanada e atrasada temos,
respectivamente:




Figura 2.1 - Malha de espaamento varivel

...
dx
f d
! 3
x
dx
f d
! 2
x
dx
df
x f f
i
3
3
3
2
i
2
2 2
2
i
2 i 1 i
+

+ + =
+
(II.9.a)

i-1 i i+1
x
1
x
2



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


8
...
dx
f d
! 3
x
dx
f d
! 2
x
dx
df
x f f
i
3
3
3
1
i
2
2 2
1
i
1 i 1 i
+

+ =

(II.9.b)

Para a derivada primeira a eq. (II.9.b) subtrada de (II.9.a) e a expresso resultante resolvida
para df/dx

( )
2
i
2
2
1 2
2
1
2
2
1 2
1 i 1 i
i
x Err
dx
f d
x x
x x
2
1
x x
f f
dx
df
+
+

=
+
(II.10)

onde Err(x
2
) o maior entre ( )
2
1
x Err e ( )
2
2
x Err . Ento a derivada primeira da funo pode ser
aproximada como


1 2
1 i 1 i
i
x x
f f
dx
df
+

=
+
(II.11)

e a eq. (II.10) implica que a expresso de diferenas eq. (II.11) tem acurcia de segunda ordem somente
se
1 2
x x . Desta forma, temos

( )
2
1 i
1 2
2
1
2
2
x Err
x x
x x
Err
|
|

\
|
+

(II.12)

Se nota que, se
1
x varia largamente em relao a
2
x a acurcia da aproximao tende para uma de
primeira ordem.

Para se obter a aproximao de diferenas da derivada Segunda de f no n i, a eq. (II.9.b)
multiplicada por ( )
2
1 2
x / x e a expresso resultante adicionada a eq. (II.9.a) para dar

( )
1 2
i 2
2
2
1 i
2
i
2
1 i
i
2
2
x x Err
dx
df
x
1
x
f f ) 1 ( f
dx
f d
+

+
=
+
(II.13)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


9
onde
1 2
x / x = . Esta expresso tem acurcia de primeira ordem em i se ) x ( Err 1
2
1
= e possui
acurcia de Segunda ordem se
1 2
x x .


II.4 Diferenciao via Interpolao Polinomial

Expresses de diferenas podem ser desenvolvidas pela representao de uma funo f na forma
polinomial avaliando os coeficientes em termos dos valores da funo nos ns. Por exemplo a
representao de f por uma interpolao parablica na forma

c x b x a ) x ( f
2
+ + = (II.14)

onde a derivada primeira dada por

b x a 2 ) x ( f + = (II.15)

Interpolando f(x) nos pontos x = 0, x e 2x se obtm

c x b 2 x a 4 x) f(2 c, x b x a x) f( , c ) 0 ( f
2 2
+ + = + + = = (II.16)

Fazendo-se x
i
= 0, x
i+1
= x e , x
i+2
= 2x e resolvendo-se as eqs. (II.16) para f(x
i
) = f(0) = b se obtm,


x 2
f 3 f 4 f
) x ( f
i 1 i 2 i
i

+
=
+ +
(II.15)

onde a eq. (II.15) idntica a eq. (II.6.a). Esta metodologia particularmente usada no desenvolvimento
de aproximaes de diferenas para valores de x no uniformes.







UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


10





CAPTULO III
INTEGRAO NUMRICA

III.1 - Introduo

Sabemos do Clculo Diferencial e Integral, que se f(x) funo contnua em [a, b], ento, esta
funo tem uma primitiva neste intervalo, ou seja, existe F(x) tal que F'(x) = f(x); assim

=
b
a
) a ( F ) b ( F dx ) x ( f . Neste captulo apresentaremos algumas tcnicas numricas destinadas ao
clculo aproximado de integral de f(x) conhecidos os extremos a e b e a funo f(x). Seja ainda o caso
em que f(x) conhecida apenas na forma tabelar, num intervalo [a, b]. Como no conhecemos f(x), no
temos condio de calcular analiticamente

b
a
dx ) x ( f .
A idia bsica da integrao numrica a substituio da funo f(x) por um polinmio que se
aproxime razoavelmente no intervalo [a, b]. Assim o problema seria resolvido pela integrao trivial de
polinmios. Com este raciocnio queremos uma frmula, para aproximar

b
a
dx ) x ( f do tipo:


=
= + + +
b
a
n
0 i
i i n n 1 1 0 0
) x ( f w ) x ( f w ... ) x ( f w ) x ( f w dx ) x ( f (III.1)

onde x
i
[a, b] e i = 0, 1, ..., n.


III.2 - Frmulas de Newton-Cotes

As frmulas de Newton-Cotes para a integrao numrica usam pontos de integrao que so
igualmente espaados de forma que o polinmio interpole f(x) nestes pontos. Consideremos a partio



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


11
do intervalo [a,b] em subintervalos de comprimento
h = (b-a)/n, as frmulas fechadas de Newton-Cotes so frmulas de integrao do tipo mostrada pela eq.
(III.1), sendo os coeficientes w
i
determinados de acordo com o grau do polinmio aproximador. Para
desenvolvermos uma formulao geral vamos aproximar a funo f(x) por um polinmio usando a
frmula de Lagrange,
) x ( E
) x x )..( x x )( x x )..( x x (
) x x )..( x x )( x x )..( x x (
) x ( f ) x ( P ) x ( f
n
n i 1 i i 1 i i 0 i
n 1 i 1 i 0
n
0 i
i n
+


=
+
+
=

(III.2.a)

onde E
n
(x) o erro do polinmio interpolador dado por:

) x x )...( x x (
)! 1 n (
) ( f
) x ( E
n 0
) 1 n (
n

+

=
+
(III.2.b)

onde um ponto do intervalo (a, b). Integrando-se a expresso (III.2.a) no intervalo (a, b) obtemos

dx
) x x )..( x x )( x x )..( x x (
) x x )..( x x )( x x )..( x x (
) x ( f dx ) x ( f
b
a
n i 1 i i 1 i i 0 i
n 1 i 1 i 0
n
0 i
i
b
a

+
+
=
(III.3)

comparando (III.3) com (III.1) podemos escrever a frmula para o clculo dos pesos da frmula de
integrao:

dx
) x x )..( x x )( x x )..( x x (
) x x )..( x x )( x x )..( x x (
w
b
a
n i 1 i i 1 i i 0 i
n 1 i 1 i 0
i


+
+
(III.4)

A seguir podemos mostrar algumas frmulas de integrao muito populares que, dentro de certas
condies, oferecem bons resultados.

III.3 - Regra dos Trapzios (n = 1)

Se usarmos a frmula de Lagrange (III.2), com n =1, para expressar o polinmio P
1
(x) que
interpola f(x) em x
0
e x
1
temos:




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


12

=
=
=
)
`

=
b
a
x b
x a
T
x
x
1
0
0
1
1
1
0
1
0
I dx ) x ( f
h
) x x (
) x ( f
h
) x x (
dx ) x ( P dx ) x ( f (III.5)

Assim, I
T
= h/2 {f(x
0
) + f(x
1
)}, que a rea do trapzio de altura h = x
1
- x
0
e bases f(x
0
) e f(x
1
).
Aplicando a regra dos trapzio, cometemos um erro. Este erro pode ser determinado pela integrao da
expresso (III.2.b) que fornecer:

12
h
) ( f dx ) x x )( x x )( ( f
2
1
E
3
x
x
1 0 T
1
0
=

(III.6)


III.4 - Regra dos Trapzios Repetida

Como podemos ver pela expresso do erro, se o intervalo de integrao grande, a frmula dos
Trapzios nos fornece resultados que tem pouco a ver com o valor da integral exata. O que podemos
fazer neste caso uma subdiviso do intervalo de integrao e aplicar a regra dos trapzios repetidas
vezes. Chamando x
i
os pontos de subdiviso de
[a, b], tais que x
i+1
- x
i
= h, i = 0,1,...,m - 1 teremos

{ }

=
+
+
+ =
b
a
1 m
0 i
x
x
1 m
0 i
1 i i
1 i
i
) x ( f ) x ( f
2
h
dx ) x ( f dx ) x ( f (III.7)


III.5 - Regra de Simpson

Recorreremos novamente a frmula de Lagrange para estabelecer a frmula de integrao
resultante da aproximao de f(x) por um polinmio de grau 2. Seja P
2
(x) o polinmio que interpola f(x)
nos pontos x
0
= a, x
1
= x
0
+ h e x
2
= x
0
+ 2h = b. Da frmula de Lagrange temos

) x ( f
) h )( h 2 (
) x x )( x x (
) x ( f
) h )( h (
) x x )( x x (
) x ( f
) h 2 )( h (
) x x )( x x (
) x ( P
2
1 0
1
2 0
0
2 1
2

+


+


= (III.8)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


13
Assim,



+
+ = = =
2
0
2
0
2
0
2
0
2
0
x
x
x
x
1 0
2
2
2 0
2
1
b
a
x
x
x
x
x
x
2 1
2
0
2 S
dx ) x x )( x x (
h
) x ( f
dx ) x x )( x x (
h
) x ( f

dx ) x x )( x x (
h
) x ( f
dx ) x ( p dx ) x ( f dx ) x ( f I
(III.9)

As integrais acima podem ser facilmente resolvidas e, dessa forma, teremos a regra de Simpson:

[ ]

+ + =
2
0
x
x
2 1 0 S
) x ( f ) x ( f 4 ) x ( f
3
h
dx ) x ( f I (III.10)

O erro determinado pela integrao da expresso (III.2.b) e dado por:

) x , x ( ), ( f
90
h
E
2 0
) iv (
5
S
= (III.11)


III.6 - Regra de Simpson Repetida

Como podemos ver pela eq. (III.11) quanto menor o intervalo de integrao menor ser o erro
cometido e para isto podemos aplicar a regra de Simpson repetidas vezes no intervalo [a, b] = [x
0
, x
m
].
Vamos supor que x
0
, x
1
,...,x
m
so pontos igualmente espaados, h = x
i+1
- x
i
, e m par (isto condio
necessria pois cada parbola utilizar trs pontos consecutivos). Em cada par de subintervalos, temos:

[ ]
(
(

+ + + =



) ( f
90
h
) x ( f ) x ( f 4 ) x ( f
3
h
dx ) x ( f
k
iv
5
x
x
k 2 1 k 2 2 k 2
k 2
2 k 2
(III.11)

onde
k
(x
2k-2
, x
2k
) e k = 1,...,m/2

Ento, a regra de Simpson composta pode ser escrita como:




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


14
[ ] { [ ]
[ ]} )) c ( f
90
h
( ) x ( f ) x ( f 4 ) x ( f
... ) x ( f ) x ( f 4 ) x ( f ) x ( f ) x ( f 4 ) x ( f
3
h

dx ) x ( f dx ) x ( f
2 / m
1 k
k
iv
5
m 1 m 2 m
4 3 2 2 1 0
x
x
2 / m
1 k
x
x
m
0
k 2
2 k 2



=

=
+ + + +
+ + + + + + + =
= =

(III.12)

simplificando,

[ ] [ ] {
[ ]} ) x ( f ... ) x ( f ) x ( f 2
) x ( f ... ) x ( f ) x ( f 4 ) x ( f ) x ( f
3
h
I
2 m 4 2
1 m 3 1 m 0 SR

+ + + +
+ + + + + + =
(III.13)

=
=
2 / m
1 k
k
iv
5
SR
) ( f
90
h
E (III.14)


III.7 - Quadratura Gaussiana

De maneira geral, uma frmula de Newton-Cotes que aproxima f(x) por um polinmio que
interpola f(x) em x
0
, x
1
,...,x
n
(pontos igualmente espaados) exata para polinmios de grau n. A regra
de Simpson uma exceo, pois para ela n = 2 e, no entanto Is dx ) x ( P
1
0
x
x
3
=

, pois 0 ) ( P
90
h
E
iv
3
5
S
= = .
Nesta seo estabeleceremos frmulas de integrao do tipo dado pela eq. (III.1), nas quais os pontos de
integrao x
0
, x
1
,...,x
n
no so igualmente espaados. A idia agora determinar convenientemente os
pontos de integrao de modo a se ter a mxima acurcia.
O problema continua sendo determinar

=
= + + +
b
a
1 n
0 i
i i n n 1 1 0 0
) x ( f w ) x ( f w ... ) x ( f w ) x ( f w dx ) x ( f (III.15)

onde x
0
, x
1
,...,x
n
so n pontos distintos, as quais so exatas para polinmios de



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


15
grau 2n1. Faremos, a seguir, a deduo do mtodo de Gauss para dois pontos de quadratura pois para
mais pontos o procedimento anlogo. Inicialmente, o intervalo de integrao deve ser mudado de (a, b)
para (1, 1) atravs da seguinte mudana de varivel:

) a b (
2
1
t ) a b (
2
1
x + + = (III.16)

logo a funo se torna

(

+ + = ) a b (
2
1
t ) a b (
2
1
f ) x ( f (III.17)

e a integral pode ser escrita novamente por



(

+ + = = =
1
1
b
a
) a b (
2
1
t ) a b (
2
1
f ) a b (
2
1
) t ( F , dt ) t ( F dx ) x ( f I (III.18.a, b)

Para dois pontos de quadratura, a frmula de Gauss :

+
1
1
1 1 0 0
) t ( F w ) t ( F w dt ) t ( F (III.19)

onde w
0
, w
1
, t
0
, e t
1
so incgnitas a se determinar e so independentes da funo F(t) escolhida. Para
determinar estas quatro incgnitas so necessrias quatro equaes que podem ser facilmente obtidas ao
se considerar F(t) = t
k
, k = 0, 1, 2, 3, j que, como foi dito, w
0
, w
1
, t
0
, e t
1
independem de F. Ento

+
1
1
k
1 1
k
0 0
k
) t ( F w ) t ( F w dt t (III.20)

Para k = 0, 1, 2, e 3 temos:




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


16
3
1 1
3
0 0
1
1
3
1 1
3
0 0
3
2
1 1
2
0 0
1
1
2
1 1
2
0 0
2
1 1 0 0
1
1
1
1 1
1
0 0
1
1 0
1
1
0
1 1
0
0 0
0
t w t w 0 t w t w dt t 3 k
t w t w 3 / 2 t w t w dt t 2 k
t w t w 0 t w t w dt t 1 k
w w 2 t w t w dt t 0 k
+ = + =
+ = + =
+ = + =
+ = + =

(III.21)

Resolvendo o sistema (II.21), obtm-se:

3 / 1 t t e 1 w w
1 0 1 0
= = = = (III.22)

Substituindo os valores encontrados na eq. (III.19)

+ = =
1
1
) 3 / 1 ( F ) 3 / 1 ( F dt ) t ( F I (III.23)

bom lembrar que est frmula exata para polinmios de at terceiro grau. Para polinmios de graus
superiores e para outras funes o erro de integrao de:

1 1 - ,
135
) ( F
E
IV

= (III.24)

A frmula geral para a quadratura Gaussiana, que pode ser determinada por um processo
semelhante ao anterior, baseada em propriedades de polinmios de Legendre e e:

= = =
b
a
1 n
0 i
i i
1
1
) t ( F w dt ) t ( F dx ) x ( f I (III.25)

onde, n o nmero de pontos, w
i
so os coeficientes, t
i
so as razes e a funo F(t) dada por:

(

+ + = ) a b (
2
1
t ) a b (
2
1
f ) a b (
2
1
) t ( F (III.26)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


17
O erro pode ser avaliado pela seguinte frmula, que conseqncia da utilizao dos polinmios
de Legendre:

1 1 - ), ( F
) )! n 2 (( ) 1 n 2 (
) ! n ( 2
E
) n 2 (
3
4 1 n 2

+
=
+
(III.27)






























UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


18

CAPTULO IV

RAZES DE EQUAES NO LINEARES


IV.1 - Introduo

Nas mais diversas reas das cincias exatas ocorrem, freqentemente, situaes que envolvem a
resoluo de uma equao do tipo f(x) = 0, e um nmero real "a" um zero da funo f(x) ou uma raiz
da equao f(x) = 0 se f(a) = 0. Em alguns casos por exemplo de equaes polinomiais, os valores de x
que anulam f(x) podem ser reais ou complexos. Neste captulo, estaremos interessados somente nos
zeros reais de f(x), os quais denotaremos por .
Sabemos que para algumas equaes, como por exemplo as equaes polinomiais de segundo
grau, existem frmulas que do as razes em funo dos coeficientes. No entanto, no caso de polinmios
de grau mais alto e, pior ainda, no caso de funes mais complicadas, praticamente impossvel se achar
os zeros exatamente. Por isso temos de nos contentar em encontrar apenas aproximaes para esses
zeros; mais isto no uma limitao muito sria, pois com os mtodos que apresentaremos,
conseguimos, a menos de limitaes de mquinas, encontrar os zeros de uma funo com qualquer
preciso prefixada.
A idia central destes mtodos partir de uma aproximao inicial para a raiz e em seguida
refinar essa aproximao atravs de um processo iterativo. Por isto os mtodos constam de duas fases:

FASE I: Localizao ou isolamento das razes, que consiste em obter um intervalo que contm a raz
;
FASE II: Refinamento, que consiste em, escolhidas aproximaes iniciais no intervalo encontrado na
Fase I, melhor-las sucessivamente at se obter uma aproximao para a raiz dentro de uma preciso
prefixada.
IV.2 - Isolamento Das Razes

Nesta Fase feita uma anlise grfica e terica da funo f(x).
Na anlise terica usamos frequentemente o teorema:



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


19

Teorema I: Seja f(x) uma funo contnua num intervalo [a, b]. Se f(a).f(b) < 0 ento existe pelo
menos um ponto x = entre a e b que zero de f(x). Sob as hipteses anteriores, se f'(x) existir e
preservar sinal em (a, b), ento este intervalo contm um nico zero de f(x).


IV.3 - Refinamento

Estudaremos neste item vrios mtodos numricos de refinamento da raiz. A forma como se
efetua o refinamento que diferencia os mtodos. Todos eles pertencem classe dos mtodos iterativos.
Um mtodo iterativo consiste de uma seqncia de instrues que so executadas "passo a passo",
algumas das quais so repetidas em ciclos. A execuo de um ciclo recebe o nome de iterao. Cada
iterao utiliza resultados das iteraes anteriores e efetua determinados testes que permitem verificar se
foi atingido um resultado prximo o suficiente do resultado esperado. Observamos que os mtodos
iterativos fornecem apenas uma aproximao para a soluo, enquanto os mtodos diretos, teoricamente,
obtm a soluo exata da equao.


IV.3.2 - Mtodos Iterativos para se Obter Zeros de Funes Reais

a) Mtodo da Bisseo
Seja a funo f(x) contnua no intervalo [a, b] e tal que f(a).f(b) < 0. Vamos supor, para
simplificar, que o intervalo [a, b] contm uma nica raiz da equao f(x) = 0. O objetivo do mtodo
reduzir o tamanho do intervalo que contm a raiz at se atingir a preciso requerida: (b-a) < , usando
para isto a sucessiva diviso de [a, b] ao meio.

Algoritmo
Seja f(x) contnua em [a, b] e tal que f(a).f(b) < 0.
1) Dados iniciais
a) intervalo inicial [a, b]
b) preciso
2) Se (b-a) < , ento escolha para x qualquer x [a, b]. FIM.



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


20
3) k = 1
4) M = f(a)
5) x = (a + b)/2
6) Se M.f(x) > 0, faa a = x. V para o passo 8.
7) b = x
8) Se (b - a) < , escolha para x qualquer x [a, b]. FIM.
9) k = k + 1. Volte para o passo 4.

Terminando o processo, teremos um intervalo [a, b] que contm a raiz (e tal que (b-a) < ) e uma
aproximao x para a raiz exata.


b) Mtodo da Falsa Posio
Seja f(x) contnua no intervalo [a, b] e tal que f(a).f(b) < 0. Supondo que o intervalo [a, b]contm
uma nica raiz da equao f(x) = 0, podemos conseguir a raiz aproximada x usando as informaes
sobre os valores de f(x) disponveis a cada iterao. Assim em vez de tomar a mdia aritmtica, como no
mtodo da bisseo, o mtodo da Falsa Posio toma a mdia aritmtica ponderada entre a e b com
pesos ) a ( f e ) b ( f , respectivamente:

) a ( f ) b ( f
) a ( bf ) b ( af
) a ( f ) b ( f
) a ( f b ) b ( f a
x

=
+
+
= visto que f(a) e f(b) tem sinais opostos.
E este valor x o ponto de interseo entre o eixo ox e a reta r(x) que passa por (a, f(a)) e (b,
f(b)) conforme podemos ver graficamente na Figura IV.1 a seguir.





UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


21
a
b
x
f(x)
r(x)
x (aproximao da raiz)
o
f(b)
f(a)

Figura IV.1 - Esquema grfico do mtodo da falsa posio.

Algoritmo
Seja f(x) contnua em [a, b] e tal que f(a).f(b) < 0.
1) Dados iniciais
a) intervalo inicial [a, b]
b) preciso
2) Se (b a) < , ento escolha para x qualquer x [a, b]. FIM.
(
(
(

(
<
<
) b ( f se
ou
) a ( f se
, ento escolha a ou b como x .FIM
3) k=1
4) M = f(a)
5)
) a ( f ) b ( f
) a ( bf ) b ( f . a
x

=
6) Se < ) x ( f , ento escolha x = x. FIM.
7) Se M. f(x) > 0, faa a = x. V para o passo 9.
8) b = x
9) Se b a < ento escolha para x qualquer x (a, b). FIM.
10) k = k + 1. Volte ao passo 4.


c) Mtodo da Falsa Posio Modificado



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


22
No mtodo da Falsa Posio Falsa obtm um ponto x no qual ) x ( f pequeno, mas falha
completamente com relao ao comprimento do intervalo final que contm a raiz. Em vista disto vrias
modificaes podem ser feitas para se contornar este problema. Uma delas consiste em cada iterao
verificar se f(x
k-1
).f(x
k
) > 0 e em seguida trocar a reta secante que passa por (a, f(a)) e (b, f(b)) por uma
reta de inclinao menor. Com isto conseguimos evitar que um dos extremos do intervalo inicial fique
fixo at o final do processo iterativo.

Algoritmo
Seja f(x) contnua em [a, b] e tal que f(a).f(b) < 0.
1) Dados iniciais
a) intervalo inicial [a, b]
b) preciso
2) FA = f(a) e FB = f(b)
3)
(
(
(
(
(
(
(

(
<
<
<
) a b ( Se
ou
FB Se
ou
FA Se
, ento escolha a ou b como x .FIM.
4) x
0
= a
5) k=1
6)
FA FB
FA . b FB . a
x
1

=
7)
(
(
(

(
<
<
) a b ( Se
ou
) x ( f Se
1
, ento x
1
a raiz aproximada e processo encerrado.
8) Se FA.f(x
1
) > 0 v para o passo 10.
9) b = x
1
e FB = f(x
1
)
Se f(x
1
).f(x
0
) > 0, faa FA = FA/2
V para o passo 11
10) a = x
1
e FA = f(x
1
)
Se f(x
1
).f(x
0
) > 0, faa FB = FB/2
11) f(x
0
) = f(x
1
)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


23
k = k + 1
Volte ao passo 6.


d) Mtodo Iterativo Linear (MIL)
A importncia deste mtodo est mais nos conceitos que so introduzidos em seu estudo que em
sua eficincia computacional. Seja f(x) uma funo contnua em [a, b], intervalo que contm uma raiz da
equao f(x) = 0. O MIL consiste em transformar esta equao em uma equao equivalente x = (x) e a
partir de uma aproximao inicial x
0
gerar a sequncia {x
k
} de aproximaes para a raiz () pela relao
x
k+1
= (x
k
), pois a funo (x) tal que f() = 0se e somente se = (). Uma funo (x) que satisfaz
a condio acima chamada de funo de iterao para a equao f(x) = 0.

Algoritmo
Sejam a equao f(x) = 0 e a equao equivalente x = (x).
Supor que as hipteses de convergncia para o MIL sejam satisfeitas.
1) Dados iniciais
a) x
0
: aproximao inicial
b) : preciso
2) Se < ) x ( f
0
ento faa x = x
1
.FIM.
3) k = 1
4) x
1
= (x
0
)
5)
(
(
(

(
<
<
0 1
1
x x Se
ou
) x ( f Se
ento faa x = x.FIM.
6) x
0
= x
1
7) k = k + 1, Volte ao passo 4
e) Mtodo de Newton-Rapson (N-R)
No estudo do mtodo iterativo linear, pode se demonstrar que uma das condies de
convergncia que I x , 1 M ) x ( < , onde I um intervalo centrado na raiz e que a convergncia
do mtodo ser mais rpida quanto menor for ) ( . O que o mtodo de Newton-Rapson faz, na
tentativa de garantir e acelerar a convergncia do MIL, escolher para a funo de iterao a funo



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


24
(x) tal que () = 0. Ento, dada a equao f(x) = 0 vamos expandir f(x) em srie de Taylor em torno
de x
i


0 ... ) x ( f
! 3
) x x (
) x ( f
! 2
) x x (
) x ( f ) x x ( ) x ( f ) x ( f
i
3
i
i
2
i
i i i
= +

+ + = (IV.1)

truncando-se no termo de derivada primeira e resolvendo-se para x teremos:


) x ( f
) x ( f
x x
i
i
i

= (IV.2)

Ento, dada f(x), a funo de iterao para o mtodo de Newton-Rapson
) x ( f
) x ( f
x ) x (

= .
Assim, escolhido x
0
, a sequncia (x
k
) ser determinada por:

,... 2 , 1 , 0 k ,
) x ( f
) x ( f
x x
k
k
k 1 k
=

=
+
. (IV.3)

Na anlise de convergncia do mtodo de Newton-Rapson o seguinte teorema torna-se
necessrio. Sejam f(x), f(x) e f(x) contnuas num intervalo I que contm a raiz x = de f(x) = 0. Supor
que f() 0, ento, existe um intervalo I I , contendo a raiz , tal que, se x
0
I, a seqncia {x
k
}
gerada pela frmula recursiva (IV.3) convergir para a raiz .

Algoritmo
Seja a equao f(x) = 0.
Supor que so satisfeitas as hipteses da anlise de convergncia
1) Dados iniciais
a) x
0
: aproximao inicial
b) : preciso
2) Se < ) x ( f
0
ento faa x = x
0
.FIM.
3) k = 1



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


25
4)
) x ( f
) x ( f
x x
0
0
0 1

=
5)
(
(
(

(
<
<
0 1
1
x x Se
ou
) x ( f Se
ento faa x = x
1
.FIM.
6) x
0
= x
1

7) k = k + 1, Volte ao passo 4

f) Mtodo da Secante
Uma grande desvantagem do mtodo de Newton-Rapson a necessidade de se obter e calcular o
valor numrico de f(x) a cada iterao. Uma forma de se contornar este problema substituir a derivada
f(x
k
) pelo quociente das diferenas:


1 k k
1 k k
k
x x
) x ( f ) x ( f
) x ( f

(IV.4)

onde x
k
e x
k-1
so duas aproximaes para a raiz. Neste caso a funo de iterao fica


) x ( f ) x ( f
) x ( f x ) x ( f x
) x (
1 k k
1 k k k 1 k
k

= (IV.5)

importante salientar que so necessrias duas aproximaes para se inicializar o mtodo.

Algoritmo
Seja a equao f(x) = 0
1) Dados iniciais
a) x
0
e x
1
: aproximaes iniciais
b) : preciso
2) Se < ) x ( f
0
ento faa x = x
0
. FIM.
3)
(
(
(

(
<
<
0 1
1
x x Se
ou
) x ( f Se
ento faa x = x
1
.FIM.



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


26
4) k = 1
5) ) x x (
) x ( f ) x ( f
) x ( f
x x
0 1
0 1
1
1 2

=
6)
(
(
(

(
<
<
1 2
2
x x Se
ou
) x ( f Se
ento faa x = x
2
. FIM.
7) x
0
= x
1
, x
1
= x
2

8) k = k + 1, volte ao passo 5


IV.4 - O Mtodo de Newton para Sistemas de Equaes No Lineares

Passaremos agora para um problema um pouco mais complicado que resolver um conjunto de
equaes no lineares que so acopladas entre si. Na formulao do problema so dadas n funes f
1
,
f
2
,..., f
n
, onde cada uma delas uma funo no-linear das n variveis x
1
, x
2
,..., x
n
. Queremos encontrar
os valores x
1
*
, x
2
*
,..., x
n
*
, tais que:

=
=
=
0 ) x , , x , x ( f
0 ) x , , x , x ( f
0 ) x , , x , x ( f
*
n
*
2
*
1 n
*
n
*
2
*
1 2
*
n
*
2
*
1 1
K
K K
K
K
(IV.6)

Por exemplo no sistema no linear mostrado a seguir

= +
= + +
25 ) 6 x ( ) 1 x (
18 x 2 ) 1 x ( x
2
2
2
1
2 1 1
(IV.7)

procuramos x
1
*
, x
2
*
que satisfaam as eqs. (7) dentro de uma tolerncia de erro pr-estabelecida.
Na tentativa de simplificar um pouco usaremos a notao vetorial: x um vetor com n
componentes e f(x) uma funo vetorial da varivel vetorial, isto ,

x = (x
1
, x
2
,..., x
n
) (IV.8)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


27

f(x) = (f
1
(x), f
2
(x),..., f
n
(x)) (IV.9)

nesta notao o sistema anterior ser representado por uma nica equao vetorial dada a seguir como:

f(x) = 0 (IV.10)

A idia da linearizao ser usada tambm para o caso de sistemas. De forma semelhante a usada
no mtodo de Newton-Rapson a funo vetorial f(x) ser expandida em uma srie de Taylor. No caso
dos sistemas so necessrias algumas adaptaes porque as entidades do problema matemtico so
diferentes: no caso anterior tnhamos funes escalares de variveis escalares, ao passo que, agora temos
funes vetoriais com variveis vetoriais. Sem maiores detalhes, a srie de Taylor truncada no caso de
sistemas ser:

f(x) = f(x
k
)+f(x)(x x
k
) + E (IV.11)

onde x
k
= vetor aproximao na k-sima iterao e E um vetor que representa o erro da aproximao
linear. Analogamente srie de Taylor de funes de uma varivel ), ( 0
2
k
x x E = isto ,
2
k
k
x x E para alguma constante k, quando x x
k
.
Observe que mudamos um pouco a notao, x
k
um vetor obtido na k-sima iterao; isso se
deve ao fato de termos usado os sub-ndices para denotar as componentes do vetor. Na expresso (IV.11)
f(x), a derivada de uma funo vetorial com variveis vetoriais representa uma matriz que contm todas
as derivadas parciais de todas as componentes da funo f(x); esta matriz conhecida como matriz
Jacobiana de f(x). Assim,

[ ]
(
(

= = =
j
i
ij
x
) x ( f
J (x) f' J(x) (IV.12)

Para estabelecer o mtodo iterativo, ainda seguindo o caminho do mtodo iterativo linear, na
iterao k + 1 a aproximao ser definida pelo vetor que anula a aproximao linear da equao, ou
seja, o vetor x
k+1
tal que:



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


28

f(x
k
) + f(x
k
)(x
k+1
- x
k
) = 0 (IV.13)

Para explicitar x
k+1
, multiplicamos esta equao pela inversa da matriz Jacobiana e teremos:

x
k+1
= x
k
[f(x
k
)]
-1
f(x
k
) (IV.14)

que a adaptao da frmula de Newton-Rapson para iteraes ao caso de sistemas
no-lineares. Como a inverso de matrizes uma operao muito cara, podemos evita-la trabalhando na
expresso (IV.13). Se fizermos o v = (x
k+1
- x
k
) a aproximao da iterao k+1 pode ser encontrada
resolvendo o seguinte sistema linear

J(x
k
) v = - f(x
k
) (IV.15)

e atualizando o novo valor do vetor x por:

x
k+1
= v + x
k
(IV.16)

Algoritmo
Dados




n n 1 n
n 2 1 2
n 1 1 1
n 2 1
x / f ,..., x / f

x / f ,..., x / f
x / f ,..., x / f
,..., , ,
M M
f f f x
0




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


29

Sada ento , max Se
ou
Sada ento , max Se
sistema o solva Re
) x ( x / f J
faa n ,..., 2 , 1 j Para
) x ( f F
faa n ,..., 2 , 1 i Para
faa ,... 2 , 1 k Para
n i 1
n i 1
1 k k
1 k
j 1 ij
1 k
1 1
k * 1 k
i
k
i
k * k
1
x x x x
x x ) (x f
v x x
F v J
= <
= <
+ =
=
=
=
=
=
=



Observando mais detalhadamente este algoritmo vemos que ele envolve algumas etapas
delicadas:

i. Escolha da aproximao inicial;
ii. Clculo do vetor f(x
k
);
iii. Clculo da matriz Jacobiana J(x
k
);
iv. Soluo do sistema linear J(x
k
)v = -f(x
k
).

Para que a implementao computacional resultante seja eficiente, torna-se necessrio um certo
cuidado em cada uma dessas etapas; nesse sentido abordaremos alguns pontos que nos parecem
importantes. Infelizmente pouco progresso tem sido obtido no caminho de escolha de boas aproximaes
iniciais: se no dispomos de alguma informao a priori, duas idias podem ser aplicadas, com sucesso
relativo. Na tcnica de continuao tenta-se construir uma funo que dependa de um s parmetro, cuja
raiz ser uma aproximao inicial. No mtodo de Newton amortecido no se permite que a nova
aproximao fornea resultados piores que os anteriores: se esse for o caso procura-se i tal que x
k+1
= x
k

+ v/2
i
com ) ( ) (
k 1 k
x f x f <
+
.
Na etapa ii no existem alternativas: h que calcular os f
i
(x
k
) de qualquer maneira.
Em iii pode-se evitar o trabalho, muitas vezes enfadonho, de calcular todas as derivadas parciais
optando pelo clculo da matriz Jacobiana por via de diferenas finitas, por exemplo. Nesse caso as



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


30
aproximaes usuais so:


[ ]
h 2
) x ,..., h x ,..., x ( f ) x ,..., h x ,..., x ( f
x
f n j 1 i n j 1 i
j
i
+

(IV.17)

Ainda no sentido de simplificao do clculo da matriz Jacobiana pode-se tentar imitar o mtodo
das secantes, apresentando na seo anterior. L usamos a aproximao


) x x (
) x ( f ) x ( f
) x ( f
k 1 k
k 1 k
1 k


+
+
+
(IV.18)

No caso de sistemas pode-se mostrar que possvel encontrar aproximaes da matriz Jacobiana em x
k+1

a partir de atualizaes adequadas de J
k
= J(x
k
). O mtodo de Broyden fornece expresses para esta
atualizao: se x
k+1
e x
k
so duas aproximaes conhecidas, chamando os vetores coluna

s
k
= x
k+1
x
k
e y
k
= f(x
k+1
) f(x
k
) (IV.19.a, b)

podemos tomar


T
k
k
T
k
k k
k
k 1 k
s
s s
s J y
J J

+ =
+
(IV.20)
como uma aproximao para o Jacobiano no vetor x
k+1
. Os mtodos que usam aproximaes deste tipo
para o Jacobiano so chamados mtodos quase-Newton, um dos quais mtodo de Broyden; estes so
usados com sucesso a partir de 1970.
No caso de escolha de mtodos iterativos, pode-se adotar um nmero fixo de iteraes, para cada
k, em vez de esperar a convergncia completa. Este procedimento, conhecido como Newton inexato,
pode ser econmico e eficiente.








UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


31


























CAPTULO V
SOLUO NUMRICA DE SISTEMAS DE EQUAES LINEARES

V.1 - Introduo

A necessidade de resolver sistemas de equaes lineares aparece numa grande quantidade de



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


32
problemas de engenharia, fsica, etc.; existem estimativas que apontam que a cada quatro problemas de
simulao em matemtica, trs convertem-se em solues de sistemas de equaes. A ttulo de exemplo,
uma fonte substancial de sistemas de equaes, lineares ou no lineares conforma o caso, a soluo de
equaes diferenciais por via de mtodos de discretizao, como diferenas finitas, volumes finitos ou
elementos finitos; em geral estes sistemas so muito grandes e tem caractersticas de esparsidade (muitos
elementos nulos na matriz associada) que auxiliam em sua soluo numrica. Outras fontes freqentes
so problemas de aproximao de funes, de minimizao de funes, problemas inversos etc.
Este captulo tem como objetivo apresentar algumas tcnicas destinadas soluo numrica de
sistemas de equaes. Respeitando a distino dos mtodos, comum catalog-los em dois grupos:
Mtodos Diretos so aqueles que conduzem soluo exata a menos de erros de arredondamento
introduzido pela mquina, aps um numero finito de passos; Mtodos iterativos so aqueles que se
baseiam na construo de seqncias de aproximaes: em cada passo valores calculados anteriormente
so usados para melhorar a aproximao; claro que o mtodo iterativo ser til se a seqncia
convergir para a soluo do sistema.
A escolha do mtodo a ser utilizado depende de cada caso. Se os mtodos diretos tem a vantagem
de fornecer soluo aps um nmero finito de passos e no dependem de condies de convergncia,
eles podem ser inviveis quando o sistema muito grande ou mal condicionado. De fato, como veremos
neste captulo, o nmero de operaes realizadas nos mtodos cresce com o cubo da dimenso da matriz
dos coeficientes e isto pode ser desastroso quando a propagao de erros contamina os clculos.
Antes de descrever qualquer mtodo vamos considerar um sistema com n equaes lineares nas n
incgnitas que ser representado por:

= + + +
= + + +
= + + +
n n nn 2 2 n 1 1 n
2 n n 2 2 22 1 21
1 n n 1 2 12 1 11
b x a x a x a
b x a x a x a
b x a x a x a
K
M M M M
K
K
(V.1)

Os coeficientes das incgnitas compem uma matriz quadrada com n linhas e n colunas, A = (a
ij
):

(
(
(
(

=
nn 2 n 1 n
n 2 22 21
n 1 12 11
a a a
a a a
a a a
K
M M M
K
K
A (V.2)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


33

Assim, definindo os vetores colunas
T
n 2
) x ... x x
1
( = x e
T
n 2 1
) b ... b (b = b pode representar o sistema
mostrado anteriormente na seguinte forma matricial:

A x = b (V.3)

Se admitimos que A uma matriz inversvel (isto , det (A) 0), ento o sistema tem uma nica soluo
x = A
-1
b, onde A
-1
representa a inversa da matriz A.

V.2 Mtodos Diretos

Mtodos diretos so aqueles que, a menos de erros de arredondamento, fornecem a soluo exata
do sistema linear, caso ela exista, aps um nmero finitos de operaes aritmticas.

a) Mtodo de Eliminao de Gauss
Entre os mtodos diretos, destacam-se os mtodos de Eliminao que evitam o clculo direto da
matriz inversa de A e alm disto no apresentam problemas com tempo de execuo. O mtodo da
Eliminao de Gauss consiste em transformar o sistema linear original num sistema equivalente com
matriz dos coeficientes triangular superior, pois estes so de resoluo imediata.
Seja o sistema linear: A x = b, onde A a matriz dos coeficientes de dimenso n x n, triangular
superior, com elementos da diagonal diferentes de zero. Escrevendo as equaes deste sistema, temos:

=
= + +
= + + +
= + + + +
n n nn
3 n n 3 3 33
2 n n 2 3 23 2 22
1 n n 1 3 13 2 12 1 11
b x a
b x a x a
b x a x a x a
b x a x a x a x a
M O
K
K
K
(V.4)

Da ltima equao, temos

nn
n
n
a
b
x = (V.5)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


34

x
n-1
pode ento ser obtido da penltima equao:

1 n , 1 n
n n , 1 n 1 n
1 n
a
x a b
x

= (V.6)

e assim sucessivamente obtm-se x
n-2
,...,x
2
e finalmente x
1
:

11
n n 1 3 13 2 12 1
1
a
x a ... x a x a b
x

= (V.7)

A generalizao desta soluo dada a seguir. Dado um sistema triangular superior n x n com
elementos da diagonal da matriz A no nulos, as variveis x
n
, x
n-1
, x
n-2
,...,x
2
, x
1
so assim obtidas:

Algoritmo
, e a b x
nn n n
=

|
|
|

\
|
=
=

+ =
kk
n
1 k j
j kj k k
a x . a b x
, 1 , 2 ,..., 1 n k para



O mtodo de Eliminao de Gauss consiste em transformar convenientemente o sistema linear
original para obter um sistema linear equivalente com matriz dos coeficientes triangular superior. Dois
sistemas lineares, A x = b e b x A
~
.
~
= , so equivalentes se qualquer soluo de um tambm soluo do
outro. Para modificar convenientemente o sistema linear dado de forma a obter um sistema equivalente,
faremos uso do seguinte procedimento.
Seja A x = b um sistema linear. Aplicando sobre as equaes deste sistema uma seqncia de
operaes, escolhidas entre:
I) trocar duas equaes;
II) multiplicar uma equao por uma constante no nula;
III) adicionar um mltiplo de uma equao a uma outra equao;
obtemos um novo sistema b x A
~
.
~
= e os sistemas A x = b e b x A
~
.
~
= so equivalentes. Descreveremos



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


35
a seguir como o mtodo de Eliminao de Gauss usa este procedimento para triangularizar a matriz A,
supondo-se que det A 0.
A eliminao efetuada por colunas e chamaremos de estgio k do processo fase em que se
elimina a varivel x
k
das equaes k + 1, k + 2,..., n.
Usaremos a notao
) k (
ij
a para denotar o coeficiente de linha i e coluna j no final do k-simo
estgio, bem como
) k (
i
b ser o i-simo elemento do vetor constante no final do estgio k.
Considerando que det A 0 sempre possvel rescrever o sistema linear de forma que o
elemento da posio a
11
seja diferente de zero. Seja:

|
|
|
|
|

\
|
= =
) 0 (
n
) 0 (
nn
) 0 (
2 n
) 0 (
1 n
) 0 (
2
) 0 (
n 2
) 0 (
22
) 0 (
21
) 0 (
1
) 0 (
n 1
) 0 (
12
) 0 (
11
) 0 ( ) 0 (
b a a a
b a a a
b a a a
K
M M M M
K
K
b A b A (V.8)

onde,
ij
) 0 (
ij
a a = ,
i
) 0 (
i
b b = e 0 a
) 0 (
11
. Para sistematizar o processo dividiremos em etapas vistas a seguir


Etapa 1: k = 1
O elemento
) 0 (
11
a chamado Piv deste estgio e sero calculados os elementos
) 0 (
11
) 0 (
1 i
1 i
a
a
m = , para i = 2,..., n, que so os multiplicadores do primeiro estgio. A eliminao da varivel x
1

das equaes 2,...,n feita da seguinte forma: a i-sima equao substituda por ela mesma, menos a
primeira por m
i1
, e ao final do estgio teremos a seguinte matriz

|
|
|
|
|

\
|
=
) 1 (
n
) 1 (
nn
) 1 (
2 n
) 1 (
2
) 1 (
n 2
) 1 (
22
) 1 (
1
) 1 (
n 1
) 1 (
12
) 1 (
11
) 1 ( ) 1 (
b a a 0
b a a 0
b a a a
b A
K
M M M M
K
K
(V.9)

onde,
) 0 (
j 1
) 1 (
j 1
a a = para j = 1,...,n,
) 0 (
1
) 1 (
1
b b = e
) 0 (
j 1 1 i
) 0 (
ij
) 1 (
ij
a . m a a = para i = 2,..., n e



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


36
j = 1,..., n,
) 0 (
1 1 i
) 0 (
i
) 1 (
i
b . m b b = i = 2,..., n.
Etapa 2: k = 2
O piv seria o elemento da posio a
22
sendo preciso que ele seja diferente de zero. Deve-se ter
pelo menos um elemento 0 a
) 1 (
2 i
, para i = 2,..., n, caso contrrio,
det A
(1)
= 0 o que implica que det A = 0, mas det A 0 por hiptese. Ento, sempre possvel rescrever
a matriz A
(1)
, sem alterar a posio da linha 1, de forma que o piv,
) 2 (
22
a , seja no nulo. Os
multiplicadores deste estgio sero os elementos
) 1 (
22
) 1 (
2 i
2 i
a
a
m = para i = 3,..., n. Ento, a varivel x
2

eliminada das equaes 3,..., n substituindo a i-sima equao por ela mesma menos a segunda equao
multiplicada por m
i2
e ao final teremos a matriz
) 2 ( ) 2 (
b A :

|
|
|
|
|
|
|

\
|
=
) 2 (
n
) 2 (
nn
) 2 (
3 n
) 2 (
3
) 2 (
n 3
) 2 (
33
) 2 (
2
) 2 (
n 2
) 2 (
23
) 2 (
22
) 2 (
1
) 2 (
n 1
) 2 (
13
) 2 (
12
) 2 (
11
) 2 ( ) 2 (
b a a 0 0
b a a 0 0
b a a a 0
b a a a a
K K
M M M M M
K K
K K
K K
b A (V.10)
onde
) 1 (
ij
) 2 (
ij
a a = para i = 1,2 e j = 1, 2,..., n,
) 1 (
i
) 2 (
i
b b = para i = 1, 2 e
) 1 (
j 2 2 i
) 1 (
ij
) 2 (
ij
a . m a a = para i = 3,...,
n e j = 2,..., n e
) 2 (
2 2 i
) 1 (
i
) 2 (
i
b . m a b = para i = 3,..., n
Seguindo raciocnio anlogo procede-se at o estgio k 1 e a matriz, ao final deste estgio, ser:

|
|
|
|
|
|
|

\
|
=





) 1 k (
n
) 1 k (
nn
) 1 k (
3
) 1 k (
n 3
) 1 k (
33
) 1 k (
2
) 1 k (
n 2
) 1 k (
23
) 1 k (
22
) 1 k (
1
) 1 k (
n 1
) 1 k (
13
) 1 k (
12
) 1 k (
11
) 1 k ( ) 1 k (
b a 0 0 0
b a a 0 0
b a a a 0
b a a a a
K K
M M M M M
K K
K K
K K
b A (V.11)

e o sistema linear A
(k 1)
.x = b
(k 1)


Finalmente a sistemtica do mtodo de Eliminao de Gauss fica descrito pelo algoritmo
mostrado em seguida.



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


37

Algoritmo para a Eliminao Gaussiana
Seja o sistema linear A x = b, onde A: n x n, x: n x 1, b: n x 1.
Supor que 0 a
) 1 k (
kk

, k = 1, 2,...., n - 1

=
=
=

=
+ =
=
=
+ =
=

+ =
n
1 l j
j j
nn n n
k i i
kj ij ij
ik
kk
ik
a / ) x . a b ( x
1 , 2 ,...., 1 n Para
a / b x
b . m b b
a . m a a
n ,..., 1 k j Para
0 a
a
a
m
n ,...., 1 k i Para
1 n ,...., 1 k Para
ll l l l
l

Foi observado que o algoritmo para o mtodo de Eliminao de Gauss requer clculo dos
multiplicadores
) 1 k (
kk
) 1 k (
ik
ik
a
a
m

= i = k + 1,..., n em cada estgio k do processo. No entanto, se o piv for


nulo ou prximo de zero se faz necessrio uma estratgia capaz de contornar estes problemas. Estes dois
casos merecem ateno especial, pois impossvel trabalhar com um piv nulo. E, trabalhar com um
piv prximo de zero pode conduzir a resultados imprecisos. Isto porque em qualquer calculadora ou
computador os clculos so efetuados com aritmtica de preciso finita e, pivs prximos de zero do
origem a multiplicadores bem maiores que a unidade que, por sua vez, origina uma ampliao dos erros
de arredondamento. Uma forma de contornar estes problemas deve-se tomar uma estratgia de
Pivoteamento, ou seja, adotar um processo de escolha de linha e/ou coluna pivotal. Chamamos estratgia
de pivoteamento a sistemtica de troca de linhas de modo que o piv seja o maior elemento.


a) Decomposio L U
O mtodo de Eliminao Gaussiana pode ser usado economicamente quando precisamos resolver



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


38
vrios sistemas com a mesma matriz dos coeficientes. Em algumas situaes prticas os termos
independentes, b, no esto disponveis simultaneamente ou podem depender da prpria soluo do
sistema associada a outro b. Uma opo seria guardar os coeficientes m
ij
calculados no processo de
eliminao e us-los na atualizao de novos termos independentes, b. Outra alternativa
computacionalmente equivalente o que chamamos decomposio LU da matriz A. A idia do mtodo
ainda est apoiada na simplicidade de resoluo de sistemas triangulares.
Suponhamos que seja possvel decompor a matriz A num produto de uma matriz triangular
inferior, (com os elementos da diagonal principal iguais a 1), e uma matriz triangular superior, U, isto ,

A = L U (V.12)

Nas condies o sistema Ax = b pode ser reescrito na forma LU x = b, o que permite o desmembramento
em dois sistemas triangulares

L y = b, U x = y (V.13)
Resolvendo o primeiro sistema calculamos y que, usado no segundo sistema, fornecer o vetor
procurado x.
Dessa maneira, conhecidas L e U, o sistema ser resolvido com n(n 1) operaes (dois sistemas
triangulares) o que representa um ganho substancial comparado com o mtodo da eliminao.
Pode-se encontrar diretamente os elementos de L e U a partir da definio de produtos de
matrizes, montando-se um sistema com n
2
equaes e n
2
incgnitas, que ser resolvido progressivamente
a partir de valores anteriormente calculados. Dessa maneira, se chamamos de m
ij
os elementos de L e u
ij

os elementos de U obtemos expresses que viabilizam uma implementao eficiente do mtodo em
questo.

=
=
1 i
1 k
kj ik ij ij
u m a u para i j (V.14)

j i para u / u m a m
jj
1 j
1 k
kj ik ij ij
>
|
|
|

\
|
=

=
(V.15)

Pode-se tambm mostrar que os coeficientes m
ij
calculados no processo de eliminao formam a
matriz L (desde que no seja necessria nenhuma troca de linha), e a matriz triangular superior do



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


39
mtodo de eliminao a prpria U. No caso da troca de linhas (pivoteamento) na eliminao tambm
teremos uma fatorao triangular, mas L U = A onde A obtida da troca de linhas de A.


V.3 Mtodos Iterativos

Sistemas lineares de grande porte so em geral esparsos. Dizemos que um sistema linear
esparso quando a matriz A dos coeficientes possui uma grande percentagem de elementos nulos. Para
tais sistemas, a resoluo atravs do mtodo de Eliminao de Gauss no aconselhvel porque este
mtodo no preserva esparsidade, ou seja, durante o processo de eliminao muitos elementos nulos
podero se tornar no nulos.
Existem alguns mtodos que fazem uso apenas dos elementos da matriz A original. Estes
mtodos consistem de algoritmos simples para converter qualquer vetor x
(k)
em outro, x
(k+1)
, que
depende de x
(k)
, A e b, e preservam a esparsidade de A, pois os elementos desta matriz no sero
alterados. Eles pertencem classe dos mtodos iterativos para resolver um sistema linear.

a) Mtodo Iterativo de Gauss-Jacobi
A forma como o mtodo de Gauss-Jacobi transforma o sistema linear A x = b em x = C x + g a
seguinte:
Tomamos o sistema linear original

= + + +
= + + +
= + + +
n n nn 2 2 n 1 1 n
2 n n 2 2 22 1 21
1 n n 1 2 12 1 11
b x a x a x a
b x a x a x a
b x a x a x a
K
M M M M
K
K
(V.16)

e supondo a
ii
0, i = 1,...., n, isolamos o vetor x mediante a separao pela diagonal, assim:




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


40

=
=
=
1 n 1 n , n 2 2 n 1 1 n n
nn
n
n n 2 3 23 1 21 2
22
2
n n 1 3 13 2 12 1
11
1
x a x a x a b (
a
1
x
) x a x a x a b (
a
1
x
) x a x a x a b (
a
1
x
K
M M M
K
K
(V.17)

Desta forma temos x = C x + g.


a) Mtodo Iterativo de Gauss-Seidel
Da mesma forma que no mtodo de Gauss-Jacobi, no mtodo de Gauss-Seidel o sistema linear A
x = b escrito na forma equivalente x = C x + g por separao de diagonal.

O processo iterativo consiste em, sendo x
(0)
uma aproximao inicial, calcular x
(1)
, x
(2)
,...,x
(k)
,...,
por:

=
=
=
=
+

+ + +
+ + +
+ +
+
) x a x a x a b (
a
1
x
) x a x a x a x a b (
a
1
x
) x a x a x a b (
a
1
x
) x a x a x a b (
a
1
x
) 1 k (
1 n 1 n , n
) 1 k (
2 2 n
) 1 k (
1 1 n n
nn
) 1 k (
n
) k (
n n 3
) k (
4 34
) 1 k (
2 32
) 1 k (
1 31 3
33
) 1 k (
3
) k (
n n 2
k
3 23
) 1 k (
1 21 2
22
) 1 k (
2
) k (
n n 1
) k (
3 13
) k (
2 12 1
11
) 1 k (
1
K
M M M M
K
K
K
(V.18)

Portanto, no processo iterativo de Gauss-Seidel, no momento de se calcular
) 1 k (
j
x
+
usamos todos
os valores de
) 1 k (
1
x
+
,...,
) 1 k (
1 j
x
+

que j foram calculados e os valores


) k (
1 j
x
+
,...,
) k (
n
x restantes.






UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


41




























CAPULO VI
SOLUO NUMRICA DE EQUAES DIFERENCIAIS ORDINRIAS

VI.1 - Introduo



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


42
Equaes Diferenciais aparecem com grande freqncia em modelos que descrevem
quantitativamente fenmenos em diversas reas, como por exemplo mecnica dos fluidos, transferencia
de calor e massa, reaes qumicas e nucleares, economia e biologia etc.
Equaes envolvendo derivadas so chamadas diferenciais. Se uma equao diferencial tem
apenas uma varivel independente, ento ela uma equao diferencial ordinria, que o assunto de
estudo neste captulo. Se uma equao diferencial envolve mais que uma varivel independente ento ela
uma equao diferencial parcial. No que diz respeito a ordem da equao, podemos dizer que a ordem
de uma equao diferencial a mais alta ordem de derivao que aparece na equao.
Uma equao diferencial ordinria dita linear se a funo e suas derivadas que aparecem
linearmente na equao. Assim, xy = x y linear e y + (1 y
2
)y + y = 0 e u + e
-u
e
u
= f(x) so
no lineares.
Neste captulo apresentaremos alguns mtodos numricos que conduzam soluo aproximada
de uma varivel dependente que satisfaa a equao do tipo
y = f(x, y) (problema de valor inicial - PVI) ou y = f(x, y, y) (problema de valor de contorno - PVC),
onde f(x, y) e f(x, y, y) so conhecidas.


VI.2 Mtodos de Diferenas Finitas

A base dos mtodos numricos de soluo de equaes diferenciais esta na discretizao do
domnio fsico. Neste sentido importante introduzir o conceito de malha. Seja x
0
um ponto qualquer do
domnio e h um nmero representando uma frao do domnio; dessa forma, a malha de passo h
associada a x
0
o conjunto de pontos
x
n
= x
0
h para n = 1, 2, ..., M. Nos pontos desta malha sero calculadas as aproximaes para y(x). De
fato, a base que norteia o mtodo de diferenas finitas so as aproximaes das derivadas de y(x), em
pontos discretos do domnio, que aparecem na equao diferencial.
A ferramenta matemtica bsica na definio das aproximaes para as derivadas a
representao em srie de Taylor, mostrada com detalhes no captulo II. Escreveremos, agora, as
aproximaes de derivadas mais usadas no mtodo de diferenas finitas.

) h ( O
h
) x ( y ) h x ( y
) x ( y
n n
n
+
+
(VI.1.a)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


43
) h ( O
h
) h x ( y ) x ( y
) x ( y
n n
n
+

(VI.1.b)

) h ( O
h 2
) h x ( y ) h x ( y
) x ( y
2 n n
n
+
+
= (VI.1.c)

) h ( O
h
) h x ( y ) x ( y 2 ) h x ( y
) x ( y
2
2
n n n
n
+
+ +
= (VI.1.d)

Para melhor manuseio das equaes vamos adotar a seguinte notao: y
n
= y(x
n
);
y
n+1
= y(x
n
+h) e y
n-1
= y(x
n
-h). Usando o mtodo de diferenas finitas podemos encontrar solues
aproximadas de equaes diferenciais ordinrias. Para ilustrar isto, vamos considerar o seguinte
problema,

b x a ), x ( r y ) x ( q y ) x ( p y < < = + + (VI.2.a)

= = ) b ( y ; ) a ( y (VI.2.b,c)

Se discretizarmos o intervalo (a, b) em k partes iguais de tamanho h, introduzimos a malha a = x
0

< x
1
< ... < x
k
= b, se a cada ponto interior x
n
usarmos as aproximaes: (VI.1.c) para y' (pois o erro
desta aproximao da ordem de h
2
) e (VI.1.d) para y'' obtemos a discretizao da eq. (VI.2.a):

) x ( r y ) x ( q
h 2
y y
) x ( p
h
y y 2 y
n n n
1 n 1 n
n
2
1 n n 1 n
= +

+
+
+ +
(VI.3.a)

ou ainda,

1 - k 1,2,..., n ; D y C y B y A
n 1 n n n n 1 n n
= = + +
+
(VI.3.b)

onde

n
2
n n n n
2
n n n
r h D , p
2
h
1 C , 2 q h B , p
2
h
1 A = + = = = (VI.4)

importante incorporar na primeira equao e na ltima as informaes das condies de contorno.
Ento, fazendo-se n = 1 (y
0
= ) e n = k-1 (y
k
= ) em (VI.3.a) teremos:



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


44

= +
1 1 2 1 1 1
A - D y C y B (VI.5.a)

C D y B y A
1 k 1 k 1 k 1 k 2 k k
= +

(VI.5.b)

As equaes (VI.3, 4, 5) formam um sistema tridiagonal de equaes lineares, e a metodologia de
soluo foi vista no captulo V. O algoritmo para resolver o sistema acima dado por:
Algoritmo
Dados a, b, p(x), q(x) 0, r(x), , e k
h = (b-a)/k

=
=

=
+ =
=
=
+ =
=
1 k 1 k 1 k
1 1 1
2
i
i
2
i
i
C D D
A D D
) x ( r h D
2 / ) x ( hp 1 C
2 ) x ( q h B
2 / ) x ( hp 1 A
ih a x
1 k ,..., 1 i Para

Aps montado os termos da matriz dos coeficientes usar o algoritmo de Thomas solucion-lo.


VI.3 Mtodo da Srie de Taylor

Este um dos mtodos mais antigos de aproximao para a soluo de um problema de valor
inicial. Com o objetivo de simplificar a anlise usaremos uma equao de primeira ordem como
problema padro. Seja o seguinte problema diferencial ordinrio de primeira ordem

a x ), y , x ( f ) x ( y > = (VI.6.a)

0
y ) a ( y = (VI.6.b)

Entretanto, as mesmas idias podem ser generalizadas para equaes diferenciais de ordem maior que
um, desde que transformemos a EDO original em um sistema de equaes diferenciais ordinrio de



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


45
primeira ordem. Tomemos, com exemplo, o problema de valor inicial de segunda ordem:

a x ), y , y , x ( f ) x ( y > = (VI.7.a)

0 ) a ( y ; y ) a ( y
0
= = (VI.7.b, c)

Definindo uma nova varivel ) x ( y ) x ( y
1
= , onde ) x ( y ) x ( y
1
= , o problema (VI.7) pode ser
escrito na forma de sistema

) x ( y ) x ( y
1
= (VI.8.a)

) y , y , x ( f ) x ( y
1 1
= (VI.8.b)

onde as condies iniciais so y(a) = y
0
e y
1
(a) = 0. Escrevendo (VI.8) em notao vetorial, onde Y = (y,
y
1
)
T
, temos:

|
|

\
|
= =
) y , y , x ( f
y
) y , y , x (
1
1
1
F Y (VI.9.a)

( )
T
1
) a ( y ), a ( y ) a ( = Y (VI.9.b)

Assim, a metodologia que ser descrita a seguir pode ser estendida para sistemas de equaes
diferenciais. Focalizando nossa ateno para o problema (VI.6), podemos usar a regra da cadeia para
obter as derivadas de y(x) partindo-se de (VI.6.a):

f f f f f f f f 2 f (x) y
f f f (x) y
f ) y , x ( f ) x ( y
2
y x y
2
yy xy xx
y x
+ + + + =
+ =
= =
(VI.10)

onde f
x
, f
xx
, f
xy
, f
yy
e f
y
representam as derivadas parciais de f.
Expandindo y em srie de Taylor para calcular o y
i+1
a partir das informaes em x
i
:



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


46


[ ]
[
] ) h ( O ) y , x ( f ) y , x ( f ) y , x ( f ) y , x ( f
) y , x ( f ) y , x ( f ) y , x ( f ) y , x ( f 2 ) y , x ( f
! 3
h

) y , x ( f ) y , x ( f ) y , x ( f
! 2
h
) y , x ( hf y
) h ( O ) x ( y
! 3
h
) x ( y
! 2
h
) x ( y h y y
4
i i i i
2
y i i x i i y
i i
2
i i yy i i i i xy i i xx
3
i i i i y i i x
2
i i i
4
i
3
i
2
i i 1 i
+ + +
+ + + +
+ + + + =
= + + + + =
+
(VI.11)

Em resumo, o mtodo de soluo do problema de valor inicial consiste em: Dados y
0
, f(x, y), h
calcula-se y
i+1
pela eq. (VI.11) para i = 0, 1,.... Pode-se usar equaes para a aproximao y
i+1
com erro
da ordem de h
5
, h
6
e assim por diante.


VI.4 Mtodos de Runge-Kutta

Os mtodos de Runge-Kutta so os mais populares e os mais apropriados para problemas de
valor inicial. A Idia bsica destes mtodos aproveitar as qualidades dos mtodos de srie de Taylor e
ao mesmo tempo eliminar seu maior defeito que o clculo de derivadas de f(x, y) que, conforme
vimos, torna os mtodos de srie de Taylor computacionalmente inviveis. Os mtodos de Runge-Kutta
de ordem p se caracterizam basicamente por: so mtodos de passo um; concordam com a srie de
Taylor at os termos de ordem h
p
; e no exigem o clculo de qualquer derivada de
f(x ,y), no entanto, necessitam calcular f(x, y) em vrios pontos.

a) Mtodos de Runge-Kutta de 1 ordem-mtodo de Euler
Consideremos o problema de valor inicial dado pelas eqs. (VI.6) e expandindo em srie de
Taylor, em torno de x
n
, e truncando no termo de primeira ordem temos:

) y , x ( hf y ) h ( O ) x ( y h y y
n n n n n 1 n
+ + + =
+
, n = 0, 1, 2,... (VI.12)

ento, partindo-se da condio inicial pode-se calcular y
n+1
pela eq. (VI.12), e esta equao define o
mtodo de Euler ou Runge-Kutta de ordem p = 1.



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


47

b) Mtodos de Runge-Kutta de 2 ordem
Como est mostrado na eq. (VI.12) ela introduz um erro da ordem de h a cada passo. Ento, com
o objetivo de melhorar a acurcia deste esquema vamos considerar a seguinte generalizao da eq.
(V.12)

( )
n n n n n n 1 n
y h y , h x f h ) y , x ( f h y y + + + + =
+
(VI.13)

onde os parmetros , , e so convenientemente calculados de modo que o mtodo satisfaa a srie
de Taylor at o termo de segunda ordem. O ltimo termo do lado direito da eq. (VI.13) pode ser
desenvolvido em srie de Taylor para funes de duas variveis, isto


( )
) x x ( O ) y ( O ) x ( O
) y , x ( yF y ) y , x ( yF ) y , x ( xF ) y , x ( F y y , x x F
2 2
xy y x
+ + +
+ + + + = + +
(VI.14)

logo


( )

) h ( O ) y , x ( f ) y , x ( f h
) y , x ( f ) y , x ( f h
) y , x ( f h ) y , x ( f y h y , h x f
2
n n xy n n
2
n n y n n
n n x n n n n n
+ +
+ +
+ + = + +
(VI.15)
desprezando-se os termos de ordem h
2
, substituindo em (VI.13) e agrupando os termos de mesma
potncia em h, teremos


[
] ( )
3
n n y n n
n n x
2
n n n 1 n
h O ) y , x ( f ) y , x ( f
) y , x ( f h ) y , x ( f ) ( h y y
+ +
+ + + + =
+


(VI.16)

comparando-se a eq. (VI.16) com a eq.(VI.11) de modo que haja concordncia at os termos de ordem
h
2
preciso que


2
1
,
2
1
, 1 = = = + (VI.17)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


48

observa-se das eqs. (VI.17) que existem trs equaes e quatro incgnitas. Assim escolhendo-se um dos
parmetros arbitrariamente, = 0 temos:

= = =
2
1
, 1 (VI.18)

logo, a forma geral dos mtodos de Runge-Kutta de 2
a
ordem dada por


|

\
|

+ + + =
+
) y , x ( f
2
h
y ,
2
h
x f h ) y , x ( f ) 1 ( h y y
n n n n n n n 1 n
(VI.19)


c) Mtodos de Runge-Kutta de 3
a
ordem
De maneira semelhante podemos construir o mtodo de Runge-Kutta de 3
a
ordem, dado de forma
compacta a seguir


2 n n 3
1
n n 2
n n 1
3 2 1 n 1 n
k
4
3
y , h
4
3
x ( hf k
)
2
k
y ,
2
h
x ( hf k
) y , x ( hf k
k
9
4
k
3
1
k
9
2
y y
+ + =
+ + =
=
+ + + =
+
(VI.20)
d) Mtodos de Runge-Kutta de 4
a
ordem
E o mtodo de Runge-Kutta de 4
a
ordem pode ser escrito como


) k y , h x ( hf k
) 2 / k y , 2 / h x ( hf k
) 2 / k y , 2 / h x ( hf k
) y , x ( hf k
) k k 2 k 2 k (
6
1
y y
3 n n 4
2 n n 3
1 n n 2
n n 1
4 3 2 1 n 1 n
+ + =
+ + =
+ + =
=
+ + + + =
+
(VI.21)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


49
Chamamos a ateno para o fato dos mtodos de Runge-Kutta, apesar de serem auto-iniciveis
(pois so de passo um) e no trabalharem com derivadas de f(x, y), apresentam a desvantagem de no
haver para eles uma estimativa simples para o erro, que inclusive poderia ajudar na escolha do passo h.


VI.5 Mtodos de Mltiplos Passo

Como vimos, os mtodos de passo simples precisam de informao sobre a soluo apenas em x
= x
n
para achar uma aproximao para y(x
n
+ h); no entanto, eles exigem os clculos da derivada de f(x,
y) em vrios outros pontos. A caracterstica dos mtodos de passo mltiplo que eles usam informaes
sobre a soluo em mais de um ponto. Inicialmente vamos supor que conhecemos aproximaes para
y(x) em x
0
, x
1
,...,x
k
e que x
n+1
- x
n
= h, n = 0, 1,...,k. Elucidaremos aqui uma classe de mtodos de passo
mltiplo que baseada no princpio de integrao numrica conhecidos como mtodos de Adams-
Bashforth; a idia integrar a equao diferencial y = f(x, y) de x
n
at x
n+1
:

+
+ =
+
1 n
n
x
x
n 1 n
dx )) x ( y , x ( f ) x ( y ) x ( y (VI.22)

e aproximar a integral

+1 n
n
x
x
dx )) x ( y , x ( f por uma frmula de quadratura numrica por ns escolhida.

a) Mtodos explcitos:
Os mtodos explcitos desta classe de mtodos so obtidos quando trabalhamos com x
n
, x
n-1
,...,x
n-
m
para aproximar a integral acima. Aproximamos f(x, y(x)) pelo polinmio de grau m, P
m
(x) que
interpola f(x, y) em x
n
, x
n-1
,...,x
n-m
e ento

+
+
+
1 n
n
x
x
m n 1 n
dx ) x ( P ) x ( y ) x ( y (VI.23)

Se por exemplo, escolhemos m = 3, ento vamos usar (x
n
, y
n
), (x
n-1
, y
n-1
), (x
n-2
, y
n-2
), (x
n-3
, y
n-3
)
aproximando f(x, y(x)) pelo polinmio de grau 3, P
3
(x), que interpola f(x, y(x)) nos pontos acima.
Teremos:




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


50
[ ]
3 n 2 n 1 n n n 1 n
f 9 f 37 f 59 f 55
24
h
y y
+
+ + = (VI.24)


b) Mtodos implcitos:
Os mtodos implcitos, desta classe de mtodos, so obtidos quando trabalhamos com x
n+1
,
x
n
,...,x
n-m
. O mtodo anlogo ao que vimos anteriormente, se trabalhamos com quatro pontos; portanto,
m = 3 e vamos usar (x
n+1
, y
n+1
), (x
n
, y
n
), (x
n-1
, y
n-1
), (x
n-2
, y
n-2
) da mesma forma como fizemos
anteriormente; logo:

[ ]
2 n 1 n n 1 n n 1 n
f f 5 f 19 f 9
24
h
y y
+ +
+ + + = (VI.25)


que um mtodo de passo mltiplo implcito pois, no clculo de y
n+1
aparece
f
n+1
(x
n+1
, y
n+1
). Est a grande dificuldade de mtodos implcitos.


VI.6 Mtodos de Previso-Correo

Anteriormente falamos sobre mtodos deduzidos por integrao numrica. Tratamos de mtodos
explcitos de passo mltiplo. Em geral, frmulas deduzidas por interpolao de f(x, y(x)) em x
n
e pontos
anteriores so conhecidos como frmulas do tipo abertas.
Deduzimos tambm um mtodo implcito; mtodos desse tipo, onde usamos tambm x
n+1
para
construir o polinmio de interpolao de f(x, y(x)) so conhecidos como frmulas fechadas.
A frmula implcita que deduzimos eq. (VI.24) e, a menos que f(x, y) seja uma funo linear, em
geral no seremos capazes de resolver a expresso acima para y
n+1
.O que fazemos ento tentar obter
y
n+1
as seguinte forma iterativa:
i) Por meio de um mtodo explcito (corretamente escolhido) encontramos uma primeira
aproximao
) 0 (
1 n
y
+
para y
n+1
;
ii) Calculamos ento, para f
n+1
, o valor f(x
n+1
, y
n+1
);
iii) Com o valor de f
n+1
encontramos uma prxima aproximao para y
n+1
,
) 1 (
1 n
y
+
, usando agora o



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


51
mtodo implcito que escolhemos;
iv) Voltamos para ii, onde agora calculamos, para f
n+1
, f(x
n+1
,
) 1 (
1 n
y
+
) e assim vamos repetindo o
processo at que duas aproximaes sucessivas satisfaam os critrios, como por exemplo
<
+

+ +
) k (
1 n
) 1 k (
1 n
) k (
1 n
y / y y onde a preciso desejada.

Observamos que ao escolher temos de considerar o erro da frmula usada para calcular
) 0 (
1 n
y
+

bem como o tamanho do passo h. Suponhamos que para achar
) 0 (
1 n
y
+
para a frmula implcita que
deduzimos, desejamos usar o mtodo de Adams-Bashforth.

[ ]
3 n 2 n 1 n n n 1 n
f 9 f 37 f 59 f 55
24
h
y y
+
+ + = (VI.26)

Quando usamos um par de frmulas como o par acima, a frmula explcita tipo aberta,
chamada um previsor e a frmula implcita, tipo fechada, chamada corretor. A frmula implcita que
descrevemos conhecida como a frmula de Adams-Mouton de 4 ordem. O par previsor-corretor, dado
por Adams-Bashforth e Adams-Moulton, pode ser sintetizado no algoritmo seguinte:


Algoritmo:
Seja o P.V.I.:

= + = =
=
,... 1 , 0 n , nh x x , y ) x ( y
) y , x ( f y
0 n 0 0

Dado > 0, e, determinados, de alguma forma, y
1
, y
2
e y
3
,
Para n = 3, 4, 5,...,N, faa:
a) calcule
) 0 (
1 n
y
+
, por [ ]
3 n 2 n 1 n n n 1 n
f 9 f 37 f 59 f 55
24
h
y y
+
+ + =
b) calcule ) y , x ( f f
) 0 (
1 n 1 n
) 0 (
1 n + + +
=
c) para k = 1, 2,..., calcule
[ ]
2 n 1 n n
) 1 k (
1 n 1 n n
) k (
1 n
f f 5 f 19 ) y , x ( f 9
24
h
y y

+ + +
+ + + =
d) continue as iteraes at atingir um nmero mximo de iteraes ou at que o mximo erro



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


52
relativo satisfaa <
+

+ +
) k (
1 n
) 1 k (
1 n
) k (
1 n
y / y y

Observamos que N o nmero de ns que precisamos; por exemplo, se num P.V.I. temos y(0) e
queremos y(1), com h = 0.1, ento N = 10.


























CAPTULO VII
EQUAES DIFERNCIAIS PARCIAIS



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


53

VII.1 Introduo

Muitos processos fsicos importantes, na natureza, so governados pelas Equaes Diferenciais
Parciais (PDE). Por esta razo importante o entendimento do comportamento fsico do modelo
representado pela PDE. Em funo disto, necessrio conhecer as caractersticas matemticas,
propriedades e a soluo das equaes governantes. Mtodos Numricos so usados para solucionar
problemas de transferncia de calor e massa e mecnica dos fluidos por estes no possurem solues
exatas devido no-linearidades, geometrias complexas e complicaes no contorno. O desenvolvimento
rpido dos computadores digitais tem incentivado o uso de Mtodos Numricos em vrios ramos da
engenharia. No fluxograma abaixo so mostradas as etapas bsicas na soluo de um problema fsico



Figura VII.1 - Etapas de soluo de um problema fsico

VII.2 Classificao Fsica




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


54
a) Problema de Equilbrio (PVC)
So problemas na qual a soluo de uma dada PDE desejada num domnio fechado sujeito a
condies de contorno prescritas (ver Fig. VII.2). Problemas de equilbrio so problemas de valor de
contorno.







Figura VII.2 - Domnio para um problema de equilbrio

Um problema de equilbrio caracteriza-se por: PVC Entra = Sai


b) Problemas com Evoluo Temporal (PVI)
So problemas marchantes ou de propagao. So problemas transientes onde a soluo da PDE
requer um domnio aberto sujeito a condies iniciais e de contorno. De forma geral, conhecidos o valor
de uma grandeza fsica num determinado instante e a lei que rege sua variao, possvel prever sua
soluo atravs de um PVI.
Um problema de valor inicial caracteriza-se por: PVI Acmulo = Entra Sai


VII.3 Algumas Equaes Importantes

a)
2
2
2
2
t
u
c
1
u

= Equao da onda (PVI) (VII.1.a)



b)
t
u
k
1
u
2

= Equao de difuso (PVI) (VII.1.b)



c) 0 u
2
= Equao de Laplace (PVC) (VII.1.c)
D
B
PDE satisfeita em D
Condies de contorno
so satisfeitas em B



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


55

d) 0 u u
2
= + Equao de Helmholtz (PVC) (VII.1.d)

e) ) z , y , x ( f u
2
= Equao de Poisson (PVC) (VII.1.e)

f)
2
2
2
2 2
t
u
p
1
) u (

= Equao bi-harmnica da onda (PVI) (VII.1.d)



g) 0 ) u (
2 2
= Equao bi-harmnica (PVC) (VII.1.e)

h) 0 u )] z , y , x ( V E [ u
2
= + Equao de Schdinger (PVC) (VII.1.f)

i) 0 u u
2
= + Equao de Kleire-Gordon (PVI) (VII.1.g)

onde os operadore de Laplace, DAlembert e da Difuso so dados, respectivamente, por:

2 2 2
2
z y x

(VII.2.a)

2
2
2
2
t c
1

(VII.2.b)

2
t
D

(VII.2.c)

Em geral os problemas de valor de contorno (PVC) so equaes elpticas e problemas de valor
inicial (PVI) so equaes parablicas e hiperblicas.


VII.4 Classificao Matemtica das PDEs

Na soluo de uma PDE com diferenas finitas, a escolha de um esquema de soluo depende do
tipo de PDE considerado. Geralmente, as PDEs so classificadas em trs categorias, chamadas Elptica,
Parablica e Hiperblica. Para ilustrar isto considere a seguinte PDE de segunda ordem em duas



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


56
variveis independentes x e y,

) y , x ( g f
y
e
x
d
y
c
y x
b
x
a
2
2 2
2
2
= +


+


+


(VII.3)

onde a, b, c, d, e e f so funes de x e y, porm no dependentes de .
Certas formas cannicas padres de PDEs sero abordadas agora. As terminologias usadas na
classificao das PDEs so pela analogia com a equao geral de segunda ordem da geometria analtica.
A classificao feita com base nos coeficientes a, b, e c das derivadas de maior ordem, de acordo com
determinante

ac 4 b
c b
b a
2
= (VII.4)

0 ac 4 b
2
> Equao hiperblica (VII.5.a)

0 ac 4 b
2
= Equao parablica (VII.5.b)

0 ac 4 b
2
< Equao elptica (VII.5.c)


a) PDE's Hiperblicas
Alguns problemas podem se enquadrar em Sistemas Hiperblicos tais como. Problema de
conduo de calor transiente com pulsos de laser de pequena durao, problemas onde altas taxas de
mudana de temperatura ou fluxo de calor ou temperaturas extremamente baixas (aproximando-se do
zero absoluto)
Ex.1: Equao da onda de primeira ordem

0
x
u
t
u
c
1
=

, 0 c > (VII.6)

Ex.2: Equao da onda de segunda ordem

2
2
2
2
2
x
u
t
u
c
1

, 0 c > (VII.7)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


57

Ex.3: Conduo de calor hiperblica

2
2
2
2
x
T
t
T
t
T

,
2
c = (VII.8)

Ex.4: Equao de Euler (Escoamento inviscido)

x
p 1
F
y
u
v
x
u
u
t
u
x

(VII.9.a)

y
p 1
F
y
v
v
x
v
u
t
v
y

(VII.9.b)

Em muitas aplicaes, os processos fsicos so governados por um sistema de equaes que so
obtidas de uma simples equao. Para que estas equaes possam ser resolvidas numericamente, elas so
freqentemente escritas em uma forma compacta vetorial. Nestas situaes, a EDP de ordem maior pode
ser convertida num sistema de primeira ordem. Um exemplo disto pode ser visto pela equao da onda

0
x
u
c
t
u
2
2
2
2
2
=

(VII.10)

fazendo-se uma mudana de varivel da forma abaixo teremos,

t
u
u
1

= e
x
u
u
2

= (VII.11.a, b)

0
x
u
~
] A [
t
u
~
0
x
u
c
t
u
0
x
u
c
t
u
1 2
2 1
=

(VII.12)

onde,

(

=
2
1
u
u
u
~
e
(

=
0 c
c 0
A (VII.13)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


58

Desta forma, se os autovalores da matriz dos coeficientes A so reais e distintos o sistema
hiperblico. Ento

0 c 0 ]} I [ - det{[A]
2 2
= = (VII.14)

c
1
= e c
2
= (VII.15)


b) PDEs Parablicas
Problemas de conduo de calor em regime transiente e conduo-conveca so casos tpicos
onde as equaes so parablicas.

Ex.1: - Conduo de calor transiente

|

\
|

x
T
k
x t
T
C
p
(VII.16)

Ex.2: - Conduo-Conveco transiente

|
|

\
|

y
T
k
y x
T
) g ( u
t
T
C
p
(VII.17)


c) PDEs Elpticas
O caso elptico ocorre quando 0 ac 4 b
2
< . Em geral problemas de difuso em estado
estacionrio, difuso conveco e muitos problemas de escoamento de fluidos so governados por
PDEs elpticas.

Ex.1: - Exemplo de problemas elpticos

0 S
y y x x
= +
|
|

\
|

+ |

\
|

(VII.18.a)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


59
( ) ( ) S
y y x x
v
y
u
x
+
|
|

\
|

+ |

\
|

(VII.18.b)
VII.5 Classificao Matemtica de Sistemas de Equaes

Seja o seguinte sistema de equaes dado

1 y 2 y 2 x 1 x 1
f v b u a v b u a = + + + (VII.19.a)

2 y 2 y 2 x 1 x 1
f v b

u a v b

u a = + + + (VII.19.b)

este sistema pode ser escrito em uma forma mais compacta dada a seguir,

F
~
y
W
~
C

x
W
~
A
~
=

(VII.20)

onde

(
(

=
1 1
1 1
b

a
b a
A
~
,
(
(

=
2 2
2 2
b

a
b a
C
~
,
(

=
v
u
W
~
,
(

=
2
1
f
f
F
~
(VII.21)

este sistema pode ser classificado matematicamente da seguinte forma, seja

) b a b

a ( ) b a b

a (
b

a
b a
b

a
b a
B
1 2 1 2 2 1 2 1
1 2
2 2
2 1
2 1
+ = + = (VII.22)

e

| C
~
|| A
~
| 4 B D
2
= (VII.23)

ento podemos ter a seguinte classificao para o sistema dado pelas eqs. (VII.19)

< 0 D Sistema elptico (VII.24)

= 0 D Sistema parablico (VII.25)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


60

> 0 D Sistema hiperblico (VII.26)

CAPTULO VIII
DIFERENAS FINITAS

VIII.1 Introduo

Vimos os conceitos bsicos e as tcnicas necessrias na formao de diferenas finitas de uma
determinada derivada. De maneira geral dois enfoques so bastante utilizados para discretizar as
derivadas parciais em uma PDE, so eles.
i) O uso de expanses em sries de Taylor, visto no captulo II;
ii) O uso de volume de controle.
Um dos primeiros passos para o estabelecimento de um esquema de diferenas finitas para
solucionar uma PDE substituir o domnio continuo do problema por uma malha de diferenas finitas.
Aqui para estabelecer as representaes de diferenas derivadas se utilizou basicamente o uso de
expanses em sries de Taylor.


VIII.2 Representao de Diferenas de Derivadas Parciais

Estabelecendo-se uma malha no domnio, da forma e adotando a seguinte notao:

) y , x x ( u u
0 0 j , 1 i
+ =
+
(VIII.1.a)

) y y , x ( u u
0 0 1 j , i
+ =
+
(VIII.1.b)

) y , x x ( u u
0 0 j , 1 i
=

(VIII.1.c)

) y y , x x ( u u
0 0 1 j , 1 i
+ + =
+ +
(VIII.1.d)

e usando expanses em sries de Taylor temos as seguintes aproximaes de diferenas para derivadas



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


61
parciais:

) x ( O
x
u u
x
u
1 , i j , 1 i
j , i
+

= |

+
(VIII.2.a)

) x ( O
x
u u
x
u
1 , 1 i j , i
j , i
+

= |


(VIII.2.b)

) x ( O
x 2
u u 2 u 2 u
x
u
2
3
j , 2 i j , 1 i j , 1 i j , 2 i
j , i
3
3
+

+
=
|
|

+ +
(VIII.2.c)

) x ( O
x
u u 4 u 6 u 4 u
x
u
2
4
j , 2 i j , 1 i j , i j , 1 i j , 2 i
j , i
4
4
+

+ +
=
|
|

+ +
(VIII.2.d)

) x ( O
x
u 2 u 5 u 2 u
x
u
2
2
j , i j , 1 i j , 2 i j , 3 i
j , i
2
2
+

+
=
|
|

+ + +
(VIII.2.e)

) x ( O
x 2
u 5 u 18 u 24 u 14 u 3
x
u
2
3
j , i j , 1 i j , 2 i j , 3 i j , 4 i
j , i
3
3
+

+ +
=
|
|

+ + + +
(VIII.2.f)

) x ( O
x
u u 4 u 5 u 2
x
u
2
2
j , 3 i j , 2 i j , 1 i j , i
j , i
2
2
+

+
=
|
|


(VIII.2.g)

) x ( O
x 2
u 3 u 14 u 24 u 18 u 5
x
u
2
3
j , 4 i j , 3 i j , 2 i j , 1 i j , i
j , i
3
3
+

+ +
=
|
|


(VIII.2.h)

) x ( O
x 12
u u 8 u 8 u
x
u
4 j , i
j , 2 i j , 1 i j , 1 i j , 2 i
j , i
+

+ +
= |

+ +
(VIII.2.i)

) x ( O
x 12
u u 16 u 30 u 16 u
x
u
4
2
j , 2 i j , 1 i j , i j , 1 i j , 2 i
j , i
2
2
+

+ +
=
|
|

+ +
(VIII.2.j)

) y , x ( O
y
u u
y
u u
x
1
y x
u
1 j , i j , i 1 j , 1 i j , 1 i
j , i
2
+
|
|

\
|

=
|
|

+ +
(VIII.2.k)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


62
) y , x ( O
y
u u
y
u u
x
1
y x
u
j , 1 i 1 j , 1 i j , i 1 j , i
j , i
2
+
|
|

\
|

=
|
|

+ +
(VIII.2.l)

) y , x ( O
y
u u
y
u u
x
1
y x
u
1 j , 1 i j , 1 i 1 j , i j , i
j , i
2
+
|
|

\
|

=
|
|


(VIII.2.m)

) y , x ( O
y
u u
y
u u
x
1
y x
u
j , i 1 j , i j , 1 i 1 j , 1 i
j , i
2
+
|
|

\
|

=
|
|

+ + + +
(VIII.2.n)

[ ]
2
1 j , i 1 j , i 1 j , 1 i 1 j , 1 i
j , i
2
) y ( , x O
y 2
u u
y 2
u u
x
1
y x
u
+
|
|

\
|

=
|
|

+ + + +
(VIII.2.o)

[ ]
2
1 j , 1 i 1 j , 1 i 1 j , i 1 j , i
j , i
2
) y ( , x O
y 2
u u
y 2
u u
x
1
y x
u
+
|
|

\
|

=
|
|

+ +
(VIII.2.p)

[ ]
2 2
1 j , 1 i 1 j , 1 i 1 j , 1 i 1 j , 1 i
j , i
2
) y ( , ) x ( O
y 2
u u
y 2
u u
x 2
1
y x
u
+
|
|

\
|

=
|
|

+ + + +
(VIII.2.q)

[ ] y , ) x ( O
y
u u
y
u u
x 2
1
y x
u
2
j , 1 i 1 j , 1 i j , 1 i 1 j , 1 i
j , i
2
+
|
|

\
|

=
|
|

+ + + +
(VIII.2.r)

[ ] y , ) x ( O
y
u u
y
u u
x 2
1
y x
u
2
1 j , 1 i j , 1 i j , 1 i j , 1 i
j , i
2
+
|
|

\
|

=
|
|

+ +
(VIII.2.s)


VIII.3 Representao de Diferenas de PDE

Para exemplificar, vamos tomar a equao de conduo de calor unidimensional transiente

2
2
x
u
t
u

(VIII.3)

vamos aproximar a derivada temporal pela frmula de diferenas avanada e derivada espacial pela
frmula de diferenas central,



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


63

t
u u
t
u
n
i
1 n
i

+
,
2
n
1 i
n
i
n
1 i
2
2
x
u u 2 u
x
u

+
=

+
(VIII.4)

assim a eq. (VIII.3) pode ser expressa por

( )
( )
(
(


|
|

|
|

+ +

+
+
+
12
x
x
u
2
t
t
u
u u 2 u
) x (
t
u u
x
u
t
u
2
j , n
4
4
j , n
2
2
n
1 i
n
i
n
1 i
2
n
i
1 n
1 i
2
2

(VIII.5)

Este esquema chamado de simples explicito, e o erro de truncamento (TE) da ordem de:

= FDE PDE TE ( ) ] ) x [( O ) t ( O
2
+ (VIII.6)

onde PDE a equao diferencial parcial e FDE a equao de diferenas finitas


VIII. 4 Propriedades dos Esquemas de Diferenas Finitas

Um determinado esquema de diferenas para no levar a uma soluo aproximada confivel deve
obedecer trs propriedades bsicas: Consistncia; Estabilidade e Convergncia.

a) Consistncia:
Para um esquema de diferenas ser consistente a representao de diferenas (a FDE) da PDE
deve tender para a PDE quando se refina a malha, i. e.

0 TE Lim ) FDE PDE ( Lim
0 # 0 #
= =

(VIII.7)

em outras palavras o erro de truncamento deve tender para zero.


b) Estabilidade:



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


64
A estabilidade est associado a problemas de valor inicial (Hiperblicos. e Parablicos). Em
solues numricas por diferenas finitas, erros so acumulados durante os clculos. Ento, a soluo
estvel se os erros no so amplificados durante os clculos numricos de passo para outro.

c) Convergncia:
Um mtodo convergente se sua soluo numrica tende para a soluo analtica, (i.e.,
convergncia: Soluo Numrica Soluo Analtica). De maneira geral para problemas lineares todo
esquema de diferenas Consistente e Estvel convergente, este o teorema da equivalncia de Lax
(Andersson et. al., 1989).


VIII. 4 Erros Envolvidos em Solues Numricas de PDE's

Basicamente os errors envolvidos na soluo numrica de uma PDE so: Erro de
Arredondamento (Round-off-error); de Discretizao e de Truncamento.
O erro de arredondamento se devem ao fato de os clculos raramente serem feitos com aritmtica
exata (acurcia finita). O erro de discretizao o erro na soluo de uma PDE causada pela mudana de
um problema contnuo por um discreto Se chamarmos de D a soluo exata de PDE (isto seria possvel
em um computador com acurcia infinita), N a soluo numrica com acurcia finita e A a sua
respectiva soluo analtica. Ento, podemos definir os erros de arredondamento (E
A
) e de discretizao
(E
D
) como:

E
A
= N D (VIII.8)

E
D
= A D (VIII.9)

O erro de truncamento se deve ao truncamento da srie e sua ordem de grandeza depende do
tamanho da malha, de maneira geral quanto menor o tamanho da malha menor o erro de truncamento
(TE).



VIII.5 Anlise da Estabilidade de Fourier ou Von Newmann



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


65

Uma determinada aproximao de uma PDE por diferenas finitas pode ser consistente porm a
soluo no necessariamente convergir para a soluo da PDE. Pelo teorema da equivalncia de Lax
temos que um esquema numrico estvel pode ser usado. Para estudar o problema da estabilidade vamos
considere a equao de difuso

2
2
x
u
t
u

(VIII.10)

Aplicando um esquema simples explcito na PDE acima resulta

) u u 2 u (
) x ( t
u u
n
1 i
n
i
n
1 i
2
n
i
1 n
i
+
+
+

(VIII.11)

Se admitirmos que o erro na soluo numrica devido a arredondamentos (E
A
= ). A soluo
numrica pode ser dada por:

N = D + , u
N
= u
D
+ (VIII.12)

Se a equao (VIII.12) satisfaz o esquema (VIII.11) logo:

) 2 (
) x (
) D D 2 D (
) x (
t t
D D
n
1 i
n
i
n
1 i
2
n
1 i
n
i
n
1 i
2
n
i
1 n
i
n
i
1 n
i
+ +
+ +
+

+ +

(VIII.13)

Visto que D deve satisfazer a equao de diferenas, da mesma forma verdade par o errro, i. e.,

) 2 (
) x (
t
n
1 i
n
i
n
1 i
2
n
i
1 n
i
+
+
+


(VIII.14.a)

ou

) 2 (
n
1 i
n
i
n
1 i
n
i
1 n
i +
+
+ = (VIII.14.b)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


66
onde
2
) x (
t


= o nmero de Fourier de malha.
Assumindo-se que o erro (x, t) possa ser escrito na forma de uma srie,

=
m
x
m
ik
m
e ) t ( b ) t , x ( (VIII.15)

onde
L
m
k
m

= o nmero de onda para m = 0, 1, 2, ..., M e M o nmero de intervalos x em L.
Para examinar a propagao dos erros com o aumento do tempo basta considerarmos um simples
termo na srie, devidos as equao de diferenas ser linear. Com estas consideraes para examinar a
propagao do erro temos:

x
m
ik at x
m
ik t an
m
e e e e ) t , x ( = =

(VIII.16)

Substituindo (VII.16) em (VIII.14.b) teremos:

) e 2 e ( 1 e
x
m
ik ) x
m
ik t a
+ = (VIII.17)

utilizando as relaes em (VIII.17)

2
e e
Cos
i i
+
= ; x k
m
= (VIII.18)

resulta

) 2 Cos 2 ( 1 e
t a
+ =

(VIII.19)

e com

) Cos 1 (
2
1
2
Sen
2
= |

\
|
(VIII.20)

teremos:



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


67

|

\
|
=

2
Sen 4 1 e
2 t a
(VIII.21)

Definindo o fator de amplificao do erro (G) da forma
t a
x
m
ik at
x
m
ik ) t t ( a
n
i
1 n
i
e
e e
e e
G

+ +
= =

= (VIII.22)

e para que o esquema seja estvel o fator de amplificao deve ser menor que a unidade, logo utilizando
a eq. (VIII.21) teremos:

1 ) 2 ( Sen 4 1 1 G
2
< < (Estvel) (VIII.23.a)

1 ) 2 ( Sen 4 1 1 G
2
> > (Instvel) (VIII.23.b)

Usando a eq. (VIII.23.a) possvel determinar para que faixa do parmetro o esquema simples
explcito da equao da difuso estvel, i. e.,

2
1
Condio de Estabilidade (VIII.24)

Anlise de estabilidade para a equao da onda

x
u
c
t
u

(VIII.25)

usando o esquema de Lax, mostrado a baixo,

) u u (
2 2
u u
u
n
1 i
n
1 i
n
1 i
n
1 i 1 n
i +
+ +

+
= (VIII.26)

onde
x
t
c

= o nmero de Courant de Malha.


Procedendo de maneira semelhante a anterior temos que o esquema de Lax estvel se:




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


68
1 | | (VIII.27)










CAPTULO IX
ESQUEMAS DE DIFERENAS FINITAS SOLUO DE PDE's

IX.1 Introduo

Ao longos das trs ltimas dcadas muitos esquemas numricos, para a busca de solues de
diversos problemas de engenharia modelados por PDE's, foram desenvolvidos. No entanto, o usurio
deve ter o bom senso de escolher um determinado esquema. Para que o leitor tenha uma viso geral dos
mtodos pioneiros e eficazes na soluo de PDE's mostrado uma compilao dos principais mtodos
para PDE's hiperblicas, parablicas e elpticas.

IX.2 Eques hiperblicas

IX.2.1 Equao da Onda

) u u (
3
1
) u u (
2
1
u
n
i
n
1 i
n
i
n
1 i
) 1 (
2 1 i
+ + =
+ +
+
, 0 C > (IX.1.a)

) x ( F ) 0 , x ( u = < < x (IX.1.b)

onde a soluo exata de (IX.1) dada por




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


69
) Ct x ( F ) t , x ( u = (IX.2)

a) Mtodos Explcito de Euler

0
x
u u
C
t
u u
n
i
n
1 i
n
i
1 n
i
=

+
+
, ) x , t ( O (IX.3.a)

0
x 2
u u
C
t
u u
n
1 i
n
1 i
n
i
1 n
i
=

+
+
, ) x , t ( O
2
(IX.3.b)

Aplicando a anlise da estabilidade de Fourier (Von Neumann) conclui-se que esses esquemas
so incondicionalmente instveis. Logo estes esquemas no servem para a soluo da equao da onda.

b) Mtodo de Diferenas Finitas Upstream (Windward)
O esquema (IX.3.a) vem ser estvel se trocarmos a diferena avanada de
x
u

por uma diferena


atrasada, logo

0
x
u u
C
t
u u
n
1 i
n
i
u
i
1 n
i
=

+

, ) x , t ( O (IX.4)

este esquema estvel para 1 0 x / t C =


c) O Mtodo de Lax
A equao (IX.3.b) de mtodo de Euler pode ser estvel se trocarmos
n
i
u por uma mdia
2 ) u u ( u
n
1 i
n
1 i
n
i +
+ = . Ento, teremos:

0
x 2
u u
C
t
2 ) u u ( u
n
1 i
n
i
n
1 i
n
1 i
1 n
i
=

+
+
+
+

, ) t x , t ( O
2
(IX.5)

este esquema estvel para 1 | | .





UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


70
d) O Mtodo Implcito de Euler

0 ) u u (
x 2
C
t
u u
1 n
1 i
1 n
1 i
n
i
1 n
i
=

+
+
+
, ) x , t ( O
2
(IX.6.a)

Este esquema incondicionalmente estvel ara qualquer passo de tempo, e pode ser escrito em
uma forma mais compacta

n
i
1 n
1 i
1 n
i
1 n
1 i
u u
2
u ) 1 ( u
2
=

+ +
+
(IX.6.b)

ou
(
(
(
(
(
(

=
(
(
(
(
(
(

(
(
(
(
(
(

+
+

M
1
1 n
M
1 n
1
M M
1 M 1 M 1 M
3 3 3
2 2 2
1 1
C
C
u
u
d b 0 0
a d b 0
0 a d b 0
a d b
0 0 a d
M
M
L
M
M
L
(IX.6.b)


e) O mtodo de Lax-Wendroff
Este mtodo pode ser derivado atravs de uma expanso em srie de Taylor da seguinte forma,

) t ( O u ) t (
2
1
tu u u
3 2 n
i
1 n
i
+ + + =

+
(IX.7)

usando-se as equaes da onda

xx
Cu u =

e
xx
2
tt
u C u = (IX.8.a, b)

teremos

) t ( O u ) t ( C
2
1
tu C u u
3
xx
2 2
x
n
i
1 n
i
+ + =
+
(IX.9)

usando-se as seguintes aproximao de diferenas para as derivadas no espao,



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


71

x 2
u u
u
n
1 i
n
1 i
x

+

,
2
n
1 i
n
i
n
1 i
xx
x
) u u 2 u (
u

+

(IX.10.a, b)

resulta o seguinte esquema

) u u 2 u (
x 2
t C
) u u (
x 2
t C
u u
n
1 i
n
i
n
1 i
2
2 2
n
1 i
n
1 i
n
i
1 n
i + +
+
+ + =

(IX.11)

Este mtodo explcito possui acurcia de 2
a
ordem e TE ) ) t ( , x ( O
2 2
e estvel sempre que
1 | | .
f) O Mtodo de Lax-Wendroff em Dois Passos

1
o
Passo: 0
x
u u
C
2 / t
2 ) u u ( u
n
i
n
1 i
n
i
n
1 i
2 1 n
2 1 i
=

+
+
+
+
+
+

(IX.12.a)

2
o
Passo: 0
x
u u
C
t
u u
2 1 n
2 1 i
2 1 n
2 1 i
n
i
1 n
i
=

+
+
+

(IX.12.b)

Este esquema possui acurcia de 2
a
ordem e TE ] t , x [ O
2 2
e estvel sempre que 1 | | .
Quando aplicado a equao da onda (linear), este mtodo equivalente ao esquema original de Lax-
Wendroff.


g) O Mtodo de MacCormack
Este mtodo uma variao do mtodo de Lax-Wendroff em dois passos, ele remove a
necessidade de clculo nos pontos i + e i . Este mtodo muito til para resolver PDEs no-
lineares. Quando aplicado equao da onda linear, temos o mtodo explcito preditor corretor.

Preditor: ) u u (
x 2
t C
u u
n
i
n
1 i
n
i
1 n
p
i
=
+
+

(IX.13.a)

Corretor:
)
`

+ =
+ + + +

) u u (
x 2
t C
u u
2
1
u
1 n
p
1 n
p
1 n
p
n
i
1 n
i
1 i i i

(IX.13.b)

Este esquema similar ao de Lax-Wendroff para a equao da onda linear



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


72


h) O Mtodo de Upwind (de Bean-Warming)
Este esquema uma variao do esquema de MacCormack onde usa a frmula de diferenas
atrasada no preditor - corretor.

Preditor: ) u u (
x 2
t C
u u
n
1 i
n
i
n
i
1 n
pi
+

= (IX.14.a)

Corretor:
(

+ =

+

+ + +
) u u 2 u (
x 2
t C
) u u (
x 2
t C
u u
2
1
u
n
2 i
n
1 i
n
i
1 n
1 pi
1 n
pi
1 n
pi
n
i
1 n
i
(IX.14.b)

Este esquema de 2
a
ordem com TE ] x , x t , x [ O
2 2
. Se (IX.14.a) substitudo em (IX.14.b)
temos:

) u u 2 u )( 1 (
2
1
) u u ( u u
n
2 i
n
1 i
n
i
n
1 i
n
i
n
i
1 n
i
+
+ + = (IX.14.c)

Este mtodo estvel para 2 0 .


i) Mtodo Implcito Centrado no Tempo
Este mtodo obtido por duas expanses em srie de Taylor

L +

+ =
+ n
i ttt
3
n
i tt
2
n
i t
n
i
1 n
i
) u (
6
t
) u (
2
t
) u ( t u u (IX.15.a)

L +

+ =
+ + + + 1 n
i ttt
3
1 n
i tt
2
1 n
i t
1 n
i
n
i
) u (
6
t
) u (
2
t
) u ( t u u (IX.15.b)

Subtraindo estas equaes, e usando

L + + =
+ n
i ttt
n
i tt
1 n
i tt
) u ( t ) u ( ) u ( (IX.15.c)

resulta




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


73
[ ] ) t ( O ) u ( ) u (
2
t
u u
3
i
1 n
t
n
t
n
i
1 n
i

+ + + =
+ +
(IX.16)

mas da equao da onda,
x t
Cu u = e da frmula de diferenas central,
x 2
u u
u
1 i 1 i
x

=
+
, teremos o
seguinte esquema:

) u u u u (
x 2
t C
u u
n
1 i
1 n
1 i
n
1 i
1 n
1 i
n
i
1 n
i
+
+
+
+
+
+

= (IX.17)

Este mtodo de 2
a
ordem e possui TE ] t , x [ O
2 2
e incondicionalmente estvel para
qualquer t .

j) O Mtodo de Rusanov (Burstein-Mirin)

1
o
Passo: ) u u (
3
1
) u u (
2
1
u
n
i
n
1 i
n
i
n
1 i
) 1 (
2 1 i
+ + =
+ +
+
(IX.18.a)

2
o
Passo: ) u u (
3
2
u u
) 1 (
2 1 i
) 1 (
2 1 i
n
i
) 2 (
i +
= (IX.18.b)

3
o
Passo : + + + =
+ + +
+
) u u (
8
3
) u 2 u 7 u 7 u 2 (
24
1
u u
) 2 (
1 i
) 2 (
1 i
n
2 i
n
1 i
n
1 i
n
2 i
n
i
1 n
i

) u u 4 u 6 u 4 u (
24
n
2 i
n
1 i
n
i
n
1 i
n
2 1 + +
+ +

(IX.18.c)

o critrio de estabilidade deste esquema dado por: 1 | | e 3 4
4 2



IX.3 Eques Parablicas

IX.3.1 Equao da Conduo de Calor

Seja o seguinte problema de transferncia de calor, dado pelas equaes abaixo




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


74

= =
=
< <

0 ) t , 1 ( T ) t , 0 ( T
1 x 0 ) x ( f ) 0 , x ( T
1 x 0
x
T
t
T
2
2
(IX.19)

onde a soluo exata deste problema dada por:

=

=
1 i
t
2 2
n
i
e ) x n sen( A ) t , x ( T (IX.20.a)

=
1
0
i
dx ) x n sen( ) x ( f 2 A (IX.20.a)

a) Mtodo Simples Explcito

2
n
1 i
n
i
n
1 i
n
i
1 n
i
) x (
T T 2 T
t
T T

+
=

+
+
; ] x , t [ O
2
(IX.21)

Este mtodo estvel para
2
1
0 , com
2
x
t


= .


b) O Mtodo de Richardson

2
n
1 i
n
i
n
1 i
1 n
i
1 n
i
x
T T 2 T
t 2
T T

+
=

+
+
; ] x , t [ O
2 2
(IX.22)

Este mtodo incondicionalmente instvel, logo no serve para resolver a equao de conduo de
calor.


c) O Mtodo Simples Implcito (Laasonen)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


75
2
1 n
1 i
1 n
i
1 n
1 i
n
i
1 n
i
) x (
T T 2 T
t
T T

+
=

+ +
+
+
, ] x , t [ O
2
(IX.23)

fazendo-se
n
1 i
n
i
n
1 i
n
i
2
x
u u 2 u u
+
+ = , a eq. (IX.23) pode ser escrita como:

1 n
i
2
n
i
1 n
i
T
x t
T T
+
+

(IX.24)

este mtodo estvel para 2 1 0 .


d) O Mtodo de Crank-Nicolson

2
1 n
i x
n
i x
n
i
1 n
i
x
T T
2 t
T T

+
=

+ +
; ] x , t [ O
2 2
(IX.25)

este mtodo incondicionalmente instvel.
e) O Mtodo Combinado A

2
n
i
2
x
1 n
i
2
x
n
i
1 n
i
x
T ) f 1 ( T f
t
T T

+
=

+ +
(IX.26)

onde f uma constante 1 f 0

e.1) 0 f = Mtodo Simples Explcito
e.2) 1 f = Mtodo Simples Implcito
e.3) 2 1 f = Mtodo de Crank-Nicolson
e.4)
t 12
x
2
1
f
2

= ] x , t [ O TE
4 2
=
e.5)
t 12
x
2
1
f
2

= e 20
t
x
2
=

] x , t [ O TE
6 2
=

O presente mtodo incondicionalmente estvel se 1 f 2 1 . No entanto, quando 2 1 f 0
o mtodo estvel somente se
f 4 2
1
0

.




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


76

f) O Mtodo Combinado B

( )
2
1 n
i
2
x
1 n
i
n
i
n
i
1 n
i
) x (
T
t
T T
f
t
T T
f 1


+ +
=

+ (IX.27)

f.1) 0 f = Mtodo Simples Implcito
f.2) 2 1 f = ] x , t [ O TE
2 2
=
f.3)
t 12
x
2
1
f
2

+ = ] x , t [ O TE
4 2
=


g) O Mtodo de Dufort-Frankel
O Mtodo instvel de Richardson pode se tornar estvel se 2 ) u u ( u
1 n
i
1 n
i
n
i
+
+ = , logo teremos:

2
n
1 i
1 n
i
1 n
i
n
1 i
1 n
i
1 n
i
) x (
T T T T
t 2
T T

+ +
+
+
(IX.28.a)

ou

) T T T ( 2 T ) 2 1 ( T
n
1 i
1 n
i
n
1 i
1 n
i
1 n
i

+
+
+ + = + (IX.28.b)


h) Mtodos Para Equao da Conduo de Calor em Duas Dimenses

|
|

\
|

2
2
2
2
y
T
x
T
t
T
(IX.29)


h.1) O mtodo simples explcito
Aplicando o mtodo simples explcito temos:

(
(

+
+

+
=

+ +
+
2
n
1 j , i
n
j , i
n
1 j , i
2
n
j , 1 i
n
j , i
n
j , 1 i
n
j , i
1 n
j , i
) y (
u u 2 u
x
u u 2 u
t
u u
(IX.30)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


77

onde a condio de estabilidade

2
1
y
1
x
1
t
2 2

(
(

(IX.31)

e se
4
1
y x = . Podemos observar que o critrio de estabilidade se restringiu pela metade para
um problema em duas dimenses.


h.2) O mtodo de Crank-Nicolson
Quando se aplica o mtodo de Crank-Nicolson se obtm:

) u u )(

(
2 t
u u
n
j , i
1 n
j , i
2
y
2
x
n
j , i
1 n
j , i
+ +

+
+
(IX.32.a)

onde

2
n
j , 1 i
n
j , i
n
j , 1 i
n
x
2
x
) x (
u u 2 u
u

+
=
+
,
2
n
1 j , i
n
j , i
n
1 j , i
n
y
2
y
) y (
u u 2 u
u

+
=
+
(IX.32.b, c)

este sistema incondicionalmente estvel. Rescrevendo o sistema temos:

n
j , i
1 n
1 j , i
1 n
j , 1 i
1 n
j , i
1 n
j , 1 i
1 n
1 j , i
d au bu cu bu au = + + + +
+
+
+
+
+ +

(IX.33)

onde,
y
2
2
1
) y ( 2 t a = = ,
x
2
2
1
) x ( 2 t b = = ,
y x
1 c + + = ; e
n
j , i
2
y
2
x
n
j , i
n
j , i
u )

(
2
t
u d +

+ =
Uma observao importante que o sistema deixa de ser tridiagonal.


h.3) O mtodo ADI (Direo Implcita Alternada)
Alternando-se as direes onde se aplica o esquema implcito podemos escrever,



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


78

h.3.1) ) u

(
2 t
u u
n
j , i
2
y
2 1 n
j , i
2
x
n
j , i
2 1 n
j , i
+ =

+
+
(IX.34.a)
h.3.2) ) u

(
2 t
u u
1 n
j , i
2
y
2 1 n
j , i
2
x
2 1 n
j , i
1 n
j , i
+ +
+ +
+ =

(IX.34.a)

Este esquema incondicionalmente estvel com acurcia ] ) y ( , ) x ( , ) t [( O
2 2 2



IX.4 Eques Elpticas

Os processos fsicos tais como difuso de calor ou massa, em estado estacionrio, com ou sem
fontes no meio, escoamento irrotacional de um fluido compressvel e muito outros so modelados com
equaes elpticas. Por exemplo a equao de Laplace, a equao de Burguers etc..


IX.4.1 Equo de Laplace

0
y
u
x
u
2
2
2
2
=

(IX.35)


a) Frmula de Cinco Pontos

0
y
u u 2 u
x
u u 2 u
2
1 j , i j , i 1 j , i
2
j , 1 i j , i j , 1 i
=

+
+

+
+ +
(IX.36)

b) Frmula de Nove Pontos

+ +
+

+ + +
+ + + + +
) u u (
k h
k 5 h
2 u u u u
j , 1 i j , 1 i
2 2
2 2
1 j , 1 i 1 j , 1 i 1 j , 1 i 1 j , 1 i

0 u 20 ) u u (
k h
k h 5
2
j , i 1 j , i 1 j , i
2 2
2 2
= +
+

+
+
(IV.37)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


79



IX.5 Equo de Burguers

Partindo-se da equao de Burgers para um escoamento viscoso

2
2
y
u
x
u
u
t
u

, (Parablico) (IX.38)

desprezando-se o termo difusivo resulta uma equao hiperblica

0
x
u
u
t
u
=

(IX.39)

escrevendo (IX.39) da seguinte forma

0
x
F
~
t
u
=

(IX.40)

se u e F(u) so vetores podemos escrever (IX.40) como

0
x
u
A
t
u
=

(IX.41)

onde a matriz jacobiana dada por:

j
i
u
F
A

= (IX.42)


a) O Mtodo de Lax

L + |

\
|

+ = +
t , x
t
u
t ) t ; x ( u ) t t , x ( u (IX.43.a)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


80

L + |

\
|

+ = +
t , x
t
F
t ) t , x ( u ) t t , x ( u (IX.43.b)

[ ] x 2 ) t , x x ( u ) t , x x ( u ) t , x ( u + + = (IX.43.c)
x 2 ) F F (
x
F
n
1 i
n
1 i
=

+
(IX.43.d)

2
F F
x
t
2
u u
u
n
1 i
n
1 i
n
1 i
n
1 i 1 n
i
+ + +

+
= (IX.43.e)

este esquema apresenta um carter dissipativo (pouco usada).
Na equao de Burguers 2 u F
2
= e 1 u
x
t
max

o critrio de estabilidade.


Figura IX. 1 - Carter dissipativo da soluo


b) O Mtodo de Lax-Wendroff

|

\
|

x
F
A
x
t
u
x
F
t
u
2
2
;
u
F
A

= (IX.44)

[ ] ) F F ( A ) F F ( A
x
t
2
1
2
F F
x
t
u u
n
1 i
n
i
n
2 1 i
n
i
n
1 i
n
2 1 i
2 n
1 i
n
1 i n
i
1 n
i

+
+
+ +

|

\
|

= (IX.45)

este mtodo apresenta tambm um carter dissipativo da soluo





UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


81
c) O Mtodo de MacCormak
uma verso do mtodo de Lax-Wendroff.

) F F (
x
t
u u
n
i
n
1 i
n
i
1 n
i

=
+
+
(IX.46)

)
`

+ =
+

+ + +
) F F (
x
t
u u
2
1
u
1 n
1 i
1 n
i
1 n
i
n
i
1 n
i
(IX.47)


d) O Mtodo de Rusanov

) F F (
x
t
3
1
) u u (
2
1
u
n
i
n
1 i
n
i
n
1 i
) 1 (
2 1 i

+ =
+ +
+
(IX.48.a)

) F F (
x
t
3
2
u u
) 1 (
2 1 i
) 1 (
2 1 i
n
i
) 2 (
i +

= (IX.48.b)

ou

+

+ + +

=
+
+
+
+
) F F (
x
t
8
3
) F 2 F 7 F 7 F 2 (
x
t
24
1
u u
) 2 (
1 i
) 2 (
1 i
n
2 i
n
1 i
n
1 i
n
2 1 i
n
i
1 n
i

) u u 4 u 6 u 4 u (
x
t
24
n
2 i
n
1 i
n
i
n
1 i
n
2 i + +
+ +


(IX.48.c)

onde o critrio de estabilidade dado por 1 u
x
t
max

= e 3 4
4 2



IX.6 Equao de Burgers (Esc. Viscoso)

A equao de burgers

2
2
x
u
x
u
u
t
u

(IX.49)



UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


82

uma PDE parablica, e pode ser escrita de forma geral como

2
2
x
u
x
u
) bu c (
t
u

+ +

(IX.50)



a) O mtodo FTCS (Forward-Time Centered-Space)
Para a equao de Burgers linearizada

2
n
1 i
n
i
n
1 i
n
1 i
n
1 i
n
i
1 n
i
) x (
u u 2 u
x
u u
c
t
u u

+
=

+ +
+
(IX.51)

este esquema possui erro de truncamento da ordem de ] ) x ( , t [ O
2
e a condio de estabilidade dada
por r 2
2
, onde x t c = e
2
x t r =
Em termos do nmero de Reynolds de malha, as restries de estabilidade so:

2 Re 2
x
(IX.52)

onde

=

x c Re
x
(IX.53)


Este esquema produz oscilaes na soluo para

2 Re 2
x
. As oscilaes deste mtodo podem ser
eliminadas se a diferena central no termo convectivo (cu
x
) for substituda:

Para 0 c >

2
n
1 i
n
i
n
1 i
n
1 i
n
i
n
i
1 n
i
x
u u 2 u
x
u u
c
t
u u

+
=

+
+
(IX.54)




UNIVERSIDADE FEDERAL DO PAR


INSTITUTO DE TECNOLOGIA

Profs. Claudio Blaco e Emanuel N. Macdo


83
Este esquema elimina as oscilaes adicionando dissipao na soluo. No entanto, a dissipao causa
que a soluo seja inacurada.

Para 0 c <

=
|
|

\
|

+ + +
+
x 6
u u 3 u 3 u
x 2
u u
c
t
u u
n
1 i
n
i
n
1 i
n
2 i
n
1 i
n
1 i
n
i
1 n
i
2
n
1 i
n
i
n
1 i
) x (
u u 2 u

+
(IX.55)