Soluo de Modelos Descritos por Equaes Diferenciais

Jos Paulo Mota Requimte/CQFB, Departamento de Qumica, Faculdade de Cincias e Tecnologia, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal e-mail:

pmota@dq.fct.unl.pt

Contedo
1 Classicao dos modelos processuais em Engenharia Qumica
1.1 1.2 Relativamente dependncia temporal das variveis: . . . . . . . . . . . . . . . Relativamente ao nmero de variveis independentes ou coordenadas: 1.2.1 Classicao e caracterizao das PDE's

2
2 2 2

. . . . . . . . . . . . . . .

2 Mtodos numricos para resoluo de PDE's

2.1 2.2 2.3 Mtodo das diferenas nitas . . . . . . . . . . . . . . . . . . . . . . . . . Mtodo dos volumes nitos . . . . . . . . . . . . . . . . . . . . . . . . . . . Mtodo dos resduos ponderados . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 2.3.2 2.3.3 2.3.4 2.3.5 2.3.6 Mtodo de colocao . . . . . . . . . . . . . . . . . . . . . . . . . .

3
6 11 16 19 20 21 21 22 22

Mtodo de sub-domnio . . . . . . . . . . . . . . . . . . . . . . . . . Mtodo de mnimos quadrados . . . . . . . . . . . . . . . . . . . . . Mtodo dos momentos . . . . . . . . . . . . . . . . . . . . . . . . .

Mtodo de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . . Mtodo de colocao ortogonal . . . . . . . . . . . . . . . . . . . .

3 Soluo de sistemas mistos de equaes diferenciais ordinrias e algbricas 26

1

1 Classicao dos modelos processuais em Engenharia Qumica

1.1 Relativamente dependncia temporal das variveis:

Modelos

estacionrios ;

se nenhuma das variveis dependentes do modelo varia

com o tempo. Neste caso, modelo composto por um sistema de equaes algbricas, que podem ser lineares, no lineares, ou mistas.

Modelos

instacionrios (ou de estado transiente) ;

se uma ou mais variveis

