Anda di halaman 1dari 12

1

Mtodo dos Elementos Finitos




Introduo

Diversos tipos de problemas fsicos que so encontrados nas cincias e nas
engenharias so descritos matematicamente na forma de equaes diferenciais ordinrias e
parciais. A soluo exata usualmente fruto de um mtodo de soluo analtica encontrado
atravs de mtodos algbricos e diferenciais aplicados a geometrias e condies de contorno
particulares; a aplicao generalizada dos mtodos analticos para diferentes geometrias e
condies de contorno torna impraticvel ou at mesmo impossvel a obteno de solues
analticas exatas. O chamado Mtodo dos Elementos Finitos (MEF) consiste em diferentes
mtodos numricos que aproximam a soluo de problemas de valor de fronteira descritos
tanto por equaes diferenciais ordinrias quanto por equaes diferenciais parciais atravs da
subdiviso da geometria do problema em elementos menores, chamados elementos finitos, nos
quais a aproximao da soluo exata pode ser obtida por interpolao de uma soluo
aproximada.
Atualmente o MEF encontra aplicao em praticamente todas as reas de engenharia,
como na anlise de tenses e deformaes, transferncia de calor, mecnica dos fluidos e
reologia, eletromagnetismo, etc, inclusive recebendo designaes especficas como na
mecnica dos fluidos computacionais (CFD) e no eletromagnetismo computacional (CEM).
O MEF foi originalmente concebido pelo matemtico Courant poca da 2 guerra
mundial atravs da publicao de um artigo em 1943. Como nessa poca ainda no haviam
sido desenvolvidos computadores capazes de realizar uma grande quantidade de clculos
matemticos, o mtodo matemtico foi ignorado pela academia durante vrios anos.
Na dcada de 1950 engenheiros e pesquisadores envolvidos no desenvolvimento de
avies a jato na Boeing iniciaram os primeiros trabalhos prticos no estabelecimento do MEF
aplicados indstria aeronutica. M. J. Turner, R. W. Clough, H. C. Martin e L. J. Topp
publicaram em 1956, um dos primeiros artigos que delinearam as principais idias do MEF,
entre elas a formulao matemtica dos elementos e a montagem da matriz de elementos.
Mas, no artigo ainda no se fazia referncia ao nome elementos finitos para designar os
elementos de discretizao da geometria do problema fsico. O segundo co-autor do artigo,
Ray Clough era a poca professor em Berkeley que estava trabalhando na Boeing durante o
perodo de frias escolares e que descreveu o mtodo com o nome de mtodo dos elementos
finitos num artigo publicado subseqentemente. Os seus trabalhos deram incio intensas
pesquisas em Berkeley por outros professores, entre eles E. Wilson e R. L. Taylor, juntamente
com os estudantes de ps-graduao T. J. R. Hughes, C. Felippa e K. J. Bathe. Durante muitos
anos, Berkeley foi o principal centro de pesquisa em MEF. Essas pesquisas coincidiram com a
rpida disseminao de computadores eletrnicos nas universidades e institutos de pesquisas,
que levaram o mtodo a se tornar amplamente utilizado em reas estratgicas segurana
americana durante o perodo da Guerra Fria, tais como pesquisa nuclear, defesa, indstria
automotiva e aeroespacial.
E. Wilson desenvolveu um dos primeiros programas de computador de clculo pelo
MEF. A sua popularizao foi possvel pela disponibilizao gratuita do software, fato
bastante comum nos anos 1960, pois o valor comercial de programas de computadore ainda
no eram reconhecidos nessa poca.
Em 1965, a agncia espacial norte-americana NASA financiou um projeto liderado
por Dick MacNeal para desenvolver um programa de clculo pelo MEF de uso geral. Este
programa, batizado NASTRAN, inclua uma grande capacidade de manipulao de dados e
permitia anlise de tenso e deformao, clculo de vigas, de problemas de cascas e placas,
2
anlise de estruturas complexas como asas de avies e anlise de vibraes em duas e trs
dimenses. O programa inicial foi colocado em domnio pblico, porm continha muito bugs
de programao. Logo aps o trmino do projeto, Dick MacNeal e Bruce McCormick criaram
uma empresa de software que corrigiu a maioria dos bugs e comercializaram essa verso
depurada com o nome MS-NASTRAN.
Na mesma poca, John Swanson estava desenvolvendo um programa de MEF na
Westinghouse para a anlise de reatores nucleares. Em 1969, Swanson deixou a
Westinghouse para comercializar o programa ANSYS. O programa tinha capacidade de
anlise de problemas lineares e no-lineares e essas caractersticas tornariam o software
ANSYS um dos programas de elementos finitos comerciais mais utilizados atualmente.
Outros programas comerciais desenvolvidos desde ento foram o LS-DYNA usado
para anlises no-lineares tais como teste de coliso, conformao de metais e simulao de
prottipos; ALGOR, ABAQUS e COSMOS como programas de MEF de uso geral; sendo que
todos os programas possuem verses para microcomputadores e alguns verses mais potentes
para sistemas computacionais paralelos e cluster.

