COPPE/UFRJ, P ROGRAMA DE E NGENHARIA C IVIL

Trabalho de Galerkin Descontnuo

Rafael Mendes Leal

Vincius da Costa Reis
16 de Fevereiro de 2017

1
 1 I NTRODUO
Em elementos finitos, problemas que apesentam perturbaes singulares ou ainda descontinuidades que impliquem em regies de
gradientes elevados, quando avaliados por formulao Galerkin Contnuo (GC), apresentam oscilaes esprias que se propagam a
partir do contorno ou de camadas internas. A propagao destas oscilaes em certos problemas acaba por tornar intil o resultado
obtido. Como alternativa, a formulao de Galerkin Descontnuo (GD) admite descontinuidades nos espaos de aproximao e
variao em cada trecho do contorno interno gerado pela partio do domnio, i.e. malha. O relaxamento da continuidade destes
espaos, alm de previnir a ocorrncia das oscilaes, apresenta uma melhor taxa de convergncia para solues contnuas de
problemas equivalentes.
So examinadas as duas propriedades-chaves necessrias convergncia: consistncia e coercividade. O problema proposto
para a anlise foi o de difuso-adveco-reao de um campo escalar em regime permanente. A continuidade hiptese neces-
sria para a coercividade e aqui assumida como verdadeira, sem que seja feita sua demonstrao. Por no se tratar de problema
transiente no necessrio examinar a estabilidade da integrao temporal. Todas as trs condies de contorno possveis so exa-
minadas: Dirichlet, Neumann e Robin. A anlise feita para o formulao de Galerkin Clssica Descontnuo (GCD)e a formulao
Galerkin Mnimos Quadrados Descontnuo (GMQD).
Como ser visto as formas bilineares e funcionais que exprimem o problema original na forma variacional possuem termos
que no surgem naturalmente da formulao de Galerkin clssica ou da descontinuidade admitida. Estes termos so artifcios
adotados que no violam a consistncia do problema, representam um resduo nulo na situao limite de convergncia para o
campo soluo, e, por fim, garantem a coercividade ou consistncia do problema.

2 D EFINIO DO P ROBLEMA A NALISADO

Considere um conjunto aberto no espao cartesiano Rs (s 1) limitado e que possui contorno Lipschitz contnuo por partes.
Pode-se definir os subconjuntos disjuntos D , N e R onde so prescritas as condies de contorno de Dirichlet, Neumann e
Robin respectivamente, tal que D N R = . Alm disso, define-se a funo de medida de Lebesgue para hiperfcies de Rs e
o conjunto = .
Podemos ento definir o problema de valor de contorno forte para difuso-adveco-reao de um campo escalar como:

Dado
1
D H 1 (), C 0 (), f L 2 (), g H 2 (D ) C 0 (D ), q L 2 (N ), C 0 (R ), r L 2 (R ),
u [H ()]s [C 0 ()]s

tais que

D a D D b , a b , ( 12 u) c > 0 em , a b em R

para

D b D a > 0, b a > 0, c > 0, e b a > 0,

encontre tal que,

(D()) + u () + = f , q.t.p.1 em . (1)

e,

= g em D , se (D ) > 0, (2)
D() n = q em N , se (N ) > 0, (3)
D() n + = r em R , se (R ) > 0, (4)

Adicionalmente define-se o conjunto ,u = {x ; u n 0, ,u D }, onde n o vetor unitrio normal a orientado para fora
de .
1 q.t.p.: quase todo ponto

2
 Figura 1: Ilustrao do fluxo u

3 F ORMULAO G ALERKIN D ESCONTNUO

3.1 F ORMA VARIACIONAL F RACA
A formulao do problema variacional equivalente se d assumindo uma soluo aproximada. O erro desta aproximao ponde-
rado por uma funo e integrado em todo domnio da funo, de maneira que o resduo resultante seja nulo, conforme abaixo:
Z
D + u + f d = 0

(5)

As restries necessrias aproximao so relaxadas ao se integrar por partes o primeiro termo da expresso (5). O procedi-
mento consiste em integrar no domnio a identidade,

D = D + D

(6)

resultando na seguinte identidade,

Z Z Z
D d = D d D d

(7)

Aplicando-se ento o teorema da divergncia (teorema de Gauss),

Z Z
D d = D n d

(8)