dependentes do modelo variam com o tempo. Este tipo de modelo constitudo por um sistema de equaes diferenciais ordinrias (ODE's)lineares, no lineares, ou mistasque pode ser complementado por um conjunto de equaes algbricas.

1.2 Relativamente ao nmero de variveis independentes ou coordenadas:

Modelos de

parmetros agregados ;

se as variveis do modelo so constantes ou

se s dependem da coordenada temporal. Neste caso, o modelo descrito por um sistema de equaes algbricas, por um sistema de equaes diferenciais ordinrias (ODE's), ou por um sistema misto.

Modelos

com parmetros distribudos ;

se as equaes envolvem uma ou mais

variveis independentes ou coordenadas (normalmente espaciais) para alm da coordenada temporal. Um modelo deste tipo regido por um sistema de equaes

diferenciais s derivadas parciais (PDE's).

1.2.1 Classicao e caracterizao das PDE's

A forma genrica de uma PDE linear de segunda ordem pode ser escrita da seguinte forma:

2z 2z 2z + Q + R = S. x2 xy y 2 z = z (x, y ); P, Q
e

(1)

Na eq. (1), a varivel dependente coordenadas) so

as variveis independentes (ou s podem depender de

y;

os coecientes

y,

enquanto que

pode depender de

x, y , z , z/x

z/y .

A PDE pode ser classicada de acordo com o sinal do seu determinante,

= Q2 4 P R.
A PDE

(2)

elptica

se

< 0; parablica

se

= 0;

hiperblica

se

> 0.

Seguem-se alguns exemplos tpicos de diferentes tipos de PDE's que podem ocorrer em problemas de Engenharia Qumica.

Segunda lei de Fick:

em que

C 2C =D 2, t x t
e posio

(3)

C (t, x)

a concentrao de um soluto (no instante

x)
e

sua difusividade molecular; esta PDE parablica porque

P = D, Q = 0

R = 0.

Lei de Newton para movimento ondulatrio:

2u 2u = , t2 x2
em que (4)

u(t, x)

a velocidade do udo (no instante

e posio e

x)

a sua

densidade; esta PDE hiperblica porque

P = 1, Q = 0

R = .

Equao de Laplace para conduo de calor:

2T 2T + = 0, x2 y 2
em que (5)

T (x, y )

um campo bidimensional de temperatura (x e

so duas coorde-

nadas cartesianas); esta PDE elptica porque

P = 1, Q = 0

R = 1.

2 Mtodos numricos para resoluo de PDE's

Os mtodos apresentados em seguida sero ilustrados com a resoluo numrica do problema estacionrio de difuso e reaco qumica de primeira ordem numa partcula de catalisador com forma de placa plana; a geometria do sistema est ilustrada na Fig. 1. O balano material diferencial ao reagente, em estado estacionrio, origina

De

d2 C kC = 0, dr2
3

(6)

em que

C (r)

a concentrao do reagente ao longo da placa de catalisador,

De

a difusi-

vidade efectiva do reagente na partcula de catalisador, e

a constante cintica (kC a

velocidade de reaco por unidade de volume do catalisador). O domnio do problema

{r : 0 r R}; r = 0

corresponde ao centro da placa e

r=R

corresponde superfcie

externa da placa que est em contacto com o udo externo; a concentrao do reagente no seio do udo externo

C0 .

A eq. (6) uma PDE de segunda ordem, estando por isso sujeita a duas condies fronteira, cada uma delas aplicvel num dos extremo do domnio. fronteira so as seguintes: As duas condies

dC =0 dr C = C0

para para

r = 0; r = R. C (r) = C (r),

(7) (8)

A primeira condio uma condio de simetria, porque

que impe a

ausncia de uxo material no centro da placa de catalisador (como o reagente se desloca por difuso, o seu uxo

J = DC/r); a segunda condio corresponde a uma situao

de uxo convectivo elevado junto superfcie da partcula de catalisador, o que faz com que a concentrao do reagente nesse ponto seja sempre igual concentrao do udo em torno da partcula. Por uma questo de convenincia, procede-se adimensionalizao da equao. Para

C0

no seio

Figura 1: Difuso e reaco qumica numa placa plana de catalisador.

isso, introduz-se as seguintes variveis adimensionais:

y = C/C0 ;
A varivel

x = r/R. x
passa a ser a varivel

passa a ser a varivel dependente adimensional e

independente (ou coordenada) adimensional; o domnio do problema passa a ser

{x : 0

x 1}.
Fazendo estas substituies no balano diferencial e nas condies fronteira obtm-se

d2 y 2 y = 0, dx2 dy =0 dx y=1
Na eq. (9), o parmetro para para

(9)

x = 0; x = 1.

(10) (11)

= (kR2 /De )1/2

denominado

mdulo de Thiele ; este parmetro

Quando

mede a razo entre a velocidade da reaco e o uxo difusional. (k

grande

De /R2 ),

a converso do reagente controlada pelo uxo difusional do reagente

junto parede do catalisador; quando

pequeno (k De /R2 ), a converso do reagente

controlada pela cintica da reaco qumica. A quantidade que nos interessa a velocidade aparente, ou efectiva, da reaco:

(kC )e =
O integral adimensional,

1 1 k R kC dV = C (r) dr = kC0 y (x) dx, V V R 0 0

(12)

=
0
denominado

y (x) dx,

(13)

factor de ecincia ;

introduzindo este factor na expresso da velocidade

aparente da reaco obtm-se

(kC )e = kC0

ou

(kC )e . kC0

(14)

Convm lembrar que existe uma expresso alternativa para o clculo de deste parmetro e da eq. (9) obtm-se

; Da denio

1 0

1 dy = 2 dx

( ) 1 1 2 1 1 d2 y 1 x=1 dy y (x) dx = 2 y (x) dx = 2 dx = 2 d 0 0 dx2 x=0 dx ]x=1

x=0

1 = 2

dy dx

.
x=1

(15)

A soluo analtica da eq. (9), sujeita s condies fronteira das eqs. (10) e (11),

y ( x) =

cosh(x) , cosh()
( )

(16)

o que permite calcular o factor de ecincia:

1 0

1 y (x) dx = 2

dy dx

=
x=1

tanh() .

(17)

2.1 Mtodo das diferenas nitas

Este mtodo consiste na substituio das variveis dependentes, que so contnuas, por variveis discretas; em vez de se determinar uma soluo contnua em todo o domnio do problema, determina-se uma soluo discreta, que consiste nos valores das variveis dependentes em determinados pontos do domnio. Considere-se a expanso em srie de Taylor de uma funo ponto

y (x + x)

em torno do

x: y (x + x) = y (x) + dy (x) 1 d2 y (x) x + (x)2 + O(x3 ). dx 2 dx2 (x)3

(18)

A notao

O(x3 )

signica que a srie contnua indenidamente, mas que a soma dos [para ser mais preciso, e se se lembrarem desconhecido, mas sabe-se que

termos no explicitados proporcionl a de AM I, o termo correcto

(1/6)(x)3 (d3 y/dx3 )x= ;

(x, x + x)].
Se os termos de ordem 2 e superior forem ignorados, obtm-se

dy (x) y (x + x) y (x) y (x + x) y (x) = + O(x) . dx x x

De forma semelhante, a expanso da funo

(19)

y (x x)

em torno de

origina

y (x x) = y (x)

1 d2 y (x) dy (x) x + (x)2 + O(x3 ). 2 dx 2 dx

(20)

Desta formula, obtm-se a seguinte aproximao:

y (x) y (x x) y (x) y (x x) dy (x) = + O(x) . dx x x

(21)

Subtraindo as eqs. (18) e (20) obtm-se uma aproximao alternativa da primeira derivada:

y (x + x) y (x x) y (x + x) y (x x) dy (x) = + O(x2 ) . dx 2x 2x
6

(22)

Esta aproximao mais precisa do que as aproximaes expressas nas eqs. (19) e (21), porque na eq. (22) o erro da aproximao proporcional a eqs. (19) e (21) ele proporcional a

(x)2

enquanto que nas

x.

Para obter uma aproximao da segunda derivada, adicionam-se as eqs. (19) e (21) e desprezam-se os termos de ordem superior a 2. A expresso assim obtida

d2 y (x) y (x x) 2y (x) + y (x + x) = + O(x2 ). 2 dx (x)2

Na prtica divide-se o domnio do problema,

(23)

{x : xL x xU }

, em

intervalos

uniformes, sendo o comprimento de cada um deles dado por

x =

xU xL . N x;

(24)

Indexam-se os pontos em funo do valor da coordenada como sendo o ponto com coordenada de pontos assim obtido

isto , dene-se o ponto

xL + i(x)

e chama-se a esse ponto

xi ;

o conjunto

xi = xL + i(x)
Desta forma,

para

i = 0, 1, 2, . . . , N.
etc.

(25)

x0 = xL , xN = xU , xi+1 = xL + (i + 1)x, xi1 = xL + (i 1)x, y

correspondente ao ponto

A varivel dependente

xi

denota-se

yi ,

isto ,

y (xi ) = yi .

Recorrendo s formulas anteriores, pode substituir-se, em cada ponto primeira e segunda ordem pelas seguintes aproximaes:

xi ,

as derivadas de

dy dx

yi+1 yi x
(

ou

yi yi1 x

ou

yi+1 yi1 ; 2x

(26)

d2 y dx2

yi1 2yi + yi+1 . (x)2

(27)

Com estas substituies, transforma-se a equao diferencial original num sistema de

equaes algbricas. Tem que se ter, no entanto, ateno com o tratamento das condies fronteira. Exempliquemos o mtodo com a sua aplicao resoluo numrica do problema de difuso e reaco qumica na pellet de catalisador. O domnio do problema

{x : 0

x 1};

portanto

xL = 0

x U = 1.

O conjunto de pontos de discretizao

xi = i(x)

para

i = 0, 1, 2, . . . , N ;

x = 1/N.

(28)

2 (x)2

+ 2

1 (x)2

2 (x)2 2 + (x)2 1 (x)2

1 (x)2 2 + (x)2

1 (x)2

...

...
1 (x)2

2 (x)2

... + 2

1 (x)2

. . . yN 1

y0 y1 y2

= . . . 0

0 0 0

yN

Figura 2: Discretizao do modelo de difuso e reaco qumica por diferenas nitas centradas de 2

ordem.

Desta forma,

x0 = 0, x1 = x, x1 = 2x, xi

...,

xN = 1.

A varivel dependente

y ( x)

correspondente ao ponto

y (xi ) = yi .

A substituio da segunda derivada na eq. (9)

pela diferena nita correspondente origina a seguinte equao algbrica linear:

yi1 2yi + yi+1 2 yi = 0, (x)2 y N = 1.

i = 1, 2 , . . . , N 1 .
Para o ponto

(29) a condio

Esta equao no vlida para os pontos fronteira. fronteira

xN = 1
obtm-se

Por outro lado, aplicando a eq. (29) no ponto

x0

y1 2y0 + y1 2 y0 = 0. (x)2
Esta expresso contm

(30) No

y1 y (x1 )

que no pertence ao domnio do problema.

entanto, aproximando a condio fronteira no ponto ordem (para ser consistente com a aproximao 2

x0

por uma diferena nita de 2

derivada usada na eq. (29)) obtm-se (31)

y1 y1 =0 2x
o que permite eliminar

y1 = y1 ,

y1

da eq. (30) obtendo-se

2(y1 y0 ) 2 y0 = 0. (x)2

(32)

Resumindo: aproximando as derivadas parciais por diferenas nitas, a PDE e respectivas condies fronteira so substitudas por um sistema de equaes algbricas; no caso presente as equaes so lineares, mas nem sempre o caso. O sistema de equaes est indicado na Fig. 2. O factor de ecincia pode ser calculado de duas formas. Suponha-se que se calcula atravs do integral dado na eq. (13). Este integral tem que necessariamente ser aproximado por uma frmula de quadratura. Por exemplo, se se utilizar a regra dos trapzios obtm-se

YN y0 = + y1 + . . . + yN 1 + x + O(x2 ). 2 2
8

(33)

Em alternativa pode discretizar-se a eq. (15) usando uma diferena nita consistente a soluo numrica de 2

ordem:

=
Mas esta expresso contm aplicando a PDE no ponto

1 yN +1 yN 1 + (x2 ). 2 2x

(34)

yN +1 xN

que no pertence ao domnio do problema. No entanto,

obtm-se

yN 1 2yN + yN +1 2 yN = 0 (x)2
Finalmente,

yN +1 = (x)2 2 yN + 2yN yN 1 .

(35)

1 yN yN 1 x + yN . 2 x 2

(36)

O modelo pode ser facilmente implementado em

matlab, GAMS, ampl, ou at em Excel. ampl

que equivalente ao

Eu prero a linguagem de programao matemtica que eu considero ser mais intuitiva. O modelo

GAMS

mas

ampl

est listado na Fig. 3.

Para correr o programa abre-se uma consola Windows executando uma consola com um prompt  sw:; nesta consola arranqua-se o

sw.exe; ampl;

este cria

ampl escrevendo ampl; o

para isso

prompt anterior substitudo por  ampl:. Agora inclui-se o modelo em escreve-se

include eta.ampl;

[ENTER]

No modelo ainda no foram atribudos valores aos parmetros se pretende resolver o problema para escreve-se

phi

N;

suponha-se que

= 10

com 10 pontos de discretizao; para isso

let phi := 10.0; let N := 10; solve;

O

[ENTER]

Para resolver o problema, basta agora escrever [ENTER]

ampl

responde com a seguinte informao:

Presolve eliminates 1 constraint and 1 variable. Substitution eliminates 2 variables. Adjusted problem: 10 variables, all linear 10 constraints, all linear; 28 nonzeros 0 objectives.

option substout 1 ; option show_stats 1 ; option solver "lpsolve" ; param N integer > 1 ; param dx = 1/N ; param phi >= 0 ; set PTS = param x { param w { param eta 0..N ordered ; i in PTS } = dx * i ; i in PTS } = cosh( phi * x[i] ) / cosh( phi ) ; = tanh( phi ) / phi ;

var y { PTS } ; s.t. LinSys { i in PTS } : ( if i = 0 then 2*(y[1] - y[0])/dx^2 - phi^2 * y[0] else if i < N then (y[i-1] - 2*y[i] + y[i+1])/dx^2 - phi^2 * y[i] else y[N] - 1 ) = 0 ; var eta1 = dx * ( sum { i in PTS } y[i] - (y[0] + y[N])/2 ) ; var eta2 = (y[N] - y[N-1])/dx / phi^2 + dx * y[N] / 2 ;
Figura 3: modelo cheiro chamado

ampl

para a resoluo por diferenas nitas do problema de difuso

e reaco qumica numa pellet de catalisador; supe-se que o modelo ca gravado num

eta.ampl.

LP_SOLVE 4.0.1.0: optimal, objective 0 10 simplex iterations

Para comparar a soluo numrica com a soluo analtica pode escrever-se:

display x, w, y;

[ENTER]

o que faz a listagem dos valores de analtico de

xi , wi

(soluo analtica) e

yi .

Para comparar os valor

com a soluo numrica, escreve-se [ENTER]

display eta, eta1, eta2;

obtendo-se

eta = 0.1 eta1 = 0.111803

10

eta2 = 0.111803
Para calcular

para

= 100

com

N = 10,

pode escrever-se o seguinte:

let phi := 100.0; solve; display eta, eta1, eta2; [ENTER]

(Nota: =

j era igual a 10 da simulao anterior.) A nova soluo seria:

eta = 0.01, eta1

eta2 = 0.0509902.

Neste caso o erro aprecivel. Para melhorar a soluo necessrio

aumentar o nmero de pontos de discretizao, e.g.,

let N := 50; solve; display eta, eta1, eta2;

o que origina:

[ENTER]

eta = 0.01, eta1 = eta2 = 0.0141421; eta1 eta2

melhorou bastante. Para [ENTER]

N = 200:

let N := 200; solve; display eta, eta1, eta2;

obtm-se

eta

= 0.01,

= 0.0103078.

2.2 Mtodo dos volumes nitos

Este mtodo parecido com o mtodo das diferenas nitas, mas particularmente aplicvel s equaes gerais de conservao (matria, energia, ou quantidade de movimento), que podem ser escritas na seguinte forma genrica:

() + (u) = () + S, t
em que

(37)

a densidade do uido,

a varivel dependente a ser conservada (massa

total, quantidade de um componente, energia total, quantidade de movimento), coeciente de difuso, positivo se gerar

um

u = (u, v, w)

o vector velocidade, e

um termo fonte;

e negativo se consumir

Por exemplo, a equao de conservao aplicada a um reagente A sujeito a uma reaco de primeira ordem para escoamento unidimensional num tubo

wA (wA ) + (uwA ) = DA t x x x
em que

kwA ,

(38)

wA

a fraco mssica de A,

a velocidade do uido ao longo do tubo,

DA

a difusividade molecular, e substituir-se

a constante cintica da reaco. Em alternativa pode

wA

pela concentrao mssica (ou molar),

CA . N
volumes de controlo,

O mtodo dos volumes nitos consiste em dividir o domnio em

i = 1, 2 , . . . , N

(que podem ser todos iguais ou no):

11

e integrar a equao de conservao ao longo de cada volume de controlo. Por exemplo, a integrao de

+ (u) = + S (x, ), t x x x
origina

(39)

xi+1/2 dx + Ji+1/2 Ji1/2 = S (x, ) dx, xi1/2 t xi1/2 em que J = u (/x) o uxo de transporte de . Supondo que (x) i
o volume de controlo, a equao anterior pode ser simplicada originando

xi+1/2

(40) em todo

di Ji+1/2 Ji1/2 + = S (xi , i ). dt xi

Os uxos de transporte de

(41)

nas fronteiras do volume de controlo podem ser discretizados

)

atravs de diferenas nitas:

( (

Ji1/2 = Ji+1/2 =

u x u x

ui1/2
)
i1/2

i1 + i i i1 , 2 xi xi1 i + i+1 i+1 i . 2 xi+1 xi

(42)

ui+1/2
i+1/2

(43) (44)

Introduzindo estas expresses na eq. (41) origina uma equao diferencial ordinria para cada volume de controlo. Aparentemente, o mtodo dos volumes nitos muito parecido com o mtodo das diferenas nitas. O mtodo dos volumes de nitos tem a vantagem de conservar globalmente a quantidade

Somando as equaes para todos os volumes de controlo, obtm-se:

N i=1
em que

xi

N di + (JN +1/2 J1/2 ) = xi S (xi , i ), dt i=1

(45) o uxo na

J1/2 = JxL

o uxo na fronteira inferior do domnio e

JN +1/2 = JxU

fronteira superior do domnio. Esta equao equivalente discretizao da equao de conservao global:

d xU dx + u dt xL x

)
xU

u x
12

xU

=
xL xL

S (x, ) dx.

(46)

Uma outra vantagem do mtodo a facilidade com que se aplicam mtodos especcos de discretizao dos termos convectivos, controlo. Para dar um pequeno exemplo das potencialidades do mtodo, considere-se a resoluo numrica da equao estacionria de conveco-difuso da concentrao de um soluto:

(u)i1/2

(u)i+1/2 ,

nas faces dos volumes de

v
em que

dc d2 c D 2 = 0, dz dz

c|z=0 = C0 ,

c|z=L = C1 , z, v

(47)

c(z )

o perl de concentrao ao longo de uma coordenada espacial

velocidade do udo e

o coeciente de difuso. Convm adimensionalizar a equao;

para isso introduz-se as seguintes adimensionalizaes:

x = z/L,
A modelo adimensional

y = (c C1 )/(C0 C1 ).

(48)

dy 1 d2 y = 0, dx Pe dx2
em que

y |x=0 = 1, Pe

y |x=1 = 0,

(49)

Pe = vL/D

o nmero de Pclet: quando

grande, o transporte do soluto

essencialmente convectivo, podendo-se desprezar o efeito de disperso devido difuso do soluto; quando no negligencivel. A eq. (49) tem uma soluo analtica simples:

Pe

pequeno o transporte do soluto tem uma componente difusiva

y (x) =

exp(Pe ) exp(Pe x) . exp(Pe ) 1

( )

(50)

A resoluo da eq. (49) por diferenas nitas centradas

dy dx

)
xi

yi+1 yi1 , = 2x

d2 y dx2

=
xi

yi1 2yi + yi+1 , (x)2

origina o seguinte sistema de equaes lineares:

y 0 = 1,

yi+1 yi1 yi1 2yi + yi+1 = 0 (i = 1, . . . , N 1), 2x (x)2 Pe

y N = 1.

(51)

A Fig. 4 lista o programa para

ampl para resolver este sistema de equaes.

N = 20

Se o problema

Pe = 100

for resolvido com

obtm-se os resultados reproduzidos na Fig. 5.

Como se pode observar, a soluo numrica oscilante na frente de concentrao.

13

option substout 1 ; option show_stats 1 ; option solver "/amplcml/lpsolve" ; param N integer > 0 ; param dx = 1/N ; param Pe >= 0 ; set PTS = 0..N ordered ; param x { i in PTS } = dx * i ; param ya { i in PTS } = ( exp(Pe) - exp(Pe*x[i]) ) / ( exp(Pe) - 1 ) ; var y { PTS } ; s.t. LinSys { i in PTS } : ( if i = 0 then y[0] - 1 else if i < N then (y[i+1] - y[i-1])/(2*dx) - (y[i-1] - 2*y[i] + y[i+1])/(Pe*dx^2) else y[N] ) = 0 ;
Figura 4: modelo

ampl para a resoluo do problema de conveco-difuso por diferenas

=
ordem.

nitas centradas de 2

1.6 1.4 1.2 1 0.8 0.6 0.4 0.2 0 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.95 1
N = 20; simbolos

Figura 5: linha = Eq. (50), simbolos a cheio = soluo da Eq. (51) para ocos = soluo com diferena nita de 1

ordem e

N = 20.

14

O problema reside na discretizao do termo convectivo,

dy/dx.

Uma forma de elimi-

nar a oscilao na soluo numrica substituir a diferena nita centrada de 2 pela diferena nita de primeira ordem desviada esquerda:

ordem

dy dx

=
xi

yi yi1 . x
=

(52)

Resolvendo o problema com esta diferena nita de 1

ordem obtm-se a soluo represen-

tada pelos circulos ocos; a soluo numrica deixou de ser oscilatria mas mais dispersiva do que a soluo analtica. Vejamos porqu:

dy dx

=
i

yi yi1 yi+1 yi1 x yi1 2yi + yi+1 + O(x) = . x 2x 2 (x)2

(53)

O primeiro termo na segunda igualdade discretizao de centrada de 2

dy/dx com uma diferena nita d2 y/dx2

com uma diferena

ordem e o segundo termo a discretizao de

nita centrada de 2

ordem. Consequentemente, discretizar

dy/dx

com a diferena nita

da Eq. (53) equivalente a resolver a PDE

dy x 1 + dx 2 Pe

d2 y = 0, dx2
=

y |x=0 = 1,

y |x=1 = 0,

(54)

com diferenas nitas centradas de 2 coeciente de difuso aparente

ordem, ou seja, a resolver o problema com um

D = D +

vL x. 2

(55)

Isto explica porque que a soluo numrica mais difusiva do que a soluo analtica. Considermos agora a formulao de volumes nitos. controlo genrico, e.g., o volume A integrao num volume de

i,

origina:

Ji+1/2 Ji1/2 = 0,

Ji+1/2

1 dy = y Pe dx

.
i+1/2

(56)

J vimos que o termo dispersivo pacco; portanto podemos discretiz-lo com uma diferena nita centrada:

1 dy Pe dx

)
i1/2

