Simulação Computacional de Problemas em Dinamica Dos Fluidos

Simulao Computacional de Alguns Problemas em Dinmica dos Fluidos
Valdemir Garcia Ferreira,
Giseli A. Braz de Lima
Las Corra
Departamento de Matemtica Aplicada e Estatstica, ICMC, USP

Av. Trabalhador So-Carlense, 400 - Centro, So Carlos, SP
E-mail: pvgf@icmc.usp.br, giabl@icmc.usp.br, lacorrea@icmc.usp.br
Resumo: O presente minicurso direcionado, principalmente, a alunos de graduao que tenham alguma familiaridade com clculo avanado, clculo numrico e fsica elementar. A proposta do minicurso
mostrar que dinmica dos fluidos computacional a cincia de construir solues numricas para equaes de conservao, avanando a soluo no espao e no tempo para obter uma descrio numrica do
escoamento de interesse. O seu objetivo principal mostrar ao aluno como resolver, no contexto de
diferenas finitas, as equaes de Navier-Stokes para o caso incompressvel.
1. INTRODUO
A matemtica desempenha um papel importante na relao homem e natureza, pois atravs dessa cincia o homem consegue descrever o comportamento de alguns sistemas ou fenmenos da vida real em
termos matemticos, em reas como economia, engenharias em geral, cincias biolgicas, entre outras.
A maioria das formulaes matemticas para esses fenmenos conduzem a taxas de variao de duas
ou mais variveis independentes, tais como tempo, comprimento, velocidade, temperatura, entre outras.
Assim, a maioria dessas formulaes conduzem equaes diferenciais parciais (EDPs). Fundamentalmente trs abordagens podem ser utilizadas independentemente ou conjuntamente, para a soluo de
problemas modelados por essas equaes, a saber: a experimental, a analtica e a computacional.
Na abordagem experimental, um modelo fsico deve ser construdo de forma a desenvolver os estudos sob anlise de medio direta dos parmetro determinantes ao problema em questo. Embora esse
tipo de abordagem tenha a capacidade de produzir as mais realsticas respostas para problemas de escoamentos de fluidos (objeto principal desse trabalho), seu custo elevado. Na abordagem analtica, na
maioria dos casos, no se pode apresentar uma soluo para o problema, pois as tcnicas matemticas
disponveis nem sempre so suficientes para determinar tais solues. Varias so as dificuldades que podem surgir na busca desta soluo exata: complexidade da regio, os coeficientes da equao diferencial
podem variar ponto a ponto e at mesmo depender da prpria soluo (problemas no lineares). Na ausncia de solues analticas, a abordagem computacional tm atuado como uma importante ferramenta.
Nessa abordagem, simplificaes so feitas, proporcionando a elaborao de um modelo computacional
consistente a ser resolvido atravs de mtodos numricos. A idia central desses mtodos numricos a
discretizao do contnuo que torna finito o problema, e portanto, viabiliza sua soluo atravs de computadores. Nestas notas, apresenta-se o mtodo das diferenas finitas que uma das tcnicas utilizadas
para obteno de solues.
Nesse contexto, destaca-se a rea de simulao computacional de problemas de dinmicas dos fluidos. Muitos desses problemas envolvem quantidades que se conservam e que levam a certos tipos
Proceedings of the 9th Brazilian Conference on Dynamics Control and their Applications
Serra Negra, SP - ISSN 2178-3667
1330
2 MTODO DE DIFERENAS FINITAS
de EDPs denominadas leis de conservao. Outros envolvem a derivao de solues numricas das
equaes de Navier-Stokes e conservao de massa. Essas equaes modelam o escoamento de fluidos
[10, 13, 19] e fornecem muitos desafios em sua resoluo numrica.
Nesse contexto, neste minicurso apresenta-se uma reviso breve do estado da arte em simulao computacional de alguns problemas em dinmica dos fluidos. Apresenta-se tambm exemplos e ilustraes
de simulaes numricas de escoamentos incompressveis. O objetivo principal mostrar que dinmica
dos fluidos computacional a cincia de construir solues numricas para equaes de conservao,
avanando a soluo no espao e no tempo para obter uma descrio numrica do escoamento de interesse (enfatizando a soluo, no contexto de diferenas finitas, as equaes de Navier-Stokes para o
caso incompressvel). Para isso esse material segue organizado da seguinte forma: na seo 2 introduzse o mtodo de diferenas finitas; na seo 3 emprega-se o mtodo de diferenas finitas na resoluo
numrica de equaes modelo 1D, tais como a equao da conduo de calor (parablica), a equao
de adveco (hiperblica) e a equao de Poisson (elptica). Como complementao, anlises de estabilidade, consistncia e convergncia so feitas para os mtodos numricos derivados para resoluo das
equaes de conduo do calor e adveco. Ainda, apresenta-se alguns casos de leis de conservao
hiperblica 1D, mtodos que podem ser aplicados em sua resoluo e alguns resultados numricos. Na
seo 4, apresenta-se o modelo fundamental em dinmica dos fluidos (as equaes de Navier-Stokes) e o
significado fsico de cada termo presente nessa equao. Em seguida, deriva-se um algoritmo de clculo
para essas equaes. Como complementao, apresenta-se uma variedade de simulaes de escoamentos incompressveis e discutem-se alguns problemas prticos usando filmes ilustrativos. Esse trabalho
direcionado, principalmente, para alunos de graduao que tenham alguma familiaridade com o clculo
avanado, clculo numrico e fsica elementar.
2. MTODO DE DIFERENAS FINITAS
A idia central dos mtodos numricos a discretizao do contnuo que torna finito o problema,
e portanto, viabiliza sua soluo atravs de computadores. Esta discretizao realizada inicialmente
pela discretizao do domnio e em seguida pela discretizao das derivadas que aparecem na equao
diferencial e nas condies adicionais. Esta discretizao permite que se possa passar de um problema
contnuo, a equao diferencial e suas condies adicionais, para um problema de dimenso finita. O
mtodo das diferenas finitas um mtodo de resoluo de equaes diferenciais que se baseia na aproximao das derivadas presentes na equao por diferenas finitas. Essa aproximao da derivada feita
pela utilizao da srie de Taylor da funo soluo.
2.1. Malha Computacional
O primeiro passo de qualquer mtodo numrico na resoluo de EDPs discretizar a regio onde se
procura a soluo. Para isso defini-se uma malha, que um conjunto finito de pontos, chamados ns da
malha.
Seja u uma funo de variveis independentes x e t, considere o plano x t subdividido em retngulos iguais de lados x = h, t = k como mostra a Figura 1. Seja a coordenada (x, t) do ponto de
malha P, ento x = ih , t = jk. Assim, (x, t) = (xi , tj ) = (ih, jk). Os ndices i e j so inteiros e os
valores h e k so, respectivamente, os espaamentos da malha nas direes x e t. Se h e k so iguais,
ento a malha computacional dita malha uniforme. Portanto, o valor de u no ponto P denotado por
uP = u(ih, jk) = ui,j .
(1)
2.2. Aproximaes para a Derivada

Considerando u = u(x) contnua e com derivadas1 contnuas. possvel expandir u em srie de
Taylor. Segundo Cunha [9], o mrito da Frmula de Taylor o de dizer como vrias informaes sobre
1
Notaes para a derivada: u (x) = ux =
u
,
x
u (x) = uxx =
2u
.
x2
1331
Figura 1 Malha computacional.
a funo, no ponto x, podem ser usadas na avaliao desta funo numa vizinhana de x, isto no ponto
x + h. A expanso de u em srie de Taylor dada por
1
1
u(x + h) = u(x) + hu (x) + h2 u (x) + h3 u (x) + ,
2
6
ou
1
1
u(x h) = u(x) hu (x) + h2 u (x) h3 u (x) + .
2
6
1 2
1 3
Desprezando-se o termo 2 h u (x) + 6 h u (x) + na equao (2), obtm-se:
u(x + h) u(x) + hu (x),
(2)
(3)
(4)
que pode ser reescrita por
u(x + h) u(x)
.
(5)
h
A equao (5) chamada aproximao avanada (ou progressiva) para a derivada primeira u (x).
Essa derivada progressiva aproxima o coeficiente angular da reta tangente no ponto P pela inclinao da
corda PB (ver Figura 2), e o Erro de Truncamento (ET) dessa aproximao
u (x)
ET =
h2
h
u (x) + u (x) + = O(h).
2
6
(6)
Admitindo-se u (x), u (x), ... limitadas e h 0, ento ET 0.

Analogamente, desprezando-se os termos O(h2 ) em diante na equao (3), obtm-se:
u(x h) u(x) hu (x),
(7)
no qual isolando o termo u (x), define-se

u (x)
u(x) u(x h)
,
h
(8)
a qual chamada aproximao regressiva (ou atrasada) para u (x). Essa derivada atrasada aproxima o
coeficiente angular da reta tangente no ponto P pela inclinao da corda AP (ver Figura 2), e o ET dessa
aproximao O(h).
1332
Figura 2 Representao da derivada.
Por outro lado, subtraindo-se a equao (2) de (3), tem-se

u (x)
u(x + h) u(x h)
.
2h
(9)
Na Figura 2, nota-se que a equao (9) aproxima o coeficiente angular da reta tangente no ponto P
pela inclinao da corda AB, e denominada diferena central para a primeira derivada, cujo ET
ET =
h4 v
h2
u (x) +
u (x) + = O(h2 ).
6
120
(10)
Aproximaes para as derivadas de ordem superiores so semelhantes. Por exemplo, somando-se as

expresses (2) e (3), tem-se:
u(x + h) + u(x h) = 2u(x) + h2 u (x) +
Desprezando-se os termos
h4 (iv)
(x) +
12 u
u (x)
h4 (iv)
u (x) + .
12
(11)
, obtm-se:
u(x + h) 2u(x) + u(x h)
,
h2
(12)
onde ET = h12 u(iv) (x) + ... = O(h2 ). A equao (12) chamada diferena central para a derivada
segunda u (x).
2.2.1 Notao para Funes de Vrias Variveis
Considerando (x0 , y0 ) = (0, 0) e denotando-se o valor de u no ponto da malha P (ih, jk) por (1), a
2
aproximao por diferenas centradas para xu2 em P dada por
2 u
u((i + 1), jk) 2u(ih, jk) + u((i 1)h, jk)
2 u
=
,

2
2
x P
x i,j
h2
ou seja,
ui+1,j 2ui,j + ui1,j

2u

.
2
x
h2
com um erro local induzido de ordem de h2 . Analogamente,
ui,j+1 2ui,j + ui,j1
2u

2
t
k2
1333
3 EQUAES MODELO 1D
com um erro local induzido de ordem de k2 . A aproximao por diferenas progressivas para u
t em P
dada por
ui,j+1 ui,j
u

t
k
com um erro local de ordem de k.
O leitor interessado em maiores detalhes na aproximao de derivadas pode consultar o livro de
Anderson et al. [2].
2.3. Sntese do Mtodo
Fundamentalmente, a tcnica de diferenas finitas, consiste em definir uma malha sobre a regio
de interesse e aproximar, por tcnicas de aproximao, as derivadas na equao de uma EDP num ponto
genrico de uma malha computacional. Posteriormente, substituem-se essas aproximaes na equao
da EDP para se obter uma equao de diferenas. Em sntese essa tcnica pode ser descrita da seguinte
forma:
Discretiza-se o domnio onde a EDP definida, com isso constri-se uma malha sobre a qual ser
calculada a soluo aproximada;
Para cada ponto interior ao intervalo aproximam-se as derivadas por uma das frmulas deduzidas;
Substitui-se essas aproximaes na equao e obtm-se assim a discretizao da equao diferencial.
3. EQUAES MODELO 1D
Considerando-se a seguinte EDP
a
2
+
c
+e
+ f + g = 0
+
b
+d
x2
xy
y 2
x
y
(13)
em que a, b, c, d, e, f e g podem ser funes de variveis independentes x e y e da varivel dependente

, a qual definida dentro de alguma regio R do plano xy.
Da equao geral (13), define-se
= b2 4ac
e ento as EDPs so classificas em trs tipos, a saber:
Se < 0 ento a equao dita elptica;
Se = 0 ento a equao dita parablica;
Se > 0 ento a equao dita hiperblica.
Em geral, as EDPs que modelam sistemas fsico tm usualmente muitas solues. Para selecionar
uma funo que representa a soluo para o problema fsico, deve-se impor certas condies auxiliares
que caracterizam o sistema em questo. Estas condies auxiliares so divididas em duas categorias:
Condies de contorno: sendo u a soluo do problema e g uma funo conhecida,
Condio de Dirichlet: u = g. Quando g = 0 essas condies so ditas homogneas de Dirichlet;
Condio de Neumann:
mann;
u
n
= g. Quando g = 0 essas condies so ditas homogneas de Neu-
1334
3 EQUAES MODELO 1D
u
= g (em que e so constantes e n o vetor normal superfcie
Condio de Robin: u + n
apontando para fora);
Condies iniciais: devem ser satisfeitas em todo o domnio da EDP e no instante em que o sistema
fsico se inicia.
Nas prximas subsees so derivados mtodos numricos, no contexto da metodologia de diferenas
finitas para equaes modelos dos trs tipos apresentados.
3.1. EDP Parablicas
Como representante do tipo de EDP parablicas, considera-se a equao de conduo de calor 1D
dada por
u 2 u
2 = 0.
(14)
t
x
A equao (14) fornece a distribuio de temperatura u ao longo de uma barra de comprimento L e
de espessura , com << L. As condies auxiliares para a soluo desta equao so
Condio inicial: em t = 0, u especificada ao longo da barra;
Condies de contorno: as temperaturas nos extremos da barra so especificadas (condio de Dirichlet) ou suas derivadas so especificadas (condio de Neumann) ou, ainda, uma combinao dessas
duas ltimas (condio de Robin). Neste minicurso, considerada a condio de Dirichlet. Como fontes
de estudo sobre as condies de Neumann e de Robin, indicam-se os livros de Fortuna [13] e de Smith
[25].
Nas prximas subsees, apresentam-se mtodos explcito e implcito para obteno da soluo numrica da EDP parablica (14).
3.1.1 Mtodo Numrico Explcito
Define-se, nesta seo, um mtodo explcito que aproxima as derivadas temporal e espacial da equao (14) por diferena avanada e central, respectivamente, ou seja
u
t
2u
x2
ui+1,j 2ui,j +ui1,j

h2
(15)
ui+1,j 2ui,j +ui1,j

.
h2
(16)
Substituindo-se na equao (14) essas aproximaes, obtm-se

ui,j+1 ui,j
=
,
k
h2
(17)
que pode ser reescrita por

ui,j+1 = ui,j +
Seja r =
k
h2
k
(ui+1,j 2ui,j + ui1,j ) .
h2
(18)
a relao entre os espaamentos da malha e (18), define-se o mtodo numrico explcito por
ui,j+1 = rui+1,j + (1 2r)ui,j + rui1,j .
(19)
Das aproximaes efetuadas, nota-se que o ET desse mtodo da ordem O(k) + O(h2 ).
1335
3 EQUAES MODELO 1D
Para verificar o comportamento e desempenho do mtodo explicito (19), resolve-se numericamente

a equao do calor (14), definida em [0, 1], suplementada com as seguintes condies adicionais:
Condio inicial:

u(x, t = 0) =
2x,
0 x 0.5,
2(1 x), 0.5 x 1.
(20)
Condio de contorno: considera-se o tipo Dirichlet (t > 0) definida por

u(x = 0, t) = 0,
e u(x = 1, t) = 0.
(21)
Satisfazendo as condies (20) e (21), a soluo analtica da equao (14) dada por

N

1
8 1
nx exp n2 2 t ,
sen
U (x, t) = 2
2
n
2
(22)
n=1
em que N pode ser determinado por N = L/h.

Pretende-se portanto resolver numericamente a equao (14) por meio do mtodo explcito definido
por (19) e comparar com a soluo analtica dada por (22). Neste ponto oportuno colocar a seguinte
questo: as solues numricas obtidas pelo mtodo (19) esto suficientemente prximas da soluo
analtica definida na equao (22), quando o parmetro r variado?
Para responder a essa pergunta, considera-se trs valores de r, a saber: r = 0.1, r = 0.5 e r = 0.512.
Caso 1: r = 0.1
1
1
e k = 1000
, como j definido r =
Neste caso, considera-se h = 10
Com esses dados a equao (19) torna-se igual a
k
h2
e portanto tem-se que r = 0.1.
ui,j+1 = 0.1ui+1,j + 0.8ui,j + 0.1ui1,j .
(23)
A Figura 3 ilustra uma comparao qualitativa entre as solues analtica e numrica. Nota-se que o
resultado obtido pelo mtodo numrico est em boa concordncia com a soluo exata.
Figura 3 Comparao entre as solues analtica e numrica nos tempos t = 0.01, t = 0.02 e t = 0.03 para
r = 0.1.
Caso 2: r = 0.5
Nesse caso, adota-se h =
1
10
ek=
1
200 .
Assim r =
5
10
e o mtodo explcito dado por
1336
3 EQUAES MODELO 1D
ui,j+1 = 0.5ui+1,j + 0.5ui1,j .
(24)
A Figura 4 ilustra o resultado numrico obtido e a soluo analtica. Conforme caso 1, o resultado
obtido pelo mtodo numrico bastante consistente com a soluo analtica.
r = 0.5.
Caso 3: r = 0.5128
1
1
e k = 195
, tem-se portanto r = 0.5128. Assim, o mtodo explcito
Nesse caso, utiliza-se h = 10
fica definido por
(25)
ui,j+1 = 0.512ui+1,j 0.024ui,j + 0.512ui1,j .
A Figura 5 ilustra uma comparao qualitativa entre as solues. Como pode ser observado neste
caso, a soluo numrica apresenta um carter oscilatrio. Para valores maiores do que r = 0.512,
conforme simulaes realizadas, a amplitude das oscilaes torna-se cada vez maior.
r = 0.512.
Os trs casos investigados indicam claramente que o valor do parmetro r importante. Na subseo
3.2, mostrado que o mtodo explcito definido em (19) til somente para 0 < r 0.5.
1337
3 EQUAES MODELO 1D
3.1.2 Mtodo Implcito de Crank-Nicolson

O mtodo explcito definido na equao (19) apresenta uma sria desvantagem: o passo no tempo
t = k deve ser muito pequeno para que ele seja convergente, uma vez que o mtodo vlido somente
para 0 < k/h2 0.5, isto , k 0.5h2 .
Nesta seo, apresentado o mtodo implcito de Crank-Nicolson como um outra alternativa para
resolver a equao (14). Esse mtodo reduz o volume total de clculo, vlido (consistente e estvel)
teoricamente para todo valor finito de r e necessita de resolver um sistema linear2 de equaes.
de Crank-Nicolson
consiste em avaliar a EDP definida na equao (14) no ponto

implcito

