0.5 setgray0 0.

5 setgray1

Mecnica dos Fluidos Computacional

Aula 7
Leandro Franco de Souza

Leandro Franco de Souza lefraso@icmc.usp.br p. 1/1

Equacoes Diferenciais Parciais EDPs

A mecnica dos fluidos computacional trata da obteno

numrica para EDP;
As EDPs que descrevem fenmenos de interesse em
mecnica dos fluidos podem ser classificadas em trs
categorias:
Elpticas
Parablicas
Hiperblicas
Cada classe de equaes est associada a uma categoria
de fenmeno fsico;
o mtodo numrico que funciona para uma classe pode no
funcionar para outra.

Leandro Franco de Souza lefraso@icmc.usp.br p. 2/1

Equacoes Diferenciais Parciais

Consistencia: a propriedade que diz que medida que

a distncia entre pontos espaciais e temporais so
reduzidos, a aproximao utilizada converge para a
Equao Diferencial Parcial (EDP).

Estabilidade: a tendncia que quaisquer perturbaes

(ie.: erro de arredondamento) que forem introduzidas na
soluo das equaes algbricas tem de decair.

Convergencia: Se um processo consistente e estvel

ele convergir para soluo das EDPs.

Leandro Franco de Souza lefraso@icmc.usp.br p. 3/1

Equacoes Parabolicas

Equao parablica mais simples:

T 2T
= 2,
t x
que a equao transiente de difuso de calor, onde
um nmero positivo.
Esta equao surge do estudo de transferncia de calor no
qual a funo T (t, x) mostra a temperatura no tempo t na
posio x, a partir de uma distribuio de temperatura
inicial T (0, x) = T0 (x).
Outras equaes similares a esta surgem do estudo de
escoamentos viscosos e processos de difuso.

Leandro Franco de Souza lefraso@icmc.usp.br p. 4/1

Equacoes Parabolicas

Para a equao = xT2 , necessita-se de:

2
T
t

Condio inicial T (0, x) = T0 (x),

Condies de fronteira T (t, x0 ) e T (t, xmax )

Leandro Franco de Souza lefraso@icmc.usp.br p. 5/1

Analise de Consistencia Equacoes Parabolicas

Anlise de Consistncia da equao:

T 2T
= 2,
t x
que pode ser escrita, utilizando o operador P , como:

T 2T
PT = 2.
t x
Utilizando aproximaes de primeira ordem no tempo e
segunda ordem centrada no espao, pode-se escrever a
equao na forma discretizada (FTCS):

Tin+1 Tin n 2T n + T n
Ti1 i i+1
Pt,x T = 2
.
t (x)

Leandro Franco de Souza lefraso@icmc.usp.br p. 6/1

Analise de Consistencia Equacoes Parabolicas

Utilizando a srie de Taylor temos:

n dT n (x)2 d2 T n (x)3 d3 T n (x)4 d4 T n

Ti1 = Tin (x) + + +HOT
dx i 2! dx2 i 3! dx3 i 4! dx4 i

n dT n (x)2 d2 T n (x)3 d3 T n (x)4 d4 T n

Ti+1 = Tin + (x) + + + +HOT
dx i 2! dx2 i 3! dx3 i 4! dx4 i

dT n (t)2 d2 T n (t)3 d3 T n (t)4 d4 T n

Tin+1 = Tin + (t) + 2
+ 3
+ 4
+HOT
dt i 2! dt i 3! dt i 4! dt i
substituindo os termos na equao:

Tin+1 Tin n 2T n + T n
Ti1 i i+1
Pt,x T = .
t (x)2

obtemos:
dT n d2 T n t d2 T n (x)2 d4 T n
Pt,x T = 2 + 2
+ 4
+O(t)2 + O(x)3 .
dt i dx i 2 dt i 12 dx i

Leandro Franco de Souza lefraso@icmc.usp.br p. 7/1

Analise de Consistencia Equacoes Parabolicas

Realizando a diferena entre a equao diferencial parcial e a

equao dicretizada temos:

t d2 T n (x)2 d4 T n 2 3
P T Pt,x T = 2
+ 4
+O(t) + O(x) .
2 dt i 12 dx i
 

Este diferena tende a zero medida que t, x 0.

Portanto o esquema FTCS para esta equao Consistente.

Leandro Franco de Souza lefraso@icmc.usp.br p. 8/1

Analise de Estabilidade Equacoes Parabolicas

Verificao de estabilidade de um esquema atravs do Mtodo

de Von Neumann:
o mtodo mais usado para determinar o critrio de
estabilidade, sendo o mais direto para se obter este critrio;
Infelizmente s pode ser utilizado para estabelecer
condies necessrias e suficientes para anlise de
estabilidade linear de problemas de valor inicial com
coeficientes constantes;
Neste mtodo os erros distribudos nos pontos da malha
em um dado tempo t so expandidos em sries finitas de
Fourier. Em seguida a estabilidade ou instabilidade
determinada verificando se cada componente de Fourier do
erro decai ou amplifica no processo para o prximo tempo
t + t.

Leandro Franco de Souza lefraso@icmc.usp.br p. 9/1

Metodo de Von Neumann para Analise de Estabilidade