1 yi yi1 = , Pe x yi1/2
e

1 dy Pe dx

=
i+1/2

1 yi+1 yi . Pe x

(57)

Os termos complicados so maes

yi+1/2 .

J vimos que no podemos usar as aproxiporque elas do origem a expresso

yi1/2 = (yi1 + yi )/2

yi+1/2 = (yi + yi+1 )/2

15

idnticas s diferenas nitas centradas de 2 descentrada de 1

ordem. A utilizao de diferenas nitas

ordem equivalente a considerar

yi1/2 = yi1

yi+1/2 = yi .

(58)

Isto faz sentido para transporte fortemente convectivo porque nestas condies o valor da varivel numa face do volume de controlo bem aproximado pelo valor da varivel no seio do volume de controlo que se encontra a montante. No entanto, j vimos que esta abordagem introduz disperso numrica excessiva. Para resolver o problema temos que utilizar mtodos mais complicados. Uma hiptese utilizar uma interpolao descentrada de ordem mais elevada. Por exemplo, para determinar

yi+1/2

usa-se o polinmio que interpola

yi1 , yi

yi+1 .

A frmula assim obtida

yi+1/2 =
Para determinar

3yi+1 + 6yi yi1 yi + yi+1 yi1 6yi + yi+1 = . 8 2 8

