PROJETO DE INICIAO CIENTFICA Solues numricas via mtodo dos elementos finitos para a equao de Helmholtz escalar

01- IDENTIFICAO DO PROJETO - Ttulo: Solues numricas via mtodo dos elementos finitos para a equao de Helmholtz escalar - rea de concentrao ( CNPq): Matemtica Aplicada, Anlise Numrica - Trs palavras-chave: Equao de Helmholtz; Mtodos dos Elementos Finitos; Estabilizao - Local de realizao do Projeto na UFF: EEIMVR

02- RESUMO Processos nos quais ondas interagem com um meio so modelados por equaes em derivadas parciais (EDP) de segunda ordem. S poucos problemas de ondas possuem soluo analtica. Isto mostra a importncia de se desenvolver mtodos numricos para obter solues aproximadas. A tcnica numrica mais usada o mtodo de elementos finitos (MEF) de Galerkin. Entretanto, sua soluo numrica perde estabilidade para o regime de freqncias mdias e altas. A equao de Helmholtz o modelo matemtico linear que descreve os harmnicos temporais de ondas acsticas, elsticas e eletromagnticas. A soluo do MEF de Galerkin apresenta o conhecido efeito de poluio do erro. medida que o comprimento de onda diminui a soluo aproximada torna-se mais instvel, impedindo obter solues numricas para o regime de freqncias mdias e altas. Varias formulaes tm sido propostos como alternativa formulao de Galerkin para contornar o efeito da poluio do erro. Todavia, estas alternativas, at hoje, para o caso bidimensional no so formulaes livres de poluio. Dependendo da direo de propagao da onda as solues numricas apresentam uma disperso de fase da onda, que pode ser muito significativa na medida em que o comprimento de onda diminui. O objetivo deste projeto despertar o interesse do aluno dos cursos de matemtica, fsica e engenharias na rea de matemtica aplicada e anlise numrica. Iniciar o aluno nos diversos mtodos numricos para resolver a equao de Helmholtz, no uso de computadores para o clculo cientfico e na linguagem de programao FORTRAN. Alm de iniciar-lo na elaborao e exposio de relatrios e artigos. Como resultado esperamos que o aluno absorva tudo o ferramental mencionado de forma que lhe permita continuar aprofundando seus conhecimentos nesta rea. Fomentar no aluno atitudes ticas e responsvel perante o trabalho. Iniciar o aluno no convvio de um grupo de pesquisa, que lhe permita continuar sua formao futura como mestre, doutor e pesquisador. Divulgar o trabalho realizado em boletins, congressos e seminrios. Alm de fortalecer o grupo de pesquisa em Matemtica Aplicada e Computacional do Plo Universitrio do Sul Fluminense, cadastrado e reconhecido pela PROPP/UFF e pelo CNPq em 2006. Vale ressaltar que este grupo junto com outros dois grupos de pesquisa da EEIMVR/UFF submeteram a CAPES, em 2009, uma proposta de Mestrado Acadmico Multidisciplinar em Modelagem Computacional em Cincia e Tecnologia.