chegamos expresso da forma variacional fraca equivalente,

Z Z
D + u + f d D nd = 0 (9)

ou ainda,

Z Z Z Z Z
D d + u d + d + f d + D nd = 0 (10)

Para se definir o problema variacional fraco equivalente, algumas condies impostas so relaxadas e o conjunto de aproxima-
o S passa a ser { H 1 (); = g em D , se (D ) > 0} e o espao de variaes V a ser { H 1 (); = 0 em D , se (D ) > 0}.
As condies de contorno passam ento a ser consideradas no termo correspondente integral no contorno . Em D , quando
impostas condies de Dirichlet forte, a funo peso nula.

Z
D nd = 0 (11)
D
Z Z
D nd = qd (12)
N N
Z Z Z
D nd = r d + d (13)
R R R

3
 Adicionalmente definimos a partio M h = {1 , . . . , Ne } como o conjunto formado por subconjuntos disjuntos e abertos, em
Ne
que cada subconjunto e (e = 1, . . . , Ne ), os chamados elementos, possui contorno e , e a relao ( ) = e=1 (e e ) obser-
vada.
Define-se nos contornos de cada elemento os conjuntos: e,D = e D ; e,N = e N ; e,R = e R e, para tratamento futuro
do termo advectivo, define-se ,u
e = {x e ; u ne < 0} e tambm ,u
e,
= e ,u .
O problema variacional avaliado sobre uma partio M h assume ento a seguinte forma:

Ne Z Ne Z Ne Z Ne Z
D e e e d + u e e d + e e d + f e d +
X X X X
e=1 e e=1 e e=1 e e=1 e
(14)
Ne Z
D e e e nd = 0
X
e=1 e

Levando em considerao as condies de contorno definidas em (11), (12) e (13), a mesma equao assume a forma:

Ne Z Ne Z Ne Z Ne Z
D e e e d + u e e d + e e d + f e d +
X X X X
e=1 e e=1 e e=1 e e=1 e
(15)
Ne Z Ne Z Ne Z
q e d + r e d + e e d = 0
X X X
e=1 e,N e=1 e,R e=1 e,R

Apesar de extensa, a equao (15) apresentada desta forma para referncia futura, objetivando a pronta distino dos termos
advindos da formulao GC e os introduzidos pela GD.

3.2 F ORMULAO VARIACIONAL D ESCONTNUA

A formulao GCD tem como fundamento a relaxao da necessidade de continuidade do campo no conjunto dos contornos
internos gerados pela partio M h , que no pertencem ao contorno de . Este conjunto chamado i nt e definido conforme a
seguir:

= ; hiperfcie de e , e {1, . . . , Ne }