usa-se o polinmio que interpola

(59)

yi1/2

yi2 , yi1

yi .

A frmula

yi1/2 =

3yi + 6yi1 yi2 yi1 + yi yi2 6yi1 + yi = . 8 2 8

=

(60)

Este esquema de discretizao conhecido como o esquema a uma discretizao desviada a montante de 3

Quick ; o mtodo corresponde

dy/dx.

ordem do termo

Outra alternativa utilizar-se um mtodo de discretizao no linear; estes mtodos so denominados limitadores de uxo. Por exemplo, o esquema harmnico de van Leer

yi1/2

(yi1 yi2 )(yi yi1 ) , = yi1 + max 0, yi yi2 (yi yi1 )(yi+1 yi ) . = yi + max 0, yi+1 yi1
{ }

(61)

yi+1/2

(62)

2.3 Mtodo dos resduos ponderados

Considere-se o problema de difuso e reaco qumica numa pellet de catalisador, regido pelas eqs. (9)(11), re-escrito na seguinte forma compacta:

L(y )

y 2 y = 0, 2 x

y (0) = 0. x M (y ) y (1) 1

(63)

A ideia principal do mtodo de resduos ponderados a construo de uma soluo aproximada

que satisfaa a eq. (63) segundo um determinado critrio de minimizao do