Diferenas entre o MDF e o MEF

As diferenas entre o Mtodo das Diferenas Finitas (MDF), visto anteriormente neste
curso, e o MEF so que no MDF so aplicadas aproximaes nas derivadas das equaes
diferenciais, reduzindo a um problema de sistemas de equaes lineares que fornecem a
soluo em pontos (ns) discretos no interior do domnio do problema. No MEF, a soluo
das equaes diferenciais governantes do problema fsico pode ser resolvida por funes de
aproximao que satisfazem condies descritas por equaes integrais no domnio do
problema. Essas funes de aproximao podem ser funes polinomiais com grau razovel
de ajuste em elementos discretizados a partir da geometria do problema satisfazendo as
equaes integrais em cada elemento discreto ou elemento finito. Assim, como no MDF o
MEF ocorre um processo de discretizao do domnio, mas diferente daquele, o MEF resulta
em solues descritas por polinmios conhecidos todo o domnio e no apenas em ns da
malha de diferenas finitas.
Outra diferena marcante entre o MDF e o MEF na topologia de discretizao do
domnio. No MDF 2D geralmente empregam-se malhas de topologia triangular ou retangular
estruturada (Fig. 1). Na malha estruturada os intervalos entre ns adjacentes nas direes x e y
so constantes, como pode ser observado na figura.


(a) (b)
Fig. 1. (a) Exemplos de malha triangular estruturada e (b) malha estruturada retangular
aplicadas a um polgono regular (retngulo).

3
O emprego de malhas estruturadas dificulta a descrio de geometrias irregulares,
como pode ser observado na Fig. 2 e por essa razo a aplicao do MDF em problemas com
geometria irregulares resulta em problemas numricos de aproximao da fronteira.


(a) (b)
Fig. 2. (a) Exemplos de malha estruturada retangular e (b) malha estruturada triangular
aplicadas a um polgono com geometria irregular.

O MEF por sua vez no requer topologia de malha estruturada e como usualmente
emprega uma aproximao polinomial aos valores interiores aos elementos discretizados,
pode utilizar para descrever problemas com geometria 2D usando elementos triangulares ou
retangulares no estruturados, isto , com dimenses diferenciadas entre os elementos
discretos (Fig. 3).



(a) (b)
Fig. 3. Exemplos de malhas no estruturadas (a) triangular e (b) retangular.


Mtodos de resoluo diretos (Forma forte do MEF)

