Mtodo de diferenas e elementos finitos para soluo de EDPs

Disciplina: Seminrio de Dinmica Orbital I Professor: Mrio Csar Ricci Aluno: Alexandre Carvalho Leite

Mtodo de diferenas e elementos finitos para soluo de EDPs

Aspectos introdutrios Aproximaes em diferenas finitas Aproximaes em diferenas finitas 2-D Aproximaes em elementos finitos Mtodo de Resduos Ponderados (MWR) Mtodo Galerkin Mtodo do Subdomnio Mtodo da Vizinhana (collocation) Exemplo Mtodos MWR Referncias Bibliogrficas

Aspectos introdutrios

Aspectos introdutrios

u ux = x
u u xx = 2 x
2

u uy = y
u u xy = xy
2

Aspectos introdutrios Considere a seguinte EDP:

a (.)u x + b(.)u y = c(.)

Se:

(.) ( x, y ) u x + bu y = 0
Linear

(.) ( x, y, u ) 2 u x + uu y = x
Quasi-linear

(.) ( x, y, u , u x , u y ) u x + (u y ) = 0
2

No-linear

Aspectos introdutrios Condies iniciais e Condies de contorno. Seja a EDP, para x > 0, 0 < y < 1:
u x = u yy ,

u (0, y ) = f ( y ) x=0 0 < y <1

Condies iniciais

u ( x, 0) = ( x) y=0 x0
Condies de contorno

u ( x,1) = ( x) y=0 x0

Aspectos introdutrios Considere a EDP abaixo:

Au xx + 2 Bu xy + Cu yy + Du x + Eu y + F = 0

A B Z B C

Aspectos introdutrios

Para Z positiva definida, a EDP elptica. Para |Z| < 0, a EDP hiperblica. Para |Z| = 0, a EDP parablica.

Aproximaes em diferenas finitas

Operador Diferena para frente Diferena para trs Diferena central Deslocamento Mdia Smbolo Representao de diferenas

ur = ur +1 ur
ur = ur ur 1
ur = ur +1/ 2 ur 1/ 2
Eur = ur +1

ur +1/ 2 + ur 1/ 2 ur = 2

Aproximaes em diferenas finitas

Como:

Eur = ur +1
E=e
hD

Onde D um operador diferencial.

hD = ln E
1 2 1 3 ln E = + " 2 3

Aproximaes em diferenas finitas

Aps manipulaes do tipo h2D2, h3D3, h4D4 e assim por diante, obtm-se:

1 2 1 3 2 + 3 " ur 1 2 1 3 hu x |r = + + + " ur 2 3 1 1 3 5 + u " r 3! 30

Aproximaes em diferenas finitas

Derivada Aproximao em diferenas finitas Ordem de erro

u x |r

ur +1 ur ur ur 1 , h h
ur +1 ur 1 2h

O ( h)
O(h )
2

u xx |r

ur + 2 + 16ur +1 30ur + 16ur 1 ur 2 O ( h 4 ) 2 12h

Aproximaes em diferenas finitas 2-D

O mtodo visto anteriormente pode ser estendido para muitas aproximaes de diferenas finitas para u(x,y). Os novos conceitos envolvem o uso de ur,s ao invs de ur. Deve-se lembrar que uma derivada parcial com relao a x, considera-se y como constante.

ur , s x ur , s y

u x |r , s = u y |r , s =

ur +1, s ur , s h ur , s +1 ur , s k

+ O ( h)

+ O(k )

Aproximaes em diferenas finitas 2-D

Agora a representao em diferenas finitas para ux,y:

u u u xy |r , s = |r , s = |r , s xy x y u 1 u u 2 |r , s = |r +1, s |r 1, s + O(h ) x y 2h y y
2

Aproximaes em diferenas finitas 2-D

Agora a representao em diferenas finitas para ux,y:

ur +1, s +1 ur +1, s 1 k 2 + u yyy |r +1, s + " 1 2 k 2 3! u xy |r , s = + O(h ) 2 2h ur 1, s +1 ur 1, s 1 k + u yyy |r 1, s + " 2k 3!

Aproximaes em diferenas finitas 2-D

Introduzindo uma aproximao de diferena central da forma:

1 2 | | ( ) u xyyy |r , s = u u " O h + + yyy r +1, s yyy r 1, s 2h

Ficamos com:

1 2 u xy |r , s = 2 ur +1, s +1 ur 1, s +1 ur +1, s 1 + ur 1, s 1 + O(h ) 4h

Note a ordem de erro. Essa forma obtida ao considerar h = k.

