Escolar Documentos
Profissional Documentos
Cultura Documentos
(3.1)
O Mtodo de Elementos Finitos bem mais recente que o anterior, sendo mais genrico, e podendo ser aplicado a complexas estruturas geomtricas e a ambientes com vrias mudanas de meio. Ele possui uma formulao matemtica mais trabalhada, sendo, portanto, um conjunto de tcnicas e mtodos que se baseia na discretizao do problema em elementos pequenos e na aproximao de cada elemento por um conjunto de polinmios. Considere, primeiramente, o problema formado por equaes diferenciais ordinrias (EDOs). Existem dois tipos. Um deles, o problema de valor inicial, que
assume a forma geral abaixo: F[ t, y(t), y(t) ] =0, t>0 t=t0, y=yo, y=y0 (3.2)
Onde, o t a varivel independente, usualmente o tempo; y um vetor de variveis dependentes; y a sua derivada em relao a t; F um vetor de funes de t, y, e y; e, finalmente, yo e yo so vetores que representam as condies iniciais do problema. Notese, que o domnio da varivel t semi-infinito, e que a soluo deste problema dever ser obtida marchando-se no tempo, a partir da condio inicial. Caso exista, pelo menos, uma funo dentro do vetor F que no dependa de nenhum elemento do vetor y, a equao representa um sistema de equaes algbrico-diferenciais (sistema de EAD). [68] O outro tipo de problema o do valor de contorno, que assume a seguinte forma geral para sistemas de segunda ordem: F[ x, y(x), y(x), y(x) ] = 0, xo<x<xf x=xo, go(x,y,y)=0 x=xf, gf(x,y,y)=0 (3.3)
Onde, o x a varivel independente, usualmente, uma coordenada espacial; y o vetor de variveis dependentes; y e y so as suas derivadas: primeira e segunda, respectivamente, em relao a x; F um vetor de funes; e go e gf so vetores de funes que representam as condies de contorno nos limites do domnio do sistema de equaes. O objetivo do Mtodo das Diferenas Finitas transformar um problema composto por equaes diferenciais em um problema formado por equaes algbricas. O primeiro passo, nesta direo, a chamada discretizao do domnio da varivel independente. A discretizao consiste em dividir o domnio de clculo em um certo nmero de subdomnios. Para um domnio semi-infinito, existem infinitos subdomnios. Quando o domnio finito, o nmero de subdomnios tambm o , e digamos que seja J. Em qualquer caso, estipulam-se os pontos que delimitam os subdomnios, que, no caso de um domnio finito, so iguais a (J+1), em nmero. Note-se, que os subdomnios podem ter o mesmo tamanho, gerando uma malha uniforme, ou ento, formando uma malha no-uniforme. Embora as discretizaes baseadas no primeiro tipo de malha sejam mais simples, existem vantagens numricas, em muitos casos, no uso de malhas no-uniformes. O segundo passo gerar aproximaes para as derivadas das variveis dependentes que aparecem nas diferenciais, nos pontos discretos, xj ou tj, isto , obter yj e yj, utilizando apenas os valores de y nestes pontos discretos: yj. Finalmente, aplicamse as equaes diferenciais ordinrias aos pontos discretos xj, substituindo as aproximaes obtidas para yj e yj. Isto gera sistemas de equaes algbricas na forma: f( yj ) =0, (3.4)
Onde, o f um vetor de equaes algbricas que depende dos valores desconhecidos yj, sendo que esta dependncia varia conforme o tipo de problema, de contorno ou inicial. Este sistema de equaes, quer seja ele linear ou no linear, pode ter
2
a sua soluo obtida. Note-se, que a soluo assim obtida para o problema consistir em uma seqncia de pontos, xj ou tj, onde se conhecem os valores de y, yj. Ficam claras, agora, duas caractersticas do Mtodo de Diferenas Finitas: a aplicao das equaes diferenciais local, isto , em cada ponto, xj ou tj, e a soluo obtida composta por um conjunto enumervel de pontos onde os valores da soluo so conhecidos. Um dos passo necessrios na soluo de equaes diferenciais por diferenas finitas a aproximao das derivadas presentes nestas equaes, aplicadas a um dado ponto arbitrrio, xj ou tj. Uma maneira simples de se obter estas aproximaes, por meio do uso da expanso de uma funo em srie de Taylor, em torno de um dado ponto. Seja xj este ponto base, podemos escrever o valor de y( xj+1 )= yj+1, pela seguinte srie infinita:
y j +1 = y j + yj ( x j +1 x j ) + yj( x j +1 x j ) 2 2! + yj( x j +1 x j )3 3! + yj( x j +1 x j ) 4 4! + ... (3.5)
y j 1
= y j y j ( x j x j 1 ) +
y j ( x j x j 1 ) 2 2!
y j( x j x j 1 ) 3 3!
y j( x j x j 1 ) 4 4!
+ ... (3.6)
Considere, agora, a necessidade de se aproximar o valor de yj , o que ser feito, utilizando-se as expanses acima. Estas equaes podem ser escritas de forma mais compacta por meio da definio do comprimento do domnio j : hj=xj-xj-1. Dessa forma, multiplicando a segunda expanso (3.6) por hj+12, e diminuindo da primeira expanso (3.5) multiplicada por hj2, obtemos a seguinte expresso, na qual yj foi eliminado:
y j = [h 2 y j +1 + (h 2+1 h 2 ) y j h 2+1 y j 1 ] j j j j (h h j +1 + h j h
2 j 2 j +1
+ O (h 2 )
(3.7)
Nela, o O(z) indica que a aproximao tem ordem de grandeza de z, isto , o valor exato da derivada da funo, no ponto considerado, obtido, a partir da expresso aproximada, no limite, quando z0. Esta ordem de grandeza oriunda do termo de menor ordem (ou primeiro termo) entre aqueles que envolvem as derivadas de maior ordem. O conjunto deste termos, ou a sua forma simplificada de representao por ordem de grandeza, denominado de erro de truncamento. Para uma malha uniforme hj=h, qualquer que seja j, a aproximao dada fica com a simplificao: y j = y j +1 y j 1 2h
+ O(h 2 )
(3.8)
Ela chamada aproximao por diferena central da derivada primeira de y. Podemos, ainda, usar as expanses, para obter mais duas aproximaes para a
3
+ O ( h)
(3.9)
Ela obtida, a partir da segunda expanso (3.6), sendo chamada de aproximao por diferena descendente (backward differentiation): y j = y j +1 y j h
+ O ( h)
(3.10)
Ela obtida, a partir da primeira expanso (3.5), sendo chamada de aproximao por diferena ascendente (forward differentiation). Para uma aproximao da derivada segunda, pode-se somar as duas expanses (3.5) e (3.6), obtendo-se: y j = y j +1 2 y j + y j 1 h
2
+ O(h 2 )
(3.11)
Ela chamada aproximao por diferenas centrais da derivada segunda de y. A equao anterior envolve trs valores funcionais, para descrever uma aproximao da derivada segunda da funo, o que representa o mnimo necessrio para isto, j que a derivada primeira tem que ser eliminada da forma final, e, portanto, pelo menos duas expanses em srie de Taylor tm que ser consideradas. Nada impede, que seja utilizada uma outra expanso em srie de Taylor, para melhorar a ordem de aproximao das equaes acima. Por exemplo, poder-se-ia utilizar a expanso para o valor funcional yj-2 ( ou yj+2 ), para eliminar o primeiro termo do erro de truncamento da equao, obtendo-se, assim, uma aproximao de ordem h3. Entretanto, aproximaes envolvendo mais de trs valores funcionais, em pontos adjacentes, apresentam uma maior dificuldade de soluo das equaes algbricas obtidas pelo processo de discretizao. Como exemplo, considere o problema de valor de contorno abaixo: y+y-2y=0 com x=0, y(0)=0 e para x=1, y(1)=1 (3.12)
Seja o domnio discretizado por uma malha uniforme com J, e subdomnios de comprimento h e com xo=0 e xf=1. Aplicando a equao diferencial acima, nos pontos onde no se conhecem os valores funcionais de y, temos: yj+yj-2yj=0, j=1,2,3,4....J-1 (3.13)
Utilizando as aproximaes das derivadas primeiras e segunda por diferenas centrais e arrajandos os termos, tem-se: 2(yj+1 2 yj + yj-1) + h(yj+1-yj-1) 4 h2 yj =0, j=1,2,3,4....,J-1 (3.14)
ou (2+h) yj+1 - 4(h2+1) yj + (2-h) yj-1 =0, j=1,2,3,4,.....,J-1 e yo=0 e yJ=1 (3.15)
Logo, camos em um sistema linear de equaes algbricas. As condies de contorno do problema dado acima so chamadas de primeiro tipo, isto , definem o valor da varivel no contorno, sendo facilmente incorporadas ao sistema algbrico das equaes discretizadas. Diversos outros tipos de condies de contorno so possveis, sendo que, a sua utilizao no sistema de equaes algbricas discretizadas, torna-se um pouco mais elaborada. Em geral, a condio de contorno pode ser no-linear, na qual go e gt so funes arbitrrias de x, y e y. Entretanto, so trs, os tipos existentes de condies de contorno lineares. Diz-se, que a condio de contorno do primeiro tipo, quando o valor da varivel dependente dado no contorno, sendo facilmente utilizada nas equaes discretizadas. O problema acima serve de exemplo, e a forma geral dada por: x=xc, y=yc (3.16)
Quando a condio de contorno de segundo tipo, o valor da derivada da varivel dependente dado no contorno, isto : x=xc, y=yc (3.17)
Esta condio de contorno tem que ser discretizada, para ser combinada com o sistema algbrico discretizado, fazendo: y j = y j +1 y j 1 2h (3.18)
A condio de contorno dita de terceiro tipo, quando tem a seguinte forma geral: x=xc, ay+by=c (3.19)
Nela, a, b e c so constantes conhecidas. O seu tratamento similar ao dado s condies de contorno de segundo tipo. Considere, agora, o seguinte problema de valor inicial que envolve apenas uma diferencial ordinria na sua forma normal: y=f(t,y) com t=0, y(0)=yo (3.20)
Sendo o intervalo genrico entre tj e tj+1, considere diferentes formas de aproximar a derivada primeira, utilizando, como informao conhecida, apenas o ponto j, isto y(tj)=yj . Utilizando a aproximao de diferenas finitas para frente, para yj, obtm-se :
(3.21)
Frmula que permite calcular yj+1 a partir de yj , com erro da ordem de h2. Esta equao explcita no valor desconhecido de yj+1, sendo, pois, o mtodo denominado de explcito. Especificamente, representa o mtodo explcito de Euler. No camos em um sistema linear, tendo a soluo direta. Caso, por outro lado, resolvermos utilizar a aproximao de diferenas finitas para trs de yj+1 , dada com j+1 no lugar de j, podemos aplicar no ponto tj+1 e escrever: yj+1=yj + h f(tj+1, yj+1) + O(h2), h=tj+1-tj (3.22)
Frmula que calcula yj+1 a partir de yj, com erro da ordem de h2. Note-se que, no caso geral, a equao no linear no valor desconhecido de yj+1, sendo, pois, necessrio, utilizar-se um mtodo adequado soluo de problemas no lineares, para se obter o valor de yj+1.Assim, como yj+1 no pode ser explicitado a partir da equao, o mtodo denominado de implcito. Mais especificamente, este chamado mtodo implcito de Euler. Alm dos dois mtodos acima, podemos, ainda, obter um terceiro, a partir da aproximao por diferena central de yj+1/2, no intervalo considerado. Aplicando ao meio do intervalo, temos: yj+1=yj + h f(tj+h/2, yj+1/2) + O(h3), h=tj+1-tj (3.23)
Frmula que ainda no pode ser usada para obter yj+1, porque o valor de f no ponto considerado, no conhecido. Entretanto, expandindo fj e fj+1 em srie de Taylor, em torno do ponto tj+1/2=tj+h/2, tem-se que: yj+1=yj+h/2 . [ f(tj,yj) + f(tj+1,yj+1) ] + O(h3), h= tj+1-tj (3.24)
Frmula que permite calcular yj+1, ainda que de forma implcita. Este mtodo ainda implcito, sendo denominado de mtodo trapezoidal (ou de Crank-Nicholson). Considere a soluo numrica do problema de valor inicial, abaixo: y=-y2, t>0 com t=0, y=1 (3.25)
Ela utiliza os mtodos de Euler, at o ponto t=1, com passos uniformes de integrao de 0,2. A soluo analtica deste problema : y(t)=1/(1+t) Aplicando os mtodos, temos: (3.26)
Tabela 3.1 Comparao dos mtodos de diferenas finitas aplicados equao 3.25. [68]. T Euler Euler Trapezoidal Soluo Explcito Implcito Analtica 0,0 1,0000 1,0000 1,0000 1,0000 0,2 0,8000 0,8541 0,8310 0,8333 0,4 0,6720 0,7434 0,7113 0,7143 0,6 0,5817 0,6572 0,6220 0,6250 0,8 0,5140 0,5880 0,5528 0,5556 1,0 0,4612 0,5316 0,4975 0,5000 No caso de problema de valor inicial com equaes de ordem maior do que 1, uma reduo de ordem deve ser feita para uma ordem menor, com a insero de uma varivel no sistema. Exemplo: y=3y+y+5x com y(0)=1 e y(0)=2 (3.27)
Introduz-se a varivel z com z=y, derivando z=y. Assim, temos agora, dois P.V.I. (Problema de Valor Inicial) de primeira ordem:
z = 3z + y + 5 x z ( 0) = 2 y = z y ( 0) = 1
(3.28)
Resolvemos, simultaneamente, os dois P.V.I., construindo uma tabela de x, y e z. [52] Os mtodos de Runge-Kutta so de ponto simples, explcitos, mas com diversos estgios, de modo a se obter uma maior ordem de aproximao. A idia bsica deste tipo de mtodo definir que a variao da varivel dependente, no passo em questo, dada por uma mdia ponderada de variaes desta varivel, calculadas com avaliaes diferentes da funo derivada, isto :
n y j +1 y j = C i y i i =1 y1 = t. f (t j , y j ) y = t. f (t + a , y + b ) , com i > 1 j i j i i
(3.29)
Nela, Ci, ai e bi so coeficientes a serem determinados. Usando a equao acima, e ou igualando-a srie de Taylor, determinamos estes coeficientes para a diversa ordem de Runge-Kutta. Mostra-se, que Runge-Kutta , na verdade, uma variao do Mtodo das Diferenas Finitas. Por exemplo: Para segunda ordem: C1+C2=1, aC2=1/2 e bC2=1/2. Se escolhermos C2=1/2, chegamos a Euler Modificado, onde C1=C2=0,5 e a=b=1.
7
Os problemas matemticos descritos nesta seo correspondem a modelos mais simples, onde existe apenas uma varivel independente, seja ela o tempo ou uma coordenada espacial. Entretanto, modelos fsicos mais elaborados originam equaes diferenciais parciais (EDPs), com duas ou mais variveis independentes. As equaes diferenciais parciais, com suas condies auxiliares, formam tanto problemas de valor inicial quanto problemas de valor de contorno. A discretizao de problemas, em mais de uma varivel dependente, segue um procedimento similar ao visto para problemas unidimensionais. O primeiro passo, aqui, , como antes, a discretizao do domnio de clculo. Sero considerados, neste estudo, problemas com, no mximo, duas coordenadas espaciais, j que estes apresentam todas as caractersticas dos problemas multidimensionais. A extenso do procedimento para problemas tridimensionais facilmente obtida. Considere uma funo u(t,x,y) definida em um domnio 0x1, 0y1 e t 0, que podem ser coordenadas adimensionais ou no. A discretizao do domnio pode ser feita com malhas uniformes ou no uniformes. Como no h nenhuma caracterstica fundamental do procedimento de discretizao, que seja dependente do tipo da malha, a ateno especial dada a malhas uniformes.
i-1, y i-1, j i-1, j-1 i, j i, j-1 i+1, j i+1, j-1 x j+1 i, j+1 i+1, j+1
Figura 3.1 Malha de diferenas finitas em problemas com duas dimenses espaciais x e y. Note-se, que, em geral, as malhas so quadradas, e se adota um ndice para cada varivel i para x e j para y. Temos assim: ui,jn=u(tn,xi,yj), onde tn, xi e yj representam cada ponto da malha de discretizao. O segundo passo , tambm, a aproximao por diferenas finitas das derivadas, que aparecem na equao diferencial parcial, e que podem ser obtidas das expanses da varivel dependente, em srie de Taylor, em relao a uma ou mais variveis independentes. [55] Dada a expanso de Taylor para u(x,y), em um formato clssico:
u ( x + h, y + k ) = u ( x , y ) + ( h 1 + k )u ( x, y ) + (h + k ) 2 u ( x, y ) x y 2! x y 1 1 + (h + k ) 3 u ( x, y ) + ... + (h + k ) n u ( x, y ) + .... 3! x y n! x y
(3.30)
u ( x + h, y + k ) = u ( x , y ) + h
u ( x, y ) u ( x, y ) +k x y
1 2 u ( x, y ) 2 u ( x, y ) 1 2 u ( x, y ) + h + hk + k + ... 2 xy 2 x 2 y 2
(3.31)
Assumindo-se o ndice i para x e j para y, tem-se: u(x,y)=ui,j , u(x+h,y)=ui+1,j, u(x,y+k)=ui,j+1, e assim por diante, onde cada espaamento de h em x corresponde a somar ou subtrair 1 no ndice i, e cada espaamento de k em y corresponde a somar ou subtrair 1 no ndice j. Com isso, faz-se a expanso em srie, de Taylor, at a derivada segunda de u(x+h,y) e u(x-h,y), usando a equao 3.31, abaixo:
u ( x + h, y ) = u ( x , y ) + h u i +1, j = u i , j + h ui, j x u ( x, y ) 1 2 2 u ( x, y ) + h + .... x 2 x 2 1 2 2 + h u i , j + ... 2 x 2
(3.32)
(3.33)
Da equao 3.32, truncando todos os termos maiores que h2, ou seja, com erro O(h ), e isolando a derivada primeira, chega-se a uma primeira aproximao por diferenas finitas da derivada parcial de u em relao a x:
u i , j x
2
u i +1, j u i , j h
u i +1, j u i , j
(3.34)
Da equao 3.33, truncando todos os termos maiores que h2 , ou seja, com erro O(h ), e isolando a derivada primeira, chega-se a uma segunda aproximao por diferenas finitas da derivada parcial de u em relao a x:
u i , j x
u i , j u i 1, j h
u i , j u i 1, j
(3.35)
Somando-se a equao 3.32 com a equao 3.33, truncando todos os termos maiores que h3, ou seja, com erro O(h3), e isolando a derivada primeira, chega-se a uma terceira aproximao por diferenas finitas da derivada parcial de u em relao a x:
u i , j x
u i +1, j u i 1, j 2h
u i +1, j u i 1, j 2x
(3.36)
Subtraindo-se a equao 3.33 da equao 3.32, truncando todos os termos maiores que h3, ou seja, com erro O(h3), e isolando a derivada segunda, chega-se a uma aproximao por diferenas finitas da derivada parcial de segunda ordem de u em relao a x:
9
2ui, j x 2
u i +1, j 2u i , j + u i 1, j h2
u i +1, j 2u i , j + u i 1, j (x) 2
(3.37)
A ltima etapa para a soluo de uma equao diferencial parcial por diferenas finitas, substituir as aproximaes das derivadas na equao e nas suas condies de contorno, gerando um sistema algbrico, cuja soluo fornece a soluo aproximada do problema original. Dado o exemplo abaixo, considere uma barra fina metlica de 1 metro de comprimento, e estude a conduo de calor, segundo a equao:
u 2 u = t x 2
u(x,t) a temperatura da barra na posio x e instante t. Condio Inicial: u(x,0)=0oC Condies de Contorno: u(0,t)=u(1,t)=100oC Passos: x=0,2metros e t=0,01segundos
(3.38)
Substituindo, na equao diferencial, as aproximaes de diferenas finitas das equaes 3.34 e 3.37, e trocando o ndice i por j para a derivada em relao a t, tem-se:
u i , j +1 u i , j t
u i +1, j 2u i , j + u i 1, j (x) 2
(3.39)
Isolando o termo ui,j+1 , que corresponde ao tempo seguinte, e substituindo os valores de x e t, tem-se :
u i , j +1 =
u i +1, j + 2u i , j + u i 1, j 4
(3.40)
A equao acima fornece a temperatura do tempo j+1 em funo do tempo anterior j. Quando se tem uma equao deste tipo, onde o novo valor calculado em funo de valores conhecidos, d-se o nome de mtodo explcito, pois pode-se explicitar um valor desconhecido em funo de outros j conhecidos. Em seguida, pode-se chegar na tabela abaixo: Tabela 3.2: Soluo numrica do problema de conduo de calor. [55]
J 0 1 2 3 4 5 6 I t \ x 0,00 0,01 0,02 0,03 0,04 0,05 0,06 0 0,0 m 0 100 100 100 100 100 100 1 0,2 m 0 0 25 37,5 45,3 51,1 56,0 2 0,4 m 0 0 0 6,25 14,0 21,8 29,1 3 0,6 m 0 0 0 6,25 14,0 21,8 29,1 4 0,8 m 0 0 25 37,5 45,3 51,1 56,0 5 1,0 m 0 100 100 100 100 100 100
10
Veja-se, agora, um outro exemplo: considere uma placa quadrada fina metlica de 1 metro de comprimento, e encontre a temperatura de equilbrio (aps um tempo muito grande), segundo a equao de Laplace: 2u 2u =0 (3.41) + x 2 y 2 u(x,y) a temperatura da barra na posio x e y como na figura abaixo:
y 1 x 1
Figura 3.2 Placa Quadrada do Exemplo Condies de Contorno: u(0,y)=u(x,0)=100oC e Passos: x=y=0,25 metros u(1,y)=u(x,1)=0oC
Substituindo, na equao diferencial, as aproximaes de diferenas finitas da equao 3.37, e trocando o ndice i por j para a derivada em relao a y, tem-se:
u i +1, j 2u i , j + u i 1, j (x) 2
u i , j +1 2u i , j + u i , j 1 (y ) 2
=0
(3.42)
ui, j =
u i +1, j + u i 1, j + u i , j +1 + u i , j 1 4
(3.43)
A equao acima fornece a temperatura na posio i, j , em funo da mdia aritmtica das temperatura de cima, de baixo, da direita e da esquerda. Quando se tem uma equao deste tipo, onde o novo valor calculado em funo de valores desconhecidos, d-se o nome de mtodo implcito. Em seguida, pode-se chegar a um sistema linear, onde a equao 3.43 expandida para cada ponto do interior da placa, seguindo a numerao dada na figura abaixo:
y 100 100 100 100 100 0 0 u7 u4 u1 0 u8 u5 u2 0 u9 u6 u3 0 0 0 0
100 100 1 x
0,75
Figura 3.3 : Malha da discretizao da placa. Expandindo a equao 3.43 para cada ponto do interior, de u1 a u9, chega-se s equaes:
11
u 2 + 100 + u 4 + 100 u1 = 4 u 3 + u1 + u 5 + 100 u2 = 4 4u1 u 2 u 4 = 200 0 + u 2 + u 6 + 100 u + 4u u u = 100 1 2 3 5 u3 = 4 u 2 + 4u 3 u 6 = 100 u 5 + 100 + u 7 + u1 u4 = 4 u1 + 4u 4 u 5 u 7 = 100 u 6 + u 4 + u8 + u 2 u 2 u 4 + 4u 5 u 6 u 8 = 0 u5 = 4 u u + 4u u = 0 3 5 6 9 0 + u5 + u9 + u3 u = 6 u 4 + 4u 7 u8 = 100 4 u u + 4u u = 0 u 8 + 100 + 0 + u 4 5 7 8 9 u7 = 4 u 6 u8 + 4u 9 = 0 u = u9 + u7 + 0 + u5 8 4 0 + u8 + 0 + u 6 u9 = 4
(3.44)
(3.45)
Observa-se a simetria em relao diagonal principal da placa, e constata-se que os valores da temperatura, nos vrtices da placa, no entraram no clculo. [55]
12
Figura 3.4 (a) Uma pea industrial com geometria irregular e composio no homognea. (b) Tal sistema muito difcil de modelar com a aproximao por diferenas finitas. Isso se deve ao fato de complicadas aproximaes serem requeridas nos contornos do sistema e na fronteira entre as regies de diferentes composies. (c) Uma discretizao de elementos finitos muito melhor aplicada a tal sistema. [54] O Mtodo dos Elementos Finitos fornece uma alternativa melhor a tais sistemas. Em contraste tcnica das diferenas finitas, o MEF divide o domnio da soluo em formas simples de regies ou elementos. Uma soluo aproximada do PDE pode ser desenvolvida para cada um destes elementos. A soluo total ento gerada, colocandoas juntas ou montando-as. Utilizando-se as solues individuais, toma-se o cuidado de assegurar a continuidade dos contornos entre os elementos. Assim, o PDE satisfeito em forma de fatias. O uso de elementos, em vez de malhas retangulares, fornece melhor aproximao em sistemas com formatos irregulares, alm de valores desconhecidos poderem ser gerados continuamente por meio do domnio da soluo inteira, em vez de pontos isolados. Em razo de uma descrio detalhada ir alm do escopo deste texto, este captulo se conter a uma introduo geral do Mtodo dos Elementos Finitos. O objetivo mostrar, de forma simples e fcil, suas caractersticas, princpios e capacidades. Assim, a seo seguinte abordar uma viso geral dos passos envolvidos na soluo de um problema, utilizando o MEF. Este seguido por um simples exemplo: molas ligadas em sries. Embora este exemplo no envolva PDE, permite-se desenvolver e mostrar os principais aspectos da aproximao de elementos finitos, sem ser desencorajados por fatores complicados. Pode-se, ento, discutir algumas caractersticas, envolvendo o emprego do mtodo de elementos finitos em PDE.
13
[]
3.3.1. Viso Geral Este desenvolvimento foi extrado da referncia [54], Chapra 1997. Embora as particularidades iro variar, utiliza-se, usualmente, na implementao do Mtodo dos Elementos Finitos, um padro de procedimentos, passo a passo. A seguir, apresentada uma breve viso geral de cada um desses passos, cuja aplicao, nos contextos de Engenharia, ir ser demonstrada em itens subseqentes. 3.3.1.1 Discretizao (Pr-Processamento) Este passo envolve a diviso do domnio soluo em elementos finitos, e podem ser em uma, duas ou trs dimenses. Os pontos de interseo das linhas que descrevem os lados dos elementos so referenciados como ns, e os lados so chamados de linhas ou planos nodais.
14
Elemento Hexadrico
Figura 3.5 - Exemplos de elementos empregados em (a) uma, (b) duas, e (c) trs dimenses. 3.3.1.2. Equaes dos Elementos (Processamento) A seguir, desenvolvem-se equaes, a fim de aproximar a soluo de cada elemento. Isso envolve dois sub-passos. Primeiro, escolhe-se uma funo apropriada com coeficientes desconhecidos, que sero usados para aproximar a soluo. Por ltimo, avaliam-se os coeficientes, em que as funes se aproximam da soluo, de forma considerada tima. [54] Escolha das Funes de Aproximao Considera-se que, por serem de fcil manipulao matemtica, os polinmios so freqentemente empregados para este propsito. Para o caso unidimensional, a
15
alternativa mais simples um polinmio de primeira ordem, ou uma linha reta: u(x) = a0 + a1 x (3.46)
Nesta frmula, u(x) a varivel dependente; a0 e a1 so constantes; e x a varivel independente. Essa funo deve passar atravs dos valores u(x) nos pontos finais dos elementos em x1 e x2. Portanto: u1 = a0 + a1 x1 u2 = a0 + a1 x2 Onde u1 = u (x1) e u2 = u (x2). Estas equaes podem ser resolvidas, usando a regra de Cramer, onde: a0 = (u1 x2 u2 x1) / (x2 x1) a1 = (u2 u1) / (x2 x1)
Este resultado pode, ento, ser substitudo na Eq. (3.46), a qual, depois de se arrumar os termos, pode ser escrita como: u = N1 u1 + N2 u2 onde N1 = (x2 x) / (x2 x1) e N2 = (x x1) / (x2 x1) (3.47) (3.48) (3.49)
A equao (3.47) chamada funo de aproximao ou de forma, e N1 e N2 so chamados de funes de interpolao. Inspecionando melhor, percebe-se que a Eq. (3.47) , de fato, o polinmio interpolador de primeira ordem de Lagrange. Ela fornece um significado, para predizer valores intermedirios (que interpolar) entre valores dados u1 e u2 nos ns.
16
N 1 (a) u1
N 2
u u2
x2
N1 x2
1 x2
Figura 3.6 (b) Uma funo de aproximao ou forma para (a) um elemento linear. As correspondentes funes de interpolao so mostradas em (c) e (d). Note-se, que a soma das funes de interpolao (N1+N2) so iguais a 1. Em adio, lidar com equaes lineares facilita operaes como a diferenciao e integrao. Tais manipulaes, mais frente, sero importantes em outros itens. A derivao da Eq. (3.47) :
du dN1 dN 2 = u1 + u2 dx dx dx
(3.50)
De acordo com as Eq. (3.48) e (3.49), as derivadas de N1 e N2 podem ser calculadas como:
1 dN1 = dx x2 x1 1 dN 2 = dx x2 x1
(3.51)
E, portanto, a derivada de u :
1 du (u1 + u2 ) = dx x2 x1
(3.52)
Em outras palavras, essa a diferena dividida, representando a inclinao da reta conectada nos ns. A integral pode ser expressa como:
17
x2
x1
x2
Cada termo, no lado direito, somente a integral de um tringulo reto com base x2 x1 e altura u. Isto :
x2
x1
Nudx = 2 ( x
x1 )u
x1
udx =
u1 + u 2 ( x 2 x1 ) 2
(3.53)
Ou seja, simplesmente, a regra dos trapzios. Obteno de um Ajuste timo da Funo de Aproximao Aps a escolha da funo de interpolao, as equaes que governam o comportamento dos elementos deve ser desenvolvida. Elas representam um ajuste da funo de aproximao, com a finalidade de soluo da subjacente equao diferencial. Vrios mtodos so disponveis para este propsito. Entre os mais comuns, cita-se a aproximao direta, o mtodo dos resduos ponderados, e a tcnica variacional. O resultado desses mtodos anlogo para o ajuste de curvas. Contudo, em vez de ajustar funes para dados, eles especificam relacionamentos entre a desconhecida Eq. (3.47) para satisfazer as subjacentes PDE, em uma forma apropriada. Matematicamente, o resultado das equaes dos elementos ir, freqentemente, consistir de um conjunto de equaes lineares algbricas, podendo ser expressa na forma matricial: [k] {u}={F} (3.54)
Nela, [ k ] uma matriz propriedade ou rigidez do elemento; { u } um vetor coluna de valores desconhecidos dos ns; e { F } um vetor coluna, refletindo o efeito de quaisquer influncias externas aplicadas nos ns. Percebe-se, que, em alguns casos, as equaes podem ser no lineares. Contudo, nos exemplos elementares descritos aqui e em muitos dos problemas prticos, os sistemas so lineares. 3.3.1.3. Montagem (Processamento) Depois de se obter as equaes dos elementos individuais, elas devem ser colocadas juntas ou montadas, para caracterizar o comportamento unificado do sistema inteiro. O processo de montagem governado pelo conceito de continuidade. Isto , as solues de elementos contguos so combinadas, e os valores desconhecidos (algumas vezes, as derivadas) de seus comuns ns so equivalentes. Assim, a soluo total ser contnua.
18
Quando todas as verses individuais da Eq. (3.54) so, finalmente, montadas, o sistema inteiro expresso sob forma matricial, como: [ K ] { u } = { F } (3.55)
Nela, [ K ] a matriz propriedade montada e { u } e { F } so vetores colunas de valores desconhecidos dos ns e foras externas feitas com apstrofos, para denotar uma montagem dos vetores { u } e { F } dos elementos individuais. 3.3.1.4. Condies de Contorno e Iniciais (Processamento) Antes da Eq. (3.55) poder ser resolvida, deve-se modific-la, para considerar as condies iniciais e de contorno do sistema. Estes ajustes resultam em:
[k ] {u } = {F }
3.3.1.5. Soluo (Processamento)
(3.56)
Pode-se obter a soluo da Eq. (3.56), com tcnicas para a resoluo de sistemas lineares e no lineares. Em muitos casos, os elementos sero configurados, de modo que as equaes resultantes possam ser unidas, diminuindo o tamanho do sistema. Assim, o esquema de eficincia mais alto disponvel a cada sistema possvel de ser empregado. O uso de simetrias, onde uma parte do sistema igual outra, possibilita a reduo da ordem do sistema linear. 3.3.1.6 Apresentao dos Resultados (Ps-Processamento) Obtida a soluo, esta ser exibida na forma de tabelas ou grficos. Em adio, variveis secundrias sero determinadas e expressas. Apesar dos passos precedentes serem muito genricos, eles so comuns na maioria das implementaes do Mtodo dos Elementos Finitos. No item seguinte, ilustrase como eles podem ser aplicados na obteno do resultado numrico de dois sistemas fsicos simples o primeiro, molas ligadas em srie, e depois, uma haste sendo aquecida. 3.3.2. Exemplo da Temperatura de Equilbrio Nos item seguinte vai-se exemplificar o Mtodo dos Resduos Ponderados usando a Tcnica de Galerkin para um caso bidimensional. Usa-se um exemplo semelhante ao do item 3.2 do MDF. Considere uma placa quadrada fina metlica de 1 metro de comprimento, e encontre a temperatura de equilbrio (aps um tempo muito grande), segundo as equao de Laplace:
2u 2u + =0 x 2 y 2
(3.57)
19
y 1 x 0 1
Figura 3.7 Placa Quadrada do Exemplo. Condies de Contorno: u(x,0)=0oC, u(x,1)=100oC, u(0,y)=75oC e u(1,y)=50oC 3.3.3. Problema Bidimensional Este item foi extrado da referncia [54]. Embora o nmero de operaes matemticas cresa bastante, a extenso da aproximao de elementos finitos para duas dimenses , conceitualmente, similar aplicao unidimensional discutida. Assim, ela segue os mesmos passos, como mostrado no subitem 3.2.1. 3.3.3.1. Discretizao Uma variedade de simples elementos, como tringulos e quadrilteros, so usualmente empregados para fracionar os elementos finitos em duas dimenses. Na discusso presente, limitar-se- a elementos triangulares do tipo descrito na Fig. 3.8. y 3 2 1
x Figura 3.8 Um elemento triangular 3.3.3.2. Equaes dos Elementos Como no caso unidimensional, o prximo passo desenvolver uma equao para aproximar a soluo ao elemento. Em um elemento triangular, a aproximao mais simples um polinmio linear [Compare com a Eq. (3.46)]. u(x, y) = a0 + a1,1x + a1,2y (3.58)
Onde u a varivel dependente, os as representam os coeficientes, e x e y so variveis independentes. Essa funo deve passar pelos valores de u(x, y) nos ns do tringulo (x1, y1), (x2, y2), e (x3, y3). Portanto: u1(x, y) = a0 + a1,1x1 + a1,2 y1 u2(x, y) = a0 + a1,1x2 + a1,2 y2
20
As equaes (3.59) at (3.61) podem ser substitudas na Eq. (3.58). Depois de agrupar os termos, o resultado pode ser expresso como: u = N1u1 + N2u2 + N3u3 Onde:
1 [( x 2 y 3 x3 y 2 ) + ( y 2 y 3 ) x + ( x3 x 2 ) y ] 2 Ae 1 N2 = [( x3 y1 x1 y 3 ) + ( y 3 y1 ) x + ( x1 x3 ) y ] 2 Ae 1 N3 = [( x1 y 2 x 2 y1 ) + ( y1 y 2 ) x + ( x 2 x1 ) y ] 2 Ae
(3.62)
N1 =
A equao (3.62) fornece uma maneira de predizer valores intermedirios para o elemento, com base nos valores dos ns. A Figura 3.9 mostra a funo de aproximao com as correspondentes funes de interpolao. Percebe-se, que a soma das funes de interpolao sempre igual a um.
21
Figura 3.9 (a) Uma linear funo de aproximao para um elemento triangular. As correspondentes funes de interpolao so mostradas em (b) at (d). Fonte [54] Tambm no caso unidimensional, vrios mtodos so disponveis para desenvolver as equaes dos elementos, baseadas na subjacente PDE e nas funes de aproximao. As equaes resultantes so, consideravelmente, mais complicadas que as do caso unidimensional. Contudo, devido s funes de aproximao serem usualmente polinmios de mais baixa ordem, como na Eq. (3.58), os termos da matriz final do elemento consistir a polinmios de baixa ordem e constantes.
22
3.3.3.3. Ajuste timo da Funo de Aproximao O desenvolvimento foi extrado da referncia [37]. Seja em R2, espao onde se situa o maior nmero de problemas fsicos, a ortogonalidade de duas funes f e g dada por:
f .g
dv = 0
Logo, na resoluo de um problema, onde as derivadas parciais podem ser traduzidas pela pesquisa de uma funo v , tal como os operadores L sobre o domnio e B sobre a fronteira, que verifica-se: L(v) f = 0 e B(v) g =0. [37] O mtodo denominado Mtodo dos Resduos Ponderados consiste, na pesquisa de funes v , em que satisfaam a condio de contorno, ponderadas por funes u, tais que, para toda funo u que satisfaa condies de continuidade determinadas, se possa escrever:
(3.63)
Se o conjunto de funes u de dimenso infinita, ento, possvel obter uma equivalncia entre o problema, as derivadas parciais e sua formulao integral. Entretanto, nas aplicaes prticas, as funes u formam um espao de dimenso finita, e a frmula (2.63) constitui uma nica aproximao caracterizada pela funo dada e por este conjunto de funes. A vantagem do Mtodo dos Resduos Ponderados, em relao formulao variacional, poder se aplicar a qualquer equao, independentemente, da existncia e do conhecimento de uma formulao variacional do problema; por outro lado, de incio, existe um erro de mtodo caracterizado pela escolha das funes u; no entanto, este ltimo ponto de importncia secundria, pois este erro e o de aproximao se conjugam, para resultar, sob certas condies, os mesmos resultados nas duas formulaes. Tem-se, como exemplo, o problema trmico (Para o exemplo do item 3.3.2 tem-se k=1 e Q=0):
T = T0 I s
T T +Q = 0 k + k x x y y
A formulao, em termos do Mtodo dos Resduos Ponderados, consiste em escolher funes T, que verificam as condies de contorno, onde u :
u x k x + y k y + Q d = 0
T u T u T k + uQ d + ku dS = 0 + x x y y n S
Se impusermos u=0 sobre o contorno, o segundo termo desaparece e resulta a:
T u T u k Qu d = 0 + x x y y
A seqncia de funes de projeo ui tomada e as funes de aproximao i escolhida para T caracterizaro, portanto, o mtodo. [37] O princpio geral consiste em determinar os coeficientes u1, u2,..., uNN da aproximao u* , pela realizao de um certo nmero de condies a impor. Se a funo u substituda por sua aproximao u* sobre todo domnio , obtm-se:
u = ui N i
* i =1 NN
; u * = u i N ix ; u y* = u i N iy , x
i =1 i =1
NN
NN
Onde os ui so os coeficientes numricos. Como foi visto, anteriormente, so, de fato, valores de u* em cada um dos ns da discretizao. Logo, o funcional vem a ser uma funo exclusiva dos coeficientes u1, u2,..., uNN. Pode-se, ento, escrever a funo pesquisada u* aproximada pela combinao linear:
u * = A1 N 1 + A2 N 2 + ... + ANN N NN
Onde os coeficientes A1, A2,..., ANN sero determinados pelo mtodo, de forma a realizar a melhor aproximao possvel de u sobre a base de funes N1, N2,..., NNN. No Mtodo dos Elementos Finitos, o domnio de estudo discretizado em subdomnios chamados Elementos Finitos, sobre os quais, a funo procurada aproximada por um polinmio. A discretizao realizada uma partio do domnio, sem buracos nem recobrimentos. Os polinmios prprios de cada elemento devem respeitar, na fronteira, as condies de continuidade compatveis com aquelas impostas pela natureza do problema. Este vnculo permite determinar o conjunto de funes Ni, a partir das funes Ni(e) definidas sobre cada elemento. Um exemplo em R2, uma diviso em dois sub-domnios triangulares de primeira ordem, sobre os quais, a funo procurada aproximada por um polinmio de primeira ordem: P=a+bx+cy. Em cada elemento, existem trs coeficientes a determinar, e, portanto, trs monmios, perfazendo um total de seis coeficientes no conhecidos; mas as condies de continuidade sobre a aresta, que une os vrtices 2 e 3 aos seis coeficientes, restringem a 4 o nmero real de coeficientes no conhecidos. H, ento, uma funo de aproximao que afeta cada vrtice, como mostrado na Figura 3.10.
24
3 1
Figura 3.10 - Domnio a dois elementos triangulares. A escolha de cada elemento das funes de aproximao definir o seu tipo, e caracterizar, pela seqncia, a natureza das funes de aproximao. H uma ligao matemtica rigorosa entre a escolha da natureza das funes de aproximao (lineares, quadrticas, cbicas) e a forma dos elementos, sempre definidas por trechos sobre a discretizao. Na aplicao deste mtodo, preciso escolher um conjunto de funes de projeo (ou funes de ponderao) 1, 2,..., NN antes de escrever as equaes de projeo L(u*) sobre cada uma destas funes. Na tcnica de Galerkin tem-se N1=1 , N2=2 e assim por diante.[37]
NN 1 L u j N j f d = 0 j =1 NN 2 L u j N j f d = 0 j =1 ... NN NN L u j N j f d = 0 j =1
(3.64)
Obtm-se, de novo, um sistema de NN equaes algbricas a resolver para se encontrar as NN incgnitas u1, u2,..., uNN. Observaes Importantes: A aplicao do mtodo dos elementos finitos conduz substituio de uma equao ou sistema de equaes a derivadas parciais por um sistema de equaes algbricos, contento coeficientes da funo de aproximao, que so, na realidade, os valores das funes de aproximao nos ns do domnio discretizado. Como no Mtodo dos Resduos Ponderados as funes de ponderao so idnticas s funes de aproximao, o sistema de equaes obtido idntico quele obtido pela formulao variacional. Se o operador L linear, ento a funcional quadrtica, implicando na linearidade do sistema de equaes algbricas obtido. Da mesma forma, no Mtodo dos Resduos Ponderados, a linearidade de L implica na linearidade das equaes (3.64), pois, em cada uma delas, os coeficientes ui podem ser colocadas em evidncia na integral.
25
NN NN i L u j N j f d = u j j =1 i =1
( L(N ) d) fd
j i
3.3.3.4. Condies de Contorno e Montagem A incorporao das condies de contorno e a montagem do sistema matricial tambm se tornam mais complicados, quando a tcnica dos elementos finitos aplicada em problemas de duas ou trs dimenses. Contudo, como na derivao da matriz elemento, as dificuldades relativas ao mecanismo dos processos so maiores do que a complexidade conceitual. Por exemplo, o estabelecimento da topologia do sistema, o qual era trivial para o caso de uma dimenso, torna-se um problema de grande importncia em duas ou trs dimenses. Em particular, a escolha do esquema de numerao ir ditar a estrutura do sistema matricial resultante e, portanto, a eficincia com a qual ele pode ser resolvido. A Figura 3.11 mostra um esquema desenvolvido para uma placa plana em equilbrio trmico, solucionada por meio do mtodo dos elementos finitos.
100 oC
75 oC
50 oC X
O oC
Figura 3.11 - Um esquema de numerao dos ns e elementos para uma aproximao por elementos finitos, para uma placa plana em equilbrio trmico. [54] Logo para o exemplo tem-se:
2T 2T R = + x 2 y 2
Integrando pelo Mtodo dos Resduos ponderados e associado tcnica de Galerkin, tem-se:
2T 2T N i x 2 + y 2 d = 0
26
onde Ni so as funes de teste no caso as funes de Lagrange N1, N2 e N3 da funo de aproximao T = T1 . N1 + T2 . N2 + T3 . N3. Aps uma integrao por partes (Teorema de Green), obtm-se:
T N i T N i + x y y
T d = N i dS n S
para cada elemento triangular. O termo do lado direito representa o fluxo sobre o contorno do elemento triangular (Percorrendo no sentido anti-horrio). Assim para um elemento genrico 1,2 e 3 pode-se escrever:
Ni
S
) (
) (
Pode-se aplicar as equaes acima em cada elemento da malha: Para o Elemento (1) tem-se: N 7 (0,25;0,25)
N 1 (0;0)
N 2 (0,25;0)
Figura 3.12 Elemento 1 da Malha com as coordenadas (x,y) de cada n. Para i=1:
0 , 25 x
x
0
T N 1 T N 1 T dydx = N 1 dS + y y n x 0 S
Substituindo a integral do lado direito pelo fluxo em cada lado do triangulo e lembrando que N1 zero para o lado oposto ao vrtice 1 (F27=0) tem-se:
0 , 25 x
x
0
(3.65)
27
0 , 25 x
ou
x
0
T N 2 T N 2 + y y x 0
ou
(3.67)
As equaes de (3.65) at (3.67) formam as equaes elemento para o primeiro triangulo. De maneira similar para o segundo elemento tem-se:
0,5T1 0,5T6 = F17 + F61 0,5T6 0,5T7 = F61 + F76 0,5T + 0,5T = F + F 6 7 76 17
Cada equao acima foi obtida para N1, N2 e N3, respectivamente. Deve notar que F71=-F17 ou seja o fluxo que sai do elemento 1 e vai para o elemento 2 atravs do lado modal 17 o mesmo que sai do elemento 2 e vai para o elemento 1 s que com sentido oposto. Isso fundamental na fase de montagem onde os termos de fluxo interno na placa iro se anular. Vai-se procedendo assim para os 32 elementos da malha do exemplo. Para os tringulos inferiores (Elementos impares 1,3,5,7...31) tem-se:
0,5T1 0,5T2 = F12 + F31 0,5T1 + 0,5T3 = F12 + F23 0,5T + 0,5T = F + F 2 3 31 23
Para os tringulos superiores (Elementos pares 2,4,6,8...32) tem-se:
0,5T1 0,5T2 = F13 + F21 0,5T2 0,5T3 = F21 + F32 0,5T + 0,5T = F + F 2 3 32 13
Montando as equaes elementos tem-se 25 equaes e 41 incgnitas, das quais 25 so de T1, T2,..., T25 mais 16 correspondente ao fluxo em cada lado externo dos elemento (F12, F23, F34, F45, F5,10 .... F61).
28
T1 + 0,5T2 T7 + 0,5T8 = F12 + F16; 0,5T1 + T2 0,5T4 + 0,5T8 = F23; 0,5T2 + T3 0,5T4 0,5T9 = F34 ; 0,5T3 + T4 0,5T5 + 0,5T9 + T10 = F45 + F5,10 ; 0,5T4 + T5 0,5T10 0,5T9 = F5,10; 0,5T1 + T6 T7 + 0,5T12 = F16; 0,5T2 + 0,5T3 T7 + 0,5T8 0,5T12 0,5T13 = 0; 0,5T 0,5T 1,5T + T 0,5T 0,5T = 0; 2 3 7 8 13 14 0,5T3 0,5T4 1,5T8 + T9 0,5T15 0,5T15 = 0; 0,5T + T 0,5T + 0,5T = F + F ; 9 10 14 15 5,10 10,15 0,5T6 + T11 0,5T12 + 0,5T17 = F6,11 + F11,16; 0,5T6 0,5T7 +1,5T12 + 0,5T13 0,5T17 0,5T18 = 0; 0,5T7 0,5T8 + T13 + 0,5T14 0,5T15 0,5T19 = 0;
0,5T9 0,5T10 T14 + 0,5T18 0,5T19 = 0; 0,5T9 0,5T10 + T15 + 0,5T20 = F5,10 + F15,20; 0,5T11 + 0,5T12 T16 + 0,5T21 = F11,16 + F16,21; 0,5T12 + 0,5T13 T17 + 0,5T22 + T23 = 0; 0,5T21 + 0,5T13 T18 + 0,5T23 0,5T24 = 0; 0,5T14 + 0,5T15 + T19 + 0,5T25 = F20,25 + F25,24; 0,5T14 + 0,5T15 T20 + 0,5T25 = F20,25 + F15,20; 0,5T16 + 0,5T17 + T21 + 0,5T22 = F16,21 + F21,22; 0,5T16 + 0,5T17 T22 + 0,5T23 = F21,22 + F22,23; 0,5T17 + 0,5T18 + T23 + 0,5T24 = F22,23; 0,5T18 + 0,5T19 + T24 + 0,5T25 = F23,24; 0,5T19 + 0,5T20 0,5T24 + T25 = F24,25 + F20,25;
T1 = 0; T2 = 0; T3 = 0; T4 = 0; T5 = 0; T6 = 75; T11 = 75; T16 = 75; T10 = 50; T15 = 50; T20 = 50; T21 = 100; T22 = 100; T23 = 100; T24 = 100; T25 = 100;
Resolvendo o sistema final de 25 equaes e 25 incgnitas tem-se :
T17 = 78,57 T18 = 76,12 T19 = 69,64 T12 = 63,17 T13 = 56,25 T14 = 52,46 T = 42,86 T = 33,26 T = 33,93 8 9 7
Soluo para as temperaturas internas na placas em equilbrio trmico. As outras incgnitas tem um interesse menor pois so o fluxo nas bordas da placa.
29
3.3.3.5. Soluo e Apresentao do Resultado (Pos-Processamento) Embora o mecanismo seja complicado, o sistema matricial meramente um conjunto de n equaes simultneas, que pode ser solucionada, para se encontrar os valores das variveis dependente nos n ns. A Figura 3.13 mostra uma soluo possvel, no caso de uma placa em equilbrio trmico.
Figura 3.13 - A distribuio da temperatura de uma placa em equilbrio trmico, sendo calculada por meio do Mtodo dos Elementos Finitos. [54] 3.3.3.6. Comparao com a Soluo pelo MDF Mesmo neste exemplo com meio homogneo e geometria simples, nota-se uma vantagem no MEF, pois no se obrigado a usar malhas retangulares de mesmo tamanho como no MDF. Em outros problemas com meios no homogneos, geometrias complexas e parmetros no lineares as vantagens do MEF aumentam bastante. O que torna o MEF um mtodo bem mais amplo e com uma aplicabilidade prtica muito maior que o MDF. Assim o aumento na complexidade matemtica dos elementos finitos compensada por sua portabilidade e eficincia na soluo de equaes diferenciais parciais encontradas na engenharia. Por esta razo o MEF o mtodo mais comumente implementado pelas ferramentas de CAE e para muitos autores a base da Engenharia Assistida por Computador.
30
Figura A.1 (a) Uma srie de molas interconectadas. Uma extremidade fixada na parede, enquanto a outra submetida a uma fora constante F. (b) Representao em elementos finitos. Cada mola representada por um elemento. Portanto, o sistema consiste de quatro elementos e cinco ns. [54] Descrio do problema: a figura A.1 mostra uma srie de molas Interconectadas. Uma extremidade fixada a uma parede, enquanto a outra sujeita a uma fora constante F. Usando, passo a passo, os procedimentos do Mtodo dos Elementos Finitos, determina-se o deslocamento das molas. Soluo Discretizao: o modo de particionar esse sistema , obviamente, tratar cada mola como um elemento. Assim, o sistema consiste de quatro elementos e cinco ns (Fig. A.1b). Equaes dos Elementos: como este sistema muito simples, suas equaes dos elementos podem ser escritas diretamente, sem o recurso da aproximao matemtica. Este um exemplo de aproximao direta para os elementos derivados.
31
Figura A.2 - Um diagrama de corpo livre de um sistema de molas. [54] A Figura A.2 mostra um elemento individual. O relacionamento entre a fora F e o deslocamento x pode ser representado, matematicamente, pela lei de Hooke: F=kx Onde, k representa a constante da mola, a qual pode ser interpretada como a fora requerida para causar uma unidade de deslocamento. Se uma fora F1 aplicada no n 1, o seguinte balano de fora (reao) deve segurar: F = k (x1 x2) Onde, x1 deslocamento do n um da sua posio de equilbrio; e x2 o deslocamento do n dois da sua posio de equilbrio. Assim, x2 x1 representa o quanto a mola alongada ou comprimida e relativa ao equilbrio (Fig. A.2). Essa equao pode tambm ser escrita como: F1 = k x1 k x2 Para um sistema estacionrio, um balano de foras tambm necessita que F1=F2 e, portanto: F2 = -k x1 + k x2 Estas duas simultneas equaes especificam o comportamento do elemento em resposta s foras aplicadas. Podem ser escritas numa forma matricial, como:
k k
k x1 F1 = k x 2 F2
Ou ento:
[k]{x}={F}, Onde a matriz [ k ] a matriz propriedade do elemento. Neste caso, tambm referenciada com a matriz rigidez do elemento. Note-se, que esta ltima equao tem sido
32
moldada no formato da Eq. (3.54). Assim, obteve-se sucesso na gerao de uma equao matricial, que descreve o comportamento de um elemento tpico no sistema. Antes de proceder para o prximo passo, montagem da soluo total, introduzir-se alguma notao. Os elementos [ k ] e { F } so convencionalmente colocados sobreescrito e subescrito, como em:
(e k11 ) ( e) k 21 (e k12 ) x1 F1( e ) , = (e k 22) x 2 F2( e )
Onde, o sobreescrito (e) designa que estas so equaes elemento; os k s so tambm colocados subescritos, e kij denota sua localizao na linha i e coluna j da matriz. Para o presente caso, elas so tambm fisicamente interpretadas como representando a fora requerida no n i, para induzir uma unidade de deslocamento no n j. Montagem Antes das equaes elementos serem montadas, todos os elementos e ns devem ser numerados. Esse esquema global de numerao especifica a configurao ou topologia do sistema (o presente caso usa um esquema idntico ao da tabela A.1). Ou seja, mostra-se o n que pertence a cada elemento. Uma vez que a topologia especificada, as equaes, para cada elemento, podem ser escritas com referncia s coordenadas globais. As equaes elementos podem ento ser adicionadas, uma de cada vez, para montar o sistema total. O resultado final pode ser expresso na forma matricial como [lembrando Eq. (3.55)]: [ K ] { x } = { F } Onde:
(1 k11) (1) k 21 [K ] = (1 k12) (1 (2 k 22) + k11 ) (2 k 21 )
k (3 k + k11 ) (3 k 21)
(2) 12 ( 2) 22
( 4) k12 (4 k 22 )
F1(1) 0 {F } = 0 0 F2( 4)
E { x } e { F } so os vetores deslocamento e fora expandida. Quanto s
33
equaes que foram montadas, as foras internas se cancelaram. Assim, o resultado final para { F } zero, em todas as linhas, exceto no primeiro e ltimo n. Antes de proceder o prximo passo, deve-se comentar a estrutura da matriz propriedade montada. Ela tridiagonal. Isso um resultado direto do esquema particular de numerao escolhido (Tabela A.1) antes da montagem. Embora no seja muito importante no contexto presente, com a realizao de tal unio, sistemas esparsos podem ser uma vantagem na colocao de problemas mais complicados. Isso devido a esquemas eficientes disponveis para a resoluo de tal sistema. Condies de Contorno O sistema presente sujeito a simples condies de contorno e x1=0. Introduzindo essas condies, e aplicando o esquema de remunerao, reduz-se o sistema para (ks=1):
2 1 x2 0 1 2 1 x 0 3 = 1 2 1 x 4 0 1 1 x5 F
O sistema est agora na forma da Eq. (3.56), e est pronto para ser resolvido. Embora a reduo das equaes , certamente, uma valiosa aproximao incorporada nas condies de contorno, usualmente, prefere-se deixar o nmero de equaes intactas, quando a soluo realizada por computador. Neste caso, temos de F1 = -F (reao de F da parede) e x1=0. Assim fica o sistema:
1 1 x1 F 1 2 1 x 0 2 x3 = 0 1 2 1 1 2 1 x 4 0 1 1 x5 F
Uma vez incorporadas as condies de contorno, muda-se ao prximo passo: a soluo. Gerando a Soluo Resolvendo o sistema linear com uma das tcnicas numricas, onde todos os ks = 1 e F = 1, temos: X1 = 0, x2 = 1, x3 = 2, x4 = 3 e x5 = 4. Apresentao dos Resultados (Ps-processamentos) O resultado pode agora ser desenhado graficamente. Na Figura A.3, os resultados esto como esperados. Cada mola alongada uma unidade de deslocamento.
34
Figura A.3 (a) O diagrama do sistema original. (b) O sistema depois da aplicao da fora constante. Os deslocamentos so indicados no espao entre os dois sistemas. [54]
d 2T = f ( x) dx 2
(A.1)
Onde, f(x) uma funo que define a fonte de calor ao longo da haste, e onde, as pontas da haste, so mantidas numa temperatura fixa T(0, t) = T1 e T(L, t) = T2. Essa no uma equao diferencial parcial, mas uma equao diferencial ordinria com condies de contorno. Esse modelo simples usado, porque ele permitir introduzir a aproximao por elementos finitos, sem algumas das complicaes, como por exemplo, um PDE de duas dimenses.
Figura A.4 (a) Uma longa e fina haste sujeita a fixas condies de contorno e a uma contnua fonte de calor ao longo do seu eixo. (b) A representao de elementos finitos consistindo de quatro elementos de igual comprimento e cinco ns.[54] Exemplo: soluo analtica para uma haste sendo aquecida. Descrio do Problema Resolver a Eq. (A.1) para uma haste de 10 cm, com as seguintes condies de contorno: T(0, t) = 40 oC e T(10, t) = 200 oC e uma fonte de calor
35
d 2T = 10 dx 2
Assume-se uma soluo na forma: T = a x2 + b x + c Ela diferenciada duas vezes, resultando T = 2 a. Substituindo este na equao diferencial, temos: a = -5. As condies de contorno so usadas para avaliar os coeficientes restantes. Da primeira condio, para x=0: 40 = -5 (0)2 + b(0) + c ou c = 40. Similarmente, para a segunda condio: 200 = -5(10)2 + b(10) + 40 A qual solucionada dando b = 66. Portanto, a soluo final : T = -5 x2 + 66 x + 40 O resultado mostrado na figura A.5 Temperatura da Haste
280 240 T (Graus Celsus) 200 160 120 80 40 0 x 5 x (cm)
Figura A.5 - Distribuio de temperatura ao longo de uma haste aquecida por uma fonte uniforme de calor e mantida fixa a temperatura nos extremos da haste.
36
A.3. Discretizao
Uma configurao simples modeladora do sistema uma srie de elementos de igual comprimento (Fig. A.4b). Assim, o sistema tratado com quatro elementos de igual comprimento e cinco ns.
(A.2)
Onde N1 e N2 so funes lineares de interpolao especificadas pelas Eq. (3.48) e (3.49), respectivamente. Assim, como descrito na Fig. A.6b, a funo de aproximao uma interpolao linear entre as duas temperaturas dos ns.
N 1 (a) N 2
~ T
T1
T2
x1
(b)
x2
Figura A.6 (a) Um elemento individual (b). A funo aproximao usada para caracterizar a distribuio de temperatura ao longo do elemento.
37
Nesta equao, q fluxo [cal/(cm2. s)] e k o coeficiente de condutividade trmica [cal/(s.cm.oC)]. Se uma funo linear de aproximao usada na caracterizao da temperatura do elemento, o fluxo de calor para o elemento, atravs do n 1, representado por:
q1 = k
T1 T2 x 2 x1
Onde q1 o fluxo de calor no n 1. Similarmente, com o n 2:
q2 = k
T2 T1 x 2 x1
Estas duas equaes expressam o relacionamento da distribuio da temperatura interna do elemento (refletido pelas temperaturas dos ns) e o fluxo de calor nas suas extremidades. Assim, elas constituem as equaes dos elementos desejadas, e sero simplificadas pelo reconhecimento da lei de Fourier, como til para moldar o fluxo terminal em termos do gradiente de temperatura na fronteira. Ou seja:
q1 = k dT ( x1 ) dx q 2 = k dT ( x 2 ) dx
(A.3)
A Eq. (A.3) moldada no formato da Eq. (3.54). Assim, obteve-se sucesso na gerao da equao matricial onde o comportamento de um elemento tpico no sistema descrito. Outra forma de se chegar s mesmas equaes elementos anteriores, a partir da seguinte idia : Se T(x)=0 ento T(x)= constante. Assim, pode-se ter:
dT T2 T1 = dx x 2 x1
Aplicando (A.4) aos ns 1 e 2, tem-se:
(A.4)
38
dT ( x1 ) T2 T1 dx = x x 2 1 dT ( x 2 ) T2 T1 = x 2 x1 dx
dT ( x1 ) 1 (T1 T2 ) = ( x 2 x1 ) dx
n 1
(A.5)
dT ( x 2 ) 1 (T1 + T2 ) = n 2 ( x 2 x1 ) dx
(A.6)
39
0 0 0 T1 dT ( x1 ) dx 0 0 0 T2 dT ( x 2 ) dx 0 0 0 0 = 0 0 0 0 0 0 0 0 0 0 0
dT ( x1 ) 0 0 T1 dx 0 0 T2 dT ( x 2 ) dT ( x 2 ) dx dx 0 0 T3 = dT ( x 3 ) 0+ dx 0 0 0 0 0 0 0 0 0 0 0 T1 dT ( x1 ) 0,4 0,4 dx 0,4 0,8 0,4 0 0 T2 0 dT ( x3 ) dT ( x3 ) (c ) 0 0,4 0,4 + 0,4 0 0,4 0 T3 = dx dx dT ( x 4 ) 0 0 0,4 0 + 0,4 0 T4 0 0+ dx 0 0 0 0 0 0 0 dT ( x1 ) 0 0 0 T1 0,4 0,4 dx 0,4 0,8 0,4 0 0 0 T2 0 (d ) 0 0,4 0,8 0,4 0 T3 = dT ( x 4 ) dT ( x 4 ) 0,4 0,4 + 0,4 0 0,4 T4 0 0 dx dx T5 0 dT ( x 5 ) 0 0 0 0,4 0 + 0,4 0+ dx 0 0 0 T1 dT ( x1 ) 0,4 0,4 dx 0,4 0,8 0,4 0 0 T2 0 (e ) 0 0,4 0,8 0,4 0 T3 = 0 0,4 0,8 0,4 T4 0 0 0 0 0,4 0,4 T5 dT ( x 5 ) 0 0 dx Figura A.7 - A montagem das equaes no sistema total para a aproximao direta. 0,4 0 0,4 0,4 0,4 + 0,4 0 0,4 (b ) 0 0 0,4 0 + 0,4 0 0 0 0 0 0
40
dT ( x5 )
= = = = dx
(A.7)
= (0,4 x 200)
dT ( x5 )
= 16 = 16 0 = = 80 dx = 80
(A.8)
dT ( x1 ) = 16 dx T4 = 260,00
T2 = 80,00 dT ( x5 ) = 16 dx
T3 = 120,00
(A.9)
A aproximao tem grande apelo intuitivo. Adicionalmente, em reas como mecnica, ela empregada na soluo, para resolver problemas significativos. Contudo, em outros contextos, freqentemente difcil ou impossvel obter, diretamente, as equaes dos elementos finitos. Conseqentemente, como descrito, a seguir, tcnicas matemticas mais gerais so disponveis.
d 2T 0 = 2 + f ( x) dx
A funo aproximao [Eq. (A.2)] substituda nesta equao. Em razo da Eq. (A.2) no ser a soluo exata, o lado direito da equao resultante no ser zero, mas um resduo:
~ d 2T R= + f ( x) dx 2
(A.10)
O mtodo dos resduos ponderados (do ingls, Method of Weighted Residuals MWR) consiste em calcular um mnimo para o resduo, de acordo com a frmula geral:
41
RW dD = 0
i
i = 1, 2, ..., m
(A.11)
onde D o domnio soluo e W i representam funes teste ou peso linearmente independente. Essa aproximao advm do fato de que, se a Eq. (A.11) verdadeira, se R igual a zero e W i, ela uma funo contnua qualquer. Nela, a integral usada para diminuir a ordem da equao diferencial de segunda para primeira derivada. Neste ponto, h uma variedade de escolhas para as funes teste. Cada qual representa uma aproximao alternativa para o MWR. (Seo A.7). A aproximao mais rotineira no Mtodo dos Elementos Finitos empregar as funes de interpolao Ni como funes de teste. Quando so substitudas na Eq. (A.11), o resultado referenciado como Mtodo de Galerkin, onde:
RN dD = 0
i
i = 1, 2, ..., m
x2
x1
~ d 2T 2 + f ( x)N i dx dx
i = 1, 2 ,
~ x2 d 2T 2 N i ( x)dx = x f ( x) N i ( x)dx x1 dx 1
i = 1, 2
(A.12)
A partir de ento, manipulaes matemticas sero aplicadas, simplificando e avaliando a Eq. (A.12). Entre as mais importantes, est a simplificao do lado esquerdo, utilizando a integrao por partes, relembrando o clculo onde esta operao expressa, geralmente, como:
udv = uv a vdu
a a
Se u e v so escolhidos apropriadamente, a nova integral, no lado direito, ser melhor avaliada que a original, no lado esquerdo. Isso pode ser feito para o termo do lado esquerdo da Eq. (A.12), pela escolha de Ni (x) como u e (d2T/dx2) dx como dv. Tem-se, ento:
x2
x1
N i ( x)
~ ~ ~ x d 2T dT x 2 2 dT dN i dx = N i ( x) dx dx x1 x1 dx dx dx 2
i = 1, 2
(A.13)
Assim, tem-se um significante passo de reduo no termo de maior ordem na formulao da derivada segunda para a primeira. Em seguida, avalia-se os termos
42
individuais criados na Eq. (A.13). Para i=1, o primeiro termo, no lado direito, da Eq. (A.13), avaliado como:
~ ~ ~ dT ( x 2 ) dT ( x1 ) dT x 2 N 1 ( x) = N1 ( x2 ) N 1 ( x1 ) dx x1 dx dx
Contudo, lembrando da Fig. 3.6, na qual N1(x2)=0 e N1(x1)=1:
N1 ( x)
~ ~ dT ( x1 ) dT x 2 = dx x1 dx
Similarmente, para i=2:
(A.14)
~ ~ dT x 2 dT ( x 2 ) N 2 ( x) = dx x1 dx
(A.15)
Portanto, o primeiro termo do lado direito, da Eq. (A.13), representa as condies de contorno naturais nas extremidades dos elementos. Antes de prosseguir, agrupa-se a Eq. (A.13), substituindo o resultado anterior na equao original. Transpondo a Eq. (A.13), atravs da (A.15), na Eq. (A.12), e arranjandoas para i=1, tem-se:
x2
~ ~ x dT ( x1 ) 2 dT dN 1 dx = + f ( x) N 1 ( x)dx dx dx dx x1 x1
E para i=2:
(A.16)
x2
~ ~ x dT ( x 2 ) 2 dT dN 2 dx dx dx = dx + x f ( x) N 2 ( x)dx x1 1
(A.17)
A integrao por partes tem conduzido a dois importantes resultados. Primeiro, ela tem incorporado as condies de contorno diretamente dentro das equaes dos elementos, e por ltimo, reduzido a alta ordem, passando da segunda para a primeira derivada. Isso significa, que o resultado da funo de aproximao precisa preservar a continuidade dos valores, mas no a inclinao nos ns. Agora comea-se a atribuir algumas significncias fsicas para os termos individuais j obtidos. Ao lado direito de cada equao, o primeiro termo representa uma das condies de contorno dos elementos, e o segundo, o efeito da funo de foras externas do sistema, no presente caso, a fonte de calor f(x). Como se torna evidente, o lado esquerdo engloba o mecanismo interno, que governa a distribuio de temperatura do elemento. Isto , em termos do Mtodo de Elementos Finitos, o lado esquerdo se tornar a matriz propriedade do elemento. Para demonstrar melhor isso, concentra-se nos termos do lado esquerdo. Assim, para i=1, o termo :
43
x2
~ dT dN 1 dx dx dx x1
(A.18)
Lembrando do subitem 3.1.3, a natureza linear da funo de aproximao torna simples a diferenciao e a integrao. Substituindo a Eq. (3.51) e (3.52), na Eq. (A.18), tem-se:
x2
x1
(x
T1 T2 1 dx = (T1 T2 ) 2 x 2 x1 2 x1 )
Similar substituio para i=2 [Eq. (A.17)], conduz a:
(A.19)
x2
x1
(x
T1 + T2 1 dx = (T1 + T2 ) 2 x 2 x1 2 x1 )
(A.20)
Comparando com a Eq. (A.3), estas so similares nos relacionamentos desenvolvidos com o mtodo direto, usando a lei de Fourier. Isso se torna bem claro, com a reescrita das Eq. (A.19) e (A.20), na forma matricial como:
1 1 1 T1 x 2 x1 1 1 T2
Substituindo esse resultado nas Eq. (A.16) e (A.17), e expressando-o na forma matricial, obtm-se a verso final das equaes elementos:
x2 dT ( x1 ) f ( x) N 1 ( x)dx dx x1 1 1 1 1 1 {T } = dT ( x ) + x2 x 2 x1 2 f ( x) N ( x)dx "" ""! " " 2 "dx"! Matrix rigitez do Elemento [k] x1"" "" ! " " Condies de Contorno
Efeitos Externos
(A.21)
Alm do mtodo direto e dos resduos ponderados, as equaes elementos tambm so derivadas, usando o clculo variacional. Para o presente caso, essas aproximaes condizem a equaes idnticas para ambas derivaes. Exemplo: Equaes Elemento para uma Haste Aquecida Descrio do Problema - Empregando a Eq. (A.21), desenvolver as equaes elementos para uma haste de 10 cm com condies de contorno de T(0, t)=40 e T(10, t)=200, alm de, uma uniforme fonte de calor de f(x)=10. Usar quatro elementos de igual tamanho, com comprimento =2,5cm. Soluo - O termo da fonte de calor, na primeira linha da Eq. (A.21), avaliada pela substituio da Eq. (3.48). Integrando, temos:
44
2, 5
10
0
Similarmente, a Eq. (3.49) substituda dentro do termo da fonte de calor da segunda linha da Eq. (A.21), qual pode, tambm, ser integrada, conduzindo a:
2, 5
10
0
x0 dx = 12,5 2,5
Este resultado, com valores de outros parmetros, pode ser substitudo na Eq. (A.21), para resultar em :
0,4T1 0,4T2 = dT ( x1 ) + 12,5 dx dT ( x 2 ) + 12,5 dx
e
0,4T1 + 0,4T2 =
45
Mtodos dos
Vrias escolhas podem ser feitas nas funes teste da Eq. (A.11). Cada uma representa uma aproximao alternativa para o MWR. Na aproximao colocacional, escolhe-se tantas posies quantas so os coeficientes desconhecidos. Ento, os coeficientes so ajustados at o resduo desaparecer em cada uma dessas posies. Conseqentemente, a funo de aproximao conduzir a resultados perfeitos para as posies escolhidas, mas tero um resduo diferente de zero em outras partes. Assim, ele um poderoso mtodo de interpolao. Quantidades colocacionais usam a seguinte funo teste:
Wi = ( x xi )
para i = 1,2,..., n
Onde n nmero de coeficientes desconhecidos e (x-xi) a funo do delta de Dirac, que vale zero em toda parte, exceto em x=xi , onde igual a 1. No mtodo de subdomnios, o intervalo dividido em muitos segmentos ou subdomnios, onde h coeficientes desconhecidos. Ento, estes so ajustados at o valor mdio do resduo ser zero em cada um deles. Assim, para cada subdomnio, a funo teste igual a 1 e a Eq. (3.66) :
xi
xi 1
Rdx = 0
para i = 1,2,..., n
Onde xi-1 e xi so as extremidades do subdomnio. Para o caso dos mnimos quadrados, os coeficientes so ajustados para minimizar a integral do quadrado do resduo. Assim, as funes peso so:
Wi = R ai
R a dD = 0
i
i = 1,2,..., n
Ou
2 R dD = 0 a i D i = 1,2,..., n
Observando esta formulao, conclui-se tratar de uma forma contnua de regresso. O mtodo de Galerkin emprega as funes de interpolao Ni como funes de
46
teste, lembrando terem essas funes sempre a soma igual a 1. em qualquer posio em um elemento. Em muitos problemas de contexto, o mtodo de Galerkin conduz aos mesmos resultados obtidos por meio do mtodo variacional. Conseqentemente, o mais empregado das verses do MWR, usando a anlise de elementos finitos.
A.8. Montagem
Antes das equaes elementos serem montadas, um esquema global de numerao deve ser estabelecido para especificar a topologia do sistema ou seu esquema espacial. A Tabela A.1 define as conectividades entre os elementos. Devido ao presente caso ser unidimensional, o esquema de numerao parece to simples que o torna trivial. Contudo, para problemas de duas ou trs dimenses, ele serve, freqentemente, somente para especificar qual n pertence a cada elemento. Tabela A.1 A topologia do sistema para o esquema de segmentao de elementos finitos da Fig. A.4b. Elemento Nmero dos Ns Local Global 1 1 1 2 2 2 1 2 2 3 3 1 3 2 4 4 1 4 2 5 Uma vez a topologia especificada, as equaes dos elementos Eq. (A.21) podem ser escritas para cada elemento, usando as coordenadas globais. Ento, adicionando um de cada vez, montando a matriz do sistema total, como descrito na Fig. A.8.
47
0 0 0 T1 dT ( x1 ) + 12,5 dx 0 0 0 T2 dT ( x 2 ) + 12,5 dx 0 0 0 0 = 0 0 0 0 0 0 0 0 0 0 0
dT ( x1 ) + 12,5 0 0 T1 dx 0 0 T2 dT ( x 2 ) + 12,5 dT ( x 2 ) + 12,5 dx dx 0 0 T3 = dT ( x 3 ) + 12,5 0+ dx 0 0 0 0 0 0 0 0 0 0 0 T1 dT ( x1 ) + 12,5 0,4 0,4 dx 0,4 0,8 0,4 0 0 T2 25 dT ( x 3 ) dT ( x 3 ) (c ) 0 0,4 0,4 + 0,4 0 0,4 0 T3 = + 12,5 + 12,5 dx dx dT ( x 4 ) 0 0 0,4 0 + 0,4 0 T4 0 + 12,5 0+ dx 0 0 0 0 0 0 0 dT ( x1 ) + 12,5 0 0 0 T1 0,4 0,4 dx 0,4 0,8 0,4 25 0 0 T2 25 (d ) 0 0,4 0,8 0,4 0 T3 = dT ( x 4 ) + 12,5 dT ( x 4 ) + 12,5 0,4 0,4 + 0,4 0 0,4 T4 0 0 dx dx dT ( x 5 ) T5 0 0 0 0 0,4 0 + 0,4 + 12,5 0+ dx 0 0 0 T1 dT ( x1 ) + 12,5 0,4 0,4 dx 0,4 0,8 0,4 0 0 T2 25 (e ) 0 0,4 0,8 0,4 0 T3 = 25 0,4 0,8 0,4 T4 0 0 25 0 0,4 0,4 T5 dT ( x 5 ) + 12,5 0 0 dx Figura A.8 A montagem das equaes no sistema total. 0,4 0 0,4 0,4 0,4 + 0,4 0 0,4 (b ) 0 0 0,4 0 + 0,4 0 0 0 0 0 0
48
dT ( x5 )
= = = = dx
3,5 41 25 105
(A.22)
= 67,5
A.10. Soluo
A Eq. (A.22) pode ser solucionada, onde se conclui:
dT ( x1 ) = 66 dx T4 = 253,75
T2 = 173,75 dT ( x5 ) = 34 dx
T3 = 245
Figura A.9 Resultados da aplicao do mtodo de elementos finitos para uma barra aquecida. A soluo exata tambm mostrada.
49
c) Magnetosttica. Nos dois primeiros casos, o campo eltrico age em meios lineares, isto , as permissividades ou condutividades presentes no so afetadas pela intensidade do campo eltrico, ao passo que, na Magnetosttica, a presena de meios ferromagnticos introduzem uma no linearidade, que deve ser considerada. [39,75]
B.2. Eletrosttica
A aplicao do Mtodo dos Elementos Finitos na eletrosttica baseada na Quarta equao de Maxwell ( Lei de Gauss da Eletrosttica):
D.dS = Q
S
(B.1)
Onde: D o Vetor Deslocamento (C/m3) Qi a quantidade total de Cargas Eltricas envolvidas pela superfcie fechada S. O vetor deslocamento D e o vetor campo eltrico E esto relacionados atravs da relao constitutiva: D=E, onde a permissividade eltrica do meio, que na maioria das aplicaes pode ser admitida constante. O vetor campo eltrico E e a funo potencial so associados atravs da relao : E=-V Chegando-se ao elemento triangular genrico de um domnio discretizado, sejam V1 , V2 e V3 os potenciais eltricos dos vrtices 1, 2 e 3 (numerao local) do elemento. Face ao fato, de que a funo potencial contnua, pode-se calcular o potencial eltrico num ponto R qualquer no interior do elemento, atravs de uma interpolao linear dos potenciais de seus vrtices. Assim sendo, o potencial do ponto R poder ser expresso por uma funo linear do tipo: V(x,y) = 1 + 2 x + 3 y Onde os coeficientes 1, 2 e 3 so funes de V1, V2 e V3. Para determin-los, basta aplicar a Eq. B.2 aos vrtices do elemento considerado, resultando o sistema de equaes seguinte: Vi = 1 + 2 xi + 3 yi , i=1,2,3 (B.3) (B.2)
1=(1/2)(a1 V1+a2 V2+a3 V3) 2=(1/2)(b1 V1+b2 V2+b3 V3) 3=(1/2)(c1 V1+c2 V2+c3 V3)
(B.4)
51
Onde: a1=x2 y3 x3 y2; b1=y2 y3; c1=x3 x2; e =(b1 c2 b2 c1)/2, os demais coeficientes a, b e c so obtidos por rotao cclica dos seus ndices, e a rea do elemento. Substituindo-se B.4 por B.2, obtm-se a expresso do potencial, num ponto qualquer no interior do elemento, por meio de uma interpolao linear dos potenciais em seus vrtices, como segue: V(x,y)=N1 V1 + N2 V2 + N3 V3 Onde: Ni = (1/2)(ai + bi x + ci y) i=1,2,3 (B.5)
As funes Ni, denominadas funes de forma do elemento, observam a seguinte propriedade: Ni (x,y) = ij Onde ij o smbolo de Kronecker, e tal, que: 1, ij = 0, (B.6)
se i = j se i j
Observa-se que os erros desta aproximao sero menores, na medida em que so reduzidas as dimenses do elemento, de modo que a discretizao exerce um papel fundamental na qualidade dos resultados, e exige uma soluo de compromisso entre a quantidade de elementos, a capacidade do sistema computacional utilizado e a preciso requerida. Desta forma, o algoritmo de gerao automtica de elementos deve contemplar, com alguma interao com o usurio, a possibilidade de discretizar o domnio em estudo, respeitando no s sua geometria, como tambm, as caractersticas do fenmeno fsico.
52
Figura B.1 Apresenta uma interpretao geomtrica para esta aproximao. Fonte [39] Lembrando que E=-V, podemos escrever para cada componente: Ex = -V/x = -(1/2) (b1 V1 + b2 V2 + b3 V3) Ey = -V/y = -(1/2) (c1 V1 + c2 V2 + c3 V3) (B.7)
53
Figura B.2 Regies de Controle envolvendo os ns. [39] A anlise das expresses B.7 mostra, como era de se esperar, que o campo eltrico, no interior do elemento, resulta constante, no caso da aproximao linear da funo potencial. A aplicao da quarta equao de Maxwell (B.1) a superfcies fechadas (constitudas por um prisma de profundidade unitria e seo transversal idntica s das regies de controle, que so definidas como regies envolvendo cada um de seus ns, construdas por segmentos de reta, que passam pelos pontos mdios das aresta ligadas ao n, e pelos baricentros dos tringulos, que admitem o referido n como vrtice), pode ser calculada por partes, obedecendo a seguinte procedimento: Para a superfcie que envolve o n 7, pode-se escrever:
D.dS = E
S e i
4 7
11 12 6 5 + E7 + E7 + E7 + E7
onde : E = D.dS
S
(B.8)
E representa o fluxo do vetor deslocamento na poro da superfcie S, que envolve o n (i) pertencente ao elemento (e). No caso do n 3, que pertence fronteira do domnio, resulta:
(B.9)
Como condio adicional, vai-se considerar que o campo eltrico alm da fronteira nulo ou tangente a esta, de modo que as duas ltimas parcelas da expresso anterior so nulas. Assim sendo, para cada elemento finito pode-se calcular 3 parcelas de integrais de superfcie: uma parcela da integral de superfcie que envolve o n 1 (E1e), uma que envolve o n 2 (E2e), e outra que envolve o n 3 (E3e), como mostra a figura abaixo:
54
Figura B.3 - Partes das regies de controle internas ao elemento. O ponto O seu baricentro; os pontos P, S e G so os pontos mdios de suas arestas. Os segmentos PO e OS so partes da regio de controle que envolve o n 1. Os segmentos PO e OG so partes da regio que envolve o n 2, e os segmentos GO e OS so partes da regio de controle que envolve o n 3. [39] O clculo de E1e sobre aquele elemento genrico pode ser facilmente obtido, levando-se em conta que o campo eltrico em seu interior constante. Assim, na face POS de S1 pode-se escrever:
E1e = D.dS
POS
(B.10)
O clculo de E2e, que representa o fluxo do vetor deslocamento na parte da superfcie S que envolve o n 2 (S2), pertencente ao elemento (e), calculado de forma semelhante a E1e, fazendo: E2e= - Ex y - Ey x
55
Em resumo, as contribuies dos fluxos do vetor deslocamento por meio das pores das superfcies, que envolvem os ns 1,2 e 3 do elemento (e), podem ser expressas, matricialmente, como segue:
E1e b1b1 + c1 c1 e E 2 = 4 b1b2 + c1 c 2 e E3 b1b3 + c1 c3
b1b2 + c1 c 2 b2 b2 + c 2 c 2 b2 b3 + c 2 c 3
b1b3 + c1c 3 V1 b2 b3 + c 2 c 3 V2 b3 b3 + c3 c 3 V3
(B.15)
A matriz quadrada da expresso B.15 denominada matriz do elemento, tendo as caractersticas de simetria e singularidade (determinante nulo). O segundo membro da quarta equao de Maxwell igual carga interna superfcie S. Assim sendo, para a superfcie fechada, que envolve o n 7, podemos escrever: Q7=Q74+Q711+Q712+Q76+Q75 Onde Qie a parcela da carga total contida no interior da superfcie S que envolve o n (i) pertencente ao elemento (e). Reportando-se ao elemento genrico, as linhas PO, OS e OG, onde O seu baricentro, divide-o em 3 polgonos de reas iguais a 1/3 da rea total do elemento. Admitindo que as cargas eltricas, nele contidas, so distribudas, uniformemente, no volume delimitado pelo prisma de base triangular e altura unitria, segundo a densidade volumtrica (C/m3), pode-se escrever: Q1e=Q2e=Q3e=/3 Ou, matricialmente,
Q1e / 3 e Q2 = / 3 Q3e / 3
(B.16)
Finalmente, a aplicao da quarta equao de Maxwell numa superfcie fechada envolvendo o n (i), resultar:
56
E
e =1
NE
e i
= Qie
e =1
NE
i = 1,2,..., NN
(B.17)
Onde NE o nmero total de elementos e NN o nmero total de ns do domnio. Note-se, que os termos das somatrias indicadas em (B.17) s tero valor no nulo, nos elementos (es) que admitirem o n (i) como vrtice. Esta expresso tambm gera um sistema de NN equaes com NN incgnitas, cujas incgnitas so os potenciais eltricos dos ns. Assim sendo, pode-se escrever: [C][V] = [Q] (B.18)
Como a matriz [C] montada a partir das matrizes dos elementos, e sendo estas singulares, resulta que a referida matriz tambm singular. Esta singularidade levantada aps a introduo das condies de contorno. A resoluo do sistema de equaes, obtida aps a introduo das condies de contorno, fornece os potenciais em todos os ns do domnio, que, uma vez conhecidos, permitem calcular a intensidade de campo eltrico no interior de todos os elementos e as demais grandezas de interesse, tais como: capacitncias, energia eltrica armazenada, foras e conjugados de natureza eletrosttica. [39]
J .dS = 0
S
(B.19)
A relao constitutiva a ser considerada a lei de Ohm: J=E, onde a condutividade do meio, conjuntamente com a definio da funo potencial: E=-V As dedues das integrais de superfcie E1e, E2e e E3e so obtidas, para este caso, seguindo-se procedimento idntico ao desenvolvido na eletrosttica, ou seja, substituindose simplesmente D por J e por , que resultar:
E1e b1b1 + c1 c1 e E 2 = 4 b1b2 + c1 c 2 e E3 b1b3 + c1 c3
b1b2 + c1 c 2 b2 b2 + c 2 c 2 b2 b3 + c 2 c 3
b1b3 + c1c 3 V1 b2 b3 + c 2 c 3 V2 b3 b3 + c3 c 3 V3
(B.20)
Finalmente, a aplicao da equao da continuidade numa superfcie fechada envolvendo o n (i), resultar:
E
e =1
NE
e i
=0
i = 1,2,..., NN
(B.21)
57
A expresso B.21, a exemplo da B.17, pode ser expressa matricialmente, como segue: [G][V] = 0 (B.22)
A indeterminao do sistema anterior levantada com a introduo das condies de contorno inerentes ao problema. A resoluo do sistema de equaes, aps a introduo destas condies, fornecer os potenciais eltricos em todos os ns do domnio, a partir dos quais so determinadas as intensidades do campo eltrico em cada elemento e as demais grandezas de interesse, tais como: resistncia hmica e potncia dissipada. [39]
B.4. Magnetosttica
Na Magnetosttica, a segunda equao de Maxwell (Lei de Ampre) a que governa o fenmeno fsico: (B.23) H .dl = J .dS
C S
A relao constitutiva a ser considerada a que relaciona o vetor intensidade magntica (H) e o vetor campo magntico (B): H=B onde =1/ a relutividade do meio. A partir da terceira equao de Maxwell .B=0, define-se o vetor potencial magntico A, tal que: B= x A E impe-se, ainda, que: .A=0. Nos estudos dos campos bidimensionais planos na Magnetosttica, admite-se que as correntes fluem na direo normal ao domnio de estudo. Assim sendo, supondo-se que este domnio est definido no plano (x,y), o vetor densidade de corrente dever ser tal, que: J=Jux, com J constante no elemento. Como as direes de J e A so idnticas, resulta que: A=A(x,y) ux. Desta forma, nos campos bidimensionais planos, a equao B.24 escrita como segue: B = A/y ux - A/x uy (B.25) (B.24)
Sejam A1, A2 e A3 os valores da componente z do vetor potencial magntico nos vrtices 1, 2 e 3 do elemento triangular, calcula-se o potencial magntico no interior do elemento, por meio de uma interpolao linear de seus valores nos vrtices, semelhana do que j foi feito na eletrosttica e na Eletrocintica, de modo, que pode-se escrever: A(x,y) = N1 A1 + N2 A2 + N3 A3 Desta forma, pode-se escrever: (B.26)
58
H x =
A (c1 A1 + c 2 A2 + c3 A3 ) = y 2 A H y = = (b1 A1 + b2 A2 + b3 A3 ) 2 x
(B.27)
Aplicando-se, agora, a segunda equao de Maxwell (Lei de Ampre) a contornos fechados, do tipo mostrado na Fig. B.3, os quais envolvem os ns do domnio, e orientando-se no sentido anti-horrio, obtm-se
E1e =
POS
H .dl = H
x H y y
(B.28)
Substituindo-se Hx e Hy por seus valores obtidos em B.27, obtm-se: E1e=(/4)[(b1 b1 + c1 c1)V1 +(b1 b2 + c1 c2)V2 + (b1 b3 + c1 c3)V3] (B.29)
Para a parcela da circuitao ao redor do n (2) do e-simo elemento, pode-se escrever: E2e = Hx x + Hy y Com: x= xp xg = c2/2 y= yp yg = -b2/2 Substituindo-se H e H por seus valores, em B.30, obtm-se: E2e=(/4)[(b2 b1 + c2 c1)V1 +(b2 b2 + c2 c2)V2 + (b2 b3 + c2 c3)V3] Para a parcela da circuitao ao redor do n (3), obtm-se: E3e=(/4)[(b3 b1 + c3 c1)V1 +(b3 b2 + c3 c2)V2 + (b3 b3 + c3 c3)V3] (B.32) (B.31) (B.30)
b1b2 + c1 c 2 b2 b2 + c 2 c 2 b2 b3 + c 2 c3
b1b3 + c1 c 3 A1 b2 b3 + c 2 c 3 A2 b3 b3 + c3 c3 A3
(B.33)
Em cada elemento, tem-se contribuies para corrente concatenada de trs contornos diferentes. Admitindo-se densidade de corrente uniforme no interior deles, essas contribuies sero tais, que:
I 1e J / 3 e I 2 = J / 3 e I 3 J / 3
(B.34)
E
e =1
NE
e i
= I ie
e =1
NE
i = 1,2,..., NN
(B.35)
Estes trs exemplos mostram a fora e a importncia do Mtodo dos Elementos Finitos aplicado em clculo de campos bem gerais, utilizados em qualquer parte da Engenharia Eltrica. Outros desenvolvimentos com variaes no tempo dos campos eltricos (E) e magnticos (B) podem tambm ser feitos, usando-se o MEF, mas a formulao matemtica um pouco mais complicada. [39]
60
As equaes diferenciais parciais so usadas como modelos matemticos, para fenmenos em todas as reas da Engenharia e cincia. Por exemplo, as equaes elpticas e parablicas podem ser usadas na transferncia de calor constante e no constantes em slidos, para fluxos em meios viscosos, e em problemas de difuso, para eletrosttica em meios dieltricos e condutores, e para fluxo de potencial. O PDE hiperblico usado na propagao de ondas acsticas e eletromagnticas e nos movimentos transversais das membranas. O sistema elptico de PDE pode ser usado para resolver problemas de planos da tenso de stress e do plano em estruturas mecnicas (Momentos e Esforos). Soluciona-se quatro tipos de PDE (onde a, c, d e so constantes ou nmeros reais, u varivel dependente, funo de x, y e t variveis independentes, t representa o
61
tempo, e x e y, o plano cartesiano, e o operador gradiente em geral funo dada; a soluo aplicada sempre no domnio ) : Elptico: .(cu ) + au = f
+ , e f uma x y
Exemplo de uso: transferncia constante de calor, fluxo e difuso, magnestottica e eletrosttica em materiais condutivos. 2u Hiperblico: d 2 .(cu ) + au = f t Exemplo de uso: transientes e harmnicos em propagao de ondas acsticas e movimento transversal de membranas. Parablicos: d
u .(cu ) + au = f t
Exemplo de uso: transiente de transferncia de calor, fluxo e difuso em meios porosos. Autovalores (ou valores prprios): .(cu ) + au = du Exemplo de uso: estudo de freqncias acsticas, transversal e longitudinal; movimento de membranas; mecnicas qunticas e propagao de ondas eletromagnticas. As funcionalidades grficas da interface do usurio e os comandos de linha da ferramenta foram projetadas para seguir, intuitivamente, o processo de resoluo dos PDE. O processo da soluo do PDE, usando o Mtodo dos Elementos Finitos pode ser caracterizado por seis etapas genricas. Estas etapas e modalidades correspondentes ao uso da ferramenta de PDE, so:
Definio da geometria (modalidade de trao) Especificao de condies de limite (modalidade da condio de limite) Selees dos coeficientes do PDE que definem o problema (modalidade de PDE) Discretizao em elementos finitos (modalidade de malhas) Especificao de condies e da soluo iniciais do PDE (modalidade de resoluo) E apresentao dos resultados e solues (modalidade de lote).
Cada uma dessas modalidades est disponvel por meio das linhas de comando e da interface grfica com o usurio. [72] Figura C.1 - Resoluo passo a passo no MatLab, empregando o Mtodo dos Elementos Finitos em um exemplo que usa a equao de equilbrio trmico de Laplace 2u 2u 2 + 2 = 0 para uma placa fina metlica retangular, onde um lado mantida a 100oC x y
62
[u(-1,y)] e os outros trs lados so mantidos a 0oC [u(1,y); u(x,-0,8); u(x,0,8) com condies de contorno]:
63
(c) Definio das condies de contorno dos trs outros lados 0oC. 1*u=0.(h=1 e r=0).
(d) Definio da equao diferencial a ser resolvida. Tipo Elptico com c=1, a=0 e H 2u 2u f=0. .u = 2 + 2 = 0 . x y
64
(e) Definio da malha inicial de elementos finitos triangulares planos na placa metlica.
(f) Melhora da malha onde cada elemento triangular se torna quatro. Onde o ponto mdio de cada lado do tringulo se torna vrtice dos tringulos internos.
(g) Exemplo de como o MatLab melhora a malha. Um tringulo vira quatro outros tringulos menores.
65
(h) Soluo do PDE por elementos finitos. Onde cada tom de cor representa uma temperatura na placa metlica. Note a escala do lado. (=)
(i)
O princpio do mtodo dos elementos finitos segue os passos: - Definio do domnio; - Discretizao em elementos finitos; - Clculo dos Coeficientes do Sistema Algbrico; - Resoluo das Equaes; - Explorao dos Resultados.
66
I = f ( x, y ( x), y(x))dx
a
Lema: Se
f (t ) (t )dt = 0.
t1
ento f (t ) = 0, t (t1 , t 2 ) . Ou seja, se a integral zero, devemos ter f(t)=0. Isso nos traz a Eq. (3.16), onde se deseja o resduo R prximo de zero, solucionado a equao diferencial e realizando a aproximao atravs da integral que se iguala a zero:
RW dD = 0
i
i = 1, 2, ..., m
onde R = f (t ) e Wi = (t ) . O lema fundamental do clculo Variacional tambm verdade se dispensar as condies (t ) > 0 e (t1 ) = (t 2 ) = 0 , cuja a demonstrao pode ser encontrada em Sagan [18].
67
Outra razo para a formulao Variacional a equivalncia entre calcular o extremo de uma integral e resolver uma equao diferencial parcial de segunda ordem, como mostra o teorema abaixo: Teorema: Seja u(x, y, t), uma funo de trs variveis contnuas com derivadas primeiras tambm contnuas. A funo v(t) derivvel e de derivada v(t), definida num intervalo (t1, t2) tal que v(t1)=v1, v(t2)=v2 e torna extrema a integral:
I = u (v, v , t )dt
t1
t2
Demonstrao: Pesquisa-se, entre todas as funes que passam pelos pontos M1(t1, v1) e M2(t2, v2), aquela que torna a integral I extremante. Seja v0 a funo soluo e, a partir de uma funo contnua (t), onde (t1)=(t2)=0 e (t)>0, defini-se uma funo v(t)=v0(t)+(t). A integral I torna-se uma funo de :
I ( ) = u (v( , t ), v ( , t ), t )dt
t1
t2
Se v/ se exprime facilmente, o mesmo no se pode dizer de v/, e convm transform-la por uma integrao por partes. O segundo termo de dI/d resulta ento em:
t2
2 2 d u u u 2 v u v dt = dt v v t v t1 t1 dt v t1
x=
u v
dx =
d dt
2v dt = dy t
u dt v y=
v = (v0 + ) = (t ) ,
Considerando que
68
resulta
2 2 u d u dI u = (t ) + (t )dt , d v t1 t1 v dt v
Mesmo no parecendo, esta uma equao diferencial de segunda ordem, pois u uma funo semi-implcita de t. Atravs de v e v obtm-se:
2u d u 2 u dv 2 u dv 2 u 2u 2u + + = v + v + = dt v v v dt v 2 dt v t v 2 vv v t
Resultando, aps um reagrupamento, tem:
2u 2u 2 u u 2 v + =0 + v vv v t v v(t1 ) = v1 , v(t 2 ) = v 2
Estes teoremas mostram que, sob certas condies, h uma equivalncia entre a resoluo de um problema diferencial de Segunda ordem e a pesquisa de uma funo, que torna extrema uma funcional associada quela equao diferencial. A equao diferencial em questo denominada equao de Euler associada funcional, cujo extremo se est pesquisando. Pode-se, portanto, indiferentemente, resolver a equao diferencial com suas condies de contorno ou minimizar a integral a ela associada. At recentemente, o conjunto de ferramentas matemticas que se dispunha eram orientados de modo a resolver diretamente os problemas diferenciais ao invs de faz-lo atravs da minimizao de funcionais, devido ao fato de que as maiorias dos tratados de fsica descrevem os fenmenos sob a forma diferencial, mesmo que na maior parte dos casos a anlise, seguindo os princpios energticos e termodinmicos, fornecessem uma formulao integral ou mesmo variacional, em particular nos casos da mecnica ou do eletromagnetismo. Em geral, as formulaes variacionais so montadas a partir do principio da ao Hamiltoniana, da qual dar-se- uma breve descrio. Considerando um sistema fsico cuja evoluo em funo das variveis independentes x1, x2,..., xn seja descrita pela variao de um certo nmero de funes, qi chamadas variveis de estado q1, q2,..., qn , e suas derivadas qik = . O princpio da x qk ao Hamiltoniana postula a existncia de uma funcional do tipo integral:
I a = L( xi , q j , q ij )dw
69
Cujo extremo definido por uma condio de equilbrio (estacionria) caracteriza a evoluo do sistema. O domnio definido a partir das variveis independentes xk e do integrando L(xi, qj, qij), tambm conhecidos pelo nome de funo de Lagrange do sistema, sendo a mesmo uma funo escalar das variveis de estado qi, de suas derivadas e das variveis independentes xk. Esta funo de Lagrange, caracterstica da evoluo do sistema, tem uma significao fsica direta e em geral construda a partir da diferena de dois termos energticos, um termo W c de coenergia do tipo cintico, que varia de maneira quadrtica em funo das derivadas parciais qij e um termo W p de energia potencial que uma funo complicada das variveis de estado qi: L(xi, qj, qij) = W c(qji, qkl) W p(qk). A condio necessria de equilbrio (estacionaridade) da integral Ia, definida pelas equaes de Euler da integral de L, a representao diferencial do fenmeno fsico caracterizado pela funcional Ia. Com exemplo para o campo eletrosttico Admitindo, ento, um espao de duas dimenses, as variveis independentes so as coordenadas x, y, a varivel de estado o potencial eltrico V, e suas derivadas parciais os campos Ex= -V/x e Ey= -V/y. As consideraes energticas elementares introduzem as noes de energia potencial W p = - (x, y) V e de coenergia cintica num meio caracterizado por uma 2 2 V V . permissividade , Wc = + 2 x y A funo de Lagrange escrita como segue:
2 2 1 V V ( x, y )V L= + x y 2 1 L = V x 2 + V y 2 V 2
resultando
(Vx ) + (V y ) = 0 x y
70
ou
V V = ( x, y ) + x x y y
f .g
dv = 0
Logo, na resoluo de um problema, onde as derivadas parciais podem ser traduzidas pela pesquisa de uma funo v tal como os operadores L sobre o domnio e B sobre a fronteira que verifica: L(v) f = 0 e B(v) g =0. O mtodo denominado Mtodo dos Resduos Ponderados consiste na pesquisa de funes v que satisfaam a condio de contorno, ponderadas por funes u tais que, para toda funo u que satisfaa condies de continuidade determinadas, possa-se escrever:
(D.33)
Se o conjunto de funes u de dimenso infinita, ento possvel obter uma equivalncia entre o problema, as derivadas parciais e sua formulao integral. Entretanto, nas aplicaes prticas, as funes u formam um espao de dimenso finita e a frmula (D.33) constitui uma nica aproximao caracterizada pela funo dada e por este conjunto de funes. A vantagem do Mtodo dos Resduos Ponderados, em relao formulao variacional, poder se aplicar a qualquer equao, independentemente da existncia e do conhecimento de uma formulao variacional do problema; por outro lado, de incio existe um erro de mtodo caracterizado pela escolha das funes u; no entanto, este ltimo ponto de importncia secundria, pois este erro e o de aproximao se conjugam para resultar, sob certas condies, os mesmos resultados nas duas formulaes. Tem-se como exemplo o problema trmico:
T = T0 I s
T T +Q = 0 k + k x x y y
u x k x + y k y + Q d = 0
k x x + y
T u
T u T + uQ d + ku dS = 0 y n S
k x
T u T u Qu d = 0 + x y y
A seqncia de funes de projeo ui tomada e as funes de aproximao i escolhida para T caracterizaro ento o mtodo.
Onde os coeficientes A1, A2,..., ANN sero determinados pelo mtodo, de forma a realizar a melhor aproximao possvel de u sobre a base de funes N1, N2,..., NNN. No Mtodo dos Elementos Finitos, o domnio de estudo discretizado em subdomnios chamados Elementos Finitos, sobre as quais cada um deles, a funo procurada aproximada por um polinmio. A discretizao realizada uma partio do
72
domnio, sem buracos nem recobrimentos. Os polinmios prprios de cada elemento devem respeitar, na fronteira, as condies de continuidade compatveis com aquelas impostas pela natureza do problema. Este vnculo permite determinar o conjunto de funes Ni a partir das funes Ni(e) definidas sobre cada elemento. Um exemplo em R2 uma diviso em dois sub-domnios triangulares de primeira ordem sobre os quais a funo procurada aproximada por um polinmio de primeira ordem: P=a+bx+cy. Em cada elemento existem trs coeficientes a determinar e, portanto, trs monmios, perfazendo um total de seis coeficientes no conhecidos; mas as condies de continuidade sobre a aresta, que une os vrtices 2 e 3 aos seis coeficientes, restringem a 4 o nmero real de coeficientes no conhecidos. H, ento, uma funo de aproximao que afeta cada vrtice, como mostrado na figura D.10.
3 1
4 2
Figura D.10 Domnio a dois elementos triangulares. A escolha de cada elemento das funes de aproximao definir o seu tipo e caracterizar, pela seqncia, a natureza das funes de aproximao. H uma ligao matemtica rigorosa entre a escolha da natureza das funes de aproximao (lineares, quadrticas, cbicas) e a forma dos elementos, sempre definidas por trechos sobre a discretizao.
F = L(u , u , u y , x, y )d x
(D.34)
; u * = u i N ix ; u y* = u i N iy , x
i =1 i =1
NN
NN
onde os ui so os coeficientes numricos, como foi visto anteriormente so de fato valores de u* em cada um dos ns da discretizao. Logo o funcional vem a ser uma
73
funo exclusiva dos coeficientes u1, u2,..., uNN. A condio necessria para a obteno do extremo da Eq. (D.34) , na maior parte dos casos, uma de minimizao, tal que:
F =0 , u1 F F = 0 , ..., =0, u 2 u NN
sendo um sistema de NN equaes algbricas a NN incgnitas u1, u2,..., uNN. A resoluo deste sistema fornece, ento, a funo de aproximao u* sobre todo o domnio.
NN 2 L u j N j f j =1 ... NN NN L u j N j j =1
(D.35)
Obtm-se, de novo, um sistema de NN equaes algbricas a resolver para se encontrar as NN incgnitas u1, u2,..., uNN. Observaes importantes Nos dois casos, a aplicao do mtodo dos elementos finitos conduz substituio de uma equao ou sistema de equaes a derivadas parciais por um sistema de equaes algbricos contento coeficientes da funo de aproximao, que so, na realidade, os valores das funes de aproximao nos ns do domnio discretizado. Como no Mtodo dos Resduos ponderados as funes de ponderao so idnticas s funes de aproximao, o sistema de equaes obtido idntico quele obtido pela formulao variacional. Se o operador L linear, ento a funcional quadrtica, implicando na linearidade do sistema de equaes algbricas obtido. Da mesma forma, no Mtodo dos Resduos Ponderados, a linearidade de L implica na linearidade das equaes (D.35), pois, em cada uma delas, os coeficientes ui podem ser colocadas em evidncia na integral.
NN NN i L u j N j f d = u j j =1 i =1
( L(N ) d) fd
j i i
74
2u u u 2u 2u +B +C 2 + D +E + Fu + G = 0 2 xy x y x y
Se B2 4 AC > 0, tm-se as Equaes Hiperblicas, como, por 2u 2u = exemplo, as equaes de ondas: Para u ( x, t ) temos . t 2 x 2 Se B2 4 AC < 0, tm-se as Equaes Elpticas, como nas equaes 2u 2u de Laplace ou de Equilbrio: Para u ( x, y ) temos + = 0. x 2 y 2 Se B2 4 AC = 0, tm-se as Equaes Parablicas, exemplificado u 2 u = pelas equaes de conduo de calor: Para u ( x, t ) temos . t x 2
As equaes do tipo elpticas so representativas dos problemas de potencial que aparecem nos estudos em regime permanente na eletricidade (eletrosttica ou magnetosttica), mecnica (deformao de um slido, escoamento Laplaciano de um fluido) e trmica (distribuio de temperaturas). As condies de contorno normalmente associadas so do tipo: Dirichlet, (u ( s ) = u 0 = f 0 ( s ))
u Neuman ( s ) = f 0 ( s ) n
u ou mista u ( s ) + ( s) = f 0 (s ) n
As equaes parablicas so representativas dos problemas de difuso, cuja equao de difuso da temperatura em um corpo incompreensvel o caso tpico. Esta equao igual a de penetrao das correntes induzidas em um corpo condutor de eletricidade. As condies de contorno associadas equao parablica so de dois tipos: a) Condies de Dirichlet, Neuman ou mista sobre a fronteira espacial do domnio. b) Uma condio inicial (t=0) em todo o domnio.
75
As equaes hiperblicas caracterizam o fenmeno da propagao das ondas, sejam elas vibratrias do tipo mecnicas ou eletromagnticas. As condies de contorno relacionadas equao de propagao so associadas s condies de Cauchy ao instante inicial (dada sua funo u e sua derivada u/t em relao ao tempo). Desde que o domnio de estudo seja formado de vrios sub-domnios, sobre os quais os coeficientes da equao diferem por causa das propriedades fsicas, diferentes materiais que compem estes sub-domnios, h na fronteira de separaes derivadas de ordens elevadas e formao de condies de transmisso que exprimem as condies atribudas s diversas funes e suas derivadas. Como exemplo, na eletrosttica bem conhecido que na passagem de um meio isolante a outro, h refrao das linhas de campo eltrico. Chamando de V o potencial eltrico definido no interior de um domnio D formado de um sub-domnio D1 , no qual o material dieltrico tenha permissividade dieltrica 1 , e um sub-domnio D2 , caracterizado por um meio de permissividade 2 , a equao do potencial varia de um meio a outro. Meio 1 :
V V =0 1 + 1 x x y y V V =0 Meio 2 : 2 + 2 x x y y
Na interface, estas equaes no so vlidas e substituem-se por duas outras: da continuidade do potencial e da induo eltrica, que leva em conta a descontinuidade do campo eltrico: Interface: V1 = V2 e
V1 V = 2 2 (n normal a interface) n n
Os problemas elpticos so caractersticas da anlise de fenmenos de regime permanente, fenmenos do tipo esttico (sem variao temporal) ou varivel no tempo segundo funo conhecida (senoidal, por exemplo). Os problemas parablicos e hiperblicos so ligados aos estudos de regime transitrio (chamados algumas vezes de dinmicos) e sua resoluo permite analisar a evoluo de um fenmeno fsico no decorrer do tempo (regime transitrio eltrico ou trmico, resposta mecnica a uma perturbao). Noo de um problema Bem Definido As equaes a derivadas parciais e as condies de contorno associadas constituem o chamado problema a derivadas parciais. Entretanto, a associao de uma equao e das condies de contorno no conduzem forosamente a um problema matemtico simulando um fenmeno ou um processo fsico. Com finalidade de caracterizar mais precisamente este tipo de problema, Hadamard introduziu a noo de problema bem definido. Um problema bem definido desde que satisfaa as trs condies seguintes:
Se as duas primeiras condies parecem triviais (apesar de ser muito fcil definir um problema sem soluo), a terceira condio, de mais difcil entendimento, impede a formulao de um problema cuja definio parece a priori suficiente, mas que, por vezes, pode conduzir, salvo excees, a uma ausncia de soluo, caracterizada por um fenmeno de instabilidade. O exemplo mais significativo o seguinte problema:
a)
A condio (c) converge uniformemente para zero, desde que n tenda ao infinito, podendo, neste caso, definir-se o problema pela equao (a) e pelas condies V=0, V/y=0 para y=0, cuja soluo uma constante. Ora, a soluo do problema como definido :
V ( x, y ) = 1 sinh(ny ) sin(nx) n3
Que tende ao infinito com n, qualquer que sejam os valores de x e y no nulos. Definimos aqui um problema instvel (este problema torna-se bem definido se a condio V=0 for suprimida e levada ao infinito). Geralmente as equaes elpticas so associadas a condies de contorno de Dirichlet, Neuman ou mista, e as equaes parablicas e hiperblicas so associadas a condies de Cauchy (definio do valor inicial de sua derivada em relao variao no tempo). A tabela E.2 que se segue, extrada da obra de Morse e Freschbach [16], define, de modo bem preciso as associaes de equao e condies de contorno que, seguindo a natureza aberta (isto : se estende ao infinito) ou fechada na fronteira, conduzem a problemas bem definidos.
77
Condio de Natureza da Equao Equao Contorno Fronteira Parablica Elptica Dirichlet ou Aberta nica (t>0) Insuficiente Neuman Fechada Excessiva nica Estvel Cauchy ou Aberta Excessiva Instvel mista Fechada Excessiva Excessiva Tabela E.2 Classificao dos PDE segundo sua soluo.
Figura E.18 Exemplo de uma malha em trs dimenses de elementos finitos. (Elementos Tetradricos).
Figura E.19 Exemplo de malhas: (a) Discretizao em duas dimenses - 2D (elementos triangulares) e (b) Discretizao em trs dimenses - 3D (elementos tetradricos).
78
Apndice F
Viso Histrica
Esta parte baseada na contribuio original de [34]. O desenvolvimento moderno do mtodo de elementos finitos comea na dcada de quarenta no campo da engenharia estrutural com o trabalho de HRENNIKOFF [1] (1941) e MCHENRY [2] (1943), usando um modelo de elementos em linhas, de uma dimenso tipo barras e feixes, para a soluo de problemas de esforos em slidos contnuos. Em artigos publicados em 1943, mas no largamente reconhecidos por muitos anos, COURANT [3] props usar a soluo para os esforos, de uma forma variacional. Ele. ento, introduz funes de interpolao sobre pedaos de sub-regies triangulares, e une todas estas em um mtodo, para obter uma soluo numrica aproximada. LEVY [4] (1947), desenvolve o mtodo de flexibilidade ou foras, e, em outro trabalho [5] (1943), sugere um mtodo de rigidez ou deslocamentos, prometendo ser uma alternativa na anlise de estruturas redundantes estticas de avies. Contudo, suas equaes apresentavam dificuldade de soluo manual, e seu mtodo s se tornaria popular com o advento dos computadores digitais de alta velocidade. ARGYRIS e KELSEY [6], [7] (1954) desenvolvem um mtodo matricial de anlise estrutural, usando o princpio das energias. Este ilustraria a importncia das regras, que o princpio das energias poderia ter no Mtodo dos Elementos Finitos. O primeiro tratamento de elementos em duas dimenses foi dado por TURNER, CLOUGH, MARTIN e TOPP [8], em 1956. Eles derivaram matrizes de rigidez de elementos de pontos, feixes e elementos triangulares e retangulares de duas dimenses em planos de esforos, e esboaram procedimentos comuns conhecidos, como o mtodo da rigidez direta para obter a matriz total da estrutura rgida. Logo, com desenvolvimento de computadores digitais de alta velocidade, no comeo da dcada de cinqenta, o trabalho de TURNER, CLOUGH, MARTIN e TOPP [8] apontou para o desenvolvimento das equaes de rigidez de elementos finitos expressas na notao matricial. O termo Elementos Finitos foi introduzida por CLOUGH [9] (1960), quando ambos, elementos triangulares e retangulares, foram usados na anlise do plano de esforos. SILVERTER [58], nesta mesma poca, cria avanos no modelamento matemtico, trabalhando em esquemas de discretizao e ajuste de curvas. A matriz de rigidez para elementos curvos de planos retangulares foi desenvolvida por MELOSH [10], em 1961, seguida pelo desenvolvimento de conchas (trs dimenses) curvas em elementos curvos de matriz de rigidez, para conchas assimtricas e presses em embarcaes, por GRAFTON e STROME [11] (1963). Extenses do Mtodo dos Elementos Finitos, para os problemas de trs dimenses, com o desenvolvimento da matriz de rigidez tetrahdrica, foram realizadas por MARTIN [12] (1961), por GALLAGHER, PADLOG e BIJLAARD [13] (1962) e por MELOSH [14] (1963). Elementos tridimensionais adicionais foram estudados por ARGYRIS [15] (1964). Os casos especiais de slidos assimtricos foram considerados por CLOUGH, RASHID [16] e WILSON [17], em 1965. A maioria dos trabalhos de elementos finitos, no comeo dos anos 60, lidava com pequenos esforos e deslocamentos, elasticidade de materiais e cargas estticas. Contudo, grandes deflexes e anlises trmicas foram consideradas por TURNER, DILL, MARTIN e MELOSH [18] (1960), e a no linearidade dos materiais, por GALLAGHER,
79
PADLOG, e BIJLAARD [13] (1962), quando problemas de curvaturas foram inicialmente tratados por GALLAGHER e PADLOG [19] (1963). ZIENKIEWICZ, WATSON e KING [20] (1968) estenderam o mtodo para problemas de visco-elasticidade. Em 1965, ARCHER [21] considera a anlise dinmica no desenvolvimento da matriz de massas de consistncia (distribuies das cargas), aplicada para anlise de sistemas de massa distribuda, tal como barras e feixes na anlise estrutural. MELOSH [14] considera, em 1963, que o mtodo de elementos finitos poderia ser colocado em termos da formulao variacional, e ento, este comeou a ser usado para a resoluo de aplicaes no estruturais. Problemas de clculo de campo, tal como a determinao de toro de hastes, escoamento de fluidos e condio do calor foram resolvidos por ZIENKIEWICZ e CHEUNG [22] (1965), MARTIN [23] (1968), e WILSON e NICKEL [24] (1966). O trabalho que marcou a aplicao do MEF na Engenharia de eletricidade creditado a SILVERTER & CHARI [74], em 1969, que promoveram seu desenvolvimento. A partir de ento, uma srie de pesquisadores dedicou esforos, no sentido de aplic-lo na resoluo dos maiores problemas da Engenharia de eletricidade, que o clculo de campos eletromagnticos presentes nos dispositivos e sistemas eltricos. As extenses dos mtodos foram possveis, pela adaptao da tcnica dos resduos ponderados, primeiramente, por SZABO & LEE [25] (1969), que derivaram as equaes de elasticidade usadas em anlise estrutural, e posteriormente, por ZIENKIEWICZ & PAREKH [26] (1970), que a utilizaram nos problemas de campos transitrios. Entende-se, ento, que a formulao direta e a variacional era difcil ou impossvel de se usar, e logo, o mtodo dos resduos ponderados tornava-se mais apropriado. Por exemplo, em 1977, LYNESS, OWEN & ZIENKIEWICZ [27] aplicaram os resduo ponderados para determinao de campos magnticos. BELYTSCHKO [28], [29] (1976) estudou problemas associados a grandes deslocamentos em dinmica no linear, e melhorou as tcnicas numricas para a resoluo de sistemas de equaes. Aplicaes em novos campos como a bioengenharia foram tratadas pelo Mtodos dos Elementos Finitos, embora outros, como materiais no lineares, geometria no lineares e outras complexidades, permaneceram ainda sem soluo. Resumidamente, o Mtodo dos Elementos Finitos conhecido, no que se refere aos seus princpios, a, aproximadamente, meio sculo, e s veio a ser utilizado, com o aparecimento dos modernos meios informticos. De fato, apesar das formulaes integrais serem conhecidas a longo tempo, graas aos trabalhos de GALERKINE, RITZ, COURANT e HILBERT, suas aplicaes no puderam se generalizar, de imediato, pela dificuldade em se resolver, facilmente, os sistemas algbricos lineares e no lineares de grandes dimenses. De fato, o trabalho necessrio para se resolver um sistema linear, com algumas dezenas de equaes e com o correspondente nmero de incgnitas, levou a maioria dos engenheiros a restringir este tipo de clculo a um pequeno nmero de especialistas, como CHOLESK, SEITEL, JACOBI e GAUSS, que desenvolveram mtodos astuciosos, recentemente, ainda utilizados. Os engenheiros civis e mecnicos, enfrentando problemas complexos de clculo estrutural, foram os primeiros a se aproveitarem do desenvolvimento da informtica e das
80
linguagens de programao de alto nvel, para expressar, em termos de equaes algbricas, os modelos de desempenho das estruturas mecnicas. Nos anos sessenta, o Mtodo dos Elementos Finitos ganha rigor matemtico e implementao computacional, passando a ser adotado por profissionais de diversas reas, na resoluo de equaes diferenciais parciais. A partir de 1970, sob o impulso de numerosos pesquisadores da Engenharia e Matemtica (ZIENKIEWICZ, GALLAGHER, ODEN, LIONS, RAVIART, SILVESTER, CHARI, TOUZOT e outros), este mtodo tornou-se realmente popular entre os engenheiros de todas as especialidades, e sua utilizao implicou no aparecimento de vrios softwares comerciais, utilizados na mecnica (NASTRAN, ASKA), em problemas de temperatura (TITUS) e eletromagnetismo (FLUX, MAGNET11, PE2D, MATLAB), para citar apenas as aplicaes mais desenvolvidas. No Brasil, o Mtodo dos Elementos Finitos chega, na dcada de 70, por meio de inmeras dissertaes de mestrado e teses de doutorado na Universidade Federal do Rio de Janeiro (UFRJ), Universidade Estadual de So Paulo (USP), Universidade Federal de Santa Catarina (UFSC) e Universidade Federal de Minas Gerais (UFMG), originando a criao de disciplinas de ps-graduao sobre o tema. Em mbito nacional, o primeiro trabalho sobre a aplicao deste mtodo na engenharia de eletricidade foi desenvolvido na Escola Politcnica da USP, por JANISZEWSKI [75], em 1978, poca em que surgem alguns grupos de pesquisa em universidades brasileiras, destacando-se o GRUCAD da UFSC, o grupo de pesquisa da UFMG e a equipe de Simulao de Fenmenos Eletromagnticos da Escola Politcnica da USP. Em seqncia, na dcada de noventa, surgem cursos de ps-graduao ministrado por empresas comerciais, para suprir a grande necessidade de atualizao no mercado de trabalho da Engenharia. E finalmente, aps longos anos sendo ministrado apenas em cursos de ps-graduao, em 1995, a USP cria a disciplina optativa de Mtodo dos Elementos Finitos, para o curso de graduao em Engenharia Civil, tornando-se pioneira no ensino de graduao, e assumida por diversos outros cursos de graduao em todo o pas. As universidades brasileiras, a exemplo do que ocorreu nas universidades dos pases desenvolvidos, foram as responsveis pelo lanamento, no mercado nacional, dos primeiros produtos, visando atender as necessidades da comunidade acadmica, no sentido de suprir as pesquisas neste setor, bem como assessorar o setor industrial em suas necessidades de estudos e projetos. Ferramentas computacionais so criadas, no Brasil, pelo produto das pesquisas tcnico-cientficas dos cursos de mestrado e doutorado realizadas nas universidades que implementam o Mtodo dos Elementos Finitos. Muitas dessas pesquisas so convertidas em softwares comerciais e integradas a programas de desenho de CAD, gerando um novo tipo de ferramenta: a CAE Computer Aided Enginneering. Esta, por sua vez, parece representar o futuro do projeto e concepo da Engenharia moderna. Outros mtodos numricos, derivados dos elementos finitos, surgem em diversas partes do mundo, destacando-se o mtodo de volumes finitos e o mtodo dos elementos de fronteira ou contorno. Em geral, eles so aplicados a problemas especficos de Engenharia e cincias fsicas. Alm disso, diversas variaes na implementao e formulao dos elementos finitos so comuns, principalmente, aquelas voltadas para otimizaes de ajustes e caractersticas particulares de uma dada aplicao.
81
G.1. Introduo
Esse captulo pretende ser uma reviso conceitual do Mtodo dos Elementos Finitos, abordando os principais aspectos matemticos do mtodo. Todo o desenvolvimento se dar em uma dimenso estudando problemas de valor de contorno e facilitando a exposio dos principais conceitos e desenvolvimentos matemticos empregados no MEF. Apresenta aspectos importantes do mtodo como a diferenciao entre a formulao forte e fraca da resoluo de equaes diferenciais e o MEF do ponto de vista global e do ponto de vista do elemento. Segue o desenvolvimento da referncia bibliogrfica [76] de Thomas J. R. Hughes com algumas mudanas no intuito de sintetizar a reviso.
(G.1)
onde uma vrgula representa a diferenciao (ou seja, u , xx = d 2 u dx 2 ). Assume-se que f seja uma funo de valores escalares contnua e suave definida num intervalo unitrio. Pode-se escrever
f : [0,1] R
(G.2)
onde [0, 1] representa o intervalo unitrio (isso , o conjunto de pontos de x tal que 0 x 1) e R representa os nmeros reais. Em outras palavras, (G.2) diz que para um dado x em [0, 1], f(x) um nmero real. (Freqentemente, usa-se a notao que significa pertence a. Assim, para cada x [0, 1], f(x) R.). Tambm, [0, 1] dito ser o domnio de f, e R sua faixa. Tem-se descrito a funo f como sendo suave. Ou seja, se esboar o grfico da
82
funo f, deseja-se que ela seja uma curva suave sem descontinuidades e tores. Fazse isso para evitar dificuldades tcnicas e complexidades matemticas no desenvolvimento do MEF. A equao (G.1) conhecida por governar os deslocamentos transversais de uma corda sob tenso e tambm o deslocamento longitudinal de uma haste elstica. Nestes casos, parmetros fsicos, tais como a magnitude da tenso na corda ou o mdulo de elasticidade no caso da haste, aparecem em (G.1). Estes parmetros foram omitidos para simplificar o desenvolvimento subseqente. Antes de prosseguir, vai-se introduzir algumas notaes e terminologias adicionais. O intervalo ]0, 1[ denotar o intervalo unitrio sem pontos finais (isso , o conjunto de pontos de x tal que 0<x<1). Os intervalos ]0,1[ e [0, 1] so referenciados como intervalos unitrios aberto e fechado respectivamente. Para simplificar adotam-se as definies:
(G.3) (G.4)
= ]0, 1[
= [0, 1]
onde g e h so constantes dadas. As equaes (G.5) e (G.6) requerem que u tenha o valor de g em x=1 e a derivada de u (isso , sua inclinao) tenha o valor de h em x=0, respectivamente. Este conjunto de condies de contorno ir possibilitar ilustrar certos aspectos chaves da formulao variacional. Por razes bvias, as condies de contorno do tipo (G.5) e (G.6) conduzem para o chamado problema de valor de contorno de dois pontos. A forma forte do problema do valor de contorno (S) representada como se segue:
Dado f : R e g e h constantes, achar u : R, tal que u , xx + f = 0 em ( S ) u( 1 ) = g u , x ( 0) = h
Quando se escreve u , xx + f = 0 em , significa que u , xx + f ( x) = 0 para todo x. claro, a soluo exata de (S) trivial de ser obtida, a saber,
83
y u ( x) = g + (1 x)h + f ( z )dz dy x 0
1
(G.7)
onde y e z so usados para denotar variveis temporrias. Contudo, isso no o principal interesse aqui. Est-se interessado em desenvolver um esquema para obter solues aproximadas de (S) que sero aplicveis para muitas situaes complexas na qual a soluo exata no possvel. Alguns mtodos de aproximao comeam diretamente com a formulao forte do problema. O exemplo mais notvel o Mtodo das Diferenas Finitas. O Mtodo dos Elementos Finitos requer uma formulao diferente, a qual tratada no prximo item.
(u
0
,x
) 2 dx <
(G.8)
Funes que satisfazem (G.8) so chamadas de funes H1; escreve-se u H1. Algumas vezes o domnio explicitado, isso u H1([0, 1]). Ento o conjunto de solues admissveis, denotado por , consiste de todas as funes as quais tem derivada primeira com quadrado integrvel e que tenham o valor de g para x=1. Isso representado como se segue:
= { u | u H1 , u(1)=g }
(Funes admissveis)
(G.9)
O fato de que um conjunto de funes indicado pela chave em (G.9). A notao para um membro tpico de um conjunto, neste caso u, vem em primeiro dentro no lado esquerdo das chaves, seguido linha vertical (|) e a propriedade satisfeita pelo membro do conjunto. A segunda classe de funes chamada de funes de teste ou funes de peso. Este conjunto muito similar ao conjunto da soluo admissvel exceto que este requer a imposio de condies de contorno homognea de g. Isto , este conjunto requer que funes de teste, w, satisfaam w(1)=0. O conjunto denotado por e definida por
= {w | w H1, w(1)=0 }
(Funes de teste)
(G.10)
84
Em termos da definio anterior, pode-se agora estabelecer uma forma fraca apropriada, (W), do problema de valor de contorno.
Dando f, g, e h, como antes. Achar u tal que para todo w 1 (W ) 1 w , x u , x dx = wfdx + w(0)h 0 0
(G.11)
Formulaes deste tipo so freqentemente chamadas de trabalho virtual ou deslocamento virtual na mecnica. Os ws so os deslocamentos virtuais. A equao (G.11) chamada de equao variacional ou mecnica) a equao do trabalho virtual. (especificamente na
A soluo de (W) chamada de soluo fraca ou generalizada. A definio dada da formulao fraca no a nica possvel, mas a mais natural para os problemas que sero considerados.
0 = w(u , xx + f )dx
0
(G.12)
0 = w, x u , x dx wfdx wu , x
0 0
(G.13)
0
w
0
,x
u , x dx = wfdx + w(0)h
0
(G.14)
Alm do mais, tem-se que u uma soluo de (S), satisfaz u(1)=g e portanto est em . Finalmente, desde que u tambm satisfaz (G.14) para todo w , u satisfaz a definio de uma soluo fraca dado por (W). b) Agora u assumido ser uma soluo fraca. Ento u ; conseqentemente u(1)=g, e
w, x u ,x dx = wfdx + w(0)h
0 0
(G.15)
Provar que u uma soluo de (S) suficiente mostrar que (G.15) implica em (estas equaes so algumas vezes chamadas de equao de Euler-Lagrange da formulao fraca):
i. u , xx + f = 0 em ; e ii. u , x (0) + h = 0
Primeiro, prova-se (i). Define w em (G.15) por w = ( u,xx + f) (G.16)
onde suave; (x)>0 para todo x = ]0, 1[; e (0) = (1) = 0. Por exemplo, pode-se tomar (x) = x(1-x), o qual satisfaz todos os requisitos estipulados. Segue que w(1) = 0 e ento w , assim (G.16) define uma funo membro legtima de . Substituindo (G.16) em (G.15) resulta em
0 = (u , xx + f ) 2 dx + 0 " "! 0
0
(G.17)
Desde que > 0 em , segue-se de (G.17) que (i) deve ser satisfeito. Agora que se tem estabelecido (i), passa-se a usar (G.15) para provar (ii), assim 0 = w(0)[u,x(0)+h] (G.18)
V-se que w no impem qualquer restrio no seu valor em x = 0. Portanto, pode-se assumir que o w em (G.18) tal que w(0) 0. Ento (ii) est tambm satisfeita, a qual completa a prova da proposio.
86
a( w, u ) = w, x u , x dx
0
(G.19) (G.20)
( w, f ) = wfdx
0
Em termos de (G.19) e (G.20), a equao variacional toma a forma a(w,u) = (w,f) + w(0)h (G.21)
Aqui, a(.,.) e (.,.) so exemplos de formas bilineares simtricas. O que isso significa como se segue: sejam c1 e c2 constantes e u, v e w funes. Ento as propriedades de simetria so a(u,v) = a(v,u) (u,v) = (v,u) (G.22) (G.23)
Bilinearidade significa linearidade em cada termo nos parnteses; por exemplo, a(c1u + c2v, w) = c1a(u,w) + c2 a(v,w) (c1u + c2v, w) = c1(u,w) + c2 (v,w) (G.24) (G.25)
87
As notaes anteriores so muito concisas; e ao mesmo tempo elas compreendem aspectos matemticos essenciais que conduzem para o entendimento matemtico da variao e do Mtodo dos Elementos Finitos. Diversas classes de problemas fsicos em engenharia podem ser escritas de maneira similar a (G.21).
(G.26) (G.27)
onde o significado preciso dado em parnteses. Conseqentemente, de (G.26) e (G.27) so respectivamente que se uh h e wh h, ento uh(1) = g wh(1) = 0 (G.28) (G.29)
As colees , , h , e h, so freqentemente referenciadas como espao de funes. A terminologia espao em matemtica usualmente conota uma estrutura linear. Este tem o seguinte significado: se c1 e c2 so constantes e v e w esto em , ento c1v + c2w est tambm em . Ambos e h so assim vistos possuindo as propriedades do espao linear. Contudo, essas propriedades no so claramente compartilhadas por e h devido a no homogeneidade das condies de contorno. Por exemplo, u1 e u2 so membros de , ento u1 + u2 , uma vez que u1(1) + u2(1) = g + g = 2g em violao a definio de . Contudo, a terminologia de espao de funes ainda aplicada para e h. Mtodo (Bubnov-) Galerkin Assume-se que o conjunto h seja dado. Ento, para cada membro vh h, constri-se uma funo uh h tal que uh = vh + gh (G.30)
onde gh uma funo dada satisfazendo a condio de contorno essencial, isso , gh(1) = g (G.31)
(G.32)
Assim (G.30) constitue uma definio de h; que , h so todas as funes da forma de (G.30). O ponto importante a observar que, acima disto s funes gh, h e h so compostas de conjuntos idnticos de funes. Agora escreve-se a equao variacional, da forma (G.21), em termos de uh h e wh h: a(wh,uh) = (wh,fh) + wh(0)h (G.33)
Essa equao considerada como definindo uma soluo aproximada (fraca), uh. Substituindo (G.30) em (G.33), e a bilinearidade de a(.,.) possibilita escrever: a(wh,uh) = (wh,f) + wh(0)h a(wh,gh) (G.34)
O lado direito consiste totalmente de termos associados com dados fornecidos (isso , f, g, e h). A equao (G.34) usada para definir vh, a parte desconhecida de uh. A forma (Bubnov-) Galerkin do problema, denotada por (G) representada como se segue:
Dado f, g, e h, como antes, achar u h = v h + g h , onde v h h , tal que para todo w h h (G ) a ( w h , v h ) = ( w h , f ) + w h ( 0) h a ( w h , g h )
Note que (G) justamente uma verso de (W) em termos de uma coleo de funes com dimenses finitas em h. O mtodo de Bubnov-Galerkin comumente referenciado como simplesmente mtodo de Galerkin, terminologia que se adotar para frente. A equao (G.34) algumas vezes referida como Equao de Galerkin. O mtodo de aproximaes do tipo considerado so exemplos do chamado Mtodo dos Resduos Ponderados.
(G.35)
As NAs so referidas com funes de forma, base ou interpolao. Requer-se que cada NA satisfaa NA(1) = 0, A = 1, 2, ...., n (G.36)
89
Da qual segue por (G.35) que wh(1)=0, como necessrio. h dito ter dimenses n por razes obvias. Para definir membros de h necessita-se especificar gh. Para esse fim, introduz-se uma outra funo de forma Nn+1: R, a qual tem a seguinte propriedade Nn+1(1) =1 (Note Nn+1 h.) Ento gh dado por gh = g Nn+1 e ento gh(1) = g Com essas definies, um tpico uh h pode ser escrito como
u h = v h + g h = d A N A + gN n+1
A =1 n
(G.37)
(G.38)
(G.39)
(G.40)
onde os dAs so constantes e das quais aparente que uh(1)=g. Substituindo (G.35) e (G.40) na Equao de Galerkin tem-se, n a c A N A , d B N B = B =1 A=1 n n n c A N A , f + c A N A (0) h a c A N A , gN n +1 A=1 A=1 A=1
n
(G.41)
(G.42)
onde
G A = a ( N A , N B )d B ( N A , f ) N A (0)h + a ( N A , N n +1 ) g
B =1 n
(G.43)
Agora a equao de Galerkin garantida para todo wh h. De (G.35), isso significa para todo cAs, A = 1,2,...,n. Uma vez que os cAs so arbitrrios em (G.42), necessariamente segue que cada GA, A = 1,2,...,n, deve ser identicamente zero isto de (G.43)
a( N
B =1
, N B )d B = ( N A , f ) N A (0)h + a ( N A , N n +1 ) g
(G.44)
Note que todos os termos so conhecidos em (G.44) exceto os dBs. Ento (G.44) constitue um sistema de n equaes e n incgnitas. Este pode ser escrito numa forma
90
mais concisa como se segue: Tem-se KAB = a(NA, NB) FA=(NA, f) + NA(0)h a(NA, Nn+1) g Ento (G.44) torna
n
(G.45) (G.46)
K
B =1
AB
d B = FA , A = 1,2, ..., n
(G.47)
K 11 K 21 . K = [ K AB ] = . . K n1
F1 F 2 . F = {FA } = . . Fn 1 F n
K 12 K 22 . . . K n2
. . . . . .
. . . . . .
. K 1n . K 2n . . . . . . . K nn
(G.48)
(G.49)
d1 d 2 . d = {d B } = . . d n
Agora (G.47) pode ser escrita com Kd = F
(G.50)
(G.51)
As seguintes terminologias so freqentemente aplicadas, especialmente quando o problema sobre considerao pertence a um sistema mecnico: K = Matriz de Rigidez F = Vetor de Foras d = Vetor Deslocamentos
91
Uma variedade de interpretaes fsicas so possveis. Neste ponto, pode-se representar a matriz equivalente, (M), do problema de Galerkin. Dados a matriz de coeficiente K e o vetor F, achar d tal que (M ) Kd = F A soluo de (M) , claro, justamente d = K-1.F (assumindo a inversa de K, K-1, existente). Uma vez que d conhecido, a soluo (G) pode ser obtida em qualquer ponto x , empregando (G.40), assim,
u h ( x) = d A N A ( x) + gN n+1 ( x)
A=1 n
(G.52)
Do mesmo modo, derivadas de uh, se requeridas, podem se obtidas pela diferenciao termo por termo. Deve ser enfatizado, que a soluo (G) uma soluo aproximada de (W). Conseqentemente, a equao diferencial e as condies de contorno naturais so apenas aproximadamente satisfeitas. A qualidade da aproximao depende das escolhas de NAs e do nmero de n. Observaes: 1. A matriz K simtrica. Isso segue da simetria de a(.,.) e do uso do mtodo de Galerkin (que , as mesmas funes formas so usadas para as variaes e solues admissveis): KAB = a(NA,NB) = a (NB,NA) = KBA Em notao matricial K = KT (G.54) (G.53)
Onde o sobre-ndice T denota a matriz transposta. A simetria de K tem importantes conseqncias computacionais. 2. Vai-se relembrar os passos seguidos para o problema matricial, j que eles so tpicos do processo que se deve desenvolver na soluo de um dado problema usando o Mtodo dos Elementos Finitos:
( S ) (W ) (G ) ( M )
(G.55)
A nica aproximao aparentemente feita est na resoluo aproximada de (W) via (G). Em situaes mais complexas encontradas na prtica, o nmero de aproximaes aumenta. Por exemplo, os dados f, g e h podem ser aproximados, como tambm o domnio , clculo de integrais e assim por diante. Prova de convergncia e anlise de erros envolvem consideraes de cada aproximao. 3. algumas vezes conveniente escrever
92
u h ( x) = N A ( x)d A
A=1
n +1
(G.56)
onde dn+1 = g.
(G.57)
x2 x , h1 x xn N n +1 ( x) = , hn N1 ( x) =
x1 x x 2 x n x x n +1
(G.58) (G.59)
As funes de forma so esboadas na figura G.2. Por razes obviais, elas so referenciadas alternativamente como funes chapu ou telhado. Note que NA(xB)=AB, onde AB o delta de Kronecker (isso , AB=1 se A=B, caso contrario AB=0 se AB). Em palavras, NA tem o valor de 1 no n A e 0 em todos os outros ns. Alm do mais, NA no zero somente no subintervalo que contm xA.
93
Figura G.2 Funes Base para o espao de elementos finitos lineares Piecewise. Um tpico membro wh h tem a forma
c
A=1
Note que wh contnua mas tem descontinuidades de declive (ou na derivada) em cada elemento de fronteira. Por essa razo, wh,x, derivada generalizada de wh, ir ser constante em pedaos (Piecewise), experimentando descontinuidades entre os elementos de contorno ou fronteira. (Tal funo chamada algumas vezes de uma funo de passo generalizado.) Restringindo-se a cada elemento do domnio, wh um polinmio linear em x. Em relao as condies de contorno essenciais homogneas, wh(1)=0. Claramente, wh identicamente zero se e somente se cada cA=0, A=1,2,...,n.
Figura G.3 Um tpico membro wh h. Membros tpicos de h so obtidos pela adio de gh = g Nn+1 a membros tpicos de h. Isso assegura que uh(1)=g. As funes de elemento finito linear Piecewise so mais simples e mais largamente usadas por funes de elementos finitos em problemas unidimensionais. Exemplo: Considere a formulao fraca do problema no modelo unidimensional:
w
0
,x
u , x dx = wfdx + w(0)h
0
(G.60)
94
onde w e u so assumidos ser suave nos interiores dos elementos (isso , ]xA, xA+1[, A=1,2,... n), mas podem sofrer descontinuidades de declive entre os elementos de contorno. (Funes desta classe contm o espao de elementos finitos lineares Piecewise descritos anteriormente.) De (G.60) e assumindo continuidade das funes, mostra-se que:
n x A +1
0=
A =1 x A
(G.61)
Pode ser concludo que as condies de Euler-Lagrange de (G.61) so i. u,xx(x)+f(x)=0, onde x]xA, xA+1[ e A = 1,2, ...,n, ii. u,x(0+)=h; e iii. u,x(xA-)=u,x(xA+), onde A= 2,3,..., n. Observe que (i) a equao diferencial restrita a elementos interiores, e (iii) uma condio de continuidade entre os elementos de contorno. Isso pode ser contrastado com o caso no qual a soluo assumida suave. Neste caso a condio de continuidade identicamente satisfeita e o somatrio das integrais sobre os elementos interiores pode ser trocada por uma integral sobre todo domnio. Na formulao de elementos finitos de Galerkin, uma soluo aproximada de (i)-(iii) obtida.
K AB = N A, x N B , x dx = 0 " " ! 0
0
(G.62)
NA
NB
A A+1 B Figura G.4 Se B > A+1, a poro diferente de zero de NB e NA no faz sobreposio. A simetria de K implica, adicionalmente, que (G.62) garantida para A > B+1. E dito que K semidiagonal (isso , seus valores diferentes de zero esto em uma banda sobre a diagonal principal). A figura G.5 mostra essa propriedade. Matrizes Semidiagonais tm vantagens significantes uma vez que os elementos zeros fora da banda no so armazenados e nem operados pelos computadores. A matriz rigidez obtida na anlise de elementos finitos, em geral, a estreita banda, conduz ela mesma a uma formulao e soluo mais econmica.
95
. . . k11 k12 0 k 0 . . 21 k 22 k 23 0 k 32 k 33 k 34 0 . . . . . . K= . . . 0 k n 2,n 3 k n 2,n 2 k n 2,n 1 . . 0 k n 1,n 2 k n 1,n 1 . 0 . . . 0 k n ,n 1 Figura G.5 Estrutura de Banda de K.
k n 1,n k nn
0 . . . 0
Definio: Uma matriz A n x n dita ser definida positiva se i. cTAc 0 para todo vetor c de ordem n; e ii. cTAc = 0 implica em c=0. Observa-se: 1. Uma matriz definida positiva e simtrica possui uma nica inversa. 2. Os autovalores de uma matriz definida positiva so reais e positivos. Teorema: A matriz K n x n definida em (G.45) definida positiva. Prova: i. Seja cA, A= 1, 2, ..., n, e os componentes de c (isso , c={cA}), um vetor n arbitrrio. Usa-se estes cAs para construir um membro de h, w h = A=1 c A N A ,
n n
A, B =1
c A K AB c B =
A, B =1
a ( N A , N B )c B
(Definio de K AB )
) ( w !dx
h 2 ,x
0 (Por (2.19))
(w
0
h 2 ,x
) dx = 0
e conseqentemente wh deve ser constante. Uma vez que wh h, wh(1)=0. Combinando estes fatos, conclui-se que wh(x)=0 para todo x [0, 1], o qual possvel somente se cada cA = 0, A = 1,2,...,n. Ento c=0. Note que parte (ii) depende da definio de K e das condies de contorno essenciais zeros construda dentro da definio de h.
96
Resumindo: K definido por (G.45), i. Simtrico ii. Semidiagonal iii. Definida Positiva A conseqncia prtica das propriedades acima uma soluo computacional de Kd=F muito eficiente.
Em palavras, um elemento finito linear justamente a totalidade da parafernlia associada com as funes uh restritas para o domnio dos elementos. As quantidades acima so em termos dos parmetros globais chamados de coordenadas globais,
97
funes de forma globais, ordenao de ns globais e assim por diante. Passa-se agora a introduzir um conjunto de quantidades locais, correspondentes a umas globais, tal que clculos para um tpico elemento podem ser padronizados. Estes so dados a seguir: Elementos Finitos Lineares (Descrio Local) (l1) Domnio: [1, 2] (l2) Ns: {1, 2} (l3) Graus de Liberdades: {d1, d2} (l4) Funes de Forma: {N1, N2} (l5) Funes de Interpolao: uh() = N1()d1 + N2()d2 Note que na descrio local, a numerao dos ns comea com 1. Relacionam-se os domnios da descrio global e local por uma transformao afim :[xA, xA+1] [1, 2], tal que (xA) = 1 e (xA+1) = 2. Isso padronizado na prtica tomando 1 = -1 e 2 = +1. Ento pode ser representado pela expresso
(x) = c1 + c2 x
onde c1 e c2 so constantes na qual so determinados por 1 = c1 + x A c 2 1 = c1 + x A+1c 2 Solucionando esse sistema chega-se
(G.63)
(G.64)
( x) =
2 x x A x A+1 hA
(G.65)
(G.66)
Em (G.63), um mapeamento e x um ponto, ao contrario em (G.66) x um mapeamento e um ponto. Na seqncia, adota-se a notao convencional na qual os sub-indices a,b,c,... pertencem ao sistema de numerao local. Os sub-indices A,B,C,... iro sempre pertencer ao sistema de numerao global. Para controlar a proliferao de notaes, usa-se a mesma notao para o sistema local e global (por exemplo, da e dA ou Na e NA). Isso geralmente no deve causar confuso pois o contexto ir tornar claro qual o ponto de vista que esta sendo adotado. Se h perigo de confuso, um sobre-indice e ir ser introduzido para denotar uma quantidade com descrio local associada com o nmero do elemento e (por exemplo, dae=dA, Nae()=NA(xe()), onde xe:[1, 2] [x1e, x2e]= [xA, xA+1], etc.). Em termos de , as funes de forma na descrio local tomam a forma padro Na() = (1 + a)/2, a = 1,2 (G.67)
98
(G.68)
Essa tem a mesma forma que as funes de interpolao. Por referncia, nota-se o seguinte resultado:
a (1) a N a , = = 2 2 e h x,e = 2
onde he = x2e x1e e 2 ,ex = ( x,e ) 1 = e h
(G.69) (G.70)
(G.71)
Coordenadas dos ns Figura G.7 Os Elementos e seus Ns. Agora relembrando da definio (global) das matrizes de rigidez e do vetor fora K = [K AB ], !
n n
F = {FA } {
n1
(G.72)
onde
K AB = a( N A , N B ) = N A, x N B , x dx
0
(G.73)
1 1
(G.74)
Em (G.73) assumiu-se NA(x1)=A1 , como para o espao de elementos finitos lineares Piecewise. As integrais sobre [0,1] podem ser escritas como a soma de integrais sobre os elementos do domnio. Ento
K = Ke,
e =1 nel
nel
e K e = K AB
[ ]
(G.75) (G.76)
F = Fe,
e =1
e F e = FA
{ }
onde
e K AB = a( N A , N B ) e =
A, x
N B , x dx
(G.77)
FAe = ( N A , f ) e + e1 A1 h a( N A , N n +1 ) e g =
N
e
e e = [x1e, x2e], o domnio do zimo elemento. Uma observao importante h fazer que K e F podem ser construdos pela soma das contribuies das matrizes e vetores dos elementos, respectivamente. Pela definio de NAs, tem-se que KABe=0, se A e ou e+1 e e FA =0, se A e ou e+1 ou B e ou e+1 (G.79) (G.80)
100
A situao para um elemento tpico, e, mostrado na figura G.8. Na prtica, no se deve claro, adicionar os zeros mas meramente adicionar os termos diferentes de zeros na locao apropriada. Para esse propsito muito til definir a matriz de rigidez para o zimo elemento ke e o vetor forca elemento fe como se segue:
e k e = k ab , { 2 2
[ ]
f e = {f ae } {
21
(G.81) (G.82)
e k ab = a( N a , N b ) e =
N
e
a, x
N b, x dx
(G.83)
Figura G.8 Xs indica termos diferentes de zero; todos os outros termos so zeros. Aqui ke e fe so definidos com respeito ordenao local, onde Ke e Fe so definidos com respeito ordenao global. Para determinar onde os componentes ke e fe iro ficar em K e F, respectivamente, requer informaes adicionais. Isso discutido no item seguinte.
101
se a = 1 e A = LM (a, e) = e + 1 se a = 2
(G.84)
A matriz completa LM mostrada na figura G.9 esse o modo usado para se armazenar nos computadores. Note que LM(2, nel)=0. Isso indica que o grau de liberdade 2 do elemento nmero nel prescrito e no conhecido na equao da matriz global. n nel nel Portanto os termos k12el , k 21 , k 22 , e f 2nel no so montados em K e F respectivamente.
Nmero de $""""" Elemetos""""" " " 1enel % & 1 2 3 ... e ... nel 1 nel Nmero 1 e ... n 1 n 1 2 3 ... de ns Locais 2 2 3 4 ... e + 1 ... n 0
Como no exemplo, assume-se querer adicionar a contribuio do zimo elemento, onde 1 e nel-1, para a parcialmente montada K e F. Da matriz LM, deduz o seguinte procedimento de montagem:
e K ee K ee + k11
(G.85)
e 12
K e ,e +1 K e,e +1 + k
Fe Fe + f 1e Fe +1 Fe +1 + f 2e
onde a seta () lida com trocado por. Devido simetria k21e no deve ser montado na prtica. Para o elemento nel tem-se apenas
n K nn K nn + k11el
(G.91) (G.92)
Fn Fn + f
nel 1
Com estas idias, pode-se construir, esboando um modelo, um algoritmo para montar K e F; Na figura G.10.
102
Algoritmo | Ler dados de entrada | Aprontar a matriz LM | Coloca os Zeros Armazenados em K e F | e=1 | repita | | Forma ke e fe. | | Usa a matriz LM para adicionar os componente de ke e fe na | | locao apropriada de K e F, respectivamente. | | ee+1 | at e > nel Fim Algoritmo Figura G.10 Esboo de um algoritmo para a montagem de elementos finitos. A ao do algoritmo de montagem denotada pelo smbolo U, operador de montagem, isso ,
K = 7 (k e ),
e =1
nel
F = 7( f e )
e =1
nel
(G.93)
a11 x1 + a 12 x 2 + . . . + a 1n x n = b1 a x + a x + . . . + a x = b 22 2 2n n 2 21 1 . . . . a ) . . . . . . . . a n1 x1 + a n 2 x 2 + . . . + a nn x n = bn
ou
b) A. X = B
a11 a12 . . . a 1n a a 21 22 . . . a 2n . A= , . . a n1 a n 2 . . . a nn
b 1 b 2 . B= . . b n
x 1 x 2 . X= . . x n
103
Diversos mtodos numricos so disponveis na resoluo de um sistema linear. Destaque pode ser dados as duas classes abaixo, devido facilidade de implementao computacional e a sua simplicidade matemtica: Mtodos Diretos (Baseados no Escalonamento de Matrizes): - Mtodo de Jordan; - Mtodo de Gauss; - Mtodo da Pivotao Parcial e - Mtodo da Pivotao Completa. Mtodos Iterativos: - Mtodo de Jacobi; - Mtodo de Gauss-Seidel e - Mtodo SOR (Sucessive Over Relaxation). Nota-se que para os mtodos iterativos tem a restrio de seu critrio de convergncia : | a ii |= | a ij | . Em certos casos extremos pode-se at usar anlise de
i =1 i j n
sistemas mal condicionados e refinamento de sistemas lineares. Alm disso, alguns mtodos s podem ser aplicados a sistemas especiais como por exemplo o mtodo de Cholesky no qual a matriz A deve ser simtrica.
104
Bibliografia
[1] HRENNIK OFF. A. Solution of problems in elasticity by frame work method. Journal of Appied Mechanics. Vol. 8, N 4, pp. 169-175, Dec, 1941. [2] MCHENRY, D. A lattice analogy for the s olution of plane stress Problems. Journal of Institution of Civil Engineers. Vol. 21, pp. 59-82, Dec, 1943. [3] COURANT, R., Variational methods for the solution of problems of Equilibrium and Vibrations. Bulletin of the American Mathematical Society. Vol. 49, pp. 1-23, 1943. [4] LEVY, S., Computation of influence coeficients for aircraft structures with discontinuities and sweepback. Journal of Aeronautical Sciences. Vol. 14, N 10, pp. 547-560, Oct, 1947. [5] LEVY, S. Structural analysis and influence coefficients for delta wings. Journal of Aeronautical Sciences, Vol 20, N 7, pp. 449-454, July, 1953. [6] ARGYRIS, J.H., Energy Theorems and structural analysis. Aircraft Engineering, Oct., Nov., Dec, 1954; and Feb, Mar, Apr, May, 1955. [7] ARGYRIS, J. H. & KELSEY, S. Energy theorems and structural Analysis, Butterworths. London, 1960 (collection of papers published in Aircraft Engineering in 1954 and 1955). [8] TURNER, M. J. & CLOUGH, R. W. & MARTIN, H. C. & TOPP, L. J. Stiffness and deflection analysis of complex structures. Journal of Aeronautical Sciences. Vol. 23, No. 9. Pp.805-824, Sept, 1956. [9] CLOUGH, R. W., The finite Element Method in Plane Stress Analysis. Proceedings. American Society of civil Engineers, Journal . 2nd Conference on Eletronic Computation, Pittsburgh, PA, pp. 345-378, Sept, 1960. [10] MELOSH, R. J., A stiffness matrix for the analysis of thin plates in bending. Journal of the Aerospace Sciences. Vol. 28, N 1, pp. 3442, Jan. 1961. [11] GRAFTON, P. E., & STROME, D. R. Analysis of axisymmetric shells by the direct stiffness methods. Journal of American Institute of Aeronautics and Astronautics. Vol.1, N 10, pp. 2342-2347, 1963. [12] MARTIN, H. C. Plane elasticity problems and the direct stiffness Methods. The trend in Engineering. Vol. 13, pp. 5-19, Jan, 1961. [13] GALLAGHER, R. H. & PADLOG, J. & BIJLAARD, P. P. Stress Analysis of heated complex shapes. Journal of the American Rocket Society. Vol. 32, pp. 700-707, May, 1962. [14] MELOSH, R. J. Structural analysis of solids. Journal of Structural Division. Proceedings of the American Society of Civil Enginners, pp. 205-223, Aug. 1963. [15] ARGYRIS, J. H., Recent advances in matrix methods of structural analysis. Progress in Aeronautical Science, Vol. 4, Pergamon Press, New York, 1964. [16] CLOUGH, R. W. & RASHID, Y. Finite element of axisymmetric Solids. Journal of the Enginnering Mechanics Division. Proceedings of the American Society of Civil Engineers, Vol. 91, pp. 71-85, Feb, 1965.
105
[17] WILSON, E. L. Structural analysis of axisymmetric solids. Journal of the American Institute of Aeronautics and Astronautics, Vol. 3, N 12, pp. 2269-2274, Dec. 1965. [18] TURNER, M. J. & DILL, E. H. & MARTIN, H. C. & MELOSH, R. J. Large deflections of structures subjected to heating and external Loads. Journal of Aeronautical Sciences. Vol. 27, N 2, pp. 97-107, Feb 1960. [19] GALLAGHER, R. H., AND PADLOG, J., Discrete element approach to structural stability analysis. Journal of the American Institute of Aeronautics and Astronautics. Vol. 1, N 6, pp. 1437-1439, 1963. [20] ZIENKIEWICZ, O. C. & WATSON, M. & KING I. P. A Numerical methods of visco-elastic stress analysis. International Journal of Mechanical Sciences, Vol. 10, pp. 807-827, 1968. [21] ARCHER, J. S. Consistent matrix formulations for structural analysis using finite-element techniques. Journal of the American Institute of Aeronautics and Astronautics. Vol. 3, N 10, pp. 1910-1918, 1965. [22] ZIENKIEWICZ, O. C. & CHEUNG, Y. K. Finite elements in the solution of field problems. The Enginner. pp. 507-510, Sept. 24, 1965. [23] MARTIN, H.C. Finite element analysis of fluids flows. Proceedings of the Second Conference on Matrix Methods in Structural Mechanics, Wright-Patterson Air Force Base, Ohio, pp. 517-535, Oct, 1968. (AFFDL-TR-68-150, Dec. 1968; AD-703-685, N.T.I.S.) [24] WILSON, E. L. & NICKEL, R. E. Application of the finite element methods to heat conduction analysis. Nuclear Engineering and Design. Vol. 4, pp 276-286, 1966. [25] SZABO, B. A. & LEE, G. C. Derivation of stiffness matrices for problems in plane elasticity by Galerkins Methods. International Journal of Numerical Methods in Enginneering. Vol. 1, pp. 301-310, 1969. [26] ZIENKIEWICZ, O. C., & PAREKH. C. J., Transient field problems: two-dimensional and three-dimensional analysis by isoparametric finite elements. International Journal of Numerical Methods in Enginnering. Vol. 2, N 1, pp. 61-71, 1970. [27] LYNESS, J. F. & OWEN, D. R. J. & ZIENKIEWICZ, O. C. Threedimensional magnetic field determination using a scalar potential. A finite element solution. Transactions on Magnetics. Institute of Eletrical and Electronics Engineers, pp. 1649-1656, 1977. [28] BELYTSCHKO, T. A Survey of numerical methods and computer programs for dynamic structural analysis. Nuclear Engineering and Design. Vol. 37, N 1, pp. 23-34, 1976. [29] BELYTSCHKO, T. Efficient Large-Scale Nonlinear Transient Analysis by Finite Elements. International Journal of Numerical Methods in Enginnering. Vol. 10, N 3, pp. 579-596, 1976. [30] HUISKIES, R. & CHAO, E. Y. S. A survey of finite elements analysis in orthopedic biomechanics: The First Decade. Journal of Biomechanics. Vol. 16, N 6, pp. 385-409, 1983. [31] JOURNAL OF BIOMECHANICAL ENGINNERING. Transactions of american society of mechanical engineers. ( published quarterly ) (1st issue published 1977).
106
[32] KARDESTUNCER, H., ed. Finite element handbook. New York:: McGraw- Hill, 1987. [33] CLOUGH, R. W. The finite element method after twenty-five years: a personal view. Computers and Sctructures. Vol. 12, N 4, pp. 361370, 1980. [34] LOGAN, DARYL L. A. First course in the finite element methods using algor. Boston: PWS Publishing Company,1997. [35] FENNER, T. ROGER,. Finite element methods for engineers. Imperial London: Colleges Press, 1975. [36] BASTOS, JOO PEDRO ASSUMPO, Eletromagnetismo e clculo de campos. 3 ed., Florianpolis: Editora da UFSC, 1996. [37] SABONNADIRE, JEAN - CLAUDE & COULOMB, JEAN - LOUIS. Elementos finitos e CAE. So Paulo, 1993. [38] BUCHANAN, GEORGE R. Finite element analysis, Schaums OutLines, McGraw-Hill, New York, 1994. [39] CARDOSO, JOS ROBERTO. Introduo ao mtodo dos elementos finitos. So Paulo: Publicao Independente, 1996. [40] REDDY, J. N. An Introduction to the finite element method, 2nd Edition Texas. McGraw-Hill International Editions: Texas, 1993. [41] ZIENKIEWICZ, O. C. The finite element methods. 3rd ed. London: McGraw-Hill, 1977. [42] MOREIRA, DANIEL AUGUSTO. Didtica do ensino superior tcnicas e tendncias. Rio de Janeiro: Editora Pioneira, 1997. [43] PEREIRA, LUIZ TEIXEIRA & BAZZO, W. ANTNIO. Ensino de engenharia Na Busca de seu Aprimoramento. Florianpolis: Florianpolis: Editora da UFSC, 1997. [44] GODOY, ARILDA SCHIMIDT. Didtica para o ensino superior. Editora IGLU, So Paulo, 1986. [45] GARCIA, MARIA MANUELA ALVES. A Didtica no ensino superior. So Paulo: Editora Papirus, 1994. [46] BORDEMAVE, JUAN DIAZ & PEREIRA, ADAIR MARTINS. Estratgias de ensino e aprendizagem. 15 Edio, So Paulo: Editora Vozes, 1995. [47] RIBEIRO, ELILSON EUSTQUIO. Clculo de campos eletrostticos laplacianos atravs do mtodo dos elementos finitos. Orientador: Prof. Rodney Resende Saldanha Dissertao de Mestrado, Belo Horizonte UFMG, 1987. [48] RAMIREZ, JAIME ARTURO; Gerao automtica de malha para clculo de campos eletrostticos e magnetostticos bidimensionais atravs do mtodo dos elementos finitos. Orientador: Prof. Jos Celso Borges de Andrade; Dissertao de Mestrado defendida em 22/05/90. Universidade Federal de Minas Gerais UFMG Belo Horizonte, 1990. [49] GONZALES, MANUEL LOUSADA Y. Propriedade matemtica dos elementos finitos para o clculo de campo magnticos. Orientador: Prof. Renato Cardoso Mesquita. Dissertao de Mestrado defendida em 11/08/95. Universidade Federal de Minas Gerais. Belo Horizonte, 1995. [50] MESQUITA, RENATO CARDOSO. Clculo de campos eletromagnticos tridimensionais utilizando elementos finitos: magnetosttica, quase esttica e aquecimento indutivo. Tese de Doutorado. Universidade
107
Federal de Florianpolis UFSC. Florianpolis, 1990. [51] LAMBERT, J. D. Computational methods in ordinary differential equations. Dundee: Wiley Series, 1972. [52] BARROSO, LONIDAS CONCEIO; BARROSO, MAGALI M. A.; CAMPOS, FREDERICO FERREIRA; CARVALHO, MRCIO L. B. & MAIA, MIRIAM LOURENO. Clculo numrico com aplicaes. 2 ed. Belo Horizonte: Editora Harbra, 1987. [53] DIANESE, ANTNIO. Computao e simulao analgica e hbrida. 2 ed., Rio de Janeiro: Guanabara Dois, 1984. [54] CHAPRA, STEVEN C. & CANALE, RAYMOND P. Numerical methods for engineers with programming and software applications. 3rd Edition. McGraw-Hill International Editions, 1997. [55] CARNAHAN, BRICE; LUTHER, H. A. & WILKES, JAMES O. Applied numerical methods. New York:: John Wiley & Sons, 1969. [56] HAMMING, R. W., Numerical methods for scientists and engineers. 2nd Edition, New York: Dover Publications, 1962. [57] KRAUS, JOHN D. & CARVER, KEITH R. Eletromagnetismo. 2 Edio, Rio de Janeiro: Guanabara Dois, 1978. [58] ASSAN, ALOISIO ERNESTO. Mtodos dos elementos finitos. primeiros passos. (em portugus) 1 Ed., Campinas: Editora da Unicamp, 1999. [59] CLUDIO, DALCIDIO MORAES & MARINS, JUSSARA MARIA. Clculo numrico computacional teoria e prtica. 2 Ed., Rio de Janeiro: Editora Atlas, 1994. (Em Portugus). [60] LAMBERT, J. D. Computational methods in ordinary differential equations. Dundee: Wiley Series, 1972. [61] DIANESE, ANTNIO, Computao e simulao analgica e hbrida. 1 Ed. (em portugus). Rio de Janeiro: Guanabara Dois, 1982. [62] CURTIS, F. G.& PATRICK, W. Applied numerical analysis. 6nd Edition. New York: Addison-Wesley Longman, 1999. [63] FERREIRA, AURLIO, Dicionrio aurlio bsico da lngua portuguesa, Editora Nova Fronteira S/A. Rio de Janeiro, 1988. [64] ALVES, AVELINO. Elementos finitos. A base da tecnologia CAE, So Paulo: Editora rica, 2000. [65] BRENNER, SUSANNE C. & SCOTT, L. RIDGWAY. The mathematical theory of finite element methods. New York: Springer-Verlag, 1994. [66] ARIS, RUTHERFORD. Mathematical Modelling Techniques. New York: Dover Publications, Inc, 1994. [67] MIKHLIN. Variational methods in mathematical physics. Mac Millan, 1964. [68] PINTO, JOS CARLOS & LAGE, PAULO LARANJEIRA DA CUNHA, Apostila de mtodos numricos em problemas de engenharia. Rio de Janeiro: COPPE/UFRJ, 1998. [69] SAGAN, HANS. Introduction to the calculus of variations. New York: Dover Publication. Inc., 1969. [70] WEINSTOCK, ROBERT. Calculus of variations with applications to physics and enginneering. New York: Dover Publications, Inc.,1970. [71] HANSELMAN, DUANE AND LITTLEFIELD, BRUCE. MatLab 5 guia do usurio Verso do Estudante (em portugus) 1 Ed. Makron Book, 1998.
108
[72] THE MATHWORKS. Partial Differential Equation Toolbox for Use with Matlab. Inc. New York, 1997. [73] REECE, A B. J., PRESTON, T. W. Finite Element Methods in Electrical Power Engineering. NewYork: Oxford University Press, 2000. [74] SILVERTER, P. P; CHARI, M. V. K. Finite solution of saturable magnetic field problems. IEEE Transaction on PAS, 89(7): 1642-50, Sep./Oct.1970. [75] JANISZEWSKI, J. M. Mtodo dos elementos finitos aplicados a problemas de campos eletromagnticos estticos. Universidade de So Paulo. 215p. Tese (Doutorado) Escola Politcnica. So Paulo, 1978. [76] HUGHES, THOMAS J. R. The Finite Element Methods Linear Static and Dynamic Finite Element Analysis. Prentice-Hall International, Inc. New Jersey, 1987.
109