No MEF duas formas de resoluo de problemas descritos por EDOs e por EDPs se
desenvolveram. A chamada forma forte consiste na resoluo direta das equaes que
governam o problema fsico e suas condies de contorno. A forma fraca evoluiu de
4
mtodos numricos aproximados que so representaes integrais das equaes diferenciais
que governam o problema fsico.
A forma forte em contraste com a forma fraca requer continuidade nas solues das
variveis dependentes do potencial. Independentemente das funes que definem essas
variveis, elas devem ser diferenciveis pelo menos at a ordem da equao diferencial que
define o problema. A obteno da soluo exata pela forma forte , em geral, difcil e limitada
a casos especiais. O MDF pode ser aplicado na obteno da soluo aproximada de problemas
pela forma forte; entretanto, o MDF funciona bem apenas para problemas com geometrias e
condies de contorno regulares.
A forma fraca permite a aplicao de um mtodo nico para resolver diferentes tipos
de problemas fsicos, na medida em que os mtodos para transformao das equaes
diferenciais na forma integral so genricos e podem ser usadas em diversos tipos de
equaes diferenciais. Os principais mtodos usados na resoluo pela forma fraca so o
mtodo variacional e os mtodos dos resduos ponderados.

Resoluo pela forma forte da equao de difuso de calor 1D

A transferncia de calor em regime permanente numa barra de comprimento L
submetida ao aquecimento q um problema de valor de fronteira 1D, descrito pela equao
de difuso de calor:

0 = |

\
|
q
dx
dT
kA
dx
d
, 0 < x < L (1)

Considerando as condies de contorno homogneas:

T(0) = T(L) = 0 (2)

A soluo da equao (1) na forma forte pode ser obtida pela sua integrao no
intervalo 0 < x < L e atendendo as condies de contorno (2), resulta em:

( ) ( ) L x x
kA
q
x T =
2
(3)

A soluo analtica (3) representa a soluo pela forma forte da equao de difuso de
calor (1). A equao (3) tem forma grfica de uma curva parablica com ponto mximo em
x = L/2.

Forma Fraca do MEF

Dentre os diversos mtodos matemticos de resoluo de problemas de valor de
fronteira podemos classific-los em dois mtodos principais:
Mtodo variacional ou de Rayleigh-Ritz;
Mtodo dos resduos ponderados.

Mtodo variacional ou mtodo de Rayleigh-Ritz

O mtodo variacional, desenvolvido independentemente por W. Ritz (1908) e por
Lord Rayleigh, um mtodo analtico no qual a minimizao de um funcional que descreve a
5
distncia de um caminho limitado nas extremidades [a, b] por uma funo y(x) que descreve o
caminho (Fig. 4).

y
x
y(a)
y(b)
a b
y
1
(x)
y
2
(x)
y
3
(x)
y
4
(x)

Fig. 4. Diferentes funes que representam caminhos entre os limites [a, b]. O caminho
mnimo ser determinado pela minimizao do funcional.I[y].


Para a equao diferencial ordinria linear de 2 ordem:

( ) ( ) x F y x Q " y = + (4)

com as condies de contorno: ( ) ( )
b a
y b y , y a y = = . O funcional que descreve a equao
diferencial(4) :


[ ]

+ |

\
|
=
b
a
dx Fu u Q
dx
du
u I 2
2
2
(5)

A relao entre o funcional (5) e a equao diferencial (4) estabelecida pela condio
de Euler-Lagrange:

( ) ( ) ' y , y , x F
y
' y , y , x F
' y x

(6)

no qual a equao diferencial de 2 ordem (4) expressa na forma da funo ( ) ' y , y , x F .
A minimizao do funcional [ ] ( )

=
b
a
dx ' y , y , x F u I corresponde condio que
minimiza a funo (ou caminho) entre os valores de fronteira [a ,b] descrito pela soluo da a
equao diferencial (4).

Exemplo:

6
Verificar que o funcional: [ ]

+ |

\
|
= dx ku
dx
du
a u I
2
2
2
1
equivalente equao diferencial
a
d u
dx
ku
2
2
0 = atravs do critrio de Euler-Lagrange.

Soluo:
O integrando do funcional pode ser escrito como:

( )
2 2
ku ' au ' u , u , x F + =

As derivadas de F(x, u, u) so: ' au
' u
F
2 =

, ku
u
F
2 =

e " au
' u
F
x
2 =

. Substituindo
na condio de Euler-Lagrange (6), obtm-se:

0 2 2 = = ku " au ku " au

que corresponde equao diferencial a
d u
dx
ku
2
2
0 = .


Distribuio de temperatura numa barra 1D