O mtodo
xi , tj+1/2 = ih, (j + 12 )k (ver Figura 6), aproximar a derivada temporal por diferena central e a
derivada espacial pela mdia das diferenas centrais nos nveis de tempo j e j + 1.
i1
i+1
i
Q
j +1
j+
1
2
r = 0.512.
Matematicamente, segue-o
ut |(i,j+ 1 ) = uxx |(i,j+ 1 )
2
ui,j+1 ui,j
k
(uxx |i,j+1 + uxx |i,j )

2
(26)
(27)
Sendo uxx |i,j+1 e uxx |i,j definido por

uxx |i,j+1 =
uxx |i,j =
ui+1,j+1 2ui,j+1 + ui1,j+1

h2
h2
(28)
(29)
Substituindo as equaes (28) e (29) em (27), tem-se o mtodo implcito de Crank-Nicolson

rui1,j+1 + 2(1 + r)ui,j+1 rui+1,j+1 =
rui1,j + 2(1 r)ui,j + rui+1,j ,
(30)
no qual r = k/h2 .
O mtodo implcito apresentado nesta subseo apresenta as seguintes vantagens:
A ordem do ET O(h2 , k2 );
Resolve Ax = b para cada nvel de tempo j;
teoricamente vlido (consistente e estvel) para todo r.
2
A necessidade de resolver um sistema linear uma caracterstica de mtodos implcitos.
1338
3 EQUAES MODELO 1D
10
Entretanto apresenta algumas desvantagem, a saber:

Problemas em resolver Ax = b, quando A mal condicionada (ver referncia [22]);
Possui comportamento oscilatrio nas vizinhanas de descontinuidades.
Como aplicao e verificao do comportamento do mtodo implcito, considera-se o mesmo exemplo utilizado no mtodo explcito da subseo 3.1.1 e trs valores distintos de r, a saber, r = 0.5, r = 1
e r = 10. As Figuras 7, 8 e 9 ilustram a comparao qualitativa entre as solues numricas e analtica
para r = 0.5, r = 1 e r = 10, respectivamente.
Figura 7 Comparao entre as solues analtica e numrica obtida pelo mtodo de Crank-Nicolson nos
tempos t = 0.01, t = 0.02 e t = 0.03 para r = 0.5.
tempos t = 0.01, t = 0.02 e t = 0.03 para r = 1.0.
Apesar do mtodo de Crank-Nicolson ser teoricamente vlido para todo r, pode-se observar que para
r = 10 a soluo numrica obtida apresenta um carter oscilatrio bastante pronunciado nas vizinhanas
da descontinuidade. Em outras simulaes, considerando-se valores ainda maiores do que r = 10, a
amplitude das oscilaes torna-se cada vez maior.
1339
3 EQUAES MODELO 1D
11
tempos t = 0.01, t = 0.02 e t = 0.03 para r = 10.
3.2. Anlise Terica dos Mtodos Numricos

Uma das exigncias requeridas na utilizao de um esquema numrico a preciso na aproximao
em relao aos fenmenos investigados, neste contexto, a soluo numrica deveria estar to prxima
quanto se deseja da soluo exata de uma EDP que descreve o fenmeno em questo. Esse conceito
de to prximo est relacionado matematicamente com o conceito de convergncia, pois se a soluo
numrica converge para a exata a anlise da descrio do fenmeno estar mais prxima da realidade.
A seguir so relatados os conceitos bsicos relacionados aos significados de convergncia da soluo
da equao de diferenas finitas para a soluo de uma EDP. Para isso utilizada a abordagem a partir
dos conceitos de consistncia, estabilidade e Teorema de Lax.
3.2.1 Consistncia
Para que um esquema numrico seja consistente, a equao discretizada deve aproximar-se, no limite
quando h e k tendem a zero, da equao original. Formalmente, seja Fi,j (u) = 0 a equao que aproxima
a soluo exata (U ) da EDP por diferenas finitas no ponto (i, j) da malha, o erro de truncamento local
(ETL) Ti,j no ponto (i, j) da malha definido por
Ti,j = Fi,j (U )
(31)
Definio 3.1 Uma equao de diferenas finitas consistente com uma EDP se:
Ti,j 0 quando h 0 e k 0.
(32)
Desta forma, analisando-se o mtodo explcito (19) e admitindo=se que as derivadas presentes na
equao (14) existem e so limitadas, ento
lim Ti,j = 0.
h,k0
(33)
Nesta situao, o mtodo explcito consistente com a EDP (14). Assim segue a anlise dessa afirmao.
Seja Ti,j = 0 uma equao que aproxima a EDP no ponto (i, j) da malha. Para o mtodo explcito
definido na equao (19), define-se Ti,j por
Ti,j =
Ui+1,j 2Ui,j + Ui1,j

Ui,j+1 Ui,j
=0
k
h2
(34)
1340
3 EQUAES MODELO 1D
12
O valor de Ti,j no ponto (i, j). Utilizando-se o desenvolvimento em srie de Taylor, pode-se obter a
ordem do erro local cometido.
Exemplo 3.1 Verifique a consistncia do mtodo explcito definido na equao (19).
Resoluo: O ETL para este mtodo dado na equao (34). Utilizando a srie de Taylor, tem-se

1
k2
k3

U + kUt + Utt + Uttt + ... u
Ti,j =

k
2!
3!
i,j

h2
h3
1

2
u + hux + uxx + uxxx + ...

h
2!
3!
i,j

2
3
h
h

(35)
2U + U hUx + Uxx Uxxx + ...

2!
3!
i,j
k2
h2
k
Ti,j (U ) = ut + Utt + Uttt Uxx Uxxxx + O(h4 , k3 ).
2
6
12
(36)
Conforme a equao (14), Ut Uxx = 0, Ti,j ) torna-se

Ti,j =
k
k2
h2
Utt + Uttt Uxxxx + O(h4 , k3 ) = O(h2 , k).
2
6
12
(37)
Note que este mtodo apresenta baixa ordem na discretizao temporal. Alm disso, a parte principal de
Ti,j
h2
k
Utt Uxxxx .
(38)
2
12
Para que um esquema de diferenas finitas seja consistente com uma EDP, ele deve satisfazer a
condio
Ti,j 0, quando h 0 e k 0.
A partir da equao (37), admitindo-se que as derivadas existem e so limitadas, nota-se claramente
que o mtodo explcito consistente com a equao de conduo de calor definida em (14) .
Exemplo 3.2 A equao
2U
U
=0
t
x2
aproximada no ponto (i, j) pelo esquema de diferenas finitas:
ui,j+1 ui,j1 ui+1,j 2[ui,j+1 + (1 )ui,j1 ] + ui1,j
=0
2k
h2
(39)
(40)
onde um parmetro entre 0 e 1. Estude a consistncia desse esquema.

Resoluo:
Tem-se que:
Ti,j = Fi,j (U ) =
Ui,j+1 Ui,j1 Ui+1,j 2[Ui,j+1 + (1 )Ui,j1] + Ui1,j
=0
2k
h2
1341
3 EQUAES MODELO 1D
13
Por expanso em Srie de Taylor:

1
k2
k3
k2
k3
4
4
U + kUt + Utt + Uttt + O(k ) U + kUt Utt + Uttt O(k )
Ti,j =
2k
2!
3!
2!
3!
i,j

h2
h3
k2
k3
4
4
U + hUx + Uxx + Uxxx + O(h ) 2 U + kUt + Utt + Uttt + O(k ) +
2!
3!
2!
3!

k2
k3
h3
h2
4
4
2(1 ) U + kUt + Utt + Uttt + O(k ) + U hUx Uxx Uxxx + O(h )
2!
3!
2!
3!
i,j
1
2
h
1
=
2k

k3
2k5
1
2h4
7
2kUt + Uttt +
Uttttt + O(k )
Uxxxx + O(h6 )
2 h2 Uxx +
3
5!
h
4!
i,j

k3
2 4
5
(4 2) Uttt k Utttt + O(k )
(4 2)kUt
6
4!

1
k2
1
k3
2
k (4 2) 2 Uttt +
= Ut Uxx + 2 (4 2)kUt + 2 Utt +
h
h
6
h
3

k4
k4
k
h2
4 , h4
U
U
+
+
O
,
k
Uxxxx +
tttt
ttttt
12
12h2
5!
h2
3

k2
h2
2k
k2
k
4
4
,k ,h
= Ut Uxx + Uttt Uxxxx + 2 (2 1)Ut + 2 Utt + O
6
12
h
h
h2
k2 Utt
H dois casos a analisar, quando k = rk e quando k = rh2 .
(41)
Caso 1: k = rh
Nesse caso,
Ti,j = Ut Uxx +
r 2 h2
h2
2r
Uttt Uxxxx + (2 1)Ut + r 2 Utt + O(rh, r 4 h4 , h4 )
6
12
h
(42)
Quando h 0 e k 0, tem-se:
Ti,j = Ut Uxx +
2r
(2 1)Ut + r 2 Utt
h
(43)
1
1
Se = , o terceiro termo tende ao infinito, e se = , ento
2
2
Ti,j =
e, portanto,
r 2 h2
Uttt + r 2 Utt
6
Ti,j r 2 Utt
(44)
(45)
Portanto, o esquema numrico (39) sempre inconsistente com a EDP (40), quando k = rh2 .
1342
3 EQUAES MODELO 1D
14
Caso 2: k = rh2
Nesse caso,
Ti,j = Ut Uxx +
r 2 h4
h2
Uttt Uxxxx + 2r(2 1)Ut + r 2 h2 Utt + O(r 3 h4 , r 4 h4 , h4 ) (46)
6
12
Quando h 0 e k 0, tem-se:
Ti,j = Ut Uxx + 2r(2 1)Ut
(47)
Ti,j 0
(48)
1
Se = , ento
2
e o esquema (40) consistente com a equao (39). Caso contrrio,

Ti,j = Ut Uxx + 2r(2 1)Ut
(49)
e o esquema (40) no consistente com a equao (39), mas sim com a equao:
Ut Uxx + 2r(2 1)Ut = 0
Nesse caso, o esquema numrico (39) no consistente com a EDP (40).
Exerccio 3.1 Verifique a consistncia do mtodo implcito de Crank-Nicolson definido na equao (30).
3.2.2 Estabilidade pelo Critrio de Von Neumann
A estabilidade est relacionada ao crescimento ou decaimento dos erros decorrentes das vrias operaes aritmticas associadas com a soluo das equaes algbricas. Em tese, estas relaes algbricas
admitem uma soluo; entretanto, esquemas instveis podem impedir sua obteno por no convergirem.
Para verificar a estabilidade de um esquema numrico, tm-se como ferramentas matemticas os
critrios da matriz e de Von Neumann. Neste minicurso, no apresentado o critrio da matriz (ver
referncia [25]), pois esse critrio pouco utilizado na prtica. J, o critrio de Von Neumann simples
e bastante utilizado na determinao da estabilidade de um esquema numrico. Com esse critrio obtmse condies necessrias e suficientes para a estabilidade do esquema de diferenas.
O critrio de Von Neumann baseado no princpio de superposio, isto , o erro global a soma
de erros mais simples, tambm conhecidos por harmnicos. Esse mtodo expressa os valores iniciais
nos pontos da malha ao longo de t = 0 em termos de uma srie finita de Fourier, e ento considera o
crescimento do erro global de uma funo que se reduz para essa srie em t = 0, por um mtodo de
separao de variveis idntico aos comumente usados para resolver EDPs. A srie de Fourier pode
ser expressa em termos de senos
em termos de exponencial complexa, o que

e cossenos e tambm
bn sen(nx/l) so substitudos equivalentemente
facilita
Assim, an cos(nx/l) ou
os clculos.
por
An einx/l , onde i = 1 a unidade imaginria e l o intervalo em x em que a funo
definida. Convenientemente, a notao usual ui,j deve ser substituda por up,q = u(ph, qk). Em termos
dessa notao,

An einph/N h =
An ein ph
(50)
An einx/l =
onde n = n/N h e N l = h. Os valores inciais nos pontos da malha ao longo de t = 0 so definidos
como
up,0 = u(ph, 0) =
N
Anein ph , p = 0, 1, , N.
(51)
1343
3 EQUAES MODELO 1D
15
Esta equao constitui em um sistema de N + 1 equaes lineares a N + 1 incgnitas A0 , A1 , , AN

cuja matriz dos coeficientes do tipo Vandermonde ([22]) e, portanto, no singular. Isso mostra que os
valores iniciais pode de fato ser expressos na forma da equao (51). Desta forma, possvel investigar
a propagao de um nico valor inicial (ou um nica harmnico) do tipo ein ph . Para investigar a
propagao desses termos, quando t aumenta, faz-se:
up,q = eix et = eiph eqk = eiph (ek )q ,
(52)
definindo = ek , tem -se

(53)
up,q = eiph q ,
em que denominado fator de amplificao, i = 1, = /N h, N o nmero de espaamentos h

da malha computacional.
Resumidamente, o critrio de Von Neumann expressa os pontos da malha up,q = u(ph, qk) em
termos de uma srie finita de Fourier por (53).
Definio 3.2 Pela definio de Lax e Ritchmyer [25], a equao de diferena estvel se |up,q | permanece limitado q J quando h, k 0, em que J o nmero de espaamentos k da malha computacional. Desta forma, a condio para a estabilidade || 1.
Exemplo 3.3 Investigue a estabilidade do esquema numrico dado por
(up1,q+1 2up,q+1 + up+1,q+1 )
(up,q+1 up,q )
=
.
k
h2
(54)
Resoluo: Substituindo up,q = eiph q na equao (54), tem-se

(ei(p1)h q+1 2eiph q+1 + ei(p+1)h q+1 )
(eiph q+1 eiph q )
=
k
h2
( 1)
(eih 2 + eih )
= (eiph q )
(eiph q )
k
h2
1 = r(eih 2 + eih ),
(55)
em que r = k/h2 . Considerando a relao trigonomtrica dada por:

cos(h) =
eih + eih
,
2
(56)
substitui-a em (55), e a equao resultante

1 = r(2 cos(h) 2) = 2r(cos(h) 1)
(57)
Sabe-se que cos(h) 1 = 2sen2 (h/2). Substituindo esta relao trigonomtrica em (57), tal
equao torna-se

2 h
,
(58)
1 = 2r 2sen
2
que reescrita por
=
1
1 + 4rsen2 ( h
2 )
1,
(59)
e, portanto, o mtodo incondicionalmente estvel.

Exerccio 3.2 Verifique a estabilidade do mtodo implcito definido na equao (30).
1344
3 EQUAES MODELO 1D
16
3.2.3 Convergncia
Em geral, a equao de diferenas dita ser convergente se o erro de discretizao tende a zero
quando as malhas h 0 e k 0. O problema de convergncia difcil de ser resolvido pois a
expresso final do erro de discretizao usualmente conhecida em funo de derivadas incgnitas, para
as quais nenhum limitante pode ser estimado. No caso linear, o teorema de equivalncia de Lax garante
a convergncia.
Teorema 3.1 Teorema da Equivalncia de Lax: Para um problema de valor inicial e de contorno, linear,
e um esquema de diferenas finitas que satisfaz a condio de consistncia, uma condio necessria e
suficiente para a convergncia a estabilidade numrica.
Em resumo, o Teorema 3.1 pode ser expresso pelo famoso slogan:
Convergncia = Consistncia + Estabilidade
3.2.4 Exerccios
Exerccio 3.3 Implementar o mtodo explcito para resolver a equao do calor Ut = Uxx sujeita s
seguintes condies iniciais e de contorno
U = 2x,
0 x 0.5,
U = 2(1 x),
t=0
0.5 x 1,
U = 0,
x = 0,
t>0
U = 0,
x = 1,
t>0
t=0
usando:
r = 0.01;
r = 0.1;
r = 0.5;
r = 1;
e comparar com a soluo analtica dada pela equao (22).
Exerccio 3.4 Implementar o mtodo de Crank-Nicolson, aplicando-o equao do calor Ut = Uxx
sujeita s seguintes condies iniciais e de contorno
U = 2x,
0 x 0.5,
U = 2(1 x),
t=0
0.5 x 1,
U = 0,
x = 0,
t>0
U = 0,
x = 1,
t>0
t=0
usando:
r = 0.1;
r = 0.5;
1345
3 EQUAES MODELO 1D
17
r = 1;
r = 10;
e compare com a soluo analtica dada pela equao (22).
2U
U
=
satisfazendo as seguintes condies iniciais e de conExerccio 3.5 Resolva a equao
t
x2
torno:
U = 1,
0 x 1,
t = 0,
(60)
dU
= U, x = 0, t > 0
(61)
dx
dU
= U, x = 1, t > 0
(62)
dx
usando um mtodo explcito e empregando diferenas centrais para as condies de contorno. Considere:
r = 0.25;
r = 0.5;
Exerccio 3.6 A equao Ut Uxx = 0 aproximada no ponto (ih, jk) pela equao de diferena:

ui,j ui,j1
1
ui,j+1 ui,j1
+ (1 )
2 x2 ui,j = 0
2k
k
h
onde x2 = ui+1,j 2ui,j + ui1,j . Mostre que o erro de truncamento local neste ponto dado por
1
1 2
h Uxxxx + O(k, h2 ) e encontre o valor de que reduz esse erro para
Ti,j = k(1 )Utt
2
12
O(k2 , h4 ).
Exerccio 3.7 Mostre que o erro de truncamento local no ponto (ih, jk) da aproximao de CrankNicolson para Ut = Uxx O(h2 , k2 ).
Exerccio 3.8 A equao Ut +Ux f (x, t) = 0, constante, aproximada no ponto (ih, jk) no plano
xt pelo esquema de diferenas finitas:

ui+1,j + ui1,j
ui+1,j ui1,j
ui,j+1
+
fi,j = 0
k
2
2h
Investigue a consistncia desse esquema para:
k = rh;
k = rh2 ;
com r > 0 constante.
Exerccio 3.9 A equao Ut = aUxx U, 0 < x < 1, t > 0, onde e so constantes reais
positivas, aproximada no ponto (ih, jk) pelo esquema de diferenas explcito
a
1
t ui,j = 2 x2 ui,j
k
h
Dado que U tem valores iniciais contnuos ao longo do intervalo 0 x 1, quadt = 0, valores
de contorno conhecidos em x = 0 e x = 1 e que N h = 1, encontre um limitante para r = hk2 de
estabilidade.
1346
3 EQUAES MODELO 1D
18
Exerccio 3.10 A equao Ut = aUxx , 0 < x < 1, t > 0, onde a > 0, aproximada no ponto
(ih, jk) pelo esquema de diferenas regressivas completamente implcito (backward Euler):
ui,j+1 ui,j = ra(ui1,j+1 2ui,j+1 + ui+1,j+1 )
onde r =
k
h2
e N h = 1. Assumindo que os valores iniciais e de contorno so conhecidos, prove que:
o esquema incondicionalmente estvel;