(16)
0 = { ; } (17)
i nt
[
= (18)
0

Tambm definimos para dois elementos vizinho e e e 0 , e seus contornos e e e 0 o conjunto:

e,i nt = e i nt (19)
ee 0 = e e 0 (ee 0 ) > 0 (20)
,u
ee 0
= e,e 0 ,u
(21)

Desta forma para L 2 (i nt ) temos a identidade:

Ne
1X
Z X Z
d = e d (22)
i nt 2 e=1 0 ee 0
ee 0

Apesar de ser admitida a descontinuidade de em i nt a condio de contorno abaixo, induzida pela introduo dos contornos
internos da partio M h , deve ser imposta a fim de se respeitar o princpio da continuidade.

De ne + De 0 ne 0 = 0 em ee 0 , se (ee 0 ) > 0 (23)

Desta forma, pode-se dar incio formalizao da formulo GCD definindo-se as formas bilineares

4
 Z
a h,d ,e (, ) = D e e e d (24)
e
Z
a h,u,e (, ) = (u e ) e d (25)
e
Z
a h,,e (, ) = e e d (26)
e
Z
a h,r,e (, ) = e e d (27)
e,R
(28)

associadas um elemento de uma dada partio (M h ), e tambm a forma bilinear

Ne h i
a h (, ) = a h,d ,e (, ) + a h,u,e (, ) + a h,,e (, ) + a h,r,e (, )
X
(29)
e=1

associada a todo o domnio particionado.

Tambm so definidos os funcionais

Z
b h,V,e () = f e d (30)
e
Z
b h,N ,e () = q e d (31)
e,N
Z
b h,R,e () = r e d (32)
e,R

associados a um elemento da mesma partio, e tambm o funcional

Ne h i
b h () = b h,V,e () + b h,N ,e () + b h,R,e ()
X
(33)
e=1

associado todo domnio particionado.

possvel notar a imediata correspondncia de cada um dos termos definidos aqui queles definidos em (15).
Quando usarmos o termo gradiente, no contorno de um elemento estaremos nos referindo implicitamente ao gradiente esten-
dido

(ext )e = e em e e , e (34)
Para a considerao dos resduos introduzidos como consequncia da descontinuidade de em i nt , necessrio introduzir o
parmetro
Z 2
h e De ne d




e

k
sup Z
2 ; e P ( e ); e =
6 0
D e d




e
e,k = (35)
1/

para garantia da coercividade, onde > 0 uma constante real definida convenientemente para o problema examinado e

Z 1
s
he = d (36)
e

denominado dimetro do elemento.

5
 Definimos tambm
0 0 0
ee ,k = e e,k = sup{e,k , e ,k } (37)
e

h ee 0 = h e 0 e = i n f {h e , h e 0 } (38)
Desta forma define-se as formas bilineares

X Z
q h,u,e,i nt ,0 (, ) = ,u
|u ne |JKee 0 e d (39)
ee 0 0 ee 0
0
1 X ee ,k
Z
q h,e,i nt ,0 (, ) = JKee 0 JKee 0 d (40)
2 0 0 ee 0 h ee 0
ee

1 X
Z
q h,e,i nt ,1
(, ) = {Dext }n,ee 0 JKee 0 d (41)
2 0 0 ee 0
ee

que correspondem contribuio para o fluxo numrico entre um elemento e e seus vizinhos e 0 em ee 0 . O termo (39) est
relacionado ao termo advectivo de (15).

A forma bilinear

Ne h i
a h,i nt (, ) = q h,u,e,i nt ,0 (, ) + q h,e,i nt ,0 (, ) + q h,e,i nt ,1 (, ) q h,e,i nt ,1 (, )
X
(42)
e=1

est associada ao fluxo numrico em todo o domnio particionado. A constante {1, 1} introduzida com objetivo de tornar
este termo simtrico ou antissimtrico de acordo com o problema examinado.

Tambm so definidas as formas bilineares

Z
h,e,,u ,0
q (, ) = |u ne |e e d (43)
,u
e,

e,k
Z
q h,e,D ,0 (, ) = e e d (44)
e,D he
Z
q h,e,D ,1 (, ) = (De ne ) e d (45)
e,D

associadas condio de Dirichlet fraca. Esta condio de contorno ocorre em detrimento da condio de Dirichlet forte, e
consiste em permitir que no seja necessariamente igual g em D .

A forma bilinear

Ne h i
,u ,0
a h,D (, ) = q h,e, (, ) + q h,e,D ,0 (, ) + q h,e,D ,1 (, ) q h,e,D ,1 (, )
X
(46)
e=1

est associada ao fluxo derivado desta condio em D . De forma anloga, o termo (43) est relacionado ao termo advectivo de
(15) e escolhida convenientemente para tornar o termo simtrico ou antissimtrico de acordo com o problema examinado.

Tambm so definidos os funcionais

e,k
Z
b h,D,e () = g e Dg ne e D e ne g d

(47)
e,D he
Z
b h,u,e () = |u ne |g e d (48)
,u
e,

associados um elemento de M h e o funcional

6
 Ne h i
b h,D () = b h,D,e () + b h,u,e ()
X
(49)
e=1

associado D . O funcional (48) derivado do termo advectivo.

Portanto, para o problema de valor de contorno apresentado, a formulao GCD : Dados

A h,GD (, ) = a h (, ) + a h,D (, ) + a h,i nt (, ) (50)

h,GD h h,D
B () = b () + b () (51)

Encontre h S h,k tal que

A h,GD (h , h ) = B h,GD (h ), h V h,k . (52)

3.2.1 C ONSISTNCIA

A verificao da consistncia feita ao demonstrar que a soluo exata para o problema (1) tambm soluo do problema
variacional (52), portanto o que se deve mostrar que

A h,GD (, h ) B h,GD (h ) = 0 (53)

Nota-se a partir de (10) que os termos agrupados em a h e b h naturalmente atendem a esta condio, portanto

a h (, h ) b h () = 0. (54)
h,i nt
Alm disso a funo salto (em ) est presente em cada um dos termos agrupados em a , e como a soluo exata do campo
no possui descontinuidade,

a h,i nt (, h ) = 0. (55)
Portanto o atendimento (53) passa a depender apenas da avaliao de a h,D e b h,D . A partir de suas respectivas definies
nota-se que

Ne h i
,u ,0
a h,D (, h ) b h,D (h ) = q h,e, (e , he ) + q h,e,D ,0 (e , he ) + q h,e,D ,1 (e , he ) q h,e,D ,1 (he , e ) b h,D,e (he ) b h,u,e (he ) ,
X
e=1
(56)

que identicamente nula caso cada soma dos termos em cada elemento do somatrio tambm seja nula. Desta forma deve-se
verificar que,

,u ,0
q h,e, (e , he ) + q h,e,D ,0 (e , he ) + q h,e,D ,1 (e , he ) q h,e,D ,1 (he , e ) b h,D,e (he ) b h,u,e (he ) = 0, (57)

ou ainda, utilizando-se a definio de cada termo num elemento e, que

e,k
Z Z Z Z
|u ne |e he d + e he d (De ne )he d + (Dhe ne )e d
e, ,u
e,D h e e,D e,D
(58)
e,k h
Z Z Z Z
h
h
,u |u ne |g e d g e d + Dg ne e d Dhe ne g d = 0,

e, e,D h e e,D e,D

Visto que a soluo exata restrita ao elemento e atende condio de contorno em D e he nulo em ,u ,u D , nota-se
que todas as integrais se anulam e portanto (53) atendida.

7
 3.2.2 C OERCIVIDADE

Para que o problema (52) seja bem posto necessrio que ele seja coercivo. Para o caso examinado, verificada a coercividade forte
utilizada no Teorema de Lax-Milgram. Assumida a continuide verificamos que existe C 1 > 0 tal que

h,GD
(, ) C 1 kk2 ; V (59)

A

O precedimento consiste em definir uma norma induzida por um produto interno composto por alguns termos simtricos da
forma bilinear (50) e verificar que todos os demais termos so limitados inferiormente de forma que a desigualdade (59) no seja
violada. Sendo assim observamos que, quando escolhemos = 4 na definio de e,k (35), temos

Ne h i 1X Ne Z
,u ,0
a h,r,e (, ) + a u,h,e (, ) + a ,h,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) D2e d 0
X
e=1 4 e=1 e