Vamos aplicar o mtodo variacional para encontrar a distribuio de temperatura em
regime permanente numa barra unidimensional de comprimento L submetida ao aquecimento
q descrito pela equao de difuso de calor (1):

0 = |

\
|
q
dx
dT
kA
dx
d
, 0 < x < L (1)

Considerando as condies de contorno homogneas:

T(0) = T(L) = 0 (2)

O funcional da equao diferencial (1) descrito por:

[ ] dx T
kA
q
dx
dT
T I
L

+ |

\
|
=
0
2
2
(7)

Considerando que a equao diferencial de 2 ordem, vamos considerar que a
soluo tentativa seja descrita pela equao algbrica de 2 grau:

( )
2
bx ax x T + = (8)

Calculando a derivada bx a dx / dT 2 + = e substituindo na equao (7), vem que:
7

[ ] ( ) ( ) dx bx ax
kA
q
bx a T I
L

+ + + =
0
2 2
2
2 (9)

Integrando a equao (9), resulta:

[ ]
L
bx ax
kA
q
x b abx x a T I
0
3 2
3 2 2 2
3 2
2
3
4
2
|
|

\
|
+ +
|

\
|
+ + = (10)

Os coeficientes a e b sero determinados pela minimizao do funcional I[T] em
relao aos coeficientes, isto , fazendo 0 = a / I e 0 = b / I
Aplicando as derivadas parciais de I[T] em funo de a e b, vem que:

0 2 2
2
2
= + + =

kA
qL
bL aL
a
I
(11)

0
3
2
3
8
2
3
3 2
= + + =

kA
qL
bL aL
a
I
(12)

Resolvendo o sistema de equaes (11) e (12), obtm-se os coeficientes da soluo
tentativa (8), vem que:

( ) ( ) L x x
kA
q
x T =
2
(13)

A soluo descrita por (13) idntica soluo analtica (3) da EDO (1) e das
condies de contorno (2).
Desta forma, mostramos neste exemplo particular que a soluo pela forma fraca
obtida atravs do mtodo variacional possui o mesmo resultado da soluo analtica na forma
forte da EDO.


Mtodo dos Resduos Ponderados

O funcional tambm satisfaz as condies de contorno naturais, du/dx = 0 numa
extremidade na qual as condies de contorno essenciais, u = u
0
, no so aplicadas.
O mtodo dos resduos ponderados inicia-se com uma equao diferencial genrica na
forma:

Lu f = (14)

no qual L um operador diferencial qualquer. Este mtodo evita a procura por uma expresso
variacional equivalente. Admite-se uma soluo aproximada u
*
e substitui-se esta soluo na
equao diferencial. Como esta uma soluo aproximada, a operao define um erro
residual na equao diferencial:
8

Lu
*
- f = r (15)

No se pode forar que o resduo r desaparea diretamente da equao, mas pode-se
forar que, para uma integral ponderada sobre o domnio da soluo, o resduo desaparea.
Isto quer dizer que a soluo em da soluo do produto do termo residual e de uma funo
peso w seja igual a zero:

I rwd = =

0 (16)

Substituindo funes de interpolao pela soluo aproximada u
*
e pela funo peso
w, resulta num conjunto de equaes algbricas que podem ser resolvidas para n coeficientes
indeterminados da funo de interpolao.
Uma das formas empregadas para tornar o resduo r = Lu
*
- f pequeno o de se anular
a integral (16), isto , de anular pela mdia o resduo. Considere que a funo peso w uma
funo que testa o resduo, de modo que ela tambm conhecida como funo teste. A classe
de funes teste tal que a integral (16) possa ser escrita na forma:

( )
*
Lu wd fwd


= (17)

Geralmente, a formulao matemtica original baseada na equao diferencial (14)
denomina-se forma clssica ou forte e a formulao baseada no mtodo dos resduos
ponderados por forma fraca. Pode-se demonstrar que para funes teste r pertencentes ao
subespao das funes aproximadas u
*
, as formulaes clssica e fraca so equivalentes e que,
portanto, conduzem s mesmas solues.