o erro de truncamento local O(k, h2 ).
Exerccio 3.11 A equao Ut = Uxx ,
esquema
0 < x < 1,
t > 0, aproximada no ponto (ih, jk) pelo
ui,j+1 ui,j = r[(ui1,j+1 2ui,j+1 + ui+1,j+1 ) + (1 )(ui1,j 2ui,j + ui+1,j )

onde r = hk2 , 0 1 e N h = 1. Assumindo que os valores iniciais e de contorno so conhecidos,
prove que:
o esquema incondicionalmente estvel no sentido de Lax-Ritchmyer para 0.5 1 e estvel
1
;
para 0 0.5 quando r
2(1 2)
o mtodo de Von Neumann fornece o mesmo resultado.
Exerccio 3.12 Use o mtodo de srie de Fourier para provar que:
A aproximao progressiva explcita
up,q+1 up,q = r(up1,q 2upq + up+1,q )
para a equao Ut = Uxx estvel para r
1
;
2
A aproximao central explcita (Mtodo de Richardson)

up,q+1 up,q1 = 2r(up1,q 2upq + up+1,q )
para a equao Ut = Uxx instvel para r 0;
A aproximao implcita
1
up,q+1 2upq + up,q+1 = r 2 [(up1,q 2upq + up+1,q ) + (up1,q1 2up,q1 + up+1,q1 )]
2
para a equao hiperblica Utt = Uxx estvel para r 0,
Exerccio 3.13 A equao Ut = Uxx + x1 Ux ,
pela equao de diferenas
0 < x < 1,
r = hk .
t > 0 aproximada no ponto (ph, qk)
1
1
1
t up,q = 2 x2 up,q +
(x up,q x up,q )
k
h
2xh
use o mtodo de Von Neumann para mostrar que as equaes de diferenas so estveis para x > 0
quando
2
k
2
h
4 + p1
Em x = 0, avalie esta equao dado que Ux = 0 em x = 0, t > 0 e U constante em x = 1.
1347
3 EQUAES MODELO 1D
19
3.3. EDP Hiperblicas

As equaes hiperblicas, geralmente, originam-se de problemas onde as descontinuidades dos dados
podem persistir no tempo, tais como choques em escoamentos compressveis. Como representante desse
tipo de EDP considera-se a equao linear de adveco. Essa equao modela o transporte de escalares
e dada por
u
u
=a ,
(63)
t
x
em que a > 0 uma constante (velocidade de conveco). As condies auxiliares para a soluo desta
equao so
Condies iniciais:
u(x, 0) = u0 (x)
(64)
Condies de contorno:
u(xL , t) = 0,
u(xR , t) = 0,
(65)
com x [xL , xR ], t o tempo e u = u(x, t) a varivel transportada.

A soluo exata da equao (63) dada por
u(x, t) = u0 (x at).
(66)
A expresso (66) diz que a soluo em qualquer tempo uma cpia da funo original deslocada para
direita (ou esquerda se a < 0). As retas xat so constantes e denominadas caractersticas e o parmetro
a chamado de velocidade de propagao ao longo da caracterstica. A soluo do problema de valor
inicial e de contorno (63)-(64)-(65) pode ser considerada como uma onda que se propaga com velocidade
a, que no muda a forma (dependente das condies iniciais e de contornos) e que no perde amplitude.
Neste trabalho considera-se a = 1.
A derivao de mtodos numricos para as EDPs hiperblicas no pode ser feita de maneira anloga
a que foi feita em EDPs parablicas. Na discretizao por diferenas finitas de equaes hiperblicas,
devemos ter cuidado e isso pode ser constatado no prximo exemplo.
Exemplo 3.4 Aproximao instvel para EDPs hiperblicas:
Considerando a EDP (63), discretizando a derivada temporal por diferenas para frente e a derivada
espacial por diferenas centrais no ponto (i, j) da malha, assim obtm-se
(ui,j+1 ui,j ) (ui+1,j ui1,j )
u
u
+
= 0,
=

t i,j
x i,j
k
2h
(67)
Na forma explcita, tem-se

ui,j+1 = ui,j
1k
(ui+1,j ui1,j ) ,
2h
(68)
considerando R = hk , obtm-se
1
ui,j+1 = ui,j + r (ui+1,j ui1,j ) .
2
(69)
Usando o critrio de estabilidade de Von Neumann, verifica-se a estabilidade do mtodo (68). Para isso,
considera-se
(70)
up,q = eiph q .
1348
3 EQUAES MODELO 1D
20
Substituindo (70) em (68), tem-se

1
= 1 r eih 1
2
1
= 1 r (cosh + isenh 1)

2
1
1
=
1 + r(1 cosh) risenh,
2
2
assim,

2
2
1 + 12 r(1 cosh) + 12 rsenh
2
2
= 1 + 12 r (1 cosh)2 + r(1 cosh) + 12 r sen2 h
2
2
=
1 + 12 r 2 (1 cosh) + r (1 cosh) + 12 r

1 2
=
1 + 2 1cosh
r
+
r
,
2
2
||2 =
lembrando-se sen2 =
1cos(2)
,
2
assim
|| = 1 + 2rsen
Portanto
||2
2 h

1
r + 1 > 1.
2
> 1, assim este esquema instvel.
Exemplo 3.5 Aproximao condicionalmente estvel para EDPs hiperblicas:

Agora considerando um a qualquer em (63), uma outra forma de discretizao dada, considerando
diferenas para frente para derivada temporal e espacial, assim obtm-se
a
1
(ui,j+1 ui,j ) = (ui,j ui1,j ) ,
k
h
(71)
ui,j+1 = ui,j r (ui,j ui1,j )
(72)
considerando r = a kr , tem-se
analisando a estabilidade tem-se
=
(1 r) + reih
(73)
= (1 r) + (cosh isenh)r
||2 = (1 r)2 + (r 2 cos2 h) + 2(1 r)rcosh + (r)2 sen2 h
2r 2 cosh
r)2
(74)
(75)
(76)
+ r + (1
2rcosh

1cosh
2r 1cosh
1 + 2r 2
2
2
1 + 4rsen2 h
2 (r 1) ,
(78)
(77)
assim
x
.
a
Assim esse esquema condicionalmente estvel. Este tipo de discretizao de primeira ordem no
tempo e no espao. Nas prximas sesses so apresentados outros exemplo de de aproximao para as
EDPs hiperblicas que so estveis e com ordem 1.
r 1 = t
1349
3 EQUAES MODELO 1D
21
3.3.1 Mtodo Explcito de Lax-Wendroff

O mtodo de Lax-Wendroff derivado baseado na frmula de Taylor e pode ser usado para aproximar
(63) por uma equao de diferenas explcita de segunda ordem de preciso. A seguir, apresenta-se a a
sua derivao.
Por expanso em srie de Taylor, tem -se

u
1 2 2u
+ k
+
ui,j+1 = u(i, j + k) = ui,j + k
t i,j 2
t2 i,j
A equao de adveco (63) pode ser utilizada para eliminar as derivadas de t
2
2u
2
2 u
=
u
=
(au
)
=
a(u
)
=
a(au
)
=
a
u
=
a
tt
x
t
t
x
x
x
xx
t2
x2
assim
ui,j+1 = ui,j ka
u
x

i,j
1
+ k2 a2
2
2u
x2

+
i,j
Substituindo as derivadas de x por diferenas centrais

(ux )i,j =
ui+1,j ui,j
ui+1,j 2ui,j + ui 1, j
e (uxx )i,j =
2h
h2
ento, tem-se o seguinte esquema de diferenas explcito:

ui,j+1 = ui,j
ka
k2 a2
(ui+1,j ui1,j ) +
(ui+1,j 2ui,j + ui1,j )
2h
2h2
(79)
ou
ui,j+1 =
ar
ar
(1 + ar)ui1,j + (1 a2 p2 )ui,j (1 ar)ui+1,j
2
2
onde r = hk .
A substituio de up,q = eih q em (80) conduz a

1
1
1
h 2iarsen
h cos
h
= 1 2ar 2 sen2
2
2
2
(80)
(81)
assim
||2 = 1 4a2 r 2 (1 a2 r 2 )sen4 (h).
(82)
Para que os erros no cresam exponencialmente com j, ||2 1, isto

0 4a2 r 2 (1 a2 r 2 ) 1,
portanto, 0 ar 1. alm disso, pode ser mostrado que o erro de truncamento local de
Ti,j =
k2
ah2
Uttt +
Uxxx +
6
6
Assim, o mtodo convergente pelo Teorema de Lax.
1350
3 EQUAES MODELO 1D
22
3.3.2 Esquema Implcito de Lax-Wendroff

Seja a EDP hiperblica
u
u
c
= c,
(83)
x
y

deseja-se aproximar essa equao no ponto P = i + 12 , j + 12 (ver figura 10). Para isso, aplica-se a
mdia dos pontos vizinhos, ou seja

1 u
u
u
=
(84)

+

x P
2 x F x H

1 u
u
u
=
(85)

+

y P
2 y G y E
(86)
b
aplicando diferena centrada para as derivadas, obtm-se

uB uA
c uD uA uC uB
b uC uD
+
+
+
=d
2
h
h
2
k
k
(87)
reescrevendo
(c br)uD + (c + br)uC = (c + br)uA + (c br)uB + 2kc
(88)
substituindo os pontos A, B, C e D, obtm-se o mtodo implcito de Lax-Wendroff.

(c br)ui,j+1 + (c + br)ui+1,j+1 = (c + br)ui,j + (c br)ui+1,j + 2kc
i+
1
2
(89)
j+1
j+
1
2
i+1
Figura 10 Diagrama esquemtico para derivao do mtodo implcito de Lax-Wendroff.
Exerccio 3.14 Verifique a consistncia e a estabilidade do mtodo de Lax-Wendroff implcito.

3.3.3 Termos convectivos e Dificuldades Numricas
Aproximao de termos convectivos presentes nas equaes de transporte uma rea em constante
atividade em dinmica dos fluidos computacional. Embora esses termos seja definidos por uma derivada
espacial de primeira ordem, so responsveis por muitas dificuldades numricas. O efeito de difuso
numrica se desenvolve devido discretizao imprecisa das derivadas convectivas contidas nas equaes
que transportam propriedades fsicas. A Figura 11 esboa os efeitos de difuso numrica na simulao
de uma descontinuidade. Nessa figura, considera-se que (a) a soluo exata, em (b) representa-se
1351
3 EQUAES MODELO 1D
23
(a)
(c)
(b)
Figura 11 Efeitos de difuso numrica: (a) Soluo exata; (b) Efeito de dissipao; (c) Efeito de disperso
uma soluo tpica obtida por esquemas de primeira ordem, que so dissipativos, e como consequncia,
suavizam gradientes. Em (c) considera-se uma soluo tpica de esquemas de segunda ordem que so
dispersivos e, consequentemente, geram oscilaes no fsicas na soluo.
Para ilustrar esses efeitos considera-se os mtodos (72) e (80), a equao de adveco definida em
x [1, 5] e suplementada com as condies adicionais:
Condio Inicial:

u(x, t = 0) =
1, 13 x 13 ,
0, caso contrrio.
(90)
Condio Contorno: Tipo Dirichlet homognea, dada por

u(x = 1, t) = u(x = 5, t) = 0.
(91)
t
= 0.5 e tempo final
Para simulao considera-se 100, 200 e 400 clulas computacionais, = x
de simulao t = 4. Os resultados so apresentados para x [3, 5], uma vez que para o tempo considerado (t = 4) a condio inicial transportada para esse intervalo (ver definio (66)). Na Figura
12 so ilustrados as solues exata e as numricas obtidas com ambos os esquemas nas quatro malhas
anteriormente citadas.
Pode se notar, por essas figuras que os resultados numricos obtidos com esses esquemas no so
satisfatrios: o esquema upwind de primeira ordem dissipativo em regies de quinas e altos gradientes;
o esquema de Lax-Wendroff apresenta comportamento oscilatrio.
Para manter estabilidade, atingir alta preciso e garantir convergncia, o remdio tem sido o uso
de esquemas upwind de alta resoluo que admitem, com o tempo, variao limitada de propriedades
e que auto se ajustam de acordo com os gradientes locais. A idia bsica por trs desta estratgia
usar um esquema numrico to preciso quanto possvel em regies suaves e, ao mesmo tempo, adicionar
dissipao numrica controlada em regies de gradientes elevados.
3.3.4 Estratgia Upwind

Nesta seo, apresentada a estratgia upwind para aproximar os termos convectivos e em seguida
alguns esquemas upwind. Nas aproximaes upwind as diferenas espaciais so aproximadas no sentido
upwind: isto , o sentido em que o fluxo surge.
Para exemplificao, utilizada a equao de Burgers 1D [4] adimensional definida por:
u
t

termo temporal
u
u
x

termo convectivo
1 2u
x2
Re
(92)
termo dif usivo
1352
3 EQUAES MODELO 1D
24
Lax-Wendroff
Upwind
Exata
Exata
N = 100
N = 200
N = 400
N = 100
N = 200
N = 400
0,5
0,5
0
0
Figura 12 Comparao entre a soluo exata e os esquemas Lax-Wendroff e Upwind obtidas para a equao
de adveco, com condio inicial (90) e contorno de Direchlet homognea.
em que Re o nmero de Reynolds 3 e u, daqui para frente, a componente da velocidade do fluido na

direo do eixo x (ver Figura 2).
Considerando o ponto P = (i, j) da malha computacional (ver Figura 1, aproxima-se o termo temporal por diferena avanada, o termo difusivo por diferena central e para o termo convectivo aplica-se
a estratgia upwind, assim
Diferena avanada para o termo temporal:
ui,j+1 ui,j
u
=
t
k
Diferena central para o termo difusivo (viscoso):
(93)

2u
=
(94)
2
x
h2
Estratgia upwind para o termo convectivo: inicialmente aplica-se diferena central utilizando os pontos (i + 12 , j) e (i 12 , j)

12 uu
u
=
(95)
CONV(u) = u

x
x
(i,j)
(i,j)

uu
uu
1
(i+ 12 ,j)
(i 2 ,j)
1
(96)
=
2
h
1
2
"
ui+ 1 ,j ui+ 1 ,j ui 1 ,j ui 1 ,j
2
#
.
(97)
3
Re = u0L , em que L o tamanho do domnio computacional, u0 a amplitude da velocidade e a viscosidade do fluido
em unidades do S.I. Este nmero adimensional fornece a razo entre as foras inerciais e as foras viscosas ou difusivas.
1353
3 EQUAES MODELO 1D
25
As variveis ui+ 1 ,j e ui 1 ,j so calculadas por:

2
1
ui+ 1 ,j = (ui+1,j + ui,j ),
2
2
1
ui 1 ,j = (ui,j + ui1,j ).
2
2
(98)
(99)
Aplicao do esquema FOU para aproximar ui+ 1 ,j e ui 1 ,j :

2
Se ui+ 1 ,j > 0 e U =
2
U R
D R
=u
i,j =
ui,j ui1,j
ui+1,j ui1,j ,
ento
ui+ 1 ,j = ui,j .
2
i+1,j =
Se ui+ 1 ,j 0 e u
2
ui+1,j ui+2,j
ui,j ui+2,j ,
ento
ui+ 1 ,j = ui+1,j .
2
i1,j =
Se ui 1 ,j > 0 e u
2
ui1,j ui2,j
ui,j ui2,j ,
ento
ui 1 ,j = ui1,j .
2
i,j =
Se ui 1 ,j 0 e u
2
ui,j ui+1,j
ui1,j ui+1,j ,
ento
ui 1 ,j = ui,j .
2
Utilizando as discretizaes definidas nas equaes (93), (94) e (97), possvel determinar um mtodo
numrico explcito para resolver a equao de Burgers 1D dado por

r
r
Re 2r
ui+1,j +
ui,j +
ui1,j ,
(100)
ui,j+1 = kCONV(u) +
Re
Re
Re
em que r = k/h2 e CONV(u) definido na equao (97).
A Figura 13 ilustra a soluo numrica obtida com o mtodo definido em (100) utilizando o esquema
FOU para o termo CONV(u). Percebe-se que o FOU capturou o choque (descontinuidade) sem apresentar oscilaes. Nessa simulao numrica foi adotada uma malha computacional com 1000 clulas
computacionais, Re = 1000, h = 0.00628 e k = 0.00314. A condio adicionais do processo numrico
foram:
Condio inicial:
u(x, t = 0) = 1 + cos(x)
(101)
u(0, t) = 1 + cos(t) u(1, t) = cos(t) + cos(2).
(102)
Condio de contorno:
Os resultados numricos forma gerados em intervalos de tempo de 0.25, com tempo final de simulao
t = 3.25
Alm do esquema de primeira ordem FOU, existem importantes esquemas de alta ordem na literatura.
Como exemplos, podem-se citar os esquemas descritos abaixo (em todos os casos considera-se f =
f (D , U , R ) ):
1354
3 EQUAES MODELO 1D
26
0
0
Figura 13 Soluo numrica obtida pelo esquema convectivo FOU.
ADBQUICKEST [11]:
(2 ||)U ,

U + 12 (1 ||)(1 U ) 16 (1 2 )(1 U ),
f =
1 || + ||U ,
,
U
0 < U < a,
a U b,
b < U < 1,
U
/ [0, 1],
(103)
com
a=
4 + 3|| + 2
2 3|| + 2
e
b
=
,
7 9|| + 2 2
5 + 3|| + 2 2
em que o nmero de Courant;

TOPUS [23]:

2 +10

4U + (2 + 1)3U + 510
U +
U , 0 U 1,
4
4
f =
U
/ [0, 1],
U ,
em que [0, 2]. Em todo esse texto emprega-se = 2 (ver Queiroz [23]);
CUBISTA [1]:
0 U < 38 ,
4 U ,
1
3
3
8 (3 + 6U ), 8 U < 4 ,
f =
1
3
4 (3 + U ),
4 U 1,
,
U ,
/ [0, 1];
U
Superbee [3]:
2U ,
0 U < 13 ,
1
1
1
2 (1 + U ), 3 U 2 ,
3
1
2
f =
2 U ,
2 U < 3 ,
1,
3 U 1,
U
/ [0, 1].
U ,
(104)
(105)
(106)
1355
3 EQUAES MODELO 1D
27
FDPUS-C1 [18]:
%
&
5 + 14
4 16
3 + 6
2 +
+
(
)
4
R
D
R
U , U [0, 1],
U
U
U
U
f =
U
/ [0, 1],
U ,
SDPUS-C1 [18]:
%
6
5
4
+
(
R
D
R (24 + 4)U + (68 12)U + (64 + 13)U
&
(20 6)3U + 2U + U ,
U [0, 1],
f =
U
/ [0, 1].
U ,
(107)
(108)
Em particular considera-se os esquemas ADBQUICKEST e FDPUS-C1. No caso da equao de

Burgers, a varivel a velocidade u, assim a varivel normalizada dada por
u
U =
uU uR
.
uD uR
A discretizao do esquema ADBQUICKEST para aproximar o termo convectivo dado em (97)

dada por
i,j =
Se u
i+ 1 ,j > 0 e u
2
ui+ 1 ,j
2
ui,j ui1,j
ui+1,j ui1,j ,
(2 C)ui,j (1 C)ui1,j ,
u
i,j (0, a),
i,j [a, b],

D ui+1,j + U ui,j R ui1,j , u
=
u
i,j (b, 1).
(1 C)ui+1,j + Cui,j
u
i,j
/ [0, 1],
ui,j ,
i+1,j =
Se u
i+ 1 ,j 0 e u
2
ui+ 1 ,j
2
ui 1 ,j
2
i,j =
Se u
i 1 ,j 0 e u
2
ui 1 ,j
2
ui+1,j ui+2,j
ui,j ui+2,j ,
ento
(2 C)ui+1,j (1 C)ui+2,j , u
i+1,j (0, a),
i+1,j [a, b],

D ui,j + U ui+1,j R ui+2,j , u
=
+
Cu
u
(1
C)u
i,j
i+1,j
i+1,j (b, 1).
u
i+1,j
/ [0, 1],
ui+1,j ,
i1,j =
Se u
i 1 ,j > 0 e u
2
ento
ui1,j ui2,j
ui,j ui2,j ,
ento
(2 C)ui1,j (1 C)ui2,j , u
i1,j (0, a),
i1,j [a, b],

D ui,j + U ui1,j R ui2,j , u
=
u
i1,j (b, 1).
(1 C)ui,j + Cui1,j ,
u
i1,j
/ [0, 1],
ui1,j ,
ui,j ui+1,j
ui1,j ui+1,j ,
ento
(2 C)ui,j (1 C)ui+1,j ,
D ui1,j + U ui,j R ui+1,j ,

=
(1 C)ui1,j + Cui,j ,
ui,j ,
u
i,j
u
i,j
u
i,j
u
i,j
(0, a),
[a, b],
(b, 1).
/ [0, 1],
1356
3 EQUAES MODELO 1D
28
A discretizao do esquema FDPUS-C1 para aproximar o termo convectivo dado em (97) dada por
i,j =
Se u
i+ 1 ,j > 0 e u
2
ui,j ui1,j
ui+1,j ui1,j ,
ento

u
+(ui+1,j ui1,j )(4
u5U +14
u4U 16
u3U +6
u2U + u
U ), u
U [0, 1],
ui+ 1 ,j= i1,j
2
u
U
/ [0, 1],
ui,j ,
i+1,j =
Se u
i+ 1 ,j 0 e u
2
ui+1,j ui+2,j
ui,j ui+2,j ,
ento

u
+(ui,j ui+2,j )(4
u5U +14
u4U 16
u3U +6
u2U + u
U ), u
U [0, 1],
ui+ 1 ,j= i+2,j
2
u
U
/ [0, 1],
ui+1,j ,
i1,j =
Se u
i 1 ,j > 0 e u
2
ui1,j ui2,j
ui,j ui2,j ,
ento

u
+(ui,j ui2,j )(4
u5U +14
u4U 16
u3U +6
u2U + u
U ), u
U [0, 1],
ui 1 ,j= i2,j
2
u
U
/ [0, 1],
ui1,j ,
i,j =
Se u
i 1 ,j 0 e u
2
ui,j ui+1,j
ui1,j ui+1,j ,
ento

u
+(ui1,j ui+1,j )(4
u5U +14
u4U 16
u3U +6
u2U + u
U ), u
U [0, 1],
ui 1 ,j= i+1,j
2
u
U
/ [0, 1],
ui,j ,
3.3.5 Exerccios
Exerccio 3.15 A funo U satisfaz a equao Ut + Ux = 0, 0 < x < ,
fronteira e iniciais dadas por:
U (0, t) = 2t, t > 0
U (x, 0) = x(x 2),
U (x, 0) = 2(x 2),
t > 0 com condies de
0x2
x2
Calcule:
uma soluo analtica;
uma soluo numrica usando o esquema explcito de LaxWendroff.
Use o mtodo de Von Neumann para mostrar que o mtodo de LaxWendroff estvel para 0 <
ap 1.

k2
ah2
Uttt +
Uxxx .
Mostre que a parte principal do erro de truncamento local Ti,j =
6
6
i,j
Prove que a soluo de Ut = aUx , com a constante, a soluo da aproximao de LaxWendroff
quando hk = a1 .
1357
3 EQUAES MODELO 1D
29
3.3.6 Leis de Conservao 1D: Outros Exemplos (Equaes Lineares e No-Lineares)

Muitos problemas em cincia e engenharia envolvem quantidades que se conservam e que conduzem
a certos tipos de EDPs denominadas leis de conservao hiperblicas. Essas leis so geralmente no
lineares e dependentes do tempo. No caso 1D so definidas por
F ()
+
= 0,
t
x
(109)
em que = (x, t) : R R Rm um vetor m-dimensional de quantidades conservadas e F () =

F ((x, t)) : Rm Rm denominada funo fluxo. Nesta seo so apresentados casos particulares
das leis (109), a saber: equao de adveco de escalares (ou simplesmente equao de adveco);
equaes no lineares de Burgers (com ou sem viscosidade) e Bucley-Leverett. Essas leis so definidas
em domnios fechados (x [xL , xR ]) e suplementadas com condies iniciais e de contorno.
Assim como j mencionado nesse trabalho, problemas numricos podem ser encontrados de acordo
com a escolha do esquema para aproximao dos termos convectivos. Nas leis de conservao o termo
convectivo representado por Fx() . As leis de conservao 1D so aproximadas, no contexto do mtodo de diferenas finitas (aplicando diferena avanada no tempo e centradas no espao), pelo mtodo
numrico

t
F ()i+ 1 ,j F ()i 1 ,j ,
(110)
i,j+1 = i,j
2
2
x
em que i,j = (ix , jt ) a soluo numrica no ponto de malha (i, j) (ix , jt ). sendo x e
t os espaamentos da malha (uniforme) nas direes x e t, respectivamente. Os termos F ()i+ 1 ,j e
2
F ()i 1 ,j so os fluxos numricos nas interfaces f = i + 12 e g = i 12 das clulas computacionais.

2
Esses fluxos numricos so estimados (interpolados) por esquemas upwind, neste trabalho considera-se
os de alta resoluo.
Equao de Adveco
A equao linear de adveco o representante mais simples das leis (109) (veja, por exemplo, [17]),
porm apresenta dificuldades semelhantes aquelas encontradas em sistemas mais complexos. Nesse
contexto, o modelo formulado por (109), em que o vetor das variveis conservadas e a funo fluxo so
dados, respectivamente, por
=u
(111)
e
F (u) = au,
(112)
O fluxo aproximado no ponto (i, j) da malha pela combinao F ()i+ 1 ,j F ()i 1 ,j e ento
2
2
aproximada por
F ()i+ 1 ,j F ()i 1 ,j = (au)|i+ 1 ,j (au)|i 1 ,j = ai+ 1 ,j ui+ 1 ,j ai 1 ,j ui 1 ,j .
2
(113)
em que a velocidade convectiva a (aqui considerada igual a 1) constante para todo ponto do domnio e a
varivel convectada u aproximada nas faces f (ui+ 1 ,j = uf ) e g (ui 1 ,j = ug ) pelos esquemas upwind
2
2
de alta resoluo. A estabilidade do mtodo numrico explcito (110) - (113) regida pela condio CFL
t
(Courant-Friedrichs-Lewy), isto a marcha no tempo selecionada de modo que CFL = = a
x 1.
Exemplo 3.6 Forma W-shape
Neste caso apresentado o problema proposto por Wei e Gu [30] (a famosa forma W-shape) que
corresponde equao de adveco, suplementada com as seguintes condio adicionais:
1358
3 EQUAES MODELO 1D
Condio inicial:
30
1,
0 x 0.2,
0.2 < x 0.4,
4x 5 ,
13
4x + 5 , 0.4 < x 0.6,
u(x, t = 0) =
1,
0.6 < x 0.8,
0,
caso contrrio.
(114)
Condio de contorno: tipo Dirichlet homognea, ou seja,

u(x = 0, t) = u(x = 1, t) = 0.
(115)
A soluo deste problema apresenta descontinuidades severas que so difceis de resolver (ver Toro
[28], Wei e Gu [30]). Para simulao so considerados uma malha uniforme de 400 clulas computacionais, = 0.3 e t = 0.1. Na Figura 14 esto apresentadas a soluo exata e as solues numricas obtidas
com os esquemas ADBQUICKEST, TOPUS, CUBISTA, FDPUS-C1 e SDPUS-C1. Pode ser observado
por esta figura que os dados numricos gerados por esses esquemas, uma vez que os vales e os picos so
capturados satisfatoriamente e so livres de oscilaes.
Exemplo 3.7 Ordem de convergncia.
Este caso tem como propsito verificar a preciso dos esquemas ADBQUICKEST, TOPUS, CUBISTA, FDPUS-C1 e SDPUS-C1 ( = 12) em regies suaves. Para tanto, considera-se a equao de
adveco definida no domnio [, ] e suplementada com as condies adicionais:
Condio inicial:
u(x, t = 0) = sen(x).
(116)
Condio de contorno: Dirichlet homognea no contorno, ou seja,

u(x = , t) = u(x = , t) = 0.
(117)
Por meio dos resultados numricos obtidos para este problema, so determinados, para cada mtodo,
os erros relativos (entre as solues exata e a numrica) e uma estimativa para a ordem de convergncia.
Os erros relativos Eh entre as solues exata e numrica (ambas geradas em uma malha de espaamento
h), nas normas L1 , L2 e L , so definidos, respectivamente por
N
||Eh ||1 =
erica |
i=1 |ui,exata ui,num
,
N
i=1 |ui,exata |
(118)
'
||Eh ||2 =
||Eh || =
N
2
erica )
i=1 (ui,exata ui,num
,
N
2
i=1 (ui,exata )
max1iN |ui,exata ui,numerica |

.
max1iN |ui,exata |
(119)
(120)
Uma estimativa para o erro ||Eh ||k , com k = 1, 2, , para as aproximaes numricas dada da
seguinte forma (ver Thomas [18])
(121)
||Eh ||k Chp ,
em que C uma constante dependente dos dados do problema e p uma estimativa para ordem de
convergncia.
1359
3 EQUAES MODELO 1D
31
ADBQUICKEST
1
ADBQUICKEST
0,5
TOPUS
Exata
0
0
0,5
x
CUBISTA
0,5
-1
Exata
CUBISTA
-0,5
0,5
0
-1
TOPUS
-1
Exata
-0,5
0,5
0,5
x
FDPUS-C1
Exata
FDPUS-C1
0,5
0
-0,5
0,5
-1
-0,5
SDPUS-C1
Exata
SDPUS-C1
0,5
0
-1
-0,5
0,5
Figura 14 Comparao entre a soluo exata e os esquemas ADBQUICKEST, TOPUS, CUBISTA, FDPUSC1 e SDPUS-C1 para a equao de adveco, com condies adicionais (114) e (117).
1360
3 EQUAES MODELO 1D
32
Para o clculo de p, estima-se o erro relativo ||E h ||k

2
||E h ||k C
2
p
h
,
2
(122)
em seguida, divide-se (121) por (122) obtendo-se

hp
||Eh ||k
h p = 2p
||E h ||k
2
(123)
e aplica-se log em ambos os membros de (123) obtendo-se, assim,

#
"
||Eh ||k
/ log 2.
p log
||E h ||k
(124)
Os resultados numricos so obtidos a partir de cinco malhas (com 20, 40, 80, 160 e 320 clulas
computacionais), com = 0.5 e t = 1. Determinam-se os erros relativos por meio das definies
(118),(119) e (120) e as estimativas para a ordem de convergncia por meio de (124). Esses dados esto
apresentados na Tabela 3.3.6. Os esquemas CUBISTA, TOPUS e FDPUS-C1 apresentam resultados
semelhantes; e os esquemas ADBQUICKEST e SDPUS-C1 apresentam os melhores resultados.
Equao de Burgers sem Viscosidade
A equao de Burgers 1D (tambm conhecida como equao de Burgers sem viscosidade) o representante no linear mais simples das leis (109), em que o vetor de variveis conservadas e a funo fluxo

convexa (F (u) > 0 ou F (u) < 0, u) so dados, respectivamente, por
=u
e
O termo F ()i+ 1 ,j F ()i 1 ,j
2
F ()i+ 1 ,j F ()i 1 ,j =
2
(125)
1
F (u) = u2 .
2
aproximado por
(126)

2

1
u2
u
u
i+ 1 ,j ui+ 1 ,j u
i 1 ,j ui 1 ,j , (127)
1
1 =
2
2
2
2
2
2
2
i+ 2 ,j
i 2 ,j
com as velocidades de transporte da varivel u dadas pela mdias

1
u
i 1 ,j = (ui,j + ui1,j ) e
2
2
u
i+ 1 ,j =
2
1
(ui+1,j + ui,j ),
2
(128)
e a varivel convectada u nas faces f (ui+ 1 ,j = uf ) e g (ui 1 ,j = ug ) so calculadas pelos esquemas

2
upwind de alta resoluo. Nesse caso, a estabilidade tambm regida pela condio =
t
x
1.
Exemplo 3.8 Dados iniciais contnuos por partes.

Neste caso a equao de Burgers definida em x [0, 0.6], suplementada com as condies adicionais:
Condio inicial:

u(x, t = 0) =
1
2,
0,
x = 0,
x > 0;
(129)
1361
3 EQUAES MODELO 1D
Esquema
ADBQUICKEST
TOPUS
CUBISTA
FDPUS-C1
SDPUS-C1
33
||Eh ||1
||Eh ||2
||Eh ||
20
40
80
160
320
20
40
80
160
320
20
40
80
160
320
20
40
80
160
320
20
40
80
160
320
0.274 101
0.800 102
0.252 102
0.795 103
0.247 103
0.435 101
0.143 101
0.465 102
0.148 102
0.564 103
0.373 101
0.115 101
0.388 102
0.123 102
0.490 103
0.451 101
0.144 101
0.573 102
0.222 102
0.865 103
0.322 101
0.944 101
0.307 102
0.105 102
0.425 103
1.78
1.67
1.66
1.69
1.61
1.62
1.65
1.39
1.70
1.58
1.65
1.69
1.62
1.35
1.37
1.36
1.77
1.62
1.54
1.31
0.318 101
0.112 101
0.453 102
0.182 102
0.739 103
0.455 101
0.171 101
0.692 102
0.282 102
0.131 102
0.411 101
0.154 101
0.646 102
0.260 102
0.200 102
0.487 101
0.181 101
0.799 102
0.329 102
0.143 102
0.379 101
0.129 101
0.509 102
0.212 102
0.896 103
1.51
1.31
1.32
1.30
1.41
1.30
1.29
1.11
1.42
1.25
1.31
1.24
1.42
1.18
1.28
1.21
1.56
1.34
1.26
1.25
0.529 101
0.258 101
0.120 101
0.623 102
0.292 102
0.607 101
0.310 101
0.182 101
0.113 101
0.877 102
0.646 101
0.332 101
0.180 101
0.909 102
0.446 102
0.793 101
0.393 101
0.202 101
0.100 102
0.443 102
0.609 101
0.303 101
0.138 101
0.701 102
0.354 102
1.09
1.05
0.95
1.09
0.97
0.77
0.68
0.37
0.94
0.88
0.99
1.03
1.05
0.96
1.10
1.05
1.01
1.13
0.98
0.99
Tabela 1 Ordem de convergncia. Erros nas normas L1 , L2 e L e estimativas da ordem de convergncia

para os esquemas ADBQUICKEST, TOPUS, CUBISTA, FDPUS-C1 e SDPUS-C1. Dados para a equao
de adveco, com condio inicial (116) e com condio de Dirichelet homognea no contorno.
1362
3 EQUAES MODELO 1D
34
Condio de contorno:
u(x = 0, t) =
1
2
e u(x = 0.6, t) = 0.
Este problema interessante uma vez que possui soluo exata dada por
1
1
2 , x < 4 t,
u(x, t) =
0, x > 14 t.
(130)
(131)
As solues numricas so geradas em uma malha com 60 clulas computacionais, t = 0.9 e =

0.9. A Figura 15 mostra a comparao da soluo exata com os resultados numricos gerados pelos
esquemas ADBQUICKEST, TOPUS, FDPUS-C1 e SDPUS-C1. Nessa mesma figura, confrontam-se as
solues numricas obtidas com os esquemas anteriormente citados. Por essas figuras observa-se que os
resultados gerados pelos esquemas esto em boa concordncia com a soluo exata. Constata-se ainda
que o esquema SDPUS-C1 oferece o melhor resultado.
Exemplo 3.9 Problema de Platzman.
Neste caso a equao de Burgers definida em x [0, 2], suplementada com as condies adicionais, dadas por:
Condio inicial:
u(x, t = 0) = sen(x)
(132)
Condio de contorno: tipo Dirichlet homogneas, dada por

u(x = 0, t) = u(x = 2, t) = 0.
(133)
Este caso interessante para anlise de desempenho dos esquemas, uma vez que possui soluo exata
dada por (ver Platzman [21])
u(x, t) = 2
Jm (mt)
m
mt
sen(mx),
(134)
em que Jm a funo de Bessel. Esta soluo vlida at t = 1, uma vez que o choque ocorre nesse
tempo. Para comparao com os resultados numricos, at t = 1 considera-se um soluo semi-analtica
em que a srie em (134) truncada para m = 200. Aps o choque (t = 1) considera-se uma soluo de
referncia gerada pelo esquema FOU.
Como ilustrao so consideradas duas etapas, denominadas: i) pr-choque (antes de t = 1); e ii)
choque (em t = 1). As solues numricas, obtidas nas trs etapas, so geradas com os esquemas upwind
de alta resoluo.
i) Pr-choque: Para ilustrar o comportamento da soluo na transio da etapa pr-choque para a etapa
choque, consideram-se os novos esquemas FDPUS-C1 e SDPUS-C1, uma malha de 400 clulas computacionais e = 0.5. Os resultados numricos so gerados em intervalos de tempo de 0.25, com tempo
final de simulao t = 1. Na Figura 16 apresentam-se as solues numricas geradas com os esquemas FDPUS-C1, SDPUS-C1 e soluo semi-analtica, dada por (134), com m = 200. Por essa figura
constata-se que os esquemas FDPUS-C1 e SDPUS-C1 capturam muito bem a soluo.
ii) Choque. Uma das caractersticas dos problemas formulados pela equao de Burgers que, mesmo
considerando condies iniciais suaves (como o caso deste problema), com o passar do tempo ir
1363
3 EQUAES MODELO 1D
35
ADBQUICKEST
0,5
0,25
TOPUS
0,25
0,2
0,4
x
FDPUS-C1
Exata
0,5
0,25
0,2
x
SDPUS-C1
0,4
Exata
0,5
FDPUS-C1
Exata
0,5
ADBQUICKEST
TOPUS
Exata
SDPUS-C1
0,25
0
0
0,2
0,4
0,2
0,4
Confronto das solues numricas