O somatrio dos demais termos formam um produto interno, chamado de , GD (81). Observamos tambm que a h,u,e , q h,u,e,i nt ,0 ,

,u,0
q h,e, verificados em conjunto com a h,,e formam um termo simtrico (80) includo no produto interno.

Como primeira etapa da verificao, motivados pela identidade

Z
q h,e,D ,1 (, ) q h,e,D ,1 (, ) = (1 )(D e ne ) e d (60)
e,D

pode-se tomar a desigualdade de Young (102) e definir seus termos convenientemente de forma que

Z e,k 1/2
1/2 !

Z
h

e
(D e ne ) e d =

(D n ) d

e e e

e,D e,k


e,D he
(61)
e,k
1 h e 1 2
Z Z
2
D e ne d + e d
2 e,D e,k 2 e,D h e

Pelo rearranjo da definio de e,k (35) e pelo fato de que e,D e , verifica-se as desigualdades

1 1 1
Z Z Z
2 2 2
h e D e ne d e,k h e D e ne d D e d

(62)
e,k e,D e e

que ao ser substituida no primeiro termo do lado esquerdo da inequao (61) gera a inequao

e,k 2
Z
1 1
Z Z
2
(D e ne ) e d e d

D e
d +

e,D 2 e 2 e,D h e

Fazendo o somatrio nos elementos, multiplicando por (1 ) e tomando partido da desigualdade triangular temos
( )
N Ne e,k
e 1X 1
X Z Z Z
2 2
(1 ) (D e ne ) e d (1 ) D e d + e d

(63)

e=1 e,D 2 e=1 e e,D h e

que aps ser multiplicando por 1 chega-se

( )
N Ne
e 1 1 e,k 2
X Z Z
h,e,D ,1 2
(1 )q (, ) (1 ) D e d + e d
X
(64)

e=1

e=1 2 e e,D h e