16

erro de aproximao. Porque a soluo nem as condies fronteira, isto ,

aproximada, em geral ela no satisfaz a PDE

L( y ) = R = 0
Nesta equao,

M ( y ) = Rb = 0.
Se

(64)

Rb

so os resduos da aproximao.

for construda de forma

a que a equao diferencial seja satisfeita exactamente (isto , chama-se

R = 0)

ento o mtodo

mtodo de fronteira ;

se

for construda de forma a que as condies fronteira

sejam satisfeitas exactamente, ento o mtodo chama-se

mtodo interior ;

nalmente, se

nem a equao diferencial nem as condies fronteira forem satisfeitas exactamente, o mtodo diz-se

misto.
A funo de aproxi-

O mtodo dos resduos ponderados requer dois tipos de funes: uma denominada funo de

aproximao ; a outra denominada funo de ponderao.

y ;

mao usada para construir a soluo numrica

a outra funo utilizada como base

de critrio para minimizar o resduo da soluo aproximada (um resduo pequeno implica que a soluo numrica aproxima a soluo real com um erro pequeno). Para minimizar o resduo, que normalmente uma funo da varivel independente

x,

necessrio converter

num escalar para que se possa proceder a uma optimizao

do valor do resduo. Isto faz-se atravs de uma forma de ponderao mdia do resduo em todo o domnio do problema, o que no caso presente equivale a um

produto interno

de funes. Este ltimo pode ser visto como uma medida de distncia mdia entre duas funes num determinado domnio da varivel independente; no caso do mtodo dos resduos ponderados, a distncia mdia medida calculada entre a funo residual e as funes de ponderao. Consideremos o mtodo interior. A aproximao numrica da PDE pode ser escrita como uma expanso polinomial, por exemplo,

y = y0 +
em que

n i=1

ai i (x).

(65)

y0

e as funes de aproximao

i (x) tm que ser escolhidas por forma a satisfazeOs

rem as condies fronteira, isto ,

M ( y ) = 0.

coecientes

ai

so desconhecidos e so

determinados pelo mtodo dos resduos ponderados forando a soluo satisfazer o melhor possvel a PDE.

y (x; a1 , . . . , an )

17

Substituindo

y na

PDE obtm-se a equao residual:

R(x) = L( y) = L

n i=1

ai i (x) .

(66)

Dado que o resduo geralmente uma funo de

x,

necessrio minimiz-lo em todo o

domnio de interesse. No mtodo dos resduos ponderados utiliza-se o seguinte integral como medida mdia do resduo:

V
onde

R(x)wk (x) dx,

(67)

o domnio de interesse e

wk (x) uma k -gsima funo de ponderao seleccionada

de funes independentes, denominadas funes de

de um conjunto (k ponderao.

= 1, 2, . . . , n)

Este integral denomina-se produto interno das funes no domnio

normalmente escrito na seguinte forma compacta:

(R, wk )V .
Dado que a soluo numrica tem

(68)

coecientes desconhecidos

ai ,

para determinar

or seus valores fora-se a que o produto interno do resduo com as primeiras de ponderao seja igual a zero. lineares, Isto origina

funes

equaes algbricas, normalmente no

(R, wk )V = 0

para

k = 1, 2, . . . , n, n
coecientes

(69)

que podem ser resolvidas para obter os valores dos

ai .

Retomemos o exemplo do problema de difuso e reaco qumica. evidente que mais fcil escrever uma funo de aproximao que satisfaa as condies fronteira do que uma que satisfaa a PDE em todo o domnio do problema. Por exemplo, suponha-se que se opta por escrever a funo de aproximao como a soma de a soluo simtrica, isto , potncias pares de

polinmios. Dado que

y (x) = y (x),

os polinmios seleccionados tm que envolver

x.

Para alm disso, a soma dos polinmios tem que ser igual a 1 para

x=1

e a primeira derivada tem que ser nula para

x = 0.

fcil concluir que a funo

de aproximao ser

y (x) = 1 +
porque

n i=1

ai (1 x2i ),

(70)

y (1) = 1

(dy /dx)x=0 = 0.

O resduo da aproximao

R(x) = L( y) =

d2 y 2 y . dx2

(71)

18

Conhecendo-se os valores de

ai

pode calcular-se o factor de ecincia:

=
0

y (x) dx = 1 +
(

n i=1

ai

1 = 2

dy dx

)
x=1

1 1 2i + 1

)
(72)

n 2 = 2 ai i. i=1

(73)

Nos exemplos desenvolvidos em seguida vai-se considerar a aproximao mais simples, isto , a aproximao para

n = 1: =1+ 2a1 2a1 = 2. 3