Exata
0,5
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
0,25
0
0
0,2
0,4
Figura 15 Comparao entre a soluo exata e os esquemas ADBQUICKEST, TOPUS, FDPUS-C1 e

SDPUS-C1 para a equao de Burgers sem viscosidade, com as condies inicial (129) e de contorno (130).
1364
3 EQUAES MODELO 1D
36
FDPUS-C1
SDPUS-C1
t = 0.25
t = 0.50
t = 0.75
t=1
t = 0.25
t = 0.50
t = 0.75
t=1
-1
0
-1
2
Semi-analtica
1
t = 0.25
t = 0.50
t = 0.75
t=1
-1
0
Figura 16 Solues numricas dos esquemas FDPUS-C1, SDPUSC1 e soluo semi-analtica para a equao de Burgers, com condio inicial dada por (132) e condio de contorno de Direchlet homogneas,
geradas em intervalos de tempo de 0.25, com tempo final de simulao t = 1.
1365
3 EQUAES MODELO 1D
37
ocorrer o choque. Neste caso simulado, com condio inicial suave dada por (132), o choque ocorre
para t = 1. Considerando esse tempo, uma malha com 400 clulas computacionais e = 0.3, na
Figura 17 apresentam-se a soluo exata, dada por (134), e os resultados numricos gerados com os
esquemas ADBQUICKEST, Superbee, FDPUS-C1 e SDPUS-C1. Por essa figura constata-se que as
solues numricas esto em tima concordncia com a soluo semi-analtica. Alm disso, pode-se
observar que os esquemas possuem desempenho similar.
ADBQUICKES
Superbee
1
Semi-Analtica
Semi-Analtica
ADBQUICKEST
Superbee
-1
0
-1
2
x
FDPUS-C1
x
SDPUS-C1
Semi-Analtica
Semi-Analtica
FDPUS-C1
SDPUS-C1
-1
0
-1
2
Figura 17 Comparao entre a soluo semi-analtica e os esquemas ADBQUICKEST, Superbee, FDPUSC1 e SDPUS-C1 para a equao de Burgers, sem viscosidade, com condio inicial (132) e condio de
contorno Direchlet homognea.
Equao de Buckley-Leverett
A equao de Buckley-Leverett no linear e possui funo fluxo no-convexa. Essa equao modela
escoamentos (em meios porosos) de dois fluidos imiscveis tais como gua e leo. Nesse caso, o vetor
das variveis conservadas e a funo fluxo so dados, respectivamente, por
=u
(135)
1366
3 EQUAES MODELO 1D
38
e
F (u) =
u2
1
4 (1
u2 +
u)2
(136)
Diferentemente das aproximaes (113) e (127), em que os esquemas so aplicados nas variveis
conservadas isto se uma varivel conservada, ento f = f (U , D , R ), o clculo da combinao
F ()i+ 1 ,j F ()i 1 ,j , para a equao de Buckley-Leverett, feito pela aplicao direta dos esquemas
2
2
na funo fluxo (136) isto