que indica que o termo limitado inferiormente.

8
 A avaliao de q h,e,i nt ,1 feita de forma semelhante, partindo-se da identidade
1 X
Z
q h,e,i nt ,1 (, ) q h,e,i nt ,1 (, ) = (1 ) D n,ee 0 JKee 0 d

2 ( 0 0 ) ee 0
ee

1 X 1
Z
= (1 ) D e ne + D e 0 ne JKee 0 d

2 ( 0 0 ) ee 0 2 (65)
ee
Z
1 X
Z
= (1 ) D e ne JKee 0 d + D e 0 ne0 JKe 0 e d

4 ( 0 0 ) ee 0 ee 0
ee

pode-se utilizar a desigualdade de Young (102) com seus termos convenientemente definidos, chegando-se expresso

Z 0
!1/2
2h ee 0 1/2 ee ,k
Z
D e ne JKee 0 d = 0 d

D n

e e ee

0
ee 0 ee ,k
J K

ee 0 2h ee 0
0
(66)
1 2h ee 0 d + 1 ee ,k
Z Z
2 2
0 D e n e JKee 0 d .
2 ee 0 ee ,k 2 ee 0 2h ee 0

que ao ser aplicada a desigualdade triangular no somatrio dos elementos e 0 para um elemento e fixo, nos d

0
ee ,k
Z
1 2h ee 0 X 1Z
Z
2 2
D e ne JKee 0 d d + JKee 0 d .
X X

0 ,k D e n e (67)
(ee 0 0 )

ee 0 (ee 0 0 )
2 ee 0 ee
(ee 0 0 ) 2 ee 0 2h ee 0

h ee 0 he
A partir da definio (35), (36), (37) e (38) pode-se chegar a inequao que aplicada ao primeiro termo do lado 0
e,k ee ,k
direito da inequao acima, junto com a segunda desigualdade da inequao (62) nos d a relao

h ee 0 d 1 1
Z Z Z
2 2 2
h e D e ne d D e d

0 ,k D e ne (68)
e ee e,k e e

Levando em considerao que ee 0 e obtemos a relao utilizada,

2h ee 0 2h ee 0 d 2
Z Z Z
2 2 2
d D e d
X
0 ,k D e ne 0 ,k D e ne (69)
(ee 0 0 ) ee 0 ee e ee e

Logo, se avaliadas as equaes (67) e (69) para dois elementos e e e 0 temos a relao

Z
1 2 e 2 d + 2
Z Z Z
2
D e ne JKee 0 d + D e 0 ne0 JKe 0 e d D e 0 d +
X
D
(ee 0 0 ) ee 0 ee 0 2 e e 0

0 0 (70)
ee ,k e e,k
Z Z
2 2
JKee 0 d + J Ke 0 e d
X
( 0 0 ) ee 0 2h ee 0 ee 0 2h e 0 e
ee

1
multiplicando por (1 ) chegamos expresso que limita inferiormente (65),
4
0
" Z !#
1 4 ee ,k
Z
h,e,i nt ,1
2 2
(1 )q (, ) (1 ) D e d + JKee d
X
2 0 (71)
4 e ( 0 0 ) ee 0 2h ee 0
ee

desta forma podemos avaliar o limite inferior para o termo em toda partio do domnio conforme abaixo,

0
" #
Ne Ne
1 4 ee ,k
Z X Z
h,e,i nt ,1 2 2
(1 )q (, ) (1 ) D e d + JKee 0 d .
X X
(72)
e=1

e=1 4 e ( 0 0 ) ee 0 h ee 0 ee

A terceira etapa da verificao se inicia com a avaliao de a h,u,e e a h,,e . A partir da identidade

(u2 ) = ( u)2 + 2(u ) (73)

9
fazendo uso do teorema da divergncia e separando o contorno entre os trechos em que o fluxo difusivo positivo e negativo,
possvel desenvolver a sequncia de identidades a seguir:

1 1
Z Z Z
2
(u e + e ) e d = u e d + (u e e )d
e e 2 2 e
Z
1 1
Z
2 2
= u e d + u ne e d (74)
e 2 2 e
Z
1 1 1
Z Z
2 2 2
u e d |u ne | e d + |u ne | e d

=
e 2 2 e,u 2 e+,u