1o passo -> substituir os termos na equao por uma soma da

soluo exata com os erros (arredondamento, truncamento,
etc...):

T (t, x) = T (t, x) + (t, x),

que pode ser escrito na forma discretizada como:

Tin = Tin + ni ,

onde o termo Tin a soluo exata da equao diferencial e ni

indica o erro no instante de tempo n no ponto da malha i.
2o passo -> expandir em srie de Fourier a equao
discretizada:

Leandro Franco de Souza lefraso@icmc.usp.br p. 10/1

Metodo de Von Neumann para Analise de Estabilidade

Substituindo Tin por Tin + ni na equao discretizada:

Tin+1 Tin n 2T n + T n
Ti1 i i+1
= 2
.
t (x)
fica da forma:

Tin+1 Tin n+1  n T n 2T n + T n  n 2n + n

+ i i
= i1 i
2
i+1
+ i1 i
2
i+1
.
t t (x) (x)

Como os termos com sobrelinha satizfazem a equao inicial,

pode-se obter a equao discretizada para o erro:

n+1  n  n 2n + n
i i
= i1 i
2
i+1
.
t (x)

Leandro Franco de Souza lefraso@icmc.usp.br p. 11/1

Metodo de Von Neumann para Analise de Estabilidade

2o passo -> Considera-se as condies de contorno peridicas

e pode-se expandir o erro distribuido no espao em um certo
instante de tempo t em uma srie de Fourier:

N
X
ni = Eln eIkl .ix ,
l=N

onde I = 1 e Eln a amplitude do harmnico l. O harmnico
com l = 0 representa uma funo constante no espao.
O produto kl x muitas vezes substitudo pelo ngulo de fase:

N
l X
= kl x = ni = Eln eIi .
N
l=N

Leandro Franco de Souza lefraso@icmc.usp.br p. 12/1

Metodo de Von Neumann para Analise de Estabilidade

3o passo -> subtituir a expanso em srie de Fourier nas

equaes discretizadas para o erro:

n+1  n  n 2n + n
i i
= i1 i
2
i+1
,
t (x)
que fica da forma:
PN n+1 Ii PN n eIi
E
l=N l e E
l=N l
= (1)
t
PN n I(i1)
PN n Ii
PN
l=N El e 2 l=N El e + l=N Eln eI(i+1)
= ,
(x)2

Leandro Franco de Souza lefraso@icmc.usp.br p. 13/1

Metodo de Von Neumann para Analise de Estabilidade

Para cada valor de l, obtm-se a equao:

Eln+1 eIi Eln eIi Eln eI(i1) 2Eln eIi + Eln eI(i+1)
= 2
,
t (x)

manipulando os termos, pode-se obter:

t h i
Eln+1 eIi = Eln eIi + E n I(i1)
l e 2E n Ii
l e + E n I(i+1)
l e ,
(x)2

ou ainda:
t h
n Ii +I
i
Eln+1 eIi = Eln eIi + 2
E n Ii I
l e e 2E n Ii
l e + E l e e ,
(x)

Leandro Franco de Souza lefraso@icmc.usp.br p. 14/1

Metodo de Von Neumann para Analise de Estabilidade

que pode ser simplificado por:

t h
n +I
i
Eln+1 = Eln + 2
E n I
l e 2E n
l + E l e ,
(x)

e escrito na forma:
 
t 
+I

Eln+1 n
= El 1 + 2
e I
2 + e ,
(x)

que finalmente pode ser escrito como:

Eln+1 t
n =1+ 2
[2cos() 2] = G,
El (x)

onde G conhecido como fator de amplificao, pois ele que

controla a amplificao ou atenuao de E .

Leandro Franco de Souza lefraso@icmc.usp.br p. 15/1

Metodo de Von Neumann para Analise de Estabilidade

Note que G depende de t/(x)2 , sendo, portanto, funo

dos parmetros de discretizao. Para que a amplitude dos
erros (E ) no amplifique a cada passo no tempo t, temos a
condio:

Eln+1 t
|G| = | n | = |1 + 2
[2cos() 2] | 1,
El (x)
ou seja:
t
1 + 2 2
[cos() 1] 1, (2)
(x)

t
1 + 2 2
[cos() 1] 1, (3)
(x)

Leandro Franco de Souza lefraso@icmc.usp.br p. 16/1

Metodo de Von Neumann para Analise de Estabilidade

onde a Eq. (2) sempre satisfeita. Da Eq. (3) temos:

t
1 4 2
1,
(x)
que verdade desde que:

t 1
2
.
(x) 2

Este ltimo o critrio de estabilidade do mtodo que utiliza o

mtodo de Euler para discretizao temporal e uma
aproximao por diferenas finitas de 2a ordem no espao para
discretizao espacial.

Leandro Franco de Souza lefraso@icmc.usp.br p. 17/1

Convergencia do metodo

O mtodo acima analisado, que utiliza mtodo de Euler para

discretizao temporal e uma aproximao por diferenas finitas
de 2a ordem no espao para discretizao espacial,
convergente desde que seja obedecido o critrio de
estabilidade:

t 1
2
.
(x) 2
pois ele consistente e estvel.

Leandro Franco de Souza lefraso@icmc.usp.br p. 18/1