(137)
F ()i+ 1 ,j F ()i 1 ,j = Ff F (uU ), F (uD ), F (uR ) Fg F (uU ), F (uD ), F (uR ) ,
2
em que F (uU ), F (uD ) e F (uR ) so os valores da funo fluxo (136) avaliada em uU , uD e uR , respectivamente. As vrias sentenas matemticas que definem os esquemas, antes condicionadas aos intervalos
segundo o valor normalizado U , passam agora a serem condicionadas segundo normalizao
F (uU ) F (uR )
.
F (uU ) =
F (uD ) F (uR )
As posies D, U e R so definidas agora de acordo com o sinal das velocidades

F (u)
F (u)
i+1,j
i,j
t

, ui+1,j = ui,j ,
ui+1,j ui,j
x
u
(i+ 1 ,j =
2
t F (u) ,
ui+1,j = ui,j
x
u
(i 1 ,j =
2
(139)
i,j
t
x
(138)
F (u)
i,j
F (u)
i1,j
ui,j ui1,j
, ui,j = ui1,j ,
t

x F (u) i1,j ,
(140)
ui,j = ui1,j ,
em que
F (u) =
8u 8u2
.
(5u2 2u + 1)2
(141)
A equao de Buckley-Leverett tambm simulada em um cdigo desenvolvido pela autora e a

estabilidade tambm regida pela condio = xt 1.
Exemplo 3.10 Dados iniciais constantes por partes.
Neste caso a equao de Buckley-Leverett definida no domnio [1, 1], suplementada com a condies adicionais dadas por:
Condio inicial:

u(x, t = 0) =
1, 0.5 x 0;
0, caso contrrio
(142)
Condio Contorno: tipo Direchlet homognea, ou seja,

u(x = 0 1, t) = u(x = 1, t) = 0.
(143)
1367
3 EQUAES MODELO 1D
39
Para simulao so considerados uma malha de 800 clulas computacionais, = 0.3 e t = 0.4. A
soluo de referncia obtida com o esquema FOU em uma malha de 8000 clulas computacionais e
= 0.5. Na Figura 18 apresentam-se a soluo de referncia e os resultados numricos dos esquemas
ADBQUICKEST, TOPUS, FDPUS-C1 e SDPUS-C1. Nessa figura, faz-se tambm uma comparao das
solues numricas obtidas com os esquemas anteriormente citados e apresenta-se a ampliao da rea
demarcada. De forma geral, pode-se ver que os resultados numricos so satisfatrios. Salienta-se que o
esquema FDPUS-C1 apresenta o melhor resultado.
3.3.7 Leis de Conservao 1D: Outros Exemplos (Sistemas Hiperblicos No-Lineares)
Nesta subseo consideramos os sistemas hiperblicos de guas rasas e de Euler, ambos formulados
pela lei de conservao (109). As simulaes desses sistemas hiperblicos so feitas no pacote computacional CLAWPACK (Conservation LAW PACKage) de LeVeque [17] equipado com os limitadores de
fluxo dos esquemas ADBQUICKEST, TOPUS, FDPUS-C1 e SDPUS-C1. Em sntese, este pacote computacional resolve leis de conservao gerais 1D, 2D e 3D por meio do mtodo dos volumes finitos. As
solues para essas leis podem ser computadas usando o mtodo de primeira ordem de Godunov [17] ou
por sua variante de segunda ordem de preciso proposto por LeVeque [17] (Godunov de primeira ordem
com termo de correo).
Equaes de guas Rasas
As equaes de guas rasas modelam em geral o movimento hidrosttico de um fluido incompressvel com superfcie livre. Para derivar o sistema hiperblico considera-se o fluido em um canal com
comprimento unitrio, assume-se que a velocidade vertical desprezvel e considera-se que a velocidade
horizontal u aproximadamente constante em toda seco transversal do canal. Esse sistema hiperblico
(ver, por exemplo, LeVeque [17]) possui o vetor das variveis conservadas e a funo fluxo como
= [h, hu]T
e
1
F () = hu, hu + gh2
2
2
(144)
T
,
(145)
em que h, hu e g so, respectivamente, a profundidade do fluido no canal, a vazo e a constante gravitacional. Esse sistema hiperblico suplementado com as condies iniciais
u(x, 0) = u0 (x)
h(x, 0) = h0 (x)
e com extrapolao de ordem zero no contorno (ver LeVeque [17]).
Exemplo 3.11 Problema dam-break

Neste caso o sistema hiperblico de guas rasas definido em x [5, 5]. No incio da simulao
uma barragem que divide o domnio em duas partes, a saber, o reservatrio a esquerda e um canal de
fuga a direita, rompida. Esse problema conhecido na literatura por dam-break problem e as condies
adicionais impostas so:
Condies iniciais: Dados constantes por partes (do reservatrio e do canal de fuga, separados por uma
descontinuidade em x = 0), so dadas por

3, x 0,
(146)
h0 (x) =
1, x > 0,
1368
3 EQUAES MODELO 1D
40
ADBQUICKEST
TOPUS
1
Referncia
Referncia
ADBQUICKEST
TOPUS
0,5
0
-1
0
0
-0,5
x
FDPUS-C1
0,5
-1
Referncia
Referncia
FDPUS-C1
SDPUS-C1
-0,5
0,5
0,5
x
SDPUS-C1
0,5
0,5
0
-1
0,5
-0,5
x
Comparao
0,5
-1
-0,5
x
Ampliao
Referncia
Ampliao
0,5
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
0,4
Referncia
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
0
-1
-0,5
0,5
0,2
0,56
0,58
0,6
0,62
0,64
0,66
Figura 18 Comparao entre a soluo de referncia e os esquemas ADBQUICKEST, TOPUS, FDPUSC1 e SDPUS-C1 para a equao de Buckley-Leverett, com condio inicial (142) e condio de Direchlet
homognea no contorno.
1369
3 EQUAES MODELO 1D
41
com velocidade inicial nula, ou seja,

u0 (x) = 0
(147)
Condies de contorno: Extrapolao de ordem zero (ver LeVeque [17]).

As solues numricas so geradas pelo mtodo de segunda ordem (Godunov de primeira ordem com
termo de correo, ver LeVeque [17] ), em que os limitadores de fluxo dos esquemas ADBQUICKEST,
TOPUS, FDPUS-C1 e SDPUS-C1 so aplicados ao termo de correo. Para simulao so considerados
t = 2, = 0.9 e uma malha uniforme com 200 clulas computacionais. A soluo de referncia
calculada em 1000 clulas computacionais, pelo esquema de primeira ordem de Godunov (ver LeVeque
[17]), com = 0.5.
Nas Figuras 19 apresentam-se as solues de referncia e os resultados numricos obtidos para h
(profundidade) e comparam-se as solues numricas geradas por esses esquemas Por essas figuras, v-se
que os resultados numricos so satisfatrios e esto prximos da soluo de referncia. Observa-se, com
mais cuidado, que o esquema TOPUS sobrestima os valores da soluo prximo as descontinuidades,
os demais esquemas subestimam os valores nessas regies. Em geral, pode-se afirmar que o esquema
SDPUS-C1 apresenta o melhor resultado.
Equaes de Euler
As equaes de Euler constituem um sistema no linear de equaes hiperblicas e modelam, por
exemplo, o problema do tubo de choque (um problema de Riemann). Este problema tem sido usado na
literatura com frequncia para investigar vrios fenmenos fsicos, tais como reaes qumicas, efeitos
de ondas de choque e aerotermodinmica de veculos supersnicos/hipersnicos. Nesse caso, o vetor das
variveis conservadas e a funo fluxo so dados, respectivamente, por
= [, u, E]T
(148)
F () = [u, u2 + P, u(E + P )]T ,
(149)
Para fechar o sistema de equaes, considera-se a equao de gs ideal

1
P = ( 1)(E u2 )
2
em que = 1.4 a razo do calor especfico. As condies inicias so

[L , uL , PL ]T , x x0 ,
(x, 0) = 0 (x) =
[R , uR , PR ]T , x > x0
(150)
(151)
e as condies de contorno (ver detalhes em Toro [28])

(xL , t) = L (t) = [L (t), uL (t), PL (t)]T e (xR , t) = R (t) = [R (t), uR (t), PR (t)]T .
(152)
Exemplo 3.12 Condio inicial suave: hump

Neste caso, as equaes de Euler so definidas em x [1.5, 1.5] e suplementadas com condies
as condies adicionais:
Condies iniciais: Suaves para densidade e presso, com velocidade nula, dadas por

T
[0 , u0 , P0 ]T = 1 + 0.5 exp{80(0.15 + x)2 }, 0, 1 + 0.5 exp{80(0.15 + x)2 }0 ; (153)
1370
3 EQUAES MODELO 1D
42
ADBQUICKEST
TOPUS
3
Referncia
Referncia
ADBQUICKEST
TOPUS
1
-5
1
-2,5
2,5
x
FDPUS-C1
-5
-2,5
2,5
2,5
x
SDPUS-C1
Referncia
Referncia
FDPUS-C1
SDPUS-C1
1
-5
1
-2,5
2,5
-5
-2,5
Referncia
ADBQUICKEST
TOPUS
van Leer
1
-5
FDPUS-C1
SDPUS-C1
-2,5
2,5
Figura 19 Comparao entre a soluo de referncia e os esquemas ADBQUICKEST, TOPUS,FDPUS-C1

e SDPUS-C1 para o sistema hiperblico de guas rasas (varivel h), com condies iniciais (146)-(147) e
extrapolao de ordem zero no contorno.
1371
3 EQUAES MODELO 1D
43

A soluo de referncia para este problema de Riemann calculada em uma malha com 1500 clulas
computacionais, pelo mtodo de Godunov de primeira ordem (para mais detalhes, ver LeVeque [17]),
com = 0.5. As solues numricas so computadas pelo mtodo de Godunov com termo de correo,
aplicando-se os limitadores de fluxo dos esquemas ADBQUICKEST, TOPUS, FDPUS-C1 e SDPUS-C1,
em uma malha com 500 clulas computacionais e = 0.8. Ambas solues, de referncia e numrica,
so geradas para t = 1.
A Figura 20 mostra a soluo de referncia e os resultados numricos obtidos com os esquemas ADBQUICKEST, TOPUS, FDPUS-C1 e SDPUS-C1. Como complementao, apresenta-se uma comparao
entre as solues numricas e uma ampliao da rea demarcada. Por meio dessa figura, observa-se que
os resultados numricos, obtidos pelos esquemas anteriormente citados, so semelhantes e esto em boa
concordncia com a soluo de referncia.
Exemplo 3.13 Tubo de choque de Sod
Este problema de Riemann consiste em uma rarefao esquerda, um contacto e um choque direita.
As condies adicionais so dadas por:
Condies iniciais:

T
[0 , u0 , P0 ] =
[3, 0, 0]T , x < 0.5,

[1, 0, 1]T , x 0.5;
(154)

A soluo de referncia calculada em uma malha com 1500 clulas computacionais, pelo mtodo
de Godunov com termo de correo, em que considera-se o limitador de fluxo MC (ver LeVeque [17]),
com = 0.5. As solues numricas so obtidas em 500 clulas computacionais, com = 0.8. Ambas
solues, de referncia e numrica, so calculadas para (ver Figura 21) e u (ver Figura 22), em t = 0.1.
Nas Figuras 21 e 22, apresenta-se a soluo de referncia e os resultados numricos obtidos com os
esquemas ADBQUICKEST , TOPUS, FDPUS-C1 e SDPUS-C1. Ainda nessas figuras, faz-se uma comparao entre os resultados numricos e apresentam-se as ampliaes das regies demarcadas. Em geral,
v-se que os resultados numricos esto em tima concordncia com a soluo de referncia. Salienta-se
que os novos esquemas FDPUS-C1 e SDPUS-C1 tiveram desempenho semelhante aos esquemas ADBQUICKEST e TOPUS.
3.4. EDP Elpticas
As EDPs do tipo elptico aparecem com muita frequncia em problema de equilbrio, isto , em
problemas em que a soluo da EDP requerida em um domnio fechado sujeito a certas condies de
contorno. As equaes mais comuns so as equaes de Poisson dada por
2 u =
2u 2u
+ 2 = f (xy)
x2
y
(155)
e a de Laplace, dada por

2 u = 0.
(156)
O domnio de integrao de uma equao elptica em 2D sempre uma rea limitada pala fronteira
. As condies de contorno usualmente especificam os valores da funo ou os valores de sua derivada
1372
3 EQUAES MODELO 1D
44
ADBQUICKEST
TOPUS
Referncia
1,15
Referncia
1,15
TOPUS
ADBQUICKEST
1,1
1,1
1,05
1,05
-1,5
-1
-0,5
x
FDPUS-C1
0,5
1,5
-1,5
Referncia
1,15
-1
0,5
1,5
0,5
1,5
SDPUS-C1
1,1
1,1
x
SDPUS-C1
Referncia
1,15
FDPUS-C1
-0,5
1,05
1,05
-1,5
1,15
-1
-0,5
x
Comparao
0,5
1,5
-1,5
-1
-0,5
x
Ampliao
Referncia
Referncia
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
1,15
Ampliao
1,1
1,14
1,05
1
-1,5
-1
-0,5
0,5
1,5
1,13
1,29
1,32
1,35
1,38
Figura 20 Comparao entre a soluo de referncia e os esquemas ADBQUICKEST, TOPUS, FDPUS-C1

e SDPUS-C1 para as equaes de Euler (varivel ), com condies iniciais (153).
1373
3 EQUAES MODELO 1D
45
ADBQUICKEST
TOPUS
3
Referncia
Referncia
ADBQUICKEST
TOPUS
1
0
1
0,5
x
FDPUS-C1
0,5
x
SDPUS-C1
Referncia
Referncia
FDPUS-C1
SDPUS-C1
1
0
1
0,5
x
Comparao
0,5
Referncia
Referncia
x
Ampliao
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
1,8
2
Ampliao
1,6
1
0
0,5
1,4
0,535
0,54
0,545
0,55
0,555

e SDPUS-C1 para as equaes de Euler (para a varivel ), com condies iniciais (154).
1374
3 EQUAES MODELO 1D
46
ADBQUICKEST
TOPUS
Referncia
Referncia
TOPUS
ADBQUICKEST
0,5
0,5
0,75
0,75
0,25
0,25
0
0
0,2
0,4
0,6
x
FDPUS-C1
0,8
0,2
0,4
0,6
x
SDPUS-C1
0,8
Referncia
Referncia
FDPUS-C1
SDPUS-C1
0,5
0,5
0,75
0,75
0,25
0,25
0
0
0,2
0,4
0,6
x
Comparao
0,8
0,2
0,4
x
Ampliao
0,6
0,8
1
Ampliao
Referncia
0,68
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
0,75
0,66
0,5
0,25
0,64
0
0
0,2
0,4
0,6
0,8
0,62
0,635
Referncia
ADBQUICKEST
TOPUS
FDPUS-C1
SDPUS-C1
0,64
0,645
0,65

e SDPUS-C1 para as equaes de Euler (para a varivel u), com as condies iniciais (154).
1375
3 EQUAES MODELO 1D
47
normal ao longo do contorno , ou uma mistura de ambos, que so, respectivamente, as condies de
u
u
conhecida em ) e Robin (u = n
conhecida
Dirichlet (u conhecida em ), de Neumann ( n
em ). Em particular, considera-se nesse trabalho os problemas de Dirichlet e Neumann.
3.4.1 Problemas de Dirichlet
Considere a equao de Laplace
2u 2u
+ 2 =0
x2
y
(157)
definida em um domnio = {(x, y) R, 0 x a, 0 x b} e com u = g no contorno.

Considerando x = h = Nax e y = k = Nby , com Nx = Ny = 4, aproxima-se as derivadas da equao
por diferenas centrais e obtm-se
1
1
(ui+1,j 2ui,j + ui1,j ) + 2 (ui,j+1 2ui.j + ui,j1 ) = 0
2
h
k
(158)
com i, j = 1, 2, 3.
x
Para o ponto 1, conforme figura (3.4.1), tem-se i, j = 1, ento
1
1
(u2,1 u1,1 + u0,1 ) + 2 (u1,2 u1,1 + u1,0 )
h2
h
(159)
1
1
1
1
(u2,1 u1,1 ) + 2 (u1,2 u1,1 ) = 2 g0,1 2 g1,0
h2
h
h
k
(160)
Sem perda de generalidade, suponha que a = b = 1, ento h = k, assim

4u1,1 + u1,2 ) + u2,1 ) = (g0,1 + g1,0 ).
(161)
Para o ponto 2, ou seja i = 2 e j = 1, tem-se