possvel tambm desenvolver uma segunda identidade a partir da definio da funo salto, do fato de que o fluxo positivo de
um elemento vizinho e 0 pode ser considerado o fluxo negativo de um elemento e e que ,u
ee 0
= e+,u
0 e , veja a figura 1. Desta forma a
identidade parte de trs termos que sero desenvolvidos na equao (80).

1 1 1
Z Z Z Z
2 2
|u ne | JKee 0 e d |u ne | e d + |u ne0 | e 0 d = |u ne | 2JKe,e 0 e 2e + 2e 0 d

,u
2 ,u
0 2 +,u
0 2 ,u0
ee 0 ee e e ee
1
Z
|u ne | 2e 2 e e 0 + 2e 0 d

=
2 ,u0
ee
(75)
1
Z
2
|u ne | e e 0 d

=
2 ,u
ee 0
1
Z
= |u ne | JK2ee 0 d
2 ,u0
ee

Portanto, a partir da definio temos que

Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
Ne Z
1 1 1
Z Z
2 2 2
u e d |u ne | e d + |u ne | e d
X
(76)
e=1 e 2 2 e,u 2 e +,u

Z Z #
2
+ ,u |u ne | e d + |u ne | JKee 0 e d
X

,u
e, (ee 0 0 ) ee 0

Se considerarmos que

,u = ,u ,u
X
e e,
ee 0
(ee 0 0 )
(77)
e+,u = +,u +,u
X
e,
ee 0
(ee 0 0 )

podemos reescrever a identidade (76) como

Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
Ne Z

1
u 2e d
X
e=1 e 2
1 1 X
Z Z Z
|u ne |2e d |u ne |2e d + ,u |u ne |2e d (78)
2 ,u
e,
2 ( 0 0 ) 0 ,u
e,
ee ee

1 1
Z Z
|u ne |2e d + |u ne |2e d
X
+
2 +,u 2 ( ) +,u
e, ee 0 0 ee 0
#
X Z
+ ,u
|u ne | JKee 0 e d
(ee 0 0 ) ee 0

10
que tambm pode ser reescrita como

Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
"
Ne Z
1 1 1
Z Z
u 2e d + 2
|u ne |2e d
X
|u n e | e d + (79)
e=1 e 2 2 ,u
e,
2 +,u
e,
!#
1 1
Z Z Z
2 2
|u ne | e d + |u ne | e d + ,u |u ne | JKee 0 e d
X
+
( 0 0 ) 2 ,u0 2 +,u0 0
ee ee ee ee

e finalmente utilizando (75) como

Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
Ne
"Z # (80)
1 1 1 1 X
Z Z Z
2 2 2 2
u e d + |u ne | e d + |u ne | e d + |u ne | JKee 0 d ,
X
e=1 e 2 2 ,u
e,
2 +,u
e,
2 ( 0 0 ) ,u0
ee ee

Dessa forma podemos notar que cada um dos quatro termos tratados nesta etapa quadrtico.

Definido o produto interno

Ne h i
,u
, GD = a h,u,e (, ) + a h,,e (, ) + a h,r,e (, ) + q h,e, ,0 (, ) + q h,e,i nt ,u,0 (, ) .
X
(81)
e=1

podemos verificar que para o caso em que = 1 temos,

Ne Ne Ne Ne
A(, ) = , q h,e,D ,0 (, ) + q h,e,i nt ,0 (, ) + (1 1)q h,e,D ,1 (, ) + (1 1)q h,e,i nt ,1 (, )
X X X X
GD +
e=1 e=1 e=1 e=1
Ne Z Ne 0 (82)
e,k 2 1 X ee ,k
Z
= kk2 + e d + JK2ee 0 d .
X X
e=1 e,D he 2
e=1 0 0 ee 0 h ee 0
ee

Como as duas parcelas restantes so maiores do que zero ou nulas,

Ne Z
e,k 2
e d 0
X
e=1 e,D h e
Ne 0 (83)
1 X ee ,k
Z
JK2ee 0 d 0.
X
2
e=1 0 0 ee 0 h ee 0
ee

(59) satisfeita.

Para que o caso em que = 1, ainda utilizando o mesmo produto interno, notamos que

Ne h i
A(, ) = kk2 + a h,d ,e (, ) + q h,e,D ,0 (, ) + q h,e,i nt ,0 (, ) + 2q h,e,D ,1 (, ) + 2q h,e,i nt ,1 (, )
X
(84)
e=1