03- IDENTIFICAO DO ORIENTADOR - Nome: Prof. Gustavo Benitez Alvarez - Matrcula SIAPE: 1528650 - Unidade: EEIMVR - Escola de engenharia Industrial e Metalrgica de Volta Redonda - Departamento: Departamento de Cincias Exatas - Categoria Funcional: Professor Adjunto, Regime de Trabalho: DE, Titulao: Doutor. 04- INFORMAES COMPLEMENTARES - Projeto de Pesquisa do Orientador: Projeto novo - Infra-estrutura disponvel para a realizao do Projeto: O novo Laboratrio de Informtica da Escola de Engenharia Industrial Metalrgica de Volta Redonda permite que o aluno desenvolva este projeto de iniciao cientfica. Alm disto, o grupo de pesquisa Matemtica Aplicada e Computacional do Plo Universitrio do Sul Fluminense criou o Laboratrio de Computao Cientfica da EEIMVR. 05- COMPOSIO DO PROJETO - Objetivos: Este projeto de pesquisa tem como objetivo geral iniciar o aluno no entendimento das tcnicas de elementos finitos j existentes para a equao de Helmholtz. E com isto, futuramente aplicar estas formulaes para simular processos e fenmenos que aparecem com freqncia na engenharia metalrgica, ambiental, mecnica, nuclear, civil e outras reas da cincia e da tecnologia. Especificamente os objetivos propostos so: 1- Estudar e consolidar os conhecimentos sobre as formulaes, estveis e precisas, em elementos finitos contnuos para a equao de Helmholtz escalar. 2- Familiarizar-se com o uso de cdigos computacionais (Linguagem Fortran 90/95) baseados no mtodo de elementos finitos. 3- Iniciar-se na elaborao e exposio de relatrios e artigos. 4- Criar na EEIMVR/UFF um ambiente de pesquisa nesta rea do conhecimento, que futuramente poder servir de suporte matemtico e computacional a outros grupos de pesquisa da EEIMVR. - Benefcios Esperados e viabilidade tcnica: O maior beneficio do projeto consiste na formao de um jovem pesquisador na rea de matemtica aplicada, especificamente em mtodos numricos para a resoluo de equaes em derivadas parciais. Podemos dizer que a pesquisa em Matemtica Aplicada tem-se iniciado recentemente na EEIMVR. Por conta disto, este tipo de pesquisa ainda no est muito consolidada na escola. Em 2006 foi criado e cadastrado no CNPq o grupo de pesquisa Matemtica Aplicada e Computacional do Plo Universitrio do Sul Fluminense. Em 2007 vrios integrantes do grupo tiveram seus projetos de pesquisas contemplados pela FAPERJ no edital Primeiros Projetos de Pesquisa. Isto garantir uma infra-estrutura mnima em termos de equipamentos. Porm, bolsas de Iniciao Cientficas sero decisivas na consolidao do referido grupo de pesquisa. Do ponto de vista cientfico, o projeto mostra-se vivel, considerando a experincia adquirida e os resultados parciais j obtidos. Em essncia, o projeto a continuidade de uma linha de pesquisa, na rea de matemtica aplicada e computacional, que o orientador do projeto vem desenvolvendo

