Professional Documents
Culture Documents
Janeiro de 2012
Contedo
Prefcio
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Introduo
2 O problema unidimensional
2.1
Formulao fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
Discretizao do problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3
. . . . . . . . . . . . . . .
2.4
. . . . . . . . . . . . . . . . . . . . .
3 O problema bidimensional
3.1
Formulao fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2
Problema aproximado
3.3
3.4
3.5
Vd
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.1
3.3.2
Funes da base
3.3.3
11
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
15
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.4.1
Exemplo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.4.2
Exemplo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Outros casos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bibliograa
20
23
23
Prefcio
Em meio a tantos bons livros e apostilas sobre o Mtodo dos Elementos Finitos, o questionamento do
porqu da escrita deste texto no de todo descabido. O que nos motivou a escrev-lo a diculdade
de se encontrar um texto, em portugus, que apresente o Mtodo de forma simples e direta, que lhe
fornea uma idia geral e ao mesmo tempo permita sua implementao em casos simples, mas sem
grandes delongas em formalismos matemticos e prembulos sobre anlise funcional, por exemplo.
Admitimos, pois, que nossa exposio do Mtodo no feita com todo rigor matemtico nem em
toda sua generalidade, mas cremos que essa opo satisfaz ao estudante que deseja entender sua essncia
e aplic-lo, de forma rpida, em alguns casos; ou ao interessado em ter um primeiro contato com essa
tcnica de resolver numericamente problemas de valores de contorno. Por ser um texto introdutrio,
que d apenas um sabor do Mtodo, nos limitamos contemplar o problema de Dirichlet homogneo
uni e bidimensional e a utilizar, neste caso, apenas elementos triangulares.
Deixamos expresso nosso agradecimento ao apoio da Fundao de Amparo Pesquisa do Estado
de Minas Gerais FAPEMIG , que nanciou o projeto de pesquisa
Finitos e a escrita deste texto foram partes integrantes. Tambm agradecemos ao professor Rodney
Josu Biezuner, nosso orientador neste projeto.
Captulo 1
Introduo
Diversos problemas da Fsica, Engenharia e outras cincias aparecem sob a forma de uma
de Poisson
u = f (x)
em
equao
(1.1)
condio de fronteira de Dirichlet u = c sobre , sendo c uma funo constante por partes.
com
Aqui
o operador laplaciano ,
c=0
temos a
u = f (x)
u=0
em
sobre
(1.2)
No entanto,
preciso recorrer a mtodos numricos caso o domnio se torne mais elaborado. O mtodo dos elementos
nitos (MEF) conhecido por ser robusto e aplicvel em domnios deveras elaborados. Essas tambm
so algumas de suas vantagens sobre o mtodo das Diferenas Finitas, tambm bastante popular.
A idia central do MEF discretizar o domnio, representando-o, ainda que de forma aproximada,
por uma reunio de um nmero nito de elementos; e resolver no o problema original (1.2), mas sim um
que lhe associado sua
forma fraca.
ou quadrilteros. O mtodo pode ser utilizado para resolver no s problemas elpticos, como o h
pouco mencionado; e as condies no necessitam ser de Dirichlet: o MEF tambm aplicvel no caso
de condio de Neumann ou Robin. Optamos por explorar neste texto apenas elementos triangulares
e considerar somente o problema (1.2), j que nosso objetivo propiciar um primeiro contato com o
MEF.
Analisaremos, primeiramente, o caso do problema unidimensional, que bastante simples e til
como introduo ao mtodo.
exemplicando como o MEF se lhe aplica. Cremos que a partir da o leitor ou a leitora j estaro aptos
a utilizar dessa ferramenta na resoluo de alguns problemas de interesse.
Se Rn e u funo u : R, u =
n
X
d2 u
.
dxi 2
i=1
Captulo 2
O problema unidimensional
2.1
Formulao fraca
d2 u
2 = f (x)
dx
u(0) = u(1) = 0.
Assumiremos que a funo
o MEF supe que
f : [0, 1] R
em [0,1],
(2.1)
= [0, 1].
Ao invs de resolver o problema (2.1) da forma como est escrito, o MEF se prope a solucionar
um problema equivalente, chamado formulao fraca do original.
principiamos denindo o espao de funes
contnua por partes, e
V = {v; v
funo contnua em
[0, 1],
qualquer
dv
dx
limitada e
e integramos
de
:
Z1
d2 u
v dx =
dx2
Z1
f (x) v dx .
0
0
Integrando por partes e lembrando que
1
Z1
Z1
du
du dv
v
dx = f v dx
+
dx
dx dx
0
Z1
du dv
dx =
dx dx
0
para todo
v V.
Z1
f v dx
(2.2)
formulao
Mostraremos agora que a existncia de uma soluo de (2.1), problema original, implica na equivalncia entre os problemas de formulao forte e fraca. Vimos logo acima que formulao forte
d2 u
dx2
partes. Podemos, ento, integrar por partes a formulao fraca (2.2). O que obtemos justamente a
formulao forte (original):
Z1
du dv
dx =
dx dx
Z1
1 Z1 2
Z1
du
d u
v
v 2 = f (x) v(x) dx
dx
dx
0
d2 u
f (x) + 2 v(x) dx = 0 , v V.
dx
0
Como a igualdade acima se verica para
qualquer
funo
em
f (x) +
d2 u
=0
dx2
0 < x < 1.
Com isso provamos que uma funo que resolve o problema forte tambm soluo do fraco; e que,
se a soluo do problema fraco for sucientemente regular, ela tambm resolver o problema forte. No
mtodo dos elementos nitos resolveremos o problema fraco, (2.2).
2.2
Discretizao do problema
Na formulao original, o problema de Dirichlet contnuo e seu espao de solues pode ter dimenso
innita . Aproximaremos o problema contnuo por outro discreto, cuja soluo est em um espao de
Ij = [xj1 , xj ], 1 6 j 6 N + 1, N N,
tem comprimento hj = xj xj1 .
com
h = maxj {hj },
o compri-
domnio passa a ser uma reunio nita de intervalos . Em cada um desses intervalos
a funo original
Ij ,
aproximamos
Evidentemente,
quanto menor o comprimento dos subintervalos, ou seja, quanto menor a norma da partio, mais
a funo discretizada
ud
se aproximar da original
(Figura 1a-b).
ud
como
denida contnua.
Figura 1: Aproximao de uma funo suave por outra linear por partes. Quanto menor a norma da
partio, melhor a aproximao.
1
Exemplos de problemas cujas solues esto num espao de dimenso innita so aqueles tradicionalmente estudados
num curso de equaes
parciais que tm como resultado sries de Fourier innitas. Cada uma daquelas funes
nxdiferenciais
nx
sen
ou cos
uma funo da base do espao que contm a soluo do problema. Como existem innitos
L
L
n N, a base um conjunto innito.
2
Uma reunio nita de intervalos ainda um conjunto no-enumervel de pontos. A idia aqui que, ao invs de
buscarmos u com denio ponto a ponto, vamos aproxim-la por uma funo que denida subintervalo por subintervalo
e, nesse sentido, ela ser denida discretamente. Mais adiante no texto car clara essa idia.
4
V por um de
dimenso nita, Vd = {v; v contnua em [0, 1], v linear em cada Ij e v(0) = v(1) = 0}. Notemos
que Vd V de sorte que ao tomarmos uma funo v Vd no ferimos a condio v V da formulao
Para discretizar o problema na forma fraca, devemos tambm aproximar o espao
fraca.
Nosso problema discretizado (ou aproximado) , ento, encontrar
Z1
dud dv
dx =
dx dx
ud
Esse
Observao 1:
Observao 2:
ximada
que
ud
ud
f (x)v(x) dx vd Vd
(2.3)
desejada.
ud Vd
u(0) = u(1) = 0
talvez tenha parecido ao leitor que nos precipitamos ao declarar que a soluo apro-
Vd .
contnua.
tal que
Z1
ud Vd
Vd
A primeira condio
ud u
problema e est relacionada com a qualidade dessa aproximao - aproximamos uma curva suave por
outra poligonal. Ao assumirmos que buscamos uma soluo com essa aproximao,
ud
satisfaz, por
conseguinte, a segunda condio. Por m, a terceira justamente a condio de Dirichlet que tanto
quando
ud
Ao discretizarmos o espao
em cada
Ij ,
as funes
B,
V,
xx
j1
hj
xj+1 x
j (x) =
hj+1
0
de
ud Vd .
se
x [xj1 , xj ],
se
x [xj , xj+1 ],
v Vd
linear
(2.4)
caso contrrio.
Vd .
Vd .
i 6= j ,
as
ud
pertence a
Vd ,
Vd
acima denidas.
ser da forma
ud (x) =
N
X
(2.5)
j=1
e o nosso problema (2.3) se escrever
Z1
0
d
dx
!
X
j
j j
dv
dx =
dx
Z1
f (x)v(x) dx vd Vd
0
5
(2.6)
v = i
para algum
Z1
N
X
j=1
i 6 N.
dj
j
dx
Z1
N
X
Para esse
di
dx =
dx
Vd . Escolhemos, ento, v
i, (2.6) implica em
Z1
f (x)i (x) dx
(2.7)
j :
R1
d1
dx
f (x)1 (x) dx
dx
0
d2
R1
dx 2 f (x)2 (x) dx
. = 0
dx
.
.
.
.
.
.
.
.
N
R1 dN dN
R1
dx
f (x)N (x) dx
0 dx dx
0
R1 d2 d1
R1 d1 d1
dx
dx
dx dx
0
0 dx dx
R1
R1 d2 d2
d1 d2
dx
dx
0 dx dx
0 dx dx
.
.
..
.
.
.
.
.
1
1
R d2 dN
R d1 dN
dx
dx
0 dx dx
0 dx dx
R1 dN
0 dx
R1 dN
0 dx
(2.8)
ud Vd
! Z1
dj di
dx = f (x)i (x) dx
dx dx
de rigidez,
carga.
de
j=1
Variando
qualquer
uma funo
ud u.
M e provaremos que sempre existir uma (nica) soluo para o sistema (2.8) - e, portanto,
2.3
Z1
mij =
dj di
dx =
dx dx
Z1
di dj
dx = mji
dx dx
Zxi
Se
i = j , mii =
xi1
mij
tridiagonal.
1
dx +
h2i
x
Zi+1
xi
1
h2i+1
dx =
1
1
+
.
hi hi+1
Zxi
Se
mi,i1 = mi1,i =
xi1
Finalmente, se
mij = 0.
mi,i e mi,i1
1 1
xi xi1
1
= .
dx =
2
hi hi
hi
hi
so no-nulos.
R3) Ora,
N X
N
X
w Mw =
T
Z1
wj
i=1 j=1
Z1
=
N
X
wj
j=1
dj
dx
estrita
!
wi
Z1 " X
N
dj
wj
dx
j=1
em
RN {0},
N
X
i=1
di
wi
dx
!#
dx =
!2
dx > 0.
dj
=0
dx
dj di
dx
dx dx
para cada
w Mw > 0
T
qualquer
e em todo o intervalo
RN
vetor
[0, 1].
{0}.
Um conhecido teorema da lgebra Linear garante que uma matriz positiva denida tem deter-
minante no-nulo . Outro teorema reza que que se a matriz de um sistema linear tem determinante
no-nulo, o sistema tem soluo nica. Esses teoremas, juntamente com o terceiro item da Proposio
1, nos asseguram que (2.8) tem soluo - e ela nica.
2.4
Concluimos o estudo do caso unidimensional escrevendo o sistema (2.8) num caso particular de partio
do intervalo, a saber, considerando que todos os subintervalos
partio deste tipo d-se o nome de
regular.
Ij
tm mesmo comprimento
h.
A uma
Utilizando os clculos realizados na prova do segundo item da Proposio 1, temos que uma partio
regular do domnio fornece a matriz de rigidez:
2 1
1 2 1
..
..
.
.
1
1
M=
..
..
h
.
.
1
1 2 1
1 2
R1
1
2 1
f (x)1 (x) dx
2
1 2 1
R1
..
..
f
(x)
(x)
dx
.
.
2
1
.
.
=
h
0
.
..
..
.
.
.
1
.
1 2 1
R
f
(x)
(x)
dx
1 2
N
(2.9)
O leitor que j estudou o Mtodo das Diferenas Finitas notar que a matriz
partio regular bastante semelhante encontrada naquele mtodo - elas s diferem por um termo
1/h
Captulo 3
O problema bidimensional
3.1
Sejam
Formulao fraca
R2
um aberto limitado e
u = f (x, y)
u=0
em
sobre
(3.1)
Assim como zemos no caso unidimensional, escreveremos o problema (3.1) na forma fraca.
Denimos o espao de funes
por partes em
funo
qualquer
de
V = {v : R2 R; v
funo contnua em
v
x
v
y
so contnuas
(3.2)
Podemos reescrever a equao acima de forma mais conveniente usando a frmula de Green, que
se baseia no
Teorema 1. [Teorema do divergente] Seja Rn compacto e com fronteira suave por partes.
Se w um campo de vetores diferencivel denido em , ento:
Z
div
w dV
Z
=
hw ,
ni ds,
n = 2
n = 3.
O caso
n = 2
Teorema de Green
de Green
. Paraobter a frmula
, aplicamos o Teorema para os campos de
h
h
2
vetores a(x, y) =
g
, 0 e b(x, y) = 0 , g
, sendo as funes g ,h : R R. Considerando
x
y
que o vetor normal unitrio n = (n1 , n2 ), temos, para a,
Z
Z
2 h g h
h
g 2 +
dV = g
n1 ds
x
x x
x
1
Outras notaes e denies que utilizamos ao longo deste
P texto:
o divergente de um campo de vetores w: Rn: div w = nk=1 wk /xk ;
f
f
, ,
.
x1
xn
(3.3)
e, para
b:
Z
2 h g h
g 2 +
y
y y
Z
g
dV =
h
n2 ds.
y
(3.4)
Z
g
2h 2h
+ 2
x2
y
Z
g h g h
h
h
+
+
dV = g n1
+ n2
ds
x x y y
x
y
g h + hgradg ,
gradhi
Z
dV =
gradhi
ds.
Frmula de Green)
(3.5)
g hn ,
a integral sobre
hgradg ,
g h dV =
gradhi
dV.
Comparando (3.2) com a equao acima, vemos que os membros esquerdos so iguais se zermos
g=v
h = u.
Z
v f dV =
hgradv ,
gradui
dV
v V.
(3.6)
Esta equao acrescida da condio de Dirichlet homognea formam a formulao fraca do problema
bidimensional (3.1). possvel mostrar, como o zemos no caso unidimensional, que as formas fraca
e forte so equivalentes e que uma soluo da forma fraca, se sucientemente regular, tambm ser
soluo da forma forte.
3.2
Problema aproximado
Uma vez compreendida a essncia do mtodo no caso unidimensional, o caso dos domnios planos
no apresenta maiores diculdades no que tange essa essncia. A diculdade surge no momento de
discretizar
em
tringulos.
Obviamente, no
qualquer domnio que aceita essa diviso perto de sua borda. Neste caso, aproximamos
por d
cuja
fronteira uma curva poligonal (formada por unies nitas de segmentos de retas). A cada um desses
tringulos chamamos
elemento.
triangulao)
deve cumprir as
seguintes condies:
Figura 3: (a) exemplo de triangulao permitida. A partio em (b) no permitida pois o trao em azul
dene um vrtice que ocorre em um lado de outro elemento.
9
ud
ud :
ud
R3 .
u.
que aproxima
Aproveitamos nossa
malha
u.
por d nos propomos a resolver o problema
parecido for d de , mais a funo encontrada ud
d .
u.
Vd = {v; v
contnua em
unidimensional,
O problema
v = 0
sobre
d }.
por um nito
Como no caso
v Vd .
(3.7)
A maior diculdade que surge no problema bidimensional a manipulao numrica das funes
da base de
Vd .
Por isso, optamos por primeiro expor a teoria supondo que temos uma base - mas sem
escrev-la - e obter o sistema linear resultante da discretizao. Mostraremos ainda que, assim como
no caso unidimensional, o sistema tem nica soluo. Na seo seguinte escreveremos explicitamente
uma base e faremos algumas contas, j com vistas implementao de um algoritmo de MEF.
Seja, pois,
ud (x, y) =
N
X
j j (x, y) , (x, y) d ,
j=1
onde
a dimenso de
Substituindo
ud
Vd .
N
X
Z
hgradv ,
j=1
Z
gradj i
v f dV
dV =
v Vd .
v = i
qualquer da base:
N
X
i de
hgradi ,
Variando
Mij =
hgradi ,
j=1
Z
gradj i
i f dV
dV =
(3.8)
1 a
de incgnitas
j .
Denindo
M11
..
..
.
.
MN 1
M1N
1 f dV
1
d
..
.
.
=
.
.
N f dV
MN N
N
.
.
.
d
.
Mij =
R
d
hgradi ,
gradj i
dV =
hgradj ,
gradi i
d
10
dV = Mji
M simtrica.
(3.9)
Ora,
wT Mw =
N
X
wi
i=1
N
X
j=1
Z
hgradi ,
wj
gradj i
dV =
Z DX
N
d .
gradi ,
i=1
wi
N
X
gradj
dV > 0
j=1
wj
M postivamente.
wT Mw estritamente
ud
de
M ser positiva denida, temos que o sistema (3.9) sempre admite uma
u.
Agora que vimos como o problema de Dirichlet se escreve na forma discreta usando o mtodo dos
Vd
o problema.
3.3
3.3.1
Vd
Vd ,
de vrtices dos elementos, com a condio de que mesmo se determinado vrtice comum a vrios
elementos,
a fronteira de
(Figura 4).
Figura 4: Uma malha com 16 elementos e 13 vrtices, sendo que destes, 5 so interiores.
Vamos supor que o nosso domnio
vrtices, sendo que
foi dividido em
Denio 1. Chamamos de enumerao dos elementos a uma bijeo que associa a cada elemento
triangular da malha um nmero natural entre 1 e m. Representamos, pois, cada elemento pela letra T
seguida de seu nmero como sub-ndice. Por exemplo, Tk o k-simo elemento da malha.
Denio 2. Chamamos de enumerao global dos vrtices interiores a uma bijeo que associa a
cada vrtice interior da malha um nmero natural entre 1 e N . Representamos, pois, cada vrtice
interior pela letra p seguida de seu nmero como sub-ndice. Por exemplo, pi o vrtice interior i da
malha.
Denio 3. Chamamos de enumerao global dos vrtices a uma bijeo que associa a cada vrtice
da malha um nmero natural entre 1 e N , respeitando a enumerao global dos vrtices interiores. Esta
enumerao consiste em adotar a enumerao da Denio 2 e ainda atribuir nmeros entre N + 1 e
aos vrtices da fronteira de d .
N
Denio 4. Chamamos de enumerao local dos vrtices a uma bijeo que
i) associa a cada vrtice de um elemento Tk um nmero do conjunto {1, 2, 3};
11
ii) percorre o elemento em sentido anti-horrio. Isto , denido o vrtice nmero 1 do elemento Tk ,
percorre-se a fronteira do elemento em sentido anti-horrio a partir desse vrtice 1. O prximo vrtice
ser o de nmero 2 e o ltimo ser o nmero 3. O vrtice s, s em {1, 2, 3}, do elemento Tk tem
(k)
coordenadas (x(k)
s , ys ).
Notemos que um mesmo vrtice comum a dois elementos pode ter numerao local diferente em
Por exemplo, pode ser o vrtice 1 do elemento Tk e o vrtice 3 do Tl . Neste caso
(l) (l)
(x3 , y3 ) representam o mesmo ponto da malha. Supondo ainda que esse vrtice seja o
(k) (k)
(l) (l)
vrtice interior h
, ento (x1 , y1 ) = (x3 , y3 ) = h .
cada elemento.
(k) (k)
(x1 , y1 ) e
global
Na Figura 5 mostramos um exemplo de uma malha e de uma possvel enumerao (global) dos
elementos e dos vrtices. A Tabela 1 complementa a Figura 5 exemplicando uma enumerao local
dos vrtices. Note que, para cada elemento, um dos vrtices globais assume a posio local 1, 2 ou 3.
Na Figura 6 mostramos alguns elementos e a enumerao local de seus vrtices.
Figura 5: Exemplo de enumerao dos elementos (a), e enumerao global dos vrtices (b).
Tabela 1:
Elemento
Vrtice 1
Vrtice 2
Vrtice 3
16
15
16
16
10
11
10
12
10
13
13
14
15
14
13
15
15
13
12
16
12
17
11
12
18
10
11
3.3.2
Funes da base
Com os conceitos de enumeraes globais e local dos vrtices bem estabelecidos, podemos principiar
nossa busca por uma base de
Vd .
12
v Vd
fosse linear em
j : R2 R
tais que
j (pi ) =
e
grco de
no elemento
Tk =
1
0
se
plano
6= 0
se
i = j,
i 6= j
(3.10)
se
Tk
tem o vrtice
pj ,
(3.11)
caso contrrio
pi .
Tanto
piramidais, como
lhes associado. Note que a cada elemento podem existir no mximo trs funes associadas, mas que
uma funo pode ser associada a um nmero qualquer de elementos, dependendo da triangulao da
malha.
Por (3.10) j sabemos quanto vale
j (x, y)
se o ponto
(x, y)
tarefa agora determinar o valor que a funo assume num ponto no interior de um tringulo. Isto ,
determinar
pj ,
j (x, y)
para qualquer
(x, y) d .
(x, y)
j (x, y) = 0.
j .
ento
funo
(x, y) Tk
(k)
(k)
(k)
Tk
for associado
(k)
Tk : (x1 , y1 ), (x2 , y2 )
(k) (k)
a funo j B a associada ao vrtice 1, (x1 , y1 ),
de j (x, y) se (x, y) Tk . Como sabemos que estamos
e o tringulo
(k)
(k)
(x3 , y3 ).
do elemento
Tk . Determinaremos o valor
no elemento
Tk , podemos dispensar os ndices superiores nas coordenadas dos vrtices, escrevendo simplesmente,
(x1 , y1 ). (Faremos isso apenas para deixar a notao mais limpa durante a deduo da frmula; ao nal
restituiremos os ndices superiores.) Por (3.10) sabemos que j (x1 , y1 ) = 1 e j (x2 , y2 ) = j (x3 , y3 ) =
0. Por sua vez, (3.11) implica que se (x, y) Tk , ento (x, y, j (x, y)) est no plano determinado
pelos pontos (x1 , y1 , j (x1 , y1 )), (x2 , y2 , j (x2 , y2 )) e (x3 , y3 , j (x3 , y3 )), ou, substituindo os valores da
funo nos vrtices, (x1 , y1 , 1), (x2 , y2 , 0) e (x3 , y3 , 0).
Para que o grco de j (x, y) esteja nesse plano, os trs vetores que ligam (x, y, j (x, y)) a cada
um dos pontos (x1 , y1 , 1), (x2 , y2 , 0) e (x3 , y3 , 0) devem ser coplanares ou, equivalentemente, o produto
13
misto
(x, y, j ) (x1 , y1 , 1) = (x x1 , y y1 , j 1)
(x, y, j ) (x2 , y2 , 0) = (x x2 , y y2 , j )
(x, y, j ) (x3 , y3 , 0) = (x x3 , y y3 , j ),
onde,
j = j (x, y).
x x1 y y1 j 1
x x2 y y2
j = 0.
x x3 y y3
j
Desenvolvendo o determinante em cofatores com relao terceira coluna:
x x1 y y1
x x1 y y1
x x2 y y2
j
(j 1)
x x3 y y3 + j x x2 y y2 = 0
x x 3 y y3
x x2 y y2
x x3 y y3
.
j (x, y) =
x x2 y y2 x x1 y y1 x x1 y y1
x x3 y y3 x x3 y y3 + x x2 y y2
(3.12)
Faremos algumas manipulaes algbricas usando propriedades dos determinantes para escrever a
equao acima de maneira mais conveniente. Por exemplo, no numerador:
x x2 y y2 x x2 y y2 x x2 y y2 x y x2 y2 x y x2 y2 1 x y
=
=
+
= 1 x2 y2 .
x x3 y y3 x
y x3
y3 x y x y x3 y3 x3 y3
1 x3 y3
A ltima igualdade pode ser facilmente vericada desenvolvendo o determinante
33
em cofatores
1
1
1
j (x, y) =
1
1
1
x
y
(k)
(k)
x2
y2
(k)
(k)
x3
y3
,
(k)
(k)
x1
y1
(k)
(k)
x2
y2
(k)
(k)
x3
y3
(3.13)
Ak
do elemento
Tk .
(k)
(k)
(k)
(k)
(x1 , y1 ), (x2 , y2 )
(k)
(k)
(x3 , y3 ),
ou seja, o dobro
1 x
y
1
(k)
(k)
y2 .
j (x, y) =
1 x2
2Ak
1 x3(k) y3(k)
(3.14)
2
Denotando o produto vetorial entre dois vetores por e o escalar por h , i, o produto misto de trs vetores a, b e
c (nesta ordem) pertencentes a R3 denido por ha , b ci e pode ser calculado como o determinante da matriz cujas
linhas so a, b, e c, nesta ordem. A interpretao geomtrica desse produto o volume do paraleleppedo determinado
pelos trs vetores. Caso o resultado seja nulo, os trs vetores no determinam volume algum, estando, pois, num mesmo
plano.
14
num ponto
(x, y)
do elemento Tk .
qualquer
Em outros
elementos associados, a funo pode no ser dada por (3.14). Relembremos as suposies feitas que
resultaram em (3.14): consideramos que
vrtice 1
de
Tk .
era associada
Tk ,
neste elemento.
(k) (k)
outro vrtice r , (xr , yr ), local que no o de nmero 1. Neste caso, o vrtice
era associada ao
mais precisamente,
j fosse associada
r o que cumpre
a
o
o de vrtice 3. imporante que nos lembremos que a numerao local dos vrtices sempre feita em
sentido anti-horrio: a ordem local dos vrtices sempre
1 2 3 1 2 3 1
(o vrtice 1
associada ao vrtice
do elemento
Tk ,
ento
vrtice 1 em (3.14);
vrtice 2 em (3.14) e
vrtice 3 em (3.14),
onde signica cumpre o papel de ou corresponde ao. Isso resulta, pois, em
1 x
y
1
(k)
(k)
y3
j (x, y) =
1 x3
2Ak
(k)
1 x(k)
y1
1
(x, y) Tk .
Pode-se fazer o mesmo procedimento para a associao ao vrtice 3 e assim chegamos numa expresso geral para o valor de uma funo qualquer
1 x
y
1
(k)
(k)
y2
1 x2
2Ak
(k)
1 x(k)
y3
3
1 x
y
1
(k)
(k)
y3
1 x3
2Ak
(k)
j (x, y) =
1 x(k)
y
1
1
1 x
(k)
(k)
y1
1 x1
2A
k
(k)
1 x(k)
2
2
de
em um elemento qualquer
se
(x, y) Tk
Tk ,
se
(x, y) Tk
Tk ,
(3.15)
se
(x, y) Tk
se
(x, y) Tk
mas
no for associada a
Tk ,
Tk ,
Tk .
Tk :
s vezes, para
escreveremos
(k)
Em
poder ser dada por uma expresso diferente, dependendo das coordenadas dos seus
depender do
elemento considerado.
Lembremos que as entradas da matriz de rigidez dependem dos gradientes das funes da base.
Veremos agora como, a partir de (3.15), podemos calcul-los.
3.3.3
Supondo que
associada ao vrtice 1 de
Tk ,
15
(k)
x2
(k)
x3
(k)
j
1 1
(x, y) =
x
2Ak 1
(k)
j (x, y)
(k)
Caso a funo
1
=
2Ak
gradj
(x, y) =
(k)
(k)
y2
1 y2
1
x
+
y
(k)
(k)
1
y3
1 y3
(k)
(k)
j
y2
e
(x, y) =
(k)
y
y3
1 (k)
(k)
y y3
2Ak 2
Tk ,
!
(k)
x2
(k)
x3
1 1 x(k)
2
2Ak 1 x(k)
3
(k)
(k)
, x 3 x2 .
(3.16)
acima. O vrtice seguinte ao associado ser o 3 (posio em (3.16) ocupada pelo vrtice 2) e o que lhe
segue ser o 1 (no lugar do 3 em (3.16)). Obtemos:
(k)
gradj
(x, y) =
1 (k)
(k)
(k)
(k)
y3 y1 , x1 x3 .
2Ak
(3.17)
(k)
gradj
Obviamente, se
(x, y) =
1 (k)
(k)
(k)
(k)
y1 y2 , x2 x1 .
2Ak
Tk ,
(3.18)
(k)
ento gradj
(x, y) = 0.
As expresses (3.16), (3.17) e (3.18) do o valor do gradiente de uma funo da base em um elemento
se ela lhe for associada ao vrtice 1, 2 ou 3, respectivamente. Poder a leitora se perguntar: digamos
que
Como ao discretizar a malha conhecemos as coordenadas dos vrtices dos elementos, podemos
calcular os gradientes de todas as
possvel calcular os elementos
Mij
funes de
Mij =
hgradi ,
gradj i
dV .
M, cujas entradas
d
integrais, cada uma sobre um elemento. Isto :
Z
hgradi ,
Mij =
gradj i
dV =
m Z
X
(k)
hgradi
(k)
gradj
i dV.
k=1 T
k
Sabemos por (3.16)-(3.18) que o gradiente de uma funo da base constante em cada elemento.
Por isso, podemos passar o produto dos gradientes para fora das integrais, obtendo
Mij =
m
X
(k)
hgradi
(k)
gradj i
k=1
Z
dV
B,
m
X
(k)
hgradi ,
iAk .
(3.19)
(k)
gradj
k=1
Tk
forem associadas
Tk .
(k)
hgradi
(k)
gradj
s ser diferente de
M so zeros:
a matriz
de rigidez esparsa.
Conclumos que para calcular os
e a
Mij
j .
16
elementos para calcular os termos da matriz de rigidez, podemos faz-lo tambm para o vetor de carga.
Seus elementos so do tipo
Z
i f dV =
m Z
X
(k)
f dV.
k=1 T
k
d
Novamente, apenas os termos do somatrio com
Tk
associado a
sero no-nulos.
bidimensional est terminada. Apenas a ttulo de ilustrao dos procedimentos, calcularemos a matriz
de rigidez em dois exemplos de malhas.
3.4
Nesta seo consideraremos alguns exemplos de triangulaes para mostrar como feita a construo
do sistema (3.9).
desejamos apenas ilustrar o mtodo. Em aplicaes prticas um nmero bem superior de elementos
deve ser utilizado. Nossas malhas podem ser consideradas clulas de malhas maiores. Se for mantida
sua regularidade, os resultados aqui obtidos podem ser muito facilmente adaptados para aquelas.
3.4.1
Exemplo 1
Considere
lado
L/3
o quadrado de lado
L.
Figura 8: Malha e enumerao global dos elementos (a) e dos vrtices (b). (c) mostra a enumerao local
dos vrtices dos elementos que sero utilizados neste exemplo.
Nossa malha tem 18 elementos e 16 vrtices, sendo que apenas 4 so interiores. Enumeraremos os
vrtices globalmente como mostra a Figura 8b, e localmente consoante a Figura 8c. As reas de todos
elementos so iguais, e representaremos simplesmente por
A.
Notemos que cada funo da base (associadas aos vrtices 1, 2, 3 e 4) associada a seis elementos.
Mais ainda, esse conjunto funo-base + os seis elementos associados forma uma espcie de clula,
sendo transladado equivale aos outros conjuntos semelhantes.
desta malha.
A dependncia de
p1
i qualquer com
T1 , T2 , T3 , T10 , T9 e T8 , j
a mesma de
em
(1)
grad1
(x, y) =
T1 . 1
1 (1)
1
L
(1)
(1)
(1)
y2 y3 , x 3 x 2
=
(L/3 0 , 0 L/3) =
(1, 1).
2A
2A
6A
17
Em
T2 , 1
(2)
grad1
Em
T3 , 1
(3)
grad1
(x, y) =
1 (2)
1
L
(2)
(2)
(2)
y2 y3 , x3 x2
=
(0 0 , 2L/3 L/3) =
(0, 1).
2A
2A
6A
(x, y) =
1 (3)
L
1
(3)
(3)
(3)
y3 y1 , x1 x3
(0 L/3 , 2L/3 L/3) =
(1, 1).
=
2A
2A
6A
em
uma pirmide,
dois elementos. Como o gradiente tem justamente essa direo, nesses elementos eles so paralelos. J
T10
que
p1
ao elemento
T1 ,
opostos. Logo,
(10)
grad1
Da mesma forma,
T9
simtrico com
(1)
= grad1 =
T2
T8
o com
(2)
L
(0, 1),
6A
(3)
L
(1, 1).
6A
(9)
= grad1 =
(8)
= grad1 =
grad1
grad1
L
(1, 1).
6A
T3 . Portanto:
Z
M11 =
Z
h
T1
L
L
(1, 1) ,
(1, 1)i dV +
6A
6A
T3
T2
Z
h
L
L
(1, 1) ,
(1, 1)i dV +
6A
6A
T10
Z
h
Z
h
L
L
(0, 1) ,
(0, 1)i dV +
6A
6A
T9
L
L
L2
5L2
(1, 1) ,
(1, 1)i dV =
(2 + 1 + 2 + 2 + 1 + 2) =
.
6A
6A
36A
18A
T8
Como a rea total do domnio
que
A=
L2
A,
temos
M11 = 5.
Por simples inspeo da malha, e nos baseando nas consideraes j feitas sobre a simetria da
triangulao utilizada, vemos que
(1)
(2)
(3)
grad1
grad1
grad1
(3)
(7)
(9)
(4)
(8)
(10)
(5)
(9)
(11)
(10)
= grad2
(9)
= grad2
(8)
= grad2
grad1
grad1
grad1
(12)
= grad3
(16)
= grad4
(11)
= grad3
(10)
= grad3
(18)
(15)
= grad4
(14)
= grad4
(17)
(16)
J conhecemos ento todos os gradientes. Nos elementos que no esto relacionados na lista acima, os
gradientes so nulos.
Da ento,
1
(b) 1
(a)
2
e 3
T3
associados T8
tm os elementos associados
tm os elementos
T10 em comum;
e T9 em comum;
18
(c)
(d)
(e)
2 e 3 no
2 e 4 tm
(f )
tm os elementos associados
T9
T10
em comum;
tm os elementos associados
T10
T9
T11
T16
em comum;
em comum.
Notemos, ainda com base na malha, que as relaes (e),(b) e (f ),(a) tm mesma geometria. Isso
mostra que basta analisar uma clula da malha e como esta se relaciona com suas vizinhas para entender
o comportamento de toda a malha - claro, no caso de uma triangulao regular.
M usando (3.19):
M12 = M21 =
(10)
Ahgrad1
(b)
= 2A(4)
(3)
grad1 i
(3)
, grad2 i +
L2
2L2
36A2
9A
(8)
grad3
(10)
Ahgrad1
(10)
grad2
i
(9)
grad3
(9)
(10)
grad4
(3)
grad1
(8)
grad1
(9)
grad1
= Ahgrad1
(1)
i+
(2)
i+
(1)
i+
= 4.
i + Ahgrad1
L2
L2
= 2A(2)
=
= 2.
36A2
9A
(9)
, grad4 i + Ahgrad1
L2
L2
(2)
, grad1 i = 2A(2)
=
= 2.
36A2
9A
(10)
Ahgrad1
(d)
(8)
grad1 i
(8)
(9)
Ahgrad1
(c)
(3)
Ahgrad1
(9)
i = Ahgrad1
(10)
i = Ahgrad1
M23 = M32 = 0.
(e), (b)
M24 = M42 = 2.
(f ), (a)
M34 = M43 = 4.
Logo,
5 4 2 2
4 5
0 2
.
M=
2 0
5 4
2 2 4 5
Vemos que
M acima tem poucos zeros, em contradio com o que h pouco armamos, que a matriz
de rigidez esparsa. Essa aparente incoerncia ocorre devido ao tamanho da malha considerada. Os
nicos zeros de esparsidade que ocorrem so devidos s funes
(que no tm elementos
associados em comum). No entanto, se considerssemos uma malha formada com o mesmo padro,
porm com nove pontos interiores, o nmero de funes sem elementos associados em comum aumentar
bastante. Um pouco de reexo bastar para que o leitor se convena de que
5 4 0 2 2
0
0
0
0
4 5 4 0 2 2
0
0
0
0 4 5
0
0 2 0
0
0
2 0
0
5 4 0 2 2
0
,
2
2
0
4
5
4
0
2
2
M=
0
2 2 0 4 5
0
0 2
0
0
0 2 0
0
5 4 0
0
0
0
2 2 0 4 5 4
0
0
0
0
2 2 0 4 5
19
6= M (verique):
M
5 4 2 2
= 4 5 2 0 .
M
2 2 5 4
2 0 4 5
Figura 10: Malha de 18 elementos com outra enumerao dos vrtices interiores.
3.4.2
Exemplo 2
Considere
lado
L/2
o quadrado de lado
L.
malha formada tem 16 elementos e 13 vrtices, sendo que 5 so interiores. Enumeramo-los globalmente
consoante a Figura 11b. Na Figura 11c mostramos enumeraes locais de vrtices em alguns tringulos.
Veremos que s precisaremos desses elementos para escrever a matriz de rigidez.
20
Figura 11: Enumerao dos elementos (a), enumerao global dos vrtices (b) e enumerao local dos
vrtices de alguns elementos (c).
A grande diferena dessa malha para a do Exemplo 1 que, enquanto l cada funo era associada
a seis elementos, aqui existem funes associadas a quatro e a oito elementos. Por inspeo da malha,
vemos que as funes que so associadas a 4 elementos esto, por assim dizer, encerradas; que elas
no tm nenhum elemento associado em comum. A nica funo que tem elementos em comum com
outras a associada a oito elementos, 3 . A partir dessa anlise simples, j podemos garantir que
M12 = M21 = M14 = M41 = M15 = M51 = M24 = M42 = M45 = M54 = 0. Para os outros
termos teremos que fazer contas, mas, na medida do possvel, utilizaremos da simetria da malha para
simplic-las.
Consideremos primeiro
vemos que
T1
Ento, como
T3
T1
1 .
T1 , T2 , T3
T4 .
T2
tm
(1)
1 (1)
1
L
(1)
(1)
(1)
(L/2 0 , 0 0) =
(1, 0)
y2 y3 , x 3 x 2
=
2A
2A
4A
(2)
1 (2)
1
L
(2)
(2)
(2)
y2 y3 , x 3 x 2
=
(0 0 , L/2 0) =
(0, 1).
2A
2A
4A
grad1
e
grad1
T2
T4 .
Ainda por inspeo da malha, vemos que essa estrutura de funo da base com quatro elementos
ao redor se repete pela malha, por uma simples translao. Portanto:
(1)
(2)
= grad2 = grad4
grad1
grad1
e, ainda,
(5)
(9)
(6)
(10)
(13)
(14)
= grad5
(3)
(7)
(11)
= grad5
(4)
(8)
(12)
= grad5
Logo,
Mii(i6=3) = 4
L2
= 4,
16A2
21
(15)
(16)
A = L2 /16.
Resta, agora, calcular o gradiente de 3 , aquela que associada a 8 elementos.
Novamente usaremos
opostos.
p3 .
T3 , T4 , T5
T8
Isso nos faz usar apenas a frmula (3.16) para clculo dos gradientes. Temos, pois,
(4)
grad3
(3)
grad3
1 (4)
(4)
(4)
(4)
y2 y3 , x3 x2
=
2A
1 (3)
(3)
(3)
(3)
y2 y3 , x3 x2
=
=
2A
=
(4)
L
1
(14)
(L/2 L/4 , L/4 0) =
(1, 1) = grad3
2A
8A
1
L
(13)
(L/4 0 , L/2 L/4) =
(1, 1) = grad3
2A
8A
(3)
Repare que encontramos grad3 = grad3 . Observando a malha, j poderamos esperar isso, pois o
grco de 3 uma pirmide de base quadrada e T3 e T4 formam um mesmo lado desse quadrado.
Usaremos esse argumento para armar que
(5)
grad3
= grad3 =
1 (8)
L
1
(8)
(8)
(8)
y2 y3 , x3 x2
(L/4 L/2 , L 3L/4) =
(1, 1) =
=
2A
2A
8A
(10)
(11)
(8)
= grad3
= grad3
M. Usando (3.19):
(3)
(3)
grad3
(4)
iA + hgrad1 ,
M13 = 2.
S resta, pois,
M33 = 8
L2
2 = 4.
64A2
(4)
grad3
iA =
L2
= 2.
32A2
Portanto,
4
0 2 0
0
0
4 2 0
0
M = 2 2 4 2 2
.
0
0 2 4
0
0
0 2 0
4
(3.20)
M=
4
0
0 2
0
0
0
0
0
0
0
0
0
0
4
0 2 2
0
0
0
0
0
0
0
0
0
0
4
0 2
0
0
0
0
0
0
0
0
2 2
0
4
0 2 2
0
0
0
0
0
0
0 2 2
0
4
0 2 2
0
0
0
0
0
0
0
0 2
0
4
0
0 2
0
0
0
0
0
0
0 2 2
0
4
0 2 2
0
0
0 .
0
0
0
0 2
0
0
4
0 2
0
0
0
0
0
0
0
0 2 2
0
4
0 2 2
0
0
0
0
0
0
0 2 2
0
4
0 2 2
0
0
0
0
0
0
0
0 2
0
4
0
0
0
0
0
0
0
0
0
0 2 2
0
4
0
0
0
0
0
0
0
0
0
0 2
0
0
4
local.
global
dos vrtices
ltima de modo a usar apenas uma frmula para o gradiente, como zemos neste exemplo.
22
Outros casos
Como dissemos logo no incio deste texto, nosso objetivo apenas transmitir a essncia do mtodo dos
elementos nitos, por isso este material bastante simples. Mencionamos aqui, brevemente, algumas
outras possibilidades que o Mtodo permite.
Contemplamos apenas os casos de uma e duas dimenses.
pode ser deduzida sem grandes diculdades a partir da deduo feita neste captulo. Foi, inclusive,
com esse intuito que deixamos o Teorema do Divergente enunciado em sua forma geral. Novamente, a
diculdade ir surgir ao discretizar o domnio (agora em tetraedros) e buscar escrever uma base para
o espao de funes
Vd .
ser linear em cada elemento da malha. Existem outras possibilidades: podemos desejar que
ud
seja
quadrtica por partes, ou mesmo polinomial por partes, fornecendo aproximaes mais suaves.
Por m, o Mtodo no se aplica apenas ao problema de Dirichlet.
Condies de contorno de
Neumann e Robin tambm so aceitas, com algumas alteraes no exposto neste texto. Por exemplo,
no caso de condio de Neumann, no podemos, nas regies de
direita de (3.5), frmula de Green, a zero.
23
Bibliograa
Remarks around 50 lines of
Matlab: short nite element implementation. Numerical Algorithms 20 (1999), 117-137.
24
Boca