Utilizando as desigualdades (64) e (72), e fixando-se = 4 podemos dizer que

11
 Ne i
,u ,0
[ a h,r,e (, ) + a u,h,e (, ) + a ,h,e (, )+ q h,e, (, ) + q h,e,i nt ,u,0 (, )
X
e=1
0
" #
Ne Z
e,k 2 1 X ee ,k
Z Z
2
D e e d + d + J e Kee 0 d
X

e=1 e e,D he 2 0 0 ee 0 h ee 0
ee
(85)
Ne Ne e,k
1
Z Z
D2e d 2e d
X X

4 e=1 e e=1 e,D h e
Ne Z Ne 0
1X 1X X Z ee ,k
D2e d JK2ee 0 d
2 e=1 e 2 e=1 ( 0 0 ) ee 0 h ee 0
ee

que ao ser simplificada nos d,

Ne h i 1X Ne Z
,u ,0
a h,r,e (, ) + a u,h,e (, ) + a ,h,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) D2e d 0
X
(86)
e=1 4 e=1 e

que nos permite concluir que (59) atendida.

4 F ORMULAO G ALERKIN M NIMOS QUADRADOS D ESCONTNUO

O desenvolvimento da fomulao GLS para o problema proposto inicia-se com a definio do parmetro

h e |u|
Pe = (87)
2D e
P e chamado nmero de Peclet, e o parmetro que mede num problema difusivo-convectivo se localmente, restrito a um
elemento, o fluxo convectivo dominante. Para P e > 1 ocorre a dominncia do fluxo convectivo, caso contrrio a dominncia do
difusivo.
Definimos ento o parmetro

0, se P e 1
e =

1 , (88)
1 , caso contrrio
Pe

de forma que

1 h e |u|

1 , se P e 1

e D e = P e 2P e , (89)
0, caso contrrio

e que utilizado na definio da forma bilinear

e h e
Z
a h,LS,e (, ) = De + u e + e D e + u e + e d

(90)
e |u|

definida em H b,2 (M h ) H b,2 (M h ), e o funcional linear

e h e
Z
b h,LS,e () = f D e + u e + e d

(91)
e |u|

definido em H b,2 (M h ).

12
 Desta forma temos que para toda a partio do domnio

Ne
A h,LS (, ) = a h,LS,e (, )
X
e=1 (92)
h,GD,LS h,GD GD,LS
A (, ) = A (, ) + A (, )

Ne
B h,LS () = b h,LS,e ()
X
e=1 (93)
h,GD,LS h,GD h,LS
B () = B () + B ()

e assim, formulao GLS para o problema (1)

Encontre h S h,k tal que

A h,GD,LS (h , h ) = B h,GD,LS (h ), h V h,k . (94)

4.1 C ONSISTNCIA DA FORMULAO GLS

h,GD h,GD
Verificada a consistncia de termo A eB (h ), a consistncia da fomulao GLS passa a depender apenas da consistncia
h,LS h,LS
de A eB .
Portanto, a partir de suas definies podemos verificar que,

Ne Z
e h e n h i h io
AGD,LS (, h )B GD,LS (h ) = D + u + Dhe + u he + he f Dhe + u he + he d
X
e=1 e |u|
(95)

que ao ser retrabalhada nos d,

Ne Z
e h e h i
AGD,LS (, h ) B GD,LS (h ) = De + u e + e f Dhe + u he + he d
X
e=1 e |u|
(96)
Ne Z
e h e h i
(0) Dhe + u he + he d = 0
X
=
e=1 e |u|

4.2 C OERCIVIDADE DA F ORMULAO G ALERKIN D ESCONTNUO GLS PARA P ROBLEMAS D IFUSIVOS -

C ONVECTIVOS E SCALARES EM UMA A DEQUADA N ORMA
Semelhantemente (59), se existe C 1 > 0, e verificado que

h,GD,LS 2
(, ) C 1 kkGLS ; V h,k (97)

A

podemos concluir que o problema coercivo.

Podemos ento definir a norma,

, GLS = , GD + A h,LS (, )

onde , GD o produto interno definido em (81), de maneira que, definidos os termos

2
= , GD

kkGD
(98)
kk2LS = A h,LS (, )

13
podemos definir a soma como sendo