(74)

y (x) = 1 + a1 (1 x2 ),
O resduo para esta aproximao

R(x) = 2a1 2 [1 + a1 (1 x2 )].

Para efeitos de clculo, o mdulo de Thiele vai ser xado a para estas condies

(75)

= 1;

o factor de ecincia

= tanh(1)/1 = 0.7616.

A escolha do tipo de funes teste origina diferentes variaes do mtodo dos resduos ponderados: 1. Mtodo de colocao;

2. Mtodo de sub-domnio;

3. Mtodo de mnimos quadrados;

4. Mtodo de momentos;

5. Mtodo de Galerkin;

6. Mtodo de colocao ortogonal.

2.3.1 Mtodo de colocao

Neste mtodo a funo de teste um delta de Dirac em pontos de colocao) do domnio de interesse:

pontos interiores (chamados

wk = (x xk ).
Uma das propriedades da funo delta de Dirac a seguinte:

(76)

xk + b

xk a

f (x) (x xk ) dx = f (xk ) (a > 0, b > 0).

(77)

19

Se os

pontos interiores forem razes de um polinmio ortogonal de Jacobi de ordem

n,

ento o mtodo de colocao diz-se ser de colocao ortogonal. Aplicando a eq. (77)

em (69), obtm-se

R(xk ) = 0

para

k = 1, 2, . . . , n, x1 , . . . , x n .

(78)

ou seja: fora-se o resduo a ser nulo nos pontos interiores de colocao Por exemplo, suponha-se que se escolhe problema de difuso-reaco;

x1 = 0.5

como ponto de colocao para o

x1 = 0.5 corresponde ao ponto localizado a meio do domnio.

Anulando o resduo neste ponto obtm-se

R(x1 ) = 2a1 2 [1 + a1 (1 x2 1 )] = 0
A estimativa do factor de ecincia

a1 =

2 = 0.3636. 2 + 2 (1 x2 1)

(79)

= 1+

2a1 = 0.7576 3 2a1 = 2 = 0.7273.

(80) (81)

Estes valores indicam que a soluo obtida pelo mtodo de colocao concorda razoavelmente bem com a soluo analtica.

2.3.2 Mtodo de sub-domnio

Neste caso o domnio dividido em lhidas so

sub-domnios

Vi

e as funes de ponderao esco-

wk =

1, 0,

no interior do sub-domnio no exterior do sub-domnio

Vk Vk

(82)

Ou seja, anula-se o integral do resduo sobre cada um dos sub-domnios. Para

n=1

o sub-domnio coincide com o domnio completo do problema. Logo,

1 0

(R, w1 )V =

R(x)w1 dx =

{2a1 2 [1 + a1 (1 x2 1 )]}(1) dx

(83)

Forando o produto interno a ser nulo obtm-se

(R, w1 )V = 0

3 a1 = , 8

(84)

o que permite o clculo do factor de ecincia:

= 1+

2a1 = 0.75 3 2a1 = 2 = 0.75.

20

(85) (86)

Estes valores indicam que a soluo obtida pelo mtodo do sub-domnio tambm concorda razoavelmente bem com a soluo analtica.

2.3.3 Mtodo de mnimos quadrados

Neste mtodo a funo de ponderao

wk =

R . ak

(87)

Com esta denio, o integral que dene o resduo pode ser escrito da seguinte forma:

R 1 R R2 dx. dx = ak 2 ak V ak

(88)

A equao anterior mostra que os coecientes de

so determinados atravs da minimizao

(R, R).
No caso do problema em estudo,

(R, w1 )V =

1 1 2 {2a1 2 [1 + a1 (1 x2 1 )]} dx = 0. 2 a1 0 =1
(
e depois diferenciando em ordem a

(89) obtm-se (90)

Integrando esta equao para

(R, w1 )V =

1 216 16 a1 + =0 2 15 3

a1 ,

a1 =

10 . 27

As estimativas do factor de ecincia so

= 1+

2a1 = 0.7531 3 2a1 = 2 = 0.7407.

(91) (92)

Novamente, estes valores comparam bem com a soluo analtica.

2.3.4 Mtodo dos momentos

Neste mtodo as funes de ponderao so

wk = xk1

para

k = 1, 2, . . . , n. ai :

(93)

Portanto, anulam-se os seguintes produtos internos para calcular os coecientes

(R, 1)V = 0,

(R, x)V = 0,

, (R, x2 )V = 0, . . . , (R, xn1 )V = 0. n = 1,

observa-se que para

(94)

Como temos estado a considerar solues para

n=1

mtodo dos momentos idntico ao mtodo dosub-domnio, porque o produto interno a anular simplesmente

(R, 1)V = 0.

(95)

21

2.3.5 Mtodo de Galerkin

Neste mtodo as funes de ponderao so escolhidas da mesma famlia das funes de aproximao:

wk = k (x).
Portanto, no mtodo de Galerkin anulam-se os seguintes produtos internos:

(96)

(R, 1 )V = 0,

(R, 2 )V = 0,

, (R, 2 )V = 0, . . . , (R, 2 )V = 0.

(97)

A soluo do problema de difuso/reaco pelo Mtodo de Galerkin com a anular o seguinte produto interno:

n = 1 equivale

(R, w1 )V = 0,

w1 (x) = 1 x2

(98)

(R, w1 )V =

2 {2a1 2 [1 + a1 (1 x2 1 )]}(1 x ) dx = 0

(99) (100)

2 8 (R, w1 )V = (1 + 2a1 ) a1 = 0. 3 15
Resolvendo em ordem a

a1

obtm-se

a1 =

10 28

2a1 = 0.7619 = 1+

3 2a1 = 2 = 0.7143

(101)

Este resultado parece mostrar que o mtodo de Galerkin o mtodo mais preciso para o problema em anlise.

2.3.6 Mtodo de colocao ortogonal

Apesar do mtodo de Galerkin ser o mais preciso na resoluo do problema de difuso/reaco com

n = 1,

quando se aumenta o nmero de funes de aproximao (n

> 1)

observa-se que o mtodo de Galerkin apresenta muito mais diculdades analticas do que o mtodo de colocao. De facto, com excepo do mtodo de colocao, todos os outros mtodos de resduos ponderados requerem uma integrao da forma

R(x)w(x) dx,
V

(102)

que pode exigir a integrao numrica se a integrao analtica for impossvel ou difcil de determinar.

22

A preciso do mtodo de colocao pode ser melhorada se os pontos de colocao forem judiciosamente escolhidos. No caso do problema de difuso/reaco, observemos o integral que dene a varivel macroscpica que nos interessa:

=
0

y (x) dx,

dy dx

= 0,
x=0

y (1) = 1.

(103)

Suponha-se que se utiliza uma frmula de quadratura para calcular este integral numericamente; uma frmula de quadratura no mais do que a mdia ponderada dos valores da funo a integrar em determinados pontos do intervalo de integrao. No caso presente, podemos escrever a quadratura da seguinte forma:

=
0

y (x) dx

m k=1

k y (xk ) + m+1 y (1);

0 x1 < x2 < . . . < xm < 1.

(104)

Quantos mais pontos foram includos na frmula mais precisa ela ser. por este motivo que inclu o ponto

x=1

no conjunto de pontos de quadratura; para

x=1

conhece-se

o valor analtico da soluo, por isso um ponto extra que se obtm de borla: seria um desperdcio no o incluir. O problema que se coloca agora : quais devero ser os valores dos coecientes dos pontos de quadratura

xk

para que a frmula seja o mais precisa possvel. Considere-se

a frmula de quadratura mais simples, com um nico ponto interno de quadratura:

= 1 y (x1 ) + 2 y (1).
Esta frmula de quadratura tem 3 incgnitas: equaes para as determinar.

(105)

1 , 2

x1 ;

so, portanto, necessrias trs

Se a soluo fosse constante em todo o domnio, isto ,

y (x) = 1,

a aplicao da frmula de quadratura originaria:

= (1 )(1) + (2 )(1) = 1

1 + 2 = 1.

(106)

J temos a primeira equao. Suponha-se aqora que o perl de concentrao um polinmio de segundo grau:

y (x) = 1 + a1 (1 x2 ).
Se a frmula de quadratura for vlida para necessariamente vlida para

(107) e

y (x) = 1

y (x) = 1 x2

ento ela ser

y (x) = 1 + a1 (1 x2 )

por ser uma combinao linear dos

polinmios anteriores. Por uma questo de simplicidade usar-se- ento

y (x) = 1 x2 .

23

Aplicando a frmula de quadratura ao integral obtm-se

2 y (x) dx = 2/3 = (1 )(1 x2 1 ) + 2 (1 1 )

(108) (109)

2/3 = (1 )(1 x2 1)
J temos a segunda equao. Para obter a terceira equao considere-se for vlida para

y (x) = 1 x4 ;

se a frmula de quadratura

y (x) = 1, y (x) = 1 x2

y (x) = 1 x4 , ento ela ser vlida para qualquer

Para

polinmio do tipo

y (x) = 1 + a1 (1 x2 ) + a2 (1 x4 ).
1

y (x) = 1 x4 ,

obtm-se

4 y (x) dx = 4/5 = (1 )(1 x4 1 ) + (2 )(1 1 )

(110) (111)

4/5 = (1 )(1 x4 1)
Agora j temos o conjunto de equaes necessrias para a determinao de

1 , 2

x1 :

1 + 2 = 1 (1 x2 1 )1 = 2/3 (1 x4 1 )1 = 4/5
A soluo deste sistema de equaes :

(112) (113) (114)

x1 = 0.44721,

1 = 0.83333,

2 = 0.16667.

(115)

Voltemos, agora, a resolver o problema de difuso/reaco pelo mtodo de colocao com

n=1

x1 = 0.44721

em vez de

x1 = 0.5.

Anulando o resduo neste ponto obtm-se

R(x1 ) = 2a1 2 [1 + a1 (1 x2 1 )] = 0
Magia da magias,

a1 =

2 = 0.35714. 2 + 2 (1 x2 1)

(116)

0.35714 = 10/28

que precisamente o valor obtido pelo mtodo de

Galerkin!!! (Conseguem perceber porqu?) Conseguimos melhorar a preciso do mtodo de colocao ortogonal atravs da escolha judiciosa do ponto de colocao. O ponto

x1 = 0.44721 funcionou bem porque ele um zero de um polinmio de Jacobi

especco que est relacionado com o problema em questo. O polinmio de Jacobi de grau

tem um seguinte representao em srie de potncias:

JN

(, )

(x) =

N i=0

(1)N i N,i xi ,

(117)

24

com

N,0 = 1.

Os coecientes

N,i so constantes e e

caracterizam o tipo de polinmio.

Os polinmios de Jacobi pertencem a uma classe de polinmios ortogonais porque satisfazem a seguinte condio de ortogonalidade no domnio

[0, 1]:
(118)

0
para

[x (1 x) ]Jj

(, )

(x)JN

(, )

(x) dx = 0

j = 0, 1, 2, . . . , (N 1),

isto , todos os polinmios de Jacobi so ortogonais a todos

os outros exceptuando a eles prprios (isto , quando Pode demonstrar-se que o polinmio eles localizados no intervalo

j = N ).
zeros distintos todos

JN

(, )

(x) tem exactamente N

[0, 1].

Se o domnio do sistema PDE a resolver, por exemplo

x [a, b],

for convertido no domnio

[0, 1]

atravs da mudana de varivel

x = (x a)/(b a),
ento pode demonstrar-se que os zeros do polinmio

(119)

JN

(, )

(x)

so excelentes pontos de

colocaoo para resoluo da PDE pelo mtodos dos resduos ponderados. Em apndice lista-se vrios tipos de polinmios ortogonais. Para ver como surge o ponto

x1 = 0.44721,

note-se primeiro que os polinmios de

Jacobi so sries de polinmios com potncias impares e potncias pares de

x.

No en-

tanto, no problema que temos usado como exemplo, a funo de aproximao a soma de polinmios com potncias pares de

x.

Para poder utilizar-se uma funo de aproxima-

o envolvendo polinmios com potncias impares e pares de substituio de varivel:

pode fazer-se a seguinte

z = x2 .

Obtm-se:

dy dz dy dy = =2 z , dx dx dz dz

d2 y dz d dy = 2 dx dx dz dx

= 4z

d2 y dy +2 . 2 dz dz

(120)

Aplicando estas transformaes nas eqs. (9)(11), obtm-se

4z

d2 y dy + 2 2 y = 0, 2 dz dz
para

(121)

y=1
A condio fronteira varivel,

x = 1.

(122)

(dy/dx)x=0 = 0

automaticamente satisfeita pela transformao de

z = x2 ,

pelo no necessita de ser includa. O factor de ecincia

=
0

y (x) dx = 2
0

y (z )z 1/2 dz.

(123)

25

Comparando este integral com a condio de ortogonalidade, dada pela eq. (118), concluise que factor de ponderao comum a ambos os integrais obtido para

=0

= 1/2.

Se utilizarmos um ponto interior de colocao, o integral dado por uma frmula de quadratura idntica da eq. (104):

1 0

=2

y (z )z 1/2 dz 2

m k=1

zk k y (zk ) + 11/2 m+1 y (1);

1/2

0 z1 < z2 < . . . < zm < 1.

(124)

Um quadratura que inclui um dos pontos da fronteira do domnio de integrao, denomina-se quadratura de Radau (ver apndice E.6); os pontos ptimos de quadratura so os zeros do polinmio de Jacobi

JN , + 1)(x)

(ver tabela 12.2 no apndice).

No caso presente, estamos interessados no zero do polinmio em Tabelas desses polinmios, obtm-se

J1 0, 3/2)(x).
e