1
1
(u3,1 2u2,1 + u1,1 ) + 2 (u2,2 2u2,1 + u2,0 ) = 0
2
h
h
(162)
1376
3 EQUAES MODELO 1D
48
u3,1 4u2,1 + u2,2 + u1,1 = g2,0
(163)
e assim por diante para os pontos 3, 4, , 9, conforme ilustrado na figura (3.4.1). No caso de Nx = 4 e
Ny = 3, a forma matricial dessas equaes dada por
4 1 0 1 0
0
1 0 1 4 1 0
0
0
0 1 4 1
1 4 1 0
0
0
0 1 4 1 0
1
0
0 1 0 1 4
u1
u2
u3
u4
u5
u6
g0,1 + g1,0
g2,0
g3,0
g4,0
g5,0
g3,3 + g4,2
(164)
3.4.2 Problema de Neumann no Retngulo

Considere a equao de Laplace
2u 2u
+ 2 =0
x2
y
definida em um domnio = {(x, y) R, 0 x 1, 0 x 1} e com
Pode-se mostrar que o problema de Neumann tem soluo
/
g(x, y)dL = 0,
(165)
u
n
= g(x, y) no contorno.
(166)
onde L o permetro. A soluo ser a nica, a menos de uma constante. A unicidade de U requer que
U seja especificada em algum ponto do domnio. como exemplo, sejam h = k = 12 .
No contorno x = 0, tem-se
1
U
(u1,j u1,j ) = g0,j = u1,j = 2hg0,j + u1,j
(167)
= g(0, j) =
x 0,j
2h
No contorno x = 1, tem-se
1
U
(u3,j u1,j ) = g2,j = u3,j = 2hg2,j + u1,j
= g(0, j) =
x 2,j
2h
No contorno y = 0, tem-se
1
U
(ui,1 ui,1 ) = gi,0 = ui,1 = 2kgi,0 + ui,1
= g(i, 0) =
x i,0
2k
No contorno y = 1, tem-se
1
U
(ui,3 ui,1 ) = gi,2 = ui,3 = 2kgi,3 + ui,1
= g(i, 2) =
x i,0
2k
(168)
(169)
(170)
Para o ponto interior, tomando-se i = 0 e j = 0, obtm-se

1
1
(u1,0 2u0,0 + u1,0 ) + 2 (u0,1 2u0,0 + u0,1 )
2
h
k
(171)
4u0,0 + 2u1,0 + 2u0,1 = 4hg0,0
(172)
Observa-se que para o problema que apresenta apenas um ponto interior, h nove equaes que devem
ser resolvidas em que o sistema resultante dado por
1377
3 EQUAES MODELO 1D
49
4 2 0 2 0
0
0
0
0
1 4 1 0 2 0
0
0
0
0 2 4
0
0 2 0
0
0
1 0
0
4 2 0 1 0
0
0 1 0 1 4 1 0 1 0
0
0 1 0 2 4
0
0 1
0
0
0 2 0
0
4 2 0
0
0
0
0 2 0 1 4 1
0
0
0
0
0 2 0 2 4
u1
u2
u3
u4
u5
u6
u7
u8
u9
2h
2g1
g2
2g3
g4
0
g6
g7
g8
2g9
(173)
Multiplicando a primeira, a segunda, , a nona linha por 41 , 12 , 14 , 12 , 1 12 , 14 , 12 e 14 respectivamente,

obtemos uma matriz simtrica essa por sua vez singular. Como consequncia, o problema numrico
pode no ter solues ou tem infinitas solues. Para obter uma nica soluo, necessrio especificar o
valor de u em algum ponto do domnio.
3.4.3 Exerccios
Exerccio 3.16 A funo U satisfaz a equao Uxx +Uyy 32U = 0 em cada ponto dentro do quadrado
x 1 e y 1 e est sujeita s condies de fronteira:
U = 0 em y = 1,
U = 1 em y = 1,
1
Ux = U em x = 1,
2
1
Ux = U em x = 1,
2
1 x 1
1 x 1
1 y 1
1 y 1
Tome h = k = 14 e mostre que possvel escrever as equaes resultantes na forma de um sistema

linear Au = b onde u um vetor coluna do tipo 35 1 e b um vetor 35 1 cujo vetor transposto
bt = (0, 0, ..., 0, 1, 1, 1, 1, 1)t e A uma matriz que pode ser escrita na forma particionada
B I
I B I
I B I
I B I
I B I
I B I
I B
onde
6 2
1 6 1
B=
1 6 1
1 6
1
2 25
4
e I =
(174)
1
1
(175)
1378
4 EQUAES DE NAVIER-STOKES
50
4. EQUAES DE NAVIER-STOKES
As equaes de Navier-Stokes foram desenvolvidas por Claude-Louis Navier e George Gabriell Stokes (1845). Essas equaes modelam escoamentos compressveis, incompressveis, turbulento e laminar
de fluidos. Essas equaes representam princpios fsicos bsicos, a saber?
conservao da massa;
conservao do momento;
conservao de energia;
Assim so usadas para descrever fenmenos climticos, correntes ocenicas, projees de carros e aeronaves, escoamento de fluidos em dutos, fluxo sanguneo, entre outros.
4.1. Equaes Governantes
As equaes que modelam um escoamento 2D de fluido newtoniano incompressvel4 so dadas desprezando as foras de campo (exemplo: gravidade), na forma adimensional e cartesiana [2, 12, 13],
por
u v
+
x y
u (uu) (uv)
+
+
t
x
y
v (vu) (vv)
+
+
t
x
y
= 0,

p
1 2u 2u
=
+
+ 2 ,
x Re x2
y
2

p
1
v
2v
=
+
+
.
y Re x2 y 2
(176)
(177)
(178)
As grandezas dimensionais u = u(x, y, t), v = v(x, y, t) e p = p(x, y, t) com unidades no SI

so, respectivamente, as componentes da velocidade, ao longo das direes x e y, e a presso sobre o
elemento de fluido localizado na posio (x, y) no instante t.
A equao (176) estabelece a conservao da massa, tambm sendo chamada de equao da continuidade, enquanto (177) e (178) so as equaes de Navier-Stokes propriamente ditas, simplificadas
para o tipo de escoamento incompressvel e newtoniano, e especificam, respectivamente, a conservao
do momento ao longo das direes x e y.
Estudando as equaes (176178) do ponto de vista fsico, classificam-se os seus termos da seguinte
maneira:
u v
+
=0
x y

divergente ou dilata
ao
2

(uu) (uv)
p
u 2u
u
+
+
=
+ Re
+ 2
t
x
y
x
x2
y

(179)
acelera
ao temporal
gradiente press
ao
acelera
ao convectiva
esf oros viscosos
2

(vu) (vv)
p
2v
v
v
+
+
=
+ Re
+
t
x
y
y
x2 y 2

termo transiente
termo
convectivo
gradiente
press
a
o
termo
viscoso
incompressvel indica que no ocorre variaes na densidade no fluido.
1379
51
4.2. Discretizao
A soluo numrica das equaes de Navier-Stokes no trivial, pois essas equaes caracterizam-se
pela necessidade da soluo de uma equao de Poisson para a presso a cada passo no tempo.
Encontramos tambm, dificuldades na soluo numrica desses escoamentos, tais como, a restrio
global V = 0 deve ser satisfeita a cada passo no tempo, assim os valores de V n+1 devem ser determinados por um mtodo que necessite das solues de um conjunto de equaes acopladas, assim, mesmo
para esquemas explcitos, h a necessidade de resoluo de sistema linear. Um outro obstculo que no
h condies de fronteira fsicas para a presso.
O processo descrito nesta seo diz respeito ao esquema de localizao das variveis de interesse na
malha deslocada. Porm esse procedimento anlogo ao esquema co-localizado.
4.2.1 Malha
A malha deslocada foi apresentada por Harlow e Welch (1965) e tornou-se padro no tratamento de
escoamentos incompressveis.
As incgnitas u, v e p, no so armazenadas no mesmo ponto. O domnio computacional divido
em um nmero finito de clulas retangulares com dimenses x e y. Em cada clula so armazenadas
a presso no centro e as velocidades nas faces, como mostra a Figura (23).
.vAi,j+1/2
dy
.u.i-1/2,j
.uAi+1/2,j
i,j
.vAi,j-1/2
dx
Figura 23 Representao da clula computacional presente na malha deslocada
As fronteiras do domnio computacional coincidem com as faces das clulas, como pode ser observado na Figura (24).
Fronteira de entrada
Dx
1,3
2,3
3,3
4,3
Dy
1,2
2,2
3,2
4,2
1,1
2,1
3,1
4,1
Fronteira Slida
Figura 24 Segmento de um domnio discretizado com a malha deslocada
1380
52
As incgnitas tambm podem ser armazenadas no mesmo ponto de malha, a este esquema denominase co-localizado, como pode ser observado nas Figuras (25-a) e (25-b).
Figura 25 Na malha co-localizada (a), todas as incgnitas so armazenadas no mesmo ponto (b).
4.3. Mtodo MAC

Em 1965 Welch, Harlow, Shannor e Daly descreveram um mtodo para tratamento de escoamento
com superfcies livres, que foi denominado Mtodo de MAC (marker and cell). Trata-se de um esquema
explcito para a soluo das equaes de Navier-Stokes.
A equao da conservao do momento na direo x discretizada no ponto (i + 1/2, j), a equao
do momento na direo y discretizada no ponto (i, j + 1/2) e a equao da continuidade discretizada
no centro da clula, ou seja, no ponto (i, j).
A discretizao temporal das equaes de momento baseada no mtodo de Euler explcito, ento
todos os termos que envolvem velocidades so discretizadas no nvel de tempo n. O termo envolvendo
a presso discretizado no nvel de tempo n + 1. Aps o clculo das velocidades un+1 e v n+1 , todas as variveis do escoamento avanam no tempo. A derivada temporal discretizada por diferenas
progressivas.
Discretizao da equao de momento na direo x
A discretizao da equao do momento na direo x, no ponto (i + 1/2, j) feito de acordo com a
Figura (26).
.u.i-1/2,j
.vAi,j+1/2
.vAi+1,j+1/2
i,j
.uAi+1/2,j
.vAi,j-1/2
ai+1,j
.uAi+3/2,j
.vAi+1,j-1/2
Figura 26 A discretizao da equao do momento na direo x feita no ponto (i + 1/2, j)
1381
53
Obtemos, assim
u

t i+1/2,j
u2

x i+1/2,j
(uv)

y i+1/2,j
p

x i+1/2,j
2 u

x2 i+1/2,j
2 u

y 2 i+1/2,j
=
=
=
=
=
=
n
un+1
i+1/2,j ui+1/2,j
(180)
t
2
ui+1,j u2i,j
x
(uv)i+1/2,j+1/2 (uv)i+1/2,j1/2
y
pi+1,j pi,j
x
ui1/2,j 2ui+1/2,j + ui+3/2,j
(x)2
ui+1/2,j+1 2ui+1/2,j + ui+1/2,j1
(y)2
(181)
(182)
(183)
(184)
(185)
Substituindo (180)-(185) em (177), temos

n
un+1
i+1/2,j ui+1/2,j
u2i+1,j u2i,j

x
ui1/2,j
(uv)i+1/2,j+1/2 (uv)i+1/2,j1/2
pi+1,j pi,j
=
y
x

ui+1/2,j+1 2ui+1/2,j + ui+1/2,j1
2ui+1/2,j + ui+3/2,j
+
,
(x)2
(y)2
+
reescrevendo
un+1
i+1/2,j
= uni+1/2,j

t 2
ui+1,j u2i,j
x
t
t
(uv)i+1/2,j+1/2 (uv)i+1/2,j1/2
(pi+1,j pi,j )
y
x

