Escolar Documentos
Profissional Documentos
Cultura Documentos
Desafio MEF I
Desafio MEF I
Prof. Gustavo Benitez Alvarez Departamento de Cincias Exatas EEIMVR/UFF, Brasil benitez.gustavo@gmail.com
O SEMINRIO
O Problema O Desafio A Equao da Difuso-Conveco-Reao (Formulao Forte, Fraca e Aproximao) Mtodo de Elementos Finito de Galerkin Mtodo de Elementos Finito de Galerkin Mnimos Quadrados GLS Mtodo de Elementos Finito de Captura tipo CAU Outros Mtodos de Captura Voltando ao Desafio Concluso
O PROBLEMA!
Equaes em Derivadas Parciais (EDP) lineares de segunda ordem modelam uma variedade de fenmenos fsicos e problemas que aparecem na engenharia. A equao da difuso conveco reao (transporte) um exemplo de EDP que modela fenmenos de transferncia de calor, transporte de sustncias em meios, etc.
D + v + = f
Difuso Conveco Reao Fonte
em
Usualmente, o mtodo de elementos finito clssico (MEF) ou mtodo de Galerkin usado para obter solues numricas destes problemas. Apenas para problemas puramente difusivos a soluo do mtodo de Galerkin tima.
D = f
Difuso Fonte
em
O DESAFIO!
H mais de trs dcadas se sabe que o mtodo de Galerkin instvel e impreciso para alguns problemas descritos por EDP lineares de segunda ordem. Sua soluo apresenta oscilaes esprias que no correspondem com a soluo exata do problema. Brooks, A. N. and Hughes, T. J. R., Streamline upwind/Petrov-Galerkin formulations for convection dominated flows with particular emphasis on the incompressible Navier-Stokes equations. Computer Methods in Applied Mechanics and Engineering, 32:199-259, 1982. A equao da Difuso Conveco Reao um exemplo representativo do deterioro das propriedades de estabilidade e preciso do mtodo de Galerkin. Mtodo Galerkin + Mnimos Quadrados (GLS) Como alternativa a este mtodo tem surgido varias estratgias dentro do contexto de elementos finitos (GLS, SUPG, CAU, etc). Desenvolver um MEF cuja soluo numrica seja estvel e precisa para esta equao continua sendo um grande desafio para os pesquisadores nesta rea do conhecimento.
= f
Reao
em
=g
Fonte
em g
D n = q
D n + = r
em q
em r
Passo 1: Multiplicar a EDP por funes admissveis (teste C 0 ( ) ) e integrando a equao sobre todo o domnio .
Passo 2: Integrao por partes (ou usar a formula de Green) para reduzir o maior ordem das derivadas parciais presentes na EDP.
d = d + xi xi
Passo 3: Usando a condio de que as funes teste se anulam no contorno o termo de contorno da formula de Green eliminado.
EQUAO DA DIFUSSO CONVECO REAO Formulao Variacional: Encontrar S que satisfaz a equao:
r
A ( , ) =
[D
q
+ u ] d + F ( )
f d +
q d + r d
r
S = H 1 (): = g em g
V = H 1 ( ): = 0 em g
Os espaos de funes S e V so de dimenso infinita. Ou seja, a soluo exata deste problema depende de encontrar infinitas incgnitas, que nem sempre possvel. Galerkin (1871-1945) estudo a soluo aproximada do problema em espaos de funes de dimenso finita. O mtodo de Galerkin baseado em seqncia de subespaos de dimenso finita {V n }n =1 V , V n V n +1 , que converge para o espao V no limite. Pode ser provado, sob certas condies, que a seqncia de solues aproximadas { n } , n S n converge para a soluo exata do n =1 problema.
EQUAO DA DIFUSSO CONVECO REAO Formulao Variacional Aproximada Correspondente: Encontrar n S n que satisfaz
A ( n , m ) =
[D
q
m + u n m ] d +
m d
fmd +
q m d +
r m d F ( m )
m Vm
Como os espaos so de dimenso finita N a soluo aproximada pode ser escrita como combinao linear das funes bases com coeficientes a determinar N 1 Base Global Mtodo de Galerkin Original
N = ci Bi
i =1
2 Base Local
Como resultado transformamos o problema acima em um sistema linear de equaes algbricas A N N c1 F1 A1 1 N = A n m C m = F n , n = 1 , , Nou m =1 A1 N ANN c N FN
EQUAO DA DIFUSSO CONVECO REAO O MEF de Galerkin: Seja M h = {1,, ne} uma partio de . Encontrar h S h,k que satisfaz h V h,k :
AG ( , )
h h nne i =1 h e
ne
e =1 e
[ D + u ] d =
h e h e h e h e
ne
e =1 e
f eh d FG ( h )
EQUAO DA DIFUSSO CONVECO REAO O MEF Galerkin Mnimos Quadrados GLS: Encontrar h S h,k que satisfaz a equao h V h,k
AG ( h , h ) + ALS ( h , h ) = FG ( h ) + FLS ( h )
ne e =1 e ne h e h e h h e e
AG = [ D + u ] d , FG = f eh d
ne
e =1 e ne
he ue c1 e = max 0,1 , Pe = c2 Pe 2D Problemas 1D a soluo do mtodo GLS coincide com a soluo exata.
Problemas 2D e 3D o mtodo GLS se mostra instvel e impreciso quando os termos convectivo e/ou reativo so dominantes. Como alternativa aos mtodos Galerkin, GLS e SUPG surgiram outras estratgias dentro do contexto de elementos finitos. Por exemplo, mtodos baseados em operadores de captura como o mtodo CAU.
i ( D ) + u , he = 2 p = ue , j , be ,i = be 2 ue j =1 x j
h e h e h e
e he
e=1 e
e=1 e
ue
dim
Solues do mtodo GLS e Exata em Problemas 1D com difuso dominante (C) e conveco dominante (D).
EQUAO DA DIFUSSO CONVECO REAO h h ,k O MEF com operadores de captura tipo CAU: Encontrar S que satisfaz a equao h V h,k
0, h Ce (e ) = e he 2
e=1 e
ec hec se h e he ue e
Re(eh )
Re(eh ) Re(eh ) ec hec < , se h h e he ue e e dim ue eh i h h h c c Re(e ) = (De ) + u e fe , he = 2 , be,i = (ue, j eh, j ) x bc
e j =1 j
c h c Re(eh ) e e h e he ue e
GLS
CAU
GLS
CAU
GLS CAU Solues dos mtodo GLS e CAU em Problemas 2D com conveco dominante. Brooks, A. N. and Hughes, T. J. R., Streamline upwind/Petrov-Galerkin formulations for convection dominated flows with particular emphasis on the incompressible Navier-Stokes equations. Computer Methods in Applied Mechanics and Engineering, 32:199-259, 1982. Galeo, A. C. and Do Carmo, E. G. D., A consistent approximate upwind Petrov-Galerkin method for convection-dominated problems. Computer Methods in Applied Mechanics and Engineering, 68:83-95, 1988.
Hughes, T. J. R., Franca, L. P. and Hulbert, G. M., A new finite element formulation for computational fluid dynamics: VII. The Galerkin-least-squares method for advective-diffusive equations. Computer Methods in Applied Mechanics and Engineering, 73:173-189, 1989. Em problemas 2D e 3D com termos convectivo e/ou reativo dominantes os mtodos de captura, tipo CAU, se mostram: - mais estvel quando a soluo exata possui altos gradientes, - mais impreciso quando a soluo exata suave. Como alternativa surgiram modificaes dos mtodos de captura. Dutra do Carmo, E. G. and Alvarez, G. B., A new stabilized finite element formulation for scalar convection-diffusion problems: the streamline and approximate upwind/Petrov-Galerkin method. Computer Methods in Applied Mechanics and Engineering, 192:3379-3396, 2003. Este mtodo se prope suprimir as oscilaes esprias sem uma excessiva suavizao das camadas limites. Isto pode ser feito com uma h h melhor escolha da funo Ce (e ) que depende do resduo da EDP Re(e ).
GLS
CAU
SAUPG
GLS
CAU
SAUPG
Outras modificaes dos mtodos de captura tem surgido para: - manter a estabilidade quando a soluo exata possui altos gradientes, - manter a preciso quando a soluo exata suave, - melhorar a preciso quando a soluo exata possui altos gradientes.
Dutra do Carmo, E. G. and Alvarez, G. B., A non-linear stabilized finite element method with shock capturing and reduced smearing for advection problems: the Consistent Shock Capturing with Reduced Smearing Method. Computer Methods in Applied Mechanics and Engineering, submetido, 2010. (mtodo CSCRS) Este mtodo se prope suprimir as oscilaes esprias sem uma excessiva suavizao das camadas limites. Isto pode ser feito com uma h melhor escolha da funo Ce (eh ) que depende do resduo da EDP Re(e ).
Solues dos mtodo GLS, CAU e CSCRS em Problemas 2D com conveco dominante: projeo em x=0.5.
Solues dos mtodo GLS, CAU e CSCRS em Problemas 2D com conveco dominante: projeo em y=0.5.
Solues dos mtodo GLS, CAU e CSCRS em Problemas 2D com conveco dominante: projeo em y=0.5.
Solues dos mtodo GLS, CAU e CSCRS em Problemas 2D com conveco dominante: projeo em y=0.5.
O DESAFIO!
Desenvolver um Mtodo de Elementos Finitos linear ou no para a Equao da Difuso-Conveco-Reao com Conveco e/ou Reao Dominante que seja: - estvel quando a soluo exata possui camadas limites (grande derivada), - preciso quando a soluo exata suave (pequena derivada), - preciso quando a soluo exata possui camadas limites (camadas pouco suavizadas). Este desafio, para os pesquisadores nesta rea do conhecimento, um problema que continua em aberto atualmente. Prova disto so a grande quantidade de: - Artigos Cientficos publicado sobre o tema, - Teses de Doutorado e Dissertaes de Mestrado sobre o tema.
Concluso
Apresentamos para a Equao da Difuso-Conveco-Reao os MEF de Galerkin, GLS Galerkin Mnimos Quadrados e CAU Upwind Aproximado Consistente. Mtodos de Galerkin, GLS e SUPG so lineares, enquanto mtodos de captura como o CAU so no lineares. Mtodos lineares so mais instveis que os mtodos no lineares. Mtodos lineares so menos difusivos que os mtodos no lineares.
Muito Obrigado.
Agradecimentos O autor agradece Agncia Brasileira de Fomento Pesquisa FAPERJ pelo suporte a este trabalho.