DESAFIOS EM ELEMNTOS FINITOS: PARTE I EQUAO DA DIFUSSO CONVECO REAO

Prof. Gustavo Benitez Alvarez Departamento de Cincias Exatas EEIMVR/UFF, Brasil benitez.gustavo@gmail.com

AGENDA ACADMICA 2010 UNIVERSIDADE FEDERAL FLUMINENSE

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.

EQUAO DA DIFUSSO CONVECO REAO Problema de Valor L ( ) ( D ) + u + de Contorno:

Difuso Adveco

= f
Reao

em

=g

Fonte

em g

D n = q
D n + = r

em q
em r

Formulao Forte do Problema ou Equao Diferencial Parcial (EDP)

EQUAO DA DIFUSSO CONVECO REAO

Como passar de uma formulao forte do problema para outra formulao mais fraca? (menos exigncias para as funes envolvidas no problema) Formulao Forte ou Equao Diferencial Parcial Equao Variacional Formulao Fraca

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

Mtodo de Elementos Finitos de Galerkin

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 )

( x, y , z ) = eh (i ) i ( x, y , z ), onde i so os Polinmios de Lagrange

A instabilidade do mtodo de Galerkin se deve a falta de controle no gradiente da soluo. Quando a CONVECO e/ou REAO dominante o mtodo de Galerkin apresenta oscilaes esprias. Nestes casos o mtodo instvel a menos que a malha seja refinada.

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

ALS = [ (Deh ) + u eh ] peh de , FLS = fe peh de

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).

Solues do mtodo GLS em Problemas 2D com conveco dominante.

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

AG ( h , h ) + ASUPG ( h , h ) + ACAU ( h ; h , h ) = FG ( h ) + FSUPG ( h )

ACAU ( ; , ) = Ce (eh )eh eh d,
h h h ne

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

ue , se eh = 0 he ue eh c , ec = max 0,1 1 c , Pec = eh = Re(eh ) h e , se eh 0 ue 2D c2Pe h2 e

GLS

CAU

Solues dos mtodo GLS e CAU em Problemas 2D com conveco dominante.

GLS

CAU

Solues dos mtodo GLS e CAU em Problemas 2D com conveco dominante.

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

Solues dos mtodo GLS, CAU e SAUPG para conveco dominante.

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.

Alguns Artigos Cientficos

E. G. Dutra do Carmo, G. B. Alvarez, F. A. Rochinha and A. F. D. Loula, Galerkin projected residual method applied to diffusionreaction problems, Comput. Methods Appl. Mech. Engrg. 197 (2008) 45594570. J. Principe, R. Codina, On the stabilization parameter in the subgrid scale approximation of scalar convection diffusion reaction equations on distorted meshes, Comput. Methods Appl. Mech. Engrg. 199 (2010) 13861402. V. John, P. Knobloch, On spurious oscillations at layers diminishing (SOLD) methods for convectiondiffusion equations: Part I A review, Comput. Methods Appl. Mech. Engrg. 196 (2007) 21972215. V. John, P. Knobloch, On spurious oscillations at layers diminishing (SOLD) methods for convectiondiffusion equations: Part II Analysis for P1 and Q1 finite elements, Comput. Methods Appl. Mech. Engrg. 197 (2008) 19972014. L. Tobiska, On the relationship of local projection stabilization to other stabilized methods for one-dimensional advectiondiffusion equations, Comput. Methods Appl. Mech. Engrg. 198 (2009) 831837. P.H. Chiu, Tony W.H. Sheu, On the development of a dispersion-relationpreserving dualcompact upwind scheme for convectiondiffusion equation, Journal of Computational Physics 228 (2009) 36403655. P-W. Hsieh, S-Y. Yang, On efficient least-squares finite element methods for convection dominated problems, Comput. Methods Appl. Mech. Engrg. 199 (2009) 183196. M.-C. Hsu, Y. Bazilevs, V.M. Calo, T.E. Tezduyar, T.J.R. Hughes, Improving stability of stabilized and multiscale formulations in flow simulations at small time steps, Comput. Methods Appl. Mech. Engrg. 199 (2010) 828840. V. Ramakkagari, J. E. Flaherty, A new stable method for singularly perturbed convection diffusion equations, Comput. Methods Appl. Mech. Engrg. 197 (2008) 15071524. V. John, E. Schmeyer, Finite element methods for time-dependent convectiondiffusion reaction equations with small diffusion, Comput. Methods Appl. Mech. Engrg. 198 (2008) 475494.

Algumas Teses e Dissertaes

Revanth Reddy Garlapati, Reduced Basis Method for Boltzmann Equation, Master of Science in Computation for Design and Optimization, Massachusetts Institute of Technology, 2006. Carlos Alberto Alvarez Henao, Um Estudo sobre Operadores de Captura de Descontinuidades para Problemas de Transporte Advectivos, Mestre em Cincias em Engenharia Civil, COPPE/UFRJ, 2004. Denise A. Krueger, Stabilized Finite Element Methods for Feedback Control of Convection Diffusion Equations, Doctor of Philosophy in Mathematics, Faculty of the Virginia Polytechnic Institute and State University, 2004. M. Elie HACHEM, Stabilized Finite Element Method for Heat Transfer and Turbulent Flows Inside Industrial Furnaces, Docteur de lEcole Nationale Suprieure des Mines de Paris - Spcialit Mcanique Numrique, MINES PARISTECH, 2009. Isaac Pinheiro dos Santos, Mtodos Submalhas No Lineares para o Problema de Conveco-Difuso-Reao, Doutor em Modelagem Computacional, Laboratrio Nacional de Computao Cientfica, 2007. Amilton Ferreira da Silva Junior, Estudo Numrico da Equao de Conveco e Difuso usando Mtodos de Elementos Finitos e Volumes Finitos, Mestre em Modelagem Computacional em Cincia e Tecnologia, EEIMVR/UFF, Previso de Defesa 2011.

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.