h algum tempo nesta rea do conhecimento. Alm disto, este projeto de iniciao cientfica parte de um projeto de pesquisa, aprovado e registrado na PROPP/UFF e coordenado pelo Prof. Gustavo Benitez Alvarez: Novas formulaes em elementos finitos contnuos / descontnuos para duas equaes em derivadas parciais de segunda ordem e o uso da tcnica de decomposio do domnio, que em 2007 teve financiamento da FAPERJ na modalidade APQ1: E26-171.416/2006. Como outros benefcios esperados com a realizao do projeto de IC podemos mencionar: - A assimilao e aprofundamento no entendimento destas tcnicas de elementos finitos pode propiciar e facilitar a interao entre a rea de matemtica aplicada e outras reas de pesquisa, que pode trazer resultados concretos na rea da nanotecnologia, biotecnologia, bioinformatica, petrleo, geocincias, meio ambiente e outras. - Realizao de seminrios, palestras e reunies para divulgar resultados parciais, finais e as possveis potencialidades dos conhecimentos adquiridos no processo de pesquisa. Pretende-se realizar estas atividades com grupos de pesquisa da prpria instituio e de outras instituies, procurando sempre facilitar a interao entre as varias reas do conhecimento. - Apresentao e publicao dos resultados em congressos nacionais e internacionais. - Fundamentao Terica: Modelar processos nos quais ondas interagem com um meio (problema da disperso, entre outros) so de suma importncia. Devido natureza oscilatria da soluo da EDP que caracteriza o comportamento das ondas, este problema tem sido um grande desafio para matemticos, fsicos e engenheiros. S poucos problemas de ondas possuem soluo analtica e o desempenho dos mtodos numricos tradicionais (mtodo de diferenas finitas e de elementos finitos) est estreitamente relacionado ao comprimento de onda. A necessidade por mtodos numricos precisos para resolver as EDP, que modelam ondas com comprimentos de ondas corta em geometrias complexas, se faz evidente para um amplo campo de aplicaes. Apenas citaremos algumas destas aplicaes que vo desde a cincia pura, passam por vrios tipos de tecnologias e chegam at as aplicaes na rea da sade. Por exemplo, podemos mencionar testes no destrutivos, explorao sismolgica e ultra-som biomdico para o diagnstico e terapia. Entre as aplicaes em testes no destrutivos encontramos a tomografia por impedncia eltrica (TIE), na qual imagens do interior dos objetos podem ser reconstrudas baseadas nas propriedades eltricas dos mesmos. Na rea teraputica encontramos o uso de feixes de ultra-som dirigidos sobre um tecido profundo (Focused Ultrasound Surgery), no qual a absoro do som causa um aumento de temperatura que acaba destruindo o tecido (tcnica usada fundamentalmente em cirurgia do crebro, mas tambm usada para outras partes do corpo). Na rea militar aparecem tambm varias aplicaes: o problema do sonar para submarinos e do radar para aeronaves, neste caso se busca aperfeioar os mecanismos de deteco e projetar estruturas invisveis aos sistemas de deteco. O fenmeno fsico da propagao de ondas descrito pela equao escalar da onda (ondas acsticas), a equao vetorial da onda (ondas elsticas) ou um sistema de equaes vetoriais da onda (ondas eletromagnticas). No caso dos harmnicos temporais, as equaes da onda se transformam nas correspondentes equaes de Helmholtz. As componentes das equaes vetoriais de Helmholtz satisfazem a equao escalar de Helmholtz. Por isto, um conhecimento profundo da equao escalar de Helmholtz (ondas acsticas) de muito valor para o melhor entendimento do problema de propagao de ondas elsticas e eletromagnticas. A equao de Helmholtz o modelo matemtico linear que descreve os harmnicos temporais de ondas acsticas, elsticas e eletromagnticas, que esto caracterizados por um parmetro fsico, o nmero de onda k. As questes fundamentais sobre existncia e unicidade da soluo foram resolvidas a finais da dcada dos anos 50. Mtodos numricos, como por exemplo o MEF,