t
t
(u
2u
+
u
+
u
2u
+
u
+
i+1/2,j
i+3/2,j
i+1/2,j
i+1/2,j1 .
x2 i1/2,j
y 2 i+1/2,j+1
Assim, podemos reescreve-la, como

n
n
n
un+1
i+1/2,j = ui+1/2,j + t[CON Vi+1/2,j + V ISCi+1/2,j ] t
n+1
pn+1
i+1,j pi,j
(186)
onde,
n
CON Vi+1/2,j
(uv)ni+1/2,j+1/2 (uv)ni+1/2,j1/2
(u2 )ni+1,j (u2 )ni,j
+
,
=
x
y
denominado termo convectivo e

0 n
1
0 n
1
ui1/2,j 2uni+1/2,j + uni+3/2,j
ui+1/2,j+1 2uni+1/2,j + uni+1/2,j1
n
=
+
,
V ISCi+1/2,j
(x)2
(y)2
denominado termo viscoso.
n
, temos
Determinamos uma equao acoplada para esses termos, ou seja, denotamos por Fi+1/2,j
n
n
n
= uni+1/2,j + t[CON Vi+1/2,j
+ V ISCi+1/2,j
],
Fi+1/2,j
(187)
1382
54
reescrevendo (186), temos

n
un+1
i+1/2,j = Fi+1/2,j t
n+1
pn+1
i+1,j pi,j
(188)
Discretizao da equao do momento na direo y:

A discretizao da equao do momento na direo y, no ponto (i, j + 1/2) feita de modo anlogo
ao apresentado para a discretizao na direo x, porm, de acordo com a figura (27).
.vAi,j+3/2
p
.uai-1/2,j+1 ai,j+1
.uAi+1/2,j+1
.vAi,j+1/2
.u.i-1/2,j
.uAi+1/2,j
i,j
.vAi,j-1/2
Figura 27 A discretizao da equao do momento na direo y feita no ponto (i, j + 1/2)
Temos, assim
v

t i,j+1/2
v 2

y i,j+1/2
(uv)

x i,j+1/2
p

y i,j+1/2
2 v

y 2 i,j+1/2
2 u

x2 i,j+1/2
=
=
=
=
=
=
n+1
n
vi,j+1/2
vi,j+1/2
,
t
2
2
vi,j+1
vi,j
,
y
(uv)i+1/2,j+1/2 (uv)i1/2,j+1/2
,
x
pi,j+1 pi,j
,
y
vi,j1/2 2vi,j+1/2 + vi,j+3/2
,
(y)2
vi1,j+1/2 2vi,j+1/2 + vi+1,j+1/2
,
(x)2
(189)
(190)
(191)
(192)
(193)
(194)
obtemos
n+1
= Gni,j+1/2 t
vi,j+1/2
n+1
pn+1
i,j+1 pi,j
(195)
onde,
n
n
n
+ t[CON Vi,j+1/2
+ V ISCi,j+1/2
],
Gni,j+1/2 = vi,j+1/2
Gni,j+1/2 a equao acoplada,

n
=
CON Vi,j+1/2
(uv)ni+1/2,j+1/2 (uv)ni1/2,j+1/2
(v 2 )ni,j+1 (v 2 )ni,j
+
,
y
x
1383
55
denominado termo convectivo e

1
0 n
1
0 n
n
n
n
n
vi1,j+1/2 2vi,j+1/2
vi,j1/2 2vi,j+1/2
+ vi,j+3/2
+ vi+1,j+1/2
n
+
.
V ISCi,j+1/2 =
(y)2
(x)2
denominado termo viscoso.
As velocidades nessa etapa no satisfazem equao da continuidade (176). Assim, ajustamos as
mesma de modo a garantir a conservao da massa. Essa correo feita por meio da atualizao da
presso em cada clula (i, j). Assim, a presso obtida por meio da soluo de uma equao de Poisson.
2
2

D 2D
2 (uv)
p 2p
D 2 u2 2 v 2
+
+
2
+
=
.
(196)
x2 y 2
t
x2
y 2
xy
x2
y 2
Para isso, discretizamos a equao (176) no nvel de tempo n + 1
n+1
n+1
n+1
n+1
vi,j+1/2
vi,j1/2
u n+1 v n+1 ui+1/2,j ui1/2,j
+
= 0.
+
=

x i,j
y i,j
x
y
(197)
A discretizao da equao de Poisson (196) feita atravs da substituio de (188) e (195), das
n+1
expresses correspondentes para un+1
i1/2,j e vi,j1/ em (196), obtemos assim
n+1
n+1
pn+1
i+1,j 2pi,j + pi1,j
n+1
n+1
pn+1
i,j+1 2pi,j + pi,j1
=
(x)2
(y)2
" n
#
n
Gni,j+1/2 Gni,j1/2
1 Fi+1/2,j + Fi1/2,j
+
.
t
x
y
(198)
Partindo do campo de velocidade V n em t = tn, determinamos os valores para a velocidade e

presso no nvel de tempo n + 1 da seguinte forma:
Calculamos o lado direito da equao de Poisson (198). Escrevemos essa equao para todos os
pontos do domnio computacional, assim, obtemos um sistema de equaes lineares;
Resolvemos o sistema por um mtodo iterativo, por exemplo o mtodo de Gauss Seidel, para
calcular pn+1 ;
Substitumos a presso pn+1 nas expresses (188) e (195), atualizando os valores de ui+1/2,j e
vi,j+1/2 .
4.4. Iterao de Presso
n+1
Estimadas as componentes un+1
i+1/2,j e vi,j+1/2 para todas as clulas, ajustamos tais componentes por
meio da interao da presso, como segue.
n+1
em cada clula (i, j), dada por
Calcula-se a dilatao Di,j
n+1
Di,j
n+1
un+1
i+1/2,j ui1/2,j
n+1
n+1
vi,j+1/2
vi,j1/2
(199)
A dilatao proporcional ao fluxo de massa em cada clula, de modo que se a dilatao for nula
em todas as clulas, a equao da continuidade (176) satisfeita em todo o domnio e o escoamento
incompressvel. Para isso limita-se a dilatao por um determinado , em geral = N1 , onde N o
nmero de clulas do domnio computacional. Entretanto se D > , ajustes so necessrios.
Primeiramente, ajustamos a presso em cada clula, de maneira que
n+1
pn+1
i,j = pi,j + pi,j
(200)
1384
56
onde
p = D,
(201)
e dado por

=
2t
0
1
x2
1
y 2
,
(202)
onde 0 o fator de relaxao e para a estabilidade necessrio que 0 < 2. Neste presente trabalho
utilizaremos 0 = 1.5.
As componentes da velocidade, exceto aquelas especificadas em pontos de fronteira so ento ajustadas por meio das expresses:
un+1
i+1/2,j
un+1
i1/2,j
n+1
vi,j+1/2
n+1
vi,j1/2
t
pi,j
x
t
= un+1
i1/2,j x pi,j
t
= un+1
i,j+1/2 + y pi,j
t
n+1
= vi,j1/2
pi,j
y
= un+1
i+1/2,j +
O processo feito incrementando-se sucessivamente i e j, isto , percorrendo as clulas da esquerda

para a direita e de baixo para cima. Aps a atualizao da presso e das velocidades em cada clula,
repete-se o processo at que D < , para um certo valor k. Quando est condio est satisfeita, o
processo de iterao da presso est concludo, ou seja, todas as variveis do sistema foram avanadas
no tempo e ento passa-se para o prximo nvel de tempo. O processo repetido at que se atinja o
estado estacionrio.
4.5. Condies adicionais
As condies iniciais, no mtodo de MAC, so impostas somente sobre a velocidade. Inicialmente
devem satisfazer V = 0, porm, podemos empregar um campo de velocidades arbitrrio e utilizar o
mtodo de MAC, com incrementos no tempo, at que seja atingindo o estado estacionrio.
As condies de fronteira so impostas para a velocidade e presso. As clulas computacionais so
adjacentes s fronteiras do domnio computacional, como nos dois problemas abordados neste trabalho,
assim as condies de contorno so tratadas como segue.
Paredes rgidas no-escorregadias: Nesse tipo de fronteira a velocidade tangencial nula devido a
condio de no escorregamento. No mtodo apresentado, as componentes tangenciais da velocidade s paredes no esto definidas em pontos adjacentes a estas, assim
vt |Ext = vt |Int ,
(203)
onde vt |Ext e vt |Int , diz respeito a pontos em clulas adjacentes fronteira dentro e fora do domnio, respectivamente. Temos, ento
vt |parede =
vt |Ext + vt |Int
= 0,
2
(204)
como a parede considervel impermevel, a velocidade normal adjacente a esta nula, ou seja,
vn |parede = 0;
1385
57
Paredes rgidas, escorregadias ou mveis: Em paredes rgidas que se deslocam com uma certa
velocidade v0 ou em paredes escorregadias em que o fluido em contato se desloca com uma determinada velocidade, tem-se vt = v0 , aplicamos a seguinte condio
vt |Ext = 2v0 vt |int .
(205)
Assim,
vt |parede =
vt |Ext + vt |Int
= V0 ;
2
(206)
Regies de entrada de fluido: As velocidades normal e tangencial s interfaces so conhecidas,

podendo ser constante, como acontece com o problema de escoamento de fluido com um degrau,
simulado neste presente trabalho. Em geral, admite-se que o fluido entra na direo normal
parede, considerando gt = 0 e
vt |parede =
vt |Ext + vt |Int
=0
2
(207)
para a velocidade tangencial;

Regies de sada de fluido: Em geral nestas regies assumimos que no h variao das componentes da velocidade na direo normal a sada.
4.6. Condies de Estabilidade
O mtodo MAC explcito e devido a esse fato est sujeito a certas restries com relao ao valor
de t:
O escoamento no deve cruzar mais de uma clula em qualquer direo a cada etapa de tempo, o
que resulta em

y
x
,
.
(208)
t1 < min
|u|max |v|max
Esta restrio conhecida com condio CFL (Courant, Friedrichs e Lewy);
O termo difusivo presente nas equaes de momento exige que
Re
t2 <
2
1
1
+ 2
2
x
y
1
;
(209)
Hirt e Cook tambm destacam por meio de anlise linear que

t3 <
2
.
Remax(|u|2max , |v|2max )
(210)
Assim, t satisfaz as restries (208), (209) e (210) se

t min(t1 , t2 , t3 ).
Neste trabalho, o valor de t o mesmo para todos os passos no tempo e os critrios estabelecidos
por (208) e (209) so sempre satisfeitos.
1386
58
4.7. Discretizao upwind do termo convectivo

Seja a equao geral para o termo convectivo (CONV)

#

"

(u)
(v)

,
CONV() =
+

x
y
P
(211)
em que representa uma das variveis u ou v, e P um ponto da malha computacional (ver Figura 2).
Reescreve-se o termo convectivo por

(uu)
(uv)

.
=
+
(212)
CONV(u)

x
y
i+1,j
i+1,j
i+1,j
Nesta subseo, aplicado o esquema upwind QUICKEST adaptativo para aproximar o termo convectivo. Para exemplificao e sem perda de generalidade, considerado o segundo termo da equao
(212). Tal termo representa a velocidade u transportada com velocidade v na direo y. A discretizao
desse termo

v
1u
1 v
1u
1
i+1,j+ 2 i+1,j+ 2
i+1,j 2 i+1,j 2
(vu)
,
(213)

y
y
(i+1,j)
em que os valores vi+1,j+ 1 e vi+1,j 1 so aproximados utilizando-se mdias aritmticas:

2
vi+1,j+ 1
(vi+ 3 ,j+ 1 + vi+ 1 ,j+ 1 )

2
vi+1,j 1
2
(vi+ 3 ,j 1
2
2
2
,
2
+ vi+ 1 ,j 1 )
2
2
.
2
(214)
Na representao da equao (213), os pontos (i + 1, j + 12 ) e (i + 1, j 12 ) no so, em princpio,

definidos na malha e, portanto, os valores da propriedade u nesses pontos no esto disponveis. Assim,
os valores da propriedade transportada u em (i + 1, j + 12 ) e (i + 1, j 12 ) so aproximados utilizando-se
os pontos vizinhos D, R e U em relao a face f = j + 12 como mostrado para este caso:
Para ui+1,j+ 1 , com vi+1,j+ 1 > 0:
2
D=(i + 1, j + 1),
U=(i + 1, j),
R=(i + 1, j 1);
U=(i + 1, j + 1),
R=(i + 1, j + 2);
U=(i + 1, j 1),
R=(i + 1, j 2);
U=(i + 1, j),
R=(i + 1, j + 1).
Para ui+1,j+ 1 , com vi+1,j+ 1 0:

2
D=(i + 1, j),
Para ui+1,j 1 , com vi+1,j 1 > 0:
2
D=(i + 1, j),
Para ui+1,j 1 , com vi+1,j 1 0:
2
D=(i + 1, j 1),
1387
59
Aps a definio do estencil computacional (D, R, U) e considerando o esquema ADBQUICKEST,

as aproximaes para ui+1,j+ 1 e ui+1,j 1 so obtidas por
2
Aproximaes para ui+1,j+ 1 , quando vi+1,j+ 1 > 0:

2
(2 C)ui+1,j (1 C)ui+1,j1 ,
u
i+1,j (0, a),
i+1,j [a, b],

D ui+1,j+1 + U ui+1,j R ui+1,j1 , u
ui+1,j+ 1
2
(1 C)ui+1,j+1 + Cui+1,j ,
ui+1,j ,
em que
u
i+1,j =
u
i+1,j (b, 1),
u
i+1,j
/ [0, 1],
ui+1,j ui+1,j1
.
ui+1,j+1 ui+1,j1
Aproximaes para ui+1,j+ 1 , quando vi+1,j+ 1 0:

2
u
i+1,j+1 (0, a),
(2 C)ui+1,j+1 (1 C)ui+1,j+2 ,
i+1,j+1 [a, b],

D ui+1,j + U ui+1,j+1 R ui+1,j+2 , u
=
ui+1,j+ 1
2
(1 C)ui+1,j + Cui+1,j+1 ,
ui+1,j+1 ,
em que
u
i+1,j+1 =
u
i+1,j+1 (b, 1),
u
i+1,j+1
/ [0, 1],
ui+1,j+1 ui+1,j+2
.
ui+1,j ui+1,j+2
Aproximaes para ui+1,j 1 , quando vi+1,j 1 > 0:

2
u
i+1,j1 (0, a),
(2 C)ui+1,j1 (1 C)ui+1,j2 ,
i+1,j1 [a, b],

D ui+1,j + U ui+1,j1 R ui+1,j2 , u
=
ui+1,j 1
2
(1 C)ui+1,j + Cui+1,j1,
ui+1,j1,
em que
u
i+1,j1 =
u
i+1,j1 (b, 1),
u
i+1,j1
/ [0, 1],
ui+1,j1 ui+1,j2
.
ui+1,j ui+1,j2
Aproximaes para ui+1,j 1 , quando vi+1,j 1 0:

2
u
i+1,j (0, a),
(2 C)ui+1,j (1 C)ui+1,j+1 ,
i+1,j [a, b],

D ui+1,j1 + U ui+1,j R ui+1,j+1 , u
ui+1,j 1
2
(1 C)ui+1,j1 + Cui+1,j ,
ui+1,j ,
u
i+1,j (b, 1),
u
i+1,j
/ [0, 1],
1388
5 SIMULAES
60
em que
u
i+1,j =
ui+1,j ui+1,j+1
.
ui+1,j1 ui+1,j+1
5. SIMULAES
Foram simulados o escoamento de fluidos em um duto simples e numa geometria com um degrau. As
implementaes computacionais foram desenvolvidas nas linguagens C++ e Fortran 90. A visualizao
dos resultados foram realizadas nos programas Matlab R2006B e visual3D.
5.1. Escoamento de fluido em duto simples
Inicialmente, o fluido de viscosidade cinemtica em repouso e densidade constante preenche uma
regio de comprimento G e altura H de acordo com a Figura (28).
Velocidade = 0
AFronteira slida
Velocidade
especificada
ARegio de escoamento
Fronteira
de sada
Fronteira
de entrada
AFronteira slida
Velocidade = 0
Figura 28 Escoamento de fluido em um duto simples
Ao ser liberado, o fluido entra com velocidade U0 em uma regio de seo transversal H. As velocidades do fluido prximo as paredes laterais nula, assim desenvolve-se um perfil parablico no
escoamento.
5.1.1 Resultados com malha deslocada
Foram testados os seguintes parmetros de viscosidade: 0.001 e 0.004. Podemos observar, de acordo
com as escalas de cores apresentas nas Figuras (29), (30), (31) e (32) que prximo as paredes temos uma
regio de alta presso que produz um campo de velocidade at o nulo. Nas regies de baixa presso
podemos observar que produzido um campo de alta velocidade.
5.1.2 Resultados com malha co-localizada
Foram simulados o escoamento para os valores de Reynolds iguais a: 1.0, 100.0, 250.0 e 500.0.
Podemos observar o perfil parablico em todas as simulaes, mas este perfil mais evidente quando
Re = 1.0 porque as foras viscosas so mais significativas do que as foras inerciais. Observamos ainda
nos campos de presso que a cor lils, regio de baixa presso, produz um campo de alta velocidade.
E o gradiente ocorre at a cor vermelha nas paredes, regio de alta presso, que produz um campo de
velocidade at o nulo. Neste projeto foram considerados G = 30 e H = 0.75, esses resultados podem
ser constatados nas Figuras (33), (34), (35), (36), (37), (38), (39) e (40).
5.2. Escoamento de fluido com um degrau
Inicialmente, o fluido de viscosidade cinemtica em repouso e densidade constante preenche uma
regio de comprimento G e altura H, constituda de um degrau de dimenses g e h como esboa a Figura
(41).
1389
5 SIMULAES
61
(a)
(b)
(c)
(d)
Figura 29 Campo de velocidade com = 0.001 nos tempos (a) 0.1; (b) 0.2; (c) 0.4 e (d) 0.5.
1390
5 SIMULAES
62
(a)
(b)
(c)
(d)
Figura 30 Campo de presso com = 0.001 nos tempos (a) 0.1; (b) 0.2; (c) 0.4 e (d) 0.5.
1391
5 SIMULAES
63
(a)
(b)
(c)
(d)
Figura 31 Campo de velocidade com = 0.004 nos tempos (a) 0.1; (b) 0.2; (c) 0.4 e (d) 0.5.
1392
5 SIMULAES
64
(a)
(b)
(c)
(d)
Figura 32 Campo de presso com = 0.004 nos tempos (a) 0.1; (b) 0.2; (c) 0.4 e (d) 0.5.
Figura 33 Campo de velocidade com Re = 1.0
1393
5 SIMULAES
65
Figura 34 Campo de presso com Re = 1.0
1394
5 SIMULAES
66
G
Entrada
au0
Sada
Ah
H
ag
Figura 41 Escoamento de fluido com um degrau
1395
5 SIMULAES
67
Ao ser liberado, o fluido entra com velocidade U0 em uma regio de seo transversal h. A incompressibilidade faz com que a mesma quantidade de fluido que entra por essa regio saia por uma regio
de seo transversal H.
O escoamento do fluido afetado pela presena do degrau. Ao deixar a regio de comprimento g e
altura h, o fluido tende ocupar a regio de comprimento G g e altura H desenvolvendo uma rea de
recirculao (aparecimento de vrtices) prximo a parede lateral.
5.2.1 Resultados com malha deslocada
Foram testados os seguintes parmetros de viscosidade: 0.001, 0.004. Podemos observar, de acordo
com as escalas de cores apresentas nas Figuras (42), (43), (44), (45), (46) e (47), que prximo as paredes
temos uma regio de alta presso que produz um campo de velocidade at o nulo. Nas regies de baixa
presso podemos observar que produzido um campo de alta velocidade. Podemos constatar tambm,
o aparecimento dos vrtices prximo a parede lateral para todos os valores de Reynolds informado e em
alguns casos o parecimento da regio de recirculao na parede superior.
Figura 42 Campo de gradiente de velocidade com = 0.001
5.2.2 Resultados com malha co-localizada

Foram simulados o escoamento para os valores de Reynolds iguais a: 1.0, 100.0, 250.0 e 500.0.
Podemos observar o perfil parablico em todas as simulaes, mas este perfil mais evidente quando
Re = 1.0 porque as foras viscosas so mais significativas do que as foras inerciais. Observamos ainda
nos campos de presso que a cor lils, regio de baixa presso, produz um campo de alta velocidade.
E o gradiente ocorre at a cor vermelha nas paredes, regio de alta presso, que produz um campo de
velocidade at o nulo. Constatamos tambm, o aparecimento da regio de recirculao no momento em
que o fluido deixa a menor rea para ocupar a maior rea, ou seja, quando fluido sai do degrau. Neste
projeto foram considerados G = 30.0, g = 7.50, H = 1.50 h = 0.75, esses resultados podem ser
constatados nas Figuras (48), (49), (50), (51), (52), (53), (54),(55),(56),(57),(58) e (59).
1396
5 SIMULAES
68
Figura 43 Campo de velocidade com = 0.001
Figura 44 Campo de presso com = 0.001
1397
5 SIMULAES
69
Figura 45 Campo de gradiente de velocidade com = 0.004
Figura 46 Campo de velocidade com = 0.004
1398
5 SIMULAES
70
Figura 47 Campo de presso com = 0.004
Figura 49 Ampliao da Figura (48), campo de velocidade com Re = 1.0
1399
5 SIMULAES
71
s
1400
5 SIMULAES
72
1401
6 ESCOAMENTOS DE FLUIDOS INCOMPRESSVEIS LAMINARES 2D: OUTROS EXEMPLOS73

6. ESCOAMENTOS DE FLUIDOS INCOMPRESSVEIS LAMINARES 2D: OUTROS EXEMPLOS
Nesta seo so apresentados os resultados numricos de simulaes de escoamentos de fluidos incompressveis laminares com superfcies livres mveis em 2D. Esses resultados so obtidos com os
esquemas FDPUS-C1 e SDPUS-C1, implementados no ambiente de simulao Freeflow 2D de Castelo
et al. [5].
6.1. Colapso de uma Coluna fluido
Os esquemas FDPUS-C1 e SDPUS-C1 so validados na simulao do problema do colapso de uma
coluna de fluido. Esse tipo de escoamento com superfcie livre conhecido na literatura como broken
dam e foi originalmente estudado por Martim e Moyce [20] que investigaram experimentalmente o espalhamento horizontal (posio frontal do fluido) e a taxa de decaimento (altura) da coluna de fluido com o
tempo. Recentemente, Colagrossi e Landrini[6] apresentaram dados experimentais, numricos e tericos
para esse escoamento. Esse problema tem sido usado com frequncia na literatura para a validao de
mtodos numricos (ver, por exemplo, Queiroz [23]).
Em resumo, o problema consiste de uma coluna de fluido em equilbrio hidrosttico confinada entre
paredes impermeveis fixas (ver Figura 60) e sujeita ao da gravidade. A fim de comparar os resultados
numricos com os dados dos autores acima mencionados, considera-se a condio de contorno free-slip
aplicada nas paredes rgidas.
a
g
ymax
xmax
Figura 60 Colapso de fluido. Diagrama esquemtico do problema Broken Dam.
Nesse caso, a coluna de fluido um quadrado, com lados a = b = 0.057m (ver Figura 60). Para
simulao utilizada uma malha com 1000 200 clulas computacionais e os seguintes dados:
Dimenso do domnio: 0.5m 0.1m;
Constante gravitacional: g = 9.81m/s2 ;
Escala de comprimento: L = a = 0.057m;
Escala de velocidade: V0 = g L = 0.74778m/s;
Coeficiente de viscosidade cinemtica: = 106 m2 /s;
Nmero de Reynolds: Re =
Nmero de Froud: F r =
V0 L
V0
gL
= 42623.27;
= 1.
A Figura 61 mostra a comparao entre os dados numrico/experimental/terico apresentados por

Colagrossi e Landrini [6] e os resultados numricos gerados pelos esquemas FDPUS-C1 (Fig. 61-(a)) e
1402

SDPUS-C1 (Fig. 61-(b)) para a posio frontal do movimento do fluido (xmax ), em funo do tempo,
para o tempo final t = 0.2s. Os dados numricos apresentados por Colagrossi e Landrini [6] so gerados
com as formulaes SPH (Smoothed Particle Hydordynamics method) de Colagrossi e Landrini [6], BEM
(Bondary Element Method) de Greco et.al [14], Level Set de Colicchio et al. [7]; o dado experimental
de Martim e Moyce [20], e o dado terico de Ritter [24]. Por essa figura, observa-se que os resultados
numricos obtidos com os esquemas FDPUS-C1 e SDPUS-C1 esto em tima concordncia com o dados
apresentados por Colagrossi e Landrini.
ADBQUICKEST
TOPUS
Num. (SPH) de Colagrossi e Landrini (2003)

Num. (BEM) de Greco et al. (2003)
Num. (Level Set) de Colicchio et al. (2003)
Sol. de Ritter (1982)
Exp. de Martim e Moyce (1952)
Num. (SPH) de Colagrossi e Landrini (2003)

Num. (BEM) de Greco et al. (2003)
Num. (Level Set) de Colicchio et al. (2003)
Sol. de Ritter (1982)
Exp. de Martim e Moyce (1952)
SDPUS-C1
xmax /a
xmax /a
FDPUS-C1
1
0
1
0,5
1,5
2,5
0,5
g/a
1,5
2,5
g/a
Figura 61 Colapso de fluido (Colagrossi e Landrini).

Comparao entre os dados numricos/terico/experimental e os esquemas FDPUS-C1 (a) e SDPUS-C1 (b) para xmax em funo do tempo.
Para ilustrao desse caso, consideram-se os resultados obtidos com o esquema SDPUS-C1. Assim,
nas Figuras 62, 63 e 64 so apresentados, respectivamente, os resultados numricos gerados por esse
esquema (com respeito a evoluo da superfcie livre do fluido, para os campos de presso e velocidade,
nas direes x e y), para os tempos t = 0.05s, t = 0.1s e t = 0.2s. Os resultados numricos obtidos
com o esquema FDPUS-C1 so omitidos devido a similaridade com os resultados gerados pelo esquema
SDPUS-C1.
6.2. Jato Livre sobre uma Superfcie Rgida Impermevel
Nesta seo os esquemas FDPUS-C1 e SDPUS-C1 so aplicados na resoluo do problema de escoamento de um jato livre, em regime laminar, incidindo perpendicularmente a uma superfcie rgida
impermevel e sob efeito do campo gravitacional (ver Figura 65). O problema simulado em dois regimes: para baixos valores do nmero de Reynolds e outro a alto valor nmero de Reynolds. No caso
de alto valor do nmero de Reynolds, os resultados numricos so comparados com a soluo analtica
proposta por Watson [29] e para baixos valores do nmero de Reynolds, as solues numricas so comparadas com dados tericos e experimentais apresentados por Cruickshank e Munson [8]. Nos dois casos
adotada a condio no-sleep nas paredes.
Caso 1 - Jato livre a baixos nmeros de Reynolds. Neste caso, os resultados numricos para os valores
do raio do jato do fluido a = a(x) com relao a altura x (ver Figura 66), gerados pelos esquemas
FDPUS-C1 e SDPUS-C1, so comparados com os dados apresentados por Cruickshank e Munson [8].
Para simulao do problema, considera-se uma malha com 800 110 clulas computacionais e os
seguintes dados:
1403
Campo de presso
Campo de velocidade na direo x
Campo de velocidade na direo y
Figura 62 Colapso de fluido (Colagrossi e Landrini). Resultados numricos do esquema SDPUS-C1 para
a evoluo da superfcie livre do fluido (campos de presso e velocidade, nas direes x e y) em t = 0.05s.
1404
Campo de presso
1405
Campo de presso
1406
Injetor
Ejetor
Ejetor
Superfcie Rgida
Figura 65 Jato livre sobre uma superfcie rgida impermevel. Diagrama esquemtico.
Injetor
V0
a0
Superfcie Rgida
Figura 66 Jato livre a baixo nmero de Reynolds. Representao esquemtica.
1407
Domnio: 0.224m 0.0308m;
Escala de comprimento: L = a0 = 0.00476m;
Distncia do injetor at a superfcie rgida: H = 0.028m/s;
Coeficiente de viscosidade cinemtica: = 0.00551m2 /s;
Vazo Q, nmero de Reynolds Re =

Q = 16.60 106 m3 /s,
Q = 3.53 106 m3 /s,
Q = 0.58 106 m3 /s,
Q
a0 , velocidade
Q
Re = a
= 0.63292,
0
Q
Re = a
= 0.13459,
0
Q
Re = a
= 0.02211,
0
de injeo (escala) V0 =
Re
a0 :
Re
a0 = 0.73264m/s;
Re
a0 = 0.15579m/s;
Re
a0 = 0.02559m/s.
V0 =
V0 =
V0 =
Na Figura 67 apresenta-se a comparao entre os dados experimentais e tericos, apresentados por

Cruickshank e Munson [8], e os resultados numricos gerados pelos esquemas FDPUS-C1 (Fig. 67-(a))
e SDPUS-C1 (Fig. 67-(b)), para a = a(x) em funo da altura x. Por essa figura, pode ser observado
que as solues numricas esto em concordncia com os dados experimentais e tericos. Entretanto,
surpreendentemente, no caso em que a vazo 3.53 106 m3 (Re = 0.13459) os dados apresentam
discrepncias.
FDPUS-C1
0
FDPUS-C1 TEORICO EXP Q, cm3 / s

16.60
3.53
0.58
0,4
0,8
0,8
1,2
1,2
1,6
1,6
2,4
2,4
0,4
0,8
a, cm
1,2
1,6
SDPUS-C1 TEORICO EXP Q, cm / s

16.60
3.53
0.58
0,4
x, cm
x, cm
SDPUS-C1
0,4
0,8
a, cm
1,2
1,6
Figura 67 Jato livre a baixo nmero de Reynolds. Comparao entre os dados (experimentais e numricos)
por Cruickshank e Munson e os esquemas FDPUS-C1 (a) e SDPUS-C1 (b) para os valores de a(x).
Apenas como ilustrao, na Figura 68, 69 e 70 so apresentados, respectivamente, os resultados

numricos nos tempos t = 1s, t = 2s e t = 8s, gerados pelo esquema FDPUS-C1, para o nmero de
Reynolds Re = 0.02211, com respeito a evoluo da superfcie livre do fluido, para os campos de presso
e velocidade (nas direes x e y). Os resultados obtidos com o esquema SDPUS-C1 so omitidos, para
esse problema, devido a similaridade com os resultados apresentados nessas figuras.
Caso 2 - Jato livre a alto nmero de Reynolds. Neste caso, a alto valor do nmero de Reynolds, os
resultados numricos gerados pelos esquemas FDPUS-C1 e SDPUS-C1 so verificados para a altura H
entre a superfcie rgia e a superfcie livre do fluido (ver Figura 71). Para essa verificao, os resultados
numricos so confrontados com a soluo analtica proposta por Watson [29]. Desprezando os efeitos
1408
Campo de presso
Figura 68 Jato livre a baixo nmero de Reynolds. Resultados numricos do esquema FDPUS-C1 para a
evoluo da superfcie livre do fluido (campos de presso e velocidade, nas direes x e y) em t = 1s.
1409
Campo de presso
1410
Campo de presso
1411

de tenso superficial, aps o escoamento atingir o estado estacionrio, Watson deduziu a seguinte relao
explcita para a altura H
H(x) =
(x+l)
3 Q
x x0
(215)

a + 12
(x) x < x0
3 3c2
em que Q a vazo definida por Q = aU , a = L/2,

"
#
3 3c( c) 3
aRe,
x0 =
2 2
#
"
3 3c(2 3c )
aRe
l =
2 2
(216)
(217)
3 3c3 x
,
(x) =
2( c 3) U
2
(218)
nas quais, c uma constante dada por c = 1.402 e U a velocidade de injeo. Para mais detalhes sobre
a descrio dessa soluo ver [29].
L
Injetor
Superfcie Rgida
Ejetor
Ejetor
H
Superfcie Rgida
Figura 71 Jato livre a alto nmero de Reynolds. Representao esquemtica.
Para simulao do problema, consideram-se quatro malhas de 100 10, 250 25, 500 50 e
1000 100 clulas computacionais e os seguintes dados:
1412
REFERNCIAS
84
Dimenso do domnio: 0.1m 0.025m;
Escala de comprimento: L = 2a = 0.004m;
Escala de velocidade: V0 = g L = 1m/s;
Coeficiente de viscosidade cinemtica: = 2 106 m2 /s;
Nmero de Reynolds: Re =
Nmero de Froud: F r =
V0 L
V0
gL
= 2000;
= 5.04781.
Na Figura 72 apresenta-se a comparao da soluo analtica de Watson com os resultados numricos gerados pelos esquemas FDPUS-C1 (Fig. 72-(a)) e SDPUS-C1 (Fig. 72-(b)), nas quatro malhas
consideradas. V-se por essa figura que os resultados numricos gerados pelos esquemas FDPUS-C1 e
SDPUS-C1 esto em boa concordncia com a soluo analtica de Watson.
FDPUS-C1
SDPUS-C1
3
Analtica
Malha 100 10
Malha 250 25
Malha 250 50
Malha 1000 100
H/(0.5 L)
H/(0.5 L)
Analtica
Malha 100 10
Malha 250 25
Malha 250 50
Malha 1000 100
0,005
0,01
0,015
x/(0.5 L Re)
0,02
0,025
0,005
0,01
0,015
0,02
0,025
x/(0.5 L Re)
Figura 72 Jato livre a alto nmero de Reynolds. Comparao entre a soluo analtica de Watson e os
esquemas FDPUS-C1 (a) e SDPUS-C1 (b), para a altura H entre a superfcie rgida e a superfcie livre do
fluido.
Como ilustrao, nas Figuras 73, 74 e 75 so apresentados, respectivamente, os resultados numricos

nos tempos t = 0.1s, t = 0.2s e t = 0.8s, gerados pelo esquema SDPUS-C1, com respeito a evoluo
da superfcie livre do fluido para os campos de presso e velocidade (nas direes x e y). Os resultados
numricos gerados pelo esquema FDPUS-C1 so similares aos apresentados nessas figuras, portanto no
so esboados.
Referncias
[1] M. A. Alvez, P. J. Oliveira F. T. Pinho, A Convergent and universally bounded interpolation scheme
for the treatment of advection, International Journal for Numerical Methods in Fluids, 41 (2003),
47-75.
[2] D. A. Anderson, J. C. Tannehill e R. H. Pletcher, Computacional Fluid Mechanics and Heat
Transfer, McGraw-Hill (1997).
1413
REFERNCIAS
85
Campo de presso
Figura 73 Jato livre a alto nmero de Reynolds. Resultados numricos do esquema SDPUS-C1 para a
evoluo da superfcie livre do fluido (campos de presso e velocidade, nas direes x e y) em t = 0.1s.
1414
REFERNCIAS
86
Campo de presso
1415
REFERNCIAS
87
Campo de presso
1416
REFERNCIAS
88
[3] M. Arora e P. L. Roe, A weel-behaved TVD limiter for high-resolution calculation of unsteady
flow, Journal Computacional Physics, 132 (1997), 3-11.
[4] J. M. Burgers, A mathematical model illustrating the theory of turbulence, Advances in Applied
Mechanics, 1 (1948), 171-199.
[5] A. Castelo, M.F. Tom, S. Mckee, J. A. Cuminato e C.N.L. Cezar, Freeflow: an integrated simulation system for three-dimensional free surface flows, Computing and Visualization in Science, 2
(2000), 1-12.
[6] M. Colagrossi e M. Landrini, Numerical simulation of interface flow by smoothed particle hydrodynamics, Journal of Computational Physics, 191 (2003), 448-475.
[7] G. Colicchio, M. Landrini e L. C. Chaplin, Level-set modeling of the air-water flow generated by a
surface piercing body, Proc 8th Int, Conference on Numerical Ship Hydrodynamics, korea (2003).
[8] CRUICKSHANK, J. O., AND MUNSON, B. R.The viscou-gravity jet in stagnation flow. Journal
of Fluids Mechanic, Vol. 193, pp. 111-127, 1987.
[9] C. Cunha, Mtodos Numricos, Campinas, 2a Edio (2000).
[10] V. G. Ferreira e R. A. B. Queiroz, Simulao computacional de problemas em dinmica dos fluidos.
Material do minicurso, In: 6th Brazilian Conference on Dynamics, Control and Their Applications, So Jos do Rio Preto-SP (2007).
[11] V. G. Ferreira, F.A. Kurokawa, R. A. B. Queiroz, M.K. Kaibara, C.M. Oish, J.A. Cuminato, A.
Castelo, M. F. Tom e S. Mckee, Assessment of a high-order finite difference upwind scheme for
the simulation of convection-diffusion problems, International Journal for Numerical Methods in
Fluids, 60 (2009), 1-26.
[12] C. A. J. Fletcher, Computational Techniques for Fluid Dynamics, Springer Series in Computational Physics, Vols. I and II, 2nd ed., Springer, Berlin (1991).
[13] A. O. Fortuna, Tcnicas Computacionais para Dinmica dos Fluidos: Conceitos Bsicos e Aplicaes, EDUSP (2000).
[14] M. Greco, M. Landrini e O. M. Faltisen, Impact flows and toads on ship-deck structures, Journal
Fluid Structures, 19 (2004), 251-275.
[15] M. K. Kaibara, V. G. Ferreira e H. A. Navarro, Upwinding finite-difference schemes for convection
dominated problems part I: theoretical results, Notas do ICMC, Srie Computao, 80 (2004).
[16] B. P. Leonard, Simple high-accuracy program for convective modeling of discontinuites, International Journal for Numerical Methods in Fluids, 8 (1988), 1291-1318.
[17] R. J. LeVeque, Finite volumes methods for hyperbolic problems. Press Syndicate of the University of Cambridge (2004).
[18] G. A. B. Lima, Desenvolvimento de estratgias de captura de descontinuidades para leis de conservaco e problemas realcionados em dinmica dos fluidos, Instituto de Cincias Matemticas e
de Computao, Universidade de So Paulo/Brasil (2010).
[19] F. P. Martins e R. A. B. Queiroz, Aspectos tericos e computacionais da simulao numrica de
escoamentos incompressveis 2D, Relatrio Tcnico, n. 312, Biblioteca do ICMC-USP (2007).
1417
REFERNCIAS
89
[20] J. C. Martin e W. J. Moyce, An experimental study of the collapse of liquid columns on a rigid
horizontal plate, Philosophical transaction of royal society of London series, A Mathematical,
Physical and Engineering Sciences, 244 (1952), 312-32.
[21] G. W. Platzman, An exact integral of complected spectral equation for unsteady one-dimensional
flow, Manuscript received, The University of Chicago (19640.
[22] A. Quarteroni, R. Sacco e F. Saleri, Numerical Mathematics, Texts in Apllied Mathematics, n.
37, Springer (2000).
[23] R. A. B. Queiroz e V. G. Ferreira, Minicurso: Soluo Numrica de Equaes Diferenciais Parciais com Aplicaes em Escoamentos de Fluidos, I Encontro Regional de Matemtica Aplicada e
Computacional - I ERMAC Bauru (2008).
[24] A. Ritter, Die fortpflanzung der wasservellen, Z. Ver Deyt Ing., 36 (1982).
[25] G. D. Smith, Numerical solution of partial differential equations, Claredon Press, Oxford, 3a.ed.
(1985).
[26] B. Song, On a higher-order bounded discretization scheme, International Journal for Numerical
Methods in Fluids, 32 (2000), 881-897.
[27] J. W. Thomas, Numerical Partial Differential Equations: Finite Difference Methods, Springer,
New York, (1995) 344-347.
[28] E.F. Toro, Rieman solvers and numerical methods fo fluids dynamics, New york (1999).
[29] E. J. Watson, The radial spread of a liquid jet over a horizontal plane, Journal of Fluid Mechanics,
20 (1964), 481-499.
[30] W. Wei e Y. Gu, Conjugated filter approach for solving burgers equation, Journal of Computational and Applied Mathemathics, 149 (2002),439-456.
1418

Simulação Computacional de Problemas em Dinamica Dos Fluidos

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Simulação Computacional de Problemas em Dinamica Dos Fluidos

Încărcat de

Drepturi de autor:

Formate disponibile

Simulao Computacional de Alguns Problemas em Dinmica dos Fluidos

Valdemir Garcia Ferreira,

Giseli A. Braz de Lima

Departamento de Matemtica Aplicada e Estatstica, ICMC, USP

2 MTODO DE DIFERENAS FINITAS

2.2. Aproximaes para a Derivada

Notaes para a derivada: u (x) = ux =

u (x) = uxx =

2 MTODO DE DIFERENAS FINITAS

Figura 1 Malha computacional.

que pode ser reescrita por

Admitindo-se u (x), u (x), ... limitadas e h 0, ento ET 0.

no qual isolando o termo u (x), define-se

2 MTODO DE DIFERENAS FINITAS

Figura 2 Representao da derivada.

Por outro lado, subtraindo-se a equao (2) de (3), tem-se

Aproximaes para as derivadas de ordem superiores so semelhantes. Por exemplo, somando-se as

ui+1,j 2ui,j + ui1,j

em que a, b, c, d, e, f e g podem ser funes de variveis independentes x e y e da varivel dependente

= g. Quando g = 0 essas condies so ditas homogneas de Neu-

ui+1,j 2ui,j +ui1,j

ui+1,j 2ui,j +ui1,j

Substituindo-se na equao (14) essas aproximaes, obtm-se

que pode ser reescrita por

Para verificar o comportamento e desempenho do mtodo explicito (19), resolve-se numericamente

Condio de contorno: considera-se o tipo Dirichlet (t > 0) definida por

em que N pode ser determinado por N = L/h.

e portanto tem-se que r = 0.1.

ui,j+1 = 0.1ui+1,j + 0.8ui,j + 0.1ui1,j .

e o mtodo explcito dado por

ui,j+1 = 0.5ui+1,j + 0.5ui1,j .

3.1.2 Mtodo Implcito de Crank-Nicolson

(uxx |i,j+1 + uxx |i,j )

Sendo uxx |i,j+1 e uxx |i,j definido por

ui+1,j+1 2ui,j+1 + ui1,j+1

Substituindo as equaes (28) e (29) em (27), tem-se o mtodo implcito de Crank-Nicolson

A necessidade de resolver um sistema linear uma caracterstica de mtodos implcitos.

Entretanto apresenta algumas desvantagem, a saber:

3.2. Anlise Terica dos Mtodos Numricos

Ui+1,j 2Ui,j + Ui1,j

Exemplo 3.1 Verifique a consistncia do mtodo explcito definido na equao (19).

Conforme a equao (14), Ut Uxx = 0, Ti,j ) torna-se

onde um parmetro entre 0 e 1. Estude a consistncia desse esquema.

Ui,j+1 Ui,j1 Ui+1,j 2[Ui,j+1 + (1 )Ui,j1] + Ui1,j

Por expanso em Srie de Taylor:

H dois casos a analisar, quando k = rk e quando k = rh2 .

e o esquema (40) consistente com a equao (39). Caso contrrio,

Esta equao constitui em um sistema de N + 1 equaes lineares a N + 1 incgnitas A0 , A1 , , AN

definindo = ek , tem -se

em que denominado fator de amplificao, i = 1, = /N h, N o nmero de espaamentos h

Resoluo: Substituindo up,q = eiph q na equao (54), tem-se

em que r = k/h2 . Considerando a relao trigonomtrica dada por:

substitui-a em (55), e a equao resultante

e, portanto, o mtodo incondicionalmente estvel.

e N h = 1. Assumindo que os valores iniciais e de contorno so conhecidos, prove que:

o esquema incondicionalmente estvel;

t > 0, aproximada no ponto (ih, jk) pelo

ui,j+1 ui,j = r[(ui1,j+1 2ui,j+1 + ui+1,j+1 ) + (1 )(ui1,j 2ui,j + ui+1,j )

A aproximao central explcita (Mtodo de Richardson)

t > 0 aproximada no ponto (ph, qk)

3.3. EDP Hiperblicas

com x [xL , xR ], t o tempo e u = u(x, t) a varivel transportada.

Na forma explcita, tem-se