Aproximaes em diferenas finitas 2-D

Este mesmo raciocnio pode ser usado para derivadas no espao 3D ou 3D mais o tempo. Como no exemplo abaixo:

u zz |r , s ,t =

ur , s ,t +1 2ur , s ,t + ur , s ,t 1 l
2

+ O(l )
2

Aproximaes em elementos finitos

Em contraste com mtodos de diferenas finitas, o domnio de interesse dividido em subdomnios ao invs de pontos discretos:

Diferenas finitas

Elementos finitos

Mtodo de Resduos Ponderados (MWR)

Neste mtodo a funo u(.) substitudo por uma aproximao em sries finitas (.),

u (.) (.) = U j j (.)

j =1

j (.), j = 1, 2," , N
Conjunto de funes definidas no domnio do tempo e do espao.

U j (.), j = 1, 2," , N Coeficientes indeterminados.

Mtodo de Resduos Ponderados (MWR)

A funo desejada u(.) pode ento ser escrita da seguinte forma:

(.) = U 00 + U j j (.)
j =1

N 1

As funes j so escolhidas de forma a serem polinmios que satisfaam certas condies de contorno do problema em questo.

Mtodo de Resduos Ponderados (MWR)

Substituindo (.) na EDP, Lu-f = 0: Resduo

L (.) f = R (.)

O objetivo selecionar os coeficientes indeterminados U j tal que o resduo seja minimizado de alguma maneira. O que se faz da seguinte maneira:

R(.)dVdt = 0
t V

Gerando assim uma equao para os N coeficientes U j desconhecidos.

Mtodo de Resduos Ponderados (MWR)

O que resulta em n equaes independentes:

R(.)w (.)dVdt = 0
i t V

i = 1, 2,..., N

Que a equao que descreve o MWR e uma multiplicidade de variaes que surge desta nica expresso pela definio das funes peso wi .

Mtodo Galerkin
No mtodo Galerkin a funo peso escolhida como funo base:

R(.) (.)dVdt = 0
i t V

i = 1, 2,..., N

Exige-se que as funes base sejam membros de um conjunto completo de funes. Porque um conjunto completo de funes pode representar qualquer funo de uma determinada classe. o caso de uma srie.

Mtodo Galerkin
Representao esquemtica uni-dimensional de funes peso para o presente mtodo: W 1.0

e+1

A funo peso est sobreposta na funo base.

Mtodo do Subdomnio
Neste mtodo, a funo peso escolhida para ser unitria na subregio Vi para a qual definida e zero em caso contrrio:

R(.)w (.)dV = 0
i

Onde:

wi =

1, ( x, y, z ) 0, ( x, y, z )

em Vi fora de Vi

Mtodo do Subdomnio
Neste mtodo, a funo peso escolhida para ser unitria na subregio Vi para a qual definida e zero em caso contrrio: W 1.0

e+1

Mtodo da Vizinhana (collocation)

Este mtodo o mais simples de se implementar dentre os MWR. A funo peso obedece a funo delta de Dirac:

wi = ( x xi )
Note que:

t V

a (.) ( x xi , y yi , z zi , t ti )dVdt a |xi , yi , zi ,ti

Ento as limitaes de ortogonalidade so um enunciado matemtico que os resduos desaparecem em cada ponto de vizinhana (xi, yi, zi, ti).

Mtodo da Vizinhana (collocation)

Neste caso, s se calcula o valor do resduo nos pontos selecionados. O que no requer integrao e gera as N equaes necessrias para avaliar os coeficientes indeterminados Ui. A preciso deste mtodo depende da localizao dos pontos de vizinhana. W 1.0

e+1

Exemplo Mtodos MWR

O exemplo ser aplicado a uma EDO, porm a aplicao deste direta para EDPs. O problema a taxa de resfriamento de um objeto com temperatura T em um ambiente temperatura Te. Seja:

dT + k (T Te ) = 0 dt

Onde: T = temperatura do objeto Te = temperatura do ambiente t = tempo k = uma constante de proporcionalidade

Exemplo Mtodos MWR

Vamos calcular a mudana de temperatura dentro do intervalo de tempo [0;1]. A condio inicial T = 1 quando t = 0. E os parmetros restantes k = 2 e Te = .

1 .5

0 .25 .5 .75 1 Funes base

Exemplo Mtodos MWR

i =

t ti 1 , ti ti 1 ti +1 t , ti +1 ti

ti 1 t ti

ti t ti +1

Exemplo Mtodos MWR

Definindo a funo teste:
^ 3