2 2
kkGLS = kkGD + kk2LS . (99)

Desta forma, tomando proveito de (82) ou (84), podemos afirmar que

h,GD,LS
(, ) = A h,GD (, ) + A h,LS (, ) kkGD
2
+ kk2LS = kkGLS
2
(100)

A

e concluir imediatamente que o problema coercivo.

14
 5 A PNDICE
5.1
I NEQUAO DE 5.2 D ESIGUALDADE DE Y OUNG
C AUCHY-B UNYAKOVSKY-S CHWARZ
Sejam p e q tais que 1 < p, q < e 1/p + 1/q = 1. Ento para
Essa uma equao bem conhecida na lgebra linear e til para todo x, y R, vale a desigualdade:
vrios propsitos.
Se x e y so vetores com n coordenadas a desigualdade toma
a forma: |x|p |y|q
|x y| + . (102)
p q
|x y| kxk kyk (101)

Demonstrao: Sejam x e y dois vetores no nulos, temos Demonstrao: A funo real t 7 l n t cncava e cres-
que kx t yk2 0 . Mas tambm, kx t yk2 = x t y, x t y = cente. Portanto, para todo e positivos, l n( + (1 ))
x, x 2x, t y + t y, t y = kxk2 2t x, y + t 2 kyk2 , um polin- l n() + (1 )l n(), ]0, 1[.
mio em t . Como esse polinmio maior ou igual a zero, te-
2 Considerando = 1/p, temos 1 = 1/q e consequente-
mos que o discriminante no positivo, 0, isto , 2x, y mente l n( p1 + q1 ) p1 l n()+ q1 l n() = l n(1/p 1/q ) e obtemos

2 2
4 kxk2 kyk2 0 2x, y 4 kxk2 kyk2 x, y o resultado, considerando |x|p = e |y|q = .

kxk2 kyk2 x, y kxk kyk

5.3 D EFINIO DE E SPAOS F UNCIONAIS

Definimos os seguintes espaos a serem usados no texto desse trabalho.
um subconjunto aberto e limitado com contorno Lipschitz por partes de Rs o conjunto cannico real de dimenso s onde s
um inteiro positivo.
Definimos o fecho de e seu contorno = \.
(
m i f o
C () = f : R; i i
so contnuas em ; 0 i m; i 1 + + i s = i , m 0,
x 11 x ss
( )
i f 0
C 0 () = f : R; i i
C (); 0 i ; i 1 + + i s = i ; suppor t ( f ) ,
x 11 x ss
Z
2
L () = f : R; f (x)2 d <


( )
m i f 2
H () = i i
L (); 0 i m; i 1 + + i s = i
x 11 x ss

1
n o
H 2 () = f L 2 (); F H 1 (); F = f em

Hd i v () = v [L 2 ()]s ; d i v(v) L 2 ()

H b,m (M h ) = L 2 (); e H m (e ); e {1, , Ne }; m 1; m Z

H h,k = { H b,1 (M h ); e P k (e )} (k 1)

H h,k ,

se a condio de Dirichlet na forma fraca;
S h,k =
caso contrrio, { H h,k ; = g h em e,D se (e,D > 0)}

H h,k ,

h,k se a condio de Dirichlet na forma fraca;
V =
caso contrrio, { H h,k ; = 0 em e,D se (e,D > 0)}

Para mais detalhes sobre os espaos veja [1]

15
 5.4 D EFINIO DE F UNES DE S ALTO
Para uma funo escalar H b,m (M h ) definimos o seu salto em e,e 0 = e 0 ,e como segue:
e e 0 , se (ee 0 ) > 0;

JKee 0 =
0, caso contrrio.
JKe 0 e = JKee 0 .
Para uma funo vetorial H b,m (M h ) ns definimos seu salto na direo normal a ee 0 como segue:
e ne e0 ne0 , se (ee 0 ) > 0;

JKn,ee 0 =
0, caso contrrio.
JKn,e 0 e = JKn,ee 0

Definimos o operador mdia {} como segue:

1
2 (e + e ), se (ee 0 ) > 0;
0
{}ee 0 =
0, caso contrrio.
tanto para escalar como vetorial.

R EFERNCIAS
[1] John J. F. Fournier Robert A. Adams. Sobolev spaces. Pure and Applied Mathematics. Academic Press, 2 edition, 2003.

16