freqentemente so usados para obter solues numricas do problema de Helmholtz. O comportamento oscilatrio da soluo exata e a qualidade da soluo numrica dependem do nmero de onda k. A resoluo da malha n (nmero de elementos por comprimento de onda) deve ser ajustada ao nmero de onda seguindo a regra de thumb n=(2)/(kh)8, onde h o dimetro do elemento da malha [1]. Esta regra visa controlar o erro do interpolante nodal. Para nmero de onda pequeno (k<30) a soluo aproximada do MEF de Galerkin continuo apresenta resultados da mesma ordem de aproximao da interpolante [2]. Todavia, o desempenho do MEF de Galerkin deteriora-se quando k aumenta. O erro da soluo aproximada cresce com o nmero de onda mesmo em malhas onde a regra de thumb satisfeita. Isto hoje conhecido como poluio da soluo de elementos finitos. O erro na norma H1 s limitado se a malha adequadamente refinada: kh<<1 para a regio preasintotica de convergncia [3] e k2h<<1 para a regio asintotica de convergncia [4,5,6]. Isto claro que impede a analise numrica da equao de Helmholtz via MEF no regime de freqncias mdias e altas. Mtodos de elementos finitos estabilizados tm sido propostos como alternativa formulao de Galerkin para contornar o efeito da poluio do erro. Se usarmos como critrio a descontinuidade das funes de interpolao atravs dos contornos do elemento, podemos classificar todas estas tentativas em dois grandes grupos: mtodos estabilizados de elementos finitos contnuos e mtodos estabilizados de elementos finitos descontnuos [6-11]. Muitas destas formulaes funcionam bem para o caso unidimensional. Todavia, para o caso bidimensional at hoje no se tem uma formulao de elementos finitos estabilizada com funes formas bi-lineares, cuja soluo seja invariante com a direo de propagao da onda, ou seja, livre de poluio. Dependendo da direo de propagao da onda as solues aproximadas de elementos finitos apresentam uma disperso de fase da onda (retardo de fase), que pode ser muito significativa na medida em que o nmero de onda k aumenta. - Metodologia: O MEF clssico (Galerkin) inapropriado para resolver numericamente a equao de Helmholtz, porque sua soluo apresenta o conhecido efeito de poluio no erro [3]. No caso de uma dimenso possvel elimin-lo [6]. J em duas dimenses no existe um MEF com funes formas bi-lineares livre de poluio para qualquer direo de propagao da onda plana [7,8]. Em [13,15,16] aplicamos equao de Helmholtz um MEF descontnuo [12], que permite descontinuidades das funes formas atravs dos contornos dos elementos e introduz dois parmetros livres que devem ser determinados para cada problema. Em [13,15,16] determinamos, atravs de experimentos numricos, os dois parmetros livres para um problema modelo em uma dimenso e generalizamo-los para o caso de duas dimenses. Os teste numricos indicaram a boa preciso e estabilidade desta formulao para uma e duas dimenses. Os resultados obtidos apenas validam, numericamente, o mtodo para funes formas lineares ou bi-lineares, elementos quadrilteros e malhas uniformes. Por outro lado, a formulao [13,15,16] introduz novos graus de liberdade aumentando o custo computacional. Em [14,17], foi desenvolvido um outro MEF descontnuos, no qual os graus de liberdade introduzidos pelas descontinuidades so eliminados a nvel de elemento usando a tcnica da condensao esttica. Como resultado se obteve uma formulao estvel e condensada com um custo computacional equivalente ao dos MEF contnuos. Tambm, em [14,17] usando a estratgia do estncil que minimiza o erro de poluio se consegue obter uma expresso analtica para os dois parmetros livres da formulao. Os bons resultados obtidos em [14,17] apenas so validos para malhas uniformes e elementos quadrilteros bilineares. Este projeto pretende iniciar o aluno no estudo das tcnicas mencionadas de forma a permitir seu posterior uso em outras reas do conhecimento onde estes mtodos matemticos tornam-se uma poderosa ferramenta para simular processos e fenmenos. Todas estas metodologias devem ser transformadas em algoritmos computacionais e implementadas em softwares (Linguagem de programao Fortran 90/95) possibilitando a iniciao do aluno na computao cientfica.