T T = T j j (t )
j =1

Pela definio de j , T j o valor de T no ponto nodal j. Aplicando:

R(t )wi (t )dt = 0

t
^

i = 1, 2,3

^ dT Onde: R (t ) + k (T Te ) dt

Exemplo Mtodos MWR

E substituindo:
^ 3

T T = T j j (t )
j =1

R(t )w (t )dt = 0
i t

Obtm-se:
3 d j + k j kTe wi (t )dt = 0 T j t j =1 dt

i = 1, 2,3

Exemplo Mtodos MWR

E ento tem-se trs equaes, para cada uma das trs funes peso, e trs parmetros indeterminados Tj. Utilizando Galerkin:
1 d j + k j i dt = kTei dt Tj 0 0 dt j =1 3 1

Exemplo Mtodos MWR

Expandindo, avaliando as integrais e representando na forma matricial:

k 1 + 3 k 1 1 + 2 6 0

k 1+ 0 6 1 k 2k T2 = 1+ 3 6 T 3 k k 1 + 1+ 6 3

kTe 2 1 kT e 2 kTe 2

Exemplo Mtodos MWR

O resultado depende das duas equaes selecionadas. Selecionando 2a e 3a: [T1 T2 T3] = [1, 0.678, 0.571] Selecionando 1a e 3a: [T1 T2 T3] = [1, 0.625, 0.550] Selecionando 1a e 2a: [T1 T2 T3] = [1, 0.625, 0.625] Soluo analtica: [T1 T2 T3] = [1, 0.684, 0.568]

Exemplo Mtodos MWR

Agora utilizando o mtodo do subdomnio para determinar as funes peso para o mesmo problema:

wi =

1, 0,

ti + ti 1 ti + ti +1 t 2 2
Caso contrrio

Exemplo Mtodos MWR

Substituindo a funo peso:

wi =

1,
0,

t i + t i 1 t + ti +1 t i 2 2

Caso contrrio

3 d j + k j kTe wi (t )dt = 0 T j t j =1 dt

Exemplo Mtodos MWR

Avaliando as integrais e rearmando na forma matricial:

3k 1 + 8 1 k 1 + 2 8 0

k 1+ 0 8 1 3k k 1+ T2 = 4 8 T 3 k 3k 1 + 1+ 8 8

kTe 2 1 kT e 2 kTe 2

Exemplo Mtodos MWR

E novamente o resultado depende da escolha das equaes. Selecionando 2a e 3a: [T1 T2 T3] = [1, 0.684, 0.579] Selecionando 1a e 3a: [T1 T2 T3] = [1, 0.600, 0.543] Selecionando 1a e 2a: [T1 T2 T3] = [1, 0.600, 0.680] Soluo analtica: [T1 T2 T3] = [1, 0.684, 0.568]

Exemplo Mtodos MWR

Agora utilizando o mtodo de vizinhana. Onde basta substituir a funo peso pela funo delta de Dirac:

T
j =1

j t

d j + k ( j Te ) (t ti )dt = 0 dt

i = 1, 2,3
Escolhendo a localizao dos pontos: Se um for colocado em t = 0, a condio inicial elimina um coeficiente desconhecido. Os pontos restantes podem ser localizados em qualquer lugar dentro dos intervalos ]0;0.5[ e ]0.5;1[

Exemplo Mtodos MWR

Escolhendo t = 0.25 e t = 0.75

1 2 + k 2 0

0 k 2+ 2 k 2 + 2

0 1 1 0 T2 = kTe T3 kT k 2+ 2

Exemplo Mtodos MWR

Gerando a seguinte soluo: [T1 T2 T3] = [1, 0.667, 0.555] Soluo analtica: [T1 T2 T3] = [1, 0.684, 0.568]

Referncias Bibliogrficas
Lapidus, L.; Pinder, G. F. Numerical Solutions of Partial Differential Equations. John Wiley & Sons (London), ISBN 0471098663 Eric W. Weisstein. "Partial Differential Equation." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/PartialDifferentialEquation.html Eric W. Weisstein et al. "Elliptic Partial Differential Equation." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/EllipticPartialDifferentialEquation.html Eric W. Weisstein. "Orthogonal Functions." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/OrthogonalFunctions.html Aziz, A. K.; Wingate, J. W.; Balas, M. J. Control Theory of Systems Governed by Partial Differential Equations. Academic Press 1977, ISBN 0120686406 Greenspan, D. Introduction to Partial Differential Equations. McGraw-Hill 1961. ISBN 0471511943