Escolar Documentos
Profissional Documentos
Cultura Documentos
METODOS
DE ELEMENTOS FINITOS ESTABILIZADOS PARA
ESCOAMENTOS DE DARCY E DE STOKES-DARCY ACOPLADOS
Maicon Ribeiro Correa
DE RECURTESE SUBMETIDA AO CORPO DOCENTE DA COORDENAC
AO
Aprovada por:
PETROPOLIS,
RJ - BRASIL
NOVEMBRO DE 2006
ii
iii
Agradecimentos
iv
METODOS
DE ELEMENTOS FINITOS ESTABILIZADOS PARA
ESCOAMENTOS DE DARCY E DE STOKES-DARCY ACOPLADOS
Maicon Ribeiro Correa
Novembro/2006
Orientador: Abimael Fernando Dourado Loula
Modelagem Computacional
Abstract of Thesis presented to MCT/LNCC as a partial fulfillment of the requirements for the degree of Doctor of Science (D.Sc.)
In this thesis we propose new stabilized finite element methods for Darcy flow and
for the coupled Stokes-Darcy flow. We review the Galerkin method applied to the
classical variational formulations of the Darcys system, and comment on some stabilization techniques proposed in the literature. Through the consistent combination
of least square residuals of the Darcys law, the mass balance equation and the curl
of Darcys law, we develop new finite element formulations to porous media flow,
that have higher stability than the usual stabilizations. We present a methodology
to incorporate restrictions that allows the application of these formulations to flow
in heterogeneous porous media with an interface of discontinuity of the hydraulic
conductivity tensor. By combining the new stabilized formulations for Darcy flow
with Petrov-Galerkin formulations to Stokes flow, we develop stabilized methods
for the coupled Stokes-Darcy flow that employ Lagrangian finite element spaces in
both domains, continuous for the velocity and continuous or discontinuous for the
pressure. Equal-order interpolations can be adopted for both velocity and pressure
spaces.
vi
vii
Sum
ario
1 Introduc
ao
2 Formulac
oes Variacionais Abstratas
2.1.1
2.1.2
2.2.2
3 M
etodos de Elementos Finitos Para o Escoamento de Stokes
20
O Problema de Stokes . . . . . . . . . . . . . . . . . . . . . . 21
3.1.2
Formulacao Variacional . . . . . . . . . . . . . . . . . . . . . . 24
3.2.2
Formulacoes Estabilizadas . . . . . . . . . . . . . . . . . . . . 27
3.2.3
Um Estudo Numerico . . . . . . . . . . . . . . . . . . . . . . . 32
3.3 Conclusoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 M
etodos de Elementos Finitos para o Escoamento de Darcy
45
4.1.2
viii
4.1.3
4.1.4
O Problema de Darcy . . . . . . . . . . . . . . . . . . . . . . 50
4.1.5
Formulacoes Variacionais . . . . . . . . . . . . . . . . . . . . . 52
4.2.2
4.2.3
4.3.2
4.3.3
Pos-Processamento Global . . . . . . . . . . . . . . . . . . . . 64
. . . . . . . 61
4.4.2
4.4.3
105
5.2.2
5.2.3
5.3.2
5.3.3
130
6.1.2
6.1.3
6.3.2
6.3.3
. . . . . . . . . . . . . . . 146
6.4.2
6.4.3
187
Captulo 1
Introduc
ao
A analise de problemas que envolvem escoamentos em meios porosos, tais como a exploracao de petroleo, a extracao de aguas subterraneas, a contaminacao de aq
uferos
e processos para a sua remediacao, passa obrigatoriamente pela determinacao do
regime de fluxo, que consiste no calculo do campo macroscopico de velocidades das
fases que escoam. Estes problemas sao, em geral, predominantemente convectivos
e a determinacao precisa do campo de velocidades se torna essencial para a correta
avaliacao dos processos de transporte associados.
O escoamento de um fluido incompressvel em um meio poroso rgido saturado conduz ao classico problema de Darcy. Este problema consiste no sistema
de equacoes diferenciais parciais composto pela equacao de conservacao de massa
mais a lei de Darcy, que relaciona a velocidade media de escoamento ao gradiente
de um potencial hidraulico atraves do tensor de condutividade hidraulica.
Recentemente, grande interesse tem sido dedicado aos casos em que ao escoamento no meio poroso acopla-se o escoamento livre1 do fluido que o satura. Este
escoamento acoplado pode ser encontrado em diversas aplicacoes como em engenharia do petroleo (interacao entre poco e reservatorio), hidrologia (acoplamento entre escoamentos superficiais e subsuperficiais), hidrogeologia (escoamento em meios
porosos fraturados), dinamica de biofluidos (alguns orgaos e tecidos podem ser modelados como meios porosos), filtragem, dentre outras. Modelos para o problema
1
Ao longo da tese, utilizaremos o termo escoamento livre para designar o escoamento do fluido
CAPITULO 1 - Introducao
CAPITULO 1 - Introducao
senvolvidas por TOLEDO [2] e LOULA et al. [3]. Tais formulacoes utilizam a
adicao de resduos ponderados da equacao de conservacao de massa e do rotacional
da lei de Darcy (no caso do pos-processamento local) a uma formulacao variacional
baseada nesta lei, de forma a garantir uma melhor aproximacao para a equacao
de conservacao. Alem de apresentar resultados bastante precisos, estas formulacoes
conduzem a taxas de convergencia superiores `as obtidas pela simples diferenciacao
do campo potencial aproximado. Uma caracterstica importante desta metodologia
e a flexibilidade na escolha dos espacos; simulacoes de escoamentos miscveis utilizando interpolacoes lagrangianas de mesma ordem para o potencial, a velocidade e
a concentracao sao apresentadas por LOULA et al. [4] e MALTA et al. [5], combinando a tecnica de pos processamento de [3] com a formulacao estabilizada SUPG
de [6] para a equacao do transporte.
Os metodos mistos sao baseados na aproximacao simultanea dos campos potencial e de velocidade e tem como principal caracterstica a necessidade de compati
bilidade entre os espacos empregados; ver BABUSKA
[7] e BREZZI [8]. Este fato
reduz a flexibilidade na construcao de aproximacoes por elementos finitos para as
formulacoes variacionais mistas do problema de Darcy, e o emprego do metodo de
Galerkin com elementos lagrangianos de mesma ordem para a velocidade e para o
potencial resulta em aproximacoes instaveis [9]. Uma aproximacao bem sucedida
para este problema e a formulacao de elementos finitos mista dual desenvolvida por
RAVIART E THOMAS [10], utilizando espacos de aproximacao vetoriais baseados
no operador divergente para a velocidade, combinados com espacos lagrangianos
descontnuos para o potencial.
Para satisfazer as condicoes de compatibilidade entre os espacos discretos, metodos de elementos finitos mistos estabilizados tem sido desenvolvidos. Em geral,
tais metodos sao construdos a partir da combinacao de resduos ponderados das
equacoes que governam o escoamento com as formulacoes variacionais mistas classicas
do problema. LOULA E TOLEDO [11] propoem metodos mistos estabilizados para
um problema de transferencia de calor com estrutura identica `a do sistema de Darcy,
onde o problema original de ponto de sela e convertido em um problema de mini-
CAPITULO 1 - Introducao
CAPITULO 1 - Introducao
CAPITULO 1 - Introducao
resultante, ja que estes podem utilizar interpolacoes de diferentes tipos, como a lagrangiana para Stokes e a de Raviart-Thomas para Darcy como em [17, 18, 19], ou
de diferentes ordens, como os elementos de Taylor-Hood para Stokes e elementos
lineares ou quadraticos para Darcy, como em [20, 21, 22, 23]. Estrategias unificadas que utilizam os mesmos espacos de elementos finitos para Stokes e Darcy sao
apresentadas, por exemplo, em [24, 25, 26].
A partir da combinacao de formulacoes estabilizadas para o problema de Darcy
e estabilizadas, ou originalmente estaveis, para o problema Stokes, apresentamos
duas novas classes de formulacoes mistas estabilizadas unificadas para o escoamento
acoplado de Stokes-Darcy. A primeira classe permite o emprego de espacos de elementos finitos estaveis para o escoamento de Stokes, em ambos os domnios, preservando globalmente as estimativas de convergencia para a velocidade na norma de
[H 1 ()]2 e para a pressao na norma de L2 (). Especificamente, consideramos o uso
de elementos de Taylor-Hood, que fornecem taxas de convergencia otimas nas normas citadas. A outra classe utiliza formulacoes estabilizadas para cada escoamento,
possibilitando a adocao de interpolacoes lagrangianas de mesma ordem, contnuas
para a velocidade e contnuas ou descontnuas para a pressao, tanto no domnio
do meio poroso quanto no domnio do fluido livre. Estas formulacoes representam
um avanco no sentido de metodos de elementos finitos gerais, precisos e flexveis
para a aproximacao do sistema acoplado. Embora estrategias iterativas como as
empregadas em [20, 27], por exemplo, possam ser utilizadas para a resolucao desta
formulacao acoplada, aqui apresentamos uma nova estrategia que permite a aproximacao direta (nao iterativa) do sistema de equacoes diferenciais que modelam ambos
os escoamentos mais as condicoes de interface. Para tal propomos uma metodologia
como a adotada para a aproximacao em meios porosos com interface de descontinuidade, a partir da incorporacao das restricoes sobre a interface entre o fluido
livre e o meio poroso, utilizando transformacoes lineares derivadas das condicoes de
interface. Esta estrategia resulta em um sistema global com a mesma estrutura de
um problema contnuo, podendo ser montado e resolvido utilizando as estrategias
usuais de implementacao de elementos finitos lagrangianos contnuos.
CAPITULO 1 - Introducao
Organizac
ao da Tese
Um estudo sobre formulacoes variacionais abstratas e desenvolvido no Captulo
2 onde, apos apresentarmos a notacao que sera utilizada, resumimos resultados
classicos como o teorema de Lax-Milgram, o teorema de Babuska e o teorema de
Brezzi, desenvolvendo a teoria basica para a analise numerica dos metodos de elementos finitos estudados.
No Captulo 3 introduzimos o problema de Stokes, discutindo brevemente o
metodo de Galerkin aplicado `a formulacao mista classica, apresentando uma aproximacao estavel, a partir do emprego dos elementos de Taylor-Hood, e as formulacoes
estabilizadas de Petrov-Galerkin desenvolvidas por HUGHES E FRANCA [14],
KARAM [15] e DOUGLAS E WANG [16], que permitem o emprego de elementos finitos lagrangianos, de mesma ordem inclusive, contnuos para a velocidade
e contnuos ou descontnuos para a pressao, escolhas inicialmente instaveis para o
metodo de Galerkin.
O Captulo 4 e dedicado ao estudo numerico do problema de Darcy. Apos resumir os principais resultados das formulacoes de Galerkin em um e em dois campos,
mostrando suas limitacoes e apontando as causas de tais limitacoes, revemos algumas formulacoes estabilizadas, revisitando a tecnica de Pos-Processamento Global
de LOULA et al. [3] (cuja origem e aqui associada a uma formulacao mista estabilizada de mnimos quadrados), o metodo de mnimo estavel em H(div) H 1 ()
de LOULA E TOLEDO [11, 2] e a formulacao adjunta estavel em [L2 ()]2 H 1 ()
de MASUD E HUGHES [12], `a qual mostramos ser equivalente a uma formulacao,
simetrica, de mnimos quadrados. Em seguida, apresentamos novas formulacoes
mistas estabilizadas simetricas, derivadas pela combinacao de resduos de mnimos
quadrados `as formulacoes mistas de Galerkin, que preservam a caracterstica de
ponto de sela do problema original. Estas estabilizacoes incluem:
Uma formulacao em [H 1 ()]2 L2 () que, assim como a formulacao de Galerkin
para o problema de Stokes, e estavel para os elementos de Taylor-Hood fornecendo taxas otimas de convergencia para a velocidade e o potencial (nestes
espacos) para estes elementos;
CAPITULO 1 - Introducao
Captulo 2
Formulac
oes Variacionais
Abstratas
Neste captulo, apos definir alguns conceitos e notacoes, apresentaremos resultados
classicos sobre formulacoes abstratas para problemas variacionais lineares, como o
teorema de Lax-Milgram, o teorema de Babuska e o teorema de Brezzi, desenvolvendo a teoria basica para a analise numerica dos metodos de elementos finitos que
serao utilizados neste trabalho.
2.1
Notac
oes e Defini
c
oes
|| ()
,
x11 x22
|| = 1 + 2
10
sobre o contorno },
u2 u1
x1 x2
temos o espaco
n
o
2
H(rot, ) = H(rot) = u L2 () ; rot u L2 () , munido da norma
1/2
kukH(rot) := kuk2 + krot uk2
.
O espaco H 0 () = L2 () tem sua norma denotada por k k0 = k k e o produto
interno por
(v, w) :=
vwd,
1/2
{u, v} U V.
(2.1)
11
{u, v} U V
(2.2)
tambem sera utilizada. Para as normas (2.1) e (2.2) vale a seguinte relacao de
equivalencia:
2
k{u, v}kU V k{u, v}kU V k{u, v}kU V
2
{u, v} U V.
(2.3)
2.1.1
(2.4)
v U,
com
1
J(v) = a(v, v) f (v) v U.
2
(2.5)
u, v U
(2.6)
12
vU
(2.7)
(2.8)
uU
vV
(2.9)
sup
vV
|B(u, v)|
1 kvkV
kukU
vV
(2.10)
|B(u, v)|
2 kukU
kvkV
uU
(2.11)
1
kF kV .
2
(2.12)
Em todas as expressoes que utilizarem a divisao por alguma norma, a admitiremos como
nao-nula.
2.1.2
13
A presenca de restricoes internas, como a condicao de incompressibilidade por exemplo, e comumente tratada atraves da tecnica de multiplicadores de Lagrange, onde o
multiplicador e incorporado como uma nova variavel do sistema. Como veremos, nos
casos dos escoamentos de Stokes e de Darcy, a pressao exerce tal papel, conduzindo
a um problema variacional formulado em dois campos, denominado de problema
misto. Nesta tese estudaremos formulacoes mistas postas na seguinte forma abstrata,
conforme BREZZI [8]
vU
b(u, q) = g(q)
qP
(2.13)
u,vU
kbk = sup
a(u, v)
,
kukU kvkU
vU ,qP
(2.14)
b(v, q)
,
kvkU kqkP
(2.15)
hBv, qiP P = v, B t q U U = b(v, q) v U,
(2.16)
q P.
(2.17)
(2.18)
14
(2.19)
Utilizando a tecnica de multiplicadores de Lagrange, transformamos o Problema JR no seguinte problema de ponto de sela:
qP
(2.20)
(2.21)
u, v U
uU
qP
15
|a(u, v)|
1 kukU
kvkU
uK
|a(u, v)|
2 kvkU
kukU
vK
sup
uK
onde
K = {u U; b(u, q) = 0 q P}
(H2) Condicao de Ladyszhenskaya-Babuska-Brezzi (LBB): existe uma constante >
0 tal que
sup
vU
|b(v, q)|
kqkP
kvkU
qP
2.2
M
etodo dos Elementos Finitos
2.2.1
M
etodos Conformes para Problemas em Um Campo
vh Uh .
(2.22)
16
Este caso corresponde ao Metodo de Galerkin. Dizemos que uma aproximacao por
elementos finitos e conforme se Uh U. Um metodo e dito ser variacionalmente
consistente se a solucao exata do problema satisfaz a sua formulacao de Galerkin.
Como o Problema U e formulado em um u
nico campo e nao possui restricoes
adicionais, o emprego de aproximacoes conformes transfere automaticamente as propriedades de continuidade e elipticidade do problema contnuo para o discreto. Ou
seja, neste caso a existencia e unicidade da solucao aproximada sao herdadas do
problema contnuo. Alem disso, utilizando a consistencia variacional do Problema
Uh temos o seguinte resultado de limitacao para o erro:
Lema 1 (C
ea [29]) Satisfeitas as hip
oteses do Teorema 1, existe uma constante
C, independente do subespaco Uh , tal que
ku uh kU Cku vh kU
vh Uh .
(2.23)
vh Vh .
(2.24)
17
|B(uh , vh )|
1h kvh kV
kuh kU
uh Uh
vh Vh
(2.25)
|B(uh , vh )|
2h kuh kU
kvh kV
vh Vh
uh Uh .
(2.26)
sup
sup
wh Uh .
(2.27)
2.2.2
M
etodos Conformes para Problemas Mistos
Sejam Uh U e Ph P subespacos de elementos finitos conformes. Nestes subespacos, a aproximacao de Galerkin para o Problema M e:
vh Uh
b(uh , qh ) = g(qh )
qh Ph ,
(2.28)
vh Kh = Kh (0),
com
(2.29)
18
u h Kh
|a(uh , vh )|
2h kvh kU
kuh kU
uh Kh
vh Kh ;
sup
sup
|b(vh , qh )|
h kqh kP
kvh kU
qh Ph
(2.30)
kak
kbk
kak
1+
1+
+
ku vh kU
h
h
h
kbk
kbk
+ 1+
+
kp qh kP vh Uh
h
h
(2.31)
qh Ph .
A demonstracao deste teorema pode ser encontrada, por exemplo, em [8], [9]
e [30]. Assim como para os problemas estudados pelo teorema de Babuska, aqui
a demonstracao das hipoteses para os problemas contnuos indicam caminhos para
a prova das contrapartidas discretas. Numa notacao mais compacta, escreveremos
(2.31) como
ku uh kU + kp ph kP C1B ku vh kU + C2B kp qh kP
vh Uh
qh Ph .
19
{vh , qh } Uh Ph , (2.32)
2 max{C1B , C2B }. Este resultado pode ser visto como o lema de Cea para
Captulo 3
M
etodos de Elementos Finitos
Para o Escoamento de Stokes
Neste captulo apresentamos o problema de Stokes, que constitui o sistema de
equacoes diferenciais parciais utilizado para a modelagem do escoamento do fluido livre, e estudamos a aplicacao de metodos de elementos finitos existentes na literatura, para a sua resolucao. Dentre estes metodos, apresentamos uma aproximacao
de Galerkin estavel e discutimos algumas formulacoes estabilizadas de Petrov-Galerkin que permitem o emprego de elementos finitos de mesma ordem para a velocidade
e a pressao, escolha inicialmente instavel para o metodo de Galerkin. Ao final, apresentamos um estudo numerico para aferir a estabilidade e as taxas de convergencia
dos metodos estudados. Esta base sera utilizada na elaboracao de metodos de elementos finitos estabilizados para a resolucao do sistema acoplado, conforme apresentaremos no Captulo 6.
3.1
Escoamento de Stokes
20
3.1.1
21
O Problema de Stokes
u
div + f =
+ (u) u ;
t
(3.1)
+ div (u) = 0;
t
(3.2)
Conservacao da massa
= (div u p) I + 2D(u)
(3.3)
onde
D(u) =
1
u + uT
2
(3.4)
(3.5)
Para maiores detalhes, sugerimos a leitura das referencias [31] e [32]. A equacao
(3.1) e a extensao da segunda lei de Newton para sistemas contnuos, onde e o
tensor de tensoes (ou de Cauchy) para o fluido e o primeiro termo expressa as forcas
de contato, enquanto o segundo termo e devido `as forcas de corpo e o termo do lado
direito expressa a taxa de variacao do momento linear do sistema. De uma forma
1
22
+ u = 0
Dt
t
o que aplicado `as equacoes (3.2) e (3.3) fornece, respectivamente,
div u = 0
e
= pI + 2D(u).
(3.6)
(3.7)
23
em
em
(3.8)
(3.9)
(3.10)
u=u
sobre
onde
D(u) =
1
u + uT
2
nd = 0,
u
que expressa o balanco do fluxo atraves de sua fronteira, associado `a incompressibilidade do fluido.
Substituindo (3.4) em (3.8), utilizando a identidade div uT = div u e a
condicao de incompressibilidade (3.9), podemos escrever o Problema de Stokes
na seguinte forma equivalente:
em
em
(3.11)
(3.12)
(3.13)
u=u
sobre
3.1.2
24
Formulac
ao Variacional
vU
q P
(3.14)
vU
q P
(3.15)
com
aS (u, v) = 2(D(u), D(v)),
(3.17)
e da desigualdade de Poincare
kuk Ckuk u U.
(3.18)
3.2
25
Aproximac
oes por Elementos Finitos
vh Uh
qh Ph
(3.19)
3.2.1
26
Um M
etodo de Galerkin Est
avel
Seja Shk o espaco de elementos finitos lagrangianos C 0 () de grau k 1 em cada variavel espacial para elementos quadrilaterais e em ambas as variaveis para elementos
triangulares:
Shk = {h C 0 (); h |e Pk,k (e ) e Th }
para quadrilateros e
Shk = {h C 0 (); h |e Pk (e ) e Th }
para triangulos,
(3.20)
para quadrilateros e
(3.21)
para triangulos.
e Phk = Shk P
(3.22)
com C independente de h.
Para os espacos Shk () e valida a seguinte propriedade de interpolacao, cuja prova
pode ser encontrada em [36, 37]:
Teorema 5 (Interpolac
ao) Para toda func
ao H m+1 () existe uma constante
C, independente de h, e uma projec
ao h Shk tais que
k h k + hk h k Chm+1 ||m+1
para 1 m k
(3.24)
(3.25)
27
(3.26)
3.2.2
(3.27)
Formulac
oes Estabilizadas
Problema HFB: Encontrar o par {uh , ph} Uh Ph tal que {vh , qh}
28
Uh Ph
2 (D(uh ), D(vh )) (div vh , ph ) + (div uh , qh )
X
+
h2e (2div D(uh ) + ph , qh )e
e Th
= (f, v) +
e T
h2e (f, qh )e
(3.28)
d.
(3.29)
e Th
(3.30)
(3.31)
e Th
vh Uhl
com
kk2e = (, )e .
(3.32)
29
com Shk definido em (3.21). Esta escolha, indicada mas nao analisada em [43],
nao garante estabilidade superior `a da formulacao de Galerkin. Neste sentido,
HUGHES E FRANCA apresentam em [14] um metodo convergente para quaisquer combinacoes de interpolacoes contnuas para a velocidade com interpolacoes
contnuas ou descontnuas para a pressao. Este metodo preserva a simetria da formulacao de Galerkin por ser baseado na combinacao do resduo de mnimos quadrados da equacao de Stokes (3.8), fornecendo:
Problema HF: Encontrar o par {uh , ph } Uhl Ph tal que {vh , qh } Uhl Ph
2 (D(uh ), D(vh )) (div vh , ph ) (div uh , qh )
X
h2e (2div D(uh ) + ph , 2div D(vh ) + qh )e
e Th
e h
h h[p], [q]ie
(3.33)
(3.34)
= (f, v)
e Th
de erro em Uhl Ph pode ser demonstrada para esta formulacao estabilizada [38, 44]
ku uh k1 + kp ph k C hl |u|l+1 + hk+1 |p|k+1
(3.35)
2
desde que a solucao exata satisfaca u H l+1 () e p H k+1 (). Considerando
ainda que a solucao e regular de forma que seja valida a desigualdade
kuk2 + kpk1 Ckfk,
(3.36)
30
e h
h h[p], [q]ie
(3.37)
(3.38)
= (f, v) +
e Th
e h
h h[p], [q]ie
= (f, v)
e Th
onde fica claro que no metodo de DOUGLAS E WANG [16] a estabilizacao se deve
`a combinacao do resduo adjunto da equacao de Stokes, enquanto na formulacao de
31
(3.39)
Problema KL: Encontrar o par {uh , ph } Uhl Phk tal que {vh , qh} Uhl Phk
2 (D(uh ), D(vh )) (div vh , ph ) (div uh , qh ) + (div uh , div vh )
X
+
h2e (2div D(uh ) + ph , 2div D(vh ) + qh )e
e Th
= (f, v) +
e Th
(3.40)
32
de limites superiores como o expresso pela desigualdade (3.31). Em [47], os resultados de KARAM [15] e KARAM E LOULA [45] sao estendidos, sendo provada a
convergencia do metodo para o uso interpolacoes contnuas para a pressao, onde a
verificacao de ao menos uma das condicoes l 2 ou Ph = Phk conduz `a seguinte
estimativa de erro em Uhl Ph :
ku uh k1 + kp ph k C hl |u|l+1 + hk+1 |p|k+1 .
(3.41)
(3.42)
3.2.3
Um Estudo Num
erico
Diversos estudos numericos sao apresentados nas referencias [14, 15, 43, 46], demonstrando as caractersticas de estabilidade e convergencia dos metodos apresentados.
33
Nesta secao realizamos um estudo de convergencia, com o objetivo de testar numericamente os metodos que serao utilizados no Captulo 6 para o desenvolvimento de
formulacoes estabilizadas para o problema acoplado. Denominaremos tais metodos
como:
HF: metodo GLS de HUGHES E FRANCA [14];
DW: metodo adjunto de DOUGLAS E WANG [16] e
KL: metodo GLS de KARAM [15] e KARAM E LOULA [45].
Neste estudo tomamos o problema de Stokes dado pelas equacoes (3.8-3.10) em
um domnio retangular = [0.0, 1.0] [0.5, 1.0], com
2
(1 + 1/(4 )) sin x exp(y/2)
f =
(2 1/(2)) cos x exp(y/2)
cuja solucao exata e
u=
1
p = cos x exp(y/2).
(3.43)
(3.44)
O estudo sera dividido em duas partes. Na primeira serao analisadas as caractersticas de estabilidade e convergencia dos metodos estabilizados a partir do emprego de interpolacoes contnuas para a pressao. Sera analisado tambem o metodo
de Galerkin com elementos de Taylor-Hood biquadraticos para a velocidade e bilineares para a pressao (Q2 Q1 ). Na segunda parte serao estudadas as aproximacoes com
o emprego de interpolacoes descontnuas para a pressao. Em todos os experimentos sao prescritas condicoes de contorno de Dirichlet para a velocidade, utilizando
(3.43).
Interpolac
oes Contnuas para a Press
ao
As solucoes aproximadas foram obtidas com o uso de malhas de 8 4, 16 8,
32 16 e 64 32 elementos Q1 Q1 e de 4 2, 8 4, 16 8 e 32 16 elementos
34
-0.5
1.5
-1
-1.5
0.5
log||erro||
log||erro||
-2
1.5
1
0.5
-2.5
-0.5
-3
-1
HF
DW
KL
HF
DW
KL
-3.5
-1.5
0.8
1.2
1.4
-log(h)
1.6
(a)
1.8
0.8
1.2
1.4
-log(h)
1.6
1.8
(b)
Figura 3.1: Formulacoes para Stokes com pressao contnua: elementos Q1 Q1 ; (a)
pressao e (b) gradiente da pressao.
mostra a Figura 3.2. Embora os erros para o metodo KL sejam proximos dos obtidos
pelos metodos HF e DW, eles indicam uma convergencia nao-uniforme, enquanto os
35
-1.5
-0.5
-2
-1
-3
log||erro||
log||erro||
-2.5
-3.5
-1.5
1
-4
-2
-4.5
HF
DW
KL
HF
DW
KL
-5
-2.5
0.8
1.2
1.4
-log(h)
1.6
1.8
(a)
0.8
1.2
1.4
-log(h)
1.6
1.8
(b)
Figura 3.2: Formulacoes para Stokes com pressao contnua: elementos Q1 Q1 ; (a)
velocidade e (b) gradiente da velocidade.
Para ilustrar os resultados, nas Figuras 3.3, 3.4 e 3.5 sao comparadas as solucoes
dos metodos DW e KL, obtidas a partir do emprego de uma malha de 16 8
elementos Q1 Q1 . A solucao do metodo HF e inteiramente similar `a do metodo DW.
Os resultados para a pressao com elementos Q2 Q2 sao apresentados na Figura
3.6. Eles indicam que todos os metodos fornecem as taxas de convergencia subotimas
O(h2.0) para kp ph k e O(h1.0) para kp ph k, como esperado pela analise.
Os graficos para a velocidade com elementos Q2 Q2 , apresentados na Figura 3.7,
mostram que o erro para os tres metodos e praticamente o mesmo, conduzindo `as
taxas otimas de convergencia O(h3.0 ) para ku uh k e O(h2.0) para ku uh k.
Para ilustrar2 a pressao precisamente aproximada, apresentamos na Figura 3.8 a
solucao dos metodos DW e KL para malha de 8 4 elementos Q2 Q2 .
Para concluir a primeira parte do estudo, apresentamos os resultados para os elementos de Taylor-Hood Q2 Q1 . Como vimos, este elemento conduz a aproximacoes
2
Ao longo da tese, a representacao das solucoes obtidas por elementos biquadraticos se dar
a
0.5
0.5
0.5
0.5
1
0
1
0
0.2
36
0.2
0.4
0.4
0.6
0.6
1
0.8
1
0.8
0.8
0.6
0.8
1
0.6
(a)
(b)
0.02
0.02
0.04
0.04
Ux
Ux
0.06
0.06
0.08
0.08
0.1
0
0.1
0
0.2
0.2
0.4
0.4
0.6
0.6
1
0.8
X
0.6
0.8
0.8
X
0.8
1
(a)
0.6
Y
(b)
0.5
0.5
Uy
Uy
0.5
0.5
1
0
1
0
0.2
37
0.2
0.4
0.4
0.6
0.6
1
0.8
X
0.6
0.8
0.8
0.8
0.6
X
Y
(a)
(b)
-1
-1.5
-0.5
-2
-1
log||erro||
log||erro||
-2.5
-3
-3.5
-1.5
1
1
1
-4
-2
-4.5
-2.5
-5
HF
DW
KL
HF
DW
KL
-5.5
-3
0.6
0.8
1.2
1.4
-log(h)
(a)
1.6
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
Figura 3.6: Formulacoes para Stokes com pressao contnua: elementos Q2 Q2 ; (a)
pressao e (b) gradiente da pressao.
38
-2.5
-1
-3
-1.5
-3.5
-2
1
-4.5
log||erro||
log||erro||
-4
1
-2.5
2
-5
-3
-5.5
-3.5
-6
HF
DW
KL
HF
DW
KL
-6.5
-4
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
Figura 3.7: Formulacoes para Stokes com pressao contnua: elementos Q2 Q2 ; (a)
velocidade e (b) gradiente da velocidade.
0.5
0.5
0.5
0.5
1
0
1
0
0.2
0.2
0.4
0.4
0.6
0.6
1
0.8
X
0.6
0.8
0.8
X
0.8
1
(a)
0.6
Y
(b)
39
estaveis para o metodo de Galerkin. Assim, e interessante analisar o efeito das diferentes estabilizacoes sobre uma aproximacao que e inicialmente estavel. Os graficos
para a pressao e para a velocidade apresentados na Figuras 3.9 e 3.10, respectivamente, mostram que que todos os metodos estabilizados preservam a boa aproximacao do metodo de Galerkin com elementos de Taylor-Hood.
Formulacoes com PC: STOKES + Taylor-Hood; PRESSAO
-1
-1.5
-0.5
-2
-1
log||erro||
log||erro||
-2.5
-3
-1.5
-3.5
-2
2
-4
-2.5
-4.5
HF
DW
KL
GALERKIN
HF
DW
KL
GALERKIN
-5
-3
0.6
0.8
1
-log(h)
1.2
1.4
1.6
0.6
(a)
0.8
1
-log(h)
1.2
1.4
1.6
(b)
Figura 3.9: Formulacoes para Stokes com pressao contnua: elementos de TaylorHood Q2 Q1 ; (a) pressao e (b) gradiente da pressao.
Interpolac
oes Descontnuas para a Press
ao
Para o estudo de estabilidade e convergencia dos metodos estabilizados com pressao
descontnua, adotamos malhas de 4 2, 8 4, 16 8 e 32 16 elementos Q2 Q2
e Q2 Q1 , onde denotamos as interpolacoes descontnuas com subndices negativos.
Para a integracao numerica, foi utilizada integracao por quadratura gaussiana com
3 3 pontos. Novamente foi adotado o parametro de estabilizacao = 0.1 em todos
os metodos, alem de = 1.0 para o metodo KL. Para a eliminacao da pressao ao
nvel do elemento, utilizamos = 109 em (3.42).
Os resultados para a pressao e para a velocidade, com o uso de elementos Q2 Q2
sao apresentados nas Figuras 3.11 e 3.12, respectivamente. Eles indicam excelente
estabilidade para todos os metodos, fornecendo taxas de convergencia em acordo
40
-2.5
-1
-3
-1.5
-3.5
-2
1
log||erro||
log||erro||
-4
-4.5
1
-2.5
2
-5
-3
-5.5
-3.5
-6
HF
DW
KL
GALERKIN
HF
DW
KL
GALERKIN
-6.5
-4
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
(a)
1.2
1.4
1.6
-log(h)
(b)
Figura 3.10: Formulacoes para Stokes com pressao contnua: elementos de TaylorHood Q2 Q1 ; (a) velocidade e (b) gradiente da velocidade.
com sua analise: O(h2.0) para kp ph k, O(h1.0 ) para kp ph k, O(h3.0) para
ku uh k e O(h2.0) para ku uh k.
Contudo, as taxas de convergencia obtidas para o elemento Q2 Q2 sao subotimas
para a pressao, o que nos motiva a estudar a estabilidade dos metodos com o emprego do elemento Q2 Q1 . Os resultados para a aproximacao da pressao, apresentados na Figura 3.13 mostram que as mesmas taxas obtidas para o elemento Q2 Q2
sao fornecidas para o elemento Q2 Q1 . Nestes graficos pode ser notada uma nao
uniformidade na convergencia do metodo HF. Este mesmo comportamento e verificado na Figura 3.14, onde apresentamos os resultados para a velocidade. Neste caso
o metodo de DW apresenta, novamente, estabilidade superior `a dos metodos HF e
KL.
Finalmente, ilustramos na Figura 3.15 a pressao aproximada, sem pos processamento, pelo metodo KL para malha de 8 4 elementos Q2 Q2 . As solucoes para os
metodos DW e HF sao inteiramente analogas.
Observac
ao 3.3 Como comentario final, citamos que o emprego, neste exemplo,
dos elementos Q1 Q1 sem a estabilizacao sobre o salto da pressao entre os elementos, conduz a aproximacoes instaveis para a pressao para todos os tres metodos
41
-1
-1.5
-0.5
1
log ||erro||
log ||erro||
-2
1
-2.5
2
1
-1
-3
-1.5
-3.5
HF
DW
KL
HF
DW
KF
-4
-2
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
-3
-2
-3.5
-2.5
-4
-3
1
-5
log ||erro||
log ||erro||
-4.5
-5.5
-6
-3.5
-4
-6.5
-4.5
-7
HF
DW
KL
HF
DW
KL
-7.5
-5
0.6
0.8
1.2
1.4
1.6
-log(h)
(a)
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
42
-1
-1.5
-0.5
log ||erro||
log ||erro||
-2
-2.5
-1
-3
-1.5
-3.5
HF
DW
KL
HF
DW
KL
-4
-2
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
-3
-1.5
-3.5
-2
-4
-2.5
log ||erro||
log ||erro||
-4.5
-5
-3
-5.5
-3.5
1
1
-6
3
-6.5
-4
HF
DW
KL
2
HF
DW
KL
-7
-4.5
0.6
0.8
1.2
1.4
1.6
-log(h)
(a)
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
43
0.5
0
0.5
1
0
0.2
0.9
0.4
0.8
0.6
0.7
0.6
0.8
X
0.5
3.3
Conclus
oes
44
1000
500
500
1
1000
0
0.9
0.8
0.2
0.4
0.7
0.6
0.8
0.6
1
0.5
Captulo 4
M
etodos de Elementos Finitos
para o Escoamento de Darcy
Neste captulo apresentamos metodos de elementos finitos aplicados ao escoamento
de um fluido incompressvel em um meio poroso rgido. Apos introduzir o problema modelo, descrevemos a aplicacao do metodo de Galerkin `as suas formulacoes
classicas, elucidando suas principais limitacoes. Em seguida comentamos algumas
formulacoes estabilizadas para o problema, existentes na literatura. Mostramos a
equivalencia entre a formulacao adjunta de MASUD E HUGHES [12] com uma formulacao simetrica, e associamos a origem da tecnica de pos-processamento global de
LOULA et al. [3] com uma formulacao mista estabilizada. A partir da combinacao
de resduos de mnimos quadrados com as formulacoes variacionais mistas classicas,
novas formulacoes estabilizadas sao propostas, incluindo um metodo que utiliza interpolacoes descontnuas para o potencial. Estudos numericos serao apresentados
ao longo do captulo comprovando as caractersticas de estabilidade e convergencia
preditas pela analise dos metodos.
4.1
Escoamento de Darcy
46
4.1.1
Hh
Areia
47
p
g
(4.1)
H h
.
L
dh
.
dl
(4.2)
muito freq
E
uente o uso da velocidade de Darcy, dada por
u=
dh
Q
= K .
A
dl
Esta e uma velocidade media tomada a partir da vazao sobre toda a secao A, e nao
deve ser confundida com a velocidade real do fluido nos poros, que deve ser medida
a partir da area efetiva dos poros na secao.
4.1.2
Extens
ao da Lei de Darcy
48
(4.3)
K
(p gz)
(4.4)
4.1.3
Leis de Conserva
c
ao em Meios Porosos
Como vimos, a velocidade de Darcy indica um comportamento medio do escoamento no meio poroso. Para um determinado ponto do domnio ela nao coincide
com a velocidade real do fluido, ja que a medicao de uma propriedade em um ponto
do meio poroso implica na consideracao de hipoteses que permitam sua correta
caracterizacao. Ao analisarmos um escoamento geral na escala dos poros (escala
microscopica ou microescala) temos a interacao de uma grande variedade de materiais de diferentes naturezas como rochas, oleo, agua, ar, especies contaminantes, etc.
Estes constituintes podem trocar massa, momentum e energia durante o processo.
Contudo, um observador na escala de laboratorio (ou macroescala) nao e capaz de
disting
uir estes fenomenos; assim, a formulacao de leis de conservacao macroscopicas
para o escoamento em um meio poroso nao se da de forma direta como nos sistemas
contnuos. Para tal, diferentes tecnicas podem ser empregadas tais como a classica
Teoria das Misturas [52, 53] onde as equacoes de governo sao postuladas diretamente
na macroescala, e as tecnicas de transferencia de escalas, como a Media Volumetrica
[54, 55] e o Metodo de Homogeneizacao [56], que visam a descricao dos fenomenos
na macroescala pela propagacao de informacoes constitutivas advindas das escalas
inferiores.
49
Em geral, estas tecnicas mostram que a lei de Darcy pode ser entendida como um
caso particular da equacao de conservacao de momento linear de um fluido newtoniano incompressvel que escoa em um meio poroso rgido completamente saturado
por este fluido.
Nestes escoamentos, desde que nao existam reacoes envolvendo as fases, a conservacao de massa do fuido e dada por
div (uf ) = 0
(4.5)
K
(pf f gz)
(4.6)
que e justamente a lei de Darcy (4.4), onde a velocidade u que sera denominada
velocidade de Darcy e a velocidade do fluido no meio poroso uf se relacionam
por
u = uf .
50
Devemos ter sempre em mente que quando utilizamos a lei de Darcy como
balanco de momentum para a fase fluida, estamos pressupondo, implicitamente,
as hipoteses admitidas acima.
4.1.4
O Problema de Darcy
: h R e p : p R, encontrar a press
funcoes f : R, h
a o pf : R
e a velocidade de Darcy u : Rd tais que:
u=
K
(pf gz)
div u = f
em
em
(4.7)
(4.8)
(4.9)
un = h
sobre
e
pf = p
sobre
p .
(4.10)
u = Kp
em
div u = f
em
51
(4.11)
(4.12)
(4.13)
un = h
sobre
e
p = p
sobre
p .
(4.14)
(4.15)
em
(4.16)
sobre
(4.17)
Kp n = h
e
p = p
sobre
p .
(4.18)
Neste caso, a velocidade e calculada pela aplicacao direta da lei de Darcy (4.11)
sobre a solucao p.
4.1.5
52
Formulac
oes Variacionais
Para este problema, apresentaremos tres formulacoes variacionais classicas. A primeira se baseia no problema em um campo (Problema P). As outras duas sao
formulacoes mistas postas em termos da velocidade e do potencial, assim como no
problema de Stokes. Por simplicidade nos restringimos ao caso bidimensional e
= 0) sobre toda a fronteira .
consideramos condicoes de contorno de fluxo nulo (h
Neste caso a funcao f deve satisfazer a condicao de compatibilidade
Z
Z
= 0,
f d =
hd
que expressa o balanco entre a fonte de fluido no interior do domnio e o fluxo atraves
de sua fronteira.
Definindo o espaco P = H 1()/R, multiplicando (4.16) por uma funcao q P,
integrando por partes sobre e utilizando a condicao de contorno natural (4.17),
temos a formulacao variacional do Problema P como:
qP
(4.19)
(4.20)
com
c(p, q) = (Kp, q)
53
obtida pela integracao por partes da equacao de conservacao de massa (4.12) ponderada por uma funcao q P e pela utilizacao da condicao de fluxo nulo (condicao
de contorno natural). Com isso temos
v U
(4.21)
qP
com
a(u, v) = (u, v),
b(u, q) = (u, q)
(4.22)
vU
q P
(4.23)
com
a(u, v) = (u, v),
b(u, q) = (div u, q)
(4.24)
K(0)
= v U; (div v, q) = 0 q P .
54
A LBB segue do fato de que para todo q P sempre e possvel escolher um elemento
de U tal que
v
= q,
div v
com k
vkH(div) Ckqk.
uma u
nica solucao {u, p} U P.
4.2
Formulac
oes de Galerkin
(4.25)
(4.26)
4.2.1
Formulac
ao para o Potencial
(4.27)
qh Phk .
(4.28)
55
(4.29)
onde M e sao as constantes encontradas na demonstracao da continuidade e da Pelipticidade, respectivamente. A seguinte estimativa de erro pode entao ser derivada
(ver, por exempo, em CIARLET [37])
kp ph k + hkp ph k C
M k+1
h
|p|k+1 ,
(4.30)
onde C e independente de h.
Aproximac
ao de Galerkin para a Velocidade
Apos resolver o Problema Ph, o campo de velocidades pode ser diretamente obtido
atraves da lei de Darcy (4.11)
uG := Kph .
Utilizando o resultado (4.30) temos, entao, a seguinte estimativa:
r
M k
ku uG k C
h |p|k+1.
(4.31)
(4.32)
Esta aproximacao direta para o campo de velocidades e, a princpio, completamente descontnua nas interfaces dos elementos, o que ocasiona problemas na
et
representacao do fluxo (velocidade normal), conforme demonstrado por MOSE
al. em [58]. Alem de (4.32), podemos estabelecer a estimativa
r
M k1
h |p|k+1.
kdiv u div uG k C
(4.33)
que ilustra quao imprecisa pode ser a conservacao de massa com este metodo. Alem
disto, observamos que as condicoes de Neumann sao verificadas de forma fraca,
uma vez que sao condicoes naturais na formulacao variacional adotada. Uma alternativa para a obtencao de campos de velocidade mais precisos e a utilizacao de
56
4.2.2
M
etodo Misto Primal
(4.34)
com Shl definido em (3.21), e Phk segundo (4.27). A partir de (4.34) e (4.27), definimos
o metodo de Galerkin aplicado ao Problema MP como:
vh Uhl
qh
Phk
(4.35)
para quadrilateros,
l k1
para triangulos,
(4.36)
57
Subsecao 2.2.2):
ku uh kU + kp ph kP C ku vh kU + kp qh kP
vh Uhl ,
qh Phk
(4.37)
(4.38)
4.2.3
M
etodo Misto Dual
subotimas em [L2 ()] sao derivadas para a velocidade. O fato e que a variavel de
maior interesse no Problema de Darcy e justamente a velocidade, cujo calculo
preciso e fundamental para a correta avaliacao de processos de transporte associados
ao escoamento. O metodo misto Dual representa um avanco neste sentido. A
questao e que a construcao de subespacos de dimensao finita de H(div) e L2 ()
que satisfacam as versoes discretas das hipoteses do teorema de Brezzi nao e trivial.
A adocao de aproximacoes conformes Uh U e Ph P garantem a continuidade,
mas nao a Kh -coercividade, ja que para o caso discreto temos a definicao de um
novo conjunto
Kh (f ) = vh Uh ; b(vh , qh ) = f (qh ) qh Ph ;
Kh = Kh (0).
Tampouco e garantida a LBB; estas condicoes resultam na exigencia de compatibilidade entre os espacos. O emprego de interpolacoes lagrangianas contnuas de
58
(4.39)
Mkh = qh L2 (); qh |e Pk1(e ) .
(4.40)
a(uh , vh ) + b(vh , ph ) = 0
b(uh , qh ) = f (qh )
qh Mkh
(4.41)
vh Uh
qh Ph (4.42)
ou seja:
ku uh kH(div) + kp ph k C ku vh kH(div) + kp qh k
vh Uh
qh Ph
Para Whk valem as seguintes propriedades de interpolacao, cuja prova pode ser
encontrada em RAVIART E THOMAS [10] ou em ROBERTS E THOMAS [61]:
(H m ())2 , 1 m k e
Teorema 6 (Interpolac
ao em H(div)) Para todo u
2
(4.43)
div u
h k Chm |div u
|m .
kdiv u
(4.44)
59
(4.45)
ou seja:
kp ph k Chk (|u|k + |div u|k + |p|k ) ,
(4.46)
(4.47)
(4.48)
4.3
Formulac
oes Estabilizadas
4.3.1
60
Sejam
U = H0 (div) e P = H 1 ()/R.
(4.49)
(4.50)
com Shl dado por (3.20), e Phk P dado por (4.27), LOULA e TOLEDO propoem
em [11] a seguinte estabilizacao para um problema de transferencia de calor com a
mesma estrutura do Problema de Darcy
61
(4.52)
ku uh k Chk |u|k+1 + |p|k+1 ,
(4.53)
kdiv u div uh k Chk |u|k+1 + |p|k+1 ,
(4.54)
4.3.2
Formulac
ao Adjunta e sua Equivalente Sim
etrica
1
(K (uh + ph ) , vh + qh ) = 0
2
ou
BHVM ({u, p}, {v, q}) = (f, q) {v, q} U P
(4.55)
com
BHVM ({u, p}, {v, q}) = (u, v) (div v, p) + (div u, q)
1
+ (K (u + p) , v + q) .
2
(4.56)
62
com = min{, K}/2 (para K e constantes), o que mostra a estabilidade incondicional da formulacao HVM na norma [L2 ()]2 para a velocidade e na seminorma
de H 1 () para o potencial. Isto garante que quaisquer aproximacoes conformes,
como os espacos Uhl U e Phk P definidos para o Problema Mh, conduzirao a
solucoes tambem estaveis. As estimativas de erro para este metodo sao analogas `as
da formulacao mista primal (Problema MPh)
ku uh k + kp phk1 C (ku vh k + kp qh k1 )
vh Uhl ,
qh Phk . (4.57)
(4.58)
ku uh k Chk
(4.59)
(4.60)
NAKSHATRALA et al. [62] mostram que esta formulacao pode ser derivada a
partir de uma decomposicao multiescala da solucao, denominando-a como Hughes
variational multiscale formulation for Darcy flow (HVM). Em [12], os autores expressam a opiniao de que estabilizacoes como a de Galerkin-Mnimos Quadrados
(GLS) nao sao tao efetivas para o problema em questao como a formulacao adjunta
proposta (HVM). A u
nica diferenca essencial e o sinal do termo v, diferenca esta
que os autores consideram crucial.
Apesar desta estabilidade incondicional, a afirmativa de que a formulacao adjunta
HVM conduz a resultados mais efetivos nao parece clara, ja que podemos, por
exemplo, adotar q = q em (4.55), utilizar integracao por partes e as condicoes de
2
contorno e apresentar a seguinte formulacao, posta em U = [L2 ()] e P = H 1 ()/R:
63
com
BHVMS ({u, p}, {v, q}) = (u, v) + (v, p) + (u, q)
1
(K (u + p) , v + q) .
2
(4.61)
1
J({v, q}) = BHVMS ({v, q} , {v, q}) + (f, q).
2
(4.62)
(4.63)
A questao e que esta nova formulacao nao e estavel no sentido de Lax. Contudo,
podemos mostrar sua estabilidade incondicional no sentido de Babuska, ou seja
sup
{v,q}UP
k {v, q} kUP
(4.64)
que {u, p} U P
sup
{v,q}UP
k {v, q} kUP
k {
v, q} kUP
estaveis. Seja entao Uhl o espaco de elementos finitos composto por interpolacoes
lagrangianas descontnuas, definido em (4.34), ou contnuas dado por
(4.65)
64
4.3.3
P
os-Processamento Global
65
(4.66)
| BP ({u, p} , {
v, q})|
|BP ({u, p} , {v, q})|
k {u, p} kU P
k {v, q} kU P
k {
v, q} kU P
66
Neste caso, como nas formulacoes mistas, ha o acoplamento do erro da aproximacao das variaveis uh e ph . Alternativamente, podemos resolver o problema formulado unicamente atraves do potencial (Problema Ph) e a partir desta solucao
calcular somente a velocidade atraves da equacao (4.67), preservando assim as melhores caractersticas da aproximacao do potencial e derivando um campo de velocidades mais preciso do que o calculado diretamente pela lei de Darcy. Esta e uma
visao alternativa baseada nas formulacoes mistas estabilizadas para a origem
da tecnica de pos-processamento global proposta por TOLEDO [2] e analisada por
LOULA et al. [3].
Seja entao ph uma solucao do Problema Ph e Uh um subespaco de elementos
finitos de H(div). Tal tecnica tem como base a seguinte forma residual:
(uh + ph , vh ) + (h) (div uh f, div vh ) = 0 vh Uh ,
onde e sao parametros positivos reais. Para um fixo, e introduzida a forma
bilinear
b (uh , vh ) = (uh , vh ) + (h) (div uh , div vh )
definindo uma famlia de Pos-Processamentos Globais (PPG), dependentes de por:
vh Uh .
(4.68)
67
com C independente de h. Como este pos-processamento global e baseado em subespacos de elementos finitos de H(div), podemos empregar Uh = Whk , onde Whk e
um dos espacos de Raviart-Thomas para a velocidade, definidos em (4.39). Para
o emprego do subespaco lagrangiano Uhl definido previamente, temos a seguinte
estimativa de erro
ku uh k + (h)/2 kdiv u div uh k C hl+/2 |u|l+1 + hk+1/2 |p|k+1
(4.70)
(4.71)
(4.72)
que indicam um ganho significativo em relacao `as estimativas (4.32) e (4.33). Esta
tecnica de pos-processamento tem sido aplicada com sucesso em escoamentos miscveis em meios porosos, permitindo o emprego de interpolacoes lagrangianas de
mesma ordem para o potencial, a velocidade e a concentracao [4, 5].
Observac
ao 4.2 Em [64], BOCHEV E DOHRMANN propoem dois metodos estabilizados para o Problema de Darcy e realizam um estudo comparativo com
o metodo HVM e com uma formulacao originada pela combinacao dos resduos de
mnimos quadrados da lei de Darcy e da equacao de conservacao de massa (sem os
termos de Galerkin). Estes metodos sao escolhidos por permitirem o emprego de
interpolacoes lagrangianas C 0 de mesma ordem para o potencial e a velocidade. O
primeiro metodo proposto e baseado em uma projecao polinomial do campo potencial e nao sera comentado aqui. Ja o segundo, consiste na estabilizacao nao simetrica
da formulacao mista Dual atraves da inclusao do resduo da equacao (4.19) (Problema PV) ponderada por h2 , resultando na forma bilinear
QG ({uh , ph } , {vh , qh }) = (uh , vh ) (div vh , ph ) + (div uh , qh ) + h2 (Kph , qh ).
Os autores nao realizam a analise do metodo e, portanto, nao apresentam estimativas de erro. O fator h2 seria justificado caso o metodo empregasse interpolacoes
68
descontnuas para o potencial e o resduo da equacao (4.19) fosse tomado sobre cada
elemento. Como este nao e o caso, podemos evita-lo, verificando facilmente que o
metodo resultante e estavel, no sentido de Lax-Milgram, em [L2 ()]2 H 1 (). Com
isso, aproximacoes conformes sao naturalmente estaveis e a seguinte estimativa pode
ser obtida, atraves do lema de Cea:
ku uh k + kp ph k1 C (ku vh k + kp qh k1 )
4.4
Novas Formulac
oes Mistas Estabilizadas
(4.73)
69
Observac
ao 4.3 Os parametros que controlam os termos de estabilizacao sao n
umeros reais, em muitos casos dependentes do parametro de malha h. A analise
numerica indica caminhos para a escolha destes fatores, determinando intervalos
para sua variacao bem como sua magnitude para casos especficos. Aqui explicitamos, conforme a estabilizacao, as funcoes K e dos parametros, de forma a obter
uma homogeneidade entre os coeficientes que multiplicam as normas que envolvem
uma mesma variavel velocidade ou potencial.
4.4.1
Formulac
ao Incondicionalmente Est
avel em
[H 1()]2 H 1 ()
Tomando os espacos
2
U = H0 (div, ) H(rot, ) H 1 () ,
P = H 1 ()/R
(4.74)
com norma
k {u, p} k2U P = kuk21 + kpk21
{u, p} U P
(4.75)
{v, q} U P
com
BGLS1 ({u, p} ; {v, q}) = (u, v) (div v, p) (div u, q)
1 (K (u + p) , v + q)
+2 (div u, div v)
+3 (Krot (u), rot (v))
(4.76)
e
FGLS1 ({v, q}) = (f, q) + 2 (f, div v)
(4.77)
70
(4.78)
{u, p} U P.
71
u U.
(4.79)
Para casos mais gerais onde pode ser, inclusive, uma matriz simetrica positiva definida, ver a referencia [65]. Tomando 0 < 1 < 1, temos:
|BGLS1 ({u, p} , {
v, q})| (1 1 )min kuk2 + 1 Kmin kpk2 + C kuk2
k {u, p} k2U P .
Ou seja, para a escolha {
v, q} = {u, p} temos para todo par {u, p} U P
sup
{v,q}U P
| BGLS1 ({u, p} , {
v, q})|
|BGLS1 ({u, p} , {v, q})|
k {u, p} kU P .
k {v, q} kU P
k {
v, q} kU P
Com isso, admitindo continuidade do funcional FGLS1 (), a existencia e a unicidade da solucao do Problema GLS1 e garantida pelo teorema de Babuska, independente de qualquer condicao de compatibilidade entre U e P. A u
nica restricao e
0 < 1 < 1. Como opcao, sugerimos a adocao dos parametros 1 = 2 = 3 = 1/2, de
forma que haja um equilbrio entre os pesos dos resduos, ja que, para esta escolha,
temos a formulacao variacional:
(u, v) (div v, p) (div u, q) + (div u, div v) + (Krot (u), rot (v)) (Kp, q)
= (div u, f ) 2(q, f ) {v, q} U P.
Uma observacao cuidadosa desta formulacao indica que ela pode ser obtida a partir
da formulacao mista Dual do Problema de Darcy pela adicao dos resduos de mnimos quadrados da equacao de balanco de massa e da condicao de irrotacionalidade
72
(4.80)
(4.81)
com
1
J({v, q}) = BGLS1 ({v, q} , {v, q}) FGLS1 ({v, q}) {v, q} U P.
2
(4.82)
Como esta formulacao e incondicionalmente estavel no sentido de Babuska, podemos afirmar que quaisquer aproximacoes conformes tambem serao estaveis. Ou seja,
assim como nos metodos Mh, HVM e HVMS, nao ha restricoes de compatibilidade
entre os espacos discretos para a velocidade e para o potencial. Tomando os espacos
de elementos finitos conformes
Uhl = Shl Shl U,
(4.83)
com Shl dado por (3.20), e Phk P dado por (4.27), temos o seguinte problema
aproximado
{vh , qh } U P
73
ou seja
vh Uhl ,
ku uh k1 + kp ph k1 C {ku vh k1 + kp qh k1 }
qh Phk .
(4.84)
Podemos provar ainda, que esta constante C e dada por M/; ou seja, e igual `a
obtida para problemas analisados pelo teorema de Lax-Milgram. Este fato e interessante, ja que o teorema de Babuska normalmente conduz a uma estimativas como
a (2.27), com C = (1 + M/). Para tal, apresentamos o seguinte resultado:
Lema 2 Verificadas as hipoteses do teorema de Babuska para o Problema GLS1 e
para o Problema GLS1h com as respectivas escolhas {
v, q} = {u, p} e {
vh , qh } =
{uh , ph } na demonstracao da coercividade, temos h = e a seguinte estimativa
pode ser obtida:
k {u, p}{uh , ph } kU P
M
k {u, p}{vh , qh } kU P
Demonstrac
ao: Pela escolha {
v, q} = {u, p}, temos a coercividade provada para
o problema contnuo, sem a exigencia de condicoes de compatibilidade entre os
espacos. Como estamos trabalhando com aproximacoes conformes, tal resultado e
diretamente transferido para o problema aproximado a partir da escolha {
vh , qh } =
{uh , ph }, implicando na igualdade das constantes h e . Com isto, temos
k {u, p} {uh , ph } kU P
(4.86)
(4.87)
(4.88)
Mk {u, p} {uh , ph } kU P k{
v, q} {vh , qh } kU P
.
k{
v, q} {
vh , qh }kU P
(4.89)
74
Notando que
k{
v, q} {
vh , qh }kU P = k {u, p} {uh , ph } kU P
temos a estimativa (4.85).
M
M l
h |u|l+1 + C2 hk |p|k+1 ,
(4.90)
(4.91)
(4.92)
(4.93)
kp ph k Chk+1 .
(4.94)
75
Observac
ao 4.5 Tomando 3 = 0 temos uma formulacao de ponto de sela incondicionalmente estavel em H(div) H 1 (), que fornece as mesmas estimativas de erro
da formulacao do Problema GLSM. A sua analise segue diretamente da exposta
nesta secao, apenas tomando o espaco (4.49) ao inves de (4.74).
Exemplo Num
erico
Com o objetivo de comprovar as estimativas resultantes de (4.91) e (4.92), apresentamos agora um estudo de convergencia para o metodo GLS1. O exemplo utilizado
e definido sobre o domnio = [0.0, 1.0] [0.0, 0.5] e possui solucao exata:
u=
2 sin x exp(y/2)
1/ cos x exp(y/2)
2
p = cos x exp(y/2).
(4.95)
(4.96)
1
2 cos x exp(y/2)
2
76
de Nistche para esta variavel. Este fato e comprovado pelos resultados obtidos para
os elementos Q2 Q2 , como mostra a Figura (4.4): O(h3.0 ) para ku uh k e O(h2.0 )
para ku uh k.
Estudo de Convergencia: DARCY - GLS1 + Q1Q1; VELOCIDADE
0.5
0
1
-1
-0.5
1
-2
log ||erro||
log ||erro||
-1
-1.5
-2
1
-3
1
-2.5
2
-4
-3
-3.5
-5
|| u - uh ||
|| Grad ( u-uh ) ||
|| p - ph ||
|| Grad ( p-ph ) ||
-4
0.8
1.2
1.4
1.6
1.8
0.8
-log(h)
1.2
1.4
1.6
1.8
-log(h)
Elementos Q1 Q1 : Velocidade.
Elementos Q1 Q1 : Potencial.
77
0
-1
-1
2
log ||erro||
-2
log ||erro||
-2
-3
1
-3
-4
-4
-5
-5
-6
|| u - uh ||
|| Grad ( u-uh ) ||
|| p - ph ||
|| Grad ( p-ph ) ||
-6
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
Elementos Q2 Q2 : Velocidade.
Elementos Q2 Q2 : Potencial.
0.5
Uy
Ux
1
0
3
0
0.5
0
0.2
0.2
0.4
0.4
0.6
0.6
0.4
0.8
0.4
0.8
0.2
X
(a)
0.2
X
(b)
Figura 4.6: Problema de Darcy; GLS1 - Solucao aproximada para uma malha de
16 8 elementos Q1 Q1 . Componentes da velocidade: (a) direcao x e (b) direcao y.
78
0.5
0
0.5
1
0
0.2
0.4
0.6
0.4
0.8
X
0.2
1
Figura 4.7: Problema de Darcy; GLS1 - Solucao aproximada para uma malha de
16 8 elementos Q1 Q1 . Potencial
4.4.2
Formulac
ao Estabilizada em [H 1 ()]2 L2()
P = L2 ()/R,
(4.97)
com norma
k {u, p} k2U P = kuk21 + kpk2
{u, p} U P
vU
q P
(4.98)
79
com
ae (u, v) = (u, v) + 2 (div u, div v) + 3 (Krot (u), rot (v))
b(v, q) = (div v, q),
f (q) = (f, q) e
(4.99)
(4.100)
(4.101)
a(u, u)
(u, u) + 2 (div u, div u) + 3 (Krot (u), rot (u))
|ae (u, v)|
=
kvkU
kukU
kukU
2
2
min{1, 2 , 3 } {kuk + kdiv uk + krot uk2 }
kukU
u U.
Assim, a u
nica hipotese do teorema de Brezzi que impoe uma condicao de compatibilidade entre os espacos U e P e a LBB. Adotando aproximacoes conformes
temos o metodo de Galerkin:
Uh U e Ph P,
vh Uh
qh Ph
e Phk = Shk P
(4.102)
fornece uma aproximacao de Galerkin estavel, para a qual sao verificadas as hipoteses
discretas do Teorema de Brezzi. Admitindo que a solucao exata seja suficientemente
regular e utilizando resultados de interpolacao, temos entao as estimativas de erro
kp ph k Chk+1 (|u|k+2 + |p|k+1)
(4.103)
80
(4.104)
(4.105)
81
0
0
-1
1
log ||erro||
-2
log ||erro||
-1
-3
1
-2
3
-4
-3
-5
-4
|| u - uh ||
|| Grad ( u-uh ) ||
|| p - ph ||
|| Grad ( p-ph ) ||
-6
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
locidade.
tencial.
4.4.3
Formulac
ao Estabilizada com Potencial Descontnuo
(4.106)
R
vh Uhl , qh Phk .
82
Exist
encia e Unicidade da Solu
c
ao do Problema PD
Para a analise do Problema PD, consideraremos h = max
{he } e utilizaremos as
e
Th
notacoes
(, ) =
e T
(, )e
e
kk2 =
(, )e .
e Th
ph Ph
ph Ph
(4.107)
com
Ph
Z
= qh Ph ;
qh d
= 0 Th
e
Ph =
qh Ph ; qh |e =
.Z
qh d
d R Th
vh Uhl , qh Phk
qh Ph ,
83
com
A ({u, p} ; {vh , qh }) = (u, vh ) (div vh , p) (div u, qh )
h2 1 (K (u + p) , vh + qh )
+2 (div u, div vh ) + 3 (Krot (u), rot (vh )) ,
b({uh , p } , qh ) = b(uh , qh ) = (div uh , qh ),
h
F ({vh , qh }) = 2 (f, div vh ) (f, qh ),
F (
qh ) = (f, qh ).
Neste problema o multiplicador de Lagrange fica restrito `a parte constante por
elemento do campo potencial. Seguindo `a analise do pelo teorema de Brezzi, temos
que mostrar a existencia e unicidade do problema reduzido. Definindo
Kh (f ) = {uh , ph } Uhl Ph , b({uh , ph } , qh ) = (div uh , qh ) = (f, qh ) qh Ph
e Kh = Kh (0), temos o problema reduzido dado por:
{vh , qh } Kh .
(4.108)
84
1
h2
(4.109)
temos:
|A({uh , ph } , {vh , qh })| max{(1 1 h2 ), 2 , 3 } {kuh k kvh k
+kdiv uh k kdiv vh k + krot uh k krot vh k}
+kdiv vh k kph k + kdiv uh k kqh k + 1 hkuh k kqh k
+1 hkvh kkph k + 1 K 2 kqh k kph k
max{(1 1 h2 ), 2 , 3 , 1, 1 h, 1 K 2 } {kuh k
+kdiv uh k + krot uh k + kph k} {kvh k + kdiv vh k
+krot vh k + kqh k} .
Utilizando o fato de que
kuk + kdiv uk + krot uk C kuk1
e a equivalencia de normas (2.3), temos a continuidade:
|A({uh , ph } , {vh , qh })| M1 k {uh , ph } kU P k {vh , qh } kU P
{uh , ph } , {vh , qh } Vh Ph
com
M1 = 2 max{(1 1 h2 ), 2 , 3 , 1, 1 h, 1 K 2 , C 2 }
A continuidade da forma b(, ) e verificada diretamente, fornecendo
|b({uh , ph } , qh )| M2 k {uh , ph } kVP k
qkP .
(4.110)
85
|A({uh , ph } , {
vh , qh })|
|A({uh , ph } , {vh , qh })|
k {vh , qh } kU P
k {
vh , qh } kU P
=
onde utilizamos a desigualdade (4.79) e admitimos que a condicao de estabilidade (4.109) e verificada. Como ph H 1 (e ) e possui media nula sobre e ,
temos a desigualdade de Poincare a nvel do elemento:
h2 kph k2e kph k2e
de onde
sup
U l P
v
,q
{ h h} h h
(1 h2 )kuh k2
|A({uh , ph } , {vh , qh })|
k {vh , qh } kU P
k {uh , ph } kU P
+
ou seja
sup
{vh ,qh }Uhl Ph
com
= min{(1 h2 ), 2 , 3 , 1 K}.
Como a forma bilinear A(, ) e contnua e Kh -coerciva, podemos afirmar que o
problema reduzido possui uma u
nica solucao.
Resta agora verificar a LBB para garantir a convergencia do multiplicador de
Lagrange (
ph ):
(H2) LBB: Para demonstrar que existe > 0 tal que
|b({uh , ph } , qh )|
sup
k
q kP
U l P k {uh , ph } kU P
u
,p
{ h h} h h
qh Ph
86
|b(uh , qh )|
k
qkP
kuh kV
qh Ph .
sup
} Ul P
{vh , qh
h
h
|(K(u + p), vh + qh ) |
.
kvh + qh k
k 6= 0
kvh + qh
(4.111)
para {u, p} U P. Para os resultados que seguem, tomaremos = K 1 =
constante e, sem perda de generalidade, 1 = 2 = 3 = 1 com h < 1. Na definicao
da norma, omitiremos a notacao kvh + qh k 6= 0.
87
Demonstrac
ao: A desigualdade k {uh , ph } kU P k {uh , ph } k(U P)
segue imedi
h
= k {uh , ph } kU P
+
sup
} U l P
{vh qh
h
h
k {uh , ph } kU P
+
sup
|(K(uh + ph ), vh + qh ) |
kvh + qh k
Kh
} U l P
{vh qh
h
h
kuh + ph k kvh + qh k
kvh + qh k
k {uh , ph } kU P + Kh kuh + ph k
(1 + h)kuh k1 + (1 + K )kph k
88
Demonstrac
ao: A continuidade de b(, ) e imediata, assim como no caso totalmente discreto. Para a demonstracao da continuidade de A(, ) temos:
|A({u, p} , {vh , qh })| (kuk kvh k + kdiv uk kdiv vh k + krot uk krot vh k)
+kdiv vh k kpk + kdiv uk kqh k
+Kh2 |(u + p, vh + qh ) |
max{1, } [ kvh k + kdiv vh k + krot vh k + kqh k ]
[ kuk + kdiv uk + krot uk + kpk ]
| (K(u + p), vh + qh ) |
+h2
h (kvh k + kqh k )
hkvh + qh k
max{1, } [ (1 + h)kvh k + kvh k + (1 + )kqh k ]
| (K(u + p), vh + qh ) |
kuk + kuk + kpk + h
kvh + qh k
onde utilizamos (4.78) e a estimativa inversa (4.108). Tomando o supremo sobre o
u
ltimo termo e utilizando a equivalencia de normas (2.3), temos:
|A({u, p} , {vh , qh })| 2 max{, (1 + h), (1 + )}k {vh , qh } kU P k {u, p} k(U P)
ou seja
|A({u, p} , {vh , qh })| M1 k{vh , qh }kU P k {u, p} k(U P)
com C independente de h.
A partir desta estimativa, usando a estimativa inversa (4.108) e os resultados de
interpolacao, obtemos as seguintes estimativas para solucoes suficientemente regulares:
k {u, p} {uh , ph } k(U P)
C1 (u)hl + C2 (p)hk+1 ,
(4.114)
(4.115)
ou
h
89
qh div uh d = 0 qh Phk ,
(4.116)
qh div uh d = 0 qh Ph
(4.117)
o que resulta na satisfacao local do balanco de massa, em um sentido medio, representada por
Z
div uh d =
uh nd = 0 e .
(4.118)
Estudo Num
erico para Formula
c
oes com Potencial Descontnuo
Apresentaremos agora um estudo de convergencia para o metodo PD com base no
exemplo dado pelas equacoes (4.95) e (4.96), previamente aproximado pelos metodos
GLS1 e GLS2. Alem de buscar a comprovacao da estimativa (4.115), realizamos um
estudo comparativo com duas outras formulacoes que utilizam interpolacoes descontnuas para o potencial. A primeira e uma versao do metodo HVM, apresentada
por MASUD E HUGHES em [12], onde o resduo adjunto da lei de Darcy e restrito
ao interior dos elementos, ou seja:
(uh , vh ) (div vh , ph ) + (div uh , qh ) + (f, qh )
+
1
(K (uh + ph ) , vh + qh ) = 0
2
nel
X
e=1
90
(, )e .
Uma caracterstica interessante deste metodo e a ausencia de coeficientes de estabilizacao dependentes do parametro de malha h. Contudo, os autores nao apresentam
a analise desta formulacao. A estabilidade do metodo HVM com potencial descontnuo indicada por resultados numericos nos motiva a estudar uma variacao
do metodo PD, onde o resduo de mnimos quadrados da lei de Darcy restrito ao
interior dos elementos nao e ponderado pelo fator h2 , ou seja:
(uh , vh ) (div vh , ph ) (div uh , qh )
1 (K (uh + ph ) , vh + qh )
+ 2 (div uh , div vh ) + 3 (Krot (uh ), rot (vh ))
= 2 (f, div vh ) (f, qh ).
A este metodo, denominaremos por metodo PD*.
Assim, realizaremos um estudo de convergencia comparativo para os metodos
PD, HVM com potencial descontnuo e PD*, empregando elementos Q1 Q1 , Q2 Q2
e Q2 Q1 , onde denotamos as interpolacoes descontnuas com sub-ndices negativos.
Pela estimativa (4.115), devemos esperar as seguintes taxas de convergencia para o
metodo PD:
Q1 Q1 :
ku uh k Ch e kp ph k Ch
Q2 Q2 :
ku uh k Ch2
e kp ph k Ch2
ku uh k Ch2
e kp ph k Ch2 .
Q2 Q1 :
No estudo sao utilizadas malhas uniformes de 84, 168, 3216 e 6432 elementos
Q1 Q1 e 42, 84, 168 e 3216 elementos Q2 Q2 e Q2 Q1 . Para os metodos PD
e PD* utilizamos os parametros 1 = 2 = 3 = 1/2. Para a integracao numerica,
91
-1
0.5
-1.5
0
-2
-0.5
log ||erro||
log ||erro||
2
-2.5
1
-3
1
1
-1
-3.5
-1.5
-4
PD
HVM
PD*
PD
HVM
PD*
-4.5
-2
0.8
1.2
1.4
1.6
-log(h)
(a)
1.8
0.8
1.2
1.4
1.6
1.8
-log(h)
(b)
Figura 4.10: Formulacoes com potencial descontnuo: elementos Q1 Q1 ; (a) velocidade e (b) gradiente da velocidade.
para o potencial, indicados pelos graficos da Figura 4.11, confirmam as estimativas
para o metodo PD: taxa de convergencia O(h) para kp ph k e apenas a limitacao
kp ph k C, ja que este u
ltimo e calculado a partir das derivadas do potencial
aproximado. Contudo, para os metodos HVM e PD* e verificado um comportamento similar ao dos metodos que aproximam o potencial em subespacos de H 1 (),
fornecendo taxas de convergencia O(h2.0) para kp ph k e O(h) para kp ph k.
Lembramos que nao e apresentada uma analise que embase estes resultados.
Os resultados para a velocidade com o uso dos elementos Q2 Q2 estao apresentados na Figura 4.12. Eles confirmam a estimativa de erro para o metodo PD,
92
0.5
-1
1
1
0
log ||erro||
log ||erro||
-2
-3
-0.5
-1
1
-1.5
-4
-2
PD
HVM
PD*
-5
PD
HVM
PD*
-2.5
0.8
1.2
1.4
1.6
-log(h)
(a)
1.8
0.8
1.2
1.4
1.6
1.8
-log(h)
(b)
Figura 4.11: Formulacoes com potencial descontnuo: elementos Q1 Q1 ; (a) potencial e (b) gradiente do potencial.
fornecendo a taxa de convergencia O(h2.0) para ku uh k e novamente apresentando taxa de convergencia otima O(h3.0 ) para ku uh k. Os erros na aproximacao
da velocidade pelo metodo PD* coincidem com os do metodo PD. Ja o metodo
HVM apresenta taxas subotimas tanto na norma de [L2 ()]2 quanto na seminorma
de [H 1 ()]2 : O(h2.0) para ku uh k e O(h1.0 ) para ku uh k. Os resultados
para o potencial aproximado com os elementos Q2 Q2 , apresentados na Figura 4.13,
tambem confirmam a estimativa esperada para o metodo PD: O(h2.0 ) para kp ph k
e O(h1.0 ) para kp ph k. Mais que isto, eles mostram que os metodos HVM
e PD* novamente apresentam propriedades de convergencia superiores, tpicas de
aproximacoes em H 1 (): O(h3.0) para kp ph k e O(h2.0) para kp ph k.
Finalmente, apresentamos os resultados para os elementos Q2 Q1 cujo emprego
com o metodo PD, segundo indica a analise, fornece taxas de convergencia otimas
para a velocidade na norma de [H 1 ()]2 e para o potencial na norma de L2 ().
Estas taxas sao confirmadas na Figura 4.14 para a velocidade e na Figura 4.15 para
o potencial. Estes graficos mostram ainda que o metodo PD (para os parametros
adotados e para este exemplo) resulta nos menores erros para os elementos Q2 Q1 .
O potencial obtido pelos metodos PD e PD* para malhas de 168 elementos Q1 Q1
93
-1
-0.5
-1
-2
1
1
1
-1.5
2
log ||erro||
log ||erro||
-3
-2
1
-4
2
-2.5
-5
-3
PD
HVM
PD*
PD
HVM
PD*
-6
-3.5
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
Figura 4.12: Formulacoes com potencial descontnuo: elementos Q2 Q2 ; (a) velocidade e (b) gradiente da velocidade.
-2
-0.5
-2.5
-1
-3
-1.5
-3.5
log ||erro||
log ||erro||
1
-4
-4.5
-2
2
-2.5
-5
-3
3
-5.5
1
-6
-3.5
PD
HVM
PD*
PD
HVM
PD*
-6.5
-4
0.6
0.8
1.2
-log(h)
(a)
1.4
1.6
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
Figura 4.13: Formulacoes com potencial descontnuo: elementos Q2 Q2 ; (a) potencial e (b) gradiente do potencial.
94
-1
-0.5
-1
-2
1
1
1
-1.5
2
log ||erro||
log ||erro||
-3
-2
1
-4
2
-2.5
-5
-3
PD
HVM
PD*
PD
HVM
PD*
-6
-3.5
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
Figura 4.14: Formulacoes com potencial descontnuo: elementos Q2 Q1 ; (a) velocidade e (b) gradiente da velocidade.
-1.5
-2
-0.5
1
-2.5
1
log ||erro||
log ||erro||
-3
1
-1
-3.5
-1.5
-4
PD
HVM
PD*
PD
HVM
PD*
-4.5
-2
0.6
0.8
1.2
-log(h)
(a)
1.4
1.6
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
Figura 4.15: Formulacoes com potencial descontnuo: elementos Q2 Q1 ; (a) potencial e (b) gradiente do potencial.
95
0.5
0.5
0
P
0.5
0.5
0.4
0.4
0.2
0.4
0.2
0.6
0.8
0.2
Y
0.4
0.2
0.6
0.8
(a)
(b)
0.5
0.5
0
P
0.5
0.5
0.4
0.4
0.2
0.4
0.2
0.6
0.8
0.2
Y
(a)
0.4
0.2
0.6
0.8
(b)
4.5
96
Estudo Num
erico das Formula
c
oes
Estabilizadas
1
sin x sin y
2 2
(4.119)
1 cos x sin y
.
2 sin x cos y
(4.120)
0.06
97
0.2
0.04
0.1
0.02
0
0.02
0.1
2
0.04
1.5
0.06
0
1.5
0.2
0
1
0.5
1
0.5
0.5
1.5
0.5
1.5
deveria ser esperada apenas para o metodo GLS1, ja que para ele sao preditas taxas
de convergencia otimas na seminorma de [H 1 ()]2 para a velocidade. As taxas de
convergencia observadas sao uma ordem acima da predita para o metodo HVM, e
meia ordem acima para os metodos GLS1(Hdiv) e GLSM. As taxas de convergencia
Problema de Darcy: SENO Q1Q1; VELOCIDADE
-0.5
-1
-0.5
-1.5
1
0.5
-2
log ||erro||
log||erro||
1.5
-2.5
-1
1
2
-3
1
-1.5
-3.5
GLS1
HVM
GLS1(Hdiv)
GLSM
GLS1
HVM
GLS1(Hdiv)
GLSM
-4
-2
0.8
1.2
1.4
-log(h)
(a)
1.6
1.8
0.8
1.2
1.4
1.6
1.8
-log(h)
(b)
98
Os
-1
-0.5
1
1
-1
log ||erro||
log||erro||
-2
-3
3
-1.5
-2
2
1
-4
-5
-2.5
-3
GLS1
HVM
GLS1(Hdiv)
GLSM
GLS1
HVM
GLS1(Hdiv)
GLSM
-3.5
0.6
0.8
1
-log(h)
1.2
1.4
(a)
1.6
0.6
0.8
1
-log(h)
1.2
1.4
1.6
(b)
99
-2
-1
1
-1.5
-3
2
1
-4
log ||erro||
log||erro||
-2
-5
-2.5
-3
-3.5
-6
-4
3
GLS1
HVM
GLS1(Hdiv)
GLSM
-7
GLS1
HVM
GLS1(Hdiv)
GLSM
-4.5
-5
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
-0.5
-0.5
-1
1
-1.5
-1
2
log||erro||
log||erro||
-2
-2.5
-3
-1.5
1
2
-3.5
1
-2
GLS1
HVM
GLS1(Hdiv)
GLSM
-4
GLS1
HVM
GLS1(Hdiv)
GLSM
-4.5
-2.5
0.8
1.2
1.4
-log(h)
(a)
1.6
1.8
0.8
1.2
1.4
1.6
1.8
-log(h)
(b)
100
-1.5
-1
-2
-1.5
-2.5
-2
log||erro||
log||erro||
-3
-3.5
-4
1
-4.5
1
-2.5
-3
3
-5
-3.5
-5.5
GLS1
HVM
GLS1(Hdiv)
GLSM
GLS1
HVM
GLS1(Hdiv)
GLSM
-6
-4
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.2
1.4
1.6
-log(h)
(a)
(b)
-3
-2
-2.5
-4
-5
log||erro||
log||erro||
-3
4
-6
-3.5
-4
-4.5
-5
-7
GLS1
HVM
GLS1(Hdiv)
GLSM
-5.5
-8
GLS1
HVM
GLS1(Hdiv)
GLSM
-6
0.6
0.8
1
-log(h)
(a)
1.2
1.4
1.6
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
101
Para finalizar, estudamos a convergencia dos metodos PD, HVM com potencial
descontnuo (ao qual denominaremos de HVM*) e PD* (resultante do metodo PD
sem a ponderacao pelo fator h2 ) com o uso de elementos Q2 Q1 . Tambem inclumos
no estudo os metodos GLS2 e HVM com o emprego dos elementos de Taylor-Hood
Q2 Q1 .
Os resultados para a velocidade, apresentados na Figura 4.26 mostram taxas
de convergencia otimas para os metodos PD, PD* e GLS2: O(h3.0 ) para ku uh k
e O(h2.0 ) para ku uh k. Taxas subotimas sao obtidas pelos metodos HVM e
HVM*: O(h2.0 ) para ku uh k e O(h1.0 ) para ku uh k. Os resultados para o
Problema de Darcy: SENO Q2Q1 e Q2Q-1; VELOCIDADE
-1
0.5
0
-2
1
-0.5
1
-1
log ||erro||
log ||erro||
-3
1
-4
-1.5
-2
1
2
-2.5
-5
GLS2
HVM
PD
HVM*
PD*
-3
-6
GLS2
HVM
PD
HVM*
PD*
-3.5
0.6
0.8
1.2
1.4
1.6
0.6
-log(h)
(a)
0.8
1.2
1.4
1.6
-log(h)
(b)
102
-0.5
-0.5
-1
-1.5
1
2
-2
1
log ||erro||
log ||erro||
-1
-2.5
-1.5
-3
-3.5
-4
-2
GLS2
HVM
PD
HVM*
PD*
GLS2
HVM
PD
HVM*
PD*
-4.5
-2.5
0.6
0.8
1.2
1.4
1.6
0.6
-log(h)
(a)
0.8
1.2
1.4
1.6
-log(h)
(b)
103
-1
-0.5
-2
-1
1
1
-1.5
1
log ||erro||
log ||erro||
-3
-2
1
-2.5
2
2
1
-4
-3
-3.5
-4
-5
GLS1
HVM
GLS1(Hdiv)
GLSM
GLS1
HVM
GLS1(Hdiv)
GLSM
-4.5
-6
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
(a)
1.2
1.4
1.6
-log(h)
(b)
Figura 4.28: Formulacoes com potencial contnuo e descontnuo: divergente da velocidade para (a) elementos Q2 Q2 e (b) elementos Q3 Q3 .
4.6
Conclus
oes
Observamos neste captulo que o metodo de Galerkin aplicado `as formulacoes mistas do Problema de Darcy padece de limitacoes quanto `a escolha dos espacos
discretos. Dentre os metodos existentes na literatura, desenvolvidos para contornar
estas limitacoes, comentamos a formulacao de mnimo de LOULA E TOLEDO [11],
o metodo adjunto de MASUD E HUGHES [12] (que demonstramos ser equivalente
a um metodo de Galerkin/Mnimos Quadrados simetrico). Associamos a origem da
tecnica de pos-processamento global de LOULA et al. com uma formulacao mista
estabilizada. Usando uma combinacao adequada de resduos de mnimos quadrados da lei de Darcy, da equacao de conservacao da massa e do rotacional da lei
de Darcy, apresentamos uma formulacao estabilizada incondicionalmente estavel em
[H 1 ()]2 H 1 () que nao possui coeficientes dependentes do parametro de malha.
Esta formulacao permite o uso dos espacos lagrangianos C 0 () de mesma ordem
inclusive escolha inicialmente instavel para os metodos de Galerkin classicos
para a velocidade e para o potencial, fornecendo taxas de convergencia otimas nas
104
Captulo 5
Meios com Interface de
Descontinuidade da Condutividade
Neste captulo apresentamos o problema de Darcy em um meio com interface de
descontinuidade da condutividade hidraulica, mostrando que neste caso a componente tangencial do campo de velocidades na interface e descontnua. Embora
possua natureza matematica relativamente simples, encontramos neste problema o
desafio de aproximar solucoes descontnuas atraves de interpolacoes lagrangianas
contnuas/descontnuas. A captura de descontinuidade sera abordada a partir do
uso de transformacoes lineares derivadas das restricoes nos campos de velocidade e
pressao sobre a interface, sendo desenvolvida uma metodologia onde a solucao descontnua e aproximada por interpolacoes lagrangianas contnuas por subdomnios,
o que viabiliza o uso dos metodos estabilizados apresentados no captulo anterior.
Esta abordagem sera, tambem, a base utilizada para a aproximacao do problema
acoplado de Stokes-Darcy, que estudaremos no Captulo 6. Ao final sao apresentados experimentos numericos mostrando que, quando aplicados isoladamente, os
metodos estabilizados que utilizam interpolacoes lagrangianas contnuas em todo
o domnio, embora conformes e estaveis, falham na representacao da descontinuidade, produzindo aproximacoes imprecisas e oscilacoes esp
urias, enquanto que, com
a metodologia de captura da descontinuidade, conduzem a resultados fieis `a solucao
do problema. Um estudo de convergencia confirma ainda que esta nova abordagem
105
106
5.1
K1
n1
K2
Figura 5.1: Domnio do problema modelo para o meio com interface de descontinuidade da condutividade hidraulica.
Por simplicidade, consideraremos um meio poroso homogeneo e anisotropico por
partes, com condutividades dadas por K = K1 em 1 e K = K2 em 2 . Denotando
u i = u|i , p i = p|i , (i = 1, 2), temos as seguintes relacoes, em termos do potencial,
a serem satisfeitas na interface:
K1 p1 n1 + K2 p2 n2 = 0
sobre
(5.1)
p1 = p2
sobre
(5.2)
107
A equacao (5.1) estabelece que o fluxo massico em qualquer ponto sobre a interface
se anula. Isto e, a componente normal do campo de velocidade sobre deve ser
contnua, de forma que podemos escrever
u1 n = u2 n
sobre
(5.3)
em
i ,
(5.4)
p1
,
j
K1
2 u2 j = p2 j =
p2
.
j
sobre
(5.5)
sobre
em
(5.6)
u2 = K2 p2
em
(5.7)
div u1 = f1
em
(5.8)
div u2 = f2
em
(5.9)
108
sobre
(5.10)
u2 n = 0
sobre
(5.11)
e condicoes de interface
5.2
p1 = p2
sobre
(5.12)
u1 n = u2 n
sobre
(5.13)
1 u1 j = 2 u2 j
sobre
(5.14)
Aproximac
oes por Elementos Finitos
5.2.1
P
os-Processamento Global com Interface de Descontinuidade
Para a descricao da tecnica de Pos-Processamento Global com Interface de Descontinuidade (PPGID) de [13], iniciemos com a definicao do espaco de dimensao
infinita
Uj = H0,j (div , j )
com
H0,j (div , j ) = {v H(div , j ), v nj = 0 sobre j }
109
(5.15)
l 2
Uhj = Shj
Uj .
Com isso, introduzimos o espaco de elementos finitos para as funcoes admissveis
como
l
l
Uhl = vh ; vh1 = vh |1 Uh1
, vh2 = vh |2 Uh2
.
Neste caso, tais funcoes sao C 0 (j ) ou seja, contnuas em cada subdomnio j , mas
descontnuas sobre a interface . O espaco para as funcoes peso correspondentes e
definido pelo seguinte espaco lagrangiano C 0 ()
2
l
Uh0
= Uhl C 0 () .
Note que estamos adotando continuidade sobre todo o domnio para as funcoes peso.
Utilizando as equacoes (5.6-5.9), (5.13) e (5.14) podemos proceder como na obtencao
de (4.68) e escrever o seguinte problema
l
vh Uh0
sobre
sobre
(5.16)
,
(5.17)
onde
bj (vh , wh ) = (j vh , wh )j + (h) (div vh , div wh )j .
Devemos observar que:
l
dim Uhl > dim Uh0
,
110
sem a imposicao das condicoes de interface (5.16) e (5.17). Uma forma de impor tais
relacoes sobre o campo aproximado seria tomando u2h = F (u1h ) ou u1h = F 1 (u2h ) e
incorporando-as via multiplicadores de Lagrange, por exemplo. Alternativamente,
propomos uma metodologia mais simples que incorpora de forma forte as condicoes
de interface a nvel dos elementos, conduzindo a um problema discreto similar `aquele
correspondente ao pos-processamento global contnuo.
5.2.2
u2 = lim+ u(x + n) .
0
u1h = u2h
(5.18)
sobre a interface dos elementos, conforme ilustrado na Figura 5.2. Neste caso, a
111
(5.19)
1 u1h = 2 u2h
(5.20)
sobre
(5.21)
sobe
i
i
i
i
11 1 + 21 2 12 1 + 22 2
[Ti ] =
(5.22)
n1
n2
onde (1 , 2 ) e (n1 , n2 ) sao as componentes cartesianas dos vetores unitarios e n,
respectivamente, e ilm sao as componentes do tensor de resistividade hidraulica i .
Garantindo que T1 seja inversvel, temos
h
u1h = T1
1 T2 u
sobre
(5.23)
Atraves das equacoes (5.21) e (5.23) o problema pode ser posto unicamente em termos de um vetor de incognitas global {
u}. Isto e realizado no nvel do elemento como
segue: seja {ue } o vetor de incognitas de um elemento generico e com apenas um
lado pertencendo `a interface de descontinuidade e {ue } suas incognitas associadas
aos nos deste lado. Usando (5.23) para cada no sobre , construmos uma matriz
[T ] e escrevemos
{ue } = [T ] {
u }
(5.24)
112
onde {
u} sao as respectivas incognitas associadas `a solucao de referencia. Com isso
temos
ou
n
o
{ue } =
[T ] {
u }
n
o
= [T ]
{
u }
{ue } = [T ] {
ue }.
(5.25)
{ue } = {
u},
(5.26)
ou
n
o
u\
{ue } =
{ue }
n
o
u\
{
u }
{ue } = {
ue }.
(5.27)
Embora esta u
ltima relacao expresse apenas a identidade, ela e u
til ja que com esta
nova notacao, junto com (5.25), temos as incognitas dos elementos vizinhos e e e
[K e ]{ue } = [K e ]{
ue }.
113
Observac
ao 5.1 Em (5.22) utilizamos vetores unitarios e n calculados em um
no sobre a interface. A partir do uso de elementos isoparametricos, a interface e
aproximada por uma interpolante h C 0 (). Em geral, para domnios curvos tais
vetores nao sao unicamente determinados nos vertices dos elementos. Neste caso,
medias podem ser adotadas.
Observac
ao 5.2 Considerando que a solucao exata do problema modelo e suave
por partes, devemos esperar que a estimativa de erro (4.70) valha para cada subdomnio i quando as restricoes de continuidade/descontinuidade das componentes
normais/tangentes da velocidade de Darcy sao exatamente impostas sobre a interface entre os dois meios com diferentes condutividades. Um estudo de convergencia
e apresentado na Secao 5.3 confirmando esta expectativa.
Observac
ao 5.3 Como o Problema PPG e posto em subspacos de H(div), podemos utilizar espacos de elementos finitos baseados no operador divergente, como
os espacos de Raviart-Thomas para a velocidade, que acomodam naturalmente as
descontinuidades das componentes tangenciais sobre a interface entre os elementos. Neste caso, a metodologia descrita para a captura da descontinuidade nao e
necessaria.
5.2.3
Extens
ao aos M
etodos Mistos Estabilizados
O procedimento descrito para a incorporacao das restricoes de continuidade/descontinuidade ao problema aproximado pode ser aplicado a qualquer um dos metodos
apresentados que utilizem interpolacoes lagrangianas C 0 () para a aproximacao do
campo de velocidades. Para ilustrar sua aplicacao aos metodos mistos estabilizaj
j
dos, tomemos em particular o Problema GLS1. Sejam entao BGLS1
(, ) e FGLS1
()
as restricoes das formas definidas em (4.76) e (4.77), respectivamente, a cada subdomnio j . Sejam tambem U e P os espacos funcionais definidos em (4.74) e os
seguintes espacos restritos aos subdomnios
2
Uj = H0,j (div , j ) H(rot , j ) H 1 (j )
Pj = H 1 (j ).
114
funcoes admissveis
l
l
Uhl = vh ; vh1 = vh |1 Uh1
, vh2 = vh |2 Uh2
Phk = qh ; qh1 = qh |1 Phk 1 , qh2 = qh |2 Phk 2 , (qh , 1) = 0 .
Para as funcoes peso, definimos os espacos
2
l
Uh0
= Uhl C 0 () ,
Problema GLSID : Encontrar {uh , ph} Uhl Phk tal que para todo {vh , qh }
Uhl 0 Phk 0
1
2
1
BGLS1
({u1h , p1h }, {vh , qh }) + BGLS1
({u2h , p2h }, {vh , qh }) = FGLS1
({vh , qh })
2
+ FGLS1
({vh , qh })
sobre
u1h n = u2h n
1 u1h = 2 u2h
sobre
sobre
(5.28)
(5.29)
.
(5.30)
5.3
115
Exemplos Num
ericos
Nesta secao apresentaremos exemplos da aplicacao da metodologia para a incorporacao das restricoes, comparando os resultados fornecidos por formulacoes estabilizadas apresentadas no Captulo 4, com e sem a captura da descontinuidade. Os
dois primeiros exemplos ilustram aspectos qualitativos das aproximacoes enquanto
ou
ltimo exemplo checa as taxas de convergencia preditas. Em todas as simulacoes
que seguem, os seguintes parametros de estabilizacao foram utilizados:
Tecnica PPG: = 1 e = 1
Metodo GLSM: 1 = 2 = 1/2
Metodo GLS1: 1 = 2 = 3 = 1/2.
5.3.1
11111111111
00000000000
P0
K1
P1
K2
11111111111
00000000000
00000000000
11111111111
116
Potential
0.8
0.6
0.4
0.2
0
0
0.5
1
0.5
1.5
2
X
0
Y
117
0.8
0.8
Vx
Vx
0.6
0.4
0.6
0.2
0.4
0
0
0.5
0.2
1
0.5
1.5
2
0
Y
0.2
0.4
0.6
0.8
(a)
(b)
Figura 5.5: Metodos GLSM, HVM e PPG: (a) Componente ux da velocidade aproximada. (b) Projecao no plano Y Z.
1
0.3
0.1
Vy
0.2
0.6
Vx
0.8
0.4
0.1
0.2
0.2
0
0
0
0.5
0.5
1
0.5
1.5
0.5
1.5
2
X
(a)
2
X
0
Y
(b)
Figura 5.6: Metodo GLS1: (a) Componente ux apresentando forte suavizacao. (b)
Componente uy nao-nula.
118
0.8
0.8
Vx
Vx
0.6
0.4
0.6
0.2
0.4
0
0
0.5
0.2
1
0.5
1.5
2
0
Y
0.2
0.4
0.6
0.8
(a)
(b)
Figura 5.7: Metodo GLS1 com 3 = 5.0 104 : (a) Componente ux da velocidade
aproximada. (b) Projecao no plano Y Z.
0.8
0.8
Vx
Vx
0.6
0.4
0.6
0.2
0.4
0
0
0.5
1
1.5
2
X
(a)
0.2
0.5
0
0
Y
0.2
0.4
0.6
0.8
(b)
119
5.3.2
P=p1
K1
20m
60m
P=p0
K2
100m
20m
u.n =0
u.n =0
40m
4m 4m
40m
12m
120
1
0.9
0.8
0.7
Potential
0.6
0.5
0.4
0.3
0.2
100
80
0.1
0
0
60
10
20
40
30
40
50
60
20
70
80
90
100
0.01
0.01
0.005
0.005
Vy
Vy
0
0
0.005
0.005
100
60
0
0.01
100
80
0.01
10
20
40
30
40
50
60
20
70
80
90
100
80
0.015
0
60
10
20
40
30
40
50
60
20
70
(a)
80
90
100
(b)
121
100
90
80
70
60
50
40
30
20
10
10
20
30
40
50
60
70
80
90
100
100
90
80
70
60
50
40
30
20
10
10
20
30
40
50
60
70
80
90
100
122
A aproximacao de Galerkin para o potencial e mostrada na Figura 5.10. As Figuras 5.11(a) e 5.11(b) mostram a componente uy do campo de velocidade obtida com
PPG e PPGID, respectivamente. Observamos que o PPGID captura perfeitamente
a descontinuidade sobre as barreiras. O escoamento calculado com PPG resulta
em uma aderencia artificial da velocidade na interface de descontinuidade, atenuando seu valor conforme mostra a Figura 5.12, enquanto o metodo PPGID conduz
a uma solucao mais fiel `a fsica do problema, tpica ao escoamento de Darcy em
fronteiras impermeaveis, como podemos observar na Figura 5.13. Do ponto de vista
de conservacao de massa, a quantidade de fluido que passa no canal para o PPG e
de cerca de 87% do valor prescrito no contorno, enquanto para o PPGID e superior
a 99%. Em [67], para esta mesma malha, e obtida a conservacao de 90% da massa
para o metodo de Galerkin e para o PPG ponderado pela permeabilidade K.
5.3.3
Estudo de Converg
encia: Um Exemplo Anistotr
opico
Heterog
eneo
Neste exemplo, realizamos um estudo de convergencia para o caso geral onde o tensor
de condutividade e anisotropico e heterogeneo. Este exemplo teste, introduzido no
contexto da resolucao de problemas elpticos por CRUMPTON et al. [68], e definido
sobre o domnio [1, 1] [1, 1]. A condutividade e dada por
K=
1 0
0 1
x < 0,
K =
2 1
1 2
x > 0,
Para as formulacoes mistas, sao prescritas condicoes de contorno de fluxo, enquanto para o metodo de Galerkin para o potencial, sao prescritas condicoes de
Dirichlet. As aproximacoes por elementos finitos foram calculadas com o uso de
123
2
Uy
Uy
0.5
8
1
0
0.5
0.5
0.5
0.5
8
1
0
0.5
0.5
0.5
124
-0.2
-0.2
-0.4
-0.4
log||erro||
log||erro||
-0.6
1
-0.6
0.5
-0.8
-0.8
0.5
-1
-1
PPG
GLSM
HVM
GLS1
GLS1(Hdiv)
-1.2
0.8
-1.2
1.2
1.4
-log(h)
(a)
1.6
1.8
PPG
GLSM
HVM
GLS1
GLS1(Hdiv)
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
Figura 5.16: Velocidade para aproximacoes C 0 (); (a) elementos bilineares e (b)
elementos biquadraticos.
xata, combinada com o uso de interpolacoes contnuas para aproximar um campo
descontnuo, apenas convergencia de ordem proxima a O(h0.5) e obtida para todos os
metodos, com excecao do metodo GLS1, que nao converge. Os comentarios feitos no
exemplo das placas planas paralelas para a magnitude do parametro 3 valem aqui,
ja que esta nao-convergencia indica que a escolha 3 = 1/2 novamente e excessiva.
O aumento do grau do polinomio base para as interpolacoes nao resulta em ganho
nas taxas de convergencia como mostram, na Figura 5.16(b), os resultados obtidos
para elementos Q2.
Nas Figuras 5.17(a) e 5.17(b) sao apresentados os graficos de convergencia para
o erro na aproximacao do divergente. A baixa precisao na aproximacao da velocidade na interface degrada as taxas de convergencia de seu divergente. Para
125
0.5
0.5
1
1
0
log||erro||
log||erro||
-0.5
-0.5
1
0.8
0.5
-1
-1.5
-1
-1.5
PPG
GLSM
HVM
GLS1
GLS1(Hdiv)
-2
PPG
GLSM
HVM
GLS1
GLS1(Hdiv)
-2
0.8
1.2
1.4
1.6
1.8
-log(h)
(a)
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
126
-1
log||erro||
log||erro||
-1
-2
-2
-3
-4
-3
-4
GALERKIN
GLSM
HVM
GLS1
GLS1(Hdiv)
-5
GALERKIN
GLSM
HVM
GLS1
GLS1(Hdiv)
-6
0.8
1.2
1.4
1.6
1.8
0.6
-log(h)
(a)
0.8
1.2
1.4
1.6
-log(h)
(b)
Figura 5.18: Potencial com aproximacoes C 0 (); (a) elementos bilineares e (b)
elementos biquadraticos.
alcanca as taxas otimas preditas em (4.30), enquanto os metodos mistos mostram
taxas de convergencia inferiores `as esperadas pelas estimativas: (4.52) para GLSM;
(4.58) para HVM; e (4.91) para GLS1 e GLS1(Hdiv). Este fato pode ser explicado
pela falta de regularidade global da solucao exata mais as estimativas acopladas,
caractersticas de metodos mistos, para o potencial e velocidade: (4.51) para GLSM
e GLS1(Hdiv); (4.57) para HVM; e (4.90) para GLS1.
Com a captura da descontinuidade, as taxas de convergencia tpicas de solucoes
regulares sao obtidas para todos os metodos estabilizados, como mostraremos agora.
Nas Figuras 5.19(a) e 5.19(b) sao apresentados os graficos de convergencia para a
aproximacao da velocidade utilizando a metodologia de incorporacao das restricoes.
O metodo PPGID apresenta taxas de convergencia O(h2.0 ) para Q1 e O(h2.5 ) para
Q2. Embora nao provada, esta taxa de convergencia otima na norma de L2 () e
comumente observada para elementos bilineares em problemas com solucoes regulares [3]. Convergencia acima da esperada tambem e obtida, com elementos Q1,
para os metodos GLSM, HVM e GLS1(Hdiv): O(h1.5 ). O metodo GLS1 alcanca a
taxa otima O(h2.0), esperada pelos experimentos numericos para problemas regulares. Esta estimativa otima tambem e obtida para os elementos Q2, conduzindo a
127
-0.5
-1
-1
-1.5
-2
1.5
-2.5
log||erro||
log||erro||
1
1
-2
2
-3
-4
-3
2
PPGID
GLSM
HVM
GLS1
GLS1(Hdiv)
-3.5
1
1
-5
PPGID
GLSM
HVM
GLS1
GLS1(Hdiv)
-4
0.8
1.2
1.4
1.6
1.8
0.6
-log(h)
(a)
0.8
1.2
1.4
1.6
-log(h)
(b)
128
0
0
-0.2
1
-0.4
-1
log||erro||
log||erro||
-0.6
-0.8
-2
1
-1
-3
1
-1.2
PPGID
GLSM
HVM
GLS1
GLS1(Hdiv)
-1.4
0.8
-4
1.2
1.4
-log(h)
1.6
1.8
PPGID
GLSM
HVM
GLS1
GLS1(Hdiv)
0.6
0.8
(a)
1
-log(h)
1.2
1.4
1.6
(b)
Figura 5.20: Divergente da velocidade para aproximacoes com incorporacao da descontinuidade; (a) elementos bilineares e (b) elementos biquadraticos.
-0.5
-2
-1
-1.5
-3
log||erro||
log||erro||
-2
-2.5
-4
-3
-5
2
-3.5
GALERKIN
GLSM
HVM
GLS1
GLS1(Hdiv)
-4
3
1
-6
GALERKIN
GLSM
HVM
GLS1
GLS1(Hdiv)
-4.5
0.8
1.2
1.4
1.6
1.8
0.6
-log(h)
(a)
0.8
1.2
1.4
1.6
-log(h)
(b)
5.4
129
Conclus
oes
Captulo 6
Escoamento Acoplado de Stokes e
Darcy
Neste captulo apresentamos o sistema de Stokes-Darcy, acoplado atraves de uma
interface regular. Iniciamos pela descricao do problema modelo, onde serao introduzidas as condicoes de interface entre o meio poroso e o fluido livre, definindo
o acoplamento dos escoamentos. Apos discutir brevemente alguns dos principais
trabalhos dedicados este tema, apresentamos duas novas classes de metodos estabilizados para o problema acoplado. A primeira e baseada na combinacao de formulacoes de Galerkin estaveis para Stokes com a formulacao estabilizada GLS2 para
Darcy. Especificamente, consideraremos o emprego dos elementos de Taylor-Hood,
que fornece estimativas de convergencia otimas para a velocidade na seminorma
de [H 1 (i )]2 e para a pressao na norma de L2 (i ), para cada um dos domnios.
A outra classe utiliza formulacoes estabilizadas para cada escoamento, possibilitando a adocao de interpolacoes lagrangianas de mesma ordem, contnuas para a
velocidade e contnuas ou descontnuas para a pressao, tanto no domnio do meio
poroso quanto no domnio do fluido livre. Um procedimento simples para a resolucao do sistema acoplado e apresentado para malhas uniformes onde, seguindo a
metodologia desenvolvida no Captulo 5 para a incorporacao das restricoes na interface de descontinuidade entre meios com diferentes condutividades, sao utilizadas
as relacoes lineares entre as incognitas sobre a interface para montar um sistema de
130
131
equacoes lineares global semelhante ao de um problema contnuo. Ao final sao apresentados experimentos numericos, incluindo testes de convergencia com exemplos
especialmente desenvolvidos para simular as diferentes restricoes existentes sobre a
interface entre os domnios de Stokes e de Darcy.
6.1
O Escoamento Acoplado
(6.1)
onde e uma viscosidade efetiva, sendo funcao da viscosidade do fluido e de caractersticas do meio poroso, p e o potencial (indicando a carga hidraulica) e K e a
condutividade.
6.1.1
132
Condic
ao de Interface de Beavers e Joseph
de uma camada limite de espessura O( ), com representando a permeabilidade do meio poroso, conectando os escoamentos, cuja aproximacao por solucoes
numericas nao e trivial, conforme discutido em [69].
Com isso, argumentando que o escoamento no meio poroso se da segundo a lei de
Darcy, esta camada limite pode ser incorporada a uma regiao fictcia que represente
a interface. Neste caso, uma condicao de contorno que permita a descontinuidade da
componente tangencial do campo de velocidade deve ser adotada. A condicao mais
comumente utilizada e a de BEAVERS E JOSEPH [1] que, a partir de um minucioso trabalho de laboratorio, simularam o escoamento de Poiseuille bidimensional
(escoamento do fluido livre originado por um gradiente de pressao uniforme) sobre
um meio poroso para inferir o valor da velocidade na interface. O experimento foi
elaborado de forma que as equacoes de Stokes fossem satisfeitas no fluido livre e a
lei de Darcy governasse o escoamento no meio poroso, mas nao necessariamente na
interface. A Figura 6.1 mostra o perfil de velocidades esperado para o experimento
de Beavers e Joseph.
133
Fluido
u (0+)
x
U(0)
Meio Poroso
Figura 6.1: Experimento de Beavers e Joseph perfil de velocidades para o escoamento laminar em um canal horizontal limitado por um meio poroso (y < 0) e uma
placa impermeavel (y = h), ilustrando a camada limite de espessura .
Aliados a uma observacao criteriosa e uma boa dose de intuicao, os autores
postularam a seguinte relacao experimental:
=
[u(0+ ) U(0 )]
y y=0+
(6.2)
onde, definindo o eixo coordenado x como sendo paralelo `a interface, u e U representam as componentes em x da velocidade no fluido e no meio poroso, respectivamente,
e um coeficiente dependente apenas das propriedades do meio poroso e e a permeabilidade intrnseca do meio. Uma justificativa teorica para esta condicao de
contorno emprica e apresentada por SAFFMAN [71], onde o autor argumenta que
a velocidade no meio poroso e muito menor que a do fluido livre e apresenta a relacao
u
u(0 ) =
+ O().
y y=0+
+
(6.3)
6.1.2
134
O Problema de Stokes-Darcy
1
Stokes
n1
Darcy
(6.4)
(6.5)
135
sobre .
(6.6)
Esta relacao mostra que, para escoamentos gerais, o campo de pressao e descontnuo sobre .
(I3) Condicao de interface de Beavers e Joseph: neste trabalho utilizaremos uma
extensao da condicao (6.2), como em [17], admitindo que o salto entre as
componentes do campo de velocidades tangencias `a interface e proporcional `a
tensao cisalhante, ou seja
(u1 u2 ) j =
ou
Kj j
t1 j
2 j
D(u1 )n j
(u1 u2 ) j =
sobre
sobre
(6.7)
(6.8)
2 j
u1 j =
D(u1 )n j
sobre .
(6.9)
Observac
ao 6.1 Uma vez que o escoamento de Darcy nao transmite cisalhamento,
devemos ter em mente que a interface representa uma regiao fictcia na qual a camada
limite esta inserida, e que as condicoes de interface (6.8) e/ou (6.9) substituem o
equilbrio das forcas cisalhantes, necessario para que o escoamento do fluido livre
esteja bem determinado.
Assim, por simplicidade, omitindo a acao da gravidade e considerando o meio
poroso como sendo isotropico, podemos escrever o problema acoplado:
136
2 div D(u1 ) + p1 = f
div u1 = 0
em
u2 = p2
div u2 = f
em
em
1
2
(6.10)
(6.11)
(6.12)
em
(6.13)
sobre
(6.14)
u2 n2 = h
sobre
(6.15)
sobre
(6.16)
e condicoes de interface
u1 n = u2 n
p1 2D(u1 )n n = p2 sobre
2
u1 j =
D(u1 )n j sobre .
(6.17)
(6.18)
Observac
ao 6.2 Embora tenhamos definido Problema de Stokes-Darcy com
a condicao de interface de Beavers-Joseph-Saffman (6.18), os novos metodos que
apresentaremos tambem incluem a representacao da condicao de Beavers e Joseph
2
(u1 u2 ) j =
D(u1 )n j sobre .
(6.19)
Experimentos numericos empregando ambas condicoes de interface serao apresentados no final do captulo.
6.1.3
Uma Formulac
ao Variacional
(6.20)
137
D(u1 )n1 v1 d 2
(div u1 , q1 )1
(p1 , div v1 )1 +
D(u1 )n1 v1 d
p1 v1 n1 d +
p1 v1 n1 d
+ (u2 , v2 )2 (div u2 , q2 )2
Z
Z
(p2 , div v2 )2 + p2 v2 n2 d +
p2 v2 n2 d
= (f, v1 )1 (f, q2 )2 .
Utilizando as condicoes de contorno, adotando n = n1 e considerando o fato de que,
como v U H(div), v1 n = v2 n sobre , temos
2 (D(u1 ), D(v1 ))1 (p1 , div v1 )1 (div u1 , q1 )1
+ (u2 , v2 )2 (p2 , div v2 )2 (div u2 , q2 )2
Z
Z
2 D(u1 )n v1 d + (p1 p2 )v1 n d = (f, v1 )1 (f, q2 )2 .
d1
X
Podemos escrever v = (v n)n +
(v j )j e utilizar (6.17) e (6.18) para encontrar
j=1
as seguintes identidades
2
2
D(u1 )n n(v1 n) d =
D(u1 )n j (v1 j ) d =
(p2 p1 )v1 n d
u1 j (v1 j ) d
138
e finalmente apresentar a formulacao variacional do problema acoplado como: Encontrar o par {u, p} U P tal que {v, q} U P
2 (D(u1 ), D(v1 ))1 (p1 , div v1 )1 (div u1 , q1 )1
+ (u2 , v2 )2 (p2 , div v2 )2 (div u2 , q2 )2
(6.21)
Z
d1
X
j=1
O estudo da existencia e unicidade da solucao desta formulacao e apresentado,
por exemplo, em [17] e [25].
Observac
ao 6.3 Para o emprego da condicao de interface de Beavers e Joseph
(6.19), devemos utilizar em (6.21) o termo
d1 Z
X
(u1 u2 ) j (v1 j ) d
j=1
no lugar do termo
d1 Z
X
u1 j (v1 j ) d.
j=1
6.2
Aproximac
oes por Elementos Finitos
Nesta secao apresentaremos uma breve descricao de alguns dos principais trabalhos
existentes na literatura que utilizam metodos de elementos finitos para a resolucao
numerica do Problema de Stokes-Darcy. Antes, formalizaremos uma classificacao que utilizamos nesta tese. Denominamos como metodos est
aveis aqueles
que adotam espacos de elementos finitos estaveis para as aproximacoes de Galerkin,
enquanto os que utilizam estabilizacoes, tais como as originadas pela combinacao
de resduos de mnimos quadrados, sobre a estrutura dos metodos de Galerkin sao
denominados metodos estabilizados. Assim, veremos que os diferentes metodos sao
originados pela combinacao de formulacoes estaveis ou estabilizadas para cada problema.
Um dos trabalhos pioneiros que podemos citar e o de SALINGER et al. [69],
onde os autores apresentam um estudo numerico sobre a ignicao espontanea em estoques de carvao. Neste estudo sao comparados um modelo que utiliza as equacoes
139
de Stokes e de Darcy mais as condicoes de interface de Beavers e Joseph inteiramente analogo ao do Problema de Stokes-Darcy e um modelo derivado
pela combinacao das equacoes de Stokes para o fluido livre e de Brinkman para o
meio poroso. Para a aproximacao dos problemas de Stokes e de Brinkman sao empregados elementos finitos quadrilaterais biquadraticos (nove nos) contnuos para a
velocidade combinados interpolacoes lineares descontnuas para a pressao (Q2 P1 ).
Para o problema de Darcy, e utilizada a formulacao em um campo para a pressao
(Problema PV), com elementos biquadraticos e velocidade calculada atraves da
lei de Darcy, como apresentado na Subsecao 4.2.1. Assim, a partir destas aproximacoes, considerando cada subproblema de forma isolada, podemos esperar as seguintes
estimativas otimas para a velocidade e para a pressao no domnio do fluido
ku uh k1 Ch2
e kp ph k Ch2
e kp ph k Ch1 .
140
e kp ph k Ch2 .
141
em [17], onde a existencia e a unicidade da solucao, utilizando a condicao de interface de Beavers-Joseph-Saffman, e demonstrada. Para tal, os autores desenvolvem
uma formulacao variacional em que as restricoes na interface sao impostas atraves
de multiplicadores de Lagrange, cuja aproximacao por elementos finitos permite a
resolucao simultanea ou alternada dos subproblemas. As estimativas apresentadas
preveem o uso de elementos de Taylor-Hood para o fluido livre e de combinacoes de
espacos de elementos finitos baseados no operador divergente para a velocidade com
interpolacoes descontnuas para a pressao, como os espacos de Raviart-Thomas, para
o meio poroso. GALVIS [18] apresenta a simulacao numerica do acoplamento entre
um poco e um reservatorio de petroleo utilizando esta metodologia, com elementos de Taylor-Hood P2 P1 e os elementos de Raviart-Thomas de mais baixa ordem
RT0 . Tomadas isoladamente sobre cada subproblema, estas escolhas conduzem `as
estimativas
ku uh k1 Ch2
e kp ph k Ch2
no domnio de Stokes e
ku uh kH(div) Ch e kp ph k Ch
no domnio de Darcy.
Uma interessante aplicacao do sistema acoplado e citada no trabalho de BRUNSON [73], onde a permeabilidade efetiva de um meio poroso com cavidades e obtida,
a partir da tecnica de homogeneizacao, pela resolucao de um problema de celula que
possui a mesma estrutura do problema de Stokes-Darcy. A metodologia adotada
para a aproximacao numerica consiste na modificacao do espaco de elementos finitos desenvolvido em [66] para o escoamento de Stokes, permitindo a descontinuidade
da componente tangencial da velocidade sobre a interface que separa os meios. Este
espaco e construdo sobre elementos quadrilaterais e utiliza interpolacoes constantes para a pressao e uma aproximacao conforme, segundo o problema de Stokes,
para a velocidade, fornecendo solucoes estaveis para ambos os problemas. A analise
desenvolvida conduz `a seguinte estimativa para o problema acoplado:
ku uh k1,s + ku uh k0,d + kp ph k0 Ch
142
e kp ph k Ch.
143
6.3
Novas Formulac
oes Estabilizadas
Apresentaremos duas novas classes de metodos estabilizados unificados para a resolucao do sistema de Stokes-Darcy. A primeira classe, parte de um metodo de
Galerkin estavel para Stokes, e utiliza o metodo compatvel GLS2 para Darcy, especialmente desenvolvido para comportar as combinacoes de interpolacoes estaveis
para Stokes. Esta combinacao de metodos, `a qual denominaremos de Metodo Compatvel, ou Formulacao Compatvel, nao possui termos de estabilizacao dependentes
do parametro de malha h. Empregaremos os elementos de Taylor-Hood em ambos
os domnios. Como vimos nos Captulos 3 e 4, esta escolha e estavel e conduz a taxas
de convergencia otimas na seminorma de [H 1 ()i ]2 para velocidade e na norma de
L2 (i ) para a pressao tanto para o metodo de Galerkin para Stokes quanto para o
metodo GLS2 para Darcy. A outra classe e composta pela combinacao de metodos
estabilizados para o problema de Stokes e para o problema de Darcy, permitindo o
emprego de elementos lagrangianos, de mesma ordem inclusive, contnuos para a velocidade e contnuos ou descontnuos para a pressao, em ambos os domnios. Como
veremos, suas caractersticas de aproximacao sao sensveis `a escolha dos parametros
144
6.3.1
M
etodo Compatvel
Pela combinacao do metodo de Galerkin estavel para o Problema de Stokes apresentado no Captulo 3, e do metodo GLS2 para o Problema de Darcy, temos uma
aproximacao que, alem de nao possuir coeficientes de estabilizacao dependentes do
parametro de malha h, conduz `as taxas otimas de convergencia esperadas para os
elementos de Taylor-Hood. Como citado, apresentaremos o metodo de forma que o
procedimento de resolucao atraves da incorporacao das restricoes seja naturalmente
145
empregado.
Definindo os espacos
1
H0,
(1 ) = { H 1 (1 ) , = 0 sobre 1 }
1
e P1 = L2 (1 )
e P2 = L2 (2 )
no domnio de Stokes e
l
l 2
k
k
Uh2
= [Sh2
] U2 (2 ) e Ph2
= Sh2
P2 (2 )
l
no domnio de Darcy, com Shj
= Shl (j ) H 1 (j ) representando o classico espaco
k
k
Phk = {qh ; qh1 = qh |1 Ph1
, qh2 = qh |2 Ph2
, (qh , 1) = 0}
k
e Ph0
= Phk C 0 ().
146
Problema SDC: Encontrar o par {uh , ph } Uhk+1 Phk tal que {vh , qh }
k+1
k
Uh0
Ph0
u1h (vh )d = 0
2 (f, div vh )2 +
e kp ph k Chk+1
6.3.2
M
etodos Totalmente Estabilizados
147
e P1 = L2 (1 )
e P2 = H 1 (2 )
u1h (vh )d = 0,
+
148
e kp ph k Chk .
e kp ph k1 Chk .
e P1 = L2 (1 )
e P2 = L2 (2 )
espacos de funcoes no domnio de Darcy, 2 . Compatveis com estes espacos, definimos os espacos de elementos finitos
l
l 2
k
k
Uh1
= [Sh1
] U1 (1 ) e Ph1
= Sh1
P1 (1 )
149
no domnio de Stokes e
l
l 2
k
k
Uh2
= [Sh2
] U2 (2 ) e Ph2
= Sh2
P2 (2 )
k
no domnio de Darcy, com Shj
= Shk (j ) L2 (j ) representando o espaco de
u1h (vh )d = 0,
+
6.3.3
Incorporando as Restri
c
oes na Interface
Para construir as transformacoes lineares baseadas nas condicoes de interface discretas, que serao utilizadas na metodologia de resolucao do problema acoplado, nos
deteremos por simplicidade ao caso bidimensional, onde o vetor velocidade possui
componentes ujh e vhj , segundo a definicao
uj
h
ujh =
.
vj
h
150
(6.22)
u1h
2
(n1 )2 +
x
vh1 u1h
+
x
y
vh1
2
n1 n2 +
(n2 ) = p2h ,
y
(6.23)
u2h )
2
=
D(u1h )n
x
2 x
y
y
= u2h 1 + vh2 2 . (6.24)
Considerando o emprego de malhas regulares e utilizando as expansoes de elementos finitos
pjh
np
X
m (x)pjm ,
N
m=1
nu
X
ujh =
Nl (x)ujl ,
l=1
ujh
x
nu
X
Nl (x)
l=1
ujl
u
ujh X
Nl (x) j
=
ul ,
y
y
l=1
onde np e nu sao os n
umeros de nos no elemento para a pressao e para a velocidade e
N(x)
e N(x) suas respectivas funcoes de forma. Podemos escrever a seguinte relacao
matricial avaliada em um ponto nodal P sobre a interface :
[ S ] {U 1 } = [ D ] {UP2 }.
(6.25)
151
{U 1 }: vetor de dimensoes (2nu + np ) 1 que representa as incognitas (relacionadas `a velocidade e `a pressao) do elemento e1 no domnio de Stokes que
possui um lado sobre a interface e contem o no P neste lado.
{UP2 }: vetor de dimensoes 3 1 que representa as incognitas do no P no
domnio de Darcy.
[ S ]: matriz de dimensoes 3 (2nu + np ) que contem os as expansoes de
elementos finitos do lado esquerdo das expressoes (6.22), (6.23) e (6.24).
[ D ]: matriz de dimensoes 3 3 que contem os as expansoes de elementos
finitos do lado direito das expressoes (6.22), (6.23) e (6.24).
Diferentemente da incorporacao das restricoes no escoamento de Darcy em um
meio poroso com interface de descontinuidade da condutividade hidraulica, onde
escrevemos as relacoes nodais (5.21) e (5.23), aqui encontramos uma relacao das
incognitas do ponto nodal P no domnio de Darcy com as incognitas do elemento
do domnio de Stokes que contem o no P .
Utilizando (6.25), para os nos sobre a interface dos elementos adjacentes e1 e
e2 , construmos matrizes [ S ] e [ D ] de dimensoes (2nu + np ) (2nu + np ) e um
de dimensoes (2nu + np ) 1, tais que
vetor {U}
[ S ] {U 1 } = [ D ] {U },
(6.26)
{U 1 } = [ S ]1 [ D ] {U}
ou
{U 1 } = [ T ] {U }.
(6.27)
152
Observac
ao 6.4 Para as formulacoes estabilizadas que utilizam interpolacoes descontnuas para a pressao, incorporamos apenas as restricoes relativas aos graus de
liberdade da velocidade, utilizando as relacoes (6.22) e (6.24).
6.4
Estudos Num
ericos
6.4.1
153
y
1.0
Fluido
0.5
Meio Poroso
x
0.0
1.0
154
Projecao no Plano YZ
0.1
Aproximada
Exata
0.1
0.08
0.08
0.06
Vx
0.06
0.04
0.02
0.04
0
0
1
0.2
0.8
0.4
0.02
0.6
0.6
0.4
0.8
0.2
1
0.2
(a)
0.4
0.6
0.8
(b)
0.05
0.04
0.04
0.03
Vx
0.03
0.02
0.01
0.02
0
0
1
0.2
0.8
0.4
0.6
0.6
0.01
0.4
0.8
0.2
1
0
0
(a)
0.2
0.4
0.6
0.8
(b)
155
Projecao no Plano YZ
0.05
Aproximada
Exata
0.05
0.04
0.04
0.03
Vx
0.03
0.02
0.01
0.02
0
0
1
0.2
0.8
0.4
0.01
0.6
0.6
0.4
0.8
0.2
1
0.2
0.4
(a)
0.6
0.8
(b)
1.2
1
0.8
0.6
0.4
0.2
0
0
1
0.2
0.8
0.4
0.6
0.6
0.4
0.8
0.2
1
6.4.2
156
Estudo de Converg
encia: Beavers-Joseph-Saffman
us =
no subdomnio de Stokes e
2 sin x exp(y/2)
,
ud =
1/ cos x exp(y/2)
1
ps = cos x exp(y/2)
2
pd = cos x exp(y/2)
(6.28)
(6.29)
no subdomnio de Darcy. Estes exemplos ja foram utilizados em testes de convergencia para cada problema, isoladamente, conforme apresentado nos experimentos numericos dos Captulos 3 e 4. Em relacao ao problema acoplado, esta solucao
satisfaz as equacoes (6.16), (6.17) e a condicao de Beavers-Joseph-Saffman (6.3)
us = D(us )n
com
=
4
.
1 + 4 2
f =
e
f=
1
2 cos x exp(y/2).
2
157
M
etodo Compatvel
Iniciamos pelo estudo do Metodo Compatvel. As solucoes foram computadas utilizando malhas uniformes de 4 4, 8 8, 16 16 e 32 32 elementos de Taylor-Hood
quadrilaterais Q2 Q1 . Os parametros de estabilizacao utilizados foram: 2 = 3 = 1.0.
Para a integracao numerica utilizamos quadratura gaussiana com 4 4 pontos.
Exemplo: BEAVERS-JOSEPH-SAFFMAN - Taylor-Hood; VELOCIDADE
-1
0
1
1
2
-2
1
log ||erro||
log ||erro||
-1
-3
1
-2
-4
-3
-5
|| u - uh ||
|| Grad ( u-uh ) ||
|| p - ph ||
|| Grad ( p-ph ) ||
-6
-4
0.6
0.8
1.2
1.4
1.6
-log(h)
0.6
0.8
1.2
1.4
1.6
-log(h)
Beavers-Joseph-Saffman e elementos de
Beavers-Joseph-Saffman e elementos de
Taylor-Hood Q2 Q1 : Velocidade.
Taylor-Hood Q2 Q1 : Pressao.
158
0
0.5
Ux
1
1.5
2
2.5
3
0
0.2
0.4
0.6
0.8
1
X
0.2
0.4
0.6
0.8
Uy
0.5
0.5
1
0
0.2
0.4
0.6
0.8
1
X
0.2
0.4
0.6
0.8
159
0.5
0
0.5
1
0
0.2
0.4
1
0.8
0.6
0.6
0.8
X
0.4
1
0.2
0
M
etodos Estabilizados com Press
ao Contnua
Para o estudo dos metodos totalmente estabilizados com pressao contnua, adotamos
malhas uniformes de 8 8, 16 16, 32 32 e 64 64 elementos Q1 Q1 e de 4 4,
8 8, 16 16 e 32 32 elementos Q2 Q2 . Em todos os casos, foi utilizada integracao
numerica por quadratura gaussiana com 4 4 pontos.
Iniciamos o estudo pela combinacao do metodo estabilizado GLS1 para o domnio
de Darcy, com os metodos estabilizados HF, DW e KL para o domnio de Stokes. Em
todos os experimentos utilizamos o parametro = 0.1 para os metodos estabilizados
para Stokes, alem de = 10.0 para o metodo KL. Para o metodo GLS1 adotamos
1 = 101 e estudamos duas escolhas dos parametros: 2 = 3 = 101 e 2 = 3 =
102 .
Os graficos de convergencia obtidos com elementos Q1 Q1 para a velocidade e para
160
-1.5
-1.5
-2
-2
log||erro||
log||erro||
-2.5
1
1.5
-2.5
1.5
-3
-3
-3.5
-3.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-4
-4
0.8
1.2
1.4
-log(h)
1.6
1.8
0.8
(a)
1.2
1.4
-log(h)
1.6
1.8
(b)
161
0.5
0.5
0
1
1
1
1
log||erro||
-0.5
log||erro||
-0.5
-1
-1
-1.5
-1.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-2
-2
0.8
1.2
1.4
1.6
1.8
0.8
1.2
-log(h)
1.4
1.6
1.8
-log(h)
(a)
(b)
-0.5
-0.5
-1
-1
-1.5
-1.5
log||erro||
log||erro||
1
1
-2
-2.5
1.5
1
-2
-2.5
-3
-3
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3.5
-3.5
0.8
1.2
1.4
-log(h)
(a)
1.6
1.8
0.8
1.2
1.4
-log(h)
1.6
1.8
(b)
1.5
1.5
0.5
0.5
log||erro||
log||erro||
162
1
1
0.5
-0.5
-0.5
-1
-1
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-1.5
-1.5
0.8
1.2
1.4
-log(h)
(a)
1.6
1.8
0.8
1.2
1.4
1.6
1.8
-log(h)
(b)
163
0.5
0
0.5
1
0
0.2
0.4
1
0.8
0.6
0.6
0.8
X
0.4
1
0.2
0
164
-1
-1
-2
-2
1
2
-3
1
log||erro||
log||erro||
-3
-4
-4
-5
-5
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-6
-6
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
(a)
1.6
-0.5
-0.5
-1
2
-1.5
log||erro||
log||erro||
1.4
(b)
-1
1.2
-log(h)
-2
-2.5
-1.5
-2
-2.5
-3
-3
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3.5
-3.5
0.6
0.8
1.2
1.4
1.6
-log(h)
(c)
0.6
0.8
1.2
1.4
1.6
-log(h)
(d)
-0.5
-0.5
-1
-1
-1.5
-1.5
-2
-2
log||erro||
log||erro||
-2.5
-3
165
1.5
-2.5
-3
2.5
-3.5
-3.5
-4
-4
-4.5
-4.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
-5
GLS1 + HF
GLS1 + DW
GLS1 + KL
-5
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
(a)
0.5
0.5
-0.5
-0.5
log||erro||
log||erro||
1.6
-1
-1
1
1
-1.5
-2
-2.5
1.4
(b)
-1.5
1.2
-log(h)
-2
-2.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3
0.6
0.8
1.2
1.4
1.6
-log(h)
(c)
0.6
0.8
1.2
1.4
1.6
-log(h)
(d)
166
0.5
0
0.5
1
0
0.2
0.4
1
0.8
0.6
0.6
0.8
0.4
1
0.2
0
(a)
0.5
0
0.5
1
0
0.2
0.4
1
0.8
0.6
0.6
0.8
X
0.4
1
0.2
0
(b)
Figura 6.20:
167
-2
-2
-3
-3
log ||erro||
log ||erro||
-4
1
2
168
-5
-4
1
2
-5
3
1
-6
-6
PD + HF
PD + DW
PD + KL
PD + HF
PD + DW
PD + KL
-7
-7
0.6
0.8
1.2
1.4
1.6
1.8
0.6
0.8
1.2
-log(h)
(a)
-0.5
-0.5
-1
-1
-1.5
-1.5
log ||erro||
log ||erro||
1.8
-2
2
1
-2
2
1
-2.5
-3
-3.5
1.6
(b)
-2.5
1.4
-log(h)
-3
-3.5
PD + HF
PD + DW
PD + KL
-4
PD + HF
PD + DW
PD + KL
-4
0.6
0.8
1.2
-log(h)
1.4
1.6
1.8
0.6
0.8
(c)
1.2
-log(h)
1.4
1.6
1.8
(d)
-1
-1
-2
-2
log ||erro||
log ||erro||
2
-3
169
2
-3
-4
-4
PD + HF
PD + DW
PD + KL
PD + HF
PD + DW
PD + KL
-5
-5
0.6
0.8
1.2
1.4
1.6
1.8
0.6
0.8
1.2
-log(h)
(a)
1.6
1.8
(b)
0.5
0.5
-0.5
-0.5
log ||erro||
log ||erro||
1.4
-log(h)
-1
1
-1
1
-1.5
-1.5
-2
-2
PD + HF
PD + DW
PD + KL
PD + HF
PD + DW
PD + KL
-2.5
-2.5
0.6
0.8
1.2
-log(h)
1.4
1.6
1.8
0.6
(c)
0.8
1.2
-log(h)
1.4
1.6
1.8
(d)
6.4.3
170
Estudo de Converg
encia: Beavers-Joseph
Neste segundo estudo de convergencia, utilizamos um exemplo que possui caractersticas de continuidade/descontinuidade similares a`quelas impostas pelas condicoes de interface de Beavers e Joseph (6.19), alem das condicoes (6.16) e (6.17). O
exemplo e definido sobre o domnio [0.0, 2.0] [0.0, 1.0], composto pelo subdomnio
de Darcy [0.0, 2.0] [0.0, 0.5] e pelo subdomnio de Stokes [0.0, 2.0] [0.5, 1.0], e
possui solucao exata:
cos x cos y
,
us =
sin x cos y
no subdomnio de Stokes, e
cos x sin y
,
ud =
sin x cos y
ps = (1 + 2 2 ) sin x sin y
(6.30)
pd = sin x sin y
(6.31)
(6.32)
com = 2/.
para Darcy, sao dadas a partir das
s para Stokes e h
As funcoes no contorno, u
respectivas solucoes analticas (6.30) e (6.31), enquanto as funcoes f e f sao diretamente calculadas atraves das equacoes (6.10) e (6.13), respectivamente, fornecendo
f =
e
f = 2 2 sin x sin y.
Observamos ainda que, como neste exemplo o campo de velocidades no domnio de
Stokes nao e solenoidal, temos
div us = 2 sin x (sin y + cos y) .
171
M
etodo Compatvel
Novamente utilizamos malhas uniformes de 4 4, 8 8, 16 16 e 32 32 elementos de Taylor-Hood quadrilaterais Q2 Q1 para o estudo de convergencia do Metodo
Compatvel. Os parametros de estabilizacao utilizados foram: 2 = 3 = 1.0. Para
integracao numerica, utilizamos quadratura gaussiana com 4 4 pontos.
Exemplo: BEAVERS E JOSEPH - Taylor-Hood; VELOCIDADE
1
1
1
2
log ||erro||
log ||erro||
-1
-2
-1
1
2
1
2
-3
-2
|| u - uh ||
|| Grad ( u-uh ) ||
|| p - ph ||
|| Grad ( p-ph ) ||
-4
-3
0.2
0.4
0.6
0.8
1.2
1.4
-log(h)
Figura 6.23:
0.2
0.4
0.6
0.8
1.2
1.4
-log(h)
Estudo de convergencia
Taylor-Hood Q2 Q1 : Velocidade.
Taylor-Hood Q2 Q1 : Pressao.
Os resultados para a velocidade e para o gradiente da velocidade estao apresentados na Figura 6.23. Eles mostram que a taxa otima O(h2.0) para ku uh k, esperada para cada subproblema isoladamente, e alcancada para o problema acoplado.
Taxa subotima O(h2.0 ) e obtida para ku uh k. Ja os resultados para a pressao e
para o gradiente da pressao, indicados na Figura 6.24, mostram que a formulacao
unificada compatvel preserva as taxas otimas de convergencia esperadas para cada
problema isoladamente: O(h2.0 ) para kp ph k, e O(h) para kp ph k.
172
Na Figura 6.25 apresentamos a componente na direcao x da velocidade aproximada com o uso de uma malha de 8 8 elementos de Taylor-Hood. Podemos
observar que a descontinuidade ao longo da interface e perfeitamente representada. A componente na direcao y e apresentada na Figura 6.26. Finalmente, na
Figura 6.27 apresentamos a aproximacao para a pressao, demonstrando novamente
que o metodo funciona bem mesmo quando as solucoes em cada subdomnio sao de
diferentes ordens de magnitude.
Ux
4
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
Figura 6.25: Exemplo com condicao de interface de Beavers e Joseph: solucao aproximada com uma malha de 8 8 elementos de Taylor-Hood Q2 Q1 . Componente da
velocidade na direcao x.
173
Uy
4
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
Figura 6.26: Exemplo com condicao de interface de Beavers e Joseph: solucao aproximada com uma malha de 8 8 elementos de Taylor-Hood Q2 Q1 . Componente da
velocidade na direcao y.
30
20
10
0
10
20
30
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
Figura 6.27: Exemplo com condicao de interface de Beavers e Joseph: solucao aproximada com uma malha de 8 8 elementos de Taylor-Hood Q2 Q1 . Pressao.
174
M
etodos Estabilizados com Press
ao Contnua
Antes de seguir o estudo dos metodos totalmente estabilizados, relatamos que experimentos realizados separadamente para o subproblema de Stokes e para o subproblema de Darcy indicam que as taxas de convergencia esperadas pela analise
sao alcancadas por todos os metodos estabilizados para o problema de Stokes, bem
como pelos metodos GLS1 e PD para o problema de Darcy.
Podemos observar que a solucao no subdomnio de Darcy nada mais e do que
a restricao do exemplo estudado na Secao 4.5, ao domnio [0.0, 2.0] [0.0, 0.5]. De
um modo geral, os resultados dos metodos estabilizados para Stokes apresentam o
mesmo comportamento observado no exemplo estudado no Captulo 3. Contudo,
para o exemplo desta secao, verificamos uma grande sensibilidade destes metodos `a
escolha do parametro de estabilizacao .
Esta sensibilidade se reflete, basicamente, na estabilidade da aproximacao da
pressao. Para ilustrar este fato, apresentamos na Figuras 6.28 e 6.29 a pressao
aproximada pelos metodos HF e DW, respectivamente, com uma malha de 4
8 elementos Q2 Q2 e diferentes valores de . Vemos que, embora o metodo DW
apresente maior estabilidade e nao possua um limite superior para o parametro ,
para ambos os metodos a escolha = 0.005 conduz a um resultado mais preciso.
Com isso, adotamos os seguintes parametros para compor os metodos estabilizados: = 0.005, = 5.0, 1 = 0.005 e 2 = 3 = 0.5. Os estudos de convergencia
foram realizados com malhas uniformes de 8 8, 16 16, 32 32 e 64 64 elementos
Q1 Q1 e de 4 4, 8 8, 16 16 e 32 32 elementos Q2 Q2 . Em todos os casos foi
utilizada integracao numerica por quadratura gaussiana com 4 4 pontos.
30
30
20
20
10
10
10
10
20
20
30
0
30
0
0.5
175
0.5
1
1
1
1.5
1.5
0.8
X
0.8
0.6
(b)
30
30
20
20
10
10
(a)
0.6
10
10
20
20
30
0
30
0
0.5
0.5
1
1
1
1.5
1.5
0.8
X
0.6
(c)
0.8
X
0.6
Y
(d)
Figura 6.28: Exemplo de Beavers e Joseph: Subproblema de Stokes; Pressao aproximada pelo metodo HF com uma malha de 8 4 elementos Q2 Q2 : (a) = 1.0,
(b) = 0.1, (c) = 0.001 e (d) = 0.005.
30
30
20
20
10
10
10
10
20
20
30
0
30
0
0.5
176
0.5
1
1
1
1.5
1.5
0.8
X
0.8
0.6
(b)
30
30
20
20
10
10
(a)
0.6
10
10
20
20
30
0
30
0
0.5
0.5
1
1
1
1.5
1.5
0.8
X
0.6
(c)
0.8
X
0.6
Y
(d)
Figura 6.29: Exemplo de Beavers e Joseph: Subproblema de Stokes; Pressao aproximada pelo metodo DW com uma malha de 8 4 elementos Q2 Q2 : (a) = 1.0,
(b) = 0.1, (c) = 10.0 e (d) = 0.005.
177
1.5
0.5
1
0
0.5
log||erro||
log||erro||
-0.5
-1
-1.5
1
1
-2
-0.5
-2.5
-1
-3
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3.5
-1.5
0.6
0.8
1.2
1.4
1.6
0.6
-log(h)
(a)
0.8
1.2
1.4
1.6
-log(h)
(b)
178
3.5
1.5
2.5
0.5
log||erro||
log||erro||
2
0
1
1.5
-0.5
1.5
1
0.5
1
-1
0.5
-1.5
-2
GLS1 + HF
GLS1 + DW
GLS1 + KL
-2.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
-0.5
0.6
0.8
1.2
1.4
1.6
-log(h)
(a)
0.6
0.8
1.2
1.4
1.6
-log(h)
(b)
179
30
20
10
0
10
20
30
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
(a)
30
20
10
0
10
20
30
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
(b)
180
1.5
1
0.5
0
1
log||erro||
log||erro||
-1
1
2
-0.5
-1
-2
-1.5
-2
-3
-2.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
-4
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3
0.2
0.4
0.6
0.8
1.2
1.4
0.2
-log(h)
(a)
0.4
0.6
0.8
1.2
1.4
-log(h)
(b)
181
1.5
2.5
1
2
0.5
1.5
-0.5
-1
log||erro||
log||erro||
1
0.5
2
-1.5
1
-2
-0.5
-2.5
GLS1 + HF
GLS1 + DW
GLS1 + KL
GLS1 + HF
GLS1 + DW
GLS1 + KL
-3
-1
0.2
0.4
0.6
0.8
1.2
1.4
-log(h)
(a)
0.2
0.4
0.6
0.8
1.2
1.4
-log(h)
(b)
182
30
20
10
0
10
20
30
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
(a)
30
20
10
0
10
20
30
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
(b)
183
30
20
10
0
10
20
30
0
0.5
1
1.5
2
X
0.2
0.4
0.6
0.8
M
etodos Estabilizados com Press
ao Descontnua
Para o estudo de convergencia dos metodos estabilizados com pressao descontnua,
utilizamos malhas regulares de 44, 88, 1616, 3232 e 6464 elementos Q2 Q1
e Q2 Q2 , e integracao numerica por quadratura gaussiana com 3 3 pontos. Para
o exemplo de Beavers e Joseph adotamos os seguintes parametros de estabilizacao:
= 0.1, = 1.0, 1 = 0.5 e 2 = 3 = 1.0.
Os resultados apresentados na Figura 6.37 indicam que a taxa de convergencia
otima O(h2.0) para ku uh k e obtida tanto para os elementos Q2 Q1 quanto
para os elementos Q2 Q2 . Eles mostram ainda convergencia O(h2.0) para ku
uh k. Os graficos de convergencia da Figura 6.38 mostram que as taxas O(h2.0 ) e
O(h1.0) para a pressao e para o gradiente da pressao, respectivamente, esperadas
pela analise para os subproblemas calculados isoladamente, sao alcancadas pelos
metodos estabilizados para o problema acoplado.
-0.5
-0.5
-1
-1
-1.5
-1.5
-2
-2
log ||erro||
log ||erro||
184
-2.5
1
-3
-2.5
-3
2.5
2
-3.5
-3.5
-4
-4
-4.5
-4.5
PD + HF
PD + DW
PD + KL
-5
PD + HF
PD + DW
PD + KL
-5
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
1.4
1.6
(b)
0.5
0.5
-0.5
-0.5
1
log ||erro||
log ||erro||
1.2
-log(h)
(a)
-1
2
-1.5
-1
-1.5
1
-2
-2
-2.5
-2.5
-3
-3
PD + HF
PD + DW
PD + KL
-3.5
PD + HF
PD + DW
PD + KL
-3.5
0.6
0.8
1
-log(h)
1.2
1.4
1.6
(c)
0.6
0.8
1
-log(h)
1.2
1.4
1.6
(d)
0.5
0.5
1
2
-0.5
log ||erro||
-0.5
log ||erro||
-1
-1
-1.5
-1.5
-2
-2
-2.5
185
-2.5
PD + HF
PD + DW
PD + KL
-3
1
2
PD + HF
PD + DW
PD + KL
-3
0.6
0.8
1.2
1.4
1.6
0.6
0.8
-log(h)
(a)
1.4
1.6
(b)
1.5
1.5
1
1
log ||erro||
1
log ||erro||
1.2
-log(h)
0.5
0.5
-0.5
-0.5
PD + HF
PD + DW
PD + KL
PD + HF
PD + DW
PD + KL
-1
-1
0.6
0.8
1.2
1.4
1.6
-log(h)
(c)
0.6
0.8
1.2
1.4
1.6
-log(h)
(d)
6.5
186
Conclus
oes
Neste captulo foram apresentadas duas novas classes de metodos estabilizados unificados para a resolucao do sistema acoplado de Stokes-Darcy: uma formulacao compatvel baseada na combinacao de formulacoes de Galerkin estaveis para Stokes com
uma formulacao estabilizada para Darcy; e formulacoes totalmente estabilizadas,
baseadas na combinacao de metodos estabilizados para cada escoamento.
A formulacao unificada compatvel apresentou resultados bastante precisos, mesmo para malhas pouco refinadas. Esta precisao se deve `a estabilidade do metodo
de Galerkin para o escoamento de Stokes no espaco de elementos finitos adotado e
`a compatibilidade entre os espacos de aproximacao para os problemas contnuos.
A combinacao de metodos estabilizados para o problema de Stokes e de Darcy
fornece um caminho para o emprego de interpolacoes lagrangianas de mesma odem
em ambos os domnios. Neste caso, verificamos que a sensibilidade `a escolha dos
parametros de estabilizacao se deve principalmente `as aproximacoes do problema
de Stokes, porquanto as aproximacoes do problema de Darcy apresentam maior
estabilidade, indicando a robustez dos metodos GLS1 e PD.
Como alternativa `as estrategias iterativas de resolucao do sistema acoplado, apresentamos um procedimento que permite sua aproximacao de forma direta. Este
procedimento, baseado na incorporacao das restricoes na interface, conduz a um
sistema de equacoes lineares algebricas com a mesma estrutura dos sistemas obtidos
por problemas aproximados com interpolacoes lagrangianas contnuas. Mesmo para
casos mais gerais, como na presenca de nao-linearidades no sistema, onde solucoes
iterativas sejam necessarias, a metodologia apresentada pode ser de grande valia
para o calculo de solucoes inicias precisas.
Os resultados podem, certamente, ser considerados plenamente satisfatorios,
tanto em termos de precisao quanto em termos de estabilidade. Nao obstante `a
resolucao direta do sistema acoplado, foram obtidas taxas de convergencia globais
tpicas das esperadas pela analise para os sistemas resolvidos independentemente.
Captulo 7
Conclus
oes
O desenvolvimento da tese, que culminou com a apresentacao de novos metodos de
elementos finitos estabilizados para o escoamento acoplado de Stokes-Darcy, teve
como foco tres topicos principais:
O desenvolvimento de novas formulacoes mistas estabilizadas para o escoamento em meios porosos;
A extensao das formulacoes estabilizadas que empregam interpolacoes lagrangianas contnuas para a velocidade, a escoamentos em meios porosos com interface de descontinuidade da condutividade hidraulica;
A combinacao de formulacoes estabilizadas ou inicialmente estaveis para o
escoamento de Stokes com as novas formulacoes estabilizadas para o escoamento de Darcy, compondo novos metodos estabilizados para a aproximacao
do sistema acoplado de Stokes-Darcy.
O estudo das formulacoes estabilizadas para o escoamento do fluido live, apresentado no Captulo 3, introduziu o conceito de estabilizacao das formulacoes classicas
de Galerkin atraves da combinacao de resduos ponderados das equacoes de governo.
Neste captulo foram comentadas as caractersticas fundamentais de um metodo de
Galerkin estavel e do desenvolvimento de tres formulacoes estabilizadas de PetrovGalerkin, sendo demonstrada, atraves de um estudo numerico, a sensibilidade de
tais formulacoes `a escolha dos parametros de estabilizacao.
187
CAPITULO 7 - Conclusoes
188
CAPITULO 7 - Conclusoes
189
Refer
encias Bibliogr
aficas
[1] BEAVERS, G. S., JOSEPH, D. D., Boundary conditions at a naturally permeable wall, J. Fluid Mech., v. 30, n. 1, pp. 197207, 1967.
[2] TOLEDO, E. M., Novas Formulac
oes de Elementos Finitos Mistos com PosProcessamento. Tese de D.Sc., COPPE/UFRJ, Rio de Janeiro, RJ, Brasil, 1990.
[3] LOULA, A. F. D., ROCHINHA, F. A., MURAD, M. A., Higher-order gradient post-processings for second-order elliptic problems, Computer Methods in
Applied Mechanics and Engineering, v. 128, pp. 361381, 1995.
[4] LOULA, A. F. D., GARCIA, E. L. M., COUTINHO, A. L. G. A., Miscible displacement simulation by finite element method in distributed memory machines,
Computer Methods in Applied Mechanics and Engineering, v. 174, pp. 339354,
1999.
[5] MALTA, S. M. C., LOULA, A. F. D., GARCIA, E. L. M., Numerical analysis
of a stabilized finite element method for tracer injection simulations, Computer
Methods in Applied Mechanics and Engineering, v. 187, pp. 119136, 2000.
[6] BROOKS, A. N., HUGHES, T. J. R., Streamline upwind/Petrov-Galerkin formulations for convective dominated flows with particular emphasis on the incompressible Navier-Stokes equations, Computer Methods in Applied Mechanics and
Engineering, v. 32, pp. 199259, 1982.
[7] BABUSKA,
I., Error bounds for finite element method, Numerische Mathematik, v. 16, pp. 322133, 1971.
190
REFERENCIAS
BIBLIOGRAFICAS
191
[8] BREZZI, F., On the existence, uniqueness and approximation of saddle point problems arising from lagrange multipliers,
RAIRO Analyse
REFERENCIAS
BIBLIOGRAFICAS
192
[17] LAYTON, W. J., SCHIEWECK, F., YOTOV, I., Coupling fluid flow with
porous media flow, SIAM Journal on Numerical Analysis, v. 40, n. 6, pp. 2195
2218, 2003.
[18] GALVIS, J.,
REFERENCIAS
BIBLIOGRAFICAS
[26] BURMAN, E., HANSBO, P.,
193
A unified stabilized method for Stokes
[35] VERFURTH,
R., Error estimates for a mixed finite element approximation of
the Stokes equations, RAIRO Analyse numerique/Numerical Analysis, v. 18,
n. 2, pp. 175182, 1984.
[36] CIARLET, P. G., Basic error estimates for elliptic problems. In: Handbook
of Numerical Analysis, Elsevier Science Publishers, 1991.
REFERENCIAS
BIBLIOGRAFICAS
194
[37] CIARLET, P. G., The Finite Element Method for Elliptic Problems. NorthHolland Publishing Company, 1978. (Studies in Mathematics and its Applications).
[38] FRANCA, L. P., STENBERG, R., Error analysis of some Galerkin Least
Squares methods for the elasticity equations, SIAM Journal on Numerical Analysis, v. 28, n. 6, pp. 16801697, 1991.
[39] LOULA, A. F. D., HUGHES, T. J. R., FRANCA, L. P. et al., Petrov-Galerkin
formulations of the Timoshenko beam problem, Computer Methods in Applied
Mechanics and Engineering, v. 63, pp. 115132, 1987.
[40] LOULA, A. F. D., HUGHES, T. J. R., FRANCA, L. P., Mixed PetrovGalerkin methods for the Timoshenko beam problem, Computer Methods in
Applied Mechanics and Engineering, v. 63, pp. 133154, 1987.
[41] FRANCA, L. P., HUGHES, T. J. R., LOULA, A. F. D. et al., A new family
of stable elements for nearly incompressible elasticity based on a mixed PetrovGalerkin method, Numerische Mathematik, v. 53, pp. 123141, 1988.
[42] FRANCA, L. P., New Mixed Finite Element Methods. Ph.D. Thesis, Stanford
University, Stanford, USA, 1987.
[43] HUGHES, T. J. R., FRANCA, L. P., BALESTRA, M., A new finite element
formulation for computational fluid dynamics: V. Circumventing the BabuskaBrezzi condition: A stable Petrov-Galerkin formulation of the Stokes problem
accomodating equal-order interpolations, Computer Methods in Applied Mechanics and Engineering, v. 59, pp. 8599, 1986.
[44] FRANCA, L. P., HUGHES, T. J. R., STENBERG, R., Incompressible computational fluid dynamics. In: , cap. 4, pp. 87107, Cambridge University Press,
1993.
[45] KARAM FILHO, J., LOULA, A. F. D., A non-standard application of the
Babuska-brezzi theory to finite element analysis of Stokes problem, Matematica
Aplicada e Computacional, v. 10, n. 3, pp. 243262, 1991.
REFERENCIAS
BIBLIOGRAFICAS
195
[46] KARAM FILHO, J., LOULA, A. F. D., On stable equal-order finite element
formulations for incompressible flow problems, International Journal for Numerical Methods in Engineering, v. 32, pp. 655665, 1992.
[47] FRANCA, L. P., KARAM FILHO, J., LOULA, A. F. D. et al., A convergence
analysis of a stabilized method for the Stokes flow,
Matem
atica Aplicada e
REFERENCIAS
BIBLIOGRAFICAS
196
REFERENCIAS
BIBLIOGRAFICAS
197