Funes de Aproximao

Diversas formas de aproximao da funo u podem ser obtidas. Entretanto, as
condies estabelecidas para que as formulaes clssica e fraca sejam equivalentes
restringem a forma e o nmero de aproximaes que podem ser utilizadas para as funes u.
O problema consiste em obter-se uma aproximao de uma funo real no intervalo [a, b], na
forma:

( ) ( ) ( ) ( ) ( )

=
= + + + =
n
j
j j n n n
x c x c x c x c x u
1
2 2 1 1
K (18)

As funes
j
(x) so conhecidas e supostas linearmente independentes, os coeficientes
c
j
so parmetros a determinar.

A equao diferencial pode ser escrita numa outra forma geral como:

[ ] 0 = y , x D , b x a < < (19)
9

sujeita s condies de contorno homogneas:

( ) ( ) 0 = = b y a y (20)

O mtodo dos resduos ponderados escrever uma soluo na forma:

( ) ( )

=
=
n
i
i i
x N c x u
1
(21)

na qual u(x) a soluo aproximada e expressa como o produto de coeficientes constantes c
i
a
serem determinados e N
i
(x) so funes tentativas (trial functions). Os requisitos das funes
tentativas so que sejam contnuas no domnio do problema e que satisfaam as condies de
contorno exatamente. A escolha das funes tentativas definida pelo tipo de problema fsico
descrito pelo PVF.
O resduo r(x) calculado pela equao:

( ) ( ) [ ] 0 = x u , x D x r (22)

O mtodo dos resduos ponderados requer que os coeficientes c
i
sejam avaliados de
forma que:

( ) ( ) 0 =

dx x r x w
b
a
i
i = 1, 2, .., n (23)

na qual w
i
(x) representam n funes peso que minimizam a integral.

A escolha da funo peso w
i
(x) define o tipo do mtodo de resduo ponderado a ser
utilizado, de acordo com os seguintes critrios:

Mtodo de Galerkin: critrio w
i
(x) = N
i
(x)

Mtodo dos Mnimos Quadrados: critrio w
i
(x) = u/c
i


Mtodo da Colocao: critrio w
i
(x) = (x - x
i
) (funo delta de Dirac)

O uso da integrao por partes com o mtodo de Galerkin normalmente reduz os
requisitos de continuidade das funes de aproximao. Se o funcional variacional existir, o
mtodo de Galerkin fornecer a mesma aproximao algbrica. Assim, ela sempre oferece
uma estimativa de erro tima para a soluo por elementos finitos.

Mtodo de Galerkin

No mtodo dos resduos ponderados pelo critrio de Galerkin tambm conhecido
como Mtodo de Galerkin, a funo tentativa N
i
(x) igualada funo peso w
i
(x), de modo
que o sistema de equaes lineares determinado pela integral:
10

( ) ( ) ( ) ( ) 0 = =

dx x r x N dx x r x w
b
a
i
b
a
i
i = 1, 2, .., n (24)

Veremos no exemplo seguinte a aplicao do mtodo de Galerkin.

Exemplo:
Resolver o problema de valor de fronteira descrito pela equao diferencial ordinria:

5 10
2
2
2
= x
dx
y d
(25)

sujeita s condies de contorno homogneas: y(0) = y(1) = 0.

Soluo:
A presena do termo quadrtico na EDO sugere que funes tentativas polinomiais
possam ser usadas. Para as condies de contorno homogneas em x = a e x = b, a seguinte
funo tentativa ser usada:

( ) ( ) ( )
q p
b x a x x N = (26)

na qual as constantes p e q so valores estritamente positivos e inteiros. Essa funo tentativa
satisfaz as condies de contorno e contnua no intervalo a x b.
A funo tentativa mais simples que pode ser escolhida aquela fazendo p = q = 1:

( ) ( ) 1
1
= x x x N (27)

Usando esta funo tentativa na soluo aproximada da EDO:

( ) ( ) 1
1
= x x c x u (28)

de onde vem a primeira e a segunda derivadas:

( ) 1 2
1
= x c
dx
du
,
1
2
2
2c
dx
u d
=

Observamos neste ponto que a soluo escolhida no corresponde soluo fsica
do PVF, pois a derivada segunda acima constante, enquanto que na EDO que descreve o
problema, a derivada segunda funo da varivel x
2
. Entretanto, continuaremos com o
clculo do problema para ilustrar o mtodo de Galerkin.
Substituindo a derivada segunda de u(x) na equao para o clculo do resduo, resulta:

( ) 5 10 2
2
1
= x c x r (29)

que, claramente, no-nulo. Substituindo na integral (24):

11
( ) 0 ) 5 10 2 ( 1
1
0
2
1
=

dx x c x x (30)

Integrando a equao acima, vem que c
1
= 4, de modo que a soluo aproximada
resulta em:

( ) ( ) 1 4 = x x x u (31)

Para este exemplo simples, podemos encontrar a soluo analtica atravs da
integrao sucessiva da EDO:

( )

+ + = + = =
1
3 2
2
2
5
3
10
5 10 C x x dx x dx
dx
y d
dx
dy
(32)

na qual C
1
uma constante de integrao.

2 1
2 4
1
3
2
5
6
5
5
3
10
C x C x x dx C x x dx
dx
dy
y + + + = |

\
|
+ + = =

(33)

Aplicando a condio de contorno y(0) = 0, obtm-se C
2
= 0, ao passo que a condio
de contorno y(1) = 0 faz com que C
1
= -10/3, de maneira que a soluo exata seja:

x x x y
3
10
2
5
6
5
2 4
+ = (34)

O grfico da Fig. 5 mostra as curvas da soluo aproximada pelo mtodo de Galerkin
e da soluo analtica exata.


Fig. 5. Comparao entre a soluo aproximada pelo mtodo de Galerkin e pela soluo
analtica da EDO.

12
Comparao entre os mtodos de anlise

O diagrama mostrado na Fig. 6 apresenta os principais mtodos analticos e numricos
para soluo de PVF de equaes diferenciais. Observar que embora o mtodo dos elementos
finitos seja uma tcnica essencialmente numrica, pode utilizar-se de mtodos analticos na
sua forma fraca.


Mtodos de anlise (soluo de equaes diferenciais)
Mtodos analticos Mtodos numricos
Mtodos exatos
(p. ex.: separao de
variveis, transformada
de Laplace)
Mtodos aproximados
(p. ex.: mtodos
Rayleigh-Ritz,
Galerkin)
Integrao
numrica
Soluo
numrica
Diferenas
finitas
Elementos
finitos

Fig. 6. Diagrama de mtodos de anlise de problemas de valor de fronteira representados por
equaes diferenciais.


Referncias Bibliogrficas

H. Pina, MTODOS NUMRICOS, Lisboa: McGraw-Hill, 1995.

D. Hutton, FUNDAMENTALS OF FINITE ELEMENT ANALYSIS, New York: McGraw-
Hill, 2004.

C. F. Gerald, P. O. Wheatley, APPLIED NUMERICAL ANALYSIS, Reading, MA: Addison-
Wesley, 1989.

J. Fish, T. Belytschko, A FIRST COURSE IN FINITE ELEMENTS, New York: John Wiley,
2007.

L. J. Segerlind, APLIED FINITE ELEMENT ANALYSIS, New York: John Wiley, 1984.

Y. W. Kwon, H. Bang, THE FINITE ELEMENT METHOD USING MATLAB, CRC
Mechanical Engineering Series, Boca Raton, Flrida: CRC Press, 1996.

D. H. Norrie, G. De Vries, THE FINITE ELEMENT METHOD, Fundamentals and
Applications, New York: Academic Press, 1973.

W. Ritz, "Ueber eine neue Methode zur Lsung gewisser Variationsprobleme der
mathematischen Physik" J. Reine Angew. Math. 135 (1908 or 1909)

J.K. MacDonald, "Successive Approximations by the Rayleigh-Ritz Variation Method", Phys.
Rev. 43 (1933) 830