- Bibliografia: [1] I. Harari and T.J.R. Hughes, Finite element method for the Helmholtz equation in an exterior domain: Model problems, Comp. Meth. Appl. Mech. Eng. v. 87, 1991, pp. 59-96. [2] Bayliss, C.I. Goldstein, E. Turkel, On accuracy conditions for the numerical computation of waves, J. Comp. Phys. 59, 1985, pp. 396-404. [3] F. Ihlenburg and I. Babuka, Finite element solution of the Helmholtz equation with high wave number Part I: The h-version of the FEM, Comput. Math. Appli., 30, No. 9, 1995, pp. 9-37. [4] A.K. Aziz, R.B. Kellogg and A.B. Stephens, A two point boundary value problem with a rapidly oscillating solution, Numer. Math. 53, 1988, pp. 107-121. [5] J. Douglas Jr., J.E. Santos, D. Sheen and L. Schreiyer, Frequency domain treatment of onedimensional scalar waves, Mathematical Models and Methods in Applied Sciences 3 No. 2, 1993, pp. 171-194. [6] I. Harari and T.J.R. Hughes, Galerkin/least squares finite element methods for the reduced wave equation with non-reflecting boundary conditions in unbounded domains, Comp. Meth. Appl. Mech. Eng. v. 98, 1992, pp. 411-454. [7] Lonny L. Thompson and Peter M. Pinsky, A Galerkin Least-Squares finite element method for the two-dimensional Helmholtz equation, International Journal for Nuemrical Methods in Engineering, vol. 38, (1995) pp. 371-397. [8] Ivo Babuska, Frank Ihlenburg, Ellen T. Paok, Stefan A. Sauter, A generalized finite element method for solving the Helmholtz equation in two dimensions with minimal pollution, Computer Methods in Applied Mechanics and Engineering, 128 (1995) pp. 325-359. [9] C. Farhat, I. Harari, U. Hetmaniuk, A discontinuous Galerkin method with Lagrange multipliers for the solution of Helmholtz problems in the mid-frequency regime, Comput. Methods Appl. Mech. Engrg. v. 192, 2003, pp. 1389-1419. [10] C. Farhat, A. Macedo, M. Lesoinne, F. X. Roux, F. Magoules, A. de La Bourdonnaie, Two-level domain decomposition methods with Lagrande multipliers for the fast iterative solution of acoustic scattering problems, Computer Methods in Applied Mechanics and Engineering, v. 184, 2000, pp. 213-239. [11] U. Hetmaniuk and C. Farhat, A finite element-based fictitious domain decomposition method for the fast solution of partially axisymmetric sound-hard acoustic scattering problems, Finite Elements in Analysis and Design 39, 2003, pp. 707-725. [12] E. G. Dutra do Carmo and A. V. C. Duarte, New formulations and numerical analysis of discontinuous Galerkin methods, Computational and Applied Mathematics 21 No. 3, 2002, pp. 661715. [13] Gustavo Benitez Alvarez, Abimael Fernando Dourado Loula, Eduardo Gomes Dutra do Carmo, Fernando Alves Rochinha, A discontinuous finite element formulation for Helmholtz equation, Computer Methods in Applied Mechanics and Engineering, 195, 2006, pp. 40184035. [14] Abimael Fernando Dourado Loula, Gustavo Benitez Alvarez, Eduardo Gomes Dutra do Carmo, Fernando Alves Rochinha, A discontinuous finite element method at element level applied to Helmholtz equation, Computer Methods in Applied Mechanics and Engineering, 196, 2007, pp. 867878.

[15] Rochinha, Fernando Alves; Alvarez, Gustavo Benitez; Carmo, Eduardo Gomes Dutra do; Loula, Abimael Fernando Dourado. A locally discontinuous enriched finite element formulation for acoustics. Communications in Numerical Methods in Engineering, v.23, issue 6, p. 623-637, 2007. [16] Carmo, Eduardo Gomes Dutra do; Alvarez, Gustavo Benitez; Rochinha, Fernando Alves; Loula, Abimael Fernando Dourado. Galerkin projected residual method applied to diffusion-reaction problems. Computer Methods in Applied Mechanics and Engineering. , v. 197, p. 45594570, 2008. [17] Carmo, Eduardo Gomes Dutra do; Alvarez, Gustavo Benitez; Loula, Abimael Fernando Dourado; Rochinha, Fernando Alves. A nearly optimal Galerkin projected residual finite element method for Helmholtz problem. Computer Methods in Applied Mechanics and Engineering. , v.197, p.1362 - 1375, 2008. 06- PLANO DE TRABALHO DO ALUNO, INCLUINDO CRONOGRAMA

Atividade 1 Estudo das seguintes formulaes de elementos finitos para a equao de Helmholtz: 1) Mtodo de Galerkin 2) Mtodo de Galerkin + Mnimos Quadrados (GLS) [6,7] 3) Mtodo Quase Estabilizado (QSFEM) [8] 4) Mtodo de Elementos Finitos Descontnuos [13] 5) Mtodo das bolhas descontnuas (DBFEM) [14, 17] Pesquisa bibliogrfica sobre o tema Familiarizao com cdigos computacionais para a equao de Helmholtz. Obteno, anlise, processamento e preparao dos resultados para divulgao. Divulgao dos resultados no SEMINRIO DE INICIAO CIENTFICA da UFF e se possvel em congressos. 2 3 4 5

Meses 6 7

10

11

12

X X X X X X X X X

Local Data Orientador Volta Redonda 06/4/2009 Gustavo Benitez Alvarez

Candidato