Procurando Como este

z1 = 0.2, 1 = 0.83333

2 = 0.16667.

z = x2 , o ponto de colocao equivalente na coordenada x ser x1 =

ponto idntico ao que tinhamos obtido anteriormente.

(z ) = 0.44721;

3 Soluo de sistemas mistos de equaes diferenciais ordinrias e algbricas

Um sistema misto de equaes diferenciais ordinrias e algbricas pode ser escrito na seguinte forma genrica:

F(x, y, y , t) = 0 G(x, y, t) = 0,
em que

(125) (126)

y = (y 1 , . . . , y n ) dy/dt,
e

um conjunto de variveis diferenciais, um conjunto de

uma notao con-

densada para

x = (x1 , . . . , xm ) n

variveis algbricas. Este

sistema diferencial necessita de

equaes iniciais:

)=0 H(x0 , y0 , y0

para

t = 0. m = 0, y :

(127)

Em muitos casos o sistema puramente diferencial, isto ,

e para alm disso

F(y, y , t) = 0

pode ser reescrita numa forma explicita em ordem a

y (t) = f (t, y(t)),

y(0) = y0 .

(128)

26

Certamente devem ter aprendido mtodos de Runge-Kutta explcitos para a resoluo da Eq. (128). Por exemplo, o mtodo de Runge-Kutta-Gill corresponde ao seguinte esquema de integrao, em que conhecido o valor de

para o instante tn , isto

yn = y(tn ),

se pretende avanar a soluo para o instante de tempo

tn+1 = tn + h.
(129)

1 1 yn+1 = yn + (k1 + k4 ) + ( bk2 + dk3 ), 6 3

em que

k1 = h f (tn , yn ) ) ( h 1 k2 = h f tn + , yn + k1 2 2 ( ) h k3 = h f tn + , yn + ak1 + bk2 2 k4 = h f (tn + h, yn + ck2 + dk3 )

com

(130) (131)

(132) (133)

a=

21 2 2 2 2 ,b = ,c = ,d = 1 + . 2 2 2 2

(134)

Os mtodos explcitos no so frequentemente utilizados na integrao de modelos diferenciais em Engenharia Qumica porque os mtodos explcitos no so incondicionalmente estveis. Por esta razo, vou-me concentrar na resoluo do sistema DAE dado na Eq. (125). O mtodo mais simples o mtodo implcito de Euler. Este mtodo decorre directamente da aproximao de reproduz em seguida:

dy/dt

em srie de Taylor dada na Eq. (20) e que se

y (x x) = y (x)
Desta expresso decorre imediatamente que

dy (x) x + O(x2 ). dx

(135)

yn +1 =

yn+1 yn + O(h). h
em

(136)

Portanto, para determinar o sistema algbrico

xn+1
(

yn+1

tn+1 = tn + h,
)

conhecidos

xn

yn ,

resolve-se

yn+1 yn F xn+1 , yn+1 , , tn+1 = 0 h G(xn+1 , yn+1 , tn+1 ) = 0.

(137) (138)

27

Este mtodo incondicionalmente estvel, mas exige a resoluo de um sistema de equaes algbricas que em muitos casos so no lineares. A desvantagem do mtodo ser um mtodo de 1

ordem.

Um mtodo de 2

ordem estvel, muito utilizado, o mtodo dos trapzios tambm Das vrias diferenas nitas apresentadas

conhecido por mtodo de Crank-Nicholson.

anteriormente, fcil deduzir a seguinte frmula:

(
yn +1/2

dy dt

=
tn+1/2

yn+1 yn + O(h2 ). h

(139)

Esta equao idntica eq. (136) mas h uma diferena fundamental: aproxima

a eq. (136)

dy/dt

para

tn+1 = tn + h;
=
e

a eq. (139) aproxima

dy/dt

para

tn+1/2 = tn + h/2.

Por isso que a eq. (136) uma aproximao de 1 uma aproximao de 2 expresses para

ordem, enquanto que a eq. (139)

ordem. Para resolver o sistema (125) em

tn+1/2

necessrio ter

xn+1/2

yn+1/2 .

fcil deduzir que as seguintes frmulas:

xn+1/2 =

xn + xn+1 + O(h2 ), 2

yn+1/2 =

yn + yn+1 + O(h2 ). 2
=

(140)

Estas frmulas so consistentes com a aproximao de 2 mindo, para se calcular a soluo no instante de tempo

ordem dada na eq. (139). Resuusando o mtodo de Crank-

tn+1

Nicholson resolve-se o seguinte sistema de equaes algbricas:

xn + xn+1 yn + yn+1 yn+1 yn , , , tn+1/2 = 0 F 2 2 h ( ) xn + xn+1 yn + yn+1 G , , tn+1/2 = 0. 2 2

(141) (142)

Actualmente, os mtodos de integrao mais usados so os mtodos implcitos de ordem varivel e passo varivel baseados nas frmulas BDF de diferenciao de Gear. Sucintamente,

yn +1

aproximado pela diferenciao do polinmio que interpola

yn+1

e os

valores da soluo nos interpola

passos de integrao anteriores. Por exemplo, o polinmio que

yn+1

yn

p1 (t) = yn +

yn+1 yn (t tn ). h

(143)

A diferenciao d directamente a frmula implcita de Euler:

yn +1 =

yn+1 yn . h

(144)

Portanto a frmula BDF de primeira ordem equivalente ao mtodo implcito de Euler.

28

Para deduzir uma frmula de 2

ordem, determina-se o polinmio que interpola

yn+1 ,

yn

yn1 .

O resultado

p2 (t) = yn +

yn1 2yn + yn+1 yn+1 yn (t tn ) + (t tn )(t tn+1 ) h 2h2 tn+1

obtm-se

(145)

Diferenciando este polinmio em

yn +1 =

yn+1 yn yn1 2yn + yn+1 + . h 2h

(146)

Em qualquer caso, o sistema algbrico que necessrio resolver para calcular a soluo no instante

tn+1

do tipo

F(xn+1 , yn+1 , yn+1 + w, tn+1 ) = 0 G(xn+1 , yn+1 , tn+1 ) = 0,

em que

(147) (148)

so constantes que variam de passo para passo.

29